#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ checkrange(char *, int *, char);
int tmatch(char *string, char *xtemplate) {
  char *lastmeta = 0;
  char *nonabsorbed = 0;
  int sptr = 0;
  int tptr = 0;
  while ((xtemplate[tptr] != '\0') || (string[sptr] != '\0')) {
    if (string[sptr] == xtemplate[tptr]) {
      sptr++;
      tptr++;
      continue;
    }
    if (xtemplate[tptr] == '[') {
      if (checkrange(xtemplate, &tptr, string[sptr]) == 0) {
        if (lastmeta == 0)
          return (0);
        xtemplate = lastmeta;
        tptr = 0;
        string = nonabsorbed;
        sptr = 0;
        continue;
      } else {
        sptr++;
        continue;
      }
    }
    if (xtemplate[tptr] == '?') {
      if (string[sptr] == '\0')
        return (0);
      else {
        sptr++;
        tptr++;
        continue;
      }
    }
    if (xtemplate[tptr] == '*') {
      lastmeta = &xtemplate[tptr];
      tptr++;
      if (xtemplate[tptr] == '\0')
        return (1);
      if (xtemplate[tptr] == '[') {
        while (checkrange(xtemplate, &tptr, string[sptr]) == 0) {
          if (string[sptr] == '\0')
            return (0);
          sptr++;
        }
        nonabsorbed = &string[sptr];
        nonabsorbed++;
        sptr++;
        continue;
      } else if (xtemplate[tptr] != '?' && xtemplate[tptr] != '*') {
        while (string[sptr] != xtemplate[tptr]) {
          if (string[sptr] == '\0')
            return (0);
          sptr++;
        }
        nonabsorbed = &string[sptr];
        nonabsorbed++;
        continue;
      } else {
        nonabsorbed = &string[sptr];
        nonabsorbed++;
        continue;
      }
    } else {
      if (lastmeta == 0)
        return (0);
      xtemplate = lastmeta;
      tptr = 0;
      string = nonabsorbed;
      sptr = 0;
      continue;
    }
  }
  return (1);
}


x86 assembly (clang, -O0):
<tmatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x31(%rbp)
jne    116d <tmatch+0x5d>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    117d <tmatch+0x6d>
jmp    145c <tmatch+0x34c>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11b4 <tmatch+0xa4>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    113e <tmatch+0x2e>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
jne    1234 <tmatch+0x124>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
lea    -0x30(%rbp),%rsi
movsbl (%rax,%rcx,1),%edx
call   1030 <checkrange@plt>
cmp    $0x0,%rax
jne    1226 <tmatch+0x116>
cmpq   $0x0,-0x20(%rbp)
jne    1203 <tmatch+0xf3>
movl   $0x0,-0x4(%rbp)
jmp    1463 <tmatch+0x353>
mov    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x2c(%rbp)
jmp    113e <tmatch+0x2e>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    113e <tmatch+0x2e>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3f,%eax
jne    1281 <tmatch+0x171>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    126a <tmatch+0x15a>
movl   $0x0,-0x4(%rbp)
jmp    1463 <tmatch+0x353>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    113e <tmatch+0x2e>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
jne    1422 <tmatch+0x312>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    12cf <tmatch+0x1bf>
movl   $0x1,-0x4(%rbp)
jmp    1463 <tmatch+0x353>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
jne    1364 <tmatch+0x254>
jmp    12e9 <tmatch+0x1d9>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
lea    -0x30(%rbp),%rsi
movsbl (%rax,%rcx,1),%edx
call   1030 <checkrange@plt>
cmp    $0x0,%rax
jne    133b <tmatch+0x22b>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    132d <tmatch+0x21d>
movl   $0x0,-0x4(%rbp)
jmp    1463 <tmatch+0x353>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12e9 <tmatch+0x1d9>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    113e <tmatch+0x2e>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3f,%eax
je     1402 <tmatch+0x2f2>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
je     1402 <tmatch+0x2f2>
jmp    1393 <tmatch+0x283>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     13e2 <tmatch+0x2d2>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    13d4 <tmatch+0x2c4>
movl   $0x0,-0x4(%rbp)
jmp    1463 <tmatch+0x353>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1393 <tmatch+0x283>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    113e <tmatch+0x2e>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    113e <tmatch+0x2e>
cmpq   $0x0,-0x20(%rbp)
jne    1439 <tmatch+0x329>
movl   $0x0,-0x4(%rbp)
jmp    1463 <tmatch+0x353>
mov    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x2c(%rbp)
jmp    113e <tmatch+0x2e>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tmatch>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r13
movl   $0x0,0x4(%rsp)
mov    (%rsi),%bl
mov    (%rdi),%sil
mov    $0x1,%eax
mov    %ebx,%edx
or     %sil,%dl
je     12cb <tmatch+0x1bb>
xor    %r15d,%r15d
xor    %r12d,%r12d
xor    %r8d,%r8d
xor    %ebp,%ebp
mov    %r13,%r14
xor    %edx,%edx
jmp    1190 <tmatch+0x80>
test   %sil,%sil
je     12c9 <tmatch+0x1b9>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%r12d
add    $0x1,%edx
mov    %edx,0x4(%rsp)
mov    %rbp,%r13
mov    %r13,%rbp
movslq 0x4(%rsp),%rdx
lea    (%r14,%rdx,1),%r13
mov    (%r14,%rdx,1),%bl
movslq %r12d,%r15
mov    (%rdi,%r15,1),%sil
mov    %ebx,%ecx
or     %sil,%cl
je     12c2 <tmatch+0x1b2>
cmp    %bl,%sil
je     1160 <tmatch+0x50>
cmp    $0x2a,%bl
je     11d7 <tmatch+0xc7>
cmp    $0x3f,%bl
je     114d <tmatch+0x3d>
cmp    $0x5b,%bl
jne    125e <tmatch+0x14e>
mov    %r8,%rbx
mov    %rdi,%r15
movsbl %sil,%edx
mov    %r14,%rdi
lea    0x4(%rsp),%rsi
call   1030 <checkrange@plt>
test   %rax,%rax
je     1272 <tmatch+0x162>
add    $0x1,%r12d
mov    %rbp,%r13
mov    %r15,%rdi
mov    %rbx,%r8
jmp    116e <tmatch+0x5e>
lea    (%rdi,%r15,1),%r8
movslq %edx,%rax
lea    0x1(%rax),%rcx
mov    %ecx,0x4(%rsp)
mov    0x1(%r14,%rax,1),%al
cmp    $0x3e,%al
jle    1265 <tmatch+0x155>
cmp    $0x3f,%al
je     1269 <tmatch+0x159>
cmp    $0x5b,%al
jne    1294 <tmatch+0x184>
movsbl (%r8),%edx
mov    %rdi,%rbx
mov    %r14,%rdi
lea    0x4(%rsp),%rsi
call   1030 <checkrange@plt>
test   %rax,%rax
jne    124a <tmatch+0x13a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmpb   $0x0,(%rbx,%r15,1)
je     12c9 <tmatch+0x1b9>
movsbl 0x1(%rbx,%r15,1),%edx
add    $0x1,%r15
mov    %r14,%rdi
lea    0x4(%rsp),%rsi
call   1030 <checkrange@plt>
test   %rax,%rax
je     1220 <tmatch+0x110>
mov    %r15d,%r12d
lea    (%rbx,%r15,1),%r8
add    $0x1,%r8
add    $0x1,%r12d
mov    %rbx,%rdi
jmp    116e <tmatch+0x5e>
test   %rbp,%rbp
jne    127a <tmatch+0x16a>
jmp    12c9 <tmatch+0x1b9>
cmp    $0x2a,%al
jne    1290 <tmatch+0x180>
add    $0x1,%r8
jmp    116e <tmatch+0x5e>
test   %rbp,%rbp
je     12c9 <tmatch+0x1b9>
mov    %rbx,%r8
movl   $0x0,0x4(%rsp)
xor    %r12d,%r12d
mov    %r8,%rdi
mov    %rbp,%r14
jmp    116b <tmatch+0x5b>
test   %al,%al
je     12c2 <tmatch+0x1b2>
mov    (%r8),%cl
cmp    %al,%cl
je     12b5 <tmatch+0x1a5>
nopl   0x0(%rax,%rax,1)
test   %cl,%cl
je     12c9 <tmatch+0x1b9>
movzbl 0x1(%rdi,%r15,1),%ecx
add    $0x1,%r15
cmp    %al,%cl
jne    12a0 <tmatch+0x190>
mov    %r15d,%r12d
lea    (%rdi,%r15,1),%r8
add    $0x1,%r8
jmp    116e <tmatch+0x5e>
mov    $0x1,%eax
jmp    12cb <tmatch+0x1bb>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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