double harmonic(int n) {
  double x = 0.0;
  int i;
  if (n == 0)
    return 0.0;
  for (i = 1; i <= n; i++)
    x += 1.0 / (double)i;
  return x;
}


x86 assembly (clang, -O0):
<harmonic>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    1126 <harmonic+0x26>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    116c <harmonic+0x6c>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1162 <harmonic+0x62>
cvtsi2sdl -0x1c(%rbp),%xmm1
movsd  0xeba(%rip),%xmm0
divsd  %xmm1,%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112d <harmonic+0x2d>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<harmonic>:
test   %edi,%edi
jle    111d <harmonic+0x1d>
cmp    $0x1,%edi
jne    1121 <harmonic+0x21>
xorpd  %xmm0,%xmm0
movsd  0xeeb(%rip),%xmm1
test   $0x1,%dil
jne    117d <harmonic+0x7d>
jmp    118d <harmonic+0x8d>
xorps  %xmm0,%xmm0
ret
mov    %edi,%eax
and    $0xfffffffe,%eax
xorpd  %xmm0,%xmm0
mov    $0x1,%ecx
movsd  0xec9(%rip),%xmm1
nopw   0x0(%rax,%rax,1)
xorps  %xmm2,%xmm2
cvtsi2sd %ecx,%xmm2
movapd %xmm1,%xmm3
divsd  %xmm2,%xmm3
addsd  %xmm0,%xmm3
lea    0x1(%rcx),%edx
xorps  %xmm2,%xmm2
cvtsi2sd %edx,%xmm2
movapd %xmm1,%xmm0
divsd  %xmm2,%xmm0
addsd  %xmm3,%xmm0
add    $0x2,%ecx
cmp    %eax,%edx
jne    1140 <harmonic+0x40>
xorps  %xmm1,%xmm1
cvtsi2sd %ecx,%xmm1
test   $0x1,%dil
je     118d <harmonic+0x8d>
movsd  0xe7b(%rip),%xmm2
divsd  %xmm1,%xmm2
addsd  %xmm2,%xmm0
ret

LLVM IR (-O0):
define double @harmonic(i32 %0) {
%2 = alloca double
%3 = alloca i32
%4 = alloca double
%5 = alloca i32
store i32 %0, i32* %3
store double 0.000000e+00, double* %4
%6 = load i32, i32* %3
%7 = icmp eq i32 %6, 0
br i1 %7, label %8, label %9
8: ; preds = %1
store double 0.000000e+00, double* %2
br label %25
9: ; preds = %1
store i32 1, i32* %5
br label %10
10: ; preds = %20, %9
%11 = load i32, i32* %5
%12 = load i32, i32* %3
%13 = icmp sle i32 %11, %12
br i1 %13, label %14, label %23
14: ; preds = %10
%15 = load i32, i32* %5
%16 = sitofp i32 %15 to double
%17 = fdiv double 1.000000e+00, %16
%18 = load double, double* %4
%19 = fadd double %18, %17
store double %19, double* %4
br label %20
20: ; preds = %14
%21 = load i32, i32* %5
%22 = add nsw i32 %21, 1
store i32 %22, i32* %5
br label %10
23: ; preds = %10
%24 = load double, double* %4
store double %24, double* %2
br label %25
25: ; preds = %23, %8
%26 = load double, double* %2
ret double %26
}

LLVM IR (-O2):
define double @harmonic(i32 %0) {
%2 = icmp slt i32 %0, 1
br i1 %2, label %32, label %3
3: ; preds = %1
%4 = and i32 %0, 1
%5 = icmp eq i32 %0, 1
br i1 %5, label %24, label %6
6: ; preds = %3
%7 = and i32 %0, -2
br label %8
8: ; preds = %8, %6
%9 = phi i32 [ 1, %6 ], [ %19, %8 ]
%10 = phi double [ 0.000000e+00, %6 ], [ %18, %8 ]
%11 = phi i32 [ 0, %6 ], [ %20, %8 ]
%12 = sitofp i32 %9 to double
%13 = fdiv double 1.000000e+00, %12
%14 = fadd double %10, %13
%15 = add nuw i32 %9, 1
%16 = sitofp i32 %15 to double
%17 = fdiv double 1.000000e+00, %16
%18 = fadd double %14, %17
%19 = add nuw i32 %9, 2
%20 = add i32 %11, 2
%21 = icmp eq i32 %20, %7
br i1 %21, label %22, label %8
22: ; preds = %8
%23 = sitofp i32 %19 to double
br label %24
24: ; preds = %22, %3
%25 = phi double [ undef, %3 ], [ %18, %22 ]
%26 = phi double [ 1.000000e+00, %3 ], [ %23, %22 ]
%27 = phi double [ 0.000000e+00, %3 ], [ %18, %22 ]
%28 = icmp eq i32 %4, 0
br i1 %28, label %32, label %29
29: ; preds = %24
%30 = fdiv double 1.000000e+00, %26
%31 = fadd double %27, %30
br label %32
32: ; preds = %29, %24, %1
%33 = phi double [ 0.000000e+00, %1 ], [ %25, %24 ], [ %31, %29 ]
ret double %33
}