user: 下面的汇编指令对应的C源代码是什么:

```asm
<_inner_mv_daxpy2>:
  endbr64
  push   %r14
  mov    %rdi,%r11
  mov    %rsi,%rax
  push   %r13
  push   %r12
  push   %rbp
  movslq %ecx,%rbp
  push   %rbx
  movsd  (%r8),%xmm1
  mov    %rdx,%rbx
  mov    0x30(%rsp),%r12d
  mulsd  %xmm0,%xmm1
  mulsd  (%r9),%xmm0
  cmp    $0x3,%r12d
  jle    L56
  lea    -0x4(%r12),%r10d
  movslq %ebp,%rcx
  shr    $0x2,%r10d
  mov    %rcx,%r8
  lea    0x0(,%rcx,8),%rdi
  shl    $0x4,%rcx
  lea    0x1(%r10),%r14d
  add    %rdx,%rcx
  shl    $0x5,%r8
  mov    %r14,%r13
  mov    %r14,%r10
  shl    $0x5,%r13
  lea    (%rsi,%r13,1),%r9
  mov    %rdx,%rsi
  mov    %r11,%rdx
  nop
L33:
  movsd  (%rsi),%xmm2
  add    $0x20,%rax
  add    $0x20,%rdx
  mulsd  %xmm1,%xmm2
  addsd  -0x20(%rdx),%xmm2
  movsd  %xmm2,-0x20(%rdx)
  movsd  (%rsi),%xmm2
  mulsd  %xmm0,%xmm2
  addsd  -0x20(%rax),%xmm2
  movsd  %xmm2,-0x20(%rax)
  movsd  (%rsi,%rdi,1),%xmm2
  mulsd  %xmm1,%xmm2
  addsd  -0x18(%rdx),%xmm2
  movsd  %xmm2,-0x18(%rdx)
  movsd  (%rsi,%rdi,1),%xmm2
  add    %r8,%rsi
  mulsd  %xmm0,%xmm2
  addsd  -0x18(%rax),%xmm2
  movsd  %xmm2,-0x18(%rax)
  movsd  (%rcx),%xmm2
  mulsd  %xmm1,%xmm2
  addsd  -0x10(%rdx),%xmm2
  movsd  %xmm2,-0x10(%rdx)
  movsd  (%rcx),%xmm2
  mulsd  %xmm0,%xmm2
  addsd  -0x10(%rax),%xmm2
  movsd  %xmm2,-0x10(%rax)
  movsd  (%rcx,%rdi,1),%xmm2
  mulsd  %xmm1,%xmm2
  addsd  -0x8(%rdx),%xmm2
  movsd  %xmm2,-0x8(%rdx)
  movsd  (%rcx,%rdi,1),%xmm2
  add    %r8,%rcx
  mulsd  %xmm0,%xmm2
  addsd  -0x8(%rax),%xmm2
  movsd  %xmm2,-0x8(%rax)
  cmp    %r9,%rax
  jne    L33
  imul   %r14,%r8
  add    %r13,%r11
  shl    $0x2,%r10d
  add    %r8,%rbx
L11:
  cmp    %r10d,%r12d
  je     L2
  lea    -0x1(%r12),%eax
  cmp    %r10d,%eax
  jle    L13
  movsd  (%rbx),%xmm2
  shl    $0x3,%rbp
  add    $0x10,%r11
  add    $0x10,%r9
  add    $0x2,%r10d
  mulsd  %xmm1,%xmm2
  addsd  -0x10(%r11),%xmm2
  movsd  %xmm2,-0x10(%r11)
  movsd  (%rbx),%xmm2
  add    %rbp,%rbx
  mulsd  %xmm0,%xmm2
  addsd  -0x10(%r9),%xmm2
  movsd  %xmm2,-0x10(%r9)
  movsd  (%rbx),%xmm2
  mulsd  %xmm1,%xmm2
  addsd  -0x8(%r11),%xmm2
  movsd  %xmm2,-0x8(%r11)
  movsd  (%rbx),%xmm2
  add    %rbp,%rbx
  mulsd  %xmm0,%xmm2
  addsd  -0x8(%r9),%xmm2
  movsd  %xmm2,-0x8(%r9)
L13:
  cmp    %r12d,%r10d
  jge    L2
  mulsd  (%rbx),%xmm1
  addsd  (%r11),%xmm1
  movsd  %xmm1,(%r11)
  mulsd  (%rbx),%xmm0
  addsd  (%r9),%xmm0
  movsd  %xmm0,(%r9)
L2:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   0x0(%rax)
L56:
  mov    %rsi,%r9
  xor    %r10d,%r10d
  jmp    L11
```

assistant: ```c
void _inner_mv_daxpy2(double *a0, double *a1, const double *x, int incX, const double *y0, const double *y1, double alpha, int nRE) {
  register int i;
  register double cf0, cf1;
  cf0 = alpha * y0[0];
  cf1 = alpha * y1[0];
  for (i = 0; i < nRE - 3; i += 4) {
    a0[0] += x[0] * cf0;
    a1[0] += x[0] * cf1;
    x += incX;
    a0[1] += x[0] * cf0;
    a1[1] += x[0] * cf1;
    x += incX;
    a0[2] += x[0] * cf0;
    a1[2] += x[0] * cf1;
    x += incX;
    a0[3] += x[0] * cf0;
    a1[3] += x[0] * cf1;
    x += incX;
    a0 += 4;
    a1 += 4;
  }
  if (i == nRE)
    return;
  if (i < nRE - 1) {
    a0[0] += x[0] * cf0;
    a1[0] += x[0] * cf1;
    x += incX;
    a0[1] += x[0] * cf0;
    a1[1] += x[0] * cf1;
    x += incX;
    a0 += 2;
    a1 += 2;
    i += 2;
  }
  if (i < nRE) {
    a0[0] += x[0] * cf0;
    a1[0] += x[0] * cf1;
    x += incX;
    i++;
  }
}
```