// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/initialization.c
// Function: InitializeComputeDomain
void InitializeComputeDomain(Time *time, Space *space, const Model *model)
{
    if (0 == time->restart) { /* non restart */
        InitializeSpaceData(space, model);
    } else {
        ReadData(PROSD, time, space, model);
    }
    ComputeGeometryParameters(space->part.collapse, &(space->geo));
    WritePolyMassProperty(&(space->geo));
    ComputeGeometricField(space, model);
    TreatBoundary(TO, space, model);
    IdentifyGeometryState(&(space->geo));
    if (0 == time->restart) { /* non restart */
        WriteData(PROPT, time, space, model);
        WriteData(PROFC, time, space, model);
        WriteData(PROSD, time, space, model);
    }
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2c8, %rsp            # imm = 0x2C8
movq %rsi, %r14
cmpl $0x0, (%rdi)
movq %rdx, 0xb0(%rsp)
movq %rdi, 0xd0(%rsp)
je 0x12911
movq %rdx, %rcx
movq %rdi, %rsi
movl $0x4, %edi
movq %r14, %rdx
callq 0xc8a7
jmp 0x1322c
movl 0x1f0(%r14), %eax
movl 0x1f4(%r14), %ecx
movl %eax, 0x8(%rsp)
cmpl %ecx, %eax
jge 0x12eb4
movq (%r14), %rax
movq %rax, 0xa0(%rsp)
leaq 0x90(%r14), %rax
movq %rax, 0xd8(%rsp)
leaq 0x9d3c(%rip), %rax      # 0x1c688
movq (%rax), %xmm0
movq %xmm0, 0xe8(%rsp)
movl 0x1ec(%r14), %eax
leaq 0x130(%rsp), %r13
movl 0x1e8(%r14), %edx
movl %edx, 0xc(%rsp)
cmpl %eax, %edx
jge 0x12ea2
movl 0x1e4(%r14), %ecx
movl 0x1e0(%r14), %ebx
cmpl %ecx, %ebx
jge 0x12e89
movl 0x34(%r14), %r8d
movl 0x38(%r14), %ecx
movl 0x8(%rsp), %ebp
movl %ebp, %edi
movl 0xc(%rsp), %r12d
movl %r12d, %esi
movl %ebx, %edx
callq 0x7d53
cltq
movq %rax, %rcx
shlq $0x7, %rcx
leaq (%rcx,%rax,8), %r15
movq 0xa0(%rsp), %rax
pcmpeqd %xmm0, %xmm0
movdqu %xmm0, (%rax,%r15)
movapd 0xa30b(%rip), %xmm0     # 0x1cce0
movupd %xmm0, 0x10(%rax,%r15)
movupd %xmm0, 0x20(%rax,%r15)
movupd %xmm0, 0x30(%rax,%r15)
movupd %xmm0, 0x40(%rax,%r15)
movupd %xmm0, 0x50(%rax,%r15)
movupd %xmm0, 0x60(%rax,%r15)
movupd %xmm0, 0x70(%rax,%r15)
movabsq $0x101010101010101, %rcx # imm = 0x101010101010101
movq %rcx, 0x80(%rax,%r15)
movl %ebp, %edi
movl %r12d, %esi
movl %ebx, 0x1c(%rsp)
movl %ebx, %edx
movq 0xd8(%rsp), %rcx
callq 0x7d60
testl %eax, %eax
movl $0x0, %ebx
je 0x12e6d
movq 0xa0(%rsp), %rax
addq %r15, %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
movsd 0x3f0(%r14), %xmm0
movsd 0x58(%r14), %xmm1
movl 0x40(%r14), %esi
movl 0x1c(%rsp), %edi
callq 0x7db8
movaps %xmm0, 0x100(%rsp)
movsd 0x400(%r14), %xmm0
movsd 0x60(%r14), %xmm1
movl 0x44(%r14), %esi
movl 0xc(%rsp), %edi
callq 0x7db8
movaps %xmm0, 0xf0(%rsp)
movsd 0x410(%r14), %xmm0
movsd 0x68(%r14), %xmm1
movl 0x48(%r14), %esi
movl 0x8(%rsp), %edi
callq 0x7db8
movsd %xmm0, 0xa8(%rsp)
cmpl $0x0, 0x3d0(%r14)
jle 0x12e6d
movq 0xa0(%rsp), %rax
addq %r15, %rax
addq $0x10, %rax
movq %rax, 0xe0(%rsp)
movaps 0x100(%rsp), %xmm0
unpcklpd 0xf0(%rsp), %xmm0       # xmm0 = xmm0[0],mem[0]
movaps %xmm0, 0x110(%rsp)
movl $0x190, %ebp            # imm = 0x190
movl $0xc, %r12d
xorl %r15d, %r15d
movq 0x3e0(%r14), %rax
movsd -0x20(%rax,%r12,4), %xmm0
movsd %xmm0, 0x10(%rsp)
movups -0x30(%rax,%r12,4), %xmm0
movaps %xmm0, 0x120(%rsp)
movsd -0x18(%rax,%r12,4), %xmm0
movaps %xmm0, 0x40(%rsp)
movsd %xmm0, 0x80(%rsp)
movsd -0x10(%rax,%r12,4), %xmm0
movaps %xmm0, 0xc0(%rsp)
movsd %xmm0, 0x88(%rsp)
movsd -0x8(%rax,%r12,4), %xmm0
movsd %xmm0, 0xb8(%rsp)
movsd %xmm0, 0x90(%rsp)
movsd (%rax,%r12,4), %xmm0
movsd %xmm0, 0x58(%rsp)
movq %rbx, 0x130(%rsp)
movaps 0x100(%rsp), %xmm0
movsd %xmm0, 0x138(%rsp)
movaps 0xf0(%rsp), %xmm0
movsd %xmm0, 0x140(%rsp)
movsd 0xa8(%rsp), %xmm0
movsd %xmm0, 0x148(%rsp)
movq %rbx, 0x150(%rsp)
movsd 0xe8(%rsp), %xmm0
movsd %xmm0, 0x158(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbp), %rsi
addq $-0x190, %rsi           # imm = 0xFE70
movq %r13, %rdi
callq 0x2eff
movsd %xmm0, 0x200(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbp), %rsi
addq $-0x12c, %rsi           # imm = 0xFED4
movq %r13, %rdi
callq 0x2eff
movsd %xmm0, 0x208(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbp), %rsi
addq $-0xc8, %rsi
movq %r13, %rdi
callq 0x2eff
movsd %xmm0, 0x210(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbp), %rsi
addq $-0x64, %rsi
movq %r13, %rdi
callq 0x2eff
movsd %xmm0, 0x218(%rsp)
movq 0x3e8(%r14), %rsi
addq %rbp, %rsi
movq %r13, %rdi
callq 0x2eff
movsd %xmm0, 0x220(%rsp)
movq %rbx, 0x228(%rsp)
movapd 0x40(%rsp), %xmm0
unpcklpd 0xc0(%rsp), %xmm0       # xmm0 = xmm0[0],mem[0]
movapd %xmm0, 0x40(%rsp)
subpd 0x120(%rsp), %xmm0
movapd %xmm0, 0x60(%rsp)
movsd 0xb8(%rsp), %xmm0
subsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
leaq 0x60(%rsp), %rdi
movq %rdi, %rsi
callq 0x7e36
movapd 0x110(%rsp), %xmm1
subpd 0x120(%rsp), %xmm1
movapd %xmm1, 0x20(%rsp)
movsd 0xa8(%rsp), %xmm3
subsd 0x10(%rsp), %xmm3
movsd %xmm3, 0x30(%rsp)
movq 0x3d8(%r14), %rax
movl (%rax,%r15,4), %eax
cmpq $0x4, %rax
ja 0x12e4f
leaq 0xb4d2(%rip), %rcx      # 0x1e1e0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x20(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x7e36
ucomisd 0x62df(%rip), %xmm0     # 0x19010
jae 0x12e2d
jmp 0x12e4f
leaq 0x20(%rsp), %rdi
leaq 0x60(%rsp), %rsi
movsd %xmm0, 0xc0(%rsp)
callq 0x7e36
movsd 0xc0(%rsp), %xmm1
movapd %xmm0, %xmm2
xorpd %xmm0, %xmm0
ucomisd %xmm2, %xmm0
ja 0x12e4f
ucomisd %xmm1, %xmm2
ja 0x12e4f
leaq 0x20(%rsp), %rdi
movq %rdi, %rsi
movsd %xmm2, 0x40(%rsp)
callq 0x7e36
movsd 0x40(%rsp), %xmm1
mulsd %xmm1, %xmm1
divsd 0xc0(%rsp), %xmm1
subsd %xmm1, %xmm0
movsd 0x58(%rsp), %xmm1
mulsd %xmm1, %xmm1
jmp 0x12dd2
movsd 0x58(%rsp), %xmm0
mulsd %xmm0, %xmm0
movsd %xmm0, 0x58(%rsp)
leaq 0x20(%rsp), %rdi
movq %rdi, %rsi
callq 0x7e36
movsd 0x58(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jae 0x12e2d
jmp 0x12e4f
movapd 0x110(%rsp), %xmm2
subpd 0x40(%rsp), %xmm2
mulpd %xmm2, %xmm1
movapd %xmm1, 0x20(%rsp)
movsd 0xa8(%rsp), %xmm2
subsd 0xb8(%rsp), %xmm2
mulsd %xmm2, %xmm3
movsd %xmm3, 0x30(%rsp)
xorpd %xmm2, %xmm2
ucomisd %xmm1, %xmm2
jb 0x12e4f
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
ucomisd %xmm1, %xmm2
jb 0x12e4f
xorpd %xmm1, %xmm1
ucomisd %xmm3, %xmm1
jb 0x12e4f
movq 0xb0(%rsp), %rax
movsd 0x40(%rax), %xmm0
leaq 0x200(%rsp), %rdi
movq 0xe0(%rsp), %rsi
callq 0x7cd7
incq %r15
movslq 0x3d0(%r14), %rax
addq $0x1f4, %rbp            # imm = 0x1F4
addq $0xe, %r12
cmpq %rax, %r15
jl 0x12b09
movl 0x1c(%rsp), %ebx
incl %ebx
movl 0x1e4(%r14), %ecx
cmpl %ecx, %ebx
jl 0x12991
movl 0x1ec(%r14), %eax
movl 0xc(%rsp), %edx
incl %edx
movl %edx, 0xc(%rsp)
cmpl %eax, %edx
jl 0x12982
movl 0x1f4(%r14), %ecx
movl 0x8(%rsp), %edx
incl %edx
movl %edx, 0x8(%rsp)
cmpl %ecx, %edx
jl 0x12968
leaq 0x8042(%rip), %rdi      # 0x1aefd
leaq 0x97e1(%rip), %rsi      # 0x1c6a3
callq 0x9026
movq %rax, %rbx
leaq 0x9c05(%rip), %rdi      # 0x1cad6
callq 0x8d7a
movq %rax, 0x40(%rsp)
leaq 0x130(%rsp), %r12
movl $0xc8, %edx
movq %r12, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x200(%rsp), %rdi
movl $0xc8, %edx
xorl %esi, %esi
callq 0x20d0
movq %r12, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
je 0x13224
leaq 0x8(%r14), %rax
movq %rax, 0x10(%rsp)
leaq 0x130(%rsp), %r15
leaq 0x97f7(%rip), %r12      # 0x1c72e
leaq 0x200(%rsp), %r13
movq %r15, %rdi
callq 0x8c2c
movdqu 0x133(%rsp), %xmm0
pcmpeqb 0xb1f8(%rip), %xmm0     # 0x1e150
movdqa 0x130(%rsp), %xmm1
pcmpeqb 0xb1f7(%rip), %xmm1     # 0x1e160
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x1317c
movdqu 0x13a(%rsp), %xmm0
pcmpeqb 0xb1e3(%rip), %xmm0     # 0x1e170
movdqa 0x130(%rsp), %xmm1
pcmpeqb 0xb1e2(%rip), %xmm1     # 0x1e180
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x13191
movdqu 0x137(%rsp), %xmm0
pcmpeqb 0xb1ce(%rip), %xmm0     # 0x1e190
movdqa 0x130(%rsp), %xmm1
pcmpeqb 0xb1cd(%rip), %xmm1     # 0x1e1a0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x131e7
movdqu 0x13b(%rsp), %xmm0
pcmpeqb 0xb1b9(%rip), %xmm0     # 0x1e1b0
movdqa 0x130(%rsp), %xmm1
pcmpeqb 0xb1b8(%rip), %xmm1     # 0x1e1c0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
leaq 0x9712(%rip), %r12      # 0x1c72e
jne 0x13203
pxor %xmm0, %xmm0
movdqa %xmm0, 0x80(%rsp)
xorl %eax, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x70(%rsp)
movdqa %xmm0, 0x60(%rsp)
movq %rax, 0x30(%rsp)
movdqa %xmm0, 0x20(%rsp)
movslq 0xc(%r14), %r15
cmpl 0x8(%r14), %r15d
movq 0x10(%rsp), %r12
jge 0x131fc
imulq $0x238, %r15, %rbp      # imm = 0x238
movq %rbx, %rdi
movl $0x9, %esi
movq 0x40(%rsp), %rdx
leaq 0x80(%rsp), %rcx
leaq 0x88(%rsp), %r8
leaq 0x90(%rsp), %r9
xorl %eax, %eax
leaq 0x30(%rsp), %r10
pushq %r10
leaq 0x30(%rsp), %r10
pushq %r10
leaq 0x30(%rsp), %r10
pushq %r10
leaq 0x88(%rsp), %r10
pushq %r10
leaq 0x88(%rsp), %r10
pushq %r10
leaq 0x88(%rsp), %r10
pushq %r10
callq 0x91dc
addq $0x30, %rsp
movsd 0x90(%rsp), %xmm0
unpcklpd 0x60(%rsp), %xmm0       # xmm0 = xmm0[0],mem[0]
movsd 0x5f25(%rip), %xmm1     # 0x19008
cmpneqpd %xmm1, %xmm0
movupd 0x68(%rsp), %xmm1
movapd 0x20(%rsp), %xmm2
xorpd %xmm3, %xmm3
cmpneqpd %xmm3, %xmm2
cmpneqpd %xmm3, %xmm1
packssdw %xmm2, %xmm1
movapd 0x80(%rsp), %xmm2
cmpneqpd 0x9538(%rip), %xmm2     # 0x1c650
packssdw %xmm0, %xmm2
packssdw %xmm1, %xmm2
pmovmskb %xmm2, %eax
testl %eax, %eax
jne 0x1313a
movsd 0x30(%rsp), %xmm0
ucomisd 0x5eda(%rip), %xmm0     # 0x19010
jne 0x1313a
jnp 0x13160
movq 0x18(%r14), %r8
leaq (%r8,%rbp), %rdi
addq $0x20, %rdi
addq %rbp, %r8
leaq 0x80(%rsp), %rsi
leaq 0x60(%rsp), %rdx
leaq 0x20(%rsp), %rcx
callq 0x96bf
incq %r15
movslq (%r12), %rax
addq $0x238, %rbp            # imm = 0x238
cmpq %rax, %r15
jl 0x13069
jmp 0x131fc
movl 0xc(%r14), %esi
xorl %edi, %edi
movq %rbx, %rdx
movq 0x10(%rsp), %rcx
callq 0xca8f
jmp 0x13203
movslq 0xc(%r14), %r15
cmpl 0x8(%r14), %r15d
jge 0x13203
imulq $0x238, %r15, %rbp      # imm = 0x238
movq %rbx, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq %r13, %rcx
xorl %eax, %eax
callq 0x91dc
movq 0x18(%r14), %rsi
addq %rbp, %rsi
movq %r13, %rdi
callq 0x1856c
movq 0x18(%r14), %rdi
addq %rbp, %rdi
callq 0x92e0
incq %r15
movslq 0x8(%r14), %rax
addq $0x238, %rbp            # imm = 0x238
cmpq %rax, %r15
jl 0x131a2
jmp 0x13203
movl 0x8(%r14), %esi
movl 0xc(%r14), %edi
movq %rbx, %rdx
movq 0x10(%rsp), %rcx
callq 0xca8f
leaq 0x952b(%rip), %r12      # 0x1c72e
leaq 0x130(%rsp), %r15
movq %r15, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
jne 0x12f3f
movq %rbx, %rdi
callq 0x2080
movl 0x50(%r14), %edi
leaq 0x8(%r14), %rsi
callq 0x9d7e
leaq 0xb013(%rip), %rdi      # 0x1e253
leaq 0x8ae1(%rip), %rsi      # 0x1bd28
callq 0x9026
movq %rax, %rbx
leaq 0x6620(%rip), %r15      # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %r15, %rdi
movq %rax, %rcx
callq 0x2200
leaq 0x6655(%rip), %r12      # 0x198c7
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0xb049(%rip), %rdi      # 0x1e2d7
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0xb06c(%rip), %rdi      # 0x1e328
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r15, %rdi
movq %rbx, %rcx
callq 0x2200
movslq 0xc(%r14), %r12
cmpl 0x8(%r14), %r12d
jge 0x1342c
imulq $0x238, %r12, %r13      # imm = 0x238
addq $0x1f8, %r13            # imm = 0x1F8
leaq 0xaf63(%rip), %r15      # 0x1e269
movq 0x18(%r14), %rax
movsd -0x1d8(%rax,%r13), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd -0x1d0(%rax,%r13), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd -0x1c8(%rax,%r13), %xmm2
movsd -0x1c0(%rax,%r13), %xmm3
movsd -0x1a0(%rax,%r13), %xmm4
movsd -0x180(%rax,%r13), %xmm5
movsd -0x1b8(%rax,%r13), %xmm6
movsd -0x198(%rax,%r13), %xmm7
movsd -0x190(%rax,%r13), %xmm8
movsd -0x28(%rax,%r13), %xmm9
movsd -0x18(%rax,%r13), %xmm10
movsd -0x8(%rax,%r13), %xmm11
movsd -0x20(%rax,%r13), %xmm12
movsd -0x10(%rax,%r13), %xmm13
movsd (%rax,%r13), %xmm14
movsd -0x50(%rax,%r13), %xmm15
movsd -0x38(%rax,%r13), %xmm1
movsd -0x30(%rax,%r13), %xmm0
subq $0x50, %rsp
movsd %xmm0, 0x48(%rsp)
movsd %xmm1, 0x40(%rsp)
movsd %xmm15, 0x38(%rsp)
movsd %xmm14, 0x30(%rsp)
movsd %xmm13, 0x28(%rsp)
movsd %xmm12, 0x20(%rsp)
movsd %xmm11, 0x18(%rsp)
movsd %xmm10, 0x10(%rsp)
movsd %xmm9, 0x8(%rsp)
movsd %xmm8, (%rsp)
movq %rbx, %rdi
movq %r15, %rsi
movq 0x90(%rsp), %xmm0
movsd 0x60(%rsp), %xmm1
movb $0x8, %al
callq 0x2160
addq $0x50, %rsp
incq %r12
movslq 0x8(%r14), %rax
addq $0x238, %r13            # imm = 0x238
cmpq %rax, %r12
jl 0x13306
leaq 0x6443(%rip), %rdi      # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
callq 0x2080
movq %r14, %rdi
movq 0xb0(%rsp), %rbx
movq %rbx, %rsi
callq 0x11200
xorl %edi, %edi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x237c
movslq 0x8(%r14), %rcx
testq %rcx, %rcx
movq 0xd0(%rsp), %r15
jle 0x1361b
movq 0x18(%r14), %rax
imulq $0x238, %rcx, %rcx      # imm = 0x238
xorl %edx, %edx
movsd 0xad39(%rip), %xmm0     # 0x1e1d0
xorpd %xmm1, %xmm1
movsd 0xad35(%rip), %xmm2     # 0x1e1d8
movsd 0x1a8(%rax,%rdx), %xmm3
ucomisd %xmm0, %xmm3
jbe 0x1360b
movl $0x2, 0xc(%rax,%rdx)
movsd 0x80(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x88(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x90(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0xb0(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0xb8(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0xc0(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0xf8(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x100(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x108(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x110(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x118(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x120(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x140(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
movsd 0x148(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x1360b
jp 0x1360b
ucomisd %xmm2, %xmm3
jbe 0x1360b
movsd 0x150(%rax,%rdx), %xmm3
ucomisd %xmm1, %xmm3
jne 0x1360b
jp 0x1360b
movl $0x1, 0xc(%rax,%rdx)
addq $0x238, %rdx            # imm = 0x238
cmpq %rdx, %rcx
jne 0x134a3
cmpl $0x0, (%r15)
jne 0x13657
xorl %edi, %edi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0xc890
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0xc890
movl $0x4, %edi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0xc890
addq $0x2c8, %rsp            # imm = 0x2C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)