void interpolatev(float *result, const float *s1, const float *s2,
                  const float alpha) {
  result[0] = (float)(s1[0] * (1.0 - (double)alpha) + s2[0] * (double)alpha);
  result[1] = (float)(s1[1] * (1.0 - (double)alpha) + s2[1] * (double)alpha);
  result[2] = (float)(s1[2] * (1.0 - (double)alpha) + s2[2] * (double)alpha);
}


x86 assembly (clang, -O0):
<interpolatev>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xece(%rip),%xmm2
subsd  %xmm1,%xmm2
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x1c(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xe7f(%rip),%xmm2
subsd  %xmm1,%xmm2
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x1c(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xe2e(%rip),%xmm2
subsd  %xmm1,%xmm2
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x1c(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<interpolatev>:
movss  (%rsi),%xmm1
cvtss2sd %xmm1,%xmm1
cvtss2sd %xmm0,%xmm0
movsd  0xeec(%rip),%xmm2
subsd  %xmm0,%xmm2
movss  (%rdx),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm1
addsd  %xmm3,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rdi)
movss  0x4(%rsi),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0x4(%rdx),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm1
addsd  %xmm3,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,0x4(%rdi)
movss  0x8(%rsi),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0x8(%rdx),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm1
addsd  %xmm3,%xmm1
xorps  %xmm0,%xmm0
cvtsd2ss %xmm1,%xmm0
movss  %xmm0,0x8(%rdi)
ret

LLVM IR (-O0):
define void @interpolatev(float* %0, float* %1, float* %2, float %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca float
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store float %3, float* %8
%9 = load float*, float** %6
%10 = getelementptr inbounds float, float* %9, i64 0
%11 = load float, float* %10
%12 = fpext float %11 to double
%13 = load float, float* %8
%14 = fpext float %13 to double
%15 = fsub double 1.000000e+00, %14
%16 = load float*, float** %7
%17 = getelementptr inbounds float, float* %16, i64 0
%18 = load float, float* %17
%19 = fpext float %18 to double
%20 = load float, float* %8
%21 = fpext float %20 to double
%22 = fmul double %19, %21
%23 = call double @llvm.fmuladd.f64(double %12, double %15, double %22)
%24 = fptrunc double %23 to float
%25 = load float*, float** %5
%26 = getelementptr inbounds float, float* %25, i64 0
store float %24, float* %26
%27 = load float*, float** %6
%28 = getelementptr inbounds float, float* %27, i64 1
%29 = load float, float* %28
%30 = fpext float %29 to double
%31 = load float, float* %8
%32 = fpext float %31 to double
%33 = fsub double 1.000000e+00, %32
%34 = load float*, float** %7
%35 = getelementptr inbounds float, float* %34, i64 1
%36 = load float, float* %35
%37 = fpext float %36 to double
%38 = load float, float* %8
%39 = fpext float %38 to double
%40 = fmul double %37, %39
%41 = call double @llvm.fmuladd.f64(double %30, double %33, double %40)
%42 = fptrunc double %41 to float
%43 = load float*, float** %5
%44 = getelementptr inbounds float, float* %43, i64 1
store float %42, float* %44
%45 = load float*, float** %6
%46 = getelementptr inbounds float, float* %45, i64 2
%47 = load float, float* %46
%48 = fpext float %47 to double
%49 = load float, float* %8
%50 = fpext float %49 to double
%51 = fsub double 1.000000e+00, %50
%52 = load float*, float** %7
%53 = getelementptr inbounds float, float* %52, i64 2
%54 = load float, float* %53
%55 = fpext float %54 to double
%56 = load float, float* %8
%57 = fpext float %56 to double
%58 = fmul double %55, %57
%59 = call double @llvm.fmuladd.f64(double %48, double %51, double %58)
%60 = fptrunc double %59 to float
%61 = load float*, float** %5
%62 = getelementptr inbounds float, float* %61, i64 2
store float %60, float* %62
ret void
}

LLVM IR (-O2):
define void @interpolatev(float* nocapture writeonly %0, float* nocapture %1, float* nocapture %2, float %3) {
%5 = load float, float* %1
%6 = fpext float %5 to double
%7 = fpext float %3 to double
%8 = fsub double 1.000000e+00, %7
%9 = load float, float* %2
%10 = fpext float %9 to double
%11 = fmul double %7, %10
%12 = tail call double @llvm.fmuladd.f64(double %6, double %8, double %11)
%13 = fptrunc double %12 to float
store float %13, float* %0
%14 = getelementptr inbounds float, float* %1, i64 1
%15 = load float, float* %14
%16 = fpext float %15 to double
%17 = getelementptr inbounds float, float* %2, i64 1
%18 = load float, float* %17
%19 = fpext float %18 to double
%20 = fmul double %7, %19
%21 = tail call double @llvm.fmuladd.f64(double %16, double %8, double %20)
%22 = fptrunc double %21 to float
%23 = getelementptr inbounds float, float* %0, i64 1
store float %22, float* %23
%24 = getelementptr inbounds float, float* %1, i64 2
%25 = load float, float* %24
%26 = fpext float %25 to double
%27 = getelementptr inbounds float, float* %2, i64 2
%28 = load float, float* %27
%29 = fpext float %28 to double
%30 = fmul double %7, %29
%31 = tail call double @llvm.fmuladd.f64(double %26, double %8, double %30)
%32 = fptrunc double %31 to float
%33 = getelementptr inbounds float, float* %0, i64 2
store float %32, float* %33
ret void
}