void P_AddBlend(float r, float g, float b, float a, float *v_blend) {
  float a2, a3;
  if (a <= 0)
    return;
  a2 = v_blend[3] + (1 - v_blend[3]) * a;
  a3 = v_blend[3] / a2;
  v_blend[0] = v_blend[0] * a3 + r * (1 - a3);
  v_blend[1] = v_blend[1] * a3 + g * (1 - a3);
  v_blend[2] = v_blend[2] * a3 + b * (1 - a3);
  v_blend[3] = a2;
}


x86 assembly (clang, -O0):
<P_AddBlend>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  %xmm3,-0x10(%rbp)
mov    %rdi,-0x18(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x10(%rbp),%xmm0
jb     112e <P_AddBlend+0x2e>
jmp    1218 <P_AddBlend+0x118>
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0xebd(%rip),%xmm0
subss  0xc(%rax),%xmm0
movss  -0x10(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm0
divss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
movss  -0x20(%rbp),%xmm2
movss  -0x4(%rbp),%xmm1
movss  0xe79(%rip),%xmm3
subss  -0x20(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  -0x20(%rbp),%xmm2
movss  -0x8(%rbp),%xmm1
movss  0xe45(%rip),%xmm3
subss  -0x20(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  -0x20(%rbp),%xmm2
movss  -0xc(%rbp),%xmm1
movss  0xe10(%rip),%xmm3
subss  -0x20(%rbp),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x8(%rax)
movss  -0x1c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0xc(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<P_AddBlend>:
xorps  %xmm4,%xmm4
ucomiss %xmm3,%xmm4
jae    116d <P_AddBlend+0x6d>
movss  0xc(%rdi),%xmm4
movss  0xeeb(%rip),%xmm6
movaps %xmm6,%xmm5
subss  %xmm4,%xmm5
mulss  %xmm3,%xmm5
addss  %xmm4,%xmm5
divss  %xmm5,%xmm4
subss  %xmm4,%xmm6
mulss  %xmm6,%xmm0
movss  (%rdi),%xmm3
mulss  %xmm4,%xmm3
addss  %xmm0,%xmm3
movss  %xmm3,(%rdi)
mulss  %xmm6,%xmm1
movss  0x4(%rdi),%xmm0
mulss  %xmm4,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,0x4(%rdi)
mulss  0x8(%rdi),%xmm4
mulss  %xmm2,%xmm6
addss  %xmm6,%xmm4
movss  %xmm4,0x8(%rdi)
movss  %xmm5,0xc(%rdi)
ret

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

LLVM IR (-O2):
define void @P_AddBlend(float %0, float %1, float %2, float %3, float* nocapture %4) {
%6 = fcmp ugt float %3, 0.000000e+00
br i1 %6, label %7, label %25
7: ; preds = %5
%8 = getelementptr inbounds float, float* %4, i64 3
%9 = load float, float* %8
%10 = fsub float 1.000000e+00, %9
%11 = tail call float @llvm.fmuladd.f32(float %10, float %3, float %9)
%12 = fdiv float %9, %11
%13 = load float, float* %4
%14 = fsub float 1.000000e+00, %12
%15 = fmul float %14, %0
%16 = tail call float @llvm.fmuladd.f32(float %13, float %12, float %15)
store float %16, float* %4
%17 = getelementptr inbounds float, float* %4, i64 1
%18 = load float, float* %17
%19 = fmul float %14, %1
%20 = tail call float @llvm.fmuladd.f32(float %18, float %12, float %19)
store float %20, float* %17
%21 = getelementptr inbounds float, float* %4, i64 2
%22 = load float, float* %21
%23 = fmul float %14, %2
%24 = tail call float @llvm.fmuladd.f32(float %22, float %12, float %23)
store float %24, float* %21
store float %11, float* %8
br label %25
25: ; preds = %5, %7
ret void
}