exValue(int x) {
  int termino;
  double factorial = 1, potencia = 1;
  double e = 1.0, eAnt = 0.0;
  if (x < 0) {
    return -1;
  }
  for (termino = 1; (e != eAnt); termino++) {
    eAnt = e;
    factorial *= termino;
    potencia *= x;
    e += (potencia / factorial);
  }
  return e;
}


x86 assembly (clang, -O0):
<exValue>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
movsd  0xef1(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xee4(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xed7(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
cmpl   $0x0,-0x8(%rbp)
jge    114c <exValue+0x4c>
movl   $0xffffffff,-0x4(%rbp)
jmp    11c0 <exValue+0xc0>
movl   $0x1,-0xc(%rbp)
movsd  -0x28(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jne    116e <exValue+0x6e>
jp     116e <exValue+0x6e>
jmp    11b8 <exValue+0xb8>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
cvtsi2sdl -0xc(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cvtsi2sdl -0x8(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1153 <exValue+0x53>
cvttsd2si -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<exValue>:
test   %edi,%edi
js     114f <exValue+0x4f>
cvtsi2sd %edi,%xmm0
mov    $0x1,%eax
movsd  0xeeb(%rip),%xmm3
movapd %xmm3,%xmm1
movapd %xmm3,%xmm2
nopl   (%rax)
movapd %xmm3,%xmm4
mulsd  %xmm0,%xmm1
xorps  %xmm3,%xmm3
cvtsi2sd %eax,%xmm3
mulsd  %xmm3,%xmm2
movapd %xmm1,%xmm3
divsd  %xmm2,%xmm3
addsd  %xmm4,%xmm3
add    $0x1,%eax
ucomisd %xmm4,%xmm3
jne    1120 <exValue+0x20>
jp     1120 <exValue+0x20>
cvttsd2si %xmm3,%eax
ret
mov    $0xffffffff,%eax
ret

LLVM IR (-O0):
define i32 @exValue(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store i32 %0, i32* %3
store double 1.000000e+00, double* %5
store double 1.000000e+00, double* %6
store double 1.000000e+00, double* %7
store double 0.000000e+00, double* %8
%9 = load i32, i32* %3
%10 = icmp slt i32 %9, 0
br i1 %10, label %11, label %12
11: ; preds = %1
store i32 -1, i32* %2
br label %38
12: ; preds = %1
store i32 1, i32* %4
br label %13
13: ; preds = %32, %12
%14 = load double, double* %7
%15 = load double, double* %8
%16 = fcmp une double %14, %15
br i1 %16, label %17, label %35
17: ; preds = %13
%18 = load double, double* %7
store double %18, double* %8
%19 = load i32, i32* %4
%20 = sitofp i32 %19 to double
%21 = load double, double* %5
%22 = fmul double %21, %20
store double %22, double* %5
%23 = load i32, i32* %3
%24 = sitofp i32 %23 to double
%25 = load double, double* %6
%26 = fmul double %25, %24
store double %26, double* %6
%27 = load double, double* %6
%28 = load double, double* %5
%29 = fdiv double %27, %28
%30 = load double, double* %7
%31 = fadd double %30, %29
store double %31, double* %7
br label %32
32: ; preds = %17
%33 = load i32, i32* %4
%34 = add nsw i32 %33, 1
store i32 %34, i32* %4
br label %13
35: ; preds = %13
%36 = load double, double* %7
%37 = fptosi double %36 to i32
store i32 %37, i32* %2
br label %38
38: ; preds = %35, %11
%39 = load i32, i32* %2
ret i32 %39
}

LLVM IR (-O2):
define i32 @exValue(i32 %0) {
%2 = icmp slt i32 %0, 0
br i1 %2, label %19, label %3
3: ; preds = %1
%4 = sitofp i32 %0 to double
br label %5
5: ; preds = %3, %5
%6 = phi double [ 1.000000e+00, %3 ], [ %14, %5 ]
%7 = phi double [ 1.000000e+00, %3 ], [ %12, %5 ]
%8 = phi double [ 1.000000e+00, %3 ], [ %11, %5 ]
%9 = phi i32 [ 1, %3 ], [ %15, %5 ]
%10 = sitofp i32 %9 to double
%11 = fmul double %8, %10
%12 = fmul double %7, %4
%13 = fdiv double %12, %11
%14 = fadd double %6, %13
%15 = add nuw nsw i32 %9, 1
%16 = fcmp une double %14, %6
br i1 %16, label %5, label %17
17: ; preds = %5
%18 = fptosi double %14 to i32
br label %19
19: ; preds = %1, %17
%20 = phi i32 [ %18, %17 ], [ -1, %1 ]
ret i32 %20
}