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

```asm
<srecmult>:
  endbr64
  push   %r15
  lea    (%rcx,%r8,1),%eax
  mov    %rsi,%r11
  mov    %ecx,%r10d
  push   %r14
  add    %r9d,%eax
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xa8,%rsp
  mov    %rdi,0x8(%rsp)
  movslq 0xe0(%rsp),%r13
  mov    %rdx,0x30(%rsp)
  mov    0xe8(%rsp),%ebx
  mov    0xf0(%rsp),%r14d
  cmp    $0xc0,%eax
  jg     L44
  test   %ecx,%ecx
  jle    L62
  test   %r9d,%r9d
  jle    L62
  movslq %r14d,%r12
  movslq %ebx,%rsi
  lea    -0x1(%r8),%eax
  mov    %rdx,%rbp
  shl    $0x3,%r12
  shl    $0x3,%r13
  mov    %rdi,%r14
  lea    0x8(%rdi,%rax,8),%rcx
  shl    $0x3,%rsi
  xor    %ebx,%ebx
  pxor   %xmm2,%xmm2
  movslq %r9d,%r15
  nopl   0x0(%rax)
L51:
  mov    %r11,%r9
  xor    %edi,%edi
  nopl   (%rax)
L22:
  test   %r8d,%r8d
  jle    L1
  mov    %r9,%rdx
  mov    %r14,%rax
  movapd %xmm2,%xmm1
  nopw   0x0(%rax,%rax,1)
L59:
  movsd  (%rax),%xmm0
  mulsd  (%rdx),%xmm0
  add    $0x8,%rax
  add    %rsi,%rdx
  addsd  %xmm0,%xmm1
  cmp    %rax,%rcx
  jne    L59
L9:
  movsd  %xmm1,0x0(%rbp,%rdi,8)
  add    $0x1,%rdi
  add    $0x8,%r9
  cmp    %rdi,%r15
  jne    L22
  add    $0x1,%ebx
  add    %r12,%rbp
  add    %r13,%r14
  add    %r13,%rcx
  cmp    %ebx,%r10d
  jne    L51
L62:
  add    $0xa8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  xchg   %ax,%ax
L1:
  movapd %xmm2,%xmm1
  jmp    L9
L44:
  mov    %ecx,%r15d
  mov    %r8d,%r10d
  mov    %r9d,%r12d
  mov    %r11,0x98(%rsp)
  shr    $0x1f,%r15d
  shr    $0x1f,%r10d
  add    %ecx,%r15d
  add    %r8d,%r10d
  shr    $0x1f,%r12d
  sar    %r15d
  sar    %r10d
  add    %r9d,%r12d
  mov    %r15d,%edx
  movslq %r10d,%rax
  sar    %r12d
  imul   %r13d,%edx
  mov    %rax,%rbp
  lea    (%rdi,%rax,8),%rsi
  mov    %rsi,0x68(%rsp)
  movslq %edx,%rdx
  add    %rdx,%rax
  lea    (%rdi,%rdx,8),%rcx
  movslq %r12d,%rdx
  lea    (%rdi,%rax,8),%rax
  mov    0x30(%rsp),%rdi
  mov    %rcx,0x70(%rsp)
  lea    0x0(,%rdx,8),%rcx
  mov    %rax,0x20(%rsp)
  mov    %ebp,%eax
  lea    (%r11,%rcx,1),%r10
  imul   %ebx,%eax
  add    %rdi,%rcx
  mov    %r10,0x78(%rsp)
  mov    %rcx,0x60(%rsp)
  cltq
  lea    (%r11,%rax,8),%r8
  add    %rdx,%rax
  lea    (%r11,%rax,8),%rsi
  mov    %r15d,%eax
  mov    %r8,0x80(%rsp)
  imul   %r14d,%eax
  mov    %rsi,0x28(%rsp)
  cltq
  add    %rax,%rdx
  lea    (%rdi,%rax,8),%r11
  lea    (%rdi,%rdx,8),%rax
  lea    0x0(,%r12,8),%edx
  mov    %r11,0x88(%rsp)
  mov    %rax,0x90(%rsp)
  mov    %r15d,%eax
  imul   %edx,%eax
  mov    %edx,0x38(%rsp)
  mov    %eax,%edi
  mov    %eax,0x3c(%rsp)
  call   <malloc@plt>
  mov    0x3c(%rsp),%edi
  mov    %rax,0x10(%rsp)
  call   <malloc@plt>
  mov    0x3c(%rsp),%edi
  mov    %rax,0x40(%rsp)
  call   <malloc@plt>
  mov    %r15d,%r9d
  imul   %ebp,%r9d
  mov    %rax,0x48(%rsp)
  lea    0x0(,%r9,8),%esi
  mov    %esi,%edi
  mov    %esi,0x18(%rsp)
  call   <malloc@plt>
  mov    0x38(%rsp),%edx
  mov    %rax,0x50(%rsp)
  imul   %ebp,%edx
  mov    %edx,%edi
  mov    %edx,0x38(%rsp)
  call   <malloc@plt>
  mov    %r13d,%r9d
  mov    %ebp,%r8d
  mov    %r15d,%ecx
  mov    %rax,0x58(%rsp)
  push   %rbp
  push   %r13
  mov    0x60(%rsp),%rdx
  mov    0x30(%rsp),%rsi
  mov    0x18(%rsp),%rdi
  call   <madd_stride@plt>
  push   %r12
  mov    %ebx,%r9d
  mov    %r12d,%r8d
  push   %rbx
  mov    0x78(%rsp),%rdx
  mov    %ebp,%ecx
  mov    0x48(%rsp),%rsi
  mov    0xb8(%rsp),%rdi
  call   <madd_stride@plt>
  add    $0x18,%rsp
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %r12
  mov    %r15d,%ecx
  push   %r12
  push   %rbp
  mov    0x30(%rsp),%rdx
  mov    0x78(%rsp),%rsi
  mov    0x70(%rsp),%rdi
  call   <srecmult>
  mov    0x70(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    0x58(%rsp),%rdi
  call   <free@plt>
  mov    0x18(%rsp),%edi
  call   <malloc@plt>
  push   %rbp
  mov    %r13d,%r9d
  mov    %ebp,%r8d
  push   %r13
  mov    0x30(%rsp),%rsi
  mov    %r15d,%ecx
  mov    %rax,%rdx
  mov    0x80(%rsp),%rdi
  mov    %rax,0x60(%rsp)
  call   <madd_stride@plt>
  mov    %r14d,(%rsp)
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %rbx
  mov    %r15d,%ecx
  push   %rbp
  mov    0xb8(%rsp),%r11
  mov    0xa8(%rsp),%rdx
  mov    0x70(%rsp),%rdi
  mov    %r11,%rsi
  mov    %r11,0x78(%rsp)
  call   <srecmult>
  mov    0x70(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    0x38(%rsp),%edi
  call   <malloc@plt>
  push   %r12
  mov    %ebx,%r9d
  mov    %r12d,%r8d
  push   %rbx
  mov    0x38(%rsp),%rsi
  mov    %ebp,%ecx
  mov    %rax,%rdx
  mov    0x88(%rsp),%rdi
  mov    %rax,0x60(%rsp)
  call   <msub_stride@plt>
  mov    %r12d,(%rsp)
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %r12
  mov    %r15d,%ecx
  push   %r13
  mov    0x60(%rsp),%rdx
  mov    0x70(%rsp),%rsi
  mov    0x28(%rsp),%rdi
  call   <srecmult>
  mov    0x70(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    0x38(%rsp),%edi
  call   <malloc@plt>
  push   %r12
  mov    %ebx,%r9d
  mov    %r12d,%r8d
  push   %rbx
  mov    0x68(%rsp),%r11
  mov    %ebp,%ecx
  mov    %rax,%rdx
  mov    0x90(%rsp),%rdi
  mov    %r11,%rsi
  mov    %r11,0xa8(%rsp)
  mov    %rax,0x60(%rsp)
  call   <msub_stride@plt>
  mov    %r12d,(%rsp)
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %r12
  mov    %r15d,%ecx
  push   %r13
  mov    0x68(%rsp),%rdx
  mov    0x70(%rsp),%rsi
  mov    0x40(%rsp),%rdi
  call   <srecmult>
  mov    0x70(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    0x18(%rsp),%edi
  call   <malloc@plt>
  push   %rbp
  mov    %r13d,%r9d
  mov    %ebp,%r8d
  push   %r13
  mov    0x78(%rsp),%rsi
  mov    %r15d,%ecx
  mov    %rax,%rdx
  mov    0x18(%rsp),%rdi
  mov    %rax,0x60(%rsp)
  call   <madd_stride@plt>
  mov    %r14d,(%rsp)
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %rbx
  mov    %r15d,%ecx
  push   %rbp
  mov    0x80(%rsp),%rdx
  mov    0x48(%rsp),%rsi
  mov    0x70(%rsp),%rdi
  call   <srecmult>
  mov    0x70(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    0x18(%rsp),%edi
  call   <malloc@plt>
  mov    0x38(%rsp),%edi
  mov    %rax,0x50(%rsp)
  call   <malloc@plt>
  mov    %r13d,%r9d
  mov    %ebp,%r8d
  mov    %r15d,%ecx
  mov    %rax,0x58(%rsp)
  push   %rbp
  push   %r13
  mov    0x60(%rsp),%rdx
  mov    0x18(%rsp),%rsi
  mov    0x80(%rsp),%rdi
  call   <msub_stride@plt>
  push   %r12
  mov    %ebx,%r9d
  mov    %r12d,%r8d
  push   %rbx
  mov    0x78(%rsp),%rdx
  mov    %ebp,%ecx
  mov    0x98(%rsp),%rsi
  mov    0xb8(%rsp),%rdi
  call   <madd_stride@plt>
  add    $0x18,%rsp
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %r14
  mov    %r15d,%ecx
  push   %r12
  push   %rbp
  mov    0xb0(%rsp),%rdx
  mov    0x78(%rsp),%rsi
  mov    0x70(%rsp),%rdi
  call   <srecmult>
  mov    0x70(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    0x58(%rsp),%rdi
  call   <free@plt>
  mov    0x18(%rsp),%edi
  call   <malloc@plt>
  mov    0x38(%rsp),%edi
  mov    %rax,0x18(%rsp)
  call   <malloc@plt>
  mov    %r13d,%r9d
  mov    %ebp,%r8d
  mov    %r15d,%ecx
  mov    %rax,0x8(%rsp)
  push   %rbp
  push   %r13
  mov    0x28(%rsp),%rdx
  mov    0x30(%rsp),%rsi
  mov    0x78(%rsp),%rdi
  call   <msub_stride@plt>
  push   %r12
  mov    %ebx,%r9d
  mov    %r12d,%r8d
  push   %rbx
  mov    0x28(%rsp),%r13
  mov    %ebp,%ecx
  mov    0x48(%rsp),%rsi
  mov    0xa0(%rsp),%rdi
  mov    %r13,%rdx
  call   <madd_stride@plt>
  add    $0x18,%rsp
  mov    %r12d,%r9d
  mov    %ebp,%r8d
  push   %r14
  mov    %r15d,%ecx
  mov    %r13,%rsi
  push   %r12
  push   %rbp
  mov    0x38(%rsp),%r11
  mov    0x50(%rsp),%rbx
  mov    %r11,%rdi
  mov    %rbx,%rdx
  mov    %r11,0x28(%rsp)
  call   <srecmult>
  mov    0x28(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    %r13,%rdi
  call   <free@plt>
  mov    0x3c(%rsp),%ebp
  mov    %ebp,%edi
  call   <malloc@plt>
  push   %r14
  mov    %r12d,%r9d
  mov    %r12d,%r8d
  push   %r14
  mov    0x20(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %rbx,%rdx
  mov    %rbx,%rsi
  mov    %rax,%r13
  call   <madd_stride@plt>
  push   %r12
  mov    %r12d,%r9d
  mov    %r12d,%r8d
  push   %r14
  mov    0x80(%rsp),%rsi
  mov    %r15d,%ecx
  mov    %r13,%rdx
  mov    0x68(%rsp),%rdi
  call   <msub_stride@plt>
  add    $0x20,%rsp
  mov    %r14d,%r9d
  mov    %r12d,%r8d
  push   %r14
  mov    %r15d,%ecx
  mov    %rbx,%rdx
  mov    %r13,%rsi
  push   %r12
  mov    %rbx,%rdi
  call   <madd_stride@plt>
  mov    %r13,%rdi
  call   <free@plt>
  mov    %ebp,%edi
  call   <malloc@plt>
  push   %r14
  mov    %r12d,%r9d
  mov    %r12d,%r8d
  push   %r14
  mov    0xb0(%rsp),%rbx
  mov    %r15d,%ecx
  mov    %rax,%rbp
  mov    0x30(%rsp),%rdi
  mov    %rbx,%rdx
  mov    %rbx,%rsi
  call   <madd_stride@plt>
  add    $0x20,%rsp
  mov    %r12d,%r9d
  mov    %r12d,%r8d
  push   %r12
  mov    %r15d,%ecx
  mov    %rbp,%rdx
  push   %r14
  mov    0x98(%rsp),%r13
  mov    0x50(%rsp),%rdi
  mov    %r13,%rsi
  call   <msub_stride@plt>
  push   %r14
  mov    %r14d,%r9d
  mov    %r12d,%r8d
  push   %r12
  mov    %r15d,%ecx
  mov    %rbx,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <madd_stride@plt>
  add    $0x20,%rsp
  mov    %rbp,%rdi
  call   <free@plt>
  push   %r14
  mov    %r12d,%r9d
  mov    %r12d,%r8d
  push   %r14
  mov    0x50(%rsp),%rbp
  mov    %r15d,%ecx
  mov    0x70(%rsp),%rdx
  mov    %rbp,%rdi
  mov    %rdx,%rsi
  call   <madd_stride@plt>
  push   %r14
  mov    %r12d,%r9d
  mov    %r12d,%r8d
  push   %r14
  mov    0x68(%rsp),%rbx
  mov    %r15d,%ecx
  mov    %r13,%rdx
  mov    %r13,%rsi
  mov    %rbx,%rdi
  call   <madd_stride@plt>
  mov    0x30(%rsp),%rdi
  add    $0x20,%rsp
  call   <free@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  add    $0xa8,%rsp
  mov    %rbx,%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1080 <free@plt>
```

assistant: ```c
void srecmult(double *A, double *B, double *C, int m, int n, int p, int sA, int sB, int sC) {
  register int i, j, k;
  int u, v, t;
  double sum;
  double *A1, *B1;
  double *a11, *a12, *a21, *a22;
  double *b11, *b12, *b21, *b22;
  double *c11, *c12, *c21, *c22;
  double *m1, *m2, *m3, *m4, *m5, *m6, *m7;
  int sm1, sm2, sm3, sm4, sm5, sm6, sm7;
  int sA1, sB1;
  if (m + n + p <= 192) {
    for (i = 0; i < m; ++i) {
      for (j = 0; j < p; ++j) {
        v = i * sA;
        u = i * sC;
        t = j + u;
        sum = 0.;
        for (k = 0; k < n; ++k) {
          sum += A[k + v] * B[j + k * sB];
        }
        C[t] = sum;
      }
    }
  } else {
    m /= 2;
    n /= 2;
    p /= 2;
    a11 = A;
    a12 = A + n;
    a21 = A + m * sA;
    a22 = A + n + m * sA;
    b11 = B;
    b12 = B + p;
    b21 = B + n * sB;
    b22 = B + p + n * sB;
    c11 = C;
    c12 = C + p;
    c21 = C + m * sC;
    c22 = C + p + m * sC;
    m1 = (double *)malloc(sizeof(double) * m * p);
    sm1 = p;
    m3 = (double *)malloc(sizeof(double) * m * p);
    sm3 = p;
    m4 = (double *)malloc(sizeof(double) * m * p);
    sm4 = p;
    m2 = c21;
    sm2 = sC;
    m5 = c12;
    sm5 = sC;
    m6 = c22;
    sm6 = sC;
    m7 = c11;
    sm7 = sC;
    sA1 = n;
    sB1 = p;
    A1 = (double *)malloc(sizeof(double) * m * n);
    B1 = (double *)malloc(sizeof(double) * n * p);
    madd_stride(a11, a22, A1, m, n, sA, sA, sA1);
    madd_stride(b11, b22, B1, n, p, sB, sB, sB1);
    srecmult(A1, B1, m1, m, n, p, sA1, sB1, sm1);
    free(A1);
    free(B1);
    A1 = (double *)malloc(sizeof(double) * m * n);
    madd_stride(a21, a22, A1, m, n, sA, sA, sA1);
    srecmult(A1, b11, m2, m, n, p, sA1, sB, sm2);
    free(A1);
    B1 = (double *)malloc(sizeof(double) * n * p);
    msub_stride(b12, b22, B1, n, p, sB, sB, sB1);
    srecmult(a11, B1, m3, m, n, p, sA, sB1, sm3);
    free(B1);
    B1 = (double *)malloc(sizeof(double) * n * p);
    msub_stride(b21, b11, B1, n, p, sB, sB, sB1);
    srecmult(a22, B1, m4, m, n, p, sA, sB1, sm4);
    free(B1);
    A1 = (double *)malloc(sizeof(double) * m * n);
    madd_stride(a11, a12, A1, m, n, sA, sA, sA1);
    srecmult(A1, b22, m5, m, n, p, sA1, sB, sm5);
    free(A1);
    A1 = (double *)malloc(sizeof(double) * m * n);
    B1 = (double *)malloc(sizeof(double) * n * p);
    msub_stride(a21, a11, A1, m, n, sA, sA, sA1);
    madd_stride(b11, b12, B1, n, p, sB, sB, sB1);
    srecmult(A1, B1, m6, m, n, p, sA1, sB1, sm6);
    free(A1);
    free(B1);
    A1 = (double *)malloc(sizeof(double) * m * n);
    B1 = (double *)malloc(sizeof(double) * n * p);
    msub_stride(a12, a22, A1, m, n, sA, sA, sA1);
    madd_stride(b21, b22, B1, n, p, sB, sB, sB1);
    srecmult(A1, B1, m7, m, n, p, sA1, sB1, sm7);
    free(A1);
    free(B1);
    A1 = (double *)malloc(sizeof(double) * m * p);
    sA1 = p;
    madd_stride(m1, m7, m7, m, p, sm1, sm7, sm7);
    msub_stride(m4, m5, A1, m, p, sm4, sm5, sA1);
    madd_stride(m7, A1, m7, m, p, sm7, sA1, sm7);
    free(A1);
    A1 = (double *)malloc(sizeof(double) * m * p);
    sA1 = p;
    madd_stride(m1, m6, m6, m, p, sm1, sm6, sm6);
    msub_stride(m3, m2, A1, m, p, sm3, sm2, sA1);
    madd_stride(m6, A1, m6, m, p, sm6, sA1, sm6);
    free(A1);
    madd_stride(m3, m5, m5, m, p, sm3, sm5, sm5);
    madd_stride(m4, m2, m2, m, p, sm4, sm2, sm2);
    free(m1);
    free(m3);
    free(m4);
  }
}
```