#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
double f64_sum(double *numbers, size_t len) {
  double temp;
  double element;
  double correction = 0;
  len = (len - 1);
  double result = numbers[len];
  while (len) {
    len = (len - 1);
    element = numbers[len];
    temp = (result + element);
    correction =
        (correction + ((result >= element) ? ((result - temp) + element)
                                           : ((element - temp) + result)));
    result = temp;
  };
  return ((correction + result));
}


x86 assembly (clang, -O0):
<f64_sum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     11d3 <f64_sum+0xd3>
mov    -0x10(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x30(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x30(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jb     119d <f64_sum+0x9d>
movsd  -0x30(%rbp),%xmm0
subsd  -0x18(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    11b1 <f64_sum+0xb1>
movsd  -0x20(%rbp),%xmm0
subsd  -0x18(%rbp),%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    1132 <f64_sum+0x32>
movsd  -0x28(%rbp),%xmm0
addsd  -0x30(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<f64_sum>:
mov    %rsi,%rax
movsd  -0x8(%rdi,%rsi,8),%xmm1
add    $0xffffffffffffffff,%rax
je     1126 <f64_sum+0x26>
test   $0x1,%al
jne    112f <f64_sum+0x2f>
xorpd  %xmm2,%xmm2
movapd %xmm1,%xmm3
cmp    $0x2,%rsi
jne    1184 <f64_sum+0x84>
jmp    1210 <f64_sum+0x110>
xorpd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
ret
lea    -0x2(%rsi),%rax
movsd  -0x10(%rdi,%rsi,8),%xmm2
movapd %xmm1,%xmm3
addsd  %xmm2,%xmm3
movapd %xmm1,%xmm0
subsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
movapd %xmm2,%xmm4
subsd  %xmm3,%xmm4
addsd  %xmm1,%xmm4
cmpnlesd %xmm1,%xmm2
andpd  %xmm2,%xmm4
andnpd %xmm0,%xmm2
orpd   %xmm4,%xmm2
xorpd  %xmm0,%xmm0
addsd  %xmm2,%xmm0
movapd %xmm3,%xmm1
movapd %xmm0,%xmm2
cmp    $0x2,%rsi
je     1210 <f64_sum+0x110>
movapd %xmm3,%xmm1
nopl   0x0(%rax,%rax,1)
movsd  -0x10(%rdi,%rax,8),%xmm0
movsd  -0x8(%rdi,%rax,8),%xmm3
movapd %xmm1,%xmm4
addsd  %xmm3,%xmm4
movapd %xmm1,%xmm5
subsd  %xmm4,%xmm5
addsd  %xmm3,%xmm5
movapd %xmm3,%xmm6
subsd  %xmm4,%xmm6
addsd  %xmm1,%xmm6
cmpnlesd %xmm1,%xmm3
andpd  %xmm3,%xmm6
andnpd %xmm5,%xmm3
orpd   %xmm6,%xmm3
addsd  %xmm2,%xmm3
movapd %xmm4,%xmm1
addsd  %xmm0,%xmm1
movapd %xmm4,%xmm2
subsd  %xmm1,%xmm2
addsd  %xmm0,%xmm2
movapd %xmm0,%xmm5
subsd  %xmm1,%xmm5
addsd  %xmm4,%xmm5
cmpnlesd %xmm4,%xmm0
andpd  %xmm0,%xmm5
andnpd %xmm2,%xmm0
orpd   %xmm5,%xmm0
addsd  %xmm3,%xmm0
movapd %xmm0,%xmm2
add    $0xfffffffffffffffe,%rax
jne    1190 <f64_sum+0x90>
addsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @f64_sum(double* %0, i64 %1) {
%3 = alloca double*
%4 = alloca i64
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double* %0, double** %3
store i64 %1, i64* %4
store double 0.000000e+00, double* %7
%9 = load i64, i64* %4
%10 = sub i64 %9, 1
store i64 %10, i64* %4
%11 = load double*, double** %3
%12 = load i64, i64* %4
%13 = getelementptr inbounds double, double* %11, i64 %12
%14 = load double, double* %13
store double %14, double* %8
br label %15
15: ; preds = %44, %2
%16 = load i64, i64* %4
%17 = icmp ne i64 %16, 0
br i1 %17, label %18, label %48
18: ; preds = %15
%19 = load i64, i64* %4
%20 = sub i64 %19, 1
store i64 %20, i64* %4
%21 = load double*, double** %3
%22 = load i64, i64* %4
%23 = getelementptr inbounds double, double* %21, i64 %22
%24 = load double, double* %23
store double %24, double* %6
%25 = load double, double* %8
%26 = load double, double* %6
%27 = fadd double %25, %26
store double %27, double* %5
%28 = load double, double* %7
%29 = load double, double* %8
%30 = load double, double* %6
%31 = fcmp oge double %29, %30
br i1 %31, label %32, label %38
32: ; preds = %18
%33 = load double, double* %8
%34 = load double, double* %5
%35 = fsub double %33, %34
%36 = load double, double* %6
%37 = fadd double %35, %36
br label %44
38: ; preds = %18
%39 = load double, double* %6
%40 = load double, double* %5
%41 = fsub double %39, %40
%42 = load double, double* %8
%43 = fadd double %41, %42
br label %44
44: ; preds = %38, %32
%45 = phi double [ %37, %32 ], [ %43, %38 ]
%46 = fadd double %28, %45
store double %46, double* %7
%47 = load double, double* %5
store double %47, double* %8
br label %15
48: ; preds = %15
%49 = load double, double* %7
%50 = load double, double* %8
%51 = fadd double %49, %50
ret double %51
}

LLVM IR (-O2):
define double @f64_sum(double* nocapture %0, i64 %1) {
%3 = add i64 %1, -1
%4 = getelementptr inbounds double, double* %0, i64 %3
%5 = load double, double* %4
%6 = icmp eq i64 %3, 0
br i1 %6, label %56, label %7
7: ; preds = %2
%8 = and i64 %3, 1
%9 = icmp eq i64 %8, 0
br i1 %9, label %22, label %10
10: ; preds = %7
%11 = add i64 %1, -2
%12 = getelementptr inbounds double, double* %0, i64 %11
%13 = load double, double* %12
%14 = fadd double %5, %13
%15 = fcmp ult double %5, %13
%16 = fsub double %5, %14
%17 = fadd double %13, %16
%18 = fsub double %13, %14
%19 = fadd double %5, %18
%20 = select i1 %15, double %19, double %17
%21 = fadd double %20, 0.000000e+00
br label %22
22: ; preds = %10, %7
%23 = phi double [ undef, %7 ], [ %14, %10 ]
%24 = phi double [ undef, %7 ], [ %21, %10 ]
%25 = phi double [ %5, %7 ], [ %14, %10 ]
%26 = phi double [ 0.000000e+00, %7 ], [ %21, %10 ]
%27 = phi i64 [ %3, %7 ], [ %11, %10 ]
%28 = icmp eq i64 %1, 2
br i1 %28, label %56, label %29
29: ; preds = %22, %29
%30 = phi double [ %47, %29 ], [ %25, %22 ]
%31 = phi double [ %54, %29 ], [ %26, %22 ]
%32 = phi i64 [ %44, %29 ], [ %27, %22 ]
%33 = add i64 %32, -1
%34 = getelementptr inbounds double, double* %0, i64 %33
%35 = load double, double* %34
%36 = fadd double %30, %35
%37 = fcmp ult double %30, %35
%38 = fsub double %30, %36
%39 = fadd double %35, %38
%40 = fsub double %35, %36
%41 = fadd double %30, %40
%42 = select i1 %37, double %41, double %39
%43 = fadd double %31, %42
%44 = add i64 %32, -2
%45 = getelementptr inbounds double, double* %0, i64 %44
%46 = load double, double* %45
%47 = fadd double %36, %46
%48 = fcmp ult double %36, %46
%49 = fsub double %36, %47
%50 = fadd double %46, %49
%51 = fsub double %46, %47
%52 = fadd double %36, %51
%53 = select i1 %48, double %52, double %50
%54 = fadd double %43, %53
%55 = icmp eq i64 %44, 0
br i1 %55, label %56, label %29
56: ; preds = %22, %29, %2
%57 = phi double [ 0.000000e+00, %2 ], [ %24, %22 ], [ %54, %29 ]
%58 = phi double [ %5, %2 ], [ %23, %22 ], [ %47, %29 ]
%59 = fadd double %57, %58
ret double %59
}