#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*/ check_if_ok(int *);
void main() {
  int a[9] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
  int b[9] = {0};
  int i, j, k, m;
  for (j = 1; j < 10; j++) {
    b[0] = j;
    for (i = 1; i < 10; i++) {
      if (i == j)
        continue;
      b[1] = i;
      for (k = 1; k < 10; k++) {
        if ((k == i) || (k == j))
          continue;
        b[2] = k;
        for (m = 1; m < 10; m++) {
          if ((m == i) || (m == j) || (m == k))
            continue;
          b[3] = m;
          b[6] = 15 - b[0] - b[3];
          b[4] = 15 - b[2] - b[6];
          b[7] = 15 - b[1] - b[4];
          b[5] = 15 - b[3] - b[4];
          b[8] = 15 - b[2] - b[5];
          check_if_ok(b);
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
lea    -0x30(%rbp),%rdi
lea    0xebd(%rip),%rsi
mov    $0x24,%edx
call   1040 <memcpy@plt>
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x24,%edx
call   1030 <memset@plt>
movl   $0x1,-0x68(%rbp)
cmpl   $0xa,-0x68(%rbp)
jge    12a6 <main+0x176>
mov    -0x68(%rbp),%eax
mov    %eax,-0x60(%rbp)
movl   $0x1,-0x64(%rbp)
cmpl   $0xa,-0x64(%rbp)
jge    1293 <main+0x163>
mov    -0x64(%rbp),%eax
cmp    -0x68(%rbp),%eax
jne    1196 <main+0x66>
jmp    1285 <main+0x155>
mov    -0x64(%rbp),%eax
mov    %eax,-0x5c(%rbp)
movl   $0x1,-0x6c(%rbp)
cmpl   $0xa,-0x6c(%rbp)
jge    1280 <main+0x150>
mov    -0x6c(%rbp),%eax
cmp    -0x64(%rbp),%eax
je     11c5 <main+0x95>
mov    -0x6c(%rbp),%eax
cmp    -0x68(%rbp),%eax
jne    11ca <main+0x9a>
jmp    1272 <main+0x142>
mov    -0x6c(%rbp),%eax
mov    %eax,-0x58(%rbp)
movl   $0x1,-0x70(%rbp)
cmpl   $0xa,-0x70(%rbp)
jge    126d <main+0x13d>
mov    -0x70(%rbp),%eax
cmp    -0x64(%rbp),%eax
je     1205 <main+0xd5>
mov    -0x70(%rbp),%eax
cmp    -0x68(%rbp),%eax
je     1205 <main+0xd5>
mov    -0x70(%rbp),%eax
cmp    -0x6c(%rbp),%eax
jne    120a <main+0xda>
jmp    125f <main+0x12f>
mov    -0x70(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    $0xf,%eax
sub    -0x60(%rbp),%eax
sub    -0x54(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    $0xf,%eax
sub    -0x58(%rbp),%eax
sub    -0x48(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    $0xf,%eax
sub    -0x5c(%rbp),%eax
sub    -0x50(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    $0xf,%eax
sub    -0x54(%rbp),%eax
sub    -0x50(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    $0xf,%eax
sub    -0x58(%rbp),%eax
sub    -0x4c(%rbp),%eax
mov    %eax,-0x40(%rbp)
lea    -0x60(%rbp),%rdi
call   1050 <check_if_ok@plt>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    11d7 <main+0xa7>
jmp    1272 <main+0x142>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    11a3 <main+0x73>
jmp    1285 <main+0x155>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    117b <main+0x4b>
jmp    1298 <main+0x168>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    1164 <main+0x34>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
xorps  %xmm0,%xmm0
movaps %xmm0,0x30(%rsp)
movl   $0x0,0x40(%rsp)
mov    $0x1,%eax
xor    %ecx,%ecx
mov    %rcx,0x10(%rsp)
jmp    1159 <main+0x49>
nopl   0x0(%rax)
add    $0x1,%eax
mov    0x10(%rsp),%rcx
add    $0x1,%ecx
mov    %rcx,0x10(%rsp)
cmp    $0xa,%eax
je     126e <main+0x15e>
mov    %eax,0x20(%rsp)
xor    %ebx,%ebx
mov    $0x1,%ecx
mov    %eax,0xc(%rsp)
jmp    117f <main+0x6f>
nopw   0x0(%rax,%rax,1)
add    $0x1,%ecx
add    $0x1,%ebx
cmp    $0xa,%ecx
mov    0xc(%rsp),%eax
je     1140 <main+0x30>
cmp    %eax,%ecx
je     1170 <main+0x60>
mov    %ecx,0x24(%rsp)
mov    $0x1,%eax
xor    %r14d,%r14d
mov    %ecx,0x1c(%rsp)
jmp    11b4 <main+0xa4>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rsp),%eax
add    $0x1,%eax
add    $0x1,%r14d
cmp    $0xa,%eax
mov    0x1c(%rsp),%ecx
je     1170 <main+0x60>
mov    %eax,0x8(%rsp)
cmp    %ecx,%eax
je     11a0 <main+0x90>
mov    0x8(%rsp),%eax
cmp    0xc(%rsp),%eax
je     11a0 <main+0x90>
mov    0x8(%rsp),%eax
mov    %eax,0x28(%rsp)
mov    $0x1,%r12d
mov    $0x2,%r15d
mov    $0xd,%r13d
mov    $0xe,%ebp
jmp    1204 <main+0xf4>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r12d
add    $0x2,%r15d
add    $0xfffffffe,%r13d
add    $0xffffffff,%ebp
cmp    $0x5,%ebp
je     11a0 <main+0x90>
lea    (%rbx,%rbp,1),%eax
cmp    $0xe,%eax
je     11f0 <main+0xe0>
mov    0x10(%rsp),%rax
add    %ebp,%eax
cmp    $0xe,%eax
je     11f0 <main+0xe0>
lea    (%r14,%rbp,1),%eax
cmp    $0xe,%eax
je     11f0 <main+0xe0>
mov    %r12d,0x2c(%rsp)
mov    0x20(%rsp),%eax
mov    0x28(%rsp),%ecx
mov    %ebp,%edx
sub    %eax,%edx
mov    %edx,0x38(%rsp)
mov    %ecx,%edx
sub    %eax,%edx
mov    %eax,%esi
sub    %ecx,%esi
add    %r12d,%esi
mov    %esi,0x30(%rsp)
lea    (%rdx,%r13,1),%esi
sub    0x24(%rsp),%edx
add    %ebp,%edx
mov    %edx,0x3c(%rsp)
mov    %esi,0x34(%rsp)
add    %ecx,%ecx
sub    %ecx,%eax
add    %r15d,%eax
mov    %eax,0x40(%rsp)
lea    0x20(%rsp),%rdi
call   1030 <check_if_ok@plt>
jmp    11f0 <main+0xe0>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @main() {
%1 = alloca [9 x i32]
%2 = bitcast [9 x i32]* %1 to i8*
%3 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 4
%4 = bitcast i32* %3 to i8*
%5 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 0
%6 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 1
%7 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 2
%8 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 3
%9 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 6
%10 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 4
%11 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 7
%12 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 5
%13 = getelementptr inbounds [9 x i32], [9 x i32]* %1, i64 0, i64 8
br label %14
14: ; preds = %0, %57
%15 = phi i32 [ 1, %0 ], [ %58, %57 ]
store i32 %15, i32* %5
br label %16
16: ; preds = %14, %54
%17 = phi i32 [ 1, %14 ], [ %55, %54 ]
%18 = icmp eq i32 %17, %15
br i1 %18, label %54, label %19
19: ; preds = %16
store i32 %17, i32* %6
br label %20
20: ; preds = %19, %51
%21 = phi i32 [ 1, %19 ], [ %52, %51 ]
%22 = icmp eq i32 %21, %17
%23 = icmp eq i32 %21, %15
%24 = select i1 %22, i1 true, i1 %23
br i1 %24, label %51, label %25
25: ; preds = %20
store i32 %21, i32* %7
br label %26
26: ; preds = %25, %47
%27 = phi i32 [ -1, %25 ], [ %49, %47 ]
%28 = phi i32 [ 1, %25 ], [ %48, %47 ]
%29 = icmp eq i32 %28, %17
%30 = icmp eq i32 %28, %15
%31 = select i1 %29, i1 true, i1 %30
%32 = icmp eq i32 %28, %21
%33 = select i1 %31, i1 true, i1 %32
br i1 %33, label %47, label %34
34: ; preds = %26
store i32 %28, i32* %8
%35 = load i32, i32* %5
%36 = add nsw i32 %27, 15
%37 = sub i32 %36, %35
store i32 %37, i32* %9
%38 = load i32, i32* %7
%39 = add i32 %37, %38
%40 = sub i32 15, %39
store i32 %40, i32* %10
%41 = load i32, i32* %6
%42 = sub i32 %39, %41
store i32 %42, i32* %11
%43 = add i32 %27, %39
store i32 %43, i32* %12
%44 = add i32 %38, %43
%45 = sub i32 15, %44
store i32 %45, i32* %13
%46 = call i32 @check_if_ok(i32* %5)
br label %47
47: ; preds = %26, %34
%48 = add nuw nsw i32 %28, 1
%49 = xor i32 %28, -1
%50 = icmp eq i32 %48, 10
br i1 %50, label %51, label %26
51: ; preds = %47, %20
%52 = add nuw nsw i32 %21, 1
%53 = icmp eq i32 %52, 10
br i1 %53, label %54, label %20
54: ; preds = %51, %16
%55 = add nuw nsw i32 %17, 1
%56 = icmp eq i32 %55, 10
br i1 %56, label %57, label %16
57: ; preds = %54
%58 = add nuw nsw i32 %15, 1
%59 = icmp eq i32 %58, 10
br i1 %59, label %60, label %14
60: ; preds = %57
ret void
}