]> git.proxmox.com Git - rustc.git/blame - compiler/rustc_middle/src/hir/map/collector.rs
New upstream version 1.57.0+dfsg1
[rustc.git] / compiler / rustc_middle / src / hir / map / collector.rs
CommitLineData
ba9703b0 1use crate::arena::Arena;
17df50a5
XL
2use crate::hir::map::Map;
3use crate::hir::{IndexedHir, OwnerNodes, ParentedNode};
dfeec247
XL
4use rustc_data_structures::fingerprint::Fingerprint;
5use rustc_data_structures::fx::FxHashMap;
6use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
dfeec247 7use rustc_hir as hir;
17df50a5 8use rustc_hir::def_id::LocalDefId;
94222f64 9use rustc_hir::def_id::CRATE_DEF_ID;
17df50a5 10use rustc_hir::definitions;
dfeec247
XL
11use rustc_hir::intravisit::{self, NestedVisitorMap, Visitor};
12use rustc_hir::*;
ba9703b0 13use rustc_index::vec::{Idx, IndexVec};
c295e0f8 14use rustc_query_system::ich::StableHashingContext;
17df50a5 15use rustc_session::Session;
dfeec247 16use rustc_span::source_map::SourceMap;
17df50a5 17use rustc_span::{Span, DUMMY_SP};
b039eaaf 18
dfeec247 19use std::iter::repeat;
ea8adc8c 20
dc9dc135 21/// A visitor that walks over the HIR and collects `Node`s into a HIR map.
3b2f2976 22pub(super) struct NodeCollector<'a, 'hir> {
ba9703b0
XL
23 arena: &'hir Arena<'hir>,
24
a7813a04 25 /// The crate
dfeec247 26 krate: &'hir Crate<'hir>,
13cf67c4
XL
27
28 /// Source map
29 source_map: &'a SourceMap,
30
17df50a5
XL
31 map: IndexVec<LocalDefId, Option<&'hir mut OwnerNodes<'hir>>>,
32 parenting: FxHashMap<LocalDefId, HirId>,
ba9703b0 33
a7813a04 34 /// The parent of this node
9fa01778 35 parent_node: hir::HirId,
3b2f2976 36
ba9703b0 37 current_dep_node_owner: LocalDefId,
3b2f2976 38
3b2f2976 39 definitions: &'a definitions::Definitions,
ea8adc8c
XL
40
41 hcx: StableHashingContext<'a>,
0731742a
XL
42}
43
ba9703b0
XL
44fn insert_vec_map<K: Idx, V: Clone>(map: &mut IndexVec<K, Option<V>>, k: K, v: V) {
45 let i = k.index();
46 let len = map.len();
47 if i >= len {
48 map.extend(repeat(None).take(i - len + 1));
49 }
6a06907d 50 debug_assert!(map[k].is_none());
ba9703b0
XL
51 map[k] = Some(v);
52}
53
ba9703b0 54fn hash_body(
9fa01778 55 hcx: &mut StableHashingContext<'_>,
dfeec247 56 item_like: impl for<'a> HashStable<StableHashingContext<'a>>,
ba9703b0 57) -> Fingerprint {
17df50a5
XL
58 let mut stable_hasher = StableHasher::new();
59 hcx.while_hashing_hir_bodies(true, |hcx| {
60 item_like.hash_stable(hcx, &mut stable_hasher);
61 });
62 stable_hasher.finish()
b039eaaf
SL
63}
64
3b2f2976 65impl<'a, 'hir> NodeCollector<'a, 'hir> {
60c5eb7d
XL
66 pub(super) fn root(
67 sess: &'a Session,
ba9703b0 68 arena: &'hir Arena<'hir>,
dfeec247 69 krate: &'hir Crate<'hir>,
60c5eb7d 70 definitions: &'a definitions::Definitions,
94222f64 71 hcx: StableHashingContext<'a>,
60c5eb7d 72 ) -> NodeCollector<'a, 'hir> {
b039eaaf 73 let mut collector = NodeCollector {
ba9703b0 74 arena,
041b39d2 75 krate,
0731742a 76 source_map: sess.source_map(),
9fa01778 77 parent_node: hir::CRATE_HIR_ID,
94222f64 78 current_dep_node_owner: CRATE_DEF_ID,
3b2f2976 79 definitions,
ea8adc8c 80 hcx,
17df50a5
XL
81 map: IndexVec::from_fn_n(|_| None, definitions.def_index_count()),
82 parenting: FxHashMap::default(),
b039eaaf 83 };
94222f64 84 collector.insert_owner(CRATE_DEF_ID, OwnerNode::Crate(krate.module()));
b039eaaf 85
b039eaaf
SL
86 collector
87 }
88
17df50a5 89 pub(super) fn finalize_and_compute_crate_hash(mut self) -> IndexedHir<'hir> {
ba9703b0
XL
90 // Insert bodies into the map
91 for (id, body) in self.krate.bodies.iter() {
17df50a5 92 let bodies = &mut self.map[id.hir_id.owner].as_mut().unwrap().bodies;
ba9703b0
XL
93 assert!(bodies.insert(id.hir_id.local_id, body).is_none());
94 }
17df50a5 95 IndexedHir { map: self.map, parenting: self.parenting }
3b2f2976
XL
96 }
97
94222f64
XL
98 fn insert_owner(&mut self, owner: LocalDefId, node: OwnerNode<'hir>) {
99 let hash = hash_body(&mut self.hcx, node);
ba9703b0 100
94222f64
XL
101 let mut nodes = IndexVec::new();
102 nodes.push(Some(ParentedNode { parent: ItemLocalId::new(0), node: node.into() }));
6a06907d 103
94222f64
XL
104 debug_assert!(self.map[owner].is_none());
105 self.map[owner] =
106 Some(self.arena.alloc(OwnerNodes { hash, nodes, bodies: FxHashMap::default() }));
b039eaaf
SL
107 }
108
9fa01778 109 fn insert(&mut self, span: Span, hir_id: HirId, node: Node<'hir>) {
94222f64
XL
110 debug_assert_eq!(self.current_dep_node_owner, hir_id.owner);
111 debug_assert_ne!(hir_id.local_id.as_u32(), 0);
3b2f2976
XL
112
113 // Make sure that the DepNode of some node coincides with the HirId
114 // owner of that node.
115 if cfg!(debug_assertions) {
8faf50e0 116 if hir_id.owner != self.current_dep_node_owner {
f035d41b 117 let node_str = match self.definitions.opt_hir_id_to_local_def_id(hir_id) {
1b1a35ee 118 Some(def_id) => self.definitions.def_path(def_id).to_string_no_crate_verbose(),
60c5eb7d 119 None => format!("{:?}", node),
3b2f2976
XL
120 };
121
13cf67c4
XL
122 span_bug!(
123 span,
124 "inconsistent DepNode at `{:?}` for `{}`: \
ba9703b0 125 current_dep_node_owner={} ({:?}), hir_id.owner={} ({:?})",
17df50a5 126 self.source_map.span_to_diagnostic_string(span),
3b2f2976 127 node_str,
1b1a35ee
XL
128 self.definitions
129 .def_path(self.current_dep_node_owner)
130 .to_string_no_crate_verbose(),
13cf67c4 131 self.current_dep_node_owner,
1b1a35ee 132 self.definitions.def_path(hir_id.owner).to_string_no_crate_verbose(),
13cf67c4 133 hir_id.owner,
13cf67c4 134 )
3b2f2976
XL
135 }
136 }
137
94222f64
XL
138 let nodes = self.map[hir_id.owner].as_mut().unwrap();
139
140 debug_assert_eq!(self.parent_node.owner, self.current_dep_node_owner);
141 insert_vec_map(
142 &mut nodes.nodes,
143 hir_id.local_id,
144 ParentedNode { parent: self.parent_node.local_id, node: node },
145 );
b039eaaf 146 }
a7813a04 147
60c5eb7d 148 fn with_parent<F: FnOnce(&mut Self)>(&mut self, parent_node_id: HirId, f: F) {
a7813a04 149 let parent_node = self.parent_node;
9fa01778 150 self.parent_node = parent_node_id;
a7813a04
XL
151 f(self);
152 self.parent_node = parent_node;
153 }
3b2f2976 154
94222f64 155 fn with_dep_node_owner(&mut self, dep_node_owner: LocalDefId, f: impl FnOnce(&mut Self)) {
3b2f2976 156 let prev_owner = self.current_dep_node_owner;
94222f64 157 let prev_parent = self.parent_node;
ea8adc8c 158
3b2f2976 159 self.current_dep_node_owner = dep_node_owner;
94222f64
XL
160 self.parent_node = HirId::make_owner(dep_node_owner);
161 f(self);
3b2f2976 162 self.current_dep_node_owner = prev_owner;
94222f64 163 self.parent_node = prev_parent;
3b2f2976 164 }
17df50a5
XL
165
166 fn insert_nested(&mut self, item: LocalDefId) {
167 #[cfg(debug_assertions)]
168 {
169 let dk_parent = self.definitions.def_key(item).parent.unwrap();
170 let dk_parent = LocalDefId { local_def_index: dk_parent };
171 let dk_parent = self.definitions.local_def_id_to_hir_id(dk_parent);
172 debug_assert_eq!(
173 dk_parent.owner, self.parent_node.owner,
174 "Different parents for {:?}",
175 item
176 )
177 }
178
179 assert_eq!(self.parenting.insert(item, self.parent_node), None);
180 }
b039eaaf
SL
181}
182
3b2f2976 183impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir> {
dfeec247
XL
184 type Map = Map<'hir>;
185
92a42be0
SL
186 /// Because we want to track parent items and so forth, enable
187 /// deep walking so that we walk nested items in the context of
188 /// their outer items.
476ff2be 189
ba9703b0 190 fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
e1599b0c 191 panic!("`visit_nested_xxx` must be manually implemented in this visitor");
476ff2be
SL
192 }
193
92a42be0 194 fn visit_nested_item(&mut self, item: ItemId) {
7453a54e 195 debug!("visit_nested_item: {:?}", item);
17df50a5 196 self.insert_nested(item.def_id);
6a06907d 197 self.visit_item(self.krate.item(item));
32a655c1
SL
198 }
199
200 fn visit_nested_trait_item(&mut self, item_id: TraitItemId) {
17df50a5 201 self.insert_nested(item_id.def_id);
32a655c1 202 self.visit_trait_item(self.krate.trait_item(item_id));
92a42be0
SL
203 }
204
476ff2be 205 fn visit_nested_impl_item(&mut self, item_id: ImplItemId) {
17df50a5 206 self.insert_nested(item_id.def_id);
32a655c1 207 self.visit_impl_item(self.krate.impl_item(item_id));
476ff2be
SL
208 }
209
fc512014 210 fn visit_nested_foreign_item(&mut self, foreign_id: ForeignItemId) {
17df50a5 211 self.insert_nested(foreign_id.def_id);
fc512014
XL
212 self.visit_foreign_item(self.krate.foreign_item(foreign_id));
213 }
214
32a655c1
SL
215 fn visit_nested_body(&mut self, id: BodyId) {
216 self.visit_body(self.krate.body(id));
476ff2be
SL
217 }
218
dfeec247 219 fn visit_param(&mut self, param: &'hir Param<'hir>) {
e1599b0c
XL
220 let node = Node::Param(param);
221 self.insert(param.pat.span, param.hir_id, node);
222 self.with_parent(param.hir_id, |this| {
223 intravisit::walk_param(this, param);
416331ca
XL
224 });
225 }
226
dfeec247 227 fn visit_item(&mut self, i: &'hir Item<'hir>) {
7453a54e 228 debug!("visit_item: {:?}", i);
94222f64
XL
229 self.insert_owner(i.def_id, OwnerNode::Item(i));
230 self.with_dep_node_owner(i.def_id, |this| {
231 if let ItemKind::Struct(ref struct_def, _) = i.kind {
232 // If this is a tuple or unit-like struct, register the constructor.
233 if let Some(ctor_hir_id) = struct_def.ctor_hir_id() {
234 this.insert(i.span, ctor_hir_id, Node::Ctor(struct_def));
b039eaaf 235 }
94222f64
XL
236 }
237 intravisit::walk_item(this, i);
a7813a04 238 });
b039eaaf
SL
239 }
240
fc512014 241 fn visit_foreign_item(&mut self, fi: &'hir ForeignItem<'hir>) {
94222f64
XL
242 self.insert_owner(fi.def_id, OwnerNode::ForeignItem(fi));
243 self.with_dep_node_owner(fi.def_id, |this| {
244 intravisit::walk_foreign_item(this, fi);
a7813a04 245 });
b039eaaf
SL
246 }
247
dfeec247 248 fn visit_generic_param(&mut self, param: &'hir GenericParam<'hir>) {
cdc7bbd5
XL
249 self.insert(param.span, param.hir_id, Node::GenericParam(param));
250 intravisit::walk_generic_param(self, param);
251 }
29967ef6 252
cdc7bbd5 253 fn visit_const_param_default(&mut self, param: HirId, ct: &'hir AnonConst) {
94222f64
XL
254 self.with_parent(param, |this| {
255 intravisit::walk_const_param_default(this, ct);
256 })
b039eaaf
SL
257 }
258
dfeec247 259 fn visit_trait_item(&mut self, ti: &'hir TraitItem<'hir>) {
94222f64
XL
260 self.insert_owner(ti.def_id, OwnerNode::TraitItem(ti));
261 self.with_dep_node_owner(ti.def_id, |this| {
262 intravisit::walk_trait_item(this, ti);
a7813a04 263 });
b039eaaf
SL
264 }
265
dfeec247 266 fn visit_impl_item(&mut self, ii: &'hir ImplItem<'hir>) {
94222f64
XL
267 self.insert_owner(ii.def_id, OwnerNode::ImplItem(ii));
268 self.with_dep_node_owner(ii.def_id, |this| {
269 intravisit::walk_impl_item(this, ii);
a7813a04 270 });
b039eaaf
SL
271 }
272
dfeec247 273 fn visit_pat(&mut self, pat: &'hir Pat<'hir>) {
60c5eb7d
XL
274 let node =
275 if let PatKind::Binding(..) = pat.kind { Node::Binding(pat) } else { Node::Pat(pat) };
9fa01778 276 self.insert(pat.span, pat.hir_id, node);
b039eaaf 277
9fa01778 278 self.with_parent(pat.hir_id, |this| {
a7813a04
XL
279 intravisit::walk_pat(this, pat);
280 });
b039eaaf
SL
281 }
282
dfeec247 283 fn visit_arm(&mut self, arm: &'hir Arm<'hir>) {
dc9dc135
XL
284 let node = Node::Arm(arm);
285
286 self.insert(arm.span, arm.hir_id, node);
287
288 self.with_parent(arm.hir_id, |this| {
289 intravisit::walk_arm(this, arm);
290 });
291 }
292
94b46f34 293 fn visit_anon_const(&mut self, constant: &'hir AnonConst) {
9fa01778 294 self.insert(DUMMY_SP, constant.hir_id, Node::AnonConst(constant));
94b46f34 295
9fa01778 296 self.with_parent(constant.hir_id, |this| {
94b46f34
XL
297 intravisit::walk_anon_const(this, constant);
298 });
299 }
300
dfeec247 301 fn visit_expr(&mut self, expr: &'hir Expr<'hir>) {
9fa01778 302 self.insert(expr.span, expr.hir_id, Node::Expr(expr));
b039eaaf 303
9fa01778 304 self.with_parent(expr.hir_id, |this| {
a7813a04
XL
305 intravisit::walk_expr(this, expr);
306 });
b039eaaf
SL
307 }
308
dfeec247 309 fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>) {
9fa01778 310 self.insert(stmt.span, stmt.hir_id, Node::Stmt(stmt));
a7813a04 311
9fa01778 312 self.with_parent(stmt.hir_id, |this| {
a7813a04
XL
313 intravisit::walk_stmt(this, stmt);
314 });
b039eaaf
SL
315 }
316
dfeec247 317 fn visit_path_segment(&mut self, path_span: Span, path_segment: &'hir PathSegment<'hir>) {
9fa01778
XL
318 if let Some(hir_id) = path_segment.hir_id {
319 self.insert(path_span, hir_id, Node::PathSegment(path_segment));
13cf67c4
XL
320 }
321 intravisit::walk_path_segment(self, path_span, path_segment);
322 }
323
dfeec247 324 fn visit_ty(&mut self, ty: &'hir Ty<'hir>) {
9fa01778 325 self.insert(ty.span, ty.hir_id, Node::Ty(ty));
5bcae85e 326
9fa01778 327 self.with_parent(ty.hir_id, |this| {
5bcae85e
SL
328 intravisit::walk_ty(this, ty);
329 });
330 }
331
94222f64
XL
332 fn visit_infer(&mut self, inf: &'hir InferArg) {
333 self.insert(inf.span, inf.hir_id, Node::Infer(inf));
334
335 self.with_parent(inf.hir_id, |this| {
336 intravisit::walk_inf(this, inf);
337 });
338 }
339
dfeec247 340 fn visit_trait_ref(&mut self, tr: &'hir TraitRef<'hir>) {
9fa01778 341 self.insert(tr.path.span, tr.hir_ref_id, Node::TraitRef(tr));
476ff2be 342
9fa01778 343 self.with_parent(tr.hir_ref_id, |this| {
476ff2be
SL
344 intravisit::walk_trait_ref(this, tr);
345 });
346 }
347
60c5eb7d
XL
348 fn visit_fn(
349 &mut self,
350 fk: intravisit::FnKind<'hir>,
dfeec247 351 fd: &'hir FnDecl<'hir>,
60c5eb7d
XL
352 b: BodyId,
353 s: Span,
354 id: HirId,
355 ) {
b039eaaf 356 assert_eq!(self.parent_node, id);
5bcae85e 357 intravisit::walk_fn(self, fk, fd, b, s, id);
b039eaaf
SL
358 }
359
dfeec247 360 fn visit_block(&mut self, block: &'hir Block<'hir>) {
9fa01778
XL
361 self.insert(block.span, block.hir_id, Node::Block(block));
362 self.with_parent(block.hir_id, |this| {
a7813a04
XL
363 intravisit::walk_block(this, block);
364 });
b039eaaf
SL
365 }
366
dfeec247 367 fn visit_local(&mut self, l: &'hir Local<'hir>) {
9fa01778 368 self.insert(l.span, l.hir_id, Node::Local(l));
94222f64
XL
369 self.with_parent(l.hir_id, |this| {
370 intravisit::walk_local(this, l);
371 })
3b2f2976
XL
372 }
373
32a655c1 374 fn visit_lifetime(&mut self, lifetime: &'hir Lifetime) {
9fa01778 375 self.insert(lifetime.span, lifetime.hir_id, Node::Lifetime(lifetime));
b039eaaf 376 }
476ff2be 377
dfeec247 378 fn visit_vis(&mut self, visibility: &'hir Visibility<'hir>) {
8faf50e0 379 match visibility.node {
60c5eb7d 380 VisibilityKind::Public | VisibilityKind::Crate(_) | VisibilityKind::Inherited => {}
9fa01778
XL
381 VisibilityKind::Restricted { hir_id, .. } => {
382 self.insert(visibility.span, hir_id, Node::Visibility(visibility));
383 self.with_parent(hir_id, |this| {
476ff2be
SL
384 intravisit::walk_vis(this, visibility);
385 });
386 }
387 }
388 }
389
dfeec247 390 fn visit_variant(&mut self, v: &'hir Variant<'hir>, g: &'hir Generics<'hir>, item_id: HirId) {
e1599b0c
XL
391 self.insert(v.span, v.id, Node::Variant(v));
392 self.with_parent(v.id, |this| {
532ac7d7 393 // Register the constructor of this variant.
e1599b0c
XL
394 if let Some(ctor_hir_id) = v.data.ctor_hir_id() {
395 this.insert(v.span, ctor_hir_id, Node::Ctor(&v.data));
532ac7d7 396 }
32a655c1
SL
397 intravisit::walk_variant(this, v, g, item_id);
398 });
399 }
400
6a06907d 401 fn visit_field_def(&mut self, field: &'hir FieldDef<'hir>) {
9fa01778
XL
402 self.insert(field.span, field.hir_id, Node::Field(field));
403 self.with_parent(field.hir_id, |this| {
6a06907d 404 intravisit::walk_field_def(this, field);
476ff2be
SL
405 });
406 }
3b2f2976
XL
407
408 fn visit_trait_item_ref(&mut self, ii: &'hir TraitItemRef) {
409 // Do not visit the duplicate information in TraitItemRef. We want to
410 // map the actual nodes, not the duplicate ones in the *Ref.
60c5eb7d 411 let TraitItemRef { id, ident: _, kind: _, span: _, defaultness: _ } = *ii;
3b2f2976
XL
412
413 self.visit_nested_trait_item(id);
414 }
415
c295e0f8 416 fn visit_impl_item_ref(&mut self, ii: &'hir ImplItemRef) {
3b2f2976
XL
417 // Do not visit the duplicate information in ImplItemRef. We want to
418 // map the actual nodes, not the duplicate ones in the *Ref.
c295e0f8 419 let ImplItemRef { id, ident: _, kind: _, span: _, defaultness: _ } = *ii;
3b2f2976
XL
420
421 self.visit_nested_impl_item(id);
422 }
fc512014 423
c295e0f8 424 fn visit_foreign_item_ref(&mut self, fi: &'hir ForeignItemRef) {
fc512014
XL
425 // Do not visit the duplicate information in ForeignItemRef. We want to
426 // map the actual nodes, not the duplicate ones in the *Ref.
c295e0f8 427 let ForeignItemRef { id, ident: _, span: _ } = *fi;
fc512014
XL
428
429 self.visit_nested_foreign_item(id);
430 }
b039eaaf 431}