#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 */
int /*<<< orphan*/ cond_lower(char);
char *strchr(char *, char);
int patmatch(char *buf, char *pat) {
  int match = 1, m, n;
  char *bar = strchr(pat, '|');
  if (bar) {
    if (bar == pat || !bar[1]) {
      return -1;
    }
    *bar = '\0';
    match = patmatch(buf, pat);
    if (!match) {
      match = patmatch(buf, bar + 1);
    }
    *bar = '|';
    return match;
  }
  while (*pat && match) {
    switch (*pat) {
    case '[':
      pat++;
      if (*pat != '^') {
        n = 1;
        match = 0;
      } else {
        pat++;
        n = 0;
      }
      while (*pat != ']') {
        if (*pat == '\\')
          pat++;
        if (!*pat)
          return -1;
        if (pat[1] == '-') {
          m = *pat;
          pat += 2;
          if (*pat == '\\' && *pat)
            pat++;
          if (cond_lower(*buf) >= cond_lower(m) &&
              cond_lower(*buf) <= cond_lower(*pat))
            match = n;
          if (!*pat)
            pat--;
        } else if (cond_lower(*buf) == cond_lower(*pat))
          match = n;
        pat++;
      }
      buf++;
      break;
    case '*':
      pat++;
      if (!*pat)
        return 1;
      while (*buf && !(match = patmatch(buf++, pat)))
        ;
      return match;
    case '?':
      if (!*buf)
        return 0;
      buf++;
      break;
    case '\\':
      if (*pat)
        pat++;
    default:
      match = (cond_lower(*buf++) == cond_lower(*pat));
      break;
    }
    pat++;
    if (match < 1)
      return match;
  }
  if (!*buf)
    return match;
  return 0;
}


x86 assembly (clang, -O0):
<patmatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
mov    $0x7c,%esi
call   1050 <strchr@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     11d3 <patmatch+0xa3>
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     1180 <patmatch+0x50>
mov    -0x30(%rbp),%rax
cmpb   $0x0,0x1(%rax)
jne    118c <patmatch+0x5c>
movl   $0xffffffff,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <patmatch@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    11c1 <patmatch+0x91>
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%rsi
add    $0x1,%rsi
call   1030 <patmatch@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x30(%rbp),%rax
movb   $0x7c,(%rax)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
jmp    11d8 <patmatch+0xa8>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x31(%rbp)
je     11f7 <patmatch+0xc7>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1207 <patmatch+0xd7>
jmp    1524 <patmatch+0x3f4>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x38(%rbp)
sub    $0x2a,%eax
je     13f9 <patmatch+0x2c9>
jmp    121f <patmatch+0xef>
mov    -0x38(%rbp),%eax
sub    $0x3f,%eax
je     147e <patmatch+0x34e>
jmp    1230 <patmatch+0x100>
mov    -0x38(%rbp),%eax
sub    $0x5b,%eax
je     1252 <patmatch+0x122>
jmp    1241 <patmatch+0x111>
mov    -0x38(%rbp),%eax
sub    $0x5c,%eax
je     14a8 <patmatch+0x378>
jmp    14c6 <patmatch+0x396>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
je     1281 <patmatch+0x151>
movl   $0x1,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
jmp    1294 <patmatch+0x164>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
jmp    1299 <patmatch+0x169>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     13e8 <patmatch+0x2b8>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    12c5 <patmatch+0x195>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    12de <patmatch+0x1ae>
movl   $0xffffffff,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    13a4 <patmatch+0x274>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    1331 <patmatch+0x201>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1331 <patmatch+0x201>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%eax
movsbl %al,%edi
call   1040 <cond_lower@plt>
mov    %eax,%ecx
mov    -0x3c(%rbp),%eax
cmp    %ecx,%eax
jl     1386 <patmatch+0x256>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
cmp    %ecx,%eax
jg     1386 <patmatch+0x256>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    139f <patmatch+0x26f>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    13d7 <patmatch+0x2a7>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,-0x44(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
cmp    %ecx,%eax
jne    13d2 <patmatch+0x2a2>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    13d7 <patmatch+0x2a7>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1299 <patmatch+0x169>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    14fe <patmatch+0x3ce>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
jne    141e <patmatch+0x2ee>
movl   $0x1,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
jmp    1423 <patmatch+0x2f3>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x45(%rbp)
je     145e <patmatch+0x32e>
mov    -0x10(%rbp),%rdi
mov    %rdi,%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rsi
call   1030 <patmatch@plt>
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    146e <patmatch+0x33e>
jmp    1473 <patmatch+0x343>
jmp    1423 <patmatch+0x2f3>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1497 <patmatch+0x367>
movl   $0x0,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    14fe <patmatch+0x3ce>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     14c1 <patmatch+0x391>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    14c6 <patmatch+0x396>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <cond_lower@plt>
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jge    151f <patmatch+0x3ef>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
jmp    11d8 <patmatch+0xa8>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    153c <patmatch+0x40c>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1543 <patmatch+0x413>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<patmatch>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%rbp
mov    %rdi,%r14
mov    %rsi,%rdi
mov    $0x7c,%esi
call   1050 <strchr@plt>
test   %rax,%rax
je     11d2 <patmatch+0xa2>
mov    %rax,%r15
mov    $0xffffffff,%eax
cmp    %rbp,%r15
je     1358 <patmatch+0x228>
cmpb   $0x0,0x1(%r15)
je     1358 <patmatch+0x228>
movb   $0x0,(%r15)
mov    %r14,%rdi
mov    %rbp,%rsi
call   1030 <patmatch@plt>
test   %eax,%eax
jne    1191 <patmatch+0x61>
mov    %r15,%rsi
add    $0x1,%rsi
mov    %r14,%rdi
call   1030 <patmatch@plt>
movb   $0x7c,(%r15)
jmp    1358 <patmatch+0x228>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbp
movsbl (%r14),%edi
call   1040 <cond_lower@plt>
mov    %eax,%ebx
movsbl 0x0(%rbp),%edi
call   1040 <cond_lower@plt>
xor    %r15d,%r15d
cmp    %eax,%ebx
sete   %r15b
add    $0x1,%r14
add    $0x1,%rbp
test   %r15d,%r15d
jle    1367 <patmatch+0x237>
movsbl 0x0(%rbp),%eax
test   %eax,%eax
je     136b <patmatch+0x23b>
cmp    $0x5a,%eax
jle    1300 <patmatch+0x1d0>
cmp    $0x5c,%eax
je     11a0 <patmatch+0x70>
cmp    $0x5b,%eax
jne    11a4 <patmatch+0x74>
lea    0x2(%rbp),%rax
xor    %r12d,%r12d
xor    %r15d,%r15d
cmpb   $0x5e,0x1(%rbp)
lea    0x1(%rbp),%rbp
setne  %r12b
sete   %r15b
cmove  %rax,%rbp
jmp    122c <patmatch+0xfc>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpb   $0x1,0x0(%rbp)
sbb    $0x0,%rbp
add    $0x1,%rbp
movzbl 0x0(%rbp),%ebx
cmp    $0x5c,%bl
je     1250 <patmatch+0x120>
cmp    $0x5d,%bl
je     11c1 <patmatch+0x91>
test   %bl,%bl
jne    1260 <patmatch+0x130>
jmp    1353 <patmatch+0x223>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl 0x1(%rbp),%ebx
add    $0x1,%rbp
test   %bl,%bl
je     1353 <patmatch+0x223>
cmpb   $0x2d,0x1(%rbp)
jne    1280 <patmatch+0x150>
cmpb   $0x5c,0x2(%rbp)
je     12b0 <patmatch+0x180>
add    $0x2,%rbp
jmp    12b4 <patmatch+0x184>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsbl (%r14),%edi
call   1040 <cond_lower@plt>
mov    %eax,%ebx
movsbl 0x0(%rbp),%edi
call   1040 <cond_lower@plt>
mov    %r12d,%ecx
cmp    %eax,%ebx
je     129e <patmatch+0x16e>
mov    %r15d,%ecx
add    $0x1,%rbp
mov    %ecx,%r15d
jmp    122c <patmatch+0xfc>
nopw   0x0(%rax,%rax,1)
add    $0x3,%rbp
movsbl (%r14),%edi
call   1040 <cond_lower@plt>
mov    %eax,%r13d
movsbl %bl,%edi
call   1040 <cond_lower@plt>
cmp    %eax,%r13d
jl     1220 <patmatch+0xf0>
movsbl (%r14),%edi
call   1040 <cond_lower@plt>
mov    %eax,%ebx
movsbl 0x0(%rbp),%edi
call   1040 <cond_lower@plt>
cmp    %eax,%ebx
jg     1220 <patmatch+0xf0>
mov    %r12d,%r15d
jmp    1220 <patmatch+0xf0>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x3f,%eax
jne    1317 <patmatch+0x1e7>
mov    $0x1,%r15d
cmpb   $0x0,(%r14)
jne    11c1 <patmatch+0x91>
jmp    1367 <patmatch+0x237>
cmp    $0x2a,%eax
jne    11a4 <patmatch+0x74>
mov    $0x1,%eax
cmpb   $0x0,0x1(%rbp)
je     1358 <patmatch+0x228>
cmpb   $0x0,(%r14)
je     1358 <patmatch+0x228>
add    $0x1,%rbp
mov    %r14,%rdi
mov    %rbp,%rsi
call   1030 <patmatch@plt>
test   %eax,%eax
jne    1358 <patmatch+0x228>
xor    %eax,%eax
cmpb   $0x0,0x1(%r14)
lea    0x1(%r14),%r14
jne    1335 <patmatch+0x205>
jmp    1358 <patmatch+0x228>
mov    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
jmp    1358 <patmatch+0x228>
xor    %eax,%eax
cmpb   $0x0,(%r14)
sete   %al
jmp    1358 <patmatch+0x228>

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

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