#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__ __boyer_moore(unsigned char const *, size_t, unsigned char const *,
                         size_t, int);
scalar_t__ isupper(int);
size_t strlen(char const *);
int tolower(int);
char *ytht_strncasestr(const char *haystack, const char *needle,
                       size_t haystacklen) {
  register unsigned char *h, *n, *hc, *nc;
  size_t needlelen;
  needlelen = strlen(needle);
  if (haystacklen < needlelen) {
    return NULL;
  } else if (needlelen == 0) {
    return (char *)haystack;
  } else if ((((haystacklen) ? (haystacklen) > 20 : 1) && (needlelen) > 10
                  ? 1
                  : 0)) {
    return (char *)__boyer_moore((const unsigned char *)haystack, haystacklen,
                                 (const unsigned char *)needle, needlelen, 1);
  }
  h = (unsigned char *)haystack;
  n = (unsigned char *)needle;
  while (haystacklen >= needlelen) {
    if ((isupper((int)(*h)) ? tolower((int)(*h)) : (int)(*h)) ==
        (isupper((int)(*n)) ? tolower((int)(*n)) : (int)(*n))) {
      for (hc = h + 1, nc = n + 1; *nc; hc++, nc++)
        if ((isupper((int)(*hc)) ? tolower((int)(*hc)) : (int)(*hc)) !=
            (isupper((int)(*nc)) ? tolower((int)(*nc)) : (int)(*nc)))
          break;
      if (!*nc)
        return (char *)h;
    }
    haystacklen--;
    h++;
  }
  return NULL;
}


x86 assembly (clang, -O0):
<ytht_strncasestr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    117c <ytht_strncasestr+0x3c>
movq   $0x0,-0x8(%rbp)
jmp    13bb <ytht_strncasestr+0x27b>
cmpq   $0x0,-0x48(%rbp)
jne    1194 <ytht_strncasestr+0x54>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13bb <ytht_strncasestr+0x27b>
cmpq   $0x0,-0x20(%rbp)
je     11af <ytht_strncasestr+0x6f>
cmpq   $0x14,-0x20(%rbp)
ja     11be <ytht_strncasestr+0x7e>
jmp    11d8 <ytht_strncasestr+0x98>
mov    $0x1,%al
test   $0x1,%al
jne    11be <ytht_strncasestr+0x7e>
jmp    11d8 <ytht_strncasestr+0x98>
cmpq   $0xa,-0x48(%rbp)
jbe    11d8 <ytht_strncasestr+0x98>
mov    $0x1,%al
test   $0x1,%al
jne    11e7 <ytht_strncasestr+0xa7>
jmp    120b <ytht_strncasestr+0xcb>
xor    %eax,%eax
test   $0x1,%al
jne    11e7 <ytht_strncasestr+0xa7>
jmp    120b <ytht_strncasestr+0xcb>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x48(%rbp),%rcx
mov    $0x1,%r8d
call   1040 <__boyer_moore@plt>
mov    %rax,-0x8(%rbp)
jmp    13bb <ytht_strncasestr+0x27b>
jmp    1210 <ytht_strncasestr+0xd0>
jmp    1215 <ytht_strncasestr+0xd5>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x48(%rbp),%rax
jb     13b3 <ytht_strncasestr+0x273>
mov    -0x28(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     125d <ytht_strncasestr+0x11d>
mov    -0x28(%rbp),%rax
movzbl (%rax),%edi
call   1050 <tolower@plt>
mov    %eax,-0x4c(%rbp)
jmp    1267 <ytht_strncasestr+0x127>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x30(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     1297 <ytht_strncasestr+0x157>
mov    -0x30(%rbp),%rax
movzbl (%rax),%edi
call   1050 <tolower@plt>
mov    %eax,-0x54(%rbp)
jmp    12a1 <ytht_strncasestr+0x161>
mov    -0x30(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x54(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x54(%rbp),%ecx
cmp    %ecx,%eax
jne    1396 <ytht_strncasestr+0x256>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmpb   $0x0,(%rax)
je     1377 <ytht_strncasestr+0x237>
mov    -0x38(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     12fe <ytht_strncasestr+0x1be>
mov    -0x38(%rbp),%rax
movzbl (%rax),%edi
call   1050 <tolower@plt>
mov    %eax,-0x58(%rbp)
jmp    1308 <ytht_strncasestr+0x1c8>
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x40(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     1338 <ytht_strncasestr+0x1f8>
mov    -0x40(%rbp),%rax
movzbl (%rax),%edi
call   1050 <tolower@plt>
mov    %eax,-0x60(%rbp)
jmp    1342 <ytht_strncasestr+0x202>
mov    -0x40(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x60(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x60(%rbp),%ecx
cmp    %ecx,%eax
je     1355 <ytht_strncasestr+0x215>
jmp    1377 <ytht_strncasestr+0x237>
jmp    135a <ytht_strncasestr+0x21a>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    12c7 <ytht_strncasestr+0x187>
mov    -0x40(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1391 <ytht_strncasestr+0x251>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13bb <ytht_strncasestr+0x27b>
jmp    1396 <ytht_strncasestr+0x256>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1225 <ytht_strncasestr+0xe5>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ytht_strncasestr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r15
mov    %rsi,%r13
mov    %rdi,%r14
mov    %rsi,%rdi
call   1030 <strlen@plt>
cmp    %r15,%rax
jbe    1168 <ytht_strncasestr+0x28>
xor    %eax,%eax
jmp    1274 <ytht_strncasestr+0x134>
mov    %rax,%rbx
test   %rax,%rax
je     1271 <ytht_strncasestr+0x131>
test   %r15,%r15
je     1187 <ytht_strncasestr+0x47>
cmp    $0x15,%r15
jb     11c8 <ytht_strncasestr+0x88>
cmp    $0xa,%rbx
ja     118d <ytht_strncasestr+0x4d>
jmp    11c8 <ytht_strncasestr+0x88>
cmp    $0xb,%rbx
jb     11c8 <ytht_strncasestr+0x88>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r13,%rdx
mov    %rbx,%rcx
mov    $0x1,%r8d
call   1040 <__boyer_moore@plt>
jmp    1274 <ytht_strncasestr+0x134>
test   %ebx,%ebx
mov    (%rsp),%rbx
je     1271 <ytht_strncasestr+0x131>
add    $0xffffffffffffffff,%r15
add    $0x1,%r14
xor    %eax,%eax
cmp    %rbx,%r15
jb     1274 <ytht_strncasestr+0x134>
movzbl (%r14),%edi
call   1060 <isupper@plt>
movzbl (%r14),%ebp
test   %rax,%rax
je     11e3 <ytht_strncasestr+0xa3>
mov    %ebp,%edi
call   1050 <tolower@plt>
mov    %eax,%ebp
movzbl 0x0(%r13),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl 0x0(%r13),%eax
test   %rcx,%rcx
je     1201 <ytht_strncasestr+0xc1>
mov    %eax,%edi
call   1050 <tolower@plt>
cmp    %eax,%ebp
jne    11b5 <ytht_strncasestr+0x75>
mov    %rbx,(%rsp)
mov    $0x1,%r12d
jmp    1228 <ytht_strncasestr+0xe8>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r12
cmp    %eax,%ebp
jne    11a9 <ytht_strncasestr+0x69>
cmpb   $0x0,0x0(%r13,%r12,1)
je     1271 <ytht_strncasestr+0x131>
movzbl (%r14,%r12,1),%edi
call   1060 <isupper@plt>
movzbl (%r14,%r12,1),%ebp
test   %rax,%rax
je     124d <ytht_strncasestr+0x10d>
mov    %ebp,%edi
call   1050 <tolower@plt>
mov    %eax,%ebp
movzbl 0x0(%r13,%r12,1),%edi
call   1060 <isupper@plt>
mov    %rax,%rcx
movzbl 0x0(%r13,%r12,1),%ebx
mov    %ebx,%eax
test   %rcx,%rcx
je     1220 <ytht_strncasestr+0xe0>
mov    %ebx,%edi
call   1050 <tolower@plt>
jmp    1220 <ytht_strncasestr+0xe0>
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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