void vector_iaccumulate(double *sum, int *v, int length) {
  int i;
  for (i = 0; i < length; i++)
    sum[i] += (double)v[i];
}


x86 assembly (clang, -O0):
<vector_iaccumulate>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    114f <vector_iaccumulate+0x4f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <vector_iaccumulate+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vector_iaccumulate>:
test   %edx,%edx
jle    11fb <vector_iaccumulate+0xfb>
mov    %edx,%r9d
cmp    $0x4,%edx
jae    1117 <vector_iaccumulate+0x17>
xor    %ecx,%ecx
jmp    11e0 <vector_iaccumulate+0xe0>
mov    %r9d,%ecx
and    $0xfffffffc,%ecx
lea    -0x4(%rcx),%rax
mov    %rax,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rax,%rax
je     11fc <vector_iaccumulate+0xfc>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %edx,%edx
xchg   %ax,%ax
cvtdq2pd (%rsi,%rdx,4),%xmm0
cvtdq2pd 0x8(%rsi,%rdx,4),%xmm1
movupd (%rdi,%rdx,8),%xmm2
addpd  %xmm0,%xmm2
movupd 0x10(%rdi,%rdx,8),%xmm0
addpd  %xmm1,%xmm0
movupd 0x20(%rdi,%rdx,8),%xmm1
movupd 0x30(%rdi,%rdx,8),%xmm3
movupd %xmm2,(%rdi,%rdx,8)
movupd %xmm0,0x10(%rdi,%rdx,8)
cvtdq2pd 0x10(%rsi,%rdx,4),%xmm0
addpd  %xmm1,%xmm0
cvtdq2pd 0x18(%rsi,%rdx,4),%xmm1
addpd  %xmm3,%xmm1
movupd %xmm0,0x20(%rdi,%rdx,8)
movupd %xmm1,0x30(%rdi,%rdx,8)
add    $0x8,%rdx
add    $0xfffffffffffffffe,%rax
jne    1140 <vector_iaccumulate+0x40>
test   $0x1,%r8b
je     11ce <vector_iaccumulate+0xce>
cvtdq2pd (%rsi,%rdx,4),%xmm0
cvtdq2pd 0x8(%rsi,%rdx,4),%xmm1
movupd (%rdi,%rdx,8),%xmm2
addpd  %xmm0,%xmm2
movupd 0x10(%rdi,%rdx,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm2,(%rdi,%rdx,8)
movupd %xmm0,0x10(%rdi,%rdx,8)
cmp    %r9,%rcx
je     11fb <vector_iaccumulate+0xfb>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xorps  %xmm0,%xmm0
cvtsi2sdl (%rsi,%rcx,4),%xmm0
addsd  (%rdi,%rcx,8),%xmm0
movsd  %xmm0,(%rdi,%rcx,8)
add    $0x1,%rcx
cmp    %rcx,%r9
jne    11e0 <vector_iaccumulate+0xe0>
ret
xor    %edx,%edx
test   $0x1,%r8b
jne    11a5 <vector_iaccumulate+0xa5>
jmp    11ce <vector_iaccumulate+0xce>

LLVM IR (-O0):
define void @vector_iaccumulate(double* %0, i32* %1, i32 %2) {
%4 = alloca double*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
store double* %0, double** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %8
8: ; preds = %25, %3
%9 = load i32, i32* %7
%10 = load i32, i32* %6
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %28
12: ; preds = %8
%13 = load i32*, i32** %5
%14 = load i32, i32* %7
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %13, i64 %15
%17 = load i32, i32* %16
%18 = sitofp i32 %17 to double
%19 = load double*, double** %4
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds double, double* %19, i64 %21
%23 = load double, double* %22
%24 = fadd double %23, %18
store double %24, double* %22
br label %25
25: ; preds = %12
%26 = load i32, i32* %7
%27 = add nsw i32 %26, 1
store i32 %27, i32* %7
br label %8
28: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @vector_iaccumulate(double* nocapture %0, i32* nocapture %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %96
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = icmp ult i32 %2, 4
br i1 %7, label %84, label %8
8: ; preds = %5
%9 = and i64 %6, 4294967292
%10 = add nsw i64 %9, -4
%11 = lshr exact i64 %10, 2
%12 = add nuw nsw i64 %11, 1
%13 = and i64 %12, 1
%14 = icmp eq i64 %10, 0
br i1 %14, label %60, label %15
15: ; preds = %8
%16 = and i64 %12, 9223372036854775806
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ 0, %15 ], [ %57, %17 ]
%19 = phi i64 [ 0, %15 ], [ %58, %17 ]
%20 = getelementptr inbounds i32, i32* %1, i64 %18
%21 = bitcast i32* %20 to <2 x i32>*
%22 = load <2 x i32>, <2 x i32>* %21
%23 = getelementptr inbounds i32, i32* %20, i64 2
%24 = bitcast i32* %23 to <2 x i32>*
%25 = load <2 x i32>, <2 x i32>* %24
%26 = sitofp <2 x i32> %22 to <2 x double>
%27 = sitofp <2 x i32> %25 to <2 x double>
%28 = getelementptr inbounds double, double* %0, i64 %18
%29 = bitcast double* %28 to <2 x double>*
%30 = load <2 x double>, <2 x double>* %29
%31 = getelementptr inbounds double, double* %28, i64 2
%32 = bitcast double* %31 to <2 x double>*
%33 = load <2 x double>, <2 x double>* %32
%34 = fadd <2 x double> %30, %26
%35 = fadd <2 x double> %33, %27
%36 = bitcast double* %28 to <2 x double>*
store <2 x double> %34, <2 x double>* %36
%37 = bitcast double* %31 to <2 x double>*
store <2 x double> %35, <2 x double>* %37
%38 = or i64 %18, 4
%39 = getelementptr inbounds i32, i32* %1, i64 %38
%40 = bitcast i32* %39 to <2 x i32>*
%41 = load <2 x i32>, <2 x i32>* %40
%42 = getelementptr inbounds i32, i32* %39, i64 2
%43 = bitcast i32* %42 to <2 x i32>*
%44 = load <2 x i32>, <2 x i32>* %43
%45 = sitofp <2 x i32> %41 to <2 x double>
%46 = sitofp <2 x i32> %44 to <2 x double>
%47 = getelementptr inbounds double, double* %0, i64 %38
%48 = bitcast double* %47 to <2 x double>*
%49 = load <2 x double>, <2 x double>* %48
%50 = getelementptr inbounds double, double* %47, i64 2
%51 = bitcast double* %50 to <2 x double>*
%52 = load <2 x double>, <2 x double>* %51
%53 = fadd <2 x double> %49, %45
%54 = fadd <2 x double> %52, %46
%55 = bitcast double* %47 to <2 x double>*
store <2 x double> %53, <2 x double>* %55
%56 = bitcast double* %50 to <2 x double>*
store <2 x double> %54, <2 x double>* %56
%57 = add nuw i64 %18, 8
%58 = add i64 %19, 2
%59 = icmp eq i64 %58, %16
br i1 %59, label %60, label %17
60: ; preds = %17, %8
%61 = phi i64 [ 0, %8 ], [ %57, %17 ]
%62 = icmp eq i64 %13, 0
br i1 %62, label %82, label %63
63: ; preds = %60
%64 = getelementptr inbounds i32, i32* %1, i64 %61
%65 = bitcast i32* %64 to <2 x i32>*
%66 = load <2 x i32>, <2 x i32>* %65
%67 = getelementptr inbounds i32, i32* %64, i64 2
%68 = bitcast i32* %67 to <2 x i32>*
%69 = load <2 x i32>, <2 x i32>* %68
%70 = sitofp <2 x i32> %66 to <2 x double>
%71 = sitofp <2 x i32> %69 to <2 x double>
%72 = getelementptr inbounds double, double* %0, i64 %61
%73 = bitcast double* %72 to <2 x double>*
%74 = load <2 x double>, <2 x double>* %73
%75 = getelementptr inbounds double, double* %72, i64 2
%76 = bitcast double* %75 to <2 x double>*
%77 = load <2 x double>, <2 x double>* %76
%78 = fadd <2 x double> %74, %70
%79 = fadd <2 x double> %77, %71
%80 = bitcast double* %72 to <2 x double>*
store <2 x double> %78, <2 x double>* %80
%81 = bitcast double* %75 to <2 x double>*
store <2 x double> %79, <2 x double>* %81
br label %82
82: ; preds = %60, %63
%83 = icmp eq i64 %9, %6
br i1 %83, label %96, label %84
84: ; preds = %5, %82
%85 = phi i64 [ 0, %5 ], [ %9, %82 ]
br label %86
86: ; preds = %84, %86
%87 = phi i64 [ %94, %86 ], [ %85, %84 ]
%88 = getelementptr inbounds i32, i32* %1, i64 %87
%89 = load i32, i32* %88
%90 = sitofp i32 %89 to double
%91 = getelementptr inbounds double, double* %0, i64 %87
%92 = load double, double* %91
%93 = fadd double %92, %90
store double %93, double* %91
%94 = add nuw nsw i64 %87, 1
%95 = icmp eq i64 %94, %6
br i1 %95, label %96, label %86
96: ; preds = %86, %82, %3
ret void
}