#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*/ dfs(char **, int /*<<< orphan*/, int **, int **, int **);
void *malloc(int);
int /*<<< orphan*/ memset(int *, int, int);
void solveSudoku(char **board, int boardSize, int *boardColSize) {
  int i, j;
  bool **rows = malloc(boardSize * sizeof(bool *));
  bool **cols = malloc(boardSize * sizeof(bool *));
  bool **boxes = malloc(boardSize * sizeof(bool *));
  for (i = 0; i < boardSize; i++) {
    rows[i] = malloc(10 * sizeof(bool));
    cols[i] = malloc(10 * sizeof(bool));
    boxes[i] = malloc(10 * sizeof(bool));
    memset(rows[i], false, 10 * sizeof(bool));
    memset(cols[i], false, 10 * sizeof(bool));
    memset(boxes[i], false, 10 * sizeof(bool));
  }
  for (i = 0; i < boardSize; i++) {
    for (j = 0; j < boardColSize[i]; j++) {
      if (board[i][j] != '.') {
        int num = board[i][j] - '0';
        int index = i / 3 * 3 + j / 3;
        rows[i][num] = true;
        cols[j][num] = true;
        boxes[index][num] = true;
      }
    }
  }
  dfs(board, 0, rows, cols, boxes);
}


x86 assembly (clang, -O0):
<solveSudoku>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movslq -0xc(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
movslq -0xc(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x30(%rbp)
movslq -0xc(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1230 <solveSudoku+0x100>
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %rax,%rdx
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %rax,%rdx
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %rax,%rdx
mov    -0x38(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    -0x38(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1183 <solveSudoku+0x53>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1326 <solveSudoku+0x1f6>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1313 <solveSudoku+0x1e3>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1300 <solveSudoku+0x1d0>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x44(%rbp)
mov    -0x20(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x38(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    1305 <solveSudoku+0x1d5>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    124a <solveSudoku+0x11a>
jmp    1318 <solveSudoku+0x1e8>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1237 <solveSudoku+0x107>
mov    -0x8(%rbp),%rdi
mov    -0x28(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    -0x38(%rbp),%r8
xor    %esi,%esi
call   1050 <dfs@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solveSudoku>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdx,0x18(%rsp)
mov    %esi,%ebp
mov    %rdi,%r14
lea    0x0(,%rbp,8),%ebx
mov    %ebx,%edi
call   1040 <malloc@plt>
mov    %rax,%r15
mov    %ebx,%edi
call   1040 <malloc@plt>
mov    %rax,%r12
mov    %ebx,%edi
call   1040 <malloc@plt>
mov    %rax,%r13
test   %ebp,%ebp
jle    12ba <solveSudoku+0x18a>
mov    %r14,0x10(%rsp)
mov    %rbp,0x8(%rsp)
mov    %ebp,%r10d
mov    %r12,(%rsp)
xor    %r12d,%r12d
mov    %r10,0x20(%rsp)
xchg   %ax,%ax
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %rax,%rbp
mov    %rax,(%r15,%r12,8)
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %rax,%r14
mov    (%rsp),%rax
mov    %r14,(%rax,%r12,8)
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %r15,%rbx
mov    %rax,%r15
mov    %rax,0x0(%r13,%r12,8)
mov    %rbp,%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    %r14,%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    %r15,%rdi
mov    %rbx,%r15
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    0x20(%rsp),%r10
add    $0x1,%r12
cmp    %r12,%r10
jne    1190 <solveSudoku+0x60>
cmpl   $0x0,0x8(%rsp)
mov    0x10(%rsp),%r14
mov    0x18(%rsp),%r9
mov    (%rsp),%r12
jle    12ba <solveSudoku+0x18a>
xor    %eax,%eax
mov    $0xaaaaaaab,%r8d
jmp    123d <solveSudoku+0x10d>
nopl   0x0(%rax)
add    $0x1,%rax
cmp    %r10,%rax
je     12ba <solveSudoku+0x18a>
mov    (%r9,%rax,4),%ebp
test   %ebp,%ebp
jle    1230 <solveSudoku+0x100>
mov    (%r14,%rax,8),%rdx
mov    %eax,%ecx
imul   %r8,%rcx
shr    $0x21,%rcx
lea    (%rcx,%rcx,2),%esi
xor    %edi,%edi
jmp    126c <solveSudoku+0x13c>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rdi
movslq %ebp,%rcx
cmp    %rcx,%rdi
jge    1230 <solveSudoku+0x100>
movsbq (%rdx,%rdi,1),%rcx
cmp    $0x2e,%rcx
je     1260 <solveSudoku+0x130>
mov    %edi,%ebp
imul   %r8,%rbp
shr    $0x21,%rbp
add    %esi,%ebp
mov    (%r15,%rax,8),%rbx
movl   $0x1,-0xc0(%rbx,%rcx,4)
mov    (%r12,%rdi,8),%rbx
movl   $0x1,-0xc0(%rbx,%rcx,4)
movslq %ebp,%rbp
mov    0x0(%r13,%rbp,8),%rbp
movl   $0x1,-0xc0(%rbp,%rcx,4)
mov    (%r9,%rax,4),%ebp
jmp    1260 <solveSudoku+0x130>
mov    %r14,%rdi
xor    %esi,%esi
mov    %r15,%rdx
mov    %r12,%rcx
mov    %r13,%r8
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <dfs@plt>

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

LLVM IR (-O2):
define void @solveSudoku(i8** %0, i32 %1, i32* nocapture %2) {
%4 = shl i32 %1, 3
%5 = tail call i8* @malloc(i32 %4)
%6 = bitcast i8* %5 to i32**
%7 = tail call i8* @malloc(i32 %4)
%8 = bitcast i8* %7 to i32**
%9 = tail call i8* @malloc(i32 %4)
%10 = bitcast i8* %9 to i32**
%11 = icmp sgt i32 %1, 0
br i1 %11, label %12, label %78
12: ; preds = %3
%13 = zext i32 %1 to i64
br label %17
14: ; preds = %17
br i1 %11, label %15, label %78
15: ; preds = %14
%16 = zext i32 %1 to i64
br label %36
17: ; preds = %12, %17
%18 = phi i64 [ 0, %12 ], [ %34, %17 ]
%19 = tail call dereferenceable_or_null(40) i8* @malloc(i32 40)
%20 = getelementptr inbounds i32*, i32** %6, i64 %18
%21 = bitcast i32** %20 to i8**
store i8* %19, i8** %21
%22 = tail call dereferenceable_or_null(40) i8* @malloc(i32 40)
%23 = getelementptr inbounds i32*, i32** %8, i64 %18
%24 = bitcast i32** %23 to i8**
store i8* %22, i8** %24
%25 = tail call dereferenceable_or_null(40) i8* @malloc(i32 40)
%26 = getelementptr inbounds i32*, i32** %10, i64 %18
%27 = bitcast i32** %26 to i8**
store i8* %25, i8** %27
%28 = bitcast i8* %19 to i32*
%29 = tail call i32 @memset(i32* %28, i32 0, i32 40)
%30 = bitcast i8* %22 to i32*
%31 = tail call i32 @memset(i32* %30, i32 0, i32 40)
%32 = bitcast i8* %25 to i32*
%33 = tail call i32 @memset(i32* %32, i32 0, i32 40)
%34 = add nuw nsw i64 %18, 1
%35 = icmp eq i64 %34, %13
br i1 %35, label %14, label %17
36: ; preds = %15, %75
%37 = phi i64 [ 0, %15 ], [ %76, %75 ]
%38 = getelementptr inbounds i32, i32* %2, i64 %37
%39 = load i32, i32* %38
%40 = icmp sgt i32 %39, 0
br i1 %40, label %41, label %75
41: ; preds = %36
%42 = getelementptr inbounds i8*, i8** %0, i64 %37
%43 = load i8*, i8** %42
%44 = trunc i64 %37 to i32
%45 = urem i32 %44, 3
%46 = sub nuw nsw i32 %44, %45
%47 = getelementptr inbounds i32*, i32** %6, i64 %37
br label %48
48: ; preds = %41, %70
%49 = phi i32 [ %39, %41 ], [ %71, %70 ]
%50 = phi i64 [ 0, %41 ], [ %72, %70 ]
%51 = getelementptr inbounds i8, i8* %43, i64 %50
%52 = load i8, i8* %51
%53 = icmp eq i8 %52, 46
br i1 %53, label %70, label %54
54: ; preds = %48
%55 = sext i8 %52 to i64
%56 = add nsw i64 %55, -48
%57 = trunc i64 %50 to i32
%58 = udiv i32 %57, 3
%59 = add nsw i32 %46, %58
%60 = load i32*, i32** %47
%61 = getelementptr inbounds i32, i32* %60, i64 %56
store i32 1, i32* %61
%62 = getelementptr inbounds i32*, i32** %8, i64 %50
%63 = load i32*, i32** %62
%64 = getelementptr inbounds i32, i32* %63, i64 %56
store i32 1, i32* %64
%65 = sext i32 %59 to i64
%66 = getelementptr inbounds i32*, i32** %10, i64 %65
%67 = load i32*, i32** %66
%68 = getelementptr inbounds i32, i32* %67, i64 %56
store i32 1, i32* %68
%69 = load i32, i32* %38
br label %70
70: ; preds = %48, %54
%71 = phi i32 [ %49, %48 ], [ %69, %54 ]
%72 = add nuw nsw i64 %50, 1
%73 = sext i32 %71 to i64
%74 = icmp slt i64 %72, %73
br i1 %74, label %48, label %75
75: ; preds = %70, %36
%76 = add nuw nsw i64 %37, 1
%77 = icmp eq i64 %76, %16
br i1 %77, label %78, label %36
78: ; preds = %75, %3, %14
%79 = tail call i32 @dfs(i8** %0, i32 0, i32** %6, i32** %8, i32** %10)
ret void
}