int strcasecmp(const char *s1, const char *s2) {
  char c1, c2;
  int s;
  for (;;) {
    c1 = *s1++;
    c2 = *s2++;
    c1 = (c1 >= 'A' && c1 <= 'Z') ? c1 + ('a' - 'A') : c1;
    c2 = (c2 >= 'A' && c2 <= 'Z') ? c2 + ('a' - 'A') : c2;
    if ((s = c1 - c2) != 0)
      break;
    if (c1 == 0 || c2 == 0) {
      s = c1 - c2;
      break;
    }
  }
  return s;
}


x86 assembly (clang, -O0):
<strcasecmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%al
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%al
mov    %al,-0x12(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x41,%eax
jl     115d <strcasecmp+0x5d>
movsbl -0x11(%rbp),%eax
cmp    $0x5a,%eax
jg     115d <strcasecmp+0x5d>
movsbl -0x11(%rbp),%eax
add    $0x20,%eax
mov    %eax,-0x1c(%rbp)
jmp    1164 <strcasecmp+0x64>
movsbl -0x11(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %al,-0x11(%rbp)
movsbl -0x12(%rbp),%eax
cmp    $0x41,%eax
jl     1193 <strcasecmp+0x93>
movsbl -0x12(%rbp),%eax
cmp    $0x5a,%eax
jg     1193 <strcasecmp+0x93>
movsbl -0x12(%rbp),%eax
add    $0x20,%eax
mov    %eax,-0x20(%rbp)
jmp    119a <strcasecmp+0x9a>
movsbl -0x12(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %al,-0x12(%rbp)
movsbl -0x11(%rbp),%eax
movsbl -0x12(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x18(%rbp)
cmp    $0x0,%eax
je     11bb <strcasecmp+0xbb>
jmp    11ec <strcasecmp+0xec>
movsbl -0x11(%rbp),%eax
cmp    $0x0,%eax
je     11d5 <strcasecmp+0xd5>
movsbl -0x12(%rbp),%eax
cmp    $0x0,%eax
jne    11e7 <strcasecmp+0xe7>
movsbl -0x11(%rbp),%eax
movsbl -0x12(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x18(%rbp)
jmp    11ec <strcasecmp+0xec>
jmp    110c <strcasecmp+0xc>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strcasecmp>:
xor    %r8d,%r8d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rdi,%r8,1),%eax
movzbl (%rsi,%r8,1),%r9d
lea    -0x41(%rax),%ecx
lea    0x20(%rax),%edx
cmp    $0x1a,%cl
movzbl %dl,%r10d
cmovae %eax,%r10d
lea    -0x41(%r9),%eax
lea    0x20(%r9),%ecx
cmp    $0x1a,%al
movzbl %cl,%ecx
cmovae %r9d,%ecx
movsbl %r10b,%eax
movsbl %cl,%edx
sub    %edx,%eax
jne    1154 <strcasecmp+0x54>
test   %r10b,%r10b
je     1154 <strcasecmp+0x54>
add    $0x1,%r8
test   %cl,%cl
jne    1110 <strcasecmp+0x10>
ret

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

LLVM IR (-O2):
define i32 @strcasecmp(i8* nocapture %0, i8* nocapture %1) {
br label %3
3: ; preds = %20, %2
%4 = phi i8* [ %0, %2 ], [ %22, %20 ]
%5 = phi i8* [ %1, %2 ], [ %21, %20 ]
%6 = load i8, i8* %4
%7 = load i8, i8* %5
%8 = add i8 %6, -65
%9 = icmp ult i8 %8, 26
%10 = add i8 %6, 32
%11 = select i1 %9, i8 %10, i8 %6
%12 = add i8 %7, -65
%13 = icmp ult i8 %12, 26
%14 = add i8 %7, 32
%15 = select i1 %13, i8 %14, i8 %7
%16 = sext i8 %11 to i32
%17 = sext i8 %15 to i32
%18 = sub nsw i32 %16, %17
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %26
20: ; preds = %3
%21 = getelementptr inbounds i8, i8* %5, i64 1
%22 = getelementptr inbounds i8, i8* %4, i64 1
%23 = icmp eq i8 %11, 0
%24 = icmp eq i8 %15, 0
%25 = select i1 %23, i1 true, i1 %24
br i1 %25, label %26, label %3
26: ; preds = %20, %3
ret i32 %18
}