#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 check(int **);
scalar_t__ compare(int **, int **);
int find_at_xy(int **, int, int);
scalar_t__ guess_n_solve(int **);
int solve(int S[9][9], int status) {
  int i, j, x, y;
  int S2[9][9];
  for (i = 0; i < 9; i++) {
    for (j = 0; j < 9; j++) {
      if (!(S[i][j] >= 0 && S[i][j] <= 9)) {
        S[i][j] = 0;
      }
      S2[i][j] = S[i][j];
    }
  }
  i = j = x = y = 0;
  while (check(S) == 1) {
    for (i; i < 9; i++) {
      if (i != x) {
        j = 0;
      }
      for (j; j < 9; j++) {
        if (S[i][j] == 0) {
          break;
        }
      }
      if (j != 9 && S[i][j] == 0) {
        break;
      }
    }
    if (i >= 9) {
      if (compare(S, S2) == 0) {
        break;
      }
      for (i = 0; i < 9; i++) {
        for (j = 0; j < 9; j++) {
          S2[i][j] = S[i][j];
        }
      }
      i = 0;
      j = 0;
      continue;
    }
    x = i;
    y = j;
    S[x][y] = find_at_xy(S, x, y);
    j++;
  }
  if (status == 0 && check(S) == 1) {
    if (guess_n_solve(S) != 0) {
      return 1;
    }
  } else if (check(S) == 1) {
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<solve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x170,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x9,-0x18(%rbp)
jge    1218 <solve+0xd8>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    1205 <solve+0xc5>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jl     11ae <solve+0x6e>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x9,(%rax,%rcx,4)
jle    11c8 <solve+0x88>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x18(%rbp),%rcx
lea    -0x170(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116a <solve+0x2a>
jmp    120a <solve+0xca>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1159 <solve+0x19>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <check@plt>
cmp    $0x1,%eax
jne    13d0 <solve+0x290>
cmpl   $0x9,-0x18(%rbp)
jge    12e1 <solve+0x1a1>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1263 <solve+0x123>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    12a2 <solve+0x162>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    128f <solve+0x14f>
jmp    12a2 <solve+0x162>
jmp    1294 <solve+0x154>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1263 <solve+0x123>
cmpl   $0x9,-0x1c(%rbp)
je     12ce <solve+0x18e>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12ce <solve+0x18e>
jmp    12e1 <solve+0x1a1>
jmp    12d3 <solve+0x193>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1246 <solve+0x106>
cmpl   $0x9,-0x18(%rbp)
jl     138f <solve+0x24f>
mov    -0x10(%rbp),%rdi
lea    -0x170(%rbp),%rsi
call   1060 <compare@plt>
cmp    $0x0,%rax
jne    130a <solve+0x1ca>
jmp    13d0 <solve+0x290>
movl   $0x0,-0x18(%rbp)
cmpl   $0x9,-0x18(%rbp)
jge    137c <solve+0x23c>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    1369 <solve+0x229>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x18(%rbp),%rcx
lea    -0x170(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1322 <solve+0x1e2>
jmp    136e <solve+0x22e>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1311 <solve+0x1d1>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
jmp    1234 <solve+0xf4>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
call   1040 <find_at_xy@plt>
mov    %eax,%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1234 <solve+0xf4>
cmpl   $0x0,-0x14(%rbp)
jne    1410 <solve+0x2d0>
mov    -0x10(%rbp),%rdi
call   1050 <check@plt>
cmp    $0x1,%eax
jne    1410 <solve+0x2d0>
mov    -0x10(%rbp),%rdi
call   1030 <guess_n_solve@plt>
cmp    $0x0,%rax
je     140b <solve+0x2cb>
movl   $0x1,-0x4(%rbp)
jmp    143a <solve+0x2fa>
jmp    1433 <solve+0x2f3>
mov    -0x10(%rbp),%rdi
call   1050 <check@plt>
cmp    $0x1,%eax
jne    142e <solve+0x2ee>
movl   $0x1,-0x4(%rbp)
jmp    143a <solve+0x2fa>
jmp    1433 <solve+0x2f3>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x170,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x158,%rsp
mov    %esi,0xc(%rsp)
mov    %rdi,%r12
mov    $0x20,%eax
jmp    1184 <solve+0x34>
nop
mov    %ecx,0x10(%rsp,%rax,1)
add    $0x24,%rax
cmp    $0x164,%rax
je     1267 <solve+0x117>
mov    -0x20(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     1199 <solve+0x49>
movl   $0x0,-0x20(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,-0x10(%rsp,%rax,1)
mov    -0x1c(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     11b2 <solve+0x62>
movl   $0x0,-0x1c(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,-0xc(%rsp,%rax,1)
mov    -0x18(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     11cb <solve+0x7b>
movl   $0x0,-0x18(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,-0x8(%rsp,%rax,1)
mov    -0x14(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     11e4 <solve+0x94>
movl   $0x0,-0x14(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,-0x4(%rsp,%rax,1)
mov    -0x10(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     11fd <solve+0xad>
movl   $0x0,-0x10(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,(%rsp,%rax,1)
mov    -0xc(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     1215 <solve+0xc5>
movl   $0x0,-0xc(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,0x4(%rsp,%rax,1)
mov    -0x8(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     122e <solve+0xde>
movl   $0x0,-0x8(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,0x8(%rsp,%rax,1)
mov    -0x4(%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     1247 <solve+0xf7>
movl   $0x0,-0x4(%r12,%rax,1)
xor    %ecx,%ecx
mov    %ecx,0xc(%rsp,%rax,1)
mov    (%r12,%rax,1),%ecx
cmp    $0xa,%ecx
jb     1170 <solve+0x20>
movl   $0x0,(%r12,%rax,1)
xor    %ecx,%ecx
jmp    1170 <solve+0x20>
mov    %r12,%rdi
call   1060 <check@plt>
cmp    $0x1,%eax
jne    1393 <solve+0x243>
xor    %ebp,%ebp
lea    0x10(%rsp),%r15
xor    %r14d,%r14d
movslq %ebp,%r13
cs nopw 0x0(%rax,%rax,1)
nop
movslq %ebp,%rbp
lea    0x0(,%rbp,8),%rax
add    %rbp,%rax
lea    (%r12,%rax,4),%rax
jmp    12db <solve+0x18b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %r14d,%rbx
lea    0x0(,%rbp,8),%rcx
add    %rbp,%rcx
lea    (%r12,%rcx,4),%rcx
cmpl   $0x0,(%rcx,%rbx,4)
mov    %r14d,%ecx
je     1320 <solve+0x1d0>
add    $0x1,%rbp
add    $0x24,%rax
mov    %ecx,%r14d
cmp    $0x9,%ebp
je     1325 <solve+0x1d5>
cmp    %r13,%rbp
mov    $0x0,%ecx
cmove  %r14d,%ecx
cmp    $0x8,%ecx
jg     1310 <solve+0x1c0>
movslq %ecx,%r14
nop
cmpl   $0x0,(%rax,%r14,4)
je     12b0 <solve+0x160>
add    $0x1,%r14
cmp    $0x9,%r14
jne    12f0 <solve+0x1a0>
mov    $0x9,%ecx
jmp    12cb <solve+0x17b>
nopl   0x0(%rax,%rax,1)
mov    $0x9,%ecx
cmp    $0x9,%r14d
jne    12b0 <solve+0x160>
jmp    12cb <solve+0x17b>
nopl   (%rax)
cmp    $0x9,%ebp
jl     1360 <solve+0x210>
mov    %r12,%rdi
mov    %r15,%rsi
call   1070 <compare@plt>
test   %rax,%rax
je     1393 <solve+0x243>
mov    $0x144,%edx
mov    %r15,%rdi
mov    %r12,%rsi
call   1050 <memcpy@plt>
mov    %r12,%rdi
call   1060 <check@plt>
xor    %r14d,%r14d
mov    $0x0,%ebp
cmp    $0x1,%eax
je     1290 <solve+0x140>
jmp    1393 <solve+0x243>
mov    %r12,%rdi
mov    %ebp,%esi
mov    %ebx,%edx
call   1040 <find_at_xy@plt>
movslq %ebp,%rcx
lea    (%rcx,%rcx,8),%rcx
lea    (%r12,%rcx,4),%rcx
mov    %eax,(%rcx,%rbx,4)
lea    0x1(%rbx),%r14d
mov    %r12,%rdi
call   1060 <check@plt>
cmp    $0x1,%eax
jne    1393 <solve+0x243>
movslq %ebp,%r13
jmp    1290 <solve+0x140>
cmpl   $0x0,0xc(%rsp)
jne    13be <solve+0x26e>
mov    %r12,%rdi
call   1060 <check@plt>
cmp    $0x1,%eax
jne    13be <solve+0x26e>
mov    %r12,%rdi
call   1030 <guess_n_solve@plt>
mov    %rax,%rcx
mov    $0x1,%eax
test   %rcx,%rcx
jne    13d4 <solve+0x284>
jmp    13d2 <solve+0x282>
mov    %r12,%rdi
call   1060 <check@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    $0x1,%ecx
je     13d4 <solve+0x284>
xor    %eax,%eax
add    $0x158,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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