user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<mtvm3x3>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    -0x20(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x28(%rbp)
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x28(%rbp)
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x18(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x18(%rbp)
  movsd  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x8(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x28(%rbp),%rax
  movsd  %xmm0,(%rax)
  nop
  pop    %rbp
  ret
```

assistant: ```c
void mtvm3x3(double *restrict a, double *restrict v, double *restrict r) {
  double *pv = v;
  *r -= *a++ * *pv++;
  *r -= *a++ * *pv++;
  *r++ -= *a++ * *pv;
  pv = v;
  *r -= *a++ * *pv++;
  *r -= *a++ * *pv++;
  *r++ -= *a++ * *pv;
  pv = v;
  *r -= *a++ * *pv++;
  *r -= *a++ * *pv++;
  *r -= *a * *pv;
}
```