user: 请从给定的汇编指令推导出C源代码：

```asm
<mul_mtx44>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x58(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x50(%rbp)
  mov    -0x58(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x4c(%rbp)
  mov    -0x58(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x48(%rbp)
  mov    -0x58(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x44(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x40(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x1c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x34(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x30(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x28(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x20,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x10,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x24,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x14,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x28,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x18(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  movss  (%rax),%xmm1
  mov    -0x60(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x34,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x18,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x38,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x2c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm0,%xmm1
  mov    -0x58(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm2
  mov    -0x60(%rbp),%rax
  add    $0x3c,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  lea    -0x50(%rbp),%rcx
  mov    -0x58(%rbp),%rax
  mov    $0x24,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L4
  call   <__stack_chk_fail@plt>
L4:
  leave
  ret
```

assistant: ```c
void mul_mtx44(float *a, const float *b) {
  float res[16];
  res[0] = (a[0]) * (b[0]) + (a[1]) * (b[4]) + (a[2]) * (b[8]) + (a[3]) * (b[12]);
  res[1] = (a[0]) * (b[1]) + (a[1]) * (b[5]) + (a[2]) * (b[9]) + (a[3]) * (b[13]);
  res[2] = (a[0]) * (b[2]) + (a[1]) * (b[6]) + (a[2]) * (b[10]) + (a[3]) * (b[14]);
  res[3] = (a[0]) * (b[3]) + (a[1]) * (b[7]) + (a[2]) * (b[11]) + (a[3]) * (b[15]);
  res[4] = (a[4]) * (b[0]) + (a[5]) * (b[4]) + (a[6]) * (b[8]) + (a[7]) * (b[12]);
  res[5] = (a[4]) * (b[1]) + (a[5]) * (b[5]) + (a[6]) * (b[9]) + (a[7]) * (b[13]);
  res[6] = (a[4]) * (b[2]) + (a[5]) * (b[6]) + (a[6]) * (b[10]) + (a[7]) * (b[14]);
  res[7] = (a[4]) * (b[3]) + (a[5]) * (b[7]) + (a[6]) * (b[11]) + (a[7]) * (b[15]);
  res[8] = (a[8]) * (b[0]) + (a[9]) * (b[3]) + (a[10]) * (b[8]) + (a[11]) * (b[12]);
  res[9] = (a[8]) * (b[1]) + (a[9]) * (b[4]) + (a[10]) * (b[9]) + (a[11]) * (b[13]);
  res[10] = (a[8]) * (b[2]) + (a[9]) * (b[5]) + (a[10]) * (b[10]) + (a[11]) * (b[14]);
  res[11] = (a[8]) * (b[3]) + (a[9]) * (b[6]) + (a[10]) * (b[11]) + (a[11]) * (b[15]);
  res[12] = (a[12]) * (b[0]) + (a[13]) * (b[3]) + (a[14]) * (b[8]) + (a[15]) * (b[12]);
  res[13] = (a[12]) * (b[1]) + (a[13]) * (b[4]) + (a[14]) * (b[9]) + (a[15]) * (b[13]);
  res[14] = (a[12]) * (b[2]) + (a[13]) * (b[5]) + (a[14]) * (b[10]) + (a[15]) * (b[14]);
  res[15] = (a[12]) * (b[3]) + (a[13]) * (b[6]) + (a[14]) * (b[11]) + (a[15]) * (b[15]);
  memcpy(a, &res, 9 * sizeof(float));
}
```