char _strat_can_win_3(const char pid, const char pos1, const char pos2,
                      const char pos3) {
  if (pos1 == pid && pos2 == pid && pos3 == 0) {
    return 2;
  } else if (pos1 == pid && pos2 == 0 && pos3 == pid) {
    return 1;
  } else if (pos1 == 0 && pos2 == pid && pos3 == pid) {
    return 0;
  } else {
    return -1;
  }
}


x86 assembly (clang, -O0):
<_strat_can_win_3>:
push   %rbp
mov    %rsp,%rbp
mov    %cl,%al
mov    %dl,%cl
mov    %sil,%dl
mov    %dil,%sil
mov    %sil,-0x2(%rbp)
mov    %dl,-0x3(%rbp)
mov    %cl,-0x4(%rbp)
mov    %al,-0x5(%rbp)
movsbl -0x3(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jne    1151 <_strat_can_win_3+0x51>
movsbl -0x4(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jne    1151 <_strat_can_win_3+0x51>
movsbl -0x5(%rbp),%eax
cmp    $0x0,%eax
jne    1151 <_strat_can_win_3+0x51>
movb   $0x2,-0x1(%rbp)
jmp    11c1 <_strat_can_win_3+0xc1>
movsbl -0x3(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jne    1187 <_strat_can_win_3+0x87>
movsbl -0x4(%rbp),%eax
cmp    $0x0,%eax
jne    1187 <_strat_can_win_3+0x87>
movsbl -0x5(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jne    1187 <_strat_can_win_3+0x87>
movb   $0x1,-0x1(%rbp)
jmp    11c1 <_strat_can_win_3+0xc1>
movsbl -0x3(%rbp),%eax
cmp    $0x0,%eax
jne    11bd <_strat_can_win_3+0xbd>
movsbl -0x4(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jne    11bd <_strat_can_win_3+0xbd>
movsbl -0x5(%rbp),%eax
movsbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jne    11bd <_strat_can_win_3+0xbd>
movb   $0x0,-0x1(%rbp)
jmp    11c1 <_strat_can_win_3+0xc1>
movb   $0xff,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_strat_can_win_3>:
cmp    %dil,%sil
jne    1111 <_strat_can_win_3+0x11>
cmp    %sil,%dl
jne    1127 <_strat_can_win_3+0x27>
mov    $0x2,%al
test   %cl,%cl
jne    1127 <_strat_can_win_3+0x27>
ret
cmp    %dil,%cl
sete   %r8b
xor    %dil,%dl
or     %dl,%sil
sete   %al
and    %r8b,%al
add    $0xff,%al
ret
cmp    %sil,%cl
sete   %r8b
test   %dl,%dl
jne    1118 <_strat_can_win_3+0x18>
mov    $0x1,%al
cmp    %sil,%cl
je     1110 <_strat_can_win_3+0x10>
jmp    1118 <_strat_can_win_3+0x18>

LLVM IR (-O0):
define signext i8 @_strat_can_win_3(i8 signext %0, i8 signext %1, i8 signext %2, i8 signext %3) {
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca i8
store i8 %0, i8* %6
store i8 %1, i8* %7
store i8 %2, i8* %8
store i8 %3, i8* %9
%10 = load i8, i8* %7
%11 = sext i8 %10 to i32
%12 = load i8, i8* %6
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %11, %13
br i1 %14, label %15, label %26
15: ; preds = %4
%16 = load i8, i8* %8
%17 = sext i8 %16 to i32
%18 = load i8, i8* %6
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %17, %19
br i1 %20, label %21, label %26
21: ; preds = %15
%22 = load i8, i8* %9
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %21
store i8 2, i8* %5
br label %61
26: ; preds = %21, %15, %4
%27 = load i8, i8* %7
%28 = sext i8 %27 to i32
%29 = load i8, i8* %6
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %28, %30
br i1 %31, label %32, label %43
32: ; preds = %26
%33 = load i8, i8* %8
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %43
36: ; preds = %32
%37 = load i8, i8* %9
%38 = sext i8 %37 to i32
%39 = load i8, i8* %6
%40 = sext i8 %39 to i32
%41 = icmp eq i32 %38, %40
br i1 %41, label %42, label %43
42: ; preds = %36
store i8 1, i8* %5
br label %61
43: ; preds = %36, %32, %26
%44 = load i8, i8* %7
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 0
br i1 %46, label %47, label %60
47: ; preds = %43
%48 = load i8, i8* %8
%49 = sext i8 %48 to i32
%50 = load i8, i8* %6
%51 = sext i8 %50 to i32
%52 = icmp eq i32 %49, %51
br i1 %52, label %53, label %60
53: ; preds = %47
%54 = load i8, i8* %9
%55 = sext i8 %54 to i32
%56 = load i8, i8* %6
%57 = sext i8 %56 to i32
%58 = icmp eq i32 %55, %57
br i1 %58, label %59, label %60
59: ; preds = %53
store i8 0, i8* %5
br label %61
60: ; preds = %53, %47, %43
store i8 -1, i8* %5
br label %61
61: ; preds = %60, %59, %42, %25
%62 = load i8, i8* %5
ret i8 %62
}

LLVM IR (-O2):
define signext i8 @_strat_can_win_3(i8 signext %0, i8 signext %1, i8 signext %2, i8 signext %3) {
%5 = icmp eq i8 %1, %0
br i1 %5, label %8, label %6
6: ; preds = %4
%7 = icmp eq i8 %3, %0
br label %16
8: ; preds = %4
%9 = icmp eq i8 %2, %1
%10 = icmp eq i8 %3, 0
%11 = and i1 %9, %10
br i1 %11, label %24, label %12
12: ; preds = %8
%13 = icmp eq i8 %2, 0
%14 = icmp eq i8 %3, %1
%15 = and i1 %13, %14
br i1 %15, label %24, label %16
16: ; preds = %6, %12
%17 = phi i1 [ %7, %6 ], [ %14, %12 ]
%18 = icmp eq i8 %1, 0
%19 = icmp eq i8 %2, %0
%20 = and i1 %18, %19
%21 = and i1 %20, %17
%22 = xor i1 %21, true
%23 = sext i1 %22 to i8
br label %24
24: ; preds = %16, %12, %8
%25 = phi i8 [ 2, %8 ], [ 1, %12 ], [ %23, %16 ]
ret i8 %25
}