Unify SourceFile::name_hash and StableSourceFileId
This commit is contained in:
parent
be69926a73
commit
fa8ef25372
10 changed files with 131 additions and 118 deletions
|
@ -58,7 +58,7 @@ pub use hygiene::{DesugaringKind, ExpnKind, MacroKind};
|
|||
pub use hygiene::{ExpnData, ExpnHash, ExpnId, LocalExpnId, SyntaxContext};
|
||||
use rustc_data_structures::stable_hasher::HashingControls;
|
||||
pub mod def_id;
|
||||
use def_id::{CrateNum, DefId, DefPathHash, LocalDefId, LOCAL_CRATE};
|
||||
use def_id::{CrateNum, DefId, DefPathHash, LocalDefId, StableCrateId, LOCAL_CRATE};
|
||||
pub mod edit_distance;
|
||||
mod span_encoding;
|
||||
pub use span_encoding::{Span, DUMMY_SP};
|
||||
|
@ -1333,8 +1333,10 @@ pub struct SourceFile {
|
|||
pub non_narrow_chars: Vec<NonNarrowChar>,
|
||||
/// Locations of characters removed during normalization.
|
||||
pub normalized_pos: Vec<NormalizedPos>,
|
||||
/// A hash of the filename, used for speeding up hashing in incremental compilation.
|
||||
pub name_hash: Hash128,
|
||||
/// A hash of the filename & crate-id, used for uniquely identifying source
|
||||
/// files within the crate graph and for speeding up hashing in incremental
|
||||
/// compilation.
|
||||
pub stable_id: StableSourceFileId,
|
||||
/// Indicates which crate this `SourceFile` was imported from.
|
||||
pub cnum: CrateNum,
|
||||
}
|
||||
|
@ -1352,7 +1354,7 @@ impl Clone for SourceFile {
|
|||
multibyte_chars: self.multibyte_chars.clone(),
|
||||
non_narrow_chars: self.non_narrow_chars.clone(),
|
||||
normalized_pos: self.normalized_pos.clone(),
|
||||
name_hash: self.name_hash,
|
||||
stable_id: self.stable_id,
|
||||
cnum: self.cnum,
|
||||
}
|
||||
}
|
||||
|
@ -1426,7 +1428,7 @@ impl<S: Encoder> Encodable<S> for SourceFile {
|
|||
|
||||
self.multibyte_chars.encode(s);
|
||||
self.non_narrow_chars.encode(s);
|
||||
self.name_hash.encode(s);
|
||||
self.stable_id.encode(s);
|
||||
self.normalized_pos.encode(s);
|
||||
self.cnum.encode(s);
|
||||
}
|
||||
|
@ -1453,7 +1455,7 @@ impl<D: Decoder> Decodable<D> for SourceFile {
|
|||
};
|
||||
let multibyte_chars: Vec<MultiByteChar> = Decodable::decode(d);
|
||||
let non_narrow_chars: Vec<NonNarrowChar> = Decodable::decode(d);
|
||||
let name_hash = Decodable::decode(d);
|
||||
let stable_id = Decodable::decode(d);
|
||||
let normalized_pos: Vec<NormalizedPos> = Decodable::decode(d);
|
||||
let cnum: CrateNum = Decodable::decode(d);
|
||||
SourceFile {
|
||||
|
@ -1469,7 +1471,7 @@ impl<D: Decoder> Decodable<D> for SourceFile {
|
|||
multibyte_chars,
|
||||
non_narrow_chars,
|
||||
normalized_pos,
|
||||
name_hash,
|
||||
stable_id,
|
||||
cnum,
|
||||
}
|
||||
}
|
||||
|
@ -1481,6 +1483,66 @@ impl fmt::Debug for SourceFile {
|
|||
}
|
||||
}
|
||||
|
||||
/// This is a [SourceFile] identifier that is used to correlate source files between
|
||||
/// subsequent compilation sessions (which is something we need to do during
|
||||
/// incremental compilation).
|
||||
///
|
||||
/// It is a hash value (so we can efficiently consume it when stable-hashing
|
||||
/// spans) that consists of the `FileName` and the `StableCrateId` of the crate
|
||||
/// the source file is from. The crate id is needed because sometimes the
|
||||
/// `FileName` is not unique within the crate graph (think `src/lib.rs`, for
|
||||
/// example).
|
||||
///
|
||||
/// The way the crate-id part is handled is a bit special: source files of the
|
||||
/// local crate are hashed as `(filename, None)`, while source files from
|
||||
/// upstream crates have a hash of `(filename, Some(stable_crate_id))`. This
|
||||
/// is because SourceFiles for the local crate are allocated very early in the
|
||||
/// compilation process when the `StableCrateId` is not yet known. If, due to
|
||||
/// some refactoring of the compiler, the `StableCrateId` of the local crate
|
||||
/// were to become available, it would be better to uniformely make this a
|
||||
/// hash of `(filename, stable_crate_id)`.
|
||||
///
|
||||
/// When `SourceFile`s are exported in crate metadata, the `StableSourceFileId`
|
||||
/// is updated to incorporate the `StableCrateId` of the exporting crate.
|
||||
#[derive(
|
||||
Debug,
|
||||
Clone,
|
||||
Copy,
|
||||
Hash,
|
||||
PartialEq,
|
||||
Eq,
|
||||
HashStable_Generic,
|
||||
Encodable,
|
||||
Decodable,
|
||||
Default,
|
||||
PartialOrd,
|
||||
Ord
|
||||
)]
|
||||
pub struct StableSourceFileId(Hash128);
|
||||
|
||||
impl StableSourceFileId {
|
||||
fn from_filename_in_current_crate(filename: &FileName) -> Self {
|
||||
Self::from_filename_and_stable_crate_id(filename, None)
|
||||
}
|
||||
|
||||
pub fn from_filename_for_export(
|
||||
filename: &FileName,
|
||||
local_crate_stable_crate_id: StableCrateId,
|
||||
) -> Self {
|
||||
Self::from_filename_and_stable_crate_id(filename, Some(local_crate_stable_crate_id))
|
||||
}
|
||||
|
||||
fn from_filename_and_stable_crate_id(
|
||||
filename: &FileName,
|
||||
stable_crate_id: Option<StableCrateId>,
|
||||
) -> Self {
|
||||
let mut hasher = StableHasher::new();
|
||||
filename.hash(&mut hasher);
|
||||
stable_crate_id.hash(&mut hasher);
|
||||
StableSourceFileId(hasher.finish())
|
||||
}
|
||||
}
|
||||
|
||||
impl SourceFile {
|
||||
pub fn new(
|
||||
name: FileName,
|
||||
|
@ -1491,11 +1553,7 @@ impl SourceFile {
|
|||
let src_hash = SourceFileHash::new(hash_kind, &src);
|
||||
let normalized_pos = normalize_src(&mut src);
|
||||
|
||||
let name_hash = {
|
||||
let mut hasher: StableHasher = StableHasher::new();
|
||||
name.hash(&mut hasher);
|
||||
hasher.finish()
|
||||
};
|
||||
let stable_id = StableSourceFileId::from_filename_in_current_crate(&name);
|
||||
let source_len = src.len();
|
||||
let source_len = u32::try_from(source_len).map_err(|_| OffsetOverflowError)?;
|
||||
|
||||
|
@ -1513,7 +1571,7 @@ impl SourceFile {
|
|||
multibyte_chars,
|
||||
non_narrow_chars,
|
||||
normalized_pos,
|
||||
name_hash,
|
||||
stable_id,
|
||||
cnum: LOCAL_CRATE,
|
||||
})
|
||||
}
|
||||
|
@ -2213,7 +2271,7 @@ where
|
|||
};
|
||||
|
||||
Hash::hash(&TAG_VALID_SPAN, hasher);
|
||||
Hash::hash(&file.name_hash, hasher);
|
||||
Hash::hash(&file.stable_id, hasher);
|
||||
|
||||
// Hash both the length and the end location (line/column) of a span. If we
|
||||
// hash only the length, for example, then two otherwise equal spans with
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue