use super::*;
#[test]
fn hash4_matches_expected_value_on_known_input() {
let table = FastHashTable::new(12, 4);
let data = [0x01u8, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08];
let h = unsafe { table.hash_ptr::<4>(data.as_ptr()) };
let expected = 0x04030201u32.wrapping_mul(0x9E3779B1) >> 20;
assert_eq!(
h, expected,
"hash4 must match upstream zstd multiply-shift formula"
);
}
#[test]
fn wide_hashes_keep_the_top_bits_of_the_product_at_every_width() {
fn reference<const MLS: u32>(u: u64, prime: u64, hash_log: u32) -> u32 {
let lane = if MLS == 8 { u } else { u << (64 - 8 * MLS) };
(lane.wrapping_mul(prime) >> (64 - hash_log)) as u32
}
let inputs = [
[0x01u8, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08],
[0xffu8; 8],
[0x80u8, 0, 0, 0, 0, 0, 0, 0x80],
[0x9au8, 0x3c, 0xe1, 0x07, 0x5d, 0xb2, 0x44, 0xf9],
];
for data in inputs {
let u = u64::from_le_bytes(data);
for hash_log in 1..=32 {
unsafe {
assert_eq!(
hash_ptr_raw::<5>(data.as_ptr(), hash_log),
reference::<5>(u, PRIME_5_BYTES, hash_log)
);
assert_eq!(
hash_ptr_raw::<6>(data.as_ptr(), hash_log),
reference::<6>(u, PRIME_6_BYTES, hash_log)
);
assert_eq!(
hash_ptr_raw::<7>(data.as_ptr(), hash_log),
reference::<7>(u, PRIME_7_BYTES, hash_log)
);
assert_eq!(
hash_ptr_raw::<8>(data.as_ptr(), hash_log),
reference::<8>(u, PRIME_8_BYTES, hash_log)
);
}
}
}
}
#[test]
fn hash5_matches_expected_value_on_known_input() {
let table = FastHashTable::new(13, 5);
let data = [0x01u8, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08];
let h = unsafe { table.hash_ptr::<5>(data.as_ptr()) };
let u = u64::from_le_bytes(data);
let expected = (((u << (64 - 40)).wrapping_mul(889_523_592_379u64)) >> (64 - 13)) as u32;
assert_eq!(h, expected);
}
#[test]
fn get_put_round_trip_under_known_hash() {
let mut table = FastHashTable::new(8, 4);
let data = [0xAAu8, 0xBB, 0xCC, 0xDD, 0xEE, 0xFF, 0x00, 0x11];
let h = unsafe { table.hash_ptr::<4>(data.as_ptr()) };
unsafe {
assert_eq!(table.get(h), 0, "fresh table reads sentinel");
table.put(h, 0xCAFE_BABE);
assert_eq!(table.get(h), 0xCAFE_BABE);
}
}
fn bound_table(
workspace: &mut crate::encoding::workspace::Workspace,
hash_log: u32,
tagged: bool,
) -> FastHashTable {
workspace.begin_layout(
0,
crate::encoding::workspace::no_trailing,
crate::encoding::workspace::IngestPlan::Stream,
);
workspace.open(FastHashTable::workspace_bytes(hash_log), usize::MAX);
let mut table = FastHashTable::new_deferred(hash_log, 4);
assert!(!table.bind(workspace, hash_log, 4, tagged));
table
}
#[test]
fn a_tagged_table_rejects_other_tags_and_slides_positions() {
let mut workspace = crate::encoding::workspace::Workspace::new();
let mut table = bound_table(&mut workspace, 10, true);
let data = *b"abcdefgh";
let hash = unsafe { table.hash_ptr::<4>(data.as_ptr()) };
let untagged = unsafe { hash_ptr_raw::<4>(data.as_ptr(), 10) };
assert_eq!(hash >> TAG_BITS, untagged, "the slot is the untagged hash");
unsafe {
assert!(table.slot_is_empty(hash));
table.put(hash, 1000);
assert_eq!(table.get(hash), 1000);
let other_tag = hash ^ 1;
assert_eq!(table.get(other_tag), 0, "another tag reads as empty");
assert!(!table.slot_is_empty(other_tag), "but the slot is taken");
table.reduce_indices(400);
assert_eq!(table.get(hash), 600, "the slide keeps the tag");
table.reduce_indices(600);
assert_eq!(table.get(hash), 0, "a slid-out position names 0");
}
}
#[test]
fn changing_the_slot_format_does_not_continue_the_table() {
let mut workspace = crate::encoding::workspace::Workspace::new();
let mut table = bound_table(&mut workspace, 10, true);
let data = *b"abcdefgh";
unsafe {
let hash = table.hash_ptr::<4>(data.as_ptr());
table.put(hash, 7);
}
workspace.begin_layout(
0,
crate::encoding::workspace::no_trailing,
crate::encoding::workspace::IngestPlan::Stream,
);
workspace.open(FastHashTable::workspace_bytes(10), usize::MAX);
assert!(!table.bind(&mut workspace, 10, 4, false));
assert!(!table.is_tagged());
unsafe {
let hash = table.hash_ptr::<4>(data.as_ptr());
assert_eq!(table.get(hash), 0);
}
}
#[test]
fn clear_resets_all_entries_to_sentinel() {
let mut table = FastHashTable::new(6, 4);
let data = [1u8, 2, 3, 4, 5, 6, 7, 8];
let h = unsafe { table.hash_ptr::<4>(data.as_ptr()) };
unsafe {
table.put(h, 42);
}
table.clear();
let read_back = unsafe { table.get(h) };
assert_eq!(read_back, 0, "clear must zero every entry");
}
#[test]
fn hash6_matches_expected_value_on_known_input() {
let table = FastHashTable::new(14, 6);
let data = [0x01u8, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08];
let h = unsafe { table.hash_ptr::<6>(data.as_ptr()) };
let u = u64::from_le_bytes(data);
let expected = (((u << (64 - 48)).wrapping_mul(227_718_039_650_203u64)) >> (64 - 14)) as u32;
assert_eq!(
h, expected,
"hash6 must match upstream zstd multiply-shift formula"
);
}
#[test]
fn hash7_matches_expected_value_on_known_input() {
let table = FastHashTable::new(15, 7);
let data = [0x01u8, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08];
let h = unsafe { table.hash_ptr::<7>(data.as_ptr()) };
let u = u64::from_le_bytes(data);
let expected = (((u << (64 - 56)).wrapping_mul(58_295_818_150_454_627u64)) >> (64 - 15)) as u32;
assert_eq!(
h, expected,
"hash7 must match upstream zstd multiply-shift formula"
);
}
#[test]
fn hash8_matches_expected_value_on_known_input() {
let table = FastHashTable::new(16, 8);
let data = [0x01u8, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08];
let h = unsafe { table.hash_ptr::<8>(data.as_ptr()) };
let u = u64::from_le_bytes(data);
let expected = (u.wrapping_mul(0xCF1BBCDCB7A56463u64) >> (64 - 16)) as u32;
assert_eq!(
h, expected,
"hash8 must match upstream zstd multiply-shift formula"
);
}
#[test]
fn hash_log_minimum_one_constructs_two_entry_table() {
let table = FastHashTable::new(1, 4);
let data = [0u8, 0, 0, 0];
let h = unsafe { table.hash_ptr::<4>(data.as_ptr()) };
assert!(h < 2, "hash_log=1 must produce values ∈ {{0, 1}} (got {h})");
}
#[test]
fn hash_log_maximum_thirty_is_accepted_by_validation() {
validate_params(ZSTD_HASHLOG_MAX, 4);
validate_params(ZSTD_HASHLOG_MAX, 8);
}
#[test]
#[should_panic(expected = "hash_log must be in 1..=")]
fn panics_on_zero_hash_log() {
let _ = FastHashTable::new(0, 4);
}
#[test]
#[should_panic(expected = "hash_log must be in 1..=")]
fn panics_on_hash_log_above_zstd_hashlog_max() {
let _ = FastHashTable::new(31, 4);
}
#[test]
#[should_panic(expected = "ZSTD Fast strategy only supports mls 4..=8")]
fn panics_on_mls_below_four() {
let _ = FastHashTable::new(12, 3);
}
#[test]
#[should_panic(expected = "ZSTD Fast strategy only supports mls 4..=8")]
fn panics_on_mls_above_eight() {
let _ = FastHashTable::new(12, 9);
}
#[test]
#[should_panic(expected = "overflows")]
fn a_table_wider_than_usize_panics() {
let _ = entry_count(usize::BITS);
}
#[test]
#[should_panic(expected = "byte size overflows")]
fn a_table_whose_bytes_overflow_usize_panics() {
let _ = entry_count(usize::BITS - 1);
}