#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
double sqrt(double);
int func_xy(double *vertex, int k, int k2, int k1, double dx[2], double delta,
            int n) {
  double L, S, Lx, Ly, H, Hx, Hy, f, r;
  n = 8;
  S = (vertex[2 * k2 + 0] * vertex[2 * k1 + 1] -
       vertex[2 * k1 + 0] * vertex[2 * k2 + 1] +
       vertex[2 * k + 0] * (vertex[2 * k2 + 1] - vertex[2 * k1 + 1]) +
       vertex[2 * k + 1] * (vertex[2 * k1 + 0] - vertex[2 * k2 + 0])) /
      2.0;
  H = S + sqrt(S * S + 4.0 * delta * delta);
  L = 2.0 * vertex[2 * k + 0] * vertex[2 * k + 0] +
      2.0 * vertex[2 * k1 + 0] * vertex[2 * k1 + 0] +
      2.0 * vertex[2 * k2 + 0] * vertex[2 * k2 + 0] -
      2.0 * vertex[2 * k + 0] * vertex[2 * k1 + 0] -
      2.0 * vertex[2 * k + 0] * vertex[2 * k2 + 0] -
      2.0 * vertex[2 * k1 + 0] * vertex[2 * k2 + 0] +
      2.0 * vertex[2 * k + 1] * vertex[2 * k + 1] +
      2.0 * vertex[2 * k1 + 1] * vertex[2 * k1 + 1] +
      2.0 * vertex[2 * k2 + 1] * vertex[2 * k2 + 1] -
      2.0 * vertex[2 * k + 1] * vertex[2 * k1 + 1] -
      2.0 * vertex[2 * k + 1] * vertex[2 * k2 + 1] -
      2.0 * vertex[2 * k1 + 1] * vertex[2 * k2 + 1];
  Lx =
      4.0 * vertex[2 * k + 0] - 2.0 * (vertex[2 * k1 + 0] + vertex[2 * k2 + 0]);
  Ly =
      4.0 * vertex[2 * k + 1] - 2.0 * (vertex[2 * k1 + 1] + vertex[2 * k2 + 1]);
  Hx = (vertex[2 * k2 + 1] - vertex[2 * k1 + 1]) / 2.0 +
       (S * (vertex[2 * k2 + 1] - vertex[2 * k1 + 1])) / 2.0 /
           sqrt(S * S + 4.0 * delta * delta);
  Hy = (vertex[2 * k1 + 0] - vertex[2 * k2 + 0]) / 2.0 +
       (S * (vertex[2 * k1 + 0] - vertex[2 * k2 + 0])) / 2.0 /
           sqrt(S * S + 4.0 * delta * delta);
  f = 2.0 * L / H / 4.0 / sqrt(3.0);
  dx[0] = (2.0 * Lx * H - 2.0 * Hx * L) / H / H / 4.0 / sqrt(3.0);
  dx[1] = (2.0 * Ly * H - 2.0 * Hy * L) / H / H / 4.0 / sqrt(3.0);
  while (n > 1) {
    dx[0] *= f;
    dx[1] *= f;
    n--;
  }
  return 0;
  (void)r;
}


x86 assembly (clang, -O0):
<func_xy>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
movsd  %xmm0,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movl   $0x8,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xdcb(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
movsd  0xd9b(%rip),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xb8(%rbp),%xmm0
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  0xd60(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  0xd2e(%rip),%xmm1
mulsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  0xcf4(%rip),%xmm1
mulsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  0xcba(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  0xc69(%rip),%xmm1
mulsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  0xc18(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xbc7(%rip),%xmm1
mulsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xb8d(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xb53(%rip),%xmm1
mulsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xb19(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xac8(%rip),%xmm1
mulsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xa77(%rip),%xmm0
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm2
movsd  0x9f2(%rip),%xmm1
mulsd  %xmm2,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0x9c7(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm2
movsd  0x97b(%rip),%xmm1
mulsd  %xmm2,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  0x950(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  0x919(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm1,%xmm0
movsd  0x8d2(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
movsd  0x8ac(%rip),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movsd  -0xb0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xa8(%rbp),%xmm0
ff
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  0x84b(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm1,%xmm0
movsd  0x804(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
movsd  0x7de(%rip),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movsd  -0xa0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0x98(%rbp),%xmm0
ff
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0x7a7(%rip),%xmm0
mulsd  -0x38(%rbp),%xmm0
divsd  -0x58(%rbp),%xmm0
movsd  0x78d(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0x771(%rip),%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x90(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0x760(%rip),%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  0x74e(%rip),%xmm1
mulsd  -0x60(%rbp),%xmm1
mulsd  -0x38(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
divsd  -0x58(%rbp),%xmm0
divsd  -0x58(%rbp),%xmm0
movsd  0x70b(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0x6ef(%rip),%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x88(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  0x6db(%rip),%xmm0
mulsd  -0x50(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  0x6c9(%rip),%xmm1
mulsd  -0x68(%rbp),%xmm1
mulsd  -0x38(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
divsd  -0x58(%rbp),%xmm0
divsd  -0x58(%rbp),%xmm0
movsd  0x686(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0x66d(%rip),%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x80(%rbp),%xmm0
divsd  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,0x8(%rax)
cmpl   $0x1,-0x2c(%rbp)
jle    19e9 <func_xy+0x8d9>
movsd  -0x70(%rbp),%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
movsd  -0x70(%rbp),%xmm0
mov    -0x20(%rbp),%rax
mulsd  0x8(%rax),%xmm0
movsd  %xmm0,0x8(%rax)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    19ad <func_xy+0x89d>
xor    %eax,%eax
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<func_xy>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa0,%rsp
mov    %r8,%r14
mov    %rdi,%rbx
lea    (%rdx,%rdx,1),%eax
movslq %eax,%r15
movsd  (%rdi,%r15,8),%xmm1
lea    (%rcx,%rcx,1),%eax
add    $0x1,%eax
add    %ecx,%ecx
cltq
movsd  (%rdi,%rax,8),%xmm2
movslq %ecx,%r12
movsd  (%rdi,%r12,8),%xmm5
lea    0x1(%rdx,%rdx,1),%eax
cltq
movsd  (%rdi,%rax,8),%xmm3
movapd %xmm3,%xmm4
mulsd  %xmm5,%xmm4
subsd  %xmm1,%xmm5
mulsd  %xmm2,%xmm1
subsd  %xmm4,%xmm1
lea    (%rsi,%rsi,1),%eax
movslq %eax,%r13
subsd  %xmm2,%xmm3
mulsd  (%rdi,%r13,8),%xmm3
addsd  %xmm1,%xmm3
lea    0x1(%rsi,%rsi,1),%eax
cltq
mulsd  (%rdi,%rax,8),%xmm5
addsd  %xmm3,%xmm5
mulsd  0xe6c(%rip),%xmm5
movsd  0xe6c(%rip),%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
movapd %xmm5,%xmm10
mulsd  %xmm5,%xmm10
addsd  %xmm1,%xmm10
sqrtsd %xmm10,%xmm9
xorpd  %xmm13,%xmm13
ucomisd %xmm13,%xmm10
movapd %xmm9,%xmm8
movapd %xmm5,0x10(%rsp)
movapd %xmm10,(%rsp)
movapd %xmm9,0x60(%rsp)
jae    1203 <func_xy+0xf3>
movapd %xmm10,%xmm0
call   1030 <sqrt@plt>
xorpd  %xmm13,%xmm13
movapd 0x60(%rsp),%xmm9
movapd (%rsp),%xmm10
movapd 0x10(%rsp),%xmm5
movapd %xmm0,%xmm8
movupd (%rbx,%r13,8),%xmm6
movapd %xmm6,%xmm0
addsd  %xmm6,%xmm0
movupd (%rbx,%r12,8),%xmm12
movapd %xmm12,%xmm1
addsd  %xmm12,%xmm1
movapd %xmm12,%xmm2
mulsd  %xmm1,%xmm2
movapd %xmm0,%xmm3
mulsd  %xmm6,%xmm3
addsd  %xmm2,%xmm3
movupd (%rbx,%r15,8),%xmm7
movapd %xmm7,%xmm2
addsd  %xmm7,%xmm2
mulsd  %xmm7,%xmm2
addsd  %xmm3,%xmm2
movapd %xmm0,%xmm3
mulsd  %xmm12,%xmm3
subsd  %xmm3,%xmm2
mulsd  %xmm7,%xmm0
subsd  %xmm0,%xmm2
mulsd  %xmm7,%xmm1
subsd  %xmm1,%xmm2
movapd %xmm6,%xmm0
unpckhpd %xmm6,%xmm0
movapd %xmm0,%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm1,%xmm0
addsd  %xmm2,%xmm0
movapd %xmm12,%xmm2
unpckhpd %xmm12,%xmm2
movapd %xmm2,%xmm11
addsd  %xmm2,%xmm11
movapd %xmm11,%xmm4
mulsd  %xmm2,%xmm4
addsd  %xmm0,%xmm4
movapd %xmm7,%xmm0
unpckhpd %xmm7,%xmm0
movapd %xmm0,%xmm3
addsd  %xmm0,%xmm3
mulsd  %xmm0,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm1,%xmm2
subsd  %xmm2,%xmm3
mulsd  %xmm0,%xmm1
subsd  %xmm1,%xmm3
mulsd  %xmm11,%xmm0
movapd %xmm12,%xmm1
addpd  %xmm7,%xmm1
addpd  %xmm1,%xmm1
mulpd  0xd3c(%rip),%xmm6
ucomisd %xmm13,%xmm10
movapd %xmm9,%xmm2
jae    1379 <func_xy+0x269>
movapd %xmm0,0x80(%rsp)
movapd %xmm10,%xmm0
movapd %xmm6,0x50(%rsp)
movapd %xmm8,0x40(%rsp)
movapd %xmm7,0x30(%rsp)
movapd %xmm3,0x20(%rsp)
movapd %xmm12,0x90(%rsp)
movapd %xmm1,0x70(%rsp)
call   1030 <sqrt@plt>
movapd 0x70(%rsp),%xmm1
movapd 0x90(%rsp),%xmm12
movapd 0x20(%rsp),%xmm3
movapd 0x30(%rsp),%xmm7
movapd 0x60(%rsp),%xmm9
movapd (%rsp),%xmm10
movapd 0x40(%rsp),%xmm8
movapd 0x50(%rsp),%xmm6
movapd 0x10(%rsp),%xmm5
movapd %xmm0,%xmm2
movapd 0x80(%rsp),%xmm0
addsd  %xmm5,%xmm8
subsd  %xmm0,%xmm3
subpd  %xmm1,%xmm6
movsd  (%rbx,%r12,8),%xmm0
movsd  (%rbx,%r15,8),%xmm1
shufpd $0x1,%xmm1,%xmm12
shufpd $0x1,%xmm0,%xmm7
subpd  %xmm12,%xmm7
movapd 0xc86(%rip),%xmm0
unpcklpd %xmm5,%xmm5
mulpd  %xmm7,%xmm5
mulpd  %xmm0,%xmm7
mulpd  %xmm0,%xmm5
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm10
jae    141c <func_xy+0x30c>
movapd %xmm10,%xmm0
movapd %xmm5,0x10(%rsp)
movapd %xmm6,0x50(%rsp)
movapd %xmm8,0x40(%rsp)
movapd %xmm7,0x30(%rsp)
movapd %xmm3,0x20(%rsp)
movapd %xmm2,(%rsp)
call   1030 <sqrt@plt>
movapd (%rsp),%xmm2
movapd 0x20(%rsp),%xmm3
movapd 0x30(%rsp),%xmm7
movapd 0x40(%rsp),%xmm8
movapd 0x50(%rsp),%xmm6
movapd 0x10(%rsp),%xmm5
movapd %xmm0,%xmm9
unpcklpd %xmm9,%xmm2
divpd  %xmm2,%xmm5
addpd  %xmm5,%xmm7
movapd %xmm3,%xmm0
addsd  %xmm3,%xmm0
divsd  %xmm8,%xmm0
mulsd  0xbd2(%rip),%xmm0
divsd  0xbd2(%rip),%xmm0
addpd  %xmm6,%xmm6
mulpd  0xbee(%rip),%xmm7
unpcklpd %xmm3,%xmm3
mulpd  %xmm7,%xmm3
unpcklpd %xmm8,%xmm8
mulpd  %xmm8,%xmm6
addpd  %xmm3,%xmm6
divpd  %xmm8,%xmm6
divpd  %xmm8,%xmm6
mulpd  0xbd6(%rip),%xmm6
divpd  0xbde(%rip),%xmm6
unpcklpd %xmm0,%xmm0
mulpd  %xmm0,%xmm6
mulpd  %xmm0,%xmm6
mulpd  %xmm0,%xmm6
mulpd  %xmm0,%xmm6
mulpd  %xmm0,%xmm6
mulpd  %xmm0,%xmm6
mulpd  %xmm0,%xmm6
movupd %xmm6,(%r14)
xor    %eax,%eax
add    $0xa0,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @func_xy(double* %0, i32 %1, i32 %2, i32 %3, double* %4, double %5, i32 %6) {
%8 = alloca double*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca double*
%13 = alloca double
%14 = alloca i32
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
store double* %0, double** %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store double* %4, double** %12
store double %5, double* %13
store i32 %6, i32* %14
store i32 8, i32* %14
%24 = load double*, double** %8
%25 = load i32, i32* %10
%26 = mul nsw i32 2, %25
%27 = add nsw i32 %26, 0
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double, double* %24, i64 %28
%30 = load double, double* %29
%31 = load double*, double** %8
%32 = load i32, i32* %11
%33 = mul nsw i32 2, %32
%34 = add nsw i32 %33, 1
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds double, double* %31, i64 %35
%37 = load double, double* %36
%38 = load double*, double** %8
%39 = load i32, i32* %11
%40 = mul nsw i32 2, %39
%41 = add nsw i32 %40, 0
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds double, double* %38, i64 %42
%44 = load double, double* %43
%45 = load double*, double** %8
%46 = load i32, i32* %10
%47 = mul nsw i32 2, %46
%48 = add nsw i32 %47, 1
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds double, double* %45, i64 %49
%51 = load double, double* %50
%52 = fmul double %44, %51
%53 = fneg double %52
%54 = call double @llvm.fmuladd.f64(double %30, double %37, double %53)
%55 = load double*, double** %8
%56 = load i32, i32* %9
%57 = mul nsw i32 2, %56
%58 = add nsw i32 %57, 0
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds double, double* %55, i64 %59
%61 = load double, double* %60
%62 = load double*, double** %8
%63 = load i32, i32* %10
%64 = mul nsw i32 2, %63
%65 = add nsw i32 %64, 1
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds double, double* %62, i64 %66
%68 = load double, double* %67
%69 = load double*, double** %8
%70 = load i32, i32* %11
%71 = mul nsw i32 2, %70
%72 = add nsw i32 %71, 1
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds double, double* %69, i64 %73
%75 = load double, double* %74
%76 = fsub double %68, %75
%77 = call double @llvm.fmuladd.f64(double %61, double %76, double %54)
%78 = load double*, double** %8
%79 = load i32, i32* %9
%80 = mul nsw i32 2, %79
%81 = add nsw i32 %80, 1
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds double, double* %78, i64 %82
%84 = load double, double* %83
%85 = load double*, double** %8
%86 = load i32, i32* %11
%87 = mul nsw i32 2, %86
%88 = add nsw i32 %87, 0
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds double, double* %85, i64 %89
%91 = load double, double* %90
%92 = load double*, double** %8
%93 = load i32, i32* %10
%94 = mul nsw i32 2, %93
%95 = add nsw i32 %94, 0
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds double, double* %92, i64 %96
%98 = load double, double* %97
%99 = fsub double %91, %98
%100 = call double @llvm.fmuladd.f64(double %84, double %99, double %77)
%101 = fdiv double %100, 2.000000e+00
store double %101, double* %16
%102 = load double, double* %16
%103 = load double, double* %16
%104 = load double, double* %16
%105 = load double, double* %13
%106 = fmul double 4.000000e+00, %105
%107 = load double, double* %13
%108 = fmul double %106, %107
%109 = call double @llvm.fmuladd.f64(double %103, double %104, double %108)
%110 = call double @sqrt(double %109)
%111 = fadd double %102, %110
store double %111, double* %19
%112 = load double*, double** %8
%113 = load i32, i32* %9
%114 = mul nsw i32 2, %113
%115 = add nsw i32 %114, 0
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %112, i64 %116
%118 = load double, double* %117
%119 = fmul double 2.000000e+00, %118
%120 = load double*, double** %8
%121 = load i32, i32* %9
%122 = mul nsw i32 2, %121
%123 = add nsw i32 %122, 0
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds double, double* %120, i64 %124
%126 = load double, double* %125
%127 = load double*, double** %8
%128 = load i32, i32* %11
%129 = mul nsw i32 2, %128
%130 = add nsw i32 %129, 0
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds double, double* %127, i64 %131
%133 = load double, double* %132
%134 = fmul double 2.000000e+00, %133
%135 = load double*, double** %8
%136 = load i32, i32* %11
%137 = mul nsw i32 2, %136
%138 = add nsw i32 %137, 0
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds double, double* %135, i64 %139
%141 = load double, double* %140
%142 = fmul double %134, %141
%143 = call double @llvm.fmuladd.f64(double %119, double %126, double %142)
%144 = load double*, double** %8
%145 = load i32, i32* %10
%146 = mul nsw i32 2, %145
%147 = add nsw i32 %146, 0
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds double, double* %144, i64 %148
%150 = load double, double* %149
%151 = fmul double 2.000000e+00, %150
%152 = load double*, double** %8
%153 = load i32, i32* %10
%154 = mul nsw i32 2, %153
%155 = add nsw i32 %154, 0
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds double, double* %152, i64 %156
%158 = load double, double* %157
%159 = call double @llvm.fmuladd.f64(double %151, double %158, double %143)
%160 = load double*, double** %8
%161 = load i32, i32* %9
%162 = mul nsw i32 2, %161
%163 = add nsw i32 %162, 0
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds double, double* %160, i64 %164
%166 = load double, double* %165
%167 = fmul double 2.000000e+00, %166
%168 = load double*, double** %8
%169 = load i32, i32* %11
%170 = mul nsw i32 2, %169
%171 = add nsw i32 %170, 0
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds double, double* %168, i64 %172
%174 = load double, double* %173
%175 = fneg double %167
%176 = call double @llvm.fmuladd.f64(double %175, double %174, double %159)
%177 = load double*, double** %8
%178 = load i32, i32* %9
%179 = mul nsw i32 2, %178
%180 = add nsw i32 %179, 0
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds double, double* %177, i64 %181
%183 = load double, double* %182
%184 = fmul double 2.000000e+00, %183
%185 = load double*, double** %8
%186 = load i32, i32* %10
%187 = mul nsw i32 2, %186
%188 = add nsw i32 %187, 0
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds double, double* %185, i64 %189
%191 = load double, double* %190
%192 = fneg double %184
%193 = call double @llvm.fmuladd.f64(double %192, double %191, double %176)
%194 = load double*, double** %8
%195 = load i32, i32* %11
%196 = mul nsw i32 2, %195
%197 = add nsw i32 %196, 0
%198 = sext i32 %197 to i64
%199 = getelementptr inbounds double, double* %194, i64 %198
%200 = load double, double* %199
%201 = fmul double 2.000000e+00, %200
%202 = load double*, double** %8
%203 = load i32, i32* %10
%204 = mul nsw i32 2, %203
%205 = add nsw i32 %204, 0
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds double, double* %202, i64 %206
%208 = load double, double* %207
%209 = fneg double %201
%210 = call double @llvm.fmuladd.f64(double %209, double %208, double %193)
%211 = load double*, double** %8
%212 = load i32, i32* %9
%213 = mul nsw i32 2, %212
%214 = add nsw i32 %213, 1
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds double, double* %211, i64 %215
%217 = load double, double* %216
%218 = fmul double 2.000000e+00, %217
%219 = load double*, double** %8
%220 = load i32, i32* %9
%221 = mul nsw i32 2, %220
%222 = add nsw i32 %221, 1
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds double, double* %219, i64 %223
%225 = load double, double* %224
%226 = call double @llvm.fmuladd.f64(double %218, double %225, double %210)
%227 = load double*, double** %8
%228 = load i32, i32* %11
%229 = mul nsw i32 2, %228
%230 = add nsw i32 %229, 1
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds double, double* %227, i64 %231
%233 = load double, double* %232
%234 = fmul double 2.000000e+00, %233
%235 = load double*, double** %8
%236 = load i32, i32* %11
%237 = mul nsw i32 2, %236
%238 = add nsw i32 %237, 1
%239 = sext i32 %238 to i64
%240 = getelementptr inbounds double, double* %235, i64 %239
%241 = load double, double* %240
%242 = call double @llvm.fmuladd.f64(double %234, double %241, double %226)
%243 = load double*, double** %8
%244 = load i32, i32* %10
%245 = mul nsw i32 2, %244
%246 = add nsw i32 %245, 1
%247 = sext i32 %246 to i64
%248 = getelementptr inbounds double, double* %243, i64 %247
%249 = load double, double* %248
%250 = fmul double 2.000000e+00, %249
%251 = load double*, double** %8
%252 = load i32, i32* %10
%253 = mul nsw i32 2, %252
%254 = add nsw i32 %253, 1
%255 = sext i32 %254 to i64
%256 = getelementptr inbounds double, double* %251, i64 %255
%257 = load double, double* %256
%258 = call double @llvm.fmuladd.f64(double %250, double %257, double %242)
%259 = load double*, double** %8
%260 = load i32, i32* %9
%261 = mul nsw i32 2, %260
%262 = add nsw i32 %261, 1
%263 = sext i32 %262 to i64
%264 = getelementptr inbounds double, double* %259, i64 %263
%265 = load double, double* %264
%266 = fmul double 2.000000e+00, %265
%267 = load double*, double** %8
%268 = load i32, i32* %11
%269 = mul nsw i32 2, %268
%270 = add nsw i32 %269, 1
%271 = sext i32 %270 to i64
%272 = getelementptr inbounds double, double* %267, i64 %271
%273 = load double, double* %272
%274 = fneg double %266
%275 = call double @llvm.fmuladd.f64(double %274, double %273, double %258)
%276 = load double*, double** %8
%277 = load i32, i32* %9
%278 = mul nsw i32 2, %277
%279 = add nsw i32 %278, 1
%280 = sext i32 %279 to i64
%281 = getelementptr inbounds double, double* %276, i64 %280
%282 = load double, double* %281
%283 = fmul double 2.000000e+00, %282
%284 = load double*, double** %8
%285 = load i32, i32* %10
%286 = mul nsw i32 2, %285
%287 = add nsw i32 %286, 1
%288 = sext i32 %287 to i64
%289 = getelementptr inbounds double, double* %284, i64 %288
%290 = load double, double* %289
%291 = fneg double %283
%292 = call double @llvm.fmuladd.f64(double %291, double %290, double %275)
%293 = load double*, double** %8
%294 = load i32, i32* %11
%295 = mul nsw i32 2, %294
%296 = add nsw i32 %295, 1
%297 = sext i32 %296 to i64
%298 = getelementptr inbounds double, double* %293, i64 %297
%299 = load double, double* %298
%300 = fmul double 2.000000e+00, %299
%301 = load double*, double** %8
%302 = load i32, i32* %10
%303 = mul nsw i32 2, %302
%304 = add nsw i32 %303, 1
%305 = sext i32 %304 to i64
%306 = getelementptr inbounds double, double* %301, i64 %305
%307 = load double, double* %306
%308 = fneg double %300
%309 = call double @llvm.fmuladd.f64(double %308, double %307, double %292)
store double %309, double* %15
%310 = load double*, double** %8
%311 = load i32, i32* %9
%312 = mul nsw i32 2, %311
%313 = add nsw i32 %312, 0
%314 = sext i32 %313 to i64
%315 = getelementptr inbounds double, double* %310, i64 %314
%316 = load double, double* %315
%317 = load double*, double** %8
%318 = load i32, i32* %11
%319 = mul nsw i32 2, %318
%320 = add nsw i32 %319, 0
%321 = sext i32 %320 to i64
%322 = getelementptr inbounds double, double* %317, i64 %321
%323 = load double, double* %322
%324 = load double*, double** %8
%325 = load i32, i32* %10
%326 = mul nsw i32 2, %325
%327 = add nsw i32 %326, 0
%328 = sext i32 %327 to i64
%329 = getelementptr inbounds double, double* %324, i64 %328
%330 = load double, double* %329
%331 = fadd double %323, %330
%332 = fmul double 2.000000e+00, %331
%333 = fneg double %332
%334 = call double @llvm.fmuladd.f64(double 4.000000e+00, double %316, double %333)
store double %334, double* %17
%335 = load double*, double** %8
%336 = load i32, i32* %9
%337 = mul nsw i32 2, %336
%338 = add nsw i32 %337, 1
%339 = sext i32 %338 to i64
%340 = getelementptr inbounds double, double* %335, i64 %339
%341 = load double, double* %340
%342 = load double*, double** %8
%343 = load i32, i32* %11
%344 = mul nsw i32 2, %343
%345 = add nsw i32 %344, 1
%346 = sext i32 %345 to i64
%347 = getelementptr inbounds double, double* %342, i64 %346
%348 = load double, double* %347
%349 = load double*, double** %8
%350 = load i32, i32* %10
%351 = mul nsw i32 2, %350
%352 = add nsw i32 %351, 1
%353 = sext i32 %352 to i64
%354 = getelementptr inbounds double, double* %349, i64 %353
%355 = load double, double* %354
%356 = fadd double %348, %355
%357 = fmul double 2.000000e+00, %356
%358 = fneg double %357
%359 = call double @llvm.fmuladd.f64(double 4.000000e+00, double %341, double %358)
store double %359, double* %18
%360 = load double*, double** %8
%361 = load i32, i32* %10
%362 = mul nsw i32 2, %361
%363 = add nsw i32 %362, 1
%364 = sext i32 %363 to i64
%365 = getelementptr inbounds double, double* %360, i64 %364
%366 = load double, double* %365
%367 = load double*, double** %8
%368 = load i32, i32* %11
%369 = mul nsw i32 2, %368
%370 = add nsw i32 %369, 1
%371 = sext i32 %370 to i64
%372 = getelementptr inbounds double, double* %367, i64 %371
%373 = load double, double* %372
%374 = fsub double %366, %373
%375 = fdiv double %374, 2.000000e+00
%376 = load double, double* %16
%377 = load double*, double** %8
%378 = load i32, i32* %10
%379 = mul nsw i32 2, %378
%380 = add nsw i32 %379, 1
%381 = sext i32 %380 to i64
%382 = getelementptr inbounds double, double* %377, i64 %381
%383 = load double, double* %382
%384 = load double*, double** %8
%385 = load i32, i32* %11
%386 = mul nsw i32 2, %385
%387 = add nsw i32 %386, 1
%388 = sext i32 %387 to i64
%389 = getelementptr inbounds double, double* %384, i64 %388
%390 = load double, double* %389
%391 = fsub double %383, %390
%392 = fmul double %376, %391
%393 = fdiv double %392, 2.000000e+00
%394 = load double, double* %16
%395 = load double, double* %16
%396 = load double, double* %13
%397 = fmul double 4.000000e+00, %396
%398 = load double, double* %13
%399 = fmul double %397, %398
%400 = call double @llvm.fmuladd.f64(double %394, double %395, double %399)
%401 = call double @sqrt(double %400)
%402 = fdiv double %393, %401
%403 = fadd double %375, %402
store double %403, double* %20
%404 = load double*, double** %8
%405 = load i32, i32* %11
%406 = mul nsw i32 2, %405
%407 = add nsw i32 %406, 0
%408 = sext i32 %407 to i64
%409 = getelementptr inbounds double, double* %404, i64 %408
%410 = load double, double* %409
%411 = load double*, double** %8
%412 = load i32, i32* %10
%413 = mul nsw i32 2, %412
%414 = add nsw i32 %413, 0
%415 = sext i32 %414 to i64
%416 = getelementptr inbounds double, double* %411, i64 %415
%417 = load double, double* %416
%418 = fsub double %410, %417
%419 = fdiv double %418, 2.000000e+00
%420 = load double, double* %16
%421 = load double*, double** %8
%422 = load i32, i32* %11
%423 = mul nsw i32 2, %422
%424 = add nsw i32 %423, 0
%425 = sext i32 %424 to i64
%426 = getelementptr inbounds double, double* %421, i64 %425
%427 = load double, double* %426
%428 = load double*, double** %8
%429 = load i32, i32* %10
%430 = mul nsw i32 2, %429
%431 = add nsw i32 %430, 0
%432 = sext i32 %431 to i64
%433 = getelementptr inbounds double, double* %428, i64 %432
%434 = load double, double* %433
%435 = fsub double %427, %434
%436 = fmul double %420, %435
%437 = fdiv double %436, 2.000000e+00
%438 = load double, double* %16
%439 = load double, double* %16
%440 = load double, double* %13
%441 = fmul double 4.000000e+00, %440
%442 = load double, double* %13
%443 = fmul double %441, %442
%444 = call double @llvm.fmuladd.f64(double %438, double %439, double %443)
%445 = call double @sqrt(double %444)
%446 = fdiv double %437, %445
%447 = fadd double %419, %446
store double %447, double* %21
%448 = load double, double* %15
%449 = fmul double 2.000000e+00, %448
%450 = load double, double* %19
%451 = fdiv double %449, %450
%452 = fdiv double %451, 4.000000e+00
%453 = call double @sqrt(double 3.000000e+00)
%454 = fdiv double %452, %453
store double %454, double* %22
%455 = load double, double* %17
%456 = fmul double 2.000000e+00, %455
%457 = load double, double* %19
%458 = load double, double* %20
%459 = fmul double 2.000000e+00, %458
%460 = load double, double* %15
%461 = fmul double %459, %460
%462 = fneg double %461
%463 = call double @llvm.fmuladd.f64(double %456, double %457, double %462)
%464 = load double, double* %19
%465 = fdiv double %463, %464
%466 = load double, double* %19
%467 = fdiv double %465, %466
%468 = fdiv double %467, 4.000000e+00
%469 = call double @sqrt(double 3.000000e+00)
%470 = fdiv double %468, %469
%471 = load double*, double** %12
%472 = getelementptr inbounds double, double* %471, i64 0
store double %470, double* %472
%473 = load double, double* %18
%474 = fmul double 2.000000e+00, %473
%475 = load double, double* %19
%476 = load double, double* %21
%477 = fmul double 2.000000e+00, %476
%478 = load double, double* %15
%479 = fmul double %477, %478
%480 = fneg double %479
%481 = call double @llvm.fmuladd.f64(double %474, double %475, double %480)
%482 = load double, double* %19
%483 = fdiv double %481, %482
%484 = load double, double* %19
%485 = fdiv double %483, %484
%486 = fdiv double %485, 4.000000e+00
%487 = call double @sqrt(double 3.000000e+00)
%488 = fdiv double %486, %487
%489 = load double*, double** %12
%490 = getelementptr inbounds double, double* %489, i64 1
store double %488, double* %490
br label %491
491: ; preds = %494, %7
%492 = load i32, i32* %14
%493 = icmp sgt i32 %492, 1
br i1 %493, label %494, label %507
494: ; preds = %491
%495 = load double, double* %22
%496 = load double*, double** %12
%497 = getelementptr inbounds double, double* %496, i64 0
%498 = load double, double* %497
%499 = fmul double %498, %495
store double %499, double* %497
%500 = load double, double* %22
%501 = load double*, double** %12
%502 = getelementptr inbounds double, double* %501, i64 1
%503 = load double, double* %502
%504 = fmul double %503, %500
store double %504, double* %502
%505 = load i32, i32* %14
%506 = add nsw i32 %505, -1
store i32 %506, i32* %14
br label %491
507: ; preds = %491
ret i32 0
}

LLVM IR (-O2):
define i32 @func_xy(double* nocapture %0, i32 %1, i32 %2, i32 %3, double* nocapture %4, double %5, i32 %6) {
%8 = shl nsw i32 %2, 1
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds double, double* %0, i64 %9
%11 = load double, double* %10
%12 = shl nsw i32 %3, 1
%13 = or i32 %12, 1
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds double, double* %0, i64 %14
%16 = load double, double* %15
%17 = sext i32 %12 to i64
%18 = getelementptr inbounds double, double* %0, i64 %17
%19 = load double, double* %18
%20 = or i32 %8, 1
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds double, double* %0, i64 %21
%23 = load double, double* %22
%24 = fneg double %19
%25 = fmul double %23, %24
%26 = tail call double @llvm.fmuladd.f64(double %11, double %16, double %25)
%27 = shl nsw i32 %1, 1
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double, double* %0, i64 %28
%30 = load double, double* %29
%31 = fsub double %23, %16
%32 = tail call double @llvm.fmuladd.f64(double %30, double %31, double %26)
%33 = or i32 %27, 1
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds double, double* %0, i64 %34
%36 = load double, double* %35
%37 = fsub double %19, %11
%38 = tail call double @llvm.fmuladd.f64(double %36, double %37, double %32)
%39 = fmul double %38, 5.000000e-01
%40 = fmul double %5, 4.000000e+00
%41 = fmul double %40, %5
%42 = tail call double @llvm.fmuladd.f64(double %39, double %39, double %41)
%43 = tail call double @sqrt(double %42)
%44 = fadd double %43, %39
%45 = bitcast double* %29 to <2 x double>*
%46 = load <2 x double>, <2 x double>* %45
%47 = extractelement <2 x double> %46, i64 0
%48 = fmul double %47, 2.000000e+00
%49 = bitcast double* %18 to <2 x double>*
%50 = load <2 x double>, <2 x double>* %49
%51 = extractelement <2 x double> %50, i64 0
%52 = fmul double %51, 2.000000e+00
%53 = fmul double %51, %52
%54 = tail call double @llvm.fmuladd.f64(double %48, double %47, double %53)
%55 = bitcast double* %10 to <2 x double>*
%56 = load <2 x double>, <2 x double>* %55
%57 = extractelement <2 x double> %56, i64 0
%58 = fmul double %57, 2.000000e+00
%59 = tail call double @llvm.fmuladd.f64(double %58, double %57, double %54)
%60 = fneg double %48
%61 = tail call double @llvm.fmuladd.f64(double %60, double %51, double %59)
%62 = tail call double @llvm.fmuladd.f64(double %60, double %57, double %61)
%63 = fneg double %52
%64 = tail call double @llvm.fmuladd.f64(double %63, double %57, double %62)
%65 = extractelement <2 x double> %46, i64 1
%66 = fmul double %65, 2.000000e+00
%67 = tail call double @llvm.fmuladd.f64(double %66, double %65, double %64)
%68 = extractelement <2 x double> %50, i64 1
%69 = fmul double %68, 2.000000e+00
%70 = tail call double @llvm.fmuladd.f64(double %69, double %68, double %67)
%71 = extractelement <2 x double> %56, i64 1
%72 = fmul double %71, 2.000000e+00
%73 = tail call double @llvm.fmuladd.f64(double %72, double %71, double %70)
%74 = fneg double %66
%75 = tail call double @llvm.fmuladd.f64(double %74, double %68, double %73)
%76 = tail call double @llvm.fmuladd.f64(double %74, double %71, double %75)
%77 = fneg double %69
%78 = tail call double @llvm.fmuladd.f64(double %77, double %71, double %76)
%79 = fadd <2 x double> %50, %56
%80 = fmul <2 x double> %79, <double -2.000000e+00, double -2.000000e+00>
%81 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %46, <2 x double> <double 4.000000e+00, double 4.000000e+00>, <2 x double> %80)
%82 = tail call double @sqrt(double %42)
%83 = load double, double* %18
%84 = load double, double* %10
%85 = insertelement <2 x double> %56, double %83, i64 0
%86 = insertelement <2 x double> %50, double %84, i64 0
%87 = fsub <2 x double> %85, %86
%88 = shufflevector <2 x double> %87, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%89 = fmul <2 x double> %88, <double 5.000000e-01, double 5.000000e-01>
%90 = insertelement <2 x double> poison, double %39, i64 0
%91 = shufflevector <2 x double> %90, <2 x double> poison, <2 x i32> zeroinitializer
%92 = fmul <2 x double> %91, %88
%93 = fmul <2 x double> %92, <double 5.000000e-01, double 5.000000e-01>
%94 = tail call double @sqrt(double %42)
%95 = insertelement <2 x double> poison, double %82, i64 0
%96 = insertelement <2 x double> %95, double %94, i64 1
%97 = fdiv <2 x double> %93, %96
%98 = fadd <2 x double> %89, %97
%99 = fmul double %78, 2.000000e+00
%100 = fdiv double %99, %44
%101 = fmul double %100, 2.500000e-01
%102 = fdiv double %101, 0x3FFBB67AE8584CAA
%103 = fmul <2 x double> %81, <double 2.000000e+00, double 2.000000e+00>
%104 = fmul <2 x double> %98, <double -2.000000e+00, double -2.000000e+00>
%105 = insertelement <2 x double> poison, double %78, i64 0
%106 = shufflevector <2 x double> %105, <2 x double> poison, <2 x i32> zeroinitializer
%107 = fmul <2 x double> %104, %106
%108 = insertelement <2 x double> poison, double %44, i64 0
%109 = shufflevector <2 x double> %108, <2 x double> poison, <2 x i32> zeroinitializer
%110 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %103, <2 x double> %109, <2 x double> %107)
%111 = fdiv <2 x double> %110, %109
%112 = fdiv <2 x double> %111, %109
%113 = fmul <2 x double> %112, <double 2.500000e-01, double 2.500000e-01>
%114 = fdiv <2 x double> %113, <double 0x3FFBB67AE8584CAA, double 0x3FFBB67AE8584CAA>
%115 = insertelement <2 x double> poison, double %102, i64 0
%116 = shufflevector <2 x double> %115, <2 x double> poison, <2 x i32> zeroinitializer
%117 = fmul <2 x double> %116, %114
%118 = fmul <2 x double> %116, %117
%119 = fmul <2 x double> %116, %118
%120 = fmul <2 x double> %116, %119
%121 = fmul <2 x double> %116, %120
%122 = fmul <2 x double> %116, %121
%123 = fmul <2 x double> %116, %122
%124 = bitcast double* %4 to <2 x double>*
store <2 x double> %123, <2 x double>* %124
ret i32 0
}