int MatrixMultply(double A[][3], int ARow, int AColumn, double B[][4],
                  int BColumn, double C[][4]) {
  int i;
  int j;
  int k;
  for (i = 0; i < ARow; i++) {
    for (j = 0; j < BColumn; j++) {
      C[i][j] = 0.0;
      for (k = 0; k < AColumn; k++) {
        C[i][j] = C[i][j] + A[i][k] * B[k][j];
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<MatrixMultply>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    120a <MatrixMultply+0x10a>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11f7 <MatrixMultply+0xf7>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11e4 <MatrixMultply+0xe4>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x5,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1162 <MatrixMultply+0x62>
jmp    11e9 <MatrixMultply+0xe9>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1134 <MatrixMultply+0x34>
jmp    11fc <MatrixMultply+0xfc>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1121 <MatrixMultply+0x21>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<MatrixMultply>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8d,-0x14(%rsp)
test   %esi,%esi
jle    122b <MatrixMultply+0x12b>
mov    %esi,%eax
mov    %rax,-0x8(%rsp)
mov    -0x14(%rsp),%r15d
mov    %edx,%r8d
mov    %r8d,%r11d
and    $0xfffffffe,%r11d
lea    0x8(%rdi),%rbx
lea    0x20(%rcx),%rax
mov    %rax,-0x10(%rsp)
xor    %r12d,%r12d
jmp    1153 <MatrixMultply+0x53>
nop
add    $0x1,%r12
add    $0x18,%rbx
cmp    -0x8(%rsp),%r12
je     122b <MatrixMultply+0x12b>
cmpl   $0x0,-0x14(%rsp)
jle    1140 <MatrixMultply+0x40>
mov    -0x10(%rsp),%r10
xor    %esi,%esi
jmp    117d <MatrixMultply+0x7d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rsi
add    $0x8,%r10
cmp    %r15,%rsi
je     1140 <MatrixMultply+0x40>
mov    %r12,%rbp
shl    $0x5,%rbp
add    %r9,%rbp
movq   $0x0,0x0(%rbp,%rsi,8)
test   %edx,%edx
jle    1170 <MatrixMultply+0x70>
lea    0x0(%rbp,%rsi,8),%rbp
xorpd  %xmm0,%xmm0
cmp    $0x1,%edx
jne    11b0 <MatrixMultply+0xb0>
xor    %r14d,%r14d
jmp    11f8 <MatrixMultply+0xf8>
nopw   0x0(%rax,%rax,1)
mov    %r10,%r13
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
movsd  -0x8(%rbx,%r14,8),%xmm1
mulsd  -0x20(%r13),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x0(%rbp)
movsd  (%rbx,%r14,8),%xmm0
mulsd  0x0(%r13),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,0x0(%rbp)
add    $0x2,%r14
add    $0x40,%r13
cmp    %r14,%r11
jne    11c0 <MatrixMultply+0xc0>
test   $0x1,%r8b
je     1170 <MatrixMultply+0x70>
lea    (%r12,%r12,2),%rax
lea    (%rdi,%rax,8),%rax
movsd  (%rax,%r14,8),%xmm1
shl    $0x5,%r14
add    %rcx,%r14
mulsd  (%r14,%rsi,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,0x0(%rbp)
jmp    1170 <MatrixMultply+0x70>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @MatrixMultply([3 x double]* nocapture %0, i32 %1, i32 %2, [4 x double]* nocapture %3, i32 %4, [4 x double]* nocapture %5) {
%7 = icmp sgt i32 %1, 0
br i1 %7, label %8, label %57
8: ; preds = %6
%9 = icmp sgt i32 %4, 0
%10 = icmp sgt i32 %2, 0
%11 = zext i32 %1 to i64
%12 = zext i32 %4 to i64
%13 = zext i32 %2 to i64
%14 = and i64 %13, 1
%15 = icmp eq i32 %2, 1
%16 = and i64 %13, 4294967294
%17 = icmp eq i64 %14, 0
br label %18
18: ; preds = %8, %54
%19 = phi i64 [ 0, %8 ], [ %55, %54 ]
br i1 %9, label %20, label %54
20: ; preds = %18, %51
%21 = phi i64 [ %52, %51 ], [ 0, %18 ]
%22 = getelementptr inbounds [4 x double], [4 x double]* %5, i64 %19, i64 %21
store double 0.000000e+00, double* %22
br i1 %10, label %23, label %51
23: ; preds = %20
br i1 %15, label %42, label %24
24: ; preds = %23, %24
%25 = phi double [ %38, %24 ], [ 0.000000e+00, %23 ]
%26 = phi i64 [ %39, %24 ], [ 0, %23 ]
%27 = phi i64 [ %40, %24 ], [ 0, %23 ]
%28 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 %19, i64 %26
%29 = load double, double* %28
%30 = getelementptr inbounds [4 x double], [4 x double]* %3, i64 %26, i64 %21
%31 = load double, double* %30
%32 = tail call double @llvm.fmuladd.f64(double %29, double %31, double %25)
store double %32, double* %22
%33 = or i64 %26, 1
%34 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 %19, i64 %33
%35 = load double, double* %34
%36 = getelementptr inbounds [4 x double], [4 x double]* %3, i64 %33, i64 %21
%37 = load double, double* %36
%38 = tail call double @llvm.fmuladd.f64(double %35, double %37, double %32)
store double %38, double* %22
%39 = add nuw nsw i64 %26, 2
%40 = add i64 %27, 2
%41 = icmp eq i64 %40, %16
br i1 %41, label %42, label %24
42: ; preds = %24, %23
%43 = phi double [ 0.000000e+00, %23 ], [ %38, %24 ]
%44 = phi i64 [ 0, %23 ], [ %39, %24 ]
br i1 %17, label %51, label %45
45: ; preds = %42
%46 = getelementptr inbounds [3 x double], [3 x double]* %0, i64 %19, i64 %44
%47 = load double, double* %46
%48 = getelementptr inbounds [4 x double], [4 x double]* %3, i64 %44, i64 %21
%49 = load double, double* %48
%50 = tail call double @llvm.fmuladd.f64(double %47, double %49, double %43)
store double %50, double* %22
br label %51
51: ; preds = %45, %42, %20
%52 = add nuw nsw i64 %21, 1
%53 = icmp eq i64 %52, %12
br i1 %53, label %54, label %20
54: ; preds = %51, %18
%55 = add nuw nsw i64 %19, 1
%56 = icmp eq i64 %55, %11
br i1 %56, label %57, label %18
57: ; preds = %54, %6
ret i32 0
}