#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ memcmp(char const *, char const *, size_t);
char *strchr(char const *, char const);
char *byteshift_strstr(const char *haystack, const char *needle) {
  if (!*needle)
    return (char *)haystack;
  const char needle_first = *needle;
  haystack = strchr(haystack, needle_first);
  if (!haystack)
    return NULL;
  const unsigned char *i_haystack = (const unsigned char *)haystack + 1;
  const unsigned char *i_needle = (const unsigned char *)needle + 1;
  bool identical = true;
  while (*i_haystack && *i_needle) {
    identical &= *i_haystack++ == *i_needle++;
  }
  if (*i_needle)
    return NULL;
  else if (identical)
    return (char *)haystack;
  size_t needle_len = i_needle - (const unsigned char *)needle;
  const char *sub_start = haystack;
  size_t compare_len;
  unsigned long last_needle_chars;
  unsigned long last_haystack_chars;
  unsigned long mask;
  size_t needle_cmp_len =
      (needle_len < sizeof(long)) ? needle_len : sizeof(long);
  const unsigned char *needle_cmp_end = i_needle;
  i_needle -= needle_cmp_len;
  i_haystack -= needle_cmp_len;
  last_needle_chars = 0;
  last_haystack_chars = 0;
  while (i_needle != needle_cmp_end) {
    last_needle_chars <<= 8;
    last_needle_chars ^= *i_needle++;
    last_haystack_chars <<= 8;
    last_haystack_chars ^= *i_haystack++;
  }
  if (needle_len > sizeof(long) + 1) {
    compare_len = needle_len - sizeof(long);
    while (*i_haystack) {
      last_haystack_chars <<= 8;
      last_haystack_chars ^= *i_haystack++;
      sub_start++;
      if (last_haystack_chars == last_needle_chars &&
          memcmp(sub_start, needle, compare_len) == 0) {
        return (char *)sub_start;
      }
    }
  } else if (needle_len == sizeof(long) + 1) {
    while (*i_haystack) {
      last_haystack_chars <<= 8;
      last_haystack_chars ^= *i_haystack++;
      sub_start++;
      if (last_haystack_chars == last_needle_chars &&
          *sub_start == needle_first) {
        return (char *)sub_start;
      }
    }
  } else if (needle_len == sizeof(long)) {
    while (*i_haystack) {
      last_haystack_chars <<= 8;
      last_haystack_chars ^= *i_haystack++;
      if (last_haystack_chars == last_needle_chars) {
        return (char *)(i_haystack - needle_len);
      }
    }
  } else {
    mask = (((unsigned long)1) << (needle_len * 8)) - 1;
    last_needle_chars &= mask;
    while (*i_haystack) {
      last_haystack_chars <<= 8;
      last_haystack_chars ^= *i_haystack++;
      last_haystack_chars &= mask;
      if (last_haystack_chars == last_needle_chars) {
        return (char *)(i_haystack - needle_len);
      }
    }
  }
  return NULL;
}


x86 assembly (clang, -O0):
<byteshift_strstr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    114d <byteshift_strstr+0x2d>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
mov    -0x18(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
mov    -0x10(%rbp),%rdi
movsbl -0x19(%rbp),%esi
call   1030 <strchr@plt>
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    117f <byteshift_strstr+0x5f>
movq   $0x0,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x34(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x79(%rbp)
je     11c3 <byteshift_strstr+0xa3>
mov    -0x30(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x79(%rbp)
mov    -0x79(%rbp),%al
test   $0x1,%al
jne    11d3 <byteshift_strstr+0xb3>
jmp    120c <byteshift_strstr+0xec>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movzbl (%rcx),%ecx
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
and    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    119e <byteshift_strstr+0x7e>
mov    -0x30(%rbp),%rax
cmpb   $0x0,(%rax)
je     1226 <byteshift_strstr+0x106>
movq   $0x0,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
cmpl   $0x0,-0x34(%rbp)
je     123d <byteshift_strstr+0x11d>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
jmp    1242 <byteshift_strstr+0x122>
mov    -0x30(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
cmpq   $0x8,-0x40(%rbp)
jae    1274 <byteshift_strstr+0x154>
mov    -0x40(%rbp),%rax
mov    %rax,-0x88(%rbp)
jmp    1285 <byteshift_strstr+0x165>
mov    $0x8,%eax
mov    %rax,-0x88(%rbp)
jmp    1285 <byteshift_strstr+0x165>
mov    -0x88(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x70(%rbp),%rdx
mov    -0x30(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x70(%rbp),%rdx
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x78(%rbp),%rax
je     132f <byteshift_strstr+0x20f>
mov    -0x58(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x58(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movzbl (%rax),%eax
xor    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x60(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
xor    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
jmp    12d0 <byteshift_strstr+0x1b0>
cmpq   $0x9,-0x40(%rbp)
jbe    13c5 <byteshift_strstr+0x2a5>
mov    -0x40(%rbp),%rax
sub    $0x8,%rax
mov    %rax,-0x50(%rbp)
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
je     13c0 <byteshift_strstr+0x2a0>
mov    -0x60(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
xor    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x58(%rbp),%rax
jne    13bb <byteshift_strstr+0x29b>
mov    -0x48(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x50(%rbp),%rdx
call   1040 <memcmp@plt>
cmp    $0x0,%rax
jne    13bb <byteshift_strstr+0x29b>
mov    -0x48(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
jmp    1346 <byteshift_strstr+0x226>
jmp    1558 <byteshift_strstr+0x438>
cmpq   $0x9,-0x40(%rbp)
jne    144c <byteshift_strstr+0x32c>
jmp    13d5 <byteshift_strstr+0x2b5>
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
je     1447 <byteshift_strstr+0x327>
mov    -0x60(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
xor    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x58(%rbp),%rax
jne    1442 <byteshift_strstr+0x322>
mov    -0x48(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x19(%rbp),%ecx
cmp    %ecx,%eax
jne    1442 <byteshift_strstr+0x322>
mov    -0x48(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
jmp    13d5 <byteshift_strstr+0x2b5>
jmp    1553 <byteshift_strstr+0x433>
cmpq   $0x8,-0x40(%rbp)
jne    14bd <byteshift_strstr+0x39d>
jmp    145c <byteshift_strstr+0x33c>
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
je     14b8 <byteshift_strstr+0x398>
mov    -0x60(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
xor    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x58(%rbp),%rax
jne    14b3 <byteshift_strstr+0x393>
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
sub    -0x40(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
jmp    145c <byteshift_strstr+0x33c>
jmp    154e <byteshift_strstr+0x42e>
mov    -0x40(%rbp),%rcx
shl    $0x3,%rcx
mov    $0x1,%eax
shl    %cl,%rax
sub    $0x1,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
and    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
cmpb   $0x0,(%rax)
je     1549 <byteshift_strstr+0x429>
mov    -0x60(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
xor    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x68(%rbp),%rax
and    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x58(%rbp),%rax
jne    1544 <byteshift_strstr+0x424>
mov    -0x28(%rbp),%rax
xor    %ecx,%ecx
sub    -0x40(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
jmp    1560 <byteshift_strstr+0x440>
jmp    14e1 <byteshift_strstr+0x3c1>
jmp    154e <byteshift_strstr+0x42e>
jmp    1553 <byteshift_strstr+0x433>
jmp    1558 <byteshift_strstr+0x438>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<byteshift_strstr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbp
mov    (%rsi),%r12b
test   %r12b,%r12b
je     141d <byteshift_strstr+0x2fd>
mov    %rsi,%rbx
movsbl %r12b,%esi
mov    %rbp,%rdi
call   1030 <strchr@plt>
test   %rax,%rax
je     141b <byteshift_strstr+0x2fb>
mov    %rax,%rbp
lea    0x1(%rbx),%r15
lea    0x1(%rax),%r14
mov    0x1(%rax),%cl
test   %cl,%cl
je     11bb <byteshift_strstr+0x9b>
mov    %rbx,%r8
mov    (%r15),%bl
test   %bl,%bl
je     11d2 <byteshift_strstr+0xb2>
lea    0x2(%r8),%r15
mov    %rbp,%rax
add    $0x2,%rax
mov    $0x1,%edx
xchg   %ax,%ax
mov    %edx,%esi
xor    %edx,%edx
cmp    %bl,%cl
sete   %dl
and    %esi,%edx
movzbl (%rax),%ecx
test   %cl,%cl
je     11ea <byteshift_strstr+0xca>
movzbl (%r15),%ebx
add    $0x1,%r15
add    $0x1,%rax
test   %bl,%bl
jne    1180 <byteshift_strstr+0x60>
lea    -0x2(%r15),%rcx
add    $0xffffffffffffffff,%r15
add    $0xffffffffffffffff,%rax
mov    %r8,%rbx
test   %edx,%edx
jne    141d <byteshift_strstr+0x2fd>
jmp    1203 <byteshift_strstr+0xe3>
mov    $0x1,%edx
mov    %rbx,%rcx
mov    %r14,%rax
cmpb   $0x0,(%r15)
jne    141b <byteshift_strstr+0x2fb>
jmp    11fb <byteshift_strstr+0xdb>
mov    $0x1,%edx
mov    %r8,%rbx
mov    %r8,%rcx
mov    %r14,%rax
test   %edx,%edx
jne    141d <byteshift_strstr+0x2fd>
jmp    1203 <byteshift_strstr+0xe3>
lea    -0x1(%r15),%rcx
mov    %r8,%rbx
cmpb   $0x0,(%r15)
jne    141b <byteshift_strstr+0x2fb>
test   %edx,%edx
jne    141d <byteshift_strstr+0x2fd>
mov    %r12d,%r9d
sub    %rbx,%r15
cmp    $0x8,%r15
mov    $0x8,%edx
cmovb  %r15,%rdx
mov    %rax,%r12
sub    %rdx,%r12
test   %rdx,%rdx
je     13bc <byteshift_strstr+0x29c>
sub    %rdx,%rcx
movzbl 0x1(%rcx),%r8d
movzbl (%r12),%r13d
cmp    $0x1,%rdx
je     133e <byteshift_strstr+0x21e>
mov    %r8,%rsi
shl    $0x8,%rsi
movzbl 0x2(%rcx),%r8d
or     %rsi,%r8
mov    %r13,%rsi
shl    $0x8,%rsi
movzbl 0x1(%r12),%r13d
or     %rsi,%r13
cmp    $0x2,%rdx
je     133e <byteshift_strstr+0x21e>
mov    %r8,%rsi
shl    $0x8,%rsi
movzbl 0x3(%rcx),%r8d
or     %rsi,%r8
mov    %r13,%rsi
shl    $0x8,%rsi
movzbl 0x2(%r12),%r13d
or     %rsi,%r13
cmp    $0x3,%rdx
je     133e <byteshift_strstr+0x21e>
mov    %r8,%rsi
shl    $0x8,%rsi
movzbl 0x4(%rcx),%r8d
or     %rsi,%r8
mov    %r13,%rsi
shl    $0x8,%rsi
movzbl 0x3(%r12),%r13d
or     %rsi,%r13
cmp    $0x4,%rdx
je     133e <byteshift_strstr+0x21e>
mov    %r8,%rsi
shl    $0x8,%rsi
movzbl 0x5(%rcx),%r8d
or     %rsi,%r8
mov    %r13,%rsi
shl    $0x8,%rsi
movzbl 0x4(%r12),%r13d
or     %rsi,%r13
cmp    $0x5,%rdx
je     133e <byteshift_strstr+0x21e>
mov    %r8,%rsi
shl    $0x8,%rsi
movzbl 0x6(%rcx),%r8d
or     %rsi,%r8
mov    %r13,%rsi
shl    $0x8,%rsi
movzbl 0x5(%r12),%r13d
or     %rsi,%r13
cmp    $0x6,%rdx
je     133e <byteshift_strstr+0x21e>
mov    %r8,%rsi
shl    $0x8,%rsi
movzbl 0x7(%rcx),%r8d
or     %rsi,%r8
mov    %r13,%rsi
shl    $0x8,%rsi
movzbl 0x6(%r12),%r13d
or     %rsi,%r13
cmp    $0x7,%rdx
je     133e <byteshift_strstr+0x21e>
shl    $0x8,%r8
movzbl 0x8(%rcx),%ecx
or     %rcx,%r8
shl    $0x8,%r13
movzbl 0x7(%r12),%ecx
or     %rcx,%r13
mov    %rax,%r12
cmp    $0xa,%r15
jb     13cc <byteshift_strstr+0x2ac>
mov    (%r12),%al
test   %al,%al
je     141b <byteshift_strstr+0x2fb>
add    $0xfffffffffffffff8,%r15
add    $0x1,%r12
xor    %ebp,%ebp
mov    %rbx,(%rsp)
jmp    1385 <byteshift_strstr+0x265>
nopw   0x0(%rax,%rax,1)
movzbl (%r12),%eax
add    $0x1,%r12
add    $0x1,%r14
test   %al,%al
je     141d <byteshift_strstr+0x2fd>
mov    %r13,%rcx
shl    $0x8,%rcx
movzbl %al,%r13d
or     %rcx,%r13
cmp    %r8,%r13
jne    1370 <byteshift_strstr+0x250>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
mov    %r8,%rbx
call   1040 <memcmp@plt>
xor    %ebp,%ebp
mov    %rbx,%r8
mov    (%rsp),%rbx
test   %rax,%rax
jne    1370 <byteshift_strstr+0x250>
jmp    1459 <byteshift_strstr+0x339>
xor    %r8d,%r8d
xor    %r13d,%r13d
cmp    $0xa,%r15
jae    134b <byteshift_strstr+0x22b>
cmp    $0x9,%r15
je     140b <byteshift_strstr+0x2eb>
cmp    $0x8,%r15
jne    145e <byteshift_strstr+0x33e>
add    $0xfffffffffffffff8,%r12
mov    %r12,%rbp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl 0x8(%rbp),%eax
test   %rax,%rax
je     141b <byteshift_strstr+0x2fb>
shl    $0x8,%r13
or     %rax,%r13
add    $0x1,%rbp
cmp    %r8,%r13
jne    13f0 <byteshift_strstr+0x2d0>
jmp    141d <byteshift_strstr+0x2fd>
mov    (%r12),%al
test   %al,%al
je     141b <byteshift_strstr+0x2fb>
add    $0x1,%r12
xor    %ebp,%ebp
jmp    1441 <byteshift_strstr+0x321>
xor    %ebp,%ebp
mov    %rbp,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
nop
movzbl (%r12),%eax
add    $0x1,%r12
add    $0x1,%r14
test   %al,%al
je     141d <byteshift_strstr+0x2fd>
mov    %r13,%rcx
shl    $0x8,%rcx
movzbl %al,%r13d
or     %rcx,%r13
cmp    %r8,%r13
jne    1430 <byteshift_strstr+0x310>
cmp    %r9b,(%r14)
jne    1430 <byteshift_strstr+0x310>
mov    %r14,%rbp
jmp    141d <byteshift_strstr+0x2fd>
lea    0x0(,%r15,8),%ecx
mov    $0xffffffffffffffff,%rax
shl    %cl,%rax
not    %rax
and    %rax,%r8
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
movzbl (%r12),%ecx
test   %rcx,%rcx
je     141d <byteshift_strstr+0x2fd>
shl    $0x8,%r13
add    $0x1,%r12
or     %rcx,%r13
and    %rax,%r13
cmp    %r8,%r13
jne    1480 <byteshift_strstr+0x360>
sub    %r15,%r12
mov    %r12,%rbp
jmp    141d <byteshift_strstr+0x2fd>

LLVM IR (-O0):
define i8* @byteshift_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 i32
%10 = alloca i64
%11 = alloca i8*
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
%18 = load i8*, i8** %5
%19 = load i8, i8* %18
%20 = icmp ne i8 %19, 0
br i1 %20, label %23, label %21
21: ; preds = %2
%22 = load i8*, i8** %4
store i8* %22, i8** %3
br label %248
23: ; preds = %2
%24 = load i8*, i8** %5
%25 = load i8, i8* %24
store i8 %25, i8* %6
%26 = load i8*, i8** %4
%27 = load i8, i8* %6
%28 = call i8* @strchr(i8* %26, i8 signext %27)
store i8* %28, i8** %4
%29 = load i8*, i8** %4
%30 = icmp ne i8* %29, null
br i1 %30, label %32, label %31
31: ; preds = %23
store i8* null, i8** %3
br label %248
32: ; preds = %23
%33 = load i8*, i8** %4
%34 = getelementptr inbounds i8, i8* %33, i64 1
store i8* %34, i8** %7
%35 = load i8*, i8** %5
%36 = getelementptr inbounds i8, i8* %35, i64 1
store i8* %36, i8** %8
store i32 1, i32* %9
br label %37
37: ; preds = %49, %32
%38 = load i8*, i8** %7
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = icmp ne i32 %40, 0
br i1 %41, label %42, label %47
42: ; preds = %37
%43 = load i8*, i8** %8
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = icmp ne i32 %45, 0
br label %47
47: ; preds = %42, %37
%48 = phi i1 [ false, %37 ], [ %46, %42 ]
br i1 %48, label %49, label %62
49: ; preds = %47
%50 = load i8*, i8** %7
%51 = getelementptr inbounds i8, i8* %50, i32 1
store i8* %51, i8** %7
%52 = load i8, i8* %50
%53 = zext i8 %52 to i32
%54 = load i8*, i8** %8
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %8
%56 = load i8, i8* %54
%57 = zext i8 %56 to i32
%58 = icmp eq i32 %53, %57
%59 = zext i1 %58 to i32
%60 = load i32, i32* %9
%61 = and i32 %60, %59
store i32 %61, i32* %9
br label %37
62: ; preds = %47
%63 = load i8*, i8** %8
%64 = load i8, i8* %63
%65 = icmp ne i8 %64, 0
br i1 %65, label %66, label %67
66: ; preds = %62
store i8* null, i8** %3
br label %248
67: ; preds = %62
%68 = load i32, i32* %9
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %72
70: ; preds = %67
%71 = load i8*, i8** %4
store i8* %71, i8** %3
br label %248
72: ; preds = %67
br label %73
73: ; preds = %72
%74 = load i8*, i8** %8
%75 = load i8*, i8** %5
%76 = ptrtoint i8* %74 to i64
%77 = ptrtoint i8* %75 to i64
%78 = sub i64 %76, %77
store i64 %78, i64* %10
%79 = load i8*, i8** %4
store i8* %79, i8** %11
%80 = load i64, i64* %10
%81 = icmp ult i64 %80, 8
br i1 %81, label %82, label %84
82: ; preds = %73
%83 = load i64, i64* %10
br label %85
84: ; preds = %73
br label %85
85: ; preds = %84, %82
%86 = phi i64 [ %83, %82 ], [ 8, %84 ]
store i64 %86, i64* %16
%87 = load i8*, i8** %8
store i8* %87, i8** %17
%88 = load i64, i64* %16
%89 = load i8*, i8** %8
%90 = sub i64 0, %88
%91 = getelementptr inbounds i8, i8* %89, i64 %90
store i8* %91, i8** %8
%92 = load i64, i64* %16
%93 = load i8*, i8** %7
%94 = sub i64 0, %92
%95 = getelementptr inbounds i8, i8* %93, i64 %94
store i8* %95, i8** %7
store i64 0, i64* %13
store i64 0, i64* %14
br label %96
96: ; preds = %100, %85
%97 = load i8*, i8** %8
%98 = load i8*, i8** %17
%99 = icmp ne i8* %97, %98
br i1 %99, label %100, label %117
100: ; preds = %96
%101 = load i64, i64* %13
%102 = shl i64 %101, 8
store i64 %102, i64* %13
%103 = load i8*, i8** %8
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %8
%105 = load i8, i8* %103
%106 = zext i8 %105 to i64
%107 = load i64, i64* %13
%108 = xor i64 %107, %106
store i64 %108, i64* %13
%109 = load i64, i64* %14
%110 = shl i64 %109, 8
store i64 %110, i64* %14
%111 = load i8*, i8** %7
%112 = getelementptr inbounds i8, i8* %111, i32 1
store i8* %112, i8** %7
%113 = load i8, i8* %111
%114 = zext i8 %113 to i64
%115 = load i64, i64* %14
%116 = xor i64 %115, %114
store i64 %116, i64* %14
br label %96
117: ; preds = %96
%118 = load i64, i64* %10
%119 = icmp ugt i64 %118, 9
br i1 %119, label %120, label %151
120: ; preds = %117
%121 = load i64, i64* %10
%122 = sub i64 %121, 8
store i64 %122, i64* %12
br label %123
123: ; preds = %149, %120
%124 = load i8*, i8** %7
%125 = load i8, i8* %124
%126 = icmp ne i8 %125, 0
br i1 %126, label %127, label %150
127: ; preds = %123
%128 = load i64, i64* %14
%129 = shl i64 %128, 8
store i64 %129, i64* %14
%130 = load i8*, i8** %7
%131 = getelementptr inbounds i8, i8* %130, i32 1
store i8* %131, i8** %7
%132 = load i8, i8* %130
%133 = zext i8 %132 to i64
%134 = load i64, i64* %14
%135 = xor i64 %134, %133
store i64 %135, i64* %14
%136 = load i8*, i8** %11
%137 = getelementptr inbounds i8, i8* %136, i32 1
store i8* %137, i8** %11
%138 = load i64, i64* %14
%139 = load i64, i64* %13
%140 = icmp eq i64 %138, %139
br i1 %140, label %141, label %149
141: ; preds = %127
%142 = load i8*, i8** %11
%143 = load i8*, i8** %5
%144 = load i64, i64* %12
%145 = call i64 @memcmp(i8* %142, i8* %143, i64 %144)
%146 = icmp eq i64 %145, 0
br i1 %146, label %147, label %149
147: ; preds = %141
%148 = load i8*, i8** %11
store i8* %148, i8** %3
br label %248
149: ; preds = %141, %127
br label %123
150: ; preds = %123
br label %247
151: ; preds = %117
%152 = load i64, i64* %10
%153 = icmp eq i64 %152, 9
br i1 %153, label %154, label %184
154: ; preds = %151
br label %155
155: ; preds = %182, %154
%156 = load i8*, i8** %7
%157 = load i8, i8* %156
%158 = icmp ne i8 %157, 0
br i1 %158, label %159, label %183
159: ; preds = %155
%160 = load i64, i64* %14
%161 = shl i64 %160, 8
store i64 %161, i64* %14
%162 = load i8*, i8** %7
%163 = getelementptr inbounds i8, i8* %162, i32 1
store i8* %163, i8** %7
%164 = load i8, i8* %162
%165 = zext i8 %164 to i64
%166 = load i64, i64* %14
%167 = xor i64 %166, %165
store i64 %167, i64* %14
%168 = load i8*, i8** %11
%169 = getelementptr inbounds i8, i8* %168, i32 1
store i8* %169, i8** %11
%170 = load i64, i64* %14
%171 = load i64, i64* %13
%172 = icmp eq i64 %170, %171
br i1 %172, label %173, label %182
173: ; preds = %159
%174 = load i8*, i8** %11
%175 = load i8, i8* %174
%176 = sext i8 %175 to i32
%177 = load i8, i8* %6
%178 = sext i8 %177 to i32
%179 = icmp eq i32 %176, %178
br i1 %179, label %180, label %182
180: ; preds = %173
%181 = load i8*, i8** %11
store i8* %181, i8** %3
br label %248
182: ; preds = %173, %159
br label %155
183: ; preds = %155
br label %246
184: ; preds = %151
%185 = load i64, i64* %10
%186 = icmp eq i64 %185, 8
br i1 %186, label %187, label %211
187: ; preds = %184
br label %188
188: ; preds = %209, %187
%189 = load i8*, i8** %7
%190 = load i8, i8* %189
%191 = icmp ne i8 %190, 0
br i1 %191, label %192, label %210
192: ; preds = %188
%193 = load i64, i64* %14
%194 = shl i64 %193, 8
store i64 %194, i64* %14
%195 = load i8*, i8** %7
%196 = getelementptr inbounds i8, i8* %195, i32 1
store i8* %196, i8** %7
%197 = load i8, i8* %195
%198 = zext i8 %197 to i64
%199 = load i64, i64* %14
%200 = xor i64 %199, %198
store i64 %200, i64* %14
%201 = load i64, i64* %14
%202 = load i64, i64* %13
%203 = icmp eq i64 %201, %202
br i1 %203, label %204, label %209
204: ; preds = %192
%205 = load i8*, i8** %7
%206 = load i64, i64* %10
%207 = sub i64 0, %206
%208 = getelementptr inbounds i8, i8* %205, i64 %207
store i8* %208, i8** %3
br label %248
209: ; preds = %192
br label %188
210: ; preds = %188
br label %245
211: ; preds = %184
%212 = load i64, i64* %10
%213 = mul i64 %212, 8
%214 = shl i64 1, %213
%215 = sub i64 %214, 1
store i64 %215, i64* %15
%216 = load i64, i64* %15
%217 = load i64, i64* %13
%218 = and i64 %217, %216
store i64 %218, i64* %13
br label %219
219: ; preds = %243, %211
%220 = load i8*, i8** %7
%221 = load i8, i8* %220
%222 = icmp ne i8 %221, 0
br i1 %222, label %223, label %244
223: ; preds = %219
%224 = load i64, i64* %14
%225 = shl i64 %224, 8
store i64 %225, i64* %14
%226 = load i8*, i8** %7
%227 = getelementptr inbounds i8, i8* %226, i32 1
store i8* %227, i8** %7
%228 = load i8, i8* %226
%229 = zext i8 %228 to i64
%230 = load i64, i64* %14
%231 = xor i64 %230, %229
store i64 %231, i64* %14
%232 = load i64, i64* %15
%233 = load i64, i64* %14
%234 = and i64 %233, %232
store i64 %234, i64* %14
%235 = load i64, i64* %14
%236 = load i64, i64* %13
%237 = icmp eq i64 %235, %236
br i1 %237, label %238, label %243
238: ; preds = %223
%239 = load i8*, i8** %7
%240 = load i64, i64* %10
%241 = sub i64 0, %240
%242 = getelementptr inbounds i8, i8* %239, i64 %241
store i8* %242, i8** %3
br label %248
243: ; preds = %223
br label %219
244: ; preds = %219
br label %245
245: ; preds = %244, %210
br label %246
246: ; preds = %245, %183
br label %247
247: ; preds = %246, %150
store i8* null, i8** %3
br label %248
248: ; preds = %247, %238, %204, %180, %147, %70, %66, %31, %21
%249 = load i8*, i8** %3
ret i8* %249
}

LLVM IR (-O2):
define i8* @byteshift_strstr(i8* %0, i8* %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %232, label %5
5: ; preds = %2
%6 = tail call i8* @strchr(i8* dereferenceable(1) %0, i8 signext %3)
%7 = icmp eq i8* %6, null
br i1 %7, label %232, label %8
8: ; preds = %5
%9 = getelementptr inbounds i8, i8* %1, i64 1
%10 = getelementptr inbounds i8, i8* %6, i64 1
%11 = load i8, i8* %10
%12 = icmp eq i8 %11, 0
br i1 %12, label %32, label %13
13: ; preds = %8
%14 = load i8, i8* %9
%15 = icmp eq i8 %14, 0
br i1 %15, label %39, label %19
16: ; preds = %19
%17 = load i8, i8* %28
%18 = icmp eq i8 %17, 0
br i1 %18, label %39, label %19
19: ; preds = %13, %16
%20 = phi i8 [ %17, %16 ], [ %14, %13 ]
%21 = phi i32 [ %27, %16 ], [ 1, %13 ]
%22 = phi i8* [ %28, %16 ], [ %9, %13 ]
%23 = phi i8* [ %29, %16 ], [ %10, %13 ]
%24 = phi i8 [ %30, %16 ], [ %11, %13 ]
%25 = icmp eq i8 %24, %20
%26 = zext i1 %25 to i32
%27 = and i32 %21, %26
%28 = getelementptr inbounds i8, i8* %22, i64 1
%29 = getelementptr inbounds i8, i8* %23, i64 1
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 0
br i1 %31, label %32, label %16
32: ; preds = %19, %8
%33 = phi i32 [ 1, %8 ], [ %27, %19 ]
%34 = phi i8* [ %1, %8 ], [ %22, %19 ]
%35 = phi i8* [ %9, %8 ], [ %28, %19 ]
%36 = phi i8* [ %10, %8 ], [ %29, %19 ]
%37 = load i8, i8* %35
%38 = icmp eq i8 %37, 0
br i1 %38, label %39, label %232
39: ; preds = %16, %13, %32
%40 = phi i32 [ %33, %32 ], [ 1, %13 ], [ %27, %16 ]
%41 = phi i8* [ %34, %32 ], [ %1, %13 ], [ %22, %16 ]
%42 = phi i8* [ %35, %32 ], [ %9, %13 ], [ %28, %16 ]
%43 = phi i8* [ %36, %32 ], [ %10, %13 ], [ %29, %16 ]
%44 = icmp eq i32 %40, 0
br i1 %44, label %45, label %232
45: ; preds = %39
%46 = ptrtoint i8* %42 to i64
%47 = ptrtoint i8* %1 to i64
%48 = sub i64 %46, %47
%49 = icmp ult i64 %48, 8
%50 = select i1 %49, i64 %48, i64 8
%51 = sub nsw i64 0, %50
%52 = getelementptr inbounds i8, i8* %43, i64 %51
%53 = icmp eq i64 %50, 0
br i1 %53, label %152, label %54
54: ; preds = %45
%55 = sub nsw i64 1, %50
%56 = getelementptr inbounds i8, i8* %41, i64 %55
%57 = load i8, i8* %56
%58 = zext i8 %57 to i64
%59 = getelementptr inbounds i8, i8* %52, i64 1
%60 = load i8, i8* %52
%61 = zext i8 %60 to i64
%62 = icmp eq i64 %50, 1
br i1 %62, label %152, label %63
63: ; preds = %54
%64 = sub nsw i64 2, %50
%65 = getelementptr inbounds i8, i8* %41, i64 %64
%66 = shl nuw nsw i64 %58, 8
%67 = load i8, i8* %65
%68 = zext i8 %67 to i64
%69 = or i64 %66, %68
%70 = shl nuw nsw i64 %61, 8
%71 = getelementptr inbounds i8, i8* %59, i64 1
%72 = load i8, i8* %59
%73 = zext i8 %72 to i64
%74 = or i64 %70, %73
%75 = icmp eq i64 %50, 2
br i1 %75, label %152, label %76
76: ; preds = %63
%77 = sub nsw i64 3, %50
%78 = getelementptr inbounds i8, i8* %41, i64 %77
%79 = shl nuw nsw i64 %69, 8
%80 = load i8, i8* %78
%81 = zext i8 %80 to i64
%82 = or i64 %79, %81
%83 = shl nuw nsw i64 %74, 8
%84 = getelementptr inbounds i8, i8* %71, i64 1
%85 = load i8, i8* %71
%86 = zext i8 %85 to i64
%87 = or i64 %83, %86
%88 = icmp eq i64 %50, 3
br i1 %88, label %152, label %89
89: ; preds = %76
%90 = sub nsw i64 4, %50
%91 = getelementptr inbounds i8, i8* %41, i64 %90
%92 = shl nuw nsw i64 %82, 8
%93 = load i8, i8* %91
%94 = zext i8 %93 to i64
%95 = or i64 %92, %94
%96 = shl nuw nsw i64 %87, 8
%97 = getelementptr inbounds i8, i8* %84, i64 1
%98 = load i8, i8* %84
%99 = zext i8 %98 to i64
%100 = or i64 %96, %99
%101 = icmp eq i64 %50, 4
br i1 %101, label %152, label %102
102: ; preds = %89
%103 = sub nsw i64 5, %50
%104 = getelementptr inbounds i8, i8* %41, i64 %103
%105 = shl i64 %95, 8
%106 = load i8, i8* %104
%107 = zext i8 %106 to i64
%108 = or i64 %105, %107
%109 = shl i64 %100, 8
%110 = getelementptr inbounds i8, i8* %97, i64 1
%111 = load i8, i8* %97
%112 = zext i8 %111 to i64
%113 = or i64 %109, %112
%114 = icmp eq i64 %50, 5
br i1 %114, label %152, label %115
115: ; preds = %102
%116 = sub nsw i64 6, %50
%117 = getelementptr inbounds i8, i8* %41, i64 %116
%118 = shl i64 %108, 8
%119 = load i8, i8* %117
%120 = zext i8 %119 to i64
%121 = or i64 %118, %120
%122 = shl i64 %113, 8
%123 = getelementptr inbounds i8, i8* %110, i64 1
%124 = load i8, i8* %110
%125 = zext i8 %124 to i64
%126 = or i64 %122, %125
%127 = icmp eq i64 %50, 6
br i1 %127, label %152, label %128
128: ; preds = %115
%129 = sub nsw i64 7, %50
%130 = getelementptr inbounds i8, i8* %41, i64 %129
%131 = shl i64 %121, 8
%132 = load i8, i8* %130
%133 = zext i8 %132 to i64
%134 = or i64 %131, %133
%135 = shl i64 %126, 8
%136 = load i8, i8* %123
%137 = zext i8 %136 to i64
%138 = or i64 %135, %137
%139 = icmp eq i64 %50, 7
br i1 %139, label %152, label %140
140: ; preds = %128
%141 = getelementptr inbounds i8, i8* %123, i64 1
%142 = sub nuw nsw i64 8, %50
%143 = getelementptr inbounds i8, i8* %41, i64 %142
%144 = shl i64 %134, 8
%145 = load i8, i8* %143
%146 = zext i8 %145 to i64
%147 = or i64 %144, %146
%148 = shl i64 %138, 8
%149 = load i8, i8* %141
%150 = zext i8 %149 to i64
%151 = or i64 %148, %150
br label %152
152: ; preds = %54, %63, %76, %89, %102, %115, %128, %140, %45
%153 = phi i8* [ %52, %45 ], [ %43, %140 ], [ %43, %128 ], [ %43, %115 ], [ %43, %102 ], [ %43, %89 ], [ %43, %76 ], [ %43, %63 ], [ %43, %54 ]
%154 = phi i64 [ 0, %45 ], [ %58, %54 ], [ %69, %63 ], [ %82, %76 ], [ %95, %89 ], [ %108, %102 ], [ %121, %115 ], [ %134, %128 ], [ %147, %140 ]
%155 = phi i64 [ 0, %45 ], [ %61, %54 ], [ %74, %63 ], [ %87, %76 ], [ %100, %89 ], [ %113, %102 ], [ %126, %115 ], [ %138, %128 ], [ %151, %140 ]
%156 = icmp ugt i64 %48, 9
br i1 %156, label %157, label %178
157: ; preds = %152
%158 = add i64 %48, -8
%159 = load i8, i8* %153
%160 = icmp eq i8 %159, 0
br i1 %160, label %232, label %161
161: ; preds = %157, %175
%162 = phi i8 [ %176, %175 ], [ %159, %157 ]
%163 = phi i64 [ %169, %175 ], [ %155, %157 ]
%164 = phi i8* [ %167, %175 ], [ %153, %157 ]
%165 = phi i8* [ %170, %175 ], [ %6, %157 ]
%166 = shl i64 %163, 8
%167 = getelementptr inbounds i8, i8* %164, i64 1
%168 = zext i8 %162 to i64
%169 = or i64 %166, %168
%170 = getelementptr inbounds i8, i8* %165, i64 1
%171 = icmp eq i64 %169, %154
br i1 %171, label %172, label %175
172: ; preds = %161
%173 = tail call i64 @memcmp(i8* %170, i8* %1, i64 %158)
%174 = icmp eq i64 %173, 0
br i1 %174, label %232, label %175
175: ; preds = %172, %161
%176 = load i8, i8* %167
%177 = icmp eq i8 %176, 0
br i1 %177, label %232, label %161
178: ; preds = %152
switch i64 %48, label %212 [
i64 9, label %179
i64 8, label %199
]
179: ; preds = %178
%180 = load i8, i8* %153
%181 = icmp eq i8 %180, 0
br i1 %181, label %232, label %182
182: ; preds = %179, %196
%183 = phi i8 [ %197, %196 ], [ %180, %179 ]
%184 = phi i64 [ %190, %196 ], [ %155, %179 ]
%185 = phi i8* [ %188, %196 ], [ %153, %179 ]
%186 = phi i8* [ %191, %196 ], [ %6, %179 ]
%187 = shl i64 %184, 8
%188 = getelementptr inbounds i8, i8* %185, i64 1
%189 = zext i8 %183 to i64
%190 = or i64 %187, %189
%191 = getelementptr inbounds i8, i8* %186, i64 1
%192 = icmp eq i64 %190, %154
br i1 %192, label %193, label %196
193: ; preds = %182
%194 = load i8, i8* %191
%195 = icmp eq i8 %194, %3
br i1 %195, label %232, label %196
196: ; preds = %193, %182
%197 = load i8, i8* %188
%198 = icmp eq i8 %197, 0
br i1 %198, label %232, label %182
199: ; preds = %178, %204
%200 = phi i8* [ %206, %204 ], [ %153, %178 ]
%201 = phi i64 [ %208, %204 ], [ %155, %178 ]
%202 = load i8, i8* %200
%203 = icmp eq i8 %202, 0
br i1 %203, label %232, label %204
204: ; preds = %199
%205 = shl i64 %201, 8
%206 = getelementptr inbounds i8, i8* %200, i64 1
%207 = zext i8 %202 to i64
%208 = or i64 %205, %207
%209 = icmp eq i64 %208, %154
br i1 %209, label %210, label %199
210: ; preds = %204
%211 = getelementptr inbounds i8, i8* %200, i64 -7
br label %232
212: ; preds = %178
%213 = shl nuw nsw i64 %48, 3
%214 = shl nsw i64 -1, %213
%215 = xor i64 %214, -1
%216 = and i64 %154, %215
br label %217
217: ; preds = %222, %212
%218 = phi i8* [ %153, %212 ], [ %224, %222 ]
%219 = phi i64 [ %155, %212 ], [ %227, %222 ]
%220 = load i8, i8* %218
%221 = icmp eq i8 %220, 0
br i1 %221, label %232, label %222
222: ; preds = %217
%223 = shl i64 %219, 8
%224 = getelementptr inbounds i8, i8* %218, i64 1
%225 = zext i8 %220 to i64
%226 = or i64 %223, %225
%227 = and i64 %226, %215
%228 = icmp eq i64 %227, %216
br i1 %228, label %229, label %217
229: ; preds = %222
%230 = sub i64 0, %48
%231 = getelementptr inbounds i8, i8* %224, i64 %230
br label %232
232: ; preds = %199, %196, %193, %217, %175, %172, %179, %157, %5, %210, %229, %39, %32, %2
%233 = phi i8* [ %0, %2 ], [ null, %5 ], [ null, %32 ], [ %6, %39 ], [ %211, %210 ], [ %231, %229 ], [ null, %157 ], [ null, %179 ], [ null, %175 ], [ %170, %172 ], [ null, %217 ], [ null, %196 ], [ %191, %193 ], [ null, %199 ]
ret i8* %233
}