void transformTTT44f3f(float *m1, float *m2, float *m3) {
  float m2r0 = m2[0] + m1[12];
  float m2r1 = m2[1] + m1[13];
  float m2r2 = m2[2] + m1[14];
  m3[0] = m1[0] * m2r0 + m1[1] * m2r1 + m1[2] * m2r2 + m1[3];
  m3[1] = m1[4] * m2r0 + m1[5] * m2r1 + m1[6] * m2r2 + m1[7];
  m3[2] = m1[8] * m2r0 + m1[9] * m2r1 + m1[10] * m2r2 + m1[11];
}


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

x86 assembly (clang, -O2):
<transformTTT44f3f>:
movss  (%rsi),%xmm0
addss  0x30(%rdi),%xmm0
movss  0x4(%rsi),%xmm2
addss  0x34(%rdi),%xmm2
movss  0x8(%rsi),%xmm1
addss  0x38(%rdi),%xmm1
movss  0x4(%rdi),%xmm3
mulss  %xmm2,%xmm3
movss  (%rdi),%xmm4
mulss  %xmm0,%xmm4
addss  %xmm3,%xmm4
movss  0x8(%rdi),%xmm3
mulss  %xmm1,%xmm3
addss  %xmm4,%xmm3
addss  0xc(%rdi),%xmm3
movss  %xmm3,(%rdx)
movss  0x14(%rdi),%xmm3
mulss  %xmm2,%xmm3
movss  0x10(%rdi),%xmm4
mulss  %xmm0,%xmm4
addss  %xmm3,%xmm4
movss  0x18(%rdi),%xmm3
mulss  %xmm1,%xmm3
addss  %xmm4,%xmm3
addss  0x1c(%rdi),%xmm3
movss  %xmm3,0x4(%rdx)
mulss  0x24(%rdi),%xmm2
mulss  0x20(%rdi),%xmm0
addss  %xmm2,%xmm0
mulss  0x28(%rdi),%xmm1
addss  %xmm0,%xmm1
addss  0x2c(%rdi),%xmm1
movss  %xmm1,0x8(%rdx)
ret

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

LLVM IR (-O2):
define void @transformTTT44f3f(float* nocapture %0, float* nocapture %1, float* nocapture writeonly %2) {
%4 = load float, float* %1
%5 = getelementptr inbounds float, float* %0, i64 12
%6 = load float, float* %5
%7 = fadd float %4, %6
%8 = getelementptr inbounds float, float* %1, i64 1
%9 = load float, float* %8
%10 = getelementptr inbounds float, float* %0, i64 13
%11 = load float, float* %10
%12 = fadd float %9, %11
%13 = getelementptr inbounds float, float* %1, i64 2
%14 = load float, float* %13
%15 = getelementptr inbounds float, float* %0, i64 14
%16 = load float, float* %15
%17 = fadd float %14, %16
%18 = load float, float* %0
%19 = getelementptr inbounds float, float* %0, i64 1
%20 = load float, float* %19
%21 = fmul float %12, %20
%22 = tail call float @llvm.fmuladd.f32(float %18, float %7, float %21)
%23 = getelementptr inbounds float, float* %0, i64 2
%24 = load float, float* %23
%25 = tail call float @llvm.fmuladd.f32(float %24, float %17, float %22)
%26 = getelementptr inbounds float, float* %0, i64 3
%27 = load float, float* %26
%28 = fadd float %27, %25
store float %28, float* %2
%29 = getelementptr inbounds float, float* %0, i64 4
%30 = load float, float* %29
%31 = getelementptr inbounds float, float* %0, i64 5
%32 = load float, float* %31
%33 = fmul float %12, %32
%34 = tail call float @llvm.fmuladd.f32(float %30, float %7, float %33)
%35 = getelementptr inbounds float, float* %0, i64 6
%36 = load float, float* %35
%37 = tail call float @llvm.fmuladd.f32(float %36, float %17, float %34)
%38 = getelementptr inbounds float, float* %0, i64 7
%39 = load float, float* %38
%40 = fadd float %39, %37
%41 = getelementptr inbounds float, float* %2, i64 1
store float %40, float* %41
%42 = getelementptr inbounds float, float* %0, i64 8
%43 = load float, float* %42
%44 = getelementptr inbounds float, float* %0, i64 9
%45 = load float, float* %44
%46 = fmul float %12, %45
%47 = tail call float @llvm.fmuladd.f32(float %43, float %7, float %46)
%48 = getelementptr inbounds float, float* %0, i64 10
%49 = load float, float* %48
%50 = tail call float @llvm.fmuladd.f32(float %49, float %17, float %47)
%51 = getelementptr inbounds float, float* %0, i64 11
%52 = load float, float* %51
%53 = fadd float %52, %50
%54 = getelementptr inbounds float, float* %2, i64 2
store float %53, float* %54
ret void
}