user: What is the c source code of the assembly code below?

```asm
<rmatmult_3_at>:
  endbr64
  push   %r15
  mov    %rsi,%r10
  mov    %rdi,%rcx
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x1b0,%rsp
  mov    0x8(%rdi),%rax
  mov    %rdx,0xa0(%rsp)
  mov    (%rax),%eax
  mov    %eax,0xc4(%rsp)
  mov    0x18(%rdi),%rax
  mov    (%rax),%ebx
  mov    0x28(%rdi),%rax
  mov    %ebx,0xc0(%rsp)
  mov    (%rax),%ebx
  mov    0x30(%rdi),%rax
  mov    %ebx,0x16c(%rsp)
  movslq (%rax),%rsi
  mov    0x38(%rdi),%rax
  movslq (%rax),%rdi
  mov    0x40(%rcx),%rax
  mov    %esi,0x160(%rsp)
  mov    %esi,%r9d
  mov    (%rax),%r14
  mov    0x48(%rcx),%rax
  mov    (%rax),%r15
  mov    0x50(%rcx),%rax
  mov    (%rax),%r12
  mov    0x58(%rcx),%rax
  mov    (%rax),%rdx
  mov    0x60(%rcx),%rax
  mov    %rdx,(%rsp)
  mov    (%rax),%r11
  mov    0x68(%rcx),%rax
  mov    (%rax),%rbx
  mov    0x70(%rcx),%rax
  mov    (%rax),%rbp
  mov    0x78(%rcx),%rax
  mov    (%rax),%r13
  mov    0x80(%rcx),%rax
  mov    (%rax),%rdx
  mov    0x88(%rcx),%rax
  mov    %rdx,0x8(%rsp)
  mov    (%rax),%rdx
  mov    0x90(%rcx),%rax
  mov    %rdx,0x10(%rsp)
  mov    (%rax),%rdx
  mov    0x98(%rcx),%rax
  mov    %rdx,0x18(%rsp)
  mov    (%rax),%rdx
  mov    0xa0(%rcx),%rax
  mov    %rdx,0x20(%rsp)
  mov    (%rax),%rdx
  mov    0xa8(%rcx),%rax
  mov    %rdx,0x28(%rsp)
  mov    (%rax),%rdx
  mov    0xb0(%rcx),%rax
  mov    %rdx,0x30(%rsp)
  mov    (%rax),%rdx
  mov    0xb8(%rcx),%rax
  mov    %rdx,0x38(%rsp)
  mov    (%rax),%rdx
  mov    0xc0(%rcx),%rax
  mov    %rdx,0x40(%rsp)
  mov    (%rax),%rdx
  mov    0xc8(%rcx),%rax
  mov    %rdx,0x48(%rsp)
  mov    (%rax),%rdx
  mov    0xd0(%rcx),%rax
  mov    %rdx,0x50(%rsp)
  mov    (%rax),%rdx
  mov    0xd8(%rcx),%rax
  mov    %rdx,0x58(%rsp)
  mov    (%rax),%rdx
  mov    0xe0(%rcx),%rax
  mov    %rdx,0x60(%rsp)
  mov    (%rax),%rdx
  mov    0xe8(%rcx),%rax
  mov    %rdx,0x68(%rsp)
  mov    (%rax),%rdx
  mov    0xf0(%rcx),%rax
  mov    %rdx,0x70(%rsp)
  mov    (%rax),%rdx
  mov    0xf8(%rcx),%rax
  mov    %rdx,0x78(%rsp)
  mov    (%rax),%rdx
  mov    0x100(%rcx),%rax
  mov    %rdx,0x80(%rsp)
  mov    (%rax),%rdx
  mov    0x108(%rcx),%rax
  mov    %rdx,0x88(%rsp)
  mov    (%rax),%rdx
  mov    0x110(%rcx),%rax
  mov    %rdx,0x90(%rsp)
  mov    $0xfffffffffffffff8,%rdx
  mov    (%rax),%rcx
  lea    0x0(,%rsi,8),%rax
  mov    %rcx,0x98(%rsp)
  lea    0x0(,%rdi,8),%rcx
  mov    %rcx,%r8
  mov    %edi,0x1a8(%rsp)
  add    %rax,%r8
  mov    %rax,0xb8(%rsp)
  mov    %rdx,%rax
  sub    %r8,%rax
  mov    %r8,0x148(%rsp)
  mov    %rax,0x158(%rsp)
  mov    $0x8,%eax
  sub    %r8,%rax
  mov    %rdx,%r8
  mov    %rcx,0xc8(%rsp)
  mov    %rax,0x138(%rsp)
  mov    $0x1,%eax
  sub    %rcx,%r8
  mov    %rax,%rcx
  mov    %rdi,0x170(%rsp)
  sub    %rdi,%rcx
  mov    %rsi,0x178(%rsp)
  mov    %rcx,0x180(%rsp)
  mov    %rsi,%rcx
  sub    %rdi,%rsi
  sub    %rcx,%rax
  mov    %r8,0x120(%rsp)
  lea    0x0(,%rsi,8),%r8
  mov    %rax,0x190(%rsp)
  mov    %rdi,%rax
  sub    %rcx,%rdi
  mov    %rdi,0x198(%rsp)
  mov    %rax,%rdi
  add    %rcx,%rdi
  mov    %rsi,0x188(%rsp)
  mov    %rdx,%rsi
  sub    %r8,%rdx
  sub    0xb8(%rsp),%rsi
  lea    0x0(,%rdi,8),%rcx
  cmpl   $0x2,0x16c(%rsp)
  mov    %r8,0x128(%rsp)
  mov    %rsi,0x130(%rsp)
  mov    %rdx,0x150(%rsp)
  mov    %rdi,0x1a0(%rsp)
  mov    %rcx,0x140(%rsp)
  jle    L22
  mov    0x1a8(%rsp),%edi
  movslq 0xc4(%rsp),%rax
  movl   $0x2,0x164(%rsp)
  add    %edi,%edi
  mov    %rax,0xa8(%rsp)
  mov    %edi,0x168(%rsp)
  lea    (%r9,%r9,1),%edi
  mov    %edi,0x1ac(%rsp)
  nopl   0x0(%rax)
L45:
  cmpl   $0x2,0xc0(%rsp)
  jle    L39
  movslq 0x168(%rsp),%rdi
  mov    0x1ac(%rsp),%esi
  movl   $0x2,0xb0(%rsp)
  lea    0x0(,%rdi,8),%rax
  mov    %esi,0xb4(%rsp)
  mov    %rax,%rsi
  sub    0xb8(%rsp),%rax
  sub    0xc8(%rsp),%rsi
  mov    %rdi,0xd0(%rsp)
  mov    %rax,0xf0(%rsp)
  mov    0x190(%rsp),%rax
  mov    %rsi,0xd8(%rsp)
  mov    0x180(%rsp),%rsi
  add    %rdi,%rax
  mov    %rax,0xf8(%rsp)
  mov    0x178(%rsp),%rax
  add    %rdi,%rsi
  mov    %rsi,0xe0(%rsp)
  mov    0x188(%rsp),%rsi
  add    %rdi,%rax
  mov    %rax,0x100(%rsp)
  mov    0x198(%rsp),%rax
  add    %rdi,%rsi
  mov    %rsi,0xe8(%rsp)
  add    %rdi,%rax
  mov    %rax,0x108(%rsp)
  mov    0x170(%rsp),%rax
  add    %rdi,%rax
  mov    %rax,0x110(%rsp)
  mov    0x1a0(%rsp),%rax
  add    %rdi,%rax
  mov    %rax,0x118(%rsp)
  nopw   0x0(%rax,%rax,1)
L58:
  cmpl   $0x2,0xc4(%rsp)
  jle    L36
  movslq 0xb4(%rsp),%rdx
  mov    0xd0(%rsp),%rax
  mov    0x158(%rsp),%rdi
  add    %rdx,%rax
  shl    $0x3,%rax
  lea    (%rdi,%rax,1),%rcx
  lea    (%r10,%rcx,1),%rdi
  mov    %rax,%rcx
  sub    0x148(%rsp),%rcx
  mov    %rdi,-0x8(%rsp)
  lea    (%r10,%rcx,1),%rdi
  mov    %rdi,-0x10(%rsp)
  mov    0x138(%rsp),%rdi
  lea    (%rdi,%rax,1),%rcx
  mov    0x120(%rsp),%rdi
  lea    (%r10,%rcx,1),%rsi
  lea    (%rdi,%rax,1),%rcx
  mov    0xd8(%rsp),%rdi
  mov    %rsi,-0x18(%rsp)
  lea    (%r10,%rcx,1),%rsi
  lea    0x0(,%rdx,8),%rcx
  mov    %rsi,-0x20(%rsp)
  lea    (%rdi,%rcx,1),%rsi
  mov    0xe0(%rsp),%rdi
  add    %r10,%rsi
  add    0xf0(%rsp),%rcx
  mov    %rsi,-0x28(%rsp)
  lea    (%rdi,%rdx,1),%rsi
  mov    0x128(%rsp),%rdi
  lea    (%r10,%rsi,8),%rsi
  mov    %rsi,-0x30(%rsp)
  lea    (%rdi,%rax,1),%rsi
  mov    0xe8(%rsp),%rdi
  add    %r10,%rsi
  mov    %rsi,-0x38(%rsp)
  lea    (%rdi,%rdx,1),%rsi
  lea    (%r10,%rsi,8),%r9
  mov    0x130(%rsp),%rsi
  add    %rax,%rsi
  lea    (%r10,%rsi,1),%rdi
  lea    (%r10,%rcx,1),%rsi
  mov    %rdi,-0x40(%rsp)
  mov    0xf8(%rsp),%rdi
  mov    %rsi,-0x48(%rsp)
  lea    (%rdi,%rdx,1),%rcx
  mov    0xb8(%rsp),%rdi
  lea    (%r10,%rcx,8),%rsi
  lea    (%rdi,%rax,1),%rcx
  mov    %rsi,-0x50(%rsp)
  mov    0x100(%rsp),%rdi
  lea    (%r10,%rcx,1),%rsi
  mov    %rsi,-0x58(%rsp)
  mov    0x150(%rsp),%rsi
  lea    (%rdi,%rdx,1),%rcx
  lea    (%r10,%rcx,8),%r8
  lea    (%rsi,%rax,1),%rcx
  mov    0x108(%rsp),%rsi
  lea    (%r10,%rcx,1),%rdi
  lea    (%rsi,%rdx,1),%rcx
  mov    %rdi,-0x60(%rsp)
  lea    (%r10,%rcx,8),%rdi
  mov    0xc8(%rsp),%rcx
  add    %rax,%rcx
  lea    (%r10,%rcx,1),%rsi
  mov    0x110(%rsp),%rcx
  mov    %rsi,-0x68(%rsp)
  add    %rdx,%rcx
  lea    (%r10,%rcx,8),%rsi
  mov    0x140(%rsp),%rcx
  mov    %r11,-0x78(%rsp)
  add    0x118(%rsp),%rdx
  add    %rax,%rcx
  add    %r10,%rcx
  mov    %rcx,-0x70(%rsp)
  lea    (%r10,%rdx,8),%rcx
  mov    $0x2,%edx
  nopl   (%rax)
L18:
  mov    -0x8(%rsp),%r11
  movsd  0x10(%r14,%rax,1),%xmm0
  movsd  0x10(%r15,%rax,1),%xmm1
  mulsd  (%r11,%rdx,8),%xmm0
  mov    -0x10(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    -0x18(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r12,%rax,1),%xmm1
  mulsd  (%r11,%rdx,8),%xmm1
  mov    (%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x20(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    -0x78(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x28(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    -0x30(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%rbx,%rax,1),%xmm1
  mulsd  (%r11,%rdx,8),%xmm1
  mov    -0x38(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%rbp,%rax,1),%xmm1
  mulsd  -0x8(%r11,%rdx,8),%xmm1
  mov    0x8(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r13,%rax,1),%xmm1
  mulsd  (%r9,%rdx,8),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x10(%rsp),%r11
  mulsd  0x8(%r9,%rdx,8),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x40(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    0x18(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x48(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    0x20(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x50(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    0x28(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x30(%rsp),%r11
  mulsd  0x8(%r10,%rax,1),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x38(%rsp),%r11
  mulsd  0x10(%r10,%rax,1),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x40(%rsp),%r11
  mulsd  0x18(%r10,%rax,1),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x58(%rsp),%r11
  mulsd  -0x8(%r11,%rdx,8),%xmm1
  mov    0x48(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x50(%rsp),%r11
  mulsd  (%r8,%rdx,8),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x58(%rsp),%r11
  mulsd  0x8(%r8,%rdx,8),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x60(%rsp),%r11
  mulsd  (%r11,%rdx,8),%xmm1
  mov    0x60(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mulsd  (%rdi,%rdx,8),%xmm1
  mov    0x68(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    0x70(%rsp),%r11
  mulsd  0x8(%rdi,%rdx,8),%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x68(%rsp),%r11
  mulsd  -0x8(%r11,%rdx,8),%xmm1
  mov    0x78(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mulsd  (%rsi,%rdx,8),%xmm1
  mov    0x80(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mulsd  0x8(%rsi,%rdx,8),%xmm1
  mov    0x88(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mov    -0x70(%rsp),%r11
  mulsd  -0x8(%r11,%rdx,8),%xmm1
  mov    0x90(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mulsd  (%rcx,%rdx,8),%xmm1
  mov    0x98(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  0x10(%r11,%rax,1),%xmm1
  mulsd  0x8(%rcx,%rdx,8),%xmm1
  add    $0x1,%rdx
  mov    0xa0(%rsp),%r11
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%r11,%rax,1)
  add    $0x8,%rax
  cmp    0xa8(%rsp),%rdx
  jne    L18
  mov    -0x78(%rsp),%r11
L36:
  addl   $0x1,0xb0(%rsp)
  mov    0x160(%rsp),%esi
  mov    0xb0(%rsp),%eax
  add    %esi,0xb4(%rsp)
  cmp    %eax,0xc0(%rsp)
  jne    L58
L39:
  addl   $0x1,0x164(%rsp)
  mov    0x1a8(%rsp),%edi
  mov    0x164(%rsp),%eax
  add    %edi,0x168(%rsp)
  cmp    %eax,0x16c(%rsp)
  jne    L45
L22:
  add    $0x1b0,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void rmatmult_3_at(void **rmatmult3_args, double *x, double *b) {
  int i, ii, jj, kk;
  int imin = *((int *)(rmatmult3_args[0]));
  int imax = *((int *)(rmatmult3_args[1]));
  int jmin = *((int *)(rmatmult3_args[2]));
  int jmax = *((int *)(rmatmult3_args[3]));
  int kmin = *((int *)(rmatmult3_args[4]));
  int kmax = *((int *)(rmatmult3_args[5]));
  int jp = *((int *)(rmatmult3_args[6]));
  int kp = *((int *)(rmatmult3_args[7]));
  const double *dbl = *((const double **)(rmatmult3_args[8]));
  const double *dbc = *((const double **)(rmatmult3_args[9]));
  const double *dbr = *((const double **)(rmatmult3_args[10]));
  const double *dcl = *((const double **)(rmatmult3_args[11]));
  const double *dcc = *((const double **)(rmatmult3_args[12]));
  const double *dcr = *((const double **)(rmatmult3_args[13]));
  const double *dfl = *((const double **)(rmatmult3_args[14]));
  const double *dfc = *((const double **)(rmatmult3_args[15]));
  const double *dfr = *((const double **)(rmatmult3_args[16]));
  const double *cbl = *((const double **)(rmatmult3_args[17]));
  const double *cbc = *((const double **)(rmatmult3_args[18]));
  const double *cbr = *((const double **)(rmatmult3_args[19]));
  const double *ccl = *((const double **)(rmatmult3_args[20]));
  const double *ccc = *((const double **)(rmatmult3_args[21]));
  const double *ccr = *((const double **)(rmatmult3_args[22]));
  const double *cfl = *((const double **)(rmatmult3_args[23]));
  const double *cfc = *((const double **)(rmatmult3_args[24]));
  const double *cfr = *((const double **)(rmatmult3_args[25]));
  const double *ubl = *((const double **)(rmatmult3_args[26]));
  const double *ubc = *((const double **)(rmatmult3_args[27]));
  const double *ubr = *((const double **)(rmatmult3_args[28]));
  const double *ucl = *((const double **)(rmatmult3_args[29]));
  const double *ucc = *((const double **)(rmatmult3_args[30]));
  const double *ucr = *((const double **)(rmatmult3_args[31]));
  const double *ufl = *((const double **)(rmatmult3_args[32]));
  const double *ufc = *((const double **)(rmatmult3_args[33]));
  const double *ufr = *((const double **)(rmatmult3_args[34]));
  double *xdbl = x - kp - jp - 1;
  double *xdbc = x - kp - jp;
  double *xdbr = x - kp - jp + 1;
  double *xdcl = x - kp - 1;
  double *xdcc = x - kp;
  double *xdcr = x - kp + 1;
  double *xdfl = x - kp + jp - 1;
  double *xdfc = x - kp + jp;
  double *xdfr = x - kp + jp + 1;
  double *xcbl = x - jp - 1;
  double *xcbc = x - jp;
  double *xcbr = x - jp + 1;
  double *xccl = x - 1;
  double *xccc = x;
  double *xccr = x + 1;
  double *xcfl = x + jp - 1;
  double *xcfc = x + jp;
  double *xcfr = x + jp + 1;
  double *xubl = x + kp - jp - 1;
  double *xubc = x + kp - jp;
  double *xubr = x + kp - jp + 1;
  double *xucl = x + kp - 1;
  double *xucc = x + kp;
  double *xucr = x + kp + 1;
  double *xufl = x + kp + jp - 1;
  double *xufc = x + kp + jp;
  double *xufr = x + kp + jp + 1;
  for (kk = 2; kk < kmax; kk++) {
    for (jj = 2; jj < jmax; jj++) {
      for (ii = 2; ii < imax; ii++) {
        i = ii + jj * jp + kk * kp;
        b[i] = dbl[i] * xdbl[i] + dbc[i] * xdbc[i] + dbr[i] * xdbr[i] + dcl[i] * xdcl[i] + dcc[i] * xdcc[i] + dcr[i] * xdcr[i] + dfl[i] * xdfl[i] + dfc[i] * xdfc[i] + dfr[i] * xdfr[i] + cbl[i] * xcbl[i] + cbc[i] * xcbc[i] + cbr[i] * xcbr[i] + ccl[i] * xccl[i] + ccc[i] * xccc[i] + ccr[i] * xccr[i] + cfl[i] * xcfl[i] + cfc[i] * xcfc[i] + cfr[i] * xcfr[i] + ubl[i] * xubl[i] + ubc[i] * xubc[i] + ubr[i] * xubr[i] + ucl[i] * xucl[i] + ucc[i] * xucc[i] + ucr[i] * xucr[i] + ufl[i] * xufl[i] + ufc[i] * xufc[i] + ufr[i] * xufr[i];
      }
    }
  }
}
```