void vectorFPSum(double *a, double *b, double *c, int nsize) {
  int j;
  for (j = nsize; j > 0; j--)
    *(c++) = *(a++) + *(b++);
}


x86 assembly (clang, -O0):
<vectorFPSum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jle    116a <vectorFPSum+0x6a>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x8(%rbp)
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x10(%rbp)
addsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x18(%rbp)
movsd  %xmm0,(%rax)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1119 <vectorFPSum+0x19>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vectorFPSum>:
push   %rbp
push   %rbx
test   %ecx,%ecx
jle    113b <vectorFPSum+0x3b>
lea    -0x1(%rcx),%r9d
cmp    $0x3,%r9d
jae    113e <vectorFPSum+0x3e>
add    $0x1,%ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%rdi,%rax,1),%xmm0
addsd  (%rsi,%rax,1),%xmm0
movsd  %xmm0,(%rdx,%rax,1)
add    $0xffffffff,%ecx
add    $0x8,%rax
cmp    $0x1,%ecx
ja     1120 <vectorFPSum+0x20>
pop    %rbx
pop    %rbp
ret
lea    (%rdi,%r9,8),%rax
add    $0x8,%rax
cmp    %rdx,%rax
seta   %r10b
lea    (%rdx,%r9,8),%rax
add    $0x8,%rax
cmp    %rdi,%rax
seta   %bpl
lea    (%rsi,%r9,8),%rbx
add    $0x8,%rbx
cmp    %rdx,%rbx
seta   %r11b
cmp    %rsi,%rax
seta   %r8b
test   %bpl,%r10b
jne    1110 <vectorFPSum+0x10>
and    %r8b,%r11b
jne    1110 <vectorFPSum+0x10>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rax,%rax
je     125b <vectorFPSum+0x15b>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movupd (%rdi,%rax,8),%xmm0
movupd 0x10(%rdi,%rax,8),%xmm1
movupd (%rsi,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd 0x10(%rsi,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm2,(%rdx,%rax,8)
movupd %xmm0,0x10(%rdx,%rax,8)
movupd 0x20(%rdi,%rax,8),%xmm0
movupd 0x30(%rdi,%rax,8),%xmm1
movupd 0x20(%rsi,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd 0x30(%rsi,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm2,0x20(%rdx,%rax,8)
movupd %xmm0,0x30(%rdx,%rax,8)
add    $0x8,%rax
add    $0xfffffffffffffffe,%r11
jne    11b0 <vectorFPSum+0xb0>
test   $0x1,%r10b
je     123e <vectorFPSum+0x13e>
movupd (%rdi,%rax,8),%xmm0
movupd 0x10(%rdi,%rax,8),%xmm1
movupd (%rsi,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd 0x10(%rsi,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm2,(%rdx,%rax,8)
movupd %xmm0,0x10(%rdx,%rax,8)
cmp    %r8,%r9
je     113b <vectorFPSum+0x3b>
sub    %r8d,%ecx
lea    (%rdi,%r8,8),%rdi
lea    (%rdx,%r8,8),%rdx
lea    (%rsi,%r8,8),%rsi
jmp    1110 <vectorFPSum+0x10>
xor    %eax,%eax
test   $0x1,%r10b
jne    1215 <vectorFPSum+0x115>
jmp    123e <vectorFPSum+0x13e>

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

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