#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 */
bool isCorrect(int board[][9]) {
  int r, c;
  int validsum = 0, sum = 0;
  for (r = 1; r <= 9; r++) {
    validsum += r;
  }
  for (r = 0; r < 9; r++) {
    sum = 0;
    for (c = 0; c < 9; c++) {
      sum += board[r][c];
    }
    if (sum != validsum)
      return false;
  }
  return true;
}


x86 assembly (clang, -O0):
<isCorrect>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x1,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jg     113e <isCorrect+0x3e>
mov    -0x14(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111d <isCorrect+0x1d>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    11bc <isCorrect+0xbc>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x9,-0x18(%rbp)
jge    1191 <isCorrect+0x91>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    115d <isCorrect+0x5d>
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     11a9 <isCorrect+0xa9>
movl   $0x0,-0x4(%rbp)
jmp    11c3 <isCorrect+0xc3>
jmp    11ae <isCorrect+0xae>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1145 <isCorrect+0x45>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isCorrect>:
movdqu 0x4(%rdi),%xmm0
movdqu 0x14(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    (%rdi),%ecx
xor    %eax,%eax
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0x28(%rdi),%xmm0
movdqu 0x38(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0x24(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0x4c(%rdi),%xmm0
movdqu 0x5c(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0x48(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0x70(%rdi),%xmm0
movdqu 0x80(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0x6c(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0x94(%rdi),%xmm0
movdqu 0xa4(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0x90(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0xb8(%rdi),%xmm0
movdqu 0xc8(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0xb4(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0xdc(%rdi),%xmm0
movdqu 0xec(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0xd8(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0x100(%rdi),%xmm0
movdqu 0x110(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0xfc(%rdi),%ecx
cmp    $0x2d,%ecx
jne    12d8 <isCorrect+0x1d8>
movdqu 0x124(%rdi),%xmm0
movdqu 0x134(%rdi),%xmm1
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
add    0x120(%rdi),%ecx
xor    %eax,%eax
cmp    $0x2d,%ecx
sete   %al
ret

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

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