#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 */
scalar_t__ mod(int);
int issafe(int arr[][8], int a, int b) {
  int x = a;
  int y = b;
  for (int i = 0; i < 8; i++) {
    if (i == b)
      continue;
    if (arr[a][i] == 1)
      return 0;
  }
  for (int j = 0; j < 8; j++) {
    if (j == a)
      continue;
    if (arr[j][b] == 1)
      return 0;
  }
  for (int i = 0; i < 8; i++)
    for (int j = 0; j < 8; j++) {
      if ((i == a) && (j == b))
        continue;
      if (arr[i][j] == 1)
        if (mod(i - a) == mod(j - b))
          return 0;
    }
  return 1;
}


x86 assembly (clang, -O0):
<issafe>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    118c <issafe+0x7c>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1150 <issafe+0x40>
jmp    117e <issafe+0x6e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1179 <issafe+0x69>
movl   $0x0,-0x4(%rbp)
jmp    12ae <issafe+0x19e>
jmp    117e <issafe+0x6e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1135 <issafe+0x25>
movl   $0x0,-0x28(%rbp)
cmpl   $0x8,-0x28(%rbp)
jge    11ea <issafe+0xda>
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11ae <issafe+0x9e>
jmp    11dc <issafe+0xcc>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    11d7 <issafe+0xc7>
movl   $0x0,-0x4(%rbp)
jmp    12ae <issafe+0x19e>
jmp    11dc <issafe+0xcc>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1193 <issafe+0x83>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x8,-0x2c(%rbp)
jge    12a7 <issafe+0x197>
movl   $0x0,-0x30(%rbp)
cmpl   $0x8,-0x30(%rbp)
jge    1294 <issafe+0x184>
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    1229 <issafe+0x119>
mov    -0x30(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1229 <issafe+0x119>
jmp    1286 <issafe+0x176>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1281 <issafe+0x171>
mov    -0x2c(%rbp),%edi
sub    -0x14(%rbp),%edi
call   1030 <mod@plt>
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%edi
sub    -0x18(%rbp),%edi
call   1030 <mod@plt>
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
cmp    %rcx,%rax
jne    127c <issafe+0x16c>
movl   $0x0,-0x4(%rbp)
jmp    12ae <issafe+0x19e>
jmp    1281 <issafe+0x171>
jmp    1286 <issafe+0x176>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1202 <issafe+0xf2>
jmp    1299 <issafe+0x189>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11f1 <issafe+0xe1>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<issafe>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %edx,%ebx
mov    %esi,%r14d
mov    %rdi,%rbp
movslq %esi,%rcx
test   %edx,%edx
je     1174 <issafe+0x64>
mov    %rcx,%rdx
shl    $0x5,%rdx
xor    %eax,%eax
cmpl   $0x1,0x0(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
mov    $0x1,%r15b
cmp    $0x1,%ebx
je     118e <issafe+0x7e>
cmpl   $0x1,0x4(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
xor    %eax,%eax
mov    $0x0,%r15d
cmp    $0x2,%ebx
jne    118e <issafe+0x7e>
cmpl   $0x1,0xc(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
mov    $0x1,%r12b
xor    %r15d,%r15d
jmp    11d2 <issafe+0xc2>
mov    %rcx,%rax
shl    $0x5,%rax
xor    %r15d,%r15d
cmpl   $0x1,0x4(%rbp,%rax,1)
mov    $0x0,%eax
je     12ef <issafe+0x1df>
mov    %rcx,%rdx
shl    $0x5,%rdx
xor    %eax,%eax
cmpl   $0x1,0x8(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
xor    %eax,%eax
cmp    $0x3,%ebx
jne    11b1 <issafe+0xa1>
mov    $0x1,%sil
xor    %r12d,%r12d
jmp    11d4 <issafe+0xc4>
cmpl   $0x1,0xc(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
xor    %r12d,%r12d
cmp    $0x4,%ebx
jne    11d2 <issafe+0xc2>
cmpl   $0x1,0x14(%rbp,%rdx,1)
jne    1214 <issafe+0x104>
xor    %eax,%eax
jmp    12ef <issafe+0x1df>
xor    %esi,%esi
mov    %rcx,%rdx
shl    $0x5,%rdx
xor    %eax,%eax
cmpl   $0x1,0x10(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
xor    %eax,%eax
cmp    $0x5,%ebx
jne    11f7 <issafe+0xe7>
mov    $0x1,%dil
xor    %r8d,%r8d
jmp    121b <issafe+0x10b>
cmpl   $0x1,0x14(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
mov    $0x1,%r9b
xor    %r8d,%r8d
mov    $0x0,%edi
cmp    $0x6,%ebx
jne    121b <issafe+0x10b>
jmp    1239 <issafe+0x129>
mov    $0x1,%r8b
xor    %esi,%esi
xor    %edi,%edi
mov    %rcx,%rdx
shl    $0x5,%rdx
xor    %eax,%eax
cmpl   $0x1,0x18(%rbp,%rdx,1)
je     12ef <issafe+0x1df>
mov    $0x1,%dl
xor    %r9d,%r9d
cmp    $0x7,%ebx
je     124f <issafe+0x13f>
shl    $0x5,%rcx
xor    %edx,%edx
cmpl   $0x1,0x1c(%rbp,%rcx,1)
mov    $0x0,%eax
je     12ef <issafe+0x1df>
movslq %ebx,%rcx
xor    %eax,%eax
test   %r14d,%r14d
je     1280 <issafe+0x170>
cmpl   $0x1,0x0(%rbp,%rcx,4)
je     12ef <issafe+0x1df>
cmp    $0x1,%r14d
je     1287 <issafe+0x177>
cmpl   $0x1,0x20(%rbp,%rcx,4)
je     12ef <issafe+0x1df>
cmp    $0x2,%r14d
jne    1287 <issafe+0x177>
cmpl   $0x1,0x60(%rbp,%rcx,4)
jne    1296 <issafe+0x186>
jmp    12ef <issafe+0x1df>
cmpl   $0x1,0x20(%rbp,%rcx,4)
je     12ef <issafe+0x1df>
xor    %eax,%eax
cmpl   $0x1,0x40(%rbp,%rcx,4)
je     12ef <issafe+0x1df>
cmp    $0x3,%r14d
jne    12ba <issafe+0x1aa>
xor    %eax,%eax
cmpl   $0x1,0x80(%rbp,%rcx,4)
01
je     12ef <issafe+0x1df>
cmp    $0x5,%r14d
je     12d1 <issafe+0x1c1>
cmpl   $0x1,0xa0(%rbp,%rcx,4)
01
je     12ef <issafe+0x1df>
cmp    $0x6,%r14d
jne    12d1 <issafe+0x1c1>
jmp    12e3 <issafe+0x1d3>
cmpl   $0x1,0x60(%rbp,%rcx,4)
je     12ef <issafe+0x1df>
cmp    $0x4,%r14d
jne    1296 <issafe+0x186>
cmpl   $0x1,0xa0(%rbp,%rcx,4)
01
je     12ef <issafe+0x1df>
xor    %eax,%eax
cmpl   $0x1,0xc0(%rbp,%rcx,4)
01
je     12ef <issafe+0x1df>
cmp    $0x7,%r14d
je     12fe <issafe+0x1ee>
xor    %eax,%eax
cmpl   $0x1,0xe0(%rbp,%rcx,4)
01
jne    12fe <issafe+0x1ee>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r14d,%ecx
mov    %ebx,%eax
neg    %eax
mov    %eax,0x44(%rsp)
mov    $0x1,%eax
sub    %ebx,%eax
mov    %eax,0x40(%rsp)
mov    $0x2,%eax
sub    %ebx,%eax
mov    %eax,0x3c(%rsp)
mov    $0x3,%eax
sub    %ebx,%eax
mov    %eax,0x38(%rsp)
mov    $0x4,%eax
sub    %ebx,%eax
mov    %eax,0x34(%rsp)
mov    $0x5,%eax
sub    %ebx,%eax
mov    %eax,0x30(%rsp)
mov    $0x6,%eax
sub    %ebx,%eax
mov    %eax,0x2c(%rsp)
mov    $0x7,%eax
sub    %ebx,%eax
mov    %eax,0x28(%rsp)
neg    %r14d
shl    $0x5,%rcx
xor    %r13d,%r13d
mov    %esi,0x14(%rsp)
mov    %r8d,0x10(%rsp)
mov    %edi,0xc(%rsp)
mov    %r9d,0x8(%rsp)
mov    %edx,0x4(%rsp)
mov    %rcx,0x20(%rsp)
jmp    1397 <issafe+0x287>
add    $0x1,%r14d
add    $0x20,%r13
mov    $0x1,%eax
cmp    $0x100,%r13
je     12ef <issafe+0x1df>
cmp    %r13,%rcx
jne    13a0 <issafe+0x290>
test   %ebx,%ebx
je     13e4 <issafe+0x2d4>
cmpl   $0x1,0x0(%rbp,%r13,1)
jne    13e4 <issafe+0x2d4>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x44(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %r15b,%al
jne    1433 <issafe+0x323>
cmpl   $0x1,0x4(%rbp,%r13,1)
jne    1433 <issafe+0x323>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x40(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %r12b,%al
jne    1482 <issafe+0x372>
cmpl   $0x1,0x8(%rbp,%r13,1)
jne    1482 <issafe+0x372>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x3c(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %sil,%al
jne    14d1 <issafe+0x3c1>
cmpl   $0x1,0xc(%rbp,%r13,1)
jne    14d1 <issafe+0x3c1>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x38(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %r8b,%al
jne    1520 <issafe+0x410>
cmpl   $0x1,0x10(%rbp,%r13,1)
jne    1520 <issafe+0x410>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x34(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %dil,%al
jne    156f <issafe+0x45f>
cmpl   $0x1,0x14(%rbp,%r13,1)
jne    156f <issafe+0x45f>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x30(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %r9b,%al
jne    15be <issafe+0x4ae>
cmpl   $0x1,0x18(%rbp,%r13,1)
jne    15be <issafe+0x4ae>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x2c(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
je     11cb <issafe+0xbb>
cmp    %r13,%rcx
sete   %al
test   %dl,%al
jne    137d <issafe+0x26d>
cmpl   $0x1,0x1c(%rbp,%r13,1)
jne    137d <issafe+0x26d>
mov    %r14d,%edi
call   1030 <mod@plt>
mov    %rax,0x18(%rsp)
mov    0x28(%rsp),%edi
call   1030 <mod@plt>
mov    0x20(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%r9d
mov    0xc(%rsp),%edi
mov    0x10(%rsp),%r8d
mov    0x14(%rsp),%esi
cmp    %rax,0x18(%rsp)
jne    137d <issafe+0x26d>
jmp    11cb <issafe+0xbb>

LLVM IR (-O0):
define i32 @issafe([8 x i32]* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca [8 x i32]*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store [8 x i32]* %0, [8 x i32]** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%14 = load i32, i32* %6
store i32 %14, i32* %8
%15 = load i32, i32* %7
store i32 %15, i32* %9
store i32 0, i32* %10
br label %16
16: ; preds = %36, %3
%17 = load i32, i32* %10
%18 = icmp slt i32 %17, 8
br i1 %18, label %19, label %39
19: ; preds = %16
%20 = load i32, i32* %10
%21 = load i32, i32* %7
%22 = icmp eq i32 %20, %21
br i1 %22, label %23, label %24
23: ; preds = %19
br label %36
24: ; preds = %19
%25 = load [8 x i32]*, [8 x i32]** %5
%26 = load i32, i32* %6
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [8 x i32], [8 x i32]* %25, i64 %27
%29 = load i32, i32* %10
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [8 x i32], [8 x i32]* %28, i64 0, i64 %30
%32 = load i32, i32* %31
%33 = icmp eq i32 %32, 1
br i1 %33, label %34, label %35
34: ; preds = %24
store i32 0, i32* %4
br label %111
35: ; preds = %24
br label %36
36: ; preds = %35, %23
%37 = load i32, i32* %10
%38 = add nsw i32 %37, 1
store i32 %38, i32* %10
br label %16
39: ; preds = %16
store i32 0, i32* %11
br label %40
40: ; preds = %60, %39
%41 = load i32, i32* %11
%42 = icmp slt i32 %41, 8
br i1 %42, label %43, label %63
43: ; preds = %40
%44 = load i32, i32* %11
%45 = load i32, i32* %6
%46 = icmp eq i32 %44, %45
br i1 %46, label %47, label %48
47: ; preds = %43
br label %60
48: ; preds = %43
%49 = load [8 x i32]*, [8 x i32]** %5
%50 = load i32, i32* %11
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [8 x i32], [8 x i32]* %49, i64 %51
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [8 x i32], [8 x i32]* %52, i64 0, i64 %54
%56 = load i32, i32* %55
%57 = icmp eq i32 %56, 1
br i1 %57, label %58, label %59
58: ; preds = %48
store i32 0, i32* %4
br label %111
59: ; preds = %48
br label %60
60: ; preds = %59, %47
%61 = load i32, i32* %11
%62 = add nsw i32 %61, 1
store i32 %62, i32* %11
br label %40
63: ; preds = %40
store i32 0, i32* %12
br label %64
64: ; preds = %107, %63
%65 = load i32, i32* %12
%66 = icmp slt i32 %65, 8
br i1 %66, label %67, label %110
67: ; preds = %64
store i32 0, i32* %13
br label %68
68: ; preds = %103, %67
%69 = load i32, i32* %13
%70 = icmp slt i32 %69, 8
br i1 %70, label %71, label %106
71: ; preds = %68
%72 = load i32, i32* %12
%73 = load i32, i32* %6
%74 = icmp eq i32 %72, %73
br i1 %74, label %75, label %80
75: ; preds = %71
%76 = load i32, i32* %13
%77 = load i32, i32* %7
%78 = icmp eq i32 %76, %77
br i1 %78, label %79, label %80
79: ; preds = %75
br label %103
80: ; preds = %75, %71
%81 = load [8 x i32]*, [8 x i32]** %5
%82 = load i32, i32* %12
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [8 x i32], [8 x i32]* %81, i64 %83
%85 = load i32, i32* %13
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds [8 x i32], [8 x i32]* %84, i64 0, i64 %86
%88 = load i32, i32* %87
%89 = icmp eq i32 %88, 1
br i1 %89, label %90, label %102
90: ; preds = %80
%91 = load i32, i32* %12
%92 = load i32, i32* %6
%93 = sub nsw i32 %91, %92
%94 = call i64 @mod(i32 %93)
%95 = load i32, i32* %13
%96 = load i32, i32* %7
%97 = sub nsw i32 %95, %96
%98 = call i64 @mod(i32 %97)
%99 = icmp eq i64 %94, %98
br i1 %99, label %100, label %101
100: ; preds = %90
store i32 0, i32* %4
br label %111
101: ; preds = %90
br label %102
102: ; preds = %101, %80
br label %103
103: ; preds = %102, %79
%104 = load i32, i32* %13
%105 = add nsw i32 %104, 1
store i32 %105, i32* %13
br label %68
106: ; preds = %68
br label %107
107: ; preds = %106
%108 = load i32, i32* %12
%109 = add nsw i32 %108, 1
store i32 %109, i32* %12
br label %64
110: ; preds = %64
store i32 1, i32* %4
br label %111
111: ; preds = %110, %100, %58, %34
%112 = load i32, i32* %4
ret i32 %112
}

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