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

```asm
<mul4>:
  endbr64
  sub    $0x98,%rsp
  mov    %rdi,%rax
  mov    %rsi,%rcx
  mov    %fs:0x28,%rsi
  mov    %rsi,0x88(%rsp)
  xor    %esi,%esi
  movsd  (%rcx),%xmm13
  mov    (%rdx),%rdi
  movsd  0x8(%rcx),%xmm5
  movsd  0x20(%rdx),%xmm4
  movsd  0x10(%rcx),%xmm3
  movsd  0x40(%rdx),%xmm2
  movsd  0x18(%rcx),%xmm12
  mov    0x60(%rdx),%rsi
  movq   %rdi,%xmm0
  mulsd  %xmm13,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  movq   %rsi,%xmm1
  mulsd  %xmm12,%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rsp)
  movsd  0x8(%rdx),%xmm1
  movsd  0x28(%rdx),%xmm11
  movsd  0x48(%rdx),%xmm10
  movsd  0x68(%rdx),%xmm9
  movapd %xmm13,%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm5,%xmm6
  mulsd  %xmm11,%xmm6
  addsd  %xmm6,%xmm0
  movapd %xmm3,%xmm6
  mulsd  %xmm10,%xmm6
  addsd  %xmm6,%xmm0
  movapd %xmm12,%xmm6
  mulsd  %xmm9,%xmm6
  addsd  %xmm6,%xmm0
  movsd  %xmm0,0x8(%rsp)
  movsd  0x10(%rdx),%xmm0
  movsd  0x30(%rdx),%xmm8
  movsd  0x50(%rdx),%xmm7
  movsd  0x70(%rdx),%xmm6
  movapd %xmm13,%xmm14
  mulsd  %xmm0,%xmm14
  movapd %xmm5,%xmm15
  mulsd  %xmm8,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm3,%xmm14
  mulsd  %xmm7,%xmm14
  addsd  %xmm15,%xmm14
  movapd %xmm12,%xmm15
  mulsd  %xmm6,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x10(%rsp)
  mov    0x18(%rdx),%r8
  mov    0x38(%rdx),%r9
  mov    0x58(%rdx),%r10
  mov    0x78(%rdx),%rdx
  movq   %r8,%xmm15
  mulsd  %xmm15,%xmm13
  movq   %r9,%xmm15
  mulsd  %xmm15,%xmm5
  addsd  %xmm13,%xmm5
  movq   %r10,%xmm13
  mulsd  %xmm13,%xmm3
  addsd  %xmm5,%xmm3
  movq   %rdx,%xmm5
  mulsd  %xmm5,%xmm12
  addsd  %xmm12,%xmm3
  movsd  %xmm3,0x18(%rsp)
  movsd  0x20(%rcx),%xmm13
  movsd  0x28(%rcx),%xmm5
  movsd  0x30(%rcx),%xmm3
  movsd  0x38(%rcx),%xmm12
  movq   %rdi,%xmm14
  mulsd  %xmm13,%xmm14
  movapd %xmm4,%xmm15
  mulsd  %xmm5,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm2,%xmm14
  mulsd  %xmm3,%xmm14
  addsd  %xmm15,%xmm14
  movq   %rsi,%xmm15
  mulsd  %xmm12,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x20(%rsp)
  movapd %xmm1,%xmm14
  mulsd  %xmm13,%xmm14
  movapd %xmm11,%xmm15
  mulsd  %xmm5,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm10,%xmm14
  mulsd  %xmm3,%xmm14
  addsd  %xmm15,%xmm14
  movapd %xmm9,%xmm15
  mulsd  %xmm12,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x28(%rsp)
  movapd %xmm0,%xmm14
  mulsd  %xmm13,%xmm14
  movapd %xmm8,%xmm15
  mulsd  %xmm5,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm7,%xmm14
  mulsd  %xmm3,%xmm14
  addsd  %xmm15,%xmm14
  movapd %xmm6,%xmm15
  mulsd  %xmm12,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x30(%rsp)
  movq   %r8,%xmm15
  mulsd  %xmm15,%xmm13
  movq   %r9,%xmm15
  mulsd  %xmm15,%xmm5
  addsd  %xmm13,%xmm5
  movq   %r10,%xmm13
  mulsd  %xmm13,%xmm3
  addsd  %xmm5,%xmm3
  movq   %rdx,%xmm5
  mulsd  %xmm5,%xmm12
  addsd  %xmm12,%xmm3
  movsd  %xmm3,0x38(%rsp)
  movsd  0x40(%rcx),%xmm13
  movsd  0x48(%rcx),%xmm5
  movsd  0x50(%rcx),%xmm3
  movsd  0x58(%rcx),%xmm12
  movq   %rdi,%xmm14
  mulsd  %xmm13,%xmm14
  movapd %xmm4,%xmm15
  mulsd  %xmm5,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm2,%xmm14
  mulsd  %xmm3,%xmm14
  addsd  %xmm15,%xmm14
  movq   %rsi,%xmm15
  mulsd  %xmm12,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x40(%rsp)
  movapd %xmm1,%xmm14
  mulsd  %xmm13,%xmm14
  movapd %xmm11,%xmm15
  mulsd  %xmm5,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm10,%xmm14
  mulsd  %xmm3,%xmm14
  addsd  %xmm15,%xmm14
  movapd %xmm9,%xmm15
  mulsd  %xmm12,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x48(%rsp)
  movapd %xmm0,%xmm14
  mulsd  %xmm13,%xmm14
  movapd %xmm8,%xmm15
  mulsd  %xmm5,%xmm15
  addsd  %xmm14,%xmm15
  movapd %xmm7,%xmm14
  mulsd  %xmm3,%xmm14
  addsd  %xmm15,%xmm14
  movapd %xmm6,%xmm15
  mulsd  %xmm12,%xmm15
  addsd  %xmm15,%xmm14
  movsd  %xmm14,0x50(%rsp)
  movq   %r8,%xmm15
  mulsd  %xmm15,%xmm13
  movq   %r9,%xmm15
  mulsd  %xmm15,%xmm5
  addsd  %xmm13,%xmm5
  movq   %r10,%xmm13
  mulsd  %xmm13,%xmm3
  addsd  %xmm5,%xmm3
  movq   %rdx,%xmm5
  mulsd  %xmm5,%xmm12
  addsd  %xmm12,%xmm3
  movsd  %xmm3,0x58(%rsp)
  movsd  0x60(%rcx),%xmm14
  movsd  0x68(%rcx),%xmm13
  movsd  0x70(%rcx),%xmm12
  movsd  0x78(%rcx),%xmm5
  movq   %rdi,%xmm3
  mulsd  %xmm14,%xmm3
  mulsd  %xmm13,%xmm4
  addsd  %xmm3,%xmm4
  mulsd  %xmm12,%xmm2
  addsd  %xmm4,%xmm2
  movq   %rsi,%xmm3
  mulsd  %xmm5,%xmm3
  addsd  %xmm3,%xmm2
  movsd  %xmm2,0x60(%rsp)
  mulsd  %xmm14,%xmm1
  mulsd  %xmm13,%xmm11
  addsd  %xmm11,%xmm1
  mulsd  %xmm12,%xmm10
  addsd  %xmm1,%xmm10
  mulsd  %xmm5,%xmm9
  addsd  %xmm9,%xmm10
  movsd  %xmm10,0x68(%rsp)
  mulsd  %xmm14,%xmm0
  mulsd  %xmm13,%xmm8
  addsd  %xmm8,%xmm0
  mulsd  %xmm12,%xmm7
  addsd  %xmm0,%xmm7
  mulsd  %xmm5,%xmm6
  addsd  %xmm6,%xmm7
  movsd  %xmm7,0x70(%rsp)
  movq   %r8,%xmm0
  mulsd  %xmm14,%xmm0
  movq   %r9,%xmm1
  mulsd  %xmm13,%xmm1
  addsd  %xmm1,%xmm0
  movq   %r10,%xmm1
  mulsd  %xmm12,%xmm1
  addsd  %xmm1,%xmm0
  movq   %rdx,%xmm1
  mulsd  %xmm5,%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0x78(%rsp)
  mov    $0x0,%edx
L12:
  movsd  (%rsp,%rdx,1),%xmm0
  movsd  %xmm0,(%rax,%rdx,1)
  add    $0x8,%rdx
  cmp    $0x80,%rdx
  jne    L12
  mov    0x88(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L13
  add    $0x98,%rsp
  ret
L13:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void mul4(double *Out, const double A[4][4], const double B[4][4]) {
  unsigned n;
  double Res[16];
  Res[0] = A[0][0] * B[0][0] + A[0][1] * B[1][0] + A[0][2] * B[2][0] + A[0][3] * B[3][0];
  Res[1] = A[0][0] * B[0][1] + A[0][1] * B[1][1] + A[0][2] * B[2][1] + A[0][3] * B[3][1];
  Res[2] = A[0][0] * B[0][2] + A[0][1] * B[1][2] + A[0][2] * B[2][2] + A[0][3] * B[3][2];
  Res[3] = A[0][0] * B[0][3] + A[0][1] * B[1][3] + A[0][2] * B[2][3] + A[0][3] * B[3][3];
  Res[4] = A[1][0] * B[0][0] + A[1][1] * B[1][0] + A[1][2] * B[2][0] + A[1][3] * B[3][0];
  Res[5] = A[1][0] * B[0][1] + A[1][1] * B[1][1] + A[1][2] * B[2][1] + A[1][3] * B[3][1];
  Res[6] = A[1][0] * B[0][2] + A[1][1] * B[1][2] + A[1][2] * B[2][2] + A[1][3] * B[3][2];
  Res[7] = A[1][0] * B[0][3] + A[1][1] * B[1][3] + A[1][2] * B[2][3] + A[1][3] * B[3][3];
  Res[8] = A[2][0] * B[0][0] + A[2][1] * B[1][0] + A[2][2] * B[2][0] + A[2][3] * B[3][0];
  Res[9] = A[2][0] * B[0][1] + A[2][1] * B[1][1] + A[2][2] * B[2][1] + A[2][3] * B[3][1];
  Res[10] = A[2][0] * B[0][2] + A[2][1] * B[1][2] + A[2][2] * B[2][2] + A[2][3] * B[3][2];
  Res[11] = A[2][0] * B[0][3] + A[2][1] * B[1][3] + A[2][2] * B[2][3] + A[2][3] * B[3][3];
  Res[12] = A[3][0] * B[0][0] + A[3][1] * B[1][0] + A[3][2] * B[2][0] + A[3][3] * B[3][0];
  Res[13] = A[3][0] * B[0][1] + A[3][1] * B[1][1] + A[3][2] * B[2][1] + A[3][3] * B[3][1];
  Res[14] = A[3][0] * B[0][2] + A[3][1] * B[1][2] + A[3][2] * B[2][2] + A[3][3] * B[3][2];
  Res[15] = A[3][0] * B[0][3] + A[3][1] * B[1][3] + A[3][2] * B[2][3] + A[3][3] * B[3][3];
  for (n = 0; n < 16; ++n)
    Out[n] = Res[n];
}
```