int isPermissible(int board[9][9], int numb, int row, int col) {
  int i, j;
  int blockRow = row / 3;
  int blockCol = col / 3;
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 3; j++) {
      if (board[3 * blockRow + i][3 * blockCol + j] == numb) {
        return 0;
      }
    }
  }
  for (j = 0; j < 9; j++) {
    if (board[row][j] == numb) {
      return 0;
    }
  }
  for (i = 0; i < 9; i++) {
    if (board[i][col] == numb) {
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<isPermissible>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x3,-0x20(%rbp)
jge    11ac <isPermissible+0xac>
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    1199 <isPermissible+0x99>
mov    -0x10(%rbp),%rax
imul   $0x3,-0x28(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
imul   $0x3,-0x2c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1186 <isPermissible+0x86>
movl   $0x0,-0x4(%rbp)
jmp    1251 <isPermissible+0x151>
jmp    118b <isPermissible+0x8b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1145 <isPermissible+0x45>
jmp    119e <isPermissible+0x9e>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1134 <isPermissible+0x34>
movl   $0x0,-0x24(%rbp)
cmpl   $0x9,-0x24(%rbp)
jge    11fb <isPermissible+0xfb>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    11e8 <isPermissible+0xe8>
movl   $0x0,-0x4(%rbp)
jmp    1251 <isPermissible+0x151>
jmp    11ed <isPermissible+0xed>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b3 <isPermissible+0xb3>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    124a <isPermissible+0x14a>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1237 <isPermissible+0x137>
movl   $0x0,-0x4(%rbp)
jmp    1251 <isPermissible+0x151>
jmp    123c <isPermissible+0x13c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1202 <isPermissible+0x102>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

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

LLVM IR (-O0):
define i32 @isPermissible([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
%13 = 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
%14 = load i32, i32* %8
%15 = sdiv i32 %14, 3
store i32 %15, i32* %12
%16 = load i32, i32* %9
%17 = sdiv i32 %16, 3
store i32 %17, i32* %13
store i32 0, i32* %10
br label %18
18: ; preds = %48, %4
%19 = load i32, i32* %10
%20 = icmp slt i32 %19, 3
br i1 %20, label %21, label %51
21: ; preds = %18
store i32 0, i32* %11
br label %22
22: ; preds = %44, %21
%23 = load i32, i32* %11
%24 = icmp slt i32 %23, 3
br i1 %24, label %25, label %47
25: ; preds = %22
%26 = load [9 x i32]*, [9 x i32]** %6
%27 = load i32, i32* %12
%28 = mul nsw i32 3, %27
%29 = load i32, i32* %10
%30 = add nsw i32 %28, %29
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [9 x i32], [9 x i32]* %26, i64 %31
%33 = load i32, i32* %13
%34 = mul nsw i32 3, %33
%35 = load i32, i32* %11
%36 = add nsw i32 %34, %35
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [9 x i32], [9 x i32]* %32, i64 0, i64 %37
%39 = load i32, i32* %38
%40 = load i32, i32* %7
%41 = icmp eq i32 %39, %40
br i1 %41, label %42, label %43
42: ; preds = %25
store i32 0, i32* %5
br label %92
43: ; preds = %25
br label %44
44: ; preds = %43
%45 = load i32, i32* %11
%46 = add nsw i32 %45, 1
store i32 %46, i32* %11
br label %22
47: ; preds = %22
br label %48
48: ; preds = %47
%49 = load i32, i32* %10
%50 = add nsw i32 %49, 1
store i32 %50, i32* %10
br label %18
51: ; preds = %18
store i32 0, i32* %11
br label %52
52: ; preds = %68, %51
%53 = load i32, i32* %11
%54 = icmp slt i32 %53, 9
br i1 %54, label %55, label %71
55: ; preds = %52
%56 = load [9 x i32]*, [9 x i32]** %6
%57 = load i32, i32* %8
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [9 x i32], [9 x i32]* %56, i64 %58
%60 = load i32, i32* %11
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds [9 x i32], [9 x i32]* %59, i64 0, i64 %61
%63 = load i32, i32* %62
%64 = load i32, i32* %7
%65 = icmp eq i32 %63, %64
br i1 %65, label %66, label %67
66: ; preds = %55
store i32 0, i32* %5
br label %92
67: ; preds = %55
br label %68
68: ; preds = %67
%69 = load i32, i32* %11
%70 = add nsw i32 %69, 1
store i32 %70, i32* %11
br label %52
71: ; preds = %52
store i32 0, i32* %10
br label %72
72: ; preds = %88, %71
%73 = load i32, i32* %10
%74 = icmp slt i32 %73, 9
br i1 %74, label %75, label %91
75: ; preds = %72
%76 = load [9 x i32]*, [9 x i32]** %6
%77 = load i32, i32* %10
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [9 x i32], [9 x i32]* %76, i64 %78
%80 = load i32, i32* %9
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [9 x i32], [9 x i32]* %79, i64 0, i64 %81
%83 = load i32, i32* %82
%84 = load i32, i32* %7
%85 = icmp eq i32 %83, %84
br i1 %85, label %86, label %87
86: ; preds = %75
store i32 0, i32* %5
br label %92
87: ; preds = %75
br label %88
88: ; preds = %87
%89 = load i32, i32* %10
%90 = add nsw i32 %89, 1
store i32 %90, i32* %10
br label %72
91: ; preds = %72
store i32 1, i32* %5
br label %92
92: ; preds = %91, %86, %66, %42
%93 = load i32, i32* %5
ret i32 %93
}

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