user: What would the C source look like for the assembly code provided here:

```asm
<_dblock_ddot_sse>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x88,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %rdx,-0x68(%rbp)
  movsd  %xmm0,-0x70(%rbp)
  mov    %ecx,-0x74(%rbp)
  mov    %r8d,-0x78(%rbp)
  mov    %r9d,-0x7c(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x68(%rbp),%rax
  mov    %rax,-0x38(%rbp)
  mov    $0x0,%r13d
  jmp    L44
L18:
  mov    -0x60(%rbp),%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x68(%rbp),%r15
  mov    -0x7c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    (%r15,%rax,1),%rsi
  mov    %rsi,-0x88(%rbp)
  mov    -0x7c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rsi,%rax
  mov    %rax,%rdi
  mov    %rdi,-0xa0(%rbp)
  mov    -0x7c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdi,%rax
  mov    %rax,-0xa8(%rbp)
  mov    -0x58(%rbp),%rbx
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    (%rbx,%rax,1),%r14
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    (%r14,%rax,1),%rdi
  mov    %rdi,-0x90(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdi,%rax
  mov    %rax,-0x98(%rbp)
  mov    $0x0,%r12d
  jmp    L64
L75:
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x70(%rbp),%rax
  mov    -0x48(%rbp),%rcx
  sub    $0x8,%rsp
  mov    0x20(%rbp),%edx
  push   %rdx
  push   -0xa8(%rbp)
  push   -0xa0(%rbp)
  push   -0x88(%rbp)
  push   %r15
  movq   %rax,%xmm0
  mov    %rsi,%r9
  mov    %rcx,%r8
  mov    -0x98(%rbp),%rcx
  mov    -0x90(%rbp),%rdx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <_inner_ddot4_2_sse3@plt>
  add    $0x30,%rsp
  mov    -0x78(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x48(%rbp)
  add    $0x10,%rbx
  add    $0x10,%r14
  addq   $0x10,-0x90(%rbp)
  addq   $0x10,-0x98(%rbp)
  add    $0x2,%r12d
L64:
  mov    0x18(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,%r12d
  jl     L75
  cmp    0x18(%rbp),%r12d
  jge    L45
  mov    -0x70(%rbp),%rax
  mov    -0x48(%rbp),%rcx
  mov    0x20(%rbp),%edx
  push   %rdx
  push   -0xa8(%rbp)
  push   -0xa0(%rbp)
  push   -0x88(%rbp)
  movq   %rax,%xmm0
  mov    %r15,%r9
  mov    %rcx,%r8
  mov    -0x98(%rbp),%r12
  mov    %r12,%rcx
  mov    -0x90(%rbp),%r15
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <_inner_ddot4_sse3@plt>
  add    $0x20,%rsp
  mov    -0x78(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x48(%rbp)
  add    $0x8,%rbx
  add    $0x8,%r14
  add    $0x8,%r15
  add    $0x8,%r12
L45:
  mov    -0x74(%rbp),%eax
  shl    $0x2,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x58(%rbp)
  mov    -0x7c(%rbp),%eax
  shl    $0x2,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  add    $0x4,%r13d
L44:
  mov    0x10(%rbp),%eax
  sub    $0x3,%eax
  cmp    %eax,%r13d
  jl     L18
  cmp    0x10(%rbp),%r13d
  je     L56
  mov    0x10(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,%r13d
  jge    L58
  mov    -0x60(%rbp),%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x68(%rbp),%r15
  mov    -0x7c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %r15,%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x58(%rbp),%rbx
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    (%rbx,%rax,1),%r14
  mov    $0x0,%r12d
  jmp    L81
L112:
  mov    0x20(%rbp),%ecx
  mov    -0x70(%rbp),%rdx
  mov    -0x48(%rbp),%rax
  mov    %ecx,%r9d
  movq   %rdx,%xmm0
  mov    -0x88(%rbp),%r8
  mov    %r15,%rcx
  mov    %rax,%rdx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <_inner_ddot2_sse3@plt>
  mov    -0x78(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x48(%rbp)
  add    $0x8,%rbx
  add    $0x8,%r14
  add    $0x1,%r12d
L81:
  cmp    0x18(%rbp),%r12d
  jl     L112
  mov    -0x74(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x58(%rbp)
  mov    -0x7c(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  add    $0x2,%r13d
L58:
  cmp    0x10(%rbp),%r13d
  jge    L77
  mov    -0x60(%rbp),%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x68(%rbp),%r15
  mov    -0x58(%rbp),%rbx
  mov    $0x0,%r12d
  jmp    L59
L102:
  mov    0x20(%rbp),%ecx
  mov    -0x70(%rbp),%rdx
  mov    -0x48(%rbp),%rax
  movq   %rdx,%xmm0
  mov    %r15,%rdx
  mov    %rax,%rsi
  mov    %rbx,%rdi
  call   <_inner_ddot_sse@plt>
  mov    -0x78(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x48(%rbp)
  add    $0x8,%rbx
  add    $0x1,%r12d
L59:
  cmp    0x18(%rbp),%r12d
  jl     L102
  add    $0x1,%r13d
  jmp    L77
L56:
  nop
L77:
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

assistant: ```c
void _dblock_ddot_sse(double *Cc, const double *Aroot, const double *Bc, double alpha, int ldC, int ldA, int ldB, int nSL, int nRE, int nVP) {
  register int i, j;
  register double *c0, *c1, *c2, *c3;
  register const double *Br0, *Br1, *Br2, *Br3;
  const double *Ac;
  double *Cx = Cc;
  const double *Bx = Bc;
  for (j = 0; j < nSL - 3; j += 4) {
    Ac = Aroot;
    Br0 = Bc;
    Br1 = Br0 + ldB;
    Br2 = Br1 + ldB;
    Br3 = Br2 + ldB;
    c0 = Cc;
    c1 = c0 + ldC;
    c2 = c1 + ldC;
    c3 = c2 + ldC;
    for (i = 0; i < nRE - 1; i += 2) {
      _inner_ddot4_2_sse3(c0, c1, c2, c3, Ac, Ac + ldA, Br0, Br1, Br2, Br3, alpha, nVP);
      Ac += (ldA << 1);
      c0 += 2;
      c1 += 2;
      c2 += 2;
      c3 += 2;
    }
    if (i < nRE) {
      _inner_ddot4_sse3(c0, c1, c2, c3, Ac, Br0, Br1, Br2, Br3, alpha, nVP);
      Ac += ldA;
      c0++;
      c1++;
      c2++;
      c3++;
    }
    Cc += (ldC << 2);
    Bc += (ldB << 2);
  }
  if (j == nSL) {
    return;
  }
  if (j < nSL - 1) {
    Ac = Aroot;
    Br0 = Bc;
    Br1 = Br0 + ldB;
    c0 = Cc;
    c1 = c0 + ldC;
    for (i = 0; i < nRE; i++) {
      _inner_ddot2_sse3(c0, c1, Ac, Br0, Br1, alpha, nVP);
      Ac += ldA;
      c0++;
      c1++;
    }
    Cc += (ldC << 1);
    Bc += (ldB << 1);
    j += 2;
  }
  if (j < nSL) {
    Ac = Aroot;
    Br0 = Bc;
    c0 = Cc;
    for (i = 0; i < nRE; i++) {
      _inner_ddot_sse(c0, Ac, Br0, alpha, nVP);
      Ac += ldA;
      c0++;
    }
    j++;
  }
}
```