#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*/ guessed(char ***, char ***, char, char, char);
int /*<<< orphan*/ output(char ***);
int /*<<< orphan*/ solve(char ***);
scalar_t__ solved(char ***);
int guess(char oldgrid[9][9][10]) {
  char i, j, k;
  for (i = 0; i < 9; ++i)
    for (j = 0; j < 9; ++j)
      if (!oldgrid[i][j][0])
        for (k = 1; k < 10; ++k)
          if (oldgrid[i][j][k]) {
            char newgrid[9][9][10];
            guessed(oldgrid, newgrid, i, j, k);
            solve(newgrid);
            if (solved(newgrid)) {
              output(newgrid);
              return 1;
            }
            if (guess(newgrid))
              return 1;
            oldgrid[i][j][k] = 0;
            solve(oldgrid);
          }
  return 0;
}


x86 assembly (clang, -O0):
<guess>:
push   %rbp
mov    %rsp,%rbp
sub    $0x340,%rsp
mov    %rdi,-0x10(%rbp)
movb   $0x0,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x9,%eax
jge    12c7 <guess+0x177>
movb   $0x0,-0x12(%rbp)
movsbl -0x12(%rbp),%eax
cmp    $0x9,%eax
jge    12b5 <guess+0x165>
mov    -0x10(%rbp),%rax
movsbq -0x11(%rbp),%rcx
imul   $0x5a,%rcx,%rcx
add    %rcx,%rax
movsbq -0x12(%rbp),%rcx
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
cmpb   $0x0,(%rax)
jne    12a3 <guess+0x153>
movb   $0x1,-0x13(%rbp)
movsbl -0x13(%rbp),%eax
cmp    $0xa,%eax
jge    129e <guess+0x14e>
mov    -0x10(%rbp),%rax
movsbq -0x11(%rbp),%rcx
imul   $0x5a,%rcx,%rcx
add    %rcx,%rax
movsbq -0x12(%rbp),%rcx
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movsbq -0x13(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     128c <guess+0x13c>
mov    -0x10(%rbp),%rdi
lea    -0x340(%rbp),%rsi
mov    -0x11(%rbp),%cl
mov    -0x12(%rbp),%al
movsbl %cl,%edx
movsbl %al,%ecx
movsbl -0x13(%rbp),%r8d
call   1070 <guessed@plt>
lea    -0x340(%rbp),%rdi
call   1030 <solve@plt>
lea    -0x340(%rbp),%rdi
call   1040 <solved@plt>
cmp    $0x0,%rax
je     123d <guess+0xed>
lea    -0x340(%rbp),%rdi
call   1050 <output@plt>
movl   $0x1,-0x4(%rbp)
jmp    12ce <guess+0x17e>
lea    -0x340(%rbp),%rdi
call   1060 <guess@plt>
cmp    $0x0,%eax
je     125e <guess+0x10e>
movl   $0x1,-0x4(%rbp)
jmp    12ce <guess+0x17e>
mov    -0x10(%rbp),%rax
movsbq -0x11(%rbp),%rcx
imul   $0x5a,%rcx,%rcx
add    %rcx,%rax
movsbq -0x12(%rbp),%rcx
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movsbq -0x13(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rdi
call   1030 <solve@plt>
jmp    1291 <guess+0x141>
mov    -0x13(%rbp),%al
add    $0x1,%al
mov    %al,-0x13(%rbp)
jmp    11aa <guess+0x5a>
jmp    12a3 <guess+0x153>
jmp    12a8 <guess+0x158>
mov    -0x12(%rbp),%al
add    $0x1,%al
mov    %al,-0x12(%rbp)
jmp    1174 <guess+0x24>
jmp    12ba <guess+0x16a>
mov    -0x11(%rbp),%al
add    $0x1,%al
mov    %al,-0x11(%rbp)
jmp    1163 <guess+0x13>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x340,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<guess>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x348,%rsp
mov    %rdi,%r13
xor    %r15d,%r15d
lea    0x10(%rsp),%r14
mov    %rdi,%rbx
mov    %rbx,0x8(%rsp)
xor    %ebp,%ebp
jmp    118e <guess+0x3e>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbp
add    $0xa,%rbx
cmp    $0x9,%rbp
je     1208 <guess+0xb8>
imul   $0x5a,%r15,%rax
add    %r13,%rax
lea    0x0(,%rbp,4),%rcx
add    %rbp,%rcx
cmpb   $0x0,(%rax,%rcx,2)
jne    1180 <guess+0x30>
mov    $0x1,%r12d
jmp    11c7 <guess+0x77>
xchg   %ax,%ax
movb   $0x0,(%rbx,%r12,1)
mov    %r13,%rdi
call   1030 <solve@plt>
add    $0x1,%r12
cmp    $0xa,%r12
je     1180 <guess+0x30>
cmpb   $0x0,(%rbx,%r12,1)
je     11bd <guess+0x6d>
movsbl %r15b,%edx
movsbl %bpl,%ecx
movsbl %r12b,%r8d
mov    %r13,%rdi
mov    %r14,%rsi
call   1070 <guessed@plt>
mov    %r14,%rdi
call   1030 <solve@plt>
mov    %r14,%rdi
call   1040 <solved@plt>
test   %rax,%rax
jne    1223 <guess+0xd3>
mov    %r14,%rdi
call   1060 <guess@plt>
test   %eax,%eax
je     11b0 <guess+0x60>
jmp    122d <guess+0xdd>
add    $0x1,%r15
mov    0x8(%rsp),%rbx
add    $0x5a,%rbx
cmp    $0x9,%r15
jne    116f <guess+0x1f>
xor    %eax,%eax
jmp    1232 <guess+0xe2>
lea    0x10(%rsp),%rdi
call   1050 <output@plt>
mov    $0x1,%eax
add    $0x348,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @guess([9 x [10 x i8]]* %0) {
%2 = alloca [9 x [9 x [10 x i8]]]
%3 = getelementptr inbounds [9 x [9 x [10 x i8]]], [9 x [9 x [10 x i8]]]* %2, i64 0, i64 0, i64 0, i64 0
%4 = bitcast [9 x [10 x i8]]* %0 to i8***
%5 = bitcast [9 x [9 x [10 x i8]]]* %2 to i8***
%6 = getelementptr inbounds [9 x [9 x [10 x i8]]], [9 x [9 x [10 x i8]]]* %2, i64 0, i64 0
br label %7
7: ; preds = %1, %42
%8 = phi i64 [ 0, %1 ], [ %43, %42 ]
%9 = trunc i64 %8 to i8
br label %10
10: ; preds = %7, %39
%11 = phi i64 [ 0, %7 ], [ %40, %39 ]
%12 = getelementptr inbounds [9 x [10 x i8]], [9 x [10 x i8]]* %0, i64 %8, i64 %11, i64 0
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 0
br i1 %14, label %15, label %39
15: ; preds = %10
%16 = trunc i64 %11 to i8
br label %17
17: ; preds = %15, %36
%18 = phi i64 [ 1, %15 ], [ %37, %36 ]
%19 = getelementptr inbounds [9 x [10 x i8]], [9 x [10 x i8]]* %0, i64 %8, i64 %11, i64 %18
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, 0
br i1 %21, label %36, label %22
22: ; preds = %17
%23 = trunc i64 %18 to i8
%24 = call i32 @guessed(i8*** %4, i8*** %5, i8 signext %9, i8 signext %16, i8 signext %23)
%25 = call i32 @solve(i8*** %5)
%26 = call i64 @solved(i8*** %5)
%27 = icmp eq i64 %26, 0
br i1 %27, label %30, label %28
28: ; preds = %22
%29 = call i32 @output(i8*** %5)
br label %35
30: ; preds = %22
%31 = call i32 @guess([9 x [10 x i8]]* %6)
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %35
33: ; preds = %30
store i8 0, i8* %19
%34 = call i32 @solve(i8*** %4)
br label %36
35: ; preds = %30, %28
br label %45
36: ; preds = %33, %17
%37 = add nuw nsw i64 %18, 1
%38 = icmp eq i64 %37, 10
br i1 %38, label %39, label %17
39: ; preds = %36, %10
%40 = add nuw nsw i64 %11, 1
%41 = icmp eq i64 %40, 9
br i1 %41, label %42, label %10
42: ; preds = %39
%43 = add nuw nsw i64 %8, 1
%44 = icmp eq i64 %43, 9
br i1 %44, label %45, label %7
45: ; preds = %42, %35
%46 = phi i32 [ 1, %35 ], [ 0, %42 ]
ret i32 %46
}