// File: /workspace/github_c_makefile_star2_O1/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 $0x278, %rsp            # imm = 0x278
movq %rsi, %r14
cmpl $0x0, (%rdi)
movq %rdx, 0xb0(%rsp)
movq %rdi, 0xc0(%rsp)
je 0x12cd9
movq %rdx, %rcx
movq %rdi, %rsi
movl $0x4, %edi
movq %r14, %rdx
callq 0xcd57
jmp 0x135ec
movl 0x1f0(%r14), %eax
movl %eax, 0x8(%rsp)
cmpl 0x1f4(%r14), %eax
jge 0x13260
movq (%r14), %rax
movq %rax, 0x88(%rsp)
leaq 0x90(%r14), %rax
movq %rax, 0xc8(%rsp)
leaq 0xa936(%rip), %rax      # 0x1d648
movq (%rax), %xmm0
movq %xmm0, 0xd8(%rsp)
leaq 0xe0(%rsp), %r13
movl 0x1e8(%r14), %eax
movl %eax, 0xc(%rsp)
cmpl 0x1ec(%r14), %eax
jge 0x13249
movl 0x1e0(%r14), %ebp
cmpl 0x1e4(%r14), %ebp
jge 0x1323e
movl 0x34(%r14), %r8d
movl 0x38(%r14), %ecx
movl 0x8(%rsp), %r15d
movl %r15d, %edi
movl 0xc(%rsp), %r12d
movl %r12d, %esi
movl %ebp, %edx
callq 0x7ea3
cltq
movq %rax, %rcx
shlq $0x7, %rcx
leaq (%rcx,%rax,8), %rbx
movq 0x88(%rsp), %rax
pcmpeqd %xmm0, %xmm0
movdqu %xmm0, (%rax,%rbx)
movapd 0xaeb8(%rip), %xmm0     # 0x1dc50
movupd %xmm0, 0x10(%rax,%rbx)
movupd %xmm0, 0x20(%rax,%rbx)
movupd %xmm0, 0x30(%rax,%rbx)
movupd %xmm0, 0x40(%rax,%rbx)
movupd %xmm0, 0x50(%rax,%rbx)
movupd %xmm0, 0x60(%rax,%rbx)
movupd %xmm0, 0x70(%rax,%rbx)
movabsq $0x101010101010101, %rcx # imm = 0x101010101010101
movq %rcx, 0x80(%rax,%rbx)
movl %r15d, %edi
movl %r12d, %esi
movl %ebp, 0x64(%rsp)
movl %ebp, %edx
movq 0xc8(%rsp), %rcx
callq 0x7eb0
testl %eax, %eax
movl $0x0, %ebp
je 0x13233
movq 0x88(%rsp), %rax
addq %rbx, %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
movsd 0x3f0(%r14), %xmm0
movsd 0x58(%r14), %xmm1
movl 0x40(%r14), %esi
movl 0x64(%rsp), %edi
callq 0x7f08
movsd %xmm0, 0xa0(%rsp)
movsd 0x400(%r14), %xmm0
movsd 0x60(%r14), %xmm1
movl 0x44(%r14), %esi
movl 0xc(%rsp), %edi
callq 0x7f08
movsd %xmm0, 0x98(%rsp)
movsd 0x410(%r14), %xmm0
movsd 0x68(%r14), %xmm1
movl 0x48(%r14), %esi
movl 0x8(%rsp), %edi
callq 0x7f08
movsd %xmm0, 0x90(%rsp)
cmpl $0x0, 0x3d0(%r14)
jle 0x13233
movq 0x88(%rsp), %rax
addq %rbx, %rax
addq $0x10, %rax
movq %rax, 0xd0(%rsp)
movl $0x190, %ebx            # imm = 0x190
movl $0xc, %r12d
xorl %r15d, %r15d
movq 0x3e0(%r14), %rax
movsd -0x30(%rax,%r12,4), %xmm0
movsd %xmm0, 0xb8(%rsp)
movsd -0x28(%rax,%r12,4), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd -0x20(%rax,%r12,4), %xmm0
movsd %xmm0, 0x18(%rsp)
movsd -0x18(%rax,%r12,4), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd -0x10(%rax,%r12,4), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd -0x8(%rax,%r12,4), %xmm0
movsd %xmm0, 0x50(%rsp)
movsd (%rax,%r12,4), %xmm0
movsd %xmm0, 0x68(%rsp)
movq %rbp, 0xe0(%rsp)
movsd 0xa0(%rsp), %xmm0
movsd %xmm0, 0xe8(%rsp)
movsd 0x98(%rsp), %xmm0
movsd %xmm0, 0xf0(%rsp)
movsd 0x90(%rsp), %xmm0
movsd %xmm0, 0xf8(%rsp)
movq %rbp, 0x100(%rsp)
movsd 0xd8(%rsp), %xmm0
movsd %xmm0, 0x108(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbx), %rsi
addq $-0x190, %rsi           # imm = 0xFE70
movq %r13, %rdi
callq 0x2f09
movsd %xmm0, 0x1b0(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbx), %rsi
addq $-0x12c, %rsi           # imm = 0xFED4
movq %r13, %rdi
callq 0x2f09
movsd %xmm0, 0x1b8(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbx), %rsi
addq $-0xc8, %rsi
movq %r13, %rdi
callq 0x2f09
movsd %xmm0, 0x1c0(%rsp)
movq 0x3e8(%r14), %rax
leaq (%rax,%rbx), %rsi
addq $-0x64, %rsi
movq %r13, %rdi
callq 0x2f09
movsd %xmm0, 0x1c8(%rsp)
movq 0x3e8(%r14), %rsi
addq %rbx, %rsi
movq %r13, %rdi
callq 0x2f09
movsd %xmm0, 0x1d0(%rsp)
movq %rbp, 0x1d8(%rsp)
movsd 0x40(%rsp), %xmm0
movsd 0x48(%rsp), %xmm1
subsd 0xb8(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
subsd 0x10(%rsp), %xmm1
movsd %xmm1, 0x78(%rsp)
movsd 0x50(%rsp), %xmm0
subsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
leaq 0x70(%rsp), %rdi
movq %rdi, %rsi
callq 0x7f86
movsd 0xa0(%rsp), %xmm2
subsd 0xb8(%rsp), %xmm2
movsd %xmm2, 0x20(%rsp)
movsd 0x98(%rsp), %xmm1
subsd 0x10(%rsp), %xmm1
movsd %xmm1, 0x28(%rsp)
movsd 0x90(%rsp), %xmm4
subsd 0x18(%rsp), %xmm4
movsd %xmm4, 0x30(%rsp)
movq 0x3d8(%r14), %rax
movl (%rax,%r15,4), %eax
cmpq $0x4, %rax
ja 0x13215
leaq 0xc092(%rip), %rcx      # 0x1f150
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x20(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x7f86
ucomisd 0x6f32(%rip), %xmm0     # 0x1a010
jae 0x131f3
jmp 0x13215
leaq 0x20(%rsp), %rdi
leaq 0x70(%rsp), %rsi
movsd %xmm0, 0xa8(%rsp)
callq 0x7f86
movsd 0xa8(%rsp), %xmm1
movapd %xmm0, %xmm2
xorpd %xmm0, %xmm0
ucomisd %xmm2, %xmm0
ja 0x13215
ucomisd %xmm1, %xmm2
ja 0x13215
leaq 0x20(%rsp), %rdi
movq %rdi, %rsi
movsd %xmm2, 0x18(%rsp)
callq 0x7f86
movsd 0x18(%rsp), %xmm1
mulsd %xmm1, %xmm1
divsd 0xa8(%rsp), %xmm1
subsd %xmm1, %xmm0
movsd 0x68(%rsp), %xmm1
mulsd %xmm1, %xmm1
jmp 0x1317f
movsd 0x68(%rsp), %xmm0
mulsd %xmm0, %xmm0
movsd %xmm0, 0x68(%rsp)
leaq 0x20(%rsp), %rdi
movq %rdi, %rsi
callq 0x7f86
movsd 0x68(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jae 0x131f3
jmp 0x13215
movsd 0xa0(%rsp), %xmm3
subsd 0x40(%rsp), %xmm3
mulsd %xmm3, %xmm2
movsd %xmm2, 0x20(%rsp)
movsd 0x98(%rsp), %xmm3
subsd 0x48(%rsp), %xmm3
mulsd %xmm3, %xmm1
movsd %xmm1, 0x28(%rsp)
movsd 0x90(%rsp), %xmm3
subsd 0x50(%rsp), %xmm3
mulsd %xmm3, %xmm4
movsd %xmm4, 0x30(%rsp)
xorpd %xmm3, %xmm3
ucomisd %xmm2, %xmm3
jb 0x13215
xorpd %xmm2, %xmm2
ucomisd %xmm1, %xmm2
jb 0x13215
xorpd %xmm1, %xmm1
ucomisd %xmm4, %xmm1
jb 0x13215
movq 0xb0(%rsp), %rax
movsd 0x40(%rax), %xmm0
leaq 0x1b0(%rsp), %rdi
movq 0xd0(%rsp), %rsi
callq 0x7e2a
incq %r15
movslq 0x3d0(%r14), %rax
addq $0x1f4, %rbx            # imm = 0x1F4
addq $0xe, %r12
cmpq %rax, %r15
jl 0x12eaf
movl 0x64(%rsp), %ebp
incl %ebp
jmp 0x12d46
movl 0xc(%rsp), %eax
incl %eax
jmp 0x12d2e
movl 0x8(%rsp), %eax
incl %eax
movl %eax, 0x8(%rsp)
cmpl 0x1f4(%r14), %eax
jl 0x12d27
leaq 0x8c96(%rip), %rdi      # 0x1befd
leaq 0xa3f5(%rip), %rsi      # 0x1d663
callq 0x9269
movq %rax, %rbx
leaq 0xa7d9(%rip), %rdi      # 0x1da56
callq 0x8fb6
movq %rax, 0x18(%rsp)
leaq 0xe0(%rsp), %r12
movl $0xc8, %edx
movq %r12, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x1b0(%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 0x135e4
leaq 0x8(%r14), %rax
movq %rax, 0x10(%rsp)
leaq 0xe0(%rsp), %r15
leaq 0xa40b(%rip), %r12      # 0x1d6ee
leaq 0x1b0(%rsp), %r13
movq %r15, %rdi
callq 0x8e6c
movdqu 0xe3(%rsp), %xmm0
pcmpeqb 0xbdbc(%rip), %xmm0     # 0x1f0c0
movdqa 0xe0(%rsp), %xmm1
pcmpeqb 0xbdbb(%rip), %xmm1     # 0x1f0d0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x1353c
movdqu 0xea(%rsp), %xmm0
pcmpeqb 0xbda7(%rip), %xmm0     # 0x1f0e0
movdqa 0xe0(%rsp), %xmm1
pcmpeqb 0xbda6(%rip), %xmm1     # 0x1f0f0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x13551
movdqu 0xe7(%rsp), %xmm0
pcmpeqb 0xbd92(%rip), %xmm0     # 0x1f100
movdqa 0xe0(%rsp), %xmm1
pcmpeqb 0xbd91(%rip), %xmm1     # 0x1f110
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x135a7
movdqu 0xeb(%rsp), %xmm0
pcmpeqb 0xbd7d(%rip), %xmm0     # 0x1f120
movdqa 0xe0(%rsp), %xmm1
pcmpeqb 0xbd7c(%rip), %xmm1     # 0x1f130
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
leaq 0xa326(%rip), %r12      # 0x1d6ee
jne 0x135c3
pxor %xmm0, %xmm0
movdqa %xmm0, 0x40(%rsp)
xorl %eax, %eax
movq %rax, 0x50(%rsp)
movq %rax, 0x80(%rsp)
movdqa %xmm0, 0x70(%rsp)
movq %rax, 0x30(%rsp)
movdqa %xmm0, 0x20(%rsp)
movslq 0xc(%r14), %r15
cmpl 0x8(%r14), %r15d
movq 0x10(%rsp), %r12
jge 0x135bc
imulq $0x238, %r15, %rbp      # imm = 0x238
movq %rbx, %rdi
movl $0x9, %esi
movq 0x18(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x48(%rsp), %r8
leaq 0x50(%rsp), %r9
xorl %eax, %eax
leaq 0x30(%rsp), %r10
pushq %r10
leaq 0x30(%rsp), %r10
pushq %r10
leaq 0x30(%rsp), %r10
pushq %r10
leaq 0x98(%rsp), %r10
pushq %r10
leaq 0x98(%rsp), %r10
pushq %r10
leaq 0x98(%rsp), %r10
pushq %r10
callq 0x941f
addq $0x30, %rsp
movsd 0x40(%rsp), %xmm0
ucomisd 0x6b8e(%rip), %xmm0     # 0x1a008
pxor %xmm1, %xmm1
jne 0x134fd
jp 0x134fd
movsd 0x48(%rsp), %xmm0
ucomisd 0x6b78(%rip), %xmm0     # 0x1a008
jne 0x134fd
jp 0x134fd
movsd 0x50(%rsp), %xmm0
ucomisd 0x6b66(%rip), %xmm0     # 0x1a008
jne 0x134fd
jp 0x134fd
movsd 0x70(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jne 0x134fd
jp 0x134fd
movsd 0x78(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jne 0x134fd
jp 0x134fd
movsd 0x80(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jne 0x134fd
jp 0x134fd
movsd 0x20(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jne 0x134fd
jp 0x134fd
movsd 0x28(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jne 0x134fd
jp 0x134fd
movsd 0x30(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jne 0x134fd
jnp 0x13520
movq 0x18(%r14), %r8
leaq (%r8,%rbp), %rdi
addq $0x20, %rdi
addq %rbp, %r8
leaq 0x40(%rsp), %rsi
leaq 0x70(%rsp), %rdx
leaq 0x20(%rsp), %rcx
callq 0x9927
incq %r15
movslq (%r12), %rax
addq $0x238, %rbp            # imm = 0x238
cmpq %rax, %r15
jl 0x13412
jmp 0x135bc
movl 0xc(%r14), %esi
xorl %edi, %edi
movq %rbx, %rdx
movq 0x10(%rsp), %rcx
callq 0xcf07
jmp 0x135c3
movslq 0xc(%r14), %r15
cmpl 0x8(%r14), %r15d
jge 0x135c3
imulq $0x238, %r15, %rbp      # imm = 0x238
movq %rbx, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq %r13, %rcx
xorl %eax, %eax
callq 0x941f
movq 0x18(%r14), %rsi
addq %rbp, %rsi
movq %r13, %rdi
callq 0x1895c
movq 0x18(%r14), %rdi
addq %rbp, %rdi
callq 0x9520
incq %r15
movslq 0x8(%r14), %rax
addq $0x238, %rbp            # imm = 0x238
cmpq %rax, %r15
jl 0x13562
jmp 0x135c3
movl 0x8(%r14), %esi
movl 0xc(%r14), %edi
movq %rbx, %rdx
movq 0x10(%rsp), %rcx
callq 0xcf07
leaq 0xa12b(%rip), %r12      # 0x1d6ee
leaq 0xe0(%rsp), %r15
movq %r15, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
jne 0x132eb
movq %rbx, %rdi
callq 0x2080
movl 0x50(%r14), %edi
leaq 0x8(%r14), %rsi
callq 0xa0d9
leaq 0xbbc3(%rip), %rdi      # 0x1f1c3
leaq 0x9721(%rip), %rsi      # 0x1cd28
callq 0x9269
movq %rax, %rbx
leaq 0x7260(%rip), %r15      # 0x1a876
movl $0x50, %esi
movl $0x1, %edx
movq %r15, %rdi
movq %rax, %rcx
callq 0x2200
leaq 0x7295(%rip), %r12      # 0x1a8c7
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0xbbf9(%rip), %rdi      # 0x1f247
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 0xbc1c(%rip), %rdi      # 0x1f298
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 0x137e9
imulq $0x238, %r12, %r13      # imm = 0x238
addq $0x1f8, %r13            # imm = 0x1F8
leaq 0xbb13(%rip), %r15      # 0x1f1d9
movq 0x18(%r14), %rax
movsd -0x1d8(%rax,%r13), %xmm0
movsd %xmm0, 0x18(%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 0x68(%rsp), %xmm0
movq 0x60(%rsp), %xmm1
movb $0x8, %al
callq 0x2150
addq $0x50, %rsp
incq %r12
movslq 0x8(%r14), %rax
addq $0x238, %r13            # imm = 0x238
cmpq %rax, %r12
jl 0x136c6
leaq 0x7086(%rip), %rdi      # 0x1a876
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 0x11580
xorl %edi, %edi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x237c
movslq 0x8(%r14), %rcx
testq %rcx, %rcx
movq 0xc0(%rsp), %r15
jle 0x139d8
movq 0x18(%r14), %rax
imulq $0x238, %rcx, %rcx      # imm = 0x238
xorl %edx, %edx
movsd 0xb8ec(%rip), %xmm0     # 0x1f140
pxor %xmm1, %xmm1
movsd 0xb8e8(%rip), %xmm2     # 0x1f148
movsd 0x1a8(%rax,%rdx), %xmm3
ucomisd %xmm0, %xmm3
jbe 0x139c8
movl $0x2, 0xc(%rax,%rdx)
movsd 0x80(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x88(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x90(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0xb0(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0xb8(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0xc0(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0xf8(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x100(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x108(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x110(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x118(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x120(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x140(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
movsd 0x148(%rax,%rdx), %xmm4
ucomisd %xmm1, %xmm4
jne 0x139c8
jp 0x139c8
ucomisd %xmm2, %xmm3
jbe 0x139c8
movsd 0x150(%rax,%rdx), %xmm3
ucomisd %xmm1, %xmm3
jne 0x139c8
jp 0x139c8
movl $0x1, 0xc(%rax,%rdx)
addq $0x238, %rdx            # imm = 0x238
cmpq %rdx, %rcx
jne 0x13860
cmpl $0x0, (%r15)
jne 0x13a14
xorl %edi, %edi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0xcd40
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0xcd40
movl $0x4, %edi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0xcd40
addq $0x278, %rsp            # imm = 0x278
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop