// File: BU-DiSC[P]BF-Shared-Hashing/hash/xxh3p.h
// Function: XXH3p_hashLong_64b_withSeed(unsigned char const*, unsigned long, unsigned long)
XXH_NO_INLINE XXH64_hash_t    /* It's important for performance that XXH3p_hashLong is not inlined. Not sure why (uop cache maybe ?), but difference is large and easily measurable */
XXH3p_hashLong_64b_withSeed(const xxh_u8* input, size_t len, XXH64_hash_t seed)
{
    XXH_ALIGN(8) xxh_u8 secret[XXH_SECRET_DEFAULT_SIZE];
    if (seed==0) return XXH3p_hashLong_64b_defaultSecret(input, len);
    XXH3p_initCustomSecret(secret, seed);
    return XXH3p_hashLong_internal(input, len, secret, sizeof(secret));
}

// Assembly:
subq $0x8e8, %rsp            # imm = 0x8E8
movq %rdi, 0xe0(%rsp)
movq %rsi, 0xd8(%rsp)
movq %rdx, 0xd0(%rsp)
cmpq $0x0, 0xd0(%rsp)
jne 0x55bec
movq 0xe0(%rsp), %rdi
movq 0xd8(%rsp), %rsi
callq 0x51d40
movq %rax, 0xe8(%rsp)
jmp 0x56cd9
leaq 0x10(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x8b0(%rsp)
movq %rax, 0x8a8(%rsp)
movl $0xc, 0x8a4(%rsp)
movl $0x0, 0x8a0(%rsp)
cmpl $0xc, 0x8a0(%rsp)
jge 0x55d3b
movq 0x8b0(%rsp), %rax
movl 0x8a0(%rsp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, (%rsp)
movl 0x8a0(%rsp), %eax
shll $0x4, %eax
movslq %eax, %rcx
leaq 0xf9e3(%rip), %rax      # 0x65640
addq %rcx, %rax
movq %rax, 0x8c0(%rsp)
movq 0x8c0(%rsp), %rdi
callq 0x5fae0
movq (%rsp), %rcx
addq 0x8a8(%rsp), %rax
movq %rcx, 0x8e0(%rsp)
movq %rax, 0x8d8(%rsp)
movq 0x8e0(%rsp), %rax
movq 0x8d8(%rsp), %rcx
movq %rcx, (%rax)
movq 0x8b0(%rsp), %rax
movl 0x8a0(%rsp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
addq %rcx, %rax
addq $0x8, %rax
movq %rax, 0x8(%rsp)
movl 0x8a0(%rsp), %eax
shll $0x4, %eax
movslq %eax, %rcx
leaq 0xf967(%rip), %rax      # 0x65640
addq %rcx, %rax
addq $0x8, %rax
movq %rax, 0x8b8(%rsp)
movq 0x8b8(%rsp), %rdi
callq 0x5fae0
movq 0x8(%rsp), %rcx
subq 0x8a8(%rsp), %rax
movq %rcx, 0x8d0(%rsp)
movq %rax, 0x8c8(%rsp)
movq 0x8d0(%rsp), %rax
movq 0x8c8(%rsp), %rcx
movq %rcx, (%rax)
movl 0x8a0(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x8a0(%rsp)
jmp 0x55c1f
movq 0xe0(%rsp), %rdx
movq 0xd8(%rsp), %rcx
leaq 0x10(%rsp), %rax
movq %rdx, 0x148(%rsp)
movq %rcx, 0x140(%rsp)
movq %rax, 0x138(%rsp)
movq $0xc0, 0x130(%rsp)
leaq 0xf0(%rsp), %rdi
leaq 0xf97d(%rip), %rsi      # 0x65700
movl $0x40, %edx
callq 0x6440
movq 0x148(%rsp), %rsi
movq 0x140(%rsp), %rdx
movq 0x138(%rsp), %rcx
movq 0x130(%rsp), %rax
leaq 0xf0(%rsp), %rdi
movq %rdi, 0x1a8(%rsp)
movq %rsi, 0x1a0(%rsp)
movq %rdx, 0x198(%rsp)
movq %rcx, 0x190(%rsp)
movq %rax, 0x188(%rsp)
movl $0x0, 0x184(%rsp)
movq 0x188(%rsp), %rax
subq $0x40, %rax
shrq $0x3, %rax
movq %rax, 0x178(%rsp)
movq 0x178(%rsp), %rax
shlq $0x6, %rax
movq %rax, 0x170(%rsp)
movq 0x198(%rsp), %rax
xorl %ecx, %ecx
movl %ecx, %edx
divq 0x170(%rsp)
movq %rax, 0x168(%rsp)
movq $0x0, 0x160(%rsp)
movq 0x160(%rsp), %rax
cmpq 0x168(%rsp), %rax
jae 0x56561
movq 0x1a8(%rsp), %rdi
movq 0x1a0(%rsp), %rsi
movq 0x160(%rsp), %rax
imulq 0x170(%rsp), %rax
addq %rax, %rsi
movq 0x190(%rsp), %rdx
movq 0x178(%rsp), %rcx
movl 0x184(%rsp), %eax
movq %rdi, 0x1e0(%rsp)
movq %rsi, 0x1d8(%rsp)
movq %rdx, 0x1d0(%rsp)
movq %rcx, 0x1c8(%rsp)
movl %eax, 0x1c4(%rsp)
movq $0x0, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rax
cmpq 0x1c8(%rsp), %rax
jae 0x5622c
movq 0x1d8(%rsp), %rax
movq 0x1b8(%rsp), %rcx
shlq $0x6, %rcx
addq %rcx, %rax
movq %rax, 0x1b0(%rsp)
movq 0x1b0(%rsp), %rax
addq $0x180, %rax            # imm = 0x180
prefetcht0 (%rax)
movq 0x1e0(%rsp), %rsi
movq 0x1b0(%rsp), %rdx
movq 0x1d0(%rsp), %rcx
movq 0x1b8(%rsp), %rax
shlq $0x3, %rax
addq %rax, %rcx
movl 0x1c4(%rsp), %eax
movq %rsi, 0x468(%rsp)
movq %rdx, 0x460(%rsp)
movq %rcx, 0x458(%rsp)
movl %eax, 0x454(%rsp)
movq 0x468(%rsp), %rax
movq %rax, 0x440(%rsp)
movq 0x460(%rsp), %rax
movq %rax, 0x438(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0x430(%rsp)
movq $0x0, 0x428(%rsp)
cmpq $0x4, 0x428(%rsp)
jae 0x56213
movq 0x438(%rsp), %rax
movq 0x428(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x600(%rsp)
movq 0x600(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x410(%rsp)
movq 0x430(%rsp), %rax
movq 0x428(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x5f8(%rsp)
movq 0x5f8(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x400(%rsp)
movaps 0x410(%rsp), %xmm1
movaps 0x400(%rsp), %xmm0
movaps %xmm1, 0x570(%rsp)
movaps %xmm0, 0x560(%rsp)
movaps 0x570(%rsp), %xmm0
movaps 0x560(%rsp), %xmm1
pxor %xmm1, %xmm0
movaps %xmm0, 0x3f0(%rsp)
movaps 0x3f0(%rsp), %xmm1
pshufd $0x31, %xmm1, %xmm0     # xmm0 = xmm1[1,0,3,0]
movaps %xmm1, 0x650(%rsp)
movaps %xmm0, 0x640(%rsp)
movaps 0x650(%rsp), %xmm0
movaps 0x640(%rsp), %xmm1
movaps 0xf70e(%rip), %xmm3     # 0x65780
movaps %xmm0, %xmm2
pand %xmm3, %xmm2
movaps %xmm1, %xmm2
pand %xmm3, %xmm2
pmuludq %xmm1, %xmm0
movdqa %xmm0, 0x3e0(%rsp)
cmpl $0x1, 0x454(%rsp)
jne 0x56158
movaps 0x410(%rsp), %xmm0
pshufd $0x4e, %xmm0, %xmm0     # xmm0 = xmm0[2,3,0,1]
movdqa %xmm0, 0x3d0(%rsp)
movq 0x440(%rsp), %rax
movq 0x428(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa (%rax), %xmm1
movdqa 0x3d0(%rsp), %xmm0
movdqa %xmm1, 0x770(%rsp)
movdqa %xmm0, 0x760(%rsp)
movdqa 0x770(%rsp), %xmm0
paddq 0x760(%rsp), %xmm0
movdqa %xmm0, 0x3c0(%rsp)
movdqa 0x3e0(%rsp), %xmm1
movdqa 0x3c0(%rsp), %xmm0
movdqa %xmm1, 0x750(%rsp)
movdqa %xmm0, 0x740(%rsp)
movdqa 0x750(%rsp), %xmm0
paddq 0x740(%rsp), %xmm0
movq 0x440(%rsp), %rax
movq 0x428(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
jmp 0x561fa
movq 0x440(%rsp), %rax
movq 0x428(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa (%rax), %xmm1
movdqa 0x410(%rsp), %xmm0
movdqa %xmm1, 0x7b0(%rsp)
movdqa %xmm0, 0x7a0(%rsp)
movdqa 0x7b0(%rsp), %xmm0
paddq 0x7a0(%rsp), %xmm0
movdqa %xmm0, 0x3b0(%rsp)
movdqa 0x3e0(%rsp), %xmm1
movdqa 0x3b0(%rsp), %xmm0
movdqa %xmm1, 0x790(%rsp)
movdqa %xmm0, 0x780(%rsp)
movdqa 0x790(%rsp), %xmm0
paddq 0x780(%rsp), %xmm0
movq 0x440(%rsp), %rax
movq 0x428(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
movq 0x428(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x428(%rsp)
jmp 0x55f8f
movq 0x1b8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x1b8(%rsp)
jmp 0x55ec0
movq 0x1a8(%rsp), %rcx
movq 0x190(%rsp), %rax
movq 0x188(%rsp), %rdx
leaq -0x40(%rax,%rdx), %rax
movq %rcx, 0x2e8(%rsp)
movq %rax, 0x2e0(%rsp)
movq 0x2e8(%rsp), %rax
movq %rax, 0x2d0(%rsp)
movq 0x2e0(%rsp), %rax
movq %rax, 0x2c8(%rsp)
movl $0x9e3779b1, 0x528(%rsp) # imm = 0x9E3779B1
movl 0x528(%rsp), %eax
movl %eax, 0x89c(%rsp)
movl %eax, 0x898(%rsp)
movl %eax, 0x894(%rsp)
movl %eax, 0x890(%rsp)
movd 0x89c(%rsp), %xmm0
movd 0x898(%rsp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd 0x894(%rsp), %xmm2
movd 0x890(%rsp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movdqa %xmm0, 0x880(%rsp)
movdqa 0x880(%rsp), %xmm0
movdqa %xmm0, 0x2b0(%rsp)
movq $0x0, 0x2a8(%rsp)
cmpq $0x4, 0x2a8(%rsp)
jae 0x56548
movq 0x2d0(%rsp), %rax
movq 0x2a8(%rsp), %rcx
shlq $0x4, %rcx
movaps (%rax,%rcx), %xmm0
movaps %xmm0, 0x290(%rsp)
movaps 0x290(%rsp), %xmm0
movaps %xmm0, 0x530(%rsp)
movl $0x2f, 0x52c(%rsp)
movaps 0x530(%rsp), %xmm0
movd 0x52c(%rsp), %xmm1
psrlq %xmm1, %xmm0
movaps %xmm0, 0x280(%rsp)
movaps 0x290(%rsp), %xmm1
movaps 0x280(%rsp), %xmm0
movaps %xmm1, 0x5d0(%rsp)
movaps %xmm0, 0x5c0(%rsp)
movaps 0x5d0(%rsp), %xmm0
movaps 0x5c0(%rsp), %xmm1
pxor %xmm1, %xmm0
movaps %xmm0, 0x270(%rsp)
movq 0x2c8(%rsp), %rax
movq 0x2a8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x618(%rsp)
movq 0x618(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x260(%rsp)
movaps 0x270(%rsp), %xmm1
movaps 0x260(%rsp), %xmm0
movaps %xmm1, 0x5b0(%rsp)
movaps %xmm0, 0x5a0(%rsp)
movaps 0x5b0(%rsp), %xmm0
movaps 0x5a0(%rsp), %xmm1
pxor %xmm1, %xmm0
movaps %xmm0, 0x250(%rsp)
movaps 0x250(%rsp), %xmm0
pshufd $0x31, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,0]
movaps %xmm0, 0x240(%rsp)
movaps 0x250(%rsp), %xmm1
movaps 0x2b0(%rsp), %xmm0
movaps %xmm1, 0x6b0(%rsp)
movaps %xmm0, 0x6a0(%rsp)
movaps 0x6b0(%rsp), %xmm0
movaps 0x6a0(%rsp), %xmm1
pmuludq %xmm1, %xmm0
movaps %xmm0, 0x230(%rsp)
movaps 0x240(%rsp), %xmm1
movaps 0x2b0(%rsp), %xmm0
movaps %xmm1, 0x690(%rsp)
movaps %xmm0, 0x680(%rsp)
movaps 0x690(%rsp), %xmm0
movaps 0x680(%rsp), %xmm1
movaps 0xf2e9(%rip), %xmm3     # 0x65780
movaps %xmm0, %xmm2
pand %xmm3, %xmm2
movaps %xmm1, %xmm2
pand %xmm3, %xmm2
pmuludq %xmm1, %xmm0
movdqa %xmm0, 0x220(%rsp)
movdqa 0x230(%rsp), %xmm1
movdqa 0x220(%rsp), %xmm0
movdqa %xmm0, 0x870(%rsp)
movl $0x20, 0x86c(%rsp)
movdqa 0x870(%rsp), %xmm0
movl 0x86c(%rsp), %eax
movd %eax, %xmm2
psllq %xmm2, %xmm0
movdqa %xmm1, 0x850(%rsp)
movdqa %xmm0, 0x840(%rsp)
movdqa 0x850(%rsp), %xmm0
paddq 0x840(%rsp), %xmm0
movq 0x2d0(%rsp), %rax
movq 0x2a8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
movq 0x2a8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x2a8(%rsp)
jmp 0x562fe
movq 0x160(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x160(%rsp)
jmp 0x55e3c
movq 0x198(%rsp), %rax
movq 0x170(%rsp), %rcx
imulq 0x168(%rsp), %rcx
subq %rcx, %rax
shrq $0x6, %rax
movq %rax, 0x158(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x1a0(%rsp), %rsi
movq 0x168(%rsp), %rax
imulq 0x170(%rsp), %rax
addq %rax, %rsi
movq 0x190(%rsp), %rdx
movq 0x158(%rsp), %rcx
movl 0x184(%rsp), %eax
movq %rdi, 0x218(%rsp)
movq %rsi, 0x210(%rsp)
movq %rdx, 0x208(%rsp)
movq %rcx, 0x200(%rsp)
movl %eax, 0x1fc(%rsp)
movq $0x0, 0x1f0(%rsp)
movq 0x1f0(%rsp), %rax
cmpq 0x200(%rsp), %rax
jae 0x56963
movq 0x210(%rsp), %rax
movq 0x1f0(%rsp), %rcx
shlq $0x6, %rcx
addq %rcx, %rax
movq %rax, 0x1e8(%rsp)
movq 0x1e8(%rsp), %rax
addq $0x180, %rax            # imm = 0x180
prefetcht0 (%rax)
movq 0x218(%rsp), %rsi
movq 0x1e8(%rsp), %rdx
movq 0x208(%rsp), %rcx
movq 0x1f0(%rsp), %rax
shlq $0x3, %rax
addq %rax, %rcx
movl 0x1fc(%rsp), %eax
movq %rsi, 0x3a8(%rsp)
movq %rdx, 0x3a0(%rsp)
movq %rcx, 0x398(%rsp)
movl %eax, 0x394(%rsp)
movq 0x3a8(%rsp), %rax
movq %rax, 0x380(%rsp)
movq 0x3a0(%rsp), %rax
movq %rax, 0x378(%rsp)
movq 0x398(%rsp), %rax
movq %rax, 0x370(%rsp)
movq $0x0, 0x368(%rsp)
cmpq $0x4, 0x368(%rsp)
jae 0x5694a
movq 0x378(%rsp), %rax
movq 0x368(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x610(%rsp)
movq 0x610(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x350(%rsp)
movq 0x370(%rsp), %rax
movq 0x368(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x608(%rsp)
movq 0x608(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x340(%rsp)
movaps 0x350(%rsp), %xmm1
movaps 0x340(%rsp), %xmm0
movaps %xmm1, 0x590(%rsp)
movaps %xmm0, 0x580(%rsp)
movaps 0x590(%rsp), %xmm0
movaps 0x580(%rsp), %xmm1
pxor %xmm1, %xmm0
movaps %xmm0, 0x330(%rsp)
movaps 0x330(%rsp), %xmm1
pshufd $0x31, %xmm1, %xmm0     # xmm0 = xmm1[1,0,3,0]
movaps %xmm1, 0x670(%rsp)
movaps %xmm0, 0x660(%rsp)
movaps 0x670(%rsp), %xmm0
movaps 0x660(%rsp), %xmm1
movaps 0xefd7(%rip), %xmm3     # 0x65780
movaps %xmm0, %xmm2
pand %xmm3, %xmm2
movaps %xmm1, %xmm2
pand %xmm3, %xmm2
pmuludq %xmm1, %xmm0
movdqa %xmm0, 0x320(%rsp)
cmpl $0x1, 0x394(%rsp)
jne 0x5688f
movaps 0x350(%rsp), %xmm0
pshufd $0x4e, %xmm0, %xmm0     # xmm0 = xmm0[2,3,0,1]
movdqa %xmm0, 0x310(%rsp)
movq 0x380(%rsp), %rax
movq 0x368(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa (%rax), %xmm1
movdqa 0x310(%rsp), %xmm0
movdqa %xmm1, 0x7f0(%rsp)
movdqa %xmm0, 0x7e0(%rsp)
movdqa 0x7f0(%rsp), %xmm0
paddq 0x7e0(%rsp), %xmm0
movdqa %xmm0, 0x300(%rsp)
movdqa 0x320(%rsp), %xmm1
movdqa 0x300(%rsp), %xmm0
movdqa %xmm1, 0x7d0(%rsp)
movdqa %xmm0, 0x7c0(%rsp)
movdqa 0x7d0(%rsp), %xmm0
paddq 0x7c0(%rsp), %xmm0
movq 0x380(%rsp), %rax
movq 0x368(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
jmp 0x56931
movq 0x380(%rsp), %rax
movq 0x368(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa (%rax), %xmm1
movdqa 0x350(%rsp), %xmm0
movdqa %xmm1, 0x830(%rsp)
movdqa %xmm0, 0x820(%rsp)
movdqa 0x830(%rsp), %xmm0
paddq 0x820(%rsp), %xmm0
movdqa %xmm0, 0x2f0(%rsp)
movdqa 0x320(%rsp), %xmm1
movdqa 0x2f0(%rsp), %xmm0
movdqa %xmm1, 0x810(%rsp)
movdqa %xmm0, 0x800(%rsp)
movdqa 0x810(%rsp), %xmm0
paddq 0x800(%rsp), %xmm0
movq 0x380(%rsp), %rax
movq 0x368(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
movq 0x368(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x368(%rsp)
jmp 0x566c6
movq 0x1f0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x1f0(%rsp)
jmp 0x565f7
movq 0x198(%rsp), %rax
andq $0x3f, %rax
cmpq $0x0, %rax
je 0x56ca5
movq 0x1a0(%rsp), %rax
addq 0x198(%rsp), %rax
addq $-0x40, %rax
movq %rax, 0x150(%rsp)
movq 0x1a8(%rsp), %rsi
movq 0x150(%rsp), %rdx
movq 0x190(%rsp), %rcx
addq 0x188(%rsp), %rcx
addq $-0x40, %rcx
addq $-0x7, %rcx
movl 0x184(%rsp), %eax
movq %rsi, 0x520(%rsp)
movq %rdx, 0x518(%rsp)
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
movq 0x520(%rsp), %rax
movq %rax, 0x500(%rsp)
movq 0x518(%rsp), %rax
movq %rax, 0x4f8(%rsp)
movq 0x510(%rsp), %rax
movq %rax, 0x4f0(%rsp)
movq $0x0, 0x4e8(%rsp)
cmpq $0x4, 0x4e8(%rsp)
jae 0x56ca3
movq 0x4f8(%rsp), %rax
movq 0x4e8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x5f0(%rsp)
movq 0x5f0(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x4d0(%rsp)
movq 0x4f0(%rsp), %rax
movq 0x4e8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x5e8(%rsp)
movq 0x5e8(%rsp), %rax
movups (%rax), %xmm0
movaps %xmm0, 0x4c0(%rsp)
movaps 0x4d0(%rsp), %xmm1
movaps 0x4c0(%rsp), %xmm0
movaps %xmm1, 0x550(%rsp)
movaps %xmm0, 0x540(%rsp)
movaps 0x550(%rsp), %xmm0
movaps 0x540(%rsp), %xmm1
pxor %xmm1, %xmm0
movaps %xmm0, 0x4b0(%rsp)
movaps 0x4b0(%rsp), %xmm1
pshufd $0x31, %xmm1, %xmm0     # xmm0 = xmm1[1,0,3,0]
movaps %xmm1, 0x630(%rsp)
movaps %xmm0, 0x620(%rsp)
movaps 0x630(%rsp), %xmm0
movaps 0x620(%rsp), %xmm1
movaps 0xec7e(%rip), %xmm3     # 0x65780
movaps %xmm0, %xmm2
pand %xmm3, %xmm2
movaps %xmm1, %xmm2
pand %xmm3, %xmm2
pmuludq %xmm1, %xmm0
movdqa %xmm0, 0x4a0(%rsp)
cmpl $0x1, 0x50c(%rsp)
jne 0x56be8
movaps 0x4d0(%rsp), %xmm0
pshufd $0x4e, %xmm0, %xmm0     # xmm0 = xmm0[2,3,0,1]
movdqa %xmm0, 0x490(%rsp)
movq 0x500(%rsp), %rax
movq 0x4e8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa (%rax), %xmm1
movdqa 0x490(%rsp), %xmm0
movdqa %xmm1, 0x6f0(%rsp)
movdqa %xmm0, 0x6e0(%rsp)
movdqa 0x6f0(%rsp), %xmm0
paddq 0x6e0(%rsp), %xmm0
movdqa %xmm0, 0x480(%rsp)
movdqa 0x4a0(%rsp), %xmm1
movdqa 0x480(%rsp), %xmm0
movdqa %xmm1, 0x6d0(%rsp)
movdqa %xmm0, 0x6c0(%rsp)
movdqa 0x6d0(%rsp), %xmm0
paddq 0x6c0(%rsp), %xmm0
movq 0x500(%rsp), %rax
movq 0x4e8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
jmp 0x56c8a
movq 0x500(%rsp), %rax
movq 0x4e8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa (%rax), %xmm1
movdqa 0x4d0(%rsp), %xmm0
movdqa %xmm1, 0x730(%rsp)
movdqa %xmm0, 0x720(%rsp)
movdqa 0x730(%rsp), %xmm0
paddq 0x720(%rsp), %xmm0
movdqa %xmm0, 0x470(%rsp)
movdqa 0x4a0(%rsp), %xmm1
movdqa 0x470(%rsp), %xmm0
movdqa %xmm1, 0x710(%rsp)
movdqa %xmm0, 0x700(%rsp)
movdqa 0x710(%rsp), %xmm0
paddq 0x700(%rsp), %xmm0
movq 0x500(%rsp), %rax
movq 0x4e8(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa %xmm0, (%rax)
movq 0x4e8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x4e8(%rsp)
jmp 0x56a1f
jmp 0x56ca5
movq 0x138(%rsp), %rsi
addq $0xb, %rsi
movabsq $-0x61c8864e7a143579, %rdx # imm = 0x9E3779B185EBCA87
imulq 0x140(%rsp), %rdx
leaq 0xf0(%rsp), %rdi
callq 0x5fc40
movq %rax, 0xe8(%rsp)
movq 0xe8(%rsp), %rax
addq $0x8e8, %rsp            # imm = 0x8E8
retq
nopl (%rax)