#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*/ initarr(int *);
int valid(char **board, int row, int col) {
  static int arr[9];
  int i, j;
  initarr(arr);
  for (i = 0; i < 9; i++)
    if (board[i][col] == '.')
      continue;
    else if (--arr[board[i][col] - '1'] < 0)
      return (0);
  initarr(arr);
  for (i = 0; i < 9; i++)
    if (board[row][i] == '.')
      continue;
    else if (--arr[board[row][i] - '1'] < 0)
      return (0);
  row /= 3;
  row *= 3;
  col /= 3;
  col *= 3;
  initarr(arr);
  for (i = row; i < row + 3; i++)
    for (j = col; j < col + 3; j++)
      if (board[i][j] == '.')
        continue;
      else if (--arr[board[i][j] - '1'] < 0)
        return (0);
  return (1);
}


x86 assembly (clang, -O0):
<valid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
lea    0x2f17(%rip),%rdi
call   1030 <initarr@plt>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    11bf <valid+0xaf>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1161 <valid+0x51>
jmp    11b1 <valid+0xa1>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x31,%eax
movslq %eax,%rdx
lea    0x2ebe(%rip),%rax
mov    (%rax,%rdx,4),%eax
add    $0xffffffff,%eax
lea    0x2eb1(%rip),%rcx
mov    %eax,(%rcx,%rdx,4)
cmp    $0x0,%eax
jge    11a7 <valid+0x97>
movl   $0x0,-0x4(%rbp)
jmp    135a <valid+0x24a>
jmp    11ac <valid+0x9c>
jmp    11b1 <valid+0xa1>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1135 <valid+0x25>
lea    0x2e7a(%rip),%rdi
call   1030 <initarr@plt>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jge    125c <valid+0x14c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    11fe <valid+0xee>
jmp    124e <valid+0x13e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x31,%eax
movslq %eax,%rdx
lea    0x2e21(%rip),%rax
mov    (%rax,%rdx,4),%eax
add    $0xffffffff,%eax
lea    0x2e14(%rip),%rcx
mov    %eax,(%rcx,%rdx,4)
cmp    $0x0,%eax
jge    1244 <valid+0x134>
movl   $0x0,-0x4(%rbp)
jmp    135a <valid+0x24a>
jmp    1249 <valid+0x139>
jmp    124e <valid+0x13e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11d2 <valid+0xc2>
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
imul   $0x3,-0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
imul   $0x3,-0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
lea    0x2db3(%rip),%rdi
call   1030 <initarr@plt>
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1353 <valid+0x243>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1340 <valid+0x230>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    12e2 <valid+0x1d2>
jmp    1332 <valid+0x222>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x31,%eax
movslq %eax,%rdx
lea    0x2d3d(%rip),%rax
mov    (%rax,%rdx,4),%eax
add    $0xffffffff,%eax
lea    0x2d30(%rip),%rcx
mov    %eax,(%rcx,%rdx,4)
cmp    $0x0,%eax
jge    1328 <valid+0x218>
movl   $0x0,-0x4(%rbp)
jmp    135a <valid+0x24a>
jmp    132d <valid+0x21d>
jmp    1332 <valid+0x222>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12af <valid+0x19f>
jmp    1345 <valid+0x235>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1298 <valid+0x188>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<valid>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%ebx
mov    %esi,%r15d
mov    %rdi,%r12
lea    0x2f16(%rip),%rbp
mov    %rbp,%rdi
call   1030 <initarr@plt>
movslq %ebx,%rbx
mov    (%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     115d <valid+0x4d>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x8(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     1186 <valid+0x76>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x10(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     11af <valid+0x9f>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x18(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     11d8 <valid+0xc8>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x20(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     1201 <valid+0xf1>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x28(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     122a <valid+0x11a>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x30(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     1253 <valid+0x143>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x38(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     127c <valid+0x16c>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
mov    0x40(%r12),%rax
movsbq (%rax,%rbx,1),%rax
cmp    $0x2e,%rax
je     12a5 <valid+0x195>
mov    -0xc4(%rbp,%rax,4),%ecx
lea    -0x1(%rcx),%edx
mov    %edx,-0xc4(%rbp,%rax,4)
test   %ecx,%ecx
jle    14ac <valid+0x39c>
lea    0x2d94(%rip),%r14
mov    %r14,%rdi
call   1030 <initarr@plt>
movslq %r15d,%rax
mov    (%r12,%rax,8),%rcx
movsbq (%rcx),%rdx
cmp    $0x2e,%rdx
je     12e0 <valid+0x1d0>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x1(%rcx),%rdx
cmp    $0x2e,%rdx
je     1306 <valid+0x1f6>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x2(%rcx),%rdx
cmp    $0x2e,%rdx
je     132c <valid+0x21c>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x3(%rcx),%rdx
cmp    $0x2e,%rdx
je     1352 <valid+0x242>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x4(%rcx),%rdx
cmp    $0x2e,%rdx
je     1378 <valid+0x268>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x5(%rcx),%rdx
cmp    $0x2e,%rdx
je     139e <valid+0x28e>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x6(%rcx),%rdx
cmp    $0x2e,%rdx
je     13c4 <valid+0x2b4>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x7(%rcx),%rdx
cmp    $0x2e,%rdx
je     13ea <valid+0x2da>
mov    -0xc4(%r14,%rdx,4),%esi
ff
lea    -0x1(%rsi),%edi
mov    %edi,-0xc4(%r14,%rdx,4)
ff
test   %esi,%esi
jle    14ac <valid+0x39c>
movsbq 0x8(%rcx),%rcx
cmp    $0x2e,%rcx
je     1410 <valid+0x300>
mov    -0xc4(%r14,%rcx,4),%edx
ff
lea    -0x1(%rdx),%esi
mov    %esi,-0xc4(%r14,%rcx,4)
ff
test   %edx,%edx
jle    14ac <valid+0x39c>
imul   $0x55555556,%rax,%rbp
mov    %rbp,%rax
shr    $0x3f,%rax
shr    $0x20,%rbp
add    %eax,%ebp
lea    0x0(%rbp,%rbp,2),%r15d
imul   $0x55555556,%rbx,%rbx
mov    %rbx,%rax
shr    $0x3f,%rax
shr    $0x20,%rbx
add    %eax,%ebx
lea    (%rbx,%rbx,2),%r13d
mov    %r14,%rdi
call   1030 <initarr@plt>
movslq %r13d,%r9
movslq %r15d,%rdx
lea    (%rbx,%rbx,2),%eax
add    $0x2,%eax
movslq %eax,%rsi
lea    0x2(%rbp,%rbp,2),%eax
movslq %eax,%r8
add    $0xffffffffffffffff,%r9
jmp    1476 <valid+0x366>
lea    0x1(%rdx),%rcx
mov    $0x1,%eax
cmp    %r8,%rdx
mov    %rcx,%rdx
jge    14ae <valid+0x39e>
mov    (%r12,%rdx,8),%rax
mov    %r9,%rcx
jmp    1489 <valid+0x379>
nop
add    $0x1,%rcx
cmp    %rsi,%rcx
jge    1465 <valid+0x355>
movsbq 0x1(%rax,%rcx,1),%rbx
cmp    $0x2e,%rbx
je     1480 <valid+0x370>
mov    -0xc4(%r14,%rbx,4),%ebp
ff
lea    -0x1(%rbp),%edi
mov    %edi,-0xc4(%r14,%rbx,4)
ff
test   %ebp,%ebp
jg     1480 <valid+0x370>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@valid.arr = internal global [9 x i32] zeroinitializer
define i32 @valid(i8** nocapture %0, i32 %1, i32 %2) {
%4 = tail call i32 @initarr(i32* getelementptr inbounds ([9 x i32], [9 x i32]* @valid.arr, i64 0, i64 0))
%5 = sext i32 %2 to i64
%6 = load i8*, i8** %0
%7 = getelementptr inbounds i8, i8* %6, i64 %5
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 46
br i1 %9, label %17, label %10
10: ; preds = %3
%11 = sext i8 %8 to i64
%12 = add nsw i64 %11, -49
%13 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %12
%14 = load i32, i32* %13
%15 = add nsw i32 %14, -1
store i32 %15, i32* %13
%16 = icmp slt i32 %14, 1
br i1 %16, label %257, label %17
17: ; preds = %10, %3
%18 = getelementptr inbounds i8*, i8** %0, i64 1
%19 = load i8*, i8** %18
%20 = getelementptr inbounds i8, i8* %19, i64 %5
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 46
br i1 %22, label %30, label %23
23: ; preds = %17
%24 = sext i8 %21 to i64
%25 = add nsw i64 %24, -49
%26 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %25
%27 = load i32, i32* %26
%28 = add nsw i32 %27, -1
store i32 %28, i32* %26
%29 = icmp slt i32 %27, 1
br i1 %29, label %257, label %30
30: ; preds = %23, %17
%31 = getelementptr inbounds i8*, i8** %0, i64 2
%32 = load i8*, i8** %31
%33 = getelementptr inbounds i8, i8* %32, i64 %5
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 46
br i1 %35, label %43, label %36
36: ; preds = %30
%37 = sext i8 %34 to i64
%38 = add nsw i64 %37, -49
%39 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %38
%40 = load i32, i32* %39
%41 = add nsw i32 %40, -1
store i32 %41, i32* %39
%42 = icmp slt i32 %40, 1
br i1 %42, label %257, label %43
43: ; preds = %36, %30
%44 = getelementptr inbounds i8*, i8** %0, i64 3
%45 = load i8*, i8** %44
%46 = getelementptr inbounds i8, i8* %45, i64 %5
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 46
br i1 %48, label %56, label %49
49: ; preds = %43
%50 = sext i8 %47 to i64
%51 = add nsw i64 %50, -49
%52 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %51
%53 = load i32, i32* %52
%54 = add nsw i32 %53, -1
store i32 %54, i32* %52
%55 = icmp slt i32 %53, 1
br i1 %55, label %257, label %56
56: ; preds = %49, %43
%57 = getelementptr inbounds i8*, i8** %0, i64 4
%58 = load i8*, i8** %57
%59 = getelementptr inbounds i8, i8* %58, i64 %5
%60 = load i8, i8* %59
%61 = icmp eq i8 %60, 46
br i1 %61, label %69, label %62
62: ; preds = %56
%63 = sext i8 %60 to i64
%64 = add nsw i64 %63, -49
%65 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %64
%66 = load i32, i32* %65
%67 = add nsw i32 %66, -1
store i32 %67, i32* %65
%68 = icmp slt i32 %66, 1
br i1 %68, label %257, label %69
69: ; preds = %62, %56
%70 = getelementptr inbounds i8*, i8** %0, i64 5
%71 = load i8*, i8** %70
%72 = getelementptr inbounds i8, i8* %71, i64 %5
%73 = load i8, i8* %72
%74 = icmp eq i8 %73, 46
br i1 %74, label %82, label %75
75: ; preds = %69
%76 = sext i8 %73 to i64
%77 = add nsw i64 %76, -49
%78 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %77
%79 = load i32, i32* %78
%80 = add nsw i32 %79, -1
store i32 %80, i32* %78
%81 = icmp slt i32 %79, 1
br i1 %81, label %257, label %82
82: ; preds = %75, %69
%83 = getelementptr inbounds i8*, i8** %0, i64 6
%84 = load i8*, i8** %83
%85 = getelementptr inbounds i8, i8* %84, i64 %5
%86 = load i8, i8* %85
%87 = icmp eq i8 %86, 46
br i1 %87, label %95, label %88
88: ; preds = %82
%89 = sext i8 %86 to i64
%90 = add nsw i64 %89, -49
%91 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %90
%92 = load i32, i32* %91
%93 = add nsw i32 %92, -1
store i32 %93, i32* %91
%94 = icmp slt i32 %92, 1
br i1 %94, label %257, label %95
95: ; preds = %88, %82
%96 = getelementptr inbounds i8*, i8** %0, i64 7
%97 = load i8*, i8** %96
%98 = getelementptr inbounds i8, i8* %97, i64 %5
%99 = load i8, i8* %98
%100 = icmp eq i8 %99, 46
br i1 %100, label %108, label %101
101: ; preds = %95
%102 = sext i8 %99 to i64
%103 = add nsw i64 %102, -49
%104 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %103
%105 = load i32, i32* %104
%106 = add nsw i32 %105, -1
store i32 %106, i32* %104
%107 = icmp slt i32 %105, 1
br i1 %107, label %257, label %108
108: ; preds = %101, %95
%109 = getelementptr inbounds i8*, i8** %0, i64 8
%110 = load i8*, i8** %109
%111 = getelementptr inbounds i8, i8* %110, i64 %5
%112 = load i8, i8* %111
%113 = icmp eq i8 %112, 46
br i1 %113, label %121, label %114
114: ; preds = %108
%115 = sext i8 %112 to i64
%116 = add nsw i64 %115, -49
%117 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %116
%118 = load i32, i32* %117
%119 = add nsw i32 %118, -1
store i32 %119, i32* %117
%120 = icmp slt i32 %118, 1
br i1 %120, label %257, label %121
121: ; preds = %114, %108
%122 = tail call i32 @initarr(i32* getelementptr inbounds ([9 x i32], [9 x i32]* @valid.arr, i64 0, i64 0))
%123 = sext i32 %1 to i64
%124 = getelementptr inbounds i8*, i8** %0, i64 %123
%125 = load i8*, i8** %124
%126 = load i8, i8* %125
%127 = icmp eq i8 %126, 46
br i1 %127, label %135, label %128
128: ; preds = %121
%129 = sext i8 %126 to i64
%130 = add nsw i64 %129, -49
%131 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %130
%132 = load i32, i32* %131
%133 = add nsw i32 %132, -1
store i32 %133, i32* %131
%134 = icmp slt i32 %132, 1
br i1 %134, label %257, label %135
135: ; preds = %128, %121
%136 = getelementptr inbounds i8, i8* %125, i64 1
%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, -49
%142 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %141
%143 = load i32, i32* %142
%144 = add nsw i32 %143, -1
store i32 %144, i32* %142
%145 = icmp slt i32 %143, 1
br i1 %145, label %257, label %146
146: ; preds = %139, %135
%147 = getelementptr inbounds i8, i8* %125, i64 2
%148 = load i8, i8* %147
%149 = icmp eq i8 %148, 46
br i1 %149, label %157, label %150
150: ; preds = %146
%151 = sext i8 %148 to i64
%152 = add nsw i64 %151, -49
%153 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %152
%154 = load i32, i32* %153
%155 = add nsw i32 %154, -1
store i32 %155, i32* %153
%156 = icmp slt i32 %154, 1
br i1 %156, label %257, label %157
157: ; preds = %150, %146
%158 = getelementptr inbounds i8, i8* %125, i64 3
%159 = load i8, i8* %158
%160 = icmp eq i8 %159, 46
br i1 %160, label %168, label %161
161: ; preds = %157
%162 = sext i8 %159 to i64
%163 = add nsw i64 %162, -49
%164 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %163
%165 = load i32, i32* %164
%166 = add nsw i32 %165, -1
store i32 %166, i32* %164
%167 = icmp slt i32 %165, 1
br i1 %167, label %257, label %168
168: ; preds = %161, %157
%169 = getelementptr inbounds i8, i8* %125, i64 4
%170 = load i8, i8* %169
%171 = icmp eq i8 %170, 46
br i1 %171, label %179, label %172
172: ; preds = %168
%173 = sext i8 %170 to i64
%174 = add nsw i64 %173, -49
%175 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %174
%176 = load i32, i32* %175
%177 = add nsw i32 %176, -1
store i32 %177, i32* %175
%178 = icmp slt i32 %176, 1
br i1 %178, label %257, label %179
179: ; preds = %172, %168
%180 = getelementptr inbounds i8, i8* %125, i64 5
%181 = load i8, i8* %180
%182 = icmp eq i8 %181, 46
br i1 %182, label %190, label %183
183: ; preds = %179
%184 = sext i8 %181 to i64
%185 = add nsw i64 %184, -49
%186 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %185
%187 = load i32, i32* %186
%188 = add nsw i32 %187, -1
store i32 %188, i32* %186
%189 = icmp slt i32 %187, 1
br i1 %189, label %257, label %190
190: ; preds = %183, %179
%191 = getelementptr inbounds i8, i8* %125, i64 6
%192 = load i8, i8* %191
%193 = icmp eq i8 %192, 46
br i1 %193, label %201, label %194
194: ; preds = %190
%195 = sext i8 %192 to i64
%196 = add nsw i64 %195, -49
%197 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %196
%198 = load i32, i32* %197
%199 = add nsw i32 %198, -1
store i32 %199, i32* %197
%200 = icmp slt i32 %198, 1
br i1 %200, label %257, label %201
201: ; preds = %194, %190
%202 = getelementptr inbounds i8, i8* %125, i64 7
%203 = load i8, i8* %202
%204 = icmp eq i8 %203, 46
br i1 %204, label %212, label %205
205: ; preds = %201
%206 = sext i8 %203 to i64
%207 = add nsw i64 %206, -49
%208 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %207
%209 = load i32, i32* %208
%210 = add nsw i32 %209, -1
store i32 %210, i32* %208
%211 = icmp slt i32 %209, 1
br i1 %211, label %257, label %212
212: ; preds = %205, %201
%213 = getelementptr inbounds i8, i8* %125, i64 8
%214 = load i8, i8* %213
%215 = icmp eq i8 %214, 46
br i1 %215, label %223, label %216
216: ; preds = %212
%217 = sext i8 %214 to i64
%218 = add nsw i64 %217, -49
%219 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %218
%220 = load i32, i32* %219
%221 = add nsw i32 %220, -1
store i32 %221, i32* %219
%222 = icmp slt i32 %220, 1
br i1 %222, label %257, label %223
223: ; preds = %216, %212
%224 = srem i32 %1, 3
%225 = sub i32 %1, %224
%226 = srem i32 %2, 3
%227 = sub i32 %2, %226
%228 = tail call i32 @initarr(i32* getelementptr inbounds ([9 x i32], [9 x i32]* @valid.arr, i64 0, i64 0))
%229 = sext i32 %227 to i64
%230 = sext i32 %225 to i64
%231 = add nsw i32 %227, 2
%232 = sext i32 %231 to i64
%233 = add nsw i32 %225, 2
%234 = sext i32 %233 to i64
br label %235
235: ; preds = %223, %254
%236 = phi i64 [ %230, %223 ], [ %255, %254 ]
%237 = getelementptr inbounds i8*, i8** %0, i64 %236
%238 = load i8*, i8** %237
br label %239
239: ; preds = %235, %251
%240 = phi i64 [ %229, %235 ], [ %252, %251 ]
%241 = getelementptr inbounds i8, i8* %238, i64 %240
%242 = load i8, i8* %241
%243 = icmp eq i8 %242, 46
br i1 %243, label %251, label %244
244: ; preds = %239
%245 = sext i8 %242 to i64
%246 = add nsw i64 %245, -49
%247 = getelementptr inbounds [9 x i32], [9 x i32]* @valid.arr, i64 0, i64 %246
%248 = load i32, i32* %247
%249 = add nsw i32 %248, -1
store i32 %249, i32* %247
%250 = icmp slt i32 %248, 1
br i1 %250, label %257, label %251
251: ; preds = %244, %239
%252 = add nsw i64 %240, 1
%253 = icmp slt i64 %240, %232
br i1 %253, label %239, label %254
254: ; preds = %251
%255 = add nsw i64 %236, 1
%256 = icmp slt i64 %236, %234
br i1 %256, label %235, label %257
257: ; preds = %254, %244, %10, %23, %36, %49, %62, %75, %88, %101, %114, %128, %139, %150, %161, %172, %183, %194, %205, %216
%258 = phi i32 [ 0, %216 ], [ 0, %205 ], [ 0, %194 ], [ 0, %183 ], [ 0, %172 ], [ 0, %161 ], [ 0, %150 ], [ 0, %139 ], [ 0, %128 ], [ 0, %114 ], [ 0, %101 ], [ 0, %88 ], [ 0, %75 ], [ 0, %62 ], [ 0, %49 ], [ 0, %36 ], [ 0, %23 ], [ 0, %10 ], [ 0, %244 ], [ 1, %254 ]
ret i32 %258
}