user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<rmatmult_3_at>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x190,%rsp
  mov    %rdi,-0x1f8(%rbp)
  mov    %rsi,-0x200(%rbp)
  mov    %rdx,-0x208(%rbp)
  mov    -0x1f8(%rbp),%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1d4(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1d0(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1cc(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1c8(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1c4(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1c0(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1bc(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    (%rax),%eax
  mov    %eax,-0x1b8(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x1b0(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x1a8(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x1a0(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x198(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x190(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x188(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x180(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x178(%rbp)
  mov    -0x1f8(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x170(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x88,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x168(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x90,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x160(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x98,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x158(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xa0,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x150(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xa8,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x148(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xb0,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x140(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xb8,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x138(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xc0,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x130(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xc8,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x128(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xd0,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x120(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xd8,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x118(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xe0,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x110(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xe8,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x108(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xf0,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0x100(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0xf8,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0xf8(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x100,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0xf0(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x108,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0xe8(%rbp)
  mov    -0x1f8(%rbp),%rax
  add    $0x110,%rax
  mov    (%rax),%rax
  mov    (%rax),%rax
  mov    %rax,-0xe0(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  neg    %rax
  mov    %rax,%rdx
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rcx
  mov    %rdx,%rax
  sub    %rcx,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xd8(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  neg    %rax
  mov    %rax,%rdx
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  sub    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xd0(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  neg    %rax
  mov    %rax,%rdx
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rcx
  mov    %rdx,%rax
  sub    %rcx,%rax
  lea    0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xc8(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    $0xfffffffffffffff8,%rdx
  sub    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xc0(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  neg    %rax
  mov    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xb8(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    $0x8,%edx
  sub    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xb0(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    -0x1b8(%rbp),%edx
  shl    $0x3,%edx
  movslq %edx,%rdx
  sub    %rdx,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0xa8(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    -0x1b8(%rbp),%edx
  shl    $0x3,%edx
  movslq %edx,%rdx
  sub    %rdx,%rax
  mov    %rax,%rcx
  mov    -0x200(%rbp),%rax
  add    %rcx,%rax
  mov    %rax,-0xa0(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    -0x1b8(%rbp),%edx
  shl    $0x3,%edx
  movslq %edx,%rdx
  sub    %rdx,%rax
  lea    0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x98(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    $0xfffffffffffffff8,%rdx
  sub    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x90(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  neg    %rax
  mov    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    $0x8,%edx
  sub    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x200(%rbp),%rax
  sub    $0x8,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x200(%rbp),%rax
  mov    %rax,-0x70(%rbp)
  mov    -0x200(%rbp),%rax
  add    $0x8,%rax
  mov    %rax,-0x68(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  lea    -0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x58(%rbp)
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  lea    0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    -0x1bc(%rbp),%edx
  shl    $0x3,%edx
  movslq %edx,%rdx
  sub    %rdx,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    -0x1bc(%rbp),%edx
  shl    $0x3,%edx
  movslq %edx,%rdx
  sub    %rdx,%rax
  mov    %rax,%rcx
  mov    -0x200(%rbp),%rax
  add    %rcx,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  mov    -0x1bc(%rbp),%edx
  shl    $0x3,%edx
  movslq %edx,%rdx
  sub    %rdx,%rax
  lea    0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  lea    -0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  cltq
  lea    0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rdx
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  add    %rdx,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rdx
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  add    %rax,%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x1b8(%rbp),%eax
  shl    $0x3,%eax
  movslq %eax,%rdx
  mov    -0x1bc(%rbp),%eax
  shl    $0x3,%eax
  cltq
  add    %rdx,%rax
  lea    0x8(%rax),%rdx
  mov    -0x200(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  movl   $0x2,-0x1ec(%rbp)
  jmp    L91
L68:
  movl   $0x2,-0x1e8(%rbp)
  jmp    L164
L84:
  movl   $0x2,-0x1e4(%rbp)
  jmp    L42
L144:
  mov    -0x1e8(%rbp),%eax
  mov    %eax,-0x1e0(%rbp)
  jmp    L23
L46:
  mov    -0x1e4(%rbp),%eax
  mov    %eax,-0x1dc(%rbp)
  jmp    L78
L52:
  mov    -0x1ec(%rbp),%eax
  mov    %eax,-0x1d8(%rbp)
  jmp    L59
L20:
  mov    -0x1dc(%rbp),%eax
  imul   -0x1bc(%rbp),%eax
  mov    %eax,%edx
  mov    -0x1d8(%rbp),%eax
  add    %eax,%edx
  mov    -0x1e0(%rbp),%eax
  imul   -0x1b8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x1b4(%rbp)
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x1b0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x1a8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xd0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x1a0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x198(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x190(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x188(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x180(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x178(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x170(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x168(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x160(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x158(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x80(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x150(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x148(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x140(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x138(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x130(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x128(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x120(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x118(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x110(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x108(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x100(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xf8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xf0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xe8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xe0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x1b4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x208(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x1d8(%rbp)
L59:
  mov    -0x1ec(%rbp),%eax
  add    $0x35,%eax
  cmp    %eax,-0x1d0(%rbp)
  jg     L153
  mov    -0x1d0(%rbp),%eax
  sub    $0x1,%eax
  jmp    L62
L153:
  mov    -0x1ec(%rbp),%eax
  add    $0x35,%eax
L62:
  cmp    -0x1d8(%rbp),%eax
  jge    L20
  addl   $0x1,-0x1dc(%rbp)
L78:
  mov    -0x1e4(%rbp),%eax
  add    $0xe,%eax
  cmp    %eax,-0x1c8(%rbp)
  jg     L127
  mov    -0x1c8(%rbp),%eax
  sub    $0x1,%eax
  jmp    L61
L127:
  mov    -0x1e4(%rbp),%eax
  add    $0xe,%eax
L61:
  cmp    -0x1dc(%rbp),%eax
  jge    L52
  addl   $0x1,-0x1e0(%rbp)
L23:
  mov    -0x1e8(%rbp),%eax
  add    $0x46,%eax
  cmp    %eax,-0x1c0(%rbp)
  jg     L55
  mov    -0x1c0(%rbp),%eax
  sub    $0x1,%eax
  jmp    L145
L55:
  mov    -0x1e8(%rbp),%eax
  add    $0x46,%eax
L145:
  cmp    -0x1e0(%rbp),%eax
  jge    L46
  addl   $0xf,-0x1e4(%rbp)
L42:
  mov    -0x1c8(%rbp),%eax
  cmp    -0x1e4(%rbp),%eax
  jg     L144
  addl   $0x47,-0x1e8(%rbp)
L164:
  mov    -0x1c0(%rbp),%eax
  cmp    -0x1e8(%rbp),%eax
  jg     L84
  addl   $0x36,-0x1ec(%rbp)
L91:
  mov    -0x1d0(%rbp),%eax
  cmp    -0x1ec(%rbp),%eax
  jg     L68
  nop
  leave
  ret
```

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