void matrix_multiply3x4(float *result, const float *a, const float *b) {
  int i;
  for (i = 0; i < 3; i++) {
    const float ai0 = a[(0 << 2) + i], ai1 = a[(1 << 2) + i],
                ai2 = a[(2 << 2) + i], ai3 = a[(3 << 2) + i];
    result[(0 << 2) + i] =
        ai0 * b[(0 << 2) + 0] + ai1 * b[(0 << 2) + 1] + ai2 * b[(0 << 2) + 2];
    result[(1 << 2) + i] =
        ai0 * b[(1 << 2) + 0] + ai1 * b[(1 << 2) + 1] + ai2 * b[(1 << 2) + 2];
    result[(2 << 2) + i] =
        ai0 * b[(2 << 2) + 0] + ai1 * b[(2 << 2) + 1] + ai2 * b[(2 << 2) + 2];
    result[(3 << 2) + i] = ai0 * b[(3 << 2) + 0] + ai1 * b[(3 << 2) + 1] +
                           ai2 * b[(3 << 2) + 2] + ai3;
  }
  result[(0 << 2) + 3] = 0;
  result[(1 << 2) + 3] = 0;
  result[(2 << 2) + 3] = 0;
  result[(3 << 2) + 3] = 1;
}


x86 assembly (clang, -O0):
<matrix_multiply3x4>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jge    12bf <matrix_multiply3x4+0x1bf>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0xc,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x20(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm2
movss  -0x24(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x20(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movss  0x10(%rax),%xmm2
movss  -0x24(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mulss  0x14(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  0x18(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x20(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movss  0x20(%rax),%xmm2
movss  -0x24(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mulss  0x24(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  0x28(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x20(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movss  0x30(%rax),%xmm2
movss  -0x24(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mulss  0x34(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  0x38(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x2c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0xc,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <matrix_multiply3x4+0x17>
mov    -0x8(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x1c(%rax)
mov    -0x8(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x2c(%rax)
mov    -0x8(%rbp),%rax
movss  0xd11(%rip),%xmm0
movss  %xmm0,0x3c(%rax)
pop    %rbp
ret

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

LLVM IR (-O0):
define void @matrix_multiply3x4(float* %0, float* %1, float* %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca float*
%7 = alloca i32
%8 = alloca float
%9 = alloca float
%10 = alloca float
%11 = alloca float
store float* %0, float** %4
store float* %1, float** %5
store float* %2, float** %6
store i32 0, i32* %7
br label %12
12: ; preds = %122, %3
%13 = load i32, i32* %7
%14 = icmp slt i32 %13, 3
br i1 %14, label %15, label %125
15: ; preds = %12
%16 = load float*, float** %5
%17 = load i32, i32* %7
%18 = add nsw i32 0, %17
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds float, float* %16, i64 %19
%21 = load float, float* %20
store float %21, float* %8
%22 = load float*, float** %5
%23 = load i32, i32* %7
%24 = add nsw i32 4, %23
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds float, float* %22, i64 %25
%27 = load float, float* %26
store float %27, float* %9
%28 = load float*, float** %5
%29 = load i32, i32* %7
%30 = add nsw i32 8, %29
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float, float* %28, i64 %31
%33 = load float, float* %32
store float %33, float* %10
%34 = load float*, float** %5
%35 = load i32, i32* %7
%36 = add nsw i32 12, %35
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds float, float* %34, i64 %37
%39 = load float, float* %38
store float %39, float* %11
%40 = load float, float* %8
%41 = load float*, float** %6
%42 = getelementptr inbounds float, float* %41, i64 0
%43 = load float, float* %42
%44 = load float, float* %9
%45 = load float*, float** %6
%46 = getelementptr inbounds float, float* %45, i64 1
%47 = load float, float* %46
%48 = fmul float %44, %47
%49 = call float @llvm.fmuladd.f32(float %40, float %43, float %48)
%50 = load float, float* %10
%51 = load float*, float** %6
%52 = getelementptr inbounds float, float* %51, i64 2
%53 = load float, float* %52
%54 = call float @llvm.fmuladd.f32(float %50, float %53, float %49)
%55 = load float*, float** %4
%56 = load i32, i32* %7
%57 = add nsw i32 0, %56
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds float, float* %55, i64 %58
store float %54, float* %59
%60 = load float, float* %8
%61 = load float*, float** %6
%62 = getelementptr inbounds float, float* %61, i64 4
%63 = load float, float* %62
%64 = load float, float* %9
%65 = load float*, float** %6
%66 = getelementptr inbounds float, float* %65, i64 5
%67 = load float, float* %66
%68 = fmul float %64, %67
%69 = call float @llvm.fmuladd.f32(float %60, float %63, float %68)
%70 = load float, float* %10
%71 = load float*, float** %6
%72 = getelementptr inbounds float, float* %71, i64 6
%73 = load float, float* %72
%74 = call float @llvm.fmuladd.f32(float %70, float %73, float %69)
%75 = load float*, float** %4
%76 = load i32, i32* %7
%77 = add nsw i32 4, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds float, float* %75, i64 %78
store float %74, float* %79
%80 = load float, float* %8
%81 = load float*, float** %6
%82 = getelementptr inbounds float, float* %81, i64 8
%83 = load float, float* %82
%84 = load float, float* %9
%85 = load float*, float** %6
%86 = getelementptr inbounds float, float* %85, i64 9
%87 = load float, float* %86
%88 = fmul float %84, %87
%89 = call float @llvm.fmuladd.f32(float %80, float %83, float %88)
%90 = load float, float* %10
%91 = load float*, float** %6
%92 = getelementptr inbounds float, float* %91, i64 10
%93 = load float, float* %92
%94 = call float @llvm.fmuladd.f32(float %90, float %93, float %89)
%95 = load float*, float** %4
%96 = load i32, i32* %7
%97 = add nsw i32 8, %96
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds float, float* %95, i64 %98
store float %94, float* %99
%100 = load float, float* %8
%101 = load float*, float** %6
%102 = getelementptr inbounds float, float* %101, i64 12
%103 = load float, float* %102
%104 = load float, float* %9
%105 = load float*, float** %6
%106 = getelementptr inbounds float, float* %105, i64 13
%107 = load float, float* %106
%108 = fmul float %104, %107
%109 = call float @llvm.fmuladd.f32(float %100, float %103, float %108)
%110 = load float, float* %10
%111 = load float*, float** %6
%112 = getelementptr inbounds float, float* %111, i64 14
%113 = load float, float* %112
%114 = call float @llvm.fmuladd.f32(float %110, float %113, float %109)
%115 = load float, float* %11
%116 = fadd float %114, %115
%117 = load float*, float** %4
%118 = load i32, i32* %7
%119 = add nsw i32 12, %118
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds float, float* %117, i64 %120
store float %116, float* %121
br label %122
122: ; preds = %15
%123 = load i32, i32* %7
%124 = add nsw i32 %123, 1
store i32 %124, i32* %7
br label %12
125: ; preds = %12
%126 = load float*, float** %4
%127 = getelementptr inbounds float, float* %126, i64 3
store float 0.000000e+00, float* %127
%128 = load float*, float** %4
%129 = getelementptr inbounds float, float* %128, i64 7
store float 0.000000e+00, float* %129
%130 = load float*, float** %4
%131 = getelementptr inbounds float, float* %130, i64 11
store float 0.000000e+00, float* %131
%132 = load float*, float** %4
%133 = getelementptr inbounds float, float* %132, i64 15
store float 1.000000e+00, float* %133
ret void
}

LLVM IR (-O2):
define void @matrix_multiply3x4(float* nocapture writeonly %0, float* nocapture %1, float* nocapture %2) {
%4 = getelementptr inbounds float, float* %2, i64 1
%5 = getelementptr inbounds float, float* %2, i64 2
%6 = getelementptr inbounds float, float* %2, i64 4
%7 = getelementptr inbounds float, float* %2, i64 5
%8 = getelementptr inbounds float, float* %2, i64 6
%9 = getelementptr inbounds float, float* %2, i64 8
%10 = getelementptr inbounds float, float* %2, i64 9
%11 = getelementptr inbounds float, float* %2, i64 10
%12 = getelementptr inbounds float, float* %2, i64 12
%13 = getelementptr inbounds float, float* %2, i64 13
%14 = getelementptr inbounds float, float* %2, i64 14
%15 = load float, float* %1
%16 = getelementptr inbounds float, float* %1, i64 4
%17 = load float, float* %16
%18 = getelementptr inbounds float, float* %1, i64 8
%19 = load float, float* %18
%20 = getelementptr inbounds float, float* %1, i64 12
%21 = load float, float* %20
%22 = load float, float* %2
%23 = load float, float* %4
%24 = fmul float %17, %23
%25 = tail call float @llvm.fmuladd.f32(float %15, float %22, float %24)
%26 = load float, float* %5
%27 = tail call float @llvm.fmuladd.f32(float %19, float %26, float %25)
store float %27, float* %0
%28 = load float, float* %6
%29 = load float, float* %7
%30 = fmul float %17, %29
%31 = tail call float @llvm.fmuladd.f32(float %15, float %28, float %30)
%32 = load float, float* %8
%33 = tail call float @llvm.fmuladd.f32(float %19, float %32, float %31)
%34 = getelementptr inbounds float, float* %0, i64 4
store float %33, float* %34
%35 = load float, float* %9
%36 = load float, float* %10
%37 = fmul float %17, %36
%38 = tail call float @llvm.fmuladd.f32(float %15, float %35, float %37)
%39 = load float, float* %11
%40 = tail call float @llvm.fmuladd.f32(float %19, float %39, float %38)
%41 = getelementptr inbounds float, float* %0, i64 8
store float %40, float* %41
%42 = load float, float* %12
%43 = load float, float* %13
%44 = fmul float %17, %43
%45 = tail call float @llvm.fmuladd.f32(float %15, float %42, float %44)
%46 = load float, float* %14
%47 = tail call float @llvm.fmuladd.f32(float %19, float %46, float %45)
%48 = fadd float %21, %47
%49 = getelementptr inbounds float, float* %0, i64 12
store float %48, float* %49
%50 = getelementptr inbounds float, float* %1, i64 1
%51 = load float, float* %50
%52 = getelementptr inbounds float, float* %1, i64 5
%53 = load float, float* %52
%54 = getelementptr inbounds float, float* %1, i64 9
%55 = load float, float* %54
%56 = getelementptr inbounds float, float* %1, i64 13
%57 = load float, float* %56
%58 = load float, float* %2
%59 = load float, float* %4
%60 = fmul float %53, %59
%61 = tail call float @llvm.fmuladd.f32(float %51, float %58, float %60)
%62 = load float, float* %5
%63 = tail call float @llvm.fmuladd.f32(float %55, float %62, float %61)
%64 = getelementptr inbounds float, float* %0, i64 1
store float %63, float* %64
%65 = load float, float* %6
%66 = load float, float* %7
%67 = fmul float %53, %66
%68 = tail call float @llvm.fmuladd.f32(float %51, float %65, float %67)
%69 = load float, float* %8
%70 = tail call float @llvm.fmuladd.f32(float %55, float %69, float %68)
%71 = getelementptr inbounds float, float* %0, i64 5
store float %70, float* %71
%72 = load float, float* %9
%73 = load float, float* %10
%74 = fmul float %53, %73
%75 = tail call float @llvm.fmuladd.f32(float %51, float %72, float %74)
%76 = load float, float* %11
%77 = tail call float @llvm.fmuladd.f32(float %55, float %76, float %75)
%78 = getelementptr inbounds float, float* %0, i64 9
store float %77, float* %78
%79 = load float, float* %12
%80 = load float, float* %13
%81 = fmul float %53, %80
%82 = tail call float @llvm.fmuladd.f32(float %51, float %79, float %81)
%83 = load float, float* %14
%84 = tail call float @llvm.fmuladd.f32(float %55, float %83, float %82)
%85 = fadd float %57, %84
%86 = getelementptr inbounds float, float* %0, i64 13
store float %85, float* %86
%87 = getelementptr inbounds float, float* %1, i64 2
%88 = load float, float* %87
%89 = getelementptr inbounds float, float* %1, i64 6
%90 = load float, float* %89
%91 = getelementptr inbounds float, float* %1, i64 10
%92 = load float, float* %91
%93 = getelementptr inbounds float, float* %1, i64 14
%94 = load float, float* %93
%95 = load float, float* %2
%96 = load float, float* %4
%97 = fmul float %90, %96
%98 = tail call float @llvm.fmuladd.f32(float %88, float %95, float %97)
%99 = load float, float* %5
%100 = tail call float @llvm.fmuladd.f32(float %92, float %99, float %98)
%101 = getelementptr inbounds float, float* %0, i64 2
store float %100, float* %101
%102 = load float, float* %6
%103 = load float, float* %7
%104 = fmul float %90, %103
%105 = tail call float @llvm.fmuladd.f32(float %88, float %102, float %104)
%106 = load float, float* %8
%107 = tail call float @llvm.fmuladd.f32(float %92, float %106, float %105)
%108 = getelementptr inbounds float, float* %0, i64 6
store float %107, float* %108
%109 = load float, float* %9
%110 = load float, float* %10
%111 = fmul float %90, %110
%112 = tail call float @llvm.fmuladd.f32(float %88, float %109, float %111)
%113 = load float, float* %11
%114 = tail call float @llvm.fmuladd.f32(float %92, float %113, float %112)
%115 = getelementptr inbounds float, float* %0, i64 10
store float %114, float* %115
%116 = load float, float* %12
%117 = load float, float* %13
%118 = fmul float %90, %117
%119 = tail call float @llvm.fmuladd.f32(float %88, float %116, float %118)
%120 = load float, float* %14
%121 = tail call float @llvm.fmuladd.f32(float %92, float %120, float %119)
%122 = fadd float %94, %121
%123 = getelementptr inbounds float, float* %0, i64 14
store float %122, float* %123
%124 = getelementptr inbounds float, float* %0, i64 3
store float 0.000000e+00, float* %124
%125 = getelementptr inbounds float, float* %0, i64 7
store float 0.000000e+00, float* %125
%126 = getelementptr inbounds float, float* %0, i64 11
store float 0.000000e+00, float* %126
%127 = getelementptr inbounds float, float* %0, i64 15
store float 1.000000e+00, float* %127
ret void
}