#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 uint8_t;
typedef int uint16_t;

/* Variables and functions */
int check_winner(uint8_t (*board)[9][9]) {
  uint16_t winner_row, winner_col, winner_group;
  int r, c, i, j;
  for (i = 0; i < 9; i++) {
    winner_row = winner_col = 0;
    for (j = 0; j < 9; j++) {
      winner_row |= (1 << ((*board)[i][j] & 0xF));
      winner_col |= (1 << ((*board)[j][i] & 0xF));
    }
    if (winner_row != (((1 << 9) - 1) << 1))
      return 0;
    if (winner_col != (((1 << 9) - 1) << 1))
      return 0;
    winner_group = 0;
    c = 3 * (i % 3), r = (i - c / 3);
    winner_group |= (1 << ((*board)[r + 0][c + 0] & 0xF)) |
                    (1 << ((*board)[r + 0][c + 1] & 0xF)) |
                    (1 << ((*board)[r + 0][c + 2] & 0xF));
    winner_group |= (1 << ((*board)[r + 1][c + 0] & 0xF)) |
                    (1 << ((*board)[r + 1][c + 1] & 0xF)) |
                    (1 << ((*board)[r + 1][c + 2] & 0xF));
    winner_group |= (1 << ((*board)[r + 2][c + 0] & 0xF)) |
                    (1 << ((*board)[r + 2][c + 1] & 0xF)) |
                    (1 << ((*board)[r + 2][c + 2] & 0xF));
    if (winner_group != (((1 << 9) - 1) << 1))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_winner>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x9,-0x28(%rbp)
jge    13c7 <check_winner+0x2c7>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x9,-0x2c(%rbp)
jge    1192 <check_winner+0x92>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%eax
shl    %cl,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%eax
shl    %cl,%eax
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    112e <check_winner+0x2e>
cmpl   $0x3fe,-0x14(%rbp)
je     11ab <check_winner+0xab>
movl   $0x0,-0x4(%rbp)
jmp    13ce <check_winner+0x2ce>
cmpl   $0x3fe,-0x18(%rbp)
je     11c4 <check_winner+0xc4>
movl   $0x0,-0x4(%rbp)
jmp    13ce <check_winner+0x2ce>
movl   $0x0,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%edx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x24(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%edx
add    $0x0,%edx
movslq %edx,%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
mov    -0x24(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%edx
add    $0x0,%edx
movslq %edx,%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
mov    -0x24(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x24(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
mov    -0x24(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
mov    -0x24(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    -0x24(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
mov    -0x24(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
mov    -0x24(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%ecx
and    $0xf,%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x3fe,-0x1c(%rbp)
je     13b4 <check_winner+0x2b4>
movl   $0x0,-0x4(%rbp)
jmp    13ce <check_winner+0x2ce>
jmp    13b9 <check_winner+0x2b9>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    110f <check_winner+0xf>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_winner>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
lea    0x20(%rdi),%r10
xor    %r9d,%r9d
xor    %r11d,%r11d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl -0x20(%r10),%ebp
movzbl -0x1c(%r10),%ecx
movzbl 0x24(%rdi,%r11,4),%edx
and    $0xf,%cl
mov    $0x1,%ebx
shl    %cl,%ebx
and    $0xf,%dl
mov    $0x1,%esi
mov    %edx,%ecx
shl    %cl,%esi
and    $0xf,%bpl
bts    %ebp,%ebx
movzbl -0x18(%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
movzbl -0x14(%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
movzbl -0x10(%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
movzbl -0xc(%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
movzbl -0x8(%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
movzbl -0x4(%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
movzbl (%r10),%ecx
and    $0xf,%cl
bts    %ecx,%ebx
cmp    $0x3fe,%ebx
jne    1314 <check_winner+0x214>
movzbl (%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0x48(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0x6c(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0x90(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0xb4(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0xd8(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0xfc(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
movzbl 0x120(%rdi,%r11,4),%ecx
and    $0xf,%cl
bts    %ecx,%esi
cmp    $0x3fe,%esi
jne    1314 <check_winner+0x214>
mov    %r11d,%ecx
mov    $0xaaaaaaab,%eax
imul   %rax,%rcx
shr    $0x21,%rcx
lea    (%rcx,%rcx,8),%edx
mov    %r9d,%esi
sub    %edx,%esi
lea    (%rcx,%rcx,2),%ebx
neg    %ebx
add    %r11d,%ebx
mov    %r11d,%ecx
sub    %ebx,%ecx
movslq %ecx,%rbp
mov    %esi,%r15d
lea    0x0(,%rbp,8),%rcx
add    %rbp,%rcx
lea    (%rdi,%rcx,4),%rax
movzbl (%rax,%r15,4),%r14d
and    $0xf,%r14b
lea    0x1(%rsi),%r12d
movzbl (%rax,%r12,4),%ecx
and    $0xf,%cl
mov    $0x1,%edx
shl    %cl,%edx
add    $0x2,%esi
movzbl (%rax,%rsi,4),%r13d
and    $0xf,%r13b
neg    %ebx
lea    (%r11,%rbx,1),%eax
add    $0x1,%eax
cltq
lea    (%rax,%rax,8),%rax
lea    (%rdi,%rax,4),%rax
movzbl (%rax,%r15,4),%ebx
and    $0xf,%bl
movzbl (%rax,%r12,4),%ecx
and    $0xf,%cl
movzbl (%rax,%rsi,4),%r8d
and    $0xf,%r8b
add    $0x2,%ebp
movslq %ebp,%rax
lea    (%rax,%rax,8),%rax
lea    (%rdi,%rax,4),%rax
movzbl (%rax,%r15,4),%ebp
and    $0xf,%bpl
movzbl (%rax,%r12,4),%r15d
and    $0xf,%r15b
movzbl (%rax,%rsi,4),%eax
and    $0xf,%al
bts    %r14d,%edx
bts    %r13d,%edx
bts    %ebx,%edx
bts    %ecx,%edx
bts    %r8d,%edx
bts    %ebp,%edx
bts    %r15d,%edx
bts    %eax,%edx
cmp    $0x3fe,%edx
jne    1314 <check_winner+0x214>
add    $0x1,%r11
add    $0x3,%r9d
add    $0x24,%r10
cmp    $0x9,%r11
jne    1120 <check_winner+0x20>
mov    $0x1,%eax
jmp    1316 <check_winner+0x216>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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