void multABt(double *C, double *A, double *B, const int rA, const int cA,
             const int rB) {
  int i, j, k;
  double *a, *b;
  for (j = 0; j < cA; j++) {
    a = A + j * rA;
    b = B + j * rB;
    for (i = 0; i < rB; i++) {
      for (k = 0; k < rA; k++) {
        C[i * rA + k] += a[k] * b[i];
      }
    }
  }
}


x86 assembly (clang, -O0):
<multABt>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11f7 <multABt+0xf7>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
imul   -0x24(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11e4 <multABt+0xe4>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11d1 <multABt+0xd1>
mov    -0x38(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x40(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    117a <multABt+0x7a>
jmp    11d6 <multABt+0xd6>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1167 <multABt+0x67>
jmp    11e9 <multABt+0xe9>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1122 <multABt+0x22>
pop    %rbp
ret

x86 assembly (clang, -O2):
<multABt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x10,%rsp
mov    %r9d,-0x80(%rsp)
mov    %rdx,-0x48(%rsp)
mov    %rsi,-0x68(%rsp)
mov    %rdi,-0x70(%rsp)
test   %r8d,%r8d
jle    13df <multABt+0x2df>
mov    %r8d,%eax
movslq %ecx,%r12
movslq -0x80(%rsp),%rdx
mov    %r8d,%eax
mov    %rax,-0x20(%rsp)
mov    %rdx,-0x28(%rsp)
mov    %edx,%r13d
mov    %r12d,%ebx
mov    %ebx,%eax
and    $0xfffffffc,%eax
mov    %rax,-0x18(%rsp)
mov    %rbx,%rax
neg    %rax
mov    %rax,0x8(%rsp)
mov    -0x68(%rsp),%rsi
lea    0x10(%rsi),%rax
lea    0x0(,%r12,8),%rdi
mov    -0x70(%rsp),%rdx
lea    0x10(%rdx),%rbp
mov    %rbp,-0x30(%rsp)
lea    0x0(,%rbx,8),%r10
and    $0xffffffffffffffe0,%r10
add    $0x8,%rdx
mov    %rdx,-0x38(%rsp)
xor    %edx,%edx
mov    %rdx,-0x78(%rsp)
mov    %ecx,-0x7c(%rsp)
mov    %r12,-0x50(%rsp)
mov    %r13,-0x58(%rsp)
mov    %rdi,-0x60(%rsp)
jmp    11d2 <multABt+0xd2>
xchg   %ax,%ax
mov    -0x78(%rsp),%rbp
add    $0x1,%rbp
add    %rdi,%rax
add    %rdi,%rsi
mov    %rbp,%rdx
mov    %rbp,-0x78(%rsp)
cmp    -0x20(%rsp),%rbp
je     13df <multABt+0x2df>
cmpl   $0x0,-0x80(%rsp)
jle    11b0 <multABt+0xb0>
mov    -0x78(%rsp),%rbp
mov    %rbp,%r9
imul   %r12,%r9
imul   -0x28(%rsp),%rbp
lea    0x1(%rbp),%rdx
mov    %rdx,-0x8(%rsp)
mov    -0x68(%rsp),%r8
lea    (%r8,%r9,8),%rdx
mov    %rdx,-0x40(%rsp)
add    %rbx,%r9
lea    (%r8,%r9,8),%rdx
mov    %rdx,-0x10(%rsp)
mov    -0x48(%rsp),%rdx
mov    %rbp,(%rsp)
lea    (%rdx,%rbp,8),%r9
mov    -0x38(%rsp),%r8
mov    -0x30(%rsp),%r15
xor    %ebp,%ebp
jmp    1243 <multABt+0x143>
nopl   0x0(%rax)
add    $0x1,%rbp
add    %rdi,%r15
add    %rdi,%r8
cmp    %r13,%rbp
je     11b0 <multABt+0xb0>
test   %ecx,%ecx
jle    1230 <multABt+0x130>
mov    %rbp,%r11
imul   %r12,%r11
cmp    $0x4,%ecx
jae    1260 <multABt+0x160>
xor    %r14d,%r14d
jmp    1350 <multABt+0x250>
nopl   0x0(%rax,%rax,1)
lea    (%r11,%rbx,1),%rdx
mov    (%rsp),%rcx
lea    (%rcx,%rbp,1),%r14
mov    -0x8(%rsp),%rcx
lea    (%rcx,%rbp,1),%r12
mov    -0x70(%rsp),%rcx
lea    (%rcx,%r11,8),%r13
lea    (%rcx,%rdx,8),%rdi
mov    -0x48(%rsp),%rdx
lea    (%rdx,%r14,8),%rcx
lea    (%rdx,%r12,8),%rdx
cmp    -0x10(%rsp),%r13
setb   %r14b
cmp    %rdi,-0x40(%rsp)
setb   %r12b
cmp    %rdx,%r13
setb   %dl
cmp    %rdi,%rcx
setb   %cl
test   %r12b,%r14b
jne    1331 <multABt+0x231>
mov    $0x0,%r14d
and    %cl,%dl
mov    -0x7c(%rsp),%ecx
mov    -0x50(%rsp),%r12
mov    -0x58(%rsp),%r13
mov    -0x60(%rsp),%rdi
jne    1350 <multABt+0x250>
movsd  (%r9,%rbp,8),%xmm0
unpcklpd %xmm0,%xmm0
xor    %edx,%edx
nop
movupd -0x10(%rax,%rdx,1),%xmm1
movupd (%rax,%rdx,1),%xmm2
movupd -0x10(%r15,%rdx,1),%xmm3
movupd (%r15,%rdx,1),%xmm4
mulpd  %xmm0,%xmm1
addpd  %xmm3,%xmm1
mulpd  %xmm0,%xmm2
addpd  %xmm4,%xmm2
movupd %xmm1,-0x10(%r15,%rdx,1)
movupd %xmm2,(%r15,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%r10
jne    12e0 <multABt+0x1e0>
mov    -0x18(%rsp),%rdx
mov    %rdx,%r14
cmp    %rbx,%rdx
je     1230 <multABt+0x130>
jmp    1350 <multABt+0x250>
xor    %r14d,%r14d
mov    -0x7c(%rsp),%ecx
mov    -0x50(%rsp),%r12
mov    -0x58(%rsp),%r13
mov    -0x60(%rsp),%rdi
nopw   0x0(%rax,%rax,1)
mov    %r14,%rdx
test   $0x1,%bl
je     1384 <multABt+0x284>
mov    -0x40(%rsp),%rdx
movsd  (%rdx,%r14,8),%xmm0
add    %r14,%r11
mulsd  (%r9,%rbp,8),%xmm0
mov    -0x70(%rsp),%rdx
addsd  (%rdx,%r11,8),%xmm0
movsd  %xmm0,(%rdx,%r11,8)
mov    %r14,%rdx
or     $0x1,%rdx
not    %r14
cmp    0x8(%rsp),%r14
je     1230 <multABt+0x130>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%rsi,%rdx,8),%xmm0
mulsd  (%r9,%rbp,8),%xmm0
addsd  -0x8(%r8,%rdx,8),%xmm0
movsd  %xmm0,-0x8(%r8,%rdx,8)
movsd  0x8(%rsi,%rdx,8),%xmm0
mulsd  (%r9,%rbp,8),%xmm0
addsd  (%r8,%rdx,8),%xmm0
movsd  %xmm0,(%r8,%rdx,8)
add    $0x2,%rdx
cmp    %rdx,%rbx
jne    13a0 <multABt+0x2a0>
jmp    1230 <multABt+0x130>
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @multABt(double* %0, double* %1, double* %2, i32 %3, i32 %4, i32 %5) {
%7 = alloca double*
%8 = alloca double*
%9 = alloca double*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca double*
%17 = alloca double*
store double* %0, double** %7
store double* %1, double** %8
store double* %2, double** %9
store i32 %3, i32* %10
store i32 %4, i32* %11
store i32 %5, i32* %12
store i32 0, i32* %14
br label %18
18: ; preds = %73, %6
%19 = load i32, i32* %14
%20 = load i32, i32* %11
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %76
22: ; preds = %18
%23 = load double*, double** %8
%24 = load i32, i32* %14
%25 = load i32, i32* %10
%26 = mul nsw i32 %24, %25
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds double, double* %23, i64 %27
store double* %28, double** %16
%29 = load double*, double** %9
%30 = load i32, i32* %14
%31 = load i32, i32* %12
%32 = mul nsw i32 %30, %31
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds double, double* %29, i64 %33
store double* %34, double** %17
store i32 0, i32* %13
br label %35
35: ; preds = %69, %22
%36 = load i32, i32* %13
%37 = load i32, i32* %12
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %72
39: ; preds = %35
store i32 0, i32* %15
br label %40
40: ; preds = %65, %39
%41 = load i32, i32* %15
%42 = load i32, i32* %10
%43 = icmp slt i32 %41, %42
br i1 %43, label %44, label %68
44: ; preds = %40
%45 = load double*, double** %16
%46 = load i32, i32* %15
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds double, double* %45, i64 %47
%49 = load double, double* %48
%50 = load double*, double** %17
%51 = load i32, i32* %13
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds double, double* %50, i64 %52
%54 = load double, double* %53
%55 = load double*, double** %7
%56 = load i32, i32* %13
%57 = load i32, i32* %10
%58 = mul nsw i32 %56, %57
%59 = load i32, i32* %15
%60 = add nsw i32 %58, %59
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds double, double* %55, i64 %61
%63 = load double, double* %62
%64 = call double @llvm.fmuladd.f64(double %49, double %54, double %63)
store double %64, double* %62
br label %65
65: ; preds = %44
%66 = load i32, i32* %15
%67 = add nsw i32 %66, 1
store i32 %67, i32* %15
br label %40
68: ; preds = %40
br label %69
69: ; preds = %68
%70 = load i32, i32* %13
%71 = add nsw i32 %70, 1
store i32 %71, i32* %13
br label %35
72: ; preds = %35
br label %73
73: ; preds = %72
%74 = load i32, i32* %14
%75 = add nsw i32 %74, 1
store i32 %75, i32* %14
br label %18
76: ; preds = %18
ret void
}

LLVM IR (-O2):
define void @multABt(double* nocapture %0, double* nocapture %1, double* nocapture %2, i32 %3, i32 %4, i32 %5) {
%7 = icmp sgt i32 %4, 0
br i1 %7, label %8, label %123
8: ; preds = %6
%9 = icmp sgt i32 %5, 0
%10 = icmp sgt i32 %3, 0
%11 = sext i32 %3 to i64
%12 = sext i32 %5 to i64
%13 = zext i32 %4 to i64
%14 = zext i32 %5 to i64
%15 = zext i32 %3 to i64
%16 = icmp ult i32 %3, 4
%17 = and i64 %15, 4294967292
%18 = icmp eq i64 %17, %15
%19 = and i64 %15, 1
%20 = icmp eq i64 %19, 0
%21 = sub nsw i64 0, %15
br label %22
22: ; preds = %8, %120
%23 = phi i64 [ 0, %8 ], [ %121, %120 ]
%24 = mul i64 %23, %11
%25 = getelementptr double, double* %1, i64 %24
%26 = add i64 %24, %15
%27 = getelementptr double, double* %1, i64 %26
%28 = mul i64 %23, %12
%29 = add i64 %28, 1
%30 = mul nsw i64 %23, %11
%31 = getelementptr inbounds double, double* %1, i64 %30
%32 = mul nsw i64 %23, %12
%33 = getelementptr inbounds double, double* %2, i64 %32
br i1 %9, label %34, label %120
34: ; preds = %22, %117
%35 = phi i64 [ %118, %117 ], [ 0, %22 ]
%36 = mul i64 %35, %11
%37 = getelementptr double, double* %0, i64 %36
%38 = add i64 %36, %15
%39 = getelementptr double, double* %0, i64 %38
%40 = add i64 %28, %35
%41 = getelementptr double, double* %2, i64 %40
%42 = add i64 %29, %35
%43 = getelementptr double, double* %2, i64 %42
br i1 %10, label %44, label %117
44: ; preds = %34
%45 = getelementptr inbounds double, double* %33, i64 %35
%46 = mul nsw i64 %35, %11
br i1 %16, label %83, label %47
47: ; preds = %44
%48 = icmp ult double* %37, %27
%49 = icmp ult double* %25, %39
%50 = and i1 %48, %49
%51 = icmp ult double* %37, %43
%52 = icmp ult double* %41, %39
%53 = and i1 %51, %52
%54 = or i1 %50, %53
br i1 %54, label %83, label %55
55: ; preds = %47
%56 = load double, double* %45
%57 = insertelement <2 x double> poison, double %56, i64 0
%58 = shufflevector <2 x double> %57, <2 x double> poison, <2 x i32> zeroinitializer
%59 = insertelement <2 x double> poison, double %56, i64 0
%60 = shufflevector <2 x double> %59, <2 x double> poison, <2 x i32> zeroinitializer
br label %61
61: ; preds = %61, %55
%62 = phi i64 [ 0, %55 ], [ %80, %61 ]
%63 = getelementptr inbounds double, double* %31, i64 %62
%64 = bitcast double* %63 to <2 x double>*
%65 = load <2 x double>, <2 x double>* %64
%66 = getelementptr inbounds double, double* %63, i64 2
%67 = bitcast double* %66 to <2 x double>*
%68 = load <2 x double>, <2 x double>* %67
%69 = add nsw i64 %62, %46
%70 = getelementptr inbounds double, double* %0, i64 %69
%71 = bitcast double* %70 to <2 x double>*
%72 = load <2 x double>, <2 x double>* %71
%73 = getelementptr inbounds double, double* %70, i64 2
%74 = bitcast double* %73 to <2 x double>*
%75 = load <2 x double>, <2 x double>* %74
%76 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %65, <2 x double> %58, <2 x double> %72)
%77 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %68, <2 x double> %60, <2 x double> %75)
%78 = bitcast double* %70 to <2 x double>*
store <2 x double> %76, <2 x double>* %78
%79 = bitcast double* %73 to <2 x double>*
store <2 x double> %77, <2 x double>* %79
%80 = add nuw i64 %62, 4
%81 = icmp eq i64 %80, %17
br i1 %81, label %82, label %61
82: ; preds = %61
br i1 %18, label %117, label %83
83: ; preds = %47, %44, %82
%84 = phi i64 [ 0, %47 ], [ 0, %44 ], [ %17, %82 ]
%85 = xor i64 %84, -1
br i1 %20, label %95, label %86
86: ; preds = %83
%87 = getelementptr inbounds double, double* %31, i64 %84
%88 = load double, double* %87
%89 = load double, double* %45
%90 = add nsw i64 %84, %46
%91 = getelementptr inbounds double, double* %0, i64 %90
%92 = load double, double* %91
%93 = tail call double @llvm.fmuladd.f64(double %88, double %89, double %92)
store double %93, double* %91
%94 = or i64 %84, 1
br label %95
95: ; preds = %86, %83
%96 = phi i64 [ %84, %83 ], [ %94, %86 ]
%97 = icmp eq i64 %85, %21
br i1 %97, label %117, label %98
98: ; preds = %95, %98
%99 = phi i64 [ %115, %98 ], [ %96, %95 ]
%100 = getelementptr inbounds double, double* %31, i64 %99
%101 = load double, double* %100
%102 = load double, double* %45
%103 = add nsw i64 %99, %46
%104 = getelementptr inbounds double, double* %0, i64 %103
%105 = load double, double* %104
%106 = tail call double @llvm.fmuladd.f64(double %101, double %102, double %105)
store double %106, double* %104
%107 = add nuw nsw i64 %99, 1
%108 = getelementptr inbounds double, double* %31, i64 %107
%109 = load double, double* %108
%110 = load double, double* %45
%111 = add nsw i64 %107, %46
%112 = getelementptr inbounds double, double* %0, i64 %111
%113 = load double, double* %112
%114 = tail call double @llvm.fmuladd.f64(double %109, double %110, double %113)
store double %114, double* %112
%115 = add nuw nsw i64 %99, 2
%116 = icmp eq i64 %115, %15
br i1 %116, label %117, label %98
117: ; preds = %95, %98, %82, %34
%118 = add nuw nsw i64 %35, 1
%119 = icmp eq i64 %118, %14
br i1 %119, label %120, label %34
120: ; preds = %117, %22
%121 = add nuw nsw i64 %23, 1
%122 = icmp eq i64 %121, %13
br i1 %122, label %123, label %22
123: ; preds = %120, %6
ret void
}