void fvec_add(float *v1, const float *v2, long n) {
  long i = 0;
  for (i = 0; i < n; i++) {
    v1[i] += v2[i];
  }
}


x86 assembly (clang, -O0):
<fvec_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    115e <fvec_add+0x5e>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1120 <fvec_add+0x20>
pop    %rbp
ret

x86 assembly (clang, -O2):
<fvec_add>:
test   %rdx,%rdx
jle    126f <fvec_add+0x16f>
cmp    $0x8,%rdx
jb     1129 <fvec_add+0x29>
lea    (%rsi,%rdx,4),%rax
cmp    %rdi,%rax
jbe    11c3 <fvec_add+0xc3>
lea    (%rdi,%rdx,4),%rax
cmp    %rsi,%rax
jbe    11c3 <fvec_add+0xc3>
xor    %eax,%eax
mov    %rax,%r8
not    %r8
add    %rdx,%r8
mov    %rdx,%rcx
and    $0x3,%rcx
je     1159 <fvec_add+0x59>
nopl   (%rax)
movss  (%rsi,%rax,4),%xmm0
addss  (%rdi,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rcx
jne    1140 <fvec_add+0x40>
cmp    $0x3,%r8
jb     126f <fvec_add+0x16f>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%rsi,%rax,4),%xmm0
addss  (%rdi,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
movss  0x4(%rsi,%rax,4),%xmm0
addss  0x4(%rdi,%rax,4),%xmm0
movss  %xmm0,0x4(%rdi,%rax,4)
movss  0x8(%rsi,%rax,4),%xmm0
addss  0x8(%rdi,%rax,4),%xmm0
movss  %xmm0,0x8(%rdi,%rax,4)
movss  0xc(%rsi,%rax,4),%xmm0
addss  0xc(%rdi,%rax,4),%xmm0
movss  %xmm0,0xc(%rdi,%rax,4)
add    $0x4,%rax
cmp    %rax,%rdx
jne    1170 <fvec_add+0x70>
jmp    126f <fvec_add+0x16f>
mov    %rdx,%rax
and    $0xfffffffffffffff8,%rax
lea    -0x8(%rax),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     1270 <fvec_add+0x170>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rcx,4),%xmm0
movups 0x10(%rsi,%rcx,4),%xmm1
movups (%rdi,%rcx,4),%xmm2
addps  %xmm0,%xmm2
movups 0x10(%rdi,%rcx,4),%xmm0
addps  %xmm1,%xmm0
movups 0x20(%rdi,%rcx,4),%xmm1
movups 0x30(%rdi,%rcx,4),%xmm3
movups %xmm2,(%rdi,%rcx,4)
movups %xmm0,0x10(%rdi,%rcx,4)
movups 0x20(%rsi,%rcx,4),%xmm0
addps  %xmm1,%xmm0
movups 0x30(%rsi,%rcx,4),%xmm1
addps  %xmm3,%xmm1
movups %xmm0,0x20(%rdi,%rcx,4)
movups %xmm1,0x30(%rdi,%rcx,4)
add    $0x10,%rcx
add    $0xfffffffffffffffe,%r9
jne    11f0 <fvec_add+0xf0>
test   $0x1,%r8b
je     1266 <fvec_add+0x166>
movups (%rsi,%rcx,4),%xmm0
movups 0x10(%rsi,%rcx,4),%xmm1
movups (%rdi,%rcx,4),%xmm2
addps  %xmm0,%xmm2
movups 0x10(%rdi,%rcx,4),%xmm0
addps  %xmm1,%xmm0
movups %xmm2,(%rdi,%rcx,4)
movups %xmm0,0x10(%rdi,%rcx,4)
cmp    %rdx,%rax
jne    112b <fvec_add+0x2b>
ret
xor    %ecx,%ecx
test   $0x1,%r8b
jne    1245 <fvec_add+0x145>
jmp    1266 <fvec_add+0x166>

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

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