int smatch(s, t)
char *s, *t;
{
  register n;
  if (*t == '\0')
    return *s == '\0';
  if (*t == '*') {
    ++t;
    do
      if (smatch(s, t))
        return 1;
    while (*s++ != '\0');
    return 0;
  }
  if (*s == '\0')
    return 0;
  if (*t == '\\')
    return (*s == *++t) ? smatch(++s, ++t) : 0;
  if (*t == '?')
    return smatch(++s, ++t);
  if (*t == '[') {
    while (*++t != ']') {
      if (*t == '\\')
        ++t;
      if (*(t + 1) != '-')
        if (*t == *s) {
          while (*++t != ']')
            if (*t == '\\')
              ++t;
          return smatch(++s, ++t);
        } else
          continue;
      if (*(t + 2) == ']')
        return (*s == *t || *s == '-');
      n = (*(t + 2) == '\\') ? 3 : 2;
      if (*s >= *t && *s <= *(t + n)) {
        while (*++t != ']')
          if (*t == '\\')
            ++t;
        return smatch(++s, ++t);
      }
      t += n;
    }
    return 0;
  }
  return (*s == *t) ? smatch(++s, ++t) : 0;
}


x86 assembly (clang, -O0):
<smatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    114a <smatch+0x3a>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2a,%eax
jne    11b4 <smatch+0xa4>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <smatch@plt>
cmp    $0x0,%eax
je     1188 <smatch+0x78>
movl   $0x1,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
jmp    118d <smatch+0x7d>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1166 <smatch+0x56>
movl   $0x0,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11d0 <smatch+0xc0>
movl   $0x0,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    123c <smatch+0x12c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
movsbl 0x1(%rcx),%ecx
cmp    %ecx,%eax
jne    1227 <smatch+0x117>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
mov    %rsi,-0x18(%rbp)
call   1030 <smatch@plt>
mov    %eax,-0x20(%rbp)
jmp    1231 <smatch+0x121>
xor    %eax,%eax
mov    %eax,-0x20(%rbp)
jmp    1231 <smatch+0x121>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    1271 <smatch+0x161>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
mov    %rsi,-0x18(%rbp)
call   1030 <smatch@plt>
mov    %eax,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
jne    1472 <smatch+0x362>
jmp    1286 <smatch+0x176>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x5d,%eax
je     1466 <smatch+0x356>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    12be <smatch+0x1ae>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
je     1351 <smatch+0x241>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    134c <smatch+0x23c>
jmp    12ea <smatch+0x1da>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x5d,%eax
je     1327 <smatch+0x217>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    1322 <smatch+0x212>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    12ea <smatch+0x1da>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
mov    %rsi,-0x18(%rbp)
call   1030 <smatch@plt>
mov    %eax,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
jmp    1286 <smatch+0x176>
mov    -0x18(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x5d,%eax
jne    139d <smatch+0x28d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
mov    $0x1,%al
cmp    %edx,%ecx
mov    %al,-0x21(%rbp)
je     138d <smatch+0x27d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
sete   %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x18(%rbp),%rax
movsbl 0x2(%rax),%edx
mov    $0x2,%eax
mov    $0x3,%ecx
cmp    $0x5c,%edx
cmove  %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jl     1450 <smatch+0x340>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jg     1450 <smatch+0x340>
jmp    13ee <smatch+0x2de>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x5d,%eax
je     142b <smatch+0x31b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    1426 <smatch+0x316>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    13ee <smatch+0x2de>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
mov    %rsi,-0x18(%rbp)
call   1030 <smatch@plt>
mov    %eax,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x1c(%rbp),%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
jmp    1286 <smatch+0x176>
movl   $0x0,-0x4(%rbp)
jmp    14bd <smatch+0x3ad>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    14ad <smatch+0x39d>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
mov    %rsi,-0x18(%rbp)
call   1030 <smatch@plt>
mov    %eax,-0x28(%rbp)
jmp    14b7 <smatch+0x3a7>
xor    %eax,%eax
mov    %eax,-0x28(%rbp)
jmp    14b7 <smatch+0x3a7>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<smatch>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
jmp    1128 <smatch+0x18>
nopl   0x0(%rax)
add    $0x1,%rbx
add    $0x1,%r14
mov    (%rbx),%cl
cmp    $0x2a,%cl
je     1250 <smatch+0x140>
test   %cl,%cl
je     1280 <smatch+0x170>
mov    (%r14),%al
test   %al,%al
je     123e <smatch+0x12e>
cmp    $0x3f,%cl
je     1120 <smatch+0x10>
cmp    $0x5c,%cl
je     1200 <smatch+0xf0>
cmp    $0x5b,%cl
je     1173 <smatch+0x63>
cmp    %cl,%al
je     1120 <smatch+0x10>
jmp    123e <smatch+0x12e>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    %rcx,%rbx
movzbl 0x1(%rbx),%ecx
cmp    $0x5c,%cl
je     1190 <smatch+0x80>
cmp    $0x5d,%cl
je     123e <smatch+0x12e>
add    $0x1,%rbx
jmp    1194 <smatch+0x84>
nopl   0x0(%rax,%rax,1)
add    $0x2,%rbx
movzbl 0x1(%rbx),%ecx
cmp    $0x2d,%cl
jne    11d0 <smatch+0xc0>
movzbl 0x2(%rbx),%edx
cmp    $0x5d,%dl
je     1242 <smatch+0x132>
xor    %ecx,%ecx
cmp    $0x5c,%dl
sete   %cl
or     $0x2,%rcx
cmp    (%rbx),%al
jl     1170 <smatch+0x60>
cmp    (%rbx,%rcx,1),%al
jg     1170 <smatch+0x60>
jmp    1212 <smatch+0x102>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %al,(%rbx)
jne    1173 <smatch+0x63>
jmp    11e7 <smatch+0xd7>
cs nopw 0x0(%rax,%rax,1)
add    $0x2,%rbx
mov    0x1(%rbx),%cl
cmp    $0x5c,%cl
je     11e0 <smatch+0xd0>
cmp    $0x5d,%cl
je     1205 <smatch+0xf5>
add    $0x1,%rbx
movzbl 0x1(%rbx),%ecx
cmp    $0x5c,%cl
jne    11ec <smatch+0xdc>
jmp    11e0 <smatch+0xd0>
cmp    0x1(%rbx),%al
jne    123e <smatch+0x12e>
add    $0x2,%rbx
add    $0x1,%r14
jmp    1128 <smatch+0x18>
mov    $0x2d,%al
cmp    $0x5c,%al
jne    122c <smatch+0x11c>
nopl   0x0(%rax,%rax,1)
add    $0x2,%rbx
movzbl 0x1(%rbx),%eax
cmp    $0x5c,%al
je     1220 <smatch+0x110>
cmp    $0x5d,%al
je     1205 <smatch+0xf5>
add    $0x1,%rbx
movzbl 0x1(%rbx),%eax
cmp    $0x5c,%al
jne    122c <smatch+0x11c>
jmp    1220 <smatch+0x110>
xor    %eax,%eax
jmp    1287 <smatch+0x177>
cmp    (%rbx),%al
sete   %cl
cmp    $0x2d,%al
sete   %al
or     %cl,%al
jmp    1287 <smatch+0x177>
add    $0x1,%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r14,%rdi
mov    %rbx,%rsi
call   1030 <smatch@plt>
test   %eax,%eax
jne    1279 <smatch+0x169>
cmpb   $0x0,(%r14)
lea    0x1(%r14),%r14
jne    1260 <smatch+0x150>
test   %eax,%eax
setne  %al
jmp    1287 <smatch+0x177>
cmpb   $0x0,(%r14)
sete   %al
movzbl %al,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

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