#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 */
typedef int /*<<< orphan*/ row;
typedef int /*<<< orphan*/ col;
typedef int /*<<< orphan*/ block;

/* Variables and functions */
int /*<<< orphan*/ memset(int **, int /*<<< orphan*/, int);
bool isValidSudoku(char **board, int boardRowSize, int boardColSize) {
  int row[9][9];
  int col[9][9];
  int block[9][9];
  int i, j;
  memset(row, 0, sizeof(row));
  memset(col, 0, sizeof(col));
  memset(block, 0, sizeof(block));
  for (i = 0; i < boardRowSize; i++) {
    for (j = 0; j < boardColSize; j++) {
      if (*(*(board + i) + j) != '.') {
        if (row[i][*(*(board + i) + j) - '1'] == 0) {
          row[i][*(*(board + i) + j) - '1'] = 1;
        } else {
          return false;
        }
        if (col[j][*(*(board + i) + j) - '1'] == 0) {
          col[j][*(*(board + i) + j) - '1'] = 1;
        } else {
          return false;
        }
        if (block[i / 3 * 3 + j / 3][*(*(board + i) + j) - '1'] == 0) {
          block[i / 3 * 3 + j / 3][*(*(board + i) + j) - '1'] = 1;
        } else {
          return false;
        }
      }
    }
  }
  return true;
}


x86 assembly (clang, -O0):
<isValidSudoku>:
push   %rbp
mov    %rsp,%rbp
sub    $0x410,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
lea    -0x160(%rbp),%rdi
xor    %esi,%esi
mov    $0x144,%edx
call   1030 <memset@plt>
lea    -0x2b0(%rbp),%rdi
xor    %esi,%esi
mov    $0x144,%edx
call   1030 <memset@plt>
lea    -0x400(%rbp),%rdi
xor    %esi,%esi
mov    $0x144,%edx
call   1030 <memset@plt>
movl   $0x0,-0x404(%rbp)
mov    -0x404(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13e4 <isValidSudoku+0x2d4>
movl   $0x0,-0x408(%rbp)
mov    -0x408(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    13cb <isValidSudoku+0x2bb>
mov    -0x10(%rbp),%rax
movslq -0x404(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x408(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     13b2 <isValidSudoku+0x2a2>
movslq -0x404(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x404(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x408(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1233 <isValidSudoku+0x123>
movslq -0x404(%rbp),%rcx
lea    -0x160(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x404(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x408(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    123f <isValidSudoku+0x12f>
movl   $0x0,-0x4(%rbp)
jmp    13eb <isValidSudoku+0x2db>
movslq -0x408(%rbp),%rcx
lea    -0x2b0(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x404(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x408(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12bf <isValidSudoku+0x1af>
movslq -0x408(%rbp),%rcx
lea    -0x2b0(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x404(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x408(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    12cb <isValidSudoku+0x1bb>
movl   $0x0,-0x4(%rbp)
jmp    13eb <isValidSudoku+0x2db>
mov    -0x404(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x40c(%rbp)
mov    -0x408(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x40c(%rbp),%eax
add    %ecx,%eax
movslq %eax,%rcx
lea    -0x400(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x404(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x408(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13a1 <isValidSudoku+0x291>
mov    -0x404(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x410(%rbp)
mov    -0x408(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x410(%rbp),%eax
add    %ecx,%eax
movslq %eax,%rcx
lea    -0x400(%rbp),%rax
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x404(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movslq -0x408(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13ad <isValidSudoku+0x29d>
movl   $0x0,-0x4(%rbp)
jmp    13eb <isValidSudoku+0x2db>
jmp    13b2 <isValidSudoku+0x2a2>
jmp    13b7 <isValidSudoku+0x2a7>
mov    -0x408(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x408(%rbp)
jmp    1181 <isValidSudoku+0x71>
jmp    13d0 <isValidSudoku+0x2c0>
mov    -0x404(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x404(%rbp)
jmp    1168 <isValidSudoku+0x58>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x410,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValidSudoku>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x3f0,%rsp
mov    %edx,%r15d
mov    %esi,%ebp
mov    %rdi,%r14
lea    0x2a0(%rsp),%rdi
xor    %esi,%esi
mov    $0x144,%edx
call   1030 <memset@plt>
lea    0x150(%rsp),%rdi
xor    %esi,%esi
mov    $0x144,%edx
call   1030 <memset@plt>
mov    %rsp,%rdi
xor    %esi,%esi
mov    $0x144,%edx
call   1030 <memset@plt>
test   %ebp,%ebp
jle    1242 <isValidSudoku+0x132>
mov    %ebp,%r9d
mov    %r15d,%r12d
lea    0x8c(%rsp),%r8
xor    %edi,%edi
mov    $0xaaaaaaab,%r10d
jmp    118d <isValidSudoku+0x7d>
xchg   %ax,%ax
add    $0x1,%rdi
cmp    %r9,%rdi
je     1242 <isValidSudoku+0x132>
test   %r15d,%r15d
jle    1180 <isValidSudoku+0x70>
mov    (%r14,%rdi,8),%rsi
mov    %edi,%eax
imul   %r10,%rax
shr    $0x21,%rax
lea    (%rax,%rax,2),%r11d
mov    %r8,%rbx
xor    %ebp,%ebp
jmp    11bd <isValidSudoku+0xad>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbp
add    $0x24,%rbx
cmp    %rbp,%r12
je     1180 <isValidSudoku+0x70>
movsbq (%rsi,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     11b0 <isValidSudoku+0xa0>
lea    (%rdi,%rdi,8),%rax
lea    (%rsp,%rax,4),%rdx
add    $0x2a0,%rdx
xor    %eax,%eax
cmpl   $0x0,-0xc4(%rdx,%rcx,4)
jne    1247 <isValidSudoku+0x137>
lea    (%rdx,%rcx,4),%rcx
add    $0xffffffffffffff3c,%rcx
movl   $0x1,(%rcx)
movsbq (%rsi,%rbp,1),%rcx
cmpl   $0x0,(%rbx,%rcx,4)
jne    1247 <isValidSudoku+0x137>
movl   $0x1,(%rbx,%rcx,4)
mov    %ebp,%ecx
imul   %r10,%rcx
shr    $0x21,%rcx
add    %r11d,%ecx
movslq %ecx,%rdx
movsbq (%rsi,%rbp,1),%rcx
lea    (%rdx,%rdx,8),%rdx
lea    (%rsp,%rdx,4),%rdx
cmpl   $0x0,-0xc4(%rdx,%rcx,4)
jne    1247 <isValidSudoku+0x137>
lea    (%rdx,%rcx,4),%rax
add    $0xffffffffffffff3c,%rax
movl   $0x1,(%rax)
jmp    11b0 <isValidSudoku+0xa0>
mov    $0x1,%eax
add    $0x3f0,%rsp
pop    %rbx
pop    %r12
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 [9 x [9 x i32]]
%9 = alloca [9 x [9 x i32]]
%10 = alloca [9 x [9 x i32]]
%11 = alloca i32
%12 = alloca i32
store i8** %0, i8*** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%13 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 0
%14 = bitcast [9 x i32]* %13 to i32**
%15 = call i32 @memset(i32** %14, i32 0, i32 324)
%16 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 0
%17 = bitcast [9 x i32]* %16 to i32**
%18 = call i32 @memset(i32** %17, i32 0, i32 324)
%19 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 0
%20 = bitcast [9 x i32]* %19 to i32**
%21 = call i32 @memset(i32** %20, i32 0, i32 324)
store i32 0, i32* %11
br label %22
22: ; preds = %170, %3
%23 = load i32, i32* %11
%24 = load i32, i32* %6
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %173
26: ; preds = %22
store i32 0, i32* %12
br label %27
27: ; preds = %166, %26
%28 = load i32, i32* %12
%29 = load i32, i32* %7
%30 = icmp slt i32 %28, %29
br i1 %30, label %31, label %169
31: ; preds = %27
%32 = load i8**, i8*** %5
%33 = load i32, i32* %11
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8*, i8** %32, i64 %34
%36 = load i8*, i8** %35
%37 = load i32, i32* %12
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp ne i32 %41, 46
br i1 %42, label %43, label %165
43: ; preds = %31
%44 = load i32, i32* %11
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %45
%47 = load i8**, i8*** %5
%48 = load i32, i32* %11
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8*, i8** %47, i64 %49
%51 = load i8*, i8** %50
%52 = load i32, i32* %12
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %51, i64 %53
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = sub nsw i32 %56, 49
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [9 x i32], [9 x i32]* %46, i64 0, i64 %58
%60 = load i32, i32* %59
%61 = icmp eq i32 %60, 0
br i1 %61, label %62, label %79
62: ; preds = %43
%63 = load i32, i32* %11
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %8, i64 0, i64 %64
%66 = load i8**, i8*** %5
%67 = load i32, i32* %11
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i8*, i8** %66, i64 %68
%70 = load i8*, i8** %69
%71 = load i32, i32* %12
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = sub nsw i32 %75, 49
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds [9 x i32], [9 x i32]* %65, i64 0, i64 %77
store i32 1, i32* %78
br label %80
79: ; preds = %43
store i32 0, i32* %4
br label %174
80: ; preds = %62
%81 = load i32, i32* %12
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 %82
%84 = load i8**, i8*** %5
%85 = load i32, i32* %11
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i8*, i8** %84, i64 %86
%88 = load i8*, i8** %87
%89 = load i32, i32* %12
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i8, i8* %88, i64 %90
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = sub nsw i32 %93, 49
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds [9 x i32], [9 x i32]* %83, i64 0, i64 %95
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, 0
br i1 %98, label %99, label %116
99: ; preds = %80
%100 = load i32, i32* %12
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %9, i64 0, i64 %101
%103 = load i8**, i8*** %5
%104 = load i32, i32* %11
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i8*, i8** %103, i64 %105
%107 = load i8*, i8** %106
%108 = load i32, i32* %12
%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, 49
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds [9 x i32], [9 x i32]* %102, i64 0, i64 %114
store i32 1, i32* %115
br label %117
116: ; preds = %80
store i32 0, i32* %4
br label %174
117: ; preds = %99
%118 = load i32, i32* %11
%119 = sdiv i32 %118, 3
%120 = mul nsw i32 %119, 3
%121 = load i32, i32* %12
%122 = sdiv i32 %121, 3
%123 = add nsw i32 %120, %122
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 %124
%126 = load i8**, i8*** %5
%127 = load i32, i32* %11
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i8*, i8** %126, i64 %128
%130 = load i8*, i8** %129
%131 = load i32, i32* %12
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds i8, i8* %130, i64 %132
%134 = load i8, i8* %133
%135 = sext i8 %134 to i32
%136 = sub nsw i32 %135, 49
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds [9 x i32], [9 x i32]* %125, i64 0, i64 %137
%139 = load i32, i32* %138
%140 = icmp eq i32 %139, 0
br i1 %140, label %141, label %163
141: ; preds = %117
%142 = load i32, i32* %11
%143 = sdiv i32 %142, 3
%144 = mul nsw i32 %143, 3
%145 = load i32, i32* %12
%146 = sdiv i32 %145, 3
%147 = add nsw i32 %144, %146
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds [9 x [9 x i32]], [9 x [9 x i32]]* %10, i64 0, i64 %148
%150 = load i8**, i8*** %5
%151 = load i32, i32* %11
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8*, i8** %150, i64 %152
%154 = load i8*, i8** %153
%155 = load i32, i32* %12
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i8, i8* %154, i64 %156
%158 = load i8, i8* %157
%159 = sext i8 %158 to i32
%160 = sub nsw i32 %159, 49
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [9 x i32], [9 x i32]* %149, i64 0, i64 %161
store i32 1, i32* %162
br label %164
163: ; preds = %117
store i32 0, i32* %4
br label %174
164: ; preds = %141
br label %165
165: ; preds = %164, %31
br label %166
166: ; preds = %165
%167 = load i32, i32* %12
%168 = add nsw i32 %167, 1
store i32 %168, i32* %12
br label %27
169: ; preds = %27
br label %170
170: ; preds = %169
%171 = load i32, i32* %11
%172 = add nsw i32 %171, 1
store i32 %172, i32* %11
br label %22
173: ; preds = %22
store i32 1, i32* %4
br label %174
174: ; preds = %173, %163, %116, %79
%175 = load i32, i32* %4
ret i32 %175
}

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