char *xstrcasestr(char *big, char *little) {
  char aa, bb;
  while (*big) {
    char *x = little;
    char *y = big;
    do {
      aa = *x++;
      bb = *y++;
      if (aa >= 'A' && aa <= 'Z')
        aa = 'a' + (aa - 'A');
      if (bb >= 'A' && bb <= 'Z')
        bb = 'a' + (bb - 'A');
    } while (aa == bb && aa && bb);
    if (aa == 0)
      return big;
    else
      big++;
  }
  return ((void *)0);
}


x86 assembly (clang, -O0):
<xstrcasestr>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     120e <xstrcasestr+0x10e>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x19(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%al
mov    %al,-0x1a(%rbp)
movsbl -0x19(%rbp),%eax
cmp    $0x41,%eax
jl     1178 <xstrcasestr+0x78>
movsbl -0x19(%rbp),%eax
cmp    $0x5a,%eax
jg     1178 <xstrcasestr+0x78>
movsbl -0x19(%rbp),%eax
sub    $0x41,%eax
add    $0x61,%eax
mov    %al,-0x19(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x41,%eax
jl     119f <xstrcasestr+0x9f>
movsbl -0x1a(%rbp),%eax
cmp    $0x5a,%eax
jg     119f <xstrcasestr+0x9f>
movsbl -0x1a(%rbp),%eax
sub    $0x41,%eax
add    $0x61,%eax
mov    %al,-0x1a(%rbp)
jmp    11a4 <xstrcasestr+0xa4>
movsbl -0x19(%rbp),%ecx
movsbl -0x1a(%rbp),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x31(%rbp)
jne    11d8 <xstrcasestr+0xd8>
movsbl -0x19(%rbp),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x31(%rbp)
je     11d8 <xstrcasestr+0xd8>
movsbl -0x1a(%rbp),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1129 <xstrcasestr+0x29>
movsbl -0x19(%rbp),%eax
cmp    $0x0,%eax
jne    11fd <xstrcasestr+0xfd>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1216 <xstrcasestr+0x116>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    110c <xstrcasestr+0xc>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xstrcasestr>:
jmp    111c <xstrcasestr+0x1c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rax),%rdi
test   %cl,%cl
je     11bd <xstrcasestr+0xbd>
mov    (%rdi),%dl
test   %dl,%dl
je     11be <xstrcasestr+0xbe>
mov    %rdi,%rax
movzbl (%rsi),%edi
lea    -0x41(%rdi),%r8d
lea    0x20(%rdi),%ecx
cmp    $0x1a,%r8b
movzbl %cl,%ecx
cmovae %edi,%ecx
lea    -0x41(%rdx),%r8d
lea    0x20(%rdx),%r9d
cmp    $0x1a,%r8b
movzbl %dl,%edi
movzbl %r9b,%edx
cmovae %edi,%edx
test   %dl,%dl
je     1110 <xstrcasestr+0x10>
test   %cl,%cl
je     1110 <xstrcasestr+0x10>
cmp    %dl,%cl
jne    1110 <xstrcasestr+0x10>
mov    $0x1,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rsi,%rdx,1),%edi
lea    -0x41(%rdi),%r8d
lea    0x20(%rdi),%ecx
cmp    $0x1a,%r8b
movzbl %cl,%ecx
cmovae %edi,%ecx
movzbl (%rax,%rdx,1),%r8d
lea    -0x41(%r8),%r9d
lea    0x20(%r8),%edi
cmp    $0x1a,%r9b
movzbl %dil,%edi
cmovae %r8d,%edi
test   %dil,%dil
je     1110 <xstrcasestr+0x10>
test   %cl,%cl
je     1110 <xstrcasestr+0x10>
add    $0x1,%rdx
cmp    %dil,%cl
je     1170 <xstrcasestr+0x70>
jmp    1110 <xstrcasestr+0x10>
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i8* @xstrcasestr(i8* %0, i8* nocapture %1) {
br label %3
3: ; preds = %42, %2
%4 = phi i8* [ %0, %2 ], [ %45, %42 ]
%5 = load i8, i8* %4
%6 = icmp eq i8 %5, 0
br i1 %6, label %46, label %7
7: ; preds = %3
%8 = load i8, i8* %1
%9 = add i8 %8, -65
%10 = icmp ult i8 %9, 26
%11 = add i8 %8, 32
%12 = select i1 %10, i8 %11, i8 %8
%13 = add i8 %5, -65
%14 = icmp ult i8 %13, 26
%15 = add i8 %5, 32
%16 = select i1 %14, i8 %15, i8 %5
%17 = icmp eq i8 %12, %16
%18 = icmp ne i8 %12, 0
%19 = and i1 %18, %17
%20 = icmp ne i8 %16, 0
%21 = and i1 %20, %19
br i1 %21, label %22, label %42
22: ; preds = %7, %22
%23 = phi i8* [ %25, %22 ], [ %4, %7 ]
%24 = phi i8* [ %26, %22 ], [ %1, %7 ]
%25 = getelementptr inbounds i8, i8* %23, i64 1
%26 = getelementptr inbounds i8, i8* %24, i64 1
%27 = load i8, i8* %25
%28 = load i8, i8* %26
%29 = add i8 %28, -65
%30 = icmp ult i8 %29, 26
%31 = add i8 %28, 32
%32 = select i1 %30, i8 %31, i8 %28
%33 = add i8 %27, -65
%34 = icmp ult i8 %33, 26
%35 = add i8 %27, 32
%36 = select i1 %34, i8 %35, i8 %27
%37 = icmp eq i8 %32, %36
%38 = icmp ne i8 %32, 0
%39 = and i1 %38, %37
%40 = icmp ne i8 %36, 0
%41 = and i1 %40, %39
br i1 %41, label %22, label %42
42: ; preds = %22, %7
%43 = phi i8 [ %12, %7 ], [ %32, %22 ]
%44 = icmp eq i8 %43, 0
%45 = getelementptr inbounds i8, i8* %4, i64 1
br i1 %44, label %46, label %3
46: ; preds = %3, %42
%47 = phi i8* [ %4, %42 ], [ null, %3 ]
ret i8* %47
}