// File: /workspace/github_c_makefile_star2_O1/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 $0x348, %rsp            # imm = 0x348
movl 0x4(%rsi), %r8d
testl %r8d, %r8d
jle 0xa248
leaq 0x1354a(%rip), %rax     # 0x1d648
movsd (%rax), %xmm0
movapd %xmm0, %xmm1
addsd %xmm0, %xmm1
movsd 0x13656(%rip), %xmm2    # 0x1d768
mulsd %xmm0, %xmm2
movsd 0x13652(%rip), %xmm3    # 0x1d770
mulsd %xmm0, %xmm3
xorl %eax, %eax
movsd 0x1364c(%rip), %xmm4    # 0x1d778
xorpd %xmm5, %xmm5
movsd 0x13488(%rip), %xmm6    # 0x1d5c0
xorl %ecx, %ecx
xorl %edx, %edx
movq 0x10(%rsi), %r10
imulq $0x238, %rdx, %r8       # imm = 0x238
leaq (%r10,%r8), %r9
movsd 0x18(%r10,%r8), %xmm7
addq %rcx, %r10
movl $0xe8, %r8d
movsd -0xc8(%r10,%r8), %xmm8
movapd %xmm8, %xmm9
subsd %xmm7, %xmm9
movsd %xmm9, (%r10,%r8,2)
addsd %xmm7, %xmm8
movsd %xmm8, 0x8(%r10,%r8,2)
addq $0x8, %r8
cmpq $0x100, %r8             # imm = 0x100
jne 0xa15b
movsd 0x18(%r9), %xmm7
testl %edi, %edi
je 0xa1bc
movapd %xmm1, %xmm8
mulsd %xmm7, %xmm8
movsd %xmm8, 0x1c0(%r9)
movapd %xmm0, %xmm9
mulsd %xmm7, %xmm9
movapd %xmm6, %xmm8
jmp 0xa1e8
movapd %xmm2, %xmm8
mulsd %xmm7, %xmm8
mulsd %xmm7, %xmm8
movsd %xmm8, 0x1c0(%r9)
movapd %xmm3, %xmm9
mulsd %xmm7, %xmm9
mulsd %xmm7, %xmm9
movapd %xmm4, %xmm8
mulsd %xmm9, %xmm7
movsd %xmm7, 0x1c8(%r9)
movsd 0x18(%r9), %xmm9
mulsd %xmm9, %xmm8
mulsd %xmm9, %xmm8
mulsd %xmm7, %xmm8
movsd %xmm8, 0x38(%r9)
movupd %xmm5, 0x40(%r9)
movq %rax, 0x50(%r9)
movsd %xmm8, 0x58(%r9)
movupd %xmm5, 0x60(%r9)
movq %rax, 0x70(%r9)
movsd %xmm8, 0x78(%r9)
incq %rdx
movslq 0x4(%rsi), %r8
addq $0x238, %rcx            # imm = 0x238
cmpq %r8, %rdx
jl 0xa13c
movl %edi, 0x2c(%rsp)
cmpl (%rsi), %r8d
jge 0xae96
leaq 0x133ec(%rip), %rax     # 0x1d648
movsd (%rax), %xmm0
movsd %xmm0, 0x138(%rsp)
movslq %r8d, %rcx
imulq $0x238, %rcx, %rax      # imm = 0x238
addq $0x1d8, %rax            # imm = 0x1D8
movq %rax, 0x30(%rsp)
movabsq $0x47efffffe0000000, %rdx # imm = 0x47EFFFFFE0000000
movabsq $0x3810000000000000, %rdi # imm = 0x3810000000000000
leaq 0x50(%rsp), %rbx
movq %rsi, 0x120(%rsp)
movq 0x10(%rsi), %r15
xorl %eax, %eax
movq %rax, 0xc0(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0xb0(%rsp)
movq %rax, 0xa0(%rsp)
movapd %xmm0, 0x90(%rsp)
movq %rax, 0x80(%rsp)
movapd %xmm0, 0x70(%rsp)
movq %rax, 0x340(%rsp)
movapd %xmm0, 0x330(%rsp)
movq %rax, 0x320(%rsp)
movapd %xmm0, 0x310(%rsp)
movq %rax, 0x60(%rsp)
movapd %xmm0, 0x50(%rsp)
movq %rax, 0x110(%rsp)
movapd %xmm0, 0x100(%rsp)
movq %rax, 0x2e0(%rsp)
movapd %xmm0, 0x2d0(%rsp)
movapd %xmm0, 0x2c0(%rsp)
movapd %xmm0, 0x2b0(%rsp)
movapd %xmm0, 0x2a0(%rsp)
movq %rax, 0x290(%rsp)
movapd %xmm0, 0x280(%rsp)
movapd %xmm0, 0x270(%rsp)
movapd %xmm0, 0x260(%rsp)
movapd %xmm0, 0x250(%rsp)
movapd %xmm0, 0xf0(%rsp)
movapd %xmm0, 0xe0(%rsp)
movapd %xmm0, 0xd0(%rsp)
xorl %eax, %eax
movq %rdx, 0xd0(%rsp,%rax,8)
movq %rdi, 0xe8(%rsp,%rax,8)
incq %rax
cmpq $0x3, %rax
jne 0xa38c
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 0xa42c
movq 0x220(%r13), %rcx
xorl %edx, %edx
xorl %esi, %esi
movsd 0xd0(%rsp,%rsi,8), %xmm0
minsd (%rcx,%rsi,8), %xmm0
movsd 0xe8(%rsp,%rsi,8), %xmm1
movsd %xmm0, 0xd0(%rsp,%rsi,8)
maxsd (%rcx,%rsi,8), %xmm1
movsd %xmm1, 0xe8(%rsp,%rsi,8)
incq %rsi
cmpq $0x3, %rsi
jne 0xa3e9
incq %rdx
addq $0x18, %rcx
cmpq %rax, %rdx
jne 0xa3e7
cmpl $0x0, (%r13)
jle 0xabf3
movq %r15, 0x128(%rsp)
xorpd %xmm4, %xmm4
xorl %r15d, %r15d
xorl %r14d, %r14d
xorpd %xmm8, %xmm8
xorpd %xmm10, %xmm10
xorpd %xmm12, %xmm12
xorpd %xmm9, %xmm9
xorpd %xmm13, %xmm13
xorpd %xmm11, %xmm11
xorpd %xmm7, %xmm7
xorpd %xmm5, %xmm5
xorpd %xmm6, %xmm6
xorpd %xmm1, %xmm1
movsd %xmm1, 0x200(%rsp)
movsd %xmm13, 0x208(%rsp)
movsd %xmm12, 0x210(%rsp)
movsd %xmm11, 0x218(%rsp)
movsd %xmm10, 0x220(%rsp)
movsd %xmm9, 0x228(%rsp)
movsd %xmm8, 0x20(%rsp)
movsd %xmm7, 0x230(%rsp)
movsd %xmm6, 0x238(%rsp)
movsd %xmm5, 0x240(%rsp)
movsd %xmm4, 0x248(%rsp)
leaq 0x310(%rsp), %rbp
movq %rbp, (%rsp)
movl %r14d, %edi
movq %r13, %rsi
leaq 0xb0(%rsp), %rdx
leaq 0x90(%rsp), %rcx
leaq 0x70(%rsp), %r8
movq %rbx, %r12
leaq 0x330(%rsp), %rbx
movq %rbx, %r9
callq 0xaea8
movq %rbx, %rdi
movq %r12, %rbx
movq %rbp, %rsi
movq %r12, %rdx
callq 0x8054
xorl %eax, %eax
movsd 0xb0(%rsp,%rax), %xmm2
movsd 0x90(%rsp,%rax), %xmm1
movapd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x70(%rsp,%rax), %xmm4
movapd %xmm1, %xmm6
mulsd %xmm0, %xmm6
addsd %xmm4, %xmm0
movsd %xmm0, 0x2a0(%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, 0x2b8(%rsp,%rax)
movsd %xmm4, 0x2d0(%rsp,%rax)
mulsd %xmm2, %xmm6
addsd %xmm3, %xmm6
movsd %xmm6, 0x250(%rsp,%rax)
mulsd %xmm1, %xmm7
addsd %xmm3, %xmm7
movsd %xmm7, 0x268(%rsp,%rax)
addsd %xmm3, %xmm0
movsd %xmm0, 0x280(%rsp,%rax)
addq $0x8, %rax
cmpq $0x18, %rax
jne 0xa52a
movq %rbx, %rdi
callq 0x7fab
movsd %xmm0, 0x1c8(%rsp)
movsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x1f8(%rsp)
movsd 0x58(%rsp), %xmm0
movsd %xmm0, 0x1e8(%rsp)
movsd 0x2a0(%rsp), %xmm0
movsd %xmm0, 0x1c0(%rsp)
movsd 0x2b8(%rsp), %xmm0
movsd %xmm0, 0x1d0(%rsp)
movsd 0x2c0(%rsp), %xmm0
movsd %xmm0, 0x1b0(%rsp)
movsd 0x60(%rsp), %xmm0
movsd %xmm0, 0x1f0(%rsp)
movsd 0x2c8(%rsp), %xmm0
movsd %xmm0, 0x1d8(%rsp)
movsd 0x2d0(%rsp), %xmm0
movsd %xmm0, 0x1b8(%rsp)
movsd 0x2d8(%rsp), %xmm0
movsd %xmm0, 0x1e0(%rsp)
movsd 0x90(%rsp), %xmm2
movsd %xmm2, 0x10(%rsp)
movsd 0x98(%rsp), %xmm1
movsd %xmm1, 0x8(%rsp)
movsd 0x268(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x180(%rsp)
movsd 0xa0(%rsp), %xmm1
movsd %xmm1, 0x18(%rsp)
movsd 0x270(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x178(%rsp)
movsd 0x278(%rsp), %xmm0
mulsd %xmm2, %xmm0
movsd %xmm0, 0x168(%rsp)
movsd 0x2e0(%rsp), %xmm0
movsd %xmm0, 0x188(%rsp)
movsd 0xb0(%rsp), %xmm0
movsd %xmm0, 0x170(%rsp)
movsd 0xb8(%rsp), %xmm0
movsd %xmm0, 0x1a8(%rsp)
movsd 0x250(%rsp), %xmm0
movsd %xmm0, 0x150(%rsp)
movsd 0x258(%rsp), %xmm0
movsd %xmm0, 0x160(%rsp)
movsd 0x70(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x78(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x280(%rsp), %xmm0
movsd %xmm0, 0x190(%rsp)
movsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x1a0(%rsp)
movsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
movsd 0x288(%rsp), %xmm0
movsd %xmm0, 0x198(%rsp)
movsd 0x260(%rsp), %xmm0
movsd %xmm0, 0x148(%rsp)
movsd 0x290(%rsp), %xmm0
movsd %xmm0, 0x158(%rsp)
movq %rbx, %rdi
callq 0x7fab
movl $0x3, %edi
movq %rbx, %rsi
callq 0x821f
movsd 0x48(%rsp), %xmm0
subsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x2f0(%rsp)
movsd 0x40(%rsp), %xmm0
subsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x2f8(%rsp)
movsd 0x38(%rsp), %xmm0
subsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x300(%rsp)
leaq 0x330(%rsp), %rdi
movq %rdi, %rsi
callq 0x7f86
movsd %xmm0, 0x8(%rsp)
leaq 0x310(%rsp), %rdi
movq %rdi, %rsi
callq 0x7f86
movsd %xmm0, 0x18(%rsp)
leaq 0x2f0(%rsp), %rdi
movq %rdi, %rsi
callq 0x7f86
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
mulsd 0x18(%rsp), %xmm0
ucomisd 0xf780(%rip), %xmm0     # 0x1a010
jb 0xa898
sqrtsd %xmm0, %xmm0
jmp 0xa89d
callq 0x2210
movsd 0x8(%rsp), %xmm1
addsd 0x18(%rsp), %xmm1
subsd 0x10(%rsp), %xmm1
addsd %xmm0, %xmm0
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x2110
movsd %xmm0, 0x140(%rsp)
movsd %xmm0, 0x100(%rsp)
movsd 0x8(%rsp), %xmm0
mulsd 0x10(%rsp), %xmm0
ucomisd 0xf72a(%rip), %xmm0     # 0x1a010
jb 0xa8ee
sqrtsd %xmm0, %xmm0
jmp 0xa8f3
callq 0x2210
movsd 0x8(%rsp), %xmm1
addsd 0x10(%rsp), %xmm1
subsd 0x18(%rsp), %xmm1
addsd %xmm0, %xmm0
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x2110
movsd %xmm0, 0x108(%rsp)
movsd 0x138(%rsp), %xmm1
subsd 0x140(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x110(%rsp)
movq 0x200(%r13), %rax
movq 0x228(%r13), %rcx
xorl %edx, %edx
movsd 0x248(%rsp), %xmm4
movsd 0x238(%rsp), %xmm6
movsd 0x230(%rsp), %xmm7
movsd 0x20(%rsp), %xmm11
movsd 0x228(%rsp), %xmm9
movsd 0x220(%rsp), %xmm10
movsd 0x218(%rsp), %xmm8
movsd 0x210(%rsp), %xmm12
movsd 0x208(%rsp), %xmm13
movsd 0x1f0(%rsp), %xmm2
movsd 0x1e8(%rsp), %xmm3
movsd 0x48(%rsp), %xmm15
leaq (%r14,%r14,2), %rsi
leaq (%rax,%rsi,4), %rsi
movslq (%rsi,%rdx,4), %rsi
movsd 0x100(%rsp,%rdx,8), %xmm0
leaq (%rsi,%rsi,2), %rsi
leaq (%rcx,%rsi,8), %rsi
xorl %edi, %edi
movsd 0x50(%rsp,%rdi,8), %xmm1
mulsd %xmm0, %xmm1
addsd (%rsi,%rdi,8), %xmm1
movsd %xmm1, (%rsi,%rdi,8)
incq %rdi
cmpq $0x3, %rdi
jne 0xa9da
incq %rdx
cmpq $0x3, %rdx
jne 0xa9bb
movsd 0x1a8(%rsp), %xmm1
mulsd 0x150(%rsp), %xmm1
addsd 0x180(%rsp), %xmm1
movsd 0x1a0(%rsp), %xmm5
mulsd 0x160(%rsp), %xmm5
addsd 0x178(%rsp), %xmm5
movsd 0x170(%rsp), %xmm0
mulsd 0x148(%rsp), %xmm0
addsd 0x168(%rsp), %xmm0
mulsd 0x158(%rsp), %xmm15
addsd %xmm0, %xmm15
movsd 0x1b0(%rsp), %xmm0
mulsd %xmm3, %xmm0
addsd %xmm0, %xmm11
movsd %xmm11, 0x20(%rsp)
movsd 0x188(%rsp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm0, %xmm8
movq 0x208(%r13), %rax
addq %r15, %rax
xorl %ecx, %ecx
movsd 0x50(%rsp,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq $0x3, %rcx
jne 0xaa97
movsd 0x40(%rsp), %xmm11
mulsd 0x190(%rsp), %xmm11
addsd %xmm1, %xmm11
movsd 0x38(%rsp), %xmm14
mulsd 0x198(%rsp), %xmm14
addsd %xmm5, %xmm14
movsd 0x1f8(%rsp), %xmm0
movsd 0x1c0(%rsp), %xmm1
mulsd %xmm0, %xmm1
addsd %xmm1, %xmm6
movsd 0x1b8(%rsp), %xmm1
mulsd %xmm0, %xmm1
movsd 0x240(%rsp), %xmm5
addsd %xmm1, %xmm5
mulsd %xmm3, %xmm14
addsd %xmm14, %xmm9
movsd 0x200(%rsp), %xmm1
addsd 0x1c8(%rsp), %xmm1
movsd 0x1d0(%rsp), %xmm14
mulsd %xmm0, %xmm14
addsd %xmm14, %xmm4
movsd 0x1d8(%rsp), %xmm14
mulsd %xmm2, %xmm14
addsd %xmm14, %xmm10
movsd 0x1e0(%rsp), %xmm14
mulsd %xmm3, %xmm14
addsd %xmm14, %xmm7
mulsd %xmm0, %xmm11
addsd %xmm11, %xmm13
mulsd %xmm2, %xmm15
addsd %xmm15, %xmm12
incq %r14
movslq (%r13), %rax
addq $0x18, %r15
cmpq %rax, %r14
movapd %xmm8, %xmm11
movsd 0x20(%rsp), %xmm8
jl 0xa477
mulsd 0x12a21(%rip), %xmm1    # 0x1d5c0
mulsd 0x12be1(%rip), %xmm6    # 0x1d788
movsd 0x12be1(%rip), %xmm0    # 0x1d790
mulsd %xmm0, %xmm4
mulsd %xmm0, %xmm8
mulsd %xmm0, %xmm10
movsd 0x12bd3(%rip), %xmm0    # 0x1d798
mulsd %xmm0, %xmm5
mulsd %xmm0, %xmm7
mulsd %xmm0, %xmm11
movsd 0x12bc6(%rip), %xmm0    # 0x1d7a0
mulsd %xmm0, %xmm13
mulsd %xmm0, %xmm12
mulsd %xmm0, %xmm9
movq 0x128(%rsp), %r15
jmp 0xac2d
xorpd %xmm1, %xmm1
xorpd %xmm6, %xmm6
xorpd %xmm5, %xmm5
xorpd %xmm7, %xmm7
xorpd %xmm11, %xmm11
movsd 0x12b70(%rip), %xmm0    # 0x1d780
movapd %xmm0, %xmm13
movapd %xmm0, %xmm9
movapd %xmm0, %xmm12
xorpd %xmm10, %xmm10
xorpd %xmm8, %xmm8
xorpd %xmm4, %xmm4
cmpl $0x0, 0x2c(%rsp)
je 0xac40
movapd %xmm6, %xmm0
addsd %xmm6, %xmm0
subsd %xmm0, %xmm1
divsd %xmm6, %xmm4
divsd %xmm6, %xmm8
divsd %xmm6, %xmm10
movsd %xmm1, 0x1c0(%r13)
movsd %xmm6, 0x1c8(%r13)
movsd %xmm4, 0x20(%r13)
movsd %xmm8, 0x28(%r13)
movsd %xmm10, 0x30(%r13)
movapd %xmm7, %xmm2
addsd %xmm11, %xmm2
movapd %xmm10, %xmm1
mulsd %xmm10, %xmm1
movapd %xmm8, %xmm0
mulsd %xmm8, %xmm0
movapd %xmm0, %xmm3
addsd %xmm1, %xmm3
mulsd %xmm6, %xmm3
subsd %xmm3, %xmm2
movsd %xmm2, 0x38(%r13)
movapd %xmm6, %xmm2
mulsd %xmm4, %xmm2
mulsd %xmm8, %xmm2
addsd %xmm13, %xmm2
movsd %xmm2, 0x40(%r13)
movapd %xmm6, %xmm3
mulsd %xmm10, %xmm3
mulsd %xmm4, %xmm3
addsd %xmm12, %xmm3
movsd %xmm3, 0x48(%r13)
movsd %xmm2, 0x50(%r13)
addsd %xmm5, %xmm11
mulsd %xmm4, %xmm4
addsd %xmm4, %xmm1
mulsd %xmm6, %xmm1
subsd %xmm1, %xmm11
movsd %xmm11, 0x58(%r13)
mulsd %xmm6, %xmm8
mulsd %xmm10, %xmm8
addsd %xmm9, %xmm8
movsd %xmm8, 0x60(%r13)
movsd %xmm3, 0x68(%r13)
movsd %xmm8, 0x70(%r13)
addsd %xmm7, %xmm5
addsd %xmm0, %xmm4
mulsd %xmm6, %xmm4
subsd %xmm4, %xmm5
movsd %xmm5, 0x78(%r13)
addq 0x30(%rsp), %r15
xorl %eax, %eax
movsd 0xd0(%rsp,%rax), %xmm0
movsd %xmm0, -0x8(%r15,%rax,2)
movsd 0xe8(%rsp,%rax), %xmm0
movsd %xmm0, (%r15,%rax,2)
addq $0x8, %rax
cmpq $0x18, %rax
jne 0xad35
leaq 0xd0(%rsp), %rdi
leaq 0xe8(%rsp), %rsi
callq 0x8011
movsd %xmm0, 0x18(%r13)
cmpl $0x0, 0x8(%r13)
jle 0xadb9
xorl %r14d, %r14d
xorl %r15d, %r15d
movq 0x228(%r13), %rdi
addq %r14, %rdi
callq 0x7fab
movq 0x228(%r13), %rsi
addq %r14, %rsi
movl $0x3, %edi
callq 0x821f
incq %r15
movslq 0x8(%r13), %rax
addq $0x18, %r14
cmpq %rax, %r15
jl 0xad86
cmpl $0x0, 0x4(%r13)
jle 0xae5a
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 0xae06
leaq (,%r12,8), %rax
leaq (%rax,%rax,2), %r14
addq %r14, %rdi
callq 0x7fab
addq 0x218(%r13), %r14
movl $0x3, %edi
movq %r14, %rsi
callq 0x821f
incq %r12
movslq 0x4(%r13), %rax
addq $0x18, %r15
cmpq %rax, %r12
jl 0xadca
movq 0x130(%rsp), %rcx
incq %rcx
movq 0x120(%rsp), %rsi
movslq (%rsi), %rax
addq $0x238, 0x30(%rsp)      # imm = 0x238
cmpq %rax, %rcx
movabsq $0x47efffffe0000000, %rdx # imm = 0x47EFFFFFE0000000
movabsq $0x3810000000000000, %rdi # imm = 0x3810000000000000
jl 0xa29f
addq $0x348, %rsp            # imm = 0x348
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq