char *strstr(const char *phaystack, const char *pneedle) {
  const unsigned char *haystack, *needle;
  char b;
  const unsigned char *rneedle;
  haystack = (const unsigned char *)phaystack;
  if ((b = *(needle = (const unsigned char *)pneedle))) {
    char c;
    haystack--;
    {
      char a;
      do
        if (!(a = *++haystack))
          goto ret0;
      while (a != b);
    }
    if (!(c = *++needle))
      goto foundneedle;
    ++needle;
    goto jin;
    for (;;) {
      {
        char a;
        if (0)
        jin : {
          if ((a = *++haystack) == c)
            goto crest;
        }
          else a = *++haystack;
        do {
          for (; a != b; a = *++haystack) {
            if (!a)
              goto ret0;
            if ((a = *++haystack) == b)
              break;
            if (!a)
              goto ret0;
          }
        } while ((a = *++haystack) != c);
      }
    crest : {
      char a;
      {
        const unsigned char *rhaystack;
        if (*(rhaystack = haystack-- + 1) == (a = *(rneedle = needle)))
          do {
            if (!a)
              goto foundneedle;
            if (*++rhaystack != (a = *++needle))
              break;
            if (!a)
              goto foundneedle;
          } while (*++rhaystack == (a = *++needle));
        needle = rneedle;
      }
      if (!a)
        break;
    }
    }
  }
foundneedle:
  return (char *)haystack;
ret0:
  return 0;
}


x86 assembly (clang, -O0):
<strstr>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x29(%rbp)
cmp    $0x0,%al
je     1393 <strstr+0x293>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x3a(%rbp)
cmp    $0x0,%al
jne    1157 <strstr+0x57>
jmp    13a5 <strstr+0x2a5>
jmp    115c <strstr+0x5c>
movsbl -0x3a(%rbp),%eax
movsbl -0x29(%rbp),%ecx
cmp    %ecx,%eax
jne    1135 <strstr+0x35>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x39(%rbp)
cmp    $0x0,%al
jne    118e <strstr+0x8e>
jmp    1398 <strstr+0x298>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    11b3 <strstr+0xb3>
xor    %eax,%eax
test   $0x1,%al
jne    11ae <strstr+0xae>
jmp    11e1 <strstr+0xe1>
jmp    11b3 <strstr+0xb3>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x3b(%rbp)
movsbl %al,%eax
movsbl -0x39(%rbp),%ecx
cmp    %ecx,%eax
jne    11dc <strstr+0xdc>
jmp    12a4 <strstr+0x1a4>
jmp    11f6 <strstr+0xf6>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x3b(%rbp)
jmp    11fb <strstr+0xfb>
jmp    1200 <strstr+0x100>
movsbl -0x3b(%rbp),%eax
movsbl -0x29(%rbp),%ecx
cmp    %ecx,%eax
je     1276 <strstr+0x176>
cmpb   $0x0,-0x3b(%rbp)
jne    121f <strstr+0x11f>
jmp    13a5 <strstr+0x2a5>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x3b(%rbp)
movsbl %al,%eax
movsbl -0x29(%rbp),%ecx
cmp    %ecx,%eax
jne    1248 <strstr+0x148>
jmp    1276 <strstr+0x176>
cmpb   $0x0,-0x3b(%rbp)
jne    1257 <strstr+0x157>
jmp    13a5 <strstr+0x2a5>
jmp    125c <strstr+0x15c>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x3b(%rbp)
jmp    1200 <strstr+0x100>
jmp    127b <strstr+0x17b>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x3b(%rbp)
movsbl %al,%eax
movsbl -0x39(%rbp),%ecx
cmp    %ecx,%eax
jne    11fb <strstr+0xfb>
jmp    12a4 <strstr+0x1a4>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
movzbl 0x1(%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,-0x38(%rbp)
mov    (%rcx),%cl
mov    %cl,-0x3c(%rbp)
movsbl %cl,%ecx
cmp    %ecx,%eax
jne    1372 <strstr+0x272>
jmp    12df <strstr+0x1df>
cmpb   $0x0,-0x3c(%rbp)
jne    12ee <strstr+0x1ee>
jmp    1398 <strstr+0x298>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
movzbl 0x1(%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    0x1(%rcx),%cl
mov    %cl,-0x3c(%rbp)
movsbl %cl,%ecx
cmp    %ecx,%eax
je     1326 <strstr+0x226>
jmp    136d <strstr+0x26d>
cmpb   $0x0,-0x3c(%rbp)
jne    1335 <strstr+0x235>
jmp    1398 <strstr+0x298>
jmp    133a <strstr+0x23a>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
movzbl 0x1(%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    0x1(%rcx),%cl
mov    %cl,-0x3c(%rbp)
movsbl %cl,%ecx
cmp    %ecx,%eax
je     12df <strstr+0x1df>
jmp    1372 <strstr+0x272>
mov    -0x38(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpb   $0x0,-0x3c(%rbp)
jne    1389 <strstr+0x289>
jmp    138e <strstr+0x28e>
jmp    119f <strstr+0x9f>
jmp    1393 <strstr+0x293>
jmp    1398 <strstr+0x298>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13ad <strstr+0x2ad>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strstr>:
mov    (%rsi),%r9b
test   %r9b,%r9b
je     11d4 <strstr+0xd4>
xor    %eax,%eax
xchg   %ax,%ax
movzbl (%rdi),%ecx
test   %cl,%cl
je     11d3 <strstr+0xd3>
add    $0x1,%rdi
cmp    %r9b,%cl
jne    1110 <strstr+0x10>
mov    0x1(%rsi),%r8b
lea    -0x1(%rdi),%rax
test   %r8b,%r8b
je     11d3 <strstr+0xd3>
mov    (%rdi),%dl
cmp    %r8b,%dl
jne    1183 <strstr+0x83>
lea    -0x1(%rdi),%rax
movzbl 0x1(%rdi),%edx
movsbl 0x2(%rsi),%ecx
cmp    %ecx,%edx
jne    117c <strstr+0x7c>
xor    %edx,%edx
xchg   %ax,%ax
test   %cl,%cl
je     11d3 <strstr+0xd3>
movzbl 0x2(%rdi,%rdx,1),%r10d
movsbl 0x3(%rsi,%rdx,1),%ecx
cmp    %ecx,%r10d
jne    117c <strstr+0x7c>
test   %cl,%cl
je     11d3 <strstr+0xd3>
movzbl 0x3(%rdi,%rdx,1),%r10d
movsbl 0x4(%rsi,%rdx,1),%ecx
add    $0x2,%rdx
cmp    %ecx,%r10d
je     1150 <strstr+0x50>
mov    %r8d,%edx
test   %cl,%cl
je     11d3 <strstr+0xd3>
xor    %eax,%eax
jmp    119c <strstr+0x9c>
nopw   0x0(%rax,%rax,1)
mov    0x1(%rdi),%dl
add    $0x1,%rdi
cmp    %r8b,%dl
je     113c <strstr+0x3c>
cmp    %r9b,%dl
je     1190 <strstr+0x90>
add    $0x1,%rdi
cs nopw 0x0(%rax,%rax,1)
nop
test   %dl,%dl
je     11d3 <strstr+0xd3>
movzbl (%rdi),%ecx
cmp    %r9b,%cl
je     1190 <strstr+0x90>
test   %cl,%cl
je     11d3 <strstr+0xd3>
movzbl 0x1(%rdi),%edx
add    $0x2,%rdi
cmp    %r9b,%dl
jne    11b0 <strstr+0xb0>
add    $0xffffffffffffffff,%rdi
jmp    1190 <strstr+0x90>
ret
mov    %rdi,%rax
ret

LLVM IR (-O0):
define i8* @strstr(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8
%9 = alloca i8*
%10 = alloca i8
%11 = alloca i8
%12 = alloca i8
%13 = alloca i8
%14 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
%15 = load i8*, i8** %4
store i8* %15, i8** %6
%16 = load i8*, i8** %5
store i8* %16, i8** %7
%17 = load i8, i8* %16
store i8 %17, i8* %8
%18 = icmp ne i8 %17, 0
br i1 %18, label %19, label %150
19: ; preds = %2
%20 = load i8*, i8** %6
%21 = getelementptr inbounds i8, i8* %20, i32 -1
store i8* %21, i8** %6
br label %22
22: ; preds = %29, %19
%23 = load i8*, i8** %6
%24 = getelementptr inbounds i8, i8* %23, i32 1
store i8* %24, i8** %6
%25 = load i8, i8* %24
store i8 %25, i8* %11
%26 = icmp ne i8 %25, 0
br i1 %26, label %28, label %27
27: ; preds = %22
br label %153
28: ; preds = %22
br label %29
29: ; preds = %28
%30 = load i8, i8* %11
%31 = sext i8 %30 to i32
%32 = load i8, i8* %8
%33 = sext i8 %32 to i32
%34 = icmp ne i32 %31, %33
br i1 %34, label %22, label %35
35: ; preds = %29
%36 = load i8*, i8** %7
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %7
%38 = load i8, i8* %37
store i8 %38, i8* %10
%39 = icmp ne i8 %38, 0
br i1 %39, label %41, label %40
40: ; preds = %35
br label %151
41: ; preds = %35
%42 = load i8*, i8** %7
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %7
br label %47
44: ; No predecessors!
br label %45
45: ; preds = %148, %44
br i1 false, label %46, label %57
46: ; preds = %45
br label %47
47: ; preds = %46, %41
%48 = load i8*, i8** %6
%49 = getelementptr inbounds i8, i8* %48, i32 1
store i8* %49, i8** %6
%50 = load i8, i8* %49
store i8 %50, i8* %12
%51 = sext i8 %50 to i32
%52 = load i8, i8* %10
%53 = sext i8 %52 to i32
%54 = icmp eq i32 %51, %53
br i1 %54, label %55, label %56
55: ; preds = %47
br label %101
56: ; preds = %47
br label %61
57: ; preds = %45
%58 = load i8*, i8** %6
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %6
%60 = load i8, i8* %59
store i8 %60, i8* %12
br label %61
61: ; preds = %57, %56
br label %62
62: ; preds = %92, %61
br label %63
63: ; preds = %87, %62
%64 = load i8, i8* %12
%65 = sext i8 %64 to i32
%66 = load i8, i8* %8
%67 = sext i8 %66 to i32
%68 = icmp ne i32 %65, %67
br i1 %68, label %69, label %91
69: ; preds = %63
%70 = load i8, i8* %12
%71 = icmp ne i8 %70, 0
br i1 %71, label %73, label %72
72: ; preds = %69
br label %153
73: ; preds = %69
%74 = load i8*, i8** %6
%75 = getelementptr inbounds i8, i8* %74, i32 1
store i8* %75, i8** %6
%76 = load i8, i8* %75
store i8 %76, i8* %12
%77 = sext i8 %76 to i32
%78 = load i8, i8* %8
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %77, %79
br i1 %80, label %81, label %82
81: ; preds = %73
br label %91
82: ; preds = %73
%83 = load i8, i8* %12
%84 = icmp ne i8 %83, 0
br i1 %84, label %86, label %85
85: ; preds = %82
br label %153
86: ; preds = %82
br label %87
87: ; preds = %86
%88 = load i8*, i8** %6
%89 = getelementptr inbounds i8, i8* %88, i32 1
store i8* %89, i8** %6
%90 = load i8, i8* %89
store i8 %90, i8* %12
br label %63
91: ; preds = %81, %63
br label %92
92: ; preds = %91
%93 = load i8*, i8** %6
%94 = getelementptr inbounds i8, i8* %93, i32 1
store i8* %94, i8** %6
%95 = load i8, i8* %94
store i8 %95, i8* %12
%96 = sext i8 %95 to i32
%97 = load i8, i8* %10
%98 = sext i8 %97 to i32
%99 = icmp ne i32 %96, %98
br i1 %99, label %62, label %100
100: ; preds = %92
br label %101
101: ; preds = %100, %55
%102 = load i8*, i8** %6
%103 = getelementptr inbounds i8, i8* %102, i32 -1
store i8* %103, i8** %6
%104 = getelementptr inbounds i8, i8* %102, i64 1
store i8* %104, i8** %14
%105 = load i8, i8* %104
%106 = zext i8 %105 to i32
%107 = load i8*, i8** %7
store i8* %107, i8** %9
%108 = load i8, i8* %107
store i8 %108, i8* %13
%109 = sext i8 %108 to i32
%110 = icmp eq i32 %106, %109
br i1 %110, label %111, label %143
111: ; preds = %101
br label %112
112: ; preds = %132, %111
%113 = load i8, i8* %13
%114 = icmp ne i8 %113, 0
br i1 %114, label %116, label %115
115: ; preds = %112
br label %151
116: ; preds = %112
%117 = load i8*, i8** %14
%118 = getelementptr inbounds i8, i8* %117, i32 1
store i8* %118, i8** %14
%119 = load i8, i8* %118
%120 = zext i8 %119 to i32
%121 = load i8*, i8** %7
%122 = getelementptr inbounds i8, i8* %121, i32 1
store i8* %122, i8** %7
%123 = load i8, i8* %122
store i8 %123, i8* %13
%124 = sext i8 %123 to i32
%125 = icmp ne i32 %120, %124
br i1 %125, label %126, label %127
126: ; preds = %116
br label %142
127: ; preds = %116
%128 = load i8, i8* %13
%129 = icmp ne i8 %128, 0
br i1 %129, label %131, label %130
130: ; preds = %127
br label %151
131: ; preds = %127
br label %132
132: ; preds = %131
%133 = load i8*, i8** %14
%134 = getelementptr inbounds i8, i8* %133, i32 1
store i8* %134, i8** %14
%135 = load i8, i8* %134
%136 = zext i8 %135 to i32
%137 = load i8*, i8** %7
%138 = getelementptr inbounds i8, i8* %137, i32 1
store i8* %138, i8** %7
%139 = load i8, i8* %138
store i8 %139, i8* %13
%140 = sext i8 %139 to i32
%141 = icmp eq i32 %136, %140
br i1 %141, label %112, label %142
142: ; preds = %132, %126
br label %143
143: ; preds = %142, %101
%144 = load i8*, i8** %9
store i8* %144, i8** %7
%145 = load i8, i8* %13
%146 = icmp ne i8 %145, 0
br i1 %146, label %148, label %147
147: ; preds = %143
br label %149
148: ; preds = %143
br label %45
149: ; preds = %147
br label %150
150: ; preds = %149, %2
br label %151
151: ; preds = %150, %130, %115, %40
%152 = load i8*, i8** %6
store i8* %152, i8** %3
br label %154
153: ; preds = %85, %72, %27
store i8* null, i8** %3
br label %154
154: ; preds = %153, %151
%155 = load i8*, i8** %3
ret i8* %155
}

LLVM IR (-O2):
define i8* @strstr(i8* %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %86, label %5
5: ; preds = %2
%6 = getelementptr inbounds i8, i8* %0, i64 -1
br label %7
7: ; preds = %12, %5
%8 = phi i8* [ %6, %5 ], [ %9, %12 ]
%9 = getelementptr inbounds i8, i8* %8, i64 1
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 0
br i1 %11, label %86, label %12
12: ; preds = %7
%13 = icmp eq i8 %10, %3
br i1 %13, label %14, label %7
14: ; preds = %12
%15 = getelementptr inbounds i8, i8* %1, i64 1
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 0
br i1 %17, label %86, label %18
18: ; preds = %14
%19 = getelementptr inbounds i8, i8* %1, i64 2
%20 = getelementptr inbounds i8, i8* %8, i64 2
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, %16
br i1 %22, label %51, label %23
23: ; preds = %83, %18
%24 = phi i8* [ %52, %83 ], [ %20, %18 ]
%25 = phi i8 [ %16, %83 ], [ %21, %18 ]
br label %26
26: ; preds = %23, %46
%27 = phi i8* [ %48, %46 ], [ %24, %23 ]
%28 = phi i8 [ %49, %46 ], [ %25, %23 ]
%29 = icmp eq i8 %28, %3
br i1 %29, label %46, label %30
30: ; preds = %26, %40
%31 = phi i8 [ %42, %40 ], [ %28, %26 ]
%32 = phi i8* [ %41, %40 ], [ %27, %26 ]
%33 = icmp eq i8 %31, 0
br i1 %33, label %86, label %34
34: ; preds = %30
%35 = getelementptr inbounds i8, i8* %32, i64 1
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, %3
br i1 %37, label %44, label %38
38: ; preds = %34
%39 = icmp eq i8 %36, 0
br i1 %39, label %86, label %40
40: ; preds = %38
%41 = getelementptr inbounds i8, i8* %32, i64 2
%42 = load i8, i8* %41
%43 = icmp eq i8 %42, %3
br i1 %43, label %46, label %30
44: ; preds = %34
%45 = getelementptr inbounds i8, i8* %32, i64 1
br label %46
46: ; preds = %40, %44, %26
%47 = phi i8* [ %27, %26 ], [ %45, %44 ], [ %41, %40 ]
%48 = getelementptr inbounds i8, i8* %47, i64 1
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, %16
br i1 %50, label %51, label %26
51: ; preds = %46, %18
%52 = phi i8* [ %20, %18 ], [ %48, %46 ]
%53 = getelementptr inbounds i8, i8* %52, i64 -1
%54 = getelementptr inbounds i8, i8* %52, i64 1
%55 = load i8, i8* %54
%56 = zext i8 %55 to i32
%57 = load i8, i8* %19
%58 = sext i8 %57 to i32
%59 = icmp eq i32 %56, %58
br i1 %59, label %60, label %83
60: ; preds = %51, %75
%61 = phi i8* [ %79, %75 ], [ %19, %51 ]
%62 = phi i8 [ %80, %75 ], [ %57, %51 ]
%63 = phi i8* [ %76, %75 ], [ %54, %51 ]
%64 = icmp eq i8 %62, 0
br i1 %64, label %86, label %65
65: ; preds = %60
%66 = getelementptr inbounds i8, i8* %63, i64 1
%67 = load i8, i8* %66
%68 = zext i8 %67 to i32
%69 = getelementptr inbounds i8, i8* %61, i64 1
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = icmp eq i32 %68, %71
br i1 %72, label %73, label %83
73: ; preds = %65
%74 = icmp eq i8 %70, 0
br i1 %74, label %86, label %75
75: ; preds = %73
%76 = getelementptr inbounds i8, i8* %63, i64 2
%77 = load i8, i8* %76
%78 = zext i8 %77 to i32
%79 = getelementptr inbounds i8, i8* %61, i64 2
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %78, %81
br i1 %82, label %60, label %83
83: ; preds = %65, %75, %51
%84 = phi i8 [ %57, %51 ], [ %80, %75 ], [ %70, %65 ]
%85 = icmp eq i8 %84, 0
br i1 %85, label %86, label %23
86: ; preds = %7, %73, %60, %30, %38, %83, %14, %2
%87 = phi i8* [ %0, %2 ], [ %9, %14 ], [ %53, %83 ], [ null, %38 ], [ null, %30 ], [ %53, %60 ], [ %53, %73 ], [ null, %7 ]
ret i8* %87
}