#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*/ printf(char *, int, int);
int isValidSudoku(char board[9][9]) {
  static short line[2][9];
  static short block[3][3];
  short mask[] = {1, 2, 4, 8, 16, 32, 64, 128, 256};
  for (int i = 0; i < 9; ++i)
    for (int j = 0; j < 9; ++j) {
      printf("%d--%d\n", i, j);
      if (board[i][j] == '.')
        continue;
      if (line[0][i] & mask[board[i][j] - 49])
        return 0;
      else
        line[0][i] |= mask[board[i][j] - 49];
      if (line[1][j] & mask[board[i][j] - 49])
        return 0;
      else
        line[1][j] |= mask[board[i][j] - 49];
      if (block[i / 3][j / 3] & mask[board[i][j] - 49])
        return 0;
      else
        block[i / 3][j / 3] |= mask[board[i][j] - 49];
    }
  return 1;
}


x86 assembly (clang, -O0):
<isValidSudoku>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    0xedd(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    0xeda(%rip),%rax
mov    %rax,-0x28(%rbp)
mov    0xed7(%rip),%ax
mov    %ax,-0x20(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x9,-0x34(%rbp)
jge    139f <isValidSudoku+0x28f>
movl   $0x0,-0x38(%rbp)
cmpl   $0x9,-0x38(%rbp)
jge    138c <isValidSudoku+0x27c>
mov    -0x34(%rbp),%esi
mov    -0x38(%rbp),%edx
lea    0xea6(%rip),%rdi
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
imul   $0x9,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1196 <isValidSudoku+0x86>
jmp    137e <isValidSudoku+0x26e>
movslq -0x34(%rbp),%rcx
lea    0x2e9f(%rip),%rax
movswl (%rax,%rcx,2),%eax
mov    -0x10(%rbp),%rcx
movslq -0x34(%rbp),%rdx
imul   $0x9,%rdx,%rdx
add    %rdx,%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
movswl -0x30(%rbp,%rcx,2),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     11de <isValidSudoku+0xce>
movl   $0x0,-0x4(%rbp)
jmp    13a6 <isValidSudoku+0x296>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
imul   $0x9,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x31,%eax
cltq
movswl -0x30(%rbp,%rax,2),%edx
movslq -0x34(%rbp),%rcx
lea    0x2e36(%rip),%rax
movswl (%rax,%rcx,2),%eax
or     %edx,%eax
mov    %ax,%dx
lea    0x2e26(%rip),%rax
mov    %dx,(%rax,%rcx,2)
movslq -0x38(%rbp),%rcx
lea    0x2e17(%rip),%rax
movswl 0x12(%rax,%rcx,2),%eax
mov    -0x10(%rbp),%rcx
movslq -0x34(%rbp),%rdx
imul   $0x9,%rdx,%rdx
add    %rdx,%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
movswl -0x30(%rbp,%rcx,2),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1267 <isValidSudoku+0x157>
movl   $0x0,-0x4(%rbp)
jmp    13a6 <isValidSudoku+0x296>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
imul   $0x9,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x31,%eax
cltq
movswl -0x30(%rbp,%rax,2),%edx
movslq -0x38(%rbp),%rcx
lea    0x2dad(%rip),%rax
movswl 0x12(%rax,%rcx,2),%eax
or     %edx,%eax
mov    %ax,%dx
lea    0x2d9c(%rip),%rax
mov    %dx,0x12(%rax,%rcx,2)
mov    -0x34(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
movslq %eax,%rcx
lea    0x2db2(%rip),%rax
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x10(%rbp),%rcx
movslq -0x34(%rbp),%rdx
imul   $0x9,%rdx,%rdx
add    %rdx,%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x31,%ecx
movslq %ecx,%rcx
movswl -0x30(%rbp,%rcx,2),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     131a <isValidSudoku+0x20a>
movl   $0x0,-0x4(%rbp)
jmp    13a6 <isValidSudoku+0x296>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
imul   $0x9,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x31,%eax
cltq
movswl -0x30(%rbp,%rax,2),%esi
mov    -0x34(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
movslq %eax,%rcx
lea    0x2d20(%rip),%rax
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%edx
or     %esi,%edx
mov    %dx,(%rax,%rcx,2)
jmp    137e <isValidSudoku+0x26e>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1155 <isValidSudoku+0x45>
jmp    1391 <isValidSudoku+0x281>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1144 <isValidSudoku+0x34>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isValidSudoku>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r14
xor    %r12d,%r12d
mov    $0xaaaaaaab,%eax
lea    0xee5(%rip),%r15
lea    0x2f0c(%rip),%rbp
mov    %r12d,%r13d
imul   %rax,%r13
shr    $0x21,%r13
xor    %ebx,%ebx
jmp    1162 <isValidSudoku+0x52>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %rdx,%rsi
or     %ecx,%edi
mov    %di,(%rsi)
add    $0x1,%rbx
cmp    $0x9,%rbx
je     11e0 <isValidSudoku+0xd0>
mov    %r15,%rdi
mov    %r12d,%esi
mov    %ebx,%edx
call   1030 <printf@plt>
movsbq (%r14,%rbx,1),%rax
cmp    $0x2e,%rax
je     1158 <isValidSudoku+0x48>
movzwl 0x0(%rbp,%r12,2),%edx
lea    0xe79(%rip),%rcx
movzwl -0x62(%rcx,%rax,2),%ecx
xor    %eax,%eax
test   %dx,%cx
jne    11fc <isValidSudoku+0xec>
or     %ecx,%edx
mov    %dx,0x0(%rbp,%r12,2)
movzwl 0x12(%rbp,%rbx,2),%edx
test   %cx,%dx
jne    11fc <isValidSudoku+0xec>
or     %ecx,%edx
mov    %dx,0x12(%rbp,%rbx,2)
movzbl %bl,%edx
imul   $0xab,%edx,%edx
shr    $0x8,%edx
and    $0xfffffffe,%edx
lea    0x0(,%r13,2),%rsi
add    %r13,%rsi
lea    0x2ea3(%rip),%rdi
lea    (%rdi,%rsi,2),%rsi
movzwl (%rdx,%rsi,1),%edi
test   %cx,%di
je     1150 <isValidSudoku+0x40>
jmp    11fc <isValidSudoku+0xec>
add    $0x1,%r12
add    $0x9,%r14
cmp    $0x9,%r12
mov    $0xaaaaaaab,%eax
jne    1134 <isValidSudoku+0x24>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@isValidSudoku.line = internal unnamed_addr global [2 x [9 x i16]] zeroinitializer
@isValidSudoku.block = internal unnamed_addr global [3 x [3 x i16]] zeroinitializer
@__const.isValidSudoku.mask = [9 x i16] [i16 1, i16 2, i16 4, i16 8, i16 16, i16 32, i16 64, i16 128, i16 256]
@.str = [8 x i8] c"%d--%d\0A\00"
define i32 @isValidSudoku([9 x i8]* nocapture %0) {
br label %2
2: ; preds = %1, %43
%3 = phi i64 [ 0, %1 ], [ %44, %43 ]
%4 = getelementptr inbounds [2 x [9 x i16]], [2 x [9 x i16]]* @isValidSudoku.line, i64 0, i64 0, i64 %3
%5 = trunc i64 %3 to i32
%6 = udiv i32 %5, 3
%7 = zext i32 %6 to i64
br label %8
8: ; preds = %2, %40
%9 = phi i64 [ 0, %2 ], [ %41, %40 ]
%10 = trunc i64 %9 to i32
%11 = tail call i32 @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i32 %5, i32 %10)
%12 = getelementptr inbounds [9 x i8], [9 x i8]* %0, i64 %3, i64 %9
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 46
br i1 %14, label %40, label %15
15: ; preds = %8
%16 = sext i8 %13 to i64
%17 = load i16, i16* %4
%18 = add nsw i64 %16, -49
%19 = getelementptr inbounds [9 x i16], [9 x i16]* @__const.isValidSudoku.mask, i64 0, i64 %18
%20 = load i16, i16* %19
%21 = and i16 %20, %17
%22 = icmp eq i16 %21, 0
br i1 %22, label %23, label %46
23: ; preds = %15
%24 = or i16 %20, %17
store i16 %24, i16* %4
%25 = getelementptr inbounds [2 x [9 x i16]], [2 x [9 x i16]]* @isValidSudoku.line, i64 0, i64 1, i64 %9
%26 = load i16, i16* %25
%27 = and i16 %26, %20
%28 = icmp eq i16 %27, 0
br i1 %28, label %29, label %46
29: ; preds = %23
%30 = or i16 %26, %20
store i16 %30, i16* %25
%31 = trunc i64 %9 to i8
%32 = udiv i8 %31, 3
%33 = zext i8 %32 to i64
%34 = getelementptr inbounds [3 x [3 x i16]], [3 x [3 x i16]]* @isValidSudoku.block, i64 0, i64 %7, i64 %33
%35 = load i16, i16* %34
%36 = and i16 %35, %20
%37 = icmp eq i16 %36, 0
br i1 %37, label %38, label %46
38: ; preds = %29
%39 = or i16 %35, %20
store i16 %39, i16* %34
br label %40
40: ; preds = %8, %38
%41 = add nuw nsw i64 %9, 1
%42 = icmp eq i64 %41, 9
br i1 %42, label %43, label %8
43: ; preds = %40
%44 = add nuw nsw i64 %3, 1
%45 = icmp eq i64 %44, 9
br i1 %45, label %46, label %2
46: ; preds = %43, %29, %23, %15
%47 = phi i32 [ 0, %15 ], [ 0, %23 ], [ 0, %29 ], [ 1, %43 ]
ret i32 %47
}