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


x86 assembly (clang, -O0):
<invsq_series>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    1126 <invsq_series+0x26>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    117b <invsq_series+0x7b>
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1171 <invsq_series+0x71>
cvtsi2sdl -0x24(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm1
mulsd  -0x20(%rbp),%xmm1
movsd  0xeab(%rip),%xmm0
divsd  %xmm1,%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    112d <invsq_series+0x2d>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<invsq_series>:
test   %edi,%edi
jle    111d <invsq_series+0x1d>
cmp    $0x1,%edi
jne    1121 <invsq_series+0x21>
xorpd  %xmm0,%xmm0
movsd  0xeeb(%rip),%xmm1
test   $0x1,%dil
jne    1185 <invsq_series+0x85>
jmp    1199 <invsq_series+0x99>
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
mulsd  %xmm2,%xmm2
movapd %xmm1,%xmm3
divsd  %xmm2,%xmm3
addsd  %xmm0,%xmm3
lea    0x1(%rcx),%edx
xorps  %xmm2,%xmm2
cvtsi2sd %edx,%xmm2
mulsd  %xmm2,%xmm2
movapd %xmm1,%xmm0
divsd  %xmm2,%xmm0
addsd  %xmm3,%xmm0
add    $0x2,%ecx
cmp    %eax,%edx
jne    1140 <invsq_series+0x40>
xorps  %xmm1,%xmm1
cvtsi2sd %ecx,%xmm1
test   $0x1,%dil
je     1199 <invsq_series+0x99>
mulsd  %xmm1,%xmm1
movsd  0xe6f(%rip),%xmm2
divsd  %xmm1,%xmm2
addsd  %xmm2,%xmm0
ret

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

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