#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 */
scalar_t__ check_number(int, int, int, int **);
int /*<<< orphan*/ print_solution(int **);
int solve_sudoku(int line, int column, int sudoku[9][9]) {
  int index_line, index_column, copy_sudoku[9][9], good = 0, number;
  for (index_line = 0; index_line < 9; index_line++) {
    for (index_column = 0; index_column < 9; index_column++) {
      copy_sudoku[index_line][index_column] = sudoku[index_line][index_column];
    }
  }
  while (copy_sudoku[line][column] != 0 && line < 9) {
    if (column == 8) {
      column = 0;
      line++;
    } else {
      column++;
    }
  }
  if (line >= 9) {
    print_solution(copy_sudoku);
    return 1;
  }
  for (number = 1; number <= 9; number++) {
    if (check_number(number, line, column, copy_sudoku)) {
      good = 1;
      copy_sudoku[line][column] = number;
      if (column == 8) {
        solve_sudoku(line + 1, 0, copy_sudoku);
      } else {
        solve_sudoku(line, column + 1, copy_sudoku);
      }
    }
  }
  if (!good)
    return 0;
}


x86 assembly (clang, -O0):
<solve_sudoku>:
push   %rbp
mov    %rsp,%rbp
sub    $0x180,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x174(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    11c1 <solve_sudoku+0x91>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    11ae <solve_sudoku+0x7e>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x170(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1167 <solve_sudoku+0x37>
jmp    11b3 <solve_sudoku+0x83>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1156 <solve_sudoku+0x26>
jmp    11c6 <solve_sudoku+0x96>
movslq -0x8(%rbp),%rax
lea    -0x170(%rbp),%rcx
imul   $0x24,%rax,%rax
add    %rax,%rcx
movslq -0xc(%rbp),%rdx
xor    %eax,%eax
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x179(%rbp)
je     11fb <solve_sudoku+0xcb>
cmpl   $0x9,-0x8(%rbp)
setl   %al
mov    %al,-0x179(%rbp)
mov    -0x179(%rbp),%al
test   $0x1,%al
jne    120e <solve_sudoku+0xde>
jmp    123b <solve_sudoku+0x10b>
cmpl   $0x8,-0xc(%rbp)
jne    122d <solve_sudoku+0xfd>
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1236 <solve_sudoku+0x106>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11c6 <solve_sudoku+0x96>
cmpl   $0x9,-0x8(%rbp)
jl     125d <solve_sudoku+0x12d>
lea    -0x170(%rbp),%rdi
call   1050 <print_solution@plt>
movl   $0x1,-0x4(%rbp)
jmp    1329 <solve_sudoku+0x1f9>
movl   $0x1,-0x178(%rbp)
cmpl   $0x9,-0x178(%rbp)
jg     1315 <solve_sudoku+0x1e5>
mov    -0x178(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
lea    -0x170(%rbp),%rcx
call   1040 <check_number@plt>
cmp    $0x0,%rax
je     12fc <solve_sudoku+0x1cc>
movl   $0x1,-0x174(%rbp)
mov    -0x178(%rbp),%edx
movslq -0x8(%rbp),%rcx
lea    -0x170(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
cmpl   $0x8,-0xc(%rbp)
jne    12e2 <solve_sudoku+0x1b2>
mov    -0x8(%rbp),%edi
add    $0x1,%edi
lea    -0x170(%rbp),%rdx
xor    %esi,%esi
call   1030 <solve_sudoku@plt>
jmp    12f7 <solve_sudoku+0x1c7>
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
lea    -0x170(%rbp),%rdx
call   1030 <solve_sudoku@plt>
jmp    12fc <solve_sudoku+0x1cc>
jmp    1301 <solve_sudoku+0x1d1>
mov    -0x178(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x178(%rbp)
jmp    1267 <solve_sudoku+0x137>
cmpl   $0x0,-0x174(%rbp)
jne    1329 <solve_sudoku+0x1f9>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x180,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve_sudoku>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x158,%rsp
mov    %rdx,%rax
mov    %esi,%r14d
mov    %edi,%ebx
lea    0x10(%rsp),%rdi
mov    $0x144,%edx
mov    %rax,%rsi
call   1040 <memcpy@plt>
movslq %ebx,%rax
movslq %r14d,%rcx
lea    (%rax,%rax,8),%rax
lea    (%rsp,%rax,4),%rax
add    $0x10,%rax
lea    (%rax,%rcx,4),%r15
cmpl   $0x0,(%rax,%rcx,4)
je     11c9 <solve_sudoku+0x89>
cmp    $0x8,%ebx
jg     11c9 <solve_sudoku+0x89>
xor    %eax,%eax
xchg   %ax,%ax
mov    %ebx,%ecx
xor    %ebx,%ebx
cmp    $0x8,%r14d
lea    0x1(%r14),%edx
sete   %bl
mov    %edx,%r14d
cmove  %eax,%r14d
add    %ecx,%ebx
movslq %ebx,%rcx
movslq %r14d,%rdx
lea    (%rcx,%rcx,8),%rcx
lea    (%rsp,%rcx,4),%rcx
add    $0x10,%rcx
lea    (%rcx,%rdx,4),%r15
cmpl   $0x0,(%rcx,%rdx,4)
je     11c9 <solve_sudoku+0x89>
cmp    $0x9,%ebx
jl     1190 <solve_sudoku+0x50>
cmp    $0x8,%ebx
jle    11df <solve_sudoku+0x9f>
lea    0x10(%rsp),%rdi
call   1060 <print_solution@plt>
mov    $0x1,%eax
jmp    123c <solve_sudoku+0xfc>
lea    0x1(%r14),%eax
mov    %eax,0xc(%rsp)
lea    0x1(%rbx),%r12d
mov    $0x1,%ebp
lea    0x10(%rsp),%r13
jmp    1216 <solve_sudoku+0xd6>
nopw   0x0(%rax,%rax,1)
mov    %ebx,%edi
mov    0xc(%rsp),%esi
mov    %r13,%rdx
call   1030 <solve_sudoku@plt>
add    $0x1,%ebp
cmp    $0xa,%ebp
je     123a <solve_sudoku+0xfa>
mov    %ebp,%edi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r13,%rcx
call   1050 <check_number@plt>
test   %rax,%rax
je     120e <solve_sudoku+0xce>
mov    %ebp,(%r15)
cmp    $0x8,%r14d
jne    1200 <solve_sudoku+0xc0>
mov    %r12d,%edi
xor    %esi,%esi
jmp    1206 <solve_sudoku+0xc6>
xor    %eax,%eax
add    $0x158,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @solve_sudoku(i32 %0, i32 %1, [9 x i32]* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca [9 x i32]*
%8 = alloca i32
%9 = alloca i32
%10 = alloca [9 x [9 x i32]]
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store [9 x i32]* %2, [9 x i32]** %7
store i32 0, i32* %11
store i32 0, i32* %8
br label %13
13: ; preds = %39, %3
%14 = load i32, i32* %8
%15 = icmp slt i32 %14, 9
br i1 %15, label %16, label %42
16: ; preds = %13
store i32 0, i32* %9
br label %17
17: ; preds = %35, %16
%18 = load i32, i32* %9
%19 = icmp slt i32 %18, 9
br i1 %19, label %20, label %38
20: ; preds = %17
%21 = load [9 x i32]*, [9 x i32]** %7
%22 = load i32, i32* %8
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds [9 x i32], [9 x i32]* %21, i64 %23
%25 = load i32, i32* %9
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [9 x i32], [9 x i32]* %24, i64 0, i64 %26
%28 = load i32, i32* %27
%29 = load i32, i32* %8
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 %30
%32 = load i32, i32* %9
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [9 x i32], [9 x i32]* %31, i64 0, i64 %33
store i32 %28, i32* %34
br label %35
35: ; preds = %20
%36 = load i32, i32* %9
%37 = add nsw i32 %36, 1
store i32 %37, i32* %9
br label %17
38: ; preds = %17
br label %39
39: ; preds = %38
%40 = load i32, i32* %8
%41 = add nsw i32 %40, 1
store i32 %41, i32* %8
br label %13
42: ; preds = %13
br label %43
43: ; preds = %66, %42
%44 = load i32, i32* %5
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 %45
%47 = load i32, i32* %6
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [9 x i32], [9 x i32]* %46, i64 0, i64 %48
%50 = load i32, i32* %49
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %43
%53 = load i32, i32* %5
%54 = icmp slt i32 %53, 9
br label %55
55: ; preds = %52, %43
%56 = phi i1 [ false, %43 ], [ %54, %52 ]
br i1 %56, label %57, label %67
57: ; preds = %55
%58 = load i32, i32* %6
%59 = icmp eq i32 %58, 8
br i1 %59, label %60, label %63
60: ; preds = %57
store i32 0, i32* %6
%61 = load i32, i32* %5
%62 = add nsw i32 %61, 1
store i32 %62, i32* %5
br label %66
63: ; preds = %57
%64 = load i32, i32* %6
%65 = add nsw i32 %64, 1
store i32 %65, i32* %6
br label %66
66: ; preds = %63, %60
br label %43
67: ; preds = %55
%68 = load i32, i32* %5
%69 = icmp sge i32 %68, 9
br i1 %69, label %70, label %74
70: ; preds = %67
%71 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 0
%72 = bitcast [9 x i32]* %71 to i32**
%73 = call i32 @print_solution(i32** %72)
store i32 1, i32* %4
br label %116
74: ; preds = %67
store i32 1, i32* %12
br label %75
75: ; preds = %109, %74
%76 = load i32, i32* %12
%77 = icmp sle i32 %76, 9
br i1 %77, label %78, label %112
78: ; preds = %75
%79 = load i32, i32* %12
%80 = load i32, i32* %5
%81 = load i32, i32* %6
%82 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 0
%83 = bitcast [9 x i32]* %82 to i32**
%84 = call i64 @check_number(i32 %79, i32 %80, i32 %81, i32** %83)
%85 = icmp ne i64 %84, 0
br i1 %85, label %86, label %108
86: ; preds = %78
store i32 1, i32* %11
%87 = load i32, i32* %12
%88 = load i32, i32* %5
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 %89
%91 = load i32, i32* %6
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [9 x i32], [9 x i32]* %90, i64 0, i64 %92
store i32 %87, i32* %93
%94 = load i32, i32* %6
%95 = icmp eq i32 %94, 8
br i1 %95, label %96, label %101
96: ; preds = %86
%97 = load i32, i32* %5
%98 = add nsw i32 %97, 1
%99 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 0
%100 = call i32 @solve_sudoku(i32 %98, i32 0, [9 x i32]* %99)
br label %107
101: ; preds = %86
%102 = load i32, i32* %5
%103 = load i32, i32* %6
%104 = add nsw i32 %103, 1
%105 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 0
%106 = call i32 @solve_sudoku(i32 %102, i32 %104, [9 x i32]* %105)
br label %107
107: ; preds = %101, %96
br label %108
108: ; preds = %107, %78
br label %109
109: ; preds = %108
%110 = load i32, i32* %12
%111 = add nsw i32 %110, 1
store i32 %111, i32* %12
br label %75
112: ; preds = %75
%113 = load i32, i32* %11
%114 = icmp ne i32 %113, 0
br i1 %114, label %116, label %115
115: ; preds = %112
store i32 0, i32* %4
br label %116
116: ; preds = %70, %115, %112
%117 = load i32, i32* %4
ret i32 %117
}

LLVM IR (-O2):
define i32 @solve_sudoku(i32 %0, i32 %1, [9 x i32]* nocapture %2) {
%4 = bitcast [9 x i32]* %2 to i8*
%5 = alloca [9 x [9 x i32]]
%6 = bitcast [9 x [9 x i32]]* %5 to i8*
%7 = sext i32 %0 to i64
%8 = sext i32 %1 to i64
%9 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %5, i64 0, i64 %7, i64 %8
%10 = load i32, i32* %9
%11 = icmp ne i32 %10, 0
%12 = icmp slt i32 %0, 9
%13 = and i1 %11, %12
br i1 %13, label %14, label %29
14: ; preds = %3, %14
%15 = phi i32 [ %21, %14 ], [ %1, %3 ]
%16 = phi i32 [ %20, %14 ], [ %0, %3 ]
%17 = icmp eq i32 %15, 8
%18 = add nsw i32 %15, 1
%19 = zext i1 %17 to i32
%20 = add nsw i32 %16, %19
%21 = select i1 %17, i32 0, i32 %18
%22 = sext i32 %20 to i64
%23 = sext i32 %21 to i64
%24 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %5, i64 0, i64 %22, i64 %23
%25 = load i32, i32* %24
%26 = icmp ne i32 %25, 0
%27 = icmp slt i32 %20, 9
%28 = select i1 %26, i1 %27, i1 false
br i1 %28, label %14, label %29
29: ; preds = %14, %3
%30 = phi i32 [ %0, %3 ], [ %20, %14 ]
%31 = phi i32 [ %1, %3 ], [ %21, %14 ]
%32 = phi i32* [ %9, %3 ], [ %24, %14 ]
%33 = icmp sgt i32 %30, 8
br i1 %33, label %40, label %34
34: ; preds = %29
%35 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %5, i64 0, i64 0
%36 = bitcast [9 x [9 x i32]]* %5 to i32**
%37 = icmp eq i32 %31, 8
%38 = add nsw i32 %31, 1
%39 = add nsw i32 %30, 1
br label %43
40: ; preds = %29
%41 = bitcast [9 x [9 x i32]]* %5 to i32**
%42 = call i32 @print_solution(i32** %41)
br label %55
43: ; preds = %34, %52
%44 = phi i32 [ 1, %34 ], [ %53, %52 ]
%45 = call i64 @check_number(i32 %44, i32 %30, i32 %31, i32** %36)
%46 = icmp eq i64 %45, 0
br i1 %46, label %52, label %47
47: ; preds = %43
store i32 %44, i32* %32
br i1 %37, label %48, label %50
48: ; preds = %47
%49 = call i32 @solve_sudoku(i32 %39, i32 0, [9 x i32]* %35)
br label %52
50: ; preds = %47
%51 = call i32 @solve_sudoku(i32 %30, i32 %38, [9 x i32]* %35)
br label %52
52: ; preds = %43, %50, %48
%53 = add nuw nsw i32 %44, 1
%54 = icmp eq i32 %53, 10
br i1 %54, label %55, label %43
55: ; preds = %52, %40
%56 = phi i32 [ 1, %40 ], [ 0, %52 ]
ret i32 %56
}