int is_valid(int puzzle[][9], int row, int col, int num) {
  int rowStart = (row / 3) * 3;
  int colStart = (col / 3) * 3;
  int i;
  for (i = 0; i < 9; ++i) {
    if (puzzle[row][i] == num)
      return 0;
    if (puzzle[i][col] == num)
      return 0;
    if (puzzle[rowStart + (i % 3)][colStart + (i / 3)] == num)
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<is_valid>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x9,-0x28(%rbp)
jge    1208 <is_valid+0x108>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    116f <is_valid+0x6f>
movl   $0x0,-0x4(%rbp)
jmp    120f <is_valid+0x10f>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    119a <is_valid+0x9a>
movl   $0x0,-0x4(%rbp)
jmp    120f <is_valid+0x10f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%ecx
mov    -0x28(%rbp),%eax
mov    $0x3,%esi
cltd
idiv   %esi
mov    -0x38(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x24(%rbp),%ecx
mov    -0x28(%rbp),%eax
mov    $0x3,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x30(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    11f5 <is_valid+0xf5>
movl   $0x0,-0x4(%rbp)
jmp    120f <is_valid+0x10f>
jmp    11fa <is_valid+0xfa>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    113a <is_valid+0x3a>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_valid>:
push   %r14
push   %rbx
movslq %esi,%rsi
lea    (%rsi,%rsi,8),%rbx
xor    %eax,%eax
cmp    %ecx,(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
movslq %edx,%r14
cmp    %ecx,(%rdi,%r14,4)
je     125b <is_valid+0x15b>
imul   $0x55555556,%rsi,%rsi
mov    %rsi,%rdx
shr    $0x3f,%rdx
shr    $0x20,%rsi
add    %edx,%esi
lea    (%rsi,%rsi,2),%r11d
imul   $0x55555556,%r14,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
shr    $0x20,%rdx
add    %esi,%edx
lea    (%rdx,%rdx,2),%edx
movslq %r11d,%rsi
movslq %edx,%r8
lea    (%rsi,%rsi,8),%rdx
lea    (%rdi,%rdx,4),%r9
cmp    %ecx,(%r9,%r8,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x4(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x24(%rdi,%r14,4)
je     125b <is_valid+0x15b>
lea    0x1(%r11),%esi
movslq %esi,%rsi
lea    (%rsi,%rsi,8),%rsi
lea    (%rdi,%rsi,4),%r10
cmp    %ecx,(%r10,%r8,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x8(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x48(%rdi,%r14,4)
je     125b <is_valid+0x15b>
add    $0x2,%r11d
movslq %r11d,%rsi
lea    (%rsi,%rsi,8),%rsi
lea    (%rdi,%rsi,4),%r11
cmp    %ecx,(%r11,%r8,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0xc(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x6c(%rdi,%r14,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x4(%r9,%r8,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x10(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x90(%rdi,%r14,4)
je     125b <is_valid+0x15b>
lea    0x1(%r8),%rsi
cmp    %ecx,(%r10,%rsi,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x14(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0xb4(%rdi,%r14,4)
je     125b <is_valid+0x15b>
cmp    %ecx,(%r11,%rsi,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x18(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0xd8(%rdi,%r14,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x8(%r9,%r8,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x1c(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0xfc(%rdi,%r14,4)
je     125b <is_valid+0x15b>
add    $0x2,%r8
cmp    %ecx,(%r10,%r8,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x20(%rdi,%rbx,4)
je     125b <is_valid+0x15b>
cmp    %ecx,0x120(%rdi,%r14,4)
je     125b <is_valid+0x15b>
xor    %eax,%eax
cmp    %ecx,(%r11,%r8,4)
setne  %al
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define i32 @is_valid([9 x i32]* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = srem i32 %1, 3
%6 = sub i32 %1, %5
%7 = srem i32 %2, 3
%8 = sub i32 %2, %7
%9 = sext i32 %1 to i64
%10 = sext i32 %2 to i64
%11 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 0
%12 = load i32, i32* %11
%13 = icmp eq i32 %12, %3
br i1 %13, label %129, label %119
14: ; preds = %123
%15 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 1
%16 = load i32, i32* %15
%17 = icmp eq i32 %16, %3
br i1 %17, label %129, label %18
18: ; preds = %14
%19 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 1, i64 %10
%20 = load i32, i32* %19
%21 = icmp eq i32 %20, %3
br i1 %21, label %129, label %22
22: ; preds = %18
%23 = add nsw i32 %6, 1
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %24, i64 %125
%26 = load i32, i32* %25
%27 = icmp eq i32 %26, %3
br i1 %27, label %129, label %28
28: ; preds = %22
%29 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 2
%30 = load i32, i32* %29
%31 = icmp eq i32 %30, %3
br i1 %31, label %129, label %32
32: ; preds = %28
%33 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 2, i64 %10
%34 = load i32, i32* %33
%35 = icmp eq i32 %34, %3
br i1 %35, label %129, label %36
36: ; preds = %32
%37 = add nsw i32 %6, 2
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %38, i64 %125
%40 = load i32, i32* %39
%41 = icmp eq i32 %40, %3
br i1 %41, label %129, label %42
42: ; preds = %36
%43 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 3
%44 = load i32, i32* %43
%45 = icmp eq i32 %44, %3
br i1 %45, label %129, label %46
46: ; preds = %42
%47 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 3, i64 %10
%48 = load i32, i32* %47
%49 = icmp eq i32 %48, %3
br i1 %49, label %129, label %50
50: ; preds = %46
%51 = add nsw i32 %8, 1
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %124, i64 %52
%54 = load i32, i32* %53
%55 = icmp eq i32 %54, %3
br i1 %55, label %129, label %56
56: ; preds = %50
%57 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 4
%58 = load i32, i32* %57
%59 = icmp eq i32 %58, %3
br i1 %59, label %129, label %60
60: ; preds = %56
%61 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 4, i64 %10
%62 = load i32, i32* %61
%63 = icmp eq i32 %62, %3
br i1 %63, label %129, label %64
64: ; preds = %60
%65 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %24, i64 %52
%66 = load i32, i32* %65
%67 = icmp eq i32 %66, %3
br i1 %67, label %129, label %68
68: ; preds = %64
%69 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 5
%70 = load i32, i32* %69
%71 = icmp eq i32 %70, %3
br i1 %71, label %129, label %72
72: ; preds = %68
%73 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 5, i64 %10
%74 = load i32, i32* %73
%75 = icmp eq i32 %74, %3
br i1 %75, label %129, label %76
76: ; preds = %72
%77 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %38, i64 %52
%78 = load i32, i32* %77
%79 = icmp eq i32 %78, %3
br i1 %79, label %129, label %80
80: ; preds = %76
%81 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 6
%82 = load i32, i32* %81
%83 = icmp eq i32 %82, %3
br i1 %83, label %129, label %84
84: ; preds = %80
%85 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 6, i64 %10
%86 = load i32, i32* %85
%87 = icmp eq i32 %86, %3
br i1 %87, label %129, label %88
88: ; preds = %84
%89 = add nsw i32 %8, 2
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %124, i64 %90
%92 = load i32, i32* %91
%93 = icmp eq i32 %92, %3
br i1 %93, label %129, label %94
94: ; preds = %88
%95 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 7
%96 = load i32, i32* %95
%97 = icmp eq i32 %96, %3
br i1 %97, label %129, label %98
98: ; preds = %94
%99 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 7, i64 %10
%100 = load i32, i32* %99
%101 = icmp eq i32 %100, %3
br i1 %101, label %129, label %102
102: ; preds = %98
%103 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %24, i64 %90
%104 = load i32, i32* %103
%105 = icmp eq i32 %104, %3
br i1 %105, label %129, label %106
106: ; preds = %102
%107 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %9, i64 8
%108 = load i32, i32* %107
%109 = icmp eq i32 %108, %3
br i1 %109, label %129, label %110
110: ; preds = %106
%111 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 8, i64 %10
%112 = load i32, i32* %111
%113 = icmp eq i32 %112, %3
br i1 %113, label %129, label %114
114: ; preds = %110
%115 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %38, i64 %90
%116 = load i32, i32* %115
%117 = icmp ne i32 %116, %3
%118 = zext i1 %117 to i32
br label %129
119: ; preds = %4
%120 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 0, i64 %10
%121 = load i32, i32* %120
%122 = icmp eq i32 %121, %3
br i1 %122, label %129, label %123
123: ; preds = %119
%124 = sext i32 %6 to i64
%125 = sext i32 %8 to i64
%126 = getelementptr inbounds [9 x i32], [9 x i32]* %0, i64 %124, i64 %125
%127 = load i32, i32* %126
%128 = icmp eq i32 %127, %3
br i1 %128, label %129, label %14
129: ; preds = %114, %110, %106, %102, %98, %94, %88, %84, %80, %76, %72, %68, %64, %60, %56, %50, %46, %42, %36, %32, %28, %22, %18, %14, %123, %119, %4
%130 = phi i32 [ 0, %4 ], [ 0, %119 ], [ 0, %123 ], [ 0, %14 ], [ 0, %18 ], [ 0, %22 ], [ 0, %28 ], [ 0, %32 ], [ 0, %36 ], [ 0, %42 ], [ 0, %46 ], [ 0, %50 ], [ 0, %56 ], [ 0, %60 ], [ 0, %64 ], [ 0, %68 ], [ 0, %72 ], [ 0, %76 ], [ 0, %80 ], [ 0, %84 ], [ 0, %88 ], [ 0, %94 ], [ 0, %98 ], [ 0, %102 ], [ 0, %106 ], [ 0, %110 ], [ %118, %114 ]
ret i32 %130
}