#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*/ memset(int *, int /*<<< orphan*/, int);
bool isValidSudoku0(char **board, int rSize, int cSize) {
  int a[10];
  int space = sizeof(int) * 10;
  for (int i = 0; i < rSize; i++) {
    memset(a, 0, space);
    for (int j = 0; j < cSize; j++) {
      if (board[i][j] != '.')
        if (a[board[i][j] - '0']++)
          return false;
    }
  }
  for (int i = 0; i < cSize; i++) {
    memset(a, 0, space);
    for (int j = 0; j < rSize; j++) {
      if (board[j][i] != '.')
        if (a[board[j][i] - '0']++)
          return false;
    }
  }
  for (int row = 0; row < 9; row += 3)
    for (int col = 0; col < 9; col += 3) {
      memset(a, 0, space);
      for (int i = 0; i < 3; i++)
        for (int j = 0; j < 3; j++) {
          if (board[row + i][col + j] != '.')
            if (a[board[row + i][col + j] - '0']++)
              return false;
        }
    }
  return true;
}


x86 assembly (clang, -O0):
<isValidSudoku0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x28,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11e1 <isValidSudoku0+0xd1>
lea    -0x40(%rbp),%rdi
mov    -0x44(%rbp),%edx
xor    %esi,%esi
call   1030 <memset@plt>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11ce <isValidSudoku0+0xbe>
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x4c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     11bb <isValidSudoku0+0xab>
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x4c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
movslq %eax,%rcx
mov    -0x40(%rbp,%rcx,4),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp,%rcx,4)
cmp    $0x0,%eax
je     11b6 <isValidSudoku0+0xa6>
movl   $0x0,-0x4(%rbp)
jmp    13b0 <isValidSudoku0+0x2a0>
jmp    11bb <isValidSudoku0+0xab>
jmp    11c0 <isValidSudoku0+0xb0>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1151 <isValidSudoku0+0x41>
jmp    11d3 <isValidSudoku0+0xc3>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1130 <isValidSudoku0+0x20>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1299 <isValidSudoku0+0x189>
lea    -0x40(%rbp),%rdi
mov    -0x44(%rbp),%edx
xor    %esi,%esi
call   1030 <memset@plt>
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1286 <isValidSudoku0+0x176>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x50(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1273 <isValidSudoku0+0x163>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x50(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
movslq %eax,%rcx
mov    -0x40(%rbp,%rcx,4),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp,%rcx,4)
cmp    $0x0,%eax
je     126e <isValidSudoku0+0x15e>
movl   $0x0,-0x4(%rbp)
jmp    13b0 <isValidSudoku0+0x2a0>
jmp    1273 <isValidSudoku0+0x163>
jmp    1278 <isValidSudoku0+0x168>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1209 <isValidSudoku0+0xf9>
jmp    128b <isValidSudoku0+0x17b>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    11e8 <isValidSudoku0+0xd8>
movl   $0x0,-0x58(%rbp)
cmpl   $0x9,-0x58(%rbp)
jge    13a9 <isValidSudoku0+0x299>
movl   $0x0,-0x5c(%rbp)
cmpl   $0x9,-0x5c(%rbp)
jge    1396 <isValidSudoku0+0x286>
lea    -0x40(%rbp),%rdi
mov    -0x44(%rbp),%edx
xor    %esi,%esi
call   1030 <memset@plt>
movl   $0x0,-0x60(%rbp)
cmpl   $0x3,-0x60(%rbp)
jge    1383 <isValidSudoku0+0x273>
movl   $0x0,-0x64(%rbp)
cmpl   $0x3,-0x64(%rbp)
jge    1370 <isValidSudoku0+0x260>
mov    -0x10(%rbp),%rax
mov    -0x58(%rbp),%ecx
add    -0x60(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x5c(%rbp),%ecx
add    -0x64(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     135d <isValidSudoku0+0x24d>
mov    -0x10(%rbp),%rax
mov    -0x58(%rbp),%ecx
add    -0x60(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x5c(%rbp),%ecx
add    -0x64(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
movslq %eax,%rcx
mov    -0x40(%rbp,%rcx,4),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp,%rcx,4)
cmp    $0x0,%eax
je     1358 <isValidSudoku0+0x248>
movl   $0x0,-0x4(%rbp)
jmp    13b0 <isValidSudoku0+0x2a0>
jmp    135d <isValidSudoku0+0x24d>
jmp    1362 <isValidSudoku0+0x252>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    12e1 <isValidSudoku0+0x1d1>
jmp    1375 <isValidSudoku0+0x265>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    12d0 <isValidSudoku0+0x1c0>
jmp    1388 <isValidSudoku0+0x278>
mov    -0x5c(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x5c(%rbp)
jmp    12b1 <isValidSudoku0+0x1a1>
jmp    139b <isValidSudoku0+0x28b>
mov    -0x58(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x58(%rbp)
jmp    12a0 <isValidSudoku0+0x190>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValidSudoku0>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %edx,%r13d
mov    %rdi,%r14
mov    %esi,0xc(%rsp)
test   %esi,%esi
jle    119b <isValidSudoku0+0x8b>
mov    0xc(%rsp),%r12d
mov    %r13d,%ebp
xor    %r15d,%r15d
lea    0x10(%rsp),%rbx
jmp    1149 <isValidSudoku0+0x39>
xchg   %ax,%ax
add    $0x1,%r15
cmp    %r12,%r15
je     119b <isValidSudoku0+0x8b>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
test   %r13d,%r13d
jle    1140 <isValidSudoku0+0x30>
mov    (%r14,%r15,8),%rax
xor    %ecx,%ecx
jmp    1179 <isValidSudoku0+0x69>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%rcx
cmp    %rcx,%rbp
je     1140 <isValidSudoku0+0x30>
movsbq (%rax,%rcx,1),%rdx
cmp    $0x2e,%rdx
je     1170 <isValidSudoku0+0x60>
mov    -0xb0(%rsp,%rdx,4),%esi
lea    0x1(%rsi),%edi
mov    %edi,-0xb0(%rsp,%rdx,4)
test   %esi,%esi
je     1170 <isValidSudoku0+0x60>
jmp    120d <isValidSudoku0+0xfd>
test   %r13d,%r13d
jle    121e <isValidSudoku0+0x10e>
mov    %r13d,%r12d
mov    0xc(%rsp),%ebp
xor    %ebx,%ebx
lea    0x10(%rsp),%r15
jmp    11b9 <isValidSudoku0+0xa9>
add    $0x1,%rbx
cmp    %r12,%rbx
je     121e <isValidSudoku0+0x10e>
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
cmpl   $0x0,0xc(%rsp)
jle    11b0 <isValidSudoku0+0xa0>
xor    %eax,%eax
jmp    11e9 <isValidSudoku0+0xd9>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rax
cmp    %rax,%rbp
je     11b0 <isValidSudoku0+0xa0>
mov    (%r14,%rax,8),%rcx
movsbq (%rcx,%rbx,1),%rcx
cmp    $0x2e,%rcx
je     11e0 <isValidSudoku0+0xd0>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
je     11e0 <isValidSudoku0+0xd0>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r15d,%r15d
lea    0x10(%rsp),%rbx
mov    $0xfffffffffffffffd,%rbp
jmp    123e <isValidSudoku0+0x12e>
nop
add    $0x3,%rbp
cmp    $0x6,%rbp
jae    13ad <isValidSudoku0+0x29d>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
mov    (%r14,%r15,8),%rax
movsbq 0x3(%rax,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     1272 <isValidSudoku0+0x162>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
jne    120d <isValidSudoku0+0xfd>
movsbq 0x4(%rax,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     1297 <isValidSudoku0+0x187>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
jne    120d <isValidSudoku0+0xfd>
movsbq 0x5(%rax,%rbp,1),%rax
cmp    $0x2e,%rax
je     12bc <isValidSudoku0+0x1ac>
mov    -0xb0(%rsp,%rax,4),%ecx
lea    0x1(%rcx),%edx
mov    %edx,-0xb0(%rsp,%rax,4)
test   %ecx,%ecx
jne    120d <isValidSudoku0+0xfd>
mov    0x8(%r14,%r15,8),%rax
movsbq 0x3(%rax,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     12e6 <isValidSudoku0+0x1d6>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
jne    120d <isValidSudoku0+0xfd>
movsbq 0x4(%rax,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     130b <isValidSudoku0+0x1fb>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
jne    120d <isValidSudoku0+0xfd>
movsbq 0x5(%rax,%rbp,1),%rax
cmp    $0x2e,%rax
je     1330 <isValidSudoku0+0x220>
mov    -0xb0(%rsp,%rax,4),%ecx
lea    0x1(%rcx),%edx
mov    %edx,-0xb0(%rsp,%rax,4)
test   %ecx,%ecx
jne    120d <isValidSudoku0+0xfd>
mov    0x10(%r14,%r15,8),%rax
movsbq 0x3(%rax,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     135a <isValidSudoku0+0x24a>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
jne    120d <isValidSudoku0+0xfd>
movsbq 0x4(%rax,%rbp,1),%rcx
cmp    $0x2e,%rcx
je     137f <isValidSudoku0+0x26f>
mov    -0xb0(%rsp,%rcx,4),%edx
lea    0x1(%rdx),%esi
mov    %esi,-0xb0(%rsp,%rcx,4)
test   %edx,%edx
jne    120d <isValidSudoku0+0xfd>
movsbq 0x5(%rax,%rbp,1),%rax
cmp    $0x2e,%rax
je     1230 <isValidSudoku0+0x120>
mov    -0xb0(%rsp,%rax,4),%ecx
lea    0x1(%rcx),%edx
mov    %edx,-0xb0(%rsp,%rax,4)
test   %ecx,%ecx
je     1230 <isValidSudoku0+0x120>
jmp    120d <isValidSudoku0+0xfd>
lea    0x3(%r15),%rcx
mov    $0x1,%eax
cmp    $0x6,%r15
mov    %rcx,%r15
jb     1226 <isValidSudoku0+0x116>
jmp    120f <isValidSudoku0+0xff>

LLVM IR (-O0):
define i32 @isValidSudoku0(i8** %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca [10 x 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
%17 = alloca i32
store i8** %0, i8*** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 40, i32* %9
store i32 0, i32* %10
br label %18
18: ; preds = %66, %3
%19 = load i32, i32* %10
%20 = load i32, i32* %6
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %69
22: ; preds = %18
%23 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 0
%24 = load i32, i32* %9
%25 = call i32 @memset(i32* %23, i32 0, i32 %24)
store i32 0, i32* %11
br label %26
26: ; preds = %62, %22
%27 = load i32, i32* %11
%28 = load i32, i32* %7
%29 = icmp slt i32 %27, %28
br i1 %29, label %30, label %65
30: ; preds = %26
%31 = load i8**, i8*** %5
%32 = load i32, i32* %10
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8*, i8** %31, i64 %33
%35 = load i8*, i8** %34
%36 = load i32, i32* %11
%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 ne i32 %40, 46
br i1 %41, label %42, label %61
42: ; preds = %30
%43 = load i8**, i8*** %5
%44 = load i32, i32* %10
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8*, i8** %43, i64 %45
%47 = load i8*, i8** %46
%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 = sext i8 %51 to i32
%53 = sub nsw i32 %52, 48
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %54
%56 = load i32, i32* %55
%57 = add nsw i32 %56, 1
store i32 %57, i32* %55
%58 = icmp ne i32 %56, 0
br i1 %58, label %59, label %60
59: ; preds = %42
store i32 0, i32* %4
br label %196
60: ; preds = %42
br label %61
61: ; preds = %60, %30
br label %62
62: ; preds = %61
%63 = load i32, i32* %11
%64 = add nsw i32 %63, 1
store i32 %64, i32* %11
br label %26
65: ; preds = %26
br label %66
66: ; preds = %65
%67 = load i32, i32* %10
%68 = add nsw i32 %67, 1
store i32 %68, i32* %10
br label %18
69: ; preds = %18
store i32 0, i32* %12
br label %70
70: ; preds = %118, %69
%71 = load i32, i32* %12
%72 = load i32, i32* %7
%73 = icmp slt i32 %71, %72
br i1 %73, label %74, label %121
74: ; preds = %70
%75 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 0
%76 = load i32, i32* %9
%77 = call i32 @memset(i32* %75, i32 0, i32 %76)
store i32 0, i32* %13
br label %78
78: ; preds = %114, %74
%79 = load i32, i32* %13
%80 = load i32, i32* %6
%81 = icmp slt i32 %79, %80
br i1 %81, label %82, label %117
82: ; preds = %78
%83 = load i8**, i8*** %5
%84 = load i32, i32* %13
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8*, i8** %83, i64 %85
%87 = load i8*, i8** %86
%88 = load i32, i32* %12
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i8, i8* %87, i64 %89
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = icmp ne i32 %92, 46
br i1 %93, label %94, label %113
94: ; preds = %82
%95 = load i8**, i8*** %5
%96 = load i32, i32* %13
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i8*, i8** %95, i64 %97
%99 = load i8*, i8** %98
%100 = load i32, i32* %12
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %99, i64 %101
%103 = load i8, i8* %102
%104 = sext i8 %103 to i32
%105 = sub nsw i32 %104, 48
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %106
%108 = load i32, i32* %107
%109 = add nsw i32 %108, 1
store i32 %109, i32* %107
%110 = icmp ne i32 %108, 0
br i1 %110, label %111, label %112
111: ; preds = %94
store i32 0, i32* %4
br label %196
112: ; preds = %94
br label %113
113: ; preds = %112, %82
br label %114
114: ; preds = %113
%115 = load i32, i32* %13
%116 = add nsw i32 %115, 1
store i32 %116, i32* %13
br label %78
117: ; preds = %78
br label %118
118: ; preds = %117
%119 = load i32, i32* %12
%120 = add nsw i32 %119, 1
store i32 %120, i32* %12
br label %70
121: ; preds = %70
store i32 0, i32* %14
br label %122
122: ; preds = %192, %121
%123 = load i32, i32* %14
%124 = icmp slt i32 %123, 9
br i1 %124, label %125, label %195
125: ; preds = %122
store i32 0, i32* %15
br label %126
126: ; preds = %188, %125
%127 = load i32, i32* %15
%128 = icmp slt i32 %127, 9
br i1 %128, label %129, label %191
129: ; preds = %126
%130 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 0
%131 = load i32, i32* %9
%132 = call i32 @memset(i32* %130, i32 0, i32 %131)
store i32 0, i32* %16
br label %133
133: ; preds = %184, %129
%134 = load i32, i32* %16
%135 = icmp slt i32 %134, 3
br i1 %135, label %136, label %187
136: ; preds = %133
store i32 0, i32* %17
br label %137
137: ; preds = %180, %136
%138 = load i32, i32* %17
%139 = icmp slt i32 %138, 3
br i1 %139, label %140, label %183
140: ; preds = %137
%141 = load i8**, i8*** %5
%142 = load i32, i32* %14
%143 = load i32, i32* %16
%144 = add nsw i32 %142, %143
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i8*, i8** %141, i64 %145
%147 = load i8*, i8** %146
%148 = load i32, i32* %15
%149 = load i32, i32* %17
%150 = add nsw i32 %148, %149
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i8, i8* %147, i64 %151
%153 = load i8, i8* %152
%154 = sext i8 %153 to i32
%155 = icmp ne i32 %154, 46
br i1 %155, label %156, label %179
156: ; preds = %140
%157 = load i8**, i8*** %5
%158 = load i32, i32* %14
%159 = load i32, i32* %16
%160 = add nsw i32 %158, %159
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i8*, i8** %157, i64 %161
%163 = load i8*, i8** %162
%164 = load i32, i32* %15
%165 = load i32, i32* %17
%166 = add nsw i32 %164, %165
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i8, i8* %163, i64 %167
%169 = load i8, i8* %168
%170 = sext i8 %169 to i32
%171 = sub nsw i32 %170, 48
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %172
%174 = load i32, i32* %173
%175 = add nsw i32 %174, 1
store i32 %175, i32* %173
%176 = icmp ne i32 %174, 0
br i1 %176, label %177, label %178
177: ; preds = %156
store i32 0, i32* %4
br label %196
178: ; preds = %156
br label %179
179: ; preds = %178, %140
br label %180
180: ; preds = %179
%181 = load i32, i32* %17
%182 = add nsw i32 %181, 1
store i32 %182, i32* %17
br label %137
183: ; preds = %137
br label %184
184: ; preds = %183
%185 = load i32, i32* %16
%186 = add nsw i32 %185, 1
store i32 %186, i32* %16
br label %133
187: ; preds = %133
br label %188
188: ; preds = %187
%189 = load i32, i32* %15
%190 = add nsw i32 %189, 3
store i32 %190, i32* %15
br label %126
191: ; preds = %126
br label %192
192: ; preds = %191
%193 = load i32, i32* %14
%194 = add nsw i32 %193, 3
store i32 %194, i32* %14
br label %122
195: ; preds = %122
store i32 1, i32* %4
br label %196
196: ; preds = %195, %177, %111, %59
%197 = load i32, i32* %4
ret i32 %197
}

LLVM IR (-O2):
define i32 @isValidSudoku0(i8** nocapture %0, i32 %1, i32 %2) {
%4 = alloca [10 x i32]
%5 = bitcast [10 x i32]* %4 to i8*
%6 = icmp sgt i32 %1, 0
br i1 %6, label %7, label %12
7: ; preds = %3
%8 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 0
%9 = icmp sgt i32 %2, 0
%10 = zext i32 %1 to i64
%11 = zext i32 %2 to i64
br label %18
12: ; preds = %39, %3
%13 = icmp sgt i32 %2, 0
br i1 %13, label %14, label %42
14: ; preds = %12
%15 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 0
%16 = zext i32 %2 to i64
%17 = zext i32 %1 to i64
br label %44
18: ; preds = %7, %39
%19 = phi i64 [ 0, %7 ], [ %40, %39 ]
%20 = call i32 @memset(i32* %8, i32 0, i32 40)
br i1 %9, label %21, label %39
21: ; preds = %18
%22 = getelementptr inbounds i8*, i8** %0, i64 %19
%23 = load i8*, i8** %22
br label %24
24: ; preds = %21, %36
%25 = phi i64 [ 0, %21 ], [ %37, %36 ]
%26 = getelementptr inbounds i8, i8* %23, i64 %25
%27 = load i8, i8* %26
%28 = icmp eq i8 %27, 46
br i1 %28, label %36, label %29
29: ; preds = %24
%30 = sext i8 %27 to i64
%31 = add nsw i64 %30, -48
%32 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %31
%33 = load i32, i32* %32
%34 = add nsw i32 %33, 1
store i32 %34, i32* %32
%35 = icmp eq i32 %33, 0
br i1 %35, label %36, label %186
36: ; preds = %24, %29
%37 = add nuw nsw i64 %25, 1
%38 = icmp eq i64 %37, %11
br i1 %38, label %39, label %24
39: ; preds = %36, %18
%40 = add nuw nsw i64 %19, 1
%41 = icmp eq i64 %40, %10
br i1 %41, label %12, label %18
42: ; preds = %64, %12
%43 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 0
br label %67
44: ; preds = %14, %64
%45 = phi i64 [ 0, %14 ], [ %65, %64 ]
%46 = call i32 @memset(i32* %15, i32 0, i32 40)
br i1 %6, label %47, label %64
47: ; preds = %44, %61
%48 = phi i64 [ %62, %61 ], [ 0, %44 ]
%49 = getelementptr inbounds i8*, i8** %0, i64 %48
%50 = load i8*, i8** %49
%51 = getelementptr inbounds i8, i8* %50, i64 %45
%52 = load i8, i8* %51
%53 = icmp eq i8 %52, 46
br i1 %53, label %61, label %54
54: ; preds = %47
%55 = sext i8 %52 to i64
%56 = add nsw i64 %55, -48
%57 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %56
%58 = load i32, i32* %57
%59 = add nsw i32 %58, 1
store i32 %59, i32* %57
%60 = icmp eq i32 %58, 0
br i1 %60, label %61, label %186
61: ; preds = %47, %54
%62 = add nuw nsw i64 %48, 1
%63 = icmp eq i64 %62, %17
br i1 %63, label %64, label %47
64: ; preds = %61, %44
%65 = add nuw nsw i64 %45, 1
%66 = icmp eq i64 %65, %16
br i1 %66, label %42, label %44
67: ; preds = %42, %183
%68 = phi i64 [ 0, %42 ], [ %184, %183 ]
%69 = getelementptr inbounds i8*, i8** %0, i64 %68
%70 = add nuw nsw i64 %68, 1
%71 = getelementptr inbounds i8*, i8** %0, i64 %70
%72 = add nuw nsw i64 %68, 2
%73 = getelementptr inbounds i8*, i8** %0, i64 %72
br label %74
74: ; preds = %67, %180
%75 = phi i64 [ 0, %67 ], [ %181, %180 ]
%76 = call i32 @memset(i32* %43, i32 0, i32 40)
%77 = load i8*, i8** %69
%78 = getelementptr inbounds i8, i8* %77, i64 %75
%79 = load i8, i8* %78
%80 = icmp eq i8 %79, 46
br i1 %80, label %88, label %81
81: ; preds = %74
%82 = sext i8 %79 to i64
%83 = add nsw i64 %82, -48
%84 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %83
%85 = load i32, i32* %84
%86 = add nsw i32 %85, 1
store i32 %86, i32* %84
%87 = icmp eq i32 %85, 0
br i1 %87, label %88, label %186
88: ; preds = %74, %81
%89 = add nuw nsw i64 %75, 1
%90 = getelementptr inbounds i8, i8* %77, i64 %89
%91 = load i8, i8* %90
%92 = icmp eq i8 %91, 46
br i1 %92, label %100, label %93
93: ; preds = %88
%94 = sext i8 %91 to i64
%95 = add nsw i64 %94, -48
%96 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %95
%97 = load i32, i32* %96
%98 = add nsw i32 %97, 1
store i32 %98, i32* %96
%99 = icmp eq i32 %97, 0
br i1 %99, label %100, label %186
100: ; preds = %93, %88
%101 = add nuw nsw i64 %75, 2
%102 = getelementptr inbounds i8, i8* %77, i64 %101
%103 = load i8, i8* %102
%104 = icmp eq i8 %103, 46
br i1 %104, label %112, label %105
105: ; preds = %100
%106 = sext i8 %103 to i64
%107 = add nsw i64 %106, -48
%108 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %107
%109 = load i32, i32* %108
%110 = add nsw i32 %109, 1
store i32 %110, i32* %108
%111 = icmp eq i32 %109, 0
br i1 %111, label %112, label %186
112: ; preds = %105, %100
%113 = load i8*, i8** %71
%114 = getelementptr inbounds i8, i8* %113, i64 %75
%115 = load i8, i8* %114
%116 = icmp eq i8 %115, 46
br i1 %116, label %124, label %117
117: ; preds = %112
%118 = sext i8 %115 to i64
%119 = add nsw i64 %118, -48
%120 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %119
%121 = load i32, i32* %120
%122 = add nsw i32 %121, 1
store i32 %122, i32* %120
%123 = icmp eq i32 %121, 0
br i1 %123, label %124, label %186
124: ; preds = %117, %112
%125 = getelementptr inbounds i8, i8* %113, i64 %89
%126 = load i8, i8* %125
%127 = icmp eq i8 %126, 46
br i1 %127, label %135, label %128
128: ; preds = %124
%129 = sext i8 %126 to i64
%130 = add nsw i64 %129, -48
%131 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %130
%132 = load i32, i32* %131
%133 = add nsw i32 %132, 1
store i32 %133, i32* %131
%134 = icmp eq i32 %132, 0
br i1 %134, label %135, label %186
135: ; preds = %128, %124
%136 = getelementptr inbounds i8, i8* %113, i64 %101
%137 = load i8, i8* %136
%138 = icmp eq i8 %137, 46
br i1 %138, label %146, label %139
139: ; preds = %135
%140 = sext i8 %137 to i64
%141 = add nsw i64 %140, -48
%142 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %141
%143 = load i32, i32* %142
%144 = add nsw i32 %143, 1
store i32 %144, i32* %142
%145 = icmp eq i32 %143, 0
br i1 %145, label %146, label %186
146: ; preds = %139, %135
%147 = load i8*, i8** %73
%148 = getelementptr inbounds i8, i8* %147, i64 %75
%149 = load i8, i8* %148
%150 = icmp eq i8 %149, 46
br i1 %150, label %158, label %151
151: ; preds = %146
%152 = sext i8 %149 to i64
%153 = add nsw i64 %152, -48
%154 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %153
%155 = load i32, i32* %154
%156 = add nsw i32 %155, 1
store i32 %156, i32* %154
%157 = icmp eq i32 %155, 0
br i1 %157, label %158, label %186
158: ; preds = %151, %146
%159 = getelementptr inbounds i8, i8* %147, i64 %89
%160 = load i8, i8* %159
%161 = icmp eq i8 %160, 46
br i1 %161, label %169, label %162
162: ; preds = %158
%163 = sext i8 %160 to i64
%164 = add nsw i64 %163, -48
%165 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %164
%166 = load i32, i32* %165
%167 = add nsw i32 %166, 1
store i32 %167, i32* %165
%168 = icmp eq i32 %166, 0
br i1 %168, label %169, label %186
169: ; preds = %162, %158
%170 = getelementptr inbounds i8, i8* %147, i64 %101
%171 = load i8, i8* %170
%172 = icmp eq i8 %171, 46
br i1 %172, label %180, label %173
173: ; preds = %169
%174 = sext i8 %171 to i64
%175 = add nsw i64 %174, -48
%176 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %175
%177 = load i32, i32* %176
%178 = add nsw i32 %177, 1
store i32 %178, i32* %176
%179 = icmp eq i32 %177, 0
br i1 %179, label %180, label %186
180: ; preds = %173, %169
%181 = add nuw nsw i64 %75, 3
%182 = icmp ult i64 %75, 6
br i1 %182, label %74, label %183
183: ; preds = %180
%184 = add nuw nsw i64 %68, 3
%185 = icmp ult i64 %68, 6
br i1 %185, label %67, label %186
186: ; preds = %29, %54, %183, %81, %93, %105, %117, %128, %139, %151, %162, %173
%187 = phi i32 [ 0, %173 ], [ 0, %162 ], [ 0, %151 ], [ 0, %139 ], [ 0, %128 ], [ 0, %117 ], [ 0, %105 ], [ 0, %93 ], [ 0, %81 ], [ 1, %183 ], [ 0, %54 ], [ 0, %29 ]
ret i32 %187
}