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

```asm
<__cNd_sd_t_s1_1>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x140,%rsp
  mov    %edi,-0x94(%rbp)
  mov    %esi,-0x98(%rbp)
  mov    %edx,-0x9c(%rbp)
  mov    %ecx,-0xa0(%rbp)
  mov    %r8d,-0xa4(%rbp)
  mov    %r9d,-0xa8(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0x1c0(%rbp)
  movq   $0x0,-0x1b8(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,-0x1c0(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x70(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,%r12
  mov    $0x0,%r13d
  mov    -0x98(%rbp),%eax
  cltq
  mov    %rax,%r10
  mov    $0x0,%r11d
  mov    %r13,%rdx
  imul   %r10,%rdx
  mov    %r11,%rax
  imul   %r12,%rax
  lea    (%rdx,%rax,1),%rcx
  mov    %r12,%rax
  mul    %r10
  add    %rdx,%rcx
  mov    %rcx,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rdx,%rax
  shl    $0x3,%rax
  mov    %rax,-0xb0(%rbp)
  mov    -0x9c(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x68(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0xc0(%rbp)
  movq   $0x0,-0xb8(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  mov    %rax,%r14
  mov    $0x0,%r15d
  mov    -0xc0(%rbp),%rcx
  mov    -0xb8(%rbp),%rbx
  mov    %rbx,%rdx
  imul   %r14,%rdx
  mov    %rcx,%rax
  imul   %r15,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %rcx,%rax
  mul    %r14
  mov    %rax,%rcx
  mov    %rdx,%rbx
  lea    (%rsi,%rbx,1),%rax
  mov    %rax,%rbx
  mov    -0x9c(%rbp),%eax
  cltq
  mov    %rax,-0xd0(%rbp)
  movq   $0x0,-0xc8(%rbp)
  mov    -0xd0(%rbp),%r8
  mov    -0xc8(%rbp),%r9
  mov    %r8,%rdx
  imul   %rbx,%rdx
  mov    %r9,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %r8,%rax
  mul    %rcx
  lea    (%rsi,%rdx,1),%rcx
  mov    %rcx,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rax,%rdx
  mov    -0x9c(%rbp),%eax
  cltq
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%r13
  mov    -0xa0(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0xe0(%rbp)
  movq   $0x0,-0xd8(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  mov    %rax,-0xf0(%rbp)
  movq   $0x0,-0xe8(%rbp)
  mov    -0xe0(%rbp),%rcx
  mov    -0xd8(%rbp),%rbx
  mov    %rbx,%rdx
  mov    -0xf0(%rbp),%r14
  mov    -0xe8(%rbp),%r15
  imul   %r14,%rdx
  mov    %r15,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %rcx,%rax
  mul    %r14
  mov    %rax,%rcx
  mov    %rdx,%rbx
  lea    (%rsi,%rbx,1),%rax
  mov    %rax,%rbx
  mov    -0x9c(%rbp),%eax
  cltq
  mov    %rax,-0x100(%rbp)
  movq   $0x0,-0xf8(%rbp)
  mov    -0x100(%rbp),%r11
  mov    -0xf8(%rbp),%r12
  mov    %r11,%rdx
  imul   %rbx,%rdx
  mov    %r12,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %r11,%rax
  mul    %rcx
  mov    %rax,%rcx
  mov    %rdx,%rbx
  lea    (%rsi,%rbx,1),%rax
  mov    %rax,%rbx
  mov    -0xa0(%rbp),%eax
  cltq
  mov    %rax,-0x110(%rbp)
  movq   $0x0,-0x108(%rbp)
  mov    -0x110(%rbp),%r11
  mov    -0x108(%rbp),%r12
  mov    %r11,%rdx
  imul   %rbx,%rdx
  mov    %r12,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %r11,%rax
  mul    %rcx
  lea    (%rsi,%rdx,1),%rcx
  mov    %rcx,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rax,%rdx
  mov    -0x9c(%rbp),%eax
  cltq
  imul   %rax,%rdx
  mov    -0xa0(%rbp),%eax
  cltq
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%r12
  mov    -0xa4(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x58(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0x120(%rbp)
  movq   $0x0,-0x118(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  mov    %rax,-0x130(%rbp)
  movq   $0x0,-0x128(%rbp)
  mov    -0x120(%rbp),%rcx
  mov    -0x118(%rbp),%rbx
  mov    %rbx,%rdx
  mov    -0x130(%rbp),%r10
  mov    -0x128(%rbp),%r11
  imul   %r10,%rdx
  mov    %r11,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %rcx,%rax
  mul    %r10
  mov    %rax,%rcx
  mov    %rdx,%rbx
  lea    (%rsi,%rbx,1),%rax
  mov    %rax,%rbx
  mov    -0x9c(%rbp),%eax
  cltq
  mov    %rax,-0x140(%rbp)
  movq   $0x0,-0x138(%rbp)
  mov    -0x140(%rbp),%r8
  mov    -0x138(%rbp),%r9
  mov    %r8,%rdx
  imul   %rbx,%rdx
  mov    %r9,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %r8,%rax
  mul    %rcx
  mov    %rax,%rcx
  mov    %rdx,%rbx
  lea    (%rsi,%rbx,1),%rax
  mov    %rax,%rbx
  mov    -0xa0(%rbp),%eax
  cltq
  mov    %rax,-0x150(%rbp)
  movq   $0x0,-0x148(%rbp)
  mov    -0x150(%rbp),%r14
  mov    -0x148(%rbp),%r15
  mov    %r14,%rdx
  imul   %rbx,%rdx
  mov    %r15,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %r14,%rax
  mul    %rcx
  mov    %rax,%rcx
  mov    %rdx,%rbx
  lea    (%rsi,%rbx,1),%rax
  mov    %rax,%rbx
  mov    -0xa4(%rbp),%eax
  cltq
  mov    %rax,-0x160(%rbp)
  movq   $0x0,-0x158(%rbp)
  mov    -0x160(%rbp),%r10
  mov    -0x158(%rbp),%r11
  mov    %r10,%rdx
  imul   %rbx,%rdx
  mov    %r11,%rax
  imul   %rcx,%rax
  lea    (%rdx,%rax,1),%rsi
  mov    %r10,%rax
  mul    %rcx
  lea    (%rsi,%rdx,1),%rcx
  mov    %rcx,%rdx
  mov    -0xa8(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x50(%rbp)
  mov    -0xa8(%rbp),%eax
  cltq
  mov    %rax,-0x1d0(%rbp)
  movq   $0x0,-0x1c8(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0x1e0(%rbp)
  movq   $0x0,-0x1d8(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rbx
  mov    -0x98(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0x170(%rbp)
  movq   $0x0,-0x168(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  mov    %rax,-0x180(%rbp)
  movq   $0x0,-0x178(%rbp)
  mov    -0x170(%rbp),%rsi
  mov    -0x168(%rbp),%rdi
  mov    %rdi,%rdx
  mov    -0x180(%rbp),%r8
  mov    -0x178(%rbp),%r9
  imul   %r8,%rdx
  mov    %r9,%rax
  imul   %rsi,%rax
  lea    (%rdx,%rax,1),%rcx
  mov    %rsi,%rax
  mul    %r8
  add    %rdx,%rcx
  mov    %rcx,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rsi
  mov    -0xa0(%rbp),%eax
  cltq
  sub    $0x1,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  mov    %rax,-0x190(%rbp)
  movq   $0x0,-0x188(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  mov    %rax,-0x1a0(%rbp)
  movq   $0x0,-0x198(%rbp)
  mov    -0x190(%rbp),%r8
  mov    -0x188(%rbp),%r9
  mov    %r9,%rdx
  mov    -0x1a0(%rbp),%r14
  mov    -0x198(%rbp),%r15
  imul   %r14,%rdx
  mov    %r15,%rax
  imul   %r8,%rax
  lea    (%rdx,%rax,1),%rcx
  mov    %r8,%rax
  mul    %r14
  add    %rdx,%rcx
  mov    %rcx,%rdx
  mov    -0xa0(%rbp),%ecx
  movslq %ecx,%rcx
  mov    %rcx,-0x1b0(%rbp)
  movq   $0x0,-0x1a8(%rbp)
  mov    -0x1b0(%rbp),%r14
  mov    -0x1a8(%rbp),%r15
  mov    %r14,%rdi
  imul   %rdx,%rdi
  mov    %r15,%rcx
  imul   %rax,%rcx
  add    %rdi,%rcx
  mul    %r14
  add    %rdx,%rcx
  mov    %rcx,%rdx
  movl   $0x0,-0x90(%rbp)
  jmp    L20
L28:
  movl   $0x0,-0x8c(%rbp)
  jmp    L35
L15:
  movl   $0x0,-0x88(%rbp)
  jmp    L52
L107:
  movl   $0x0,-0x84(%rbp)
  jmp    L31
L10:
  movl   $0x0,-0x80(%rbp)
  jmp    L26
L47:
  movl   $0x0,-0x7c(%rbp)
  jmp    L81
L36:
  mov    %r12,%r8
  shr    $0x3,%r8
  mov    %r13,%rdi
  shr    $0x3,%rdi
  mov    -0xb0(%rbp),%r15
  mov    %r15,%r10
  shr    $0x3,%r10
  mov    -0x1c0(%rbp),%r14
  mov    %r14,%r9
  shr    $0x3,%r9
  mov    -0x90(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0x9c(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0xa0(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0xa4(%rbp),%eax
  cltq
  imul   %rcx,%rax
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  mov    -0x7c(%rbp),%edx
  movslq %edx,%r11
  mov    -0x84(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdx,%r10
  mov    -0x80(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdx,%r9
  mov    -0x8c(%rbp),%edx
  movslq %edx,%rdx
  mov    %rdx,%rcx
  imul   %r8,%rcx
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdi,%rdx
  lea    (%r11,%r10,1),%rdi
  add    %r9,%rdi
  add    %rdi,%rcx
  add    %rcx,%rdx
  movsd  (%rax,%rdx,8),%xmm1
  mov    -0x84(%rbp),%eax
  movslq %eax,%rdx
  mov    -0xa8(%rbp),%eax
  cltq
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    0x18(%rbp),%rax
  add    %rax,%rdx
  mov    -0x90(%rbp),%eax
  cltq
  movsd  (%rdx,%rax,8),%xmm2
  mov    %rsi,%r8
  shr    $0x3,%r8
  mov    %rbx,%rdi
  shr    $0x3,%rdi
  mov    -0x8c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0xa0(%rbp),%eax
  cltq
  imul   %rcx,%rax
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rbp),%rax
  add    %rdx,%rax
  mov    -0x7c(%rbp),%edx
  movslq %edx,%r9
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  mov    %rdx,%rcx
  imul   %r8,%rcx
  mov    -0x80(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdi,%rdx
  add    %r9,%rcx
  add    %rcx,%rdx
  movsd  (%rax,%rdx,8),%xmm0
  mulsd  %xmm2,%xmm0
  mov    %r12,%r8
  shr    $0x3,%r8
  mov    %r13,%rdi
  shr    $0x3,%rdi
  shr    $0x3,%r15
  mov    %r15,%r10
  shr    $0x3,%r14
  mov    %r14,%r9
  mov    -0x90(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x94(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x98(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0x9c(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0xa0(%rbp),%eax
  cltq
  imul   %rax,%rcx
  mov    -0xa4(%rbp),%eax
  cltq
  imul   %rcx,%rax
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  mov    -0x7c(%rbp),%edx
  movslq %edx,%r11
  mov    -0x84(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdx,%r10
  mov    -0x80(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdx,%r9
  mov    -0x8c(%rbp),%edx
  movslq %edx,%rdx
  mov    %rdx,%rcx
  imul   %r8,%rcx
  mov    -0x88(%rbp),%edx
  movslq %edx,%rdx
  imul   %rdi,%rdx
  lea    (%r11,%r10,1),%rdi
  add    %r9,%rdi
  add    %rdi,%rcx
  add    %rcx,%rdx
  movsd  %xmm0,(%rax,%rdx,8)
  addl   $0x1,-0x7c(%rbp)
L81:
  mov    -0x7c(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  setl   %al
  test   %al,%al
  jne    L36
  addl   $0x1,-0x80(%rbp)
L26:
  mov    -0x80(%rbp),%eax
  cmp    -0x98(%rbp),%eax
  jl     L47
  addl   $0x1,-0x84(%rbp)
L31:
  mov    -0x84(%rbp),%eax
  cmp    -0x9c(%rbp),%eax
  jl     L10
  addl   $0x1,-0x88(%rbp)
L52:
  mov    -0x88(%rbp),%eax
  cmp    -0xa0(%rbp),%eax
  jl     L107
  addl   $0x1,-0x8c(%rbp)
L35:
  mov    -0x8c(%rbp),%eax
  cmp    -0xa4(%rbp),%eax
  jl     L15
  addl   $0x1,-0x90(%rbp)
L20:
  mov    -0x90(%rbp),%eax
  cmp    -0xa8(%rbp),%eax
  jl     L28
  nop
  add    $0x140,%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

assistant: ```c
void __cNd_sd_t_s1_1(const int h3u, const int h2u, const int h1u, const int p6u, const int p5u, const int p4u, double t3[p4u][p5u][p6u][h1u][h2u][h3u], const double t1[h1u][p4u], const double v2[p5u][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++)

#pragma GCC ivdep

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