void mat4_translate(float dst[16], float v[3]) {
  float x = v[0], y = v[1], z = v[2];
  dst[12] = dst[0] * x + dst[4] * y + dst[8] * z + dst[12];
  dst[13] = dst[1] * x + dst[5] * y + dst[9] * z + dst[13];
  dst[14] = dst[2] * x + dst[6] * y + dst[10] * z + dst[14];
  dst[15] = dst[3] * x + dst[7] * y + dst[11] * z + dst[15];
}


x86 assembly (clang, -O0):
<mat4_translate>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
movss  -0x14(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movss  0x10(%rax),%xmm0
mulss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0x20(%rax),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
addss  0x30(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x30(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
movss  -0x14(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movss  0x14(%rax),%xmm0
mulss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0x24(%rax),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
addss  0x34(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x34(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm1
movss  -0x14(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movss  0x18(%rax),%xmm0
mulss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0x28(%rax),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
addss  0x38(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x38(%rax)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm1
movss  -0x14(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movss  0x1c(%rax),%xmm0
mulss  -0x18(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0x2c(%rax),%xmm0
movss  -0x1c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
addss  0x3c(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x3c(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<mat4_translate>:
movss  (%rsi),%xmm0
movss  0x4(%rsi),%xmm1
movss  0x8(%rsi),%xmm2
shufps $0x0,%xmm1,%xmm1
movups (%rdi),%xmm3
movups 0x10(%rdi),%xmm4
mulps  %xmm1,%xmm4
movups 0x20(%rdi),%xmm1
movups 0x30(%rdi),%xmm5
shufps $0x0,%xmm0,%xmm0
mulps  %xmm3,%xmm0
addps  %xmm4,%xmm0
shufps $0x0,%xmm2,%xmm2
mulps  %xmm1,%xmm2
addps  %xmm0,%xmm2
addps  %xmm5,%xmm2
movups %xmm2,0x30(%rdi)
ret

LLVM IR (-O0):
define void @mat4_translate(float* %0, float* %1) {
%3 = alloca float*
%4 = alloca float*
%5 = alloca float
%6 = alloca float
%7 = alloca float
store float* %0, float** %3
store float* %1, float** %4
%8 = load float*, float** %4
%9 = getelementptr inbounds float, float* %8, i64 0
%10 = load float, float* %9
store float %10, float* %5
%11 = load float*, float** %4
%12 = getelementptr inbounds float, float* %11, i64 1
%13 = load float, float* %12
store float %13, float* %6
%14 = load float*, float** %4
%15 = getelementptr inbounds float, float* %14, i64 2
%16 = load float, float* %15
store float %16, float* %7
%17 = load float*, float** %3
%18 = getelementptr inbounds float, float* %17, i64 0
%19 = load float, float* %18
%20 = load float, float* %5
%21 = load float*, float** %3
%22 = getelementptr inbounds float, float* %21, i64 4
%23 = load float, float* %22
%24 = load float, float* %6
%25 = fmul float %23, %24
%26 = call float @llvm.fmuladd.f32(float %19, float %20, float %25)
%27 = load float*, float** %3
%28 = getelementptr inbounds float, float* %27, i64 8
%29 = load float, float* %28
%30 = load float, float* %7
%31 = call float @llvm.fmuladd.f32(float %29, float %30, float %26)
%32 = load float*, float** %3
%33 = getelementptr inbounds float, float* %32, i64 12
%34 = load float, float* %33
%35 = fadd float %31, %34
%36 = load float*, float** %3
%37 = getelementptr inbounds float, float* %36, i64 12
store float %35, float* %37
%38 = load float*, float** %3
%39 = getelementptr inbounds float, float* %38, i64 1
%40 = load float, float* %39
%41 = load float, float* %5
%42 = load float*, float** %3
%43 = getelementptr inbounds float, float* %42, i64 5
%44 = load float, float* %43
%45 = load float, float* %6
%46 = fmul float %44, %45
%47 = call float @llvm.fmuladd.f32(float %40, float %41, float %46)
%48 = load float*, float** %3
%49 = getelementptr inbounds float, float* %48, i64 9
%50 = load float, float* %49
%51 = load float, float* %7
%52 = call float @llvm.fmuladd.f32(float %50, float %51, float %47)
%53 = load float*, float** %3
%54 = getelementptr inbounds float, float* %53, i64 13
%55 = load float, float* %54
%56 = fadd float %52, %55
%57 = load float*, float** %3
%58 = getelementptr inbounds float, float* %57, i64 13
store float %56, float* %58
%59 = load float*, float** %3
%60 = getelementptr inbounds float, float* %59, i64 2
%61 = load float, float* %60
%62 = load float, float* %5
%63 = load float*, float** %3
%64 = getelementptr inbounds float, float* %63, i64 6
%65 = load float, float* %64
%66 = load float, float* %6
%67 = fmul float %65, %66
%68 = call float @llvm.fmuladd.f32(float %61, float %62, float %67)
%69 = load float*, float** %3
%70 = getelementptr inbounds float, float* %69, i64 10
%71 = load float, float* %70
%72 = load float, float* %7
%73 = call float @llvm.fmuladd.f32(float %71, float %72, float %68)
%74 = load float*, float** %3
%75 = getelementptr inbounds float, float* %74, i64 14
%76 = load float, float* %75
%77 = fadd float %73, %76
%78 = load float*, float** %3
%79 = getelementptr inbounds float, float* %78, i64 14
store float %77, float* %79
%80 = load float*, float** %3
%81 = getelementptr inbounds float, float* %80, i64 3
%82 = load float, float* %81
%83 = load float, float* %5
%84 = load float*, float** %3
%85 = getelementptr inbounds float, float* %84, i64 7
%86 = load float, float* %85
%87 = load float, float* %6
%88 = fmul float %86, %87
%89 = call float @llvm.fmuladd.f32(float %82, float %83, float %88)
%90 = load float*, float** %3
%91 = getelementptr inbounds float, float* %90, i64 11
%92 = load float, float* %91
%93 = load float, float* %7
%94 = call float @llvm.fmuladd.f32(float %92, float %93, float %89)
%95 = load float*, float** %3
%96 = getelementptr inbounds float, float* %95, i64 15
%97 = load float, float* %96
%98 = fadd float %94, %97
%99 = load float*, float** %3
%100 = getelementptr inbounds float, float* %99, i64 15
store float %98, float* %100
ret void
}

LLVM IR (-O2):
define void @mat4_translate(float* nocapture %0, float* nocapture %1) {
%3 = load float, float* %1
%4 = getelementptr inbounds float, float* %1, i64 1
%5 = load float, float* %4
%6 = getelementptr inbounds float, float* %1, i64 2
%7 = load float, float* %6
%8 = getelementptr inbounds float, float* %0, i64 4
%9 = getelementptr inbounds float, float* %0, i64 8
%10 = getelementptr inbounds float, float* %0, i64 12
%11 = bitcast float* %0 to <4 x float>*
%12 = load <4 x float>, <4 x float>* %11
%13 = bitcast float* %8 to <4 x float>*
%14 = load <4 x float>, <4 x float>* %13
%15 = insertelement <4 x float> poison, float %5, i64 0
%16 = shufflevector <4 x float> %15, <4 x float> poison, <4 x i32> zeroinitializer
%17 = fmul <4 x float> %16, %14
%18 = insertelement <4 x float> poison, float %3, i64 0
%19 = shufflevector <4 x float> %18, <4 x float> poison, <4 x i32> zeroinitializer
%20 = call <4 x float> @llvm.fmuladd.v4f32(<4 x float> %12, <4 x float> %19, <4 x float> %17)
%21 = bitcast float* %9 to <4 x float>*
%22 = load <4 x float>, <4 x float>* %21
%23 = insertelement <4 x float> poison, float %7, i64 0
%24 = shufflevector <4 x float> %23, <4 x float> poison, <4 x i32> zeroinitializer
%25 = call <4 x float> @llvm.fmuladd.v4f32(<4 x float> %22, <4 x float> %24, <4 x float> %20)
%26 = bitcast float* %10 to <4 x float>*
%27 = load <4 x float>, <4 x float>* %26
%28 = fadd <4 x float> %27, %25
%29 = bitcast float* %10 to <4 x float>*
store <4 x float> %28, <4 x float>* %29
ret void
}