From a14456f91f2385cbf1a0f3e2108f9684ba56f281 Mon Sep 17 00:00:00 2001 From: xFrednet Date: Wed, 24 Nov 2021 23:21:10 +0100 Subject: [PATCH 1/1] Reduced the size of `LintExpectationId` by 12 bytes (RFC-2383) --- compiler/rustc_lint/src/levels.rs | 5 +++-- compiler/rustc_lint_defs/src/lib.rs | 14 +++++++++----- 2 files changed, 12 insertions(+), 7 deletions(-) diff --git a/compiler/rustc_lint/src/levels.rs b/compiler/rustc_lint/src/levels.rs index 01454d2fbac..7045f8cf06c 100644 --- a/compiler/rustc_lint/src/levels.rs +++ b/compiler/rustc_lint/src/levels.rs @@ -312,7 +312,7 @@ pub(crate) fn push( for (lint_index, li) in metas.iter_mut().enumerate() { let level = match level { Level::Expect(mut id) => { - id.set_lint_index(Some(lint_index)); + id.set_lint_index(Some(lint_index as u16)); Level::Expect(id) } level => level, @@ -601,7 +601,8 @@ fn create_stable_id( hir_id: HirId, attr_index: usize, ) -> LintExpectationId { - let stable_id = LintExpectationId::Stable { hir_id, attr_index, lint_index: None }; + let stable_id = + LintExpectationId::Stable { hir_id, attr_index: attr_index as u16, lint_index: None }; self.expectation_id_map.insert(unstable_id, stable_id); diff --git a/compiler/rustc_lint_defs/src/lib.rs b/compiler/rustc_lint_defs/src/lib.rs index 66629195153..2e5fd479738 100644 --- a/compiler/rustc_lint_defs/src/lib.rs +++ b/compiler/rustc_lint_defs/src/lib.rs @@ -64,16 +64,20 @@ pub enum Applicability { /// /// Each lint inside the `expect` attribute is tracked individually, the `lint_index` /// identifies the lint inside the attribute and ensures that the IDs are unique. +/// +/// The index values have a type of `u16` to reduce the size of the `LintExpectationId`. +/// It's reasonable to assume that no user will define 2^16 attributes on one node or +/// have that amount of lints listed. `u16` values should therefore suffice. #[derive(Clone, Copy, PartialEq, PartialOrd, Eq, Ord, Debug, Hash, Encodable, Decodable)] pub enum LintExpectationId { /// Used for lints emitted during the `EarlyLintPass`. This id is not /// has stable and should not be cached. - Unstable { attr_id: AttrId, lint_index: Option }, + Unstable { attr_id: AttrId, lint_index: Option }, /// The [`HirId`] that the lint expectation is attached to. This id is /// stable and can be cached. The additional index ensures that nodes with /// several expectations can correctly match diagnostics to the individual /// expectation. - Stable { hir_id: HirId, attr_index: usize, lint_index: Option }, + Stable { hir_id: HirId, attr_index: u16, lint_index: Option }, } impl LintExpectationId { @@ -84,14 +88,14 @@ pub fn is_stable(&self) -> bool { } } - pub fn get_lint_index(&self) -> Option { + pub fn get_lint_index(&self) -> Option { let (LintExpectationId::Unstable { lint_index, .. } | LintExpectationId::Stable { lint_index, .. }) = self; *lint_index } - pub fn set_lint_index(&mut self, new_lint_index: Option) { + pub fn set_lint_index(&mut self, new_lint_index: Option) { let (LintExpectationId::Unstable { ref mut lint_index, .. } | LintExpectationId::Stable { ref mut lint_index, .. }) = self; @@ -116,7 +120,7 @@ fn hash_stable(&self, hcx: &mut HCX, hasher: &mut StableHasher) { } impl ToStableHashKey for LintExpectationId { - type KeyType = (HirId, usize, usize); + type KeyType = (HirId, u16, u16); #[inline] fn to_stable_hash_key(&self, _: &HCX) -> Self::KeyType { -- 2.44.0