double dasum(unsigned int n, const double *dx) {
  double sum = 0.0;
  do {
    --n;
    if (dx[n] < 0)
      sum = sum - dx[n];
    else
      sum = sum + dx[n];
  } while (n);
  return sum;
}


x86 assembly (clang, -O0):
<dasum>:
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
xorps  %xmm0,%xmm0
ucomisd (%rax,%rcx,8),%xmm0
jbe    114c <dasum+0x4c>
movsd  -0x18(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1162 <dasum+0x62>
movsd  -0x18(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1167 <dasum+0x67>
cmpl   $0x0,-0x4(%rbp)
jne    1113 <dasum+0x13>
movsd  -0x18(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<dasum>:
lea    -0x1(%rdi),%eax
mov    %edi,%ecx
and    $0x3,%ecx
je     1158 <dasum+0x58>
xorpd  %xmm1,%xmm1
movapd 0xeea(%rip),%xmm2
xorpd  %xmm0,%xmm0
nopw   0x0(%rax,%rax,1)
add    $0xffffffff,%edi
movsd  (%rsi,%rdi,8),%xmm3
movapd %xmm3,%xmm4
xorpd  %xmm2,%xmm4
movapd %xmm3,%xmm5
cmpltsd %xmm1,%xmm5
andpd  %xmm5,%xmm4
andnpd %xmm3,%xmm5
orpd   %xmm4,%xmm5
addsd  %xmm5,%xmm0
add    $0xffffffff,%ecx
jne    1120 <dasum+0x20>
cmp    $0x3,%eax
jae    1165 <dasum+0x65>
jmp    122f <dasum+0x12f>
xorpd  %xmm0,%xmm0
cmp    $0x3,%eax
jb     122f <dasum+0x12f>
add    $0xfffffffe,%edi
movapd 0xe90(%rip),%xmm1
xorpd  %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x1(%rdi),%eax
movsd  (%rsi,%rax,8),%xmm3
movapd %xmm3,%xmm4
xorpd  %xmm1,%xmm4
movapd %xmm3,%xmm5
cmpltsd %xmm2,%xmm5
andpd  %xmm5,%xmm4
andnpd %xmm3,%xmm5
orpd   %xmm4,%xmm5
addsd  %xmm0,%xmm5
mov    %edi,%eax
movsd  (%rsi,%rax,8),%xmm0
movapd %xmm0,%xmm3
xorpd  %xmm1,%xmm3
movapd %xmm0,%xmm4
cmpltsd %xmm2,%xmm4
andpd  %xmm4,%xmm3
andnpd %xmm0,%xmm4
orpd   %xmm3,%xmm4
addsd  %xmm5,%xmm4
lea    -0x1(%rdi),%eax
movsd  (%rsi,%rax,8),%xmm0
movapd %xmm0,%xmm3
xorpd  %xmm1,%xmm3
movapd %xmm0,%xmm5
cmpltsd %xmm2,%xmm5
andpd  %xmm5,%xmm3
andnpd %xmm0,%xmm5
orpd   %xmm3,%xmm5
addsd  %xmm4,%xmm5
lea    -0x2(%rdi),%eax
movsd  (%rsi,%rax,8),%xmm3
movapd %xmm3,%xmm4
xorpd  %xmm1,%xmm4
movapd %xmm3,%xmm0
cmpltsd %xmm2,%xmm0
andpd  %xmm0,%xmm4
andnpd %xmm3,%xmm0
orpd   %xmm4,%xmm0
addsd  %xmm5,%xmm0
add    $0xfffffffc,%edi
cmp    $0xfffffffe,%edi
jne    1180 <dasum+0x80>
ret

LLVM IR (-O0):
define double @dasum(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 = %32, %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 = fcmp olt double %13, 0.000000e+00
br i1 %14, label %15, label %23
15: ; preds = %6
%16 = load double, double* %5
%17 = load double*, double** %4
%18 = load i32, i32* %3
%19 = zext i32 %18 to i64
%20 = getelementptr inbounds double, double* %17, i64 %19
%21 = load double, double* %20
%22 = fsub double %16, %21
store double %22, double* %5
br label %31
23: ; preds = %6
%24 = load double, double* %5
%25 = load double*, double** %4
%26 = load i32, i32* %3
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds double, double* %25, i64 %27
%29 = load double, double* %28
%30 = fadd double %24, %29
store double %30, double* %5
br label %31
31: ; preds = %23, %15
br label %32
32: ; preds = %31
%33 = load i32, i32* %3
%34 = icmp ne i32 %33, 0
br i1 %34, label %6, label %35
35: ; preds = %32
%36 = load double, double* %5
ret double %36
}

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