double exp(double xi) {
  double y, ex, px, nn, ds, in;
  if (xi > 88.0)
    return (1.7014117331926443e38);
  if (xi < -88.0)
    return (0.0);
  ex = 1.0;
  while (xi > 1.0) {
    ex *= 2.718281828459;
    xi--;
  }
  while (xi < -1.0) {
    ex *= .367879441171;
    xi++;
  }
  y = ds = 1.0;
  nn = 0.0;
  while ((ds < 0.0 ? -ds : ds) > 0.000000000001) {
    px = xi / ++nn;
    ds *= px;
    y += ds;
  }
  y *= ex;
  return (y);
}


x86 assembly (clang, -O0):
<exp>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xeea(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1132 <exp+0x32>
movsd  0xf10(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    12b3 <exp+0x1b3>
movsd  0xece(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1152 <exp+0x52>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    12b3 <exp+0x1b3>
movsd  0xeb6(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xea4(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    119f <exp+0x9f>
movsd  0xeb2(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xe88(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    115f <exp+0x5f>
jmp    11a4 <exp+0xa4>
movsd  0xe6c(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    11e0 <exp+0xe0>
movsd  0xe69(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xe3f(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    11a4 <exp+0xa4>
movsd  0xe28(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xe1b(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x38(%rbp),%xmm0
jbe    1236 <exp+0x136>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    1240 <exp+0x140>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  0xdd3(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    129a <exp+0x19a>
movsd  -0x10(%rbp),%xmm0
movsd  0xdac(%rip),%xmm1
addsd  -0x30(%rbp),%xmm1
movsd  %xmm1,-0x30(%rbp)
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1202 <exp+0x102>
movsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<exp>:
ucomisd 0xf00(%rip),%xmm0
jbe    1113 <exp+0x13>
movsd  0xeee(%rip),%xmm0
ret
xorpd  %xmm1,%xmm1
movsd  0xef1(%rip),%xmm2
ucomisd %xmm0,%xmm2
ja     120e <exp+0x10e>
movsd  0xee7(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    116e <exp+0x6e>
movsd  0xed9(%rip),%xmm2
movsd  0xed9(%rip),%xmm3
movsd  0xed9(%rip),%xmm4
movapd %xmm2,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mulsd  %xmm3,%xmm1
addsd  %xmm4,%xmm0
ucomisd %xmm2,%xmm0
ja     1160 <exp+0x60>
movsd  0xeb2(%rip),%xmm2
ucomisd %xmm0,%xmm2
jbe    119e <exp+0x9e>
movsd  0xeac(%rip),%xmm3
movsd  0xe8c(%rip),%xmm4
nopl   0x0(%rax)
mulsd  %xmm3,%xmm1
addsd  %xmm4,%xmm0
ucomisd %xmm0,%xmm2
ja     1190 <exp+0x90>
xorpd  %xmm8,%xmm8
movsd  0xe6d(%rip),%xmm5
movapd 0xe8c(%rip),%xmm9
movsd  0xe7b(%rip),%xmm10
movapd %xmm5,%xmm3
xorpd  %xmm2,%xmm2
movapd %xmm5,%xmm6
nopl   0x0(%rax)
addsd  %xmm5,%xmm2
movapd %xmm0,%xmm4
divsd  %xmm2,%xmm4
mulsd  %xmm4,%xmm3
addsd  %xmm3,%xmm6
movapd %xmm3,%xmm4
xorpd  %xmm9,%xmm4
movapd %xmm3,%xmm7
cmpltsd %xmm8,%xmm7
andpd  %xmm7,%xmm4
andnpd %xmm3,%xmm7
orpd   %xmm4,%xmm7
ucomisd %xmm10,%xmm7
ja     11d0 <exp+0xd0>
mulsd  %xmm6,%xmm1
movapd %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @exp(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
store double %0, double* %3
%10 = load double, double* %3
%11 = fcmp ogt double %10, 8.800000e+01
br i1 %11, label %12, label %13
12: ; preds = %1
store double 0x47DFFFFFE0000000, double* %2
br label %63
13: ; preds = %1
%14 = load double, double* %3
%15 = fcmp olt double %14, -8.800000e+01
br i1 %15, label %16, label %17
16: ; preds = %13
store double 0.000000e+00, double* %2
br label %63
17: ; preds = %13
store double 1.000000e+00, double* %5
br label %18
18: ; preds = %21, %17
%19 = load double, double* %3
%20 = fcmp ogt double %19, 1.000000e+00
br i1 %20, label %21, label %26
21: ; preds = %18
%22 = load double, double* %5
%23 = fmul double %22, 0x4005BF0A8B145703
store double %23, double* %5
%24 = load double, double* %3
%25 = fadd double %24, -1.000000e+00
store double %25, double* %3
br label %18
26: ; preds = %18
br label %27
27: ; preds = %30, %26
%28 = load double, double* %3
%29 = fcmp olt double %28, -1.000000e+00
br i1 %29, label %30, label %35
30: ; preds = %27
%31 = load double, double* %5
%32 = fmul double %31, 0x3FD78B56362CD018
store double %32, double* %5
%33 = load double, double* %3
%34 = fadd double %33, 1.000000e+00
store double %34, double* %3
br label %27
35: ; preds = %27
store double 1.000000e+00, double* %8
store double 1.000000e+00, double* %4
store double 0.000000e+00, double* %7
br label %36
36: ; preds = %47, %35
%37 = load double, double* %8
%38 = fcmp olt double %37, 0.000000e+00
br i1 %38, label %39, label %42
39: ; preds = %36
%40 = load double, double* %8
%41 = fneg double %40
br label %44
42: ; preds = %36
%43 = load double, double* %8
br label %44
44: ; preds = %42, %39
%45 = phi double [ %41, %39 ], [ %43, %42 ]
%46 = fcmp ogt double %45, 0x3D719799812DEA11
br i1 %46, label %47, label %58
47: ; preds = %44
%48 = load double, double* %3
%49 = load double, double* %7
%50 = fadd double %49, 1.000000e+00
store double %50, double* %7
%51 = fdiv double %48, %50
store double %51, double* %6
%52 = load double, double* %6
%53 = load double, double* %8
%54 = fmul double %53, %52
store double %54, double* %8
%55 = load double, double* %8
%56 = load double, double* %4
%57 = fadd double %56, %55
store double %57, double* %4
br label %36
58: ; preds = %44
%59 = load double, double* %5
%60 = load double, double* %4
%61 = fmul double %60, %59
store double %61, double* %4
%62 = load double, double* %4
store double %62, double* %2
br label %63
63: ; preds = %58, %16, %12
%64 = load double, double* %2
ret double %64
}

LLVM IR (-O2):
define double @exp(double %0) {
%2 = fcmp ogt double %0, 8.800000e+01
br i1 %2, label %40, label %3
3: ; preds = %1
%4 = fcmp olt double %0, -8.800000e+01
br i1 %4, label %40, label %5
5: ; preds = %3
%6 = fcmp ogt double %0, 1.000000e+00
br i1 %6, label %11, label %7
7: ; preds = %11, %5
%8 = phi double [ 1.000000e+00, %5 ], [ %14, %11 ]
%9 = phi double [ %0, %5 ], [ %15, %11 ]
%10 = fcmp olt double %9, -1.000000e+00
br i1 %10, label %20, label %17
11: ; preds = %5, %11
%12 = phi double [ %15, %11 ], [ %0, %5 ]
%13 = phi double [ %14, %11 ], [ 1.000000e+00, %5 ]
%14 = fmul double %13, 0x4005BF0A8B145703
%15 = fadd double %12, -1.000000e+00
%16 = fcmp ogt double %15, 1.000000e+00
br i1 %16, label %11, label %7
17: ; preds = %20, %7
%18 = phi double [ %8, %7 ], [ %23, %20 ]
%19 = phi double [ %9, %7 ], [ %24, %20 ]
br label %26
20: ; preds = %7, %20
%21 = phi double [ %24, %20 ], [ %9, %7 ]
%22 = phi double [ %23, %20 ], [ %8, %7 ]
%23 = fmul double %22, 0x3FD78B56362CD018
%24 = fadd double %21, 1.000000e+00
%25 = fcmp olt double %24, -1.000000e+00
br i1 %25, label %20, label %17
26: ; preds = %17, %26
%27 = phi double [ 1.000000e+00, %17 ], [ %32, %26 ]
%28 = phi double [ 0.000000e+00, %17 ], [ %30, %26 ]
%29 = phi double [ 1.000000e+00, %17 ], [ %33, %26 ]
%30 = fadd double %28, 1.000000e+00
%31 = fdiv double %19, %30
%32 = fmul double %27, %31
%33 = fadd double %29, %32
%34 = fcmp olt double %32, 0.000000e+00
%35 = fneg double %32
%36 = select i1 %34, double %35, double %32
%37 = fcmp ogt double %36, 0x3D719799812DEA11
br i1 %37, label %26, label %38
38: ; preds = %26
%39 = fmul double %18, %33
br label %40
40: ; preds = %3, %1, %38
%41 = phi double [ %39, %38 ], [ 0x47DFFFFFE0000000, %1 ], [ 0.000000e+00, %3 ]
ret double %41
}