int binomial(int n, int k) {
  int num, denom, i;
  if (n < 0 || k < 0 || n < k)
    return -1;
  if (n == 0 || k == 0)
    return 1;
  num = 1;
  for (i = k + 1; i <= n; ++i) {
    num = num * i;
  }
  denom = 1;
  for (i = 2; i <= n - k; ++i) {
    denom *= i;
  }
  return num / denom;
}


x86 assembly (clang, -O0):
<binomial>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x0,-0x8(%rbp)
jl     112a <binomial+0x2a>
cmpl   $0x0,-0xc(%rbp)
jl     112a <binomial+0x2a>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1136 <binomial+0x36>
movl   $0xffffffff,-0x4(%rbp)
jmp    11cb <binomial+0xcb>
cmpl   $0x0,-0x8(%rbp)
je     114a <binomial+0x4a>
cmpl   $0x0,-0xc(%rbp)
jne    1156 <binomial+0x56>
movl   $0x1,-0x4(%rbp)
jmp    11cb <binomial+0xcb>
movl   $0x1,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     118a <binomial+0x8a>
mov    -0x10(%rbp),%eax
imul   -0x18(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1166 <binomial+0x66>
movl   $0x1,-0x14(%rbp)
movl   $0x2,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jg     11c1 <binomial+0xc1>
mov    -0x18(%rbp),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1198 <binomial+0x98>
mov    -0x10(%rbp),%eax
cltd
idivl  -0x14(%rbp)
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<binomial>:
mov    $0xffffffff,%eax
cmp    %esi,%edi
jl     1620 <binomial+0x520>
mov    %esi,%ecx
or     %edi,%ecx
js     1620 <binomial+0x520>
mov    $0x1,%eax
test   %edi,%edi
je     1620 <binomial+0x520>
test   %esi,%esi
je     1620 <binomial+0x520>
mov    $0x1,%r10d
mov    %edi,%r8d
mov    $0x1,%eax
sub    %esi,%r8d
jle    13b2 <binomial+0x2b2>
mov    $0x1,%eax
mov    %esi,%edx
cmp    $0x8,%r8d
jb     1396 <binomial+0x296>
mov    %r8d,%edx
and    $0xfffffff8,%edx
movd   %esi,%xmm0
pshufd $0x0,%xmm0,%xmm7
paddd  0xe95(%rip),%xmm7
lea    -0x8(%rdx),%ecx
mov    %ecx,%eax
shr    $0x3,%eax
add    $0x1,%eax
mov    %eax,%r9d
and    $0x3,%r9d
cmp    $0x18,%ecx
jae    1193 <binomial+0x93>
movdqa 0xe86(%rip),%xmm5
movdqa %xmm5,%xmm1
jmp    12d3 <binomial+0x1d3>
and    $0xfffffffc,%eax
movdqa 0xe72(%rip),%xmm5
pcmpeqd %xmm8,%xmm8
movdqa 0xe74(%rip),%xmm9
movdqa 0xe7b(%rip),%xmm10
movdqa 0xe82(%rip),%xmm11
movdqa 0xe89(%rip),%xmm12
movdqa 0xe90(%rip),%xmm13
movdqa 0xe97(%rip),%xmm14
movdqa 0xe9e(%rip),%xmm15
movdqa 0xea6(%rip),%xmm4
movdqa %xmm5,%xmm1
xchg   %ax,%ax
movdqa %xmm7,%xmm6
psubd  %xmm8,%xmm6
movdqa %xmm7,%xmm0
paddd  %xmm9,%xmm0
pshufd $0xf5,%xmm6,%xmm2
pshufd $0xf5,%xmm5,%xmm3
pmuludq %xmm2,%xmm3
pmuludq %xmm5,%xmm6
pshufd $0xf5,%xmm1,%xmm2
pshufd $0xf5,%xmm0,%xmm5
pmuludq %xmm2,%xmm5
pmuludq %xmm1,%xmm0
movdqa %xmm7,%xmm1
paddd  %xmm10,%xmm1
movdqa %xmm7,%xmm2
paddd  %xmm11,%xmm2
pmuludq %xmm1,%xmm6
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm3,%xmm1
pmuludq %xmm2,%xmm0
pshufd $0xf5,%xmm2,%xmm2
pmuludq %xmm5,%xmm2
movdqa %xmm7,%xmm3
paddd  %xmm12,%xmm3
pshufd $0xf5,%xmm3,%xmm5
pmuludq %xmm1,%xmm5
movdqa %xmm7,%xmm1
paddd  %xmm13,%xmm1
pmuludq %xmm6,%xmm3
pshufd $0xf5,%xmm1,%xmm6
pmuludq %xmm2,%xmm6
pmuludq %xmm0,%xmm1
movdqa %xmm7,%xmm0
paddd  %xmm14,%xmm0
pmuludq %xmm0,%xmm3
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm5,%xmm0
pshufd $0xe8,%xmm3,%xmm5
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm5
movdqa %xmm7,%xmm0
paddd  %xmm15,%xmm0
pmuludq %xmm0,%xmm1
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm6,%xmm0
pshufd $0xe8,%xmm1,%xmm1
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm1
paddd  %xmm4,%xmm7
add    $0xfffffffc,%eax
jne    11f0 <binomial+0xf0>
movdqa %xmm5,%xmm0
movdqa %xmm1,%xmm6
test   %r9d,%r9d
je     1363 <binomial+0x263>
pcmpeqd %xmm8,%xmm8
movdqa 0xd2f(%rip),%xmm3
movdqa 0xda7(%rip),%xmm4
nopl   0x0(%rax)
movdqa %xmm7,%xmm0
psubd  %xmm8,%xmm0
movdqa %xmm7,%xmm6
paddd  %xmm3,%xmm6
pshufd $0xf5,%xmm0,%xmm2
pmuludq %xmm5,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xf5,%xmm5,%xmm5
pmuludq %xmm2,%xmm5
pshufd $0xe8,%xmm5,%xmm2
punpckldq %xmm2,%xmm0
pshufd $0xf5,%xmm6,%xmm2
pmuludq %xmm1,%xmm6
pshufd $0xe8,%xmm6,%xmm6
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm2,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm6
paddd  %xmm4,%xmm7
movdqa %xmm0,%xmm5
movdqa %xmm6,%xmm1
add    $0xffffffff,%r9d
jne    1300 <binomial+0x200>
pshufd $0xf5,%xmm0,%xmm1
pshufd $0xf5,%xmm6,%xmm2
pmuludq %xmm1,%xmm2
pmuludq %xmm0,%xmm6
pshufd $0xee,%xmm6,%xmm0
pmuludq %xmm6,%xmm0
pshufd $0xaa,%xmm2,%xmm1
pmuludq %xmm2,%xmm1
pmuludq %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %edx,%r8d
je     13b2 <binomial+0x2b2>
add    %esi,%edx
mov    %edi,%r9d
neg    %r9d
add    $0x1,%edx
nop
imul   %edx,%eax
lea    (%r9,%rdx,1),%ecx
add    $0x1,%ecx
add    $0x1,%edx
cmp    $0x1,%ecx
jne    13a0 <binomial+0x2a0>
cmp    $0x2,%r8d
jl     161c <binomial+0x51c>
not    %esi
add    %edi,%esi
cmp    $0x8,%esi
jae    13d5 <binomial+0x2d5>
mov    $0x1,%r10d
mov    $0x2,%edx
jmp    1601 <binomial+0x501>
mov    %esi,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%r9d
mov    %r9d,%edi
shr    $0x3,%edi
add    $0x1,%edi
mov    %edi,%ecx
and    $0x3,%ecx
cmp    $0x18,%r9d
jae    140b <binomial+0x30b>
movdqa 0xc16(%rip),%xmm1
movdqa 0xcae(%rip),%xmm0
movdqa %xmm1,%xmm4
jmp    1551 <binomial+0x451>
and    $0xfffffffc,%edi
movdqa 0xbfa(%rip),%xmm1
movdqa 0xc92(%rip),%xmm0
movdqa 0xc79(%rip),%xmm9
movdqa 0xca0(%rip),%xmm10
movdqa 0xca7(%rip),%xmm11
movdqa 0xcae(%rip),%xmm12
movdqa 0xcb5(%rip),%xmm13
movdqa 0xcbc(%rip),%xmm14
movdqa 0xc33(%rip),%xmm15
movdqa %xmm1,%xmm4
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm5
paddd  0xc44(%rip),%xmm5
pshufd $0xf5,%xmm1,%xmm6
pshufd $0xf5,%xmm0,%xmm7
pmuludq %xmm6,%xmm7
pmuludq %xmm0,%xmm1
pshufd $0xf5,%xmm4,%xmm6
pshufd $0xf5,%xmm5,%xmm2
pmuludq %xmm6,%xmm2
pmuludq %xmm4,%xmm5
movdqa %xmm0,%xmm4
paddd  %xmm9,%xmm4
movdqa %xmm0,%xmm6
paddd  %xmm10,%xmm6
pmuludq %xmm4,%xmm1
pshufd $0xf5,%xmm4,%xmm4
pmuludq %xmm7,%xmm4
pmuludq %xmm6,%xmm5
pshufd $0xf5,%xmm6,%xmm6
pmuludq %xmm2,%xmm6
movdqa %xmm0,%xmm2
paddd  %xmm11,%xmm2
movdqa %xmm0,%xmm7
paddd  %xmm12,%xmm7
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm4,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xf5,%xmm7,%xmm8
pmuludq %xmm6,%xmm8
pmuludq %xmm5,%xmm7
movdqa %xmm0,%xmm4
paddd  %xmm13,%xmm4
movdqa %xmm0,%xmm5
paddd  %xmm14,%xmm5
pmuludq %xmm4,%xmm2
pshufd $0xe8,%xmm2,%xmm1
pshufd $0xf5,%xmm4,%xmm2
pmuludq %xmm3,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm1
pmuludq %xmm5,%xmm7
pshufd $0xe8,%xmm7,%xmm4
pshufd $0xf5,%xmm5,%xmm2
pmuludq %xmm8,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm4
paddd  %xmm15,%xmm0
add    $0xfffffffc,%edi
jne    1470 <binomial+0x370>
movdqa %xmm1,%xmm5
movdqa %xmm4,%xmm6
test   %ecx,%ecx
je     15cd <binomial+0x4cd>
movdqa 0xb5b(%rip),%xmm2
movdqa 0xb33(%rip),%xmm3
nopl   (%rax)
movdqa %xmm0,%xmm6
paddd  %xmm2,%xmm6
movdqa %xmm0,%xmm5
pmuludq %xmm1,%xmm5
pshufd $0xe8,%xmm5,%xmm5
pshufd $0xf5,%xmm1,%xmm1
pshufd $0xf5,%xmm0,%xmm7
pmuludq %xmm1,%xmm7
pshufd $0xe8,%xmm7,%xmm1
punpckldq %xmm1,%xmm5
pshufd $0xf5,%xmm6,%xmm1
pmuludq %xmm4,%xmm6
pshufd $0xe8,%xmm6,%xmm6
pshufd $0xf5,%xmm4,%xmm4
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm1
punpckldq %xmm1,%xmm6
paddd  %xmm3,%xmm0
movdqa %xmm5,%xmm1
movdqa %xmm6,%xmm4
add    $0xffffffff,%ecx
jne    1570 <binomial+0x470>
pshufd $0xf5,%xmm5,%xmm0
pshufd $0xf5,%xmm6,%xmm1
pmuludq %xmm0,%xmm1
pmuludq %xmm5,%xmm6
pshufd $0xee,%xmm6,%xmm0
pmuludq %xmm6,%xmm0
pshufd $0xaa,%xmm1,%xmm2
pmuludq %xmm1,%xmm2
pmuludq %xmm0,%xmm2
movd   %xmm2,%r10d
cmp    %edx,%esi
je     161c <binomial+0x51c>
or     $0x2,%edx
add    $0x1,%r8d
cs nopw 0x0(%rax,%rax,1)
nop
imul   %edx,%r10d
add    $0x1,%edx
cmp    %edx,%r8d
jne    1610 <binomial+0x510>
cltd
idiv   %r10d
ret

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

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