unsigned char *strstr(const unsigned char *phaystack,
                      const unsigned char *pneedle) {
  const unsigned char *haystack, *needle;
  unsigned short a, b, c;
  const unsigned char *rneedle;
  const unsigned char *rhaystack;
  haystack = (const unsigned char *)phaystack;
  needle = (const unsigned char *)pneedle;
  b = *needle;
  if (!b)
  foundneedle:
    return (unsigned char *)haystack;
  haystack--;
  do {
    a = *++haystack;
    if (!a)
      return 0;
  } while (a != b);
  c = *++needle;
  if (!c)
    goto foundneedle;
  ++needle;
  a = *++haystack;
  if (a == c)
    goto crest;
  goto jin;
  for (;;) {
    a = *++haystack;
  jin:
    do {
      for (; a != b; a = *++haystack) {
        if (!a)
          return 0;
        if ((a = *++haystack) == b)
          break;
        if (!a)
          return 0;
      }
    } while ((a = *++haystack) != c);
  crest:
    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)
      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    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    %ax,-0x2c(%rbp)
cmpw   $0x0,-0x2c(%rbp)
jne    1144 <strstr+0x44>
jmp    1137 <strstr+0x37>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13d0 <strstr+0x2d0>
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)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2a(%rbp)
cmpw   $0x0,-0x2a(%rbp)
jne    117f <strstr+0x7f>
movq   $0x0,-0x8(%rbp)
jmp    13d0 <strstr+0x2d0>
jmp    1184 <strstr+0x84>
movzwl -0x2a(%rbp),%eax
movzwl -0x2c(%rbp),%ecx
cmp    %ecx,%eax
jne    1150 <strstr+0x50>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2e(%rbp)
cmpw   $0x0,-0x2e(%rbp)
jne    11bb <strstr+0xbb>
jmp    1137 <strstr+0x37>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2a(%rbp)
movzwl -0x2a(%rbp),%eax
movzwl -0x2e(%rbp),%ecx
cmp    %ecx,%eax
jne    11f3 <strstr+0xf3>
jmp    12d5 <strstr+0x1d5>
jmp    120f <strstr+0x10f>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2a(%rbp)
jmp    1214 <strstr+0x114>
jmp    1219 <strstr+0x119>
movzwl -0x2a(%rbp),%eax
movzwl -0x2c(%rbp),%ecx
cmp    %ecx,%eax
je     12a5 <strstr+0x1a5>
cmpw   $0x0,-0x2a(%rbp)
jne    1241 <strstr+0x141>
movq   $0x0,-0x8(%rbp)
jmp    13d0 <strstr+0x2d0>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2a(%rbp)
movzwl %ax,%eax
movzwl -0x2c(%rbp),%ecx
cmp    %ecx,%eax
jne    126c <strstr+0x16c>
jmp    12a5 <strstr+0x1a5>
cmpw   $0x0,-0x2a(%rbp)
jne    1284 <strstr+0x184>
movq   $0x0,-0x8(%rbp)
jmp    13d0 <strstr+0x2d0>
jmp    1289 <strstr+0x189>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2a(%rbp)
jmp    1219 <strstr+0x119>
jmp    12aa <strstr+0x1aa>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movzbl 0x1(%rax),%eax
mov    %ax,-0x2a(%rbp)
movzwl %ax,%eax
movzwl -0x2e(%rbp),%ecx
cmp    %ecx,%eax
jne    1214 <strstr+0x114>
jmp    12d5 <strstr+0x1d5>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movzbl 0x1(%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,-0x38(%rbp)
movzbl (%rcx),%ecx
mov    %cx,-0x2a(%rbp)
movzwl %cx,%ecx
cmp    %ecx,%eax
jne    13ab <strstr+0x2ab>
jmp    1312 <strstr+0x212>
cmpw   $0x0,-0x2a(%rbp)
jne    1322 <strstr+0x222>
jmp    1137 <strstr+0x37>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movzbl 0x1(%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
movzbl 0x1(%rcx),%ecx
mov    %cx,-0x2a(%rbp)
movzwl %cx,%ecx
cmp    %ecx,%eax
je     135c <strstr+0x25c>
jmp    13a6 <strstr+0x2a6>
cmpw   $0x0,-0x2a(%rbp)
jne    136c <strstr+0x26c>
jmp    1137 <strstr+0x37>
jmp    1371 <strstr+0x271>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movzbl 0x1(%rax),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
movzbl 0x1(%rcx),%ecx
mov    %cx,-0x2a(%rbp)
movzwl %cx,%ecx
cmp    %ecx,%eax
je     1312 <strstr+0x212>
jmp    13ab <strstr+0x2ab>
mov    -0x38(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpw   $0x0,-0x2a(%rbp)
jne    13cb <strstr+0x2cb>
movq   $0x0,-0x8(%rbp)
jmp    13d0 <strstr+0x2d0>
jmp    11f8 <strstr+0xf8>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strstr>:
mov    (%rsi),%r10b
test   %r10b,%r10b
je     11d4 <strstr+0xd4>
xor    %eax,%eax
xchg   %ax,%ax
movzbl (%rdi),%edx
test   %dl,%dl
je     11d3 <strstr+0xd3>
add    $0x1,%rdi
cmp    %r10b,%dl
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    1189 <strstr+0x89>
lea    -0x1(%rdi),%rax
movzbl 0x2(%rsi),%r9d
cmp    %r9b,0x1(%rdi)
jne    117e <strstr+0x7e>
xor    %edx,%edx
nopl   (%rax)
test   %r9w,%r9w
je     11d3 <strstr+0xd3>
movzbl 0x2(%rdi,%rdx,1),%ecx
movzbl 0x3(%rsi,%rdx,1),%r9d
cmp    %r9b,%cl
jne    117e <strstr+0x7e>
test   %cl,%cl
je     11d3 <strstr+0xd3>
movzbl 0x4(%rsi,%rdx,1),%r9d
lea    0x2(%rdx),%rcx
cmp    %r9b,0x3(%rdi,%rdx,1)
mov    %rcx,%rdx
je     1150 <strstr+0x50>
xor    %eax,%eax
mov    %r8d,%edx
test   %r9w,%r9w
je     11d3 <strstr+0xd3>
xor    %eax,%eax
jmp    119c <strstr+0x9c>
nopl   (%rax)
mov    0x1(%rdi),%dl
add    $0x1,%rdi
cmp    %r8b,%dl
je     113c <strstr+0x3c>
cmp    %r10b,%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    %r10b,%cl
je     1190 <strstr+0x90>
test   %cl,%cl
je     11d3 <strstr+0xd3>
movzbl 0x1(%rdi),%edx
add    $0x2,%rdi
cmp    %r10b,%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 i16
%9 = alloca i16
%10 = alloca i16
%11 = alloca i8*
%12 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
%13 = load i8*, i8** %4
store i8* %13, i8** %6
%14 = load i8*, i8** %5
store i8* %14, i8** %7
%15 = load i8*, i8** %7
%16 = load i8, i8* %15
%17 = zext i8 %16 to i16
store i16 %17, i16* %9
%18 = load i16, i16* %9
%19 = icmp ne i16 %18, 0
br i1 %19, label %23, label %20
20: ; preds = %2
br label %21
21: ; preds = %143, %127, %48, %20
%22 = load i8*, i8** %6
store i8* %22, i8** %3
br label %163
23: ; preds = %2
%24 = load i8*, i8** %6
%25 = getelementptr inbounds i8, i8* %24, i32 -1
store i8* %25, i8** %6
br label %26
26: ; preds = %35, %23
%27 = load i8*, i8** %6
%28 = getelementptr inbounds i8, i8* %27, i32 1
store i8* %28, i8** %6
%29 = load i8, i8* %28
%30 = zext i8 %29 to i16
store i16 %30, i16* %8
%31 = load i16, i16* %8
%32 = icmp ne i16 %31, 0
br i1 %32, label %34, label %33
33: ; preds = %26
store i8* null, i8** %3
br label %163
34: ; preds = %26
br label %35
35: ; preds = %34
%36 = load i16, i16* %8
%37 = zext i16 %36 to i32
%38 = load i16, i16* %9
%39 = zext i16 %38 to i32
%40 = icmp ne i32 %37, %39
br i1 %40, label %26, label %41
41: ; preds = %35
%42 = load i8*, i8** %7
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %7
%44 = load i8, i8* %43
%45 = zext i8 %44 to i16
store i16 %45, i16* %10
%46 = load i16, i16* %10
%47 = icmp ne i16 %46, 0
br i1 %47, label %49, label %48
48: ; preds = %41
br label %21
49: ; preds = %41
%50 = load i8*, i8** %7
%51 = getelementptr inbounds i8, i8* %50, i32 1
store i8* %51, i8** %7
%52 = load i8*, i8** %6
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %6
%54 = load i8, i8* %53
%55 = zext i8 %54 to i16
store i16 %55, i16* %8
%56 = load i16, i16* %8
%57 = zext i16 %56 to i32
%58 = load i16, i16* %10
%59 = zext i16 %58 to i32
%60 = icmp eq i32 %57, %59
br i1 %60, label %61, label %62
61: ; preds = %49
br label %112
62: ; preds = %49
br label %69
63: ; No predecessors!
br label %64
64: ; preds = %162, %63
%65 = load i8*, i8** %6
%66 = getelementptr inbounds i8, i8* %65, i32 1
store i8* %66, i8** %6
%67 = load i8, i8* %66
%68 = zext i8 %67 to i16
store i16 %68, i16* %8
br label %69
69: ; preds = %64, %62
br label %70
70: ; preds = %102, %69
br label %71
71: ; preds = %96, %70
%72 = load i16, i16* %8
%73 = zext i16 %72 to i32
%74 = load i16, i16* %9
%75 = zext i16 %74 to i32
%76 = icmp ne i32 %73, %75
br i1 %76, label %77, label %101
77: ; preds = %71
%78 = load i16, i16* %8
%79 = icmp ne i16 %78, 0
br i1 %79, label %81, label %80
80: ; preds = %77
store i8* null, i8** %3
br label %163
81: ; preds = %77
%82 = load i8*, i8** %6
%83 = getelementptr inbounds i8, i8* %82, i32 1
store i8* %83, i8** %6
%84 = load i8, i8* %83
%85 = zext i8 %84 to i16
store i16 %85, i16* %8
%86 = zext i16 %85 to i32
%87 = load i16, i16* %9
%88 = zext i16 %87 to i32
%89 = icmp eq i32 %86, %88
br i1 %89, label %90, label %91
90: ; preds = %81
br label %101
91: ; preds = %81
%92 = load i16, i16* %8
%93 = icmp ne i16 %92, 0
br i1 %93, label %95, label %94
94: ; preds = %91
store i8* null, i8** %3
br label %163
95: ; preds = %91
br label %96
96: ; preds = %95
%97 = load i8*, i8** %6
%98 = getelementptr inbounds i8, i8* %97, i32 1
store i8* %98, i8** %6
%99 = load i8, i8* %98
%100 = zext i8 %99 to i16
store i16 %100, i16* %8
br label %71
101: ; preds = %90, %71
br label %102
102: ; preds = %101
%103 = load i8*, i8** %6
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %6
%105 = load i8, i8* %104
%106 = zext i8 %105 to i16
store i16 %106, i16* %8
%107 = zext i16 %106 to i32
%108 = load i16, i16* %10
%109 = zext i16 %108 to i32
%110 = icmp ne i32 %107, %109
br i1 %110, label %70, label %111
111: ; preds = %102
br label %112
112: ; preds = %111, %61
%113 = load i8*, i8** %6
%114 = getelementptr inbounds i8, i8* %113, i32 -1
store i8* %114, i8** %6
%115 = getelementptr inbounds i8, i8* %113, i64 1
store i8* %115, i8** %12
%116 = load i8, i8* %115
%117 = zext i8 %116 to i32
%118 = load i8*, i8** %7
store i8* %118, i8** %11
%119 = load i8, i8* %118
%120 = zext i8 %119 to i16
store i16 %120, i16* %8
%121 = zext i16 %120 to i32
%122 = icmp eq i32 %117, %121
br i1 %122, label %123, label %157
123: ; preds = %112
br label %124
124: ; preds = %145, %123
%125 = load i16, i16* %8
%126 = icmp ne i16 %125, 0
br i1 %126, label %128, label %127
127: ; preds = %124
br label %21
128: ; preds = %124
%129 = load i8*, i8** %12
%130 = getelementptr inbounds i8, i8* %129, i32 1
store i8* %130, i8** %12
%131 = load i8, i8* %130
%132 = zext i8 %131 to i32
%133 = load i8*, i8** %7
%134 = getelementptr inbounds i8, i8* %133, i32 1
store i8* %134, i8** %7
%135 = load i8, i8* %134
%136 = zext i8 %135 to i16
store i16 %136, i16* %8
%137 = zext i16 %136 to i32
%138 = icmp ne i32 %132, %137
br i1 %138, label %139, label %140
139: ; preds = %128
br label %156
140: ; preds = %128
%141 = load i16, i16* %8
%142 = icmp ne i16 %141, 0
br i1 %142, label %144, label %143
143: ; preds = %140
br label %21
144: ; preds = %140
br label %145
145: ; preds = %144
%146 = load i8*, i8** %12
%147 = getelementptr inbounds i8, i8* %146, i32 1
store i8* %147, i8** %12
%148 = load i8, i8* %147
%149 = zext i8 %148 to i32
%150 = load i8*, i8** %7
%151 = getelementptr inbounds i8, i8* %150, i32 1
store i8* %151, i8** %7
%152 = load i8, i8* %151
%153 = zext i8 %152 to i16
store i16 %153, i16* %8
%154 = zext i16 %153 to i32
%155 = icmp eq i32 %149, %154
br i1 %155, label %124, label %156
156: ; preds = %145, %139
br label %157
157: ; preds = %156, %112
%158 = load i8*, i8** %11
store i8* %158, i8** %7
%159 = load i16, i16* %8
%160 = icmp ne i16 %159, 0
br i1 %160, label %162, label %161
161: ; preds = %157
store i8* null, i8** %3
br label %163
162: ; preds = %157
br label %64
163: ; preds = %161, %94, %80, %33, %21
%164 = load i8*, i8** %3
ret i8* %164
}

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 [ %16, %83 ], [ %21, %18 ]
%25 = phi i8* [ %52, %83 ], [ %20, %18 ]
br label %26
26: ; preds = %23, %46
%27 = phi i8 [ %49, %46 ], [ %24, %23 ]
%28 = phi i8* [ %48, %46 ], [ %25, %23 ]
%29 = icmp eq i8 %27, %3
br i1 %29, label %46, label %30
30: ; preds = %26, %40
%31 = phi i8* [ %41, %40 ], [ %28, %26 ]
%32 = phi i8 [ %42, %40 ], [ %27, %26 ]
%33 = icmp eq i8 %32, 0
br i1 %33, label %86, label %34
34: ; preds = %30
%35 = getelementptr inbounds i8, i8* %31, 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* %31, 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* %31, i64 1
br label %46
46: ; preds = %40, %44, %26
%47 = phi i8* [ %28, %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 = load i8, i8* %19
%57 = zext i8 %56 to i16
%58 = icmp eq i8 %55, %56
br i1 %58, label %59, label %83
59: ; preds = %51, %72
%60 = phi i16 [ %77, %72 ], [ %57, %51 ]
%61 = phi i8* [ %75, %72 ], [ %19, %51 ]
%62 = phi i8* [ %73, %72 ], [ %54, %51 ]
%63 = icmp eq i16 %60, 0
br i1 %63, label %86, label %64
64: ; preds = %59
%65 = getelementptr inbounds i8, i8* %62, i64 1
%66 = load i8, i8* %65
%67 = getelementptr inbounds i8, i8* %61, i64 1
%68 = load i8, i8* %67
%69 = icmp eq i8 %66, %68
br i1 %69, label %70, label %79
70: ; preds = %64
%71 = icmp eq i8 %66, 0
br i1 %71, label %86, label %72
72: ; preds = %70
%73 = getelementptr inbounds i8, i8* %62, i64 2
%74 = load i8, i8* %73
%75 = getelementptr inbounds i8, i8* %61, i64 2
%76 = load i8, i8* %75
%77 = zext i8 %76 to i16
%78 = icmp eq i8 %74, %76
br i1 %78, label %59, label %81
79: ; preds = %64
%80 = zext i8 %68 to i16
br label %83
81: ; preds = %72
%82 = zext i8 %76 to i16
br label %83
83: ; preds = %81, %79, %51
%84 = phi i16 [ %57, %51 ], [ %80, %79 ], [ %82, %81 ]
%85 = icmp eq i16 %84, 0
br i1 %85, label %86, label %23
86: ; preds = %7, %59, %70, %38, %30, %83, %2, %14
%87 = phi i8* [ %9, %14 ], [ %0, %2 ], [ null, %83 ], [ null, %30 ], [ null, %38 ], [ %53, %70 ], [ %53, %59 ], [ null, %7 ]
ret i8* %87
}