// File: /workspace/github_cpp_makefile_star2_O1/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:
movq %rdx, %r9
cmpq $0x10, %rsi
ja 0x253a7
cmpq $0x9, %rsi
jb 0x254c4
movq (%r9), %r8
xorq (%rdi), %r8
movq 0x8(%r9), %rcx
xorq -0x8(%rdi,%rsi), %rcx
movq %rcx, %rax
mulq %r8
xorq %rax, %rdx
addq %rsi, %r8
addq %rcx, %r8
addq %rdx, %r8
movq %r8, %rax
shrq $0x25, %rax
xorq %r8, %rax
jmp 0x25561
cmpq $0x80, %rsi
ja 0x25506
movabsq $-0x61c8864e7a143579, %r8 # imm = 0x9E3779B185EBCA87
imulq %rsi, %r8
cmpq $0x21, %rsi
jb 0x25480
cmpq $0x41, %rsi
jb 0x25446
cmpq $0x61, %rsi
jb 0x2540c
movq 0x60(%r9), %rcx
movq 0x68(%r9), %rax
xorq 0x30(%rdi), %rcx
xorq 0x38(%rdi), %rax
mulq %rcx
movq 0x70(%r9), %rcx
xorq -0x40(%rdi,%rsi), %rcx
xorq %rax, %rdx
movq 0x78(%r9), %rax
xorq -0x38(%rdi,%rsi), %rax
addq %rdx, %r8
mulq %rcx
xorq %rax, %rdx
addq %rdx, %r8
movq 0x40(%r9), %rcx
movq 0x48(%r9), %rax
xorq 0x20(%rdi), %rcx
xorq 0x28(%rdi), %rax
mulq %rcx
movq %rdx, %rcx
movq 0x50(%r9), %rdx
xorq -0x30(%rdi,%rsi), %rdx
xorq %rax, %rcx
movq 0x58(%r9), %rax
xorq -0x28(%rdi,%rsi), %rax
addq %r8, %rcx
mulq %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rcx, %r8
movq 0x20(%r9), %rcx
movq 0x28(%r9), %rax
xorq 0x10(%rdi), %rcx
xorq 0x18(%rdi), %rax
mulq %rcx
movq %rdx, %rcx
movq 0x30(%r9), %rdx
xorq -0x20(%rdi,%rsi), %rdx
xorq %rax, %rcx
movq 0x38(%r9), %rax
xorq -0x18(%rdi,%rsi), %rax
addq %r8, %rcx
mulq %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rcx, %r8
movq (%r9), %rcx
movq 0x8(%r9), %rax
xorq (%rdi), %rcx
xorq 0x8(%rdi), %rax
mulq %rcx
movq %rdx, %rcx
movq 0x10(%r9), %rdx
xorq -0x10(%rdi,%rsi), %rdx
xorq %rax, %rcx
movq 0x18(%r9), %rax
xorq -0x8(%rdi,%rsi), %rax
addq %r8, %rcx
mulq %rdx
xorq %rax, %rdx
addq %rcx, %rdx
movq %rdx, %rax
shrq $0x25, %rax
xorq %rdx, %rax
jmp 0x25561
cmpq $0x4, %rsi
jb 0x25519
movl (%rdi), %eax
movl -0x4(%rdi,%rsi), %ecx
shlq $0x20, %rcx
orq %rax, %rcx
xorq (%r9), %rcx
movq %rcx, %rax
shrq $0x33, %rax
xorq %rcx, %rax
movl $0x9e3779b1, %ecx       # imm = 0x9E3779B1
imulq %rax, %rcx
addq %rsi, %rcx
movq %rcx, %rax
shrq $0x2f, %rax
xorq %rcx, %rax
movabsq $-0x3d4d51c2d82b14b1, %rcx # imm = 0xC2B2AE3D27D4EB4F
jmp 0x25553
movq %r9, %rdx
cmpq $0xf0, %rsi
ja 0x2557d
xorl %ecx, %ecx
jmp 0x24fdf
testq %rsi, %rsi
je 0x2557f
movzbl (%rdi), %eax
movq %rsi, %rcx
shrq %rcx
movzbl (%rdi,%rcx), %ecx
movzbl -0x1(%rdi,%rsi), %edx
shll $0x8, %ecx
orq %rax, %rcx
shll $0x10, %edx
orq %rcx, %rdx
shlq $0x18, %rsi
orq %rdx, %rsi
movl (%r9), %eax
xorq %rsi, %rax
movabsq $-0x61c8864e7a143579, %rcx # imm = 0x9E3779B185EBCA87
imulq %rax, %rcx
movq %rcx, %rax
shrq $0x25, %rax
xorq %rcx, %rax
movabsq $0x165667b19e3779f9, %rcx # imm = 0x165667B19E3779F9
imulq %rax, %rcx
movq %rcx, %rdx
shrq $0x20, %rdx
xorq %rcx, %rdx
movq %rdx, %rax
retq
jmp 0x25591
movabsq $-0x3d4d51c2d82b14b1, %rax # imm = 0xC2B2AE3D27D4EB4F
mulq (%r9)
xorq %rax, %rdx
jmp 0x25579