int utf8_strcasecmp(const unsigned char *s1, const unsigned char *s2) {
  int i;
  for (i = 0; s1[i] != '\0'; i++) {
    unsigned char a = s1[i], b = s2[i];
    if (a == b)
      continue;
    if (a >= 'A' && a <= 'Z')
      a += 32;
    if (b >= 'A' && b <= 'Z')
      b += 32;
    if (i > 0) {
      if (s1[i - 1] == 0xc3 && a >= 0x80 && a <= 0x9e)
        a += 32;
      if (s1[i - 1] == 0xc3 && b >= 0x80 && b <= 0x9e)
        b += 32;
    }
    if (a < b)
      return -1;
    if (a > b)
      return +1;
  }
  if (s2[i] == '\0')
    return 0;
  return -1;
}


x86 assembly (clang, -O0):
<utf8_strcasecmp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1283 <utf8_strcasecmp+0x183>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1e(%rbp)
movzbl -0x1d(%rbp),%eax
movzbl -0x1e(%rbp),%ecx
cmp    %ecx,%eax
jne    1159 <utf8_strcasecmp+0x59>
jmp    1275 <utf8_strcasecmp+0x175>
movzbl -0x1d(%rbp),%eax
cmp    $0x41,%eax
jl     117d <utf8_strcasecmp+0x7d>
movzbl -0x1d(%rbp),%eax
cmp    $0x5a,%eax
jg     117d <utf8_strcasecmp+0x7d>
movzbl -0x1d(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x1d(%rbp)
movzbl -0x1e(%rbp),%eax
cmp    $0x41,%eax
jl     11a1 <utf8_strcasecmp+0xa1>
movzbl -0x1e(%rbp),%eax
cmp    $0x5a,%eax
jg     11a1 <utf8_strcasecmp+0xa1>
movzbl -0x1e(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x1e(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jle    1238 <utf8_strcasecmp+0x138>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xc3,%eax
jne    11ef <utf8_strcasecmp+0xef>
movzbl -0x1d(%rbp),%eax
cmp    $0x80,%eax
jl     11ef <utf8_strcasecmp+0xef>
movzbl -0x1d(%rbp),%eax
cmp    $0x9e,%eax
jg     11ef <utf8_strcasecmp+0xef>
movzbl -0x1d(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x1d(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xc3,%eax
jne    1233 <utf8_strcasecmp+0x133>
movzbl -0x1e(%rbp),%eax
cmp    $0x80,%eax
jl     1233 <utf8_strcasecmp+0x133>
movzbl -0x1e(%rbp),%eax
cmp    $0x9e,%eax
jg     1233 <utf8_strcasecmp+0x133>
movzbl -0x1e(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x1e(%rbp)
jmp    1238 <utf8_strcasecmp+0x138>
movzbl -0x1d(%rbp),%eax
movzbl -0x1e(%rbp),%ecx
cmp    %ecx,%eax
jge    1254 <utf8_strcasecmp+0x154>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ab <utf8_strcasecmp+0x1ab>
movzbl -0x1d(%rbp),%eax
movzbl -0x1e(%rbp),%ecx
cmp    %ecx,%eax
jle    1270 <utf8_strcasecmp+0x170>
movl   $0x1,-0x4(%rbp)
jmp    12ab <utf8_strcasecmp+0x1ab>
jmp    1275 <utf8_strcasecmp+0x175>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1113 <utf8_strcasecmp+0x13>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    12a4 <utf8_strcasecmp+0x1a4>
movl   $0x0,-0x4(%rbp)
jmp    12ab <utf8_strcasecmp+0x1ab>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_strcasecmp>:
mov    (%rdi),%cl
xor    %eax,%eax
test   %cl,%cl
jne    1121 <utf8_strcasecmp+0x21>
jmp    11b5 <utf8_strcasecmp+0xb5>
nopl   (%rax)
movzbl 0x1(%rdi,%rax,1),%ecx
add    $0x1,%rax
test   %cl,%cl
je     11b3 <utf8_strcasecmp+0xb3>
movzbl (%rsi,%rax,1),%edx
cmp    %dl,%cl
je     1110 <utf8_strcasecmp+0x10>
lea    -0x41(%rcx),%r8d
lea    0x20(%rcx),%r9d
cmp    $0x1a,%r8b
movzbl %cl,%r8d
movzbl %r9b,%ecx
cmovae %r8d,%ecx
lea    -0x41(%rdx),%r8d
lea    0x20(%rdx),%r9d
cmp    $0x1a,%r8b
movzbl %dl,%r8d
movzbl %r9b,%edx
cmovae %r8d,%edx
test   %rax,%rax
je     11a3 <utf8_strcasecmp+0xa3>
lea    0x20(%rcx),%r8d
cmp    $0x9f,%cl
movzbl %cl,%r9d
movzbl %r8b,%ecx
cmovae %r9d,%ecx
test   %r9b,%r9b
cmovns %r9d,%ecx
lea    -0x1(%rax),%r8d
lea    0x20(%rdx),%r10d
cmp    $0x9f,%dl
movzbl %dl,%r11d
movzbl %r10b,%edx
cmovae %r11d,%edx
test   %r11b,%r11b
cmovns %r11d,%edx
cmpb   $0xc3,(%rdi,%r8,1)
cmovne %r9d,%ecx
cmovne %r11d,%edx
cmp    %dl,%cl
jb     11bd <utf8_strcasecmp+0xbd>
jbe    1110 <utf8_strcasecmp+0x10>
mov    $0x1,%eax
ret
mov    %eax,%eax
xor    %ecx,%ecx
cmp    (%rsi,%rax,1),%cl
sbb    %eax,%eax
ret
mov    $0xffffffff,%eax
ret

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

LLVM IR (-O2):
define i32 @utf8_strcasecmp(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %0
%4 = icmp eq i8 %3, 0
br i1 %4, label %52, label %5
5: ; preds = %2, %45
%6 = phi i64 [ %46, %45 ], [ 0, %2 ]
%7 = phi i8 [ %48, %45 ], [ %3, %2 ]
%8 = getelementptr inbounds i8, i8* %1, i64 %6
%9 = load i8, i8* %8
%10 = icmp eq i8 %7, %9
br i1 %10, label %45, label %11
11: ; preds = %5
%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 = add i8 %9, -65
%17 = icmp ult i8 %16, 26
%18 = add i8 %9, 32
%19 = select i1 %17, i8 %18, i8 %9
%20 = icmp eq i64 %6, 0
br i1 %20, label %39, label %21
21: ; preds = %11
%22 = add i64 %6, 4294967295
%23 = and i64 %22, 4294967295
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, -61
%27 = icmp slt i8 %15, 0
%28 = select i1 %26, i1 %27, i1 false
%29 = icmp ult i8 %15, -97
%30 = select i1 %28, i1 %29, i1 false
%31 = add i8 %15, 32
%32 = select i1 %30, i8 %31, i8 %15
%33 = icmp slt i8 %19, 0
%34 = select i1 %26, i1 %33, i1 false
%35 = icmp ult i8 %19, -97
%36 = select i1 %34, i1 %35, i1 false
%37 = add i8 %19, 32
%38 = select i1 %36, i8 %37, i8 %19
br label %39
39: ; preds = %21, %11
%40 = phi i8 [ %15, %11 ], [ %32, %21 ]
%41 = phi i8 [ %19, %11 ], [ %38, %21 ]
%42 = icmp ult i8 %40, %41
br i1 %42, label %58, label %43
43: ; preds = %39
%44 = icmp ugt i8 %40, %41
br i1 %44, label %58, label %45
45: ; preds = %5, %43
%46 = add nuw i64 %6, 1
%47 = getelementptr inbounds i8, i8* %0, i64 %46
%48 = load i8, i8* %47
%49 = icmp eq i8 %48, 0
br i1 %49, label %50, label %5
50: ; preds = %45
%51 = and i64 %46, 4294967295
br label %52
52: ; preds = %50, %2
%53 = phi i64 [ 0, %2 ], [ %51, %50 ]
%54 = getelementptr inbounds i8, i8* %1, i64 %53
%55 = load i8, i8* %54
%56 = icmp ne i8 %55, 0
%57 = sext i1 %56 to i32
br label %58
58: ; preds = %43, %39, %52
%59 = phi i32 [ %57, %52 ], [ 1, %43 ], [ -1, %39 ]
ret i32 %59
}