int loop(int a[][4]) {
  int i, j, flag = 0;
  for (i = 0; i < 4; i++) {
    for (j = 0; j < 4; j++) {
      if (i > 0)
        if (a[i][j] == a[i - 1][j])
          flag = -1;
      if (j > 0 && a[i][j] == a[i - 1][j - 1])
        flag = -1;
      if (j < 4 && a[i][j] == a[i - 1][j + 1])
        flag = -1;
      if (i < 4)
        if (a[i][j] == a[i + 1][j])
          flag = -1;
      if (j > 0 && a[i][j] == a[i + 1][j - 1])
        flag = -1;
      if (j < 4 && a[i][j] == a[i + 1][j + 1])
        flag = -1;
      if (j > 0 && a[i][j] == a[i][j - 1])
        flag = -1;
      if (j < 4 && a[i][j] == a[i][j + 1])
        flag = -1;
    }
  }
  return flag;
}


x86 assembly (clang, -O0):
<loop>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    13b5 <loop+0x2b5>
movl   $0x0,-0x10(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    13a2 <loop+0x2a2>
cmpl   $0x0,-0xc(%rbp)
jle    117e <loop+0x7e>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1179 <loop+0x79>
movl   $0xffffffff,-0x14(%rbp)
jmp    117e <loop+0x7e>
cmpl   $0x0,-0x10(%rbp)
jle    11cb <loop+0xcb>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    11cb <loop+0xcb>
movl   $0xffffffff,-0x14(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    1218 <loop+0x118>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1218 <loop+0x118>
movl   $0xffffffff,-0x14(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    1265 <loop+0x165>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
movslq -0x10(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1260 <loop+0x160>
movl   $0xffffffff,-0x14(%rbp)
jmp    1265 <loop+0x165>
cmpl   $0x0,-0x10(%rbp)
jle    12b2 <loop+0x1b2>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    12b2 <loop+0x1b2>
movl   $0xffffffff,-0x14(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    12ff <loop+0x1ff>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    12ff <loop+0x1ff>
movl   $0xffffffff,-0x14(%rbp)
cmpl   $0x0,-0x10(%rbp)
jle    1347 <loop+0x247>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1347 <loop+0x247>
movl   $0xffffffff,-0x14(%rbp)
cmpl   $0x4,-0x10(%rbp)
jge    138f <loop+0x28f>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    138f <loop+0x28f>
movl   $0xffffffff,-0x14(%rbp)
jmp    1394 <loop+0x294>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1127 <loop+0x27>
jmp    13a7 <loop+0x2a7>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1116 <loop+0x16>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<loop>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
xor    %eax,%eax
mov    $0xffffffffffffffff,%r11
mov    $0xffffffff,%edx
mov    %rdi,%rsi
jmp    115b <loop+0x5b>
nopl   (%rax)
cmp    %r14d,%ebp
cmove  %edx,%eax
cmp    %r10d,%ebp
cmove  %edx,%eax
cmp    %r15d,%ebp
cmove  %edx,%eax
cmp    %r13d,%ebp
cmove  %edx,%eax
cmp    0x20(%rsi),%ebp
cmove  %edx,%eax
cmp    %ebp,%ebx
cmove  %edx,%eax
cmp    %r8d,%ebp
cmove  %edx,%eax
add    $0x10,%rsi
add    $0x1,%r11
cmp    $0x3,%r11
je     1243 <loop+0x143>
mov    %r11d,%r9d
cmp    $0xffffffffffffffff,%r11
je     1173 <loop+0x73>
mov    (%rsi),%ecx
mov    %r9,%rbp
shl    $0x4,%rbp
cmp    (%rdi,%rbp,1),%ecx
cmove  %edx,%eax
mov    -0xc(%rsi),%r12d
mov    (%rsi),%r10d
mov    0x10(%rsi),%r8d
cmp    %r12d,%r10d
cmove  %edx,%eax
cmp    %r8d,%r10d
mov    0x14(%rsi),%r15d
cmove  %edx,%eax
cmp    %r15d,%r10d
mov    0x4(%rsi),%ecx
cmove  %edx,%eax
cmp    %ecx,%r10d
cmove  %edx,%eax
cmp    $0xffffffffffffffff,%r11
je     11b1 <loop+0xb1>
mov    %r9,%rbx
shl    $0x4,%rbx
cmp    0x4(%rdi,%rbx,1),%ecx
cmove  %edx,%eax
cmp    -0x10(%rsi),%ecx
cmove  %edx,%eax
mov    -0x8(%rsi),%r14d
cmp    %r14d,%ecx
cmove  %edx,%eax
cmp    %r15d,%ecx
cmove  %edx,%eax
cmp    %r8d,%ecx
cmove  %edx,%eax
mov    0x18(%rsi),%r13d
cmp    %r13d,%ecx
cmove  %edx,%eax
mov    0x8(%rsi),%ebx
cmp    %r10d,%ecx
cmove  %edx,%eax
cmp    %ebx,%ecx
cmove  %edx,%eax
cmp    $0xffffffffffffffff,%r11
je     11f9 <loop+0xf9>
mov    %r9,%rbp
shl    $0x4,%rbp
cmp    0x8(%rdi,%rbp,1),%ebx
cmove  %edx,%eax
cmp    %r12d,%ebx
cmove  %edx,%eax
cmp    -0x4(%rsi),%ebx
cmove  %edx,%eax
cmp    %r13d,%ebx
cmove  %edx,%eax
cmp    %r15d,%ebx
cmove  %edx,%eax
mov    0x1c(%rsi),%r15d
cmp    %r15d,%ebx
cmove  %edx,%eax
mov    0xc(%rsi),%ebp
cmp    %ebx,%ecx
cmove  %edx,%eax
cmp    %ebp,%ebx
cmove  %edx,%eax
cmp    $0xffffffffffffffff,%r11
je     1120 <loop+0x20>
shl    $0x4,%r9
cmp    0xc(%rdi,%r9,1),%ebp
cmove  %edx,%eax
jmp    1120 <loop+0x20>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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