user: Translate the below assembly code into C programming language:

```asm
<matrixProdCole9>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,-0x58(%rsp)
  mov    %rsi,-0x70(%rsp)
  mov    %rdx,-0x28(%rsp)
  mov    %ecx,-0x50(%rsp)
  mov    %r8d,(%rsp)
  test   %ecx,%ecx
  jle    L20
  movslq %ecx,%rax
  lea    0x0(,%rax,4),%r14
  test   %r8d,%r8d
  jle    L20
  mov    %r9d,%r15d
  cmp    $0x1,%ecx
  jne    L124
  movslq %r9d,%rax
  movl   $0x0,-0x40(%rsp)
  mov    %rax,-0x60(%rsp)
  shl    $0x2,%rax
  mov    %rax,-0x38(%rsp)
  lea    -0x1(%r9),%eax
  movq   $0x0,-0x78(%rsp)
  shl    $0x2,%rax
  mov    %rax,-0x30(%rsp)
  mov    -0x58(%rsp),%rax
  mov    (%rax),%rax
  mov    %rax,-0x58(%rsp)
  mov    -0x28(%rsp),%rax
  mov    (%rax),%rax
  mov    %rax,-0x28(%rsp)
  mov    -0x50(%rsp),%eax
  sub    %r9d,%eax
  mov    %eax,-0x48(%rsp)
L81:
  mov    -0x40(%rsp),%ebx
  mov    %ebx,%eax
  add    %r15d,%ebx
  mov    %ebx,-0x40(%rsp)
  cmp    %ebx,%eax
  jge    L54
  mov    -0x78(%rsp),%rbx
  mov    -0x28(%rsp),%rax
  xor    %r13d,%r13d
  xor    %r8d,%r8d
  add    %rbx,%rax
  mov    %rax,-0x68(%rsp)
  mov    -0x30(%rsp),%rax
  lea    0x4(%rbx,%rax,1),%rax
  mov    %rax,-0x50(%rsp)
L34:
  mov    -0x58(%rsp),%rax
  add    %r15d,%r8d
  mov    -0x68(%rsp),%r10
  lea    (%rax,%r13,4),%rbx
  mov    -0x70(%rsp),%rax
  lea    0x4(%rbx),%r12
  mov    (%rax,%r13,8),%r11
  mov    -0x48(%rsp),%eax
  lea    (%rax,%r8,1),%ebp
  mov    -0x78(%rsp),%rax
  lea    (%r11,%rax,1),%r9
  add    -0x50(%rsp),%r11
  nopl   (%rax)
L162:
  mov    (%r9),%edi
  mov    %r9,%rdx
  imul   (%rbx),%edi
  cmp    $0x1,%r15d
  jle    L115
  mov    %r12,%rsi
  mov    %ebp,%ecx
  nopl   0x0(%rax)
L30:
  add    %r14,%rdx
  add    $0x4,%rsi
  add    $0x1,%ecx
  mov    (%rdx),%eax
  imul   -0x4(%rsi),%eax
  add    %eax,%edi
  cmp    %r8d,%ecx
  jl     L30
L115:
  add    $0x4,%r9
  add    %edi,(%r10)
  add    $0x4,%r10
  cmp    %r11,%r9
  jne    L162
  add    -0x60(%rsp),%r13
  cmp    %r8d,(%rsp)
  jg     L34
  mov    -0x40(%rsp),%eax
  mov    -0x38(%rsp),%rbx
  add    %rbx,-0x78(%rsp)
  test   %eax,%eax
  jle    L81
L20:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L54:
  mov    -0x38(%rsp),%rbx
  add    %rbx,-0x78(%rsp)
  jmp    L81
L124:
  movslq %r9d,%rax
  movl   $0x0,-0x60(%rsp)
  mov    %rax,-0x20(%rsp)
  shl    $0x2,%rax
  mov    %rax,-0x18(%rsp)
  mov    -0x50(%rsp),%eax
  movq   $0x0,-0x78(%rsp)
  sub    $0x1,%eax
  lea    0x8(%rdi,%rax,8),%rax
  mov    %rax,-0x40(%rsp)
  lea    -0x1(%r9),%eax
  shl    $0x2,%rax
  mov    %rax,-0x10(%rsp)
  mov    $0x1,%eax
  sub    %r9d,%eax
  mov    %eax,0x4(%rsp)
L58:
  mov    -0x60(%rsp),%ebx
  mov    %ebx,%eax
  add    %r15d,%ebx
  mov    %ebx,-0x60(%rsp)
  cmp    %ebx,%eax
  jge    L24
  mov    -0x78(%rsp),%rax
  mov    -0x10(%rsp),%rbx
  xor    %r13d,%r13d
  movq   $0x0,-0x38(%rsp)
  lea    0x4(%rax,%rbx,1),%rax
  mov    %rax,-0x8(%rsp)
L133:
  mov    -0x38(%rsp),%rax
  add    %r15d,%r13d
  mov    -0x58(%rsp),%r12
  lea    0x0(,%rax,4),%rbx
  mov    %rbx,-0x30(%rsp)
  mov    -0x28(%rsp),%rbx
  mov    %rbx,-0x68(%rsp)
  mov    -0x70(%rsp),%rbx
  mov    (%rbx,%rax,8),%r10
  mov    -0x78(%rsp),%rax
  add    %r10,%rax
  add    -0x8(%rsp),%r10
  mov    %rax,-0x48(%rsp)
  mov    0x4(%rsp),%eax
  lea    (%rax,%r13,1),%ebp
L42:
  mov    -0x68(%rsp),%rax
  mov    -0x30(%rsp),%r11
  mov    -0x48(%rsp),%r8
  add    (%r12),%r11
  mov    -0x78(%rsp),%r9
  lea    0x4(%r11),%rbx
  add    (%rax),%r9
  nopl   0x0(%rax)
L74:
  mov    (%r11),%edi
  mov    %r8,%rdx
  imul   (%r8),%edi
  cmp    $0x1,%r15d
  jle    L88
  mov    %rbx,%rsi
  mov    %ebp,%ecx
  nopl   (%rax)
L106:
  add    %r14,%rdx
  mov    (%rsi),%eax
  add    $0x1,%ecx
  add    $0x4,%rsi
  imul   (%rdx),%eax
  add    %eax,%edi
  cmp    %r13d,%ecx
  jl     L106
L88:
  add    $0x4,%r8
  add    %edi,(%r9)
  add    $0x4,%r9
  cmp    %r10,%r8
  jne    L74
  addq   $0x8,-0x68(%rsp)
  add    $0x8,%r12
  cmp    -0x40(%rsp),%r12
  jne    L42
  mov    -0x20(%rsp),%rbx
  add    %rbx,-0x38(%rsp)
  cmp    %r13d,(%rsp)
  jg     L133
L24:
  mov    -0x18(%rsp),%rbx
  add    %rbx,-0x78(%rsp)
  mov    -0x60(%rsp),%ebx
  cmp    %ebx,-0x50(%rsp)
  jg     L58
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void matrixProdCole9(int **M1, int **M2, int **M3, int m, int n, int z) {
  int i, j, k, ii, jj, kk, temp;
  int *pa, *pb;
  for (jj = 0; jj < m; jj = jj + z)
    for (kk = 0; kk < n; kk = kk + z)
      for (i = 0; i < m; i++)
        for (j = jj; j < jj + z; j++) {
          pa = &M1[i][kk];
          pb = &M2[kk][j];
          temp = (*pa++) * (*pb);
          for (k = kk + 1; k < kk + z; k++) {
            pb = pb + m;
            temp += (*pa++) * (*pb);
          }
          M3[i][j] += temp;
        }
}
```