int check(int (*a)[9], int x, int y, int b) {
  int i;
  int j;
  for (j = 0; j < 9; ++j) {
    if (j != x) {
      if (b == a[j][y])
        return 0;
    }
    if (j != y) {
      if (b == a[x][j])
        return 0;
    }
  }
  i = x - x % 3;
  j = y - y % 3;
  int loo1 = i;
  int loo2 = j;
  for (i = loo1; i < loo1 + 3; ++i)
    for (j = loo2; j < loo2 + 3; ++j) {
      if (i == x && j == y)
        continue;
      if (b == a[i][j])
        return 0;
    }
  return 1;
}


x86 assembly (clang, -O0):
<check>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x9,-0x24(%rbp)
jge    11ad <check+0xad>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     115e <check+0x5e>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1159 <check+0x59>
movl   $0x0,-0x4(%rbp)
jmp    128e <check+0x18e>
jmp    115e <check+0x5e>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     119a <check+0x9a>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1195 <check+0x95>
movl   $0x0,-0x4(%rbp)
jmp    128e <check+0x18e>
jmp    119a <check+0x9a>
jmp    119f <check+0x9f>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1118 <check+0x18>
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    -0x34(%rbp),%eax
sub    %edx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    -0x30(%rbp),%eax
sub    %edx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x28(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1287 <check+0x187>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    1274 <check+0x174>
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    1236 <check+0x136>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1236 <check+0x136>
jmp    1266 <check+0x166>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
imul   $0x24,%rdx,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1261 <check+0x161>
movl   $0x0,-0x4(%rbp)
jmp    128e <check+0x18e>
jmp    1266 <check+0x166>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1208 <check+0x108>
jmp    1279 <check+0x179>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11f1 <check+0xf1>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check>:
push   %rbx
movslq %edx,%r8
test   %esi,%esi
je     1114 <check+0x14>
xor    %eax,%eax
cmp    %ecx,(%rdi,%r8,4)
je     1259 <check+0x159>
movslq %esi,%r9
test   %edx,%edx
je     112b <check+0x2b>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x1,%esi
je     113d <check+0x3d>
xor    %eax,%eax
cmp    %ecx,0x24(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x1,%edx
je     1153 <check+0x53>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0x4(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x2,%esi
je     1165 <check+0x65>
xor    %eax,%eax
cmp    %ecx,0x48(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x2,%edx
je     117b <check+0x7b>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0x8(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x3,%esi
je     118d <check+0x8d>
xor    %eax,%eax
cmp    %ecx,0x6c(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x3,%edx
je     11a3 <check+0xa3>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0xc(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x4,%esi
je     11b8 <check+0xb8>
xor    %eax,%eax
cmp    %ecx,0x90(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x4,%edx
je     11ce <check+0xce>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0x10(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x5,%esi
je     11df <check+0xdf>
xor    %eax,%eax
cmp    %ecx,0xb4(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x5,%edx
je     11f1 <check+0xf1>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0x14(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x6,%esi
je     1202 <check+0x102>
xor    %eax,%eax
cmp    %ecx,0xd8(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x6,%edx
je     1214 <check+0x114>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0x18(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x7,%esi
je     1225 <check+0x125>
xor    %eax,%eax
cmp    %ecx,0xfc(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x7,%edx
je     1237 <check+0x137>
lea    (%r9,%r9,8),%r10
xor    %eax,%eax
cmp    %ecx,0x1c(%rdi,%r10,4)
je     1259 <check+0x159>
cmp    $0x8,%esi
je     1248 <check+0x148>
xor    %eax,%eax
cmp    %ecx,0x120(%rdi,%r8,4)
je     1259 <check+0x159>
cmp    $0x8,%edx
je     125b <check+0x15b>
lea    (%r9,%r9,8),%rdx
xor    %eax,%eax
cmp    %ecx,0x20(%rdi,%rdx,4)
jne    125b <check+0x15b>
pop    %rbx
ret
imul   $0x55555556,%r9,%rax
mov    %rax,%rdx
shr    $0x3f,%rdx
shr    $0x20,%rax
add    %edx,%eax
lea    (%rax,%rax,2),%r11d
imul   $0x55555556,%r8,%rsi
mov    %rsi,%rdx
shr    $0x3f,%rdx
shr    $0x20,%rsi
add    %edx,%esi
lea    (%rsi,%rsi,2),%edx
movslq %edx,%r10
movslq %r11d,%rdx
lea    (%rsi,%rsi,2),%esi
add    $0x2,%esi
movslq %esi,%rsi
lea    (%rax,%rax,2),%eax
add    $0x2,%eax
movslq %eax,%r11
neg    %r8
add    $0xffffffffffffffff,%r10
lea    (%rdx,%rdx,8),%rax
lea    (%rdi,%rax,4),%rdi
jmp    12c8 <check+0x1c8>
lea    0x1(%rdx),%rbx
add    $0x24,%rdi
mov    $0x1,%eax
cmp    %r11,%rdx
mov    %rbx,%rdx
jge    1259 <check+0x159>
mov    %r10,%rax
jmp    12dc <check+0x1dc>
cmp    %ecx,0x4(%rdi,%rax,4)
je     12ed <check+0x1ed>
add    $0x1,%rax
cmp    %rsi,%rax
jge    12b3 <check+0x1b3>
cmp    %r9,%rdx
jne    12cd <check+0x1cd>
lea    (%r8,%rax,1),%rbx
cmp    $0xffffffffffffffff,%rbx
je     12d3 <check+0x1d3>
jmp    12cd <check+0x1cd>
xor    %eax,%eax
pop    %rbx
ret

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

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