double dsum(unsigned int n, const double *dx) {
  double sum = 0.0;
  do {
    --n;
    sum += dx[n];
  } while (n);
  return sum;
}


x86 assembly (clang, -O0):
<dsum>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x0,-0x4(%rbp)
jne    1113 <dsum+0x13>
movsd  -0x18(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<dsum>:
lea    -0x1(%rdi),%eax
mov    %edi,%ecx
xorpd  %xmm0,%xmm0
and    $0x7,%ecx
je     111d <dsum+0x1d>
xchg   %ax,%ax
add    $0xffffffff,%edi
addsd  (%rsi,%rdi,8),%xmm0
add    $0xffffffff,%ecx
jne    1110 <dsum+0x10>
cmp    $0x7,%eax
jb     1177 <dsum+0x77>
add    $0xfffffff8,%edi
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x7(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
lea    0x6(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
lea    0x5(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
lea    0x4(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
lea    0x3(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
lea    0x2(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
lea    0x1(%rdi),%eax
addsd  (%rsi,%rax,8),%xmm0
mov    %edi,%eax
addsd  (%rsi,%rax,8),%xmm0
add    $0xfffffff8,%edi
cmp    $0xfffffff8,%edi
jne    1130 <dsum+0x30>
ret

LLVM IR (-O0):
define double @dsum(i32 %0, double* %1) {
%3 = alloca i32
%4 = alloca double*
%5 = alloca double
store i32 %0, i32* %3
store double* %1, double** %4
store double 0.000000e+00, double* %5
br label %6
6: ; preds = %16, %2
%7 = load i32, i32* %3
%8 = add i32 %7, -1
store i32 %8, i32* %3
%9 = load double*, double** %4
%10 = load i32, i32* %3
%11 = zext i32 %10 to i64
%12 = getelementptr inbounds double, double* %9, i64 %11
%13 = load double, double* %12
%14 = load double, double* %5
%15 = fadd double %14, %13
store double %15, double* %5
br label %16
16: ; preds = %6
%17 = load i32, i32* %3
%18 = icmp ne i32 %17, 0
br i1 %18, label %6, label %19
19: ; preds = %16
%20 = load double, double* %5
ret double %20
}

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