int subfactor(int k, int n) {
  int i, f, l;
  f = n;
  l = 1;
  for (i = 1; i < k; i++) {
    f *= n - i;
    l *= i + 1;
  }
  return f / l;
}


x86 assembly (clang, -O0):
<subfactor>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
movl   $0x1,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1152 <subfactor+0x52>
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
imul   -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    111e <subfactor+0x1e>
mov    -0x10(%rbp),%eax
cltd
idivl  -0x14(%rbp)
pop    %rbp
ret

x86 assembly (clang, -O2):
<subfactor>:
mov    %esi,%eax
mov    $0x1,%r11d
cmp    $0x2,%edi
jl     141f <subfactor+0x31f>
lea    -0x1(%rdi),%r8d
mov    $0x1,%r11d
mov    %eax,%r9d
mov    $0x1,%r10d
cmp    $0x8,%r8d
jb     13e8 <subfactor+0x2e8>
mov    %r8d,%r10d
and    $0xfffffff8,%r10d
movd   %eax,%xmm1
movaps 0xec0(%rip),%xmm0
movss  %xmm1,%xmm0
movd   %eax,%xmm1
pshufd $0x0,%xmm1,%xmm3
lea    -0x8(%r10),%esi
mov    %esi,%edx
shr    $0x3,%edx
add    $0x1,%edx
test   %esi,%esi
je     1424 <subfactor+0x324>
mov    %edx,%esi
and    $0xfffffffe,%esi
movdqa 0xea1(%rip),%xmm9
movdqa 0xea9(%rip),%xmm2
movdqa 0xf00(%rip),%xmm14
movdqa 0xf07(%rip),%xmm15
movdqa %xmm2,%xmm4
movdqa %xmm2,%xmm5
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm3,%xmm7
psubd  %xmm9,%xmm7
movdqa %xmm7,%xmm8
psubd  0xe79(%rip),%xmm8
pshufd $0xf5,%xmm7,%xmm1
pshufd $0xf5,%xmm0,%xmm13
pmuludq %xmm1,%xmm13
pshufd $0xf5,%xmm8,%xmm1
pshufd $0xf5,%xmm5,%xmm12
pmuludq %xmm1,%xmm12
pmuludq %xmm5,%xmm8
movdqa %xmm9,%xmm6
psubd  0xeb6(%rip),%xmm6
movdqa %xmm9,%xmm1
paddd  0xe49(%rip),%xmm1
pshufd $0xf5,%xmm6,%xmm5
pshufd $0xf5,%xmm2,%xmm11
pmuludq %xmm5,%xmm11
pmuludq %xmm2,%xmm6
pshufd $0xf5,%xmm4,%xmm2
pshufd $0xf5,%xmm1,%xmm10
pmuludq %xmm2,%xmm10
pmuludq %xmm7,%xmm0
pmuludq %xmm4,%xmm1
movdqa %xmm7,%xmm2
psubd  0xe21(%rip),%xmm2
pmuludq %xmm2,%xmm0
pshufd $0xf5,%xmm2,%xmm2
pmuludq %xmm13,%xmm2
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm0
psubd  0xe0d(%rip),%xmm7
pmuludq %xmm7,%xmm8
pshufd $0xf5,%xmm7,%xmm2
pmuludq %xmm12,%xmm2
pshufd $0xe8,%xmm8,%xmm5
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm5
movdqa %xmm9,%xmm2
paddd  0xdf2(%rip),%xmm2
pmuludq %xmm2,%xmm6
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm11,%xmm4
pshufd $0xe8,%xmm6,%xmm2
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm2
movdqa %xmm9,%xmm4
paddd  %xmm14,%xmm4
pmuludq %xmm4,%xmm1
pshufd $0xf5,%xmm4,%xmm6
pmuludq %xmm10,%xmm6
pshufd $0xe8,%xmm1,%xmm4
pshufd $0xe8,%xmm6,%xmm1
punpckldq %xmm1,%xmm4
paddd  %xmm15,%xmm9
add    $0xfffffffe,%esi
jne    11a0 <subfactor+0xa0>
test   $0x1,%dl
je     1380 <subfactor+0x280>
psubd  %xmm9,%xmm3
movdqa %xmm3,%xmm1
psubd  0xd48(%rip),%xmm1
pshufd $0xf5,%xmm0,%xmm6
pmuludq %xmm3,%xmm0
pshufd $0xe8,%xmm0,%xmm0
pshufd $0xf5,%xmm3,%xmm3
pmuludq %xmm6,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm0
pshufd $0xf5,%xmm5,%xmm3
pmuludq %xmm1,%xmm5
pshufd $0xe8,%xmm5,%xmm5
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm3,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm5
pcmpeqd %xmm1,%xmm1
movdqa %xmm9,%xmm3
psubd  %xmm1,%xmm3
paddd  0xd02(%rip),%xmm9
pshufd $0xf5,%xmm2,%xmm1
pmuludq %xmm3,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm3,%xmm3
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
pshufd $0xf5,%xmm4,%xmm1
pmuludq %xmm9,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xf5,%xmm9,%xmm3
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm4
pshufd $0xf5,%xmm0,%xmm1
pshufd $0xf5,%xmm5,%xmm3
pmuludq %xmm1,%xmm3
pmuludq %xmm0,%xmm5
pshufd $0xee,%xmm5,%xmm0
pmuludq %xmm5,%xmm0
pshufd $0xaa,%xmm3,%xmm1
pmuludq %xmm3,%xmm1
pmuludq %xmm0,%xmm1
movd   %xmm1,%r9d
pshufd $0xf5,%xmm2,%xmm0
pshufd $0xf5,%xmm4,%xmm1
pmuludq %xmm0,%xmm1
pmuludq %xmm2,%xmm4
pshufd $0xee,%xmm4,%xmm0
pmuludq %xmm4,%xmm0
pshufd $0xaa,%xmm1,%xmm2
pmuludq %xmm1,%xmm2
pmuludq %xmm0,%xmm2
movd   %xmm2,%r11d
cmp    %r10d,%r8d
jne    13e4 <subfactor+0x2e4>
mov    %r9d,%eax
jmp    141f <subfactor+0x31f>
or     $0x1,%r10d
neg    %edi
sub    %r10d,%eax
add    $0x1,%r10d
mov    %eax,%edx
mov    %r9d,%eax
cs nopw 0x0(%rax,%rax,1)
imul   %edx,%eax
imul   %r10d,%r11d
lea    (%rdi,%r10,1),%ecx
add    $0x1,%ecx
mov    %r10d,%esi
add    $0x1,%esi
add    $0xffffffff,%edx
mov    %esi,%r10d
cmp    $0x1,%ecx
jne    1400 <subfactor+0x300>
cltd
idiv   %r11d
ret
movdqa 0xbe3(%rip),%xmm9
movdqa 0xbeb(%rip),%xmm2
movdqa %xmm2,%xmm4
movdqa %xmm2,%xmm5
test   $0x1,%dl
jne    12d7 <subfactor+0x1d7>
jmp    1380 <subfactor+0x280>

LLVM IR (-O0):
define i32 @subfactor(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%8 = load i32, i32* %4
store i32 %8, i32* %6
store i32 1, i32* %7
store i32 1, i32* %5
br label %9
9: ; preds = %23, %2
%10 = load i32, i32* %5
%11 = load i32, i32* %3
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %26
13: ; preds = %9
%14 = load i32, i32* %4
%15 = load i32, i32* %5
%16 = sub nsw i32 %14, %15
%17 = load i32, i32* %6
%18 = mul nsw i32 %17, %16
store i32 %18, i32* %6
%19 = load i32, i32* %5
%20 = add nsw i32 %19, 1
%21 = load i32, i32* %7
%22 = mul nsw i32 %21, %20
store i32 %22, i32* %7
br label %23
23: ; preds = %13
%24 = load i32, i32* %5
%25 = add nsw i32 %24, 1
store i32 %25, i32* %5
br label %9
26: ; preds = %9
%27 = load i32, i32* %6
%28 = load i32, i32* %7
%29 = sdiv i32 %27, %28
ret i32 %29
}

LLVM IR (-O2):
define i32 @subfactor(i32 %0, i32 %1) {
%3 = icmp sgt i32 %0, 1
br i1 %3, label %4, label %95
4: ; preds = %2
%5 = add i32 %0, -1
%6 = icmp ult i32 %5, 8
br i1 %6, label %82, label %7
7: ; preds = %4
%8 = and i32 %5, -8
%9 = or i32 %8, 1
%10 = insertelement <4 x i32> <i32 poison, i32 1, i32 1, i32 1>, i32 %1, i64 0
%11 = insertelement <4 x i32> poison, i32 %1, i64 0
%12 = shufflevector <4 x i32> %11, <4 x i32> poison, <4 x i32> zeroinitializer
%13 = insertelement <4 x i32> poison, i32 %1, i64 0
%14 = shufflevector <4 x i32> %13, <4 x i32> poison, <4 x i32> zeroinitializer
%15 = add i32 %8, -8
%16 = lshr exact i32 %15, 3
%17 = add nuw nsw i32 %16, 1
%18 = and i32 %17, 1
%19 = icmp eq i32 %15, 0
br i1 %19, label %51, label %20
20: ; preds = %7
%21 = and i32 %17, 1073741822
br label %22
22: ; preds = %22, %20
%23 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %20 ], [ %46, %22 ]
%24 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %20 ], [ %47, %22 ]
%25 = phi <4 x i32> [ %10, %20 ], [ %42, %22 ]
%26 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %20 ], [ %43, %22 ]
%27 = phi <4 x i32> [ <i32 1, i32 2, i32 3, i32 4>, %20 ], [ %48, %22 ]
%28 = phi i32 [ 0, %20 ], [ %49, %22 ]
%29 = add <4 x i32> %27, <i32 4, i32 4, i32 4, i32 4>
%30 = sub nsw <4 x i32> %12, %27
%31 = sub nsw <4 x i32> %14, %29
%32 = mul <4 x i32> %25, %30
%33 = mul <4 x i32> %26, %31
%34 = add nuw nsw <4 x i32> %27, <i32 1, i32 1, i32 1, i32 1>
%35 = add <4 x i32> %27, <i32 5, i32 5, i32 5, i32 5>
%36 = mul <4 x i32> %23, %34
%37 = mul <4 x i32> %24, %35
%38 = add <4 x i32> %27, <i32 8, i32 8, i32 8, i32 8>
%39 = add <4 x i32> %27, <i32 12, i32 12, i32 12, i32 12>
%40 = sub nsw <4 x i32> %12, %38
%41 = sub nsw <4 x i32> %14, %39
%42 = mul <4 x i32> %32, %40
%43 = mul <4 x i32> %33, %41
%44 = add <4 x i32> %27, <i32 9, i32 9, i32 9, i32 9>
%45 = add <4 x i32> %27, <i32 13, i32 13, i32 13, i32 13>
%46 = mul <4 x i32> %36, %44
%47 = mul <4 x i32> %37, %45
%48 = add <4 x i32> %27, <i32 16, i32 16, i32 16, i32 16>
%49 = add i32 %28, 2
%50 = icmp eq i32 %49, %21
br i1 %50, label %51, label %22
51: ; preds = %22, %7
%52 = phi <4 x i32> [ undef, %7 ], [ %42, %22 ]
%53 = phi <4 x i32> [ undef, %7 ], [ %43, %22 ]
%54 = phi <4 x i32> [ undef, %7 ], [ %46, %22 ]
%55 = phi <4 x i32> [ undef, %7 ], [ %47, %22 ]
%56 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %7 ], [ %46, %22 ]
%57 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %7 ], [ %47, %22 ]
%58 = phi <4 x i32> [ %10, %7 ], [ %42, %22 ]
%59 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %7 ], [ %43, %22 ]
%60 = phi <4 x i32> [ <i32 1, i32 2, i32 3, i32 4>, %7 ], [ %48, %22 ]
%61 = icmp eq i32 %18, 0
br i1 %61, label %72, label %62
62: ; preds = %51
%63 = add <4 x i32> %60, <i32 4, i32 4, i32 4, i32 4>
%64 = sub nsw <4 x i32> %12, %60
%65 = sub nsw <4 x i32> %14, %63
%66 = mul <4 x i32> %58, %64
%67 = mul <4 x i32> %59, %65
%68 = add nuw nsw <4 x i32> %60, <i32 1, i32 1, i32 1, i32 1>
%69 = add <4 x i32> %60, <i32 5, i32 5, i32 5, i32 5>
%70 = mul <4 x i32> %56, %68
%71 = mul <4 x i32> %57, %69
br label %72
72: ; preds = %51, %62
%73 = phi <4 x i32> [ %52, %51 ], [ %66, %62 ]
%74 = phi <4 x i32> [ %53, %51 ], [ %67, %62 ]
%75 = phi <4 x i32> [ %54, %51 ], [ %70, %62 ]
%76 = phi <4 x i32> [ %55, %51 ], [ %71, %62 ]
%77 = mul <4 x i32> %74, %73
%78 = call i32 @llvm.vector.reduce.mul.v4i32(<4 x i32> %77)
%79 = mul <4 x i32> %76, %75
%80 = call i32 @llvm.vector.reduce.mul.v4i32(<4 x i32> %79)
%81 = icmp eq i32 %5, %8
br i1 %81, label %95, label %82
82: ; preds = %4, %72
%83 = phi i32 [ 1, %4 ], [ %80, %72 ]
%84 = phi i32 [ %1, %4 ], [ %78, %72 ]
%85 = phi i32 [ 1, %4 ], [ %9, %72 ]
br label %86
86: ; preds = %82, %86
%87 = phi i32 [ %93, %86 ], [ %83, %82 ]
%88 = phi i32 [ %91, %86 ], [ %84, %82 ]
%89 = phi i32 [ %92, %86 ], [ %85, %82 ]
%90 = sub nsw i32 %1, %89
%91 = mul nsw i32 %88, %90
%92 = add nuw nsw i32 %89, 1
%93 = mul nsw i32 %87, %92
%94 = icmp eq i32 %92, %0
br i1 %94, label %95, label %86
95: ; preds = %86, %72, %2
%96 = phi i32 [ %1, %2 ], [ %78, %72 ], [ %91, %86 ]
%97 = phi i32 [ 1, %2 ], [ %80, %72 ], [ %93, %86 ]
%98 = sdiv i32 %96, %97
ret i32 %98
}