user: 请从给定的汇编指令推导出C源代码：

```asm
<Mmv>:
  endbr64
  push   %r15
  mov    %edi,%eax
  mov    %rdx,%rdi
  mov    %esi,%r10d
  push   %r14
  mov    %ecx,%r11d
  push   %r13
  push   %r12
  push   %rbp
  lea    0x3(%r10),%ebp
  push   %rbx
  sub    $0x88,%rsp
  test   %eax,%eax
  mov    %rdx,0x68(%rsp)
  lea    0x3(%rax),%edx
  cmovns %eax,%edx
  mov    %esi,0x5c(%rsp)
  mov    %ecx,0x74(%rsp)
  mov    %r8,%rcx
  mov    %edx,%esi
  cltd
  mov    %r9,0x78(%rsp)
  shr    $0x1e,%edx
  sar    $0x2,%esi
  movsd  %xmm0,0x40(%rsp)
  mov    %esi,0x60(%rsp)
  lea    (%rax,%rdx,1),%esi
  and    $0x3,%esi
  movsd  %xmm1,0x48(%rsp)
  sub    %edx,%esi
  test   %r10d,%r10d
  mov    %r10d,%edx
  cmovns %r10d,%ebp
  sar    $0x1f,%edx
  mov    %esi,0x70(%rsp)
  mov    %r10d,%esi
  shr    $0x1e,%edx
  add    %edx,%esi
  sar    $0x2,%ebp
  and    $0x3,%esi
  sub    %edx,%esi
  mov    %esi,0x64(%rsp)
  cmp    $0x3,%eax
  jle    L12
  lea    0x0(,%rbp,4),%eax
  mov    %esi,%r15d
  movslq %r11d,%rdx
  mov    %r9,%rbx
  mov    %eax,0x3c(%rsp)
  cltq
  and    $0xfffffffe,%r15d
  lea    0x0(,%rdx,8),%r12
  add    %rax,%rdx
  lea    (%r8,%rax,8),%rax
  mov    %r15d,0x58(%rsp)
  mov    %r12,%r8
  mov    %rax,0x50(%rsp)
  lea    0x0(,%rdx,8),%rsi
  movl   $0x0,0x38(%rsp)
  cs nopw 0x0(%rax,%rax,1)
L96:
  mov    0x8(%rdi),%rax
  mov    (%rdi),%r15
  mov    0x10(%rdi),%r10
  mov    0x18(%rdi),%r9
  cmpl   $0x3,0x5c(%rsp)
  mov    %rax,0x30(%rsp)
  lea    (%r15,%r8,1),%r14
  lea    (%rax,%r8,1),%r13
  lea    (%r10,%r8,1),%r12
  lea    (%r9,%r8,1),%r11
  jle    L44
  movsd  (%r11),%xmm1
  movsd  0x0(%r13),%xmm4
  mov    %rcx,%rdx
  xor    %eax,%eax
  movsd  0x8(%r11),%xmm11
  movsd  0x10(%r11),%xmm12
  movsd  %xmm1,0x28(%rsp)
  movsd  (%r12),%xmm1
  movsd  (%r14),%xmm5
  movsd  %xmm4,0x18(%rsp)
  movsd  0x10(%r14),%xmm4
  movsd  0x8(%r12),%xmm10
  movsd  %xmm1,0x20(%rsp)
  movsd  0x10(%r12),%xmm1
  movsd  0x8(%r13),%xmm9
  movsd  0x8(%r14),%xmm8
  movsd  %xmm4,(%rsp)
  movsd  %xmm1,0x10(%rsp)
  movsd  0x10(%r13),%xmm1
  movsd  %xmm1,0x8(%rsp)
  pxor   %xmm1,%xmm1
  movapd %xmm1,%xmm15
  movapd %xmm1,%xmm6
  movapd %xmm1,%xmm7
  jmp    L28
  nopw   0x0(%rax,%rax,1)
L91:
  movsd  %xmm14,(%rsp)
  movapd %xmm3,%xmm12
  movsd  %xmm13,0x8(%rsp)
  movsd  %xmm2,0x10(%rsp)
L28:
  movsd  (%rdx),%xmm3
  movsd  0x8(%rdx),%xmm2
  add    $0x20,%rdx
  movsd  -0x10(%rdx),%xmm0
  movsd  0x18(%r14,%rax,8),%xmm14
  mulsd  %xmm3,%xmm5
  movsd  -0x8(%rdx),%xmm4
  movsd  0x18(%r13,%rax,8),%xmm13
  addsd  %xmm5,%xmm7
  movapd %xmm2,%xmm5
  mulsd  %xmm8,%xmm5
  addsd  %xmm7,%xmm5
  movsd  (%rsp),%xmm7
  mulsd  %xmm0,%xmm7
  addsd  %xmm7,%xmm5
  movapd %xmm14,%xmm7
  mulsd  %xmm4,%xmm7
  addsd  %xmm5,%xmm7
  movsd  0x18(%rsp),%xmm5
  movsd  %xmm9,0x18(%rsp)
  mulsd  %xmm3,%xmm5
  addsd  %xmm5,%xmm6
  movapd %xmm2,%xmm5
  mulsd  %xmm9,%xmm5
  movsd  0x8(%rsp),%xmm9
  mulsd  %xmm10,%xmm2
  addsd  %xmm6,%xmm5
  movsd  0x8(%rsp),%xmm6
  mulsd  %xmm0,%xmm6
  addsd  %xmm6,%xmm5
  movapd %xmm13,%xmm6
  mulsd  %xmm4,%xmm6
  addsd  %xmm5,%xmm6
  movsd  0x20(%rsp),%xmm5
  movsd  %xmm10,0x20(%rsp)
  movsd  0x10(%rsp),%xmm10
  mulsd  %xmm3,%xmm5
  mulsd  0x28(%rsp),%xmm3
  movsd  %xmm11,0x28(%rsp)
  addsd  %xmm5,%xmm15
  movapd %xmm2,%xmm5
  movsd  0x10(%rsp),%xmm2
  addsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm2
  mulsd  %xmm11,%xmm1
  addsd  %xmm15,%xmm5
  movapd %xmm12,%xmm11
  mulsd  %xmm12,%xmm0
  addsd  %xmm2,%xmm5
  movsd  0x18(%r12,%rax,8),%xmm2
  addsd  %xmm3,%xmm1
  movsd  0x18(%r11,%rax,8),%xmm3
  add    $0x1,%rax
  movapd %xmm2,%xmm15
  mulsd  %xmm4,%xmm15
  mulsd  %xmm3,%xmm4
  addsd  %xmm1,%xmm0
  addsd  %xmm5,%xmm15
  movapd %xmm8,%xmm5
  movsd  (%rsp),%xmm8
  addsd  %xmm0,%xmm4
  movapd %xmm4,%xmm1
  cmp    %eax,%ebp
  jg     L91
L47:
  mov    0x64(%rsp),%edx
  test   %edx,%edx
  jle    L36
  cmp    $0x1,%edx
  je     L73
  mov    0x50(%rsp),%rax
  movupd (%r15,%rsi,1),%xmm0
  movupd (%rax),%xmm2
  mov    0x30(%rsp),%rax
  mulpd  %xmm2,%xmm0
  movapd %xmm0,%xmm3
  unpckhpd %xmm0,%xmm0
  addsd  %xmm7,%xmm3
  movapd %xmm0,%xmm7
  movupd (%rax,%rsi,1),%xmm0
  mov    0x58(%rsp),%eax
  mulpd  %xmm2,%xmm0
  addsd  %xmm3,%xmm7
  movapd %xmm0,%xmm3
  unpckhpd %xmm0,%xmm0
  addsd  %xmm6,%xmm3
  movapd %xmm0,%xmm6
  movupd (%r10,%rsi,1),%xmm0
  mulpd  %xmm2,%xmm0
  addsd  %xmm3,%xmm6
  movapd %xmm0,%xmm3
  unpckhpd %xmm0,%xmm0
  addsd  %xmm15,%xmm3
  addsd  %xmm3,%xmm0
  movapd %xmm0,%xmm15
  movupd (%r9,%rsi,1),%xmm0
  mulpd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  cmp    %edx,%eax
  je     L36
L51:
  add    0x3c(%rsp),%eax
  cltq
  movsd  (%rcx,%rax,8),%xmm0
  movsd  (%r14,%rax,8),%xmm2
  mulsd  %xmm0,%xmm2
  addsd  %xmm2,%xmm7
  movsd  0x0(%r13,%rax,8),%xmm2
  mulsd  %xmm0,%xmm2
  addsd  %xmm2,%xmm6
  movsd  (%r12,%rax,8),%xmm2
  mulsd  %xmm0,%xmm2
  mulsd  (%r11,%rax,8),%xmm0
  addsd  %xmm2,%xmm15
  addsd  %xmm0,%xmm1
L36:
  movsd  0x48(%rsp),%xmm4
  movsd  0x40(%rsp),%xmm3
  add    $0x20,%rdi
  add    $0x20,%rbx
  movsd  -0x20(%rbx),%xmm0
  addl   $0x1,0x38(%rsp)
  mulsd  %xmm3,%xmm7
  mov    0x38(%rsp),%eax
  mulsd  %xmm4,%xmm0
  mulsd  %xmm3,%xmm6
  mulsd  %xmm3,%xmm15
  mulsd  %xmm3,%xmm1
  addsd  %xmm7,%xmm0
  movsd  %xmm0,-0x20(%rbx)
  movsd  -0x18(%rbx),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  %xmm6,%xmm0
  movsd  %xmm0,-0x18(%rbx)
  movsd  -0x10(%rbx),%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  -0x8(%rbx),%xmm4
  addsd  %xmm15,%xmm0
  movsd  %xmm0,-0x10(%rbx)
  movapd %xmm4,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbx)
  cmp    %eax,0x60(%rsp)
  jg     L96
L12:
  mov    0x70(%rsp),%eax
  test   %eax,%eax
  jle    L102
  mov    0x60(%rsp),%ebp
  mov    0x78(%rsp),%r13
  sub    $0x1,%eax
  mov    0x68(%rsp),%rdi
  movslq 0x74(%rsp),%rbx
  shl    $0x2,%ebp
  lea    0x8(%r13,%rax,8),%r12
  mov    0x5c(%rsp),%r15d
  movslq %ebp,%rbp
  mov    %r12,0x8(%rsp)
  shl    $0x3,%rbx
  lea    (%rdi,%rbp,8),%r14
  mov    %r14,%r12
  mov    %r13,%r14
  mov    %rcx,%r13
L116:
  movsd  0x48(%rsp),%xmm1
  mulsd  (%r14),%xmm1
  mov    %r13,%rdx
  xor    %eax,%eax
  mov    (%r12),%rsi
  mov    %r15d,%edi
  add    $0x8,%r12
  add    %rbx,%rsi
  movsd  %xmm1,(%rsp)
  call   <Mdot@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  0x40(%rsp),%xmm0
  addsd  (%rsp),%xmm0
  movsd  %xmm0,(%r14,%rbp,8)
  add    $0x8,%r14
  cmp    0x8(%rsp),%r14
  jne    L116
L102:
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L44:
  pxor   %xmm1,%xmm1
  movapd %xmm1,%xmm15
  movapd %xmm1,%xmm6
  movapd %xmm1,%xmm7
  jmp    L47
L73:
  xor    %eax,%eax
  jmp    L51
```

assistant: ```c
void Mmv(m, n, alpha, A, j0, x, beta, y) int m, n, j0;
double alpha, beta;
double **A, *x, *y;
{
  register int i, j, m4, n4;
  register double sum0, sum1, sum2, sum3, tmp0, tmp1, tmp2, tmp3;
  register double *dp0, *dp1, *dp2, *dp3;
  m4 = n4 = 0;
  m4 = m / 4;
  m = m % 4;
  n4 = n / 4;
  n = n % 4;
  for (i = 0; i < m4; i++) {
    sum0 = sum1 = sum2 = sum3 = 0.0;
    dp0 = &(A[4 * i][j0]);
    dp1 = &(A[4 * i + 1][j0]);
    dp2 = &(A[4 * i + 2][j0]);
    dp3 = &(A[4 * i + 3][j0]);
    for (j = 0; j < n4; j++) {
      tmp0 = x[4 * j];
      tmp1 = x[4 * j + 1];
      tmp2 = x[4 * j + 2];
      tmp3 = x[4 * j + 3];
      sum0 = sum0 + dp0[j] * tmp0 + dp0[j + 1] * tmp1 + dp0[j + 2] * tmp2 + dp0[j + 3] * tmp3;
      sum1 = sum1 + dp1[j] * tmp0 + dp1[j + 1] * tmp1 + dp1[j + 2] * tmp2 + dp1[j + 3] * tmp3;
      sum2 = sum2 + dp2[j] * tmp0 + dp2[j + 1] * tmp1 + dp2[j + 2] * tmp2 + dp2[j + 3] * tmp3;
      sum3 = sum3 + dp3[j] * tmp0 + dp3[j + 1] * tmp2 + dp3[j + 2] * tmp2 + dp3[j + 3] * tmp3;
    }
    for (j = 0; j < n; j++) {
      sum0 += dp0[4 * n4 + j] * x[4 * n4 + j];
      sum1 += dp1[4 * n4 + j] * x[4 * n4 + j];
      sum2 += dp2[4 * n4 + j] * x[4 * n4 + j];
      sum3 += dp3[4 * n4 + j] * x[4 * n4 + j];
    }
    y[4 * i] = beta * y[4 * i] + alpha * sum0;
    y[4 * i + 1] = beta * y[4 * i + 1] + alpha * sum1;
    y[4 * i + 2] = beta * y[4 * i + 2] + alpha * sum2;
    y[4 * i + 3] = beta * y[4 * i + 3] + alpha * sum3;
  }
  for (i = 0; i < m; i++)
    y[4 * m4 + i] = beta * y[i] + alpha * Mdot(4 * n4 + n, &(A[4 * m4 + i][j0]), x);
}
```