float in0(float x) {
  int i;
  float y, t, d, e, d2;
  y = (float)x / 2.0;
  t = 1e-7;
  e = 1.0;
  d = 1.0;
  for (i = 1; i <= 25; i++) {
    d = d * y / (float)i;
    d2 = d * d;
    e += d2;
    if (d2 < t * e)
      return e;
  }
  return e;
}


x86 assembly (clang, -O0):
<in0>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xeee(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  0xed5(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  0xec4(%rip),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  0xeb7(%rip),%xmm0
movss  %xmm0,-0x18(%rbp)
movl   $0x1,-0xc(%rbp)
cmpl   $0x19,-0xc(%rbp)
jg     11cf <in0+0xcf>
movss  -0x18(%rbp),%xmm0
mulss  -0x10(%rbp),%xmm0
cvtsi2ssl -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
mulss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x20(%rbp),%xmm0
addss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x20(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
mulss  -0x1c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    11bc <in0+0xbc>
movss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11d9 <in0+0xd9>
jmp    11c1 <in0+0xc1>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1155 <in0+0x55>
movss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<in0>:
mulss  0xef8(%rip),%xmm0
mov    $0x1,%eax
movss  0xeef(%rip),%xmm1
movss  0xeeb(%rip),%xmm2
movaps %xmm1,%xmm3
xorps  %xmm4,%xmm4
cvtsi2ss %eax,%xmm4
mulss  %xmm0,%xmm3
divss  %xmm4,%xmm3
movaps %xmm3,%xmm4
mulss  %xmm3,%xmm4
addss  %xmm4,%xmm1
movaps %xmm1,%xmm5
mulss  %xmm2,%xmm5
ucomiss %xmm4,%xmm5
ja     1150 <in0+0x50>
lea    0x1(%rax),%ecx
cmp    $0x19,%eax
mov    %ecx,%eax
jne    1120 <in0+0x20>
movaps %xmm1,%xmm0
ret

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

LLVM IR (-O2):
define float @in0(float %0) {
%2 = fmul float %0, 5.000000e-01
br label %3
3: ; preds = %3, %1
%4 = phi float [ 1.000000e+00, %1 ], [ %11, %3 ]
%5 = phi float [ 1.000000e+00, %1 ], [ %9, %3 ]
%6 = phi i32 [ 1, %1 ], [ %14, %3 ]
%7 = fmul float %2, %5
%8 = sitofp i32 %6 to float
%9 = fdiv float %7, %8
%10 = fmul float %9, %9
%11 = fadd float %4, %10
%12 = fmul float %11, 0x3E7AD7F2A0000000
%13 = fcmp olt float %10, %12
%14 = add nuw nsw i32 %6, 1
%15 = icmp eq i32 %14, 26
%16 = select i1 %13, i1 true, i1 %15
br i1 %16, label %17, label %3
17: ; preds = %3
ret float %11
}