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

```asm
<smatvec>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rcx,%r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,-0x10(%rsp)
  mov    %esi,-0x28(%rsp)
  mov    %edx,-0x24(%rsp)
  mov    %r8,-0x20(%rsp)
  cmp    $0x7,%edx
  jle    L113
  lea    -0x8(%rdx),%edx
  movslq %edi,%rax
  mov    %esi,%r11d
  mov    %r13,-0x8(%rsp)
  shr    $0x3,%edx
  lea    (%rcx,%rax,4),%rcx
  mov    %r8,%rsi
  movslq %r11d,%r12
  mov    %edx,%ebx
  mov    %edx,-0xc(%rsp)
  lea    0x0(,%rdi,8),%r15d
  lea    0x0(,%rax,8),%r14
  mov    %rbx,%rdx
  mov    %rbx,-0x18(%rsp)
  movslq %r15d,%r15
  shl    $0x5,%rdx
  shl    $0x2,%r15
  lea    0x20(%r8,%rdx,1),%rbx
  mov    %r13,%rdx
  mov    %rbx,-0x30(%rsp)
  mov    %rax,%rbx
  lea    (%rax,%rax,2),%rax
  shl    $0x4,%rbx
  shl    $0x3,%rax
  mov    %rbx,-0x38(%rsp)
  mov    %rax,%r13
  nopl   0x0(%rax,%rax,1)
L81:
  mov    -0x38(%rsp),%rax
  lea    (%r14,%rcx,1),%r8
  movss  (%rsi),%xmm1
  lea    (%rdx,%r14,1),%rbp
  lea    (%r8,%r14,1),%rdi
  movss  0x4(%rsi),%xmm2
  movss  0x8(%rsi),%xmm3
  lea    (%rdx,%r13,1),%r11
  lea    (%rax,%rdx,1),%rbx
  mov    -0x28(%rsp),%eax
  movss  0xc(%rsi),%xmm4
  lea    (%rdi,%r14,1),%r10
  movss  0x10(%rsi),%xmm5
  movss  0x14(%rsi),%xmm6
  movss  0x18(%rsi),%xmm7
  movss  0x1c(%rsi),%xmm8
  test   %eax,%eax
  jle    L3
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L127:
  movss  (%rdx,%rax,4),%xmm0
  movss  (%rcx,%rax,4),%xmm9
  mulss  %xmm1,%xmm0
  mulss  %xmm2,%xmm9
  addss  %xmm9,%xmm0
  movss  0x0(%rbp,%rax,4),%xmm9
  mulss  %xmm3,%xmm9
  addss  %xmm9,%xmm0
  movss  (%r8,%rax,4),%xmm9
  mulss  %xmm4,%xmm9
  addss  %xmm9,%xmm0
  movss  (%rbx,%rax,4),%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm0
  movss  (%rdi,%rax,4),%xmm9
  mulss  %xmm6,%xmm9
  addss  %xmm9,%xmm0
  movss  (%r11,%rax,4),%xmm9
  mulss  %xmm7,%xmm9
  addss  %xmm9,%xmm0
  movss  (%r10,%rax,4),%xmm9
  mulss  %xmm8,%xmm9
  addss  %xmm9,%xmm0
  addss  (%r9,%rax,4),%xmm0
  movss  %xmm0,(%r9,%rax,4)
  add    $0x1,%rax
  cmp    %rax,%r12
  jne    L127
L3:
  add    %r15,%rdx
  add    $0x20,%rsi
  add    %r15,%rcx
  cmp    %rsi,-0x30(%rsp)
  jne    L81
  mov    -0x18(%rsp),%rax
  mov    -0x8(%rsp),%r13
  add    $0x1,%rax
  imul   %r15,%rax
  add    %rax,%r13
  mov    -0xc(%rsp),%eax
  lea    0x8(,%rax,8),%r15d
L120:
  mov    -0x24(%rsp),%edi
  lea    -0x3(%rdi),%eax
  cmp    %r15d,%eax
  jle    L58
  lea    -0x4(%rdi),%edx
  movslq -0x10(%rsp),%rax
  movslq %r15d,%rcx
  mov    -0x20(%rsp),%rsi
  sub    %r15d,%edx
  movslq -0x28(%rsp),%r8
  mov    %r15d,-0x18(%rsp)
  shr    $0x2,%edx
  lea    (%rax,%rax,2),%r11
  lea    (%rsi,%rcx,4),%r10
  mov    %rax,%rbx
  mov    %edx,%edi
  mov    %edx,-0x30(%rsp)
  shl    $0x4,%rbx
  mov    %r8d,%r15d
  mov    %rdi,-0x38(%rsp)
  lea    (%rcx,%rdi,4),%rdx
  shl    $0x2,%r11
  lea    0x0(,%rax,4),%r14
  lea    0x10(%rsi,%rdx,4),%r12
  lea    0x0(,%rax,8),%rbp
  mov    %r13,%rdx
  cs nopw 0x0(%rax,%rax,1)
L89:
  movss  (%r10),%xmm2
  movss  0x4(%r10),%xmm3
  lea    (%r14,%rdx,1),%rdi
  lea    0x0(%rbp,%rdx,1),%rsi
  movss  0x8(%r10),%xmm4
  movss  0xc(%r10),%xmm5
  lea    (%rdx,%r11,1),%rcx
  test   %r15d,%r15d
  jle    L65
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L82:
  movss  (%rdx,%rax,4),%xmm0
  movss  (%rdi,%rax,4),%xmm1
  mulss  %xmm2,%xmm0
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  movss  (%rsi,%rax,4),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  (%rcx,%rax,4),%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  addss  (%r9,%rax,4),%xmm0
  movss  %xmm0,(%r9,%rax,4)
  add    $0x1,%rax
  cmp    %rax,%r8
  jne    L82
L65:
  add    $0x10,%r10
  add    %rbx,%rdx
  cmp    %r10,%r12
  jne    L89
  mov    -0x38(%rsp),%rax
  mov    -0x18(%rsp),%r15d
  add    $0x1,%rax
  imul   %rbx,%rax
  add    %rax,%r13
  mov    -0x30(%rsp),%eax
  lea    0x4(%r15,%rax,4),%r15d
L58:
  mov    -0x24(%rsp),%edi
  cmp    %r15d,%edi
  jle    L56
  movslq -0x10(%rsp),%rcx
  movslq -0x28(%rsp),%rdx
  movslq %r15d,%r15
  mov    -0x20(%rsp),%r8
  shl    $0x2,%rcx
  mov    %rdx,%rsi
L98:
  movss  (%r8,%r15,4),%xmm1
  test   %esi,%esi
  jle    L124
  xor    %eax,%eax
  nopl   0x0(%rax)
L2:
  movss  0x0(%r13,%rax,4),%xmm0
  mulss  %xmm1,%xmm0
  addss  (%r9,%rax,4),%xmm0
  movss  %xmm0,(%r9,%rax,4)
  add    $0x1,%rax
  cmp    %rax,%rdx
  jne    L2
L124:
  add    $0x1,%r15
  add    %rcx,%r13
  cmp    %r15d,%edi
  jg     L98
L56:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L113:
  xor    %r15d,%r15d
  jmp    L120
```

assistant: ```c
void smatvec(ldm, nrow, ncol, M, vec, Mxvec) int ldm;
int nrow;
int ncol;
float *M;
float *vec;
float *Mxvec;
{
  float vi0, vi1, vi2, vi3, vi4, vi5, vi6, vi7;
  float *M0;
  register float *Mki0, *Mki1, *Mki2, *Mki3, *Mki4, *Mki5, *Mki6, *Mki7;
  register int firstcol = 0;
  int k;
  M0 = &M[0];
  while (firstcol < ncol - 7) {
    Mki0 = M0;
    Mki1 = Mki0 + ldm;
    Mki2 = Mki1 + ldm;
    Mki3 = Mki2 + ldm;
    Mki4 = Mki3 + ldm;
    Mki5 = Mki4 + ldm;
    Mki6 = Mki5 + ldm;
    Mki7 = Mki6 + ldm;
    vi0 = vec[firstcol++];
    vi1 = vec[firstcol++];
    vi2 = vec[firstcol++];
    vi3 = vec[firstcol++];
    vi4 = vec[firstcol++];
    vi5 = vec[firstcol++];
    vi6 = vec[firstcol++];
    vi7 = vec[firstcol++];
    for (k = 0; k < nrow; k++)
      Mxvec[k] += vi0 * *Mki0++ + vi1 * *Mki1++ + vi2 * *Mki2++ + vi3 * *Mki3++ + vi4 * *Mki4++ + vi5 * *Mki5++ + vi6 * *Mki6++ + vi7 * *Mki7++;
    M0 += 8 * ldm;
  }
  while (firstcol < ncol - 3) {
    Mki0 = M0;
    Mki1 = Mki0 + ldm;
    Mki2 = Mki1 + ldm;
    Mki3 = Mki2 + ldm;
    vi0 = vec[firstcol++];
    vi1 = vec[firstcol++];
    vi2 = vec[firstcol++];
    vi3 = vec[firstcol++];
    for (k = 0; k < nrow; k++)
      Mxvec[k] += vi0 * *Mki0++ + vi1 * *Mki1++ + vi2 * *Mki2++ + vi3 * *Mki3++;
    M0 += 4 * ldm;
  }
  while (firstcol < ncol) {
    Mki0 = M0;
    vi0 = vec[firstcol++];
    for (k = 0; k < nrow; k++)
      Mxvec[k] += vi0 * *Mki0++;
    M0 += ldm;
  }
}
```