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

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
double FABS(double);
int /*<<< orphan*/ ascertainmentBiasSequence(unsigned char *, int const);
int /*<<< orphan*/ assert(int);
double exp(double);
double log(double);
double evaluateGammaAsc(int *ex1, int *ex2, double *x1, double *x2,
                        double *tipVector, unsigned char *tipX1, int n,
                        double *diagptable, const int numStates) {
  double exponent,
      logMin = log(
          115792089237316195423570985008687907853269984665640564039457584007913129639936.0),
      sum = 0.0, unobserved, term, *left, *right;
  int i, j, l;
  const int gammaStates = numStates * 4;
  unsigned char tip[32];
  ascertainmentBiasSequence(tip, numStates);
  if (tipX1) {
    for (i = 0; i < n; i++) {
      left = &(tipVector[numStates * tip[i]]);
      for (j = 0, term = 0.0; j < 4; j++) {
        right = &(x2[gammaStates * i + numStates * j]);
        for (l = 0; l < numStates; l++)
          term += left[l] * right[l] * diagptable[j * numStates + l];
      }
      exponent = ((double)ex2[i] * logMin);
      assert(exponent < 700.0);
      unobserved = 0.25 * FABS(term) * exp(exponent);
      sum += unobserved;
    }
  } else {
    for (i = 0; i < n; i++) {
      for (j = 0, term = 0.0; j < 4; j++) {
        left = &(x1[gammaStates * i + numStates * j]);
        right = &(x2[gammaStates * i + numStates * j]);
        for (l = 0; l < numStates; l++)
          term += left[l] * right[l] * diagptable[j * numStates + l];
      }
      exponent = ((double)(ex1[i] + ex2[i]) * logMin);
      assert(exponent < 700.0);
      unobserved = 0.25 * FABS(term) * exp(exponent);
      sum += unobserved;
    }
  }
  return sum;
}


x86 assembly (clang, -O0):
<evaluateGammaAsc>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movsd  0xe7b(%rip),%xmm0
call   1060 <log@plt>
movsd  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    0x20(%rbp),%eax
shl    $0x2,%eax
mov    %eax,-0x78(%rbp)
lea    -0xa0(%rbp),%rdi
mov    0x20(%rbp),%esi
call   1070 <ascertainmentBiasSequence@plt>
cmpq   $0x0,-0x30(%rbp)
je     1334 <evaluateGammaAsc+0x1e4>
movl   $0x0,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    132f <evaluateGammaAsc+0x1df>
mov    -0x28(%rbp),%rax
mov    0x20(%rbp),%ecx
movslq -0x6c(%rbp),%rdx
movzbl -0xa0(%rbp,%rdx,1),%edx
ff
imul   %edx,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
movl   $0x0,-0x70(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
cmpl   $0x4,-0x70(%rbp)
jge    12a2 <evaluateGammaAsc+0x152>
mov    -0x20(%rbp),%rax
mov    -0x78(%rbp),%ecx
imul   -0x6c(%rbp),%ecx
mov    0x20(%rbp),%edx
imul   -0x70(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x74(%rbp)
mov    -0x74(%rbp),%eax
cmp    0x20(%rbp),%eax
jge    128f <evaluateGammaAsc+0x13f>
mov    -0x60(%rbp),%rax
movslq -0x74(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x68(%rbp),%rax
movslq -0x74(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
mov    0x18(%rbp),%rax
mov    -0x70(%rbp),%ecx
imul   0x20(%rbp),%ecx
add    -0x74(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    1233 <evaluateGammaAsc+0xe3>
jmp    1294 <evaluateGammaAsc+0x144>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    1200 <evaluateGammaAsc+0xb0>
mov    -0x10(%rbp),%rax
movslq -0x6c(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xd4f(%rip),%xmm0
ucomisd -0x38(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movsd  -0x58(%rbp),%xmm0
call   1030 <FABS@plt>
movaps %xmm0,%xmm1
movsd  0xd20(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xa8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
addsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    11c1 <evaluateGammaAsc+0x71>
jmp    14b9 <evaluateGammaAsc+0x369>
movl   $0x0,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    14b4 <evaluateGammaAsc+0x364>
movl   $0x0,-0x70(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
cmpl   $0x4,-0x70(%rbp)
jge    141a <evaluateGammaAsc+0x2ca>
mov    -0x18(%rbp),%rax
mov    -0x78(%rbp),%ecx
imul   -0x6c(%rbp),%ecx
mov    0x20(%rbp),%edx
imul   -0x70(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x78(%rbp),%ecx
imul   -0x6c(%rbp),%ecx
mov    0x20(%rbp),%edx
imul   -0x70(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x74(%rbp)
mov    -0x74(%rbp),%eax
cmp    0x20(%rbp),%eax
jge    1407 <evaluateGammaAsc+0x2b7>
mov    -0x60(%rbp),%rax
movslq -0x74(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x68(%rbp),%rax
movslq -0x74(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
mov    0x18(%rbp),%rax
mov    -0x70(%rbp),%ecx
imul   0x20(%rbp),%ecx
add    -0x74(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    13ab <evaluateGammaAsc+0x25b>
jmp    140c <evaluateGammaAsc+0x2bc>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    1356 <evaluateGammaAsc+0x206>
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x6c(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xbca(%rip),%xmm0
ucomisd -0x38(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movsd  -0x58(%rbp),%xmm0
call   1030 <FABS@plt>
movaps %xmm0,%xmm1
movsd  0xb9b(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x38(%rbp),%xmm0
call   1050 <exp@plt>
movaps %xmm0,%xmm1
movsd  -0xb0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
addsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    133b <evaluateGammaAsc+0x1eb>
jmp    14b9 <evaluateGammaAsc+0x369>
movsd  -0x48(%rbp),%xmm0
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<evaluateGammaAsc>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xd8,%rsp
mov    %r9,%r12
mov    %r8,0x60(%rsp)
mov    %rcx,(%rsp)
mov    %rdx,%r15
mov    %rsi,0x88(%rsp)
mov    %rdi,%rbx
mov    0x120(%rsp),%esi
mov    0x110(%rsp),%r14d
lea    0x0(,%rsi,4),%ebp
lea    0xb0(%rsp),%rdi
call   1060 <ascertainmentBiasSequence@plt>
test   %r12,%r12
je     15c2 <evaluateGammaAsc+0x482>
test   %r14d,%r14d
jle    1a80 <evaluateGammaAsc+0x940>
mov    0x120(%rsp),%eax
movslq %eax,%rdx
movslq %ebp,%rsi
mov    %r14d,%ecx
mov    %rcx,0x30(%rsp)
lea    (%rdx,%rdx,1),%rcx
mov    %rcx,0x68(%rsp)
lea    (%rdx,%rdx,2),%rdi
mov    %eax,%r12d
lea    -0x1(%r12),%rcx
mov    %rcx,0x8(%rsp)
mov    %r12,0x38(%rsp)
and    $0xfffffffe,%r12d
mov    0x60(%rsp),%rcx
add    $0x8,%rcx
mov    %rcx,0x10(%rsp)
mov    (%rsp),%rcx
lea    0x8(%rcx),%rbp
mov    %rsi,0x78(%rsp)
lea    0x0(,%rsi,8),%rsi
mov    %rsi,0x28(%rsp)
lea    0x8(%rcx,%rdx,8),%r14
mov    0x118(%rsp),%rbx
lea    (%rbx,%rdx,8),%rsi
add    $0x8,%rsi
mov    %rsi,0x70(%rsp)
mov    %rdx,0x48(%rsp)
shl    $0x4,%rdx
lea    (%rcx,%rdx,1),%r13
add    $0x8,%r13
lea    0x8(%rbx,%rdx,1),%rdx
mov    %rdx,0x20(%rsp)
xorpd  %xmm0,%xmm0
lea    0x8(%rcx,%rdi,8),%r11
mov    %rdi,0x40(%rsp)
lea    (%rbx,%rdi,8),%rcx
add    $0x8,%rcx
mov    %rcx,0x58(%rsp)
xor    %r10d,%r10d
jmp    1312 <evaluateGammaAsc+0x1d2>
nopl   0x0(%rax,%rax,1)
movsd  %xmm2,0x50(%rsp)
mov    0x88(%rsp),%rax
mov    %r10,%r15
xorps  %xmm1,%xmm1
cvtsi2sdl (%rax,%r10,4),%xmm1
mulsd  0xd7e(%rip),%xmm1
movsd  %xmm1,0x18(%rsp)
xor    %edi,%edi
movsd  0xd76(%rip),%xmm0
ucomisd %xmm1,%xmm0
seta   %dil
mov    %r11,%rbx
call   1040 <assert@plt>
movsd  0x50(%rsp),%xmm0
call   1030 <FABS@plt>
mulsd  0xd5b(%rip),%xmm0
movsd  %xmm0,0x50(%rsp)
movsd  0x18(%rsp),%xmm0
call   1050 <exp@plt>
mov    %rbx,%r11
mov    0x118(%rsp),%rbx
mov    0x120(%rsp),%eax
mulsd  0x50(%rsp),%xmm0
movsd  0x80(%rsp),%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
add    $0x1,%r15
mov    0x28(%rsp),%rcx
add    %rcx,%rbp
add    %rcx,%r14
add    %rcx,%r13
add    %rcx,%r11
mov    %r15,%r10
cmp    0x30(%rsp),%r15
je     1a84 <evaluateGammaAsc+0x944>
movsd  %xmm0,0x80(%rsp)
xorpd  %xmm2,%xmm2
test   %eax,%eax
jle    1260 <evaluateGammaAsc+0x120>
movzbl 0xb0(%rsp,%r10,1),%r9d
imul   0x48(%rsp),%r9
cmpq   $0x0,0x8(%rsp)
je     1390 <evaluateGammaAsc+0x250>
mov    0x10(%rsp),%rcx
lea    (%rcx,%r9,8),%rcx
xorpd  %xmm0,%xmm0
xor    %esi,%esi
nopl   (%rax)
movsd  -0x8(%rcx,%rsi,8),%xmm1
movsd  (%rcx,%rsi,8),%xmm2
mulsd  -0x8(%rbp,%rsi,8),%xmm1
mulsd  (%rbx,%rsi,8),%xmm1
mulsd  0x0(%rbp,%rsi,8),%xmm2
mulsd  0x8(%rbx,%rsi,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rsi
movapd %xmm2,%xmm0
cmp    %rsi,%r12
jne    1350 <evaluateGammaAsc+0x210>
jmp    1396 <evaluateGammaAsc+0x256>
nopl   0x0(%rax)
xorpd  %xmm2,%xmm2
xor    %esi,%esi
mov    %r10,%r8
imul   0x78(%rsp),%r8
mov    0x60(%rsp),%rdx
lea    (%rdx,%r9,8),%r15
testb  $0x1,0x38(%rsp)
je     13cb <evaluateGammaAsc+0x28b>
mov    (%rsp),%rdi
lea    (%rdi,%r8,8),%rdi
movsd  (%r15,%rsi,8),%xmm0
mulsd  (%rdi,%rsi,8),%xmm0
mulsd  (%rbx,%rsi,8),%xmm0
addsd  %xmm0,%xmm2
test   %eax,%eax
jle    1260 <evaluateGammaAsc+0x120>
cmpq   $0x0,0x8(%rsp)
je     1565 <evaluateGammaAsc+0x425>
mov    0x10(%rsp),%rcx
lea    (%rcx,%r9,8),%rdi
xor    %esi,%esi
movapd %xmm2,%xmm0
mov    0x70(%rsp),%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsd  -0x8(%rdi,%rsi,8),%xmm1
movsd  (%rdi,%rsi,8),%xmm2
mulsd  -0x8(%r14,%rsi,8),%xmm1
mulsd  -0x8(%rcx,%rsi,8),%xmm1
mulsd  (%r14,%rsi,8),%xmm2
mulsd  (%rcx,%rsi,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rsi
movapd %xmm2,%xmm0
cmp    %rsi,%r12
jne    1400 <evaluateGammaAsc+0x2c0>
testb  $0x1,0x38(%rsp)
je     1467 <evaluateGammaAsc+0x327>
mov    0x48(%rsp),%rcx
lea    (%r8,%rcx,1),%rdi
mov    (%rsp),%rdx
lea    (%rdx,%rdi,8),%rdi
movsd  (%r15,%rsi,8),%xmm0
mulsd  (%rdi,%rsi,8),%xmm0
add    %rcx,%rsi
mulsd  (%rbx,%rsi,8),%xmm0
addsd  %xmm0,%xmm2
test   %eax,%eax
jle    1260 <evaluateGammaAsc+0x120>
cmpq   $0x0,0x8(%rsp)
je     1577 <evaluateGammaAsc+0x437>
mov    0x10(%rsp),%rcx
lea    (%rcx,%r9,8),%rdi
xor    %esi,%esi
movapd %xmm2,%xmm0
mov    0x20(%rsp),%rcx
nop
movsd  -0x8(%rdi,%rsi,8),%xmm1
movsd  (%rdi,%rsi,8),%xmm2
mulsd  -0x8(%r13,%rsi,8),%xmm1
mulsd  -0x8(%rcx,%rsi,8),%xmm1
mulsd  0x0(%r13,%rsi,8),%xmm2
mulsd  (%rcx,%rsi,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rsi
movapd %xmm2,%xmm0
cmp    %rsi,%r12
jne    1490 <evaluateGammaAsc+0x350>
testb  $0x1,0x38(%rsp)
je     14f8 <evaluateGammaAsc+0x3b8>
mov    0x68(%rsp),%rcx
lea    (%rcx,%r8,1),%rdi
mov    (%rsp),%rdx
lea    (%rdx,%rdi,8),%rdi
movsd  (%r15,%rsi,8),%xmm0
mulsd  (%rdi,%rsi,8),%xmm0
add    %rcx,%rsi
mulsd  (%rbx,%rsi,8),%xmm0
addsd  %xmm0,%xmm2
test   %eax,%eax
jle    1260 <evaluateGammaAsc+0x120>
cmpq   $0x0,0x8(%rsp)
je     1589 <evaluateGammaAsc+0x449>
mov    0x10(%rsp),%rax
lea    (%rax,%r9,8),%rsi
xor    %eax,%eax
movapd %xmm2,%xmm0
mov    0x58(%rsp),%rcx
movsd  -0x8(%rsi,%rax,8),%xmm1
movsd  (%rsi,%rax,8),%xmm2
mulsd  -0x8(%r11,%rax,8),%xmm1
mulsd  -0x8(%rcx,%rax,8),%xmm1
mulsd  (%r11,%rax,8),%xmm2
mulsd  (%rcx,%rax,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rax
movapd %xmm2,%xmm0
cmp    %rax,%r12
jne    1520 <evaluateGammaAsc+0x3e0>
testb  $0x1,0x38(%rsp)
je     1260 <evaluateGammaAsc+0x120>
jmp    1596 <evaluateGammaAsc+0x456>
xor    %esi,%esi
testb  $0x1,0x38(%rsp)
jne    143f <evaluateGammaAsc+0x2ff>
jmp    1467 <evaluateGammaAsc+0x327>
xor    %esi,%esi
testb  $0x1,0x38(%rsp)
jne    14d0 <evaluateGammaAsc+0x390>
jmp    14f8 <evaluateGammaAsc+0x3b8>
xor    %eax,%eax
testb  $0x1,0x38(%rsp)
je     1260 <evaluateGammaAsc+0x120>
mov    0x40(%rsp),%rsi
add    %rsi,%r8
mov    (%rsp),%rdx
lea    (%rdx,%r8,8),%rcx
movsd  (%r15,%rax,8),%xmm0
mulsd  (%rcx,%rax,8),%xmm0
add    %rsi,%rax
mulsd  (%rbx,%rax,8),%xmm0
addsd  %xmm0,%xmm2
jmp    1260 <evaluateGammaAsc+0x120>
test   %r14d,%r14d
jle    1a80 <evaluateGammaAsc+0x940>
mov    %rbx,0x78(%rsp)
mov    0x120(%rsp),%eax
mov    %rax,%r10
movslq %r10d,%rcx
movslq %ebp,%rsi
mov    %r14d,%edx
mov    %rdx,0x60(%rsp)
lea    (%rcx,%rcx,1),%rdx
mov    %rdx,0xa0(%rsp)
lea    (%rcx,%rcx,2),%rax
mov    %r10d,%ebp
lea    -0x1(%rbp),%rdx
mov    %rdx,0x30(%rsp)
mov    %rbp,0x28(%rsp)
and    $0xfffffffe,%ebp
mov    %r15,%rdi
add    $0x8,%r15
mov    %rsi,0x68(%rsp)
lea    0x0(,%rsi,8),%rdx
mov    %rdx,0x70(%rsp)
mov    (%rsp),%r8
lea    0x8(%r8),%r14
lea    (%rdi,%rcx,8),%rbx
add    $0x8,%rbx
mov    %rcx,%rsi
shl    $0x4,%rsi
lea    (%rdi,%rsi,1),%r11
add    $0x8,%r11
lea    0x8(%r8,%rsi,1),%r13
mov    0x118(%rsp),%rdx
lea    0x8(%rdx,%rsi,1),%rsi
mov    %rsi,0x40(%rsp)
xorpd  %xmm0,%xmm0
lea    0x8(%r8,%rcx,8),%r12
mov    %rcx,0xa8(%rsp)
lea    0x8(%rdx,%rcx,8),%rcx
mov    %rcx,0x58(%rsp)
mov    %rdi,0x20(%rsp)
lea    0x8(%rdi,%rax,8),%rcx
mov    %rcx,0x10(%rsp)
lea    0x8(%r8,%rax,8),%rcx
mov    %rcx,0x48(%rsp)
mov    %rax,0x90(%rsp)
lea    (%rdx,%rax,8),%rax
add    $0x8,%rax
mov    %rax,0x98(%rsp)
xor    %r9d,%r9d
jmp    1794 <evaluateGammaAsc+0x654>
nop
movsd  %xmm2,0x8(%rsp)
mov    0x88(%rsp),%rax
mov    (%rax,%r9,4),%eax
mov    0x78(%rsp),%rcx
add    (%rcx,%r9,4),%eax
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mulsd  0x926(%rip),%xmm1
movsd  %xmm1,0x38(%rsp)
xor    %edi,%edi
movsd  0x91e(%rip),%xmm0
ucomisd %xmm1,%xmm0
seta   %dil
mov    %rbx,0x18(%rsp)
mov    %r13,0x50(%rsp)
mov    %r11,%r13
mov    %r9,%rbx
call   1040 <assert@plt>
movsd  0x8(%rsp),%xmm0
call   1030 <FABS@plt>
mulsd  0x8f6(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0x38(%rsp),%xmm0
call   1050 <exp@plt>
mov    %rbx,%r9
mov    %r13,%r11
mov    0x50(%rsp),%r13
mov    0x18(%rsp),%rbx
mov    0x118(%rsp),%rdx
mov    0x120(%rsp),%eax
mov    %rax,%r10
mulsd  0x8(%rsp),%xmm0
movsd  0x80(%rsp),%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
add    $0x1,%r9
mov    0x70(%rsp),%rax
add    %rax,%r15
add    %rax,%r14
add    %rax,%rbx
add    %rax,%r12
add    %rax,%r11
add    %rax,%r13
add    %rax,0x10(%rsp)
add    %rax,0x48(%rsp)
cmp    0x60(%rsp),%r9
je     1a84 <evaluateGammaAsc+0x944>
movsd  %xmm0,0x80(%rsp)
xorpd  %xmm2,%xmm2
test   %r10d,%r10d
jle    16b0 <evaluateGammaAsc+0x570>
cmpq   $0x0,0x30(%rsp)
je     1800 <evaluateGammaAsc+0x6c0>
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
mov    0x58(%rsp),%rdi
nopl   (%rax)
movsd  -0x8(%r15,%rcx,8),%xmm1
movsd  (%r15,%rcx,8),%xmm2
mulsd  -0x8(%r14,%rcx,8),%xmm1
mulsd  (%rdx,%rcx,8),%xmm1
mulsd  (%r14,%rcx,8),%xmm2
mulsd  0x8(%rdx,%rcx,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rcx
movapd %xmm2,%xmm0
cmp    %rcx,%rbp
jne    17c0 <evaluateGammaAsc+0x680>
jmp    180b <evaluateGammaAsc+0x6cb>
nopl   0x0(%rax)
xorpd  %xmm2,%xmm2
xor    %ecx,%ecx
mov    0x58(%rsp),%rdi
mov    %r9,%r8
imul   0x68(%rsp),%r8
testb  $0x1,0x28(%rsp)
je     183f <evaluateGammaAsc+0x6ff>
mov    0x20(%rsp),%rsi
lea    (%rsi,%r8,8),%rax
mov    (%rsp),%rsi
lea    (%rsi,%r8,8),%rsi
movsd  (%rax,%rcx,8),%xmm0
mulsd  (%rsi,%rcx,8),%xmm0
mulsd  (%rdx,%rcx,8),%xmm0
addsd  %xmm0,%xmm2
test   %r10d,%r10d
jle    16b0 <evaluateGammaAsc+0x570>
cmpq   $0x0,0x30(%rsp)
je     1a13 <evaluateGammaAsc+0x8d3>
xor    %ecx,%ecx
movapd %xmm2,%xmm0
mov    0x40(%rsp),%rax
nop
movsd  -0x8(%rbx,%rcx,8),%xmm1
movsd  (%rbx,%rcx,8),%xmm2
mulsd  -0x8(%r12,%rcx,8),%xmm1
mulsd  -0x8(%rdi,%rcx,8),%xmm1
mulsd  (%r12,%rcx,8),%xmm2
mulsd  (%rdi,%rcx,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rcx
movapd %xmm2,%xmm0
cmp    %rcx,%rbp
jne    1860 <evaluateGammaAsc+0x720>
testb  $0x1,0x28(%rsp)
je     18e8 <evaluateGammaAsc+0x7a8>
mov    0xa8(%rsp),%rax
lea    (%r8,%rax,1),%rsi
mov    0x20(%rsp),%rdi
mov    %r8,0x18(%rsp)
mov    %r9,%r8
lea    (%rdi,%rsi,8),%r9
mov    (%rsp),%rdi
lea    (%rdi,%rsi,8),%rsi
movsd  (%r9,%rcx,8),%xmm0
mov    %r8,%r9
mov    0x18(%rsp),%r8
mulsd  (%rsi,%rcx,8),%xmm0
add    %rax,%rcx
mov    0x40(%rsp),%rax
mulsd  (%rdx,%rcx,8),%xmm0
addsd  %xmm0,%xmm2
test   %r10d,%r10d
jle    16b0 <evaluateGammaAsc+0x570>
cmpq   $0x0,0x30(%rsp)
je     1a2a <evaluateGammaAsc+0x8ea>
xor    %ecx,%ecx
movapd %xmm2,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsd  -0x8(%r11,%rcx,8),%xmm1
movsd  (%r11,%rcx,8),%xmm2
mulsd  -0x8(%r13,%rcx,8),%xmm1
mulsd  -0x8(%rax,%rcx,8),%xmm1
mulsd  0x0(%r13,%rcx,8),%xmm2
mulsd  (%rax,%rcx,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rcx
movapd %xmm2,%xmm0
cmp    %rcx,%rbp
jne    1910 <evaluateGammaAsc+0x7d0>
testb  $0x1,0x28(%rsp)
je     1996 <evaluateGammaAsc+0x856>
mov    0xa0(%rsp),%rax
lea    (%rax,%r8,1),%rsi
mov    0x20(%rsp),%rdi
mov    %r8,0x18(%rsp)
mov    %r9,%r8
lea    (%rdi,%rsi,8),%r9
mov    (%rsp),%rdi
lea    (%rdi,%rsi,8),%rsi
movsd  (%r9,%rcx,8),%xmm0
mov    %r8,%r9
mov    0x18(%rsp),%r8
mulsd  (%rsi,%rcx,8),%xmm0
add    %rax,%rcx
mulsd  (%rdx,%rcx,8),%xmm0
addsd  %xmm0,%xmm2
test   %r10d,%r10d
jle    16b0 <evaluateGammaAsc+0x570>
cmpq   $0x0,0x30(%rsp)
je     1a3c <evaluateGammaAsc+0x8fc>
xor    %ecx,%ecx
movapd %xmm2,%xmm0
mov    0x10(%rsp),%rax
mov    0x48(%rsp),%rsi
mov    0x98(%rsp),%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsd  -0x8(%rax,%rcx,8),%xmm1
movsd  (%rax,%rcx,8),%xmm2
mulsd  -0x8(%rsi,%rcx,8),%xmm1
mulsd  -0x8(%rdi,%rcx,8),%xmm1
mulsd  (%rsi,%rcx,8),%xmm2
mulsd  (%rdi,%rcx,8),%xmm2
addsd  %xmm0,%xmm1
addsd  %xmm1,%xmm2
add    $0x2,%rcx
movapd %xmm2,%xmm0
cmp    %rcx,%rbp
jne    19d0 <evaluateGammaAsc+0x890>
testb  $0x1,0x28(%rsp)
je     16b0 <evaluateGammaAsc+0x570>
jmp    1a49 <evaluateGammaAsc+0x909>
xor    %ecx,%ecx
mov    0x40(%rsp),%rax
testb  $0x1,0x28(%rsp)
jne    189f <evaluateGammaAsc+0x75f>
jmp    18e8 <evaluateGammaAsc+0x7a8>
xor    %ecx,%ecx
testb  $0x1,0x28(%rsp)
jne    1952 <evaluateGammaAsc+0x812>
jmp    1996 <evaluateGammaAsc+0x856>
xor    %ecx,%ecx
testb  $0x1,0x28(%rsp)
je     16b0 <evaluateGammaAsc+0x570>
mov    0x90(%rsp),%rdi
add    %rdi,%r8
mov    0x20(%rsp),%rax
lea    (%rax,%r8,8),%rax
mov    (%rsp),%rsi
lea    (%rsi,%r8,8),%rsi
movsd  (%rax,%rcx,8),%xmm0
mulsd  (%rsi,%rcx,8),%xmm0
add    %rdi,%rcx
mulsd  (%rdx,%rcx,8),%xmm0
addsd  %xmm0,%xmm2
jmp    16b0 <evaluateGammaAsc+0x570>
xorpd  %xmm0,%xmm0
add    $0xd8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define double @evaluateGammaAsc(i32* %0, i32* %1, double* %2, double* %3, double* %4, i8* %5, i32 %6, double* %7, i32 %8) {
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca double*
%13 = alloca double*
%14 = alloca double*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca double*
%18 = alloca i32
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double*
%25 = alloca double*
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca [32 x i8]
store i32* %0, i32** %10
store i32* %1, i32** %11
store double* %2, double** %12
store double* %3, double** %13
store double* %4, double** %14
store i8* %5, i8** %15
store i32 %6, i32* %16
store double* %7, double** %17
store i32 %8, i32* %18
%31 = call double @log(double 0x4FF0000000000000)
store double %31, double* %20
store double 0.000000e+00, double* %21
%32 = load i32, i32* %18
%33 = mul nsw i32 %32, 4
store i32 %33, i32* %29
%34 = getelementptr inbounds [32 x i8], [32 x i8]* %30, i64 0, i64 0
%35 = load i32, i32* %18
%36 = call i32 @ascertainmentBiasSequence(i8* %34, i32 %35)
%37 = load i8*, i8** %15
%38 = icmp ne i8* %37, null
br i1 %38, label %39, label %129
39: ; preds = %9
store i32 0, i32* %26
br label %40
40: ; preds = %125, %39
%41 = load i32, i32* %26
%42 = load i32, i32* %16
%43 = icmp slt i32 %41, %42
br i1 %43, label %44, label %128
44: ; preds = %40
%45 = load double*, double** %14
%46 = load i32, i32* %18
%47 = load i32, i32* %26
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [32 x i8], [32 x i8]* %30, i64 0, i64 %48
%50 = load i8, i8* %49
%51 = zext i8 %50 to i32
%52 = mul nsw i32 %46, %51
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds double, double* %45, i64 %53
store double* %54, double** %24
store i32 0, i32* %27
store double 0.000000e+00, double* %23
br label %55
55: ; preds = %100, %44
%56 = load i32, i32* %27
%57 = icmp slt i32 %56, 4
br i1 %57, label %58, label %103
58: ; preds = %55
%59 = load double*, double** %13
%60 = load i32, i32* %29
%61 = load i32, i32* %26
%62 = mul nsw i32 %60, %61
%63 = load i32, i32* %18
%64 = load i32, i32* %27
%65 = mul nsw i32 %63, %64
%66 = add nsw i32 %62, %65
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds double, double* %59, i64 %67
store double* %68, double** %25
store i32 0, i32* %28
br label %69
69: ; preds = %96, %58
%70 = load i32, i32* %28
%71 = load i32, i32* %18
%72 = icmp slt i32 %70, %71
br i1 %72, label %73, label %99
73: ; preds = %69
%74 = load double*, double** %24
%75 = load i32, i32* %28
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds double, double* %74, i64 %76
%78 = load double, double* %77
%79 = load double*, double** %25
%80 = load i32, i32* %28
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds double, double* %79, i64 %81
%83 = load double, double* %82
%84 = fmul double %78, %83
%85 = load double*, double** %17
%86 = load i32, i32* %27
%87 = load i32, i32* %18
%88 = mul nsw i32 %86, %87
%89 = load i32, i32* %28
%90 = add nsw i32 %88, %89
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds double, double* %85, i64 %91
%93 = load double, double* %92
%94 = load double, double* %23
%95 = call double @llvm.fmuladd.f64(double %84, double %93, double %94)
store double %95, double* %23
br label %96
96: ; preds = %73
%97 = load i32, i32* %28
%98 = add nsw i32 %97, 1
store i32 %98, i32* %28
br label %69
99: ; preds = %69
br label %100
100: ; preds = %99
%101 = load i32, i32* %27
%102 = add nsw i32 %101, 1
store i32 %102, i32* %27
br label %55
103: ; preds = %55
%104 = load i32*, i32** %11
%105 = load i32, i32* %26
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
%108 = load i32, i32* %107
%109 = sitofp i32 %108 to double
%110 = load double, double* %20
%111 = fmul double %109, %110
store double %111, double* %19
%112 = load double, double* %19
%113 = fcmp olt double %112, 7.000000e+02
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
%116 = load double, double* %23
%117 = call double @FABS(double %116)
%118 = fmul double 2.500000e-01, %117
%119 = load double, double* %19
%120 = call double @exp(double %119)
%121 = fmul double %118, %120
store double %121, double* %22
%122 = load double, double* %22
%123 = load double, double* %21
%124 = fadd double %123, %122
store double %124, double* %21
br label %125
125: ; preds = %103
%126 = load i32, i32* %26
%127 = add nsw i32 %126, 1
store i32 %127, i32* %26
br label %40
128: ; preds = %40
br label %225
129: ; preds = %9
store i32 0, i32* %26
br label %130
130: ; preds = %221, %129
%131 = load i32, i32* %26
%132 = load i32, i32* %16
%133 = icmp slt i32 %131, %132
br i1 %133, label %134, label %224
134: ; preds = %130
store i32 0, i32* %27
store double 0.000000e+00, double* %23
br label %135
135: ; preds = %190, %134
%136 = load i32, i32* %27
%137 = icmp slt i32 %136, 4
br i1 %137, label %138, label %193
138: ; preds = %135
%139 = load double*, double** %12
%140 = load i32, i32* %29
%141 = load i32, i32* %26
%142 = mul nsw i32 %140, %141
%143 = load i32, i32* %18
%144 = load i32, i32* %27
%145 = mul nsw i32 %143, %144
%146 = add nsw i32 %142, %145
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds double, double* %139, i64 %147
store double* %148, double** %24
%149 = load double*, double** %13
%150 = load i32, i32* %29
%151 = load i32, i32* %26
%152 = mul nsw i32 %150, %151
%153 = load i32, i32* %18
%154 = load i32, i32* %27
%155 = mul nsw i32 %153, %154
%156 = add nsw i32 %152, %155
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds double, double* %149, i64 %157
store double* %158, double** %25
store i32 0, i32* %28
br label %159
159: ; preds = %186, %138
%160 = load i32, i32* %28
%161 = load i32, i32* %18
%162 = icmp slt i32 %160, %161
br i1 %162, label %163, label %189
163: ; preds = %159
%164 = load double*, double** %24
%165 = load i32, i32* %28
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds double, double* %164, i64 %166
%168 = load double, double* %167
%169 = load double*, double** %25
%170 = load i32, i32* %28
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds double, double* %169, i64 %171
%173 = load double, double* %172
%174 = fmul double %168, %173
%175 = load double*, double** %17
%176 = load i32, i32* %27
%177 = load i32, i32* %18
%178 = mul nsw i32 %176, %177
%179 = load i32, i32* %28
%180 = add nsw i32 %178, %179
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds double, double* %175, i64 %181
%183 = load double, double* %182
%184 = load double, double* %23
%185 = call double @llvm.fmuladd.f64(double %174, double %183, double %184)
store double %185, double* %23
br label %186
186: ; preds = %163
%187 = load i32, i32* %28
%188 = add nsw i32 %187, 1
store i32 %188, i32* %28
br label %159
189: ; preds = %159
br label %190
190: ; preds = %189
%191 = load i32, i32* %27
%192 = add nsw i32 %191, 1
store i32 %192, i32* %27
br label %135
193: ; preds = %135
%194 = load i32*, i32** %10
%195 = load i32, i32* %26
%196 = sext i32 %195 to i64
%197 = getelementptr inbounds i32, i32* %194, i64 %196
%198 = load i32, i32* %197
%199 = load i32*, i32** %11
%200 = load i32, i32* %26
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds i32, i32* %199, i64 %201
%203 = load i32, i32* %202
%204 = add nsw i32 %198, %203
%205 = sitofp i32 %204 to double
%206 = load double, double* %20
%207 = fmul double %205, %206
store double %207, double* %19
%208 = load double, double* %19
%209 = fcmp olt double %208, 7.000000e+02
%210 = zext i1 %209 to i32
%211 = call i32 @assert(i32 %210)
%212 = load double, double* %23
%213 = call double @FABS(double %212)
%214 = fmul double 2.500000e-01, %213
%215 = load double, double* %19
%216 = call double @exp(double %215)
%217 = fmul double %214, %216
store double %217, double* %22
%218 = load double, double* %22
%219 = load double, double* %21
%220 = fadd double %219, %218
store double %220, double* %21
br label %221
221: ; preds = %193
%222 = load i32, i32* %26
%223 = add nsw i32 %222, 1
store i32 %223, i32* %26
br label %130
224: ; preds = %130
br label %225
225: ; preds = %224, %128
%226 = load double, double* %21
ret double %226
}

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