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

```asm
<helper_float_17_recursive>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  cmp    $0xc,%esi
  je     L60
  cmp    $0xf,%esi
  je     L38
  cmp    $0x11,%esi
  je     L81
L35:
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L60:
  mov    %rdi,%rdx
  lea    0x4000(%rdi),%rbp
  mov    %rdi,%rax
  nopl   0x0(%rax)
L49:
  lea    0x20(%rax),%rcx
  lea    0x40(%rax),%rsi
  lea    0x60(%rax),%rdi
  lea    0x80(%rax),%r8
  lea    0xa0(%rax),%r9
  lea    0xc0(%rax),%r10
  lea    0xe0(%rax),%r11
  vmovups (%rax),%ymm0
  vmovups (%rcx),%ymm1
  vmovups (%rsi),%ymm2
  vmovups (%rdi),%ymm3
  vmovups (%r8),%ymm4
  vmovups (%r9),%ymm5
  vmovups (%r10),%ymm6
  vmovups (%r11),%ymm7
  vpermilps $0xa0,%ymm0,%ymm8
  vpermilps $0xf5,%ymm0,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm0
  vpermilps $0xa0,%ymm1,%ymm8
  vpermilps $0xf5,%ymm1,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm1
  vpermilps $0xa0,%ymm2,%ymm8
  vpermilps $0xf5,%ymm2,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm2
  vpermilps $0xa0,%ymm3,%ymm8
  vpermilps $0xf5,%ymm3,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm3
  vpermilps $0xa0,%ymm4,%ymm8
  vpermilps $0xf5,%ymm4,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm4
  vpermilps $0xa0,%ymm5,%ymm8
  vpermilps $0xf5,%ymm5,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm5
  vpermilps $0xa0,%ymm6,%ymm8
  vpermilps $0xf5,%ymm6,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm6
  vpermilps $0xa0,%ymm7,%ymm8
  vpermilps $0xf5,%ymm7,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vaddsubps %ymm11,%ymm8,%ymm7
  vpermilps $0x44,%ymm0,%ymm8
  vpermilps $0xee,%ymm0,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm0
  vpermilps $0x44,%ymm1,%ymm8
  vpermilps $0xee,%ymm1,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm1
  vpermilps $0x44,%ymm2,%ymm8
  vpermilps $0xee,%ymm2,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm2
  vpermilps $0x44,%ymm3,%ymm8
  vpermilps $0xee,%ymm3,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm3
  vpermilps $0x44,%ymm4,%ymm8
  vpermilps $0xee,%ymm4,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm4
  vpermilps $0x44,%ymm5,%ymm8
  vpermilps $0xee,%ymm5,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm5
  vpermilps $0x44,%ymm6,%ymm8
  vpermilps $0xee,%ymm6,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm6
  vpermilps $0x44,%ymm7,%ymm8
  vpermilps $0xee,%ymm7,%ymm9
  vxorps %ymm10,%ymm10,%ymm10
  vsubps %ymm9,%ymm10,%ymm11
  vblendps $0xcc,%ymm11,%ymm9,%ymm12
  vaddps %ymm8,%ymm12,%ymm7
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm0,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm0,%ymm0,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm0,%ymm11
  vaddps %ymm10,%ymm11,%ymm0
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm1,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm1,%ymm1,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm1,%ymm11
  vaddps %ymm10,%ymm11,%ymm1
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm2,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm2,%ymm2,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm2,%ymm11
  vaddps %ymm10,%ymm11,%ymm2
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm3,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm3,%ymm3,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm3,%ymm11
  vaddps %ymm10,%ymm11,%ymm3
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm4,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm4,%ymm4,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm4,%ymm11
  vaddps %ymm10,%ymm11,%ymm4
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm5,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm5,%ymm5,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm5,%ymm11
  vaddps %ymm10,%ymm11,%ymm5
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm6,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm6,%ymm6,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm6,%ymm11
  vaddps %ymm10,%ymm11,%ymm6
  vxorps %ymm8,%ymm8,%ymm8
  vsubps %ymm7,%ymm8,%ymm9
  vperm2f128 $0x0,%ymm7,%ymm7,%ymm10
  vperm2f128 $0x31,%ymm9,%ymm7,%ymm11
  vaddps %ymm10,%ymm11,%ymm7
  vaddps %ymm1,%ymm0,%ymm8
  vsubps %ymm1,%ymm0,%ymm9
  vaddps %ymm3,%ymm2,%ymm10
  vsubps %ymm3,%ymm2,%ymm11
  vaddps %ymm5,%ymm4,%ymm12
  vsubps %ymm5,%ymm4,%ymm13
  vaddps %ymm7,%ymm6,%ymm14
  vsubps %ymm7,%ymm6,%ymm15
  vaddps %ymm10,%ymm8,%ymm0
  vsubps %ymm10,%ymm8,%ymm2
  vaddps %ymm11,%ymm9,%ymm1
  vsubps %ymm11,%ymm9,%ymm3
  vaddps %ymm14,%ymm12,%ymm4
  vsubps %ymm14,%ymm12,%ymm6
  vaddps %ymm15,%ymm13,%ymm5
  vsubps %ymm15,%ymm13,%ymm7
  vaddps %ymm4,%ymm0,%ymm8
  vsubps %ymm4,%ymm0,%ymm12
  vaddps %ymm5,%ymm1,%ymm9
  vsubps %ymm5,%ymm1,%ymm13
  vaddps %ymm6,%ymm2,%ymm10
  vsubps %ymm6,%ymm2,%ymm14
  vaddps %ymm7,%ymm3,%ymm11
  vsubps %ymm7,%ymm3,%ymm15
  vmovups %ymm8,(%rax)
  vmovups %ymm9,(%rcx)
  vmovups %ymm10,(%rsi)
  vmovups %ymm11,(%rdi)
  vmovups %ymm12,(%r8)
  vmovups %ymm13,(%r9)
  vmovups %ymm14,(%r10)
  vmovups %ymm15,(%r11)
  add    $0x100,%rax
  cmp    %rax,%rbp
  jne    L49
  lea    0x100(%rbx),%rbp
  lea    0x4100(%rbx),%r12
  nopl   (%rax)
L26:
  lea    -0x100(%rbp),%rax
  nopw   0x0(%rax,%rax,1)
L70:
  lea    0x100(%rax),%rcx
  lea    0x200(%rax),%rsi
  lea    0x300(%rax),%rdi
  lea    0x400(%rax),%r8
  lea    0x500(%rax),%r9
  lea    0x600(%rax),%r10
  lea    0x700(%rax),%r11
  vmovups (%rax),%ymm0
  vmovups (%rcx),%ymm1
  vmovups (%rsi),%ymm2
  vmovups (%rdi),%ymm3
  vmovups (%r8),%ymm4
  vmovups (%r9),%ymm5
  vmovups (%r10),%ymm6
  vmovups (%r11),%ymm7
  vaddps %ymm1,%ymm0,%ymm8
  vsubps %ymm1,%ymm0,%ymm9
  vaddps %ymm3,%ymm2,%ymm10
  vsubps %ymm3,%ymm2,%ymm11
  vaddps %ymm5,%ymm4,%ymm12
  vsubps %ymm5,%ymm4,%ymm13
  vaddps %ymm7,%ymm6,%ymm14
  vsubps %ymm7,%ymm6,%ymm15
  vaddps %ymm10,%ymm8,%ymm0
  vsubps %ymm10,%ymm8,%ymm2
  vaddps %ymm11,%ymm9,%ymm1
  vsubps %ymm11,%ymm9,%ymm3
  vaddps %ymm14,%ymm12,%ymm4
  vsubps %ymm14,%ymm12,%ymm6
  vaddps %ymm15,%ymm13,%ymm5
  vsubps %ymm15,%ymm13,%ymm7
  vaddps %ymm4,%ymm0,%ymm8
  vsubps %ymm4,%ymm0,%ymm12
  vaddps %ymm5,%ymm1,%ymm9
  vsubps %ymm5,%ymm1,%ymm13
  vaddps %ymm6,%ymm2,%ymm10
  vsubps %ymm6,%ymm2,%ymm14
  vaddps %ymm7,%ymm3,%ymm11
  vsubps %ymm7,%ymm3,%ymm15
  vmovups %ymm8,(%rax)
  vmovups %ymm9,(%rcx)
  vmovups %ymm10,(%rsi)
  vmovups %ymm11,(%rdi)
  vmovups %ymm12,(%r8)
  vmovups %ymm13,(%r9)
  vmovups %ymm14,(%r10)
  vmovups %ymm15,(%r11)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L70
  add    $0x800,%rbp
  cmp    %rbp,%r12
  jne    L26
  lea    0x800(%rbx),%rax
  nopl   (%rax)
L25:
  lea    0x800(%rdx),%rcx
  lea    0x1000(%rdx),%rsi
  lea    0x1800(%rdx),%rdi
  lea    0x2000(%rdx),%r8
  lea    0x2800(%rdx),%r9
  lea    0x3000(%rdx),%r10
  lea    0x3800(%rdx),%r11
  vmovups (%rdx),%ymm0
  vmovups (%rcx),%ymm1
  vmovups (%rsi),%ymm2
  vmovups (%rdi),%ymm3
  vmovups (%r8),%ymm4
  vmovups (%r9),%ymm5
  vmovups (%r10),%ymm6
  vmovups (%r11),%ymm7
  vaddps %ymm1,%ymm0,%ymm8
  vsubps %ymm1,%ymm0,%ymm9
  vaddps %ymm3,%ymm2,%ymm10
  vsubps %ymm3,%ymm2,%ymm11
  vaddps %ymm5,%ymm4,%ymm12
  vsubps %ymm5,%ymm4,%ymm13
  vaddps %ymm7,%ymm6,%ymm14
  vsubps %ymm7,%ymm6,%ymm15
  vaddps %ymm10,%ymm8,%ymm0
  vsubps %ymm10,%ymm8,%ymm2
  vaddps %ymm11,%ymm9,%ymm1
  vsubps %ymm11,%ymm9,%ymm3
  vaddps %ymm14,%ymm12,%ymm4
  vsubps %ymm14,%ymm12,%ymm6
  vaddps %ymm15,%ymm13,%ymm5
  vsubps %ymm15,%ymm13,%ymm7
  vaddps %ymm4,%ymm0,%ymm8
  vsubps %ymm4,%ymm0,%ymm12
  vaddps %ymm5,%ymm1,%ymm9
  vsubps %ymm5,%ymm1,%ymm13
  vaddps %ymm6,%ymm2,%ymm10
  vsubps %ymm6,%ymm2,%ymm14
  vaddps %ymm7,%ymm3,%ymm11
  vsubps %ymm7,%ymm3,%ymm15
  vmovups %ymm8,(%rdx)
  vmovups %ymm9,(%rcx)
  vmovups %ymm10,(%rsi)
  vmovups %ymm11,(%rdi)
  vmovups %ymm12,(%r8)
  vmovups %ymm13,(%r9)
  vmovups %ymm14,(%r10)
  vmovups %ymm15,(%r11)
  add    $0x20,%rdx
  cmp    %rdx,%rax
  jne    L25
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L38:
  mov    $0xc,%esi
  lea    0x4000(%rbx),%rbp
  call   <helper_float_17_recursive>
  mov    $0xc,%esi
  mov    %rbp,%rdi
  call   <helper_float_17_recursive>
  lea    0x8000(%rbx),%rdi
  mov    $0xc,%esi
  call   <helper_float_17_recursive>
  lea    0xc000(%rbx),%rdi
  mov    $0xc,%esi
  call   <helper_float_17_recursive>
  lea    0x10000(%rbx),%rdi
  mov    $0xc,%esi
  call   <helper_float_17_recursive>
  lea    0x14000(%rbx),%rdi
  mov    $0xc,%esi
  call   <helper_float_17_recursive>
  lea    0x18000(%rbx),%rdi
  mov    $0xc,%esi
  call   <helper_float_17_recursive>
  lea    0x1c000(%rbx),%rdi
  mov    $0xc,%esi
  call   <helper_float_17_recursive>
  mov    %rbx,%rax
  nopw   0x0(%rax,%rax,1)
L101:
  lea    0x4000(%rax),%rdx
  lea    0x8000(%rax),%rcx
  lea    0xc000(%rax),%rsi
  lea    0x10000(%rax),%rdi
  lea    0x14000(%rax),%r8
  lea    0x18000(%rax),%r9
  lea    0x1c000(%rax),%r10
  vmovups (%rax),%ymm0
  vmovups (%rdx),%ymm1
  vmovups (%rcx),%ymm2
  vmovups (%rsi),%ymm3
  vmovups (%rdi),%ymm4
  vmovups (%r8),%ymm5
  vmovups (%r9),%ymm6
  vmovups (%r10),%ymm7
  vaddps %ymm1,%ymm0,%ymm8
  vsubps %ymm1,%ymm0,%ymm9
  vaddps %ymm3,%ymm2,%ymm10
  vsubps %ymm3,%ymm2,%ymm11
  vaddps %ymm5,%ymm4,%ymm12
  vsubps %ymm5,%ymm4,%ymm13
  vaddps %ymm7,%ymm6,%ymm14
  vsubps %ymm7,%ymm6,%ymm15
  vaddps %ymm10,%ymm8,%ymm0
  vsubps %ymm10,%ymm8,%ymm2
  vaddps %ymm11,%ymm9,%ymm1
  vsubps %ymm11,%ymm9,%ymm3
  vaddps %ymm14,%ymm12,%ymm4
  vsubps %ymm14,%ymm12,%ymm6
  vaddps %ymm15,%ymm13,%ymm5
  vsubps %ymm15,%ymm13,%ymm7
  vaddps %ymm4,%ymm0,%ymm8
  vsubps %ymm4,%ymm0,%ymm12
  vaddps %ymm5,%ymm1,%ymm9
  vsubps %ymm5,%ymm1,%ymm13
  vaddps %ymm6,%ymm2,%ymm10
  vsubps %ymm6,%ymm2,%ymm14
  vaddps %ymm7,%ymm3,%ymm11
  vsubps %ymm7,%ymm3,%ymm15
  vmovups %ymm8,(%rax)
  vmovups %ymm9,(%rdx)
  vmovups %ymm10,(%rcx)
  vmovups %ymm11,(%rsi)
  vmovups %ymm12,(%rdi)
  vmovups %ymm13,(%r8)
  vmovups %ymm14,(%r9)
  vmovups %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L101
  jmp    L35
L81:
  mov    $0xf,%esi
  lea    0x20000(%rbx),%rbp
  call   <helper_float_17_recursive>
  mov    $0xf,%esi
  mov    %rbp,%rdi
  call   <helper_float_17_recursive>
  lea    0x40000(%rbx),%rdi
  mov    $0xf,%esi
  call   <helper_float_17_recursive>
  lea    0x60000(%rbx),%rdi
  mov    $0xf,%esi
  call   <helper_float_17_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax)
L58:
  lea    0x20000(%rax),%rdx
  lea    0x40000(%rax),%rcx
  lea    0x60000(%rax),%rsi
  vmovups (%rax),%ymm0
  vmovups (%rdx),%ymm1
  vmovups (%rcx),%ymm2
  vmovups (%rsi),%ymm3
  vaddps %ymm1,%ymm0,%ymm8
  vsubps %ymm1,%ymm0,%ymm9
  vaddps %ymm3,%ymm2,%ymm10
  vsubps %ymm3,%ymm2,%ymm11
  vaddps %ymm10,%ymm8,%ymm0
  vsubps %ymm10,%ymm8,%ymm2
  vaddps %ymm11,%ymm9,%ymm1
  vsubps %ymm11,%ymm9,%ymm3
  vmovups %ymm0,(%rax)
  vmovups %ymm1,(%rdx)
  vmovups %ymm2,(%rcx)
  vmovups %ymm3,(%rsi)
  add    $0x20,%rax
  cmp    %rbp,%rax
  jne    L58
  jmp    L35
```

assistant: ```c
void helper_float_17_recursive(float *buf, int depth) {
  if (depth == 12) {
    for (int j = 0; j < 4096; j += 64) {
      for (int k = 0; k < 8; k += 8) {
        __asm__ volatile("vmovups (%0), %%ymm0\n"
                         "vmovups (%1), %%ymm1\n"
                         "vmovups (%2), %%ymm2\n"
                         "vmovups (%3), %%ymm3\n"
                         "vmovups (%4), %%ymm4\n"
                         "vmovups (%5), %%ymm5\n"
                         "vmovups (%6), %%ymm6\n"
                         "vmovups (%7), %%ymm7\n"
                         "vpermilps $160, %%ymm0, %%ymm8\n"
                         "vpermilps $245, %%ymm0, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm0\n"
                         "vpermilps $160, %%ymm1, %%ymm8\n"
                         "vpermilps $245, %%ymm1, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm1\n"
                         "vpermilps $160, %%ymm2, %%ymm8\n"
                         "vpermilps $245, %%ymm2, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm2\n"
                         "vpermilps $160, %%ymm3, %%ymm8\n"
                         "vpermilps $245, %%ymm3, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm3\n"
                         "vpermilps $160, %%ymm4, %%ymm8\n"
                         "vpermilps $245, %%ymm4, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm4\n"
                         "vpermilps $160, %%ymm5, %%ymm8\n"
                         "vpermilps $245, %%ymm5, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm5\n"
                         "vpermilps $160, %%ymm6, %%ymm8\n"
                         "vpermilps $245, %%ymm6, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm6\n"
                         "vpermilps $160, %%ymm7, %%ymm8\n"
                         "vpermilps $245, %%ymm7, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubps %%ymm11, %%ymm8, %%ymm7\n"
                         "vpermilps $68, %%ymm0, %%ymm8\n"
                         "vpermilps $238, %%ymm0, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm0\n"
                         "vpermilps $68, %%ymm1, %%ymm8\n"
                         "vpermilps $238, %%ymm1, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm1\n"
                         "vpermilps $68, %%ymm2, %%ymm8\n"
                         "vpermilps $238, %%ymm2, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm2\n"
                         "vpermilps $68, %%ymm3, %%ymm8\n"
                         "vpermilps $238, %%ymm3, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm3\n"
                         "vpermilps $68, %%ymm4, %%ymm8\n"
                         "vpermilps $238, %%ymm4, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm4\n"
                         "vpermilps $68, %%ymm5, %%ymm8\n"
                         "vpermilps $238, %%ymm5, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm5\n"
                         "vpermilps $68, %%ymm6, %%ymm8\n"
                         "vpermilps $238, %%ymm6, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm6\n"
                         "vpermilps $68, %%ymm7, %%ymm8\n"
                         "vpermilps $238, %%ymm7, %%ymm9\n"
                         "vxorps %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubps %%ymm9, %%ymm10, %%ymm11\n"
                         "vblendps $204, %%ymm11, %%ymm9, %%ymm12\n"
                         "vaddps %%ymm8, %%ymm12, %%ymm7\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm0, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm0, %%ymm0, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm0, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm0\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm1, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm1, %%ymm1, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm1, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm1\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm2, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm2, %%ymm2, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm2, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm2\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm3, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm3, %%ymm3, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm3, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm3\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm4, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm4, %%ymm4, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm4, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm4\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm5, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm5, %%ymm5, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm5, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm5\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm6, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm6, %%ymm6, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm6, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm6\n"
                         "vxorps %%ymm8, %%ymm8, %%ymm8\n"
                         "vsubps %%ymm7, %%ymm8, %%ymm9\n"
                         "vperm2f128 $0, %%ymm7, %%ymm7, %%ymm10\n"
                         "vperm2f128 $49, %%ymm9, %%ymm7, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm11, %%ymm7\n"
                         "vaddps %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddps %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddps %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubps %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddps %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubps %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddps %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubps %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddps %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubps %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddps %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubps %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddps %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubps %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddps %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddps %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubps %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddps %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddps %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubps %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovups %%ymm8, (%0)\n"
                         "vmovups %%ymm9, (%1)\n"
                         "vmovups %%ymm10, (%2)\n"
                         "vmovups %%ymm11, (%3)\n"
                         "vmovups %%ymm12, (%4)\n"
                         "vmovups %%ymm13, (%5)\n"
                         "vmovups %%ymm14, (%6)\n"
                         "vmovups %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 8), "r"(buf + j + k + 16), "r"(buf + j + k + 24), "r"(buf + j + k + 32), "r"(buf + j + k + 40), "r"(buf + j + k + 48), "r"(buf + j + k + 56)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    for (int j = 0; j < 4096; j += 512) {
      for (int k = 0; k < 64; k += 8) {
        __asm__ volatile("vmovups (%0), %%ymm0\n"
                         "vmovups (%1), %%ymm1\n"
                         "vmovups (%2), %%ymm2\n"
                         "vmovups (%3), %%ymm3\n"
                         "vmovups (%4), %%ymm4\n"
                         "vmovups (%5), %%ymm5\n"
                         "vmovups (%6), %%ymm6\n"
                         "vmovups (%7), %%ymm7\n"
                         "vaddps %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddps %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddps %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubps %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddps %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubps %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddps %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubps %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddps %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubps %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddps %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubps %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddps %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubps %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddps %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddps %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubps %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddps %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddps %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubps %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovups %%ymm8, (%0)\n"
                         "vmovups %%ymm9, (%1)\n"
                         "vmovups %%ymm10, (%2)\n"
                         "vmovups %%ymm11, (%3)\n"
                         "vmovups %%ymm12, (%4)\n"
                         "vmovups %%ymm13, (%5)\n"
                         "vmovups %%ymm14, (%6)\n"
                         "vmovups %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 64), "r"(buf + j + k + 128), "r"(buf + j + k + 192), "r"(buf + j + k + 256), "r"(buf + j + k + 320), "r"(buf + j + k + 384), "r"(buf + j + k + 448)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    for (int j = 0; j < 4096; j += 4096) {
      for (int k = 0; k < 512; k += 8) {
        __asm__ volatile("vmovups (%0), %%ymm0\n"
                         "vmovups (%1), %%ymm1\n"
                         "vmovups (%2), %%ymm2\n"
                         "vmovups (%3), %%ymm3\n"
                         "vmovups (%4), %%ymm4\n"
                         "vmovups (%5), %%ymm5\n"
                         "vmovups (%6), %%ymm6\n"
                         "vmovups (%7), %%ymm7\n"
                         "vaddps %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddps %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddps %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubps %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddps %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubps %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddps %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubps %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddps %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubps %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddps %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubps %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddps %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubps %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddps %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddps %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubps %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddps %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddps %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubps %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovups %%ymm8, (%0)\n"
                         "vmovups %%ymm9, (%1)\n"
                         "vmovups %%ymm10, (%2)\n"
                         "vmovups %%ymm11, (%3)\n"
                         "vmovups %%ymm12, (%4)\n"
                         "vmovups %%ymm13, (%5)\n"
                         "vmovups %%ymm14, (%6)\n"
                         "vmovups %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 512), "r"(buf + j + k + 1024), "r"(buf + j + k + 1536), "r"(buf + j + k + 2048), "r"(buf + j + k + 2560), "r"(buf + j + k + 3072), "r"(buf + j + k + 3584)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 15) {
    helper_float_17_recursive(buf + 0, 12);
    helper_float_17_recursive(buf + 4096, 12);
    helper_float_17_recursive(buf + 8192, 12);
    helper_float_17_recursive(buf + 12288, 12);
    helper_float_17_recursive(buf + 16384, 12);
    helper_float_17_recursive(buf + 20480, 12);
    helper_float_17_recursive(buf + 24576, 12);
    helper_float_17_recursive(buf + 28672, 12);
    for (int j = 0; j < 32768; j += 32768) {
      for (int k = 0; k < 4096; k += 8) {
        __asm__ volatile("vmovups (%0), %%ymm0\n"
                         "vmovups (%1), %%ymm1\n"
                         "vmovups (%2), %%ymm2\n"
                         "vmovups (%3), %%ymm3\n"
                         "vmovups (%4), %%ymm4\n"
                         "vmovups (%5), %%ymm5\n"
                         "vmovups (%6), %%ymm6\n"
                         "vmovups (%7), %%ymm7\n"
                         "vaddps %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddps %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddps %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubps %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddps %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubps %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddps %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubps %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddps %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubps %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddps %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubps %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddps %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubps %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddps %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddps %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubps %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddps %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddps %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubps %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovups %%ymm8, (%0)\n"
                         "vmovups %%ymm9, (%1)\n"
                         "vmovups %%ymm10, (%2)\n"
                         "vmovups %%ymm11, (%3)\n"
                         "vmovups %%ymm12, (%4)\n"
                         "vmovups %%ymm13, (%5)\n"
                         "vmovups %%ymm14, (%6)\n"
                         "vmovups %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 4096), "r"(buf + j + k + 8192), "r"(buf + j + k + 12288), "r"(buf + j + k + 16384), "r"(buf + j + k + 20480), "r"(buf + j + k + 24576), "r"(buf + j + k + 28672)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 17) {
    helper_float_17_recursive(buf + 0, 15);
    helper_float_17_recursive(buf + 32768, 15);
    helper_float_17_recursive(buf + 65536, 15);
    helper_float_17_recursive(buf + 98304, 15);
    for (int j = 0; j < 131072; j += 131072) {
      for (int k = 0; k < 32768; k += 8) {
        __asm__ volatile("vmovups (%0), %%ymm0\n"
                         "vmovups (%1), %%ymm1\n"
                         "vmovups (%2), %%ymm2\n"
                         "vmovups (%3), %%ymm3\n"
                         "vaddps %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubps %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddps %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubps %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddps %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubps %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddps %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubps %%ymm11, %%ymm9, %%ymm3\n"
                         "vmovups %%ymm0, (%0)\n"
                         "vmovups %%ymm1, (%1)\n"
                         "vmovups %%ymm2, (%2)\n"
                         "vmovups %%ymm3, (%3)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 32768), "r"(buf + j + k + 65536), "r"(buf + j + k + 98304)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
}
```