#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*/ valid(char **, char *, int, int);
bool isValidSudoku(char **board, int boardSize, int *boardColSize) {
  int i, j, k;
  for (i = 0; i < boardSize; i++) {
    char mark[10] = {'\0'};
    for (j = 0; j < boardColSize[i]; j++) {
      if (!valid(board, mark, i, j)) {
        return false;
      }
    }
  }
  for (j = 0; j < boardColSize[0]; j++) {
    char mark[10] = {'\0'};
    for (i = 0; i < boardSize; i++) {
      if (!valid(board, mark, i, j)) {
        return false;
      }
    }
  }
  for (k = 0; k < boardSize; k++) {
    int sr = k / 3 * 3;
    int sc = (k % 3) * 3;
    char mark[10] = {'\0'};
    for (i = sr; i < sr + 3; i++) {
      for (j = sc; j < sc + 3; j++) {
        if (!valid(board, mark, i, j)) {
          return false;
        }
      }
    }
  }
  return true;
}


x86 assembly (clang, -O0):
<isValidSudoku>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11bf <isValidSudoku+0x9f>
lea    -0x36(%rbp),%rdi
xor    %esi,%esi
mov    $0xa,%edx
call   1030 <memset@plt>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x20(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11ac <isValidSudoku+0x8c>
mov    -0x10(%rbp),%rdi
lea    -0x36(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
call   1040 <valid@plt>
cmp    $0x0,%eax
jne    1199 <isValidSudoku+0x79>
movl   $0x0,-0x4(%rbp)
jmp    1321 <isValidSudoku+0x201>
jmp    119e <isValidSudoku+0x7e>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    115d <isValidSudoku+0x3d>
jmp    11b1 <isValidSudoku+0x91>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    113a <isValidSudoku+0x1a>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jge    1246 <isValidSudoku+0x126>
lea    -0x40(%rbp),%rdi
xor    %esi,%esi
mov    $0xa,%edx
call   1030 <memset@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1233 <isValidSudoku+0x113>
mov    -0x10(%rbp),%rdi
lea    -0x40(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
call   1040 <valid@plt>
cmp    $0x0,%eax
jne    1220 <isValidSudoku+0x100>
movl   $0x0,-0x4(%rbp)
jmp    1321 <isValidSudoku+0x201>
jmp    1225 <isValidSudoku+0x105>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11ec <isValidSudoku+0xcc>
jmp    1238 <isValidSudoku+0x118>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11c6 <isValidSudoku+0xa6>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    131a <isValidSudoku+0x1fa>
mov    -0x2c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%edx,%eax
mov    %eax,-0x48(%rbp)
lea    -0x52(%rbp),%rdi
xor    %esi,%esi
mov    $0xa,%edx
call   1030 <memset@plt>
mov    -0x44(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x44(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1307 <isValidSudoku+0x1e7>
mov    -0x48(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x48(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    12f4 <isValidSudoku+0x1d4>
mov    -0x10(%rbp),%rdi
lea    -0x52(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
call   1040 <valid@plt>
cmp    $0x0,%eax
jne    12e1 <isValidSudoku+0x1c1>
movl   $0x0,-0x4(%rbp)
jmp    1321 <isValidSudoku+0x201>
jmp    12e6 <isValidSudoku+0x1c6>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12a8 <isValidSudoku+0x188>
jmp    12f9 <isValidSudoku+0x1d9>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1291 <isValidSudoku+0x171>
jmp    130c <isValidSudoku+0x1ec>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    124d <isValidSudoku+0x12d>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValidSudoku>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdx,%r13
mov    %esi,%r14d
mov    %rdi,%r12
test   %esi,%esi
jle    1193 <isValidSudoku+0x83>
mov    %r14d,%eax
mov    %rax,0x18(%rsp)
xor    %ebx,%ebx
lea    0x8(%rsp),%r15
jmp    114b <isValidSudoku+0x3b>
nopl   0x0(%rax)
add    $0x1,%rbx
cmp    0x18(%rsp),%rbx
je     1193 <isValidSudoku+0x83>
movw   $0x0,0x10(%rsp)
movq   $0x0,0x8(%rsp)
cmpl   $0x0,0x0(%r13,%rbx,4)
jle    1140 <isValidSudoku+0x30>
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r12,%rdi
mov    %r15,%rsi
mov    %ebx,%edx
mov    %ebp,%ecx
call   1030 <valid@plt>
test   %eax,%eax
je     1296 <isValidSudoku+0x186>
add    $0x1,%ebp
cmp    0x0(%r13,%rbx,4),%ebp
jl     1170 <isValidSudoku+0x60>
jmp    1140 <isValidSudoku+0x30>
mov    0x0(%r13),%eax
test   %eax,%eax
jle    11f5 <isValidSudoku+0xe5>
xor    %ebx,%ebx
lea    0x8(%rsp),%r15
jmp    11b7 <isValidSudoku+0xa7>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%ebx
cmp    %eax,%ebx
jge    11f5 <isValidSudoku+0xe5>
movw   $0x0,0x10(%rsp)
movq   $0x0,0x8(%rsp)
test   %r14d,%r14d
jle    11b0 <isValidSudoku+0xa0>
xor    %ebp,%ebp
xchg   %ax,%ax
mov    %r12,%rdi
mov    %r15,%rsi
mov    %ebp,%edx
mov    %ebx,%ecx
call   1030 <valid@plt>
test   %eax,%eax
je     1296 <isValidSudoku+0x186>
add    $0x1,%ebp
cmp    %ebp,%r14d
jne    11d0 <isValidSudoku+0xc0>
mov    0x0(%r13),%eax
jmp    11b0 <isValidSudoku+0xa0>
mov    $0x1,%eax
test   %r14d,%r14d
jle    1298 <isValidSudoku+0x188>
xor    %ecx,%ecx
mov    $0xaaaaaaab,%edx
lea    0x8(%rsp),%r13
mov    %ecx,%eax
imul   %rdx,%rax
shr    $0x21,%rax
lea    (%rax,%rax,2),%ebx
mov    %ecx,0x20(%rsp)
sub    %ebx,%ecx
lea    (%rcx,%rcx,2),%ebp
movw   $0x0,0x10(%rsp)
movq   $0x0,0x8(%rsp)
lea    (%rcx,%rcx,2),%r15d
add    $0x3,%r15d
lea    (%rax,%rax,2),%eax
add    $0x2,%eax
mov    %eax,0x24(%rsp)
mov    %ebp,0x18(%rsp)
nopl   0x0(%rax,%rax,1)
mov    %r12,%rdi
mov    %r13,%rsi
mov    %ebx,%edx
mov    %ebp,%ecx
call   1030 <valid@plt>
test   %eax,%eax
je     1296 <isValidSudoku+0x186>
add    $0x1,%ebp
cmp    %r15d,%ebp
jb     1250 <isValidSudoku+0x140>
lea    0x1(%rbx),%eax
cmp    0x24(%rsp),%ebx
mov    %eax,%ebx
mov    0x18(%rsp),%ebp
jl     1250 <isValidSudoku+0x140>
mov    0x20(%rsp),%ecx
add    $0x1,%ecx
cmp    %r14d,%ecx
mov    $0xaaaaaaab,%edx
jne    120f <isValidSudoku+0xff>
mov    $0x1,%eax
jmp    1298 <isValidSudoku+0x188>
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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