#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 rand();
void aim(int guess[], int turno[], int *pos, int *skill) {
  int cont1, cont2, x = 0, index;
  int luck[4] = {0}, array[4] = {0}, flag[4] = {0};
  for (cont1 = 0; cont1 <= 3; cont1++)
    if (guess[cont1] == turno[cont1])
      if (flag[cont1] != 1) {
        flag[cont1] = 1;
        luck[cont1] = -1;
      } else
        for (cont2 = 0; cont2 <= 3; cont2++) {
          if (guess[cont1] == turno[cont2] && flag[cont2] != 1) {
            flag[cont2] = 1;
            luck[cont2] = -1;
            break;
          }
        }
    else
      for (cont2 = 0; cont2 <= 3; cont2++)
        if (guess[cont1] == turno[cont2] && flag[cont2] != 1) {
          flag[cont2] = 1;
          luck[cont2] = 1;
          break;
        }
  for (cont1 = 0; cont1 <= 3; cont1++) {
    index = rand() % 4 + 1;
    while (array[0] == index || array[1] == index || array[2] == index ||
           array[3] == index)
      index = rand() % 4 + 1;
    array[cont1] = index;
    x++;
  }
  if (luck[0] == -1 && luck[1] == -1 && luck[2] == -1 && luck[3] == -1)
    *skill = 1;
  else
    *skill = 0;
}


x86 assembly (clang, -O0):
<aim>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x2c(%rbp)
lea    -0x40(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
lea    -0x50(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jg     12c2 <aim+0x1a2>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    123e <aim+0x11e>
movslq -0x24(%rbp),%rax
cmpl   $0x1,-0x60(%rbp,%rax,4)
je     11c8 <aim+0xa8>
movslq -0x24(%rbp),%rax
movl   $0x1,-0x60(%rbp,%rax,4)
movslq -0x24(%rbp),%rax
movl   $0xffffffff,-0x40(%rbp,%rax,4)
ff
jmp    1239 <aim+0x119>
movl   $0x0,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
jg     1234 <aim+0x114>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1221 <aim+0x101>
movslq -0x28(%rbp),%rax
cmpl   $0x1,-0x60(%rbp,%rax,4)
je     1221 <aim+0x101>
movslq -0x28(%rbp),%rax
movl   $0x1,-0x60(%rbp,%rax,4)
movslq -0x28(%rbp),%rax
movl   $0xffffffff,-0x40(%rbp,%rax,4)
ff
jmp    1234 <aim+0x114>
jmp    1226 <aim+0x106>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11cf <aim+0xaf>
jmp    1239 <aim+0x119>
jmp    12af <aim+0x18f>
movl   $0x0,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
jg     12aa <aim+0x18a>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1297 <aim+0x177>
movslq -0x28(%rbp),%rax
cmpl   $0x1,-0x60(%rbp,%rax,4)
je     1297 <aim+0x177>
movslq -0x28(%rbp),%rax
movl   $0x1,-0x60(%rbp,%rax,4)
movslq -0x28(%rbp),%rax
movl   $0x1,-0x40(%rbp,%rax,4)
jmp    12aa <aim+0x18a>
jmp    129c <aim+0x17c>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1245 <aim+0x125>
jmp    12af <aim+0x18f>
jmp    12b4 <aim+0x194>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1176 <aim+0x56>
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jg     1373 <aim+0x253>
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x4,%ecx
cltd
idiv   %ecx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
mov    -0x50(%rbp),%ecx
mov    $0x1,%al
cmp    -0x30(%rbp),%ecx
mov    %al,-0x61(%rbp)
je     1327 <aim+0x207>
mov    -0x4c(%rbp),%ecx
mov    $0x1,%al
cmp    -0x30(%rbp),%ecx
mov    %al,-0x61(%rbp)
je     1327 <aim+0x207>
mov    -0x48(%rbp),%ecx
mov    $0x1,%al
cmp    -0x30(%rbp),%ecx
mov    %al,-0x61(%rbp)
je     1327 <aim+0x207>
mov    -0x44(%rbp),%eax
cmp    -0x30(%rbp),%eax
sete   %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    1337 <aim+0x217>
jmp    1351 <aim+0x231>
mov    $0x0,%al
call   1040 <rand@plt>
mov    $0x4,%ecx
cltd
idiv   %ecx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
jmp    12e8 <aim+0x1c8>
mov    -0x30(%rbp),%ecx
movslq -0x24(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12c9 <aim+0x1a9>
cmpl   $0xffffffff,-0x40(%rbp)
jne    13aa <aim+0x28a>
cmpl   $0xffffffff,-0x3c(%rbp)
jne    13aa <aim+0x28a>
cmpl   $0xffffffff,-0x38(%rbp)
jne    13aa <aim+0x28a>
cmpl   $0xffffffff,-0x34(%rbp)
jne    13aa <aim+0x28a>
mov    -0x20(%rbp),%rax
movl   $0x1,(%rax)
jmp    13b4 <aim+0x294>
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<aim>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rcx,%r14
xorps  %xmm0,%xmm0
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,(%rsp)
mov    %rsp,%rax
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rcx,4),%edx
cmp    (%rsi,%rcx,4),%edx
jne    1170 <aim+0x60>
mov    $0xffffffff,%ebp
cmpl   $0x1,(%rax)
jne    1180 <aim+0x70>
cmp    (%rsi),%edx
jne    11db <aim+0xcb>
cmpl   $0x1,(%rsp)
je     11db <aim+0xcb>
xor    %ebx,%ebx
jmp    1210 <aim+0x100>
nopw   0x0(%rax,%rax,1)
cmp    (%rsi),%edx
jne    1190 <aim+0x80>
cmpl   $0x1,(%rsp)
je     1190 <aim+0x80>
xor    %ebx,%ebx
jmp    11d0 <aim+0xc0>
xchg   %ax,%ax
mov    %rax,%rdx
mov    %rcx,%rbx
jmp    1214 <aim+0x104>
nopl   0x0(%rax,%rax,1)
cmp    0x4(%rsi),%edx
jne    11a1 <aim+0x91>
mov    $0x1,%ebx
cmpl   $0x1,0x4(%rsp)
jne    11d0 <aim+0xc0>
cmp    0x8(%rsi),%edx
jne    11b2 <aim+0xa2>
mov    $0x2,%ebx
cmpl   $0x1,0x8(%rsp)
jne    11d0 <aim+0xc0>
cmp    0xc(%rsi),%edx
jne    121e <aim+0x10e>
mov    $0x3,%ebx
cmpl   $0x1,0xc(%rsp)
je     121e <aim+0x10e>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%rsp,%rbx,4),%rdx
mov    $0x1,%ebp
jmp    1214 <aim+0x104>
cmp    0x4(%rsi),%edx
jne    11ec <aim+0xdc>
mov    $0x1,%ebx
cmpl   $0x1,0x4(%rsp)
jne    1210 <aim+0x100>
cmp    0x8(%rsi),%edx
jne    11fd <aim+0xed>
mov    $0x2,%ebx
cmpl   $0x1,0x8(%rsp)
jne    1210 <aim+0x100>
cmp    0xc(%rsi),%edx
jne    121e <aim+0x10e>
mov    $0x3,%ebx
cmpl   $0x1,0xc(%rsp)
je     121e <aim+0x10e>
xchg   %ax,%ax
lea    (%rsp,%rbx,4),%rdx
movl   $0x1,(%rdx)
mov    %ebp,0x20(%rsp,%rbx,4)
add    $0x1,%rcx
add    $0x4,%rax
cmp    $0x4,%rcx
jne    1140 <aim+0x30>
xor    %r12d,%r12d
xor    %r13d,%r13d
xor    %ebp,%ebp
xor    %ebx,%ebx
xor    %r15d,%r15d
nopl   (%rax)
xor    %eax,%eax
call   1030 <rand@plt>
lea    0x3(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
neg    %ecx
add    %ecx,%eax
add    $0x1,%eax
cmp    %eax,%ebx
je     1240 <aim+0x130>
cmp    %eax,%ebp
je     1240 <aim+0x130>
cmp    %eax,%r13d
je     1240 <aim+0x130>
cmp    %eax,%r12d
je     1240 <aim+0x130>
mov    %eax,0x10(%rsp,%r15,4)
add    $0x1,%r15
cmp    $0x4,%r15
je     128e <aim+0x17e>
mov    0x10(%rsp),%ebx
mov    0x14(%rsp),%ebp
mov    0x18(%rsp),%r13d
mov    0x1c(%rsp),%r12d
jmp    1240 <aim+0x130>
mov    0x20(%rsp),%eax
and    0x24(%rsp),%eax
and    0x28(%rsp),%eax
and    0x2c(%rsp),%eax
xor    %ecx,%ecx
cmp    $0xffffffff,%eax
sete   %cl
mov    %ecx,(%r14)
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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