int determine_winner(int (*board)[3]) {
  int i;
  for (i = 0; i < 3; i++) {
    if (board[i][0] & board[i][1] & board[i][2]) {
      return board[i][0];
    }
    if (board[0][i] & board[1][i] & board[2][i]) {
      return board[0][i];
    }
  }
  if ((board[0][0] & board[1][1] & board[2][2]) ||
      (board[0][2] & board[1][1] & board[2][0])) {
    return board[1][1];
  }
  return 0;
}


x86 assembly (clang, -O0):
<determine_winner>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    11c2 <determine_winner+0xc2>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
and    0x4(%rcx),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
and    0x8(%rcx),%eax
cmp    $0x0,%eax
je     1170 <determine_winner+0x70>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1213 <determine_winner+0x113>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
and    0xc(%rcx,%rdx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
and    0x18(%rcx,%rdx,4),%eax
cmp    $0x0,%eax
je     11af <determine_winner+0xaf>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    1213 <determine_winner+0x113>
jmp    11b4 <determine_winner+0xb4>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <determine_winner+0xf>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
and    0x10(%rcx),%eax
mov    -0x10(%rbp),%rcx
and    0x20(%rcx),%eax
cmp    $0x0,%eax
jne    11fd <determine_winner+0xfd>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
and    0x10(%rcx),%eax
mov    -0x10(%rbp),%rcx
and    0x18(%rcx),%eax
cmp    $0x0,%eax
je     120c <determine_winner+0x10c>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1213 <determine_winner+0x113>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<determine_winner>:
push   %rbx
mov    (%rdi),%edx
mov    0x4(%rdi),%esi
mov    %esi,%eax
and    %edx,%eax
mov    0x8(%rdi),%ebx
test   %ebx,%eax
jne    1121 <determine_winner+0x21>
mov    0xc(%rdi),%eax
mov    0x18(%rdi),%r9d
mov    %eax,%ecx
and    %edx,%ecx
test   %r9d,%ecx
je     1125 <determine_winner+0x25>
mov    %edx,%eax
pop    %rbx
ret
mov    0x10(%rdi),%r8d
mov    0x14(%rdi),%r10d
mov    %r8d,%ecx
and    %eax,%ecx
test   %r10d,%ecx
jne    1123 <determine_winner+0x23>
mov    %r8d,%ecx
and    %esi,%ecx
mov    0x1c(%rdi),%r11d
mov    %esi,%eax
test   %r11d,%ecx
jne    1123 <determine_winner+0x23>
and    %r9d,%r11d
mov    0x20(%rdi),%eax
test   %eax,%r11d
je     1157 <determine_winner+0x57>
mov    %r9d,%eax
pop    %rbx
ret
and    %ebx,%r10d
test   %eax,%r10d
je     1163 <determine_winner+0x63>
mov    %ebx,%eax
pop    %rbx
ret
and    %r8d,%edx
test   %eax,%edx
jne    1172 <determine_winner+0x72>
and    %r8d,%ebx
test   %r9d,%ebx
je     1177 <determine_winner+0x77>
mov    %r8d,%eax
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret

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

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