void vector_fmul_add_c(float *dst, const float *src0, const float *src1,
                       const float *src2, int len) {
  int i;
  for (i = 0; i < len; i++)
    dst[i] = src0[i] * src1[i] + src2[i];
}


x86 assembly (clang, -O0):
<vector_fmul_add_c>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1175 <vector_fmul_add_c+0x75>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    111f <vector_fmul_add_c+0x1f>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vector_fmul_add_c>:
push   %rbp
push   %r14
push   %rbx
test   %r8d,%r8d
jle    12d5 <vector_fmul_add_c+0x1d5>
mov    %r8d,%r9d
cmp    $0x8,%r8d
jae    118a <vector_fmul_add_c+0x8a>
xor    %eax,%eax
mov    %rax,%r8
not    %r8
test   $0x1,%r9b
je     113c <vector_fmul_add_c+0x3c>
movss  (%rsi,%rax,4),%xmm0
mulss  (%rdx,%rax,4),%xmm0
addss  (%rcx,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
or     $0x1,%rax
add    %r9,%r8
je     12d5 <vector_fmul_add_c+0x1d5>
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rsi,%rax,4),%xmm0
mulss  (%rdx,%rax,4),%xmm0
addss  (%rcx,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
movss  0x4(%rsi,%rax,4),%xmm0
mulss  0x4(%rdx,%rax,4),%xmm0
addss  0x4(%rcx,%rax,4),%xmm0
movss  %xmm0,0x4(%rdi,%rax,4)
add    $0x2,%rax
cmp    %rax,%r9
jne    1150 <vector_fmul_add_c+0x50>
jmp    12d5 <vector_fmul_add_c+0x1d5>
lea    (%rsi,%r9,4),%rax
cmp    %rdi,%rax
seta   %r14b
lea    (%rdi,%r9,4),%rax
cmp    %rsi,%rax
seta   %bl
lea    (%rdx,%r9,4),%rbp
cmp    %rdi,%rbp
seta   %r8b
lea    (%rcx,%r9,4),%rbp
cmp    %rdx,%rax
seta   %r11b
cmp    %rdi,%rbp
seta   %r10b
cmp    %rcx,%rax
seta   %bpl
xor    %eax,%eax
test   %bl,%r14b
jne    1118 <vector_fmul_add_c+0x18>
and    %r11b,%r8b
jne    1118 <vector_fmul_add_c+0x18>
and    %bpl,%r10b
jne    1118 <vector_fmul_add_c+0x18>
mov    %r9d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rbp
mov    %rbp,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rbp,%rbp
je     12da <vector_fmul_add_c+0x1da>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
xor    %r8d,%r8d
nopl   0x0(%rax,%rax,1)
movups (%rsi,%r8,4),%xmm0
movups 0x10(%rsi,%r8,4),%xmm1
movups (%rdx,%r8,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x10(%rdx,%r8,4),%xmm0
mulps  %xmm1,%xmm0
movups (%rcx,%r8,4),%xmm1
addps  %xmm2,%xmm1
movups 0x10(%rcx,%r8,4),%xmm2
addps  %xmm0,%xmm2
movups %xmm1,(%rdi,%r8,4)
movups %xmm2,0x10(%rdi,%r8,4)
movups 0x20(%rsi,%r8,4),%xmm0
movups 0x30(%rsi,%r8,4),%xmm1
movups 0x20(%rdx,%r8,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x30(%rdx,%r8,4),%xmm0
mulps  %xmm1,%xmm0
movups 0x20(%rcx,%r8,4),%xmm1
addps  %xmm2,%xmm1
movups 0x30(%rcx,%r8,4),%xmm2
addps  %xmm0,%xmm2
movups %xmm1,0x20(%rdi,%r8,4)
movups %xmm2,0x30(%rdi,%r8,4)
add    $0x10,%r8
add    $0xfffffffffffffffe,%r11
jne    1210 <vector_fmul_add_c+0x110>
test   $0x1,%r10b
je     12cc <vector_fmul_add_c+0x1cc>
movups (%rsi,%r8,4),%xmm0
movups 0x10(%rsi,%r8,4),%xmm1
movups (%rdx,%r8,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x10(%rdx,%r8,4),%xmm0
mulps  %xmm1,%xmm0
movups (%rcx,%r8,4),%xmm1
addps  %xmm2,%xmm1
movups 0x10(%rcx,%r8,4),%xmm2
addps  %xmm0,%xmm2
movups %xmm1,(%rdi,%r8,4)
movups %xmm2,0x10(%rdi,%r8,4)
cmp    %r9,%rax
jne    1118 <vector_fmul_add_c+0x18>
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %r8d,%r8d
test   $0x1,%r10b
jne    1294 <vector_fmul_add_c+0x194>
jmp    12cc <vector_fmul_add_c+0x1cc>

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

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