diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-02-04 18:42:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-04 18:42:18 +0100 |
| commit | 2d62bd00ff28302d323184e6e043511696c61fd9 (patch) | |
| tree | 60e43af955139d1141cedef278adae07aff32558 /compiler/rustc_data_structures/src | |
| parent | 9ba09f976c68344f316cadb8109c8b388e2b824b (diff) | |
| parent | c21b8e12a4f1bf884a87a6fb945d7c4d338737cc (diff) | |
| download | rust-2d62bd00ff28302d323184e6e043511696c61fd9.tar.gz rust-2d62bd00ff28302d323184e6e043511696c61fd9.zip | |
Rollup merge of #93615 - Kobzol:stable-hash-opt-endianness, r=the8472
Fix `isize` optimization in `StableHasher` for big-endian architectures This PR fixes a problem with the stable hash optimization introduced in https://github.com/rust-lang/rust/pull/93432. As `@michaelwoerister` has [found out](https://github.com/rust-lang/rust/pull/93432#issuecomment-1028756212), the original implementation wouldn't produce the same hash on little/big architectures. r? `@the8472`
Diffstat (limited to 'compiler/rustc_data_structures/src')
| -rw-r--r-- | compiler/rustc_data_structures/src/stable_hasher.rs | 10 | ||||
| -rw-r--r-- | compiler/rustc_data_structures/src/stable_hasher/tests.rs | 1 |
2 files changed, 8 insertions, 3 deletions
diff --git a/compiler/rustc_data_structures/src/stable_hasher.rs b/compiler/rustc_data_structures/src/stable_hasher.rs index 1495521ddbb..a121bbcedc8 100644 --- a/compiler/rustc_data_structures/src/stable_hasher.rs +++ b/compiler/rustc_data_structures/src/stable_hasher.rs @@ -133,18 +133,18 @@ impl Hasher for StableHasher { #[inline] fn write_isize(&mut self, i: isize) { - // Always treat isize as i64 so we get the same results on 32 and 64 bit + // Always treat isize as a 64-bit number so we get the same results on 32 and 64 bit // platforms. This is important for symbol hashes when cross compiling, // for example. Sign extending here is preferable as it means that the // same negative number hashes the same on both 32 and 64 bit platforms. - let value = (i as i64).to_le() as u64; + let value = i as u64; // Cold path #[cold] #[inline(never)] fn hash_value(state: &mut SipHasher128, value: u64) { state.write_u8(0xFF); - state.write_u64(value); + state.write_u64(value.to_le()); } // `isize` values often seem to have a small (positive) numeric value in practice. @@ -161,6 +161,10 @@ impl Hasher for StableHasher { // 8 bytes. Since this prefix cannot occur when we hash a single byte, when we hash two // `isize`s that fit within a different amount of bytes, they should always produce a different // byte stream for the hasher. + // + // To ensure that this optimization hashes the exact same bytes on both little-endian and + // big-endian architectures, we compare the value with 0xFF before we convert the number + // into a unified representation (little-endian). if value < 0xFF { self.state.write_u8(value as u8); } else { diff --git a/compiler/rustc_data_structures/src/stable_hasher/tests.rs b/compiler/rustc_data_structures/src/stable_hasher/tests.rs index a84ee3da438..b0d66c32a07 100644 --- a/compiler/rustc_data_structures/src/stable_hasher/tests.rs +++ b/compiler/rustc_data_structures/src/stable_hasher/tests.rs @@ -159,4 +159,5 @@ fn test_isize_compression() { check_hash(0xAAAA, 0xAAAAAA); check_hash(0xAAAAAA, 0xAAAAAAAA); check_hash(0xFF, 0xFFFFFFFFFFFFFFFF); + check_hash(u64::MAX /* -1 */, 1); } |
