// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: ComputeGeometryParameters
void ComputeGeometryParameters(const int collapse, Geometry *const geo)
{
    for (int n = 0; n < geo->sphN; ++n) {
        ComputeParametersSphere(collapse, geo->poly + n);
    }
    for (int n = geo->sphN; n < geo->totN; ++n) {
        ComputeParametersPolyhedron(collapse, geo->poly + n);
    }
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x3a8, %rsp            # imm = 0x3A8
movl 0x4(%rsi), %r8d
testl %r8d, %r8d
jle 0x9ec1
leaq 0x128e5(%rip), %rax     # 0x1c688
movsd (%rax), %xmm0
movapd %xmm0, %xmm1
addsd %xmm0, %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd 0x12a11(%rip), %xmm0    # 0x1c7d0
xorl %eax, %eax
movsd 0x12a3f(%rip), %xmm2    # 0x1c808
xorpd %xmm3, %xmm3
movsd 0x127eb(%rip), %xmm4    # 0x1c5c0
xorl %ecx, %ecx
xorl %edx, %edx
movq 0x10(%rsi), %r10
imulq $0x238, %rdx, %r8       # imm = 0x238
leaq (%r10,%r8), %r9
movsd 0x18(%r10,%r8), %xmm5
addq %rcx, %r10
movl $0xe8, %r8d
movsd -0xc8(%r10,%r8), %xmm6
movapd %xmm6, %xmm7
subsd %xmm5, %xmm7
movsd %xmm7, (%r10,%r8,2)
addsd %xmm5, %xmm6
movsd %xmm6, 0x8(%r10,%r8,2)
addq $0x8, %r8
cmpq $0x100, %r8             # imm = 0x100
jne 0x9df8
testl %edi, %edi
je 0x9e3e
movapd %xmm5, %xmm7
unpcklpd %xmm5, %xmm7            # xmm7 = xmm7[0],xmm5[0]
mulpd %xmm1, %xmm7
movapd %xmm4, %xmm6
jmp 0x9e56
movapd %xmm5, %xmm6
unpcklpd %xmm5, %xmm6            # xmm6 = xmm6[0],xmm5[0]
movapd %xmm0, %xmm7
mulpd %xmm6, %xmm7
mulpd %xmm6, %xmm7
movapd %xmm2, %xmm6
movapd %xmm7, %xmm8
unpckhpd %xmm7, %xmm8            # xmm8 = xmm8[1],xmm7[1]
mulsd %xmm5, %xmm8
movlpd %xmm7, 0x1c0(%r9)
movsd %xmm8, 0x1c8(%r9)
mulsd %xmm5, %xmm6
mulsd %xmm5, %xmm6
mulsd %xmm8, %xmm6
movsd %xmm6, 0x38(%r9)
movupd %xmm3, 0x40(%r9)
movq %rax, 0x50(%r9)
movsd %xmm6, 0x58(%r9)
movupd %xmm3, 0x60(%r9)
movq %rax, 0x70(%r9)
movsd %xmm6, 0x78(%r9)
incq %rdx
movslq 0x4(%rsi), %r8
addq $0x238, %rcx            # imm = 0x238
cmpq %r8, %rdx
jl 0x9dd9
movl %edi, 0x34(%rsp)
cmpl (%rsi), %r8d
jge 0xaa8b
leaq 0x127b3(%rip), %rax     # 0x1c688
movsd (%rax), %xmm0
movsd %xmm0, 0x138(%rsp)
movslq %r8d, %rcx
imulq $0x238, %rcx, %rax      # imm = 0x238
addq $0x1d8, %rax            # imm = 0x1D8
movq %rax, 0x38(%rsp)
movabsq $0x47efffffe0000000, %rdx # imm = 0x47EFFFFFE0000000
movabsq $0x3810000000000000, %rdi # imm = 0x3810000000000000
leaq 0x40(%rsp), %rbx
movq %rsi, 0x120(%rsp)
movq 0x10(%rsi), %r15
xorl %eax, %eax
movq %rax, 0x70(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0x60(%rsp)
movq %rax, 0x110(%rsp)
movapd %xmm0, 0x100(%rsp)
movq %rax, 0xf0(%rsp)
movapd %xmm0, 0xe0(%rsp)
movq %rax, 0x2a0(%rsp)
movapd %xmm0, 0x290(%rsp)
movq %rax, 0x280(%rsp)
movapd %xmm0, 0x270(%rsp)
movq %rax, 0x50(%rsp)
movapd %xmm0, 0x40(%rsp)
movq %rax, 0xd0(%rsp)
movapd %xmm0, 0xc0(%rsp)
movq %rax, 0x250(%rsp)
movapd %xmm0, 0x240(%rsp)
movapd %xmm0, 0x230(%rsp)
movapd %xmm0, 0x220(%rsp)
movapd %xmm0, 0x210(%rsp)
movq %rax, 0x200(%rsp)
movapd %xmm0, 0x1f0(%rsp)
movapd %xmm0, 0x1e0(%rsp)
movapd %xmm0, 0x1d0(%rsp)
movapd %xmm0, 0x1c0(%rsp)
movapd %xmm0, 0xa0(%rsp)
movapd %xmm0, 0x90(%rsp)
movapd %xmm0, 0x80(%rsp)
xorl %eax, %eax
movq %rdx, 0x80(%rsp,%rax,8)
movq %rdi, 0x98(%rsp,%rax,8)
incq %rax
cmpq $0x3, %rax
jne 0xa002
movq %rcx, 0x130(%rsp)
imulq $0x238, %rcx, %r14      # imm = 0x238
leaq (%r15,%r14), %r13
movq 0x228(%r15,%r14), %rdi
movslq 0x8(%r15,%r14), %rax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rdx
xorl %esi, %esi
callq 0x20d0
movslq 0x8(%r15,%r14), %rax
testq %rax, %rax
jle 0xa0a5
movq 0x220(%r13), %rcx
xorl %edx, %edx
xorl %esi, %esi
movsd (%rcx,%rsi,8), %xmm0
movsd 0x80(%rsp,%rsi,8), %xmm1
movsd 0x98(%rsp,%rsi,8), %xmm2
minsd %xmm0, %xmm1
movsd %xmm1, 0x80(%rsp,%rsi,8)
maxsd %xmm0, %xmm2
movsd %xmm2, 0x98(%rsp,%rsi,8)
incq %rsi
cmpq $0x3, %rsi
jne 0xa05f
incq %rdx
addq $0x18, %rcx
cmpq %rax, %rdx
jne 0xa05d
cmpl $0x0, (%r13)
jle 0xa7d9
movq %r15, 0x128(%rsp)
xorpd %xmm6, %xmm6
xorpd %xmm11, %xmm11
xorl %r15d, %r15d
xorl %r14d, %r14d
xorpd %xmm10, %xmm10
xorpd %xmm5, %xmm5
xorpd %xmm12, %xmm12
xorpd %xmm14, %xmm14
xorpd %xmm13, %xmm13
movapd %xmm6, 0x350(%rsp)
movsd %xmm5, 0x1a8(%rsp)
movapd %xmm14, 0x360(%rsp)
movapd %xmm13, 0x370(%rsp)
movapd %xmm12, 0x380(%rsp)
movsd %xmm11, 0x1b0(%rsp)
movsd %xmm10, 0x1b8(%rsp)
leaq 0x270(%rsp), %rbp
movq %rbp, (%rsp)
movl %r14d, %edi
movq %r13, %rsi
leaq 0x60(%rsp), %rdx
leaq 0x100(%rsp), %rcx
leaq 0xe0(%rsp), %r8
movq %rbx, %r12
leaq 0x290(%rsp), %rbx
movq %rbx, %r9
callq 0xaa9d
movq %rbx, %rdi
movq %r12, %rbx
movq %rbp, %rsi
movq %r12, %rdx
callq 0x7eee
xorl %eax, %eax
movsd 0x60(%rsp,%rax), %xmm2
movsd 0x100(%rsp,%rax), %xmm1
movapd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0xe0(%rsp,%rax), %xmm4
movapd %xmm1, %xmm6
mulsd %xmm0, %xmm6
addsd %xmm4, %xmm0
movsd %xmm0, 0x210(%rsp,%rax)
movapd %xmm2, %xmm5
mulsd %xmm2, %xmm5
addsd %xmm5, %xmm6
movapd %xmm4, %xmm3
mulsd %xmm0, %xmm3
addsd %xmm6, %xmm3
mulsd %xmm1, %xmm6
mulsd %xmm2, %xmm5
addsd %xmm6, %xmm5
movapd %xmm2, %xmm6
addsd %xmm0, %xmm6
movapd %xmm1, %xmm7
addsd %xmm0, %xmm7
addsd %xmm4, %xmm0
mulsd %xmm4, %xmm0
mulsd %xmm3, %xmm4
addsd %xmm5, %xmm4
movsd %xmm3, 0x228(%rsp,%rax)
movsd %xmm4, 0x240(%rsp,%rax)
mulsd %xmm2, %xmm6
addsd %xmm3, %xmm6
movsd %xmm6, 0x1c0(%rsp,%rax)
mulsd %xmm1, %xmm7
addsd %xmm3, %xmm7
movsd %xmm7, 0x1d8(%rsp,%rax)
addsd %xmm3, %xmm0
movsd %xmm0, 0x1f0(%rsp,%rax)
addq $0x8, %rax
cmpq $0x18, %rax
jne 0xa170
movq %rbx, %rdi
callq 0x7e5b
movsd %xmm0, 0x198(%rsp)
movsd 0x40(%rsp), %xmm0
movaps %xmm0, 0x330(%rsp)
movsd 0x210(%rsp), %xmm0
movaps %xmm0, 0x300(%rsp)
movups 0x228(%rsp), %xmm0
movaps %xmm0, 0x340(%rsp)
movaps 0x230(%rsp), %xmm0
movaps %xmm0, 0x2e0(%rsp)
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x320(%rsp)
movups 0x238(%rsp), %xmm0
movaps %xmm0, 0x310(%rsp)
movsd 0x240(%rsp), %xmm0
movsd %xmm0, 0x190(%rsp)
movsd 0x248(%rsp), %xmm0
movsd %xmm0, 0x1a0(%rsp)
movsd 0x250(%rsp), %xmm0
movaps %xmm0, 0x2c0(%rsp)
movsd 0x60(%rsp), %xmm0
movsd %xmm0, 0x168(%rsp)
movsd 0x68(%rsp), %xmm0
movsd %xmm0, 0x188(%rsp)
movsd 0x1c0(%rsp), %xmm0
movsd %xmm0, 0x158(%rsp)
movsd 0x1c8(%rsp), %xmm0
movsd %xmm0, 0x160(%rsp)
movsd 0x110(%rsp), %xmm1
movsd %xmm1, 0x10(%rsp)
movsd 0x1e0(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x150(%rsp)
movsd 0x1d8(%rsp), %xmm0
movsd %xmm0, 0xb0(%rsp)
movsd 0x1f0(%rsp), %xmm0
movsd %xmm0, 0x170(%rsp)
movsd 0x70(%rsp), %xmm0
movsd %xmm0, 0x180(%rsp)
movsd 0xf0(%rsp), %xmm0
movaps %xmm0, 0x260(%rsp)
movsd 0x1f8(%rsp), %xmm0
movsd %xmm0, 0x178(%rsp)
movsd 0x1d0(%rsp), %xmm0
movsd %xmm0, 0x148(%rsp)
movsd 0x1e8(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
movsd 0x200(%rsp), %xmm0
movaps %xmm0, 0x2f0(%rsp)
movq %rbx, %rdi
callq 0x7e5b
movl $0x3, %edi
movq %rbx, %rsi
callq 0x8053
movapd 0x100(%rsp), %xmm1
movapd 0xe0(%rsp), %xmm0
movapd %xmm0, 0x2d0(%rsp)
movapd %xmm1, 0x2b0(%rsp)
subpd %xmm1, %xmm0
movapd %xmm0, 0x390(%rsp)
movapd 0x260(%rsp), %xmm0
subsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x3a0(%rsp)
leaq 0x290(%rsp), %rdi
movq %rdi, %rsi
callq 0x7e36
movsd %xmm0, 0x10(%rsp)
leaq 0x270(%rsp), %rdi
movq %rdi, %rsi
callq 0x7e36
movsd %xmm0, 0x20(%rsp)
leaq 0x390(%rsp), %rdi
movq %rdi, %rsi
callq 0x7e36
movsd %xmm0, 0x18(%rsp)
movsd 0x10(%rsp), %xmm0
mulsd 0x20(%rsp), %xmm0
ucomisd 0xeb93(%rip), %xmm0     # 0x19010
jb 0xa485
sqrtsd %xmm0, %xmm0
jmp 0xa48a
callq 0x2210
movsd 0x10(%rsp), %xmm1
addsd 0x20(%rsp), %xmm1
subsd 0x18(%rsp), %xmm1
addsd %xmm0, %xmm0
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x2110
movsd %xmm0, 0x140(%rsp)
movsd %xmm0, 0xc0(%rsp)
movsd 0x10(%rsp), %xmm0
mulsd 0x18(%rsp), %xmm0
ucomisd 0xeb3d(%rip), %xmm0     # 0x19010
jb 0xa4db
sqrtsd %xmm0, %xmm0
jmp 0xa4e0
callq 0x2210
movapd 0x2b0(%rsp), %xmm2
movapd %xmm2, %xmm1
unpckhpd %xmm2, %xmm1            # xmm1 = xmm1[1],xmm2[1]
mulsd 0xb0(%rsp), %xmm1
movapd %xmm1, 0xb0(%rsp)
movsd 0x28(%rsp), %xmm1
mulsd %xmm2, %xmm1
movsd %xmm1, 0x28(%rsp)
movsd 0x10(%rsp), %xmm1
addsd 0x18(%rsp), %xmm1
subsd 0x20(%rsp), %xmm1
addsd %xmm0, %xmm0
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x2110
movsd %xmm0, 0xc8(%rsp)
movsd 0x138(%rsp), %xmm1
subsd 0x140(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0xd0(%rsp)
movq 0x200(%r13), %rax
movq 0x228(%r13), %rcx
xorl %edx, %edx
movsd 0x1b8(%rsp), %xmm10
movsd 0x1b0(%rsp), %xmm11
movapd 0x380(%rsp), %xmm12
movapd 0x370(%rsp), %xmm13
movapd 0x360(%rsp), %xmm14
movsd 0x1a8(%rsp), %xmm5
movapd 0x350(%rsp), %xmm6
movapd 0x320(%rsp), %xmm2
movapd 0x2f0(%rsp), %xmm7
movsd 0x180(%rsp), %xmm3
movapd 0x2d0(%rsp), %xmm8
leaq (%r14,%r14,2), %rsi
leaq (%rax,%rsi,4), %rsi
movslq (%rsi,%rdx,4), %rsi
movsd 0xc0(%rsp,%rdx,8), %xmm0
leaq (%rsi,%rsi,2), %rsi
leaq (%rcx,%rsi,8), %rsi
xorl %edi, %edi
movsd 0x40(%rsp,%rdi,8), %xmm1
mulsd %xmm0, %xmm1
addsd (%rsi,%rdi,8), %xmm1
movsd %xmm1, (%rsi,%rdi,8)
incq %rdi
cmpq $0x3, %rdi
jne 0xa5f6
incq %rdx
cmpq $0x3, %rdx
jne 0xa5d7
movsd 0x188(%rsp), %xmm1
mulsd 0x158(%rsp), %xmm1
addsd 0xb0(%rsp), %xmm1
mulsd 0x160(%rsp), %xmm3
addsd 0x150(%rsp), %xmm3
movsd 0x168(%rsp), %xmm0
mulsd 0x148(%rsp), %xmm0
addsd 0x28(%rsp), %xmm0
mulsd %xmm8, %xmm7
addsd %xmm0, %xmm7
movapd 0x2e0(%rsp), %xmm0
unpcklpd 0x2c0(%rsp), %xmm0      # xmm0 = xmm0[0],mem[0]
mulpd %xmm2, %xmm0
addpd %xmm0, %xmm12
movq 0x208(%r13), %rax
addq %r15, %rax
xorl %ecx, %ecx
movsd 0x40(%rsp,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq $0x3, %rcx
jne 0xa691
unpckhpd %xmm8, %xmm8            # xmm8 = xmm8[1,1]
mulsd 0x170(%rsp), %xmm8
addsd %xmm1, %xmm8
movapd 0x260(%rsp), %xmm4
mulsd 0x178(%rsp), %xmm4
addsd %xmm3, %xmm4
unpcklpd %xmm8, %xmm4            # xmm4 = xmm4[0],xmm8[0]
movapd 0x330(%rsp), %xmm1
movsd 0x190(%rsp), %xmm0
mulsd %xmm1, %xmm0
addsd %xmm0, %xmm10
addsd 0x198(%rsp), %xmm5
movapd 0x310(%rsp), %xmm3
unpcklpd 0x300(%rsp), %xmm3      # xmm3 = xmm3[0],mem[0]
movapd %xmm2, %xmm0
shufpd $0x1, %xmm1, %xmm0      # xmm0 = xmm0[1],xmm1[0]
mulpd %xmm0, %xmm3
addpd %xmm3, %xmm6
movsd 0x1a0(%rsp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm0, %xmm11
movapd %xmm2, %xmm0
movsd %xmm1, %xmm0            # xmm0 = xmm1[0],xmm0[1]
unpcklpd %xmm1, %xmm2            # xmm2 = xmm2[0],xmm1[0]
mulpd %xmm4, %xmm2
addpd %xmm2, %xmm13
movapd 0x340(%rsp), %xmm1
unpcklpd %xmm7, %xmm1            # xmm1 = xmm1[0],xmm7[0]
mulpd %xmm0, %xmm1
addpd %xmm1, %xmm14
incq %r14
movslq (%r13), %rax
addq $0x18, %r15
cmpq %rax, %r14
jl 0xa0df
mulsd 0x11e4c(%rip), %xmm5    # 0x1c5c0
movapd %xmm14, %xmm0
unpcklpd %xmm12, %xmm0           # xmm0 = xmm0[0],xmm12[0]
mulpd 0x1205a(%rip), %xmm0    # 0x1c7e0
mulpd 0x12062(%rip), %xmm6    # 0x1c7f0
movsd 0x12082(%rip), %xmm1    # 0x1c818
mulsd %xmm1, %xmm10
mulsd %xmm1, %xmm11
unpckhpd %xmm12, %xmm12          # xmm12 = xmm12[1,1]
mulsd %xmm1, %xmm12
movapd %xmm13, %xmm3
unpckhpd %xmm13, %xmm3           # xmm3 = xmm3[1],xmm13[1]
movsd 0x12064(%rip), %xmm1    # 0x1c820
mulsd %xmm1, %xmm3
unpckhpd %xmm14, %xmm14          # xmm14 = xmm14[1,1]
mulsd %xmm1, %xmm14
mulsd %xmm1, %xmm13
movq 0x128(%rsp), %r15
jmp 0xa80a
xorpd %xmm0, %xmm0
xorpd %xmm5, %xmm5
xorpd %xmm10, %xmm10
xorpd %xmm11, %xmm11
xorpd %xmm12, %xmm12
movsd 0x12018(%rip), %xmm1    # 0x1c810
movapd %xmm1, %xmm3
movapd %xmm1, %xmm13
movapd %xmm1, %xmm14
xorpd %xmm6, %xmm6
movapd %xmm6, %xmm1
unpckhpd %xmm6, %xmm1            # xmm1 = xmm1[1],xmm6[1]
divpd %xmm1, %xmm0
movapd %xmm6, %xmm2
divsd %xmm1, %xmm2
cmpl $0x0, 0x34(%rsp)
je 0xa831
movapd %xmm1, %xmm4
addsd %xmm1, %xmm4
subsd %xmm4, %xmm5
movsd %xmm5, 0x1c0(%r13)
movhpd %xmm6, 0x1c8(%r13)
movapd %xmm11, %xmm7
addsd %xmm12, %xmm7
unpcklpd %xmm3, %xmm7            # xmm7 = xmm7[0],xmm3[0]
movapd %xmm2, %xmm4
mulsd %xmm2, %xmm4
movapd %xmm0, %xmm5
unpckhpd %xmm0, %xmm5            # xmm5 = xmm5[1],xmm0[1]
movapd %xmm5, %xmm3
mulsd %xmm5, %xmm3
movapd %xmm1, %xmm6
xorpd 0x11dab(%rip), %xmm6    # 0x1c620
movapd %xmm1, %xmm8
mulsd %xmm0, %xmm8
movapd %xmm6, %xmm9
unpcklpd %xmm8, %xmm9            # xmm9 = xmm9[0],xmm8[0]
movapd %xmm3, %xmm8
addsd %xmm4, %xmm8
shufpd $0x2, %xmm0, %xmm8      # xmm8 = xmm8[0],xmm0[1]
mulpd %xmm9, %xmm8
addpd %xmm7, %xmm8
movapd %xmm1, %xmm7
mulsd %xmm2, %xmm7
mulsd %xmm0, %xmm7
addsd %xmm14, %xmm7
movupd %xmm0, 0x20(%r13)
movsd %xmm2, 0x30(%r13)
movupd %xmm8, 0x38(%r13)
movsd %xmm7, 0x48(%r13)
movhpd %xmm8, 0x50(%r13)
addsd %xmm10, %xmm12
unpcklpd %xmm13, %xmm12          # xmm12 = xmm12[0],xmm13[0]
mulsd %xmm1, %xmm5
unpcklpd %xmm5, %xmm6            # xmm6 = xmm6[0],xmm5[0]
mulsd %xmm0, %xmm0
addsd %xmm0, %xmm4
unpcklpd %xmm2, %xmm4            # xmm4 = xmm4[0],xmm2[0]
mulpd %xmm6, %xmm4
addpd %xmm12, %xmm4
movupd %xmm4, 0x58(%r13)
movsd %xmm7, 0x68(%r13)
movhpd %xmm4, 0x70(%r13)
addsd %xmm11, %xmm10
addsd %xmm3, %xmm0
mulsd %xmm1, %xmm0
subsd %xmm0, %xmm10
movsd %xmm10, 0x78(%r13)
addq 0x38(%rsp), %r15
xorl %eax, %eax
movsd 0x80(%rsp,%rax), %xmm0
movsd %xmm0, -0x8(%r15,%rax,2)
movsd 0x98(%rsp,%rax), %xmm0
movsd %xmm0, (%r15,%rax,2)
addq $0x8, %rax
cmpq $0x18, %rax
jne 0xa92a
leaq 0x80(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x7eb6
movsd %xmm0, 0x18(%r13)
cmpl $0x0, 0x8(%r13)
jle 0xa9ae
xorl %r14d, %r14d
xorl %r15d, %r15d
movq 0x228(%r13), %rdi
addq %r14, %rdi
callq 0x7e5b
movq 0x228(%r13), %rsi
addq %r14, %rsi
movl $0x3, %edi
callq 0x8053
incq %r15
movslq 0x8(%r13), %rax
addq $0x18, %r14
cmpq %rax, %r15
jl 0xa97b
cmpl $0x0, 0x4(%r13)
jle 0xaa4f
xorl %r15d, %r15d
xorl %r12d, %r12d
movq 0x208(%r13), %rdx
movq 0x210(%r13), %rax
movq %r12, %rcx
shlq $0x4, %rcx
movslq 0x8(%rax,%rcx), %rsi
movslq 0xc(%rax,%rcx), %rcx
movq 0x218(%r13), %rdi
leaq (%rdi,%r15), %rax
leaq (%rcx,%rcx,2), %rcx
leaq (%rdx,%rcx,8), %rcx
leaq (%rsi,%rsi,2), %rsi
leaq (%rdx,%rsi,8), %rdx
xorl %esi, %esi
movsd (%rdx,%rsi,8), %xmm0
addsd (%rcx,%rsi,8), %xmm0
movsd %xmm0, (%rax,%rsi,8)
incq %rsi
cmpq $0x3, %rsi
jne 0xa9fb
leaq (,%r12,8), %rax
leaq (%rax,%rax,2), %r14
addq %r14, %rdi
callq 0x7e5b
addq 0x218(%r13), %r14
movl $0x3, %edi
movq %r14, %rsi
callq 0x8053
incq %r12
movslq 0x4(%r13), %rax
addq $0x18, %r15
cmpq %rax, %r12
jl 0xa9bf
movq 0x130(%rsp), %rcx
incq %rcx
movq 0x120(%rsp), %rsi
movslq (%rsi), %rax
addq $0x238, 0x38(%rsp)      # imm = 0x238
cmpq %rax, %rcx
movabsq $0x47efffffe0000000, %rdx # imm = 0x47EFFFFFE0000000
movabsq $0x3810000000000000, %rdi # imm = 0x3810000000000000
jl 0x9f18
addq $0x3a8, %rsp            # imm = 0x3A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq