#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 */
int fabs(double);
int /*<<< orphan*/ gepp(double **, int, int, double *, double);
double cond2(int m, int a[], double p[], double pp[][20], double p3[][20][20],
             double p4[][20][20][20], int *idt) {
  double A[300][300];
  double det, tem;
  int i, j, mm, ii, jj, k, l;
  mm = (m * (m - 1)) / 2;
  for (i = 1; i < m; i++) {
    for (j = 1; j < m; j++)
      A[i][j] = pp[a[i]][a[j]] - p[a[i]] * p[a[j]];
    A[i][mm + 1] = pp[a[i]][a[m]] - p[a[i]] * p[a[m]];
    ;
  }
  for (i = 1; i < m; i++) {
    for (j = 1, jj = m - 1; j < m - 1; j++) {
      for (k = j + 1; k < m; k++) {
        jj++;
        A[i][jj] = p3[a[i]][a[j]][a[k]];
        A[jj][i] = A[i][jj];
      }
    }
  }
  for (i = 1, ii = m - 1; i < m - 1; i++) {
    for (j = i + 1; j < m; j++) {
      ii++;
      for (k = 1, jj = m - 1; k < m - 1; k++) {
        for (l = k + 1; l < m; l++) {
          jj++;
          A[ii][jj] = p4[a[i]][a[j]][a[k]][a[l]];
        }
      }
      A[ii][mm + 1] = p3[a[m]][a[i]][a[j]];
    }
  }
  *idt = 1;
  gepp(A, mm, mm + 1, &det, 1.e-8);
  if (fabs(det) == 0.) {
    *idt = 0;
  }
  for (i = 1, tem = 0.; i < m; i++)
    tem += A[i][mm + 1] * (1. - p[a[i]]);
  for (i = 1, ii = m - 1; i < m - 1; i++) {
    for (j = i + 1; j < m; j++) {
      ii++;
      tem += A[ii][mm + 1] * (1. - pp[a[i]][a[j]]);
    }
  }
  tem += p[a[m]];
  if (tem > 1.)
    tem = 1;
  if (tem < 0.)
    tem = 0.;
  return (tem);
}


x86 assembly (clang, -O0):
<cond2>:
push   %rbp
mov    %rsp,%rbp
sub    $0xafce0,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x4(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0xafccc(%rbp)
movl   $0x1,-0xafcc4(%rbp)
mov    -0xafcc4(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1301 <cond2+0x1e1>
movl   $0x1,-0xafcc8(%rbp)
mov    -0xafcc8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    124a <cond2+0x12a>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movslq -0xafcc4(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcc8(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafcc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc8(%rbp)
jmp    1183 <cond2+0x63>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movslq -0xafcc4(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
mov    -0xafccc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc4(%rbp)
jmp    116a <cond2+0x4a>
movl   $0x1,-0xafcc4(%rbp)
mov    -0xafcc4(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    146d <cond2+0x34d>
movl   $0x1,-0xafcc8(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xafcd4(%rbp)
mov    -0xafcc8(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1454 <cond2+0x334>
mov    -0xafcc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd8(%rbp)
mov    -0xafcd8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    143b <cond2+0x31b>
mov    -0xafcd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd4(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xc80,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcd8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafcc4(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcd4(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movslq -0xafcc4(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcd4(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafcd4(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcc4(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafcd8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd8(%rbp)
jmp    1353 <cond2+0x233>
jmp    1440 <cond2+0x320>
mov    -0xafcc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc8(%rbp)
jmp    1330 <cond2+0x210>
jmp    1459 <cond2+0x339>
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc4(%rbp)
jmp    130b <cond2+0x1eb>
movl   $0x1,-0xafcc4(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xafcd0(%rbp)
mov    -0xafcc4(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    166c <cond2+0x54c>
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc8(%rbp)
mov    -0xafcc8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1653 <cond2+0x533>
mov    -0xafcd0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd0(%rbp)
movl   $0x1,-0xafcd8(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xafcd4(%rbp)
mov    -0xafcd8(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    15cf <cond2+0x4af>
mov    -0xafcd8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcdc(%rbp)
mov    -0xafcdc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    15b6 <cond2+0x496>
mov    -0xafcd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd4(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xfa00,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xc80,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcd8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcdc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafcd0(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcd4(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafcdc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcdc(%rbp)
jmp    14fd <cond2+0x3dd>
jmp    15bb <cond2+0x49b>
mov    -0xafcd8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd8(%rbp)
jmp    14da <cond2+0x3ba>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xc80,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafcd0(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
mov    -0xafccc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafcc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc8(%rbp)
jmp    14a6 <cond2+0x386>
jmp    1658 <cond2+0x538>
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc4(%rbp)
jmp    1483 <cond2+0x363>
mov    0x10(%rbp),%rax
movl   $0x1,(%rax)
lea    -0xafcb0(%rbp),%rdi
mov    -0xafccc(%rbp),%esi
mov    -0xafccc(%rbp),%edx
add    $0x1,%edx
lea    -0xafcb8(%rbp),%rcx
movsd  0x965(%rip),%xmm0
call   1040 <gepp@plt>
movsd  -0xafcb8(%rbp),%xmm0
ff
call   1030 <fabs@plt>
cvtsi2sd %eax,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    16ce <cond2+0x5ae>
jp     16ce <cond2+0x5ae>
mov    0x10(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x1,-0xafcc4(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
mov    -0xafcc4(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1767 <cond2+0x647>
movslq -0xafcc4(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
mov    -0xafccc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  0x8d2(%rip),%xmm2
subsd  (%rax,%rcx,8),%xmm2
movsd  -0xafcc0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc4(%rbp)
jmp    16e3 <cond2+0x5c3>
movl   $0x1,-0xafcc4(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xafcd0(%rbp)
mov    -0xafcc4(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1865 <cond2+0x745>
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc8(%rbp)
mov    -0xafcc8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    184c <cond2+0x72c>
mov    -0xafcd0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd0(%rbp)
movslq -0xafcd0(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
mov    -0xafccc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcc8(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  0x7ed(%rip),%xmm2
subsd  (%rax,%rcx,8),%xmm2
movsd  -0xafcc0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
mov    -0xafcc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc8(%rbp)
jmp    17a0 <cond2+0x680>
jmp    1851 <cond2+0x731>
mov    -0xafcc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcc4(%rbp)
jmp    177d <cond2+0x65d>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0xafcc0(%rbp),%xmm0
ff
movsd  %xmm0,-0xafcc0(%rbp)
ff
movsd  -0xafcc0(%rbp),%xmm0
ff
movsd  0x76e(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    18b4 <cond2+0x794>
movsd  0x75c(%rip),%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
xorps  %xmm0,%xmm0
ucomisd -0xafcc0(%rbp),%xmm0
ff
jbe    18d0 <cond2+0x7b0>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
movsd  -0xafcc0(%rbp),%xmm0
ff
add    $0xafce0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cond2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xafd28,%rsp
mov    %r8,0x70(%rsp)
mov    %rcx,%r14
mov    %rsi,%r13
lea    -0x1(%rdi),%eax
mov    %eax,0xc(%rsp)
imul   %edi,%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
mov    %rcx,0x30(%rsp)
mov    %edi,%eax
mov    %rdi,0x18(%rsp)
cmp    $0x2,%edi
mov    %rdx,0x58(%rsp)
mov    %rax,0x20(%rsp)
jl     160c <cond2+0x4ec>
movslq 0x0(%r13,%rax,4),%r10
movsd  (%rdx,%r10,8),%xmm0
mov    0x30(%rsp),%rcx
add    $0x1,%ecx
mov    %ecx,0x50(%rsp)
movslq %ecx,%rcx
mov    %rcx,0x60(%rsp)
lea    -0x1(%rax),%r11
mov    %r11,%rsi
and    $0xfffffffffffffffe,%rsi
lea    0xa10(%rsp),%rdi
mov    $0x1,%r8d
movapd 0xe52(%rip),%xmm1
jmp    11f5 <cond2+0xd5>
lea    (%rax,%rax,4),%rax
shl    $0x5,%rax
add    %r14,%rax
mulsd  %xmm0,%xmm2
addsd  (%rax,%r10,8),%xmm2
imul   $0x960,%r8,%rax
add    %rsp,%rax
add    $0xa0,%rax
mov    0x60(%rsp),%rcx
movsd  %xmm2,(%rax,%rcx,8)
add    $0x1,%r8
add    $0x960,%rdi
cmp    0x20(%rsp),%r8
je     12ae <cond2+0x18e>
movslq 0x0(%r13,%r8,4),%rax
movsd  (%rdx,%rax,8),%xmm2
xorpd  %xmm1,%xmm2
mov    $0x1,%ecx
cmpl   $0x2,0x18(%rsp)
je     126b <cond2+0x14b>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movslq 0x4(%r13,%rcx,4),%rbx
lea    (%rax,%rax,4),%rbp
shl    $0x5,%rbp
add    %r14,%rbp
movsd  (%rdx,%rbx,8),%xmm3
mulsd  %xmm2,%xmm3
addsd  0x0(%rbp,%rbx,8),%xmm3
movsd  %xmm3,-0x8(%rdi,%rcx,8)
movslq 0x8(%r13,%rcx,4),%rbx
movsd  (%rdx,%rbx,8),%xmm3
mulsd  %xmm2,%xmm3
addsd  0x0(%rbp,%rbx,8),%xmm3
movsd  %xmm3,(%rdi,%rcx,8)
add    $0x2,%rcx
cmp    %rcx,%rsi
jne    1220 <cond2+0x100>
add    $0x1,%rcx
test   $0x1,%r11b
je     11b0 <cond2+0x90>
movslq 0x0(%r13,%rcx,4),%rbp
lea    (%rax,%rax,4),%rbx
shl    $0x5,%rbx
add    %r14,%rbx
movsd  (%rdx,%rbp,8),%xmm3
mulsd  %xmm2,%xmm3
addsd  (%rbx,%rbp,8),%xmm3
imul   $0x960,%r8,%rbx
add    %rsp,%rbx
add    $0xa0,%rbx
movsd  %xmm3,(%rbx,%rcx,8)
jmp    11b0 <cond2+0x90>
cmpl   $0x2,0x18(%rsp)
mov    0x20(%rsp),%rbp
jl     160c <cond2+0x4ec>
mov    0xc(%rsp),%ebx
lea    0x8(%r13),%rax
mov    %rax,0x40(%rsp)
lea    -0x2(%rbp),%rax
mov    %rax,0x38(%rsp)
mov    $0x1,%eax
mov    %rax,0x10(%rsp)
mov    %r14,0x68(%rsp)
mov    %rbx,0x78(%rsp)
mov    0x70(%rsp),%r8
jmp    130f <cond2+0x1ef>
nop
mov    0x10(%rsp),%rcx
add    $0x1,%rcx
mov    0x20(%rsp),%rbp
mov    %rcx,%rax
mov    %rcx,0x10(%rsp)
cmp    %rbp,%rcx
je     142c <cond2+0x30c>
cmpl   $0x2,0x18(%rsp)
jne    1340 <cond2+0x220>
mov    0x10(%rsp),%rcx
add    $0x1,%rcx
mov    %rcx,%rax
mov    %rcx,0x10(%rsp)
cmp    %rbp,%rcx
jne    130f <cond2+0x1ef>
jmp    160c <cond2+0x4ec>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x10(%rsp),%rcx
imul   $0x960,%rcx,%rdx
lea    0xa8(%rsp),%rax
add    %rax,%rdx
mov    %rdx,0x28(%rsp)
lea    (%rax,%rcx,8),%rax
add    $0x958,%rax
mov    %rax,0x48(%rsp)
mov    $0x1,%r10d
mov    0x38(%rsp),%rdi
mov    0x40(%rsp),%r11
mov    0xc(%rsp),%esi
jmp    13a1 <cond2+0x281>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x4,%r11
add    $0xffffffffffffffff,%rdi
cmp    %rbx,%r10
je     12f0 <cond2+0x1d0>
mov    %r10,%rcx
add    $0x1,%r10
cmp    0x20(%rsp),%r10
jae    1390 <cond2+0x270>
mov    0x10(%rsp),%rax
movslq 0x0(%r13,%rax,4),%r12
movslq 0x0(%r13,%rcx,4),%rax
movslq %esi,%rcx
mov    0x28(%rsp),%rdx
lea    (%rdx,%rcx,8),%rbp
imul   $0x960,%rcx,%r15
add    0x48(%rsp),%r15
xor    %r14d,%r14d
nopl   0x0(%rax)
movslq (%r11,%r14,4),%rcx
imul   $0xc80,%r12,%rbx
add    %r8,%rbx
lea    (%rax,%rax,4),%rdx
shl    $0x5,%rdx
add    %rbx,%rdx
movsd  (%rdx,%rcx,8),%xmm0
movsd  %xmm0,0x0(%rbp,%r14,8)
movsd  %xmm0,(%r15)
add    $0x1,%r14
add    $0x960,%r15
cmp    %r14,%rdi
jne    13e0 <cond2+0x2c0>
add    %r14d,%esi
mov    0x68(%rsp),%r14
mov    0x78(%rsp),%rbx
jmp    1390 <cond2+0x270>
cmpl   $0x3,0x18(%rsp)
setge  %r15b
jl     160c <cond2+0x4ec>
lea    0x8(%r13),%rax
mov    %rax,0x38(%rsp)
lea    -0x2(%rbp),%rax
mov    %rax,0x90(%rsp)
mov    $0x2,%ecx
mov    $0x1,%edx
mov    0xc(%rsp),%eax
mov    %eax,%esi
mov    %r15d,0x54(%rsp)
jmp    1497 <cond2+0x377>
nopw   0x0(%rax,%rax,1)
mov    0x68(%rsp),%r14
mov    0x54(%rsp),%r15d
mov    0x88(%rsp),%rcx
mov    0x80(%rsp),%rdx
add    $0x1,%rcx
cmp    %rbx,%rdx
je     1819 <cond2+0x6f9>
mov    %rdx,%rax
add    $0x1,%rdx
cmp    %rbp,%rdx
jae    148a <cond2+0x36a>
mov    %rdx,0x80(%rsp)
movslq 0x0(%r13,%rbp,4),%rdx
mov    %rdx,0x40(%rsp)
movslq 0x0(%r13,%rax,4),%r12
movslq %esi,%rsi
imul   $0x960,%rsi,%rdx
lea    0xa08(%rsp),%rax
add    %rax,%rdx
mov    %rdx,0x28(%rsp)
mov    %rcx,0x88(%rsp)
mov    %rcx,0x10(%rsp)
jmp    1552 <cond2+0x432>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x10(%rsp),%rdi
movslq 0x0(%r13,%rdi,4),%rax
imul   $0xc80,0x40(%rsp),%rcx
add    0x70(%rsp),%rcx
lea    (%r12,%r12,4),%rdx
shl    $0x5,%rdx
add    %rcx,%rdx
movsd  (%rdx,%rax,8),%xmm0
mov    0x48(%rsp),%rsi
imul   $0x960,%rsi,%rax
add    %rsp,%rax
add    $0xa0,%rax
mov    0x60(%rsp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
add    $0x1,%rdi
addq   $0x960,0x28(%rsp)
mov    %rdi,0x10(%rsp)
cmp    %rbp,%rdi
je     1470 <cond2+0x350>
add    $0x1,%rsi
mov    %rsi,0x48(%rsp)
mov    $0x1,%r8d
mov    0x90(%rsp),%rax
mov    0x38(%rsp),%rdi
mov    0xc(%rsp),%r15d
jmp    1591 <cond2+0x471>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x4,%rdi
add    $0xffffffffffffffff,%rax
cmp    %rbx,%r8
je     14f0 <cond2+0x3d0>
mov    %r8,%rcx
add    $0x1,%r8
cmp    %rbp,%r8
jae    1580 <cond2+0x460>
mov    0x10(%rsp),%rdx
movslq 0x0(%r13,%rdx,4),%rbx
mov    %r13,%r14
movslq 0x0(%r13,%rcx,4),%rcx
movslq %r15d,%rsi
mov    0x28(%rsp),%rdx
lea    (%rdx,%rsi,8),%rsi
xor    %ebp,%ebp
nopl   (%rax)
movslq (%rdi,%rbp,4),%r10
imul   $0xfa00,%r12,%r13
add    %r9,%r13
imul   $0xc80,%rbx,%r11
add    %r13,%r11
lea    (%rcx,%rcx,4),%rdx
shl    $0x5,%rdx
add    %r11,%rdx
movsd  (%rdx,%r10,8),%xmm0
movsd  %xmm0,(%rsi,%rbp,8)
add    $0x1,%rbp
cmp    %rbp,%rax
jne    15c0 <cond2+0x4a0>
add    %ebp,%r15d
mov    %r14,%r13
mov    0x20(%rsp),%rbp
mov    0x78(%rsp),%rbx
jmp    1580 <cond2+0x460>
mov    0x30(%rsp),%rsi
lea    0x1(%rsi),%edx
xor    %r15d,%r15d
mov    0xafd60(%rsp),%rax
movl   $0x1,(%rax)
lea    0xa0(%rsp),%rdi
lea    0x98(%rsp),%rcx
movsd  0x9d3(%rip),%xmm0
mov    %rax,%rbx
mov    %edx,%ebp
call   1040 <gepp@plt>
movsd  0x98(%rsp),%xmm0
call   1030 <fabs@plt>
test   %eax,%eax
jne    165f <cond2+0x53f>
movl   $0x0,(%rbx)
xorpd  %xmm0,%xmm0
movslq %ebp,%rcx
cmpl   $0x2,0x18(%rsp)
mov    0x58(%rsp),%rbx
mov    0x20(%rsp),%rdi
jl     173a <cond2+0x61a>
lea    -0x1(%rdi),%r8
cmpl   $0x2,0x18(%rsp)
jne    1691 <cond2+0x571>
xorpd  %xmm0,%xmm0
mov    $0x1,%edx
jmp    1709 <cond2+0x5e9>
lea    (%rsp,%rcx,8),%rsi
add    $0x1360,%rsi
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
neg    %rax
xorpd  %xmm0,%xmm0
mov    $0x1,%edx
movsd  0x961(%rip),%xmm1
nopw   0x0(%rax,%rax,1)
movslq 0x0(%r13,%rdx,4),%rbp
movapd %xmm1,%xmm2
subsd  (%rbx,%rbp,8),%xmm2
mulsd  -0x960(%rsi),%xmm2
ff
addsd  %xmm0,%xmm2
movslq 0x4(%r13,%rdx,4),%rbp
movapd %xmm1,%xmm0
subsd  (%rbx,%rbp,8),%xmm0
mulsd  (%rsi),%xmm0
addsd  %xmm2,%xmm0
add    $0x12c0,%rsi
lea    (%rax,%rdx,1),%rbp
add    $0x2,%rbp
add    $0x2,%rdx
cmp    $0x1,%rbp
jne    16c0 <cond2+0x5a0>
test   $0x1,%r8b
je     173a <cond2+0x61a>
imul   $0x960,%rdx,%rax
movslq 0x0(%r13,%rdx,4),%rdx
movsd  0x8f5(%rip),%xmm1
subsd  (%rbx,%rdx,8),%xmm1
add    %rsp,%rax
add    $0xa0,%rax
mulsd  (%rax,%rcx,8),%xmm1
addsd  %xmm1,%xmm0
test   %r15b,%r15b
je     17dd <cond2+0x6bd>
movslq 0x18(%rsp),%r9
mov    0xc(%rsp),%r10d
lea    0x8(%r13),%rsi
add    $0xfffffffffffffffe,%rdi
lea    (%rsp,%rcx,8),%r8
add    $0xa00,%r8
mov    $0x1,%r11d
movsd  0x8aa(%rip),%xmm1
jmp    177d <cond2+0x65d>
add    $0x4,%rsi
add    $0xffffffffffffffff,%rdi
cmp    %r10,%r11
je     17e4 <cond2+0x6c4>
mov    %r11,%rax
add    $0x1,%r11
cmp    %r9,%r11
jge    1770 <cond2+0x650>
movslq 0x0(%r13,%rax,4),%rbp
movslq 0xc(%rsp),%rax
imul   $0x960,%rax,%rcx
add    %r8,%rcx
xor    %eax,%eax
nop
movslq (%rsi,%rax,4),%rbx
lea    0x0(,%rbp,4),%rdx
add    %rbp,%rdx
shl    $0x5,%rdx
add    %r14,%rdx
movapd %xmm1,%xmm2
subsd  (%rdx,%rbx,8),%xmm2
mulsd  (%rcx),%xmm2
addsd  %xmm2,%xmm0
add    $0x1,%rax
add    $0x960,%rcx
cmp    %rax,%rdi
jne    17a0 <cond2+0x680>
add    %eax,0xc(%rsp)
jmp    1770 <cond2+0x650>
movslq 0x18(%rsp),%r9
jmp    17e9 <cond2+0x6c9>
mov    0x58(%rsp),%rbx
movslq 0x0(%r13,%r9,4),%rax
addsd  (%rbx,%rax,8),%xmm0
movsd  0x81d(%rip),%xmm1
minsd  %xmm0,%xmm1
xorpd  %xmm0,%xmm0
maxsd  %xmm1,%xmm0
add    $0xafd28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0xafd60(%rsp),%rax
mov    0x50(%rsp),%edx
mov    0x30(%rsp),%rsi
jmp    161f <cond2+0x4ff>

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

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