// File: /workspace/github_c_makefile_star2_O2/mohuangrui[P]ArtraCFD/solid_dynamics.c
// Function: EvolveSolidDynamics
void EvolveSolidDynamics(const Real now, const Real dt, Space *space, const Model *model)
{
    IntegrateSurfaceForce(space, model);
    ApplyKinematics(now, dt, space);
    if (1 != model->psi) {
        ApplyCollision(space);
    }
    ApplyMotion(dt, space);
    ComputeGeometricField(space, model);
    TreatImmersedBoundary(TO, space, model);
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
movq %rdi, %rbx
movsd %xmm1, 0x90(%rsp)
movsd %xmm0, 0x18(%rsp)
movq %rsi, 0x88(%rsp)
callq 0x1607f
movq %rbx, %rdi
xorpd %xmm0, %xmm0
leaq 0x100(%rsp), %rsi
movapd %xmm0, 0x30(%rsi)
movapd %xmm0, 0x20(%rsi)
movapd %xmm0, 0x10(%rsi)
andq $0x0, 0x40(%rsi)
leaq 0x70(%rsp), %rax
andq $0x0, 0x10(%rax)
movapd %xmm0, (%rsi)
movapd %xmm0, (%rax)
pushq $0x38
popq %rcx
movl $0x170, %r13d           # imm = 0x170
movl $0x80, %ebp
xorl %r12d, %r12d
movl $0x238, %edx            # imm = 0x238
movq %rbx, (%rsp)
movslq 0x8(%rdi), %rax
cmpq %rax, %r12
jge 0x156e6
movq 0x18(%rdi), %rbx
imulq $0x238, %r12, %r15      # imm = 0x238
cmpl $0x1, 0xc(%rbx,%r15)
jne 0x15541
incq %r12
addq %rdx, %rcx
addq %rdx, %r13
addq %rdx, %rbp
jmp 0x15513
addq %rbx, %r15
movsd 0x18(%rsp), %xmm0
ucomisd 0x1a0(%r15), %xmm0
jbe 0x1558c
xorpd %xmm0, %xmm0
movupd %xmm0, 0xf8(%r15)
andq $0x0, 0x108(%r15)
movupd %xmm0, 0x140(%r15)
andq $0x0, 0x150(%r15)
movabsq $0x47efffffe0000000, %rax # imm = 0x47EFFFFFE0000000
movq %rax, 0x1a0(%r15)
movq %rcx, 0x8(%rsp)
leaq (%rbx,%rcx), %rax
movq %rsi, %rcx
xorl %edx, %edx
cmpq $0x3, %rdx
je 0x155dd
xorl %edi, %edi
cmpq $0x3, %rdi
je 0x155b7
movsd (%rax,%rdi,8), %xmm0
movsd %xmm0, (%rcx,%rdi,8)
incq %rdi
jmp 0x155a2
movsd 0x188(%r15,%rdx,8), %xmm0
divsd 0x1a8(%r15), %xmm0
movsd %xmm0, 0x70(%rsp,%rdx,8)
incq %rdx
addq $0x18, %rcx
addq $0x18, %rax
jmp 0x1559a
pushq $0x3
popq %rdi
movq %rsi, %r14
pushq $0x1
popq %rdx
leaq 0x70(%rsp), %rcx
movq %rcx, %r8
callq 0x126e0
movq (%rsp), %rdi
leaq (%rbx,%r13), %rax
pushq $-0x3
popq %rcx
movl $0x238, %edx            # imm = 0x238
testq %rcx, %rcx
je 0x15655
movsd (%rax,%rcx,8), %xmm0
addsd 0x18(%rax,%rcx,8), %xmm0
movsd 0x1a8(%r15), %xmm1
mulsd 0x1c8(%r15), %xmm1
divsd %xmm1, %xmm0
addsd -0x60(%rax,%rcx,8), %xmm0
addsd -0x48(%rax,%rcx,8), %xmm0
movsd %xmm0, -0x78(%rax,%rcx,8)
movsd 0x88(%rsp,%rcx,8), %xmm0
addsd -0x18(%rax,%rcx,8), %xmm0
movsd %xmm0, -0x30(%rax,%rcx,8)
incq %rcx
jmp 0x15603
addq %rbp, %rbx
xorl %eax, %eax
movq %r14, %rsi
movq 0x8(%rsp), %rcx
cmpq $0x3, %rax
je 0x15533
movsd (%rbx,%rax,8), %xmm0
movsd 0x30(%rbx,%rax,8), %xmm1
movapd %xmm0, %xmm2
addsd %xmm0, %xmm2
movsd 0x60(%rbx,%rax,8), %xmm3
movsd 0x90(%rsp), %xmm5
mulsd %xmm5, %xmm3
addsd %xmm3, %xmm2
movsd 0x5e12(%rip), %xmm6     # 0x1b4b0
mulsd %xmm6, %xmm2
movsd %xmm2, 0x18(%rbx,%rax,8)
movapd %xmm1, %xmm2
addsd %xmm1, %xmm2
movsd 0xa8(%rbx,%rax,8), %xmm4
mulsd %xmm5, %xmm4
addsd %xmm4, %xmm2
mulsd %xmm6, %xmm2
movsd %xmm2, 0x48(%rbx,%rax,8)
addsd %xmm0, %xmm3
movsd %xmm3, (%rbx,%rax,8)
addsd %xmm1, %xmm4
movsd %xmm4, 0x30(%rbx,%rax,8)
incq %rax
jmp 0x15662
movq 0x88(%rsp), %rcx
cmpl $0x1, 0x1c(%rcx)
jne 0x1588f
leaq 0x100(%rsp), %rcx
andq $0x0, 0x10(%rcx)
xorpd %xmm0, %xmm0
movapd %xmm0, (%rcx)
leaq 0x70(%rsp), %r15
movapd %xmm0, (%r15)
andq $0x0, 0x10(%r15)
movapd 0x96fc(%rip), %xmm0     # 0x1ee20
leaq 0x1d0(%rsp), %r12
movapd %xmm0, (%r12)
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
movq %rcx, 0x10(%r12)
movl $0xc8, %r14d
xorl %r13d, %r13d
movl $0x238, %ebp            # imm = 0x238
xorl %ebx, %ebx
movslq %eax, %rcx
cmpq %rcx, %rbx
jge 0x1585d
movq 0x18(%rdi), %rcx
imulq $0x238, %rbx, %r8       # imm = 0x238
cmpl $0x1, 0xc(%rcx,%r8)
je 0x157d3
addq %rcx, %r8
leaq (%rcx,%r14), %rdx
xorl %esi, %esi
cmpq $0x3, %rsi
je 0x157af
movsd -0x30(%rdx,%rsi,8), %xmm0
movsd 0x90(%rsp), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x100(%rsp,%rsi,8)
movsd (%rdx,%rsi,8), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x70(%rsp,%rsi,8)
incq %rsi
jmp 0x15779
cmpl $0x0, (%r8)
jle 0x157e1
leaq 0x20(%r8), %rdi
movq %r12, %rsi
movq %r15, %rdx
leaq 0x100(%rsp), %rcx
callq 0x8e9f
movq (%rsp), %rdi
movl 0x8(%rdi), %eax
incq %rbx
addq %rbp, %r14
addq %rbp, %r13
jmp 0x15751
movsd 0x20(%r8), %xmm0
addsd 0x100(%rsp), %xmm0
movsd 0x28(%r8), %xmm1
movsd %xmm0, 0x20(%r8)
addsd 0x108(%rsp), %xmm1
movsd %xmm1, 0x28(%r8)
movsd 0x30(%r8), %xmm0
addsd 0x110(%rsp), %xmm0
movsd %xmm0, 0x30(%r8)
addq %r13, %rcx
movl $0xec, %edx
cmpq $0x104, %rdx            # imm = 0x104
je 0x157d3
movsd -0xcc(%rcx,%rdx), %xmm0
movsd 0x18(%r8), %xmm1
movapd %xmm0, %xmm2
subsd %xmm1, %xmm2
movsd %xmm2, -0x8(%rcx,%rdx,2)
addsd %xmm1, %xmm0
movsd %xmm0, (%rcx,%rdx,2)
addq $0x8, %rdx
jmp 0x15828
movq 0x88(%rsp), %rbx
movq %rbx, %rsi
movq %rdi, %r14
callq 0x104f8
xorl %edi, %edi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x10bbc
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rdi), %rcx
movq %rcx, 0x30(%rsp)
leaq 0x90(%rdi), %rcx
movq %rcx, 0xd0(%rsp)
movl 0x90(%rdi), %ecx
movl %ecx, 0xa4(%rsp)
movl 0x98(%rdi), %ecx
movl %ecx, 0xa8(%rsp)
movl 0xa0(%rdi), %ecx
movl %ecx, 0xac(%rsp)
movl 0x94(%rdi), %ecx
movl %ecx, 0x98(%rsp)
movl 0x9c(%rdi), %ecx
movl %ecx, 0x9c(%rsp)
movl 0xa4(%rdi), %ecx
movl %ecx, 0xa0(%rsp)
movsd 0x3f0(%rdi), %xmm0
movsd %xmm0, 0x70(%rsp)
movsd 0x400(%rdi), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x410(%rdi), %xmm0
movsd %xmm0, 0x80(%rsp)
movups 0x70(%rdi), %xmm0
movaps %xmm0, 0x1d0(%rsp)
movsd 0x80(%rdi), %xmm0
movsd %xmm0, 0x1e0(%rsp)
movq 0x40(%rdi), %rcx
movq %rcx, 0xf0(%rsp)
movl 0x48(%rdi), %ecx
movl %ecx, 0xf8(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0x100(%rsp)
movaps 0x9488(%rip), %xmm1     # 0x1edf0
movups %xmm1, 0x108(%rsp)
movapd 0x9488(%rip), %xmm1     # 0x1ee00
movupd %xmm1, 0x118(%rsp)
andq $0x0, 0x60(%rsp)
leaq 0x170(%rsp), %rcx
andq $0x0, 0x10(%rcx)
movapd %xmm0, 0x50(%rsp)
andq $0x0, 0x160(%rsp)
movapd %xmm0, (%rcx)
movapd %xmm0, 0x150(%rsp)
leaq 0xb0(%rsp), %rcx
movapd %xmm0, (%rcx)
andq $0x0, 0x10(%rcx)
leaq 0x14(%rdi), %rcx
movq %rcx, 0x10(%rsp)
leaq 0x240(%rdi), %rcx
movq %rcx, 0xc8(%rsp)
xorl %ebx, %ebx
movslq %eax, %rcx
cmpq %rcx, %rbx
jge 0x16004
movq 0x18(%rdi), %rax
imulq $0x238, %rbx, %rcx      # imm = 0x238
cmpl $0x1, 0xc(%rax,%rcx)
jne 0x15a01
incq %rbx
jmp 0x15ffc
movq 0x10(%rsp), %rdx
andl $0x0, (%rdx)
leaq (%rax,%rcx), %rdx
movq %rdx, 0x20(%rsp)
leaq (%rax,%rcx), %r15
addq $0x1d8, %r15            # imm = 0x1D8
xorl %r12d, %r12d
cmpq $0xc, %r12
je 0x15ab9
movsd -0x8(%r15,%r12,4), %xmm0
movsd 0x70(%rsp,%r12,2), %xmm1
movsd %xmm1, 0x8(%rsp)
movsd 0x1d0(%rsp,%r12,2), %xmm2
movsd %xmm2, 0x18(%rsp)
movq %rbx, %r13
movl 0xf0(%rsp,%r12), %ebx
movl %ebx, %edi
callq 0x761c
movl 0xa4(%rsp,%r12), %ebp
movl 0x98(%rsp,%r12), %r14d
movl %eax, %edi
movl %ebp, %esi
movl %r14d, %edx
callq 0x7633
movl %eax, 0x50(%rsp,%r12,2)
movsd (%r15,%r12,4), %xmm0
movsd 0x8(%rsp), %xmm1
movq 0x18(%rsp), %xmm2
movl %ebx, %edi
movq %r13, %rbx
callq 0x761c
movl %eax, %edi
movl %ebp, %esi
movl %r14d, %edx
callq 0x7633
incl %eax
movl %eax, 0x54(%rsp,%r12,2)
addq $0x4, %r12
jmp 0x15a20
movl 0x60(%rsp), %r14d
movl 0x64(%rsp), %eax
movl %eax, 0x40(%rsp)
movl 0x58(%rsp), %eax
movl %eax, 0x3c(%rsp)
movl 0x5c(%rsp), %eax
movl %eax, 0x48(%rsp)
movl 0x50(%rsp), %eax
movl %eax, 0x44(%rsp)
movl 0x54(%rsp), %eax
movl %eax, 0x4c(%rsp)
incq %rbx
movq %rbx, 0x28(%rsp)
movq (%rsp), %rdi
movl 0x3c(%rsp), %eax
movl %eax, %r15d
cmpl 0x40(%rsp), %r14d
movq %r14, 0xd8(%rsp)
jl 0x15cc4
jmp 0x15ce5
cmpl 0x4c(%rsp), %edx
jge 0x15cc1
movl 0x34(%rdi), %r8d
movl 0x38(%rdi), %ecx
movl %r14d, %edi
movl %r15d, %esi
movq %rdx, 0x8(%rsp)
movq 0x8(%rsp), %rdx
callq 0x75ec
movq 0x8(%rsp), %rdx
cltq
imulq $0x88, %rax, %rax
movq 0x30(%rsp), %rcx
cmpl $0x1, 0x8(%rcx,%rax)
jne 0x15cb6
addq 0x30(%rsp), %rax
movl (%rax), %eax
cmpq %rax, 0x28(%rsp)
jne 0x15cb6
movq (%rsp), %rax
movl 0x3ac(%rax), %ecx
testl %ecx, %ecx
movl $0x0, %eax
cmovlel %eax, %ecx
movq %rcx, 0xe8(%rsp)
xorl %ebx, %ebx
cmpq 0xe8(%rsp), %rbx
je 0x15cb6
imulq $0xc, %rbx, %rax
movq 0xc8(%rsp), %rcx
movl 0x8(%rcx,%rax), %r12d
leal (%r12,%r14), %ebp
movq (%rcx,%rax), %r13
movq %r13, %xmm0
movdqa %xmm0, 0x1f0(%rsp)
pshufd $0x55, %xmm0, %xmm0     # xmm0 = xmm0[1,1,1,1]
movd %xmm0, %eax
movq %rax, 0x18(%rsp)
addl %eax, %r15d
leal (%r13,%rdx), %r14d
movl %ebp, %edi
movl %r15d, %esi
movl %r14d, %edx
movq 0xd0(%rsp), %rcx
callq 0x75f9
testl %eax, %eax
je 0x15c99
movq (%rsp), %rax
movl 0x34(%rax), %r8d
movl 0x38(%rax), %ecx
movl %ebp, %edi
movl %r15d, %esi
movl %r14d, %edx
callq 0x75ec
cltq
imulq $0x88, %rax, %rax
movq 0x30(%rsp), %rcx
movl (%rcx,%rax), %eax
testq %rax, %rax
sete %cl
cmpq %rax, 0x28(%rsp)
sete %dl
orb %cl, %dl
jne 0x15c99
movq (%rsp), %rdx
movslq 0x14(%rdx), %rcx
testl %ecx, %ecx
movl $0x0, %esi
cmovgl %ecx, %esi
movq 0x20(%rdx), %rdx
leaq -0x4(%rdx), %r8
incq %rsi
decq %rsi
je 0x15c6e
leaq 0x10(%r8), %rdi
cmpl %eax, 0x4(%r8)
movq %rdi, %r8
jne 0x15c45
movq -0x8(%rdi), %xmm0
paddd 0x1f0(%rsp), %xmm0
movq %xmm0, -0x8(%rdi)
movl (%rdi), %eax
jmp 0x15c93
shlq $0x4, %rcx
movl %eax, (%rdx,%rcx)
movl %r13d, 0x4(%rdx,%rcx)
movq 0x18(%rsp), %rax
movl %eax, 0x8(%rdx,%rcx)
movl %r12d, 0xc(%rdx,%rcx)
movq 0x10(%rsp), %rdi
movl (%rdi), %r12d
pushq $0x1
popq %rax
addl %eax, %r12d
movl %r12d, (%rdi)
incq %rbx
movq 0xd8(%rsp), %r14
movq 0xe0(%rsp), %r15
movq 0x8(%rsp), %rdx
jmp 0x15b85
incl %edx
movq (%rsp), %rdi
jmp 0x15b11
incl %r15d
movl 0x44(%rsp), %eax
movl %eax, %edx
cmpl 0x48(%rsp), %r15d
movq %r15, 0xe0(%rsp)
jl 0x15b11
incl %r14d
jmp 0x15af2
movq 0x10(%rsp), %rax
cmpl $0x0, (%rax)
je 0x15ff7
movq 0x20(%rsp), %rcx
leaq 0x80(%rcx), %rbx
movq 0x90(%rcx), %rax
movq %rax, 0x1c0(%rsp)
movups 0x80(%rcx), %xmm0
movaps %xmm0, 0x1b0(%rsp)
leaq 0xb0(%rcx), %r14
movq 0xc0(%rcx), %rax
movq %rax, 0x1a0(%rsp)
movups 0xb0(%rcx), %xmm0
movaps %xmm0, 0x190(%rsp)
movups 0x98(%rcx), %xmm0
movups %xmm0, 0x80(%rcx)
movq 0xa8(%rcx), %rax
movq %rax, 0x90(%rcx)
leaq 0xc8(%rcx), %r15
movq 0xd8(%rcx), %rax
movq %rax, 0xc0(%rcx)
movups 0xc8(%rcx), %xmm0
movups %xmm0, 0xb0(%rcx)
movsd 0x1a8(%rcx), %xmm0
mulsd 0x1c8(%rcx), %xmm0
movsd %xmm0, 0x8(%rsp)
xorl %r12d, %r12d
movq 0x10(%rsp), %rax
movslq (%rax), %rax
cmpq %rax, %r12
jge 0x15ff7
movq 0x20(%rdi), %r13
movq %r12, %rcx
shlq $0x4, %rcx
movq 0x4(%r13,%rcx), %xmm0
movdqa %xmm0, %xmm1
psrad $0x1f, %xmm1
movdqa %xmm0, %xmm2
pxor %xmm1, %xmm2
psubd %xmm1, %xmm2
pshufd $0x55, %xmm2, %xmm1     # xmm1 = xmm2[1,1,1,1]
paddd %xmm2, %xmm1
movd %xmm1, %esi
movl 0xc(%r13,%rcx), %edx
movl %edx, %r8d
negl %r8d
cmovsl %edx, %r8d
orl %esi, %r8d
je 0x15f95
addq %rcx, %r13
cvtdq2pd %xmm0, %xmm0
movaps %xmm0, 0xb0(%rsp)
cvtsi2sd %edx, %xmm0
movsd %xmm0, 0xc0(%rsp)
leaq 0xb0(%rsp), %rbp
movq %rbp, %rdi
callq 0x76f1
pushq $0x3
popq %rdi
movq %rbp, %rsi
callq 0x786c
movslq (%r13), %rax
imulq $0x238, %rax, %r13      # imm = 0x238
movq (%rsp), %rax
addq 0x18(%rax), %r13
xorl %eax, %eax
cmpq $0x3, %rax
je 0x15e81
movsd -0x30(%r15,%rax,8), %xmm0
subsd -0x1a0(%r13,%rax,8), %xmm0
movsd %xmm0, 0x170(%rsp,%rax,8)
movsd (%r15,%rax,8), %xmm0
subsd -0x170(%r13,%rax,8), %xmm0
movsd %xmm0, 0x150(%rsp,%rax,8)
incq %rax
jmp 0x15e43
leaq 0x170(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x76cc
pxor %xmm1, %xmm1
ucomisd %xmm0, %xmm1
jae 0x15f9e
movq 0x20(%rsp), %rcx
movl 0xc(%rcx), %eax
cmpl $0x3ffffffe, %eax       # imm = 0x3FFFFFFE
jg 0x15ebb
addl $0x3fffffff, %eax       # imm = 0x3FFFFFFF
movl %eax, 0xc(%rcx)
movsd -0x90(%r13), %xmm1
mulsd -0x70(%r13), %xmm1
movsd 0x8(%rsp), %xmm4
addsd %xmm1, %xmm4
movslq 0x10(%rcx), %rax
movsd 0x100(%rsp,%rax,8), %xmm2
movslq -0x228(%r13), %rax
addsd 0x100(%rsp,%rax,8), %xmm2
mulsd 0x55b7(%rip), %xmm2     # 0x1b4b0
movsd 0x1b8(%rcx), %xmm3
addsd -0x80(%r13), %xmm3
addsd 0x20f9(%rip), %xmm2     # 0x18008
movapd 0x55f9(%rip), %xmm5     # 0x1b510
xorpd %xmm5, %xmm1
divsd %xmm4, %xmm1
mulsd %xmm1, %xmm2
mulsd %xmm0, %xmm2
xorpd %xmm5, %xmm0
mulsd 0x5575(%rip), %xmm3     # 0x1b4a8
xorl %eax, %eax
movq (%rsp), %rdi
cmpq $0x3, %rax
je 0x15fef
movsd 0xb0(%rsp,%rax,8), %xmm4
movapd %xmm2, %xmm5
mulsd %xmm4, %xmm5
addsd -0x30(%r14,%rax,8), %xmm5
mulsd %xmm0, %xmm4
addsd 0x170(%rsp,%rax,8), %xmm4
mulsd %xmm3, %xmm4
addsd %xmm5, %xmm4
movsd %xmm4, -0x30(%r14,%rax,8)
movsd 0x150(%rsp,%rax,8), %xmm4
mulsd %xmm1, %xmm4
addsd (%r14,%rax,8), %xmm4
movsd %xmm4, (%r14,%rax,8)
incq %rax
jmp 0x15f39
decl %eax
cmpq %rax, %r12
je 0x15fb0
jmp 0x15fef
movq 0x10(%rsp), %rax
movl (%rax), %eax
decl %eax
cmpq %rax, %r12
movq (%rsp), %rdi
jne 0x15fef
movq 0x20(%rsp), %rax
cmpl $0x3fffffff, 0xc(%rax)  # imm = 0x3FFFFFFF
jge 0x15fef
movq 0x1c0(%rsp), %rax
movq %rax, 0x10(%rbx)
movaps 0x1b0(%rsp), %xmm0
movups %xmm0, (%rbx)
movq 0x1a0(%rsp), %rax
movq %rax, 0x10(%r14)
movapd 0x190(%rsp), %xmm0
movupd %xmm0, (%r14)
incq %r12
jmp 0x15d9a
movq 0x28(%rsp), %rbx
movl 0x8(%rdi), %eax
jmp 0x159db
pushq $0xc
popq %rcx
xorl %edx, %edx
movslq %eax, %rsi
cmpq %rsi, %rdx
jge 0x156f8
movq 0x18(%rdi), %rsi
movl (%rsi,%rcx), %r8d
cmpl $0x3fffffff, %r8d       # imm = 0x3FFFFFFF
jl 0x16073
addl $0xc0000001, %r8d       # imm = 0xC0000001
movl %r8d, (%rsi,%rcx)
movups 0x74(%rsi,%rcx), %xmm0
movups %xmm0, 0x8c(%rsi,%rcx)
movq 0x84(%rsi,%rcx), %rax
movq %rax, 0x9c(%rsi,%rcx)
movq 0xb4(%rsi,%rcx), %rax
movq %rax, 0xcc(%rsi,%rcx)
movupd 0xa4(%rsi,%rcx), %xmm0
movupd %xmm0, 0xbc(%rsi,%rcx)
movl 0x8(%rdi), %eax
incq %rdx
addq $0x238, %rcx            # imm = 0x238
jmp 0x16009