int sudoku_compare_array_completely_populated(int compare_array[9]) {
  int index;
  int bucket_array[9] = {0};
  for (index = 0; index < 9; index++) {
    if (!compare_array[index])
      return 0;
    bucket_array[compare_array[index] - 1] = 1;
  }
  for (index = 0; index < 9; index++)
    if (!bucket_array[index])
      return 0;
  return 1;
}


x86 assembly (clang, -O0):
<sudoku_compare_array_completely_populated>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
lea    -0x40(%rbp),%rdi
xor    %esi,%esi
mov    $0x24,%edx
call   1030 <memset@plt>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    1181 <sudoku_compare_array_completely_populated+0x71>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    115b <sudoku_compare_array_completely_populated+0x4b>
movl   $0x0,-0x4(%rbp)
jmp    11c7 <sudoku_compare_array_completely_populated+0xb7>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    $0x1,%eax
cltq
movl   $0x1,-0x40(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1133 <sudoku_compare_array_completely_populated+0x23>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    11c0 <sudoku_compare_array_completely_populated+0xb0>
movslq -0x14(%rbp),%rax
cmpl   $0x0,-0x40(%rbp,%rax,4)
jne    11ad <sudoku_compare_array_completely_populated+0x9d>
movl   $0x0,-0x4(%rbp)
jmp    11c7 <sudoku_compare_array_completely_populated+0xb7>
jmp    11b2 <sudoku_compare_array_completely_populated+0xa2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1188 <sudoku_compare_array_completely_populated+0x78>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sudoku_compare_array_completely_populated>:
pxor   %xmm0,%xmm0
movdqa %xmm0,-0x18(%rsp)
movdqa %xmm0,-0x28(%rsp)
movl   $0x0,-0x8(%rsp)
movslq (%rdi),%rcx
xor    %eax,%eax
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x4(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x8(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0xc(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x10(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x14(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x18(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x1c(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
movslq 0x20(%rdi),%rcx
test   %rcx,%rcx
je     11f0 <sudoku_compare_array_completely_populated+0xf0>
movl   $0x1,-0x2c(%rsp,%rcx,4)
pxor   %xmm0,%xmm0
movdqa -0x18(%rsp),%xmm1
pcmpeqd %xmm0,%xmm1
pcmpeqd -0x28(%rsp),%xmm0
packssdw %xmm1,%xmm0
pmovmskb %xmm0,%eax
test   %eax,%eax
sete   %al
cmpl   $0x0,-0x8(%rsp)
setne  %cl
and    %al,%cl
movzbl %cl,%eax
ret

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

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