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


x86 assembly (clang, -O0):
<verificar_se_terminou>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    11ad <verificar_se_terminou+0xad>
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     119a <verificar_se_terminou+0x9a>
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
imul   $0x3,-0x14(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    119a <verificar_se_terminou+0x9a>
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
imul   $0x3,-0x14(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    119a <verificar_se_terminou+0x9a>
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    12d9 <verificar_se_terminou+0x1d9>
jmp    119f <verificar_se_terminou+0x9f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <verificar_se_terminou+0xf>
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    124c <verificar_se_terminou+0x14c>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1239 <verificar_se_terminou+0x139>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1239 <verificar_se_terminou+0x139>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
add    $0x6,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1239 <verificar_se_terminou+0x139>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    12d9 <verificar_se_terminou+0x1d9>
jmp    123e <verificar_se_terminou+0x13e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11b4 <verificar_se_terminou+0xb4>
mov    -0x10(%rbp),%rax
cmpl   $0x0,0x8(%rax)
je     1291 <verificar_se_terminou+0x191>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x10(%rcx),%eax
jne    1291 <verificar_se_terminou+0x191>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    1291 <verificar_se_terminou+0x191>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12d9 <verificar_se_terminou+0x1d9>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
je     12d2 <verificar_se_terminou+0x1d2>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x10(%rcx),%eax
jne    12d2 <verificar_se_terminou+0x1d2>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x20(%rcx),%eax
jne    12d2 <verificar_se_terminou+0x1d2>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12d9 <verificar_se_terminou+0x1d9>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<verificar_se_terminou>:
mov    (%rdi),%ecx
test   %ecx,%ecx
je     1113 <verificar_se_terminou+0x13>
cmp    0x4(%rdi),%ecx
jne    1113 <verificar_se_terminou+0x13>
cmp    0x8(%rdi),%ecx
jne    1113 <verificar_se_terminou+0x13>
mov    %ecx,%eax
ret
mov    0xc(%rdi),%eax
test   %eax,%eax
je     1124 <verificar_se_terminou+0x24>
cmp    0x10(%rdi),%eax
jne    1124 <verificar_se_terminou+0x24>
cmp    0x14(%rdi),%eax
je     1174 <verificar_se_terminou+0x74>
mov    0x18(%rdi),%edx
test   %edx,%edx
je     1138 <verificar_se_terminou+0x38>
cmp    0x1c(%rdi),%edx
jne    1138 <verificar_se_terminou+0x38>
cmp    0x20(%rdi),%edx
jne    1138 <verificar_se_terminou+0x38>
mov    %edx,%eax
ret
test   %ecx,%ecx
je     1147 <verificar_se_terminou+0x47>
cmp    %eax,%ecx
jne    1147 <verificar_se_terminou+0x47>
cmp    %edx,%ecx
jne    1147 <verificar_se_terminou+0x47>
mov    %ecx,%eax
ret
mov    0x4(%rdi),%eax
test   %eax,%eax
je     1158 <verificar_se_terminou+0x58>
cmp    0x10(%rdi),%eax
jne    1158 <verificar_se_terminou+0x58>
cmp    0x1c(%rdi),%eax
je     1174 <verificar_se_terminou+0x74>
mov    0x8(%rdi),%eax
test   %eax,%eax
je     1175 <verificar_se_terminou+0x75>
cmp    0x14(%rdi),%eax
jne    1169 <verificar_se_terminou+0x69>
cmp    0x20(%rdi),%eax
je     1174 <verificar_se_terminou+0x74>
cmp    0x10(%rdi),%eax
jne    1175 <verificar_se_terminou+0x75>
cmp    %edx,%eax
mov    %edx,%eax
jne    1175 <verificar_se_terminou+0x75>
ret
test   %ecx,%ecx
je     1185 <verificar_se_terminou+0x85>
cmp    0x10(%rdi),%ecx
jne    1185 <verificar_se_terminou+0x85>
mov    %ecx,%eax
cmp    0x20(%rdi),%ecx
je     1174 <verificar_se_terminou+0x74>
xor    %eax,%eax
ret

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

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