float Eval(int N) {
  int i;
  float Sum;
  if (N == 0)
    return 1.0;
  else {
    Sum = 0.0;
    for (i = 0; i < N; i++)
      Sum += Eval(i);
    return 2.0 * Sum / N + N;
  }
}


x86 assembly (clang, -O0):
<Eval>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1137 <Eval+0x27>
movss  0xedb(%rip),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11a2 <Eval+0x92>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1172 <Eval+0x62>
mov    -0xc(%rbp),%edi
call   1030 <Eval@plt>
addss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1146 <Eval+0x36>
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe7d(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x8(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvtsi2sdl -0x8(%rbp),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Eval>:
push   %rbp
push   %rbx
push   %rax
test   %edi,%edi
je     1154 <Eval+0x44>
mov    %edi,%ebx
jle    115e <Eval+0x4e>
xor    %ebp,%ebp
xorps  %xmm0,%xmm0
movss  %xmm0,0x4(%rsp)
mov    %ebp,%edi
call   1030 <Eval@plt>
movss  0x4(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0x4(%rsp)
movss  0x4(%rsp),%xmm0
add    $0x1,%ebp
cmp    %ebp,%ebx
jne    1120 <Eval+0x10>
cvtss2sd %xmm0,%xmm0
addsd  %xmm0,%xmm0
jmp    1162 <Eval+0x52>
movss  0xea4(%rip),%xmm0
jmp    1175 <Eval+0x65>
xorpd  %xmm0,%xmm0
xorps  %xmm1,%xmm1
cvtsi2sd %ebx,%xmm1
divsd  %xmm1,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define float @Eval(i32 %0) {
%2 = icmp eq i32 %0, 0
br i1 %2, label %21, label %3
3: ; preds = %1
%4 = icmp sgt i32 %0, 0
br i1 %4, label %5, label %15
5: ; preds = %3, %5
%6 = phi float [ %9, %5 ], [ 0.000000e+00, %3 ]
%7 = phi i32 [ %10, %5 ], [ 0, %3 ]
%8 = tail call float @Eval(i32 %7)
%9 = fadd float %6, %8
%10 = add nuw nsw i32 %7, 1
%11 = icmp eq i32 %10, %0
br i1 %11, label %12, label %5
12: ; preds = %5
%13 = fpext float %9 to double
%14 = fmul double %13, 2.000000e+00
br label %15
15: ; preds = %12, %3
%16 = phi double [ 0.000000e+00, %3 ], [ %14, %12 ]
%17 = sitofp i32 %0 to double
%18 = fdiv double %16, %17
%19 = fadd double %18, %17
%20 = fptrunc double %19 to float
br label %21
21: ; preds = %1, %15
%22 = phi float [ %20, %15 ], [ 1.000000e+00, %1 ]
ret float %22
}