int fun(int a, int b, int c) {
  int x[9], i, j;
  x[0] = a / 100;
  x[1] = a / 10 % 10;
  x[2] = a % 10;
  x[3] = b / 100;
  x[4] = b / 10 % 10;
  x[5] = b % 10;
  x[6] = c / 100;
  x[7] = c / 10 % 10;
  x[8] = c % 10;
  for (i = 0; i < 8; i++)
    for (j = i + 1; j < 9; j++) {
      if (x[i] == x[j])
        return 0;
      if (x[i] == 0)
        return 0;
      if (x[j] == 0)
        return 0;
    }
  return 1;
}


x86 assembly (clang, -O0):
<fun>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x3c(%rbp)
mov    -0x8(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x38(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0xc(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0xc(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x2c(%rbp)
mov    -0x10(%rbp),%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x24(%rbp)
mov    -0x10(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x20(%rbp)
movl   $0x0,-0x44(%rbp)
cmpl   $0x8,-0x44(%rbp)
jge    1245 <fun+0x145>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x9,-0x48(%rbp)
jge    1232 <fun+0x132>
movslq -0x44(%rbp),%rax
mov    -0x40(%rbp,%rax,4),%eax
movslq -0x48(%rbp),%rcx
cmp    -0x40(%rbp,%rcx,4),%eax
jne    11e9 <fun+0xe9>
movl   $0x0,-0x4(%rbp)
jmp    124c <fun+0x14c>
movslq -0x44(%rbp),%rax
cmpl   $0x0,-0x40(%rbp,%rax,4)
jne    1204 <fun+0x104>
movl   $0x0,-0x4(%rbp)
jmp    124c <fun+0x14c>
movslq -0x48(%rbp),%rax
cmpl   $0x0,-0x40(%rbp,%rax,4)
jne    121f <fun+0x11f>
movl   $0x0,-0x4(%rbp)
jmp    124c <fun+0x14c>
jmp    1224 <fun+0x124>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11bd <fun+0xbd>
jmp    1237 <fun+0x137>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11aa <fun+0xaa>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fun>:
push   %rbp
push   %r14
push   %rbx
movslq %edi,%r10
imul   $0x51eb851f,%r10,%r11
mov    %r11,%r8
shr    $0x3f,%r8
shr    $0x20,%r11
sar    $0x5,%r11d
imul   $0x66666667,%r10,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
sar    $0x2,%eax
add    %ecx,%eax
cltq
imul   $0x66666667,%rax,%rcx
mov    %rcx,%rdi
shr    $0x3f,%rdi
shr    $0x20,%rcx
sar    $0x2,%ecx
add    %edi,%ecx
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%ecx
mov    %eax,%r9d
sub    %ecx,%r9d
add    %eax,%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%r10d
movslq %esi,%rsi
imul   $0x51eb851f,%rsi,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
shr    $0x20,%rdi
sar    $0x5,%edi
add    %eax,%edi
imul   $0x66666667,%rsi,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
sar    $0x2,%eax
add    %ecx,%eax
movslq %eax,%rcx
imul   $0x66666667,%rcx,%rax
mov    %rax,%rbx
shr    $0x3f,%rbx
shr    $0x20,%rax
sar    $0x2,%eax
add    %ebx,%eax
add    %eax,%eax
lea    (%rax,%rax,4),%ebx
mov    %ecx,%r14d
sub    %ebx,%r14d
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%ecx
sub    %ecx,%esi
movslq %edx,%rdx
imul   $0x51eb851f,%rdx,%rcx
mov    %rcx,%rbx
shr    $0x3f,%rbx
shr    $0x20,%rcx
sar    $0x5,%ecx
add    %ebx,%ecx
imul   $0x66666667,%rdx,%rbx
mov    %rbx,%rax
shr    $0x3f,%rax
shr    $0x20,%rbx
sar    $0x2,%ebx
add    %eax,%ebx
movslq %ebx,%rax
imul   $0x66666667,%rax,%rbx
mov    %rbx,%rbp
shr    $0x3f,%rbp
shr    $0x20,%rbx
sar    $0x2,%ebx
add    %ebp,%ebx
add    %ebx,%ebx
lea    (%rbx,%rbx,4),%ebx
mov    %eax,%ebp
sub    %ebx,%ebp
add    %eax,%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%edx
add    %r8d,%r11d
mov    %r11d,-0x30(%rsp)
mov    %r9d,-0x2c(%rsp)
mov    %r10d,-0x28(%rsp)
mov    %edi,-0x24(%rsp)
mov    %r14d,-0x20(%rsp)
mov    %esi,-0x1c(%rsp)
mov    %ecx,-0x18(%rsp)
mov    %ebp,-0x14(%rsp)
mov    %edx,-0x10(%rsp)
je     1546 <fun+0x446>
mov    -0x2c(%rsp),%ecx
xor    %eax,%eax
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x28(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x24(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x20(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x1c(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x18(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x14(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x10(%rsp),%ecx
test   %ecx,%ecx
je     1548 <fun+0x448>
cmp    %ecx,%r11d
je     1548 <fun+0x448>
mov    -0x2c(%rsp),%ecx
test   %ecx,%ecx
je     1546 <fun+0x446>
mov    -0x28(%rsp),%edx
xor    %eax,%eax
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x24(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x20(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x1c(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x18(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x14(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x10(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x28(%rsp),%ecx
test   %ecx,%ecx
je     1546 <fun+0x446>
mov    -0x24(%rsp),%edx
xor    %eax,%eax
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x20(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x1c(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x18(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x14(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x10(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x24(%rsp),%ecx
test   %ecx,%ecx
je     1546 <fun+0x446>
mov    -0x20(%rsp),%edx
xor    %eax,%eax
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x1c(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x18(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x14(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x10(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x20(%rsp),%ecx
test   %ecx,%ecx
je     1546 <fun+0x446>
mov    -0x1c(%rsp),%edx
xor    %eax,%eax
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x18(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x14(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x10(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x1c(%rsp),%ecx
test   %ecx,%ecx
je     1546 <fun+0x446>
mov    -0x18(%rsp),%edx
xor    %eax,%eax
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x14(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x10(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x18(%rsp),%ecx
test   %ecx,%ecx
je     1546 <fun+0x446>
mov    -0x14(%rsp),%edx
xor    %eax,%eax
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x10(%rsp),%edx
test   %edx,%edx
je     1548 <fun+0x448>
cmp    %edx,%ecx
je     1548 <fun+0x448>
mov    -0x14(%rsp),%edx
test   %edx,%edx
je     1546 <fun+0x446>
mov    -0x10(%rsp),%esi
xor    %eax,%eax
test   %esi,%esi
je     1548 <fun+0x448>
mov    $0x1,%ecx
cmp    %esi,%edx
je     1548 <fun+0x448>
mov    %ecx,%eax
jmp    1548 <fun+0x448>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @fun(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca [9 x i32]
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%11 = load i32, i32* %5
%12 = sdiv i32 %11, 100
%13 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 0
store i32 %12, i32* %13
%14 = load i32, i32* %5
%15 = sdiv i32 %14, 10
%16 = srem i32 %15, 10
%17 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 1
store i32 %16, i32* %17
%18 = load i32, i32* %5
%19 = srem i32 %18, 10
%20 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 2
store i32 %19, i32* %20
%21 = load i32, i32* %6
%22 = sdiv i32 %21, 100
%23 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 3
store i32 %22, i32* %23
%24 = load i32, i32* %6
%25 = sdiv i32 %24, 10
%26 = srem i32 %25, 10
%27 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 4
store i32 %26, i32* %27
%28 = load i32, i32* %6
%29 = srem i32 %28, 10
%30 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 5
store i32 %29, i32* %30
%31 = load i32, i32* %7
%32 = sdiv i32 %31, 100
%33 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 6
store i32 %32, i32* %33
%34 = load i32, i32* %7
%35 = sdiv i32 %34, 10
%36 = srem i32 %35, 10
%37 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 7
store i32 %36, i32* %37
%38 = load i32, i32* %7
%39 = srem i32 %38, 10
%40 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 8
store i32 %39, i32* %40
store i32 0, i32* %9
br label %41
41: ; preds = %80, %3
%42 = load i32, i32* %9
%43 = icmp slt i32 %42, 8
br i1 %43, label %44, label %83
44: ; preds = %41
%45 = load i32, i32* %9
%46 = add nsw i32 %45, 1
store i32 %46, i32* %10
br label %47
47: ; preds = %76, %44
%48 = load i32, i32* %10
%49 = icmp slt i32 %48, 9
br i1 %49, label %50, label %79
50: ; preds = %47
%51 = load i32, i32* %9
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 %52
%54 = load i32, i32* %53
%55 = load i32, i32* %10
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 %56
%58 = load i32, i32* %57
%59 = icmp eq i32 %54, %58
br i1 %59, label %60, label %61
60: ; preds = %50
store i32 0, i32* %4
br label %84
61: ; preds = %50
%62 = load i32, i32* %9
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 %63
%65 = load i32, i32* %64
%66 = icmp eq i32 %65, 0
br i1 %66, label %67, label %68
67: ; preds = %61
store i32 0, i32* %4
br label %84
68: ; preds = %61
%69 = load i32, i32* %10
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [9 x i32], [9 x i32]* %8, i64 0, i64 %70
%72 = load i32, i32* %71
%73 = icmp eq i32 %72, 0
br i1 %73, label %74, label %75
74: ; preds = %68
store i32 0, i32* %4
br label %84
75: ; preds = %68
br label %76
76: ; preds = %75
%77 = load i32, i32* %10
%78 = add nsw i32 %77, 1
store i32 %78, i32* %10
br label %47
79: ; preds = %47
br label %80
80: ; preds = %79
%81 = load i32, i32* %9
%82 = add nsw i32 %81, 1
store i32 %82, i32* %9
br label %41
83: ; preds = %41
store i32 1, i32* %4
br label %84
84: ; preds = %83, %74, %67, %60
%85 = load i32, i32* %4
ret i32 %85
}

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