user: Translate the below assembly code into C programming language:

```asm
<dmatvec2>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,-0x10(%rsp)
  mov    %esi,-0x28(%rsp)
  mov    %edx,%r15d
  mov    %edx,-0x24(%rsp)
  mov    %rcx,%rbx
  mov    %rcx,-0x30(%rsp)
  mov    %r8,-0x20(%rsp)
  mov    %r9,-0x18(%rsp)
  mov    0x38(%rsp),%rdx
  mov    0x40(%rsp),%rcx
  cmp    $0x7,%r15d
  jle    L77
  mov    %esi,%ebp
  movslq %edi,%rax
  lea    0x0(,%rax,8),%rdi
  mov    %rdi,-0x50(%rsp)
  mov    %rax,%rsi
  shl    $0x6,%rsi
  mov    %rsi,-0x58(%rsp)
  mov    %r9,%r10
  mov    %rax,%rsi
  shl    $0x5,%rsi
  add    %rbx,%rsi
  mov    %rsi,%r14
  sub    %rax,%rdi
  mov    %rdi,%rsi
  mov    %rbx,%rdi
  lea    (%rbx,%rsi,8),%r9
  lea    -0x8(%r15),%esi
  mov    %esi,%ebx
  shr    $0x3,%ebx
  mov    %ebx,-0xc(%rsp)
  mov    %ebx,%ebx
  mov    %rbx,-0x8(%rsp)
  shl    $0x6,%rbx
  lea    0x40(%r8,%rbx,1),%rbx
  mov    %rbx,-0x48(%rsp)
  mov    %rax,%rbx
  shl    $0x4,%rbx
  mov    %rbx,-0x40(%rsp)
  lea    (%rax,%rax,2),%rax
  shl    $0x3,%rax
  mov    %rax,-0x38(%rsp)
  mov    %ebp,%r15d
L88:
  mov    -0x50(%rsp),%rax
  lea    (%rax,%rdi,1),%rbx
  mov    -0x40(%rsp),%rsi
  lea    (%rdi,%rsi,1),%rbp
  mov    -0x38(%rsp),%rsi
  lea    (%rdi,%rsi,1),%r12
  mov    %r14,%r11
  lea    (%rax,%r14,1),%rsi
  lea    (%rax,%rsi,1),%r13
  movsd  (%r8),%xmm5
  movsd  %xmm5,-0x78(%rsp)
  movsd  (%r10),%xmm6
  movsd  %xmm6,-0x70(%rsp)
  movsd  0x8(%r8),%xmm7
  movsd  %xmm7,-0x68(%rsp)
  movsd  0x8(%r10),%xmm5
  movsd  %xmm5,-0x60(%rsp)
  movsd  0x10(%r8),%xmm2
  movsd  0x10(%r10),%xmm3
  movsd  0x18(%r8),%xmm4
  movsd  0x18(%r10),%xmm5
  movsd  0x20(%r8),%xmm6
  movsd  0x20(%r10),%xmm7
  movsd  0x28(%r8),%xmm8
  movsd  0x28(%r10),%xmm9
  movsd  0x30(%r8),%xmm10
  movsd  0x30(%r10),%xmm11
  movsd  0x38(%r8),%xmm12
  movsd  0x38(%r10),%xmm13
  cmpl   $0x0,-0x28(%rsp)
  jle    L82
  mov    $0x0,%eax
L11:
  movsd  (%rdi,%rax,8),%xmm0
  movsd  -0x78(%rsp),%xmm15
  mulsd  %xmm0,%xmm15
  addsd  (%rdx,%rax,8),%xmm15
  mulsd  -0x70(%rsp),%xmm0
  addsd  (%rcx,%rax,8),%xmm0
  movsd  (%rbx,%rax,8),%xmm1
  movsd  -0x68(%rsp),%xmm14
  mulsd  %xmm1,%xmm14
  addsd  %xmm15,%xmm14
  mulsd  -0x60(%rsp),%xmm1
  addsd  %xmm0,%xmm1
  movsd  0x0(%rbp,%rax,8),%xmm0
  movapd %xmm2,%xmm15
  mulsd  %xmm0,%xmm15
  addsd  %xmm15,%xmm14
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  (%r12,%rax,8),%xmm1
  movapd %xmm4,%xmm15
  mulsd  %xmm1,%xmm15
  addsd  %xmm15,%xmm14
  mulsd  %xmm5,%xmm1
  addsd  %xmm0,%xmm1
  movsd  (%r11,%rax,8),%xmm0
  movapd %xmm6,%xmm15
  mulsd  %xmm0,%xmm15
  addsd  %xmm14,%xmm15
  mulsd  %xmm7,%xmm0
  addsd  %xmm1,%xmm0
  movsd  (%rsi,%rax,8),%xmm1
  movapd %xmm8,%xmm14
  mulsd  %xmm1,%xmm14
  addsd  %xmm15,%xmm14
  mulsd  %xmm9,%xmm1
  addsd  %xmm0,%xmm1
  movsd  0x0(%r13,%rax,8),%xmm0
  movapd %xmm10,%xmm15
  mulsd  %xmm0,%xmm15
  addsd  %xmm14,%xmm15
  mulsd  %xmm11,%xmm0
  addsd  %xmm1,%xmm0
  movsd  (%r9,%rax,8),%xmm14
  movapd %xmm12,%xmm1
  mulsd  %xmm14,%xmm1
  addsd  %xmm15,%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  movapd %xmm14,%xmm1
  mulsd  %xmm13,%xmm1
  addsd  %xmm0,%xmm1
  movsd  %xmm1,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %r15,%rax
  jne    L11
L82:
  mov    -0x58(%rsp),%rax
  add    %rax,%rdi
  add    $0x40,%r8
  add    $0x40,%r10
  add    %rax,%r14
  add    %rax,%r9
  cmp    -0x48(%rsp),%r8
  jne    L88
  mov    -0xc(%rsp),%eax
  lea    0x8(,%rax,8),%ebp
  mov    -0x8(%rsp),%rax
  add    $0x1,%rax
  imul   -0x58(%rsp),%rax
  add    %rax,-0x30(%rsp)
L26:
  mov    -0x24(%rsp),%r14d
  lea    -0x3(%r14),%eax
  cmp    %ebp,%eax
  jle    L90
  mov    -0x10(%rsp),%ebx
  movslq %ebx,%rax
  lea    0x0(,%rax,8),%r13
  lea    0x0(,%rbx,4),%esi
  movslq %esi,%rsi
  lea    0x0(,%rsi,8),%r15
  movslq %ebp,%rsi
  lea    0x0(,%rsi,8),%rbx
  mov    -0x20(%rsp),%r9
  lea    (%r9,%rbx,1),%r11
  add    -0x18(%rsp),%rbx
  lea    (%rax,%rax,2),%rdi
  mov    -0x30(%rsp),%r10
  lea    (%r10,%rdi,8),%rdi
  lea    -0x4(%r14),%r8d
  sub    %ebp,%r8d
  shr    $0x2,%r8d
  mov    %r8d,-0x78(%rsp)
  mov    %r8d,%r14d
  mov    %r14,-0x70(%rsp)
  lea    (%rsi,%r14,4),%rsi
  lea    0x20(%r9,%rsi,8),%r12
  shl    $0x4,%rax
  mov    %rax,%r14
  mov    %r10,%rsi
  mov    -0x28(%rsp),%eax
  mov    %eax,%r10d
  mov    %ebp,-0x68(%rsp)
  mov    %eax,%ebp
L41:
  lea    0x0(%r13,%rsi,1),%r8
  lea    (%rsi,%r14,1),%r9
  movsd  (%r11),%xmm2
  movsd  (%rbx),%xmm3
  movsd  0x8(%r11),%xmm4
  movsd  0x8(%rbx),%xmm5
  movsd  0x10(%r11),%xmm6
  movsd  0x10(%rbx),%xmm7
  movsd  0x18(%r11),%xmm8
  movsd  0x18(%rbx),%xmm9
  test   %ebp,%ebp
  jle    L6
  mov    $0x0,%eax
L5:
  movsd  (%rsi,%rax,8),%xmm0
  movapd %xmm2,%xmm11
  mulsd  %xmm0,%xmm11
  addsd  (%rdx,%rax,8),%xmm11
  movapd %xmm0,%xmm1
  mulsd  %xmm3,%xmm1
  addsd  (%rcx,%rax,8),%xmm1
  movsd  (%r8,%rax,8),%xmm0
  movapd %xmm4,%xmm10
  mulsd  %xmm0,%xmm10
  addsd  %xmm11,%xmm10
  mulsd  %xmm5,%xmm0
  addsd  %xmm0,%xmm1
  movsd  (%r9,%rax,8),%xmm0
  movapd %xmm6,%xmm11
  mulsd  %xmm0,%xmm11
  addsd  %xmm10,%xmm11
  mulsd  %xmm7,%xmm0
  addsd  %xmm0,%xmm1
  movsd  (%rdi,%rax,8),%xmm0
  movapd %xmm8,%xmm10
  mulsd  %xmm0,%xmm10
  addsd  %xmm11,%xmm10
  movsd  %xmm10,(%rdx,%rax,8)
  mulsd  %xmm9,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %r10,%rax
  jne    L5
L6:
  add    %r15,%rsi
  add    $0x20,%r11
  add    $0x20,%rbx
  add    %r15,%rdi
  cmp    %r12,%r11
  jne    L41
  mov    -0x68(%rsp),%ebp
  mov    -0x78(%rsp),%eax
  lea    0x4(%rbp,%rax,4),%ebp
  mov    -0x70(%rsp),%rax
  add    $0x1,%rax
  imul   %r15,%rax
  add    %rax,-0x30(%rsp)
L90:
  mov    -0x24(%rsp),%r10d
  cmp    %ebp,%r10d
  jle    L47
  movslq -0x10(%rsp),%rdi
  shl    $0x3,%rdi
  movslq %ebp,%rbp
  mov    -0x28(%rsp),%r9d
  mov    %r9d,%esi
  mov    -0x30(%rsp),%r8
  mov    -0x20(%rsp),%r11
  mov    -0x18(%rsp),%rbx
L105:
  movsd  (%r11,%rbp,8),%xmm3
  movsd  (%rbx,%rbp,8),%xmm4
  test   %r9d,%r9d
  jle    L93
  mov    $0x0,%eax
L95:
  movsd  (%rcx,%rax,8),%xmm2
  movsd  (%r8,%rax,8),%xmm0
  movapd %xmm3,%xmm1
  mulsd  %xmm0,%xmm1
  addsd  (%rdx,%rax,8),%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  mulsd  %xmm4,%xmm0
  addsd  %xmm2,%xmm0
  movsd  %xmm0,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %rsi,%rax
  jne    L95
L93:
  add    %rdi,%r8
  add    $0x1,%rbp
  cmp    %ebp,%r10d
  jg     L105
L47:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L77:
  mov    $0x0,%ebp
  jmp    L26
```

assistant: ```c
void dmatvec2(int lda, int m, int n, double *A, double *x0, double *x1, double *y0, double *y1) {
  register double v00, v10, v20, v30, v40, v50, v60, v70, v01, v11, v21, v31, v41, v51, v61, v71;
  register double t0, t1, t2, t3, t4, t5, t6, t7;
  register double f0, f1;
  double *Mki0, *Mki1, *Mki2, *Mki3, *Mki4, *Mki5, *Mki6, *Mki7;
  register int firstcol = 0;
  double *M0;
  int k;
  M0 = &A[0];
  while (firstcol < n - 7) {
    Mki0 = M0;
    Mki1 = Mki0 + lda;
    Mki2 = Mki1 + lda;
    Mki3 = Mki2 + lda;
    Mki4 = Mki3 + lda;
    Mki5 = Mki4 + lda;
    Mki6 = Mki5 + lda;
    Mki7 = Mki6 + lda;
    v00 = x0[firstcol];
    v01 = x1[firstcol++];
    v10 = x0[firstcol];
    v11 = x1[firstcol++];
    v20 = x0[firstcol];
    v21 = x1[firstcol++];
    v30 = x0[firstcol];
    v31 = x1[firstcol++];
    v40 = x0[firstcol];
    v41 = x1[firstcol++];
    v50 = x0[firstcol];
    v51 = x1[firstcol++];
    v60 = x0[firstcol];
    v61 = x1[firstcol++];
    v70 = x0[firstcol];
    v71 = x1[firstcol++];
    for (k = 0; k < m; k++) {
      f0 = y0[k];
      f1 = y1[k];
      t0 = Mki0[k];
      f0 += v00 * t0;
      f1 += v01 * t0;
      t1 = Mki1[k];
      f0 += v10 * t1;
      f1 += v11 * t1;
      t2 = Mki2[k];
      f0 += v20 * t2;
      f1 += v21 * t2;
      t3 = Mki3[k];
      f0 += v30 * t3;
      f1 += v31 * t3;
      t4 = Mki4[k];
      f0 += v40 * t4;
      f1 += v41 * t4;
      t5 = Mki5[k];
      f0 += v50 * t5;
      f1 += v51 * t5;
      t6 = Mki6[k];
      f0 += v60 * t6;
      f1 += v61 * t6;
      t7 = Mki7[k];
      f0 += v70 * t7;
      f1 += v71 * t7;
      y0[k] = f0;
      y1[k] = f1;
    }
    M0 += 8 * lda;
  }
  while (firstcol < n - 3) {
    Mki0 = M0;
    Mki1 = Mki0 + lda;
    Mki2 = Mki1 + lda;
    Mki3 = Mki2 + lda;
    v00 = x0[firstcol];
    v01 = x1[firstcol++];
    v10 = x0[firstcol];
    v11 = x1[firstcol++];
    v20 = x0[firstcol];
    v21 = x1[firstcol++];
    v30 = x0[firstcol];
    v31 = x1[firstcol++];
    for (k = 0; k < m; k++) {
      f0 = y0[k];
      f1 = y1[k];
      t0 = Mki0[k];
      f0 += v00 * t0;
      f1 += v01 * t0;
      t1 = Mki1[k];
      f0 += v10 * t1;
      f1 += v11 * t1;
      t2 = Mki2[k];
      f0 += v20 * t2;
      f1 += v21 * t2;
      t3 = Mki3[k];
      f0 += v30 * t3;
      f1 += v31 * t3;
      y0[k] = f0;
      y1[k] = f1;
    }
    M0 += 4 * lda;
  }
  while (firstcol < n) {
    Mki0 = M0;
    v00 = x0[firstcol];
    v01 = x1[firstcol++];
    for (k = 0; k < m; k++) {
      f0 = y0[k];
      f1 = y1[k];
      t0 = Mki0[k];
      f0 += v00 * t0;
      f1 += v01 * t0;
      y0[k] = f0;
      y1[k] = f1;
    }
    M0 += lda;
  }
}
```