matmul(int a[5 + 1][5 + 1], int b[5 + 1][5 + 1], int c[5 + 1][5 + 1]) {
  int i, j, k;
IL0:
  for (i = 1; i <= 5; i++)
  IL1:
    for (j = 1; j <= 5; j++)
      c[i][j] = 0;
CL0:
  for (i = 1; i <= 5; i++)
  CL1:
    for (j = 1; j <= 5; j++)
    CL2:
      for (k = 1; k <= 5; k++)
        c[i][j] += a[i][k] * b[k][j];
}


x86 assembly (clang, -O0):
<matmul>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
cmpl   $0x5,-0x24(%rbp)
jg     1172 <matmul+0x72>
jmp    1126 <matmul+0x26>
movl   $0x1,-0x28(%rbp)
cmpl   $0x5,-0x28(%rbp)
jg     115f <matmul+0x5f>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    112d <matmul+0x2d>
jmp    1164 <matmul+0x64>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1117 <matmul+0x17>
jmp    1177 <matmul+0x77>
movl   $0x1,-0x24(%rbp)
cmpl   $0x5,-0x24(%rbp)
jg     122e <matmul+0x12e>
jmp    118d <matmul+0x8d>
movl   $0x1,-0x28(%rbp)
cmpl   $0x5,-0x28(%rbp)
jg     121b <matmul+0x11b>
jmp    11a3 <matmul+0xa3>
movl   $0x1,-0x2c(%rbp)
cmpl   $0x5,-0x2c(%rbp)
jg     1208 <matmul+0x108>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x18,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11aa <matmul+0xaa>
jmp    120d <matmul+0x10d>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1194 <matmul+0x94>
jmp    1220 <matmul+0x120>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    117e <matmul+0x7e>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<matmul>:
xorps  %xmm0,%xmm0
movups %xmm0,0x1c(%rdx)
movl   $0x0,0x2c(%rdx)
movups %xmm0,0x34(%rdx)
movl   $0x0,0x44(%rdx)
movups %xmm0,0x4c(%rdx)
movl   $0x0,0x5c(%rdx)
movups %xmm0,0x64(%rdx)
movl   $0x0,0x74(%rdx)
movups %xmm0,0x7c(%rdx)
movl   $0x0,0x8c(%rdx)
xor    %eax,%eax
nop
mov    0x1c(%rsi),%ecx
imul   0x1c(%rdi,%rax,1),%ecx
add    0x1c(%rdx,%rax,1),%ecx
mov    %ecx,0x1c(%rdx,%rax,1)
mov    0x34(%rsi),%r8d
imul   0x20(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x1c(%rdx,%rax,1)
mov    0x4c(%rsi),%ecx
imul   0x24(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x1c(%rdx,%rax,1)
mov    0x64(%rsi),%r8d
imul   0x28(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x1c(%rdx,%rax,1)
mov    0x7c(%rsi),%ecx
imul   0x2c(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x1c(%rdx,%rax,1)
mov    0x20(%rsi),%ecx
imul   0x1c(%rdi,%rax,1),%ecx
add    0x20(%rdx,%rax,1),%ecx
mov    %ecx,0x20(%rdx,%rax,1)
mov    0x38(%rsi),%r8d
imul   0x20(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x20(%rdx,%rax,1)
mov    0x50(%rsi),%ecx
imul   0x24(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x20(%rdx,%rax,1)
mov    0x68(%rsi),%r8d
imul   0x28(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x20(%rdx,%rax,1)
mov    0x80(%rsi),%ecx
imul   0x2c(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x20(%rdx,%rax,1)
mov    0x24(%rsi),%ecx
imul   0x1c(%rdi,%rax,1),%ecx
add    0x24(%rdx,%rax,1),%ecx
mov    %ecx,0x24(%rdx,%rax,1)
mov    0x3c(%rsi),%r8d
imul   0x20(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x24(%rdx,%rax,1)
mov    0x54(%rsi),%ecx
imul   0x24(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x24(%rdx,%rax,1)
mov    0x6c(%rsi),%r8d
imul   0x28(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x24(%rdx,%rax,1)
mov    0x84(%rsi),%ecx
imul   0x2c(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x24(%rdx,%rax,1)
mov    0x28(%rsi),%ecx
imul   0x1c(%rdi,%rax,1),%ecx
add    0x28(%rdx,%rax,1),%ecx
mov    %ecx,0x28(%rdx,%rax,1)
mov    0x40(%rsi),%r8d
imul   0x20(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x28(%rdx,%rax,1)
mov    0x58(%rsi),%ecx
imul   0x24(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x28(%rdx,%rax,1)
mov    0x70(%rsi),%r8d
imul   0x28(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x28(%rdx,%rax,1)
mov    0x88(%rsi),%ecx
imul   0x2c(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x28(%rdx,%rax,1)
mov    0x2c(%rsi),%ecx
imul   0x1c(%rdi,%rax,1),%ecx
add    0x2c(%rdx,%rax,1),%ecx
mov    %ecx,0x2c(%rdx,%rax,1)
mov    0x44(%rsi),%r8d
imul   0x20(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x2c(%rdx,%rax,1)
mov    0x5c(%rsi),%ecx
imul   0x24(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x2c(%rdx,%rax,1)
mov    0x74(%rsi),%r8d
imul   0x28(%rdi,%rax,1),%r8d
add    %ecx,%r8d
mov    %r8d,0x2c(%rdx,%rax,1)
mov    0x8c(%rsi),%ecx
imul   0x2c(%rdi,%rax,1),%ecx
add    %r8d,%ecx
mov    %ecx,0x2c(%rdx,%rax,1)
add    $0x18,%rax
cmp    $0x78,%rax
jne    1140 <matmul+0x40>
ret

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

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