#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__ valid(int, int, int, int, int **, int **, int **);
bool dfs(char **board, int size, bool **rows, bool **cols, bool **boxes) {
  if (size == 9 * 9) {
    return true;
  } else {
    int i;
    bool ok = false;
    int row = size / 9;
    int col = size % 9;
    int index = row / 3 * 3 + col / 3;
    if (board[row][col] == '.') {
      for (i = 1; i <= 9; i++) {
        if (valid(i, row, col, index, rows, cols, boxes)) {
          board[row][col] = i + '0';
          rows[row][i] = true;
          cols[col][i] = true;
          boxes[index][i] = true;
          ok = dfs(board, size + 1, rows, cols, boxes);
          if (!ok) {
            rows[row][i] = false;
            cols[col][i] = false;
            boxes[index][i] = false;
            board[row][col] = '.';
          }
        }
      }
    } else {
      ok = dfs(board, size + 1, rows, cols, boxes);
    }
    return ok;
  }
}


x86 assembly (clang, -O0):
<dfs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
cmpl   $0x51,-0x14(%rbp)
jne    1151 <dfs+0x31>
movl   $0x1,-0x4(%rbp)
jmp    1315 <dfs+0x1f5>
movl   $0x0,-0x38(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x9,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x9,%ecx
cltd
idiv   %ecx
mov    %edx,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x48(%rbp)
mov    -0x40(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x48(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    12f1 <dfs+0x1d1>
movl   $0x1,-0x34(%rbp)
cmpl   $0x9,-0x34(%rbp)
jg     12ec <dfs+0x1cc>
mov    -0x34(%rbp),%edi
mov    -0x3c(%rbp),%esi
mov    -0x40(%rbp),%edx
mov    -0x44(%rbp),%ecx
mov    -0x20(%rbp),%r8
mov    -0x28(%rbp),%r9
mov    -0x30(%rbp),%rax
mov    %rax,(%rsp)
call   1030 <valid@plt>
cmp    $0x0,%rax
je     12d9 <dfs+0x1b9>
mov    -0x34(%rbp),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
call   1040 <dfs@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jne    12d4 <dfs+0x1b4>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
jmp    12d9 <dfs+0x1b9>
jmp    12de <dfs+0x1be>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11be <dfs+0x9e>
jmp    130f <dfs+0x1ef>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
call   1040 <dfs@plt>
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dfs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
cmp    $0x51,%esi
je     1178 <dfs+0x58>
mov    %rcx,%r9
mov    %rdx,%r10
mov    %esi,%ebp
nopl   0x0(%rax,%rax,1)
movslq %ebp,%rax
imul   $0x38e38e39,%rax,%rbx
mov    %rbx,%rcx
shr    $0x3f,%rcx
sar    $0x21,%rbx
add    %ecx,%ebx
lea    (%rbx,%rbx,8),%ecx
mov    %eax,%r14d
sub    %ecx,%r14d
movslq %ebx,%rdx
mov    (%rdi,%rdx,8),%rcx
movslq %r14d,%rsi
cmpb   $0x2e,(%rcx,%rsi,1)
je     1193 <dfs+0x73>
add    $0x1,%ebp
cmp    $0x51,%ebp
jne    1140 <dfs+0x20>
movl   $0x1,0x8(%rsp)
mov    0x8(%rsp),%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rdx,0x20(%rsp)
mov    %rdi,0x28(%rsp)
imul   $0x4bda12f7,%rax,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x23,%rax
add    %ecx,%eax
lea    (%rax,%rax,2),%eax
mov    %rsi,0x18(%rsp)
movsbl %sil,%ecx
imul   $0x56,%ecx,%ecx
movzwl %cx,%ecx
mov    %ecx,%edx
shr    $0xf,%edx
shr    $0x8,%ecx
add    %dl,%cl
movsbl %cl,%ecx
add    %eax,%ecx
mov    %ecx,0xc(%rsp)
movslq %ecx,%rax
mov    %rax,0x10(%rsp)
add    $0x1,%ebp
xor    %r15d,%r15d
movl   $0x0,0x8(%rsp)
mov    %r10,0x30(%rsp)
jmp    120e <dfs+0xee>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r15
cmp    $0x9,%r15
je     1180 <dfs+0x60>
lea    0x1(%r15),%edi
mov    %r8,(%rsp)
mov    %ebx,%esi
mov    %r14d,%edx
mov    0xc(%rsp),%ecx
mov    %r8,%r12
mov    %r10,%r8
mov    %r9,%r13
call   1030 <valid@plt>
mov    0x30(%rsp),%r10
mov    %r13,%r9
mov    %r12,%r8
test   %rax,%rax
je     1200 <dfs+0xe0>
mov    0x28(%rsp),%rdi
mov    0x20(%rsp),%rdx
mov    (%rdi,%rdx,8),%rax
lea    0x31(%r15),%ecx
mov    0x18(%rsp),%rsi
mov    %cl,(%rax,%rsi,1)
mov    (%r10,%rdx,8),%rax
movl   $0x1,0x4(%rax,%r15,4)
mov    (%r9,%rsi,8),%rax
movl   $0x1,0x4(%rax,%r15,4)
mov    0x10(%rsp),%rax
mov    (%r8,%rax,8),%rax
movl   $0x1,0x4(%rax,%r15,4)
mov    %ebp,%esi
mov    %r10,%rdx
mov    %r9,%rcx
mov    %r12,%r8
call   1040 <dfs@plt>
mov    0x30(%rsp),%r10
mov    %r13,%r9
mov    %r12,%r8
mov    %eax,0x8(%rsp)
test   %eax,%eax
jne    1200 <dfs+0xe0>
mov    0x20(%rsp),%rcx
mov    (%r10,%rcx,8),%rax
movl   $0x0,0x4(%rax,%r15,4)
mov    0x18(%rsp),%rdx
mov    (%r9,%rdx,8),%rax
movl   $0x0,0x4(%rax,%r15,4)
mov    0x10(%rsp),%rax
mov    (%r8,%rax,8),%rax
movl   $0x0,0x4(%rax,%r15,4)
mov    0x28(%rsp),%rax
mov    (%rax,%rcx,8),%rax
movb   $0x2e,(%rax,%rdx,1)
movl   $0x0,0x8(%rsp)
jmp    1200 <dfs+0xe0>

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

LLVM IR (-O2):
define i32 @dfs(i8** %0, i32 %1, i32** %2, i32** %3, i32** %4) {
%6 = icmp eq i32 %1, 81
br i1 %6, label %66, label %7
7: ; preds = %5, %63
%8 = phi i32 [ %64, %63 ], [ %1, %5 ]
%9 = sdiv i32 %8, 9
%10 = srem i32 %8, 9
%11 = sext i32 %9 to i64
%12 = getelementptr inbounds i8*, i8** %0, i64 %11
%13 = load i8*, i8** %12
%14 = sext i32 %10 to i64
%15 = getelementptr inbounds i8, i8* %13, i64 %14
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 46
br i1 %17, label %18, label %63
18: ; preds = %7
%19 = getelementptr inbounds i8*, i8** %0, i64 %11
%20 = sdiv i32 %8, 27
%21 = mul nsw i32 %20, 3
%22 = trunc i32 %10 to i8
%23 = sdiv i8 %22, 3
%24 = sext i8 %23 to i32
%25 = add nsw i32 %21, %24
%26 = getelementptr inbounds i32*, i32** %2, i64 %11
%27 = getelementptr inbounds i32*, i32** %3, i64 %14
%28 = sext i32 %25 to i64
%29 = getelementptr inbounds i32*, i32** %4, i64 %28
%30 = add nsw i32 %8, 1
br label %31
31: ; preds = %18, %59
%32 = phi i64 [ 1, %18 ], [ %61, %59 ]
%33 = phi i32 [ 0, %18 ], [ %60, %59 ]
%34 = trunc i64 %32 to i32
%35 = tail call i64 @valid(i32 %34, i32 %9, i32 %10, i32 %25, i32** %2, i32** %3, i32** %4)
%36 = icmp eq i64 %35, 0
br i1 %36, label %59, label %37
37: ; preds = %31
%38 = trunc i64 %32 to i8
%39 = add nuw nsw i8 %38, 48
%40 = load i8*, i8** %19
%41 = getelementptr inbounds i8, i8* %40, i64 %14
store i8 %39, i8* %41
%42 = load i32*, i32** %26
%43 = getelementptr inbounds i32, i32* %42, i64 %32
store i32 1, i32* %43
%44 = load i32*, i32** %27
%45 = getelementptr inbounds i32, i32* %44, i64 %32
store i32 1, i32* %45
%46 = load i32*, i32** %29
%47 = getelementptr inbounds i32, i32* %46, i64 %32
store i32 1, i32* %47
%48 = tail call i32 @dfs(i8** %0, i32 %30, i32** %2, i32** %3, i32** %4)
%49 = icmp eq i32 %48, 0
br i1 %49, label %50, label %59
50: ; preds = %37
%51 = load i32*, i32** %26
%52 = getelementptr inbounds i32, i32* %51, i64 %32
store i32 0, i32* %52
%53 = load i32*, i32** %27
%54 = getelementptr inbounds i32, i32* %53, i64 %32
store i32 0, i32* %54
%55 = load i32*, i32** %29
%56 = getelementptr inbounds i32, i32* %55, i64 %32
store i32 0, i32* %56
%57 = load i8*, i8** %19
%58 = getelementptr inbounds i8, i8* %57, i64 %14
store i8 46, i8* %58
br label %59
59: ; preds = %31, %50, %37
%60 = phi i32 [ %48, %37 ], [ 0, %50 ], [ %33, %31 ]
%61 = add nuw nsw i64 %32, 1
%62 = icmp eq i64 %61, 10
br i1 %62, label %66, label %31
63: ; preds = %7
%64 = add nsw i32 %8, 1
%65 = icmp eq i32 %64, 81
br i1 %65, label %66, label %7
66: ; preds = %63, %59, %5
%67 = phi i32 [ 1, %5 ], [ %60, %59 ], [ 1, %63 ]
ret i32 %67
}