void mmul4(int *a, int *b, int *res, int h, int w) {
  for (int i = 0; i < h; i++) {
    for (int j = 0; j < w; j++) {
      for (int k = 0; k < w; k += 8) {
        (res + i * w)[j] += (a + i * w)[k] * (b + k * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 1] * (b + (k + 1) * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 2] * (b + (k + 2) * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 3] * (b + (k + 3) * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 4] * (b + (k + 4) * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 5] * (b + (k + 5) * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 6] * (b + (k + 6) * w)[j];
        (res + i * w)[j] += (a + i * w)[k + 7] * (b + (k + 7) * w)[j];
      }
    }
  }
}


x86 assembly (clang, -O0):
<mmul4>:
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)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    147c <mmul4+0x37c>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1469 <mmul4+0x369>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1456 <mmul4+0x356>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x2,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x4,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x5,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x6,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
add    $0x7,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x7,%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x2c(%rbp)
jmp    1144 <mmul4+0x44>
jmp    145b <mmul4+0x35b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1131 <mmul4+0x31>
jmp    146e <mmul4+0x36e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111e <mmul4+0x1e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<mmul4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8d,-0x1c(%rsp)
mov    %rdx,-0x10(%rsp)
mov    %rsi,-0x18(%rsp)
test   %ecx,%ecx
jle    123f <mmul4+0x13f>
movslq -0x1c(%rsp),%r13
mov    %ecx,%eax
mov    %rax,-0x8(%rsp)
mov    %r13d,%r10d
mov    %r13,%r11
shl    $0x5,%r11
add    $0x1c,%rdi
lea    0x0(,%r13,4),%r12
xor    %r14d,%r14d
jmp    1162 <mmul4+0x62>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r14
add    %r12,%rdi
cmp    -0x8(%rsp),%r14
je     123f <mmul4+0x13f>
cmpl   $0x0,-0x1c(%rsp)
jle    1150 <mmul4+0x50>
mov    %r14,%rax
imul   %r13,%rax
mov    -0x10(%rsp),%rcx
lea    (%rcx,%rax,4),%r8
mov    -0x18(%rsp),%r15
xor    %ecx,%ecx
mov    (%r8,%rcx,4),%edx
mov    %r15,%rax
xor    %ebp,%ebp
nopl   0x0(%rax)
mov    (%rax),%esi
imul   -0x1c(%rdi,%rbp,4),%esi
add    %edx,%esi
mov    %esi,(%r8,%rcx,4)
lea    (%rax,%r12,1),%rdx
mov    (%rax,%r13,4),%ebx
imul   -0x18(%rdi,%rbp,4),%ebx
add    %esi,%ebx
mov    %ebx,(%r8,%rcx,4)
add    %r12,%rdx
mov    (%rax,%r13,8),%esi
imul   -0x14(%rdi,%rbp,4),%esi
add    %ebx,%esi
mov    %esi,(%r8,%rcx,4)
lea    (%rdx,%r12,1),%r9
mov    (%rdx,%r13,4),%ebx
imul   -0x10(%rdi,%rbp,4),%ebx
add    %esi,%ebx
mov    %ebx,(%r8,%rcx,4)
add    %r12,%r9
mov    (%rdx,%r13,8),%edx
imul   -0xc(%rdi,%rbp,4),%edx
add    %ebx,%edx
mov    %edx,(%r8,%rcx,4)
mov    (%r9,%r13,4),%esi
add    %r12,%r9
imul   -0x8(%rdi,%rbp,4),%esi
add    %edx,%esi
mov    %esi,(%r8,%rcx,4)
mov    (%r9,%r13,4),%ebx
add    %r12,%r9
imul   -0x4(%rdi,%rbp,4),%ebx
add    %esi,%ebx
mov    %ebx,(%r8,%rcx,4)
mov    (%r9,%r13,4),%edx
imul   (%rdi,%rbp,4),%edx
add    %ebx,%edx
mov    %edx,(%r8,%rcx,4)
add    $0x8,%rbp
add    %r11,%rax
cmp    %r13,%rbp
jl     1190 <mmul4+0x90>
add    $0x1,%rcx
add    $0x4,%r15
cmp    %r10,%rcx
jne    1180 <mmul4+0x80>
jmp    1150 <mmul4+0x50>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @mmul4(i32* %0, i32* %1, i32* %2, i32 %3, i32 %4) {
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32* %2, i32** %8
store i32 %3, i32* %9
store i32 %4, i32* %10
store i32 0, i32* %11
br label %14
14: ; preds = %307, %5
%15 = load i32, i32* %11
%16 = load i32, i32* %9
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %310
18: ; preds = %14
store i32 0, i32* %12
br label %19
19: ; preds = %303, %18
%20 = load i32, i32* %12
%21 = load i32, i32* %10
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %306
23: ; preds = %19
store i32 0, i32* %13
br label %24
24: ; preds = %299, %23
%25 = load i32, i32* %13
%26 = load i32, i32* %10
%27 = icmp slt i32 %25, %26
br i1 %27, label %28, label %302
28: ; preds = %24
%29 = load i32*, i32** %6
%30 = load i32, i32* %11
%31 = load i32, i32* %10
%32 = mul nsw i32 %30, %31
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %29, i64 %33
%35 = load i32, i32* %13
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = load i32, i32* %37
%39 = load i32*, i32** %7
%40 = load i32, i32* %13
%41 = load i32, i32* %10
%42 = mul nsw i32 %40, %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %39, i64 %43
%45 = load i32, i32* %12
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = mul nsw i32 %38, %48
%50 = load i32*, i32** %8
%51 = load i32, i32* %11
%52 = load i32, i32* %10
%53 = mul nsw i32 %51, %52
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %50, i64 %54
%56 = load i32, i32* %12
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i32, i32* %55, i64 %57
%59 = load i32, i32* %58
%60 = add nsw i32 %59, %49
store i32 %60, i32* %58
%61 = load i32*, i32** %6
%62 = load i32, i32* %11
%63 = load i32, i32* %10
%64 = mul nsw i32 %62, %63
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %61, i64 %65
%67 = load i32, i32* %13
%68 = add nsw i32 %67, 1
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %66, i64 %69
%71 = load i32, i32* %70
%72 = load i32*, i32** %7
%73 = load i32, i32* %13
%74 = add nsw i32 %73, 1
%75 = load i32, i32* %10
%76 = mul nsw i32 %74, %75
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %72, i64 %77
%79 = load i32, i32* %12
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
%82 = load i32, i32* %81
%83 = mul nsw i32 %71, %82
%84 = load i32*, i32** %8
%85 = load i32, i32* %11
%86 = load i32, i32* %10
%87 = mul nsw i32 %85, %86
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %84, i64 %88
%90 = load i32, i32* %12
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i32, i32* %89, i64 %91
%93 = load i32, i32* %92
%94 = add nsw i32 %93, %83
store i32 %94, i32* %92
%95 = load i32*, i32** %6
%96 = load i32, i32* %11
%97 = load i32, i32* %10
%98 = mul nsw i32 %96, %97
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %95, i64 %99
%101 = load i32, i32* %13
%102 = add nsw i32 %101, 2
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %100, i64 %103
%105 = load i32, i32* %104
%106 = load i32*, i32** %7
%107 = load i32, i32* %13
%108 = add nsw i32 %107, 2
%109 = load i32, i32* %10
%110 = mul nsw i32 %108, %109
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i32, i32* %106, i64 %111
%113 = load i32, i32* %12
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i32, i32* %112, i64 %114
%116 = load i32, i32* %115
%117 = mul nsw i32 %105, %116
%118 = load i32*, i32** %8
%119 = load i32, i32* %11
%120 = load i32, i32* %10
%121 = mul nsw i32 %119, %120
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i32, i32* %118, i64 %122
%124 = load i32, i32* %12
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %123, i64 %125
%127 = load i32, i32* %126
%128 = add nsw i32 %127, %117
store i32 %128, i32* %126
%129 = load i32*, i32** %6
%130 = load i32, i32* %11
%131 = load i32, i32* %10
%132 = mul nsw i32 %130, %131
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds i32, i32* %129, i64 %133
%135 = load i32, i32* %13
%136 = add nsw i32 %135, 3
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i32, i32* %134, i64 %137
%139 = load i32, i32* %138
%140 = load i32*, i32** %7
%141 = load i32, i32* %13
%142 = add nsw i32 %141, 3
%143 = load i32, i32* %10
%144 = mul nsw i32 %142, %143
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i32, i32* %140, i64 %145
%147 = load i32, i32* %12
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i32, i32* %146, i64 %148
%150 = load i32, i32* %149
%151 = mul nsw i32 %139, %150
%152 = load i32*, i32** %8
%153 = load i32, i32* %11
%154 = load i32, i32* %10
%155 = mul nsw i32 %153, %154
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32, i32* %152, i64 %156
%158 = load i32, i32* %12
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds i32, i32* %157, i64 %159
%161 = load i32, i32* %160
%162 = add nsw i32 %161, %151
store i32 %162, i32* %160
%163 = load i32*, i32** %6
%164 = load i32, i32* %11
%165 = load i32, i32* %10
%166 = mul nsw i32 %164, %165
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i32, i32* %163, i64 %167
%169 = load i32, i32* %13
%170 = add nsw i32 %169, 4
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds i32, i32* %168, i64 %171
%173 = load i32, i32* %172
%174 = load i32*, i32** %7
%175 = load i32, i32* %13
%176 = add nsw i32 %175, 4
%177 = load i32, i32* %10
%178 = mul nsw i32 %176, %177
%179 = sext i32 %178 to i64
%180 = getelementptr inbounds i32, i32* %174, i64 %179
%181 = load i32, i32* %12
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i32, i32* %180, i64 %182
%184 = load i32, i32* %183
%185 = mul nsw i32 %173, %184
%186 = load i32*, i32** %8
%187 = load i32, i32* %11
%188 = load i32, i32* %10
%189 = mul nsw i32 %187, %188
%190 = sext i32 %189 to i64
%191 = getelementptr inbounds i32, i32* %186, i64 %190
%192 = load i32, i32* %12
%193 = sext i32 %192 to i64
%194 = getelementptr inbounds i32, i32* %191, i64 %193
%195 = load i32, i32* %194
%196 = add nsw i32 %195, %185
store i32 %196, i32* %194
%197 = load i32*, i32** %6
%198 = load i32, i32* %11
%199 = load i32, i32* %10
%200 = mul nsw i32 %198, %199
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds i32, i32* %197, i64 %201
%203 = load i32, i32* %13
%204 = add nsw i32 %203, 5
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds i32, i32* %202, i64 %205
%207 = load i32, i32* %206
%208 = load i32*, i32** %7
%209 = load i32, i32* %13
%210 = add nsw i32 %209, 5
%211 = load i32, i32* %10
%212 = mul nsw i32 %210, %211
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i32, i32* %208, i64 %213
%215 = load i32, i32* %12
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds i32, i32* %214, i64 %216
%218 = load i32, i32* %217
%219 = mul nsw i32 %207, %218
%220 = load i32*, i32** %8
%221 = load i32, i32* %11
%222 = load i32, i32* %10
%223 = mul nsw i32 %221, %222
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i32, i32* %220, i64 %224
%226 = load i32, i32* %12
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds i32, i32* %225, i64 %227
%229 = load i32, i32* %228
%230 = add nsw i32 %229, %219
store i32 %230, i32* %228
%231 = load i32*, i32** %6
%232 = load i32, i32* %11
%233 = load i32, i32* %10
%234 = mul nsw i32 %232, %233
%235 = sext i32 %234 to i64
%236 = getelementptr inbounds i32, i32* %231, i64 %235
%237 = load i32, i32* %13
%238 = add nsw i32 %237, 6
%239 = sext i32 %238 to i64
%240 = getelementptr inbounds i32, i32* %236, i64 %239
%241 = load i32, i32* %240
%242 = load i32*, i32** %7
%243 = load i32, i32* %13
%244 = add nsw i32 %243, 6
%245 = load i32, i32* %10
%246 = mul nsw i32 %244, %245
%247 = sext i32 %246 to i64
%248 = getelementptr inbounds i32, i32* %242, i64 %247
%249 = load i32, i32* %12
%250 = sext i32 %249 to i64
%251 = getelementptr inbounds i32, i32* %248, i64 %250
%252 = load i32, i32* %251
%253 = mul nsw i32 %241, %252
%254 = load i32*, i32** %8
%255 = load i32, i32* %11
%256 = load i32, i32* %10
%257 = mul nsw i32 %255, %256
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds i32, i32* %254, i64 %258
%260 = load i32, i32* %12
%261 = sext i32 %260 to i64
%262 = getelementptr inbounds i32, i32* %259, i64 %261
%263 = load i32, i32* %262
%264 = add nsw i32 %263, %253
store i32 %264, i32* %262
%265 = load i32*, i32** %6
%266 = load i32, i32* %11
%267 = load i32, i32* %10
%268 = mul nsw i32 %266, %267
%269 = sext i32 %268 to i64
%270 = getelementptr inbounds i32, i32* %265, i64 %269
%271 = load i32, i32* %13
%272 = add nsw i32 %271, 7
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds i32, i32* %270, i64 %273
%275 = load i32, i32* %274
%276 = load i32*, i32** %7
%277 = load i32, i32* %13
%278 = add nsw i32 %277, 7
%279 = load i32, i32* %10
%280 = mul nsw i32 %278, %279
%281 = sext i32 %280 to i64
%282 = getelementptr inbounds i32, i32* %276, i64 %281
%283 = load i32, i32* %12
%284 = sext i32 %283 to i64
%285 = getelementptr inbounds i32, i32* %282, i64 %284
%286 = load i32, i32* %285
%287 = mul nsw i32 %275, %286
%288 = load i32*, i32** %8
%289 = load i32, i32* %11
%290 = load i32, i32* %10
%291 = mul nsw i32 %289, %290
%292 = sext i32 %291 to i64
%293 = getelementptr inbounds i32, i32* %288, i64 %292
%294 = load i32, i32* %12
%295 = sext i32 %294 to i64
%296 = getelementptr inbounds i32, i32* %293, i64 %295
%297 = load i32, i32* %296
%298 = add nsw i32 %297, %287
store i32 %298, i32* %296
br label %299
299: ; preds = %28
%300 = load i32, i32* %13
%301 = add nsw i32 %300, 8
store i32 %301, i32* %13
br label %24
302: ; preds = %24
br label %303
303: ; preds = %302
%304 = load i32, i32* %12
%305 = add nsw i32 %304, 1
store i32 %305, i32* %12
br label %19
306: ; preds = %19
br label %307
307: ; preds = %306
%308 = load i32, i32* %11
%309 = add nsw i32 %308, 1
store i32 %309, i32* %11
br label %14
310: ; preds = %14
ret void
}

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