Skip to content

Commit a22aad3

Browse files
committed
Instrument important fns in AST lowering
1 parent 7fe2c4b commit a22aad3

File tree

3 files changed

+18
-6
lines changed

3 files changed

+18
-6
lines changed

compiler/rustc_ast_lowering/src/item.rs

+4-3
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,6 @@ use rustc_span::symbol::{kw, sym, Ident};
1919
use rustc_span::Span;
2020
use rustc_target::spec::abi;
2121
use smallvec::{smallvec, SmallVec};
22-
use tracing::debug;
2322

2423
use std::iter;
2524

@@ -117,6 +116,7 @@ impl<'a, 'hir> ItemLowerer<'a, 'hir> {
117116
self.owners[def_id]
118117
}
119118

119+
#[instrument(level = "debug", skip(self, c))]
120120
fn lower_crate(&mut self, c: &Crate) {
121121
debug_assert_eq!(self.resolver.local_def_id(CRATE_NODE_ID), CRATE_DEF_ID);
122122

@@ -127,6 +127,7 @@ impl<'a, 'hir> ItemLowerer<'a, 'hir> {
127127
})
128128
}
129129

130+
#[instrument(level = "debug", skip(self))]
130131
fn lower_item(&mut self, item: &Item) {
131132
self.with_lctx(item.id, |lctx| hir::OwnerNode::Item(lctx.lower_item(item)))
132133
}
@@ -485,6 +486,7 @@ impl<'hir> LoweringContext<'_, 'hir> {
485486
(ty, self.lower_const_body(span, body))
486487
}
487488

489+
#[instrument(level = "debug", skip(self))]
488490
fn lower_use_tree(
489491
&mut self,
490492
tree: &UseTree,
@@ -494,8 +496,6 @@ impl<'hir> LoweringContext<'_, 'hir> {
494496
ident: &mut Ident,
495497
attrs: Option<&'hir [Attribute]>,
496498
) -> hir::ItemKind<'hir> {
497-
debug!("lower_use_tree(tree={:?})", tree);
498-
499499
let path = &tree.prefix;
500500
let segments = prefix.segments.iter().chain(path.segments.iter()).cloned().collect();
501501

@@ -1298,6 +1298,7 @@ impl<'hir> LoweringContext<'_, 'hir> {
12981298

12991299
/// Return the pair of the lowered `generics` as `hir::Generics` and the evaluation of `f` with
13001300
/// the carried impl trait definitions and bounds.
1301+
#[instrument(level = "debug", skip(self, f))]
13011302
fn lower_generics<T>(
13021303
&mut self,
13031304
generics: &Generics,

compiler/rustc_ast_lowering/src/lib.rs

+13-2
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,9 @@
3737
#![recursion_limit = "256"]
3838
#![allow(rustc::potential_query_instability)]
3939

40+
#[macro_use]
41+
extern crate tracing;
42+
4043
use rustc_ast::visit;
4144
use rustc_ast::{self as ast, *};
4245
use rustc_ast_pretty::pprust;
@@ -63,7 +66,6 @@ use rustc_span::{Span, DUMMY_SP};
6366

6467
use smallvec::SmallVec;
6568
use std::collections::hash_map::Entry;
66-
use tracing::{debug, trace};
6769

6870
macro_rules! arena_vec {
6971
($this:expr; $($x:expr),*) => (
@@ -439,7 +441,7 @@ pub fn lower_crate<'a, 'hir>(
439441
arena.alloc(krate)
440442
}
441443

442-
#[derive(Copy, Clone, PartialEq)]
444+
#[derive(Copy, Clone, PartialEq, Debug)]
443445
enum ParamMode {
444446
/// Any path in a type context.
445447
Explicit,
@@ -455,6 +457,7 @@ enum ParenthesizedGenericArgs {
455457
}
456458

457459
impl<'a, 'hir> LoweringContext<'a, 'hir> {
460+
#[instrument(level = "debug", skip(self, f))]
458461
fn with_hir_id_owner(
459462
&mut self,
460463
owner: NodeId,
@@ -599,12 +602,15 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
599602
self.lower_node_id(node_id)
600603
}
601604

605+
#[instrument(level = "trace", skip(self))]
602606
fn lower_res(&mut self, res: Res<NodeId>) -> Res {
603607
let res: Result<Res, ()> = res.apply_id(|id| {
604608
let owner = self.current_hir_id_owner;
605609
let local_id = self.node_id_to_local_id.get(&id).copied().ok_or(())?;
606610
Ok(hir::HirId { owner, local_id })
607611
});
612+
trace!(?res);
613+
608614
// We may fail to find a HirId when the Res points to a Local from an enclosing HIR owner.
609615
// This can happen when trying to lower the return type `x` in erroneous code like
610616
// async fn foo(x: u8) -> x {}
@@ -851,6 +857,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
851857
/// ```
852858
///
853859
/// returns a `hir::TypeBinding` representing `Item`.
860+
#[instrument(level = "debug", skip(self))]
854861
fn lower_assoc_ty_constraint(
855862
&mut self,
856863
constraint: &AssocConstraint,
@@ -1011,6 +1018,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
10111018
err.emit();
10121019
}
10131020

1021+
#[instrument(level = "debug", skip(self))]
10141022
fn lower_generic_arg(
10151023
&mut self,
10161024
arg: &ast::GenericArg,
@@ -1081,6 +1089,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
10811089
}
10821090
}
10831091

1092+
#[instrument(level = "debug", skip(self))]
10841093
fn lower_ty(&mut self, t: &Ty, itctx: ImplTraitContext) -> &'hir hir::Ty<'hir> {
10851094
self.arena.alloc(self.lower_ty_direct(t, itctx))
10861095
}
@@ -1737,6 +1746,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
17371746
)
17381747
}
17391748

1749+
#[instrument(level = "trace", skip(self))]
17401750
fn lower_param_bound(
17411751
&mut self,
17421752
tpb: &GenericBound,
@@ -1862,6 +1872,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
18621872
self.arena.alloc_from_iter(self.lower_generic_params_mut(params))
18631873
}
18641874

1875+
#[instrument(level = "trace", skip(self))]
18651876
fn lower_generic_param(&mut self, param: &GenericParam) -> hir::GenericParam<'hir> {
18661877
let (name, kind) = match param.kind {
18671878
GenericParamKind::Lifetime => {

compiler/rustc_ast_lowering/src/path.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ use smallvec::smallvec;
1515
use tracing::debug;
1616

1717
impl<'a, 'hir> LoweringContext<'a, 'hir> {
18+
#[instrument(level = "trace", skip(self))]
1819
pub(crate) fn lower_qpath(
1920
&mut self,
2021
id: NodeId,
@@ -23,7 +24,6 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
2324
param_mode: ParamMode,
2425
itctx: ImplTraitContext,
2526
) -> hir::QPath<'hir> {
26-
debug!("lower_qpath(id: {:?}, qself: {:?}, p: {:?})", id, qself, p);
2727
let qself_position = qself.as_ref().map(|q| q.position);
2828
let qself = qself.as_ref().map(|q| self.lower_ty(&q.ty, itctx));
2929

0 commit comments

Comments
 (0)