#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*/ copy_sudoku(int **, int **);
int countCellToSolve(int **);
int /*<<< orphan*/ initArray(int *, int, int /*<<< orphan*/);
scalar_t__ isPowerOfTwo(int);
char make_sudoku_search_node(int **, int **, int, int, int);
int own_log2(int);
int /*<<< orphan*/ printf(char *);
int searchSolutions(int **, int **);
scalar_t__ sudokuValide(int **);
void solveSudokuRec(int sudoku[9][9], char *hasResult,
                    int prevSolutionsArg[9][9]) {
  int cellToSolve = countCellToSolve(sudoku);
  int solutions[9][9];
  int prevSolutions[9][9];
  copy_sudoku(prevSolutionsArg, prevSolutions);
  while (cellToSolve > 0) {
    int i;
    for (i = 0; i < 9; i++) {
      initArray(solutions[i], 9, 0);
    }
    int count = searchSolutions(sudoku, solutions);
    int j;
    for (i = 0; i < 9; i++) {
      for (j = 0; j < 9; j++) {
        if (solutions[i][j] != 0 && isPowerOfTwo(solutions[i][j]))
          sudoku[i][j] = own_log2(solutions[i][j]);
      }
    }
    int cellToSolveBefore = cellToSolve;
    cellToSolve = countCellToSolve(sudoku);
    if (cellToSolve == cellToSolveBefore && count > 0) {
      char goOut = 0;
      for (i = 0; i < 9 && !goOut; i++) {
        for (j = 0; j < 9 && !goOut; j++) {
          if (solutions[i][j] != 0) {
            int k;
            for (k = 1; k < 10 && !goOut; k++) {
              if ((solutions[i][j] & (1 << k)) &&
                  (solutions[i][j] ^ prevSolutions[i][j])) {
                goOut = make_sudoku_search_node(sudoku, solutions, i, j, k);
              }
            }
          }
        }
      }
      if (!goOut) {
        printf("Sudoku is not simple !\n");
        for (i = 0; i < 9 && !goOut; i++) {
          for (j = 0; j < 9 && !goOut; j++) {
            if (solutions[i][j] != 0) {
              int k;
              for (k = 1; k < 10 && !goOut; k++) {
                if ((solutions[i][j] & (1 << k)) &&
                    !(solutions[i][j] ^ prevSolutions[i][j])) {
                  goOut = make_sudoku_search_node(sudoku, solutions, i, j, k);
                }
              }
            }
          }
        }
        if (!goOut)
          return;
      }
      break;
    } else if (count == 0) {
      break;
    }
    copy_sudoku(solutions, prevSolutions);
    if (!sudokuValide(sudoku))
      return;
  }
  if (hasResult != NULL && sudokuValide(sudoku))
    *hasResult = 1;
}


x86 assembly (clang, -O0):
<solveSudokuRec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2e0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <countCellToSolve@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
lea    -0x2b0(%rbp),%rsi
call   10b0 <copy_sudoku@plt>
cmpl   $0x0,-0x1c(%rbp)
jle    17af <solveSudokuRec+0x61f>
movl   $0x0,-0x2b4(%rbp)
cmpl   $0x9,-0x2b4(%rbp)
jge    1219 <solveSudokuRec+0x89>
movslq -0x2b4(%rbp),%rax
lea    -0x160(%rbp),%rdi
imul   $0x24,%rax,%rax
add    %rax,%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
mov    -0x2b4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b4(%rbp)
jmp    11d7 <solveSudokuRec+0x47>
mov    -0x8(%rbp),%rdi
lea    -0x160(%rbp),%rsi
call   10a0 <searchSolutions@plt>
mov    %eax,-0x2b8(%rbp)
movl   $0x0,-0x2b4(%rbp)
cmpl   $0x9,-0x2b4(%rbp)
jge    1325 <solveSudokuRec+0x195>
movl   $0x0,-0x2bc(%rbp)
cmpl   $0x9,-0x2bc(%rbp)
jge    130c <solveSudokuRec+0x17c>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12f3 <solveSudokuRec+0x163>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
call   1050 <isPowerOfTwo@plt>
cmp    $0x0,%rax
je     12f3 <solveSudokuRec+0x163>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
call   1030 <own_log2@plt>
mov    %eax,%edx
mov    -0x8(%rbp),%rax
movslq -0x2b4(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f8 <solveSudokuRec+0x168>
mov    -0x2bc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2bc(%rbp)
jmp    1250 <solveSudokuRec+0xc0>
jmp    1311 <solveSudokuRec+0x181>
mov    -0x2b4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b4(%rbp)
jmp    1239 <solveSudokuRec+0xa9>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x2c0(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <countCellToSolve@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x2c0(%rbp),%eax
jne    1768 <solveSudokuRec+0x5d8>
cmpl   $0x0,-0x2b8(%rbp)
jle    1768 <solveSudokuRec+0x5d8>
movb   $0x0,-0x2c1(%rbp)
movl   $0x0,-0x2b4(%rbp)
xor    %eax,%eax
cmpl   $0x9,-0x2b4(%rbp)
mov    %al,-0x2cd(%rbp)
jge    138e <solveSudokuRec+0x1fe>
cmpb   $0x0,-0x2c1(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2cd(%rbp)
mov    -0x2cd(%rbp),%al
test   $0x1,%al
jne    13a1 <solveSudokuRec+0x211>
jmp    1548 <solveSudokuRec+0x3b8>
movl   $0x0,-0x2bc(%rbp)
xor    %eax,%eax
cmpl   $0x9,-0x2bc(%rbp)
mov    %al,-0x2ce(%rbp)
jge    13d2 <solveSudokuRec+0x242>
cmpb   $0x0,-0x2c1(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2ce(%rbp)
mov    -0x2ce(%rbp),%al
test   $0x1,%al
jne    13e5 <solveSudokuRec+0x255>
jmp    152f <solveSudokuRec+0x39f>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1516 <solveSudokuRec+0x386>
movl   $0x1,-0x2c8(%rbp)
xor    %eax,%eax
cmpl   $0xa,-0x2c8(%rbp)
mov    %al,-0x2cf(%rbp)
jge    143c <solveSudokuRec+0x2ac>
cmpb   $0x0,-0x2c1(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2cf(%rbp)
mov    -0x2cf(%rbp),%al
test   $0x1,%al
jne    144f <solveSudokuRec+0x2bf>
jmp    1511 <solveSudokuRec+0x381>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x2c8(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     14f8 <solveSudokuRec+0x368>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x2b4(%rbp),%rdx
lea    -0x2b0(%rbp),%rcx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
movslq -0x2bc(%rbp),%rdx
xor    (%rcx,%rdx,4),%eax
cmp    $0x0,%eax
je     14f8 <solveSudokuRec+0x368>
mov    -0x8(%rbp),%rdi
lea    -0x160(%rbp),%rsi
mov    -0x2b4(%rbp),%edx
mov    -0x2bc(%rbp),%ecx
mov    -0x2c8(%rbp),%r8d
call   1060 <make_sudoku_search_node@plt>
mov    %al,-0x2c1(%rbp)
jmp    14fd <solveSudokuRec+0x36d>
mov    -0x2c8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c8(%rbp)
jmp    1415 <solveSudokuRec+0x285>
jmp    1516 <solveSudokuRec+0x386>
jmp    151b <solveSudokuRec+0x38b>
mov    -0x2bc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2bc(%rbp)
jmp    13ab <solveSudokuRec+0x21b>
jmp    1534 <solveSudokuRec+0x3a4>
mov    -0x2b4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b4(%rbp)
jmp    1367 <solveSudokuRec+0x1d7>
cmpb   $0x0,-0x2c1(%rbp)
jne    1763 <solveSudokuRec+0x5d3>
lea    0xaa4(%rip),%rdi
call   1070 <printf@plt>
movl   $0x0,-0x2b4(%rbp)
xor    %eax,%eax
cmpl   $0x9,-0x2b4(%rbp)
mov    %al,-0x2d0(%rbp)
jge    1592 <solveSudokuRec+0x402>
cmpb   $0x0,-0x2c1(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2d0(%rbp)
mov    -0x2d0(%rbp),%al
test   $0x1,%al
jne    15a5 <solveSudokuRec+0x415>
jmp    174c <solveSudokuRec+0x5bc>
movl   $0x0,-0x2bc(%rbp)
xor    %eax,%eax
cmpl   $0x9,-0x2bc(%rbp)
mov    %al,-0x2d1(%rbp)
jge    15d6 <solveSudokuRec+0x446>
cmpb   $0x0,-0x2c1(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2d1(%rbp)
mov    -0x2d1(%rbp),%al
test   $0x1,%al
jne    15e9 <solveSudokuRec+0x459>
jmp    1733 <solveSudokuRec+0x5a3>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     171a <solveSudokuRec+0x58a>
movl   $0x1,-0x2cc(%rbp)
xor    %eax,%eax
cmpl   $0xa,-0x2cc(%rbp)
mov    %al,-0x2d2(%rbp)
jge    1640 <solveSudokuRec+0x4b0>
cmpb   $0x0,-0x2c1(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x2d2(%rbp)
mov    -0x2d2(%rbp),%al
test   $0x1,%al
jne    1653 <solveSudokuRec+0x4c3>
jmp    1715 <solveSudokuRec+0x585>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x2cc(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     16fc <solveSudokuRec+0x56c>
movslq -0x2b4(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2bc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x2b4(%rbp),%rdx
lea    -0x2b0(%rbp),%rcx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
movslq -0x2bc(%rbp),%rdx
xor    (%rcx,%rdx,4),%eax
cmp    $0x0,%eax
jne    16fc <solveSudokuRec+0x56c>
mov    -0x8(%rbp),%rdi
lea    -0x160(%rbp),%rsi
mov    -0x2b4(%rbp),%edx
mov    -0x2bc(%rbp),%ecx
mov    -0x2cc(%rbp),%r8d
call   1060 <make_sudoku_search_node@plt>
mov    %al,-0x2c1(%rbp)
jmp    1701 <solveSudokuRec+0x571>
mov    -0x2cc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2cc(%rbp)
jmp    1619 <solveSudokuRec+0x489>
jmp    171a <solveSudokuRec+0x58a>
jmp    171f <solveSudokuRec+0x58f>
mov    -0x2bc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2bc(%rbp)
jmp    15af <solveSudokuRec+0x41f>
jmp    1738 <solveSudokuRec+0x5a8>
mov    -0x2b4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b4(%rbp)
jmp    156b <solveSudokuRec+0x3db>
cmpb   $0x0,-0x2c1(%rbp)
jne    175e <solveSudokuRec+0x5ce>
jmp    17d4 <solveSudokuRec+0x644>
jmp    1763 <solveSudokuRec+0x5d3>
jmp    17af <solveSudokuRec+0x61f>
cmpl   $0x0,-0x2b8(%rbp)
jne    177a <solveSudokuRec+0x5ea>
jmp    17af <solveSudokuRec+0x61f>
jmp    177f <solveSudokuRec+0x5ef>
lea    -0x160(%rbp),%rdi
lea    -0x2b0(%rbp),%rsi
call   10b0 <copy_sudoku@plt>
mov    -0x8(%rbp),%rdi
call   1090 <sudokuValide@plt>
cmp    $0x0,%rax
jne    17aa <solveSudokuRec+0x61a>
jmp    17d4 <solveSudokuRec+0x644>
jmp    11c3 <solveSudokuRec+0x33>
cmpq   $0x0,-0x10(%rbp)
je     17d4 <solveSudokuRec+0x644>
mov    -0x8(%rbp),%rdi
call   1090 <sudokuValide@plt>
cmp    $0x0,%rax
je     17d4 <solveSudokuRec+0x644>
mov    -0x10(%rbp),%rax
movb   $0x1,(%rax)
add    $0x2e0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solveSudokuRec>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2a8,%rsp
mov    %rdx,%rbp
mov    %rsi,0x8(%rsp)
mov    %rdi,(%rsp)
call   1040 <countCellToSolve@plt>
mov    %eax,%ebx
lea    0x160(%rsp),%r14
mov    %rbp,%rdi
mov    %r14,%rsi
call   10b0 <copy_sudoku@plt>
lea    0x10(%rsp),%r12
nopl   0x0(%rax)
test   %ebx,%ebx
jle    151a <solveSudokuRec+0x38a>
mov    %r12,%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0x34(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0x58(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0x7c(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0xa0(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0xc4(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0xe8(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0x10c(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
lea    0x130(%rsp),%rdi
mov    $0x9,%esi
xor    %edx,%edx
call   1080 <initArray@plt>
mov    (%rsp),%rdi
mov    %r12,%rsi
call   10a0 <searchSolutions@plt>
mov    %eax,%r15d
mov    $0x20,%ebp
jmp    12b1 <solveSudokuRec+0x121>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x24,%rbp
cmp    $0x164,%rbp
je     1400 <solveSudokuRec+0x270>
mov    -0x10(%rsp,%rbp,1),%edi
test   %edi,%edi
je     12d4 <solveSudokuRec+0x144>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     12d4 <solveSudokuRec+0x144>
mov    -0x10(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x20(%rcx,%rbp,1)
mov    -0xc(%rsp,%rbp,1),%edi
test   %edi,%edi
je     12f7 <solveSudokuRec+0x167>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     12f7 <solveSudokuRec+0x167>
mov    -0xc(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x1c(%rcx,%rbp,1)
mov    -0x8(%rsp,%rbp,1),%edi
test   %edi,%edi
je     131a <solveSudokuRec+0x18a>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     131a <solveSudokuRec+0x18a>
mov    -0x8(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x18(%rcx,%rbp,1)
mov    -0x4(%rsp,%rbp,1),%edi
test   %edi,%edi
je     133d <solveSudokuRec+0x1ad>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     133d <solveSudokuRec+0x1ad>
mov    -0x4(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x14(%rcx,%rbp,1)
mov    (%rsp,%rbp,1),%edi
test   %edi,%edi
je     135e <solveSudokuRec+0x1ce>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     135e <solveSudokuRec+0x1ce>
mov    (%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x10(%rcx,%rbp,1)
mov    0x4(%rsp,%rbp,1),%edi
test   %edi,%edi
je     1381 <solveSudokuRec+0x1f1>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     1381 <solveSudokuRec+0x1f1>
mov    0x4(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0xc(%rcx,%rbp,1)
mov    0x8(%rsp,%rbp,1),%edi
test   %edi,%edi
je     13a4 <solveSudokuRec+0x214>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     13a4 <solveSudokuRec+0x214>
mov    0x8(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x8(%rcx,%rbp,1)
mov    0xc(%rsp,%rbp,1),%edi
test   %edi,%edi
je     13c7 <solveSudokuRec+0x237>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     13c7 <solveSudokuRec+0x237>
mov    0xc(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,-0x4(%rcx,%rbp,1)
mov    0x10(%rsp,%rbp,1),%edi
test   %edi,%edi
je     12a0 <solveSudokuRec+0x110>
call   1060 <isPowerOfTwo@plt>
test   %rax,%rax
je     12a0 <solveSudokuRec+0x110>
mov    0x10(%rsp,%rbp,1),%edi
call   1030 <own_log2@plt>
mov    (%rsp),%rcx
mov    %eax,(%rcx,%rbp,1)
jmp    12a0 <solveSudokuRec+0x110>
cs nopw 0x0(%rax,%rax,1)
mov    (%rsp),%rdi
call   1040 <countCellToSolve@plt>
mov    %eax,%r13d
cmp    %ebx,%eax
jne    1415 <solveSudokuRec+0x285>
test   %r15d,%r15d
jg     1443 <solveSudokuRec+0x2b3>
test   %r15d,%r15d
je     151a <solveSudokuRec+0x38a>
mov    %r12,%rdi
mov    %r14,%rsi
call   10b0 <copy_sudoku@plt>
mov    (%rsp),%rdi
call   1090 <sudokuValide@plt>
mov    %r13d,%ebx
test   %rax,%rax
jne    11d0 <solveSudokuRec+0x40>
jmp    1538 <solveSudokuRec+0x3a8>
xor    %r12d,%r12d
lea    0x10(%rsp),%r15
nopl   0x0(%rax,%rax,1)
xor    %r13d,%r13d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%r12,%r12,8),%rcx
lea    (%rsp,%rcx,4),%rdx
add    $0x10,%rdx
mov    (%rdx,%r13,4),%eax
test   %eax,%eax
je     14f0 <solveSudokuRec+0x360>
lea    (%rdx,%r13,4),%rbx
lea    (%rsp,%rcx,4),%rcx
add    $0x160,%rcx
lea    (%rcx,%r13,4),%r14
mov    $0x1,%ebp
bt     %ebp,%eax
jae    14d0 <solveSudokuRec+0x340>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    (%r14),%eax
je     14d0 <solveSudokuRec+0x340>
mov    (%rsp),%rdi
mov    %r15,%rsi
mov    %r12d,%edx
mov    %r13d,%ecx
mov    %ebp,%r8d
call   1070 <make_sudoku_search_node@plt>
cmp    $0x8,%ebp
jbe    14d7 <solveSudokuRec+0x347>
jmp    14f2 <solveSudokuRec+0x362>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
cmp    $0x8,%ebp
ja     14f2 <solveSudokuRec+0x362>
test   %al,%al
jne    14f2 <solveSudokuRec+0x362>
add    $0x1,%ebp
mov    (%rbx),%eax
bt     %ebp,%eax
jb     14a0 <solveSudokuRec+0x310>
jmp    14d0 <solveSudokuRec+0x340>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
cmp    $0x7,%r13
ja     1504 <solveSudokuRec+0x374>
add    $0x1,%r13
test   %al,%al
je     1460 <solveSudokuRec+0x2d0>
cmp    $0x7,%r12
ja     1516 <solveSudokuRec+0x386>
add    $0x1,%r12
test   %al,%al
je     1450 <solveSudokuRec+0x2c0>
test   %al,%al
je     154a <solveSudokuRec+0x3ba>
cmpq   $0x0,0x8(%rsp)
je     1538 <solveSudokuRec+0x3a8>
mov    (%rsp),%rdi
call   1090 <sudokuValide@plt>
test   %rax,%rax
je     1538 <solveSudokuRec+0x3a8>
mov    0x8(%rsp),%rax
movb   $0x1,(%rax)
add    $0x2a8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0xaaf(%rip),%rdi
call   1050 <puts@plt>
xor    %r12d,%r12d
lea    0x10(%rsp),%r15
xchg   %ax,%ax
xor    %r13d,%r13d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%r12,%r12,8),%rcx
lea    (%rsp,%rcx,4),%rdx
add    $0x10,%rdx
mov    (%rdx,%r13,4),%eax
test   %eax,%eax
je     1600 <solveSudokuRec+0x470>
lea    (%rdx,%r13,4),%rbx
lea    (%rsp,%rcx,4),%rcx
add    $0x160,%rcx
lea    (%rcx,%r13,4),%r14
mov    $0x1,%ebp
bt     %ebp,%eax
jae    15e0 <solveSudokuRec+0x450>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    (%r14),%eax
jne    15e0 <solveSudokuRec+0x450>
mov    (%rsp),%rdi
mov    %r15,%rsi
mov    %r12d,%edx
mov    %r13d,%ecx
mov    %ebp,%r8d
call   1070 <make_sudoku_search_node@plt>
cmp    $0x8,%ebp
jbe    15e7 <solveSudokuRec+0x457>
jmp    1602 <solveSudokuRec+0x472>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
cmp    $0x8,%ebp
ja     1602 <solveSudokuRec+0x472>
test   %al,%al
jne    1602 <solveSudokuRec+0x472>
add    $0x1,%ebp
mov    (%rbx),%eax
bt     %ebp,%eax
jb     15b0 <solveSudokuRec+0x420>
jmp    15e0 <solveSudokuRec+0x450>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
cmp    $0x7,%r13
ja     1614 <solveSudokuRec+0x484>
add    $0x1,%r13
test   %al,%al
je     1570 <solveSudokuRec+0x3e0>
cmp    $0x7,%r12
ja     1626 <solveSudokuRec+0x496>
add    $0x1,%r12
test   %al,%al
je     1560 <solveSudokuRec+0x3d0>
cmpq   $0x0,0x8(%rsp)
je     1538 <solveSudokuRec+0x3a8>
test   %al,%al
jne    1522 <solveSudokuRec+0x392>
jmp    1538 <solveSudokuRec+0x3a8>

LLVM IR (-O0):
@.str = [24 x i8] c"Sudoku is not simple !\0A\00"
define void @solveSudokuRec([9 x i32]* %0, i8* %1, [9 x i32]* %2) {
%4 = alloca [9 x i32]*
%5 = alloca i8*
%6 = alloca [9 x i32]*
%7 = alloca i32
%8 = alloca [9 x [9 x i32]]
%9 = alloca [9 x [9 x i32]]
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i8
%15 = alloca i32
%16 = alloca i32
store [9 x i32]* %0, [9 x i32]** %4
store i8* %1, i8** %5
store [9 x i32]* %2, [9 x i32]** %6
%17 = load [9 x i32]*, [9 x i32]** %4
%18 = bitcast [9 x i32]* %17 to i32**
%19 = call i32 @countCellToSolve(i32** %18)
store i32 %19, i32* %7
%20 = load [9 x i32]*, [9 x i32]** %6
%21 = bitcast [9 x i32]* %20 to i32**
%22 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 0
%23 = bitcast [9 x i32]* %22 to i32**
%24 = call i32 @copy_sudoku(i32** %21, i32** %23)
br label %25
25: ; preds = %314, %3
%26 = load i32, i32* %7
%27 = icmp sgt i32 %26, 0
br i1 %27, label %28, label %315
28: ; preds = %25
store i32 0, i32* %10
br label %29
29: ; preds = %38, %28
%30 = load i32, i32* %10
%31 = icmp slt i32 %30, 9
br i1 %31, label %32, label %41
32: ; preds = %29
%33 = load i32, i32* %10
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %34
%36 = getelementptr inbounds [9 x i32], [9 x i32]* %35, i64 0, i64 0
%37 = call i32 @initArray(i32* %36, i32 9, i32 0)
br label %38
38: ; preds = %32
%39 = load i32, i32* %10
%40 = add nsw i32 %39, 1
store i32 %40, i32* %10
br label %29
41: ; preds = %29
%42 = load [9 x i32]*, [9 x i32]** %4
%43 = bitcast [9 x i32]* %42 to i32**
%44 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 0
%45 = bitcast [9 x i32]* %44 to i32**
%46 = call i32 @searchSolutions(i32** %43, i32** %45)
store i32 %46, i32* %11
store i32 0, i32* %10
br label %47
47: ; preds = %94, %41
%48 = load i32, i32* %10
%49 = icmp slt i32 %48, 9
br i1 %49, label %50, label %97
50: ; preds = %47
store i32 0, i32* %12
br label %51
51: ; preds = %90, %50
%52 = load i32, i32* %12
%53 = icmp slt i32 %52, 9
br i1 %53, label %54, label %93
54: ; preds = %51
%55 = load i32, i32* %10
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %56
%58 = load i32, i32* %12
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [9 x i32], [9 x i32]* %57, i64 0, i64 %59
%61 = load i32, i32* %60
%62 = icmp ne i32 %61, 0
br i1 %62, label %63, label %89
63: ; preds = %54
%64 = load i32, i32* %10
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %65
%67 = load i32, i32* %12
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [9 x i32], [9 x i32]* %66, i64 0, i64 %68
%70 = load i32, i32* %69
%71 = call i64 @isPowerOfTwo(i32 %70)
%72 = icmp ne i64 %71, 0
br i1 %72, label %73, label %89
73: ; preds = %63
%74 = load i32, i32* %10
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %75
%77 = load i32, i32* %12
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [9 x i32], [9 x i32]* %76, i64 0, i64 %78
%80 = load i32, i32* %79
%81 = call i32 @own_log2(i32 %80)
%82 = load [9 x i32]*, [9 x i32]** %4
%83 = load i32, i32* %10
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds [9 x i32], [9 x i32]* %82, i64 %84
%86 = load i32, i32* %12
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds [9 x i32], [9 x i32]* %85, i64 0, i64 %87
store i32 %81, i32* %88
br label %89
89: ; preds = %73, %63, %54
br label %90
90: ; preds = %89
%91 = load i32, i32* %12
%92 = add nsw i32 %91, 1
store i32 %92, i32* %12
br label %51
93: ; preds = %51
br label %94
94: ; preds = %93
%95 = load i32, i32* %10
%96 = add nsw i32 %95, 1
store i32 %96, i32* %10
br label %47
97: ; preds = %47
%98 = load i32, i32* %7
store i32 %98, i32* %13
%99 = load [9 x i32]*, [9 x i32]** %4
%100 = bitcast [9 x i32]* %99 to i32**
%101 = call i32 @countCellToSolve(i32** %100)
store i32 %101, i32* %7
%102 = load i32, i32* %7
%103 = load i32, i32* %13
%104 = icmp eq i32 %102, %103
br i1 %104, label %105, label %298
105: ; preds = %97
%106 = load i32, i32* %11
%107 = icmp sgt i32 %106, 0
br i1 %107, label %108, label %298
108: ; preds = %105
store i8 0, i8* %14
store i32 0, i32* %10
br label %109
109: ; preds = %195, %108
%110 = load i32, i32* %10
%111 = icmp slt i32 %110, 9
br i1 %111, label %112, label %116
112: ; preds = %109
%113 = load i8, i8* %14
%114 = icmp ne i8 %113, 0
%115 = xor i1 %114, true
br label %116
116: ; preds = %112, %109
%117 = phi i1 [ false, %109 ], [ %115, %112 ]
br i1 %117, label %118, label %198
118: ; preds = %116
store i32 0, i32* %12
br label %119
119: ; preds = %191, %118
%120 = load i32, i32* %12
%121 = icmp slt i32 %120, 9
br i1 %121, label %122, label %126
122: ; preds = %119
%123 = load i8, i8* %14
%124 = icmp ne i8 %123, 0
%125 = xor i1 %124, true
br label %126
126: ; preds = %122, %119
%127 = phi i1 [ false, %119 ], [ %125, %122 ]
br i1 %127, label %128, label %194
128: ; preds = %126
%129 = load i32, i32* %10
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %130
%132 = load i32, i32* %12
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds [9 x i32], [9 x i32]* %131, i64 0, i64 %133
%135 = load i32, i32* %134
%136 = icmp ne i32 %135, 0
br i1 %136, label %137, label %190
137: ; preds = %128
store i32 1, i32* %15
br label %138
138: ; preds = %186, %137
%139 = load i32, i32* %15
%140 = icmp slt i32 %139, 10
br i1 %140, label %141, label %145
141: ; preds = %138
%142 = load i8, i8* %14
%143 = icmp ne i8 %142, 0
%144 = xor i1 %143, true
br label %145
145: ; preds = %141, %138
%146 = phi i1 [ false, %138 ], [ %144, %141 ]
br i1 %146, label %147, label %189
147: ; preds = %145
%148 = load i32, i32* %10
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %149
%151 = load i32, i32* %12
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds [9 x i32], [9 x i32]* %150, i64 0, i64 %152
%154 = load i32, i32* %153
%155 = load i32, i32* %15
%156 = shl i32 1, %155
%157 = and i32 %154, %156
%158 = icmp ne i32 %157, 0
br i1 %158, label %159, label %185
159: ; preds = %147
%160 = load i32, i32* %10
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %161
%163 = load i32, i32* %12
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds [9 x i32], [9 x i32]* %162, i64 0, i64 %164
%166 = load i32, i32* %165
%167 = load i32, i32* %10
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 %168
%170 = load i32, i32* %12
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds [9 x i32], [9 x i32]* %169, i64 0, i64 %171
%173 = load i32, i32* %172
%174 = xor i32 %166, %173
%175 = icmp ne i32 %174, 0
br i1 %175, label %176, label %185
176: ; preds = %159
%177 = load [9 x i32]*, [9 x i32]** %4
%178 = bitcast [9 x i32]* %177 to i32**
%179 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 0
%180 = bitcast [9 x i32]* %179 to i32**
%181 = load i32, i32* %10
%182 = load i32, i32* %12
%183 = load i32, i32* %15
%184 = call signext i8 @make_sudoku_search_node(i32** %178, i32** %180, i32 %181, i32 %182, i32 %183)
store i8 %184, i8* %14
br label %185
185: ; preds = %176, %159, %147
br label %186
186: ; preds = %185
%187 = load i32, i32* %15
%188 = add nsw i32 %187, 1
store i32 %188, i32* %15
br label %138
189: ; preds = %145
br label %190
190: ; preds = %189, %128
br label %191
191: ; preds = %190
%192 = load i32, i32* %12
%193 = add nsw i32 %192, 1
store i32 %193, i32* %12
br label %119
194: ; preds = %126
br label %195
195: ; preds = %194
%196 = load i32, i32* %10
%197 = add nsw i32 %196, 1
store i32 %197, i32* %10
br label %109
198: ; preds = %116
%199 = load i8, i8* %14
%200 = icmp ne i8 %199, 0
br i1 %200, label %297, label %201
201: ; preds = %198
%202 = call i32 @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %10
br label %203
203: ; preds = %289, %201
%204 = load i32, i32* %10
%205 = icmp slt i32 %204, 9
br i1 %205, label %206, label %210
206: ; preds = %203
%207 = load i8, i8* %14
%208 = icmp ne i8 %207, 0
%209 = xor i1 %208, true
br label %210
210: ; preds = %206, %203
%211 = phi i1 [ false, %203 ], [ %209, %206 ]
br i1 %211, label %212, label %292
212: ; preds = %210
store i32 0, i32* %12
br label %213
213: ; preds = %285, %212
%214 = load i32, i32* %12
%215 = icmp slt i32 %214, 9
br i1 %215, label %216, label %220
216: ; preds = %213
%217 = load i8, i8* %14
%218 = icmp ne i8 %217, 0
%219 = xor i1 %218, true
br label %220
220: ; preds = %216, %213
%221 = phi i1 [ false, %213 ], [ %219, %216 ]
br i1 %221, label %222, label %288
222: ; preds = %220
%223 = load i32, i32* %10
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %224
%226 = load i32, i32* %12
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds [9 x i32], [9 x i32]* %225, i64 0, i64 %227
%229 = load i32, i32* %228
%230 = icmp ne i32 %229, 0
br i1 %230, label %231, label %284
231: ; preds = %222
store i32 1, i32* %16
br label %232
232: ; preds = %280, %231
%233 = load i32, i32* %16
%234 = icmp slt i32 %233, 10
br i1 %234, label %235, label %239
235: ; preds = %232
%236 = load i8, i8* %14
%237 = icmp ne i8 %236, 0
%238 = xor i1 %237, true
br label %239
239: ; preds = %235, %232
%240 = phi i1 [ false, %232 ], [ %238, %235 ]
br i1 %240, label %241, label %283
241: ; preds = %239
%242 = load i32, i32* %10
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %243
%245 = load i32, i32* %12
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds [9 x i32], [9 x i32]* %244, i64 0, i64 %246
%248 = load i32, i32* %247
%249 = load i32, i32* %16
%250 = shl i32 1, %249
%251 = and i32 %248, %250
%252 = icmp ne i32 %251, 0
br i1 %252, label %253, label %279
253: ; preds = %241
%254 = load i32, i32* %10
%255 = sext i32 %254 to i64
%256 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %255
%257 = load i32, i32* %12
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds [9 x i32], [9 x i32]* %256, i64 0, i64 %258
%260 = load i32, i32* %259
%261 = load i32, i32* %10
%262 = sext i32 %261 to i64
%263 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 %262
%264 = load i32, i32* %12
%265 = sext i32 %264 to i64
%266 = getelementptr inbounds [9 x i32], [9 x i32]* %263, i64 0, i64 %265
%267 = load i32, i32* %266
%268 = xor i32 %260, %267
%269 = icmp ne i32 %268, 0
br i1 %269, label %279, label %270
270: ; preds = %253
%271 = load [9 x i32]*, [9 x i32]** %4
%272 = bitcast [9 x i32]* %271 to i32**
%273 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 0
%274 = bitcast [9 x i32]* %273 to i32**
%275 = load i32, i32* %10
%276 = load i32, i32* %12
%277 = load i32, i32* %16
%278 = call signext i8 @make_sudoku_search_node(i32** %272, i32** %274, i32 %275, i32 %276, i32 %277)
store i8 %278, i8* %14
br label %279
279: ; preds = %270, %253, %241
br label %280
280: ; preds = %279
%281 = load i32, i32* %16
%282 = add nsw i32 %281, 1
store i32 %282, i32* %16
br label %232
283: ; preds = %239
br label %284
284: ; preds = %283, %222
br label %285
285: ; preds = %284
%286 = load i32, i32* %12
%287 = add nsw i32 %286, 1
store i32 %287, i32* %12
br label %213
288: ; preds = %220
br label %289
289: ; preds = %288
%290 = load i32, i32* %10
%291 = add nsw i32 %290, 1
store i32 %291, i32* %10
br label %203
292: ; preds = %210
%293 = load i8, i8* %14
%294 = icmp ne i8 %293, 0
br i1 %294, label %296, label %295
295: ; preds = %292
br label %325
296: ; preds = %292
br label %297
297: ; preds = %296, %198
br label %315
298: ; preds = %105, %97
%299 = load i32, i32* %11
%300 = icmp eq i32 %299, 0
br i1 %300, label %301, label %302
301: ; preds = %298
br label %315
302: ; preds = %298
br label %303
303: ; preds = %302
%304 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 0
%305 = bitcast [9 x i32]* %304 to i32**
%306 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 0
%307 = bitcast [9 x i32]* %306 to i32**
%308 = call i32 @copy_sudoku(i32** %305, i32** %307)
%309 = load [9 x i32]*, [9 x i32]** %4
%310 = bitcast [9 x i32]* %309 to i32**
%311 = call i64 @sudokuValide(i32** %310)
%312 = icmp ne i64 %311, 0
br i1 %312, label %314, label %313
313: ; preds = %303
br label %325
314: ; preds = %303
br label %25
315: ; preds = %301, %297, %25
%316 = load i8*, i8** %5
%317 = icmp ne i8* %316, null
br i1 %317, label %318, label %325
318: ; preds = %315
%319 = load [9 x i32]*, [9 x i32]** %4
%320 = bitcast [9 x i32]* %319 to i32**
%321 = call i64 @sudokuValide(i32** %320)
%322 = icmp ne i64 %321, 0
br i1 %322, label %323, label %325
323: ; preds = %318
%324 = load i8*, i8** %5
store i8 1, i8* %324
br label %325
325: ; preds = %295, %313, %323, %318, %315
ret void
}

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