int __strings_distance(char *s1, char *stop, char *s2) {
  char c1, c2;
  int i, distance = -1;
  if (s1 && s2) {
    for (i = 0;; s1++, s2++, i++) {
      c1 = *s1;
      c2 = *s2;
      if ((!c1 || s1 == stop) && !c2) {
        distance = i ? 0 : -1;
        break;
      }
      if ((!c1 || s1 == stop) || !c2) {
        distance = i ? i : -1;
        break;
      }
      if ('A' <= c1 && c1 <= 'Z')
        c1 += 'a' - 'A';
      if ('A' <= c2 && c2 <= 'Z')
        c2 += 'a' - 'A';
      if (c1 != c2) {
        distance = i ? i : -1;
        break;
      }
    }
  }
  return distance;
}


x86 assembly (clang, -O0):
<__strings_distance>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0xffffffff,-0x24(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     128c <__strings_distance+0x18c>
cmpq   $0x0,-0x18(%rbp)
je     128c <__strings_distance+0x18c>
movl   $0x0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x1a(%rbp)
cmpb   $0x0,-0x19(%rbp)
je     115e <__strings_distance+0x5e>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jne    1180 <__strings_distance+0x80>
cmpb   $0x0,-0x1a(%rbp)
jne    1180 <__strings_distance+0x80>
mov    -0x20(%rbp),%edx
mov    $0xffffffff,%eax
xor    %ecx,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x24(%rbp)
jmp    1287 <__strings_distance+0x187>
cmpb   $0x0,-0x19(%rbp)
je     11a2 <__strings_distance+0xa2>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     11a2 <__strings_distance+0xa2>
cmpb   $0x0,-0x1a(%rbp)
jne    11cf <__strings_distance+0xcf>
cmpl   $0x0,-0x20(%rbp)
je     11b7 <__strings_distance+0xb7>
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    11c4 <__strings_distance+0xc4>
mov    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    11c4 <__strings_distance+0xc4>
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1287 <__strings_distance+0x187>
movsbl -0x19(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     11f7 <__strings_distance+0xf7>
movsbl -0x19(%rbp),%eax
cmp    $0x5a,%eax
jg     11f7 <__strings_distance+0xf7>
movsbl -0x19(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x19(%rbp)
movsbl -0x1a(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     121f <__strings_distance+0x11f>
movsbl -0x1a(%rbp),%eax
cmp    $0x5a,%eax
jg     121f <__strings_distance+0x11f>
movsbl -0x1a(%rbp),%eax
add    $0x20,%eax
mov    %al,-0x1a(%rbp)
movsbl -0x19(%rbp),%eax
movsbl -0x1a(%rbp),%ecx
cmp    %ecx,%eax
je     125c <__strings_distance+0x15c>
cmpl   $0x0,-0x20(%rbp)
je     1244 <__strings_distance+0x144>
mov    -0x20(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    1251 <__strings_distance+0x151>
mov    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1251 <__strings_distance+0x151>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1287 <__strings_distance+0x187>
jmp    1261 <__strings_distance+0x161>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1134 <__strings_distance+0x34>
jmp    128c <__strings_distance+0x18c>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__strings_distance>:
mov    $0xffffffff,%eax
test   %rdi,%rdi
je     118a <__strings_distance+0x8a>
test   %rdx,%rdx
je     118a <__strings_distance+0x8a>
mov    (%rdi),%cl
mov    (%rdx),%r9b
xor    %r8d,%r8d
test   %cl,%cl
je     117c <__strings_distance+0x7c>
nop
lea    (%rdi,%r8,1),%rax
cmp    %rsi,%rax
jne    112e <__strings_distance+0x2e>
test   %r9b,%r9b
je     118b <__strings_distance+0x8b>
cmp    %rsi,%rax
je     1181 <__strings_distance+0x81>
test   %r9b,%r9b
je     1181 <__strings_distance+0x81>
lea    -0x41(%rcx),%r10d
lea    0x20(%rcx),%eax
cmp    $0x1a,%r10b
movzbl %cl,%ecx
movzbl %al,%eax
cmovae %ecx,%eax
lea    -0x41(%r9),%r10d
lea    0x20(%r9),%r11d
cmp    $0x1a,%r10b
movzbl %r9b,%r9d
movzbl %r11b,%ecx
cmovae %r9d,%ecx
cmp    %cl,%al
jne    1181 <__strings_distance+0x81>
movzbl 0x1(%rdi,%r8,1),%ecx
movzbl 0x1(%rdx,%r8,1),%r9d
add    $0x1,%r8
test   %cl,%cl
jne    1120 <__strings_distance+0x20>
test   %r9b,%r9b
je     118b <__strings_distance+0x8b>
cmp    $0x1,%r8d
sbb    %eax,%eax
or     %r8d,%eax
ret
cmp    $0x1,%r8d
sbb    %eax,%eax
ret

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

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