#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ RAND_MAX;
int /*<<< orphan*/ printf(char *, int, int);
scalar_t__ rand();
int /*<<< orphan*/ srand(int /*<<< orphan*/);
int /*<<< orphan*/ time(int /*<<< orphan*/ *);
int main(int argc, char **argv) {
  srand(time(NULL));
  int i, won = 0, lost = 0, opt, winopt, discard;
  for (i = 0; i < 1000; i++) {
    opt = (float)rand() / (float)RAND_MAX * 3.0;
    winopt = (float)rand() / (float)RAND_MAX * 3.0;
    if (opt == winopt) {
      discard = (float)rand() / (float)RAND_MAX * 2.0;
      if (!opt)
        discard += 1;
      else if (opt == 1 && discard)
        discard = 2;
    } else {
      discard = 3 - opt - winopt;
    }
    opt = 3 - opt - discard;
    if (opt == winopt)
      won++;
    else
      lost++;
  }
  printf("Won: %d, Lost: %d.\n", won, lost);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
xor    %eax,%eax
mov    %eax,%edi
call   1050 <time@plt>
mov    %eax,%edi
call   1040 <srand@plt>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x3e8,-0x14(%rbp)
jge    12bc <main+0x17c>
mov    $0x0,%al
call   1060 <rand@plt>
cvtsi2ss %rax,%xmm0
mov    0x2e4d(%rip),%rax
cvtsi2ssq (%rax),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe50(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x20(%rbp)
mov    $0x0,%al
call   1060 <rand@plt>
cvtsi2ss %rax,%xmm0
mov    0x2e1a(%rip),%rax
cvtsi2ssq (%rax),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe1d(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    126a <main+0x12a>
mov    $0x0,%al
call   1060 <rand@plt>
cvtsi2ss %rax,%xmm0
mov    0x2ddb(%rip),%rax
cvtsi2ssq (%rax),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xde6(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x20(%rbp)
jne    1245 <main+0x105>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1265 <main+0x125>
cmpl   $0x1,-0x20(%rbp)
jne    1260 <main+0x120>
cmpl   $0x0,-0x28(%rbp)
je     1260 <main+0x120>
movl   $0x2,-0x28(%rbp)
jmp    1265 <main+0x125>
jmp    1278 <main+0x138>
mov    $0x3,%eax
sub    -0x20(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    $0x3,%eax
sub    -0x20(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    12a0 <main+0x160>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12a9 <main+0x169>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12ae <main+0x16e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    117b <main+0x3b>
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
lea    0xd47(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %edi,%edi
call   1050 <time@plt>
mov    %eax,%edi
call   1040 <srand@plt>
mov    $0x3e8,%r15d
mov    0x2e7f(%rip),%r12
xor    %r14d,%r14d
xor    %ebp,%ebp
jmp    119f <main+0x5f>
mov    $0x3,%eax
sub    %r13d,%eax
sub    %ebx,%eax
add    %r13d,%eax
mov    $0x3,%ecx
sub    %eax,%ecx
xor    %eax,%eax
xor    %edx,%edx
cmp    %ebx,%ecx
setne  %al
sete   %dl
add    %edx,%ebp
add    %eax,%r14d
add    $0xffffffff,%r15d
je     1256 <main+0x116>
xor    %eax,%eax
call   1060 <rand@plt>
mov    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2ssq (%r12),%xmm0
movaps %xmm0,(%rsp)
xor    %eax,%eax
call   1060 <rand@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rbx,%xmm0
xorps  %xmm1,%xmm1
cvtsi2ss %rax,%xmm1
unpcklps %xmm1,%xmm0
xorps  %xmm1,%xmm1
cvtsi2ssq (%r12),%xmm1
movaps (%rsp),%xmm2
unpcklps %xmm1,%xmm2
divps  %xmm2,%xmm0
cvtps2pd %xmm0,%xmm0
mulpd  0xe12(%rip),%xmm0
cvttpd2dq %xmm0,%xmm0
movd   %xmm0,%r13d
pshufd $0x55,%xmm0,%xmm0
movd   %xmm0,%ebx
cmp    %ebx,%r13d
jne    1170 <main+0x30>
xor    %eax,%eax
call   1060 <rand@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
xorps  %xmm1,%xmm1
cvtsi2ssq (%r12),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
addsd  %xmm0,%xmm0
cvttsd2si %xmm0,%eax
test   %r13d,%r13d
je     124e <main+0x10e>
test   %eax,%eax
mov    %eax,%ecx
mov    $0x2,%edx
cmovne %edx,%ecx
cmp    $0x1,%r13d
cmove  %ecx,%eax
jmp    117a <main+0x3a>
add    $0x1,%eax
jmp    117a <main+0x3a>
lea    0xdb3(%rip),%rdi
mov    %ebp,%esi
mov    %r14d,%edx
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@RAND_MAX = global i64 0
@.str = [20 x i8] c"Won: %d, Lost: %d.\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%12 = call i32 @time(i32* null)
%13 = call i32 @srand(i32 %12)
store i32 0, i32* %7
store i32 0, i32* %8
store i32 0, i32* %6
br label %14
14: ; preds = %80, %2
%15 = load i32, i32* %6
%16 = icmp slt i32 %15, 1000
br i1 %16, label %17, label %83
17: ; preds = %14
%18 = call i64 (...) @rand()
%19 = sitofp i64 %18 to float
%20 = load i64, i64* @RAND_MAX
%21 = sitofp i64 %20 to float
%22 = fdiv float %19, %21
%23 = fpext float %22 to double
%24 = fmul double %23, 3.000000e+00
%25 = fptosi double %24 to i32
store i32 %25, i32* %9
%26 = call i64 (...) @rand()
%27 = sitofp i64 %26 to float
%28 = load i64, i64* @RAND_MAX
%29 = sitofp i64 %28 to float
%30 = fdiv float %27, %29
%31 = fpext float %30 to double
%32 = fmul double %31, 3.000000e+00
%33 = fptosi double %32 to i32
store i32 %33, i32* %10
%34 = load i32, i32* %9
%35 = load i32, i32* %10
%36 = icmp eq i32 %34, %35
br i1 %36, label %37, label %60
37: ; preds = %17
%38 = call i64 (...) @rand()
%39 = sitofp i64 %38 to float
%40 = load i64, i64* @RAND_MAX
%41 = sitofp i64 %40 to float
%42 = fdiv float %39, %41
%43 = fpext float %42 to double
%44 = fmul double %43, 2.000000e+00
%45 = fptosi double %44 to i32
store i32 %45, i32* %11
%46 = load i32, i32* %9
%47 = icmp ne i32 %46, 0
br i1 %47, label %51, label %48
48: ; preds = %37
%49 = load i32, i32* %11
%50 = add nsw i32 %49, 1
store i32 %50, i32* %11
br label %59
51: ; preds = %37
%52 = load i32, i32* %9
%53 = icmp eq i32 %52, 1
br i1 %53, label %54, label %58
54: ; preds = %51
%55 = load i32, i32* %11
%56 = icmp ne i32 %55, 0
br i1 %56, label %57, label %58
57: ; preds = %54
store i32 2, i32* %11
br label %58
58: ; preds = %57, %54, %51
br label %59
59: ; preds = %58, %48
br label %65
60: ; preds = %17
%61 = load i32, i32* %9
%62 = sub nsw i32 3, %61
%63 = load i32, i32* %10
%64 = sub nsw i32 %62, %63
store i32 %64, i32* %11
br label %65
65: ; preds = %60, %59
%66 = load i32, i32* %9
%67 = sub nsw i32 3, %66
%68 = load i32, i32* %11
%69 = sub nsw i32 %67, %68
store i32 %69, i32* %9
%70 = load i32, i32* %9
%71 = load i32, i32* %10
%72 = icmp eq i32 %70, %71
br i1 %72, label %73, label %76
73: ; preds = %65
%74 = load i32, i32* %7
%75 = add nsw i32 %74, 1
store i32 %75, i32* %7
br label %79
76: ; preds = %65
%77 = load i32, i32* %8
%78 = add nsw i32 %77, 1
store i32 %78, i32* %8
br label %79
79: ; preds = %76, %73
br label %80
80: ; preds = %79
%81 = load i32, i32* %6
%82 = add nsw i32 %81, 1
store i32 %82, i32* %6
br label %14
83: ; preds = %14
%84 = load i32, i32* %7
%85 = load i32, i32* %8
%86 = call i32 @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i32 %84, i32 %85)
ret i32 0
}

LLVM IR (-O2):
@RAND_MAX = global i64 0
@.str = [20 x i8] c"Won: %d, Lost: %d.\0A\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call i32 @time(i32* null)
%4 = tail call i32 @srand(i32 %3)
br label %5
5: ; preds = %2, %46
%6 = phi i32 [ 0, %2 ], [ %56, %46 ]
%7 = phi i32 [ 0, %2 ], [ %55, %46 ]
%8 = phi i32 [ 0, %2 ], [ %52, %46 ]
%9 = tail call i64 (...) @rand()
%10 = load i64, i64* @RAND_MAX
%11 = tail call i64 (...) @rand()
%12 = insertelement <2 x i64> poison, i64 %9, i64 0
%13 = insertelement <2 x i64> %12, i64 %11, i64 1
%14 = sitofp <2 x i64> %13 to <2 x float>
%15 = load i64, i64* @RAND_MAX
%16 = insertelement <2 x i64> poison, i64 %10, i64 0
%17 = insertelement <2 x i64> %16, i64 %15, i64 1
%18 = sitofp <2 x i64> %17 to <2 x float>
%19 = fdiv <2 x float> %14, %18
%20 = fpext <2 x float> %19 to <2 x double>
%21 = fmul <2 x double> %20, <double 3.000000e+00, double 3.000000e+00>
%22 = fptosi <2 x double> %21 to <2 x i32>
%23 = extractelement <2 x i32> %22, i64 0
%24 = extractelement <2 x i32> %22, i64 1
%25 = icmp eq i32 %23, %24
br i1 %25, label %26, label %43
26: ; preds = %5
%27 = tail call i64 (...) @rand()
%28 = sitofp i64 %27 to float
%29 = load i64, i64* @RAND_MAX
%30 = sitofp i64 %29 to float
%31 = fdiv float %28, %30
%32 = fpext float %31 to double
%33 = fmul double %32, 2.000000e+00
%34 = fptosi double %33 to i32
%35 = icmp eq i32 %23, 0
br i1 %35, label %36, label %38
36: ; preds = %26
%37 = add nsw i32 %34, 1
br label %46
38: ; preds = %26
%39 = icmp eq i32 %23, 1
%40 = icmp ne i32 %34, 0
%41 = select i1 %39, i1 %40, i1 false
%42 = select i1 %41, i32 2, i32 %34
br label %46
43: ; preds = %5
%44 = add i32 %23, %24
%45 = sub i32 3, %44
br label %46
46: ; preds = %38, %36, %43
%47 = phi i32 [ %42, %38 ], [ %37, %36 ], [ %45, %43 ]
%48 = add i32 %47, %23
%49 = sub i32 3, %48
%50 = icmp eq i32 %49, %24
%51 = zext i1 %50 to i32
%52 = add nuw nsw i32 %8, %51
%53 = xor i1 %50, true
%54 = zext i1 %53 to i32
%55 = add nuw nsw i32 %7, %54
%56 = add nuw nsw i32 %6, 1
%57 = icmp eq i32 %56, 1000
br i1 %57, label %58, label %5
58: ; preds = %46
%59 = tail call i32 @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i32 %52, i32 %55)
ret i32 0
}