int DictionaryCompare(left, right)
char *left, *right;
{
  int diff, zeros;
  int secondaryDiff = 0;
  while (1) {
    if (isdigit(((unsigned char)(*right))) &&
        isdigit(((unsigned char)(*left)))) {
      zeros = 0;
      while ((*right == '0') && (isdigit(((unsigned char)(right[1]))))) {
        right++;
        zeros--;
      }
      while ((*left == '0') && (isdigit(((unsigned char)(left[1]))))) {
        left++;
        zeros++;
      }
      if (secondaryDiff == 0) {
        secondaryDiff = zeros;
      }
      diff = 0;
      while (1) {
        if (diff == 0) {
          diff = ((unsigned char)(*left)) - ((unsigned char)(*right));
        }
        right++;
        left++;
        if (!isdigit(((unsigned char)(*right)))) {
          if (isdigit(((unsigned char)(*left)))) {
            return 1;
          } else {
            if (diff != 0) {
              return diff;
            }
            break;
          }
        } else if (!isdigit(((unsigned char)(*left)))) {
          return -1;
        }
      }
      continue;
    }
    diff = ((unsigned char)(*left)) - ((unsigned char)(*right));
    if (diff) {
      if (isupper(((unsigned char)(*left))) &&
          islower(((unsigned char)(*right)))) {
        diff = ((unsigned char)(tolower(*left))) - ((unsigned char)(*right));
        if (diff) {
          return diff;
        } else if (secondaryDiff == 0) {
          secondaryDiff = -1;
        }
      } else if (isupper(((unsigned char)(*right))) &&
                 islower(((unsigned char)(*left)))) {
        diff = ((unsigned char)(*left)) -
               ((unsigned char)(tolower(((unsigned char)(*right)))));
        if (diff) {
          return diff;
        } else if (secondaryDiff == 0) {
          secondaryDiff = 1;
        }
      } else {
        return diff;
      }
    }
    if (*left == 0) {
      break;
    }
    left++;
    right++;
  }
  if (diff == 0) {
    diff = secondaryDiff;
  }
  return diff;
}


x86 assembly (clang, -O0):
<DictionaryCompare>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     1303 <DictionaryCompare+0x1c3>
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     1303 <DictionaryCompare+0x1c3>
movl   $0x0,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x25(%rbp)
jne    11b3 <DictionaryCompare+0x73>
mov    -0x18(%rbp),%rax
movzbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    11c3 <DictionaryCompare+0x83>
jmp    11dd <DictionaryCompare+0x9d>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1188 <DictionaryCompare+0x48>
jmp    11e2 <DictionaryCompare+0xa2>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x26(%rbp)
jne    120d <DictionaryCompare+0xcd>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
test   $0x1,%al
jne    121d <DictionaryCompare+0xdd>
jmp    1237 <DictionaryCompare+0xf7>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11e2 <DictionaryCompare+0xa2>
cmpl   $0x0,-0x24(%rbp)
jne    1247 <DictionaryCompare+0x107>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    126b <DictionaryCompare+0x12b>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    12d3 <DictionaryCompare+0x193>
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     12b9 <DictionaryCompare+0x179>
movl   $0x1,-0x4(%rbp)
jmp    146f <DictionaryCompare+0x32f>
cmpl   $0x0,-0x1c(%rbp)
je     12ce <DictionaryCompare+0x18e>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    146f <DictionaryCompare+0x32f>
jmp    12fe <DictionaryCompare+0x1be>
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    12f4 <DictionaryCompare+0x1b4>
movl   $0xffffffff,-0x4(%rbp)
jmp    146f <DictionaryCompare+0x32f>
jmp    12f9 <DictionaryCompare+0x1b9>
jmp    124e <DictionaryCompare+0x10e>
jmp    1157 <DictionaryCompare+0x17>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1427 <DictionaryCompare+0x2e7>
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%eax
je     1395 <DictionaryCompare+0x255>
mov    -0x18(%rbp),%rax
movzbl (%rax),%edi
call   1040 <islower@plt>
cmp    $0x0,%eax
je     1395 <DictionaryCompare+0x255>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1050 <tolower@plt>
movzbl %al,%eax
mov    -0x18(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     137a <DictionaryCompare+0x23a>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    146f <DictionaryCompare+0x32f>
cmpl   $0x0,-0x24(%rbp)
jne    138b <DictionaryCompare+0x24b>
movl   $0xffffffff,-0x24(%rbp)
jmp    1390 <DictionaryCompare+0x250>
jmp    1422 <DictionaryCompare+0x2e2>
mov    -0x18(%rbp),%rax
movzbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%eax
je     1412 <DictionaryCompare+0x2d2>
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1040 <islower@plt>
cmp    $0x0,%eax
je     1412 <DictionaryCompare+0x2d2>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%edi
call   1050 <tolower@plt>
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
movzbl %cl,%ecx
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     13f7 <DictionaryCompare+0x2b7>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    146f <DictionaryCompare+0x32f>
cmpl   $0x0,-0x24(%rbp)
jne    1408 <DictionaryCompare+0x2c8>
movl   $0x1,-0x24(%rbp)
jmp    140d <DictionaryCompare+0x2cd>
jmp    141d <DictionaryCompare+0x2dd>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    146f <DictionaryCompare+0x32f>
jmp    1422 <DictionaryCompare+0x2e2>
jmp    1427 <DictionaryCompare+0x2e7>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    143c <DictionaryCompare+0x2fc>
jmp    1459 <DictionaryCompare+0x319>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1157 <DictionaryCompare+0x17>
cmpl   $0x0,-0x1c(%rbp)
jne    1469 <DictionaryCompare+0x329>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<DictionaryCompare>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
xor    %r13d,%r13d
movzbl (%r14),%r12d
lea    -0x30(%r12),%eax
movzbl (%rbx),%r15d
cmp    $0x9,%eax
ja     1210 <DictionaryCompare+0xe0>
lea    -0x30(%r15),%eax
cmp    $0x9,%eax
ja     1210 <DictionaryCompare+0xe0>
xor    %eax,%eax
cmp    $0x30,%r12b
jne    1199 <DictionaryCompare+0x69>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl 0x1(%r14),%ecx
lea    -0x30(%rcx),%edx
cmp    $0x9,%edx
ja     1199 <DictionaryCompare+0x69>
add    $0x1,%r14
add    $0xffffffff,%eax
cmp    $0x30,%cl
je     1180 <DictionaryCompare+0x50>
cmp    $0x30,%r15b
jne    11b8 <DictionaryCompare+0x88>
nop
movzbl 0x1(%rbx),%ecx
lea    -0x30(%rcx),%edx
cmp    $0x9,%edx
ja     11b8 <DictionaryCompare+0x88>
add    $0x1,%rbx
add    $0x1,%eax
cmp    $0x30,%cl
je     11a0 <DictionaryCompare+0x70>
test   %r13d,%r13d
cmove  %eax,%r13d
add    $0x1,%rbx
add    $0x1,%r14
xor    %ebp,%ebp
nopl   0x0(%rax)
test   %ebp,%ebp
jne    11df <DictionaryCompare+0xaf>
movzbl -0x1(%rbx),%ebp
movzbl -0x1(%r14),%eax
sub    %eax,%ebp
movzbl (%r14),%ecx
add    $0xffffffd0,%ecx
movzbl (%rbx),%eax
add    $0xffffffd0,%eax
cmp    $0xa,%ecx
jae    1250 <DictionaryCompare+0x120>
add    $0x1,%rbx
add    $0x1,%r14
cmp    $0xa,%eax
jb     11d0 <DictionaryCompare+0xa0>
jmp    12a7 <DictionaryCompare+0x177>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r15d,%ebp
sub    %r12d,%ebp
je     1295 <DictionaryCompare+0x165>
mov    %r15d,%edi
call   1050 <isupper@plt>
test   %eax,%eax
je     125f <DictionaryCompare+0x12f>
mov    %r12d,%edi
call   1030 <islower@plt>
test   %eax,%eax
je     125f <DictionaryCompare+0x12f>
movsbl %r15b,%edi
call   1040 <tolower@plt>
movzbl %al,%ebp
sub    %r12d,%ebp
jne    12ac <DictionaryCompare+0x17c>
cmp    $0x1,%r13d
sbb    %eax,%eax
or     %eax,%r13d
jmp    1295 <DictionaryCompare+0x165>
nopl   0x0(%rax)
cmp    $0xa,%eax
jb     12c2 <DictionaryCompare+0x192>
test   %ebp,%ebp
je     1144 <DictionaryCompare+0x14>
jmp    12ac <DictionaryCompare+0x17c>
mov    %r12d,%edi
call   1050 <isupper@plt>
test   %eax,%eax
je     12ac <DictionaryCompare+0x17c>
mov    %r15d,%edi
call   1030 <islower@plt>
test   %eax,%eax
je     12ac <DictionaryCompare+0x17c>
mov    %r12d,%edi
call   1040 <tolower@plt>
movzbl %al,%eax
mov    %r15d,%ebp
sub    %eax,%ebp
jne    12ac <DictionaryCompare+0x17c>
test   %r13d,%r13d
mov    $0x1,%eax
cmove  %eax,%r13d
test   %r15d,%r15d
je     12bd <DictionaryCompare+0x18d>
add    $0x1,%rbx
add    $0x1,%r14
jmp    1144 <DictionaryCompare+0x14>
mov    $0xffffffff,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r13d,%ebp
jmp    12ac <DictionaryCompare+0x17c>
mov    $0x1,%ebp
jmp    12ac <DictionaryCompare+0x17c>

LLVM IR (-O0):
define i32 @DictionaryCompare(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 0, i32* %8
br label %9
9: ; preds = %2, %110, %197
%10 = load i8*, i8** %5
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = call i32 @isdigit(i32 %12)
%14 = icmp ne i32 %13, 0
br i1 %14, label %15, label %111
15: ; preds = %9
%16 = load i8*, i8** %4
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
%19 = call i32 @isdigit(i32 %18)
%20 = icmp ne i32 %19, 0
br i1 %20, label %21, label %111
21: ; preds = %15
store i32 0, i32* %7
br label %22
22: ; preds = %36, %21
%23 = load i8*, i8** %5
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp eq i32 %25, 48
br i1 %26, label %27, label %34
27: ; preds = %22
%28 = load i8*, i8** %5
%29 = getelementptr inbounds i8, i8* %28, i64 1
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = call i32 @isdigit(i32 %31)
%33 = icmp ne i32 %32, 0
br label %34
34: ; preds = %27, %22
%35 = phi i1 [ false, %22 ], [ %33, %27 ]
br i1 %35, label %36, label %41
36: ; preds = %34
%37 = load i8*, i8** %5
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %5
%39 = load i32, i32* %7
%40 = add nsw i32 %39, -1
store i32 %40, i32* %7
br label %22
41: ; preds = %34
br label %42
42: ; preds = %56, %41
%43 = load i8*, i8** %4
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 48
br i1 %46, label %47, label %54
47: ; preds = %42
%48 = load i8*, i8** %4
%49 = getelementptr inbounds i8, i8* %48, i64 1
%50 = load i8, i8* %49
%51 = zext i8 %50 to i32
%52 = call i32 @isdigit(i32 %51)
%53 = icmp ne i32 %52, 0
br label %54
54: ; preds = %47, %42
%55 = phi i1 [ false, %42 ], [ %53, %47 ]
br i1 %55, label %56, label %61
56: ; preds = %54
%57 = load i8*, i8** %4
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %4
%59 = load i32, i32* %7
%60 = add nsw i32 %59, 1
store i32 %60, i32* %7
br label %42
61: ; preds = %54
%62 = load i32, i32* %8
%63 = icmp eq i32 %62, 0
br i1 %63, label %64, label %66
64: ; preds = %61
%65 = load i32, i32* %7
store i32 %65, i32* %8
br label %66
66: ; preds = %64, %61
store i32 0, i32* %6
br label %67
67: ; preds = %66, %109
%68 = load i32, i32* %6
%69 = icmp eq i32 %68, 0
br i1 %69, label %70, label %78
70: ; preds = %67
%71 = load i8*, i8** %4
%72 = load i8, i8* %71
%73 = zext i8 %72 to i32
%74 = load i8*, i8** %5
%75 = load i8, i8* %74
%76 = zext i8 %75 to i32
%77 = sub nsw i32 %73, %76
store i32 %77, i32* %6
br label %78
78: ; preds = %70, %67
%79 = load i8*, i8** %5
%80 = getelementptr inbounds i8, i8* %79, i32 1
store i8* %80, i8** %5
%81 = load i8*, i8** %4
%82 = getelementptr inbounds i8, i8* %81, i32 1
store i8* %82, i8** %4
%83 = load i8*, i8** %5
%84 = load i8, i8* %83
%85 = zext i8 %84 to i32
%86 = call i32 @isdigit(i32 %85)
%87 = icmp ne i32 %86, 0
br i1 %87, label %101, label %88
88: ; preds = %78
%89 = load i8*, i8** %4
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = call i32 @isdigit(i32 %91)
%93 = icmp ne i32 %92, 0
br i1 %93, label %94, label %95
94: ; preds = %88
store i32 1, i32* %3
br label %209
95: ; preds = %88
%96 = load i32, i32* %6
%97 = icmp ne i32 %96, 0
br i1 %97, label %98, label %100
98: ; preds = %95
%99 = load i32, i32* %6
store i32 %99, i32* %3
br label %209
100: ; preds = %95
br label %110
101: ; preds = %78
%102 = load i8*, i8** %4
%103 = load i8, i8* %102
%104 = zext i8 %103 to i32
%105 = call i32 @isdigit(i32 %104)
%106 = icmp ne i32 %105, 0
br i1 %106, label %108, label %107
107: ; preds = %101
store i32 -1, i32* %3
br label %209
108: ; preds = %101
br label %109
109: ; preds = %108
br label %67
110: ; preds = %100
br label %9
111: ; preds = %15, %9
%112 = load i8*, i8** %4
%113 = load i8, i8* %112
%114 = zext i8 %113 to i32
%115 = load i8*, i8** %5
%116 = load i8, i8* %115
%117 = zext i8 %116 to i32
%118 = sub nsw i32 %114, %117
store i32 %118, i32* %6
%119 = load i32, i32* %6
%120 = icmp ne i32 %119, 0
br i1 %120, label %121, label %191
121: ; preds = %111
%122 = load i8*, i8** %4
%123 = load i8, i8* %122
%124 = zext i8 %123 to i32
%125 = call i32 @isupper(i32 %124)
%126 = icmp ne i32 %125, 0
br i1 %126, label %127, label %154
127: ; preds = %121
%128 = load i8*, i8** %5
%129 = load i8, i8* %128
%130 = zext i8 %129 to i32
%131 = call i32 @islower(i32 %130)
%132 = icmp ne i32 %131, 0
br i1 %132, label %133, label %154
133: ; preds = %127
%134 = load i8*, i8** %4
%135 = load i8, i8* %134
%136 = sext i8 %135 to i32
%137 = call i32 @tolower(i32 %136)
%138 = trunc i32 %137 to i8
%139 = zext i8 %138 to i32
%140 = load i8*, i8** %5
%141 = load i8, i8* %140
%142 = zext i8 %141 to i32
%143 = sub nsw i32 %139, %142
store i32 %143, i32* %6
%144 = load i32, i32* %6
%145 = icmp ne i32 %144, 0
br i1 %145, label %146, label %148
146: ; preds = %133
%147 = load i32, i32* %6
store i32 %147, i32* %3
br label %209
148: ; preds = %133
%149 = load i32, i32* %8
%150 = icmp eq i32 %149, 0
br i1 %150, label %151, label %152
151: ; preds = %148
store i32 -1, i32* %8
br label %152
152: ; preds = %151, %148
br label %153
153: ; preds = %152
br label %190
154: ; preds = %127, %121
%155 = load i8*, i8** %5
%156 = load i8, i8* %155
%157 = zext i8 %156 to i32
%158 = call i32 @isupper(i32 %157)
%159 = icmp ne i32 %158, 0
br i1 %159, label %160, label %187
160: ; preds = %154
%161 = load i8*, i8** %4
%162 = load i8, i8* %161
%163 = zext i8 %162 to i32
%164 = call i32 @islower(i32 %163)
%165 = icmp ne i32 %164, 0
br i1 %165, label %166, label %187
166: ; preds = %160
%167 = load i8*, i8** %4
%168 = load i8, i8* %167
%169 = zext i8 %168 to i32
%170 = load i8*, i8** %5
%171 = load i8, i8* %170
%172 = zext i8 %171 to i32
%173 = call i32 @tolower(i32 %172)
%174 = trunc i32 %173 to i8
%175 = zext i8 %174 to i32
%176 = sub nsw i32 %169, %175
store i32 %176, i32* %6
%177 = load i32, i32* %6
%178 = icmp ne i32 %177, 0
br i1 %178, label %179, label %181
179: ; preds = %166
%180 = load i32, i32* %6
store i32 %180, i32* %3
br label %209
181: ; preds = %166
%182 = load i32, i32* %8
%183 = icmp eq i32 %182, 0
br i1 %183, label %184, label %185
184: ; preds = %181
store i32 1, i32* %8
br label %185
185: ; preds = %184, %181
br label %186
186: ; preds = %185
br label %189
187: ; preds = %160, %154
%188 = load i32, i32* %6
store i32 %188, i32* %3
br label %209
189: ; preds = %186
br label %190
190: ; preds = %189, %153
br label %191
191: ; preds = %190, %111
%192 = load i8*, i8** %4
%193 = load i8, i8* %192
%194 = sext i8 %193 to i32
%195 = icmp eq i32 %194, 0
br i1 %195, label %196, label %197
196: ; preds = %191
br label %202
197: ; preds = %191
%198 = load i8*, i8** %4
%199 = getelementptr inbounds i8, i8* %198, i32 1
store i8* %199, i8** %4
%200 = load i8*, i8** %5
%201 = getelementptr inbounds i8, i8* %200, i32 1
store i8* %201, i8** %5
br label %9
202: ; preds = %196
%203 = load i32, i32* %6
%204 = icmp eq i32 %203, 0
br i1 %204, label %205, label %207
205: ; preds = %202
%206 = load i32, i32* %8
store i32 %206, i32* %6
br label %207
207: ; preds = %205, %202
%208 = load i32, i32* %6
store i32 %208, i32* %3
br label %209
209: ; preds = %207, %187, %179, %146, %107, %98, %94
%210 = load i32, i32* %3
ret i32 %210
}

LLVM IR (-O2):
define i32 @DictionaryCompare(i8* nocapture %0, i8* nocapture %1) {
br label %3
3: ; preds = %114, %2
%4 = phi i8* [ %0, %2 ], [ %115, %114 ]
%5 = phi i8* [ %1, %2 ], [ %116, %114 ]
%6 = phi i32 [ 0, %2 ], [ %117, %114 ]
%7 = load i8, i8* %5
%8 = zext i8 %7 to i32
%9 = add nsw i32 %8, -48
%10 = icmp ult i32 %9, 10
%11 = load i8, i8* %4
%12 = zext i8 %11 to i32
%13 = add nsw i32 %12, -48
%14 = icmp ult i32 %13, 10
%15 = select i1 %10, i1 %14, i1 false
br i1 %15, label %16, label %76
16: ; preds = %3
%17 = icmp eq i8 %7, 48
br i1 %17, label %18, label %29
18: ; preds = %16, %26
%19 = phi i32 [ %27, %26 ], [ 0, %16 ]
%20 = phi i8* [ %21, %26 ], [ %5, %16 ]
%21 = getelementptr inbounds i8, i8* %20, i64 1
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = add nsw i32 %23, -48
%25 = icmp ult i32 %24, 10
br i1 %25, label %26, label %29
26: ; preds = %18
%27 = add nsw i32 %19, -1
%28 = icmp eq i8 %22, 48
br i1 %28, label %18, label %29
29: ; preds = %18, %26, %16
%30 = phi i8* [ %5, %16 ], [ %21, %26 ], [ %20, %18 ]
%31 = phi i32 [ 0, %16 ], [ %27, %26 ], [ %19, %18 ]
%32 = icmp eq i8 %11, 48
br i1 %32, label %33, label %44
33: ; preds = %29, %41
%34 = phi i32 [ %42, %41 ], [ %31, %29 ]
%35 = phi i8* [ %36, %41 ], [ %4, %29 ]
%36 = getelementptr inbounds i8, i8* %35, i64 1
%37 = load i8, i8* %36
%38 = zext i8 %37 to i32
%39 = add nsw i32 %38, -48
%40 = icmp ult i32 %39, 10
br i1 %40, label %41, label %44
41: ; preds = %33
%42 = add nsw i32 %34, 1
%43 = icmp eq i8 %37, 48
br i1 %43, label %33, label %44
44: ; preds = %33, %41, %29
%45 = phi i8* [ %4, %29 ], [ %36, %41 ], [ %35, %33 ]
%46 = phi i32 [ %31, %29 ], [ %42, %41 ], [ %34, %33 ]
%47 = icmp eq i32 %6, 0
%48 = select i1 %47, i32 %46, i32 %6
br label %49
49: ; preds = %75, %44
%50 = phi i8* [ %45, %44 ], [ %63, %75 ]
%51 = phi i8* [ %30, %44 ], [ %62, %75 ]
%52 = phi i32 [ 0, %44 ], [ %61, %75 ]
%53 = icmp eq i32 %52, 0
br i1 %53, label %54, label %60
54: ; preds = %49
%55 = load i8, i8* %50
%56 = zext i8 %55 to i32
%57 = load i8, i8* %51
%58 = zext i8 %57 to i32
%59 = sub nsw i32 %56, %58
br label %60
60: ; preds = %54, %49
%61 = phi i32 [ %59, %54 ], [ %52, %49 ]
%62 = getelementptr inbounds i8, i8* %51, i64 1
%63 = getelementptr inbounds i8, i8* %50, i64 1
%64 = load i8, i8* %62
%65 = zext i8 %64 to i32
%66 = add nsw i32 %65, -48
%67 = icmp ult i32 %66, 10
%68 = load i8, i8* %63
%69 = zext i8 %68 to i32
%70 = add nsw i32 %69, -48
%71 = icmp ult i32 %70, 10
br i1 %67, label %75, label %72
72: ; preds = %60
br i1 %71, label %118, label %73
73: ; preds = %72
%74 = icmp eq i32 %61, 0
br i1 %74, label %114, label %118
75: ; preds = %60
br i1 %71, label %49, label %118
76: ; preds = %3
%77 = sub nsw i32 %12, %8
%78 = icmp eq i32 %77, 0
br i1 %78, label %108, label %79
79: ; preds = %76
%80 = tail call i32 @isupper(i32 %12)
%81 = icmp eq i32 %80, 0
br i1 %81, label %94, label %82
82: ; preds = %79
%83 = tail call i32 @islower(i32 %8)
%84 = icmp eq i32 %83, 0
br i1 %84, label %94, label %85
85: ; preds = %82
%86 = sext i8 %11 to i32
%87 = tail call i32 @tolower(i32 %86)
%88 = and i32 %87, 255
%89 = sub nsw i32 %88, %8
%90 = icmp eq i32 %89, 0
br i1 %90, label %91, label %118
91: ; preds = %85
%92 = icmp eq i32 %6, 0
%93 = select i1 %92, i32 -1, i32 %6
br label %108
94: ; preds = %82, %79
%95 = tail call i32 @isupper(i32 %8)
%96 = icmp eq i32 %95, 0
br i1 %96, label %118, label %97
97: ; preds = %94
%98 = tail call i32 @islower(i32 %12)
%99 = icmp eq i32 %98, 0
br i1 %99, label %118, label %100
100: ; preds = %97
%101 = tail call i32 @tolower(i32 %8)
%102 = and i32 %101, 255
%103 = sub nsw i32 %12, %102
%104 = icmp eq i32 %103, 0
br i1 %104, label %105, label %118
105: ; preds = %100
%106 = icmp eq i32 %6, 0
%107 = select i1 %106, i32 1, i32 %6
br label %108
108: ; preds = %91, %105, %76
%109 = phi i32 [ %93, %91 ], [ %107, %105 ], [ %6, %76 ]
%110 = icmp eq i8 %11, 0
br i1 %110, label %118, label %111
111: ; preds = %108
%112 = getelementptr inbounds i8, i8* %4, i64 1
%113 = getelementptr inbounds i8, i8* %5, i64 1
br label %114
114: ; preds = %111, %73
%115 = phi i8* [ %63, %73 ], [ %112, %111 ]
%116 = phi i8* [ %62, %73 ], [ %113, %111 ]
%117 = phi i32 [ %48, %73 ], [ %109, %111 ]
br label %3
118: ; preds = %108, %94, %97, %100, %85, %73, %72, %75
%119 = phi i32 [ -1, %75 ], [ %109, %108 ], [ %77, %94 ], [ %77, %97 ], [ %103, %100 ], [ %89, %85 ], [ %61, %73 ], [ 1, %72 ]
ret i32 %119
}