void corner_strmm_nt_4x2_lib4(float *A, float *B, float *C) {
  const int bs = 4;
  const int lda = bs;
  const int ldc = bs;
  float a_0, a_1, a_2, a_3, b_0, b_1, b_2, b_3,
      c_00 = 0, c_01 = 0, c_10 = 0, c_11 = 0, c_20 = 0, c_21 = 0, c_30 = 0,
      c_31 = 0;
  a_0 = A[0 + lda * 0];
  a_1 = A[1 + lda * 0];
  a_2 = A[2 + lda * 0];
  a_3 = A[3 + lda * 0];
  b_0 = B[0 + lda * 0];
  c_00 += a_0 * b_0;
  c_10 += a_1 * b_0;
  c_20 += a_2 * b_0;
  c_30 += a_3 * b_0;
  a_0 = A[0 + lda * 1];
  a_1 = A[1 + lda * 1];
  a_2 = A[2 + lda * 1];
  a_3 = A[3 + lda * 1];
  b_0 = B[0 + lda * 1];
  b_1 = B[1 + lda * 1];
  c_00 += a_0 * b_0;
  c_10 += a_1 * b_0;
  c_20 += a_2 * b_0;
  c_30 += a_3 * b_0;
  c_01 += a_0 * b_1;
  c_11 += a_1 * b_1;
  c_21 += a_2 * b_1;
  c_31 += a_3 * b_1;
  C[0 + ldc * 0] = c_00;
  C[1 + ldc * 0] = c_10;
  C[2 + ldc * 0] = c_20;
  C[3 + ldc * 0] = c_30;
  C[0 + ldc * 1] = c_01;
  C[1 + ldc * 1] = c_11;
  C[2 + ldc * 1] = c_21;
  C[3 + ldc * 1] = c_31;
}


x86 assembly (clang, -O0):
<corner_strmm_nt_4x2_lib4>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x4,-0x1c(%rbp)
movl   $0x4,-0x20(%rbp)
movl   $0x4,-0x24(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x48(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x50(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x54(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x58(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x5c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x60(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x64(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x28(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x48(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x50(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x30(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x58(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x58(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x60(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x60(%rbp)
mov    -0x8(%rbp),%rax
movss  0x10(%rax),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  0x14(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movss  0x18(%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movss  0x1c(%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movss  0x10(%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movss  0x14(%rax),%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x28(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x48(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x50(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x30(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x58(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x58(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x60(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x60(%rbp)
movss  -0x28(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
movss  -0x4c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
movss  -0x54(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
movss  -0x30(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
movss  -0x5c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x5c(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
movss  -0x64(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x64(%rbp)
movss  -0x48(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x50(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x4(%rax)
movss  -0x58(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x8(%rax)
movss  -0x60(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0xc(%rax)
movss  -0x4c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x10(%rax)
movss  -0x54(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x14(%rax)
movss  -0x5c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x18(%rax)
movss  -0x64(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x1c(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<corner_strmm_nt_4x2_lib4>:
movss  (%rsi),%xmm0
movss  0x10(%rsi),%xmm1
movss  0x14(%rsi),%xmm2
shufps $0x0,%xmm0,%xmm0
movups (%rdi),%xmm3
mulps  %xmm0,%xmm3
movups 0x10(%rdi),%xmm0
xorps  %xmm4,%xmm4
addps  %xmm4,%xmm3
shufps $0x0,%xmm1,%xmm1
mulps  %xmm0,%xmm1
addps  %xmm3,%xmm1
shufps $0x0,%xmm2,%xmm2
mulps  %xmm0,%xmm2
addps  %xmm4,%xmm2
movups %xmm1,(%rdx)
movups %xmm2,0x10(%rdx)
ret

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

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