#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 getline(char *, int);
int /*<<< orphan*/ printf(char *, ...);
int main(void) {
  int len, t;
  char line[1000];
  int s_quote = 1, d_quote = 1, parens = 0, brackets = 0, braces = 0;
  char c;
  while (len = getline(line, 1000)) {
    t = 0;
    while (t < len) {
      if (line[t] == '\'')
        s_quote *= -1;
      if (line[t] == '"')
        d_quote *= -1;
      if (line[t] == '[')
        braces++;
      if (line[t] == ']')
        braces--;
      if (line[t] == '(')
        parens++;
      if (line[t] == ')')
        parens--;
      if (line[t] == '{')
        brackets++;
      if (line[t] == '}')
        brackets--;
      t++;
    }
  }
  if (braces != 0 || brackets != 0 || parens != 0 || s_quote == -1 ||
      d_quote == -1) {
    printf("Error Found!\n");
    printf("%d %d %d\n", braces, brackets, parens);
    if (braces != 0)
      printf("Unmatched brace.\n");
    if (brackets != 0)
      printf("Unmatched bracket.\n");
    if (parens != 0)
      printf("Unmatched parens.\n");
    if (s_quote == -1)
      printf("Unmatched single-quote.\n");
    if (d_quote == -1)
      printf("Unmatched double-quote.\n");
  } else {
    printf("Everything looks good!\n");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x420,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x404(%rbp)
movl   $0x1,-0x408(%rbp)
movl   $0x0,-0x40c(%rbp)
movl   $0x0,-0x410(%rbp)
movl   $0x0,-0x414(%rbp)
lea    -0x400(%rbp),%rdi
mov    $0x3e8,%esi
call   1040 <getline@plt>
mov    %eax,-0x8(%rbp)
cmp    $0x0,%eax
je     12c3 <main+0x1a3>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12be <main+0x19e>
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x27,%eax
jne    11b6 <main+0x96>
imul   $0xffffffff,-0x404(%rbp),%eax
mov    %eax,-0x404(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x22,%eax
jne    11d8 <main+0xb8>
imul   $0xffffffff,-0x408(%rbp),%eax
mov    %eax,-0x408(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x5b,%eax
jne    11fc <main+0xdc>
mov    -0x414(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x414(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x5d,%eax
jne    1220 <main+0x100>
mov    -0x414(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x414(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x28,%eax
jne    1244 <main+0x124>
mov    -0x40c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40c(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x29,%eax
jne    1268 <main+0x148>
mov    -0x40c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x40c(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x7b,%eax
jne    128c <main+0x16c>
mov    -0x410(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x410(%rbp)
movslq -0xc(%rbp),%rax
movsbl -0x400(%rbp,%rax,1),%eax
ff
cmp    $0x7d,%eax
jne    12b0 <main+0x190>
mov    -0x410(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x410(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1188 <main+0x68>
jmp    1164 <main+0x44>
cmpl   $0x0,-0x414(%rbp)
jne    1304 <main+0x1e4>
cmpl   $0x0,-0x410(%rbp)
jne    1304 <main+0x1e4>
cmpl   $0x0,-0x40c(%rbp)
jne    1304 <main+0x1e4>
cmpl   $0xffffffff,-0x404(%rbp)
je     1304 <main+0x1e4>
cmpl   $0xffffffff,-0x408(%rbp)
jne    13be <main+0x29e>
lea    0xcf5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x414(%rbp),%esi
mov    -0x410(%rbp),%edx
mov    -0x40c(%rbp),%ecx
lea    0xce3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0x414(%rbp)
je     134d <main+0x22d>
lea    0xcd2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0x410(%rbp)
je     1368 <main+0x248>
lea    0xcc9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x0,-0x40c(%rbp)
je     1383 <main+0x263>
lea    0xcc2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0xffffffff,-0x404(%rbp)
jne    139e <main+0x27e>
lea    0xcba(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0xffffffff,-0x408(%rbp)
jne    13b9 <main+0x299>
lea    0xcb8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13cc <main+0x2ac>
lea    0xcbe(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x420,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x400,%rsp
lea    0x10(%rsp),%rdi
mov    $0x3e8,%esi
call   1050 <getline@plt>
test   %eax,%eax
je     1266 <main+0x136>
pxor   %xmm0,%xmm0
mov    $0x1,%esi
xor    %ecx,%ecx
movdqa 0xe97(%rip),%xmm3
movdqa 0xe9f(%rip),%xmm4
movdqa 0xea7(%rip),%xmm5
lea    0x10(%rsp),%r14
mov    $0x1,%edi
jmp    11dd <main+0xad>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edi,%ebp
mov    %esi,%r12d
mov    %ecx,%ebx
movdqa %xmm0,%xmm1
movdqa %xmm1,(%rsp)
mov    %r14,%rdi
mov    $0x3e8,%esi
call   1050 <getline@plt>
movdqa (%rsp),%xmm1
movdqa 0xe66(%rip),%xmm5
movdqa 0xe4e(%rip),%xmm4
movdqa 0xe36(%rip),%xmm3
mov    %ebx,%ecx
mov    %r12d,%esi
mov    %ebp,%edi
movdqa %xmm1,%xmm0
test   %eax,%eax
je     1277 <main+0x147>
test   %eax,%eax
jle    1190 <main+0x60>
mov    %eax,%r8d
xor    %edx,%edx
mov    %edi,%ebp
mov    %esi,%r12d
nopl   0x0(%rax,%rax,1)
movzbl 0x10(%rsp,%rdx,1),%eax
neg    %ebp
cmp    $0x27,%al
cmovne %edi,%ebp
neg    %r12d
cmp    $0x22,%al
cmovne %esi,%r12d
xor    %ebx,%ebx
cmp    $0x28,%al
sete   %bl
add    %ecx,%ebx
xor    %ecx,%ecx
cmp    $0x29,%al
sete   %cl
sub    %ecx,%ebx
movd   %eax,%xmm1
punpcklbw %xmm1,%xmm1
movdqa %xmm1,%xmm2
pcmpeqb %xmm3,%xmm2
punpcklbw %xmm2,%xmm2
pshuflw $0xd4,%xmm2,%xmm2
pand   %xmm4,%xmm2
pcmpeqb %xmm5,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x18,%xmm1
paddd  %xmm0,%xmm1
paddd  %xmm2,%xmm1
add    $0x1,%rdx
mov    %ebx,%ecx
mov    %r12d,%esi
mov    %ebp,%edi
movdqa %xmm1,%xmm0
cmp    %rdx,%r8
jne    11f0 <main+0xc0>
jmp    119b <main+0x6b>
pxor   %xmm1,%xmm1
xor    %ebx,%ebx
mov    $0x1,%ebp
mov    $0x1,%r12d
pshufd $0x55,%xmm1,%xmm0
movd   %xmm0,%r15d
movd   %xmm1,%r14d
test   %r15d,%r15d
jne    12a8 <main+0x178>
test   %r14d,%r14d
jne    12a8 <main+0x178>
test   %ebx,%ebx
jne    12a8 <main+0x178>
cmp    $0xffffffff,%ebp
je     12a8 <main+0x178>
cmp    $0xffffffff,%r12d
je     12a8 <main+0x178>
lea    0xd94(%rip),%rdi
jmp    1322 <main+0x1f2>
lea    0xda2(%rip),%rdi
call   1030 <puts@plt>
lea    0xd75(%rip),%rdi
mov    %r15d,%esi
mov    %r14d,%edx
mov    %ebx,%ecx
xor    %eax,%eax
call   1040 <printf@plt>
test   %r15d,%r15d
je     12db <main+0x1ab>
lea    0xddd(%rip),%rdi
call   1030 <puts@plt>
test   %r14d,%r14d
je     12ec <main+0x1bc>
lea    0xdb9(%rip),%rdi
call   1030 <puts@plt>
test   %ebx,%ebx
je     12fc <main+0x1cc>
lea    0xd97(%rip),%rdi
call   1030 <puts@plt>
cmp    $0xffffffff,%ebp
je     1309 <main+0x1d9>
cmp    $0xffffffff,%r12d
jne    1327 <main+0x1f7>
jmp    131b <main+0x1eb>
lea    0xd66(%rip),%rdi
call   1030 <puts@plt>
cmp    $0xffffffff,%r12d
jne    1327 <main+0x1f7>
lea    0xd3c(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x400,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str.1 = [10 x i8] c"%d %d %d\0A\00"
@str = [23 x i8] c"Everything looks good!\00"
@str.8 = [13 x i8] c"Error Found!\00"
@str.9 = [24 x i8] c"Unmatched double-quote.\00"
@str.10 = [24 x i8] c"Unmatched single-quote.\00"
@str.11 = [18 x i8] c"Unmatched parens.\00"
@str.12 = [19 x i8] c"Unmatched bracket.\00"
@str.13 = [17 x i8] c"Unmatched brace.\00"
define i32 @main() {
%1 = alloca [1000 x i8]
%2 = getelementptr inbounds [1000 x i8], [1000 x i8]* %1, i64 0, i64 0
%3 = call i32 @getline(i8* %2, i32 1000)
%4 = icmp eq i32 %3, 0
br i1 %4, label %51, label %12
5: ; preds = %21, %12
%6 = phi i32 [ %16, %12 ], [ %31, %21 ]
%7 = phi i32 [ %15, %12 ], [ %34, %21 ]
%8 = phi i32 [ %14, %12 ], [ %40, %21 ]
%9 = phi <2 x i32> [ %17, %12 ], [ %48, %21 ]
%10 = call i32 @getline(i8* %2, i32 1000)
%11 = icmp eq i32 %10, 0
br i1 %11, label %51, label %12
12: ; preds = %0, %5
%13 = phi i32 [ %10, %5 ], [ %3, %0 ]
%14 = phi i32 [ %8, %5 ], [ 0, %0 ]
%15 = phi i32 [ %7, %5 ], [ 1, %0 ]
%16 = phi i32 [ %6, %5 ], [ 1, %0 ]
%17 = phi <2 x i32> [ %9, %5 ], [ zeroinitializer, %0 ]
%18 = icmp sgt i32 %13, 0
br i1 %18, label %19, label %5
19: ; preds = %12
%20 = zext i32 %13 to i64
br label %21
21: ; preds = %19, %21
%22 = phi i64 [ 0, %19 ], [ %49, %21 ]
%23 = phi i32 [ %14, %19 ], [ %40, %21 ]
%24 = phi i32 [ %15, %19 ], [ %34, %21 ]
%25 = phi i32 [ %16, %19 ], [ %31, %21 ]
%26 = phi <2 x i32> [ %17, %19 ], [ %48, %21 ]
%27 = getelementptr inbounds [1000 x i8], [1000 x i8]* %1, i64 0, i64 %22
%28 = load i8, i8* %27
%29 = icmp eq i8 %28, 39
%30 = sub nsw i32 0, %25
%31 = select i1 %29, i32 %30, i32 %25
%32 = icmp eq i8 %28, 34
%33 = sub nsw i32 0, %24
%34 = select i1 %32, i32 %33, i32 %24
%35 = icmp eq i8 %28, 40
%36 = zext i1 %35 to i32
%37 = add nsw i32 %23, %36
%38 = icmp eq i8 %28, 41
%39 = sext i1 %38 to i32
%40 = add nsw i32 %37, %39
%41 = insertelement <2 x i8> poison, i8 %28, i64 0
%42 = shufflevector <2 x i8> %41, <2 x i8> poison, <2 x i32> zeroinitializer
%43 = icmp eq <2 x i8> %42, <i8 123, i8 91>
%44 = zext <2 x i1> %43 to <2 x i32>
%45 = add nsw <2 x i32> %26, %44
%46 = icmp eq <2 x i8> %42, <i8 125, i8 93>
%47 = sext <2 x i1> %46 to <2 x i32>
%48 = add nsw <2 x i32> %45, %47
%49 = add nuw nsw i64 %22, 1
%50 = icmp eq i64 %49, %20
br i1 %50, label %5, label %21
51: ; preds = %5, %0
%52 = phi i32 [ 1, %0 ], [ %6, %5 ]
%53 = phi i32 [ 1, %0 ], [ %7, %5 ]
%54 = phi i32 [ 0, %0 ], [ %8, %5 ]
%55 = phi <2 x i32> [ zeroinitializer, %0 ], [ %9, %5 ]
%56 = extractelement <2 x i32> %55, i64 1
%57 = icmp ne i32 %56, 0
%58 = extractelement <2 x i32> %55, i64 0
%59 = icmp ne i32 %58, 0
%60 = select i1 %57, i1 true, i1 %59
%61 = icmp ne i32 %54, 0
%62 = select i1 %60, i1 true, i1 %61
%63 = icmp eq i32 %52, -1
%64 = select i1 %62, i1 true, i1 %63
%65 = icmp eq i32 %53, -1
%66 = select i1 %64, i1 true, i1 %65
br i1 %66, label %67, label %82
67: ; preds = %51
%68 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @str.8, i64 0, i64 0))
%69 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 %56, i32 %58, i32 %54)
br i1 %57, label %70, label %72
70: ; preds = %67
%71 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.13, i64 0, i64 0))
br label %72
72: ; preds = %70, %67
br i1 %59, label %73, label %75
73: ; preds = %72
%74 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @str.12, i64 0, i64 0))
br label %75
75: ; preds = %73, %72
br i1 %61, label %76, label %78
76: ; preds = %75
%77 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str.11, i64 0, i64 0))
br label %78
78: ; preds = %76, %75
br i1 %63, label %79, label %81
79: ; preds = %78
%80 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @str.10, i64 0, i64 0))
br label %81
81: ; preds = %79, %78
br i1 %65, label %82, label %85
82: ; preds = %51, %81
%83 = phi i8* [ getelementptr inbounds ([24 x i8], [24 x i8]* @str.9, i64 0, i64 0), %81 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @str, i64 0, i64 0), %51 ]
%84 = call i32 @puts(i8* dereferenceable(1) %83)
br label %85
85: ; preds = %82, %81
ret i32 0
}