int BASM_XCallCheckSigDirectW64(char *sig) {
  char *s;
  int i, j, ni, nx;
  s = sig;
  i = 0;
  ni = 0;
  nx = 0;
  if (*s == '(')
    s++;
  while (*s && (*s != ')')) {
    if (ni >= 4)
      break;
    if (nx)
      break;
    switch (*s++) {
    case 'a':
    case 'b':
    case 'c':
    case 'h':
    case 's':
    case 't':
    case 'w':
    case 'i':
    case 'j':
      ni++;
      break;
    case 'l':
    case 'm':
    case 'x':
    case 'y':
      ni++;
      break;
    case 'r':
      ni++;
      break;
    case 'P':
      ni++;
      while (*s == 'P')
        s++;
      if ((*s >= 'a') && (*s <= 'z')) {
        s++;
        break;
      }
      if (*s == 'X') {
        while (*s && *s != ';')
          s++;
        if (*s == ';')
          s++;
      }
      break;
    case 'd':
    case 'e':
    case 'f':
    case 'k':
    case 'g':
    case 'n':
    case 'o':
      nx++;
      break;
    case 'C':
      switch (*s++) {
      case 'f':
      case 'd':
      case 'e':
      case 'g':
      case 'k':
        nx++;
        break;
      default:
        nx++;
        break;
      }
      break;
    case 'G':
      switch (*s++) {
      case 'f':
      case 'd':
      case 'e':
      case 'g':
      case 'k':
        nx++;
        break;
      default:
        nx++;
        break;
      }
      break;
    default:
      nx++;
      break;
    }
  }
  if (nx)
    return (0);
  if (*s && (*s != ')'))
    return (0);
  return (1);
}


x86 assembly (clang, -O0):
<BASM_XCallCheckSigDirectW64>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    1141 <BASM_XCallCheckSigDirectW64+0x41>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1146 <BASM_XCallCheckSigDirectW64+0x46>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     116b <BASM_XCallCheckSigDirectW64+0x6b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    117b <BASM_XCallCheckSigDirectW64+0x7b>
jmp    1399 <BASM_XCallCheckSigDirectW64+0x299>
cmpl   $0x4,-0x24(%rbp)
jl     118a <BASM_XCallCheckSigDirectW64+0x8a>
jmp    1399 <BASM_XCallCheckSigDirectW64+0x299>
cmpl   $0x0,-0x28(%rbp)
je     1199 <BASM_XCallCheckSigDirectW64+0x99>
jmp    1399 <BASM_XCallCheckSigDirectW64+0x299>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
add    $0xffffffbd,%eax
mov    %eax,%ecx
mov    %rcx,-0x38(%rbp)
sub    $0x36,%eax
ja     138b <BASM_XCallCheckSigDirectW64+0x28b>
mov    -0x38(%rbp),%rax
lea    0xe38(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x50,%eax
jne    1225 <BASM_XCallCheckSigDirectW64+0x125>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1204 <BASM_XCallCheckSigDirectW64+0x104>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     1256 <BASM_XCallCheckSigDirectW64+0x156>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jg     1256 <BASM_XCallCheckSigDirectW64+0x156>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x58,%eax
jne    12d2 <BASM_XCallCheckSigDirectW64+0x1d2>
jmp    126b <BASM_XCallCheckSigDirectW64+0x16b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x39(%rbp)
je     1290 <BASM_XCallCheckSigDirectW64+0x190>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3b,%eax
setne  %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    12a0 <BASM_XCallCheckSigDirectW64+0x1a0>
jmp    12b1 <BASM_XCallCheckSigDirectW64+0x1b1>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    126b <BASM_XCallCheckSigDirectW64+0x16b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3b,%eax
jne    12cd <BASM_XCallCheckSigDirectW64+0x1cd>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    12d2 <BASM_XCallCheckSigDirectW64+0x1d2>
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x40(%rbp)
add    $0xffffff9c,%eax
sub    $0x4,%eax
jb     131c <BASM_XCallCheckSigDirectW64+0x21c>
jmp    130b <BASM_XCallCheckSigDirectW64+0x20b>
mov    -0x40(%rbp),%eax
sub    $0x6b,%eax
jne    132a <BASM_XCallCheckSigDirectW64+0x22a>
jmp    131c <BASM_XCallCheckSigDirectW64+0x21c>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1333 <BASM_XCallCheckSigDirectW64+0x233>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x44(%rbp)
add    $0xffffff9c,%eax
sub    $0x4,%eax
jb     136f <BASM_XCallCheckSigDirectW64+0x26f>
jmp    135e <BASM_XCallCheckSigDirectW64+0x25e>
mov    -0x44(%rbp),%eax
sub    $0x6b,%eax
jne    137d <BASM_XCallCheckSigDirectW64+0x27d>
jmp    136f <BASM_XCallCheckSigDirectW64+0x26f>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1386 <BASM_XCallCheckSigDirectW64+0x286>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1394 <BASM_XCallCheckSigDirectW64+0x294>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1146 <BASM_XCallCheckSigDirectW64+0x46>
cmpl   $0x0,-0x28(%rbp)
je     13af <BASM_XCallCheckSigDirectW64+0x2af>
movl   $0x0,-0x4(%rbp)
jmp    13e2 <BASM_XCallCheckSigDirectW64+0x2e2>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     13db <BASM_XCallCheckSigDirectW64+0x2db>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
je     13db <BASM_XCallCheckSigDirectW64+0x2db>
movl   $0x0,-0x4(%rbp)
jmp    13e2 <BASM_XCallCheckSigDirectW64+0x2e2>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<BASM_XCallCheckSigDirectW64>:
xor    %eax,%eax
cmpb   $0x28,(%rdi)
sete   %al
mov    (%rdi,%rax,1),%dl
test   %dl,%dl
je     11d2 <BASM_XCallCheckSigDirectW64+0xd2>
add    %rax,%rdi
xor    %esi,%esi
lea    0xee1(%rip),%r8
xor    %r9d,%r9d
jmp    113d <BASM_XCallCheckSigDirectW64+0x3d>
add    $0x2,%rdi
mov    %rdi,%rcx
nopl   0x0(%rax,%rax,1)
mov    (%rcx),%dl
mov    %rcx,%rdi
test   %dl,%dl
je     11da <BASM_XCallCheckSigDirectW64+0xda>
cmp    $0x29,%dl
sete   %al
cmp    $0x4,%r9d
setge  %cl
or     %al,%cl
test   %esi,%esi
setne  %al
or     %cl,%al
jne    11dc <BASM_XCallCheckSigDirectW64+0xdc>
movsbl %dl,%edx
lea    0x1(%rdi),%rcx
mov    $0x1,%esi
add    $0xffffffbd,%edx
cmp    $0x36,%edx
ja     1130 <BASM_XCallCheckSigDirectW64+0x30>
movslq (%r8,%rdx,4),%rdx
add    %r8,%rdx
jmp    *%rdx
add    $0x1,%r9d
xor    %esi,%esi
jmp    1130 <BASM_XCallCheckSigDirectW64+0x30>
xchg   %ax,%ax
movzbl (%rcx),%edx
add    $0x1,%rcx
cmp    $0x50,%dl
je     1180 <BASM_XCallCheckSigDirectW64+0x80>
add    $0x1,%r9d
lea    -0x61(%rdx),%edi
xor    %esi,%esi
cmp    $0x1a,%dil
jb     1130 <BASM_XCallCheckSigDirectW64+0x30>
add    $0xffffffffffffffff,%rcx
cmp    $0x58,%dl
jne    1130 <BASM_XCallCheckSigDirectW64+0x30>
mov    $0x58,%dl
test   %dl,%dl
je     11c1 <BASM_XCallCheckSigDirectW64+0xc1>
nopw   0x0(%rax,%rax,1)
cmp    $0x3b,%dl
je     11c1 <BASM_XCallCheckSigDirectW64+0xc1>
movzbl 0x1(%rcx),%edx
add    $0x1,%rcx
test   %dl,%dl
jne    11b0 <BASM_XCallCheckSigDirectW64+0xb0>
xor    %edi,%edi
cmp    $0x3b,%dl
sete   %dil
add    %rdi,%rcx
jmp    1130 <BASM_XCallCheckSigDirectW64+0x30>
mov    $0x1,%al
xor    %esi,%esi
xor    %edx,%edx
jmp    11de <BASM_XCallCheckSigDirectW64+0xde>
xor    %edx,%edx
xor    $0x1,%al
test   %esi,%esi
sete   %cl
cmp    $0x29,%dl
sete   %dl
or     %al,%dl
and    %cl,%dl
movzbl %dl,%eax
ret

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

LLVM IR (-O2):
define i32 @BASM_XCallCheckSigDirectW64(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 40
%4 = zext i1 %3 to i64
%5 = getelementptr i8, i8* %0, i64 %4
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 0
br i1 %7, label %62, label %8
8: ; preds = %1, %52
%9 = phi i8 [ %56, %52 ], [ %6, %1 ]
%10 = phi i32 [ %55, %52 ], [ 0, %1 ]
%11 = phi i32 [ %54, %52 ], [ 0, %1 ]
%12 = phi i8* [ %53, %52 ], [ %5, %1 ]
%13 = icmp eq i8 %9, 41
%14 = icmp sgt i32 %11, 3
%15 = select i1 %13, i1 true, i1 %14
%16 = icmp ne i32 %10, 0
%17 = or i1 %16, %15
br i1 %17, label %58, label %18
18: ; preds = %8
%19 = sext i8 %9 to i32
%20 = getelementptr inbounds i8, i8* %12, i64 1
switch i32 %19, label %52 [
i32 97, label %21
i32 98, label %21
i32 99, label %21
i32 104, label %21
i32 115, label %21
i32 116, label %21
i32 119, label %21
i32 105, label %21
i32 106, label %21
i32 108, label %23
i32 109, label %23
i32 120, label %23
i32 121, label %23
i32 114, label %25
i32 80, label %27
i32 71, label %50
i32 67, label %48
]
21: ; preds = %18, %18, %18, %18, %18, %18, %18, %18, %18
%22 = add nsw i32 %11, 1
br label %52
23: ; preds = %18, %18, %18, %18
%24 = add nsw i32 %11, 1
br label %52
25: ; preds = %18
%26 = add nsw i32 %11, 1
br label %52
27: ; preds = %18, %27
%28 = phi i8* [ %31, %27 ], [ %20, %18 ]
%29 = load i8, i8* %28
%30 = icmp eq i8 %29, 80
%31 = getelementptr inbounds i8, i8* %28, i64 1
br i1 %30, label %27, label %32
32: ; preds = %27
%33 = add nsw i32 %11, 1
%34 = add i8 %29, -97
%35 = icmp ult i8 %34, 26
br i1 %35, label %52, label %36
36: ; preds = %32
%37 = icmp eq i8 %29, 88
br i1 %37, label %38, label %52
38: ; preds = %36, %41
%39 = phi i8 [ %43, %41 ], [ 88, %36 ]
%40 = phi i8* [ %42, %41 ], [ %28, %36 ]
switch i8 %39, label %41 [
i8 0, label %44
i8 59, label %44
]
41: ; preds = %38
%42 = getelementptr inbounds i8, i8* %40, i64 1
%43 = load i8, i8* %42
br label %38
44: ; preds = %38, %38
%45 = icmp eq i8 %39, 59
%46 = zext i1 %45 to i64
%47 = getelementptr i8, i8* %40, i64 %46
br label %52
48: ; preds = %18
%49 = getelementptr inbounds i8, i8* %12, i64 2
br label %52
50: ; preds = %18
%51 = getelementptr inbounds i8, i8* %12, i64 2
br label %52
52: ; preds = %32, %50, %48, %44, %18, %36, %25, %23, %21
%53 = phi i8* [ %28, %36 ], [ %20, %25 ], [ %20, %23 ], [ %20, %21 ], [ %47, %44 ], [ %49, %48 ], [ %51, %50 ], [ %20, %18 ], [ %31, %32 ]
%54 = phi i32 [ %33, %36 ], [ %26, %25 ], [ %24, %23 ], [ %22, %21 ], [ %33, %44 ], [ %11, %48 ], [ %11, %50 ], [ %11, %18 ], [ %33, %32 ]
%55 = phi i32 [ 0, %36 ], [ 0, %25 ], [ 0, %23 ], [ 0, %21 ], [ 0, %44 ], [ 1, %48 ], [ 1, %50 ], [ 1, %18 ], [ 0, %32 ]
%56 = load i8, i8* %53
%57 = icmp eq i8 %56, 0
br i1 %57, label %58, label %8
58: ; preds = %52, %8
%59 = phi i32 [ %10, %8 ], [ %55, %52 ]
%60 = phi i8 [ %9, %8 ], [ 0, %52 ]
%61 = xor i1 %17, true
br label %62
62: ; preds = %58, %1
%63 = phi i32 [ 0, %1 ], [ %59, %58 ]
%64 = phi i8 [ 0, %1 ], [ %60, %58 ]
%65 = phi i1 [ true, %1 ], [ %61, %58 ]
%66 = icmp eq i32 %63, 0
%67 = icmp eq i8 %64, 41
%68 = or i1 %65, %67
%69 = select i1 %66, i1 %68, i1 false
%70 = zext i1 %69 to i32
ret i32 %70
}