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


x86 assembly (clang, -O0):
<dnorm2>:
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
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x18(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x0,-0x4(%rbp)
jne    1113 <dnorm2+0x13>
movsd  -0x18(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<dnorm2>:
lea    -0x1(%rdi),%eax
mov    %edi,%ecx
xorpd  %xmm0,%xmm0
and    $0x3,%ecx
je     1125 <dnorm2+0x25>
xchg   %ax,%ax
add    $0xffffffff,%edi
movsd  (%rsi,%rdi,8),%xmm1
mulsd  %xmm1,%xmm1
addsd  %xmm1,%xmm0
add    $0xffffffff,%ecx
jne    1110 <dnorm2+0x10>
cmp    $0x3,%eax
jb     1177 <dnorm2+0x77>
add    $0xfffffffe,%edi
nopl   (%rax)
lea    0x1(%rdi),%eax
movsd  (%rsi,%rax,8),%xmm1
mulsd  %xmm1,%xmm1
addsd  %xmm0,%xmm1
mov    %edi,%eax
movsd  (%rsi,%rax,8),%xmm0
mulsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
lea    -0x1(%rdi),%eax
movsd  (%rsi,%rax,8),%xmm1
mulsd  %xmm1,%xmm1
addsd  %xmm0,%xmm1
lea    -0x2(%rdi),%eax
movsd  (%rsi,%rax,8),%xmm0
mulsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
add    $0xfffffffc,%edi
cmp    $0xfffffffe,%edi
jne    1130 <dnorm2+0x30>
ret

LLVM IR (-O0):
define double @dnorm2(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 = %21, %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** %4
%15 = load i32, i32* %3
%16 = zext i32 %15 to i64
%17 = getelementptr inbounds double, double* %14, i64 %16
%18 = load double, double* %17
%19 = load double, double* %5
%20 = call double @llvm.fmuladd.f64(double %13, double %18, double %19)
store double %20, double* %5
br label %21
21: ; preds = %6
%22 = load i32, i32* %3
%23 = icmp ne i32 %22, 0
br i1 %23, label %6, label %24
24: ; preds = %21
%25 = load double, double* %5
ret double %25
}

LLVM IR (-O2):
define double @dnorm2(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 %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 = tail call double @llvm.fmuladd.f64(double %13, double %13, double %8)
%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, 3
br i1 %21, label %46, label %22
22: ; preds = %17, %22
%23 = phi i32 [ %40, %22 ], [ %19, %17 ]
%24 = phi double [ %44, %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 = tail call double @llvm.fmuladd.f64(double %28, double %28, double %24)
%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 = tail call double @llvm.fmuladd.f64(double %33, double %33, double %29)
%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 = tail call double @llvm.fmuladd.f64(double %38, double %38, double %34)
%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 = tail call double @llvm.fmuladd.f64(double %43, double %43, double %39)
%45 = icmp eq i32 %40, 0
br i1 %45, label %46, label %22
46: ; preds = %22, %17
%47 = phi double [ %18, %17 ], [ %44, %22 ]
ret double %47
}