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

```asm
<__c99_sd_t_d1_1>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x50,%rsp
  mov    %edi,%r15d
  mov    %esi,%r12d
  mov    %edx,%ebx
  mov    %edx,-0x18(%rsp)
  mov    %ecx,-0x14(%rsp)
  mov    %r8d,-0x10(%rsp)
  mov    0x88(%rsp),%ebp
  mov    0xa0(%rsp),%r13
  movslq %edi,%rax
  lea    0x0(,%rax,8),%r14
  mov    %r14,-0x78(%rsp)
  movslq %esi,%rdx
  imul   %rax,%rdx
  movslq %ebx,%rax
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%r10
  movslq %ecx,%rcx
  imul   %rcx,%rax
  movslq %r8d,%rdi
  movslq %ebp,%r8
  lea    0x0(,%r8,8),%rbx
  mov    %r9d,-0xc(%rsp)
  movslq %r9d,%rsi
  imul   %r8,%rsi
  lea    0x0(,%rsi,8),%r8
  mov    %r8,-0x8(%rsp)
  imul   %rdi,%rsi
  cmpl   $0x0,-0xc(%rsp)
  jle    L116
  lea    0x0(,%rdx,8),%r11
  lea    0x0(,%rax,8),%r9
  shr    $0x3,%r9
  mov    %r9,(%rsp)
  shr    $0x3,%r10
  mov    %r10,0x8(%rsp)
  shr    $0x3,%r11
  mov    %r11,-0x48(%rsp)
  shr    $0x3,%r14
  mov    %r14,-0x70(%rsp)
  shr    $0x3,%rbx
  mov    %rbx,0x10(%rsp)
  imul   %rdi,%rax
  shl    $0x3,%rax
  mov    %rax,0x38(%rsp)
  mov    0x90(%rsp),%rax
  mov    %rax,-0x20(%rsp)
  lea    0x0(,%rsi,8),%rax
  mov    %rax,0x18(%rsp)
  lea    -0x1(%rbp),%eax
  lea    -0x1(%r15),%esi
  imul   %rcx,%rdx
  lea    0x0(,%rdx,8),%r14
  movq   $0x0,-0x28(%rsp)
  movl   $0x0,-0x68(%rsp)
  mov    0x98(%rsp),%rbx
  lea    0x8(%rbx,%rax,8),%rax
  mov    %rax,0x40(%rsp)
  lea    0x8(%r13,%rsi,8),%rax
  mov    %rax,0x48(%rsp)
  mov    %r14,%r13
  mov    %ebp,%r14d
  mov    0xa0(%rsp),%rbp
  jmp    L65
L134:
  movsd  (%rax),%xmm0
  mulsd  (%rdx),%xmm0
  addsd  (%rcx),%xmm0
  movsd  %xmm0,(%rcx)
  add    $0x8,%rax
  add    %r13,%rdx
  cmp    %rsi,%rax
  jne    L134
L27:
  add    $0x8,%rdi
  add    $0x8,%rcx
  cmp    %r8,%rdi
  je     L195
L143:
  mov    %rdi,%rdx
  mov    %r9,%rax
  test   %r12d,%r12d
  jg     L134
  jmp    L27
L195:
  add    $0x1,%r10d
  mov    -0x78(%rsp),%rax
  add    %rax,%r8
  add    %rax,%rbx
  add    -0x70(%rsp),%r11
  cmp    %r10d,%r15d
  je     L94
L74:
  test   %r14d,%r14d
  jle    L195
  lea    0x0(%rbp,%r11,8),%rdi
  mov    %rbx,%rcx
  jmp    L143
L94:
  addl   $0x1,-0x5c(%rsp)
  mov    -0x5c(%rsp),%eax
  mov    -0x48(%rsp),%rdi
  add    %rdi,-0x40(%rsp)
  mov    0x18(%rsp),%rbx
  add    %rbx,%r9
  add    %rbx,%rsi
  cmp    %eax,-0x18(%rsp)
  je     L209
L46:
  test   %r15d,%r15d
  jle    L94
  mov    0x20(%rsp),%rax
  mov    -0x40(%rsp),%rbx
  lea    (%rax,%rbx,8),%rbx
  mov    -0x58(%rsp),%r11
  mov    0x28(%rsp),%r8
  mov    $0x0,%r10d
  jmp    L74
L209:
  addl   $0x1,-0x60(%rsp)
  mov    -0x60(%rsp),%eax
  mov    -0x48(%rsp),%rdi
  add    %rdi,-0x58(%rsp)
  mov    0x8(%rsp),%rdi
  add    %rdi,-0x38(%rsp)
  cmp    %eax,-0x14(%rsp)
  je     L115
L177:
  cmpl   $0x0,-0x18(%rsp)
  jle    L209
  mov    -0x50(%rsp),%r9
  add    0x98(%rsp),%r9
  mov    0x48(%rsp),%rax
  mov    -0x58(%rsp),%rbx
  lea    (%rax,%rbx,8),%rax
  mov    %rax,0x28(%rsp)
  mov    -0x20(%rsp),%rax
  mov    -0x38(%rsp),%rbx
  lea    (%rax,%rbx,8),%rax
  mov    %rax,0x20(%rsp)
  mov    0x30(%rsp),%rsi
  movq   $0x0,-0x40(%rsp)
  movl   $0x0,-0x5c(%rsp)
  jmp    L46
L115:
  addl   $0x1,-0x64(%rsp)
  mov    -0x64(%rsp),%eax
  mov    (%rsp),%rdi
  add    %rdi,-0x30(%rsp)
  mov    -0x8(%rsp),%rdi
  add    %rdi,-0x50(%rsp)
  cmp    %eax,-0x10(%rsp)
  je     L128
L89:
  cmpl   $0x0,-0x14(%rsp)
  jle    L115
  mov    0x40(%rsp),%rax
  add    -0x50(%rsp),%rax
  mov    %rax,0x30(%rsp)
  mov    -0x30(%rsp),%rax
  mov    %rax,-0x38(%rsp)
  movq   $0x0,-0x58(%rsp)
  movl   $0x0,-0x60(%rsp)
  jmp    L177
L128:
  mov    %r12d,%eax
  mov    %r15d,%r12d
  mov    %r14d,%r15d
  mov    %eax,%r14d
L114:
  addl   $0x1,-0x68(%rsp)
  mov    -0x68(%rsp),%eax
  mov    0x10(%rsp),%rdi
  add    %rdi,-0x28(%rsp)
  mov    0x38(%rsp),%rdi
  add    %rdi,-0x20(%rsp)
  cmp    %eax,-0xc(%rsp)
  je     L116
L65:
  cmpl   $0x0,-0x10(%rsp)
  jle    L114
  mov    -0x28(%rsp),%rax
  shl    $0x3,%rax
  mov    %rax,-0x50(%rsp)
  movq   $0x0,-0x30(%rsp)
  movl   $0x0,-0x64(%rsp)
  mov    %r14d,0x88(%rsp)
  mov    %r15d,%r14d
  mov    %r12d,%r15d
  mov    0x88(%rsp),%r12d
  jmp    L89
L116:
  add    $0x50,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void __c99_sd_t_d1_1(const int h3u, const int h2u, const int h1u, const int p6u, const int p5u, const int p4u, const int h7u, double t3[p4u][p5u][p6u][h1u][h2u][h3u], const double t2[h1u][p5u][p4u][h7u], const double v2[h7u][p6u][h2u][h3u]) {

  for (int p4 = 0; p4 < p4u; p4++)
    for (int p5 = 0; p5 < p5u; p5++)
      for (int p6 = 0; p6 < p6u; p6++)
        for (int h1 = 0; h1 < h1u; h1++)
          for (int h2 = 0; h2 < h2u; h2++)
            for (int h3 = 0; h3 < h3u; h3++)

#pragma GCC ivdep

              for (int h7 = 0; h7 < h7u; h7++)
                t3[p4][p5][p6][h1][h2][h3] += t2[h1][p5][p4][h7] * v2[h7][p6][h2][h3];
  return;
}
```