double UWerr_dsum_int(int *v, double *w, int len) {
  int i;
  double s = 0;
  if (v && w)
    for (i = 0; i < len; ++i)
      s += v[i] * w[i];
  return s;
}


x86 assembly (clang, -O0):
<UWerr_dsum_int>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     117f <UWerr_dsum_int+0x7f>
cmpq   $0x0,-0x10(%rbp)
je     117f <UWerr_dsum_int+0x7f>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117a <UWerr_dsum_int+0x7a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x20(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1134 <UWerr_dsum_int+0x34>
jmp    117f <UWerr_dsum_int+0x7f>
movsd  -0x20(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<UWerr_dsum_int>:
xorpd  %xmm0,%xmm0
test   %rdi,%rdi
je     11ca <UWerr_dsum_int+0xca>
test   %rsi,%rsi
je     11ca <UWerr_dsum_int+0xca>
test   %edx,%edx
jle    11ca <UWerr_dsum_int+0xca>
mov    %edx,%edx
lea    -0x1(%rdx),%rcx
mov    %edx,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1137 <UWerr_dsum_int+0x37>
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
jmp    1193 <UWerr_dsum_int+0x93>
and    $0xfffffffc,%edx
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
xorps  %xmm1,%xmm1
cvtsi2sdl (%rdi,%rcx,4),%xmm1
mulsd  (%rsi,%rcx,8),%xmm1
xorps  %xmm2,%xmm2
cvtsi2sdl 0x4(%rdi,%rcx,4),%xmm2
addsd  %xmm0,%xmm1
mulsd  0x8(%rsi,%rcx,8),%xmm2
addsd  %xmm1,%xmm2
xorps  %xmm1,%xmm1
cvtsi2sdl 0x8(%rdi,%rcx,4),%xmm1
mulsd  0x10(%rsi,%rcx,8),%xmm1
xorps  %xmm0,%xmm0
cvtsi2sdl 0xc(%rdi,%rcx,4),%xmm0
mulsd  0x18(%rsi,%rcx,8),%xmm0
addsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
add    $0x4,%rcx
cmp    %rcx,%rdx
jne    1140 <UWerr_dsum_int+0x40>
test   %rax,%rax
je     11ca <UWerr_dsum_int+0xca>
lea    (%rsi,%rcx,8),%rdx
lea    (%rdi,%rcx,4),%rcx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xorps  %xmm1,%xmm1
cvtsi2sdl (%rcx,%rsi,4),%xmm1
mulsd  (%rdx,%rsi,8),%xmm1
addsd  %xmm1,%xmm0
add    $0x1,%rsi
cmp    %rsi,%rax
jne    11b0 <UWerr_dsum_int+0xb0>
ret

LLVM IR (-O0):
define double @UWerr_dsum_int(i32* %0, double* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32
%8 = alloca double
store i32* %0, i32** %4
store double* %1, double** %5
store i32 %2, i32* %6
store double 0.000000e+00, double* %8
%9 = load i32*, i32** %4
%10 = icmp ne i32* %9, null
br i1 %10, label %11, label %37
11: ; preds = %3
%12 = load double*, double** %5
%13 = icmp ne double* %12, null
br i1 %13, label %14, label %37
14: ; preds = %11
store i32 0, i32* %7
br label %15
15: ; preds = %33, %14
%16 = load i32, i32* %7
%17 = load i32, i32* %6
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %36
19: ; preds = %15
%20 = load i32*, i32** %4
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
%24 = load i32, i32* %23
%25 = sitofp i32 %24 to double
%26 = load double*, double** %5
%27 = load i32, i32* %7
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double, double* %26, i64 %28
%30 = load double, double* %29
%31 = load double, double* %8
%32 = call double @llvm.fmuladd.f64(double %25, double %30, double %31)
store double %32, double* %8
br label %33
33: ; preds = %19
%34 = load i32, i32* %7
%35 = add nsw i32 %34, 1
store i32 %35, i32* %7
br label %15
36: ; preds = %15
br label %37
37: ; preds = %36, %11, %3
%38 = load double, double* %8
ret double %38
}

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