int grow_expansion(int elen, double *e, double b, double *h) {
  double Q;
  double Qnew;
  int eindex;
  double enow;
  double bvirt;
  double avirt, bround, around;
  Q = b;
  for (eindex = 0; eindex < elen; eindex++) {
    enow = e[eindex];
    Qnew = (double)(Q + enow);
    bvirt = (double)(Qnew - Q);
    avirt = Qnew - bvirt;
    bround = enow - bvirt;
    around = Q - avirt;
    h[eindex] = around + bround;
    Q = Qnew;
  }
  h[eindex] = Q;
  return eindex + 1;
}


x86 assembly (clang, -O0):
<grow_expansion>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
movsd  %xmm0,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11bd <grow_expansion+0xbd>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x28(%rbp),%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x40(%rbp),%xmm0
subsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x28(%rbp),%xmm0
subsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
addsd  -0x58(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1125 <grow_expansion+0x25>
movsd  -0x28(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<grow_expansion>:
test   %edi,%edi
jle    1115 <grow_expansion+0x15>
mov    %edi,%eax
mov    %edi,%r8d
cmp    $0x1,%edi
jne    111c <grow_expansion+0x1c>
xor    %ecx,%ecx
jmp    1197 <grow_expansion+0x97>
xor    %eax,%eax
jmp    11cf <grow_expansion+0xcf>
mov    %r8d,%edi
and    $0xfffffffe,%edi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  (%rsi,%rcx,8),%xmm1
movapd %xmm0,%xmm2
addsd  %xmm1,%xmm2
movapd %xmm2,%xmm3
subsd  %xmm0,%xmm3
movapd %xmm2,%xmm4
subsd  %xmm3,%xmm4
subsd  %xmm3,%xmm1
subsd  %xmm4,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rdx,%rcx,8)
movsd  0x8(%rsi,%rcx,8),%xmm1
movapd %xmm2,%xmm0
addsd  %xmm1,%xmm0
movapd %xmm0,%xmm3
subsd  %xmm2,%xmm3
movapd %xmm0,%xmm4
subsd  %xmm3,%xmm4
subsd  %xmm3,%xmm1
subsd  %xmm4,%xmm2
addsd  %xmm1,%xmm2
movsd  %xmm2,0x8(%rdx,%rcx,8)
add    $0x2,%rcx
cmp    %rcx,%rdi
jne    1130 <grow_expansion+0x30>
test   $0x1,%r8b
je     11cf <grow_expansion+0xcf>
movsd  (%rsi,%rcx,8),%xmm1
movapd %xmm0,%xmm2
addsd  %xmm1,%xmm2
movapd %xmm2,%xmm3
subsd  %xmm0,%xmm3
movapd %xmm2,%xmm4
subsd  %xmm3,%xmm4
subsd  %xmm3,%xmm1
subsd  %xmm4,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rdx,%rcx,8)
movapd %xmm2,%xmm0
mov    %eax,%ecx
movsd  %xmm0,(%rdx,%rcx,8)
add    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @grow_expansion(i32 %0, double* %1, double %2, double* %3) {
%5 = alloca i32
%6 = alloca double*
%7 = alloca double
%8 = alloca double*
%9 = alloca double
%10 = alloca double
%11 = alloca i32
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
store i32 %0, i32* %5
store double* %1, double** %6
store double %2, double* %7
store double* %3, double** %8
%17 = load double, double* %7
store double %17, double* %9
store i32 0, i32* %11
br label %18
18: ; preds = %51, %4
%19 = load i32, i32* %11
%20 = load i32, i32* %5
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %54
22: ; preds = %18
%23 = load double*, double** %6
%24 = load i32, i32* %11
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds double, double* %23, i64 %25
%27 = load double, double* %26
store double %27, double* %12
%28 = load double, double* %9
%29 = load double, double* %12
%30 = fadd double %28, %29
store double %30, double* %10
%31 = load double, double* %10
%32 = load double, double* %9
%33 = fsub double %31, %32
store double %33, double* %13
%34 = load double, double* %10
%35 = load double, double* %13
%36 = fsub double %34, %35
store double %36, double* %14
%37 = load double, double* %12
%38 = load double, double* %13
%39 = fsub double %37, %38
store double %39, double* %15
%40 = load double, double* %9
%41 = load double, double* %14
%42 = fsub double %40, %41
store double %42, double* %16
%43 = load double, double* %16
%44 = load double, double* %15
%45 = fadd double %43, %44
%46 = load double*, double** %8
%47 = load i32, i32* %11
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds double, double* %46, i64 %48
store double %45, double* %49
%50 = load double, double* %10
store double %50, double* %9
br label %51
51: ; preds = %22
%52 = load i32, i32* %11
%53 = add nsw i32 %52, 1
store i32 %53, i32* %11
br label %18
54: ; preds = %18
%55 = load double, double* %9
%56 = load double*, double** %8
%57 = load i32, i32* %11
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds double, double* %56, i64 %58
store double %55, double* %59
%60 = load i32, i32* %11
%61 = add nsw i32 %60, 1
ret i32 %61
}

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