double fatorial(unsigned long n) {
  double res = 1.0;
  for (n; n > 0; n--) {
    res = res * n;
  }
  return res;
}


x86 assembly (clang, -O0):
<fatorial>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movsd  0xef0(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
cmpq   $0x0,-0x8(%rbp)
jbe    1166 <fatorial+0x66>
movsd  -0x10(%rbp),%xmm0
movaps 0xee4(%rip),%xmm2
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
movapd 0xee3(%rip),%xmm2
subpd  %xmm2,%xmm1
movaps %xmm1,%xmm2
unpckhpd %xmm1,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
jmp    1115 <fatorial+0x15>
movsd  -0x10(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<fatorial>:
test   %rdi,%rdi
je     128f <fatorial+0x18f>
lea    -0x1(%rdi),%rax
mov    %rdi,%rcx
movsd  0xee8(%rip),%xmm0
and    $0x7,%rcx
je     1157 <fatorial+0x57>
movdqa 0xeea(%rip),%xmm1
movapd 0xef2(%rip),%xmm2
xchg   %ax,%ax
movq   %rdi,%xmm3
punpckldq %xmm1,%xmm3
subpd  %xmm2,%xmm3
movapd %xmm3,%xmm4
unpckhpd %xmm3,%xmm4
addsd  %xmm3,%xmm4
mulsd  %xmm4,%xmm0
add    $0xffffffffffffffff,%rdi
add    $0xffffffffffffffff,%rcx
jne    1130 <fatorial+0x30>
cmp    $0x7,%rax
jb     128e <fatorial+0x18e>
movdqa 0xea7(%rip),%xmm1
movapd 0xeaf(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movq   %rdi,%xmm3
punpckldq %xmm1,%xmm3
subpd  %xmm2,%xmm3
movapd %xmm3,%xmm4
unpckhpd %xmm3,%xmm4
addsd  %xmm3,%xmm4
mulsd  %xmm0,%xmm4
lea    -0x1(%rdi),%rax
movq   %rax,%xmm0
punpckldq %xmm1,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm0,%xmm3
unpckhpd %xmm0,%xmm3
addsd  %xmm0,%xmm3
mulsd  %xmm4,%xmm3
lea    -0x2(%rdi),%rax
movq   %rax,%xmm0
punpckldq %xmm1,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm0,%xmm4
unpckhpd %xmm0,%xmm4
addsd  %xmm0,%xmm4
mulsd  %xmm3,%xmm4
lea    -0x3(%rdi),%rax
movq   %rax,%xmm0
punpckldq %xmm1,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm0,%xmm3
unpckhpd %xmm0,%xmm3
addsd  %xmm0,%xmm3
mulsd  %xmm4,%xmm3
lea    -0x4(%rdi),%rax
movq   %rax,%xmm0
punpckldq %xmm1,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm0,%xmm4
unpckhpd %xmm0,%xmm4
addsd  %xmm0,%xmm4
mulsd  %xmm3,%xmm4
lea    -0x5(%rdi),%rax
movq   %rax,%xmm0
punpckldq %xmm1,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm0,%xmm3
unpckhpd %xmm0,%xmm3
addsd  %xmm0,%xmm3
mulsd  %xmm4,%xmm3
lea    -0x6(%rdi),%rax
movq   %rax,%xmm0
punpckldq %xmm1,%xmm0
subpd  %xmm2,%xmm0
movapd %xmm0,%xmm4
unpckhpd %xmm0,%xmm4
addsd  %xmm0,%xmm4
mulsd  %xmm3,%xmm4
lea    -0x7(%rdi),%rax
movq   %rax,%xmm3
punpckldq %xmm1,%xmm3
subpd  %xmm2,%xmm3
movapd %xmm3,%xmm0
unpckhpd %xmm3,%xmm0
addsd  %xmm3,%xmm0
mulsd  %xmm4,%xmm0
add    $0xfffffffffffffff8,%rdi
jne    1180 <fatorial+0x80>
ret
movsd  0xd69(%rip),%xmm0
ret

LLVM IR (-O0):
define double @fatorial(i64 %0) {
%2 = alloca i64
%3 = alloca double
store i64 %0, i64* %2
store double 1.000000e+00, double* %3
%4 = load i64, i64* %2
br label %5
5: ; preds = %13, %1
%6 = load i64, i64* %2
%7 = icmp ugt i64 %6, 0
br i1 %7, label %8, label %16
8: ; preds = %5
%9 = load double, double* %3
%10 = load i64, i64* %2
%11 = uitofp i64 %10 to double
%12 = fmul double %9, %11
store double %12, double* %3
br label %13
13: ; preds = %8
%14 = load i64, i64* %2
%15 = add i64 %14, -1
store i64 %15, i64* %2
br label %5
16: ; preds = %5
%17 = load double, double* %3
ret double %17
}

LLVM IR (-O2):
define double @fatorial(i64 %0) {
%2 = icmp eq i64 %0, 0
br i1 %2, label %49, label %3
3: ; preds = %1
%4 = add i64 %0, -1
%5 = and i64 %0, 7
%6 = icmp eq i64 %5, 0
br i1 %6, label %16, label %7
7: ; preds = %3, %7
%8 = phi double [ %12, %7 ], [ 1.000000e+00, %3 ]
%9 = phi i64 [ %13, %7 ], [ %0, %3 ]
%10 = phi i64 [ %14, %7 ], [ 0, %3 ]
%11 = uitofp i64 %9 to double
%12 = fmul double %8, %11
%13 = add i64 %9, -1
%14 = add i64 %10, 1
%15 = icmp eq i64 %14, %5
br i1 %15, label %16, label %7
16: ; preds = %7, %3
%17 = phi double [ undef, %3 ], [ %12, %7 ]
%18 = phi double [ 1.000000e+00, %3 ], [ %12, %7 ]
%19 = phi i64 [ %0, %3 ], [ %13, %7 ]
%20 = icmp ult i64 %4, 7
br i1 %20, label %49, label %21
21: ; preds = %16, %21
%22 = phi double [ %46, %21 ], [ %18, %16 ]
%23 = phi i64 [ %47, %21 ], [ %19, %16 ]
%24 = uitofp i64 %23 to double
%25 = fmul double %22, %24
%26 = add i64 %23, -1
%27 = uitofp i64 %26 to double
%28 = fmul double %25, %27
%29 = add i64 %23, -2
%30 = uitofp i64 %29 to double
%31 = fmul double %28, %30
%32 = add i64 %23, -3
%33 = uitofp i64 %32 to double
%34 = fmul double %31, %33
%35 = add i64 %23, -4
%36 = uitofp i64 %35 to double
%37 = fmul double %34, %36
%38 = add i64 %23, -5
%39 = uitofp i64 %38 to double
%40 = fmul double %37, %39
%41 = add i64 %23, -6
%42 = uitofp i64 %41 to double
%43 = fmul double %40, %42
%44 = add i64 %23, -7
%45 = uitofp i64 %44 to double
%46 = fmul double %43, %45
%47 = add i64 %23, -8
%48 = icmp eq i64 %47, 0
br i1 %48, label %49, label %21
49: ; preds = %16, %21, %1
%50 = phi double [ 1.000000e+00, %1 ], [ %17, %16 ], [ %46, %21 ]
ret double %50
}