user: Demonstrate the C code that generates the assembly output below:

```asm
<__c99_sd_t_d1_1>:
  endbr64
  push   %r15
  mov    %edi,%r15d
  movslq %esi,%rax
  mov    %ecx,%edi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edx,%ebx
  sub    $0x48,%rsp
  mov    %edx,-0x20(%rsp)
  mov    0x80(%rsp),%r13d
  movslq %r15d,%rdx
  imul   %rdx,%rax
  mov    %esi,-0x74(%rsp)
  movslq %r8d,%rsi
  lea    0x0(,%rdx,8),%r14
  mov    %r8d,0x30(%rsp)
  movslq %edi,%rdx
  movslq %r9d,%r8
  movslq %r13d,%rdi
  mov    %ecx,-0x1c(%rsp)
  movslq %ebx,%rcx
  lea    0x0(,%rdi,8),%rbx
  imul   %r8,%rdi
  mov    %r9d,0x34(%rsp)
  imul   %rax,%rcx
  lea    0x0(,%rdi,8),%r8
  lea    0x0(,%rcx,8),%r10
  mov    %r8,-0x18(%rsp)
  imul   %rdx,%rcx
  imul   %rsi,%rdi
  test   %r9d,%r9d
  jle    L1
  lea    0x0(,%rcx,8),%r9
  shr    $0x3,%rbx
  shr    $0x3,%r10
  mov    %r14,%r12
  imul   %rsi,%rcx
  mov    %rbx,(%rsp)
  shr    $0x3,%r9
  shr    $0x3,%r12
  lea    0x0(,%rax,8),%r11
  mov    %r9,-0x10(%rsp)
  imul   %rdx,%rax
  shr    $0x3,%r11
  mov    %r10,-0x8(%rsp)
  lea    0x0(,%rcx,8),%rbx
  lea    -0x1(%r13),%ecx
  mov    %r11,-0x50(%rsp)
  mov    %r12,%r13
  mov    %rbx,0x28(%rsp)
  mov    0x88(%rsp),%rbx
  lea    0x0(,%rax,8),%rsi
  mov    0x90(%rsp),%rax
  movq   $0x0,-0x30(%rsp)
  mov    %rbx,-0x28(%rsp)
  lea    0x0(,%rdi,8),%rbx
  lea    -0x1(%r15),%edi
  mov    0x80(%rsp),%r12d
  mov    %rbx,0x8(%rsp)
  mov    0x98(%rsp),%rbx
  lea    0x8(%rax,%rcx,8),%rax
  mov    %rax,0x38(%rsp)
  lea    0x8(%rbx,%rdi,8),%rax
  movl   $0x0,-0x70(%rsp)
  mov    %rax,0x40(%rsp)
L73:
  mov    0x30(%rsp),%eax
  test   %eax,%eax
  jle    L80
  mov    -0x30(%rsp),%rax
  movl   $0x0,-0x6c(%rsp)
  movq   $0x0,-0x38(%rsp)
  shl    $0x3,%rax
  mov    %r12d,0x80(%rsp)
  mov    %r15d,%r12d
  mov    %r14,%r15
  mov    %rax,-0x58(%rsp)
  mov    %r13,%r14
  mov    0x80(%rsp),%r13d
L30:
  mov    -0x1c(%rsp),%edx
  test   %edx,%edx
  jle    L19
  mov    0x38(%rsp),%rax
  add    -0x58(%rsp),%rax
  movq   $0x0,-0x60(%rsp)
  mov    %rax,0x20(%rsp)
  mov    -0x38(%rsp),%rax
  movl   $0x0,-0x68(%rsp)
  mov    %rax,-0x40(%rsp)
L139:
  mov    -0x20(%rsp),%ecx
  test   %ecx,%ecx
  jle    L46
  mov    -0x60(%rsp),%rbx
  mov    0x40(%rsp),%rax
  movq   $0x0,-0x48(%rsp)
  movl   $0x0,-0x64(%rsp)
  mov    0x20(%rsp),%rdi
  lea    (%rax,%rbx,8),%rax
  mov    -0x40(%rsp),%rbx
  mov    -0x58(%rsp),%r10
  mov    %rax,0x18(%rsp)
  mov    -0x28(%rsp),%rax
  add    0x90(%rsp),%r10
  lea    (%rax,%rbx,8),%rax
  mov    %rax,0x10(%rsp)
L116:
  mov    -0x74(%rsp),%r8d
  test   %r8d,%r8d
  jle    L69
  mov    -0x48(%rsp),%rbx
  mov    0x10(%rsp),%rax
  xor    %r11d,%r11d
  mov    0x18(%rsp),%r9
  lea    (%rax,%rbx,8),%rbp
  mov    -0x60(%rsp),%rbx
  nop
L82:
  test   %r12d,%r12d
  jle    L10
  mov    0x98(%rsp),%rax
  mov    %rbp,%rcx
  lea    (%rax,%rbx,8),%r8
  nopl   0x0(%rax)
L96:
  test   %r13d,%r13d
  jle    L105
  movsd  (%rcx),%xmm1
  mov    %r8,%rdx
  mov    %r10,%rax
  nopw   0x0(%rax,%rax,1)
L99:
  movsd  (%rax),%xmm0
  mulsd  (%rdx),%xmm0
  add    $0x8,%rax
  add    %rsi,%rdx
  addsd  %xmm0,%xmm1
  movsd  %xmm1,(%rcx)
  cmp    %rdi,%rax
  jne    L99
L105:
  add    $0x8,%r8
  add    $0x8,%rcx
  cmp    %r9,%r8
  jne    L96
L10:
  add    $0x1,%r11d
  add    %r15,%r9
  add    %r15,%rbp
  add    %r14,%rbx
  cmp    %r11d,-0x74(%rsp)
  jne    L82
L69:
  mov    0x8(%rsp),%rbx
  addl   $0x1,-0x64(%rsp)
  mov    -0x50(%rsp),%rcx
  mov    -0x64(%rsp),%eax
  add    %rcx,-0x48(%rsp)
  add    %rbx,%r10
  add    %rbx,%rdi
  cmp    %eax,-0x20(%rsp)
  jne    L116
L46:
  mov    -0x50(%rsp),%rdi
  addl   $0x1,-0x68(%rsp)
  add    %rdi,-0x60(%rsp)
  mov    -0x68(%rsp),%eax
  mov    -0x8(%rsp),%rdi
  add    %rdi,-0x40(%rsp)
  cmp    %eax,-0x1c(%rsp)
  jne    L139
L19:
  mov    -0x10(%rsp),%rdi
  addl   $0x1,-0x6c(%rsp)
  add    %rdi,-0x38(%rsp)
  mov    -0x6c(%rsp),%eax
  mov    -0x18(%rsp),%rdi
  add    %rdi,-0x58(%rsp)
  cmp    %eax,0x30(%rsp)
  jne    L30
  mov    %r13d,%eax
  mov    %r14,%r13
  mov    %r15,%r14
  mov    %r12d,%r15d
  mov    %eax,%r12d
L80:
  mov    (%rsp),%rdi
  addl   $0x1,-0x70(%rsp)
  add    %rdi,-0x30(%rsp)
  mov    -0x70(%rsp),%eax
  mov    0x28(%rsp),%rdi
  add    %rdi,-0x28(%rsp)
  cmp    %eax,0x34(%rsp)
  jne    L73
L1:
  add    $0x48,%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;
}
```