#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 */
typedef scalar_t__ n_needle;
typedef size_t j;
typedef int /*<<< orphan*/ haystack;

/* Variables and functions */
unsigned int CHAR_BIT;
size_t SIZE_MAX;
size_t critical_factorization(unsigned char const *, size_t, size_t *);
scalar_t__ isupper(unsigned char const);
int /*<<< orphan*/ memchr(int /*<<< orphan*/, char, size_t);
unsigned char const tolower(unsigned char const);
scalar_t__ tvi_strncasecmp(unsigned char const *, unsigned char const *,
                           size_t);
char *two_way_long_needle(const unsigned char *haystack, size_t n_haystack,
                          const unsigned char *needle, size_t n_needle) {
  size_t i;
  size_t j;
  size_t period;
  size_t suffix;
  size_t shift_table[1U << CHAR_BIT];
  suffix = critical_factorization(needle, n_needle, &period);
  for (i = 0; i < 1U << CHAR_BIT; i++)
    shift_table[i] = n_needle;
  for (i = 0; i < n_needle; i++)
    shift_table[(isupper(needle[i]) ? tolower(needle[i]) : (needle[i]))] =
        n_needle - i - 1;
  if (tvi_strncasecmp(needle, needle + period, suffix) == 0) {
    size_t memory = 0;
    size_t shift;
    j = 0;
    while ((!memchr((haystack) + (n_haystack), '\0',
                    (j) + (n_needle) - (n_haystack)) &&
            ((n_haystack) = (j) + (n_needle)))) {
      shift = shift_table[(isupper(haystack[j + n_needle - 1])
                               ? tolower(haystack[j + n_needle - 1])
                               : (haystack[j + n_needle - 1]))];
      if (0 < shift) {
        if (memory && shift < period)
          shift = n_needle - period;
        memory = 0;
        j += shift;
        continue;
      }
      i = ((suffix < memory) ? (memory) : (suffix));
      while (i < n_needle - 1 &&
             ((isupper(needle[i]) ? tolower(needle[i]) : (needle[i])) ==
              (isupper(haystack[i + j]) ? tolower(haystack[i + j])
                                        : (haystack[i + j]))))
        ++i;
      if (n_needle - 1 <= i) {
        i = suffix - 1;
        while (memory < i + 1 &&
               ((isupper(needle[i]) ? tolower(needle[i]) : (needle[i])) ==
                (isupper(haystack[i + j]) ? tolower(haystack[i + j])
                                          : (haystack[i + j]))))
          --i;
        if (i + 1 < memory + 1)
          return (char *)haystack + j;
        j += period;
        memory = n_needle - period;
      } else {
        j += i - suffix + 1;
        memory = 0;
      }
    }
  } else {
    size_t shift;
    period =
        ((suffix < n_needle - suffix) ? (n_needle - suffix) : (suffix)) + 1;
    j = 0;
    while ((!memchr((haystack) + (n_haystack), '\0',
                    (j) + (n_needle) - (n_haystack)) &&
            ((n_haystack) = (j) + (n_needle)))) {
      shift = shift_table[(isupper(haystack[j + n_needle - 1])
                               ? tolower(haystack[j + n_needle - 1])
                               : (haystack[j + n_needle - 1]))];
      if (0 < shift) {
        j += shift;
        continue;
      }
      i = suffix;
      while (i < n_needle - 1 &&
             ((isupper(needle[i]) ? tolower(needle[i]) : (needle[i])) ==
              (isupper(haystack[i + j]) ? tolower(haystack[i + j])
                                        : (haystack[i + j]))))
        ++i;
      if (n_needle - 1 <= i) {
        i = suffix - 1;
        while (i != SIZE_MAX &&
               ((isupper(needle[i]) ? tolower(needle[i]) : (needle[i])) ==
                (isupper(haystack[i + j]) ? tolower(haystack[i + j])
                                          : (haystack[i + j]))))
          --i;
        if (i == SIZE_MAX)
          return (char *)(haystack + j);
        j += period;
      } else
        j += i - suffix + 1;
    }
  }
  return NULL;
}


x86 assembly (clang, -O0):
<two_way_long_needle>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    0x2e6e(%rip),%rax
mov    (%rax),%cl
mov    $0x1,%eax
shl    %cl,%eax
mov    %rsp,%rcx
mov    %rcx,-0x50(%rbp)
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x80(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x58(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x28(%rbp),%rsi
lea    -0x40(%rbp),%rdx
call   1070 <critical_factorization@plt>
mov    %rax,-0x48(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    0x2e19(%rip),%rcx
mov    (%rcx),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
mov    %ecx,%ecx
cmp    %rcx,%rax
jae    11fe <two_way_long_needle+0xae>
mov    -0x80(%rbp),%rax
mov    -0x28(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11bc <two_way_long_needle+0x6c>
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    129c <two_way_long_needle+0x14c>
mov    -0x28(%rbp),%rax
sub    -0x30(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x88(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     1261 <two_way_long_needle+0x111>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0x8c(%rbp)
jmp    1273 <two_way_long_needle+0x123>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x80(%rbp),%rax
mov    -0x88(%rbp),%rdx
mov    -0x8c(%rbp),%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1206 <two_way_long_needle+0xb6>
mov    -0x20(%rbp),%rdi
mov    -0x20(%rbp),%rsi
add    -0x40(%rbp),%rsi
mov    -0x48(%rbp),%rdx
call   1030 <tvi_strncasecmp@plt>
cmp    $0x0,%rax
jne    16c0 <two_way_long_needle+0x570>
movq   $0x0,-0x60(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %eax,%edi
mov    -0x38(%rbp),%rdx
add    -0x28(%rbp),%rdx
sub    -0x18(%rbp),%rdx
xor    %esi,%esi
call   1040 <memchr@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x8d(%rbp)
jne    1314 <two_way_long_needle+0x1c4>
mov    -0x38(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
setne  %al
mov    %al,-0x8d(%rbp)
mov    -0x8d(%rbp),%al
test   $0x1,%al
jne    1327 <two_way_long_needle+0x1d7>
jmp    16bb <two_way_long_needle+0x56b>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     1371 <two_way_long_needle+0x221>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0x94(%rbp)
jmp    138b <two_way_long_needle+0x23b>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x94(%rbp)
mov    -0x80(%rbp),%rax
mov    -0x94(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x68(%rbp)
xor    %eax,%eax
cmp    -0x68(%rbp),%rax
jae    13ea <two_way_long_needle+0x29a>
cmpq   $0x0,-0x60(%rbp)
je     13d1 <two_way_long_needle+0x281>
mov    -0x68(%rbp),%rax
cmp    -0x40(%rbp),%rax
jae    13d1 <two_way_long_needle+0x281>
mov    -0x28(%rbp),%rax
sub    -0x40(%rbp),%rax
mov    %rax,-0x68(%rbp)
movq   $0x0,-0x60(%rbp)
mov    -0x68(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    12cb <two_way_long_needle+0x17b>
mov    -0x48(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    1408 <two_way_long_needle+0x2b8>
mov    -0x60(%rbp),%rax
mov    %rax,-0xa0(%rbp)
jmp    1413 <two_way_long_needle+0x2c3>
mov    -0x48(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x28(%rbp),%rdx
sub    $0x1,%rdx
xor    %eax,%eax
cmp    %rdx,%rcx
mov    %al,-0xa1(%rbp)
jae    1502 <two_way_long_needle+0x3b2>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     1475 <two_way_long_needle+0x325>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xa8(%rbp)
jmp    1487 <two_way_long_needle+0x337>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xa8(%rbp)
mov    -0xa8(%rbp),%eax
mov    %eax,-0xac(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     14d5 <two_way_long_needle+0x385>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xb0(%rbp)
jmp    14eb <two_way_long_needle+0x39b>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xb0(%rbp)
mov    -0xac(%rbp),%eax
mov    -0xb0(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0xa1(%rbp)
mov    -0xa1(%rbp),%al
test   $0x1,%al
jne    1515 <two_way_long_needle+0x3c5>
jmp    1526 <two_way_long_needle+0x3d6>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    141e <two_way_long_needle+0x2ce>
mov    -0x28(%rbp),%rax
sub    $0x1,%rax
cmp    -0x30(%rbp),%rax
ja     169a <two_way_long_needle+0x54a>
mov    -0x48(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x60(%rbp),%rcx
mov    -0x30(%rbp),%rdx
add    $0x1,%rdx
xor    %eax,%eax
cmp    %rdx,%rcx
mov    %al,-0xb1(%rbp)
jae    1628 <two_way_long_needle+0x4d8>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     159b <two_way_long_needle+0x44b>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xb8(%rbp)
jmp    15ad <two_way_long_needle+0x45d>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xb8(%rbp)
mov    -0xb8(%rbp),%eax
mov    %eax,-0xbc(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     15fb <two_way_long_needle+0x4ab>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xc0(%rbp)
jmp    1611 <two_way_long_needle+0x4c1>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xc0(%rbp)
mov    -0xbc(%rbp),%eax
mov    -0xc0(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0xb1(%rbp)
mov    -0xb1(%rbp),%al
test   $0x1,%al
jne    163b <two_way_long_needle+0x4eb>
jmp    164c <two_way_long_needle+0x4fc>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    1544 <two_way_long_needle+0x3f4>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    -0x60(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    167d <two_way_long_needle+0x52d>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x6c(%rbp)
jmp    1a9c <two_way_long_needle+0x94c>
mov    -0x40(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
sub    -0x40(%rbp),%rax
mov    %rax,-0x60(%rbp)
jmp    16b6 <two_way_long_needle+0x566>
mov    -0x30(%rbp),%rax
sub    -0x48(%rbp),%rax
add    $0x1,%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x60(%rbp)
jmp    12cb <two_way_long_needle+0x17b>
jmp    1a8d <two_way_long_needle+0x93d>
mov    -0x48(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    -0x48(%rbp),%rcx
cmp    %rcx,%rax
jae    16e9 <two_way_long_needle+0x599>
mov    -0x28(%rbp),%rax
sub    -0x48(%rbp),%rax
mov    %rax,-0xc8(%rbp)
jmp    16f4 <two_way_long_needle+0x5a4>
mov    -0x48(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %eax,%edi
mov    -0x38(%rbp),%rdx
add    -0x28(%rbp),%rdx
sub    -0x18(%rbp),%rdx
xor    %esi,%esi
call   1040 <memchr@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0xc9(%rbp)
jne    1754 <two_way_long_needle+0x604>
mov    -0x38(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
setne  %al
mov    %al,-0xc9(%rbp)
mov    -0xc9(%rbp),%al
test   $0x1,%al
jne    1767 <two_way_long_needle+0x617>
jmp    1a88 <two_way_long_needle+0x938>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     17b1 <two_way_long_needle+0x661>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xd0(%rbp)
jmp    17cb <two_way_long_needle+0x67b>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xd0(%rbp)
mov    -0x80(%rbp),%rax
mov    -0xd0(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x78(%rbp)
xor    %eax,%eax
cmp    -0x78(%rbp),%rax
jae    17fd <two_way_long_needle+0x6ad>
mov    -0x78(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    170b <two_way_long_needle+0x5bb>
mov    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x28(%rbp),%rdx
sub    $0x1,%rdx
xor    %eax,%eax
cmp    %rdx,%rcx
mov    %al,-0xd1(%rbp)
jae    18e9 <two_way_long_needle+0x799>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     185c <two_way_long_needle+0x70c>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xd8(%rbp)
jmp    186e <two_way_long_needle+0x71e>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xd8(%rbp)
mov    -0xd8(%rbp),%eax
mov    %eax,-0xdc(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     18bc <two_way_long_needle+0x76c>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xe0(%rbp)
jmp    18d2 <two_way_long_needle+0x782>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xe0(%rbp)
mov    -0xdc(%rbp),%eax
mov    -0xe0(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0xd1(%rbp)
mov    -0xd1(%rbp),%al
test   $0x1,%al
jne    18fc <two_way_long_needle+0x7ac>
jmp    190d <two_way_long_needle+0x7bd>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1805 <two_way_long_needle+0x6b5>
mov    -0x28(%rbp),%rax
sub    $0x1,%rax
cmp    -0x30(%rbp),%rax
ja     1a6f <two_way_long_needle+0x91f>
mov    -0x48(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
mov    0x2698(%rip),%rdx
cmp    (%rdx),%rcx
mov    %al,-0xe1(%rbp)
je     1a0e <two_way_long_needle+0x8be>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     1981 <two_way_long_needle+0x831>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xe8(%rbp)
jmp    1993 <two_way_long_needle+0x843>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xe8(%rbp)
mov    -0xe8(%rbp),%eax
mov    %eax,-0xec(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     19e1 <two_way_long_needle+0x891>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    %eax,-0xf0(%rbp)
jmp    19f7 <two_way_long_needle+0x8a7>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x38(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xf0(%rbp)
mov    -0xec(%rbp),%eax
mov    -0xf0(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0xe1(%rbp)
mov    -0xe1(%rbp),%al
test   $0x1,%al
jne    1a21 <two_way_long_needle+0x8d1>
jmp    1a32 <two_way_long_needle+0x8e2>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    192b <two_way_long_needle+0x7db>
mov    -0x30(%rbp),%rax
mov    0x2593(%rip),%rcx
cmp    (%rcx),%rax
jne    1a5e <two_way_long_needle+0x90e>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x6c(%rbp)
jmp    1a9c <two_way_long_needle+0x94c>
mov    -0x40(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1a83 <two_way_long_needle+0x933>
mov    -0x30(%rbp),%rax
sub    -0x48(%rbp),%rax
add    $0x1,%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    170b <two_way_long_needle+0x5bb>
jmp    1a8d <two_way_long_needle+0x93d>
movq   $0x0,-0x8(%rbp)
movl   $0x1,-0x6c(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,%rsp
mov    -0x8(%rbp),%rax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<two_way_long_needle>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %rcx,%r12
mov    0x2e75(%rip),%r15
mov    (%r15),%cl
mov    $0x1,%eax
shl    %cl,%rax
mov    %rdx,%rcx
mov    %rsi,%r13
mov    %rdi,-0x30(%rbp)
mov    %rsp,-0x98(%rbp)
mov    $0x1,%ebx
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%r14
sub    %rax,%r14
mov    %r14,%rsp
lea    -0x60(%rbp),%rdx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rdi
mov    %r12,%rsi
call   1070 <critical_factorization@plt>
mov    %rax,-0x50(%rbp)
mov    (%r15),%ecx
shl    %cl,%rbx
cmp    $0x2,%ecx
jae    11ca <two_way_long_needle+0x7a>
xor    %eax,%eax
jmp    12d0 <two_way_long_needle+0x180>
mov    %ebx,%eax
and    $0xfffffffc,%eax
movq   %r12,%xmm0
pshufd $0x44,%xmm0,%xmm0
lea    -0x4(%rax),%rsi
mov    %rsi,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x1c,%rsi
jae    11fa <two_way_long_needle+0xaa>
xor    %esi,%esi
jmp    1295 <two_way_long_needle+0x145>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
movdqa %xmm0,(%r14,%rsi,8)
movdqa %xmm0,0x10(%r14,%rsi,8)
movdqa %xmm0,0x20(%r14,%rsi,8)
movdqa %xmm0,0x30(%r14,%rsi,8)
movdqa %xmm0,0x40(%r14,%rsi,8)
movdqa %xmm0,0x50(%r14,%rsi,8)
movdqa %xmm0,0x60(%r14,%rsi,8)
movdqa %xmm0,0x70(%r14,%rsi,8)
movdqa %xmm0,0x80(%r14,%rsi,8)
movdqa %xmm0,0x90(%r14,%rsi,8)
movdqa %xmm0,0xa0(%r14,%rsi,8)
movdqa %xmm0,0xb0(%r14,%rsi,8)
movdqa %xmm0,0xc0(%r14,%rsi,8)
movdqa %xmm0,0xd0(%r14,%rsi,8)
movdqa %xmm0,0xe0(%r14,%rsi,8)
movdqa %xmm0,0xf0(%r14,%rsi,8)
add    $0x20,%rsi
add    $0xfffffffffffffff8,%rdx
jne    1200 <two_way_long_needle+0xb0>
test   %rcx,%rcx
je     12c4 <two_way_long_needle+0x174>
lea    (%r14,%rsi,8),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,-0x10(%rdx,%rsi,1)
movdqa %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    12b0 <two_way_long_needle+0x160>
cmp    %rbx,%rax
je     12dd <two_way_long_needle+0x18d>
nopl   0x0(%rax)
mov    %r12,(%r14,%rax,8)
add    $0x1,%rax
cmp    %rax,%rbx
jne    12d0 <two_way_long_needle+0x180>
mov    %r12,-0x48(%rbp)
test   %r12,%r12
je     132e <two_way_long_needle+0x1de>
mov    -0x48(%rbp),%rax
lea    -0x1(%rax),%r15
mov    -0x58(%rbp),%rbx
jmp    1311 <two_way_long_needle+0x1c1>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl %al,%eax
mov    %r15,(%r14,%rax,8)
add    $0x1,%rbx
add    $0xffffffffffffffff,%r15
jae    132e <two_way_long_needle+0x1de>
movzbl (%rbx),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl (%rbx),%eax
test   %rcx,%rcx
je     1300 <two_way_long_needle+0x1b0>
movzbl %al,%edi
call   1050 <tolower@plt>
jmp    1300 <two_way_long_needle+0x1b0>
mov    -0x60(%rbp),%rsi
mov    -0x58(%rbp),%rdi
add    %rdi,%rsi
mov    -0x50(%rbp),%rbx
mov    %rbx,%rdx
call   1030 <tvi_strncasecmp@plt>
test   %rax,%rax
je     1578 <two_way_long_needle+0x428>
mov    -0x48(%rbp),%r15
mov    %r15,%r12
sub    %rbx,%r12
cmp    %r12,%rbx
cmovb  %r12,%rbx
add    $0x1,%rbx
mov    %rbx,-0x60(%rbp)
mov    -0x30(%rbp),%rax
lea    (%rax,%r13,1),%edi
mov    %r15,%rdx
sub    %r13,%rdx
xor    %esi,%esi
call   1040 <memchr@plt>
test   %eax,%eax
jne    179f <two_way_long_needle+0x64f>
xor    %eax,%eax
mov    %rax,-0x40(%rbp)
test   %r15,%r15
je     17af <two_way_long_needle+0x65f>
lea    -0x1(%r15),%rax
mov    %rax,-0x80(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x50(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x90(%rbp)
mov    -0x58(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x70(%rbp)
lea    -0x1(%rcx),%rax
mov    %rax,-0x78(%rbp)
xor    %eax,%eax
mov    %rax,-0x40(%rbp)
mov    %r15,%r13
xor    %eax,%eax
mov    %rax,-0x38(%rbp)
mov    %r12,-0x88(%rbp)
cs nopw 0x0(%rax,%rax,1)
mov    -0x30(%rbp),%rbx
movzbl -0x1(%r13,%rbx,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
mov    -0x1(%r13,%rbx,1),%al
test   %rcx,%rcx
je     1404 <two_way_long_needle+0x2b4>
movzbl %al,%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    (%r14,%rax,8),%rbx
test   %rbx,%rbx
jne    153b <two_way_long_needle+0x3eb>
mov    %r13,-0x68(%rbp)
mov    -0x80(%rbp),%rax
cmp    %rax,-0x50(%rbp)
jae    1499 <two_way_long_needle+0x349>
mov    -0x90(%rbp),%rax
mov    -0x38(%rbp),%rcx
lea    (%rax,%rcx,1),%r15
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
mov    -0x70(%rbp),%r13
movzbl -0x1(%r13,%rbx,1),%edi
call   1060 <isupper@plt>
movzbl -0x1(%r13,%rbx,1),%r13d
test   %rax,%rax
je     1466 <two_way_long_needle+0x316>
movzbl %r13b,%edi
call   1050 <tolower@plt>
mov    %eax,%r13d
movzbl -0x1(%r15,%rbx,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl -0x1(%r15,%rbx,1),%eax
test   %rcx,%rcx
je     1487 <two_way_long_needle+0x337>
movzbl %al,%edi
call   1050 <tolower@plt>
cmp    %al,%r13b
jne    1533 <two_way_long_needle+0x3e3>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    1440 <two_way_long_needle+0x2f0>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
lea    (%rax,%rcx,1),%r12
mov    -0x78(%rbp),%r15
jmp    14b9 <two_way_long_needle+0x369>
nopl   0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%r15
cmp    %al,%r13b
jne    150e <two_way_long_needle+0x3be>
mov    0x2b10(%rip),%rax
cmp    (%rax),%r15
je     1799 <two_way_long_needle+0x649>
mov    -0x58(%rbp),%rbx
movzbl (%rbx,%r15,1),%edi
call   1060 <isupper@plt>
movzbl (%rbx,%r15,1),%r13d
test   %rax,%rax
je     14ed <two_way_long_needle+0x39d>
movzbl %r13b,%edi
call   1050 <tolower@plt>
mov    %eax,%r13d
movzbl (%r12,%r15,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl (%r12,%r15,1),%eax
test   %rcx,%rcx
je     14b0 <two_way_long_needle+0x360>
movzbl %al,%edi
call   1050 <tolower@plt>
jmp    14b0 <two_way_long_needle+0x360>
mov    0x2abb(%rip),%rax
sub    (%rax),%r15
cmp    $0xffffffffffffffff,%r15
je     1799 <two_way_long_needle+0x649>
mov    -0x60(%rbp),%rbx
mov    -0x48(%rbp),%r15
mov    -0x88(%rbp),%r12
jmp    1537 <two_way_long_needle+0x3e7>
mov    -0x48(%rbp),%r15
mov    -0x68(%rbp),%r13
mov    -0x38(%rbp),%rcx
add    %rbx,%rcx
mov    -0x30(%rbp),%rax
lea    (%rax,%r13,1),%edi
mov    %rcx,-0x38(%rbp)
lea    (%rcx,%r15,1),%rbx
mov    %rbx,%rdx
sub    %r13,%rdx
xor    %esi,%esi
call   1040 <memchr@plt>
test   %eax,%eax
jne    17af <two_way_long_needle+0x65f>
mov    %rbx,%r13
test   %rbx,%rbx
jne    13e0 <two_way_long_needle+0x290>
jmp    17af <two_way_long_needle+0x65f>
mov    -0x30(%rbp),%rax
lea    (%rax,%r13,1),%edi
mov    -0x48(%rbp),%r15
mov    %r15,%rdx
sub    %r13,%rdx
xor    %eax,%eax
mov    %rax,-0x40(%rbp)
xor    %esi,%esi
call   1040 <memchr@plt>
test   %eax,%eax
jne    17af <two_way_long_needle+0x65f>
test   %r15,%r15
je     17af <two_way_long_needle+0x65f>
lea    -0x1(%r15),%rax
mov    %rax,-0x70(%rbp)
mov    $0x1,%eax
sub    -0x50(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x80(%rbp)
xor    %eax,%eax
mov    %rax,-0x40(%rbp)
mov    %r15,%r13
xor    %r12d,%r12d
xor    %eax,%eax
mov    %rax,-0x38(%rbp)
nopl   0x0(%rax,%rax,1)
mov    -0x30(%rbp),%rbx
movzbl -0x1(%r13,%rbx,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
mov    -0x1(%r13,%rbx,1),%al
test   %rcx,%rcx
je     1604 <two_way_long_needle+0x4b4>
movzbl %al,%edi
call   1050 <tolower@plt>
mov    %r13,-0x68(%rbp)
movzbl %al,%eax
mov    (%r14,%rax,8),%rax
test   %rax,%rax
je     1640 <two_way_long_needle+0x4f0>
mov    -0x60(%rbp),%rcx
mov    %r15,%r13
sub    %rcx,%r13
cmp    %rcx,%rax
cmovae %rax,%r13
test   %r12,%r12
cmove  %rax,%r13
xor    %r12d,%r12d
jmp    1760 <two_way_long_needle+0x610>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0x50(%rbp),%r13
cmp    %r12,%r13
cmovb  %r12,%r13
cmp    -0x70(%rbp),%r13
jae    16b3 <two_way_long_needle+0x563>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
lea    (%rax,%rcx,1),%r15
nopl   (%rax)
mov    -0x58(%rbp),%rbx
movzbl (%rbx,%r13,1),%edi
call   1060 <isupper@plt>
movzbl (%rbx,%r13,1),%ebx
test   %rax,%rax
je     1682 <two_way_long_needle+0x532>
movzbl %bl,%edi
call   1050 <tolower@plt>
mov    %eax,%ebx
movzbl (%r15,%r13,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl (%r15,%r13,1),%eax
test   %rcx,%rcx
je     16a1 <two_way_long_needle+0x551>
movzbl %al,%edi
call   1050 <tolower@plt>
cmp    %al,%bl
jne    1749 <two_way_long_needle+0x5f9>
add    $0x1,%r13
cmp    %r13,-0x70(%rbp)
jne    1660 <two_way_long_needle+0x510>
mov    -0x80(%rbp),%rax
mov    -0x38(%rbp),%rcx
lea    (%rax,%rcx,1),%r13
mov    -0x50(%rbp),%rcx
jmp    16d9 <two_way_long_needle+0x589>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x1(%rbx),%rcx
cmp    %al,%r15b
jne    1730 <two_way_long_needle+0x5e0>
mov    %rcx,%rbx
cmp    %rcx,%r12
jae    1730 <two_way_long_needle+0x5e0>
mov    -0x58(%rbp),%r15
movzbl -0x1(%r15,%rbx,1),%edi
call   1060 <isupper@plt>
movzbl -0x1(%r15,%rbx,1),%r15d
test   %rax,%rax
je     1707 <two_way_long_needle+0x5b7>
movzbl %r15b,%edi
call   1050 <tolower@plt>
mov    %eax,%r15d
movzbl 0x0(%r13,%rbx,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl 0x0(%r13,%rbx,1),%eax
test   %rcx,%rcx
je     16d0 <two_way_long_needle+0x580>
movzbl %al,%edi
call   1050 <tolower@plt>
jmp    16d0 <two_way_long_needle+0x580>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r12
cmp    %r12,%rbx
jb     17a3 <two_way_long_needle+0x653>
mov    -0x60(%rbp),%r13
mov    -0x48(%rbp),%r15
mov    %r15,%r12
sub    %r13,%r12
jmp    1760 <two_way_long_needle+0x610>
add    -0x78(%rbp),%r13
xor    %r12d,%r12d
mov    -0x48(%rbp),%r15
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0x38(%rbp),%rcx
add    %r13,%rcx
mov    -0x30(%rbp),%rax
mov    -0x68(%rbp),%rsi
lea    (%rax,%rsi,1),%edi
mov    %rcx,-0x38(%rbp)
lea    (%rcx,%r15,1),%rbx
mov    %rbx,%rdx
sub    %rsi,%rdx
xor    %esi,%esi
call   1040 <memchr@plt>
test   %eax,%eax
jne    17af <two_way_long_needle+0x65f>
mov    %rbx,%r13
test   %rbx,%rbx
jne    15e0 <two_way_long_needle+0x490>
jmp    17af <two_way_long_needle+0x65f>
mov    %r12,-0x40(%rbp)
jmp    17af <two_way_long_needle+0x65f>
xor    %eax,%eax
jmp    17ab <two_way_long_needle+0x65b>
mov    -0x30(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x98(%rbp),%rsp
mov    -0x40(%rbp),%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@CHAR_BIT = global i32 0
@SIZE_MAX = global i64 0
define i8* @two_way_long_needle(i8* %0, i64 %1, i8* %2, i64 %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i8*
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i32
%19 = alloca i64
store i8* %0, i8** %6
store i64 %1, i64* %7
store i8* %2, i8** %8
store i64 %3, i64* %9
%20 = load i32, i32* @CHAR_BIT
%21 = shl i32 1, %20
%22 = zext i32 %21 to i64
%23 = call i8* @llvm.stacksave()
store i8* %23, i8** %14
%24 = alloca i64, i64 %22
store i64 %22, i64* %15
%25 = load i8*, i8** %8
%26 = load i64, i64* %9
%27 = call i64 @critical_factorization(i8* %25, i64 %26, i64* %12)
store i64 %27, i64* %13
store i64 0, i64* %10
br label %28
28: ; preds = %38, %4
%29 = load i64, i64* %10
%30 = load i32, i32* @CHAR_BIT
%31 = shl i32 1, %30
%32 = zext i32 %31 to i64
%33 = icmp ult i64 %29, %32
br i1 %33, label %34, label %41
34: ; preds = %28
%35 = load i64, i64* %9
%36 = load i64, i64* %10
%37 = getelementptr inbounds i64, i64* %24, i64 %36
store i64 %35, i64* %37
br label %38
38: ; preds = %34
%39 = load i64, i64* %10
%40 = add i64 %39, 1
store i64 %40, i64* %10
br label %28
41: ; preds = %28
store i64 0, i64* %10
br label %42
42: ; preds = %74, %41
%43 = load i64, i64* %10
%44 = load i64, i64* %9
%45 = icmp ult i64 %43, %44
br i1 %45, label %46, label %77
46: ; preds = %42
%47 = load i64, i64* %9
%48 = load i64, i64* %10
%49 = sub i64 %47, %48
%50 = sub i64 %49, 1
%51 = load i8*, i8** %8
%52 = load i64, i64* %10
%53 = getelementptr inbounds i8, i8* %51, i64 %52
%54 = load i8, i8* %53
%55 = call i64 @isupper(i8 zeroext %54)
%56 = icmp ne i64 %55, 0
br i1 %56, label %57, label %64
57: ; preds = %46
%58 = load i8*, i8** %8
%59 = load i64, i64* %10
%60 = getelementptr inbounds i8, i8* %58, i64 %59
%61 = load i8, i8* %60
%62 = call zeroext i8 @tolower(i8 zeroext %61)
%63 = zext i8 %62 to i32
br label %70
64: ; preds = %46
%65 = load i8*, i8** %8
%66 = load i64, i64* %10
%67 = getelementptr inbounds i8, i8* %65, i64 %66
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
br label %70
70: ; preds = %64, %57
%71 = phi i32 [ %63, %57 ], [ %69, %64 ]
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i64, i64* %24, i64 %72
store i64 %50, i64* %73
br label %74
74: ; preds = %70
%75 = load i64, i64* %10
%76 = add i64 %75, 1
store i64 %76, i64* %10
br label %42
77: ; preds = %42
%78 = load i8*, i8** %8
%79 = load i8*, i8** %8
%80 = load i64, i64* %12
%81 = getelementptr inbounds i8, i8* %79, i64 %80
%82 = load i64, i64* %13
%83 = call i64 @tvi_strncasecmp(i8* %78, i8* %81, i64 %82)
%84 = icmp eq i64 %83, 0
br i1 %84, label %85, label %320
85: ; preds = %77
store i64 0, i64* %16
store i64 0, i64* %11
br label %86
86: ; preds = %318, %152, %85
%87 = load i8*, i8** %6
%88 = load i64, i64* %7
%89 = getelementptr inbounds i8, i8* %87, i64 %88
%90 = ptrtoint i8* %89 to i32
%91 = load i64, i64* %11
%92 = load i64, i64* %9
%93 = add i64 %91, %92
%94 = load i64, i64* %7
%95 = sub i64 %93, %94
%96 = call i32 @memchr(i32 %90, i8 signext 0, i64 %95)
%97 = icmp ne i32 %96, 0
br i1 %97, label %103, label %98
98: ; preds = %86
%99 = load i64, i64* %11
%100 = load i64, i64* %9
%101 = add i64 %99, %100
store i64 %101, i64* %7
%102 = icmp ne i64 %101, 0
br label %103
103: ; preds = %98, %86
%104 = phi i1 [ false, %86 ], [ %102, %98 ]
br i1 %104, label %105, label %319
105: ; preds = %103
%106 = load i8*, i8** %6
%107 = load i64, i64* %11
%108 = load i64, i64* %9
%109 = add i64 %107, %108
%110 = sub i64 %109, 1
%111 = getelementptr inbounds i8, i8* %106, i64 %110
%112 = load i8, i8* %111
%113 = call i64 @isupper(i8 zeroext %112)
%114 = icmp ne i64 %113, 0
br i1 %114, label %115, label %125
115: ; preds = %105
%116 = load i8*, i8** %6
%117 = load i64, i64* %11
%118 = load i64, i64* %9
%119 = add i64 %117, %118
%120 = sub i64 %119, 1
%121 = getelementptr inbounds i8, i8* %116, i64 %120
%122 = load i8, i8* %121
%123 = call zeroext i8 @tolower(i8 zeroext %122)
%124 = zext i8 %123 to i32
br label %134
125: ; preds = %105
%126 = load i8*, i8** %6
%127 = load i64, i64* %11
%128 = load i64, i64* %9
%129 = add i64 %127, %128
%130 = sub i64 %129, 1
%131 = getelementptr inbounds i8, i8* %126, i64 %130
%132 = load i8, i8* %131
%133 = zext i8 %132 to i32
br label %134
134: ; preds = %125, %115
%135 = phi i32 [ %124, %115 ], [ %133, %125 ]
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i64, i64* %24, i64 %136
%138 = load i64, i64* %137
store i64 %138, i64* %17
%139 = load i64, i64* %17
%140 = icmp ult i64 0, %139
br i1 %140, label %141, label %156
141: ; preds = %134
%142 = load i64, i64* %16
%143 = icmp ne i64 %142, 0
br i1 %143, label %144, label %152
144: ; preds = %141
%145 = load i64, i64* %17
%146 = load i64, i64* %12
%147 = icmp ult i64 %145, %146
br i1 %147, label %148, label %152
148: ; preds = %144
%149 = load i64, i64* %9
%150 = load i64, i64* %12
%151 = sub i64 %149, %150
store i64 %151, i64* %17
br label %152
152: ; preds = %148, %144, %141
store i64 0, i64* %16
%153 = load i64, i64* %17
%154 = load i64, i64* %11
%155 = add i64 %154, %153
store i64 %155, i64* %11
br label %86
156: ; preds = %134
%157 = load i64, i64* %13
%158 = load i64, i64* %16
%159 = icmp ult i64 %157, %158
br i1 %159, label %160, label %162
160: ; preds = %156
%161 = load i64, i64* %16
br label %164
162: ; preds = %156
%163 = load i64, i64* %13
br label %164
164: ; preds = %162, %160
%165 = phi i64 [ %161, %160 ], [ %163, %162 ]
store i64 %165, i64* %10
br label %166
166: ; preds = %223, %164
%167 = load i64, i64* %10
%168 = load i64, i64* %9
%169 = sub i64 %168, 1
%170 = icmp ult i64 %167, %169
br i1 %170, label %171, label %221
171: ; preds = %166
%172 = load i8*, i8** %8
%173 = load i64, i64* %10
%174 = getelementptr inbounds i8, i8* %172, i64 %173
%175 = load i8, i8* %174
%176 = call i64 @isupper(i8 zeroext %175)
%177 = icmp ne i64 %176, 0
br i1 %177, label %178, label %185
178: ; preds = %171
%179 = load i8*, i8** %8
%180 = load i64, i64* %10
%181 = getelementptr inbounds i8, i8* %179, i64 %180
%182 = load i8, i8* %181
%183 = call zeroext i8 @tolower(i8 zeroext %182)
%184 = zext i8 %183 to i32
br label %191
185: ; preds = %171
%186 = load i8*, i8** %8
%187 = load i64, i64* %10
%188 = getelementptr inbounds i8, i8* %186, i64 %187
%189 = load i8, i8* %188
%190 = zext i8 %189 to i32
br label %191
191: ; preds = %185, %178
%192 = phi i32 [ %184, %178 ], [ %190, %185 ]
%193 = load i8*, i8** %6
%194 = load i64, i64* %10
%195 = load i64, i64* %11
%196 = add i64 %194, %195
%197 = getelementptr inbounds i8, i8* %193, i64 %196
%198 = load i8, i8* %197
%199 = call i64 @isupper(i8 zeroext %198)
%200 = icmp ne i64 %199, 0
br i1 %200, label %201, label %210
201: ; preds = %191
%202 = load i8*, i8** %6
%203 = load i64, i64* %10
%204 = load i64, i64* %11
%205 = add i64 %203, %204
%206 = getelementptr inbounds i8, i8* %202, i64 %205
%207 = load i8, i8* %206
%208 = call zeroext i8 @tolower(i8 zeroext %207)
%209 = zext i8 %208 to i32
br label %218
210: ; preds = %191
%211 = load i8*, i8** %6
%212 = load i64, i64* %10
%213 = load i64, i64* %11
%214 = add i64 %212, %213
%215 = getelementptr inbounds i8, i8* %211, i64 %214
%216 = load i8, i8* %215
%217 = zext i8 %216 to i32
br label %218
218: ; preds = %210, %201
%219 = phi i32 [ %209, %201 ], [ %217, %210 ]
%220 = icmp eq i32 %192, %219
br label %221
221: ; preds = %218, %166
%222 = phi i1 [ false, %166 ], [ %220, %218 ]
br i1 %222, label %223, label %226
223: ; preds = %221
%224 = load i64, i64* %10
%225 = add i64 %224, 1
store i64 %225, i64* %10
br label %166
226: ; preds = %221
%227 = load i64, i64* %9
%228 = sub i64 %227, 1
%229 = load i64, i64* %10
%230 = icmp ule i64 %228, %229
br i1 %230, label %231, label %311
231: ; preds = %226
%232 = load i64, i64* %13
%233 = sub i64 %232, 1
store i64 %233, i64* %10
br label %234
234: ; preds = %291, %231
%235 = load i64, i64* %16
%236 = load i64, i64* %10
%237 = add i64 %236, 1
%238 = icmp ult i64 %235, %237
br i1 %238, label %239, label %289
239: ; preds = %234
%240 = load i8*, i8** %8
%241 = load i64, i64* %10
%242 = getelementptr inbounds i8, i8* %240, i64 %241
%243 = load i8, i8* %242
%244 = call i64 @isupper(i8 zeroext %243)
%245 = icmp ne i64 %244, 0
br i1 %245, label %246, label %253
246: ; preds = %239
%247 = load i8*, i8** %8
%248 = load i64, i64* %10
%249 = getelementptr inbounds i8, i8* %247, i64 %248
%250 = load i8, i8* %249
%251 = call zeroext i8 @tolower(i8 zeroext %250)
%252 = zext i8 %251 to i32
br label %259
253: ; preds = %239
%254 = load i8*, i8** %8
%255 = load i64, i64* %10
%256 = getelementptr inbounds i8, i8* %254, i64 %255
%257 = load i8, i8* %256
%258 = zext i8 %257 to i32
br label %259
259: ; preds = %253, %246
%260 = phi i32 [ %252, %246 ], [ %258, %253 ]
%261 = load i8*, i8** %6
%262 = load i64, i64* %10
%263 = load i64, i64* %11
%264 = add i64 %262, %263
%265 = getelementptr inbounds i8, i8* %261, i64 %264
%266 = load i8, i8* %265
%267 = call i64 @isupper(i8 zeroext %266)
%268 = icmp ne i64 %267, 0
br i1 %268, label %269, label %278
269: ; preds = %259
%270 = load i8*, i8** %6
%271 = load i64, i64* %10
%272 = load i64, i64* %11
%273 = add i64 %271, %272
%274 = getelementptr inbounds i8, i8* %270, i64 %273
%275 = load i8, i8* %274
%276 = call zeroext i8 @tolower(i8 zeroext %275)
%277 = zext i8 %276 to i32
br label %286
278: ; preds = %259
%279 = load i8*, i8** %6
%280 = load i64, i64* %10
%281 = load i64, i64* %11
%282 = add i64 %280, %281
%283 = getelementptr inbounds i8, i8* %279, i64 %282
%284 = load i8, i8* %283
%285 = zext i8 %284 to i32
br label %286
286: ; preds = %278, %269
%287 = phi i32 [ %277, %269 ], [ %285, %278 ]
%288 = icmp eq i32 %260, %287
br label %289
289: ; preds = %286, %234
%290 = phi i1 [ false, %234 ], [ %288, %286 ]
br i1 %290, label %291, label %294
291: ; preds = %289
%292 = load i64, i64* %10
%293 = add i64 %292, -1
store i64 %293, i64* %10
br label %234
294: ; preds = %289
%295 = load i64, i64* %10
%296 = add i64 %295, 1
%297 = load i64, i64* %16
%298 = add i64 %297, 1
%299 = icmp ult i64 %296, %298
br i1 %299, label %300, label %304
300: ; preds = %294
%301 = load i8*, i8** %6
%302 = load i64, i64* %11
%303 = getelementptr inbounds i8, i8* %301, i64 %302
store i8* %303, i8** %5
store i32 1, i32* %18
br label %545
304: ; preds = %294
%305 = load i64, i64* %12
%306 = load i64, i64* %11
%307 = add i64 %306, %305
store i64 %307, i64* %11
%308 = load i64, i64* %9
%309 = load i64, i64* %12
%310 = sub i64 %308, %309
store i64 %310, i64* %16
br label %318
311: ; preds = %226
%312 = load i64, i64* %10
%313 = load i64, i64* %13
%314 = sub i64 %312, %313
%315 = add i64 %314, 1
%316 = load i64, i64* %11
%317 = add i64 %316, %315
store i64 %317, i64* %11
store i64 0, i64* %16
br label %318
318: ; preds = %311, %304
br label %86
319: ; preds = %103
br label %544
320: ; preds = %77
%321 = load i64, i64* %13
%322 = load i64, i64* %9
%323 = load i64, i64* %13
%324 = sub i64 %322, %323
%325 = icmp ult i64 %321, %324
br i1 %325, label %326, label %330
326: ; preds = %320
%327 = load i64, i64* %9
%328 = load i64, i64* %13
%329 = sub i64 %327, %328
br label %332
330: ; preds = %320
%331 = load i64, i64* %13
br label %332
332: ; preds = %330, %326
%333 = phi i64 [ %329, %326 ], [ %331, %330 ]
%334 = add i64 %333, 1
store i64 %334, i64* %12
store i64 0, i64* %11
br label %335
335: ; preds = %542, %390, %332
%336 = load i8*, i8** %6
%337 = load i64, i64* %7
%338 = getelementptr inbounds i8, i8* %336, i64 %337
%339 = ptrtoint i8* %338 to i32
%340 = load i64, i64* %11
%341 = load i64, i64* %9
%342 = add i64 %340, %341
%343 = load i64, i64* %7
%344 = sub i64 %342, %343
%345 = call i32 @memchr(i32 %339, i8 signext 0, i64 %344)
%346 = icmp ne i32 %345, 0
br i1 %346, label %352, label %347
347: ; preds = %335
%348 = load i64, i64* %11
%349 = load i64, i64* %9
%350 = add i64 %348, %349
store i64 %350, i64* %7
%351 = icmp ne i64 %350, 0
br label %352
352: ; preds = %347, %335
%353 = phi i1 [ false, %335 ], [ %351, %347 ]
br i1 %353, label %354, label %543
354: ; preds = %352
%355 = load i8*, i8** %6
%356 = load i64, i64* %11
%357 = load i64, i64* %9
%358 = add i64 %356, %357
%359 = sub i64 %358, 1
%360 = getelementptr inbounds i8, i8* %355, i64 %359
%361 = load i8, i8* %360
%362 = call i64 @isupper(i8 zeroext %361)
%363 = icmp ne i64 %362, 0
br i1 %363, label %364, label %374
364: ; preds = %354
%365 = load i8*, i8** %6
%366 = load i64, i64* %11
%367 = load i64, i64* %9
%368 = add i64 %366, %367
%369 = sub i64 %368, 1
%370 = getelementptr inbounds i8, i8* %365, i64 %369
%371 = load i8, i8* %370
%372 = call zeroext i8 @tolower(i8 zeroext %371)
%373 = zext i8 %372 to i32
br label %383
374: ; preds = %354
%375 = load i8*, i8** %6
%376 = load i64, i64* %11
%377 = load i64, i64* %9
%378 = add i64 %376, %377
%379 = sub i64 %378, 1
%380 = getelementptr inbounds i8, i8* %375, i64 %379
%381 = load i8, i8* %380
%382 = zext i8 %381 to i32
br label %383
383: ; preds = %374, %364
%384 = phi i32 [ %373, %364 ], [ %382, %374 ]
%385 = sext i32 %384 to i64
%386 = getelementptr inbounds i64, i64* %24, i64 %385
%387 = load i64, i64* %386
store i64 %387, i64* %19
%388 = load i64, i64* %19
%389 = icmp ult i64 0, %388
br i1 %389, label %390, label %394
390: ; preds = %383
%391 = load i64, i64* %19
%392 = load i64, i64* %11
%393 = add i64 %392, %391
store i64 %393, i64* %11
br label %335
394: ; preds = %383
%395 = load i64, i64* %13
store i64 %395, i64* %10
br label %396
396: ; preds = %453, %394
%397 = load i64, i64* %10
%398 = load i64, i64* %9
%399 = sub i64 %398, 1
%400 = icmp ult i64 %397, %399
br i1 %400, label %401, label %451
401: ; preds = %396
%402 = load i8*, i8** %8
%403 = load i64, i64* %10
%404 = getelementptr inbounds i8, i8* %402, i64 %403
%405 = load i8, i8* %404
%406 = call i64 @isupper(i8 zeroext %405)
%407 = icmp ne i64 %406, 0
br i1 %407, label %408, label %415
408: ; preds = %401
%409 = load i8*, i8** %8
%410 = load i64, i64* %10
%411 = getelementptr inbounds i8, i8* %409, i64 %410
%412 = load i8, i8* %411
%413 = call zeroext i8 @tolower(i8 zeroext %412)
%414 = zext i8 %413 to i32
br label %421
415: ; preds = %401
%416 = load i8*, i8** %8
%417 = load i64, i64* %10
%418 = getelementptr inbounds i8, i8* %416, i64 %417
%419 = load i8, i8* %418
%420 = zext i8 %419 to i32
br label %421
421: ; preds = %415, %408
%422 = phi i32 [ %414, %408 ], [ %420, %415 ]
%423 = load i8*, i8** %6
%424 = load i64, i64* %10
%425 = load i64, i64* %11
%426 = add i64 %424, %425
%427 = getelementptr inbounds i8, i8* %423, i64 %426
%428 = load i8, i8* %427
%429 = call i64 @isupper(i8 zeroext %428)
%430 = icmp ne i64 %429, 0
br i1 %430, label %431, label %440
431: ; preds = %421
%432 = load i8*, i8** %6
%433 = load i64, i64* %10
%434 = load i64, i64* %11
%435 = add i64 %433, %434
%436 = getelementptr inbounds i8, i8* %432, i64 %435
%437 = load i8, i8* %436
%438 = call zeroext i8 @tolower(i8 zeroext %437)
%439 = zext i8 %438 to i32
br label %448
440: ; preds = %421
%441 = load i8*, i8** %6
%442 = load i64, i64* %10
%443 = load i64, i64* %11
%444 = add i64 %442, %443
%445 = getelementptr inbounds i8, i8* %441, i64 %444
%446 = load i8, i8* %445
%447 = zext i8 %446 to i32
br label %448
448: ; preds = %440, %431
%449 = phi i32 [ %439, %431 ], [ %447, %440 ]
%450 = icmp eq i32 %422, %449
br label %451
451: ; preds = %448, %396
%452 = phi i1 [ false, %396 ], [ %450, %448 ]
br i1 %452, label %453, label %456
453: ; preds = %451
%454 = load i64, i64* %10
%455 = add i64 %454, 1
store i64 %455, i64* %10
br label %396
456: ; preds = %451
%457 = load i64, i64* %9
%458 = sub i64 %457, 1
%459 = load i64, i64* %10
%460 = icmp ule i64 %458, %459
br i1 %460, label %461, label %535
461: ; preds = %456
%462 = load i64, i64* %13
%463 = sub i64 %462, 1
store i64 %463, i64* %10
br label %464
464: ; preds = %520, %461
%465 = load i64, i64* %10
%466 = load i64, i64* @SIZE_MAX
%467 = icmp ne i64 %465, %466
br i1 %467, label %468, label %518
468: ; preds = %464
%469 = load i8*, i8** %8
%470 = load i64, i64* %10
%471 = getelementptr inbounds i8, i8* %469, i64 %470
%472 = load i8, i8* %471
%473 = call i64 @isupper(i8 zeroext %472)
%474 = icmp ne i64 %473, 0
br i1 %474, label %475, label %482
475: ; preds = %468
%476 = load i8*, i8** %8
%477 = load i64, i64* %10
%478 = getelementptr inbounds i8, i8* %476, i64 %477
%479 = load i8, i8* %478
%480 = call zeroext i8 @tolower(i8 zeroext %479)
%481 = zext i8 %480 to i32
br label %488
482: ; preds = %468
%483 = load i8*, i8** %8
%484 = load i64, i64* %10
%485 = getelementptr inbounds i8, i8* %483, i64 %484
%486 = load i8, i8* %485
%487 = zext i8 %486 to i32
br label %488
488: ; preds = %482, %475
%489 = phi i32 [ %481, %475 ], [ %487, %482 ]
%490 = load i8*, i8** %6
%491 = load i64, i64* %10
%492 = load i64, i64* %11
%493 = add i64 %491, %492
%494 = getelementptr inbounds i8, i8* %490, i64 %493
%495 = load i8, i8* %494
%496 = call i64 @isupper(i8 zeroext %495)
%497 = icmp ne i64 %496, 0
br i1 %497, label %498, label %507
498: ; preds = %488
%499 = load i8*, i8** %6
%500 = load i64, i64* %10
%501 = load i64, i64* %11
%502 = add i64 %500, %501
%503 = getelementptr inbounds i8, i8* %499, i64 %502
%504 = load i8, i8* %503
%505 = call zeroext i8 @tolower(i8 zeroext %504)
%506 = zext i8 %505 to i32
br label %515
507: ; preds = %488
%508 = load i8*, i8** %6
%509 = load i64, i64* %10
%510 = load i64, i64* %11
%511 = add i64 %509, %510
%512 = getelementptr inbounds i8, i8* %508, i64 %511
%513 = load i8, i8* %512
%514 = zext i8 %513 to i32
br label %515
515: ; preds = %507, %498
%516 = phi i32 [ %506, %498 ], [ %514, %507 ]
%517 = icmp eq i32 %489, %516
br label %518
518: ; preds = %515, %464
%519 = phi i1 [ false, %464 ], [ %517, %515 ]
br i1 %519, label %520, label %523
520: ; preds = %518
%521 = load i64, i64* %10
%522 = add i64 %521, -1
store i64 %522, i64* %10
br label %464
523: ; preds = %518
%524 = load i64, i64* %10
%525 = load i64, i64* @SIZE_MAX
%526 = icmp eq i64 %524, %525
br i1 %526, label %527, label %531
527: ; preds = %523
%528 = load i8*, i8** %6
%529 = load i64, i64* %11
%530 = getelementptr inbounds i8, i8* %528, i64 %529
store i8* %530, i8** %5
store i32 1, i32* %18
br label %545
531: ; preds = %523
%532 = load i64, i64* %12
%533 = load i64, i64* %11
%534 = add i64 %533, %532
store i64 %534, i64* %11
br label %542
535: ; preds = %456
%536 = load i64, i64* %10
%537 = load i64, i64* %13
%538 = sub i64 %536, %537
%539 = add i64 %538, 1
%540 = load i64, i64* %11
%541 = add i64 %540, %539
store i64 %541, i64* %11
br label %542
542: ; preds = %535, %531
br label %335
543: ; preds = %352
br label %544
544: ; preds = %543, %319
store i8* null, i8** %5
store i32 1, i32* %18
br label %545
545: ; preds = %544, %527, %300
%546 = load i8*, i8** %14
%547 = load i8*, i8** %5
ret i8* %547
}

LLVM IR (-O2):
@CHAR_BIT = global i32 0
@SIZE_MAX = global i64 0
define i8* @two_way_long_needle(i8* %0, i64 %1, i8* %2, i64 %3) {
%5 = alloca i64
%6 = bitcast i64* %5 to i8*
%7 = load i32, i32* @CHAR_BIT
%8 = shl nuw i32 1, %7
%9 = zext i32 %8 to i64
%10 = tail call i8* @llvm.stacksave()
%11 = alloca i64, i64 %9
%12 = call i64 @critical_factorization(i8* %2, i64 %3, i64* %5)
%13 = load i32, i32* @CHAR_BIT
%14 = shl nuw i32 1, %13
%15 = zext i32 %14 to i64
%16 = icmp ult i32 %13, 2
br i1 %16, label %90, label %17
17: ; preds = %4
%18 = and i64 %15, 4294967292
%19 = insertelement <2 x i64> poison, i64 %3, i64 0
%20 = shufflevector <2 x i64> %19, <2 x i64> poison, <2 x i32> zeroinitializer
%21 = insertelement <2 x i64> poison, i64 %3, i64 0
%22 = shufflevector <2 x i64> %21, <2 x i64> poison, <2 x i32> zeroinitializer
%23 = add nsw i64 %18, -4
%24 = lshr exact i64 %23, 2
%25 = add nuw nsw i64 %24, 1
%26 = and i64 %25, 7
%27 = icmp ult i64 %23, 28
br i1 %27, label %75, label %28
28: ; preds = %17
%29 = and i64 %25, 9223372036854775800
br label %30
30: ; preds = %30, %28
%31 = phi i64 [ 0, %28 ], [ %72, %30 ]
%32 = phi i64 [ 0, %28 ], [ %73, %30 ]
%33 = getelementptr inbounds i64, i64* %11, i64 %31
%34 = bitcast i64* %33 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %34
%35 = getelementptr inbounds i64, i64* %33, i64 2
%36 = bitcast i64* %35 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %36
%37 = or i64 %31, 4
%38 = getelementptr inbounds i64, i64* %11, i64 %37
%39 = bitcast i64* %38 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %39
%40 = getelementptr inbounds i64, i64* %38, i64 2
%41 = bitcast i64* %40 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %41
%42 = or i64 %31, 8
%43 = getelementptr inbounds i64, i64* %11, i64 %42
%44 = bitcast i64* %43 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %44
%45 = getelementptr inbounds i64, i64* %43, i64 2
%46 = bitcast i64* %45 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %46
%47 = or i64 %31, 12
%48 = getelementptr inbounds i64, i64* %11, i64 %47
%49 = bitcast i64* %48 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %49
%50 = getelementptr inbounds i64, i64* %48, i64 2
%51 = bitcast i64* %50 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %51
%52 = or i64 %31, 16
%53 = getelementptr inbounds i64, i64* %11, i64 %52
%54 = bitcast i64* %53 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %54
%55 = getelementptr inbounds i64, i64* %53, i64 2
%56 = bitcast i64* %55 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %56
%57 = or i64 %31, 20
%58 = getelementptr inbounds i64, i64* %11, i64 %57
%59 = bitcast i64* %58 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %59
%60 = getelementptr inbounds i64, i64* %58, i64 2
%61 = bitcast i64* %60 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %61
%62 = or i64 %31, 24
%63 = getelementptr inbounds i64, i64* %11, i64 %62
%64 = bitcast i64* %63 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %64
%65 = getelementptr inbounds i64, i64* %63, i64 2
%66 = bitcast i64* %65 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %66
%67 = or i64 %31, 28
%68 = getelementptr inbounds i64, i64* %11, i64 %67
%69 = bitcast i64* %68 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %69
%70 = getelementptr inbounds i64, i64* %68, i64 2
%71 = bitcast i64* %70 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %71
%72 = add nuw i64 %31, 32
%73 = add i64 %32, 8
%74 = icmp eq i64 %73, %29
br i1 %74, label %75, label %30
75: ; preds = %30, %17
%76 = phi i64 [ 0, %17 ], [ %72, %30 ]
%77 = icmp eq i64 %26, 0
br i1 %77, label %88, label %78
78: ; preds = %75, %78
%79 = phi i64 [ %85, %78 ], [ %76, %75 ]
%80 = phi i64 [ %86, %78 ], [ 0, %75 ]
%81 = getelementptr inbounds i64, i64* %11, i64 %79
%82 = bitcast i64* %81 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %82
%83 = getelementptr inbounds i64, i64* %81, i64 2
%84 = bitcast i64* %83 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %84
%85 = add nuw i64 %79, 4
%86 = add i64 %80, 1
%87 = icmp eq i64 %86, %26
br i1 %87, label %88, label %78
88: ; preds = %78, %75
%89 = icmp eq i64 %18, %15
br i1 %89, label %92, label %90
90: ; preds = %4, %88
%91 = phi i64 [ 0, %4 ], [ %18, %88 ]
br label %94
92: ; preds = %94, %88
%93 = icmp eq i64 %3, 0
br i1 %93, label %116, label %99
94: ; preds = %90, %94
%95 = phi i64 [ %97, %94 ], [ %91, %90 ]
%96 = getelementptr inbounds i64, i64* %11, i64 %95
store i64 %3, i64* %96
%97 = add nuw nsw i64 %95, 1
%98 = icmp eq i64 %97, %15
br i1 %98, label %92, label %94
99: ; preds = %92, %110
%100 = phi i64 [ %114, %110 ], [ 0, %92 ]
%101 = xor i64 %100, -1
%102 = add i64 %101, %3
%103 = getelementptr inbounds i8, i8* %2, i64 %100
%104 = load i8, i8* %103
%105 = call i64 @isupper(i8 zeroext %104)
%106 = icmp eq i64 %105, 0
%107 = load i8, i8* %103
br i1 %106, label %110, label %108
108: ; preds = %99
%109 = call zeroext i8 @tolower(i8 zeroext %107)
br label %110
110: ; preds = %99, %108
%111 = phi i8 [ %109, %108 ], [ %107, %99 ]
%112 = zext i8 %111 to i64
%113 = getelementptr inbounds i64, i64* %11, i64 %112
store i64 %102, i64* %113
%114 = add nuw i64 %100, 1
%115 = icmp eq i64 %114, %3
br i1 %115, label %116, label %99
116: ; preds = %110, %92
%117 = load i64, i64* %5
%118 = getelementptr inbounds i8, i8* %2, i64 %117
%119 = call i64 @tvi_strncasecmp(i8* %2, i8* %118, i64 %12)
%120 = icmp eq i64 %119, 0
br i1 %120, label %121, label %235
121: ; preds = %116
%122 = getelementptr inbounds i8, i8* %0, i64 %1
%123 = ptrtoint i8* %122 to i64
%124 = trunc i64 %123 to i32
%125 = sub i64 %3, %1
%126 = call i32 @memchr(i32 %124, i8 signext 0, i64 %125)
%127 = icmp ne i32 %126, 0
%128 = or i1 %127, %93
br i1 %128, label %342, label %129
129: ; preds = %121
%130 = add i64 %3, -1
%131 = sub i64 1, %12
br label %132
132: ; preds = %129, %157
%133 = phi i64 [ %3, %129 ], [ %164, %157 ]
%134 = phi i64 [ 0, %129 ], [ %159, %157 ]
%135 = phi i64 [ 0, %129 ], [ %160, %157 ]
%136 = add i64 %133, -1
%137 = getelementptr inbounds i8, i8* %0, i64 %136
%138 = load i8, i8* %137
%139 = call i64 @isupper(i8 zeroext %138)
%140 = icmp eq i64 %139, 0
%141 = load i8, i8* %137
br i1 %140, label %144, label %142
142: ; preds = %132
%143 = call zeroext i8 @tolower(i8 zeroext %141)
br label %144
144: ; preds = %132, %142
%145 = phi i8 [ %143, %142 ], [ %141, %132 ]
%146 = zext i8 %145 to i64
%147 = getelementptr inbounds i64, i64* %11, i64 %146
%148 = load i64, i64* %147
%149 = icmp eq i64 %148, 0
br i1 %149, label %170, label %150
150: ; preds = %144
%151 = icmp eq i64 %134, 0
%152 = load i64, i64* %5
%153 = icmp ult i64 %148, %152
%154 = sub i64 %3, %152
%155 = select i1 %153, i64 %154, i64 %148
%156 = select i1 %151, i64 %148, i64 %155
br label %157
157: ; preds = %228, %231, %150
%158 = phi i64 [ %156, %150 ], [ %229, %228 ], [ %232, %231 ]
%159 = phi i64 [ 0, %150 ], [ %230, %228 ], [ 0, %231 ]
%160 = add i64 %158, %135
%161 = getelementptr inbounds i8, i8* %0, i64 %133
%162 = ptrtoint i8* %161 to i64
%163 = trunc i64 %162 to i32
%164 = add i64 %160, %3
%165 = sub i64 %164, %133
%166 = call i32 @memchr(i32 %163, i8 signext 0, i64 %165)
%167 = icmp ne i32 %166, 0
%168 = icmp eq i64 %164, 0
%169 = select i1 %167, i1 true, i1 %168
br i1 %169, label %342, label %132
170: ; preds = %144
%171 = icmp ult i64 %12, %134
%172 = select i1 %171, i64 %134, i64 %12
%173 = icmp ult i64 %172, %130
br i1 %173, label %174, label %199
174: ; preds = %170, %196
%175 = phi i64 [ %197, %196 ], [ %172, %170 ]
%176 = getelementptr inbounds i8, i8* %2, i64 %175
%177 = load i8, i8* %176
%178 = call i64 @isupper(i8 zeroext %177)
%179 = icmp eq i64 %178, 0
%180 = load i8, i8* %176
br i1 %179, label %183, label %181
181: ; preds = %174
%182 = call zeroext i8 @tolower(i8 zeroext %180)
br label %183
183: ; preds = %174, %181
%184 = phi i8 [ %182, %181 ], [ %180, %174 ]
%185 = add i64 %175, %135
%186 = getelementptr inbounds i8, i8* %0, i64 %185
%187 = load i8, i8* %186
%188 = call i64 @isupper(i8 zeroext %187)
%189 = icmp eq i64 %188, 0
%190 = load i8, i8* %186
br i1 %189, label %193, label %191
191: ; preds = %183
%192 = call zeroext i8 @tolower(i8 zeroext %190)
br label %193
193: ; preds = %183, %191
%194 = phi i8 [ %192, %191 ], [ %190, %183 ]
%195 = icmp eq i8 %184, %194
br i1 %195, label %196, label %231
196: ; preds = %193
%197 = add i64 %175, 1
%198 = icmp eq i64 %197, %130
br i1 %198, label %199, label %174
199: ; preds = %196, %170
br label %200
200: ; preds = %199, %222
%201 = phi i64 [ %202, %222 ], [ %12, %199 ]
%202 = add i64 %201, -1
%203 = icmp ult i64 %134, %201
br i1 %203, label %204, label %225
204: ; preds = %200
%205 = getelementptr inbounds i8, i8* %2, i64 %202
%206 = load i8, i8* %205
%207 = call i64 @isupper(i8 zeroext %206)
%208 = icmp eq i64 %207, 0
%209 = load i8, i8* %205
br i1 %208, label %212, label %210
210: ; preds = %204
%211 = call zeroext i8 @tolower(i8 zeroext %209)
br label %212
212: ; preds = %204, %210
%213 = phi i8 [ %211, %210 ], [ %209, %204 ]
%214 = add i64 %202, %135
%215 = getelementptr inbounds i8, i8* %0, i64 %214
%216 = load i8, i8* %215
%217 = call i64 @isupper(i8 zeroext %216)
%218 = icmp eq i64 %217, 0
%219 = load i8, i8* %215
br i1 %218, label %222, label %220
220: ; preds = %212
%221 = call zeroext i8 @tolower(i8 zeroext %219)
br label %222
222: ; preds = %212, %220
%223 = phi i8 [ %221, %220 ], [ %219, %212 ]
%224 = icmp eq i8 %213, %223
br i1 %224, label %200, label %225
225: ; preds = %200, %222
%226 = add i64 %134, 1
%227 = icmp ult i64 %201, %226
br i1 %227, label %233, label %228
228: ; preds = %225
%229 = load i64, i64* %5
%230 = sub i64 %3, %229
br label %157
231: ; preds = %193
%232 = add i64 %131, %175
br label %157
233: ; preds = %225
%234 = getelementptr inbounds i8, i8* %0, i64 %135
br label %342
235: ; preds = %116
%236 = sub i64 %3, %12
%237 = icmp ult i64 %12, %236
%238 = select i1 %237, i64 %236, i64 %12
%239 = add i64 %238, 1
store i64 %239, i64* %5
%240 = getelementptr inbounds i8, i8* %0, i64 %1
%241 = ptrtoint i8* %240 to i64
%242 = trunc i64 %241 to i32
%243 = sub i64 %3, %1
%244 = call i32 @memchr(i32 %242, i8 signext 0, i64 %243)
%245 = icmp ne i32 %244, 0
%246 = or i1 %245, %93
br i1 %246, label %342, label %247
247: ; preds = %235
%248 = add i64 %3, -1
%249 = icmp ult i64 %12, %248
%250 = sub i64 1, %12
br label %251
251: ; preds = %247, %269
%252 = phi i64 [ %3, %247 ], [ %275, %269 ]
%253 = phi i64 [ 0, %247 ], [ %271, %269 ]
%254 = add i64 %252, -1
%255 = getelementptr inbounds i8, i8* %0, i64 %254
%256 = load i8, i8* %255
%257 = call i64 @isupper(i8 zeroext %256)
%258 = icmp eq i64 %257, 0
%259 = load i8, i8* %255
br i1 %258, label %262, label %260
260: ; preds = %251
%261 = call zeroext i8 @tolower(i8 zeroext %259)
br label %262
262: ; preds = %251, %260
%263 = phi i8 [ %261, %260 ], [ %259, %251 ]
%264 = zext i8 %263 to i64
%265 = getelementptr inbounds i64, i64* %11, i64 %264
%266 = load i64, i64* %265
%267 = icmp eq i64 %266, 0
br i1 %267, label %268, label %269
268: ; preds = %262
br i1 %249, label %281, label %306
269: ; preds = %336, %338, %262
%270 = phi i64 [ %266, %262 ], [ %337, %336 ], [ %339, %338 ]
%271 = add i64 %270, %253
%272 = getelementptr inbounds i8, i8* %0, i64 %252
%273 = ptrtoint i8* %272 to i64
%274 = trunc i64 %273 to i32
%275 = add i64 %271, %3
%276 = sub i64 %275, %252
%277 = call i32 @memchr(i32 %274, i8 signext 0, i64 %276)
%278 = icmp ne i32 %277, 0
%279 = icmp eq i64 %275, 0
%280 = select i1 %278, i1 true, i1 %279
br i1 %280, label %342, label %251
281: ; preds = %268, %303
%282 = phi i64 [ %304, %303 ], [ %12, %268 ]
%283 = getelementptr inbounds i8, i8* %2, i64 %282
%284 = load i8, i8* %283
%285 = call i64 @isupper(i8 zeroext %284)
%286 = icmp eq i64 %285, 0
%287 = load i8, i8* %283
br i1 %286, label %290, label %288
288: ; preds = %281
%289 = call zeroext i8 @tolower(i8 zeroext %287)
br label %290
290: ; preds = %281, %288
%291 = phi i8 [ %289, %288 ], [ %287, %281 ]
%292 = add i64 %282, %253
%293 = getelementptr inbounds i8, i8* %0, i64 %292
%294 = load i8, i8* %293
%295 = call i64 @isupper(i8 zeroext %294)
%296 = icmp eq i64 %295, 0
%297 = load i8, i8* %293
br i1 %296, label %300, label %298
298: ; preds = %290
%299 = call zeroext i8 @tolower(i8 zeroext %297)
br label %300
300: ; preds = %290, %298
%301 = phi i8 [ %299, %298 ], [ %297, %290 ]
%302 = icmp eq i8 %291, %301
br i1 %302, label %303, label %338
303: ; preds = %300
%304 = add i64 %282, 1
%305 = icmp eq i64 %304, %248
br i1 %305, label %306, label %281
306: ; preds = %303, %268
br label %307
307: ; preds = %306, %330
%308 = phi i64 [ %309, %330 ], [ %12, %306 ]
%309 = add i64 %308, -1
%310 = load i64, i64* @SIZE_MAX
%311 = icmp eq i64 %309, %310
br i1 %311, label %340, label %312
312: ; preds = %307
%313 = getelementptr inbounds i8, i8* %2, i64 %309
%314 = load i8, i8* %313
%315 = call i64 @isupper(i8 zeroext %314)
%316 = icmp eq i64 %315, 0
%317 = load i8, i8* %313
br i1 %316, label %320, label %318
318: ; preds = %312
%319 = call zeroext i8 @tolower(i8 zeroext %317)
br label %320
320: ; preds = %312, %318
%321 = phi i8 [ %319, %318 ], [ %317, %312 ]
%322 = add i64 %309, %253
%323 = getelementptr inbounds i8, i8* %0, i64 %322
%324 = load i8, i8* %323
%325 = call i64 @isupper(i8 zeroext %324)
%326 = icmp eq i64 %325, 0
%327 = load i8, i8* %323
br i1 %326, label %330, label %328
328: ; preds = %320
%329 = call zeroext i8 @tolower(i8 zeroext %327)
br label %330
330: ; preds = %320, %328
%331 = phi i8 [ %329, %328 ], [ %327, %320 ]
%332 = icmp eq i8 %321, %331
br i1 %332, label %307, label %333
333: ; preds = %330
%334 = load i64, i64* @SIZE_MAX
%335 = icmp eq i64 %309, %334
br i1 %335, label %340, label %336
336: ; preds = %333
%337 = load i64, i64* %5
br label %269
338: ; preds = %300
%339 = add i64 %250, %282
br label %269
340: ; preds = %333, %307
%341 = getelementptr inbounds i8, i8* %0, i64 %253
br label %342
342: ; preds = %269, %157, %235, %121, %340, %233
%343 = phi i8* [ %234, %233 ], [ %341, %340 ], [ null, %121 ], [ null, %235 ], [ null, %157 ], [ null, %269 ]
ret i8* %343
}