void helper_double_15_recursive(double *buf, int depth) {
  if (depth == 12) {
    for (int j = 0; j < 4096; j += 32) {
      for (int k = 0; k < 4; k += 4) {
        __asm__ volatile(
            "vmovupd (%0), %%ymm0\n"
            "vmovupd (%1), %%ymm1\n"
            "vmovupd (%2), %%ymm2\n"
            "vmovupd (%3), %%ymm3\n"
            "vmovupd (%4), %%ymm4\n"
            "vmovupd (%5), %%ymm5\n"
            "vmovupd (%6), %%ymm6\n"
            "vmovupd (%7), %%ymm7\n"
            "vpermilpd $0, %%ymm0, %%ymm8\n"
            "vpermilpd $15, %%ymm0, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm0\n"
            "vpermilpd $0, %%ymm1, %%ymm8\n"
            "vpermilpd $15, %%ymm1, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm1\n"
            "vpermilpd $0, %%ymm2, %%ymm8\n"
            "vpermilpd $15, %%ymm2, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm2\n"
            "vpermilpd $0, %%ymm3, %%ymm8\n"
            "vpermilpd $15, %%ymm3, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm3\n"
            "vpermilpd $0, %%ymm4, %%ymm8\n"
            "vpermilpd $15, %%ymm4, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm4\n"
            "vpermilpd $0, %%ymm5, %%ymm8\n"
            "vpermilpd $15, %%ymm5, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm5\n"
            "vpermilpd $0, %%ymm6, %%ymm8\n"
            "vpermilpd $15, %%ymm6, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm6\n"
            "vpermilpd $0, %%ymm7, %%ymm8\n"
            "vpermilpd $15, %%ymm7, %%ymm9\n"
            "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
            "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
            "vaddsubpd %%ymm11, %%ymm8, %%ymm7\n"
            "vperm2f128 $0, %%ymm0, %%ymm0, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm0, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm0, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm0\n"
            "vperm2f128 $0, %%ymm1, %%ymm1, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm1, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm1, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm1\n"
            "vperm2f128 $0, %%ymm2, %%ymm2, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm2, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm2, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm2\n"
            "vperm2f128 $0, %%ymm3, %%ymm3, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm3, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm3, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm3\n"
            "vperm2f128 $0, %%ymm4, %%ymm4, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm4, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm4, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm4\n"
            "vperm2f128 $0, %%ymm5, %%ymm5, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm5, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm5, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm5\n"
            "vperm2f128 $0, %%ymm6, %%ymm6, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm6, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm6, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm6\n"
            "vperm2f128 $0, %%ymm7, %%ymm7, %%ymm8\n"
            "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
            "vsubpd %%ymm7, %%ymm9, %%ymm10\n"
            "vperm2f128 $49, %%ymm10, %%ymm7, %%ymm11\n"
            "vaddpd %%ymm11, %%ymm8, %%ymm7\n"
            "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
            "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
            "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
            "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
            "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
            "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
            "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
            "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
            "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
            "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
            "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
            "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
            "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
            "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
            "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
            "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
            "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
            "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
            "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
            "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
            "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
            "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
            "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
            "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
            "vmovupd %%ymm8, (%0)\n"
            "vmovupd %%ymm9, (%1)\n"
            "vmovupd %%ymm10, (%2)\n"
            "vmovupd %%ymm11, (%3)\n"
            "vmovupd %%ymm12, (%4)\n"
            "vmovupd %%ymm13, (%5)\n"
            "vmovupd %%ymm14, (%6)\n"
            "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
            "r"(buf + j + k + 4), "r"(buf + j + k + 8), "r"(buf + j + k + 12),
            "r"(buf + j + k + 16), "r"(buf + j + k + 20), "r"(buf + j + k + 24),
            "r"(buf + j + k + 28)
            : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6",
              "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13",
              "%ymm14", "%ymm15", "memory");
      }
    }
    for (int j = 0; j < 4096; j += 256) {
      for (int k = 0; k < 32; k += 4) {
        __asm__ volatile(
            "vmovupd (%0), %%ymm0\n"
            "vmovupd (%1), %%ymm1\n"
            "vmovupd (%2), %%ymm2\n"
            "vmovupd (%3), %%ymm3\n"
            "vmovupd (%4), %%ymm4\n"
            "vmovupd (%5), %%ymm5\n"
            "vmovupd (%6), %%ymm6\n"
            "vmovupd (%7), %%ymm7\n"
            "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
            "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
            "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
            "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
            "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
            "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
            "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
            "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
            "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
            "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
            "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
            "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
            "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
            "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
            "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
            "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
            "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
            "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
            "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
            "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
            "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
            "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
            "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
            "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
            "vmovupd %%ymm8, (%0)\n"
            "vmovupd %%ymm9, (%1)\n"
            "vmovupd %%ymm10, (%2)\n"
            "vmovupd %%ymm11, (%3)\n"
            "vmovupd %%ymm12, (%4)\n"
            "vmovupd %%ymm13, (%5)\n"
            "vmovupd %%ymm14, (%6)\n"
            "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
            "r"(buf + j + k + 32), "r"(buf + j + k + 64), "r"(buf + j + k + 96),
            "r"(buf + j + k + 128), "r"(buf + j + k + 160),
            "r"(buf + j + k + 192), "r"(buf + j + k + 224)
            : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6",
              "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13",
              "%ymm14", "%ymm15", "memory");
      }
    }
    for (int j = 0; j < 4096; j += 2048) {
      for (int k = 0; k < 256; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 256), "r"(buf + j + k + 512),
                         "r"(buf + j + k + 768), "r"(buf + j + k + 1024),
                         "r"(buf + j + k + 1280), "r"(buf + j + k + 1536),
                         "r"(buf + j + k + 1792)
                         : "%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 < 2048; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 2048)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5",
                           "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10",
                           "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15",
                           "memory");
      }
    }
    return;
  }
  if (depth == 15) {
    helper_double_15_recursive(buf + 0, 12);
    helper_double_15_recursive(buf + 4096, 12);
    helper_double_15_recursive(buf + 8192, 12);
    helper_double_15_recursive(buf + 12288, 12);
    helper_double_15_recursive(buf + 16384, 12);
    helper_double_15_recursive(buf + 20480, 12);
    helper_double_15_recursive(buf + 24576, 12);
    helper_double_15_recursive(buf + 28672, 12);
    for (int j = 0; j < 32768; j += 32768) {
      for (int k = 0; k < 4096; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%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;
  }
}


x86 assembly (clang, -O0):
<helper_double_15_recursive>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0xc,-0xc(%rbp)
jne    1951 <helper_double_15_recursive+0x841>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1000,-0x10(%rbp)
jge    14bd <helper_double_15_recursive+0x3ad>
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    14aa <helper_double_15_recursive+0x39a>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x10(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
movslq -0x14(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
add    $0x20,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x10(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
movslq -0x14(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
add    $0x40,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x10(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
movslq -0x14(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
add    $0x60,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x10(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
movslq -0x14(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
add    $0x80,%rdi
mov    -0x8(%rbp),%r8
movslq -0x10(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
movslq -0x14(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
add    $0xa0,%r8
mov    -0x8(%rbp),%r9
movslq -0x10(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
movslq -0x14(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
add    $0xc0,%r9
mov    -0x8(%rbp),%r10
movslq -0x10(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
movslq -0x14(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
add    $0xe0,%r10
vmovupd (%rax),%ymm0
vmovupd (%rcx),%ymm1
vmovupd (%rdx),%ymm2
vmovupd (%rsi),%ymm3
vmovupd (%rdi),%ymm4
vmovupd (%r8),%ymm5
vmovupd (%r9),%ymm6
vmovupd (%r10),%ymm7
vpermilpd $0x0,%ymm0,%ymm8
vpermilpd $0xf,%ymm0,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm0
vpermilpd $0x0,%ymm1,%ymm8
vpermilpd $0xf,%ymm1,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm1
vpermilpd $0x0,%ymm2,%ymm8
vpermilpd $0xf,%ymm2,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm2
vpermilpd $0x0,%ymm3,%ymm8
vpermilpd $0xf,%ymm3,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm3
vpermilpd $0x0,%ymm4,%ymm8
vpermilpd $0xf,%ymm4,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm4
vpermilpd $0x0,%ymm5,%ymm8
vpermilpd $0xf,%ymm5,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm5
vpermilpd $0x0,%ymm6,%ymm8
vpermilpd $0xf,%ymm6,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm6
vpermilpd $0x0,%ymm7,%ymm8
vpermilpd $0xf,%ymm7,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm7
vperm2f128 $0x0,%ymm0,%ymm0,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm0,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm0,%ymm11
vaddpd %ymm11,%ymm8,%ymm0
vperm2f128 $0x0,%ymm1,%ymm1,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm1,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm1,%ymm11
vaddpd %ymm11,%ymm8,%ymm1
vperm2f128 $0x0,%ymm2,%ymm2,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm2,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm2,%ymm11
vaddpd %ymm11,%ymm8,%ymm2
vperm2f128 $0x0,%ymm3,%ymm3,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm3,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm3,%ymm11
vaddpd %ymm11,%ymm8,%ymm3
vperm2f128 $0x0,%ymm4,%ymm4,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm4,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm4,%ymm11
vaddpd %ymm11,%ymm8,%ymm4
vperm2f128 $0x0,%ymm5,%ymm5,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm5,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm5,%ymm11
vaddpd %ymm11,%ymm8,%ymm5
vperm2f128 $0x0,%ymm6,%ymm6,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm6,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm6,%ymm11
vaddpd %ymm11,%ymm8,%ymm6
vperm2f128 $0x0,%ymm7,%ymm7,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm7,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm7,%ymm11
vaddpd %ymm11,%ymm8,%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rax)
vmovupd %ymm9,(%rcx)
vmovupd %ymm10,(%rdx)
vmovupd %ymm11,(%rsi)
vmovupd %ymm12,(%rdi)
vmovupd %ymm13,(%r8)
vmovupd %ymm14,(%r9)
vmovupd %ymm15,(%r10)
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    1144 <helper_double_15_recursive+0x34>
jmp    14af <helper_double_15_recursive+0x39f>
mov    -0x10(%rbp),%eax
add    $0x20,%eax
mov    %eax,-0x10(%rbp)
jmp    1130 <helper_double_15_recursive+0x20>
movl   $0x0,-0x18(%rbp)
cmpl   $0x1000,-0x18(%rbp)
jge    16b4 <helper_double_15_recursive+0x5a4>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x20,-0x1c(%rbp)
jge    169f <helper_double_15_recursive+0x58f>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x18(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
movslq -0x1c(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
add    $0x100,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x18(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
movslq -0x1c(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
add    $0x200,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x18(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
movslq -0x1c(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
add    $0x300,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x18(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
movslq -0x1c(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
add    $0x400,%rdi
mov    -0x8(%rbp),%r8
movslq -0x18(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
movslq -0x1c(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
add    $0x500,%r8
mov    -0x8(%rbp),%r9
movslq -0x18(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
movslq -0x1c(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
add    $0x600,%r9
mov    -0x8(%rbp),%r10
movslq -0x18(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
movslq -0x1c(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
add    $0x700,%r10
vmovupd (%rax),%ymm0
vmovupd (%rcx),%ymm1
vmovupd (%rdx),%ymm2
vmovupd (%rsi),%ymm3
vmovupd (%rdi),%ymm4
vmovupd (%r8),%ymm5
vmovupd (%r9),%ymm6
vmovupd (%r10),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rax)
vmovupd %ymm9,(%rcx)
vmovupd %ymm10,(%rdx)
vmovupd %ymm11,(%rsi)
vmovupd %ymm12,(%rdi)
vmovupd %ymm13,(%r8)
vmovupd %ymm14,(%r9)
vmovupd %ymm15,(%r10)
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
jmp    14d8 <helper_double_15_recursive+0x3c8>
jmp    16a4 <helper_double_15_recursive+0x594>
mov    -0x18(%rbp),%eax
add    $0x100,%eax
mov    %eax,-0x18(%rbp)
jmp    14c4 <helper_double_15_recursive+0x3b4>
movl   $0x0,-0x20(%rbp)
cmpl   $0x1000,-0x20(%rbp)
jge    18ae <helper_double_15_recursive+0x79e>
movl   $0x0,-0x24(%rbp)
cmpl   $0x100,-0x24(%rbp)
jge    1899 <helper_double_15_recursive+0x789>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
movslq -0x24(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
add    $0x800,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x20(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
movslq -0x24(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
add    $0x1000,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x20(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
movslq -0x24(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
add    $0x1800,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x20(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
movslq -0x24(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
add    $0x2000,%rdi
mov    -0x8(%rbp),%r8
movslq -0x20(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
movslq -0x24(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
add    $0x2800,%r8
mov    -0x8(%rbp),%r9
movslq -0x20(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
movslq -0x24(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
add    $0x3000,%r9
mov    -0x8(%rbp),%r10
movslq -0x20(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
movslq -0x24(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
add    $0x3800,%r10
vmovupd (%rax),%ymm0
vmovupd (%rcx),%ymm1
vmovupd (%rdx),%ymm2
vmovupd (%rsi),%ymm3
vmovupd (%rdi),%ymm4
vmovupd (%r8),%ymm5
vmovupd (%r9),%ymm6
vmovupd (%r10),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rax)
vmovupd %ymm9,(%rcx)
vmovupd %ymm10,(%rdx)
vmovupd %ymm11,(%rsi)
vmovupd %ymm12,(%rdi)
vmovupd %ymm13,(%r8)
vmovupd %ymm14,(%r9)
vmovupd %ymm15,(%r10)
mov    -0x24(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x24(%rbp)
jmp    16cf <helper_double_15_recursive+0x5bf>
jmp    189e <helper_double_15_recursive+0x78e>
mov    -0x20(%rbp),%eax
add    $0x800,%eax
mov    %eax,-0x20(%rbp)
jmp    16bb <helper_double_15_recursive+0x5ab>
movl   $0x0,-0x28(%rbp)
cmpl   $0x1000,-0x28(%rbp)
jge    194c <helper_double_15_recursive+0x83c>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x800,-0x2c(%rbp)
jge    1937 <helper_double_15_recursive+0x827>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x28(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
movslq -0x2c(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
add    $0x4000,%rcx
vmovupd (%rax),%ymm0
vmovupd (%rcx),%ymm1
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vmovupd %ymm8,(%rax)
vmovupd %ymm9,(%rcx)
mov    -0x2c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x2c(%rbp)
jmp    18c9 <helper_double_15_recursive+0x7b9>
jmp    193c <helper_double_15_recursive+0x82c>
mov    -0x28(%rbp),%eax
add    $0x1000,%eax
mov    %eax,-0x28(%rbp)
jmp    18b5 <helper_double_15_recursive+0x7a5>
jmp    1bfb <helper_double_15_recursive+0xaeb>
cmpl   $0xf,-0xc(%rbp)
jne    1bfb <helper_double_15_recursive+0xaeb>
mov    -0x8(%rbp),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x8000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x10000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x18000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x20000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x28000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x30000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    -0x8(%rbp),%rdi
add    $0x38000,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
movl   $0x0,-0x30(%rbp)
cmpl   $0x8000,-0x30(%rbp)
jge    1bf6 <helper_double_15_recursive+0xae6>
movl   $0x0,-0x34(%rbp)
cmpl   $0x1000,-0x34(%rbp)
jge    1be1 <helper_double_15_recursive+0xad1>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%rcx
movslq -0x30(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
movslq -0x34(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
add    $0x8000,%rcx
mov    -0x8(%rbp),%rdx
movslq -0x30(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
movslq -0x34(%rbp),%rsi
shl    $0x3,%rsi
add    %rsi,%rdx
add    $0x10000,%rdx
mov    -0x8(%rbp),%rsi
movslq -0x30(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
movslq -0x34(%rbp),%rdi
shl    $0x3,%rdi
add    %rdi,%rsi
add    $0x18000,%rsi
mov    -0x8(%rbp),%rdi
movslq -0x30(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
movslq -0x34(%rbp),%r8
shl    $0x3,%r8
add    %r8,%rdi
add    $0x20000,%rdi
mov    -0x8(%rbp),%r8
movslq -0x30(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
movslq -0x34(%rbp),%r9
shl    $0x3,%r9
add    %r9,%r8
add    $0x28000,%r8
mov    -0x8(%rbp),%r9
movslq -0x30(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
movslq -0x34(%rbp),%r10
shl    $0x3,%r10
add    %r10,%r9
add    $0x30000,%r9
mov    -0x8(%rbp),%r10
movslq -0x30(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
movslq -0x34(%rbp),%r11
shl    $0x3,%r11
add    %r11,%r10
add    $0x38000,%r10
vmovupd (%rax),%ymm0
vmovupd (%rcx),%ymm1
vmovupd (%rdx),%ymm2
vmovupd (%rsi),%ymm3
vmovupd (%rdi),%ymm4
vmovupd (%r8),%ymm5
vmovupd (%r9),%ymm6
vmovupd (%r10),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rax)
vmovupd %ymm9,(%rcx)
vmovupd %ymm10,(%rdx)
vmovupd %ymm11,(%rsi)
vmovupd %ymm12,(%rdi)
vmovupd %ymm13,(%r8)
vmovupd %ymm14,(%r9)
vmovupd %ymm15,(%r10)
mov    -0x34(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x34(%rbp)
jmp    1a17 <helper_double_15_recursive+0x907>
jmp    1be6 <helper_double_15_recursive+0xad6>
mov    -0x30(%rbp),%eax
add    $0x8000,%eax
mov    %eax,-0x30(%rbp)
jmp    1a03 <helper_double_15_recursive+0x8f3>
jmp    1bfb <helper_double_15_recursive+0xaeb>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<helper_double_15_recursive>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rbx
cmp    $0xf,%esi
je     1d94 <helper_double_15_recursive+0xc84>
cmp    $0xc,%esi
jne    1f23 <helper_double_15_recursive+0xe13>
mov    $0xffffffffffffffe0,%rax
mov    %rbx,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0x20(%rcx),%r8
lea    0x40(%rcx),%r9
lea    0x60(%rcx),%r10
lea    0x80(%rcx),%r11
lea    0xa0(%rcx),%rsi
lea    0xc0(%rcx),%rdi
lea    0xe0(%rcx),%rdx
vmovupd (%rcx),%ymm0
vmovupd (%r8),%ymm1
vmovupd (%r9),%ymm2
vmovupd (%r10),%ymm3
vmovupd (%r11),%ymm4
vmovupd (%rsi),%ymm5
vmovupd (%rdi),%ymm6
vmovupd (%rdx),%ymm7
vpermilpd $0x0,%ymm0,%ymm8
vpermilpd $0xf,%ymm0,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm0
vpermilpd $0x0,%ymm1,%ymm8
vpermilpd $0xf,%ymm1,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm1
vpermilpd $0x0,%ymm2,%ymm8
vpermilpd $0xf,%ymm2,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm2
vpermilpd $0x0,%ymm3,%ymm8
vpermilpd $0xf,%ymm3,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm3
vpermilpd $0x0,%ymm4,%ymm8
vpermilpd $0xf,%ymm4,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm4
vpermilpd $0x0,%ymm5,%ymm8
vpermilpd $0xf,%ymm5,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm5
vpermilpd $0x0,%ymm6,%ymm8
vpermilpd $0xf,%ymm6,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm6
vpermilpd $0x0,%ymm7,%ymm8
vpermilpd $0xf,%ymm7,%ymm9
vxorpd %ymm10,%ymm10,%ymm10
vsubpd %ymm9,%ymm10,%ymm11
vaddsubpd %ymm11,%ymm8,%ymm7
vperm2f128 $0x0,%ymm0,%ymm0,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm0,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm0,%ymm11
vaddpd %ymm11,%ymm8,%ymm0
vperm2f128 $0x0,%ymm1,%ymm1,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm1,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm1,%ymm11
vaddpd %ymm11,%ymm8,%ymm1
vperm2f128 $0x0,%ymm2,%ymm2,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm2,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm2,%ymm11
vaddpd %ymm11,%ymm8,%ymm2
vperm2f128 $0x0,%ymm3,%ymm3,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm3,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm3,%ymm11
vaddpd %ymm11,%ymm8,%ymm3
vperm2f128 $0x0,%ymm4,%ymm4,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm4,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm4,%ymm11
vaddpd %ymm11,%ymm8,%ymm4
vperm2f128 $0x0,%ymm5,%ymm5,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm5,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm5,%ymm11
vaddpd %ymm11,%ymm8,%ymm5
vperm2f128 $0x0,%ymm6,%ymm6,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm6,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm6,%ymm11
vaddpd %ymm11,%ymm8,%ymm6
vperm2f128 $0x0,%ymm7,%ymm7,%ymm8
vxorpd %ymm9,%ymm9,%ymm9
vsubpd %ymm7,%ymm9,%ymm10
vperm2f128 $0x31,%ymm10,%ymm7,%ymm11
vaddpd %ymm11,%ymm8,%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rcx)
vmovupd %ymm9,(%r8)
vmovupd %ymm10,(%r9)
vmovupd %ymm11,(%r10)
vmovupd %ymm12,(%r11)
vmovupd %ymm13,(%rsi)
vmovupd %ymm14,(%rdi)
vmovupd %ymm15,(%rdx)
add    $0x20,%rax
add    $0x100,%rcx
cmp    $0xfe0,%rax
jb     1140 <helper_double_15_recursive+0x30>
mov    $0xffffffffffffff00,%r10
mov    %rbx,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
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),%rdi
vmovupd (%rcx),%ymm0
vmovupd (%r8),%ymm1
vmovupd (%r9),%ymm2
vmovupd (%r11),%ymm3
vmovupd (%rdx),%ymm4
vmovupd (%rsi),%ymm5
vmovupd (%rax),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rcx)
vmovupd %ymm9,(%r8)
vmovupd %ymm10,(%r9)
vmovupd %ymm11,(%r11)
vmovupd %ymm12,(%rdx)
vmovupd %ymm13,(%rsi)
vmovupd %ymm14,(%rax)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
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),%rdi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r11),%ymm2
vmovupd (%r14),%ymm3
vmovupd (%rax),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rdi),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r11)
vmovupd %ymm11,(%r14)
vmovupd %ymm12,(%rax)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rdi)
add    $0x100,%r10
add    $0x800,%rcx
cmp    $0xf00,%r10
jb     13f0 <helper_double_15_recursive+0x2e0>
lea    0x3800(%rbx),%rax
mov    $0xfffffffffffffffc,%rcx
nopw   0x0(%rax,%rax,1)
lea    -0x3800(%rax),%r8
lea    -0x3000(%rax),%r9
lea    -0x2800(%rax),%r10
lea    -0x2000(%rax),%r11
lea    -0x1800(%rax),%rsi
lea    -0x1000(%rax),%rdi
lea    -0x800(%rax),%rdx
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r10),%ymm2
vmovupd (%r11),%ymm3
vmovupd (%rsi),%ymm4
vmovupd (%rdi),%ymm5
vmovupd (%rdx),%ymm6
vmovupd (%rax),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r10)
vmovupd %ymm11,(%r11)
vmovupd %ymm12,(%rsi)
vmovupd %ymm13,(%rdi)
vmovupd %ymm14,(%rdx)
vmovupd %ymm15,(%rax)
add    $0x4,%rcx
add    $0x20,%rax
cmp    $0xfc,%rcx
jb     1b50 <helper_double_15_recursive+0xa40>
lea    0x4000(%rbx),%rax
mov    $0xfffffffffffffffc,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x800(%rax),%r8
lea    0x1000(%rax),%r9
lea    0x1800(%rax),%r10
lea    0x2000(%rax),%r11
lea    0x2800(%rax),%rsi
lea    0x3000(%rax),%rdi
lea    0x3800(%rax),%rdx
vmovupd (%rax),%ymm0
vmovupd (%r8),%ymm1
vmovupd (%r9),%ymm2
vmovupd (%r10),%ymm3
vmovupd (%r11),%ymm4
vmovupd (%rsi),%ymm5
vmovupd (%rdi),%ymm6
vmovupd (%rdx),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%rax)
vmovupd %ymm9,(%r8)
vmovupd %ymm10,(%r9)
vmovupd %ymm11,(%r10)
vmovupd %ymm12,(%r11)
vmovupd %ymm13,(%rsi)
vmovupd %ymm14,(%rdi)
vmovupd %ymm15,(%rdx)
add    $0x4,%rcx
add    $0x20,%rax
cmp    $0xfc,%rcx
jb     1c60 <helper_double_15_recursive+0xb50>
mov    $0xfffffffffffffffc,%rax
nopl   (%rax)
lea    0x4000(%rbx),%rcx
vmovupd (%rbx),%ymm0
vmovupd (%rcx),%ymm1
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vmovupd %ymm8,(%rbx)
vmovupd %ymm9,(%rcx)
add    $0x4,%rax
add    $0x20,%rbx
cmp    $0x7fc,%rax
jb     1d60 <helper_double_15_recursive+0xc50>
jmp    1f23 <helper_double_15_recursive+0xe13>
mov    %rbx,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
lea    0x8000(%rbx),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
lea    0x10000(%rbx),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
lea    0x18000(%rbx),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
lea    0x20000(%rbx),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
lea    0x28000(%rbx),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
lea    0x30000(%rbx),%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
add    $0x38000,%rbx
mov    %rbx,%rdi
mov    $0xc,%esi
call   1030 <helper_double_15_recursive@plt>
mov    $0xfffffffffffffffc,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x38000(%rbx),%r8
lea    -0x30000(%rbx),%r9
lea    -0x28000(%rbx),%r10
lea    -0x20000(%rbx),%rdi
lea    -0x18000(%rbx),%rcx
lea    -0x10000(%rbx),%rdx
lea    -0x8000(%rbx),%rsi
vmovupd (%r8),%ymm0
vmovupd (%r9),%ymm1
vmovupd (%r10),%ymm2
vmovupd (%rdi),%ymm3
vmovupd (%rcx),%ymm4
vmovupd (%rdx),%ymm5
vmovupd (%rsi),%ymm6
vmovupd (%rbx),%ymm7
vaddpd %ymm1,%ymm0,%ymm8
vsubpd %ymm1,%ymm0,%ymm9
vaddpd %ymm3,%ymm2,%ymm10
vsubpd %ymm3,%ymm2,%ymm11
vaddpd %ymm5,%ymm4,%ymm12
vsubpd %ymm5,%ymm4,%ymm13
vaddpd %ymm7,%ymm6,%ymm14
vsubpd %ymm7,%ymm6,%ymm15
vaddpd %ymm10,%ymm8,%ymm0
vsubpd %ymm10,%ymm8,%ymm2
vaddpd %ymm11,%ymm9,%ymm1
vsubpd %ymm11,%ymm9,%ymm3
vaddpd %ymm14,%ymm12,%ymm4
vsubpd %ymm14,%ymm12,%ymm6
vaddpd %ymm15,%ymm13,%ymm5
vsubpd %ymm15,%ymm13,%ymm7
vaddpd %ymm4,%ymm0,%ymm8
vsubpd %ymm4,%ymm0,%ymm12
vaddpd %ymm5,%ymm1,%ymm9
vsubpd %ymm5,%ymm1,%ymm13
vaddpd %ymm6,%ymm2,%ymm10
vsubpd %ymm6,%ymm2,%ymm14
vaddpd %ymm7,%ymm3,%ymm11
vsubpd %ymm7,%ymm3,%ymm15
vmovupd %ymm8,(%r8)
vmovupd %ymm9,(%r9)
vmovupd %ymm10,(%r10)
vmovupd %ymm11,(%rdi)
vmovupd %ymm12,(%rcx)
vmovupd %ymm13,(%rdx)
vmovupd %ymm14,(%rsi)
vmovupd %ymm15,(%rbx)
add    $0x4,%rax
add    $0x20,%rbx
cmp    $0xffc,%rax
jb     1e30 <helper_double_15_recursive+0xd20>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @helper_double_15_recursive(double* %0, i32 %1) {
%3 = alloca double*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store double* %0, double** %3
store i32 %1, i32* %4
%15 = load i32, i32* %4
%16 = icmp eq i32 %15, 12
br i1 %16, label %17, label %290
17: ; preds = %2
store i32 0, i32* %5
br label %18
18: ; preds = %94, %17
%19 = load i32, i32* %5
%20 = icmp slt i32 %19, 4096
br i1 %20, label %21, label %97
21: ; preds = %18
store i32 0, i32* %6
br label %22
22: ; preds = %90, %21
%23 = load i32, i32* %6
%24 = icmp slt i32 %23, 4
br i1 %24, label %25, label %93
25: ; preds = %22
%26 = load double*, double** %3
%27 = load i32, i32* %5
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double, double* %26, i64 %28
%30 = load i32, i32* %6
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds double, double* %29, i64 %31
%33 = getelementptr inbounds double, double* %32, i64 0
%34 = load double*, double** %3
%35 = load i32, i32* %5
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds double, double* %34, i64 %36
%38 = load i32, i32* %6
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds double, double* %37, i64 %39
%41 = getelementptr inbounds double, double* %40, i64 4
%42 = load double*, double** %3
%43 = load i32, i32* %5
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds double, double* %42, i64 %44
%46 = load i32, i32* %6
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds double, double* %45, i64 %47
%49 = getelementptr inbounds double, double* %48, i64 8
%50 = load double*, double** %3
%51 = load i32, i32* %5
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds double, double* %50, i64 %52
%54 = load i32, i32* %6
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds double, double* %53, i64 %55
%57 = getelementptr inbounds double, double* %56, i64 12
%58 = load double*, double** %3
%59 = load i32, i32* %5
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds double, double* %58, i64 %60
%62 = load i32, i32* %6
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds double, double* %61, i64 %63
%65 = getelementptr inbounds double, double* %64, i64 16
%66 = load double*, double** %3
%67 = load i32, i32* %5
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %66, i64 %68
%70 = load i32, i32* %6
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds double, double* %69, i64 %71
%73 = getelementptr inbounds double, double* %72, i64 20
%74 = load double*, double** %3
%75 = load i32, i32* %5
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds double, double* %74, i64 %76
%78 = load i32, i32* %6
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %77, i64 %79
%81 = getelementptr inbounds double, double* %80, i64 24
%82 = load double*, double** %3
%83 = load i32, i32* %5
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds double, double* %82, i64 %84
%86 = load i32, i32* %6
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds double, double* %85, i64 %87
%89 = getelementptr inbounds double, double* %88, i64 28
br label %90
90: ; preds = %25
%91 = load i32, i32* %6
%92 = add nsw i32 %91, 4
store i32 %92, i32* %6
br label %22
93: ; preds = %22
br label %94
94: ; preds = %93
%95 = load i32, i32* %5
%96 = add nsw i32 %95, 32
store i32 %96, i32* %5
br label %18
97: ; preds = %18
store i32 0, i32* %7
br label %98
98: ; preds = %174, %97
%99 = load i32, i32* %7
%100 = icmp slt i32 %99, 4096
br i1 %100, label %101, label %177
101: ; preds = %98
store i32 0, i32* %8
br label %102
102: ; preds = %170, %101
%103 = load i32, i32* %8
%104 = icmp slt i32 %103, 32
br i1 %104, label %105, label %173
105: ; preds = %102
%106 = load double*, double** %3
%107 = load i32, i32* %7
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds double, double* %106, i64 %108
%110 = load i32, i32* %8
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds double, double* %109, i64 %111
%113 = getelementptr inbounds double, double* %112, i64 0
%114 = load double*, double** %3
%115 = load i32, i32* %7
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %114, i64 %116
%118 = load i32, i32* %8
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds double, double* %117, i64 %119
%121 = getelementptr inbounds double, double* %120, i64 32
%122 = load double*, double** %3
%123 = load i32, i32* %7
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds double, double* %122, i64 %124
%126 = load i32, i32* %8
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds double, double* %125, i64 %127
%129 = getelementptr inbounds double, double* %128, i64 64
%130 = load double*, double** %3
%131 = load i32, i32* %7
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds double, double* %130, i64 %132
%134 = load i32, i32* %8
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds double, double* %133, i64 %135
%137 = getelementptr inbounds double, double* %136, i64 96
%138 = load double*, double** %3
%139 = load i32, i32* %7
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds double, double* %138, i64 %140
%142 = load i32, i32* %8
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds double, double* %141, i64 %143
%145 = getelementptr inbounds double, double* %144, i64 128
%146 = load double*, double** %3
%147 = load i32, i32* %7
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds double, double* %146, i64 %148
%150 = load i32, i32* %8
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds double, double* %149, i64 %151
%153 = getelementptr inbounds double, double* %152, i64 160
%154 = load double*, double** %3
%155 = load i32, i32* %7
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds double, double* %154, i64 %156
%158 = load i32, i32* %8
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds double, double* %157, i64 %159
%161 = getelementptr inbounds double, double* %160, i64 192
%162 = load double*, double** %3
%163 = load i32, i32* %7
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds double, double* %162, i64 %164
%166 = load i32, i32* %8
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds double, double* %165, i64 %167
%169 = getelementptr inbounds double, double* %168, i64 224
br label %170
170: ; preds = %105
%171 = load i32, i32* %8
%172 = add nsw i32 %171, 4
store i32 %172, i32* %8
br label %102
173: ; preds = %102
br label %174
174: ; preds = %173
%175 = load i32, i32* %7
%176 = add nsw i32 %175, 256
store i32 %176, i32* %7
br label %98
177: ; preds = %98
store i32 0, i32* %9
br label %178
178: ; preds = %254, %177
%179 = load i32, i32* %9
%180 = icmp slt i32 %179, 4096
br i1 %180, label %181, label %257
181: ; preds = %178
store i32 0, i32* %10
br label %182
182: ; preds = %250, %181
%183 = load i32, i32* %10
%184 = icmp slt i32 %183, 256
br i1 %184, label %185, label %253
185: ; preds = %182
%186 = load double*, double** %3
%187 = load i32, i32* %9
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds double, double* %186, i64 %188
%190 = load i32, i32* %10
%191 = sext i32 %190 to i64
%192 = getelementptr inbounds double, double* %189, i64 %191
%193 = getelementptr inbounds double, double* %192, i64 0
%194 = load double*, double** %3
%195 = load i32, i32* %9
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds double, double* %194, i64 %196
%198 = load i32, i32* %10
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds double, double* %197, i64 %199
%201 = getelementptr inbounds double, double* %200, i64 256
%202 = load double*, double** %3
%203 = load i32, i32* %9
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds double, double* %202, i64 %204
%206 = load i32, i32* %10
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds double, double* %205, i64 %207
%209 = getelementptr inbounds double, double* %208, i64 512
%210 = load double*, double** %3
%211 = load i32, i32* %9
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds double, double* %210, i64 %212
%214 = load i32, i32* %10
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds double, double* %213, i64 %215
%217 = getelementptr inbounds double, double* %216, i64 768
%218 = load double*, double** %3
%219 = load i32, i32* %9
%220 = sext i32 %219 to i64
%221 = getelementptr inbounds double, double* %218, i64 %220
%222 = load i32, i32* %10
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds double, double* %221, i64 %223
%225 = getelementptr inbounds double, double* %224, i64 1024
%226 = load double*, double** %3
%227 = load i32, i32* %9
%228 = sext i32 %227 to i64
%229 = getelementptr inbounds double, double* %226, i64 %228
%230 = load i32, i32* %10
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds double, double* %229, i64 %231
%233 = getelementptr inbounds double, double* %232, i64 1280
%234 = load double*, double** %3
%235 = load i32, i32* %9
%236 = sext i32 %235 to i64
%237 = getelementptr inbounds double, double* %234, i64 %236
%238 = load i32, i32* %10
%239 = sext i32 %238 to i64
%240 = getelementptr inbounds double, double* %237, i64 %239
%241 = getelementptr inbounds double, double* %240, i64 1536
%242 = load double*, double** %3
%243 = load i32, i32* %9
%244 = sext i32 %243 to i64
%245 = getelementptr inbounds double, double* %242, i64 %244
%246 = load i32, i32* %10
%247 = sext i32 %246 to i64
%248 = getelementptr inbounds double, double* %245, i64 %247
%249 = getelementptr inbounds double, double* %248, i64 1792
br label %250
250: ; preds = %185
%251 = load i32, i32* %10
%252 = add nsw i32 %251, 4
store i32 %252, i32* %10
br label %182
253: ; preds = %182
br label %254
254: ; preds = %253
%255 = load i32, i32* %9
%256 = add nsw i32 %255, 2048
store i32 %256, i32* %9
br label %178
257: ; preds = %178
store i32 0, i32* %11
br label %258
258: ; preds = %286, %257
%259 = load i32, i32* %11
%260 = icmp slt i32 %259, 4096
br i1 %260, label %261, label %289
261: ; preds = %258
store i32 0, i32* %12
br label %262
262: ; preds = %282, %261
%263 = load i32, i32* %12
%264 = icmp slt i32 %263, 2048
br i1 %264, label %265, label %285
265: ; preds = %262
%266 = load double*, double** %3
%267 = load i32, i32* %11
%268 = sext i32 %267 to i64
%269 = getelementptr inbounds double, double* %266, i64 %268
%270 = load i32, i32* %12
%271 = sext i32 %270 to i64
%272 = getelementptr inbounds double, double* %269, i64 %271
%273 = getelementptr inbounds double, double* %272, i64 0
%274 = load double*, double** %3
%275 = load i32, i32* %11
%276 = sext i32 %275 to i64
%277 = getelementptr inbounds double, double* %274, i64 %276
%278 = load i32, i32* %12
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds double, double* %277, i64 %279
%281 = getelementptr inbounds double, double* %280, i64 2048
br label %282
282: ; preds = %265
%283 = load i32, i32* %12
%284 = add nsw i32 %283, 4
store i32 %284, i32* %12
br label %262
285: ; preds = %262
br label %286
286: ; preds = %285
%287 = load i32, i32* %11
%288 = add nsw i32 %287, 4096
store i32 %288, i32* %11
br label %258
289: ; preds = %258
br label %390
290: ; preds = %2
%291 = load i32, i32* %4
%292 = icmp eq i32 %291, 15
br i1 %292, label %293, label %390
293: ; preds = %290
%294 = load double*, double** %3
%295 = getelementptr inbounds double, double* %294, i64 0
%296 = load double*, double** %3
%297 = getelementptr inbounds double, double* %296, i64 4096
%298 = load double*, double** %3
%299 = getelementptr inbounds double, double* %298, i64 8192
%300 = load double*, double** %3
%301 = getelementptr inbounds double, double* %300, i64 12288
%302 = load double*, double** %3
%303 = getelementptr inbounds double, double* %302, i64 16384
%304 = load double*, double** %3
%305 = getelementptr inbounds double, double* %304, i64 20480
%306 = load double*, double** %3
%307 = getelementptr inbounds double, double* %306, i64 24576
%308 = load double*, double** %3
%309 = getelementptr inbounds double, double* %308, i64 28672
store i32 0, i32* %13
br label %310
310: ; preds = %386, %293
%311 = load i32, i32* %13
%312 = icmp slt i32 %311, 32768
br i1 %312, label %313, label %389
313: ; preds = %310
store i32 0, i32* %14
br label %314
314: ; preds = %382, %313
%315 = load i32, i32* %14
%316 = icmp slt i32 %315, 4096
br i1 %316, label %317, label %385
317: ; preds = %314
%318 = load double*, double** %3
%319 = load i32, i32* %13
%320 = sext i32 %319 to i64
%321 = getelementptr inbounds double, double* %318, i64 %320
%322 = load i32, i32* %14
%323 = sext i32 %322 to i64
%324 = getelementptr inbounds double, double* %321, i64 %323
%325 = getelementptr inbounds double, double* %324, i64 0
%326 = load double*, double** %3
%327 = load i32, i32* %13
%328 = sext i32 %327 to i64
%329 = getelementptr inbounds double, double* %326, i64 %328
%330 = load i32, i32* %14
%331 = sext i32 %330 to i64
%332 = getelementptr inbounds double, double* %329, i64 %331
%333 = getelementptr inbounds double, double* %332, i64 4096
%334 = load double*, double** %3
%335 = load i32, i32* %13
%336 = sext i32 %335 to i64
%337 = getelementptr inbounds double, double* %334, i64 %336
%338 = load i32, i32* %14
%339 = sext i32 %338 to i64
%340 = getelementptr inbounds double, double* %337, i64 %339
%341 = getelementptr inbounds double, double* %340, i64 8192
%342 = load double*, double** %3
%343 = load i32, i32* %13
%344 = sext i32 %343 to i64
%345 = getelementptr inbounds double, double* %342, i64 %344
%346 = load i32, i32* %14
%347 = sext i32 %346 to i64
%348 = getelementptr inbounds double, double* %345, i64 %347
%349 = getelementptr inbounds double, double* %348, i64 12288
%350 = load double*, double** %3
%351 = load i32, i32* %13
%352 = sext i32 %351 to i64
%353 = getelementptr inbounds double, double* %350, i64 %352
%354 = load i32, i32* %14
%355 = sext i32 %354 to i64
%356 = getelementptr inbounds double, double* %353, i64 %355
%357 = getelementptr inbounds double, double* %356, i64 16384
%358 = load double*, double** %3
%359 = load i32, i32* %13
%360 = sext i32 %359 to i64
%361 = getelementptr inbounds double, double* %358, i64 %360
%362 = load i32, i32* %14
%363 = sext i32 %362 to i64
%364 = getelementptr inbounds double, double* %361, i64 %363
%365 = getelementptr inbounds double, double* %364, i64 20480
%366 = load double*, double** %3
%367 = load i32, i32* %13
%368 = sext i32 %367 to i64
%369 = getelementptr inbounds double, double* %366, i64 %368
%370 = load i32, i32* %14
%371 = sext i32 %370 to i64
%372 = getelementptr inbounds double, double* %369, i64 %371
%373 = getelementptr inbounds double, double* %372, i64 24576
%374 = load double*, double** %3
%375 = load i32, i32* %13
%376 = sext i32 %375 to i64
%377 = getelementptr inbounds double, double* %374, i64 %376
%378 = load i32, i32* %14
%379 = sext i32 %378 to i64
%380 = getelementptr inbounds double, double* %377, i64 %379
%381 = getelementptr inbounds double, double* %380, i64 28672
br label %382
382: ; preds = %317
%383 = load i32, i32* %14
%384 = add nsw i32 %383, 4
store i32 %384, i32* %14
br label %314
385: ; preds = %314
br label %386
386: ; preds = %385
%387 = load i32, i32* %13
%388 = add nsw i32 %387, 32768
store i32 %388, i32* %13
br label %310
389: ; preds = %310
br label %390
390: ; preds = %289, %389, %290
ret void
}

LLVM IR (-O2):
define void @helper_double_15_recursive(double* %0, i32 %1) {
switch i32 %1, label %135 [
i32 12, label %3
i32 15, label %115
]
3: ; preds = %2, %3
%4 = phi i64 [ %13, %3 ], [ 0, %2 ]
%5 = getelementptr inbounds double, double* %0, i64 %4
%6 = getelementptr inbounds double, double* %5, i64 4
%7 = getelementptr inbounds double, double* %5, i64 8
%8 = getelementptr inbounds double, double* %5, i64 12
%9 = getelementptr inbounds double, double* %5, i64 16
%10 = getelementptr inbounds double, double* %5, i64 20
%11 = getelementptr inbounds double, double* %5, i64 24
%12 = getelementptr inbounds double, double* %5, i64 28
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avpermilpd $$0, %ymm0, %ymm8\0Avpermilpd $$15, %ymm0, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm0\0Avpermilpd $$0, %ymm1, %ymm8\0Avpermilpd $$15, %ymm1, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm1\0Avpermilpd $$0, %ymm2, %ymm8\0Avpermilpd $$15, %ymm2, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm2\0Avpermilpd $$0, %ymm3, %ymm8\0Avpermilpd $$15, %ymm3, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm3\0Avpermilpd $$0, %ymm4, %ymm8\0Avpermilpd $$15, %ymm4, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm4\0Avpermilpd $$0, %ymm5, %ymm8\0Avpermilpd $$15, %ymm5, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm5\0Avpermilpd $$0, %ymm6, %ymm8\0Avpermilpd $$15, %ymm6, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm6\0Avpermilpd $$0, %ymm7, %ymm8\0Avpermilpd $$15, %ymm7, %ymm9\0Avxorpd %ymm10, %ymm10, %ymm10\0Avsubpd %ymm9, %ymm10, %ymm11\0Avaddsubpd %ymm11, %ymm8, %ymm7\0Avperm2f128 $$0, %ymm0, %ymm0, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm0, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm0, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm0\0Avperm2f128 $$0, %ymm1, %ymm1, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm1, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm1, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm1\0Avperm2f128 $$0, %ymm2, %ymm2, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm2, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm2, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm2\0Avperm2f128 $$0, %ymm3, %ymm3, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm3, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm3, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm3\0Avperm2f128 $$0, %ymm4, %ymm4, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm4, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm4, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm4\0Avperm2f128 $$0, %ymm5, %ymm5, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm5, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm5, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm5\0Avperm2f128 $$0, %ymm6, %ymm6, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm6, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm6, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm6\0Avperm2f128 $$0, %ymm7, %ymm7, %ymm8\0Avxorpd %ymm9, %ymm9, %ymm9\0Avsubpd %ymm7, %ymm9, %ymm10\0Avperm2f128 $$49, %ymm10, %ymm7, %ymm11\0Avaddpd %ymm11, %ymm8, %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %5, double* %6, double* %7, double* %8, double* %9, double* %10, double* %11, double* %12)
%13 = add nuw nsw i64 %4, 32
%14 = icmp ult i64 %4, 4064
br i1 %14, label %3, label %15
15: ; preds = %3, %15
%16 = phi i64 [ %81, %15 ], [ 0, %3 ]
%17 = getelementptr inbounds double, double* %0, i64 %16
%18 = getelementptr inbounds double, double* %17, i64 32
%19 = getelementptr inbounds double, double* %17, i64 64
%20 = getelementptr inbounds double, double* %17, i64 96
%21 = getelementptr inbounds double, double* %17, i64 128
%22 = getelementptr inbounds double, double* %17, i64 160
%23 = getelementptr inbounds double, double* %17, i64 192
%24 = getelementptr inbounds double, double* %17, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %17, double* %18, double* %19, double* %20, double* %21, double* %22, double* %23, double* %24)
%25 = getelementptr inbounds double, double* %17, i64 4
%26 = getelementptr inbounds double, double* %25, i64 32
%27 = getelementptr inbounds double, double* %25, i64 64
%28 = getelementptr inbounds double, double* %25, i64 96
%29 = getelementptr inbounds double, double* %25, i64 128
%30 = getelementptr inbounds double, double* %25, i64 160
%31 = getelementptr inbounds double, double* %25, i64 192
%32 = getelementptr inbounds double, double* %25, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %25, double* %26, double* %27, double* %28, double* %29, double* %30, double* %31, double* %32)
%33 = getelementptr inbounds double, double* %17, i64 8
%34 = getelementptr inbounds double, double* %33, i64 32
%35 = getelementptr inbounds double, double* %33, i64 64
%36 = getelementptr inbounds double, double* %33, i64 96
%37 = getelementptr inbounds double, double* %33, i64 128
%38 = getelementptr inbounds double, double* %33, i64 160
%39 = getelementptr inbounds double, double* %33, i64 192
%40 = getelementptr inbounds double, double* %33, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %33, double* %34, double* %35, double* %36, double* %37, double* %38, double* %39, double* %40)
%41 = getelementptr inbounds double, double* %17, i64 12
%42 = getelementptr inbounds double, double* %41, i64 32
%43 = getelementptr inbounds double, double* %41, i64 64
%44 = getelementptr inbounds double, double* %41, i64 96
%45 = getelementptr inbounds double, double* %41, i64 128
%46 = getelementptr inbounds double, double* %41, i64 160
%47 = getelementptr inbounds double, double* %41, i64 192
%48 = getelementptr inbounds double, double* %41, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %41, double* %42, double* %43, double* %44, double* %45, double* %46, double* %47, double* %48)
%49 = getelementptr inbounds double, double* %17, i64 16
%50 = getelementptr inbounds double, double* %49, i64 32
%51 = getelementptr inbounds double, double* %49, i64 64
%52 = getelementptr inbounds double, double* %49, i64 96
%53 = getelementptr inbounds double, double* %49, i64 128
%54 = getelementptr inbounds double, double* %49, i64 160
%55 = getelementptr inbounds double, double* %49, i64 192
%56 = getelementptr inbounds double, double* %49, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %49, double* %50, double* %51, double* %52, double* %53, double* %54, double* %55, double* %56)
%57 = getelementptr inbounds double, double* %17, i64 20
%58 = getelementptr inbounds double, double* %57, i64 32
%59 = getelementptr inbounds double, double* %57, i64 64
%60 = getelementptr inbounds double, double* %57, i64 96
%61 = getelementptr inbounds double, double* %57, i64 128
%62 = getelementptr inbounds double, double* %57, i64 160
%63 = getelementptr inbounds double, double* %57, i64 192
%64 = getelementptr inbounds double, double* %57, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %57, double* %58, double* %59, double* %60, double* %61, double* %62, double* %63, double* %64)
%65 = getelementptr inbounds double, double* %17, i64 24
%66 = getelementptr inbounds double, double* %65, i64 32
%67 = getelementptr inbounds double, double* %65, i64 64
%68 = getelementptr inbounds double, double* %65, i64 96
%69 = getelementptr inbounds double, double* %65, i64 128
%70 = getelementptr inbounds double, double* %65, i64 160
%71 = getelementptr inbounds double, double* %65, i64 192
%72 = getelementptr inbounds double, double* %65, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %65, double* %66, double* %67, double* %68, double* %69, double* %70, double* %71, double* %72)
%73 = getelementptr inbounds double, double* %17, i64 28
%74 = getelementptr inbounds double, double* %73, i64 32
%75 = getelementptr inbounds double, double* %73, i64 64
%76 = getelementptr inbounds double, double* %73, i64 96
%77 = getelementptr inbounds double, double* %73, i64 128
%78 = getelementptr inbounds double, double* %73, i64 160
%79 = getelementptr inbounds double, double* %73, i64 192
%80 = getelementptr inbounds double, double* %73, i64 224
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %73, double* %74, double* %75, double* %76, double* %77, double* %78, double* %79, double* %80)
%81 = add nuw nsw i64 %16, 256
%82 = icmp ult i64 %16, 3840
br i1 %82, label %15, label %97
83: ; preds = %97
%84 = getelementptr inbounds double, double* %0, i64 2048
br label %85
85: ; preds = %85, %83
%86 = phi i64 [ 0, %83 ], [ %95, %85 ]
%87 = getelementptr inbounds double, double* %84, i64 %86
%88 = getelementptr inbounds double, double* %87, i64 256
%89 = getelementptr inbounds double, double* %87, i64 512
%90 = getelementptr inbounds double, double* %87, i64 768
%91 = getelementptr inbounds double, double* %87, i64 1024
%92 = getelementptr inbounds double, double* %87, i64 1280
%93 = getelementptr inbounds double, double* %87, i64 1536
%94 = getelementptr inbounds double, double* %87, i64 1792
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %87, double* %88, double* %89, double* %90, double* %91, double* %92, double* %93, double* %94)
%95 = add nuw nsw i64 %86, 4
%96 = icmp ult i64 %86, 252
br i1 %96, label %85, label %109
97: ; preds = %15, %97
%98 = phi i64 [ %107, %97 ], [ 0, %15 ]
%99 = getelementptr inbounds double, double* %0, i64 %98
%100 = getelementptr inbounds double, double* %99, i64 256
%101 = getelementptr inbounds double, double* %99, i64 512
%102 = getelementptr inbounds double, double* %99, i64 768
%103 = getelementptr inbounds double, double* %99, i64 1024
%104 = getelementptr inbounds double, double* %99, i64 1280
%105 = getelementptr inbounds double, double* %99, i64 1536
%106 = getelementptr inbounds double, double* %99, i64 1792
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %99, double* %100, double* %101, double* %102, double* %103, double* %104, double* %105, double* %106)
%107 = add nuw nsw i64 %98, 4
%108 = icmp ult i64 %98, 252
br i1 %108, label %97, label %83
109: ; preds = %85, %109
%110 = phi i64 [ %113, %109 ], [ 0, %85 ]
%111 = getelementptr inbounds double, double* %0, i64 %110
%112 = getelementptr inbounds double, double* %111, i64 2048
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0A", "r,r,~{ymm0},~{ymm1},~{ymm2},~{ymm3},~{ymm4},~{ymm5},~{ymm6},~{ymm7},~{ymm8},~{ymm9},~{ymm10},~{ymm11},~{ymm12},~{ymm13},~{ymm14},~{ymm15},~{memory},~{dirflag},~{fpsr},~{flags}"(double* %111, double* %112)
%113 = add nuw nsw i64 %110, 4
%114 = icmp ult i64 %110, 2044
br i1 %114, label %109, label %135
115: ; preds = %2
tail call void @helper_double_15_recursive(double* %0, i32 12)
%116 = getelementptr inbounds double, double* %0, i64 4096
tail call void @helper_double_15_recursive(double* %116, i32 12)
%117 = getelementptr inbounds double, double* %0, i64 8192
tail call void @helper_double_15_recursive(double* %117, i32 12)
%118 = getelementptr inbounds double, double* %0, i64 12288
tail call void @helper_double_15_recursive(double* %118, i32 12)
%119 = getelementptr inbounds double, double* %0, i64 16384
tail call void @helper_double_15_recursive(double* %119, i32 12)
%120 = getelementptr inbounds double, double* %0, i64 20480
tail call void @helper_double_15_recursive(double* %120, i32 12)
%121 = getelementptr inbounds double, double* %0, i64 24576
tail call void @helper_double_15_recursive(double* %121, i32 12)
%122 = getelementptr inbounds double, double* %0, i64 28672
tail call void @helper_double_15_recursive(double* %122, i32 12)
br label %123
123: ; preds = %115, %123
%124 = phi i64 [ 0, %115 ], [ %133, %123 ]
%125 = getelementptr inbounds double, double* %0, i64 %124
%126 = getelementptr inbounds double, double* %125, i64 4096
%127 = getelementptr inbounds double, double* %125, i64 8192
%128 = getelementptr inbounds double, double* %125, i64 12288
%129 = getelementptr inbounds double, double* %125, i64 16384
%130 = getelementptr inbounds double, double* %125, i64 20480
%131 = getelementptr inbounds double, double* %125, i64 24576
%132 = getelementptr inbounds double, double* %125, i64 28672
tail call void asm sideeffect "vmovupd ($0), %ymm0\0Avmovupd ($1), %ymm1\0Avmovupd ($2), %ymm2\0Avmovupd ($3), %ymm3\0Avmovupd ($4), %ymm4\0Avmovupd ($5), %ymm5\0Avmovupd ($6), %ymm6\0Avmovupd ($7), %ymm7\0Avaddpd %ymm1, %ymm0, %ymm8\0Avsubpd %ymm1, %ymm0, %ymm9\0Avaddpd %ymm3, %ymm2, %ymm10\0Avsubpd %ymm3, %ymm2, %ymm11\0Avaddpd %ymm5, %ymm4, %ymm12\0Avsubpd %ymm5, %ymm4, %ymm13\0Avaddpd %ymm7, %ymm6, %ymm14\0Avsubpd %ymm7, %ymm6, %ymm15\0Avaddpd %ymm10, %ymm8, %ymm0\0Avsubpd %ymm10, %ymm8, %ymm2\0Avaddpd %ymm11, %ymm9, %ymm1\0Avsubpd %ymm11, %ymm9, %ymm3\0Avaddpd %ymm14, %ymm12, %ymm4\0Avsubpd %ymm14, %ymm12, %ymm6\0Avaddpd %ymm15, %ymm13, %ymm5\0Avsubpd %ymm15, %ymm13, %ymm7\0Avaddpd %ymm4, %ymm0, %ymm8\0Avsubpd %ymm4, %ymm0, %ymm12\0Avaddpd %ymm5, %ymm1, %ymm9\0Avsubpd %ymm5, %ymm1, %ymm13\0Avaddpd %ymm6, %ymm2, %ymm10\0Avsubpd %ymm6, %ymm2, %ymm14\0Avaddpd %ymm7, %ymm3, %ymm11\0Avsubpd %ymm7, %ymm3, %ymm15\0Avmovupd %ymm8, ($0)\0Avmovupd %ymm9, ($1)\0Avmovupd %ymm10, ($2)\0Avmovupd %ymm11, ($3)\0Avmovupd %ymm12, ($4)\0Avmovupd %ymm13, ($5)\0Avmovupd %ymm14, ($6)\0Avmovupd %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}"(double* %125, double* %126, double* %127, double* %128, double* %129, double* %130, double* %131, double* %132)
%133 = add nuw nsw i64 %124, 4
%134 = icmp ult i64 %124, 4092
br i1 %134, label %123, label %135
135: ; preds = %123, %109, %2
ret void
}