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

```asm
<Mvm>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x48,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %esi,-0x38(%rbp)
  movsd  %xmm0,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    %ecx,-0x4c(%rbp)
  mov    %r8,-0x58(%rbp)
  movsd  %xmm1,-0x60(%rbp)
  mov    %r9,-0x68(%rbp)
  movsd  D0(%rip),%xmm0
  ucomisd -0x60(%rbp),%xmm0
  jp     L84
  movsd  D0(%rip),%xmm0
  ucomisd -0x60(%rbp),%xmm0
  je     L112
L84:
  mov    -0x68(%rbp),%rcx
  mov    -0x60(%rbp),%rdx
  mov    -0x34(%rbp),%eax
  mov    %rcx,%rsi
  movq   %rdx,%xmm0
  mov    %eax,%edi
  mov    $0x1,%eax
  call   <Mscale@plt>
L112:
  mov    -0x34(%rbp),%eax
  lea    0x3(%rax),%edx
  test   %eax,%eax
  cmovs  %edx,%eax
  sar    $0x2,%eax
  mov    %eax,%r13d
  mov    -0x34(%rbp),%eax
  cltd
  shr    $0x1e,%edx
  add    %edx,%eax
  and    $0x3,%eax
  sub    %edx,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x38(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,%r14d
  mov    -0x38(%rbp),%eax
  cltd
  shr    $0x1f,%edx
  add    %edx,%eax
  and    $0x1,%eax
  sub    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    $0x0,%r12d
  jmp    L103
L134:
  lea    (%r12,%r12,1),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm5
  lea    (%r12,%r12,1),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm4
  lea    (%r12,%r12,1),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    (%rdx,%rax,1),%r15
  lea    (%r12,%r12,1),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  mov    %rax,%rcx
  mov    $0x0,%ebx
  jmp    L66
L26:
  lea    0x0(,%rbx,4),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  movapd %xmm5,%xmm3
  mulsd  %xmm3,%xmm0
  movapd %xmm1,%xmm6
  addsd  %xmm0,%xmm6
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  movapd %xmm1,%xmm7
  addsd  %xmm0,%xmm7
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm3,%xmm0
  movapd %xmm1,%xmm3
  addsd  %xmm0,%xmm3
  lea    0x0(,%rbx,4),%eax
  cltq
  shl    $0x3,%rax
  mov    %rcx,%rsi
  add    %rsi,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm4,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm6,%xmm0
  movsd  %xmm0,(%rax)
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  shl    $0x3,%rax
  add    %rsi,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm4,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm7,%xmm0
  movsd  %xmm0,(%rax)
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  shl    $0x3,%rax
  add    %rsi,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm4,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm2,%xmm0
  movsd  %xmm0,(%rax)
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  shl    $0x3,%rax
  add    %rsi,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm4,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm3,%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L66:
  cmp    %r13d,%ebx
  jl     L26
  lea    0x0(,%r13,4),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  lea    0x0(,%r13,4),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,%r15
  lea    0x0(,%r13,4),%eax
  cltq
  shl    $0x3,%rax
  mov    %rcx,%rdi
  add    %rax,%rdi
  mov    %rdi,%rcx
  mov    $0x0,%ebx
  jmp    L35
L96:
  movslq %ebx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movslq %ebx,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm2
  movapd %xmm5,%xmm6
  mulsd  %xmm6,%xmm2
  movslq %ebx,%rax
  shl    $0x3,%rax
  add    %rcx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm4,%xmm7
  mulsd  %xmm7,%xmm0
  addsd  %xmm2,%xmm0
  movslq %ebx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L35:
  cmp    -0x34(%rbp),%ebx
  jl     L96
  add    $0x1,%r12d
L103:
  cmp    %r14d,%r12d
  jl     L134
  mov    $0x0,%r12d
  jmp    L8
L85:
  lea    (%r14,%r14,1),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movapd %xmm0,%xmm7
  lea    (%r14,%r14,1),%eax
  add    %r12d,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    (%rdx,%rax,1),%r15
  mov    $0x0,%ebx
  jmp    L65
L37:
  lea    0x0(,%rbx,4),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  movapd %xmm7,%xmm5
  mulsd  %xmm5,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm5,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm5,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm5,%xmm0
  lea    0x0(,%rbx,4),%eax
  cltq
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L65:
  cmp    %r13d,%ebx
  jl     L37
  lea    0x0(,%r13,4),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  lea    0x0(,%r13,4),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,%r15
  mov    $0x0,%ebx
  jmp    L54
L48:
  movslq %ebx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movslq %ebx,%rax
  shl    $0x3,%rax
  add    %r15,%rax
  movsd  (%rax),%xmm0
  movapd %xmm7,%xmm6
  mulsd  %xmm6,%xmm0
  movslq %ebx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    $0x1,%ebx
L54:
  cmp    -0x34(%rbp),%ebx
  jl     L48
  add    $0x1,%r12d
L8:
  cmp    -0x38(%rbp),%r12d
  jl     L85
  nop
  nop
  add    $0x48,%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: data_tag: D0
type_infered: f64

tool: D0: 1

assistant: ```c
void Mvm(m, n, alpha, A, j0, x, beta, y) int m, n, j0;
double alpha, beta;
double **A, *x, *y;
{
  register int i, j, m4, n2;
  register double *Aref;
  register double tmp;
  register double *Aref0, *Aref1;
  register double tmp0, tmp1;
  register double yval0, yval1, yval2, yval3;
  if (beta != 1.0)
    Mscale(m, beta, y);
  m4 = n2 = 0;
  m4 = m / 4;
  m = m % 4;
  n2 = n / 2;
  n = n % 2;
  for (j = 0; j < n2; j++) {
    tmp0 = alpha * x[2 * j];
    tmp1 = alpha * x[2 * j + 1];
    Aref0 = &(A[2 * j][j0]);
    Aref1 = &(A[2 * j + 1][j0]);
    for (i = 0; i < m4; i++) {
      yval0 = y[4 * i] + tmp0 * Aref0[4 * i];
      yval1 = y[4 * i + 1] + tmp0 * Aref0[4 * i + 1];
      yval2 = y[4 * i + 2] + tmp0 * Aref0[4 * i + 2];
      yval3 = y[4 * i + 3] + tmp0 * Aref0[4 * i + 3];
      y[4 * i] = yval0 + tmp1 * Aref1[4 * i];
      y[4 * i + 1] = yval1 + tmp1 * Aref1[4 * i + 1];
      y[4 * i + 2] = yval2 + tmp1 * Aref1[4 * i + 2];
      y[4 * i + 3] = yval3 + tmp1 * Aref1[4 * i + 3];
    }
    y += 4 * m4;
    Aref0 += 4 * m4;
    Aref1 += 4 * m4;
    for (i = 0; i < m; i++)
      y[i] += tmp0 * Aref0[i] + tmp1 * Aref1[i];
  }
  for (j = 0; j < n; j++) {
    tmp = alpha * x[2 * n2 + j];
    Aref = &(A[2 * n2 + j][j0]);
    for (i = 0; i < m4; i++) {
      y[4 * i] += tmp * Aref[4 * i];
      y[4 * i + 1] += tmp * Aref[4 * i + 1];
      y[4 * i + 2] += tmp * Aref[4 * i + 2];
      y[4 * i + 3] += tmp * Aref[4 * i + 3];
    }
    y += 4 * m4;
    Aref += 4 * m4;
    for (i = 0; i < m; i++)
      y[i] += tmp * Aref[i];
  }
}
```