void product(int (*a)[5], int (*b)[5], int (*c)[5], int m, int n) {
  int i, j, k;
  for (i = 0; i < m; i++) {
    for (j = 0; j < n; j++) {
      *(*(c + i) + j) = 0;
      for (k = 0; k < m; k++)
        ;
      { *(*(c + i) + j) = *(*(c + i) + j) + *(*(a + i) + j) * *(*(b + i) + j); }
    }
  }
}


x86 assembly (clang, -O0):
<product>:
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    11f9 <product+0xf9>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11e6 <product+0xe6>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    117d <product+0x7d>
jmp    116f <product+0x6f>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    115e <product+0x5e>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rsi
imul   $0x14,%rsi,%rsi
add    %rsi,%rcx
movslq -0x28(%rbp),%rsi
imul   (%rcx,%rsi,4),%eax
add    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1131 <product+0x31>
jmp    11eb <product+0xeb>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111e <product+0x1e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<product>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8d,-0x54(%rsp)
test   %ecx,%ecx
jle    13dc <product+0x2dc>
mov    %ecx,%eax
mov    %rax,-0x8(%rsp)
mov    -0x54(%rsp),%r13d
mov    %r13d,%eax
and    $0xfffffffc,%eax
mov    %rax,-0x18(%rsp)
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x20(%rsp)
mov    %rax,%rcx
shr    $0x2,%rcx
add    $0x1,%rcx
mov    %rcx,%rax
mov    %rcx,-0x28(%rsp)
and    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x30(%rsp)
mov    %r13,%rax
neg    %rax
mov    %rax,-0x10(%rsp)
lea    0x10(%rdx),%r8
lea    0x10(%rdi),%r9
lea    0x10(%rsi),%r15
lea    0x4(%rdx),%rbp
lea    0x4(%rdi),%r14
lea    0x4(%rsi),%r10
xor    %r11d,%r11d
xorps  %xmm0,%xmm0
mov    %rdx,-0x48(%rsp)
mov    %rsi,-0x50(%rsp)
jmp    11b7 <product+0xb7>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r11
add    $0x14,%r8
add    $0x14,%r9
add    $0x14,%r15
add    $0x14,%rbp
add    $0x14,%r14
add    $0x14,%r10
cmp    -0x8(%rsp),%r11
je     13dc <product+0x2dc>
cmpl   $0x0,-0x54(%rsp)
jle    1190 <product+0x90>
lea    0x0(,%r11,4),%rax
lea    (%rax,%rax,4),%rbx
lea    (%rdx,%rbx,1),%rax
lea    (%rdi,%rbx,1),%rcx
add    %rsi,%rbx
cmpl   $0x4,-0x54(%rsp)
mov    %rax,-0x38(%rsp)
mov    %rcx,-0x40(%rsp)
jae    11f0 <product+0xf0>
xor    %eax,%eax
jmp    1350 <product+0x250>
nopl   (%rax)
mov    %rdi,%r12
lea    (%rax,%r13,4),%rsi
lea    (%rcx,%r13,4),%rdx
lea    (%rbx,%r13,4),%rdi
cmp    %rdx,%rax
mov    %rax,%rdx
setb   %al
cmp    %rsi,%rcx
setb   %cl
cmp    %rdi,%rdx
setb   %dl
cmp    %rsi,%rbx
setb   %dil
test   %cl,%al
jne    1335 <product+0x235>
mov    $0x0,%eax
and    %dil,%dl
mov    -0x48(%rsp),%rdx
mov    -0x50(%rsp),%rsi
mov    %r12,%rdi
jne    1350 <product+0x250>
cmpq   $0x0,-0x20(%rsp)
je     13ca <product+0x2ca>
mov    -0x30(%rsp),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups %xmm0,-0x10(%r8,%rcx,4)
movdqu -0x10(%r9,%rcx,4),%xmm1
movdqu -0x10(%r15,%rcx,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,-0x10(%r8,%rcx,4)
movups %xmm0,(%r8,%rcx,4)
movdqu (%r9,%rcx,4),%xmm1
movdqu (%r15,%rcx,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,(%r8,%rcx,4)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rax
jne    1260 <product+0x160>
testb  $0x1,-0x28(%rsp)
je     1322 <product+0x222>
mov    -0x38(%rsp),%r12
movups %xmm0,(%r12,%rcx,4)
mov    -0x40(%rsp),%rax
movdqu (%rax,%rcx,4),%xmm1
movdqu (%rbx,%rcx,4),%xmm2
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm1,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm1,%xmm3
pshufd $0xe8,%xmm3,%xmm1
punpckldq %xmm1,%xmm2
movdqu %xmm2,(%r12,%rcx,4)
mov    -0x18(%rsp),%rcx
mov    %rcx,%rax
cmp    %r13,%rcx
je     1190 <product+0x90>
jmp    1350 <product+0x250>
xor    %eax,%eax
mov    -0x48(%rsp),%rdx
mov    -0x50(%rsp),%rsi
mov    %r12,%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rax,%rcx
test   $0x1,%r13b
je     137d <product+0x27d>
mov    -0x38(%rsp),%r12
movl   $0x0,(%r12,%rax,4)
mov    (%rbx,%rax,4),%ecx
mov    -0x40(%rsp),%rbx
imul   (%rbx,%rax,4),%ecx
mov    %ecx,(%r12,%rax,4)
mov    %rax,%rcx
or     $0x1,%rcx
not    %rax
cmp    -0x10(%rsp),%rax
je     1190 <product+0x90>
nopl   0x0(%rax,%rax,1)
movl   $0x0,-0x4(%rbp,%rcx,4)
mov    -0x4(%r10,%rcx,4),%eax
imul   -0x4(%r14,%rcx,4),%eax
mov    %eax,-0x4(%rbp,%rcx,4)
movl   $0x0,0x0(%rbp,%rcx,4)
mov    (%r10,%rcx,4),%eax
imul   (%r14,%rcx,4),%eax
mov    %eax,0x0(%rbp,%rcx,4)
add    $0x2,%rcx
cmp    %rcx,%r13
jne    1390 <product+0x290>
jmp    1190 <product+0x90>
xor    %ecx,%ecx
testb  $0x1,-0x28(%rsp)
jne    12e3 <product+0x1e3>
jmp    1322 <product+0x222>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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