#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 */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
#define EOF 128
int /*<<< orphan*/ *fopen(char *, char *);
int /*<<< orphan*/ free(char *);
char getc(int /*<<< orphan*/ *);
char *malloc(int);
int /*<<< orphan*/ printf(char *, char *);
int /*<<< orphan*/ puts(char *);
char *realloc(char *, int);
int /*<<< orphan*/ subcheck(char *, int, int, int, int /*<<< orphan*/);
int main(int argc, char *argv[]) {
  FILE *fp;
  bool a = true, b = false;
  int sbs = 32, s = 0, n1 = -1, n2 = -1, i;
  char c;
  char *sb = malloc(sbs);
  if (argc != 2) {
    printf("Usage: %s [FILE]\n", argv[0]);
    return 1;
  }
  fp = fopen(*++argv, "r");
  while ((c = getc(fp)) != EOF || s > 0) {
    switch (c) {
    case ',':
      n1 = s;
      break;
    case '\n':
    case EOF:
      while (s >= n1 && sb[s - 1] == '*')
        s--;
      n2 = s - n1;
      b = false;
      for (i = 0; i < n1; i++) {
        if (subcheck(sb, n1, n2, i, 0)) {
          b = true;
          break;
        }
      }
      puts(b ? "true" : "false");
      s = 0;
      n1 = -1;
      n2 = -1;
      a = true;
      b = false;
      break;
    default:
      if (n1 >= 0) {
        if (a) {
          if (c == '*')
            break;
          a = false;
        }
        if (c == '\\') {
          b = !b;
          if (b)
            break;
        } else if (c == '*') {
          if (b) {
            c = '+';
            b = false;
          } else {
            a = true;
          }
        }
      } else if (c == '*') {
        c = '+';
      }
      if (s == sbs - 1) {
        sbs += sbs / 2;
        sb = realloc(sb, sbs);
      }
      sb[s++] = c;
    }
  }
  free(sb);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x20,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x2c(%rbp)
movl   $0xffffffff,-0x30(%rbp)
mov    -0x24(%rbp),%edi
call   1070 <malloc@plt>
mov    %rax,-0x40(%rbp)
cmpl   $0x2,-0x8(%rbp)
je     11f5 <main+0x75>
mov    -0x10(%rbp),%rax
mov    (%rax),%rsi
lea    0xe1c(%rip),%rdi
call   1060 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    149a <main+0x31a>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x8(%rax),%rdi
lea    0xe03(%rip),%rsi
call   1090 <fopen@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   10a0 <getc@plt>
mov    %al,-0x35(%rbp)
movsbl %al,%ecx
mov    $0x1,%al
cmp    $0x80,%ecx
mov    %al,-0x41(%rbp)
jne    1242 <main+0xc2>
cmpl   $0x0,-0x28(%rbp)
setg   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1252 <main+0xd2>
jmp    148a <main+0x30a>
movsbl -0x35(%rbp),%eax
mov    %eax,-0x48(%rbp)
sub    $0xa,%eax
je     1296 <main+0x116>
jmp    1267 <main+0xe7>
mov    -0x48(%rbp),%eax
sub    $0x2c,%eax
je     128b <main+0x10b>
jmp    1278 <main+0xf8>
mov    -0x48(%rbp),%eax
sub    $0x80,%eax
je     1296 <main+0x116>
jmp    1389 <main+0x209>
mov    -0x28(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    1485 <main+0x305>
jmp    129b <main+0x11b>
mov    -0x28(%rbp),%ecx
xor    %eax,%eax
cmp    -0x2c(%rbp),%ecx
mov    %al,-0x49(%rbp)
jl     12c6 <main+0x146>
mov    -0x40(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
sete   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    12d6 <main+0x156>
jmp    12e4 <main+0x164>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    129b <main+0x11b>
mov    -0x28(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1344 <main+0x1c4>
mov    -0x40(%rbp),%rdi
mov    -0x2c(%rbp),%esi
mov    -0x30(%rbp),%edx
mov    -0x34(%rbp),%ecx
xor    %r8d,%r8d
call   1050 <subcheck@plt>
cmp    $0x0,%eax
je     1331 <main+0x1b1>
movl   $0x1,-0x20(%rbp)
jmp    1344 <main+0x1c4>
jmp    1336 <main+0x1b6>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12fb <main+0x17b>
mov    -0x20(%rbp),%ecx
lea    0xccb(%rip),%rdi
lea    0xcbf(%rip),%rax
cmp    $0x0,%ecx
cmovne %rax,%rdi
call   1040 <puts@plt>
movl   $0x0,-0x28(%rbp)
movl   $0xffffffff,-0x2c(%rbp)
movl   $0xffffffff,-0x30(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
jmp    1485 <main+0x305>
cmpl   $0x0,-0x2c(%rbp)
jl     1425 <main+0x2a5>
cmpl   $0x0,-0x1c(%rbp)
je     13b6 <main+0x236>
movsbl -0x35(%rbp),%eax
cmp    $0x2a,%eax
jne    13af <main+0x22f>
jmp    1485 <main+0x305>
movl   $0x0,-0x1c(%rbp)
movsbl -0x35(%rbp),%eax
cmp    $0x5c,%eax
jne    13e8 <main+0x268>
cmpl   $0x0,-0x20(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     13e3 <main+0x263>
jmp    1485 <main+0x305>
jmp    1420 <main+0x2a0>
movsbl -0x35(%rbp),%eax
cmp    $0x2a,%eax
jne    141b <main+0x29b>
cmpl   $0x0,-0x20(%rbp)
je     140f <main+0x28f>
movb   $0x2b,-0x35(%rbp)
movl   $0x0,-0x20(%rbp)
jmp    1416 <main+0x296>
movl   $0x1,-0x1c(%rbp)
jmp    141b <main+0x29b>
jmp    1420 <main+0x2a0>
jmp    143b <main+0x2bb>
movsbl -0x35(%rbp),%eax
cmp    $0x2a,%eax
jne    1436 <main+0x2b6>
movb   $0x2b,-0x35(%rbp)
jmp    143b <main+0x2bb>
mov    -0x28(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    146d <main+0x2ed>
mov    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x40(%rbp),%rdi
mov    -0x24(%rbp),%esi
call   1080 <realloc@plt>
mov    %rax,-0x40(%rbp)
mov    -0x35(%rbp),%dl
mov    -0x40(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1218 <main+0x98>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
mov    %edi,%ebp
mov    $0x20,%edi
call   1060 <malloc@plt>
cmp    $0x2,%ebp
jne    1343 <main+0x1d3>
mov    %rax,%r14
mov    $0x20,%eax
mov    %rax,0x10(%rsp)
mov    0x8(%rbx),%rdi
lea    0xe64(%rip),%rsi
call   1080 <fopen@plt>
mov    %rax,%r15
jmp    11cc <main+0x5c>
nopl   0x0(%rax,%rax,1)
lea    0xe4d(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%r12d
movl   $0x0,0xc(%rsp)
mov    $0x1,%ebp
xor    %r13d,%r13d
mov    %r12d,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%r12d
mov    %r15,%rdi
call   1090 <getc@plt>
mov    %eax,%ebx
movsbl %al,%eax
mov    %r13d,%ecx
cmp    $0x2c,%eax
je     11f0 <main+0x80>
cmp    $0xa,%eax
je     12d0 <main+0x160>
test   %r12d,%r12d
js     122d <main+0xbd>
test   %ebp,%ebp
je     127b <main+0x10b>
mov    $0x1,%ebp
cmp    $0x2a,%bl
je     11e2 <main+0x72>
cmp    $0x5c,%bl
je     1280 <main+0x110>
xor    %ebp,%ebp
jmp    123b <main+0xcb>
cmp    $0x2a,%bl
movzbl %bl,%ebx
mov    $0x2b,%eax
cmove  %eax,%ebx
mov    0x10(%rsp),%rcx
lea    -0x1(%rcx),%eax
cmp    %eax,%r13d
jne    126b <main+0xfb>
mov    %ecx,%esi
shr    $0x1f,%esi
add    %ecx,%esi
sar    %esi
add    %ecx,%esi
mov    %esi,0x10(%rsp)
mov    %r14,%rdi
call   1070 <realloc@plt>
mov    %rax,%r14
mov    0x10(%rsp),%eax
mov    %rax,0x10(%rsp)
movslq %r13d,%rax
add    $0x1,%r13d
mov    %bl,(%r14,%rax,1)
jmp    11e2 <main+0x72>
cmp    $0x5c,%bl
jne    12a1 <main+0x131>
xor    %ebp,%ebp
cmpl   $0x0,0xc(%rsp)
movl   $0x1,0xc(%rsp)
je     11e2 <main+0x72>
mov    $0x5c,%bl
movl   $0x0,0xc(%rsp)
jmp    123b <main+0xcb>
xor    %ebp,%ebp
cmp    $0x2a,%bl
jne    123b <main+0xcb>
xor    %ebp,%ebp
cmpl   $0x0,0xc(%rsp)
sete   %bpl
mov    %ebp,%ebx
xor    $0x2b,%bl
movl   $0x0,0xc(%rsp)
jmp    123b <main+0xcb>
cs nopw 0x0(%rax,%rax,1)
nop
movslq %r13d,%rcx
movslq %r12d,%rax
mov    %ecx,%edx
sub    %eax,%edx
nopw   0x0(%rax,%rax,1)
mov    %edx,%ebx
cmp    %rax,%rcx
jl     12f6 <main+0x186>
cmpb   $0x2a,-0x1(%r14,%rcx,1)
lea    -0x1(%rcx),%rcx
lea    -0x1(%rbx),%edx
je     12e0 <main+0x170>
lea    0xd1c(%rip),%rdi
test   %r12d,%r12d
jle    11c7 <main+0x57>
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
mov    %r14,%rdi
mov    %r12d,%esi
mov    %ebx,%edx
mov    %ebp,%ecx
xor    %r8d,%r8d
call   1040 <subcheck@plt>
test   %eax,%eax
jne    11c0 <main+0x50>
add    $0x1,%ebp
cmp    %ebp,%r12d
jne    1310 <main+0x1a0>
lea    0xce0(%rip),%rdi
call   1030 <puts@plt>
jmp    11cc <main+0x5c>
mov    (%rbx),%rsi
lea    0xcb3(%rip),%rdi
call   1050 <printf@plt>
mov    $0x1,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [18 x i8] c"Usage: %s [FILE]\0A\00"
@.str.1 = [2 x i8] c"r\00"
@.str.2 = [5 x i8] c"true\00"
@.str.3 = [6 x i8] c"false\00"
define i32 @main(i32 %0, i8** nocapture %1) {
%3 = tail call dereferenceable_or_null(32) i8* @malloc(i32 32)
%4 = icmp eq i32 %0, 2
br i1 %4, label %8, label %5
5: ; preds = %2
%6 = load i8*, i8** %1
%7 = tail call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i8* %6)
ret i32 1
8: ; preds = %2
%9 = getelementptr inbounds i8*, i8** %1, i64 1
%10 = load i8*, i8** %9
%11 = tail call i32* @fopen(i8* %10, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
br label %12
12: ; preds = %85, %8
%13 = phi i32 [ %76, %85 ], [ 1, %8 ]
%14 = phi i32 [ %77, %85 ], [ 0, %8 ]
%15 = phi i32 [ %86, %85 ], [ 32, %8 ]
%16 = phi i32 [ %88, %85 ], [ 0, %8 ]
%17 = phi i32 [ %32, %85 ], [ -1, %8 ]
%18 = phi i8* [ %87, %85 ], [ %3, %8 ]
br label %19
19: ; preds = %12, %57
%20 = phi i32 [ %13, %12 ], [ 1, %57 ]
%21 = phi i32 [ %14, %12 ], [ 0, %57 ]
%22 = phi i32 [ %16, %12 ], [ 0, %57 ]
%23 = phi i32 [ %17, %12 ], [ -1, %57 ]
br label %24
24: ; preds = %19, %66
%25 = phi i32 [ 0, %66 ], [ %20, %19 ]
%26 = phi i32 [ 1, %66 ], [ %21, %19 ]
%27 = phi i32 [ %32, %66 ], [ %23, %19 ]
br label %28
28: ; preds = %24, %64
%29 = phi i32 [ 1, %64 ], [ %25, %24 ]
%30 = phi i32 [ %32, %64 ], [ %27, %24 ]
br label %31
31: ; preds = %28, %31
%32 = phi i32 [ %22, %31 ], [ %30, %28 ]
%33 = tail call signext i8 @getc(i32* %11)
%34 = sext i8 %33 to i32
switch i32 %34, label %60 [
i32 44, label %31
i32 10, label %35
]
35: ; preds = %31
%36 = sext i32 %22 to i64
%37 = sext i32 %32 to i64
br label %38
38: ; preds = %35, %41
%39 = phi i64 [ %36, %35 ], [ %42, %41 ]
%40 = icmp slt i64 %39, %37
br i1 %40, label %46, label %41
41: ; preds = %38
%42 = add i64 %39, -1
%43 = getelementptr inbounds i8, i8* %18, i64 %42
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 42
br i1 %45, label %38, label %46
46: ; preds = %38, %41
%47 = trunc i64 %39 to i32
%48 = sub nsw i32 %47, %32
%49 = icmp sgt i32 %32, 0
br i1 %49, label %52, label %57
50: ; preds = %52
%51 = icmp eq i32 %56, %32
br i1 %51, label %57, label %52
52: ; preds = %46, %50
%53 = phi i32 [ %56, %50 ], [ 0, %46 ]
%54 = tail call i32 @subcheck(i8* %18, i32 %32, i32 %48, i32 %53, i32 0)
%55 = icmp eq i32 %54, 0
%56 = add nuw nsw i32 %53, 1
br i1 %55, label %50, label %57
57: ; preds = %50, %52, %46
%58 = phi i8* [ getelementptr inbounds ([6 x i8], [6 x i8]* @.str.3, i64 0, i64 0), %46 ], [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0), %52 ], [ getelementptr inbounds ([6 x i8], [6 x i8]* @.str.3, i64 0, i64 0), %50 ]
%59 = tail call i32 @puts(i8* dereferenceable(1) %58)
br label %19
60: ; preds = %31
%61 = icmp sgt i32 %32, -1
br i1 %61, label %62, label %72
62: ; preds = %60
%63 = icmp eq i32 %29, 0
br i1 %63, label %65, label %64
64: ; preds = %62
switch i8 %33, label %75 [
i8 42, label %28
i8 92, label %66
]
65: ; preds = %62
switch i8 %33, label %75 [
i8 92, label %66
i8 42, label %68
]
66: ; preds = %64, %65
%67 = icmp eq i32 %26, 0
br i1 %67, label %24, label %75
68: ; preds = %65
%69 = icmp eq i32 %26, 0
%70 = zext i1 %69 to i32
%71 = select i1 %69, i8 42, i8 43
br label %75
72: ; preds = %60
%73 = icmp eq i8 %33, 42
%74 = select i1 %73, i8 43, i8 %33
br label %75
75: ; preds = %65, %66, %64, %68, %72
%76 = phi i32 [ %29, %72 ], [ %70, %68 ], [ 0, %64 ], [ 0, %66 ], [ 0, %65 ]
%77 = phi i32 [ %26, %72 ], [ 0, %68 ], [ %26, %64 ], [ %26, %65 ], [ 0, %66 ]
%78 = phi i8 [ %74, %72 ], [ %71, %68 ], [ %33, %64 ], [ %33, %65 ], [ 92, %66 ]
%79 = add nsw i32 %15, -1
%80 = icmp eq i32 %22, %79
br i1 %80, label %81, label %85
81: ; preds = %75
%82 = sdiv i32 %15, 2
%83 = add nsw i32 %82, %15
%84 = tail call i8* @realloc(i8* %18, i32 %83)
br label %85
85: ; preds = %81, %75
%86 = phi i32 [ %83, %81 ], [ %15, %75 ]
%87 = phi i8* [ %84, %81 ], [ %18, %75 ]
%88 = add nsw i32 %22, 1
%89 = sext i32 %22 to i64
%90 = getelementptr inbounds i8, i8* %87, i64 %89
store i8 %78, i8* %90
br label %12
}