// File: BU-DiSC[P]BF-Shared-Hashing/hash/xxh3p.h
// Function: ROCKSDB_XXH3p_64bits_withSecret
XXH_PUBLIC_API XXH64_hash_t
XXH3p_64bits_withSecret(const void* input, size_t len, const void* secret, size_t secretSize)
{
    XXH_ASSERT(secretSize >= XXH3p_SECRET_SIZE_MIN);
    /* if an action must be taken should `secret` conditions not be respected,
     * it should be done here.
     * For now, it's a contract pre-condition.
     * Adding a check and a branch here would cost performance at every hash */
     if (len <= 16) return XXH3p_len_0to16_64b((const xxh_u8*)input, len, (const xxh_u8*)secret, 0);
     if (len <= 128) return XXH3p_len_17to128_64b((const xxh_u8*)input, len, (const xxh_u8*)secret, secretSize, 0);
     if (len <= XXH3p_MIDSIZE_MAX) return XXH3p_len_129to240_64b((const xxh_u8*)input, len, (const xxh_u8*)secret, secretSize, 0);
     return XXH3p_hashLong_64b_withSecret((const xxh_u8*)input, len, (const xxh_u8*)secret, secretSize);
}

// Assembly:
subq $0x4a8, %rsp            # imm = 0x4A8
movq %rdi, 0x108(%rsp)
movq %rsi, 0x100(%rsp)
movq %rdx, 0xf8(%rsp)
movq %rcx, 0xf0(%rsp)
cmpq $0x10, 0x100(%rsp)
ja 0x531e5
movq 0x108(%rsp), %rdx
movq 0x100(%rsp), %rcx
movq 0xf8(%rsp), %rax
movq %rdx, 0x130(%rsp)
movq %rcx, 0x128(%rsp)
movq %rax, 0x120(%rsp)
movq $0x0, 0x118(%rsp)
cmpq $0x8, 0x128(%rsp)
jbe 0x52eb9
movq 0x130(%rsp), %rsi
movq 0x128(%rsp), %rdx
movq 0x120(%rsp), %rcx
movq 0x118(%rsp), %rax
movq %rsi, 0x1a8(%rsp)
movq %rdx, 0x1a0(%rsp)
movq %rcx, 0x198(%rsp)
movq %rax, 0x190(%rsp)
movq 0x1a8(%rsp), %rax
movq %rax, 0x1c8(%rsp)
movq 0x1c8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0xd8(%rsp)
movq 0x198(%rsp), %rax
movq %rax, 0x1c0(%rsp)
movq 0x1c0(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xd8(%rsp), %rax
addq 0x190(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x188(%rsp)
movq 0x1a8(%rsp), %rax
addq 0x1a0(%rsp), %rax
addq $-0x8, %rax
movq %rax, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0xe0(%rsp)
movq 0x198(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x1b0(%rsp)
movq 0x1b0(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xe0(%rsp), %rax
subq 0x190(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x180(%rsp)
movq 0x1a0(%rsp), %rax
movq 0x188(%rsp), %rcx
addq 0x180(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0xe8(%rsp)
movq 0x188(%rsp), %rdi
movq 0x180(%rsp), %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0xe8(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x178(%rsp)
movq 0x178(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x138(%rsp)
jmp 0x531d0
cmpq $0x4, 0x128(%rsp)
jb 0x53033
movq 0x130(%rsp), %rsi
movq 0x128(%rsp), %rdx
movq 0x120(%rsp), %rcx
movq 0x118(%rsp), %rax
movq %rsi, 0x208(%rsp)
movq %rdx, 0x200(%rsp)
movq %rcx, 0x1f8(%rsp)
movq %rax, 0x1f0(%rsp)
movq 0x208(%rsp), %rax
movq %rax, 0x218(%rsp)
movq 0x218(%rsp), %rdi
callq 0x5fa70
movl %eax, 0x1ec(%rsp)
movq 0x208(%rsp), %rax
addq 0x200(%rsp), %rax
addq $-0x4, %rax
movq %rax, 0x210(%rsp)
movq 0x210(%rsp), %rdi
callq 0x5fa70
movl %eax, 0x1e8(%rsp)
movl 0x1ec(%rsp), %eax
movl 0x1e8(%rsp), %ecx
shlq $0x20, %rcx
orq %rcx, %rax
movq %rax, 0x1e0(%rsp)
movq 0x1e0(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0x1f8(%rsp), %rax
movq %rax, 0x220(%rsp)
movq 0x220(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xd0(%rsp), %rax
addq 0x1f0(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x1d8(%rsp)
movq 0x200(%rsp), %rax
movq 0x1d8(%rsp), %rcx
movq 0x1d8(%rsp), %rdx
shrq $0x33, %rdx
xorq %rdx, %rcx
movabsq $0x9e3779b1, %rdx       # imm = 0x9E3779B1
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0x1d0(%rsp)
movq 0x1d0(%rsp), %rdi
movq 0x1d0(%rsp), %rax
shrq $0x2f, %rax
xorq %rax, %rdi
movabsq $-0x3d4d51c2d82b14b1, %rax # imm = 0xC2B2AE3D27D4EB4F
imulq %rax, %rdi
callq 0x5fbb0
movq %rax, 0x138(%rsp)
jmp 0x531d0
cmpq $0x0, 0x128(%rsp)
je 0x53181
movq 0x130(%rsp), %rsi
movq 0x128(%rsp), %rdx
movq 0x120(%rsp), %rcx
movq 0x118(%rsp), %rax
movq %rsi, 0x258(%rsp)
movq %rdx, 0x250(%rsp)
movq %rcx, 0x248(%rsp)
movq %rax, 0x240(%rsp)
movq 0x258(%rsp), %rax
movb (%rax), %al
movb %al, 0x23f(%rsp)
movq 0x258(%rsp), %rax
movq 0x250(%rsp), %rcx
shrq %rcx
movb (%rax,%rcx), %al
movb %al, 0x23e(%rsp)
movq 0x258(%rsp), %rax
movq 0x250(%rsp), %rcx
subq $0x1, %rcx
movb (%rax,%rcx), %al
movb %al, 0x23d(%rsp)
movzbl 0x23f(%rsp), %eax
movzbl 0x23e(%rsp), %ecx
shll $0x8, %ecx
orl %ecx, %eax
movzbl 0x23d(%rsp), %ecx
shll $0x10, %ecx
orl %ecx, %eax
movq 0x250(%rsp), %rcx
shll $0x18, %ecx
orl %ecx, %eax
movl %eax, 0x238(%rsp)
movl 0x238(%rsp), %eax
movq %rax, 0xc8(%rsp)
movq 0x248(%rsp), %rax
movq %rax, 0x260(%rsp)
movq 0x260(%rsp), %rdi
callq 0x5fa70
movl %eax, %ecx
movq 0xc8(%rsp), %rax
movl %ecx, %ecx
addq 0x240(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x230(%rsp)
movabsq $-0x61c8864e7a143579, %rax # imm = 0x9E3779B185EBCA87
imulq 0x230(%rsp), %rax
movq %rax, 0x228(%rsp)
movq 0x228(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x138(%rsp)
jmp 0x531d0
movq 0x118(%rsp), %rax
movq %rax, 0xc0(%rsp)
movq 0x120(%rsp), %rax
movq %rax, 0x140(%rsp)
movq 0x140(%rsp), %rdi
callq 0x5fae0
movq 0xc0(%rsp), %rdi
addq %rax, %rdi
movabsq $-0x3d4d51c2d82b14b1, %rsi # imm = 0xC2B2AE3D27D4EB4F
callq 0x5fb70
movq %rax, 0x138(%rsp)
movq 0x138(%rsp), %rax
movq %rax, 0x110(%rsp)
jmp 0x53c57
cmpq $0x80, 0x100(%rsp)
ja 0x53be8
movq 0x108(%rsp), %rsi
movq 0x100(%rsp), %rdx
movq 0xf8(%rsp), %rcx
movq 0xf0(%rsp), %rax
movq %rsi, 0x170(%rsp)
movq %rdx, 0x168(%rsp)
movq %rcx, 0x160(%rsp)
movq %rax, 0x158(%rsp)
movq $0x0, 0x150(%rsp)
movabsq $-0x61c8864e7a143579, %rax # imm = 0x9E3779B185EBCA87
imulq 0x168(%rsp), %rax
movq %rax, 0x148(%rsp)
cmpq $0x20, 0x168(%rsp)
jbe 0x53993
cmpq $0x40, 0x168(%rsp)
jbe 0x5374b
cmpq $0x60, 0x168(%rsp)
jbe 0x534f7
movq 0x170(%rsp), %rdx
addq $0x30, %rdx
movq 0x160(%rsp), %rcx
addq $0x60, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x2d0(%rsp)
movq %rcx, 0x2c8(%rsp)
movq %rax, 0x2c0(%rsp)
movq 0x2d0(%rsp), %rax
movq %rax, 0x2f0(%rsp)
movq 0x2f0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x2b8(%rsp)
movq 0x2d0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x2e8(%rsp)
movq 0x2e8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x2b0(%rsp)
movq 0x2b8(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x2c8(%rsp), %rax
movq %rax, 0x2e0(%rsp)
movq 0x2e0(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x90(%rsp), %rax
addq 0x2c0(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0xa0(%rsp)
movq 0x2b0(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0x2c8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x2d8(%rsp)
movq 0x2d8(%rsp), %rdi
callq 0x5fae0
movq 0x98(%rsp), %rsi
movq 0xa0(%rsp), %rdi
subq 0x2c0(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
addq 0x168(%rsp), %rdx
addq $-0x40, %rdx
movq 0x160(%rsp), %rcx
addq $0x70, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x288(%rsp)
movq %rcx, 0x280(%rsp)
movq %rax, 0x278(%rsp)
movq 0x288(%rsp), %rax
movq %rax, 0x2a8(%rsp)
movq 0x2a8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x270(%rsp)
movq 0x288(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x2a0(%rsp)
movq 0x2a0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x268(%rsp)
movq 0x270(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0x280(%rsp), %rax
movq %rax, 0x298(%rsp)
movq 0x298(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xa8(%rsp), %rax
addq 0x278(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0xb8(%rsp)
movq 0x268(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0x280(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x290(%rsp)
movq 0x290(%rsp), %rdi
callq 0x5fae0
movq 0xb0(%rsp), %rsi
movq 0xb8(%rsp), %rdi
subq 0x278(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
addq $0x20, %rdx
movq 0x160(%rsp), %rcx
addq $0x40, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x360(%rsp)
movq %rcx, 0x358(%rsp)
movq %rax, 0x350(%rsp)
movq 0x360(%rsp), %rax
movq %rax, 0x380(%rsp)
movq 0x380(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x348(%rsp)
movq 0x360(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x378(%rsp)
movq 0x378(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x340(%rsp)
movq 0x348(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x370(%rsp)
movq 0x370(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x60(%rsp), %rax
addq 0x350(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x70(%rsp)
movq 0x340(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x358(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x368(%rsp)
movq 0x368(%rsp), %rdi
callq 0x5fae0
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdi
subq 0x350(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
addq 0x168(%rsp), %rdx
addq $-0x30, %rdx
movq 0x160(%rsp), %rcx
addq $0x50, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x318(%rsp)
movq %rcx, 0x310(%rsp)
movq %rax, 0x308(%rsp)
movq 0x318(%rsp), %rax
movq %rax, 0x338(%rsp)
movq 0x338(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x300(%rsp)
movq 0x318(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x330(%rsp)
movq 0x330(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x2f8(%rsp)
movq 0x300(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x310(%rsp), %rax
movq %rax, 0x328(%rsp)
movq 0x328(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x78(%rsp), %rax
addq 0x308(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x88(%rsp)
movq 0x2f8(%rsp), %rax
movq %rax, 0x80(%rsp)
movq 0x310(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x320(%rsp)
movq 0x320(%rsp), %rdi
callq 0x5fae0
movq 0x80(%rsp), %rsi
movq 0x88(%rsp), %rdi
subq 0x308(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
addq $0x10, %rdx
movq 0x160(%rsp), %rcx
addq $0x20, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x3f0(%rsp)
movq %rcx, 0x3e8(%rsp)
movq %rax, 0x3e0(%rsp)
movq 0x3f0(%rsp), %rax
movq %rax, 0x410(%rsp)
movq 0x410(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x3d8(%rsp)
movq 0x3f0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x408(%rsp)
movq 0x408(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x3d0(%rsp)
movq 0x3d8(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x3e8(%rsp), %rax
movq %rax, 0x400(%rsp)
movq 0x400(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x30(%rsp), %rax
addq 0x3e0(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x40(%rsp)
movq 0x3d0(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x3e8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x3f8(%rsp)
movq 0x3f8(%rsp), %rdi
callq 0x5fae0
movq 0x38(%rsp), %rsi
movq 0x40(%rsp), %rdi
subq 0x3e0(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
addq 0x168(%rsp), %rdx
addq $-0x20, %rdx
movq 0x160(%rsp), %rcx
addq $0x30, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x3a8(%rsp)
movq %rcx, 0x3a0(%rsp)
movq %rax, 0x398(%rsp)
movq 0x3a8(%rsp), %rax
movq %rax, 0x3c8(%rsp)
movq 0x3c8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x390(%rsp)
movq 0x3a8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x3c0(%rsp)
movq 0x3c0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x388(%rsp)
movq 0x390(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x3a0(%rsp), %rax
movq %rax, 0x3b8(%rsp)
movq 0x3b8(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x48(%rsp), %rax
addq 0x398(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x58(%rsp)
movq 0x388(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x3a0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x3b0(%rsp)
movq 0x3b0(%rsp), %rdi
callq 0x5fae0
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rdi
subq 0x398(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
movq 0x160(%rsp), %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x480(%rsp)
movq %rcx, 0x478(%rsp)
movq %rax, 0x470(%rsp)
movq 0x480(%rsp), %rax
movq %rax, 0x4a0(%rsp)
movq 0x4a0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x468(%rsp)
movq 0x480(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x498(%rsp)
movq 0x498(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x460(%rsp)
movq 0x468(%rsp), %rax
movq %rax, (%rsp)
movq 0x478(%rsp), %rax
movq %rax, 0x490(%rsp)
movq 0x490(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq (%rsp), %rax
addq 0x470(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x10(%rsp)
movq 0x460(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x478(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x488(%rsp)
movq 0x488(%rsp), %rdi
callq 0x5fae0
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdi
subq 0x470(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x170(%rsp), %rdx
addq 0x168(%rsp), %rdx
addq $-0x10, %rdx
movq 0x160(%rsp), %rcx
addq $0x10, %rcx
movq 0x150(%rsp), %rax
movq %rdx, 0x438(%rsp)
movq %rcx, 0x430(%rsp)
movq %rax, 0x428(%rsp)
movq 0x438(%rsp), %rax
movq %rax, 0x458(%rsp)
movq 0x458(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x420(%rsp)
movq 0x438(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x450(%rsp)
movq 0x450(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x418(%rsp)
movq 0x420(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x430(%rsp), %rax
movq %rax, 0x448(%rsp)
movq 0x448(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x18(%rsp), %rax
addq 0x428(%rsp), %rcx
xorq %rcx, %rax
movq %rax, 0x28(%rsp)
movq 0x418(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x430(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x440(%rsp)
movq 0x440(%rsp), %rdi
callq 0x5fae0
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdi
subq 0x428(%rsp), %rax
xorq %rax, %rsi
callq 0x5fb70
addq 0x148(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x148(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x110(%rsp)
jmp 0x53c57
cmpq $0xf0, 0x100(%rsp)
ja 0x53c2a
movq 0x108(%rsp), %rdi
movq 0x100(%rsp), %rsi
movq 0xf8(%rsp), %rdx
movq 0xf0(%rsp), %rcx
xorl %eax, %eax
movl %eax, %r8d
callq 0x51920
movq %rax, 0x110(%rsp)
jmp 0x53c57
movq 0x108(%rsp), %rdi
movq 0x100(%rsp), %rsi
movq 0xf8(%rsp), %rdx
movq 0xf0(%rsp), %rcx
callq 0x53c70
movq %rax, 0x110(%rsp)
movq 0x110(%rsp), %rax
addq $0x4a8, %rsp            # imm = 0x4A8
retq
nopw (%rax,%rax)