#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 **copy(int **);
int **solve(int **);
int **recu(int **a, int ci, int cj) {
  int i, j, istart, iend, jstart, jend, table[9];
  for (i = 0; i < 9; i++)
    table[i] = i + 1;
  for (i = 0; i < 9; i++)
    for (j = 0; j < 9; j++)
      if (a[ci][i] == table[j])
        table[j] = -1;
      else if (a[i][cj] == table[j])
        table[j] = -1;
  istart = ((ci - (ci % 3)) / 3) * 3;
  iend = istart + 3;
  jstart = ((cj - cj % 3) / 3) * 3;
  jend = jstart + 3;
  for (; istart < iend; istart++) {
    for (j = jstart; j < jend; j++)
      for (i = 0; i < 9; i++) {
        if (a[istart][j] == table[i])
          table[i] = -1;
      }
  }
  int **m;
  for (i = 0; i < 9; i++) {
    if (table[i] == -1)
      continue;
    m = copy(a);
    m[ci][cj] = table[i];
    m = solve(m);
    if (m != NULL)
      return m;
  }
  return NULL;
}


x86 assembly (clang, -O0):
<recu>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    115f <recu+0x3f>
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq -0x1c(%rbp),%rax
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1139 <recu+0x19>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    120b <recu+0xeb>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    11f8 <recu+0xd8>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x20(%rbp),%rcx
cmp    -0x60(%rbp,%rcx,4),%eax
jne    11b3 <recu+0x93>
movslq -0x20(%rbp),%rax
movl   $0xffffffff,-0x60(%rbp,%rax,4)
ff
jmp    11e5 <recu+0xc5>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x20(%rbp),%rcx
cmp    -0x60(%rbp,%rcx,4),%eax
jne    11e0 <recu+0xc0>
movslq -0x20(%rbp),%rax
movl   $0xffffffff,-0x60(%rbp,%rax,4)
ff
jmp    11e5 <recu+0xc5>
jmp    11ea <recu+0xca>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1177 <recu+0x57>
jmp    11fd <recu+0xdd>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1166 <recu+0x46>
mov    -0x14(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    -0x70(%rbp),%eax
sub    %edx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    -0x6c(%rbp),%eax
sub    %edx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    12fa <recu+0x1da>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    12e7 <recu+0x1c7>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    12d4 <recu+0x1b4>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x1c(%rbp),%rcx
cmp    -0x60(%rbp,%rcx,4),%eax
jne    12c1 <recu+0x1a1>
movslq -0x1c(%rbp),%rax
movl   $0xffffffff,-0x60(%rbp,%rax,4)
ff
jmp    12c6 <recu+0x1a6>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    128a <recu+0x16a>
jmp    12d9 <recu+0x1b9>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1277 <recu+0x157>
jmp    12ec <recu+0x1cc>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1265 <recu+0x145>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    137f <recu+0x25f>
movslq -0x1c(%rbp),%rax
cmpl   $0xffffffff,-0x60(%rbp,%rax,4)
jne    131f <recu+0x1ff>
jmp    1371 <recu+0x251>
mov    -0x10(%rbp),%rdi
call   1040 <copy@plt>
mov    %rax,-0x68(%rbp)
movslq -0x1c(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%edx
mov    -0x68(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x68(%rbp),%rdi
call   1030 <solve@plt>
mov    %rax,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
je     136c <recu+0x24c>
mov    -0x68(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1387 <recu+0x267>
jmp    1371 <recu+0x251>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1301 <recu+0x1e1>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<recu>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
movslq %esi,%rax
mov    %rax,0x18(%rsp)
mov    %rdi,0x38(%rsp)
mov    (%rdi,%rax,8),%rax
mov    %rax,0x20(%rsp)
movslq %edx,%rax
mov    %rax,(%rsp)
mov    $0x1,%ebx
mov    $0x2,%r15d
mov    $0x3,%r10d
mov    $0x4,%r14d
mov    $0x5,%r8d
mov    $0x6,%edi
mov    $0x7,%r13d
mov    $0x8,%r11d
movl   $0x9,0x28(%rsp)
xor    %ecx,%ecx
jmp    11cf <recu+0xaf>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%rcx
mov    %r9d,0x28(%rsp)
mov    %edi,%r11d
mov    %ebx,%r13d
mov    %edi,%ebp
mov    %r15d,%edi
mov    %r14d,%r8d
mov    %ebx,%edx
mov    %r14d,%esi
mov    0x10(%rsp),%r14d
mov    0x14(%rsp),%r10d
mov    %r15d,%eax
mov    0xc(%rsp),%r12d
mov    %r12d,%r15d
mov    0x34(%rsp),%ebx
cmp    $0x9,%rcx
je     1327 <recu+0x207>
mov    0x20(%rsp),%rax
mov    (%rax,%rcx,4),%ebp
mov    $0xffffffff,%esi
cmp    %ebx,%ebp
je     11f9 <recu+0xd9>
mov    0x38(%rsp),%rax
mov    (%rax,%rcx,8),%rdx
mov    $0xffffffff,%esi
mov    (%rsp),%rax
cmp    %ebx,(%rdx,%rax,4)
je     11f9 <recu+0xd9>
mov    %ebx,%esi
movl   $0xffffffff,0xc(%rsp)
cmp    %r15d,%ebp
mov    0x38(%rsp),%r12
je     1226 <recu+0x106>
mov    (%r12,%rcx,8),%rdx
movl   $0xffffffff,0xc(%rsp)
ff
mov    (%rsp),%rax
cmp    %r15d,(%rdx,%rax,4)
je     1226 <recu+0x106>
mov    %r15d,0xc(%rsp)
mov    %edi,%ebx
mov    %esi,0x34(%rsp)
mov    $0xffffffff,%esi
mov    $0xffffffff,%edi
cmp    %r10d,%ebp
je     1251 <recu+0x131>
mov    (%r12,%rcx,8),%rdx
mov    $0xffffffff,%edi
mov    (%rsp),%rax
cmp    %r10d,(%rdx,%rax,4)
je     1251 <recu+0x131>
mov    %r10d,%edi
cmp    %r14d,%ebp
je     126c <recu+0x14c>
mov    (%r12,%rcx,8),%rdx
mov    $0xffffffff,%esi
mov    (%rsp),%rax
cmp    %r14d,(%rdx,%rax,4)
je     126c <recu+0x14c>
mov    %r14d,%esi
mov    %edi,0x14(%rsp)
mov    %esi,0x10(%rsp)
mov    $0xffffffff,%r15d
mov    $0xffffffff,%r14d
cmp    %r8d,%ebp
je     129c <recu+0x17c>
mov    (%r12,%rcx,8),%rdx
mov    $0xffffffff,%r14d
mov    (%rsp),%rax
cmp    %r8d,(%rdx,%rax,4)
je     129c <recu+0x17c>
mov    %r8d,%r14d
cmp    %ebx,%ebp
je     12b6 <recu+0x196>
mov    (%r12,%rcx,8),%rax
mov    $0xffffffff,%r15d
mov    (%rsp),%rdx
cmp    %ebx,(%rax,%rdx,4)
je     12b6 <recu+0x196>
mov    %ebx,%r15d
mov    $0xffffffff,%edi
mov    $0xffffffff,%ebx
cmp    %r13d,%ebp
je     12db <recu+0x1bb>
mov    (%r12,%rcx,8),%rax
mov    $0xffffffff,%ebx
mov    (%rsp),%rdx
cmp    %r13d,(%rax,%rdx,4)
je     12db <recu+0x1bb>
mov    %r13d,%ebx
cmp    %r11d,%ebp
je     12f6 <recu+0x1d6>
mov    (%r12,%rcx,8),%rax
mov    $0xffffffff,%edi
mov    (%rsp),%rdx
cmp    %r11d,(%rax,%rdx,4)
je     12f6 <recu+0x1d6>
mov    %r11d,%edi
mov    $0xffffffff,%r9d
mov    0x28(%rsp),%edx
cmp    %edx,%ebp
je     1190 <recu+0x70>
mov    (%r12,%rcx,8),%rax
mov    $0xffffffff,%r9d
mov    (%rsp),%rsi
cmp    %edx,(%rax,%rsi,4)
je     1190 <recu+0x70>
mov    %edx,%r9d
jmp    1190 <recu+0x70>
mov    %esi,0x20(%rsp)
mov    %eax,%ebx
imul   $0x55555556,0x18(%rsp),%rax
55 55
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
add    %ecx,%eax
lea    (%rax,%rax,2),%ecx
imul   $0x55555556,(%rsp),%rsi
55
mov    %rsi,%rdi
shr    $0x3f,%rdi
shr    $0x20,%rsi
add    %edi,%esi
mov    0x34(%rsp),%edi
lea    (%rsi,%rsi,2),%esi
movslq %esi,%rsi
mov    %rsi,0x28(%rsp)
movslq %ecx,%r11
lea    (%rax,%rax,2),%eax
add    $0x2,%eax
cltq
mov    %rax,0x40(%rsp)
add    $0xffffffffffffffff,%r11
mov    0x38(%rsp),%rsi
mov    %edx,%r14d
mov    %ebp,%r13d
jmp    13a2 <recu+0x282>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r11
mov    %ebp,%r9d
cmp    0x40(%rsp),%r11
jge    154a <recu+0x42a>
mov    %r13d,0xc(%rsp)
mov    0x8(%rsi,%r11,8),%r10
mov    0x28(%rsp),%rax
mov    (%r10,%rax,4),%eax
mov    $0xffffffff,%ebp
cmp    %edi,%eax
je     13c0 <recu+0x2a0>
mov    %edi,%ebp
mov    $0xffffffff,%r13d
cmp    %r12d,%eax
mov    0x10(%rsp),%ecx
mov    0x14(%rsp),%edx
je     13d6 <recu+0x2b6>
mov    %r12d,%r13d
mov    $0xffffffff,%esi
cmp    %edx,%eax
je     13e1 <recu+0x2c1>
mov    %edx,%esi
mov    $0xffffffff,%r8d
cmp    %ecx,%eax
je     13ee <recu+0x2ce>
mov    %ecx,%r8d
mov    $0xffffffff,%edi
mov    0x20(%rsp),%ecx
cmp    %ecx,%eax
je     13fd <recu+0x2dd>
mov    %ecx,%edi
mov    %r14d,%edx
mov    $0xffffffff,%ecx
cmp    %ebx,%eax
je     140b <recu+0x2eb>
mov    %ebx,%ecx
mov    $0xffffffff,%r14d
cmp    %edx,%eax
je     1418 <recu+0x2f8>
mov    %edx,%r14d
mov    $0xffffffff,%r15d
mov    0xc(%rsp),%edx
cmp    %edx,%eax
je     1429 <recu+0x309>
mov    %edx,%r15d
mov    $0xffffffff,%r12d
cmp    %r9d,%eax
je     1437 <recu+0x317>
mov    %r9d,%r12d
mov    0x28(%rsp),%rax
mov    0x4(%r10,%rax,4),%eax
mov    $0xffffffff,%edx
cmp    %ebp,%eax
je     144c <recu+0x32c>
mov    %ebp,%edx
mov    $0xffffffff,%ebp
cmp    %r13d,%eax
je     1459 <recu+0x339>
mov    %r13d,%ebp
mov    $0xffffffff,%ebx
cmp    %esi,%eax
je     1464 <recu+0x344>
mov    %esi,%ebx
mov    $0xffffffff,%esi
cmp    %r8d,%eax
je     1471 <recu+0x351>
mov    %r8d,%esi
mov    $0xffffffff,%r13d
cmp    %edi,%eax
je     147e <recu+0x35e>
mov    %edi,%r13d
mov    $0xffffffff,%r9d
cmp    %ecx,%eax
je     148b <recu+0x36b>
mov    %ecx,%r9d
mov    $0xffffffff,%ecx
cmp    %r14d,%eax
je     1498 <recu+0x378>
mov    %r14d,%ecx
mov    $0xffffffff,%r8d
cmp    %r15d,%eax
je     14a6 <recu+0x386>
mov    %r15d,%r8d
mov    $0xffffffff,%r15d
cmp    %r12d,%eax
je     14b4 <recu+0x394>
mov    %r12d,%r15d
mov    0x28(%rsp),%rax
mov    0x8(%r10,%rax,4),%eax
mov    $0xffffffff,%edi
cmp    %edx,%eax
je     14c9 <recu+0x3a9>
mov    %edx,%edi
mov    $0xffffffff,%r12d
cmp    %ebp,%eax
je     14d6 <recu+0x3b6>
mov    %ebp,%r12d
movl   $0xffffffff,0x14(%rsp)
ff
cmp    %ebx,%eax
je     14e6 <recu+0x3c6>
mov    %ebx,0x14(%rsp)
movl   $0xffffffff,0x10(%rsp)
ff
cmp    %esi,%eax
mov    $0xffffffff,%ebp
je     14fb <recu+0x3db>
mov    %esi,0x10(%rsp)
mov    $0xffffffff,%edx
cmp    %r13d,%eax
mov    0x38(%rsp),%rsi
je     150d <recu+0x3ed>
mov    %r13d,%edx
mov    %edx,0x20(%rsp)
mov    $0xffffffff,%ebx
cmp    %r9d,%eax
je     151e <recu+0x3fe>
mov    %r9d,%ebx
mov    $0xffffffff,%r14d
cmp    %ecx,%eax
je     152b <recu+0x40b>
mov    %ecx,%r14d
mov    $0xffffffff,%r13d
cmp    %r8d,%eax
je     1539 <recu+0x419>
mov    %r8d,%r13d
cmp    %r15d,%eax
je     1390 <recu+0x270>
mov    %r15d,%ebp
jmp    1390 <recu+0x270>
mov    %r13d,0xc(%rsp)
cmp    $0xffffffff,%edi
mov    %ebx,%r13d
je     1588 <recu+0x468>
mov    %edi,%ebx
mov    %rsi,%rdi
mov    %rsi,%r15
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    %ebx,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %r15,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmp    $0xffffffff,%r12d
je     15be <recu+0x49e>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    %r12d,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmpl   $0xffffffff,0x14(%rsp)
je     15f8 <recu+0x4d8>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    0x14(%rsp),%esi
mov    %esi,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmpl   $0xffffffff,0x10(%rsp)
je     1632 <recu+0x512>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    0x10(%rsp),%esi
mov    %esi,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmpl   $0xffffffff,0x20(%rsp)
je     166c <recu+0x54c>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    0x20(%rsp),%esi
mov    %esi,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmp    $0xffffffff,%r13d
je     16a2 <recu+0x582>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    %r13d,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmp    $0xffffffff,%r14d
je     16d4 <recu+0x5b4>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    %r14d,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmpl   $0xffffffff,0xc(%rsp)
je     170a <recu+0x5ea>
mov    %rsi,%rdi
mov    %rsi,%rbx
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    0xc(%rsp),%esi
mov    %esi,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
mov    %rbx,%rsi
test   %rax,%rax
jne    1736 <recu+0x616>
cmp    $0xffffffff,%ebp
je     1734 <recu+0x614>
mov    %rsi,%rdi
call   1040 <copy@plt>
mov    0x18(%rsp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    (%rsp),%rdx
mov    %ebp,(%rcx,%rdx,4)
mov    %rax,%rdi
call   1030 <solve@plt>
test   %rax,%rax
jne    1736 <recu+0x616>
xor    %eax,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32** @recu(i32** %0, i32 %1, i32 %2) {
%4 = sext i32 %1 to i64
%5 = getelementptr inbounds i32*, i32** %0, i64 %4
%6 = load i32*, i32** %5
%7 = sext i32 %2 to i64
br label %8
8: ; preds = %3, %101
%9 = phi i32 [ 9, %3 ], [ %102, %101 ]
%10 = phi i32 [ 8, %3 ], [ %93, %101 ]
%11 = phi i32 [ 7, %3 ], [ %84, %101 ]
%12 = phi i32 [ 6, %3 ], [ %75, %101 ]
%13 = phi i32 [ 5, %3 ], [ %66, %101 ]
%14 = phi i32 [ 4, %3 ], [ %57, %101 ]
%15 = phi i32 [ 3, %3 ], [ %48, %101 ]
%16 = phi i32 [ 2, %3 ], [ %39, %101 ]
%17 = phi i32 [ 1, %3 ], [ %30, %101 ]
%18 = phi i64 [ 0, %3 ], [ %103, %101 ]
%19 = getelementptr inbounds i32, i32* %6, i64 %18
%20 = load i32, i32* %19
%21 = getelementptr inbounds i32*, i32** %0, i64 %18
%22 = icmp eq i32 %20, %17
br i1 %22, label %29, label %23
23: ; preds = %8
%24 = load i32*, i32** %21
%25 = getelementptr inbounds i32, i32* %24, i64 %7
%26 = load i32, i32* %25
%27 = icmp eq i32 %26, %17
%28 = select i1 %27, i32 -1, i32 %17
br label %29
29: ; preds = %23, %8
%30 = phi i32 [ -1, %8 ], [ %28, %23 ]
%31 = icmp eq i32 %20, %16
br i1 %31, label %38, label %32
32: ; preds = %29
%33 = load i32*, i32** %21
%34 = getelementptr inbounds i32, i32* %33, i64 %7
%35 = load i32, i32* %34
%36 = icmp eq i32 %35, %16
%37 = select i1 %36, i32 -1, i32 %16
br label %38
38: ; preds = %32, %29
%39 = phi i32 [ -1, %29 ], [ %37, %32 ]
%40 = icmp eq i32 %20, %15
br i1 %40, label %47, label %41
41: ; preds = %38
%42 = load i32*, i32** %21
%43 = getelementptr inbounds i32, i32* %42, i64 %7
%44 = load i32, i32* %43
%45 = icmp eq i32 %44, %15
%46 = select i1 %45, i32 -1, i32 %15
br label %47
47: ; preds = %41, %38
%48 = phi i32 [ -1, %38 ], [ %46, %41 ]
%49 = icmp eq i32 %20, %14
br i1 %49, label %56, label %50
50: ; preds = %47
%51 = load i32*, i32** %21
%52 = getelementptr inbounds i32, i32* %51, i64 %7
%53 = load i32, i32* %52
%54 = icmp eq i32 %53, %14
%55 = select i1 %54, i32 -1, i32 %14
br label %56
56: ; preds = %50, %47
%57 = phi i32 [ -1, %47 ], [ %55, %50 ]
%58 = icmp eq i32 %20, %13
br i1 %58, label %65, label %59
59: ; preds = %56
%60 = load i32*, i32** %21
%61 = getelementptr inbounds i32, i32* %60, i64 %7
%62 = load i32, i32* %61
%63 = icmp eq i32 %62, %13
%64 = select i1 %63, i32 -1, i32 %13
br label %65
65: ; preds = %59, %56
%66 = phi i32 [ -1, %56 ], [ %64, %59 ]
%67 = icmp eq i32 %20, %12
br i1 %67, label %74, label %68
68: ; preds = %65
%69 = load i32*, i32** %21
%70 = getelementptr inbounds i32, i32* %69, i64 %7
%71 = load i32, i32* %70
%72 = icmp eq i32 %71, %12
%73 = select i1 %72, i32 -1, i32 %12
br label %74
74: ; preds = %68, %65
%75 = phi i32 [ -1, %65 ], [ %73, %68 ]
%76 = icmp eq i32 %20, %11
br i1 %76, label %83, label %77
77: ; preds = %74
%78 = load i32*, i32** %21
%79 = getelementptr inbounds i32, i32* %78, i64 %7
%80 = load i32, i32* %79
%81 = icmp eq i32 %80, %11
%82 = select i1 %81, i32 -1, i32 %11
br label %83
83: ; preds = %77, %74
%84 = phi i32 [ -1, %74 ], [ %82, %77 ]
%85 = icmp eq i32 %20, %10
br i1 %85, label %92, label %86
86: ; preds = %83
%87 = load i32*, i32** %21
%88 = getelementptr inbounds i32, i32* %87, i64 %7
%89 = load i32, i32* %88
%90 = icmp eq i32 %89, %10
%91 = select i1 %90, i32 -1, i32 %10
br label %92
92: ; preds = %86, %83
%93 = phi i32 [ -1, %83 ], [ %91, %86 ]
%94 = icmp eq i32 %20, %9
br i1 %94, label %101, label %95
95: ; preds = %92
%96 = load i32*, i32** %21
%97 = getelementptr inbounds i32, i32* %96, i64 %7
%98 = load i32, i32* %97
%99 = icmp eq i32 %98, %9
%100 = select i1 %99, i32 -1, i32 %9
br label %101
101: ; preds = %95, %92
%102 = phi i32 [ -1, %92 ], [ %100, %95 ]
%103 = add nuw nsw i64 %18, 1
%104 = icmp eq i64 %103, 9
br i1 %104, label %105, label %8
105: ; preds = %101
%106 = srem i32 %1, 3
%107 = sub i32 %1, %106
%108 = srem i32 %2, 3
%109 = sub i32 %2, %108
%110 = sext i32 %109 to i64
%111 = sext i32 %107 to i64
%112 = add nsw i64 %110, 1
%113 = add nsw i64 %110, 2
%114 = add nsw i32 %107, 2
%115 = sext i32 %114 to i64
br label %118
116: ; preds = %118
%117 = icmp eq i32 %174, -1
br i1 %117, label %200, label %193
118: ; preds = %105, %118
%119 = phi i32 [ %102, %105 ], [ %190, %118 ]
%120 = phi i32 [ %93, %105 ], [ %188, %118 ]
%121 = phi i32 [ %84, %105 ], [ %186, %118 ]
%122 = phi i32 [ %75, %105 ], [ %184, %118 ]
%123 = phi i32 [ %66, %105 ], [ %182, %118 ]
%124 = phi i32 [ %57, %105 ], [ %180, %118 ]
%125 = phi i32 [ %48, %105 ], [ %178, %118 ]
%126 = phi i32 [ %39, %105 ], [ %176, %118 ]
%127 = phi i32 [ %30, %105 ], [ %174, %118 ]
%128 = phi i64 [ %111, %105 ], [ %191, %118 ]
%129 = getelementptr inbounds i32*, i32** %0, i64 %128
%130 = load i32*, i32** %129
%131 = getelementptr inbounds i32, i32* %130, i64 %110
%132 = load i32, i32* %131
%133 = icmp eq i32 %132, %127
%134 = select i1 %133, i32 -1, i32 %127
%135 = icmp eq i32 %132, %126
%136 = select i1 %135, i32 -1, i32 %126
%137 = icmp eq i32 %132, %125
%138 = select i1 %137, i32 -1, i32 %125
%139 = icmp eq i32 %132, %124
%140 = select i1 %139, i32 -1, i32 %124
%141 = icmp eq i32 %132, %123
%142 = select i1 %141, i32 -1, i32 %123
%143 = icmp eq i32 %132, %122
%144 = select i1 %143, i32 -1, i32 %122
%145 = icmp eq i32 %132, %121
%146 = select i1 %145, i32 -1, i32 %121
%147 = icmp eq i32 %132, %120
%148 = select i1 %147, i32 -1, i32 %120
%149 = icmp eq i32 %132, %119
%150 = select i1 %149, i32 -1, i32 %119
%151 = getelementptr inbounds i32, i32* %130, i64 %112
%152 = load i32, i32* %151
%153 = icmp eq i32 %152, %134
%154 = select i1 %153, i32 -1, i32 %134
%155 = icmp eq i32 %152, %136
%156 = select i1 %155, i32 -1, i32 %136
%157 = icmp eq i32 %152, %138
%158 = select i1 %157, i32 -1, i32 %138
%159 = icmp eq i32 %152, %140
%160 = select i1 %159, i32 -1, i32 %140
%161 = icmp eq i32 %152, %142
%162 = select i1 %161, i32 -1, i32 %142
%163 = icmp eq i32 %152, %144
%164 = select i1 %163, i32 -1, i32 %144
%165 = icmp eq i32 %152, %146
%166 = select i1 %165, i32 -1, i32 %146
%167 = icmp eq i32 %152, %148
%168 = select i1 %167, i32 -1, i32 %148
%169 = icmp eq i32 %152, %150
%170 = select i1 %169, i32 -1, i32 %150
%171 = getelementptr inbounds i32, i32* %130, i64 %113
%172 = load i32, i32* %171
%173 = icmp eq i32 %172, %154
%174 = select i1 %173, i32 -1, i32 %154
%175 = icmp eq i32 %172, %156
%176 = select i1 %175, i32 -1, i32 %156
%177 = icmp eq i32 %172, %158
%178 = select i1 %177, i32 -1, i32 %158
%179 = icmp eq i32 %172, %160
%180 = select i1 %179, i32 -1, i32 %160
%181 = icmp eq i32 %172, %162
%182 = select i1 %181, i32 -1, i32 %162
%183 = icmp eq i32 %172, %164
%184 = select i1 %183, i32 -1, i32 %164
%185 = icmp eq i32 %172, %166
%186 = select i1 %185, i32 -1, i32 %166
%187 = icmp eq i32 %172, %168
%188 = select i1 %187, i32 -1, i32 %168
%189 = icmp eq i32 %172, %170
%190 = select i1 %189, i32 -1, i32 %170
%191 = add nsw i64 %128, 1
%192 = icmp slt i64 %128, %115
br i1 %192, label %118, label %116
193: ; preds = %116
%194 = tail call i32** @copy(i32** %0)
%195 = getelementptr inbounds i32*, i32** %194, i64 %4
%196 = load i32*, i32** %195
%197 = getelementptr inbounds i32, i32* %196, i64 %7
store i32 %174, i32* %197
%198 = tail call i32** @solve(i32** %194)
%199 = icmp eq i32** %198, null
br i1 %199, label %200, label %273
200: ; preds = %193, %116
%201 = icmp eq i32 %176, -1
br i1 %201, label %209, label %202
202: ; preds = %200
%203 = tail call i32** @copy(i32** %0)
%204 = getelementptr inbounds i32*, i32** %203, i64 %4
%205 = load i32*, i32** %204
%206 = getelementptr inbounds i32, i32* %205, i64 %7
store i32 %176, i32* %206
%207 = tail call i32** @solve(i32** %203)
%208 = icmp eq i32** %207, null
br i1 %208, label %209, label %273
209: ; preds = %202, %200
%210 = icmp eq i32 %178, -1
br i1 %210, label %218, label %211
211: ; preds = %209
%212 = tail call i32** @copy(i32** %0)
%213 = getelementptr inbounds i32*, i32** %212, i64 %4
%214 = load i32*, i32** %213
%215 = getelementptr inbounds i32, i32* %214, i64 %7
store i32 %178, i32* %215
%216 = tail call i32** @solve(i32** %212)
%217 = icmp eq i32** %216, null
br i1 %217, label %218, label %273
218: ; preds = %211, %209
%219 = icmp eq i32 %180, -1
br i1 %219, label %227, label %220
220: ; preds = %218
%221 = tail call i32** @copy(i32** %0)
%222 = getelementptr inbounds i32*, i32** %221, i64 %4
%223 = load i32*, i32** %222
%224 = getelementptr inbounds i32, i32* %223, i64 %7
store i32 %180, i32* %224
%225 = tail call i32** @solve(i32** %221)
%226 = icmp eq i32** %225, null
br i1 %226, label %227, label %273
227: ; preds = %220, %218
%228 = icmp eq i32 %182, -1
br i1 %228, label %236, label %229
229: ; preds = %227
%230 = tail call i32** @copy(i32** %0)
%231 = getelementptr inbounds i32*, i32** %230, i64 %4
%232 = load i32*, i32** %231
%233 = getelementptr inbounds i32, i32* %232, i64 %7
store i32 %182, i32* %233
%234 = tail call i32** @solve(i32** %230)
%235 = icmp eq i32** %234, null
br i1 %235, label %236, label %273
236: ; preds = %229, %227
%237 = icmp eq i32 %184, -1
br i1 %237, label %245, label %238
238: ; preds = %236
%239 = tail call i32** @copy(i32** %0)
%240 = getelementptr inbounds i32*, i32** %239, i64 %4
%241 = load i32*, i32** %240
%242 = getelementptr inbounds i32, i32* %241, i64 %7
store i32 %184, i32* %242
%243 = tail call i32** @solve(i32** %239)
%244 = icmp eq i32** %243, null
br i1 %244, label %245, label %273
245: ; preds = %238, %236
%246 = icmp eq i32 %186, -1
br i1 %246, label %254, label %247
247: ; preds = %245
%248 = tail call i32** @copy(i32** %0)
%249 = getelementptr inbounds i32*, i32** %248, i64 %4
%250 = load i32*, i32** %249
%251 = getelementptr inbounds i32, i32* %250, i64 %7
store i32 %186, i32* %251
%252 = tail call i32** @solve(i32** %248)
%253 = icmp eq i32** %252, null
br i1 %253, label %254, label %273
254: ; preds = %247, %245
%255 = icmp eq i32 %188, -1
br i1 %255, label %263, label %256
256: ; preds = %254
%257 = tail call i32** @copy(i32** %0)
%258 = getelementptr inbounds i32*, i32** %257, i64 %4
%259 = load i32*, i32** %258
%260 = getelementptr inbounds i32, i32* %259, i64 %7
store i32 %188, i32* %260
%261 = tail call i32** @solve(i32** %257)
%262 = icmp eq i32** %261, null
br i1 %262, label %263, label %273
263: ; preds = %256, %254
%264 = icmp eq i32 %190, -1
br i1 %264, label %272, label %265
265: ; preds = %263
%266 = tail call i32** @copy(i32** %0)
%267 = getelementptr inbounds i32*, i32** %266, i64 %4
%268 = load i32*, i32** %267
%269 = getelementptr inbounds i32, i32* %268, i64 %7
store i32 %190, i32* %269
%270 = tail call i32** @solve(i32** %266)
%271 = icmp eq i32** %270, null
br i1 %271, label %272, label %273
272: ; preds = %265, %263
br label %273
273: ; preds = %272, %265, %256, %247, %238, %229, %220, %211, %202, %193
%274 = phi i32** [ %198, %193 ], [ %207, %202 ], [ %216, %211 ], [ %225, %220 ], [ %234, %229 ], [ %243, %238 ], [ %252, %247 ], [ %261, %256 ], [ %270, %265 ], [ null, %272 ]
ret i32** %274
}