#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__ box_checker(int *, int);
scalar_t__ column_checker(int *, int);
scalar_t__ file_checker(int *, int);
int check_all(int *sudoku) {
  int i;
  for (i = 0; i < 9; i++) {
    if ((file_checker(sudoku, i)))
      return 1;
  }
  for (i = 0; i < 9; i++) {
    if ((column_checker(sudoku, i)))
      return 1;
  }
  for (i = 0; i < 9; i++) {
    if (box_checker(sudoku, i + 1))
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<check_all>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    1182 <check_all+0x52>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <file_checker@plt>
cmp    $0x0,%rax
je     116f <check_all+0x3f>
movl   $0x1,-0x4(%rbp)
jmp    1218 <check_all+0xe8>
jmp    1174 <check_all+0x44>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1143 <check_all+0x13>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    11c8 <check_all+0x98>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1040 <column_checker@plt>
cmp    $0x0,%rax
je     11b5 <check_all+0x85>
movl   $0x1,-0x4(%rbp)
jmp    1218 <check_all+0xe8>
jmp    11ba <check_all+0x8a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1189 <check_all+0x59>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    1211 <check_all+0xe1>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
call   1030 <box_checker@plt>
cmp    $0x0,%rax
je     11fe <check_all+0xce>
movl   $0x1,-0x4(%rbp)
jmp    1218 <check_all+0xe8>
jmp    1203 <check_all+0xd3>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11cf <check_all+0x9f>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_all>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
xor    %esi,%esi
call   1050 <file_checker@plt>
mov    $0x1,%ebp
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    $0x1,%ebp
mov    %rbx,%rdi
mov    $0x1,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x4,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x8,%esi
call   1050 <file_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    $0x1,%ebp
mov    %rbx,%rdi
mov    $0x1,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x4,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x8,%esi
call   1040 <column_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    $0x1,%ebp
mov    %rbx,%rdi
mov    $0x1,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x4,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x8,%esi
call   1030 <box_checker@plt>
test   %rax,%rax
jne    137b <check_all+0x24b>
mov    %rbx,%rdi
mov    $0x9,%esi
call   1030 <box_checker@plt>
xor    %ebp,%ebp
test   %rax,%rax
setne  %bpl
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @check_all(i32* %0) {
%2 = alloca i32
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 0, i32* %4
br label %5
5: ; preds = %15, %1
%6 = load i32, i32* %4
%7 = icmp slt i32 %6, 9
br i1 %7, label %8, label %18
8: ; preds = %5
%9 = load i32*, i32** %3
%10 = load i32, i32* %4
%11 = call i64 @file_checker(i32* %9, i32 %10)
%12 = icmp ne i64 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %8
store i32 1, i32* %2
br label %48
14: ; preds = %8
br label %15
15: ; preds = %14
%16 = load i32, i32* %4
%17 = add nsw i32 %16, 1
store i32 %17, i32* %4
br label %5
18: ; preds = %5
store i32 0, i32* %4
br label %19
19: ; preds = %29, %18
%20 = load i32, i32* %4
%21 = icmp slt i32 %20, 9
br i1 %21, label %22, label %32
22: ; preds = %19
%23 = load i32*, i32** %3
%24 = load i32, i32* %4
%25 = call i64 @column_checker(i32* %23, i32 %24)
%26 = icmp ne i64 %25, 0
br i1 %26, label %27, label %28
27: ; preds = %22
store i32 1, i32* %2
br label %48
28: ; preds = %22
br label %29
29: ; preds = %28
%30 = load i32, i32* %4
%31 = add nsw i32 %30, 1
store i32 %31, i32* %4
br label %19
32: ; preds = %19
store i32 0, i32* %4
br label %33
33: ; preds = %44, %32
%34 = load i32, i32* %4
%35 = icmp slt i32 %34, 9
br i1 %35, label %36, label %47
36: ; preds = %33
%37 = load i32*, i32** %3
%38 = load i32, i32* %4
%39 = add nsw i32 %38, 1
%40 = call i64 @box_checker(i32* %37, i32 %39)
%41 = icmp ne i64 %40, 0
br i1 %41, label %42, label %43
42: ; preds = %36
store i32 1, i32* %2
br label %48
43: ; preds = %36
br label %44
44: ; preds = %43
%45 = load i32, i32* %4
%46 = add nsw i32 %45, 1
store i32 %46, i32* %4
br label %33
47: ; preds = %33
store i32 0, i32* %2
br label %48
48: ; preds = %47, %42, %27, %13
%49 = load i32, i32* %2
ret i32 %49
}

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