int tautString_TV1_Weighted(double *y, double *lambda, double *x, int n) {
  double mn, mx;
  double mnHeight, mxHeight;
  int mnBreak, mxBreak;
  int lastBreak;
  int i, j;
  mnHeight = mxHeight = 0;
  mn = -lambda[0] + y[0];
  mx = lambda[0] + y[0];
  lastBreak = -1;
  mnBreak = mxBreak = 0;
  i = 0;
  while (i < n) {
    while (i < n - 1) {
      mnHeight += mn - y[i];
      if (lambda[i] < mnHeight) {
        i = mnBreak + 1;
        for (j = lastBreak + 1; j <= mnBreak; j++)
          x[j] = mn;
        lastBreak = mnBreak;
        mn = y[i] + lambda[i - 1] - lambda[i];
        mx = y[i] + lambda[i - 1] + lambda[i];
        mxHeight = lambda[i];
        mnHeight = -lambda[i];
        mnBreak = mxBreak = i;
        i++;
        continue;
      }
      mxHeight += mx - y[i];
      if (-lambda[i] > mxHeight) {
        i = mxBreak + 1;
        for (j = lastBreak + 1; j <= mxBreak; j++)
          x[j] = mx;
        lastBreak = mxBreak;
        mx = y[i] - lambda[i - 1] + lambda[i];
        mn = y[i] - lambda[i - 1] - lambda[i];
        mxHeight = lambda[i];
        mnHeight = -lambda[i];
        mnBreak = mxBreak = i;
        i++;
        continue;
      }
      if (mxHeight >= lambda[i]) {
        mx += (lambda[i] - mxHeight) / (i - lastBreak);
        mxHeight = lambda[i];
        mxBreak = i;
      }
      if (mnHeight <= -lambda[i]) {
        mn += (-lambda[i] - mnHeight) / (i - lastBreak);
        mnHeight = -lambda[i];
        mnBreak = i;
      }
      i++;
    }
    mnHeight += mn - y[i];
    if ((mnHeight > 1e-10)) {
      i = mnBreak + 1;
      for (j = lastBreak + 1; j <= mnBreak; j++)
        x[j] = mn;
      lastBreak = mnBreak;
      mn = y[i] + lambda[i - 1] - (i == n - 1 ? 0 : lambda[i]);
      mx = y[i] + lambda[i - 1] + (i == n - 1 ? 0 : lambda[i]);
      mxHeight = mnHeight = -lambda[i - 1];
      mnBreak = mxBreak = i;
      continue;
    }
    mxHeight += mx - y[i];
    if ((mxHeight < -1e-10)) {
      i = mxBreak + 1;
      for (j = lastBreak + 1; j <= mxBreak; j++)
        x[j] = mx;
      lastBreak = mxBreak;
      mx = y[i] - lambda[i - 1] + (i == n - 1 ? 0 : lambda[i]);
      mn = y[i] - lambda[i - 1] - (i == n - 1 ? 0 : lambda[i]);
      mxHeight = mnHeight = lambda[i - 1];
      mnBreak = mxBreak = i;
      continue;
    }
    if (mnHeight <= 0) {
      mn += (-mnHeight) / (i - lastBreak);
    }
    i++;
  }
  for (i = lastBreak + 1; i < n; i++)
    x[i] = mn;
  return 1;
}


x86 assembly (clang, -O0):
<tautString_TV1_Weighted>:
push   %rbp
mov    %rsp,%rbp
sub    $0x18,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    -0x8(%rbp),%rax
addsd  (%rax),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
addsd  (%rax),%xmm0
movsd  %xmm0,-0x30(%rbp)
movl   $0xffffffff,-0x4c(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    187d <tautString_TV1_Weighted+0x77d>
jmp    1195 <tautString_TV1_Weighted+0x95>
mov    -0x50(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1524 <tautString_TV1_Weighted+0x424>
movsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
addsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12d6 <tautString_TV1_Weighted+0x1d6>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x44(%rbp),%eax
jg     121c <tautString_TV1_Weighted+0x11c>
movsd  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    11f0 <tautString_TV1_Weighted+0xf0>
mov    -0x44(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1195 <tautString_TV1_Weighted+0x95>
movsd  -0x30(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    1419 <tautString_TV1_Weighted+0x319>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x48(%rbp),%eax
jg     135f <tautString_TV1_Weighted+0x25f>
movsd  -0x30(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1333 <tautString_TV1_Weighted+0x233>
mov    -0x48(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1195 <tautString_TV1_Weighted+0x95>
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jb     1473 <tautString_TV1_Weighted+0x373>
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x40(%rbp),%xmm0
mov    -0x50(%rbp),%eax
sub    -0x4c(%rbp),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x48(%rbp)
movsd  -0x38(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd %xmm1,%xmm0
jb     1516 <tautString_TV1_Weighted+0x416>
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
subsd  -0x38(%rbp),%xmm0
mov    -0x50(%rbp),%eax
sub    -0x4c(%rbp),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1195 <tautString_TV1_Weighted+0x95>
movsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
addsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  0xab3(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    16aa <tautString_TV1_Weighted+0x5aa>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x44(%rbp),%eax
jg     1595 <tautString_TV1_Weighted+0x495>
movsd  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1569 <tautString_TV1_Weighted+0x469>
mov    -0x44(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    15dd <tautString_TV1_Weighted+0x4dd>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x68(%rbp)
jmp    15ef <tautString_TV1_Weighted+0x4ef>
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x60(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1644 <tautString_TV1_Weighted+0x544>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x78(%rbp)
jmp    1656 <tautString_TV1_Weighted+0x556>
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  -0x78(%rbp),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  %xmm0,-0x40(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    %eax,-0x44(%rbp)
jmp    1184 <tautString_TV1_Weighted+0x84>
movsd  -0x30(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0x93a(%rip),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    182d <tautString_TV1_Weighted+0x72d>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x48(%rbp),%eax
jg     1717 <tautString_TV1_Weighted+0x617>
movsd  -0x30(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    16eb <tautString_TV1_Weighted+0x5eb>
mov    -0x48(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1762 <tautString_TV1_Weighted+0x662>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
jmp    1777 <tautString_TV1_Weighted+0x677>
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x80(%rbp),%xmm0
movsd  -0x88(%rbp),%xmm1
ff
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
mov    -0x50(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    17d5 <tautString_TV1_Weighted+0x6d5>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
jmp    17ea <tautString_TV1_Weighted+0x6ea>
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm1
ff
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  %xmm0,-0x40(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    %eax,-0x44(%rbp)
jmp    1184 <tautString_TV1_Weighted+0x84>
xorps  %xmm0,%xmm0
ucomisd -0x38(%rbp),%xmm0
jb     186f <tautString_TV1_Weighted+0x76f>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    -0x50(%rbp),%eax
sub    -0x4c(%rbp),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1184 <tautString_TV1_Weighted+0x84>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    18b2 <tautString_TV1_Weighted+0x7b2>
movsd  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x50(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1886 <tautString_TV1_Weighted+0x786>
mov    $0x1,%eax
add    $0x18,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tautString_TV1_Weighted>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movsd  (%rsi),%xmm4
movsd  (%rdi),%xmm0
movapd %xmm0,%xmm2
subsd  %xmm4,%xmm2
test   %ecx,%ecx
jle    17ca <tautString_TV1_Weighted+0x6ca>
addsd  %xmm0,%xmm4
lea    -0x1(%rcx),%r11d
lea    0x78(%rdx),%rax
mov    %rax,-0x10(%rsp)
lea    0x18(%rdx),%rax
mov    %rax,-0x8(%rsp)
xorpd  %xmm8,%xmm8
mov    $0xffffffff,%r12d
xor    %eax,%eax
movapd 0xeaf(%rip),%xmm1
movsd  0xeb6(%rip),%xmm10
movsd  0xeb5(%rip),%xmm9
xor    %ebp,%ebp
xor    %r15d,%r15d
xorpd  %xmm3,%xmm3
xorpd  %xmm0,%xmm0
jmp    119a <tautString_TV1_Weighted+0x9a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
addsd  %xmm3,%xmm4
xorpd  %xmm1,%xmm0
movapd %xmm0,%xmm3
mov    %r15d,%ebp
mov    %r15d,%eax
cmp    %ecx,%eax
jge    17d0 <tautString_TV1_Weighted+0x6d0>
mov    %r12d,%r13d
mov    %ebp,%r9d
movapd %xmm0,%xmm7
mov    %r12d,%ebx
mov    %r15d,%r12d
cmp    %r11d,%eax
jge    14f6 <tautString_TV1_Weighted+0x3f6>
cltq
movslq %r13d,%rbx
mov    %ebx,%r8d
neg    %r8d
mov    %r9d,%r14d
mov    %r15d,%r12d
jmp    11dd <tautString_TV1_Weighted+0xdd>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    %r11,%rax
jge    14f0 <tautString_TV1_Weighted+0x3f0>
movapd %xmm7,%xmm6
movsd  (%rdi,%rax,8),%xmm0
movapd %xmm2,%xmm7
subsd  %xmm0,%xmm7
addsd  %xmm6,%xmm7
movsd  (%rsi,%rax,8),%xmm6
ucomisd %xmm6,%xmm7
ja     1270 <tautString_TV1_Weighted+0x170>
movapd %xmm4,%xmm5
subsd  %xmm0,%xmm5
addsd  %xmm5,%xmm3
movapd %xmm6,%xmm0
xorpd  %xmm1,%xmm0
ucomisd %xmm3,%xmm0
ja     12d0 <tautString_TV1_Weighted+0x1d0>
ucomisd %xmm6,%xmm3
jb     1243 <tautString_TV1_Weighted+0x143>
movapd %xmm6,%xmm5
subsd  %xmm3,%xmm5
lea    (%r8,%rax,1),%ebp
xorps  %xmm3,%xmm3
cvtsi2sd %ebp,%xmm3
divsd  %xmm3,%xmm5
addsd  %xmm5,%xmm4
movapd %xmm6,%xmm3
mov    %eax,%r14d
ucomisd %xmm7,%xmm0
jb     11d0 <tautString_TV1_Weighted+0xd0>
movapd %xmm0,%xmm5
subsd  %xmm7,%xmm5
lea    (%r8,%rax,1),%ebp
xorps  %xmm6,%xmm6
cvtsi2sd %ebp,%xmm6
divsd  %xmm6,%xmm5
addsd  %xmm5,%xmm2
movapd %xmm0,%xmm7
mov    %eax,%r12d
jmp    11d0 <tautString_TV1_Weighted+0xd0>
lea    0x1(%r12),%r9d
movslq %r12d,%r14
cmp    %r12d,%r13d
jge    13cf <tautString_TV1_Weighted+0x2cf>
mov    %r14,%r15
sub    %rbx,%r15
cmp    $0x4,%r15
jb     13c0 <tautString_TV1_Weighted+0x2c0>
mov    %r15,%r8
and    $0xfffffffffffffffc,%r8
movapd %xmm2,%xmm0
unpcklpd %xmm2,%xmm0
lea    -0x4(%r8),%rax
mov    %rax,%rbp
shr    $0x2,%rbp
add    $0x1,%rbp
mov    %ebp,%r13d
and    $0x3,%r13d
cmp    $0xc,%rax
jae    1326 <tautString_TV1_Weighted+0x226>
xor    %eax,%eax
jmp    1381 <tautString_TV1_Weighted+0x281>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0x1(%r14),%r9d
movslq %r14d,%r8
cmp    %r14d,%r13d
jge    149f <tautString_TV1_Weighted+0x39f>
mov    %r8,%r13
sub    %rbx,%r13
cmp    $0x4,%r13
jb     1490 <tautString_TV1_Weighted+0x390>
mov    %r13,%r15
and    $0xfffffffffffffffc,%r15
movapd %xmm4,%xmm0
unpcklpd %xmm4,%xmm0
lea    -0x4(%r15),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
mov    %r10d,%r12d
and    $0x3,%r12d
cmp    $0xc,%rax
jae    13f3 <tautString_TV1_Weighted+0x2f3>
xor    %eax,%eax
jmp    144a <tautString_TV1_Weighted+0x34a>
movabs $0x7ffffffffffffffc,%rax
ff ff 7f
and    %rax,%rbp
mov    -0x10(%rsp),%rax
lea    (%rax,%rbx,8),%r10
xor    %eax,%eax
xchg   %ax,%ax
movupd %xmm0,-0x70(%r10,%rax,8)
movupd %xmm0,-0x60(%r10,%rax,8)
movupd %xmm0,-0x50(%r10,%rax,8)
movupd %xmm0,-0x40(%r10,%rax,8)
movupd %xmm0,-0x30(%r10,%rax,8)
movupd %xmm0,-0x20(%r10,%rax,8)
movupd %xmm0,-0x10(%r10,%rax,8)
movupd %xmm0,(%r10,%rax,8)
add    $0x10,%rax
add    $0xfffffffffffffffc,%rbp
jne    1340 <tautString_TV1_Weighted+0x240>
test   %r13,%r13
je     13b4 <tautString_TV1_Weighted+0x2b4>
add    %rbx,%rax
mov    -0x8(%rsp),%rbp
lea    0x0(,%rax,8),%rax
add    %rbp,%rax
shl    $0x5,%r13
xor    %ebp,%ebp
nop
movupd %xmm0,-0x10(%rax,%rbp,1)
movupd %xmm0,(%rax,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%r13
jne    13a0 <tautString_TV1_Weighted+0x2a0>
cmp    %r8,%r15
je     13cf <tautString_TV1_Weighted+0x2cf>
add    %r8,%rbx
nopl   0x0(%rax)
movsd  %xmm2,0x8(%rdx,%rbx,8)
add    $0x1,%rbx
cmp    %rbx,%r14
jne    13c0 <tautString_TV1_Weighted+0x2c0>
movslq %r9d,%rax
movsd  (%rdi,%rax,8),%xmm4
addsd  (%rsi,%r14,8),%xmm4
movsd  (%rsi,%rax,8),%xmm3
movapd %xmm4,%xmm2
subsd  %xmm3,%xmm2
addsd  %xmm3,%xmm4
jmp    14c1 <tautString_TV1_Weighted+0x3c1>
movabs $0x7ffffffffffffffc,%rax
ff ff 7f
and    %rax,%r10
mov    -0x10(%rsp),%rax
lea    (%rax,%rbx,8),%rbp
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movupd %xmm0,-0x70(%rbp,%rax,8)
movupd %xmm0,-0x60(%rbp,%rax,8)
movupd %xmm0,-0x50(%rbp,%rax,8)
movupd %xmm0,-0x40(%rbp,%rax,8)
movupd %xmm0,-0x30(%rbp,%rax,8)
movupd %xmm0,-0x20(%rbp,%rax,8)
movupd %xmm0,-0x10(%rbp,%rax,8)
movupd %xmm0,0x0(%rbp,%rax,8)
add    $0x10,%rax
add    $0xfffffffffffffffc,%r10
jne    1410 <tautString_TV1_Weighted+0x310>
test   %r12,%r12
je     1484 <tautString_TV1_Weighted+0x384>
add    %rbx,%rax
mov    -0x8(%rsp),%rbp
lea    0x0(,%rax,8),%rax
add    %rbp,%rax
shl    $0x5,%r12
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
movupd %xmm0,-0x10(%rax,%rbp,1)
movupd %xmm0,(%rax,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%r12
jne    1470 <tautString_TV1_Weighted+0x370>
cmp    %r15,%r13
je     149f <tautString_TV1_Weighted+0x39f>
add    %r15,%rbx
nopl   0x0(%rax)
movsd  %xmm4,0x8(%rdx,%rbx,8)
add    $0x1,%rbx
cmp    %rbx,%r8
jne    1490 <tautString_TV1_Weighted+0x390>
movslq %r9d,%rax
movsd  (%rdi,%rax,8),%xmm2
subsd  (%rsi,%r8,8),%xmm2
movsd  (%rsi,%rax,8),%xmm3
movapd %xmm2,%xmm4
addsd  %xmm3,%xmm4
subsd  %xmm3,%xmm2
mov    %r14d,%r12d
movapd %xmm3,%xmm7
xorpd  %xmm1,%xmm7
lea    0x2(%r12),%eax
mov    %r12d,%r13d
mov    %r9d,%r15d
mov    %r12d,%ebx
mov    %r9d,%r12d
cmp    %r11d,%eax
jl     11b3 <tautString_TV1_Weighted+0xb3>
jmp    14f6 <tautString_TV1_Weighted+0x3f6>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r13d,%ebx
mov    %r14d,%r9d
movslq %eax,%rbp
movsd  (%rdi,%rbp,8),%xmm6
movapd %xmm2,%xmm0
subsd  %xmm6,%xmm0
addsd  %xmm7,%xmm0
ucomisd %xmm10,%xmm0
jbe    1570 <tautString_TV1_Weighted+0x470>
lea    0x1(%r12),%r15d
cmp    %r12d,%ebx
jge    15e0 <tautString_TV1_Weighted+0x4e0>
movslq %ebx,%rbp
movslq %r12d,%r13
mov    %r13,%r14
sub    %rbp,%r14
cmp    $0x4,%r14
jb     16b0 <tautString_TV1_Weighted+0x5b0>
mov    %r14,%r8
and    $0xfffffffffffffffc,%r8
movapd %xmm2,%xmm0
unpcklpd %xmm2,%xmm0
lea    -0x4(%r8),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
mov    %r10d,%r9d
and    $0x3,%r9d
cmp    $0xc,%rax
jae    1627 <tautString_TV1_Weighted+0x527>
xor    %eax,%eax
jmp    1679 <tautString_TV1_Weighted+0x579>
nopl   0x0(%rax,%rax,1)
movapd %xmm4,%xmm5
subsd  %xmm6,%xmm5
addsd  %xmm5,%xmm3
ucomisd %xmm3,%xmm9
jbe    15f0 <tautString_TV1_Weighted+0x4f0>
lea    0x1(%r9),%r15d
cmp    %r9d,%ebx
jge    161f <tautString_TV1_Weighted+0x51f>
movslq %ebx,%rbp
movslq %r9d,%r13
mov    %r13,%r12
sub    %rbp,%r12
cmp    $0x4,%r12
jb     1780 <tautString_TV1_Weighted+0x680>
mov    %r12,%r8
and    $0xfffffffffffffffc,%r8
movapd %xmm4,%xmm0
unpcklpd %xmm4,%xmm0
lea    -0x4(%r8),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
mov    %r10d,%r14d
and    $0x3,%r14d
cmp    $0xc,%rax
jae    16f4 <tautString_TV1_Weighted+0x5f4>
xor    %eax,%eax
jmp    1749 <tautString_TV1_Weighted+0x649>
nopl   0x0(%rax)
movslq %r12d,%r13
jmp    16bf <tautString_TV1_Weighted+0x5bf>
nopl   0x0(%rax,%rax,1)
ucomisd %xmm0,%xmm8
jb     160e <tautString_TV1_Weighted+0x50e>
mov    %eax,%ebp
sub    %ebx,%ebp
xorps  %xmm5,%xmm5
cvtsi2sd %ebp,%xmm5
movapd %xmm0,%xmm6
divsd  %xmm5,%xmm6
subsd  %xmm6,%xmm2
add    $0x1,%eax
mov    %r12d,%r15d
mov    %r9d,%ebp
mov    %ebx,%r12d
jmp    1192 <tautString_TV1_Weighted+0x92>
movslq %r9d,%r13
jmp    178f <tautString_TV1_Weighted+0x68f>
movabs $0x7ffffffffffffffc,%rax
ff ff 7f
and    %rax,%r10
mov    -0x10(%rsp),%rax
lea    (%rax,%rbp,8),%rbx
xor    %eax,%eax
nop
movupd %xmm0,-0x70(%rbx,%rax,8)
movupd %xmm0,-0x60(%rbx,%rax,8)
movupd %xmm0,-0x50(%rbx,%rax,8)
movupd %xmm0,-0x40(%rbx,%rax,8)
movupd %xmm0,-0x30(%rbx,%rax,8)
movupd %xmm0,-0x20(%rbx,%rax,8)
movupd %xmm0,-0x10(%rbx,%rax,8)
movupd %xmm0,(%rbx,%rax,8)
add    $0x10,%rax
add    $0xfffffffffffffffc,%r10
jne    1640 <tautString_TV1_Weighted+0x540>
test   %r9,%r9
je     16a4 <tautString_TV1_Weighted+0x5a4>
add    %rbp,%rax
mov    -0x8(%rsp),%rbx
lea    (%rbx,%rax,8),%rax
shl    $0x5,%r9
xor    %ebx,%ebx
movupd %xmm0,-0x10(%rax,%rbx,1)
movupd %xmm0,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r9
jne    1690 <tautString_TV1_Weighted+0x590>
cmp    %r8,%r14
je     16bf <tautString_TV1_Weighted+0x5bf>
add    %r8,%rbp
nopl   0x0(%rax)
movsd  %xmm2,0x8(%rdx,%rbp,8)
add    $0x1,%rbp
cmp    %rbp,%r13
jne    16b0 <tautString_TV1_Weighted+0x5b0>
movslq %r15d,%rax
movsd  (%rsi,%r13,8),%xmm0
movsd  (%rdi,%rax,8),%xmm4
addsd  %xmm0,%xmm4
xorpd  %xmm3,%xmm3
movapd %xmm4,%xmm2
cmp    %r11d,%eax
je     1180 <tautString_TV1_Weighted+0x80>
movsd  (%rsi,%rax,8),%xmm3
movapd %xmm4,%xmm2
subsd  %xmm3,%xmm2
jmp    1180 <tautString_TV1_Weighted+0x80>
movabs $0x7ffffffffffffffc,%rax
ff ff 7f
and    %rax,%r10
mov    -0x10(%rsp),%rax
lea    (%rax,%rbp,8),%rbx
xor    %eax,%eax
nopl   0x0(%rax)
movupd %xmm0,-0x70(%rbx,%rax,8)
movupd %xmm0,-0x60(%rbx,%rax,8)
movupd %xmm0,-0x50(%rbx,%rax,8)
movupd %xmm0,-0x40(%rbx,%rax,8)
movupd %xmm0,-0x30(%rbx,%rax,8)
movupd %xmm0,-0x20(%rbx,%rax,8)
movupd %xmm0,-0x10(%rbx,%rax,8)
movupd %xmm0,(%rbx,%rax,8)
add    $0x10,%rax
add    $0xfffffffffffffffc,%r10
jne    1710 <tautString_TV1_Weighted+0x610>
test   %r14,%r14
je     1774 <tautString_TV1_Weighted+0x674>
add    %rbp,%rax
mov    -0x8(%rsp),%rbx
lea    (%rbx,%rax,8),%rax
shl    $0x5,%r14
xor    %ebx,%ebx
movupd %xmm0,-0x10(%rax,%rbx,1)
movupd %xmm0,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r14
jne    1760 <tautString_TV1_Weighted+0x660>
cmp    %r8,%r12
je     178f <tautString_TV1_Weighted+0x68f>
add    %r8,%rbp
nopl   0x0(%rax)
movsd  %xmm4,0x8(%rdx,%rbp,8)
add    $0x1,%rbp
cmp    %rbp,%r13
jne    1780 <tautString_TV1_Weighted+0x680>
movslq %r15d,%rax
movsd  (%rdi,%rax,8),%xmm2
movsd  (%rsi,%r13,8),%xmm0
xorpd  %xmm3,%xmm3
cmp    %r11d,%eax
je     17ab <tautString_TV1_Weighted+0x6ab>
movsd  (%rsi,%rax,8),%xmm3
subsd  %xmm0,%xmm2
movapd %xmm2,%xmm4
addsd  %xmm3,%xmm4
subsd  %xmm3,%xmm2
movapd %xmm0,%xmm3
mov    %r15d,%ebp
mov    %r9d,%r12d
jmp    118f <tautString_TV1_Weighted+0x8f>
mov    $0xffffffff,%r12d
lea    0x1(%r12),%eax
cmp    %ecx,%eax
jge    18bd <tautString_TV1_Weighted+0x7bd>
cltq
mov    %ecx,%r9d
sub    %r12d,%r9d
add    $0xfffffffe,%r9d
cmp    $0x3,%r9d
jb     18ac <tautString_TV1_Weighted+0x7ac>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
movapd %xmm2,%xmm0
unpcklpd %xmm2,%xmm0
lea    -0x4(%r8),%rsi
mov    %rsi,%rbp
shr    $0x2,%rbp
add    $0x1,%rbp
mov    %ebp,%ebx
and    $0x3,%ebx
cmp    $0xc,%rsi
jae    1824 <tautString_TV1_Weighted+0x724>
xor    %edi,%edi
jmp    1879 <tautString_TV1_Weighted+0x779>
and    $0xfffffffffffffffc,%rbp
lea    (%rdx,%rax,8),%rsi
add    $0x70,%rsi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movupd %xmm0,-0x70(%rsi,%rdi,8)
movupd %xmm0,-0x60(%rsi,%rdi,8)
movupd %xmm0,-0x50(%rsi,%rdi,8)
movupd %xmm0,-0x40(%rsi,%rdi,8)
movupd %xmm0,-0x30(%rsi,%rdi,8)
movupd %xmm0,-0x20(%rsi,%rdi,8)
movupd %xmm0,-0x10(%rsi,%rdi,8)
movupd %xmm0,(%rsi,%rdi,8)
add    $0x10,%rdi
add    $0xfffffffffffffffc,%rbp
jne    1840 <tautString_TV1_Weighted+0x740>
test   %rbx,%rbx
je     18a4 <tautString_TV1_Weighted+0x7a4>
add    %rax,%rdi
lea    (%rdx,%rdi,8),%rsi
add    $0x10,%rsi
shl    $0x5,%rbx
xor    %edi,%edi
nop
movupd %xmm0,-0x10(%rsi,%rdi,1)
movupd %xmm0,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%rbx
jne    1890 <tautString_TV1_Weighted+0x790>
cmp    %r8,%r9
je     18bd <tautString_TV1_Weighted+0x7bd>
add    %r8,%rax
mov    %ecx,%ecx
xchg   %ax,%ax
movsd  %xmm2,(%rdx,%rax,8)
add    $0x1,%rax
cmp    %eax,%ecx
jne    18b0 <tautString_TV1_Weighted+0x7b0>
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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