long C(n, i)
int n, i;
{
  int j;
  long a;
  a = 1;
  for (j = i + 1; j <= n; j++)
    a *= j;
  for (j = 2; j <= (n - i); j++)
    a /= j;
  return (a);
}


x86 assembly (clang, -O0):
<C>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movq   $0x1,-0x18(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1142 <C+0x42>
movslq -0xc(%rbp),%rax
imul   -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    111b <C+0x1b>
movl   $0x2,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jg     1179 <C+0x79>
movslq -0xc(%rbp),%rcx
mov    -0x18(%rbp),%rax
cqto
idiv   %rcx
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1149 <C+0x49>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<C>:
mov    $0x1,%eax
mov    %edi,%r9d
sub    %esi,%r9d
jle    11de <C+0xde>
movslq %esi,%rcx
movslq %edi,%r8
mov    %rcx,%rax
not    %rax
add    %r8,%rax
sub    %rcx,%r8
mov    %r8d,%r10d
and    $0x7,%r10d
cmp    $0x7,%rax
jae    1143 <C+0x43>
mov    $0x1,%eax
test   %r10,%r10
jne    11c1 <C+0xc1>
jmp    11de <C+0xde>
and    $0xfffffffffffffff8,%r8
mov    $0x1,%eax
xor    %edx,%edx
xchg   %ax,%ax
lea    (%rcx,%rdx,1),%rdi
add    $0x1,%rdi
imul   %rax,%rdi
lea    (%rcx,%rdx,1),%rax
add    $0x2,%rax
lea    (%rcx,%rdx,1),%rsi
add    $0x3,%rsi
imul   %rax,%rsi
imul   %rdi,%rsi
lea    (%rcx,%rdx,1),%rdi
add    $0x4,%rdi
lea    (%rcx,%rdx,1),%rax
add    $0x5,%rax
imul   %rdi,%rax
lea    (%rcx,%rdx,1),%rdi
add    $0x6,%rdi
imul   %rax,%rdi
imul   %rsi,%rdi
lea    (%rcx,%rdx,1),%rsi
add    $0x7,%rsi
lea    (%rcx,%rdx,1),%rax
add    $0x8,%rax
imul   %rsi,%rax
imul   %rdi,%rax
add    $0x8,%rdx
cmp    %rdx,%r8
jne    1150 <C+0x50>
add    %rdx,%rcx
test   %r10,%r10
je     11de <C+0xde>
add    $0x1,%rcx
cs nopw 0x0(%rax,%rax,1)
nop
imul   %rcx,%rax
add    $0x1,%rcx
add    $0xffffffffffffffff,%r10
jne    11d0 <C+0xd0>
cmp    $0x2,%r9d
jl     12ba <C+0x1ba>
add    $0x1,%r9d
lea    -0x2(%r9),%r8
add    $0xfffffffffffffffd,%r9
mov    %r8d,%ecx
and    $0x3,%ecx
cmp    $0x3,%r9
jae    1213 <C+0x113>
mov    $0x2,%edi
test   %rcx,%rcx
jne    12cf <C+0x1cf>
jmp    12ba <C+0x1ba>
and    $0xfffffffffffffffc,%r8
mov    $0x2,%esi
jmp    1232 <C+0x132>
xchg   %ax,%ax
cqto
idiv   %rsi
lea    -0x1(%rsi),%rdx
add    $0x1,%rsi
cmp    %r8,%rdx
je     12b1 <C+0x1b1>
mov    %rsi,%rdi
mov    %rax,%rdx
or     %rsi,%rdx
shr    $0x20,%rdx
je     1250 <C+0x150>
cqto
idiv   %rdi
jmp    1254 <C+0x154>
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
div    %edi
lea    0x1(%rdi),%rsi
mov    %rax,%rdx
or     %rsi,%rdx
shr    $0x20,%rdx
je     1270 <C+0x170>
cqto
idiv   %rsi
jmp    1274 <C+0x174>
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
div    %esi
add    $0x1,%rsi
mov    %rax,%rdx
or     %rsi,%rdx
shr    $0x20,%rdx
je     1290 <C+0x190>
cqto
idiv   %rsi
jmp    1294 <C+0x194>
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
div    %esi
add    $0x1,%rsi
mov    %rax,%rdx
or     %rsi,%rdx
shr    $0x20,%rdx
jne    1220 <C+0x120>
xor    %edx,%edx
div    %esi
jmp    1225 <C+0x125>
add    $0x4,%rdi
test   %rcx,%rcx
jne    12cf <C+0x1cf>
ret
nopl   0x0(%rax,%rax,1)
cqto
idiv   %rdi
add    $0x1,%rdi
add    $0xffffffffffffffff,%rcx
je     12ba <C+0x1ba>
mov    %rax,%rdx
or     %rdi,%rdx
shr    $0x20,%rdx
jne    12c0 <C+0x1c0>
xor    %edx,%edx
div    %edi
jmp    12c5 <C+0x1c5>

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

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