char checkwin(char *board[], char piece) {
  int i, j;
  for (i = 0; i < 3; i++)
    if ((board[i][0] == piece && board[i][1] == piece &&
         board[i][2] == piece) ||
        (board[0][i] == piece && board[1][i] == piece && board[2][i] == piece))
      return piece;
  if (board[1][1] == piece && ((board[0][0] == piece && board[2][2] == piece) ||
                               (board[0][2] == piece && board[2][0] == piece)))
    return piece;
  for (i = 0; i < 3; i++)
    for (j = 0; j < 3; j++)
      if (board[i][j] == '-')
        return '-';
  return ' ';
}


x86 assembly (clang, -O0):
<checkwin>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %rdi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jge    11e3 <checkwin+0xe3>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1172 <checkwin+0x72>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movsbl 0x1(%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1172 <checkwin+0x72>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movsbl 0x2(%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
je     11c5 <checkwin+0xc5>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    11d0 <checkwin+0xd0>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    11d0 <checkwin+0xd0>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    11d0 <checkwin+0xd0>
mov    -0x11(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    12d4 <checkwin+0x1d4>
jmp    11d5 <checkwin+0xd5>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1115 <checkwin+0x15>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
movsbl 0x1(%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1262 <checkwin+0x162>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1229 <checkwin+0x129>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
movsbl 0x2(%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
je     1257 <checkwin+0x157>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movsbl 0x2(%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1262 <checkwin+0x162>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    1262 <checkwin+0x162>
mov    -0x11(%rbp),%al
mov    %al,-0x1(%rbp)
jmp    12d4 <checkwin+0x1d4>
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jge    12d0 <checkwin+0x1d0>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jge    12bd <checkwin+0x1bd>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    12aa <checkwin+0x1aa>
movb   $0x2d,-0x1(%rbp)
jmp    12d4 <checkwin+0x1d4>
jmp    12af <checkwin+0x1af>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    127a <checkwin+0x17a>
jmp    12c2 <checkwin+0x1c2>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1269 <checkwin+0x169>
movb   $0x20,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkwin>:
mov    %esi,%eax
mov    (%rdi),%rsi
mov    (%rsi),%r10b
cmp    %al,%r10b
jne    112f <checkwin+0x2f>
cmp    %al,0x1(%rsi)
jne    1117 <checkwin+0x17>
cmp    %al,0x2(%rsi)
je     112e <checkwin+0x2e>
mov    0x8(%rdi),%rcx
mov    (%rcx),%r8b
cmp    %al,%r8b
jne    1136 <checkwin+0x36>
mov    0x10(%rdi),%rdx
mov    %eax,%r8d
cmp    %al,(%rdx)
jne    113b <checkwin+0x3b>
ret
mov    0x8(%rdi),%rcx
mov    (%rcx),%r8b
cmp    %al,%r8b
jne    1145 <checkwin+0x45>
cmp    %al,0x1(%rcx)
jne    1145 <checkwin+0x45>
cmp    %al,0x2(%rcx)
je     112e <checkwin+0x2e>
mov    0x1(%rsi),%r11b
cmp    %al,%r11b
jne    115c <checkwin+0x5c>
cmp    %al,0x1(%rcx)
jne    115c <checkwin+0x5c>
mov    0x10(%rdi),%rdx
cmp    %al,0x1(%rdx)
je     112e <checkwin+0x2e>
mov    0x10(%rdi),%rdi
mov    (%rdi),%r9b
cmp    %al,%r9b
jne    1172 <checkwin+0x72>
cmp    %al,0x1(%rdi)
jne    1172 <checkwin+0x72>
cmp    %al,0x2(%rdi)
je     112e <checkwin+0x2e>
mov    0x2(%rsi),%dl
cmp    %al,%dl
jne    1183 <checkwin+0x83>
cmp    %al,0x2(%rcx)
jne    1183 <checkwin+0x83>
cmp    %al,0x2(%rdi)
je     112e <checkwin+0x2e>
mov    0x1(%rcx),%sil
cmp    %al,%sil
jne    119f <checkwin+0x9f>
cmp    %al,%r10b
jne    1196 <checkwin+0x96>
cmp    %al,0x2(%rdi)
je     112e <checkwin+0x2e>
cmp    %al,%dl
jne    119f <checkwin+0x9f>
cmp    %al,%r9b
je     112e <checkwin+0x2e>
cmp    $0x2d,%r10b
je     11da <checkwin+0xda>
cmp    $0x2d,%r11b
je     11da <checkwin+0xda>
cmp    $0x2d,%dl
je     11da <checkwin+0xda>
cmp    $0x2d,%r8b
je     11da <checkwin+0xda>
cmp    $0x2d,%sil
je     11da <checkwin+0xda>
cmpb   $0x2d,0x2(%rcx)
je     11da <checkwin+0xda>
cmp    $0x2d,%r9b
je     11da <checkwin+0xda>
cmpb   $0x2d,0x1(%rdi)
je     11da <checkwin+0xda>
mov    $0x20,%al
cmpb   $0x2d,0x2(%rdi)
jne    112e <checkwin+0x2e>
mov    $0x2d,%al
ret

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

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