int win(char mat[3][4]) {
  int i, j;
  if (mat[0][0] == mat[1][1] && mat[1][1] == mat[2][2] && mat[1][1] != '_')
    return 1;
  if (mat[0][2] == mat[1][1] && mat[1][1] == mat[2][0] && mat[2][0] != '_')
    return 1;
  for (i = 0; i < 3; ++i) {
    char prow = mat[i][0];
    char pcol = mat[0][i];
    int flag_prow = 1;
    int flag_pcol = 1;
    for (j = 0; j < 3; ++j) {
      if (mat[i][j] != prow) {
        flag_prow = 0;
      }
      if (mat[j][i] != pcol) {
        flag_pcol = 0;
      }
    }
    if ((flag_prow && prow != '_') || (flag_pcol && pcol != '_'))
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<win>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x5(%rcx),%ecx
cmp    %ecx,%eax
jne    1154 <win+0x54>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0xa(%rcx),%ecx
cmp    %ecx,%eax
jne    1154 <win+0x54>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x5f,%eax
je     1154 <win+0x54>
movl   $0x1,-0x4(%rbp)
jmp    12a8 <win+0x1a8>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x5(%rcx),%ecx
cmp    %ecx,%eax
jne    11a1 <win+0xa1>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x8(%rcx),%ecx
cmp    %ecx,%eax
jne    11a1 <win+0xa1>
mov    -0x10(%rbp),%rax
movsbl 0x8(%rax),%eax
cmp    $0x5f,%eax
je     11a1 <win+0xa1>
movl   $0x1,-0x4(%rbp)
jmp    12a8 <win+0x1a8>
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    12a1 <win+0x1a1>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%al
mov    %al,-0x19(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1a(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jge    1254 <win+0x154>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x19(%rbp),%ecx
cmp    %ecx,%eax
je     1217 <win+0x117>
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x1a(%rbp),%ecx
cmp    %ecx,%eax
je     1241 <win+0x141>
movl   $0x0,-0x24(%rbp)
jmp    1246 <win+0x146>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11e3 <win+0xe3>
cmpl   $0x0,-0x20(%rbp)
je     126b <win+0x16b>
movsbl -0x19(%rbp),%eax
cmp    $0x5f,%eax
jne    1282 <win+0x182>
cmpl   $0x0,-0x24(%rbp)
je     128e <win+0x18e>
movsbl -0x1a(%rbp),%eax
cmp    $0x5f,%eax
je     128e <win+0x18e>
movl   $0x1,-0x4(%rbp)
jmp    12a8 <win+0x1a8>
jmp    1293 <win+0x193>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11a8 <win+0xa8>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<win>:
mov    (%rdi),%cl
mov    0x5(%rdi),%dl
cmp    %dl,%cl
jne    111c <win+0x1c>
cmp    $0x5f,%cl
je     111c <win+0x1c>
mov    $0x1,%eax
cmp    0xa(%rdi),%cl
je     119e <win+0x9e>
mov    0x2(%rdi),%r8b
mov    0x8(%rdi),%sil
cmp    %dl,%r8b
jne    1139 <win+0x39>
cmp    %sil,%dl
jne    1139 <win+0x39>
mov    $0x1,%eax
cmp    $0x5f,%sil
jne    119e <win+0x9e>
mov    0x1(%rdi),%r9b
mov    0x4(%rdi),%r10b
mov    $0x1,%eax
cmp    %cl,%r8b
jne    1155 <win+0x55>
cmp    %cl,%r9b
jne    1155 <win+0x55>
cmp    $0x5f,%cl
jne    119e <win+0x9e>
cmp    %cl,%sil
jne    1164 <win+0x64>
cmp    %cl,%r10b
jne    1164 <win+0x64>
cmp    $0x5f,%cl
jne    119e <win+0x9e>
mov    0x6(%rdi),%cl
mov    0x9(%rdi),%r11b
cmp    %r10b,%cl
jne    117b <win+0x7b>
cmp    %r10b,%dl
jne    117b <win+0x7b>
cmp    $0x5f,%r10b
jne    119e <win+0x9e>
cmp    %r9b,%r11b
jne    118b <win+0x8b>
cmp    %r9b,%dl
jne    118b <win+0x8b>
cmp    $0x5f,%r9b
jne    119e <win+0x9e>
mov    0xa(%rdi),%dl
cmp    %sil,%dl
jne    119f <win+0x9f>
cmp    %sil,%r11b
jne    119f <win+0x9f>
cmp    $0x5f,%sil
je     119f <win+0x9f>
ret
xor    %r8b,%dl
xor    %r8b,%cl
or     %dl,%cl
sete   %al
cmp    $0x5f,%r8b
setne  %cl
and    %al,%cl
movzbl %cl,%eax
ret

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

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