#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 */
float pow(float, int);
float sqrt(float);
float target_y(float *x, float *dx, int m) {
  int ncoeff = 10;
  float avdat = 0.1329268E+01;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18004E+02, -0.18006E+02,
                    0.00000E+00,  0.00000E+00,  0.00000E+00,  0.00000E+00,
                    0.00000E+00,  0.00000E+00};
  float xmax[10] = {0.15000E+02, 0.15000E+02, 0.18003E+02, 0.18001E+02,
                    0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00,
                    0.00000E+00, 0.00000E+00};
  float scale[10] = {0};
  float coeff[11] = {-0.42762267E-02,
                     -0.33233316E+01,
                     -0.39552856E+02,
                     0.54079723E+01,
                     0.65380249E+02,
                     0.86148746E-01,
                     0.25654672E-01,
                     0.12124118E-01,
                     -0.80780024E-02,
                     -0.95122755E-01,
                     0.};
  int ientry = 0;
  int i;
  if (ientry == 0) {
    ientry = 1;
    for (i = 0; i < m; i++) {
      if (xmin[i] == xmax[i])
        continue;
      scale[i] = 2. / (xmax[i] - xmin[i]);
    }
  }
  float x1 = 1. + (x[0] - xmax[0]) * scale[0];
  float dx1 = dx[0] * scale[0];
  float x2 = 1. + (x[1] - xmax[1]) * scale[1];
  float dx2 = dx[1] * scale[1];
  float x3 = 1. + (x[2] - xmax[2]) * scale[2];
  float dx3 = dx[2] * scale[2];
  float x4 = 1. + (x[3] - xmax[3]) * scale[3];
  float dx4 = dx[3] * scale[3];
  float x11 = x1;
  float x12 = x11 * x1;
  float x21 = x2;
  float x22 = x21 * x2;
  float x31 = x3;
  float x32 = x31 * x3;
  float x41 = x4;
  float v_target_y = avdat + coeff[0] + coeff[1] * x11 + coeff[2] * x21 +
                     coeff[3] * x31 + coeff[4] * x41 + coeff[5] * x32 +
                     coeff[6] * x12 + coeff[7] * x21 * x41;
  v_target_y = v_target_y + coeff[8] * x22 + coeff[9] * x11 * x31;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_y =
      dxall == 0
          ? 0
          : sqrt(
                +dx1 * dx1 *
                    pow(0 + coeff[1] + 2 * coeff[6] * x11 + coeff[9] * x31, 2) +
                dx2 * dx2 *
                    pow(0 + coeff[2] + coeff[7] * x41 + 2 * coeff[8] * x21, 2) +
                dx3 * dx3 *
                    pow(0 + coeff[3] + 2 * coeff[5] * x31 + coeff[9] * x11, 2) +
                dx4 * dx4 * pow(0 + coeff[4] + coeff[7] * x21, 2));
  dx[0] = dv_target_y;
  return v_target_y;
}


x86 assembly (clang, -O0):
<target_y>:
push   %rbp
mov    %rsp,%rbp
sub    $0x150,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0xa,-0x18(%rbp)
movss  0xeb3(%rip),%xmm0
movss  %xmm0,-0x1c(%rbp)
lea    -0x50(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
movss  0xe92(%rip),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  0xe85(%rip),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  0xe74(%rip),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  0xe63(%rip),%xmm0
movss  %xmm0,-0x44(%rbp)
lea    -0x80(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
movss  0xe42(%rip),%xmm0
movss  %xmm0,-0x80(%rbp)
movss  0xe35(%rip),%xmm0
movss  %xmm0,-0x7c(%rbp)
movss  0xe24(%rip),%xmm0
movss  %xmm0,-0x78(%rbp)
movss  0xe13(%rip),%xmm0
movss  %xmm0,-0x74(%rbp)
lea    -0xb0(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
lea    -0xe0(%rbp),%rdi
lea    0xe1d(%rip),%rsi
mov    $0x2c,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0xe4(%rbp)
cmpl   $0x0,-0xe4(%rbp)
jne    12d8 <target_y+0x198>
movl   $0x1,-0xe4(%rbp)
movl   $0x0,-0xe8(%rbp)
mov    -0xe8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12d3 <target_y+0x193>
movslq -0xe8(%rbp),%rax
movss  -0x50(%rbp,%rax,4),%xmm0
movslq -0xe8(%rbp),%rax
ucomiss -0x80(%rbp,%rax,4),%xmm0
jne    1281 <target_y+0x141>
jp     1281 <target_y+0x141>
jmp    12bf <target_y+0x17f>
movslq -0xe8(%rbp),%rax
movss  -0x80(%rbp,%rax,4),%xmm0
movslq -0xe8(%rbp),%rax
subss  -0x50(%rbp,%rax,4),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xd81(%rip),%xmm0
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0xe8(%rbp),%rax
movss  %xmm0,-0xb0(%rbp,%rax,4)
ff ff
mov    -0xe8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe8(%rbp)
jmp    1248 <target_y+0x108>
jmp    12d8 <target_y+0x198>
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
subss  -0x80(%rbp),%xmm0
mulss  -0xb0(%rbp),%xmm0
ff
cvtss2sd %xmm0,%xmm1
movsd  0xd27(%rip),%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xec(%rbp)
ff
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mulss  -0xb0(%rbp),%xmm0
ff
movss  %xmm0,-0xf0(%rbp)
ff
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
subss  -0x7c(%rbp),%xmm0
mulss  -0xac(%rbp),%xmm0
ff
cvtss2sd %xmm0,%xmm1
movsd  0xcdd(%rip),%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xf4(%rbp)
ff
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mulss  -0xac(%rbp),%xmm0
ff
movss  %xmm0,-0xf8(%rbp)
ff
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
subss  -0x78(%rbp),%xmm0
mulss  -0xa8(%rbp),%xmm0
ff
cvtss2sd %xmm0,%xmm1
movsd  0xc92(%rip),%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xfc(%rbp)
ff
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mulss  -0xa8(%rbp),%xmm0
ff
movss  %xmm0,-0x100(%rbp)
ff
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
subss  -0x74(%rbp),%xmm0
mulss  -0xa4(%rbp),%xmm0
ff
cvtss2sd %xmm0,%xmm1
movsd  0xc47(%rip),%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x104(%rbp)
ff
mov    -0x10(%rbp),%rax
movss  0xc(%rax),%xmm0
mulss  -0xa4(%rbp),%xmm0
ff
movss  %xmm0,-0x108(%rbp)
ff
movss  -0xec(%rbp),%xmm0
ff
movss  %xmm0,-0x10c(%rbp)
ff
movss  -0x10c(%rbp),%xmm0
ff
mulss  -0xec(%rbp),%xmm0
ff
movss  %xmm0,-0x110(%rbp)
ff
movss  -0xf4(%rbp),%xmm0
ff
movss  %xmm0,-0x114(%rbp)
ff
movss  -0x114(%rbp),%xmm0
ff
mulss  -0xf4(%rbp),%xmm0
ff
movss  %xmm0,-0x118(%rbp)
ff
movss  -0xfc(%rbp),%xmm0
ff
movss  %xmm0,-0x11c(%rbp)
ff
movss  -0x11c(%rbp),%xmm0
ff
mulss  -0xfc(%rbp),%xmm0
ff
movss  %xmm0,-0x120(%rbp)
ff
movss  -0x104(%rbp),%xmm0
ff
movss  %xmm0,-0x124(%rbp)
ff
movss  -0x1c(%rbp),%xmm1
addss  -0xe0(%rbp),%xmm1
ff
movss  -0xdc(%rbp),%xmm0
ff
movss  -0x10c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0xd8(%rbp),%xmm1
ff
movss  -0x114(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xd4(%rbp),%xmm0
ff
movss  -0x11c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0xd0(%rbp),%xmm1
ff
movss  -0x124(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xcc(%rbp),%xmm0
ff
movss  -0x120(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0xc8(%rbp),%xmm1
ff
movss  -0x110(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xc4(%rbp),%xmm0
ff
mulss  -0x114(%rbp),%xmm0
ff
movss  -0x124(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x128(%rbp)
ff
movss  -0x128(%rbp),%xmm0
ff
movss  -0xc0(%rbp),%xmm1
ff
movss  -0x118(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xbc(%rbp),%xmm0
ff
mulss  -0x10c(%rbp),%xmm0
ff
movss  -0x11c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x128(%rbp)
ff
xorps  %xmm0,%xmm0
addss  -0xf0(%rbp),%xmm0
ff
addss  -0xf8(%rbp),%xmm0
ff
addss  -0x100(%rbp),%xmm0
ff
addss  -0x108(%rbp),%xmm0
ff
movss  %xmm0,-0x12c(%rbp)
ff
movss  -0x12c(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    15ec <target_y+0x4ac>
jp     15ec <target_y+0x4ac>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x134(%rbp)
ff
jmp    17e2 <target_y+0x6a2>
movss  -0xf0(%rbp),%xmm0
ff
mulss  -0xf0(%rbp),%xmm0
ff
movss  %xmm0,-0x148(%rbp)
ff
xorps  %xmm0,%xmm0
addss  -0xdc(%rbp),%xmm0
ff
movss  0xa05(%rip),%xmm1
mulss  -0xc8(%rbp),%xmm1
ff
movss  -0x10c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xbc(%rbp),%xmm0
ff
movss  -0x11c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
movss  %xmm0,-0x14c(%rbp)
ff
movss  -0xf8(%rbp),%xmm0
ff
mulss  -0xf8(%rbp),%xmm0
ff
movss  %xmm0,-0x150(%rbp)
ff
xorps  %xmm0,%xmm0
addss  -0xd8(%rbp),%xmm0
ff
movss  -0xc4(%rbp),%xmm1
ff
movss  -0x124(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0x980(%rip),%xmm0
mulss  -0xc0(%rbp),%xmm0
ff
movss  -0x114(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
movss  -0x150(%rbp),%xmm1
ff
movss  -0x14c(%rbp),%xmm2
ff
movaps %xmm0,%xmm3
movss  -0x148(%rbp),%xmm0
ff
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x144(%rbp)
ff
movss  -0x100(%rbp),%xmm0
ff
mulss  -0x100(%rbp),%xmm0
ff
movss  %xmm0,-0x140(%rbp)
ff
xorps  %xmm0,%xmm0
addss  -0xd4(%rbp),%xmm0
ff
movss  0x904(%rip),%xmm1
mulss  -0xcc(%rbp),%xmm1
ff
movss  -0x11c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xbc(%rbp),%xmm0
ff
movss  -0x10c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
movss  -0x144(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movss  -0x140(%rbp),%xmm0
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x13c(%rbp)
ff
movss  -0x108(%rbp),%xmm0
ff
mulss  -0x108(%rbp),%xmm0
ff
movss  %xmm0,-0x138(%rbp)
ff
xorps  %xmm1,%xmm1
addss  -0xd0(%rbp),%xmm1
ff
movss  -0xc4(%rbp),%xmm0
ff
movss  -0x114(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    $0x2,%edi
call   1050 <pow@plt>
movss  -0x13c(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movss  -0x138(%rbp),%xmm0
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1060 <sqrt@plt>
movss  %xmm0,-0x134(%rbp)
ff
movss  -0x134(%rbp),%xmm0
ff
movss  %xmm0,-0x130(%rbp)
ff
movss  -0x130(%rbp),%xmm0
ff
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x128(%rbp),%xmm0
ff
add    $0x150,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<target_y>:
push   %rbx
sub    $0x100,%rsp
mov    %rsi,%rbx
xorps  %xmm0,%xmm0
movaps %xmm0,0xe0(%rsp)
movq   $0x0,0xf0(%rsp)
movaps 0xeb7(%rip),%xmm1
movaps %xmm1,0xd0(%rsp)
movaps %xmm0,0xb0(%rsp)
movq   $0x0,0xc0(%rsp)
movaps 0xea4(%rip),%xmm1
movaps %xmm1,0xa0(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x60(%rsp)
movq   $0x0,0x80(%rsp)
xorps  %xmm1,%xmm1
test   %edx,%edx
jle    1201 <target_y+0xe1>
mov    %edx,%eax
add    $0xffffffffffffffff,%rax
movss  0xe81(%rip),%xmm2
movss  0xe7d(%rip),%xmm1
xor    %ecx,%ecx
movss  0xe77(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
ucomiss %xmm1,%xmm2
jne    11c7 <target_y+0xa7>
jnp    11d8 <target_y+0xb8>
subss  %xmm2,%xmm1
movaps %xmm0,%xmm2
divss  %xmm1,%xmm2
movss  %xmm2,0x60(%rsp,%rcx,4)
cmp    %rcx,%rax
je     11f5 <target_y+0xd5>
movss  0xd4(%rsp,%rcx,4),%xmm2
movss  0xa4(%rsp,%rcx,4),%xmm1
add    $0x1,%rcx
jmp    11c0 <target_y+0xa0>
movsd  0x60(%rsp),%xmm1
movsd  0x68(%rsp),%xmm0
movss  0xe17(%rip),%xmm2
movss  (%rdi),%xmm6
addss  %xmm2,%xmm6
mulss  %xmm1,%xmm6
movss  0xe0f(%rip),%xmm3
addss  0x4(%rdi),%xmm2
addss  %xmm3,%xmm6
movaps %xmm1,%xmm7
shufps $0x55,%xmm1,%xmm7
mulss  %xmm2,%xmm7
addss  %xmm3,%xmm7
movsd  (%rbx),%xmm5
movsd  0x8(%rbx),%xmm2
mulps  %xmm1,%xmm5
movaps %xmm5,%xmm9
shufps $0x55,%xmm5,%xmm9
movss  0x8(%rdi),%xmm8
movss  0xc(%rdi),%xmm1
addss  0xdd2(%rip),%xmm8
mulss  %xmm0,%xmm8
addss  %xmm3,%xmm8
addss  0xdc4(%rip),%xmm1
movaps %xmm0,%xmm4
shufps $0x55,%xmm0,%xmm4
mulss  %xmm1,%xmm4
addss  %xmm3,%xmm4
mulps  %xmm0,%xmm2
movaps %xmm2,%xmm3
shufps $0x55,%xmm2,%xmm3
xorps  %xmm0,%xmm0
movaps %xmm5,%xmm1
addss  %xmm0,%xmm1
addss  %xmm9,%xmm1
addss  %xmm2,%xmm1
addss  %xmm3,%xmm1
ucomiss %xmm0,%xmm1
jne    12ab <target_y+0x18b>
jnp    142c <target_y+0x30c>
movss  0xd85(%rip),%xmm1
mulss  %xmm6,%xmm1
addss  0xd7d(%rip),%xmm1
mulss  %xmm5,%xmm5
movaps %xmm5,0x90(%rsp)
movaps %xmm8,%xmm0
mulss  0xd69(%rip),%xmm0
addss  %xmm1,%xmm0
mov    $0x2,%edi
movss  %xmm8,0x8(%rsp)
movss  %xmm6,0x4(%rsp)
movaps %xmm7,0x20(%rsp)
movaps %xmm4,0x30(%rsp)
movaps %xmm2,0x10(%rsp)
movaps %xmm3,0x50(%rsp)
movaps %xmm9,0x40(%rsp)
call   1030 <pow@plt>
movss  %xmm0,0xc(%rsp)
movaps 0x30(%rsp),%xmm1
mulss  0xd25(%rip),%xmm1
addss  0xd21(%rip),%xmm1
movaps 0x40(%rsp),%xmm0
mulss  %xmm0,%xmm0
movaps %xmm0,0x40(%rsp)
movss  0xd0f(%rip),%xmm0
mulss  0x20(%rsp),%xmm0
addss  %xmm1,%xmm0
mov    $0x2,%edi
call   1030 <pow@plt>
mulss  0x40(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
mulss  0x90(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
movaps 0x10(%rsp),%xmm0
mulss  %xmm0,%xmm0
movaps %xmm0,0x10(%rsp)
movss  0xcca(%rip),%xmm0
mulss  0x8(%rsp),%xmm0
addss  0xcc0(%rip),%xmm0
movss  0xca4(%rip),%xmm1
mulss  0x4(%rsp),%xmm1
addss  %xmm0,%xmm1
movaps %xmm1,%xmm0
mov    $0x2,%edi
call   1030 <pow@plt>
mulss  0x10(%rsp),%xmm0
addss  0xc(%rsp),%xmm0
movss  %xmm0,0x10(%rsp)
movaps 0x50(%rsp),%xmm0
mulss  %xmm0,%xmm0
movaps %xmm0,0x50(%rsp)
movss  0xc69(%rip),%xmm1
mulss  0x20(%rsp),%xmm1
addss  0xc6f(%rip),%xmm1
movaps %xmm1,%xmm0
mov    $0x2,%edi
call   1030 <pow@plt>
mulss  0x50(%rsp),%xmm0
addss  0x10(%rsp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jb     1410 <target_y+0x2f0>
sqrtss %xmm0,%xmm0
jmp    1415 <target_y+0x2f5>
call   1040 <sqrt@plt>
movss  0x8(%rsp),%xmm8
movss  0x4(%rsp),%xmm6
movaps 0x20(%rsp),%xmm7
movaps 0x30(%rsp),%xmm4
movss  0xc0c(%rip),%xmm1
mulss  %xmm6,%xmm1
movaps %xmm7,%xmm2
mulss  %xmm7,%xmm2
movss  0xbfc(%rip),%xmm9
mulss  %xmm7,%xmm9
movaps %xmm6,%xmm3
mulss  %xmm6,%xmm3
movaps %xmm8,%xmm5
mulss  0xbdc(%rip),%xmm6
addss  0xbf4(%rip),%xmm6
mulss  %xmm8,%xmm5
mulss  0xbd3(%rip),%xmm7
addss  %xmm6,%xmm7
movss  0xbd3(%rip),%xmm6
mulss  %xmm8,%xmm6
addss  %xmm7,%xmm6
mulss  %xmm4,%xmm9
mulss  0xbc1(%rip),%xmm4
mulss  0xbc1(%rip),%xmm5
addss  %xmm6,%xmm4
addss  %xmm4,%xmm5
mulss  0xbb5(%rip),%xmm3
addss  %xmm5,%xmm3
addss  %xmm9,%xmm3
mulss  0xba8(%rip),%xmm2
addss  %xmm3,%xmm2
mulss  %xmm8,%xmm1
addss  %xmm2,%xmm1
movss  %xmm0,(%rbx)
movaps %xmm1,%xmm0
add    $0x100,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@__const.target_y.coeff = [11 x float] [float 0xBF7183F2E0000000, float 0xC00A962EE0000000, float 0xC043C6C400000000, float 0x4015A1C380000000, float 0x4050585600000000, float 0x3FB60DD820000000, float 0x3F9A4537E0000000, float 0x3F88D487A0000000, float 0xBF808B3320000000, float 0xBFB859F700000000, float 0.000000e+00]
define float @target_y(float* %0, float* %1, i32 %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
%8 = alloca float
%9 = alloca [10 x float]
%10 = alloca [10 x float]
%11 = alloca [10 x float]
%12 = alloca [11 x float]
%13 = alloca i32
%14 = alloca i32
%15 = alloca float
%16 = alloca float
%17 = alloca float
%18 = alloca float
%19 = alloca float
%20 = alloca float
%21 = alloca float
%22 = alloca float
%23 = alloca float
%24 = alloca float
%25 = alloca float
%26 = alloca float
%27 = alloca float
%28 = alloca float
%29 = alloca float
%30 = alloca float
%31 = alloca float
%32 = alloca float
store float* %0, float** %4
store float* %1, float** %5
store i32 %2, i32* %6
store i32 10, i32* %7
store float 0x3FF544AE80000000, float* %8
%33 = bitcast [10 x float]* %9 to i8*
%34 = bitcast i8* %33 to [10 x float]*
%35 = getelementptr inbounds [10 x float], [10 x float]* %34, i32 0, i32 0
store float -1.500000e+01, float* %35
%36 = getelementptr inbounds [10 x float], [10 x float]* %34, i32 0, i32 1
store float -1.500000e+01, float* %36
%37 = getelementptr inbounds [10 x float], [10 x float]* %34, i32 0, i32 2
store float 0xC032010620000000, float* %37
%38 = getelementptr inbounds [10 x float], [10 x float]* %34, i32 0, i32 3
store float 0xC032018940000000, float* %38
%39 = bitcast [10 x float]* %10 to i8*
%40 = bitcast i8* %39 to [10 x float]*
%41 = getelementptr inbounds [10 x float], [10 x float]* %40, i32 0, i32 0
store float 1.500000e+01, float* %41
%42 = getelementptr inbounds [10 x float], [10 x float]* %40, i32 0, i32 1
store float 1.500000e+01, float* %42
%43 = getelementptr inbounds [10 x float], [10 x float]* %40, i32 0, i32 2
store float 0x403200C4A0000000, float* %43
%44 = getelementptr inbounds [10 x float], [10 x float]* %40, i32 0, i32 3
store float 0x4032004180000000, float* %44
%45 = bitcast [10 x float]* %11 to i8*
%46 = bitcast [11 x float]* %12 to i8*
store i32 0, i32* %13
%47 = load i32, i32* %13
%48 = icmp eq i32 %47, 0
br i1 %48, label %49, label %85
49: ; preds = %3
store i32 1, i32* %13
store i32 0, i32* %14
br label %50
50: ; preds = %81, %49
%51 = load i32, i32* %14
%52 = load i32, i32* %6
%53 = icmp slt i32 %51, %52
br i1 %53, label %54, label %84
54: ; preds = %50
%55 = load i32, i32* %14
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [10 x float], [10 x float]* %9, i64 0, i64 %56
%58 = load float, float* %57
%59 = load i32, i32* %14
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [10 x float], [10 x float]* %10, i64 0, i64 %60
%62 = load float, float* %61
%63 = fcmp oeq float %58, %62
br i1 %63, label %64, label %65
64: ; preds = %54
br label %81
65: ; preds = %54
%66 = load i32, i32* %14
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [10 x float], [10 x float]* %10, i64 0, i64 %67
%69 = load float, float* %68
%70 = load i32, i32* %14
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [10 x float], [10 x float]* %9, i64 0, i64 %71
%73 = load float, float* %72
%74 = fsub float %69, %73
%75 = fpext float %74 to double
%76 = fdiv double 2.000000e+00, %75
%77 = fptrunc double %76 to float
%78 = load i32, i32* %14
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 %79
store float %77, float* %80
br label %81
81: ; preds = %65, %64
%82 = load i32, i32* %14
%83 = add nsw i32 %82, 1
store i32 %83, i32* %14
br label %50
84: ; preds = %50
br label %85
85: ; preds = %84, %3
%86 = load float*, float** %4
%87 = getelementptr inbounds float, float* %86, i64 0
%88 = load float, float* %87
%89 = getelementptr inbounds [10 x float], [10 x float]* %10, i64 0, i64 0
%90 = load float, float* %89
%91 = fsub float %88, %90
%92 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 0
%93 = load float, float* %92
%94 = fmul float %91, %93
%95 = fpext float %94 to double
%96 = fadd double 1.000000e+00, %95
%97 = fptrunc double %96 to float
store float %97, float* %15
%98 = load float*, float** %5
%99 = getelementptr inbounds float, float* %98, i64 0
%100 = load float, float* %99
%101 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 0
%102 = load float, float* %101
%103 = fmul float %100, %102
store float %103, float* %16
%104 = load float*, float** %4
%105 = getelementptr inbounds float, float* %104, i64 1
%106 = load float, float* %105
%107 = getelementptr inbounds [10 x float], [10 x float]* %10, i64 0, i64 1
%108 = load float, float* %107
%109 = fsub float %106, %108
%110 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 1
%111 = load float, float* %110
%112 = fmul float %109, %111
%113 = fpext float %112 to double
%114 = fadd double 1.000000e+00, %113
%115 = fptrunc double %114 to float
store float %115, float* %17
%116 = load float*, float** %5
%117 = getelementptr inbounds float, float* %116, i64 1
%118 = load float, float* %117
%119 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 1
%120 = load float, float* %119
%121 = fmul float %118, %120
store float %121, float* %18
%122 = load float*, float** %4
%123 = getelementptr inbounds float, float* %122, i64 2
%124 = load float, float* %123
%125 = getelementptr inbounds [10 x float], [10 x float]* %10, i64 0, i64 2
%126 = load float, float* %125
%127 = fsub float %124, %126
%128 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 2
%129 = load float, float* %128
%130 = fmul float %127, %129
%131 = fpext float %130 to double
%132 = fadd double 1.000000e+00, %131
%133 = fptrunc double %132 to float
store float %133, float* %19
%134 = load float*, float** %5
%135 = getelementptr inbounds float, float* %134, i64 2
%136 = load float, float* %135
%137 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 2
%138 = load float, float* %137
%139 = fmul float %136, %138
store float %139, float* %20
%140 = load float*, float** %4
%141 = getelementptr inbounds float, float* %140, i64 3
%142 = load float, float* %141
%143 = getelementptr inbounds [10 x float], [10 x float]* %10, i64 0, i64 3
%144 = load float, float* %143
%145 = fsub float %142, %144
%146 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 3
%147 = load float, float* %146
%148 = fmul float %145, %147
%149 = fpext float %148 to double
%150 = fadd double 1.000000e+00, %149
%151 = fptrunc double %150 to float
store float %151, float* %21
%152 = load float*, float** %5
%153 = getelementptr inbounds float, float* %152, i64 3
%154 = load float, float* %153
%155 = getelementptr inbounds [10 x float], [10 x float]* %11, i64 0, i64 3
%156 = load float, float* %155
%157 = fmul float %154, %156
store float %157, float* %22
%158 = load float, float* %15
store float %158, float* %23
%159 = load float, float* %23
%160 = load float, float* %15
%161 = fmul float %159, %160
store float %161, float* %24
%162 = load float, float* %17
store float %162, float* %25
%163 = load float, float* %25
%164 = load float, float* %17
%165 = fmul float %163, %164
store float %165, float* %26
%166 = load float, float* %19
store float %166, float* %27
%167 = load float, float* %27
%168 = load float, float* %19
%169 = fmul float %167, %168
store float %169, float* %28
%170 = load float, float* %21
store float %170, float* %29
%171 = load float, float* %8
%172 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 0
%173 = load float, float* %172
%174 = fadd float %171, %173
%175 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 1
%176 = load float, float* %175
%177 = load float, float* %23
%178 = call float @llvm.fmuladd.f32(float %176, float %177, float %174)
%179 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 2
%180 = load float, float* %179
%181 = load float, float* %25
%182 = call float @llvm.fmuladd.f32(float %180, float %181, float %178)
%183 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 3
%184 = load float, float* %183
%185 = load float, float* %27
%186 = call float @llvm.fmuladd.f32(float %184, float %185, float %182)
%187 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 4
%188 = load float, float* %187
%189 = load float, float* %29
%190 = call float @llvm.fmuladd.f32(float %188, float %189, float %186)
%191 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 5
%192 = load float, float* %191
%193 = load float, float* %28
%194 = call float @llvm.fmuladd.f32(float %192, float %193, float %190)
%195 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 6
%196 = load float, float* %195
%197 = load float, float* %24
%198 = call float @llvm.fmuladd.f32(float %196, float %197, float %194)
%199 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 7
%200 = load float, float* %199
%201 = load float, float* %25
%202 = fmul float %200, %201
%203 = load float, float* %29
%204 = call float @llvm.fmuladd.f32(float %202, float %203, float %198)
store float %204, float* %30
%205 = load float, float* %30
%206 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 8
%207 = load float, float* %206
%208 = load float, float* %26
%209 = call float @llvm.fmuladd.f32(float %207, float %208, float %205)
%210 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 9
%211 = load float, float* %210
%212 = load float, float* %23
%213 = fmul float %211, %212
%214 = load float, float* %27
%215 = call float @llvm.fmuladd.f32(float %213, float %214, float %209)
store float %215, float* %30
%216 = load float, float* %16
%217 = fadd float 0.000000e+00, %216
%218 = load float, float* %18
%219 = fadd float %217, %218
%220 = load float, float* %20
%221 = fadd float %219, %220
%222 = load float, float* %22
%223 = fadd float %221, %222
store float %223, float* %31
%224 = load float, float* %31
%225 = fcmp oeq float %224, 0.000000e+00
br i1 %225, label %226, label %227
226: ; preds = %85
br label %292
227: ; preds = %85
%228 = load float, float* %16
%229 = load float, float* %16
%230 = fmul float %228, %229
%231 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 1
%232 = load float, float* %231
%233 = fadd float 0.000000e+00, %232
%234 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 6
%235 = load float, float* %234
%236 = fmul float 2.000000e+00, %235
%237 = load float, float* %23
%238 = call float @llvm.fmuladd.f32(float %236, float %237, float %233)
%239 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 9
%240 = load float, float* %239
%241 = load float, float* %27
%242 = call float @llvm.fmuladd.f32(float %240, float %241, float %238)
%243 = call float @pow(float %242, i32 2)
%244 = load float, float* %18
%245 = load float, float* %18
%246 = fmul float %244, %245
%247 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 2
%248 = load float, float* %247
%249 = fadd float 0.000000e+00, %248
%250 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 7
%251 = load float, float* %250
%252 = load float, float* %29
%253 = call float @llvm.fmuladd.f32(float %251, float %252, float %249)
%254 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 8
%255 = load float, float* %254
%256 = fmul float 2.000000e+00, %255
%257 = load float, float* %25
%258 = call float @llvm.fmuladd.f32(float %256, float %257, float %253)
%259 = call float @pow(float %258, i32 2)
%260 = fmul float %246, %259
%261 = call float @llvm.fmuladd.f32(float %230, float %243, float %260)
%262 = load float, float* %20
%263 = load float, float* %20
%264 = fmul float %262, %263
%265 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 3
%266 = load float, float* %265
%267 = fadd float 0.000000e+00, %266
%268 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 5
%269 = load float, float* %268
%270 = fmul float 2.000000e+00, %269
%271 = load float, float* %27
%272 = call float @llvm.fmuladd.f32(float %270, float %271, float %267)
%273 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 9
%274 = load float, float* %273
%275 = load float, float* %23
%276 = call float @llvm.fmuladd.f32(float %274, float %275, float %272)
%277 = call float @pow(float %276, i32 2)
%278 = call float @llvm.fmuladd.f32(float %264, float %277, float %261)
%279 = load float, float* %22
%280 = load float, float* %22
%281 = fmul float %279, %280
%282 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 4
%283 = load float, float* %282
%284 = fadd float 0.000000e+00, %283
%285 = getelementptr inbounds [11 x float], [11 x float]* %12, i64 0, i64 7
%286 = load float, float* %285
%287 = load float, float* %25
%288 = call float @llvm.fmuladd.f32(float %286, float %287, float %284)
%289 = call float @pow(float %288, i32 2)
%290 = call float @llvm.fmuladd.f32(float %281, float %289, float %278)
%291 = call float @sqrt(float %290)
br label %292
292: ; preds = %227, %226
%293 = phi float [ 0.000000e+00, %226 ], [ %291, %227 ]
store float %293, float* %32
%294 = load float, float* %32
%295 = load float*, float** %5
%296 = getelementptr inbounds float, float* %295, i64 0
store float %294, float* %296
%297 = load float, float* %30
ret float %297
}

LLVM IR (-O2):
define float @target_y(float* nocapture %0, float* nocapture %1, i32 %2) {
%4 = alloca [10 x float]
%5 = alloca [10 x float]
%6 = alloca [10 x float]
%7 = bitcast [10 x float]* %4 to i8*
%8 = getelementptr inbounds [10 x float], [10 x float]* %4, i64 0, i64 4
%9 = bitcast float* %8 to i8*
%10 = bitcast [10 x float]* %4 to <4 x float>*
store <4 x float> <float -1.500000e+01, float -1.500000e+01, float 0xC032010620000000, float 0xC032018940000000>, <4 x float>* %10
%11 = bitcast [10 x float]* %5 to i8*
%12 = getelementptr inbounds [10 x float], [10 x float]* %5, i64 0, i64 4
%13 = bitcast float* %12 to i8*
%14 = bitcast [10 x float]* %5 to <4 x float>*
store <4 x float> <float 1.500000e+01, float 1.500000e+01, float 0x403200C4A0000000, float 0x4032004180000000>, <4 x float>* %14
%15 = bitcast [10 x float]* %6 to i8*
%16 = icmp sgt i32 %2, 0
br i1 %16, label %17, label %42
17: ; preds = %3
%18 = zext i32 %2 to i64
br label %19
19: ; preds = %31, %17
%20 = phi float [ 1.500000e+01, %17 ], [ %35, %31 ]
%21 = phi float [ -1.500000e+01, %17 ], [ %33, %31 ]
%22 = phi i64 [ 0, %17 ], [ %29, %31 ]
%23 = fcmp oeq float %21, %20
br i1 %23, label %28, label %24
24: ; preds = %19
%25 = fsub float %20, %21
%26 = fdiv float 2.000000e+00, %25
%27 = getelementptr inbounds [10 x float], [10 x float]* %6, i64 0, i64 %22
store float %26, float* %27
br label %28
28: ; preds = %19, %24
%29 = add nuw nsw i64 %22, 1
%30 = icmp eq i64 %29, %18
br i1 %30, label %36, label %31
31: ; preds = %28
%32 = getelementptr inbounds [10 x float], [10 x float]* %4, i64 0, i64 %29
%33 = load float, float* %32
%34 = getelementptr inbounds [10 x float], [10 x float]* %5, i64 0, i64 %29
%35 = load float, float* %34
br label %19
36: ; preds = %28
%37 = bitcast [10 x float]* %6 to <2 x float>*
%38 = load <2 x float>, <2 x float>* %37
%39 = getelementptr inbounds [10 x float], [10 x float]* %6, i64 0, i64 2
%40 = bitcast float* %39 to <2 x float>*
%41 = load <2 x float>, <2 x float>* %40
br label %42
42: ; preds = %36, %3
%43 = phi <2 x float> [ %41, %36 ], [ zeroinitializer, %3 ]
%44 = phi <2 x float> [ %38, %36 ], [ zeroinitializer, %3 ]
%45 = load float, float* %0
%46 = fadd float %45, -1.500000e+01
%47 = extractelement <2 x float> %44, i64 0
%48 = fmul float %46, %47
%49 = fadd float %48, 1.000000e+00
%50 = getelementptr inbounds float, float* %0, i64 1
%51 = load float, float* %50
%52 = fadd float %51, -1.500000e+01
%53 = extractelement <2 x float> %44, i64 1
%54 = fmul float %52, %53
%55 = fadd float %54, 1.000000e+00
%56 = bitcast float* %1 to <2 x float>*
%57 = load <2 x float>, <2 x float>* %56
%58 = fmul <2 x float> %44, %57
%59 = getelementptr inbounds float, float* %0, i64 2
%60 = load float, float* %59
%61 = fadd float %60, 0xC03200C4A0000000
%62 = extractelement <2 x float> %43, i64 0
%63 = fmul float %61, %62
%64 = fadd float %63, 1.000000e+00
%65 = getelementptr inbounds float, float* %1, i64 2
%66 = getelementptr inbounds float, float* %0, i64 3
%67 = load float, float* %66
%68 = fadd float %67, 0xC032004180000000
%69 = extractelement <2 x float> %43, i64 1
%70 = fmul float %68, %69
%71 = fadd float %70, 1.000000e+00
%72 = bitcast float* %65 to <2 x float>*
%73 = load <2 x float>, <2 x float>* %72
%74 = fmul <2 x float> %43, %73
%75 = extractelement <2 x float> %58, i64 0
%76 = fadd float %75, 0.000000e+00
%77 = extractelement <2 x float> %58, i64 1
%78 = fadd float %76, %77
%79 = extractelement <2 x float> %74, i64 0
%80 = fadd float %78, %79
%81 = extractelement <2 x float> %74, i64 1
%82 = fadd float %80, %81
%83 = fcmp oeq float %82, 0.000000e+00
br i1 %83, label %107, label %84
84: ; preds = %42
%85 = fmul <2 x float> %58, %58
%86 = extractelement <2 x float> %85, i64 0
%87 = tail call float @llvm.fmuladd.f32(float %49, float 0x3FAA4537E0000000, float 0xC00A962EE0000000)
%88 = tail call float @llvm.fmuladd.f32(float %64, float 0xBFB859F700000000, float %87)
%89 = tail call float @pow(float %88, i32 2)
%90 = fmul float %77, %77
%91 = tail call float @llvm.fmuladd.f32(float %71, float 0x3F88D487A0000000, float 0xC043C6C400000000)
%92 = tail call float @llvm.fmuladd.f32(float %55, float 0xBF908B3320000000, float %91)
%93 = tail call float @pow(float %92, i32 2)
%94 = fmul float %90, %93
%95 = tail call float @llvm.fmuladd.f32(float %86, float %89, float %94)
%96 = fmul <2 x float> %74, %74
%97 = extractelement <2 x float> %96, i64 0
%98 = tail call float @llvm.fmuladd.f32(float %64, float 0x3FC60DD820000000, float 0x4015A1C380000000)
%99 = tail call float @llvm.fmuladd.f32(float %49, float 0xBFB859F700000000, float %98)
%100 = tail call float @pow(float %99, i32 2)
%101 = tail call float @llvm.fmuladd.f32(float %97, float %100, float %95)
%102 = fmul float %81, %81
%103 = tail call float @llvm.fmuladd.f32(float %55, float 0x3F88D487A0000000, float 0x4050585600000000)
%104 = tail call float @pow(float %103, i32 2)
%105 = tail call float @llvm.fmuladd.f32(float %102, float %104, float %101)
%106 = tail call float @sqrt(float %105)
br label %107
107: ; preds = %42, %84
%108 = phi float [ %106, %84 ], [ 0.000000e+00, %42 ]
%109 = fmul float %49, 0xBFB859F700000000
%110 = fmul float %55, %55
%111 = fmul float %55, 0x3F88D487A0000000
%112 = fmul float %49, %49
%113 = fmul float %64, %64
%114 = tail call float @llvm.fmuladd.f32(float %49, float 0xC00A962EE0000000, float 0x3FF5332A80000000)
%115 = tail call float @llvm.fmuladd.f32(float %55, float 0xC043C6C400000000, float %114)
%116 = tail call float @llvm.fmuladd.f32(float %64, float 0x4015A1C380000000, float %115)
%117 = tail call float @llvm.fmuladd.f32(float %71, float 0x4050585600000000, float %116)
%118 = tail call float @llvm.fmuladd.f32(float %113, float 0x3FB60DD820000000, float %117)
%119 = tail call float @llvm.fmuladd.f32(float %112, float 0x3F9A4537E0000000, float %118)
%120 = tail call float @llvm.fmuladd.f32(float %111, float %71, float %119)
%121 = tail call float @llvm.fmuladd.f32(float %110, float 0xBF808B3320000000, float %120)
%122 = tail call float @llvm.fmuladd.f32(float %109, float %64, float %121)
store float %108, float* %1
ret float %122
}