#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_conflict(int const **, int, int const, int const);
int solve_at_xy(const int sudoku[9][9], const int row_no, const int column_no) {
  int test_value, i, j, row_start, column_start;
  for (test_value = 1; test_value <= 9; ++test_value) {
    if (check_conflict(sudoku, test_value, row_no, column_no) == 1) {
      continue;
    }
    for (i = 0; i < 9; ++i) {
      if ((sudoku[row_no][i] != 0) || (i == column_no)) {
        continue;
      }
      if (check_conflict(sudoku, test_value, row_no, i) == 0) {
        break;
      }
    }
    if (i == 9) {
      return test_value;
    }
    for (i = 0; i < 9; ++i) {
      if ((sudoku[i][column_no] != 0) || (i == row_no)) {
        continue;
      }
      if (check_conflict(sudoku, test_value, i, column_no) == 0) {
        break;
      }
    }
    if (i == 9) {
      return test_value;
    }
    row_start = row_no - (row_no % 3);
    column_start = column_no - (column_no % 3);
    for (i = row_start; i < row_start + 3; ++i) {
      for (j = column_start; j < column_start + 3; ++j) {
        if ((sudoku[i][j] != 0) || (i == row_no && j == column_no)) {
          continue;
        }
        if (check_conflict(sudoku, test_value, i, j) == 0) {
          break;
        }
      }
      if (j < column_start + 3) {
        break;
      }
    }
    if ((i == row_start + 3) && (j == column_start + 3)) {
      return test_value;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<solve_at_xy>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jg     1397 <solve_at_xy+0x287>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
call   1030 <check_conflict@plt>
cmp    $0x1,%eax
jne    1153 <solve_at_xy+0x43>
jmp    1389 <solve_at_xy+0x279>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    11c5 <solve_at_xy+0xb5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    118d <solve_at_xy+0x7d>
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1192 <solve_at_xy+0x82>
jmp    11b7 <solve_at_xy+0xa7>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x20(%rbp),%ecx
call   1030 <check_conflict@plt>
cmp    $0x0,%eax
jne    11b2 <solve_at_xy+0xa2>
jmp    11c5 <solve_at_xy+0xb5>
jmp    11b7 <solve_at_xy+0xa7>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    115a <solve_at_xy+0x4a>
cmpl   $0x9,-0x20(%rbp)
jne    11da <solve_at_xy+0xca>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    139e <solve_at_xy+0x28e>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    124c <solve_at_xy+0x13c>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1214 <solve_at_xy+0x104>
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    1219 <solve_at_xy+0x109>
jmp    123e <solve_at_xy+0x12e>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x20(%rbp),%edx
mov    -0x18(%rbp),%ecx
call   1030 <check_conflict@plt>
cmp    $0x0,%eax
jne    1239 <solve_at_xy+0x129>
jmp    124c <solve_at_xy+0x13c>
jmp    123e <solve_at_xy+0x12e>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11e1 <solve_at_xy+0xd1>
cmpl   $0x9,-0x20(%rbp)
jne    1261 <solve_at_xy+0x151>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    139e <solve_at_xy+0x28e>
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    -0x34(%rbp),%eax
sub    %edx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    -0x30(%rbp),%eax
sub    %edx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x28(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1357 <solve_at_xy+0x247>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    132e <solve_at_xy+0x21e>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12f6 <solve_at_xy+0x1e6>
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    12fb <solve_at_xy+0x1eb>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    12fb <solve_at_xy+0x1eb>
jmp    1320 <solve_at_xy+0x210>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x20(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <check_conflict@plt>
cmp    $0x0,%eax
jne    131b <solve_at_xy+0x20b>
jmp    132e <solve_at_xy+0x21e>
jmp    1320 <solve_at_xy+0x210>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12b0 <solve_at_xy+0x1a0>
mov    -0x24(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1344 <solve_at_xy+0x234>
jmp    1357 <solve_at_xy+0x247>
jmp    1349 <solve_at_xy+0x239>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1299 <solve_at_xy+0x189>
mov    -0x20(%rbp),%eax
mov    -0x28(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jne    1384 <solve_at_xy+0x274>
mov    -0x24(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jne    1384 <solve_at_xy+0x274>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    139e <solve_at_xy+0x28e>
jmp    1389 <solve_at_xy+0x279>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1129 <solve_at_xy+0x19>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve_at_xy>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %edx,%ebx
mov    %esi,%ebp
movslq %esi,%r14
movslq %edx,%rsi
imul   $0x55555556,%r14,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
add    %ecx,%eax
lea    (%rax,%rax,2),%r8d
mov    %rsi,%rdx
mov    %rsi,0x8(%rsp)
imul   $0x55555556,%rsi,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
shr    $0x20,%rdx
add    %esi,%edx
lea    (%rdx,%rdx,2),%esi
lea    (%rax,%rax,2),%eax
add    $0x3,%eax
lea    0x3(%rdx,%rdx,2),%ecx
mov    %ecx,0x10(%rsp)
movslq %esi,%rcx
mov    %rcx,0x40(%rsp)
movslq %r8d,%rcx
mov    %eax,0x14(%rsp)
cltq
mov    %rax,0x38(%rsp)
lea    (%r14,%r14,8),%rax
lea    (%rdi,%rax,4),%r15
lea    0x2(%rdx,%rdx,2),%eax
movslq %eax,%r12
mov    %rcx,0x30(%rsp)
lea    (%rcx,%rcx,8),%rax
mov    %rdi,(%rsp)
lea    (%rdi,%rax,4),%rax
mov    %rax,0x20(%rsp)
mov    $0x1,%r13d
mov    %ebx,0x1c(%rsp)
mov    %ebp,0x18(%rsp)
mov    %r15,0x28(%rsp)
jmp    11ce <solve_at_xy+0xbe>
nopl   (%rax)
add    $0x1,%r13d
cmp    $0xa,%r13d
je     1596 <solve_at_xy+0x486>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
cmp    $0x1,%eax
je     11c0 <solve_at_xy+0xb0>
cmpl   $0x0,(%r15)
jne    1205 <solve_at_xy+0xf5>
test   %ebx,%ebx
je     1205 <solve_at_xy+0xf5>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
xor    %ecx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x4(%r15)
jne    122c <solve_at_xy+0x11c>
cmp    $0x1,%ebx
je     122c <solve_at_xy+0x11c>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x1,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x8(%r15)
jne    1253 <solve_at_xy+0x143>
cmp    $0x2,%ebx
je     1253 <solve_at_xy+0x143>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x2,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0xc(%r15)
jne    127a <solve_at_xy+0x16a>
cmp    $0x3,%ebx
je     127a <solve_at_xy+0x16a>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x3,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x10(%r15)
jne    12a1 <solve_at_xy+0x191>
cmp    $0x4,%ebx
je     12a1 <solve_at_xy+0x191>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x4,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x14(%r15)
jne    12c4 <solve_at_xy+0x1b4>
cmp    $0x5,%ebx
je     12c4 <solve_at_xy+0x1b4>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x5,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x18(%r15)
jne    12e7 <solve_at_xy+0x1d7>
cmp    $0x6,%ebx
je     12e7 <solve_at_xy+0x1d7>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x6,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x1c(%r15)
jne    130a <solve_at_xy+0x1fa>
cmp    $0x7,%ebx
je     130a <solve_at_xy+0x1fa>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x7,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1340 <solve_at_xy+0x230>
cmpl   $0x0,0x20(%r15)
jne    1599 <solve_at_xy+0x489>
cmp    $0x8,%ebx
je     1599 <solve_at_xy+0x489>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebp,%edx
mov    $0x8,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
jne    1599 <solve_at_xy+0x489>
nopl   0x0(%rax)
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    136b <solve_at_xy+0x25b>
test   %ebp,%ebp
je     136b <solve_at_xy+0x25b>
mov    (%rsp),%rdi
mov    %r13d,%esi
xor    %edx,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0x24(%rax,%rcx,4)
jne    139b <solve_at_xy+0x28b>
cmp    $0x1,%ebp
je     139b <solve_at_xy+0x28b>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x1,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0x48(%rax,%rcx,4)
jne    13cb <solve_at_xy+0x2bb>
cmp    $0x2,%ebp
je     13cb <solve_at_xy+0x2bb>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x2,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0x6c(%rax,%rcx,4)
jne    13fb <solve_at_xy+0x2eb>
cmp    $0x3,%ebp
je     13fb <solve_at_xy+0x2eb>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x3,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0x90(%rax,%rcx,4)
jne    142e <solve_at_xy+0x31e>
cmp    $0x4,%ebp
je     142e <solve_at_xy+0x31e>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x4,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0xb4(%rax,%rcx,4)
jne    1461 <solve_at_xy+0x351>
cmp    $0x5,%ebp
je     1461 <solve_at_xy+0x351>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x5,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0xd8(%rax,%rcx,4)
jne    1490 <solve_at_xy+0x380>
cmp    $0x6,%ebp
je     1490 <solve_at_xy+0x380>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x6,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0xfc(%rax,%rcx,4)
jne    14bf <solve_at_xy+0x3af>
cmp    $0x7,%ebp
je     14bf <solve_at_xy+0x3af>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x7,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1500 <solve_at_xy+0x3f0>
mov    (%rsp),%rax
mov    0x8(%rsp),%rcx
cmpl   $0x0,0x120(%rax,%rcx,4)
jne    1599 <solve_at_xy+0x489>
cmp    $0x8,%ebp
je     1599 <solve_at_xy+0x489>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    $0x8,%edx
mov    %ebx,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
jne    1599 <solve_at_xy+0x489>
nopw   0x0(%rax,%rax,1)
mov    0x20(%rsp),%r15
mov    0x30(%rsp),%rbx
jmp    151f <solve_at_xy+0x40f>
nopl   0x0(%rax)
add    $0x1,%rbx
add    $0x24,%r15
cmp    0x38(%rsp),%rbx
jge    1573 <solve_at_xy+0x463>
mov    0x40(%rsp),%rax
jmp    1549 <solve_at_xy+0x439>
mov    (%rsp),%rdi
mov    %r13d,%esi
mov    %ebx,%edx
mov    %ebp,%ecx
call   1030 <check_conflict@plt>
test   %eax,%eax
je     1570 <solve_at_xy+0x460>
nopw   0x0(%rax,%rax,1)
lea    0x1(%rbp),%rax
cmp    %r12,%rbp
jge    1510 <solve_at_xy+0x400>
mov    %rax,%rbp
cmpl   $0x0,(%r15,%rax,4)
jne    1540 <solve_at_xy+0x430>
cmp    %r14,%rbx
jne    1526 <solve_at_xy+0x416>
cmp    %rbp,0x8(%rsp)
je     1540 <solve_at_xy+0x430>
jmp    1526 <solve_at_xy+0x416>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rbp,%rax
cmp    %ebx,0x14(%rsp)
mov    0x1c(%rsp),%ebx
mov    0x18(%rsp),%ebp
mov    0x28(%rsp),%r15
jne    11c0 <solve_at_xy+0xb0>
cmp    %eax,0x10(%rsp)
jne    11c0 <solve_at_xy+0xb0>
jmp    1599 <solve_at_xy+0x489>
xor    %r13d,%r13d
mov    %r13d,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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