user: 下面的汇编指令对应的C源代码是什么：

```asm
<matprod_mat_mat>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %rdi,0x18(%rsp)
  mov    %rsi,%r15
  mov    %rdx,0x8(%rsp)
  mov    %ecx,%ebp
  mov    %r8d,%ebx
  mov    %r8d,0x10(%rsp)
  mov    %r9d,%r14d
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  mov    $0x1,%edi
  call   <assert@plt>
  cmp    $0x1,%ebx
  jle    L149
  cmp    $0x2,%ebp
  jle    L4
  cmp    $0x1,%r14d
  jle    L152
  cmp    $0x3c0,%ebp
  jg     L32
  cmpl   $0x20,0x10(%rsp)
  jle    L63
L32:
  mov    %r14d,0x30(%rsp)
  cmp    $0x3c0,%ebp
  jle    L155
  pxor   %xmm1,%xmm1
  cvtsi2sdl 0x10(%rsp),%xmm1
  addsd  D4(%rip),%xmm1
  movsd  D15(%rip),%xmm0
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  add    $0x1,%eax
  mov    %eax,0x30(%rsp)
L155:
  mov    0x30(%rsp),%eax
  lea    (%rax,%rax,1),%esi
  mov    %esi,0x34(%rsp)
  movslq 0x10(%rsp),%rdi
  mov    %rdi,0x20(%rsp)
  movslq %ebp,%rcx
  mov    %rcx,0x28(%rsp)
  mov    %eax,0x38(%rsp)
  jmp    L6
L149:
  cmpl   $0x1,0x10(%rsp)
  je     L188
  movslq %ebp,%rsi
  mov    %r14d,%eax
  cltq
  imul   %rax,%rsi
  mov    0x8(%rsp),%rdi
  call   <set_to_zeros@plt>
  jmp    L143
L188:
  mov    %r14d,%r8d
  mov    %ebp,%ecx
  mov    0x8(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x18(%rsp),%rdi
  call   <matprod_outer@plt>
  jmp    L143
L4:
  je     L115
  cmp    $0x1,%ebp
  jne    L143
  mov    %r14d,%r8d
  mov    0x10(%rsp),%ecx
  mov    0x8(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x18(%rsp),%rdi
  call   <matprod_vec_mat@plt>
  jmp    L143
L115:
  mov    %r14d,%r8d
  mov    0x10(%rsp),%ecx
  mov    0x8(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x18(%rsp),%rdi
  call   <matprod_mat_mat_n2@plt>
  jmp    L143
L152:
  jne    L143
  mov    0x10(%rsp),%r8d
  mov    %ebp,%ecx
  mov    0x8(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x18(%rsp),%rdi
  call   <matprod_mat_vec@plt>
  jmp    L143
L63:
  push   $0x0
  mov    0x18(%rsp),%eax
  push   %rax
  push   %rbp
  push   %rbp
  mov    %r14d,%r9d
  mov    %eax,%r8d
  mov    %ebp,%ecx
  mov    0x28(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x38(%rsp),%rdi
  call   <matprod_mat_mat_sub_xrowscols@plt>
  add    $0x20,%rsp
  jmp    L143
L172:
  add    $0x7,%eax
  and    $0xfffffff8,%eax
  cmp    %r14d,%eax
  cmovg  %r14d,%eax
  mov    %eax,0x14(%rsp)
  cmp    $0x3c0,%ebp
  jg     L72
  mov    %ebp,%ebx
  mov    0x8(%rsp),%r13
  mov    0x18(%rsp),%r12
L16:
  push   %rbp
  push   %rbx
  mov    0x24(%rsp),%ebx
  mov    %ebx,%r9d
  mov    0x20(%rsp),%r8d
  mov    %ebp,%ecx
  mov    %r13,%rdx
  mov    %r15,%rsi
  mov    %r12,%rdi
  call   <matprod_mat_mat_sub_xrows@plt>
  add    $0x10,%rsp
  sub    %ebx,%r14d
  je     L143
  mov    %ebx,%eax
  cltq
  mov    0x20(%rsp),%rdx
  imul   %rax,%rdx
  lea    (%r15,%rdx,8),%r15
  imul   0x28(%rsp),%rax
  mov    0x8(%rsp),%rsi
  lea    (%rsi,%rax,8),%rax
  mov    %rax,0x8(%rsp)
L6:
  cmp    0x30(%rsp),%r14d
  jle    L81
  mov    0x38(%rsp),%eax
  cmp    %r14d,0x34(%rsp)
  jle    L172
  mov    %r14d,%eax
  shr    $0x1f,%eax
  add    %r14d,%eax
  sar    %eax
  jmp    L172
L279:
  mov    %ebp,%ebx
  mov    0x8(%rsp),%r13
  mov    0x18(%rsp),%r12
  jmp    L73
L262:
  push   %rbp
  push   %rbp
  mov    %r14d,%r9d
  mov    0x20(%rsp),%r8d
  mov    %ebp,%ecx
  mov    0x18(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x28(%rsp),%rdi
  call   <matprod_mat_mat_sub_xrows@plt>
  add    $0x10,%rsp
L143:
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L81:
  cmp    $0x3c0,%ebp
  jle    L262
  mov    %r14d,0x14(%rsp)
L72:
  cmp    $0x77f,%ebp
  jle    L279
  mov    %ebp,%ebx
  mov    0x8(%rsp),%r13
  mov    0x18(%rsp),%r12
  mov    %r14d,0x3c(%rsp)
  mov    0x14(%rsp),%r14d
L99:
  push   %rbp
  push   $0x3c0
  mov    %r14d,%r9d
  mov    0x20(%rsp),%r8d
  mov    %ebp,%ecx
  mov    %r13,%rdx
  mov    %r15,%rsi
  mov    %r12,%rdi
  call   <matprod_mat_mat_sub_xrows@plt>
  add    $0x1e00,%r12
  add    $0x1e00,%r13
  sub    $0x3c0,%ebx
  add    $0x10,%rsp
  cmp    $0x77f,%ebx
  jg     L99
  mov    0x3c(%rsp),%r14d
  cmp    $0x3c0,%ebx
  jle    L16
L73:
  lea    0x3(%rbx),%eax
  sar    %eax
  and    $0xfffffffc,%eax
  push   %rbp
  mov    %eax,0x44(%rsp)
  push   %rax
  mov    0x24(%rsp),%r9d
  mov    0x20(%rsp),%r8d
  mov    %ebp,%ecx
  mov    %r13,%rdx
  mov    %r15,%rsi
  mov    %r12,%rdi
  call   <matprod_mat_mat_sub_xrows@plt>
  mov    0x4c(%rsp),%ecx
  movslq %ecx,%rax
  shl    $0x3,%rax
  add    %rax,%r12
  add    %rax,%r13
  sub    %ecx,%ebx
  add    $0x10,%rsp
  jmp    L16
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D4
datatype: byte[8]
name: extract_symbolic_data
arguments: data_tag: D15
datatype: byte[8]

tool: {"D4": [0x00,0x00,0x00,0x00,0x00,0x00,0x8e,0x40]}

tool: {"D15": [0x00,0x00,0x00,0x00,0x80,0x31,0xf7,0x40]}

assistant: ```c
void matprod_mat_mat(double *restrict x, double *restrict y, double *restrict z, int n, int k, int m) {
  assert(((uintptr_t)(x) & (1 - 1)) == 0);
  assert(((uintptr_t)(y) & (1 - 1)) == 0);
  assert(((uintptr_t)(z) & (1 - 1)) == 0);
  x = (x);
  y = (y);
  z = (z);
  if (k <= 1) {
    if (k == 1) {
      matprod_outer(x, y, z, n, m);
    } else {
      set_to_zeros(z, (size_t)n * m);
    }
    return;
  }
  if (n <= 2) {
    if (n == 2) {
      matprod_mat_mat_n2(x, y, z, k, m);
    } else if (n == 1) {
      matprod_vec_mat(x, y, z, k, m);
    }
    return;
  }
  if (m <= 1) {
    if (m == 1) {
      matprod_mat_vec(x, y, z, n, k);
    }
    return;
  }
  if (n <= (1024 - 64) && k <= 32) {
    matprod_mat_mat_sub_xrowscols(x, y, z, n, k, m, n, n, k, 0);
    return;
  }
  int cachable = n <= (1024 - 64) ? m : 1 + (int)(95000 / ((1024 - 64) + (double)k));
  int mm = m;
  for (;;) {
    double *xx = x;
    double *zz = z;
    int xrows = n;
    int m1 = mm;
    if (m1 > cachable) {
      m1 = mm < 2 * cachable ? mm / 2 : cachable;
      m1 = (m1 + 7) & ~7;
      if (m1 > mm)
        m1 = mm;
    }
    if (xrows > (1024 - 64)) {
      while (xrows >= 2 * (1024 - 64)) {
        matprod_mat_mat_sub_xrows(xx, y, zz, n, k, m1, (1024 - 64), n);
        xx += (1024 - 64);
        zz += (1024 - 64);
        xrows -= (1024 - 64);
      }
      if (xrows > (1024 - 64)) {
        int nr = (((xrows + 3) >> 1) & ~3);
        matprod_mat_mat_sub_xrows(xx, y, zz, n, k, m1, nr, n);
        xx += nr;
        zz += nr;
        xrows -= nr;
      }
    }
    matprod_mat_mat_sub_xrows(xx, y, zz, n, k, m1, xrows, n);
    mm -= m1;
    if (mm == 0)
      break;
    y += (size_t)m1 * k;
    z += (size_t)m1 * n;
  }
}
```