void matMulti(const int row1, const int col1, int *const *const mat1,
              const int row2, const int col2, int *const *const mat2,
              int *const *const result) {
  assert(col1 == row2);
  assert(row1 >= 0);
  assert(col1 >= 0);
  assert(col2 >= 0);
  for (int i = 0; i < row1; i++) {
    memset(result[i], 0, col2);
  }
  for (int i = 0; i < row1; i++) {
    for (int j = 0; j < col2; j++) {
      for (int k = 0; k < col1; k++) {
        result[i][j] += mat1[i][k] * mat2[k][j];
      }
    }
  }
}


x86 assembly (clang, -O0):
<matMulti>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
cmpl   $0x0,-0x4(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
cmpl   $0x0,-0x8(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
cmpl   $0x0,-0x18(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1040 <assert@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11c7 <matMulti+0xa7>
mov    0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
movslq -0x18(%rbp),%rdx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1196 <matMulti+0x76>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1271 <matMulti+0x151>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    125e <matMulti+0x13e>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    124b <matMulti+0x12b>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11f4 <matMulti+0xd4>
jmp    1250 <matMulti+0x130>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e1 <matMulti+0xc1>
jmp    1263 <matMulti+0x143>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11ce <matMulti+0xae>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<matMulti>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,%r15
mov    %r8d,%ebx
mov    %rdx,%r14
mov    %esi,%r12d
mov    %edi,%ebp
xor    %edi,%edi
cmp    %ecx,%esi
sete   %dil
xor    %eax,%eax
call   1040 <assert@plt>
mov    %ebp,%edi
not    %edi
shr    $0x1f,%edi
xor    %eax,%eax
call   1040 <assert@plt>
mov    %r12d,%edi
not    %edi
shr    $0x1f,%edi
xor    %eax,%eax
call   1040 <assert@plt>
mov    %ebx,%edi
not    %edi
shr    $0x1f,%edi
xor    %eax,%eax
call   1040 <assert@plt>
test   %ebp,%ebp
jle    1345 <matMulti+0x225>
mov    %r14,0x18(%rsp)
mov    %ebx,0xc(%rsp)
movslq %ebx,%r13
mov    %ebp,0x8(%rsp)
mov    %ebp,%ecx
lea    -0x1(%rcx),%rax
mov    %ecx,%edx
and    $0x7,%edx
mov    %rdx,0x10(%rsp)
cmp    $0x7,%rax
mov    %rcx,0x20(%rsp)
jae    11b1 <matMulti+0x91>
xor    %r14d,%r14d
jmp    1240 <matMulti+0x120>
mov    %ecx,%ebp
and    $0xfffffff8,%ebp
xor    %r14d,%r14d
mov    0x60(%rsp),%rbx
xchg   %ax,%ax
mov    (%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x8(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x10(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x18(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x20(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x28(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x30(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
mov    0x38(%rbx,%r14,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
add    $0x8,%r14
cmp    %r14,%rbp
jne    11c0 <matMulti+0xa0>
mov    0x10(%rsp),%rbx
test   %rbx,%rbx
je     1277 <matMulti+0x157>
mov    0x60(%rsp),%rax
lea    (%rax,%r14,8),%r14
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%r14,%rbp,8),%rdi
xor    %esi,%esi
mov    %r13,%rdx
call   1030 <memset@plt>
add    $0x1,%rbp
cmp    %rbp,%rbx
jne    1260 <matMulti+0x140>
cmpl   $0x0,0x8(%rsp)
mov    0xc(%rsp),%r11d
mov    0x18(%rsp),%r14
mov    0x60(%rsp),%r13
jle    1345 <matMulti+0x225>
mov    %r11d,%r9d
mov    %r12d,%r8d
mov    %r8d,%edx
and    $0xfffffffe,%edx
xor    %r10d,%r10d
jmp    12bf <matMulti+0x19f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r10
cmp    0x20(%rsp),%r10
je     1345 <matMulti+0x225>
test   %r11d,%r11d
jle    12b0 <matMulti+0x190>
xor    %edi,%edi
jmp    12d9 <matMulti+0x1b9>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rdi
cmp    %r9,%rdi
je     12b0 <matMulti+0x190>
test   %r12d,%r12d
jle    12d0 <matMulti+0x1b0>
mov    (%r14,%r10,8),%rbp
mov    0x0(%r13,%r10,8),%rcx
mov    (%rcx,%rdi,4),%eax
xor    %esi,%esi
cmp    $0x1,%r12d
je     132c <matMulti+0x20c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%r15,%rsi,8),%rbx
mov    (%rbx,%rdi,4),%ebx
imul   0x0(%rbp,%rsi,4),%ebx
add    %eax,%ebx
mov    %ebx,(%rcx,%rdi,4)
mov    0x8(%r15,%rsi,8),%rax
mov    (%rax,%rdi,4),%eax
imul   0x4(%rbp,%rsi,4),%eax
add    %ebx,%eax
mov    %eax,(%rcx,%rdi,4)
add    $0x2,%rsi
cmp    %rsi,%rdx
jne    1300 <matMulti+0x1e0>
test   $0x1,%r8b
je     12d0 <matMulti+0x1b0>
mov    (%r15,%rsi,8),%rbx
mov    (%rbx,%rdi,4),%ebx
imul   0x0(%rbp,%rsi,4),%ebx
add    %ebx,%eax
mov    %eax,(%rcx,%rdi,4)
jmp    12d0 <matMulti+0x1b0>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @matMulti(i32 %0, i32 %1, i32** %2, i32 %3, i32 %4, i32** %5, i32** %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32**
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32**
%14 = alloca i32**
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store i32 %0, i32* %8
store i32 %1, i32* %9
store i32** %2, i32*** %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32** %5, i32*** %13
store i32** %6, i32*** %14
%19 = load i32, i32* %9
%20 = load i32, i32* %11
%21 = icmp eq i32 %19, %20
%22 = zext i1 %21 to i32
%23 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %22)
%24 = load i32, i32* %8
%25 = icmp sge i32 %24, 0
%26 = zext i1 %25 to i32
%27 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %26)
%28 = load i32, i32* %9
%29 = icmp sge i32 %28, 0
%30 = zext i1 %29 to i32
%31 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %30)
%32 = load i32, i32* %12
%33 = icmp sge i32 %32, 0
%34 = zext i1 %33 to i32
%35 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %34)
store i32 0, i32* %15
br label %36
36: ; preds = %49, %7
%37 = load i32, i32* %15
%38 = load i32, i32* %8
%39 = icmp slt i32 %37, %38
br i1 %39, label %40, label %52
40: ; preds = %36
%41 = load i32**, i32*** %14
%42 = load i32, i32* %15
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32*, i32** %41, i64 %43
%45 = load i32*, i32** %44
%46 = bitcast i32* %45 to i8*
%47 = load i32, i32* %12
%48 = sext i32 %47 to i64
br label %49
49: ; preds = %40
%50 = load i32, i32* %15
%51 = add nsw i32 %50, 1
store i32 %51, i32* %15
br label %36
52: ; preds = %36
store i32 0, i32* %16
br label %53
53: ; preds = %105, %52
%54 = load i32, i32* %16
%55 = load i32, i32* %8
%56 = icmp slt i32 %54, %55
br i1 %56, label %57, label %108
57: ; preds = %53
store i32 0, i32* %17
br label %58
58: ; preds = %101, %57
%59 = load i32, i32* %17
%60 = load i32, i32* %12
%61 = icmp slt i32 %59, %60
br i1 %61, label %62, label %104
62: ; preds = %58
store i32 0, i32* %18
br label %63
63: ; preds = %97, %62
%64 = load i32, i32* %18
%65 = load i32, i32* %9
%66 = icmp slt i32 %64, %65
br i1 %66, label %67, label %100
67: ; preds = %63
%68 = load i32**, i32*** %10
%69 = load i32, i32* %16
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32*, i32** %68, i64 %70
%72 = load i32*, i32** %71
%73 = load i32, i32* %18
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %72, i64 %74
%76 = load i32, i32* %75
%77 = load i32**, i32*** %13
%78 = load i32, i32* %18
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32*, i32** %77, i64 %79
%81 = load i32*, i32** %80
%82 = load i32, i32* %17
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32, i32* %81, i64 %83
%85 = load i32, i32* %84
%86 = mul nsw i32 %76, %85
%87 = load i32**, i32*** %14
%88 = load i32, i32* %16
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32*, i32** %87, i64 %89
%91 = load i32*, i32** %90
%92 = load i32, i32* %17
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %91, i64 %93
%95 = load i32, i32* %94
%96 = add nsw i32 %95, %86
store i32 %96, i32* %94
br label %97
97: ; preds = %67
%98 = load i32, i32* %18
%99 = add nsw i32 %98, 1
store i32 %99, i32* %18
br label %63
100: ; preds = %63
br label %101
101: ; preds = %100
%102 = load i32, i32* %17
%103 = add nsw i32 %102, 1
store i32 %103, i32* %17
br label %58
104: ; preds = %58
br label %105
105: ; preds = %104
%106 = load i32, i32* %16
%107 = add nsw i32 %106, 1
store i32 %107, i32* %16
br label %53
108: ; preds = %53
ret void
}

LLVM IR (-O2):
define void @matMulti(i32 %0, i32 %1, i32** nocapture %2, i32 %3, i32 %4, i32** nocapture %5, i32** nocapture %6) {
%8 = icmp eq i32 %1, %3
%9 = zext i1 %8 to i32
%10 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %9)
%11 = xor i32 %0, -1
%12 = lshr i32 %11, 31
%13 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %12)
%14 = xor i32 %1, -1
%15 = lshr i32 %14, 31
%16 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %15)
%17 = xor i32 %4, -1
%18 = lshr i32 %17, 31
%19 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %18)
%20 = icmp sgt i32 %0, 0
br i1 %20, label %21, label %94
21: ; preds = %7
%22 = sext i32 %4 to i64
%23 = zext i32 %0 to i64
%24 = add nsw i64 %23, -1
%25 = and i64 %23, 7
%26 = icmp ult i64 %24, 7
br i1 %26, label %29, label %27
27: ; preds = %21
%28 = and i64 %23, 4294967288
br label %52
29: ; preds = %52, %21
%30 = phi i64 [ 0, %21 ], [ %86, %52 ]
%31 = icmp eq i64 %25, 0
br i1 %31, label %41, label %32
32: ; preds = %29, %32
%33 = phi i64 [ %38, %32 ], [ %30, %29 ]
%34 = phi i64 [ %39, %32 ], [ 0, %29 ]
%35 = getelementptr inbounds i32*, i32** %6, i64 %33
%36 = bitcast i32** %35 to i8**
%37 = load i8*, i8** %36
tail call void @llvm.memset.p0i8.i64(i8* align 4 %37, i8 0, i64 %22, i1 false)
%38 = add nuw nsw i64 %33, 1
%39 = add i64 %34, 1
%40 = icmp eq i64 %39, %25
br i1 %40, label %41, label %32
41: ; preds = %32, %29
br i1 %20, label %42, label %94
42: ; preds = %41
%43 = icmp sgt i32 %4, 0
%44 = icmp sgt i32 %1, 0
%45 = zext i32 %0 to i64
%46 = zext i32 %4 to i64
%47 = zext i32 %1 to i64
%48 = and i64 %47, 1
%49 = icmp eq i32 %1, 1
%50 = and i64 %47, 4294967294
%51 = icmp eq i64 %48, 0
br label %89
52: ; preds = %52, %27
%53 = phi i64 [ 0, %27 ], [ %86, %52 ]
%54 = phi i64 [ 0, %27 ], [ %87, %52 ]
%55 = getelementptr inbounds i32*, i32** %6, i64 %53
%56 = bitcast i32** %55 to i8**
%57 = load i8*, i8** %56
tail call void @llvm.memset.p0i8.i64(i8* align 4 %57, i8 0, i64 %22, i1 false)
%58 = or i64 %53, 1
%59 = getelementptr inbounds i32*, i32** %6, i64 %58
%60 = bitcast i32** %59 to i8**
%61 = load i8*, i8** %60
tail call void @llvm.memset.p0i8.i64(i8* align 4 %61, i8 0, i64 %22, i1 false)
%62 = or i64 %53, 2
%63 = getelementptr inbounds i32*, i32** %6, i64 %62
%64 = bitcast i32** %63 to i8**
%65 = load i8*, i8** %64
tail call void @llvm.memset.p0i8.i64(i8* align 4 %65, i8 0, i64 %22, i1 false)
%66 = or i64 %53, 3
%67 = getelementptr inbounds i32*, i32** %6, i64 %66
%68 = bitcast i32** %67 to i8**
%69 = load i8*, i8** %68
tail call void @llvm.memset.p0i8.i64(i8* align 4 %69, i8 0, i64 %22, i1 false)
%70 = or i64 %53, 4
%71 = getelementptr inbounds i32*, i32** %6, i64 %70
%72 = bitcast i32** %71 to i8**
%73 = load i8*, i8** %72
tail call void @llvm.memset.p0i8.i64(i8* align 4 %73, i8 0, i64 %22, i1 false)
%74 = or i64 %53, 5
%75 = getelementptr inbounds i32*, i32** %6, i64 %74
%76 = bitcast i32** %75 to i8**
%77 = load i8*, i8** %76
tail call void @llvm.memset.p0i8.i64(i8* align 4 %77, i8 0, i64 %22, i1 false)
%78 = or i64 %53, 6
%79 = getelementptr inbounds i32*, i32** %6, i64 %78
%80 = bitcast i32** %79 to i8**
%81 = load i8*, i8** %80
tail call void @llvm.memset.p0i8.i64(i8* align 4 %81, i8 0, i64 %22, i1 false)
%82 = or i64 %53, 7
%83 = getelementptr inbounds i32*, i32** %6, i64 %82
%84 = bitcast i32** %83 to i8**
%85 = load i8*, i8** %84
tail call void @llvm.memset.p0i8.i64(i8* align 4 %85, i8 0, i64 %22, i1 false)
%86 = add nuw nsw i64 %53, 8
%87 = add i64 %54, 8
%88 = icmp eq i64 %87, %28
br i1 %88, label %29, label %52
89: ; preds = %42, %102
%90 = phi i64 [ 0, %42 ], [ %103, %102 ]
br i1 %43, label %91, label %102
91: ; preds = %89
%92 = getelementptr inbounds i32*, i32** %2, i64 %90
%93 = getelementptr inbounds i32*, i32** %6, i64 %90
br label %95
94: ; preds = %102, %7, %41
ret void
95: ; preds = %91, %117
%96 = phi i64 [ 0, %91 ], [ %118, %117 ]
br i1 %44, label %97, label %117
97: ; preds = %95
%98 = load i32*, i32** %92
%99 = load i32*, i32** %93
%100 = getelementptr inbounds i32, i32* %99, i64 %96
%101 = load i32, i32* %100
br i1 %49, label %105, label %120
102: ; preds = %117, %89
%103 = add nuw nsw i64 %90, 1
%104 = icmp eq i64 %103, %45
br i1 %104, label %94, label %89
105: ; preds = %120, %97
%106 = phi i32 [ %101, %97 ], [ %140, %120 ]
%107 = phi i64 [ 0, %97 ], [ %141, %120 ]
br i1 %51, label %117, label %108
108: ; preds = %105
%109 = getelementptr inbounds i32, i32* %98, i64 %107
%110 = load i32, i32* %109
%111 = getelementptr inbounds i32*, i32** %5, i64 %107
%112 = load i32*, i32** %111
%113 = getelementptr inbounds i32, i32* %112, i64 %96
%114 = load i32, i32* %113
%115 = mul nsw i32 %114, %110
%116 = add nsw i32 %106, %115
store i32 %116, i32* %100
br label %117
117: ; preds = %108, %105, %95
%118 = add nuw nsw i64 %96, 1
%119 = icmp eq i64 %118, %46
br i1 %119, label %102, label %95
120: ; preds = %97, %120
%121 = phi i32 [ %140, %120 ], [ %101, %97 ]
%122 = phi i64 [ %141, %120 ], [ 0, %97 ]
%123 = phi i64 [ %142, %120 ], [ 0, %97 ]
%124 = getelementptr inbounds i32, i32* %98, i64 %122
%125 = load i32, i32* %124
%126 = getelementptr inbounds i32*, i32** %5, i64 %122
%127 = load i32*, i32** %126
%128 = getelementptr inbounds i32, i32* %127, i64 %96
%129 = load i32, i32* %128
%130 = mul nsw i32 %129, %125
%131 = add nsw i32 %121, %130
store i32 %131, i32* %100
%132 = or i64 %122, 1
%133 = getelementptr inbounds i32, i32* %98, i64 %132
%134 = load i32, i32* %133
%135 = getelementptr inbounds i32*, i32** %5, i64 %132
%136 = load i32*, i32** %135
%137 = getelementptr inbounds i32, i32* %136, i64 %96
%138 = load i32, i32* %137
%139 = mul nsw i32 %138, %134
%140 = add nsw i32 %131, %139
store i32 %140, i32* %100
%141 = add nuw nsw i64 %122, 2
%142 = add i64 %123, 2
%143 = icmp eq i64 %142, %50
br i1 %143, label %105, label %120
}