void helper_float_12_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;
  }
}


x86 assembly (clang, -O0):
<helper_float_12_recursive>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0xc,-0xc(%rbp)
jne    19a7 <helper_float_12_recursive+0x8a7>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1000,-0x10(%rbp)
jge    15b1 <helper_float_12_recursive+0x4b1>
movl   $0x0,-0x14(%rbp)
cmpl   $0x8,-0x14(%rbp)
jge    159e <helper_float_12_recursive+0x49e>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x10(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x14(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
add    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x10(%rbp),%rsi
shl    $0x2,%rsi
add    %rsi,%rdx
movslq -0x14(%rbp),%rsi
shl    $0x2,%rsi
add    %rsi,%rdx
add    $0x40,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x10(%rbp),%rdi
shl    $0x2,%rdi
add    %rdi,%rsi
movslq -0x14(%rbp),%rdi
shl    $0x2,%rdi
add    %rdi,%rsi
add    $0x60,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x10(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rdi
movslq -0x14(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rdi
add    $0x80,%rdi
mov    -0x8(%rbp),%r8
movslq -0x10(%rbp),%r9
shl    $0x2,%r9
add    %r9,%r8
movslq -0x14(%rbp),%r9
shl    $0x2,%r9
add    %r9,%r8
add    $0xa0,%r8
mov    -0x8(%rbp),%r9
movslq -0x10(%rbp),%r10
shl    $0x2,%r10
add    %r10,%r9
movslq -0x14(%rbp),%r10
shl    $0x2,%r10
add    %r10,%r9
add    $0xc0,%r9
mov    -0x8(%rbp),%r10
movslq -0x10(%rbp),%r11
shl    $0x2,%r11
add    %r11,%r10
movslq -0x14(%rbp),%r11
shl    $0x2,%r11
add    %r11,%r10
add    $0xe0,%r10
vmovups (%rax),%ymm0
vmovups (%rcx),%ymm1
vmovups (%rdx),%ymm2
vmovups (%rsi),%ymm3
vmovups (%rdi),%ymm4
vmovups (%r8),%ymm5
vmovups (%r9),%ymm6
vmovups (%r10),%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,(%rdx)
vmovups %ymm11,(%rsi)
vmovups %ymm12,(%rdi)
vmovups %ymm13,(%r8)
vmovups %ymm14,(%r9)
vmovups %ymm15,(%r10)
mov    -0x14(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x14(%rbp)
jmp    1130 <helper_float_12_recursive+0x30>
jmp    15a3 <helper_float_12_recursive+0x4a3>
mov    -0x10(%rbp),%eax
add    $0x40,%eax
mov    %eax,-0x10(%rbp)
jmp    111c <helper_float_12_recursive+0x1c>
movl   $0x0,-0x18(%rbp)
cmpl   $0x1000,-0x18(%rbp)
jge    17a8 <helper_float_12_recursive+0x6a8>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x40,-0x1c(%rbp)
jge    1793 <helper_float_12_recursive+0x693>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x1c(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
add    $0x100,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x18(%rbp),%rsi
shl    $0x2,%rsi
add    %rsi,%rdx
movslq -0x1c(%rbp),%rsi
shl    $0x2,%rsi
add    %rsi,%rdx
add    $0x200,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x18(%rbp),%rdi
shl    $0x2,%rdi
add    %rdi,%rsi
movslq -0x1c(%rbp),%rdi
shl    $0x2,%rdi
add    %rdi,%rsi
add    $0x300,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x18(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rdi
movslq -0x1c(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rdi
add    $0x400,%rdi
mov    -0x8(%rbp),%r8
movslq -0x18(%rbp),%r9
shl    $0x2,%r9
add    %r9,%r8
movslq -0x1c(%rbp),%r9
shl    $0x2,%r9
add    %r9,%r8
add    $0x500,%r8
mov    -0x8(%rbp),%r9
movslq -0x18(%rbp),%r10
shl    $0x2,%r10
add    %r10,%r9
movslq -0x1c(%rbp),%r10
shl    $0x2,%r10
add    %r10,%r9
add    $0x600,%r9
mov    -0x8(%rbp),%r10
movslq -0x18(%rbp),%r11
shl    $0x2,%r11
add    %r11,%r10
movslq -0x1c(%rbp),%r11
shl    $0x2,%r11
add    %r11,%r10
add    $0x700,%r10
vmovups (%rax),%ymm0
vmovups (%rcx),%ymm1
vmovups (%rdx),%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,(%rcx)
vmovups %ymm10,(%rdx)
vmovups %ymm11,(%rsi)
vmovups %ymm12,(%rdi)
vmovups %ymm13,(%r8)
vmovups %ymm14,(%r9)
vmovups %ymm15,(%r10)
mov    -0x1c(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x1c(%rbp)
jmp    15cc <helper_float_12_recursive+0x4cc>
jmp    1798 <helper_float_12_recursive+0x698>
mov    -0x18(%rbp),%eax
add    $0x200,%eax
mov    %eax,-0x18(%rbp)
jmp    15b8 <helper_float_12_recursive+0x4b8>
movl   $0x0,-0x20(%rbp)
cmpl   $0x1000,-0x20(%rbp)
jge    19a2 <helper_float_12_recursive+0x8a2>
movl   $0x0,-0x24(%rbp)
cmpl   $0x200,-0x24(%rbp)
jge    198d <helper_float_12_recursive+0x88d>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
add    $0x800,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x20(%rbp),%rsi
shl    $0x2,%rsi
add    %rsi,%rdx
movslq -0x24(%rbp),%rsi
shl    $0x2,%rsi
add    %rsi,%rdx
add    $0x1000,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x20(%rbp),%rdi
shl    $0x2,%rdi
add    %rdi,%rsi
movslq -0x24(%rbp),%rdi
shl    $0x2,%rdi
add    %rdi,%rsi
add    $0x1800,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x20(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rdi
movslq -0x24(%rbp),%r8
shl    $0x2,%r8
add    %r8,%rdi
add    $0x2000,%rdi
mov    -0x8(%rbp),%r8
movslq -0x20(%rbp),%r9
shl    $0x2,%r9
add    %r9,%r8
movslq -0x24(%rbp),%r9
shl    $0x2,%r9
add    %r9,%r8
add    $0x2800,%r8
mov    -0x8(%rbp),%r9
movslq -0x20(%rbp),%r10
shl    $0x2,%r10
add    %r10,%r9
movslq -0x24(%rbp),%r10
shl    $0x2,%r10
add    %r10,%r9
add    $0x3000,%r9
mov    -0x8(%rbp),%r10
movslq -0x20(%rbp),%r11
shl    $0x2,%r11
add    %r11,%r10
movslq -0x24(%rbp),%r11
shl    $0x2,%r11
add    %r11,%r10
add    $0x3800,%r10
vmovups (%rax),%ymm0
vmovups (%rcx),%ymm1
vmovups (%rdx),%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,(%rcx)
vmovups %ymm10,(%rdx)
vmovups %ymm11,(%rsi)
vmovups %ymm12,(%rdi)
vmovups %ymm13,(%r8)
vmovups %ymm14,(%r9)
vmovups %ymm15,(%r10)
mov    -0x24(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x24(%rbp)
jmp    17c3 <helper_float_12_recursive+0x6c3>
jmp    1992 <helper_float_12_recursive+0x892>
mov    -0x20(%rbp),%eax
add    $0x1000,%eax
mov    %eax,-0x20(%rbp)
jmp    17af <helper_float_12_recursive+0x6af>
jmp    19a7 <helper_float_12_recursive+0x8a7>
pop    %rbp
ret

x86 assembly (clang, -O2):
<helper_float_12_recursive>:
push   %r14
push   %rbx
cmp    $0xc,%esi
jne    1d23 <helper_float_12_recursive+0xc23>
mov    $0xffffffffffffffc0,%rax
mov    %rdi,%rcx
cs nopw 0x0(%rax,%rax,1)
lea    0x20(%rcx),%r8
lea    0x40(%rcx),%r9
lea    0x60(%rcx),%r10
lea    0x80(%rcx),%r11
lea    0xa0(%rcx),%rdx
lea    0xc0(%rcx),%rsi
lea    0xe0(%rcx),%rbx
vmovups (%rcx),%ymm0
vmovups (%r8),%ymm1
vmovups (%r9),%ymm2
vmovups (%r10),%ymm3
vmovups (%r11),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%rcx)
vmovups %ymm9,(%r8)
vmovups %ymm10,(%r9)
vmovups %ymm11,(%r10)
vmovups %ymm12,(%r11)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
add    $0x40,%rax
add    $0x100,%rcx
cmp    $0xfc0,%rax
jb     1120 <helper_float_12_recursive+0x20>
mov    $0xfffffffffffffe00,%r10
mov    %rdi,%rcx
nopl   0x0(%rax)
lea    0x100(%rcx),%r8
lea    0x200(%rcx),%r9
lea    0x300(%rcx),%r11
lea    0x400(%rcx),%rdx
lea    0x500(%rcx),%rsi
lea    0x600(%rcx),%rax
lea    0x700(%rcx),%rbx
vmovups (%rcx),%ymm0
vmovups (%r8),%ymm1
vmovups (%r9),%ymm2
vmovups (%r11),%ymm3
vmovups (%rdx),%ymm4
vmovups (%rsi),%ymm5
vmovups (%rax),%ymm6
vmovups (%rbx),%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,(%rcx)
vmovups %ymm9,(%r8)
vmovups %ymm10,(%r9)
vmovups %ymm11,(%r11)
vmovups %ymm12,(%rdx)
vmovups %ymm13,(%rsi)
vmovups %ymm14,(%rax)
vmovups %ymm15,(%rbx)
lea    0x20(%rcx),%r8
lea    0x120(%rcx),%r9
lea    0x220(%rcx),%r11
lea    0x320(%rcx),%r14
lea    0x420(%rcx),%rax
lea    0x520(%rcx),%rdx
lea    0x620(%rcx),%rsi
lea    0x720(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
lea    0x40(%rcx),%r8
lea    0x140(%rcx),%r9
lea    0x240(%rcx),%r11
lea    0x340(%rcx),%r14
lea    0x440(%rcx),%rax
lea    0x540(%rcx),%rdx
lea    0x640(%rcx),%rsi
lea    0x740(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
lea    0x60(%rcx),%r8
lea    0x160(%rcx),%r9
lea    0x260(%rcx),%r11
lea    0x360(%rcx),%r14
lea    0x460(%rcx),%rax
lea    0x560(%rcx),%rdx
lea    0x660(%rcx),%rsi
lea    0x760(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
lea    0x80(%rcx),%r8
lea    0x180(%rcx),%r9
lea    0x280(%rcx),%r11
lea    0x380(%rcx),%r14
lea    0x480(%rcx),%rax
lea    0x580(%rcx),%rdx
lea    0x680(%rcx),%rsi
lea    0x780(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
lea    0xa0(%rcx),%r8
lea    0x1a0(%rcx),%r9
lea    0x2a0(%rcx),%r11
lea    0x3a0(%rcx),%r14
lea    0x4a0(%rcx),%rax
lea    0x5a0(%rcx),%rdx
lea    0x6a0(%rcx),%rsi
lea    0x7a0(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
lea    0xc0(%rcx),%r8
lea    0x1c0(%rcx),%r9
lea    0x2c0(%rcx),%r11
lea    0x3c0(%rcx),%r14
lea    0x4c0(%rcx),%rax
lea    0x5c0(%rcx),%rdx
lea    0x6c0(%rcx),%rsi
lea    0x7c0(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
lea    0xe0(%rcx),%r8
lea    0x1e0(%rcx),%r9
lea    0x2e0(%rcx),%r11
lea    0x3e0(%rcx),%r14
lea    0x4e0(%rcx),%rax
lea    0x5e0(%rcx),%rdx
lea    0x6e0(%rcx),%rsi
lea    0x7e0(%rcx),%rbx
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r11),%ymm2
vmovups (%r14),%ymm3
vmovups (%rax),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rbx),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r11)
vmovups %ymm11,(%r14)
vmovups %ymm12,(%rax)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rbx)
add    $0x200,%r10
add    $0x800,%rcx
cmp    $0xe00,%r10
jb     14d0 <helper_float_12_recursive+0x3d0>
add    $0x3800,%rdi
mov    $0xfffffffffffffff8,%rax
nopw   0x0(%rax,%rax,1)
lea    -0x3800(%rdi),%r8
lea    -0x3000(%rdi),%r9
lea    -0x2800(%rdi),%r10
lea    -0x2000(%rdi),%rbx
lea    -0x1800(%rdi),%rcx
lea    -0x1000(%rdi),%rdx
lea    -0x800(%rdi),%rsi
vmovups (%r8),%ymm0
vmovups (%r9),%ymm1
vmovups (%r10),%ymm2
vmovups (%rbx),%ymm3
vmovups (%rcx),%ymm4
vmovups (%rdx),%ymm5
vmovups (%rsi),%ymm6
vmovups (%rdi),%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,(%r8)
vmovups %ymm9,(%r9)
vmovups %ymm10,(%r10)
vmovups %ymm11,(%rbx)
vmovups %ymm12,(%rcx)
vmovups %ymm13,(%rdx)
vmovups %ymm14,(%rsi)
vmovups %ymm15,(%rdi)
add    $0x8,%rax
add    $0x20,%rdi
cmp    $0x1f8,%rax
jb     1c30 <helper_float_12_recursive+0xb30>
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @helper_float_12_recursive(float* %0, i32 %1) {
%3 = alloca float*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store float* %0, float** %3
store i32 %1, i32* %4
%11 = load i32, i32* %4
%12 = icmp eq i32 %11, 12
br i1 %12, label %13, label %254
13: ; preds = %2
store i32 0, i32* %5
br label %14
14: ; preds = %90, %13
%15 = load i32, i32* %5
%16 = icmp slt i32 %15, 4096
br i1 %16, label %17, label %93
17: ; preds = %14
store i32 0, i32* %6
br label %18
18: ; preds = %86, %17
%19 = load i32, i32* %6
%20 = icmp slt i32 %19, 8
br i1 %20, label %21, label %89
21: ; preds = %18
%22 = load float*, float** %3
%23 = load i32, i32* %5
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds float, float* %22, i64 %24
%26 = load i32, i32* %6
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds float, float* %25, i64 %27
%29 = getelementptr inbounds float, float* %28, i64 0
%30 = load float*, float** %3
%31 = load i32, i32* %5
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds float, float* %30, i64 %32
%34 = load i32, i32* %6
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds float, float* %33, i64 %35
%37 = getelementptr inbounds float, float* %36, i64 8
%38 = load float*, float** %3
%39 = load i32, i32* %5
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds float, float* %38, i64 %40
%42 = load i32, i32* %6
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds float, float* %41, i64 %43
%45 = getelementptr inbounds float, float* %44, i64 16
%46 = load float*, float** %3
%47 = load i32, i32* %5
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds float, float* %46, i64 %48
%50 = load i32, i32* %6
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds float, float* %49, i64 %51
%53 = getelementptr inbounds float, float* %52, i64 24
%54 = load float*, float** %3
%55 = load i32, i32* %5
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds float, float* %54, i64 %56
%58 = load i32, i32* %6
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds float, float* %57, i64 %59
%61 = getelementptr inbounds float, float* %60, i64 32
%62 = load float*, float** %3
%63 = load i32, i32* %5
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds float, float* %62, i64 %64
%66 = load i32, i32* %6
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds float, float* %65, i64 %67
%69 = getelementptr inbounds float, float* %68, i64 40
%70 = load float*, float** %3
%71 = load i32, i32* %5
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds float, float* %70, i64 %72
%74 = load i32, i32* %6
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds float, float* %73, i64 %75
%77 = getelementptr inbounds float, float* %76, i64 48
%78 = load float*, float** %3
%79 = load i32, i32* %5
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds float, float* %78, i64 %80
%82 = load i32, i32* %6
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds float, float* %81, i64 %83
%85 = getelementptr inbounds float, float* %84, i64 56
br label %86
86: ; preds = %21
%87 = load i32, i32* %6
%88 = add nsw i32 %87, 8
store i32 %88, i32* %6
br label %18
89: ; preds = %18
br label %90
90: ; preds = %89
%91 = load i32, i32* %5
%92 = add nsw i32 %91, 64
store i32 %92, i32* %5
br label %14
93: ; preds = %14
store i32 0, i32* %7
br label %94
94: ; preds = %170, %93
%95 = load i32, i32* %7
%96 = icmp slt i32 %95, 4096
br i1 %96, label %97, label %173
97: ; preds = %94
store i32 0, i32* %8
br label %98
98: ; preds = %166, %97
%99 = load i32, i32* %8
%100 = icmp slt i32 %99, 64
br i1 %100, label %101, label %169
101: ; preds = %98
%102 = load float*, float** %3
%103 = load i32, i32* %7
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds float, float* %102, i64 %104
%106 = load i32, i32* %8
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds float, float* %105, i64 %107
%109 = getelementptr inbounds float, float* %108, i64 0
%110 = load float*, float** %3
%111 = load i32, i32* %7
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds float, float* %110, i64 %112
%114 = load i32, i32* %8
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds float, float* %113, i64 %115
%117 = getelementptr inbounds float, float* %116, i64 64
%118 = load float*, float** %3
%119 = load i32, i32* %7
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds float, float* %118, i64 %120
%122 = load i32, i32* %8
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds float, float* %121, i64 %123
%125 = getelementptr inbounds float, float* %124, i64 128
%126 = load float*, float** %3
%127 = load i32, i32* %7
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds float, float* %126, i64 %128
%130 = load i32, i32* %8
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds float, float* %129, i64 %131
%133 = getelementptr inbounds float, float* %132, i64 192
%134 = load float*, float** %3
%135 = load i32, i32* %7
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds float, float* %134, i64 %136
%138 = load i32, i32* %8
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds float, float* %137, i64 %139
%141 = getelementptr inbounds float, float* %140, i64 256
%142 = load float*, float** %3
%143 = load i32, i32* %7
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds float, float* %142, i64 %144
%146 = load i32, i32* %8
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds float, float* %145, i64 %147
%149 = getelementptr inbounds float, float* %148, i64 320
%150 = load float*, float** %3
%151 = load i32, i32* %7
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds float, float* %150, i64 %152
%154 = load i32, i32* %8
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds float, float* %153, i64 %155
%157 = getelementptr inbounds float, float* %156, i64 384
%158 = load float*, float** %3
%159 = load i32, i32* %7
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds float, float* %158, i64 %160
%162 = load i32, i32* %8
%163 = sext i32 %162 to i64
%164 = getelementptr inbounds float, float* %161, i64 %163
%165 = getelementptr inbounds float, float* %164, i64 448
br label %166
166: ; preds = %101
%167 = load i32, i32* %8
%168 = add nsw i32 %167, 8
store i32 %168, i32* %8
br label %98
169: ; preds = %98
br label %170
170: ; preds = %169
%171 = load i32, i32* %7
%172 = add nsw i32 %171, 512
store i32 %172, i32* %7
br label %94
173: ; preds = %94
store i32 0, i32* %9
br label %174
174: ; preds = %250, %173
%175 = load i32, i32* %9
%176 = icmp slt i32 %175, 4096
br i1 %176, label %177, label %253
177: ; preds = %174
store i32 0, i32* %10
br label %178
178: ; preds = %246, %177
%179 = load i32, i32* %10
%180 = icmp slt i32 %179, 512
br i1 %180, label %181, label %249
181: ; preds = %178
%182 = load float*, float** %3
%183 = load i32, i32* %9
%184 = sext i32 %183 to i64
%185 = getelementptr inbounds float, float* %182, i64 %184
%186 = load i32, i32* %10
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds float, float* %185, i64 %187
%189 = getelementptr inbounds float, float* %188, i64 0
%190 = load float*, float** %3
%191 = load i32, i32* %9
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds float, float* %190, i64 %192
%194 = load i32, i32* %10
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds float, float* %193, i64 %195
%197 = getelementptr inbounds float, float* %196, i64 512
%198 = load float*, float** %3
%199 = load i32, i32* %9
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds float, float* %198, i64 %200
%202 = load i32, i32* %10
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds float, float* %201, i64 %203
%205 = getelementptr inbounds float, float* %204, i64 1024
%206 = load float*, float** %3
%207 = load i32, i32* %9
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds float, float* %206, i64 %208
%210 = load i32, i32* %10
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds float, float* %209, i64 %211
%213 = getelementptr inbounds float, float* %212, i64 1536
%214 = load float*, float** %3
%215 = load i32, i32* %9
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds float, float* %214, i64 %216
%218 = load i32, i32* %10
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds float, float* %217, i64 %219
%221 = getelementptr inbounds float, float* %220, i64 2048
%222 = load float*, float** %3
%223 = load i32, i32* %9
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds float, float* %222, i64 %224
%226 = load i32, i32* %10
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds float, float* %225, i64 %227
%229 = getelementptr inbounds float, float* %228, i64 2560
%230 = load float*, float** %3
%231 = load i32, i32* %9
%232 = sext i32 %231 to i64
%233 = getelementptr inbounds float, float* %230, i64 %232
%234 = load i32, i32* %10
%235 = sext i32 %234 to i64
%236 = getelementptr inbounds float, float* %233, i64 %235
%237 = getelementptr inbounds float, float* %236, i64 3072
%238 = load float*, float** %3
%239 = load i32, i32* %9
%240 = sext i32 %239 to i64
%241 = getelementptr inbounds float, float* %238, i64 %240
%242 = load i32, i32* %10
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds float, float* %241, i64 %243
%245 = getelementptr inbounds float, float* %244, i64 3584
br label %246
246: ; preds = %181
%247 = load i32, i32* %10
%248 = add nsw i32 %247, 8
store i32 %248, i32* %10
br label %178
249: ; preds = %178
br label %250
250: ; preds = %249
%251 = load i32, i32* %9
%252 = add nsw i32 %251, 4096
store i32 %252, i32* %9
br label %174
253: ; preds = %174
br label %254
254: ; preds = %253, %2
ret void
}

LLVM IR (-O2):
define void @helper_float_12_recursive(float* %0, i32 %1) {
%3 = icmp eq i32 %1, 12
br i1 %3, label %4, label %96
4: ; preds = %2, %4
%5 = phi i64 [ %14, %4 ], [ 0, %2 ]
%6 = getelementptr inbounds float, float* %0, i64 %5
%7 = getelementptr inbounds float, float* %6, i64 8
%8 = getelementptr inbounds float, float* %6, i64 16
%9 = getelementptr inbounds float, float* %6, i64 24
%10 = getelementptr inbounds float, float* %6, i64 32
%11 = getelementptr inbounds float, float* %6, i64 40
%12 = getelementptr inbounds float, float* %6, i64 48
%13 = getelementptr inbounds float, float* %6, i64 56
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avpermilps $$160, %ymm0, %ymm8\0Avpermilps $$245, %ymm0, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm0\0Avpermilps $$160, %ymm1, %ymm8\0Avpermilps $$245, %ymm1, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm1\0Avpermilps $$160, %ymm2, %ymm8\0Avpermilps $$245, %ymm2, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm2\0Avpermilps $$160, %ymm3, %ymm8\0Avpermilps $$245, %ymm3, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm3\0Avpermilps $$160, %ymm4, %ymm8\0Avpermilps $$245, %ymm4, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm4\0Avpermilps $$160, %ymm5, %ymm8\0Avpermilps $$245, %ymm5, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm5\0Avpermilps $$160, %ymm6, %ymm8\0Avpermilps $$245, %ymm6, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm6\0Avpermilps $$160, %ymm7, %ymm8\0Avpermilps $$245, %ymm7, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avaddsubps %ymm11, %ymm8, %ymm7\0Avpermilps $$68, %ymm0, %ymm8\0Avpermilps $$238, %ymm0, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm0\0Avpermilps $$68, %ymm1, %ymm8\0Avpermilps $$238, %ymm1, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm1\0Avpermilps $$68, %ymm2, %ymm8\0Avpermilps $$238, %ymm2, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm2\0Avpermilps $$68, %ymm3, %ymm8\0Avpermilps $$238, %ymm3, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm3\0Avpermilps $$68, %ymm4, %ymm8\0Avpermilps $$238, %ymm4, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm4\0Avpermilps $$68, %ymm5, %ymm8\0Avpermilps $$238, %ymm5, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm5\0Avpermilps $$68, %ymm6, %ymm8\0Avpermilps $$238, %ymm6, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm6\0Avpermilps $$68, %ymm7, %ymm8\0Avpermilps $$238, %ymm7, %ymm9\0Avxorps %ymm10, %ymm10, %ymm10\0Avsubps %ymm9, %ymm10, %ymm11\0Avblendps $$204, %ymm11, %ymm9, %ymm12\0Avaddps %ymm8, %ymm12, %ymm7\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm0, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm0, %ymm0, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm0, %ymm11\0Avaddps %ymm10, %ymm11, %ymm0\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm1, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm1, %ymm1, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm1, %ymm11\0Avaddps %ymm10, %ymm11, %ymm1\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm2, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm2, %ymm2, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm2, %ymm11\0Avaddps %ymm10, %ymm11, %ymm2\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm3, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm3, %ymm3, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm3, %ymm11\0Avaddps %ymm10, %ymm11, %ymm3\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm4, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm4, %ymm4, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm4, %ymm11\0Avaddps %ymm10, %ymm11, %ymm4\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm5, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm5, %ymm5, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm5, %ymm11\0Avaddps %ymm10, %ymm11, %ymm5\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm6, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm6, %ymm6, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm6, %ymm11\0Avaddps %ymm10, %ymm11, %ymm6\0Avxorps %ymm8, %ymm8, %ymm8\0Avsubps %ymm7, %ymm8, %ymm9\0Avperm2f128 $$0, %ymm7, %ymm7, %ymm10\0Avperm2f128 $$49, %ymm9, %ymm7, %ymm11\0Avaddps %ymm10, %ymm11, %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %6, float* %7, float* %8, float* %9, float* %10, float* %11, float* %12, float* %13)
%14 = add nuw nsw i64 %5, 64
%15 = icmp ult i64 %5, 4032
br i1 %15, label %4, label %16
16: ; preds = %4, %16
%17 = phi i64 [ %82, %16 ], [ 0, %4 ]
%18 = getelementptr inbounds float, float* %0, i64 %17
%19 = getelementptr inbounds float, float* %18, i64 64
%20 = getelementptr inbounds float, float* %18, i64 128
%21 = getelementptr inbounds float, float* %18, i64 192
%22 = getelementptr inbounds float, float* %18, i64 256
%23 = getelementptr inbounds float, float* %18, i64 320
%24 = getelementptr inbounds float, float* %18, i64 384
%25 = getelementptr inbounds float, float* %18, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %18, float* %19, float* %20, float* %21, float* %22, float* %23, float* %24, float* %25)
%26 = getelementptr inbounds float, float* %18, i64 8
%27 = getelementptr inbounds float, float* %26, i64 64
%28 = getelementptr inbounds float, float* %26, i64 128
%29 = getelementptr inbounds float, float* %26, i64 192
%30 = getelementptr inbounds float, float* %26, i64 256
%31 = getelementptr inbounds float, float* %26, i64 320
%32 = getelementptr inbounds float, float* %26, i64 384
%33 = getelementptr inbounds float, float* %26, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %26, float* %27, float* %28, float* %29, float* %30, float* %31, float* %32, float* %33)
%34 = getelementptr inbounds float, float* %18, i64 16
%35 = getelementptr inbounds float, float* %34, i64 64
%36 = getelementptr inbounds float, float* %34, i64 128
%37 = getelementptr inbounds float, float* %34, i64 192
%38 = getelementptr inbounds float, float* %34, i64 256
%39 = getelementptr inbounds float, float* %34, i64 320
%40 = getelementptr inbounds float, float* %34, i64 384
%41 = getelementptr inbounds float, float* %34, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %34, float* %35, float* %36, float* %37, float* %38, float* %39, float* %40, float* %41)
%42 = getelementptr inbounds float, float* %18, i64 24
%43 = getelementptr inbounds float, float* %42, i64 64
%44 = getelementptr inbounds float, float* %42, i64 128
%45 = getelementptr inbounds float, float* %42, i64 192
%46 = getelementptr inbounds float, float* %42, i64 256
%47 = getelementptr inbounds float, float* %42, i64 320
%48 = getelementptr inbounds float, float* %42, i64 384
%49 = getelementptr inbounds float, float* %42, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %42, float* %43, float* %44, float* %45, float* %46, float* %47, float* %48, float* %49)
%50 = getelementptr inbounds float, float* %18, i64 32
%51 = getelementptr inbounds float, float* %50, i64 64
%52 = getelementptr inbounds float, float* %50, i64 128
%53 = getelementptr inbounds float, float* %50, i64 192
%54 = getelementptr inbounds float, float* %50, i64 256
%55 = getelementptr inbounds float, float* %50, i64 320
%56 = getelementptr inbounds float, float* %50, i64 384
%57 = getelementptr inbounds float, float* %50, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %50, float* %51, float* %52, float* %53, float* %54, float* %55, float* %56, float* %57)
%58 = getelementptr inbounds float, float* %18, i64 40
%59 = getelementptr inbounds float, float* %58, i64 64
%60 = getelementptr inbounds float, float* %58, i64 128
%61 = getelementptr inbounds float, float* %58, i64 192
%62 = getelementptr inbounds float, float* %58, i64 256
%63 = getelementptr inbounds float, float* %58, i64 320
%64 = getelementptr inbounds float, float* %58, i64 384
%65 = getelementptr inbounds float, float* %58, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %58, float* %59, float* %60, float* %61, float* %62, float* %63, float* %64, float* %65)
%66 = getelementptr inbounds float, float* %18, i64 48
%67 = getelementptr inbounds float, float* %66, i64 64
%68 = getelementptr inbounds float, float* %66, i64 128
%69 = getelementptr inbounds float, float* %66, i64 192
%70 = getelementptr inbounds float, float* %66, i64 256
%71 = getelementptr inbounds float, float* %66, i64 320
%72 = getelementptr inbounds float, float* %66, i64 384
%73 = getelementptr inbounds float, float* %66, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %66, float* %67, float* %68, float* %69, float* %70, float* %71, float* %72, float* %73)
%74 = getelementptr inbounds float, float* %18, i64 56
%75 = getelementptr inbounds float, float* %74, i64 64
%76 = getelementptr inbounds float, float* %74, i64 128
%77 = getelementptr inbounds float, float* %74, i64 192
%78 = getelementptr inbounds float, float* %74, i64 256
%79 = getelementptr inbounds float, float* %74, i64 320
%80 = getelementptr inbounds float, float* %74, i64 384
%81 = getelementptr inbounds float, float* %74, i64 448
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %74, float* %75, float* %76, float* %77, float* %78, float* %79, float* %80, float* %81)
%82 = add nuw nsw i64 %17, 512
%83 = icmp ult i64 %17, 3584
br i1 %83, label %16, label %84
84: ; preds = %16, %84
%85 = phi i64 [ %94, %84 ], [ 0, %16 ]
%86 = getelementptr inbounds float, float* %0, i64 %85
%87 = getelementptr inbounds float, float* %86, i64 512
%88 = getelementptr inbounds float, float* %86, i64 1024
%89 = getelementptr inbounds float, float* %86, i64 1536
%90 = getelementptr inbounds float, float* %86, i64 2048
%91 = getelementptr inbounds float, float* %86, i64 2560
%92 = getelementptr inbounds float, float* %86, i64 3072
%93 = getelementptr inbounds float, float* %86, i64 3584
tail call void asm sideeffect "vmovups ($0), %ymm0\0Avmovups ($1), %ymm1\0Avmovups ($2), %ymm2\0Avmovups ($3), %ymm3\0Avmovups ($4), %ymm4\0Avmovups ($5), %ymm5\0Avmovups ($6), %ymm6\0Avmovups ($7), %ymm7\0Avaddps %ymm1, %ymm0, %ymm8\0Avsubps %ymm1, %ymm0, %ymm9\0Avaddps %ymm3, %ymm2, %ymm10\0Avsubps %ymm3, %ymm2, %ymm11\0Avaddps %ymm5, %ymm4, %ymm12\0Avsubps %ymm5, %ymm4, %ymm13\0Avaddps %ymm7, %ymm6, %ymm14\0Avsubps %ymm7, %ymm6, %ymm15\0Avaddps %ymm10, %ymm8, %ymm0\0Avsubps %ymm10, %ymm8, %ymm2\0Avaddps %ymm11, %ymm9, %ymm1\0Avsubps %ymm11, %ymm9, %ymm3\0Avaddps %ymm14, %ymm12, %ymm4\0Avsubps %ymm14, %ymm12, %ymm6\0Avaddps %ymm15, %ymm13, %ymm5\0Avsubps %ymm15, %ymm13, %ymm7\0Avaddps %ymm4, %ymm0, %ymm8\0Avsubps %ymm4, %ymm0, %ymm12\0Avaddps %ymm5, %ymm1, %ymm9\0Avsubps %ymm5, %ymm1, %ymm13\0Avaddps %ymm6, %ymm2, %ymm10\0Avsubps %ymm6, %ymm2, %ymm14\0Avaddps %ymm7, %ymm3, %ymm11\0Avsubps %ymm7, %ymm3, %ymm15\0Avmovups %ymm8, ($0)\0Avmovups %ymm9, ($1)\0Avmovups %ymm10, ($2)\0Avmovups %ymm11, ($3)\0Avmovups %ymm12, ($4)\0Avmovups %ymm13, ($5)\0Avmovups %ymm14, ($6)\0Avmovups %ymm15, ($7)\0A", "r,r,r,r,r,r,r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(float* %86, float* %87, float* %88, float* %89, float* %90, float* %91, float* %92, float* %93)
%94 = add nuw nsw i64 %85, 8
%95 = icmp ult i64 %85, 504
br i1 %95, label %84, label %96
96: ; preds = %84, %2
ret void
}