mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Avoid sorting in hash map stable hashing

Browse Source
This commit is contained in:
Jakub Beránek 2021-12-12 20:24:56 +01:00
parent 58457bbfd3
commit a5f5f6b689
No known key found for this signature in database
GPG Key ID: DBC553E540C2F619
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
compiler/rustc_data_structures/src/stable_hasher.rs
View File

@ -42,6 +42,7 @@ pub fn finish<W: StableHasherResult>(self) -> W {
}
impl StableHasherResult for u128 {
#[inline]
fn finish(hasher: StableHasher) -> Self {
let (_0, _1) = hasher.finalize();
u128::from(_0) | (u128::from(_1) << 64)
@ -49,6 +50,7 @@ fn finish(hasher: StableHasher) -> Self {
}
impl StableHasherResult for u64 {
#[inline]
fn finish(hasher: StableHasher) -> Self {
hasher.finalize().0
}
@ -559,8 +561,16 @@ pub fn hash_stable_hashmap<HCX, K, V, R, SK, F>(
SK: HashStable<HCX> + Ord,
F: Fn(&K, &HCX) -> SK,
{
let mut entries: SmallVec<[_; 3]> =
map.iter().map(|(k, v)| (to_stable_hash_key(k, hcx), v)).collect();
entries.sort_unstable_by(|&(ref sk1, _), &(ref sk2, _)| sk1.cmp(sk2));
entries.hash_stable(hcx, hasher);
let hash = map
.iter()
.map(|(key, value)| {
let key = to_stable_hash_key(key, hcx);
let mut hasher = StableHasher::new();
key.hash_stable(hcx, &mut hasher);
value.hash_stable(hcx, &mut hasher);
hasher.finish::<u128>()
})
.reduce(|accum, value| accum.wrapping_mul(value));
map.len().hash_stable(hcx, hasher);
hash.hash_stable(hcx, hasher);
}