// File: /workspace/github_cpp_makefile_star2_O2/millanek[P]Dsuite/KolmogorovSmirnovDist.cpp
// Function: KScdf(int, double)
double KScdf (int n, double x)
{
   const double w = n * x * x;
   double u = cdfSpecial (n, x);
   if (u >= 0.0)
      return u;

   if (n <= NEXACT) {
      if (w < 0.754693)
         return DurbinMatrix (n, x);
      if (w < 4.0)
         return Pomeranz (n, x);
      return 1.0 - KSfbar (n, x);
   }

   /* if (n * x * sqrt(x) <= 1.4) */
   if ((w * x * n <= 2.0) && (n <= NKOLMO))
      return DurbinMatrix(n, x);

   return Pelz(n, x);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movsd 0x24df(%rip), %xmm2     # 0x36470
ucomisd %xmm2, %xmm0
jae 0x34de3
movapd %xmm0, %xmm3
movl %edi, %r15d
cvtsi2sd %edi, %xmm1
movapd %xmm1, %xmm4
mulsd %xmm0, %xmm4
movapd %xmm4, %xmm5
mulsd %xmm0, %xmm5
ucomisd 0x744a(%rip), %xmm5     # 0x3b408
jae 0x34de3
movsd 0x24ac(%rip), %xmm0     # 0x36478
divsd %xmm1, %xmm0
xorpd %xmm2, %xmm2
ucomisd %xmm3, %xmm0
jae 0x34de3
movapd %xmm3, %xmm2
addsd %xmm3, %xmm2
cmpl $0x1, %r15d
jne 0x33ff9
addsd 0x249c(%rip), %xmm2     # 0x36490
jmp 0x34102
movsd 0x246f(%rip), %xmm6     # 0x36470
movapd %xmm6, %xmm0
divsd %xmm1, %xmm0
ucomisd %xmm3, %xmm0
jae 0x34071
movapd %xmm6, %xmm2
subsd %xmm0, %xmm2
ucomisd %xmm2, %xmm3
jb 0x34110
movapd %xmm6, %xmm0
subsd %xmm3, %xmm0
movapd %xmm1, 0x40(%rsp)
movapd %xmm3, 0x70(%rsp)
movapd %xmm4, 0x10(%rsp)
movapd %xmm5, (%rsp)
callq 0x7720
movapd (%rsp), %xmm5
movapd 0x10(%rsp), %xmm4
movapd 0x70(%rsp), %xmm3
movapd 0x40(%rsp), %xmm1
addsd %xmm0, %xmm0
movsd 0x2408(%rip), %xmm2     # 0x36470
subsd %xmm0, %xmm2
jmp 0x34102
movapd %xmm5, (%rsp)
movapd %xmm4, 0x10(%rsp)
movapd %xmm3, 0x70(%rsp)
subsd %xmm0, %xmm2
cmpl $0x14, %r15d
movapd %xmm1, 0x40(%rsp)
jg 0x340b7
movslq %r15d, %rbx
leaq 0x74c4(%rip), %r14      # 0x3b560
movapd %xmm2, %xmm0
callq 0x7720
movapd 0x40(%rsp), %xmm1
movapd %xmm0, %xmm2
mulsd (%r14,%rbx,8), %xmm2
jmp 0x340f1
movl %r15d, %edi
movapd %xmm2, 0x30(%rsp)
callq 0x3566e
movsd %xmm0, 0x20(%rsp)
movapd 0x30(%rsp), %xmm0
callq 0x7370
mulsd 0x40(%rsp), %xmm0
addsd 0x20(%rsp), %xmm0
callq 0x7760
movapd 0x40(%rsp), %xmm1
movapd %xmm0, %xmm2
movapd 0x70(%rsp), %xmm3
movapd 0x10(%rsp), %xmm4
movapd (%rsp), %xmm5
xorpd %xmm0, %xmm0
ucomisd %xmm0, %xmm2
jae 0x34de3
cmpl $0x8c, %r15d
jg 0x34253
movsd 0x738b(%rip), %xmm0     # 0x3b4b0
ucomisd %xmm5, %xmm0
ja 0x34272
movsd 0x7381(%rip), %xmm0     # 0x3b4b8
ucomisd %xmm5, %xmm0
jbe 0x348d7
movapd %xmm1, 0x40(%rsp)
movsd 0x2321(%rip), %xmm0     # 0x36470
movl $0x15e, %edi            # imm = 0x15E
movapd %xmm4, 0x10(%rsp)
callq 0x7620
movsd %xmm0, 0x20(%rsp)
leal (%r15,%r15), %eax
movq %rax, 0x60(%rsp)
leal 0x3(,%r15,2), %eax
movslq %eax, %r12
pushq $0x8
popq %r13
movq %r12, %rdi
movq %r13, %rsi
callq 0x72d0
movq %rax, %r14
movq %r12, %rdi
movq %r13, %rsi
callq 0x72d0
movq %rax, (%rsp)
movq %r12, %rdi
movq %r13, %rsi
callq 0x72d0
movq %rax, %r12
movq %r15, 0xa0(%rsp)
leal 0x2(%r15), %ebp
pushq $0x2
popq %rdi
movl %ebp, %esi
callq 0x35721
movq %rax, %r13
pushq $0x4
popq %rdi
movl %ebp, %esi
callq 0x35721
movq %rax, %rbp
movapd 0x10(%rsp), %xmm0
cvttsd2si %xmm0, %ebx
cvttpd2dq %xmm0, %xmm1
cvtdq2pd %xmm1, %xmm1
movapd %xmm0, %xmm2
subsd %xmm1, %xmm2
movapd %xmm2, 0x50(%rsp)
callq 0x7080
movapd 0x50(%rsp), %xmm3
ucomisd 0x2277(%rip), %xmm3     # 0x36478
subsd 0x10(%rsp), %xmm0
movl %ebx, %ecx
notl %ecx
jbe 0x348f4
movq 0x60(%rsp), %r10
leal 0x2(%r10), %eax
cltq
pushq $0x2
popq %rdx
movapd 0x40(%rsp), %xmm7
movsd 0x2243(%rip), %xmm2     # 0x36470
movsd 0x20(%rsp), %xmm8
movq (%rsp), %r15
cmpq %rax, %rdx
jg 0x34947
cvtsi2sd %ecx, %xmm1
movsd %xmm1, (%r15,%rdx,8)
addq $0x2, %rdx
incl %ecx
jmp 0x34238
cmpl $0x186a0, %r15d         # imm = 0x186A0
ja 0x3428f
mulsd %xmm3, %xmm5
mulsd %xmm1, %xmm5
movsd 0x71a4(%rip), %xmm0     # 0x3b410
ucomisd %xmm5, %xmm0
jb 0x3428f
movl %r15d, %edi
movapd %xmm3, %xmm0
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x34e33
movapd %xmm1, 0x40(%rsp)
sqrtsd %xmm1, %xmm0
movapd %xmm0, 0xe0(%rsp)
mulsd %xmm0, %xmm3
movapd %xmm3, %xmm0
mulsd %xmm3, %xmm0
movapd %xmm0, 0x80(%rsp)
movapd %xmm3, %xmm0
addsd %xmm3, %xmm0
movapd %xmm3, 0x70(%rsp)
mulsd %xmm3, %xmm0
movsd 0x7147(%rip), %xmm1     # 0x3b418
divsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
xorl %ebx, %ebx
xorpd %xmm1, %xmm1
movsd 0x2188(%rip), %xmm0     # 0x36470
movsd %xmm1, 0x10(%rsp)
mulsd 0x712a(%rip), %xmm1     # 0x3b420
cmpl $0x14, %ebx
ja 0x34335
ucomisd %xmm1, %xmm0
jbe 0x34335
cvtsi2sd %ebx, %xmm1
addsd 0x216b(%rip), %xmm1     # 0x36478
movapd %xmm1, %xmm0
xorpd 0x2197(%rip), %xmm0     # 0x364b0
mulsd %xmm1, %xmm0
mulsd (%rsp), %xmm0
callq 0x7760
movsd 0x10(%rsp), %xmm1
addsd %xmm0, %xmm1
incl %ebx
jmp 0x342e8
movapd 0x80(%rsp), %xmm0
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movapd %xmm0, %xmm2
movapd %xmm1, 0xc0(%rsp)
mulsd %xmm1, %xmm2
movapd %xmm2, 0xb0(%rsp)
movapd 0x2148(%rip), %xmm1     # 0x364b0
xorpd %xmm0, %xmm1
movapd %xmm1, 0x30(%rsp)
xorl %ebx, %ebx
xorpd %xmm2, %xmm2
movsd 0x20f0(%rip), %xmm0     # 0x36470
cmpl $0x15, %ebx
movapd %xmm2, 0x60(%rsp)
je 0x34406
movapd 0x2e7d(%rip), %xmm3     # 0x37210
andpd %xmm3, %xmm0
movapd %xmm2, %xmm1
andpd %xmm3, %xmm1
mulsd 0x7079(%rip), %xmm1     # 0x3b420
ucomisd %xmm1, %xmm0
jbe 0x34406
cvtsi2sd %ebx, %xmm1
addsd 0x20bf(%rip), %xmm1     # 0x36478
movapd %xmm1, %xmm0
mulsd 0x7053(%rip), %xmm0     # 0x3b418
mulsd %xmm1, %xmm0
addsd 0x30(%rsp), %xmm0
movapd %xmm0, 0x20(%rsp)
movapd %xmm1, %xmm0
xorpd 0x20cf(%rip), %xmm0     # 0x364b0
mulsd %xmm1, %xmm0
mulsd (%rsp), %xmm0
callq 0x7760
movapd 0x60(%rsp), %xmm2
mulsd 0x20(%rsp), %xmm0
addsd %xmm0, %xmm2
incl %ebx
jmp 0x34380
movapd 0xc0(%rsp), %xmm0
addsd %xmm0, %xmm0
movsd 0x700d(%rip), %xmm1     # 0x3b428
mulsd 0xb0(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x30(%rsp)
movsd 0x6ffa(%rip), %xmm2     # 0x3b430
movapd 0x80(%rsp), %xmm1
mulsd %xmm1, %xmm2
addsd %xmm0, %xmm2
mulsd 0x6fc9(%rip), %xmm2     # 0x3b418
movsd %xmm2, 0x50(%rsp)
addsd %xmm1, %xmm1
movsd 0x200f(%rip), %xmm0     # 0x36470
movapd %xmm0, %xmm2
subsd %xmm1, %xmm2
mulsd 0x6fc7(%rip), %xmm2     # 0x3b438
movsd %xmm2, 0x90(%rsp)
xorl %ebx, %ebx
xorpd %xmm3, %xmm3
cmpl $0x15, %ebx
movapd %xmm3, 0xa0(%rsp)
je 0x3452b
movapd 0x2d76(%rip), %xmm2     # 0x37210
andpd %xmm2, %xmm0
movapd %xmm3, %xmm1
andpd %xmm2, %xmm1
mulsd 0x6f72(%rip), %xmm1     # 0x3b420
ucomisd %xmm1, %xmm0
jbe 0x3452b
cvtsi2sd %ebx, %xmm1
addsd 0x1fb8(%rip), %xmm1     # 0x36478
movsd 0x50(%rsp), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm1, %xmm0
addsd 0x30(%rsp), %xmm0
movsd 0x90(%rsp), %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
addsd %xmm0, %xmm2
movsd %xmm2, 0x20(%rsp)
movapd %xmm1, %xmm0
xorpd 0x1fad(%rip), %xmm0     # 0x364b0
mulsd %xmm1, %xmm0
mulsd (%rsp), %xmm0
callq 0x7760
movapd 0xa0(%rsp), %xmm3
mulsd 0x20(%rsp), %xmm0
addsd %xmm0, %xmm3
incl %ebx
jmp 0x34480
pushq $0x1
popq %rbx
xorpd %xmm1, %xmm1
movsd 0x1f36(%rip), %xmm0     # 0x36470
movapd %xmm1, 0x20(%rsp)
mulsd 0x6ed8(%rip), %xmm1     # 0x3b420
cmpl $0x14, %ebx
ja 0x3459b
ucomisd %xmm1, %xmm0
jbe 0x3459b
cvtsi2sd %ebx, %xmm1
movapd %xmm1, %xmm0
mulsd 0x6eb5(%rip), %xmm0     # 0x3b418
mulsd %xmm1, %xmm0
movapd %xmm0, 0x30(%rsp)
movapd %xmm1, %xmm0
xorpd 0x1f37(%rip), %xmm0     # 0x364b0
mulsd %xmm1, %xmm0
mulsd (%rsp), %xmm0
callq 0x7760
mulsd 0x30(%rsp), %xmm0
movapd 0x20(%rsp), %xmm1
addsd %xmm0, %xmm1
incl %ebx
jmp 0x3453a
movsd 0x6e9d(%rip), %xmm0     # 0x3b440
movapd 0xb0(%rsp), %xmm3
mulsd %xmm3, %xmm0
movapd 0x80(%rsp), %xmm2
mulsd %xmm2, %xmm0
movsd 0x6e83(%rip), %xmm4     # 0x3b448
movapd %xmm3, %xmm5
movsd 0x6e7f(%rip), %xmm1     # 0x3b450
mulsd %xmm3, %xmm1
movsd 0x6e7b(%rip), %xmm6     # 0x3b458
movapd 0xc0(%rsp), %xmm3
mulsd %xmm3, %xmm6
addsd %xmm1, %xmm6
mulsd 0x6e22(%rip), %xmm6     # 0x3b418
movsd %xmm6, 0xd8(%rsp)
mulsd %xmm4, %xmm5
movsd 0x6e55(%rip), %xmm1     # 0x3b460
mulsd %xmm2, %xmm1
movsd 0x6e51(%rip), %xmm6     # 0x3b468
mulsd %xmm3, %xmm6
addsd %xmm1, %xmm6
mulsd 0x6e11(%rip), %xmm6     # 0x3b438
movsd %xmm6, 0xd0(%rsp)
addsd %xmm0, %xmm5
movapd %xmm5, 0xf0(%rsp)
mulsd %xmm2, %xmm4
addsd 0x6e27(%rip), %xmm4     # 0x3b470
movsd %xmm4, 0x90(%rsp)
xorl %ebx, %ebx
xorpd %xmm2, %xmm2
movsd 0x1e10(%rip), %xmm0     # 0x36470
cmpl $0x15, %ebx
movapd %xmm2, 0x30(%rsp)
je 0x34720
movapd 0x2b99(%rip), %xmm3     # 0x37210
andpd %xmm3, %xmm0
movapd %xmm2, %xmm1
andpd %xmm3, %xmm1
mulsd 0x6d95(%rip), %xmm1     # 0x3b420
ucomisd %xmm1, %xmm0
jbe 0x34720
cvtsi2sd %ebx, %xmm0
addsd 0x1dd7(%rip), %xmm0     # 0x36478
mulsd %xmm0, %xmm0
movsd 0xd8(%rsp), %xmm1
mulsd %xmm0, %xmm1
addsd 0xf0(%rsp), %xmm1
movsd 0xd0(%rsp), %xmm2
mulsd %xmm0, %xmm2
mulsd %xmm0, %xmm2
addsd %xmm1, %xmm2
movapd %xmm0, %xmm1
mulsd 0x6d9c(%rip), %xmm1     # 0x3b478
mulsd %xmm0, %xmm1
mulsd %xmm0, %xmm1
mulsd 0x90(%rsp), %xmm1
addsd %xmm2, %xmm1
movapd %xmm1, 0x50(%rsp)
xorpd 0x1db1(%rip), %xmm0     # 0x364b0
mulsd (%rsp), %xmm0
callq 0x7760
movapd 0x30(%rsp), %xmm2
mulsd 0x50(%rsp), %xmm0
addsd %xmm0, %xmm2
incl %ebx
jmp 0x34660
pushq $0x1
popq %rbx
xorpd %xmm9, %xmm9
movsd 0x1d40(%rip), %xmm0     # 0x36470
cmpl $0x15, %ebx
je 0x347cc
movapd 0x2acf(%rip), %xmm2     # 0x37210
andpd %xmm2, %xmm0
movapd %xmm9, %xmm1
andpd %xmm2, %xmm1
mulsd 0x6cca(%rip), %xmm1     # 0x3b420
ucomisd %xmm1, %xmm0
jbe 0x347cc
movl %ebx, %eax
imull %ebx, %eax
cvtsi2sd %eax, %xmm0
movapd %xmm0, %xmm2
mulsd 0x6d0f(%rip), %xmm2     # 0x3b480
movapd %xmm0, %xmm1
mulsd 0x6d0b(%rip), %xmm1     # 0x3b488
mulsd %xmm0, %xmm1
mulsd 0x80(%rsp), %xmm2
addsd %xmm1, %xmm2
movapd %xmm2, 0x90(%rsp)
orpd 0x1d11(%rip), %xmm0     # 0x364b0
mulsd (%rsp), %xmm0
movapd %xmm9, 0x50(%rsp)
callq 0x7760
movapd 0x50(%rsp), %xmm9
mulsd 0x90(%rsp), %xmm0
addsd %xmm0, %xmm9
incl %ebx
jmp 0x34730
movsd 0x6cbc(%rip), %xmm0     # 0x3b490
movapd 0x70(%rsp), %xmm3
divsd %xmm3, %xmm0
mulsd 0x10(%rsp), %xmm0
movapd 0x60(%rsp), %xmm7
mulsd 0x6ca6(%rip), %xmm7     # 0x3b498
movsd 0x6ca6(%rip), %xmm1     # 0x3b4a0
movapd 0xe0(%rsp), %xmm4
mulsd %xmm4, %xmm1
movapd 0xc0(%rsp), %xmm5
mulsd %xmm5, %xmm1
divsd %xmm1, %xmm7
addsd %xmm0, %xmm7
movapd 0xa0(%rsp), %xmm8
unpcklpd 0x20(%rsp), %xmm8       # xmm8 = xmm8[0],mem[0]
movapd 0x6cfb(%rip), %xmm0     # 0x3b530
mulpd %xmm0, %xmm8
movapd 0x40(%rsp), %xmm2
movapd %xmm2, %xmm1
unpcklpd %xmm2, %xmm1            # xmm1 = xmm1[0],xmm2[0]
mulpd 0x6cf0(%rip), %xmm1     # 0x3b540
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
mulpd %xmm1, %xmm3
movapd 0xb0(%rsp), %xmm6
movapd %xmm6, %xmm1
unpcklpd 0x80(%rsp), %xmm1       # xmm1 = xmm1[0],mem[0]
mulpd %xmm3, %xmm1
divpd %xmm1, %xmm8
addsd %xmm8, %xmm7
unpckhpd %xmm8, %xmm8            # xmm8 = xmm8[1,1]
subsd %xmm8, %xmm7
movapd 0x30(%rsp), %xmm1
unpcklpd %xmm9, %xmm1            # xmm1 = xmm1[0],xmm9[0]
mulpd %xmm0, %xmm1
mulsd %xmm2, %xmm4
movapd %xmm1, %xmm2
movsd 0x6c03(%rip), %xmm0     # 0x3b4a8
mulsd %xmm4, %xmm0
shufpd $0x2, 0x6c9e(%rip), %xmm5 # xmm5 = xmm5[0],mem[1]
unpcklpd %xmm4, %xmm0            # xmm0 = xmm0[0],xmm4[0]
mulpd %xmm0, %xmm5
unpcklpd %xmm6, %xmm6            # xmm6 = xmm6[0,0]
mulpd %xmm5, %xmm6
divpd %xmm6, %xmm2
addsd %xmm2, %xmm7
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
addsd %xmm7, %xmm2
jmp 0x34de3
movl %r15d, %edi
movapd %xmm3, %xmm0
callq 0x35141
movsd 0x1b85(%rip), %xmm2     # 0x36470
subsd %xmm0, %xmm2
jmp 0x34de3
movq 0x60(%rsp), %r10
leal 0x2(%r10), %eax
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm3
cltq
jbe 0x349a2
pushq $0x1
popq %rdx
movapd 0x40(%rsp), %xmm7
movsd 0x1b52(%rip), %xmm2     # 0x36470
movsd 0x20(%rsp), %xmm8
movq (%rsp), %r15
cmpq %rax, %rdx
jg 0x349dc
movl %edx, %esi
shrl %esi
addl %ecx, %esi
cvtsi2sd %esi, %xmm1
movsd %xmm1, (%r15,%rdx,8)
incq %rdx
jmp 0x34929
movl %ebx, %ecx
notl %ecx
pushq $0x1
popq %rdx
cmpq %rax, %rdx
jg 0x34965
cvtsi2sd %ecx, %xmm1
movsd %xmm1, (%r15,%rdx,8)
addq $0x2, %rdx
incl %ecx
jmp 0x3494e
leal 0x1(%rbx), %ecx
pushq $0x2
popq %rdx
cmpq %rax, %rdx
jg 0x34982
cvtsi2sd %ecx, %xmm1
movsd %xmm1, (%r12,%rdx,8)
addq $0x2, %rdx
incl %ecx
jmp 0x3496b
incl %ebx
pushq $0x1
popq %rcx
cmpq %rax, %rcx
jg 0x34a25
cvtsi2sd %ebx, %xmm1
movsd %xmm1, (%r12,%rcx,8)
addq $0x2, %rcx
incl %ebx
jmp 0x34987
pushq $0x2
popq %rdx
pushq $0x1
popq %rcx
movl %ebx, %esi
negl %esi
movapd 0x40(%rsp), %xmm7
movsd 0x1ab6(%rip), %xmm2     # 0x36470
movsd 0x20(%rsp), %xmm8
movq (%rsp), %r15
cmpq %rax, %rdx
jg 0x349f9
cvtsi2sd %esi, %xmm1
movsd %xmm1, (%r15,%rdx,8)
addq $0x2, %rdx
incl %esi
jmp 0x349c5
pushq $0x2
popq %rcx
cmpq %rax, %rcx
jg 0x34a18
movl %ecx, %edx
shrl %edx
addl %ebx, %edx
cvtsi2sd %edx, %xmm1
movsd %xmm1, (%r12,%rcx,8)
incq %rcx
jmp 0x349df
movl %ebx, %edx
negl %edx
cmpq %rax, %rcx
jg 0x34df9
cvtsi2sd %edx, %xmm1
movsd %xmm1, (%r15,%rcx,8)
addq $0x2, %rcx
incl %edx
jmp 0x349fd
incl %ebx
cvtsi2sd %ebx, %xmm1
movsd %xmm1, 0x8(%r12)
minsd %xmm3, %xmm0
movsd %xmm0, 0x10(%r14)
movapd %xmm2, %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x18(%r14)
movl %r10d, %eax
orl $0x1, %eax
cltq
pushq $0x4
popq %rcx
cmpq %rax, %rcx
jg 0x34a63
movsd -0x10(%r14,%rcx,8), %xmm0
addsd %xmm2, %xmm0
movsd %xmm0, (%r14,%rcx,8)
incq %rcx
jmp 0x34a48
movslq %r10d, %rax
movsd %xmm7, 0x10(%r14,%rax,8)
movq 0xa0(%rsp), %rax
incl %eax
xorl %ecx, %ecx
testl %eax, %eax
movl $0x0, %edx
movl %eax, 0x10(%rsp)
cmovgl %eax, %edx
cmpq %rcx, %rdx
je 0x34a9b
movq (%r13), %rsi
andq $0x0, 0x8(%rsi,%rcx,8)
incq %rcx
jmp 0x34a87
movslq 0x10(%rsp), %rax
movq 0x8(%r13), %rcx
pushq $0x2
popq %rsi
cmpq %rax, %rsi
jg 0x34ab6
andq $0x0, (%rcx,%rsi,8)
incq %rsi
jmp 0x34aa7
movq %rax, 0x50(%rsp)
movsd %xmm8, 0x8(%rcx)
movq (%rbp), %rcx
movabsq $0x3ff0000000000000, %rsi # imm = 0x3FF0000000000000
movq %rsi, (%rcx)
movsd 0x10(%r14), %xmm0
movapd %xmm0, %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, %xmm2
divsd %xmm7, %xmm2
movq %rdx, %rdi
negq %rdi
pushq $0x1
popq %r8
leaq (%rdi,%r8), %r9
cmpq $0x1, %r9
je 0x34b1b
movsd -0x8(%rcx,%r8,8), %xmm3
cvtsi2sd %r8d, %xmm4
mulsd %xmm2, %xmm3
divsd %xmm4, %xmm3
movsd %xmm3, (%rcx,%r8,8)
incq %r8
jmp 0x34af2
movq 0x8(%rbp), %rcx
movq %rsi, (%rcx)
movsd 0x1946(%rip), %xmm2     # 0x36470
subsd %xmm1, %xmm2
divsd %xmm7, %xmm2
pushq $0x1
popq %r8
leaq (%rdi,%r8), %r9
cmpq $0x1, %r9
je 0x34b5f
movsd -0x8(%rcx,%r8,8), %xmm1
cvtsi2sd %r8d, %xmm3
mulsd %xmm2, %xmm1
divsd %xmm3, %xmm1
movsd %xmm1, (%rcx,%r8,8)
incq %r8
jmp 0x34b36
movq 0x10(%rbp), %rcx
movq %rsi, (%rcx)
divsd %xmm7, %xmm0
pushq $0x1
popq %r8
leaq (%rdi,%r8), %r9
cmpq $0x1, %r9
je 0x34b97
movsd -0x8(%rcx,%r8,8), %xmm1
cvtsi2sd %r8d, %xmm2
mulsd %xmm0, %xmm1
divsd %xmm2, %xmm1
movsd %xmm1, (%rcx,%r8,8)
incq %r8
jmp 0x34b6e
movq 0x18(%rbp), %rcx
movq %rsi, (%rcx)
xorl %esi, %esi
cmpq %rsi, %rdx
je 0x34bb0
andq $0x0, 0x8(%rcx,%rsi,8)
incq %rsi
jmp 0x34ba0
addl $0x2, %r10d
movslq %r10d, %rax
movq %rax, 0x20(%rsp)
pushq $0x1
popq %rax
xorl %edi, %edi
pushq $0x2
popq %r8
movsd 0x6843(%rip), %xmm0     # 0x3b410
movsd 0x68f3(%rip), %xmm1     # 0x3b4c8
movapd 0x2633(%rip), %xmm2     # 0x37210
movsd 0x68db(%rip), %xmm3     # 0x3b4c0
movl %eax, %r10d
movl %eax, 0x60(%rsp)
movq %r14, 0x30(%rsp)
cmpq 0x20(%rsp), %r8
jg 0x34d41
movsd (%r15,%r8,8), %xmm4
addsd %xmm0, %xmm4
cvttsd2si %xmm4, %edx
cmpl $0x2, %edx
pushq $0x1
popq %r9
cmovll %r9d, %edx
cvttsd2si (%r12,%r8,8), %ecx
movl 0x10(%rsp), %eax
cmpl %ecx, %eax
cmovll %eax, %ecx
movsd -0x8(%r15,%r8,8), %xmm4
addsd %xmm0, %xmm4
cvttsd2si %xmm4, %esi
cmpl $0x2, %esi
cmovll %r9d, %esi
cvttsd2si -0x8(%r12,%r8,8), %r9d
movsd (%r14,%r8,8), %xmm4
subsd -0x8(%r14,%r8,8), %xmm4
divsd %xmm7, %xmm4
pushq $-0x1
popq %r11
cmpq $0x3, %r11
je 0x34c79
movq 0x8(%rbp,%r11,8), %rbx
movapd %xmm4, %xmm5
subsd 0x8(%rbx), %xmm5
andpd %xmm2, %xmm5
incq %r11
ucomisd %xmm5, %xmm3
jb 0x34c56
jmp 0x34c7d
pushq $-0x1
popq %r11
movq %r12, %r14
xorl $0x1, %edi
notl %r10d
andl $0x1, %r10d
movl %edx, %r15d
movslq %r9d, %r12
movl %esi, %esi
movslq %ecx, %r9
movq %r15, %rdx
movapd %xmm8, %xmm4
cmpq %r12, %rdx
movq %r12, %rbx
cmovlq %rdx, %rbx
cmpq %r9, %rdx
jg 0x34cfc
movq %rdx, %rcx
subq %rbx, %rcx
cmpq %r12, %rdx
movq %r12, %rbx
cmovlq %rdx, %rbx
xorpd %xmm5, %xmm5
cmpq %rsi, %rbx
jl 0x34ce5
movq (%r13,%rdi,8), %rax
movsd (%rax,%rbx,8), %xmm6
movq (%rbp,%r11,8), %rax
mulsd (%rax,%rcx,8), %xmm6
addsd %xmm6, %xmm5
decq %rbx
incq %rcx
jmp 0x34cc0
movq (%r13,%r10,8), %rax
movsd %xmm5, (%rax,%rdx,8)
minsd %xmm4, %xmm5
incq %rdx
movapd %xmm5, %xmm4
jmp 0x34c9d
movq %r14, %r12
ucomisd %xmm4, %xmm1
jbe 0x34d2a
movq 0x30(%rsp), %r14
cmpq %r9, %r15
jg 0x34d31
movq (%r13,%r10,8), %rax
movsd (%rax,%r15,8), %xmm4
mulsd %xmm8, %xmm4
movsd %xmm4, (%rax,%r15,8)
incq %r15
jmp 0x34d0a
movq 0x30(%rsp), %r14
jmp 0x34d35
incl 0x60(%rsp)
incq %r8
movq (%rsp), %r15
jmp 0x34bf1
movl %r10d, %eax
movq (%r13,%rax,8), %rax
movq 0x50(%rsp), %rcx
movsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rsp)
movq %r14, %rdi
callq 0x74e0
movq %r15, %rdi
callq 0x74e0
movq %r12, %rdi
callq 0x74e0
movq %rbp, %rdi
callq 0x35777
movq %r13, %rdi
callq 0x35777
movq 0xa0(%rsp), %rdi
callq 0x3566e
imull $0x15e, 0x60(%rsp), %eax # imm = 0x15E
cvtsi2sd %eax, %xmm1
mulsd 0x672f(%rip), %xmm1     # 0x3b4d0
addsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsp)
movsd (%rsp), %xmm0
callq 0x7370
addsd 0x10(%rsp), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
movsd 0x16a5(%rip), %xmm2     # 0x36470
jae 0x34de3
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7760
movapd %xmm2, %xmm0
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x2
popq %rcx
movl %ebx, %edx
cmpq %rax, %rcx
jg 0x34e15
cvtsi2sd %edx, %xmm1
movsd %xmm1, (%r12,%rcx,8)
addq $0x2, %rcx
incl %edx
jmp 0x34dfe
pushq $0x1
popq %rcx
cmpq %rax, %rcx
jg 0x34a25
cvtsi2sd %ebx, %xmm1
movsd %xmm1, (%r12,%rcx,8)
addq $0x2, %rcx
incl %ebx
jmp 0x34e18