Skip to content

Commit 7849e3e

Browse files
committed
Auto merge of #88435 - cjgillot:no-walk-crate, r=Aaron1011
Avoid invoking the hir_crate query to traverse the HIR Walking the HIR tree is done using the `hir_crate` query. However, this is unnecessary, since `hir_owner(CRATE_DEF_ID)` provides the same information. Since depending on `hir_crate` forces dependents to always be executed, this leads to unnecessary work. By splitting HIR and attributes visits, we can avoid an edge to `hir_crate` when trying to visit the HIR tree.
2 parents e30b683 + d119a13 commit 7849e3e

File tree

25 files changed

+118
-133
lines changed

25 files changed

+118
-133
lines changed

compiler/rustc_hir/src/intravisit.rs

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,6 @@
3232
//! example generator inference, and possibly also HIR borrowck.
3333
3434
use crate::hir::*;
35-
use crate::hir_id::CRATE_HIR_ID;
3635
use crate::itemlikevisit::{ItemLikeVisitor, ParItemLikeVisitor};
3736
use rustc_ast::walk_list;
3837
use rustc_ast::{Attribute, Label};
@@ -477,17 +476,6 @@ pub trait Visitor<'v>: Sized {
477476
}
478477
}
479478

480-
/// Walks the contents of a crate. See also `Crate::visit_all_items`.
481-
pub fn walk_crate<'v, V: Visitor<'v>>(visitor: &mut V, krate: &'v Crate<'v>) {
482-
let top_mod = krate.module();
483-
visitor.visit_mod(top_mod, top_mod.inner, CRATE_HIR_ID);
484-
for (&id, attrs) in krate.attrs.iter() {
485-
for a in *attrs {
486-
visitor.visit_attribute(id, a)
487-
}
488-
}
489-
}
490-
491479
pub fn walk_mod<'v, V: Visitor<'v>>(visitor: &mut V, module: &'v Mod<'v>, mod_hir_id: HirId) {
492480
visitor.visit_id(mod_hir_id);
493481
for &item_id in module.item_ids {

compiler/rustc_incremental/src/persist/dirty_clean.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -142,7 +142,7 @@ pub fn check_dirty_clean_annotations(tcx: TyCtxt<'_>) {
142142
krate.visit_all_item_likes(&mut dirty_clean_visitor);
143143

144144
let mut all_attrs = FindAllAttrs { tcx, found_attrs: vec![] };
145-
intravisit::walk_crate(&mut all_attrs, krate);
145+
tcx.hir().walk_attributes(&mut all_attrs);
146146

147147
// Note that we cannot use the existing "unused attribute"-infrastructure
148148
// here, since that is running before codegen. This is also the reason why

compiler/rustc_interface/src/passes.rs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -464,10 +464,6 @@ pub fn lower_to_hir<'res, 'tcx>(
464464
arena,
465465
);
466466

467-
if sess.opts.debugging_opts.hir_stats {
468-
hir_stats::print_hir_stats(&hir_crate);
469-
}
470-
471467
sess.time("early_lint_checks", || {
472468
rustc_lint::check_ast_crate(
473469
sess,

compiler/rustc_lint/src/late.rs

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -451,9 +451,8 @@ fn late_lint_pass_crate<'tcx, T: LateLintPass<'tcx>>(tcx: TyCtxt<'tcx>, pass: T)
451451
// since the root module isn't visited as an item (because it isn't an
452452
// item), warn for it here.
453453
lint_callback!(cx, check_crate, krate);
454-
455-
hir_visit::walk_crate(cx, krate);
456-
454+
tcx.hir().walk_toplevel_module(cx);
455+
tcx.hir().walk_attributes(cx);
457456
lint_callback!(cx, check_crate_post, krate);
458457
})
459458
}

compiler/rustc_lint/src/levels.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ fn lint_levels(tcx: TyCtxt<'_>, (): ()) -> LintLevelMap {
3737

3838
let push = builder.levels.push(tcx.hir().attrs(hir::CRATE_HIR_ID), &store, true);
3939
builder.levels.register_id(hir::CRATE_HIR_ID);
40-
intravisit::walk_crate(&mut builder, krate);
40+
tcx.hir().walk_toplevel_module(&mut builder);
4141
builder.levels.pop(push);
4242

4343
builder.levels.build_map()

compiler/rustc_middle/src/hir/map/mod.rs

Lines changed: 20 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,9 @@ use rustc_data_structures::fingerprint::Fingerprint;
77
use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
88
use rustc_data_structures::svh::Svh;
99
use rustc_hir::def::{DefKind, Res};
10-
use rustc_hir::def_id::{CrateNum, DefId, LocalDefId, CRATE_DEF_INDEX, LOCAL_CRATE};
10+
use rustc_hir::def_id::{CrateNum, DefId, LocalDefId, CRATE_DEF_ID, CRATE_DEF_INDEX, LOCAL_CRATE};
1111
use rustc_hir::definitions::{DefKey, DefPath, DefPathHash};
12-
use rustc_hir::intravisit;
12+
use rustc_hir::intravisit::{self, Visitor};
1313
use rustc_hir::itemlikevisit::ItemLikeVisitor;
1414
use rustc_hir::*;
1515
use rustc_index::vec::Idx;
@@ -519,6 +519,22 @@ impl<'hir> Map<'hir> {
519519
}
520520
}
521521

522+
/// Walks the contents of a crate. See also `Crate::visit_all_items`.
523+
pub fn walk_toplevel_module(self, visitor: &mut impl Visitor<'hir>) {
524+
let (top_mod, span, hir_id) = self.get_module(CRATE_DEF_ID);
525+
visitor.visit_mod(top_mod, span, hir_id);
526+
}
527+
528+
/// Walks the attributes in a crate.
529+
pub fn walk_attributes(self, visitor: &mut impl Visitor<'hir>) {
530+
let krate = self.krate();
531+
for (&id, attrs) in krate.attrs.iter() {
532+
for a in *attrs {
533+
visitor.visit_attribute(id, a)
534+
}
535+
}
536+
}
537+
522538
pub fn visit_item_likes_in_module<V>(&self, module: LocalDefId, visitor: &mut V)
523539
where
524540
V: ItemLikeVisitor<'hir>,
@@ -934,7 +950,8 @@ pub(super) fn index_hir<'tcx>(tcx: TyCtxt<'tcx>, (): ()) -> &'tcx IndexedHir<'tc
934950
&tcx.untracked_resolutions.definitions,
935951
hcx,
936952
);
937-
intravisit::walk_crate(&mut collector, tcx.untracked_crate);
953+
let top_mod = tcx.untracked_crate.module();
954+
collector.visit_mod(top_mod, top_mod.inner, CRATE_HIR_ID);
938955

939956
let map = collector.finalize_and_compute_crate_hash();
940957
tcx.arena.alloc(map)

compiler/rustc_passes/src/dead.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -775,5 +775,5 @@ pub fn check_crate(tcx: TyCtxt<'_>) {
775775
let krate = tcx.hir().krate();
776776
let live_symbols = find_live(tcx, access_levels, krate);
777777
let mut visitor = DeadVisitor { tcx, live_symbols };
778-
intravisit::walk_crate(&mut visitor, krate);
778+
tcx.hir().walk_toplevel_module(&mut visitor);
779779
}

compiler/rustc_passes/src/hir_id_validator.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,10 @@ use rustc_middle::ty::TyCtxt;
1111
pub fn check_crate(tcx: TyCtxt<'_>) {
1212
tcx.dep_graph.assert_ignored();
1313

14+
if tcx.sess.opts.debugging_opts.hir_stats {
15+
crate::hir_stats::print_hir_stats(tcx);
16+
}
17+
1418
let errors = Lock::new(Vec::new());
1519
let hir_map = tcx.hir();
1620

compiler/rustc_passes/src/hir_stats.rs

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ use rustc_hir as hir;
99
use rustc_hir::intravisit as hir_visit;
1010
use rustc_hir::HirId;
1111
use rustc_middle::hir::map::Map;
12+
use rustc_middle::ty::TyCtxt;
1213
use rustc_middle::util::common::to_readable_str;
1314
use rustc_span::Span;
1415

@@ -25,18 +26,19 @@ struct NodeData {
2526
}
2627

2728
struct StatCollector<'k> {
28-
krate: Option<&'k hir::Crate<'k>>,
29+
krate: Option<Map<'k>>,
2930
data: FxHashMap<&'static str, NodeData>,
3031
seen: FxHashSet<Id>,
3132
}
3233

33-
pub fn print_hir_stats(krate: &hir::Crate<'_>) {
34+
pub fn print_hir_stats(tcx: TyCtxt<'_>) {
3435
let mut collector = StatCollector {
35-
krate: Some(krate),
36+
krate: Some(tcx.hir()),
3637
data: FxHashMap::default(),
3738
seen: FxHashSet::default(),
3839
};
39-
hir_visit::walk_crate(&mut collector, krate);
40+
tcx.hir().walk_toplevel_module(&mut collector);
41+
tcx.hir().walk_attributes(&mut collector);
4042
collector.print("HIR STATS");
4143
}
4244

compiler/rustc_passes/src/lib_features.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
use rustc_ast::{Attribute, MetaItem, MetaItemKind};
88
use rustc_errors::struct_span_err;
9-
use rustc_hir::intravisit::{self, NestedVisitorMap, Visitor};
9+
use rustc_hir::intravisit::{NestedVisitorMap, Visitor};
1010
use rustc_middle::hir::map::Map;
1111
use rustc_middle::middle::lib_features::LibFeatures;
1212
use rustc_middle::ty::query::Providers;
@@ -126,9 +126,7 @@ impl Visitor<'tcx> for LibFeatureCollector<'tcx> {
126126

127127
fn get_lib_features(tcx: TyCtxt<'_>, (): ()) -> LibFeatures {
128128
let mut collector = LibFeatureCollector::new(tcx);
129-
let krate = tcx.hir().krate();
130-
131-
intravisit::walk_crate(&mut collector, krate);
129+
tcx.hir().walk_attributes(&mut collector);
132130
collector.lib_features
133131
}
134132

0 commit comments

Comments
 (0)