int Tcl_StringMatch(const char *string, const char *pattern) {
  char c2;
  while (1) {
    if (*pattern == 0) {
      if (*string == 0) {
        return 1;
      } else {
        return 0;
      }
    }
    if ((*string == 0) && (*pattern != '*')) {
      return 0;
    }
    if (*pattern == '*') {
      pattern += 1;
      if (*pattern == 0) {
        return 1;
      }
      while (1) {
        if (Tcl_StringMatch(string, pattern)) {
          return 1;
        }
        if (*string == 0) {
          return 0;
        }
        string += 1;
      }
    }
    if (*pattern == '?') {
      goto thisCharOK;
    }
    if (*pattern == '[') {
      pattern += 1;
      while (1) {
        if ((*pattern == ']') || (*pattern == 0)) {
          return 0;
        }
        if (*pattern == *string) {
          break;
        }
        if (pattern[1] == '-') {
          c2 = pattern[2];
          if (c2 == 0) {
            return 0;
          }
          if ((*pattern <= *string) && (c2 >= *string)) {
            break;
          }
          if ((*pattern >= *string) && (c2 <= *string)) {
            break;
          }
          pattern += 2;
        }
        pattern += 1;
      }
      while ((*pattern != ']') && (*pattern != 0)) {
        pattern += 1;
      }
      goto thisCharOK;
    }
    if (*pattern == '\\') {
      pattern += 1;
      if (*pattern == 0) {
        return 0;
      }
    }
    if (*pattern != *string) {
      return 0;
    }
  thisCharOK:
    pattern += 1;
    string += 1;
  }
}


x86 assembly (clang, -O0):
<Tcl_StringMatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1158 <Tcl_StringMatch+0x48>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    114c <Tcl_StringMatch+0x3c>
movl   $0x1,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1184 <Tcl_StringMatch+0x74>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
je     1184 <Tcl_StringMatch+0x74>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    1210 <Tcl_StringMatch+0x100>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11bc <Tcl_StringMatch+0xac>
movl   $0x1,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
jmp    11c1 <Tcl_StringMatch+0xb1>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <Tcl_StringMatch@plt>
cmp    $0x0,%eax
je     11e3 <Tcl_StringMatch+0xd3>
movl   $0x1,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11ff <Tcl_StringMatch+0xef>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11c1 <Tcl_StringMatch+0xb1>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    1225 <Tcl_StringMatch+0x115>
jmp    13e9 <Tcl_StringMatch+0x2d9>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
jne    1385 <Tcl_StringMatch+0x275>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     1261 <Tcl_StringMatch+0x151>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    126d <Tcl_StringMatch+0x15d>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1288 <Tcl_StringMatch+0x178>
jmp    1335 <Tcl_StringMatch+0x225>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    1324 <Tcl_StringMatch+0x214>
mov    -0x18(%rbp),%rax
mov    0x2(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
cmp    $0x0,%eax
jne    12bc <Tcl_StringMatch+0x1ac>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jg     12ea <Tcl_StringMatch+0x1da>
movsbl -0x19(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jl     12ea <Tcl_StringMatch+0x1da>
jmp    1335 <Tcl_StringMatch+0x225>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jl     1318 <Tcl_StringMatch+0x208>
movsbl -0x19(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jg     1318 <Tcl_StringMatch+0x208>
jmp    1335 <Tcl_StringMatch+0x225>
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1241 <Tcl_StringMatch+0x131>
jmp    133a <Tcl_StringMatch+0x22a>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x5d,%ecx
mov    %al,-0x1a(%rbp)
je     135f <Tcl_StringMatch+0x24f>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    136f <Tcl_StringMatch+0x25f>
jmp    1380 <Tcl_StringMatch+0x270>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    133a <Tcl_StringMatch+0x22a>
jmp    13e9 <Tcl_StringMatch+0x2d9>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    13c2 <Tcl_StringMatch+0x2b2>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    13bd <Tcl_StringMatch+0x2ad>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
jmp    13c2 <Tcl_StringMatch+0x2b2>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     13e4 <Tcl_StringMatch+0x2d4>
movl   $0x0,-0x4(%rbp)
jmp    1406 <Tcl_StringMatch+0x2f6>
jmp    13e9 <Tcl_StringMatch+0x2d9>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1120 <Tcl_StringMatch+0x10>
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Tcl_StringMatch>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    (%rsi),%cl
test   %cl,%cl
je     1240 <Tcl_StringMatch+0x130>
mov    %rsi,%rbp
lea    0x1(%rdi),%r15
xor    %r14d,%r14d
jmp    115d <Tcl_StringMatch+0x4d>
cmp    $0x2a,%cl
je     1256 <Tcl_StringMatch+0x146>
mov    %rbp,%rax
cmp    %r12b,%cl
jne    124a <Tcl_StringMatch+0x13a>
add    $0x1,%rdi
mov    0x1(%rax),%cl
add    $0x1,%rax
add    $0x1,%r15
mov    %rax,%rbp
test   %cl,%cl
je     1240 <Tcl_StringMatch+0x130>
mov    (%rdi),%r12b
test   %r12b,%r12b
jne    116e <Tcl_StringMatch+0x5e>
cmp    $0x2a,%cl
jne    124a <Tcl_StringMatch+0x13a>
cmp    $0x5a,%cl
jle    1210 <Tcl_StringMatch+0x100>
cmp    $0x5c,%cl
je     1230 <Tcl_StringMatch+0x120>
cmp    $0x5b,%cl
jne    1137 <Tcl_StringMatch+0x27>
cs nopw 0x0(%rax,%rax,1)
nop
movzbl 0x1(%rbp),%ecx
test   %cl,%cl
je     124a <Tcl_StringMatch+0x13a>
cmp    $0x5d,%cl
je     124a <Tcl_StringMatch+0x13a>
mov    %rbp,%rdx
lea    0x1(%rbp),%rax
cmp    %r12b,%cl
je     11f8 <Tcl_StringMatch+0xe8>
cmpb   $0x2d,0x2(%rdx)
mov    %rax,%rbp
jne    1190 <Tcl_StringMatch+0x80>
movzbl 0x3(%rdx),%ebx
test   %bl,%bl
je     124a <Tcl_StringMatch+0x13a>
cmp    %r12b,%cl
jg     11d0 <Tcl_StringMatch+0xc0>
cmp    %r12b,%bl
jge    11f8 <Tcl_StringMatch+0xe8>
add    $0x3,%rdx
mov    %rdx,%rbp
cmp    %r12b,%cl
jl     1190 <Tcl_StringMatch+0x80>
mov    %rdx,%rbp
cmp    %r12b,%bl
jg     1190 <Tcl_StringMatch+0x80>
jmp    11f8 <Tcl_StringMatch+0xe8>
cs nopw 0x0(%rax,%rax,1)
movzbl 0x1(%rax),%ecx
add    $0x1,%rax
test   %cl,%cl
je     1143 <Tcl_StringMatch+0x33>
cmp    $0x5d,%cl
jne    11f0 <Tcl_StringMatch+0xe0>
jmp    1143 <Tcl_StringMatch+0x33>
nopw   0x0(%rax,%rax,1)
cmp    $0x3f,%cl
jne    112e <Tcl_StringMatch+0x1e>
mov    %rbp,%rax
jmp    1143 <Tcl_StringMatch+0x33>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x1(%rbp),%cl
test   %cl,%cl
je     124a <Tcl_StringMatch+0x13a>
add    $0x1,%rbp
jmp    1137 <Tcl_StringMatch+0x27>
xor    %r14d,%r14d
cmpb   $0x0,(%rdi)
sete   %r14b
mov    %r14d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
cmpb   $0x0,0x1(%rbp)
je     126c <Tcl_StringMatch+0x15c>
add    $0x1,%rbp
mov    %rbp,%rsi
call   1030 <Tcl_StringMatch@plt>
test   %eax,%eax
je     1274 <Tcl_StringMatch+0x164>
mov    $0x1,%r14d
jmp    124a <Tcl_StringMatch+0x13a>
test   %r12b,%r12b
je     124a <Tcl_StringMatch+0x13a>
mov    %r15,%rdi
mov    %rbp,%rsi
call   1030 <Tcl_StringMatch@plt>
test   %eax,%eax
jne    126c <Tcl_StringMatch+0x15c>
cmpb   $0x0,(%r15)
lea    0x1(%r15),%r15
jne    1279 <Tcl_StringMatch+0x169>
jmp    124a <Tcl_StringMatch+0x13a>

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

LLVM IR (-O2):
define i32 @Tcl_StringMatch(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %5, label %10
5: ; preds = %75, %2
%6 = phi i8* [ %0, %2 ], [ %78, %75 ]
%7 = load i8, i8* %6
%8 = icmp eq i8 %7, 0
%9 = zext i1 %8 to i32
br label %81
10: ; preds = %2, %75
%11 = phi i8 [ %79, %75 ], [ %3, %2 ]
%12 = phi i8* [ %77, %75 ], [ %1, %2 ]
%13 = phi i8* [ %78, %75 ], [ %0, %2 ]
%14 = load i8, i8* %13
%15 = icmp ne i8 %14, 0
%16 = icmp eq i8 %11, 42
%17 = select i1 %15, i1 true, i1 %16
br i1 %17, label %18, label %81
18: ; preds = %10
switch i8 %11, label %71 [
i8 42, label %19
i8 63, label %75
i8 91, label %36
i8 92, label %67
]
19: ; preds = %18
%20 = getelementptr inbounds i8, i8* %12, i64 1
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %81, label %23
23: ; preds = %19
%24 = tail call i32 @Tcl_StringMatch(i8* %13, i8* %20)
%25 = icmp eq i32 %24, 0
br i1 %25, label %26, label %81
26: ; preds = %23
%27 = icmp eq i8 %14, 0
br i1 %27, label %81, label %28
28: ; preds = %26, %33
%29 = phi i8* [ %30, %33 ], [ %13, %26 ]
%30 = getelementptr inbounds i8, i8* %29, i64 1
%31 = tail call i32 @Tcl_StringMatch(i8* %30, i8* %20)
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %81
33: ; preds = %28
%34 = load i8, i8* %30
%35 = icmp eq i8 %34, 0
br i1 %35, label %81, label %28
36: ; preds = %18, %58
%37 = phi i8* [ %59, %58 ], [ %12, %18 ]
%38 = getelementptr inbounds i8, i8* %37, i64 1
%39 = load i8, i8* %38
switch i8 %39, label %40 [
i8 93, label %81
i8 0, label %81
]
40: ; preds = %36
%41 = icmp eq i8 %39, %14
br i1 %41, label %60, label %42
42: ; preds = %40
%43 = getelementptr inbounds i8, i8* %37, i64 2
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 45
br i1 %45, label %46, label %58
46: ; preds = %42
%47 = getelementptr inbounds i8, i8* %37, i64 3
%48 = load i8, i8* %47
%49 = icmp eq i8 %48, 0
br i1 %49, label %81, label %50
50: ; preds = %46
%51 = icmp sgt i8 %39, %14
%52 = icmp slt i8 %48, %14
%53 = select i1 %51, i1 true, i1 %52
br i1 %53, label %54, label %60
54: ; preds = %50
%55 = icmp slt i8 %39, %14
%56 = icmp sgt i8 %48, %14
%57 = select i1 %55, i1 true, i1 %56
br i1 %57, label %58, label %60
58: ; preds = %54, %42
%59 = phi i8* [ %38, %42 ], [ %47, %54 ]
br label %36
60: ; preds = %54, %50, %40
br label %61
61: ; preds = %60, %64
%62 = phi i8 [ %66, %64 ], [ %39, %60 ]
%63 = phi i8* [ %65, %64 ], [ %38, %60 ]
switch i8 %62, label %64 [
i8 93, label %75
i8 0, label %75
]
64: ; preds = %61
%65 = getelementptr inbounds i8, i8* %63, i64 1
%66 = load i8, i8* %65
br label %61
67: ; preds = %18
%68 = getelementptr inbounds i8, i8* %12, i64 1
%69 = load i8, i8* %68
%70 = icmp eq i8 %69, 0
br i1 %70, label %81, label %71
71: ; preds = %18, %67
%72 = phi i8 [ %69, %67 ], [ %11, %18 ]
%73 = phi i8* [ %68, %67 ], [ %12, %18 ]
%74 = icmp eq i8 %72, %14
br i1 %74, label %75, label %81
75: ; preds = %61, %61, %18, %71
%76 = phi i8* [ %73, %71 ], [ %12, %18 ], [ %63, %61 ], [ %63, %61 ]
%77 = getelementptr inbounds i8, i8* %76, i64 1
%78 = getelementptr inbounds i8, i8* %13, i64 1
%79 = load i8, i8* %77
%80 = icmp eq i8 %79, 0
br i1 %80, label %5, label %10
81: ; preds = %71, %67, %10, %46, %36, %36, %33, %28, %26, %23, %19, %5
%82 = phi i32 [ %9, %5 ], [ 1, %19 ], [ 1, %23 ], [ 0, %26 ], [ 1, %28 ], [ 0, %33 ], [ 0, %36 ], [ 0, %36 ], [ 0, %46 ], [ 0, %10 ], [ 0, %67 ], [ 0, %71 ]
ret i32 %82
}