#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*/ checkspot(int **, int, int, int *);
int checkElim(int x[9][9], int row, int col, int *outter_possible_mask) {
  int v;
  int rstart = row / 3;
  int cstart = col / 3;
  int inner_possible_mask[9];
  int is_unique;
  int i, j;
  for (v = 0; v < 9; v++) {
    if (!outter_possible_mask[v])
      continue;
    is_unique = 1;
    for (i = rstart * 3; i < rstart * 3 + 3; i++)
      for (j = cstart * 3; j < cstart * 3 + 3; j++) {
        if (!((row == i) && (col == j)) && (x[i][j] == 0)) {
          checkspot(x, i, j, inner_possible_mask);
          if (inner_possible_mask[v]) {
            is_unique = 0;
            i = j = 9;
          }
        }
      }
    if (is_unique)
      return v;
    int k;
    is_unique = 1;
    for (i = 0; i < 9; i++) {
      if ((i == row) || (x[i][col] != 0))
        continue;
      checkspot(x, i, col, inner_possible_mask);
      if (inner_possible_mask[v]) {
        is_unique = 0;
        i = j = 9;
      }
    }
    if (is_unique)
      return v;
    is_unique = 1;
    for (j = 0; j < 9; j++) {
      if ((j == col) || (x[row][j] != 0))
        continue;
      checkspot(x, row, j, inner_possible_mask);
      if (inner_possible_mask[v]) {
        is_unique = 0;
        i = j = 9;
      }
    }
    if (is_unique)
      return v;
  }
  return -1;
}


x86 assembly (clang, -O0):
<checkElim>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x9,-0x24(%rbp)
jge    13ac <checkElim+0x29c>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    116a <checkElim+0x5a>
jmp    139e <checkElim+0x28e>
movl   $0x1,-0x54(%rbp)
imul   $0x3,-0x28(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
imul   $0x3,-0x28(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    123a <checkElim+0x12a>
imul   $0x3,-0x2c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
imul   $0x3,-0x2c(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1227 <checkElim+0x117>
mov    -0x14(%rbp),%eax
cmp    -0x58(%rbp),%eax
jne    11bb <checkElim+0xab>
mov    -0x18(%rbp),%eax
cmp    -0x5c(%rbp),%eax
je     1214 <checkElim+0x104>
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x5c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1214 <checkElim+0x104>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%esi
mov    -0x5c(%rbp),%edx
lea    -0x50(%rbp),%rcx
call   1030 <checkspot@plt>
movslq -0x24(%rbp),%rax
cmpl   $0x0,-0x50(%rbp,%rax,4)
je     120f <checkElim+0xff>
movl   $0x0,-0x54(%rbp)
movl   $0x9,-0x5c(%rbp)
movl   $0x9,-0x58(%rbp)
jmp    1214 <checkElim+0x104>
jmp    1219 <checkElim+0x109>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1191 <checkElim+0x81>
jmp    122c <checkElim+0x11c>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1178 <checkElim+0x68>
cmpl   $0x0,-0x54(%rbp)
je     124f <checkElim+0x13f>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13b3 <checkElim+0x2a3>
movl   $0x1,-0x54(%rbp)
movl   $0x0,-0x58(%rbp)
cmpl   $0x9,-0x58(%rbp)
jge    12df <checkElim+0x1cf>
mov    -0x58(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     1290 <checkElim+0x180>
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1295 <checkElim+0x185>
jmp    12d1 <checkElim+0x1c1>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    -0x50(%rbp),%rcx
call   1030 <checkspot@plt>
movslq -0x24(%rbp),%rax
cmpl   $0x0,-0x50(%rbp,%rax,4)
je     12cc <checkElim+0x1bc>
movl   $0x0,-0x54(%rbp)
movl   $0x9,-0x5c(%rbp)
movl   $0x9,-0x58(%rbp)
jmp    12d1 <checkElim+0x1c1>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    125d <checkElim+0x14d>
cmpl   $0x0,-0x54(%rbp)
je     12f4 <checkElim+0x1e4>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13b3 <checkElim+0x2a3>
movl   $0x1,-0x54(%rbp)
movl   $0x0,-0x5c(%rbp)
cmpl   $0x9,-0x5c(%rbp)
jge    1384 <checkElim+0x274>
mov    -0x5c(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1335 <checkElim+0x225>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x5c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     133a <checkElim+0x22a>
jmp    1376 <checkElim+0x266>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x5c(%rbp),%edx
lea    -0x50(%rbp),%rcx
call   1030 <checkspot@plt>
movslq -0x24(%rbp),%rax
cmpl   $0x0,-0x50(%rbp,%rax,4)
je     1371 <checkElim+0x261>
movl   $0x0,-0x54(%rbp)
movl   $0x9,-0x5c(%rbp)
movl   $0x9,-0x58(%rbp)
jmp    1376 <checkElim+0x266>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1302 <checkElim+0x1f2>
cmpl   $0x0,-0x54(%rbp)
je     1399 <checkElim+0x289>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13b3 <checkElim+0x2a3>
jmp    139e <checkElim+0x28e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1149 <checkElim+0x39>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkElim>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rcx,%rbp
mov    %edx,%r12d
mov    %esi,%ebx
movslq %esi,%r13
imul   $0x55555556,%r13,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
add    %ecx,%eax
lea    (%rax,%rax,2),%ecx
mov    %ecx,0x20(%rsp)
movslq %edx,%rdx
mov    %rdx,%rcx
mov    %rdx,0x38(%rsp)
imul   $0x55555556,%rdx,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
shr    $0x20,%rcx
add    %edx,%ecx
lea    (%rcx,%rcx,2),%edx
mov    %edx,0x1c(%rsp)
lea    (%rcx,%rcx,2),%r15d
add    $0x2,%r15d
lea    (%rax,%rax,2),%eax
add    $0x2,%eax
mov    %eax,0x24(%rsp)
xor    %eax,%eax
mov    %rdi,0x10(%rsp)
mov    %rbp,0x28(%rsp)
mov    %r13,0x30(%rsp)
mov    %rax,0x8(%rsp)
cmpl   $0x0,0x0(%rbp,%rax,4)
je     1320 <checkElim+0x210>
mov    $0x1,%ebp
mov    0x1c(%rsp),%eax
mov    %eax,%r13d
mov    0x20(%rsp),%eax
mov    %eax,%r14d
cmp    %ebx,%r14d
jne    11d0 <checkElim+0xc0>
cmp    %r12d,%r13d
jne    11d0 <checkElim+0xc0>
mov    %ebx,%r14d
mov    %r12d,%r13d
jmp    1220 <checkElim+0x110>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq %r14d,%rax
movslq %r13d,%rcx
lea    (%rax,%rax,8),%rax
lea    (%rdi,%rax,4),%rax
cmpl   $0x0,(%rax,%rcx,4)
jne    1220 <checkElim+0x110>
mov    0x10(%rsp),%rdi
mov    %r14d,%esi
mov    %r13d,%edx
lea    0x40(%rsp),%rcx
call   1030 <checkspot@plt>
mov    0x10(%rsp),%rdi
mov    0x8(%rsp),%rax
cmpl   $0x0,0x40(%rsp,%rax,4)
je     1220 <checkElim+0x110>
mov    $0x9,%r14d
xor    %ebp,%ebp
mov    $0x9,%r13d
nopl   0x0(%rax,%rax,1)
lea    0x1(%r13),%eax
cmp    %r15d,%r13d
mov    %eax,%r13d
jl     11b0 <checkElim+0xa0>
lea    0x1(%r14),%eax
mov    0x1c(%rsp),%ecx
mov    %ecx,%r13d
cmp    0x24(%rsp),%r14d
mov    %eax,%r14d
jl     11b0 <checkElim+0xa0>
test   %ebp,%ebp
jne    133b <checkElim+0x22b>
xor    %ebp,%ebp
mov    0x30(%rsp),%r13
mov    0x8(%rsp),%r14
jmp    126e <checkElim+0x15e>
nopl   0x0(%rax,%rax,1)
mov    %ebp,%eax
lea    0x1(%rax),%ebp
cmp    $0x8,%eax
jge    1340 <checkElim+0x230>
mov    %ebx,%eax
cmp    %ebx,%ebp
je     1262 <checkElim+0x152>
movslq %ebp,%rax
lea    (%rax,%rax,8),%rax
lea    (%rdi,%rax,4),%rax
mov    0x38(%rsp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1260 <checkElim+0x150>
mov    0x10(%rsp),%rdi
mov    %ebp,%esi
mov    %r12d,%edx
lea    0x40(%rsp),%rcx
call   1030 <checkspot@plt>
mov    0x10(%rsp),%rdi
cmpl   $0x0,0x40(%rsp,%r14,4)
mov    %ebp,%eax
je     1262 <checkElim+0x152>
xor    %r14d,%r14d
mov    0x28(%rsp),%rbp
jmp    12cc <checkElim+0x1bc>
nopw   0x0(%rax,%rax,1)
mov    %r14d,%eax
lea    0x1(%rax),%r14d
cmp    $0x8,%eax
jge    133b <checkElim+0x22b>
mov    %r12d,%eax
cmp    %r12d,%r14d
je     12c3 <checkElim+0x1b3>
movslq %r14d,%rax
lea    0x0(,%r13,8),%rcx
add    %r13,%rcx
lea    (%rdi,%rcx,4),%rcx
cmpl   $0x0,(%rcx,%rax,4)
jne    12c0 <checkElim+0x1b0>
mov    0x10(%rsp),%rdi
mov    %ebx,%esi
mov    %r14d,%edx
lea    0x40(%rsp),%rcx
call   1030 <checkspot@plt>
mov    0x10(%rsp),%rdi
mov    0x8(%rsp),%rax
cmpl   $0x0,0x40(%rsp,%rax,4)
mov    %r14d,%eax
je     12c3 <checkElim+0x1b3>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x8(%rsp),%rax
add    $0x1,%rax
cmp    $0x9,%rax
jne    118d <checkElim+0x7d>
mov    $0xffffffff,%r14d
jmp    1340 <checkElim+0x230>
mov    0x8(%rsp),%r14
mov    %r14d,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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