]> git.proxmox.com Git - rustc.git/blame - src/librustc/hir/map/collector.rs
New upstream version 1.42.0+dfsg1
[rustc.git] / src / librustc / hir / map / collector.rs
CommitLineData
dfeec247
XL
1use crate::dep_graph::{DepGraph, DepKind, DepNode, DepNodeIndex};
2use crate::hir::map::definitions::{self, DefPathHash};
3use crate::hir::map::{Entry, HirEntryMap, Map};
4use crate::ich::StableHashingContext;
9fa01778 5use crate::middle::cstore::CrateStore;
dfeec247
XL
6use rustc_data_structures::fingerprint::Fingerprint;
7use rustc_data_structures::fx::FxHashMap;
8use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
60c5eb7d 9use rustc_data_structures::svh::Svh;
dfeec247
XL
10use rustc_hir as hir;
11use rustc_hir::def_id::CRATE_DEF_INDEX;
12use rustc_hir::def_id::{CrateNum, DefIndex, LOCAL_CRATE};
13use rustc_hir::intravisit::{self, NestedVisitorMap, Visitor};
14use rustc_hir::*;
60c5eb7d 15use rustc_index::vec::IndexVec;
dfeec247
XL
16use rustc_session::{CrateDisambiguator, Session};
17use rustc_span::source_map::SourceMap;
18use rustc_span::{Span, Symbol, DUMMY_SP};
48663c56 19use syntax::ast::NodeId;
b039eaaf 20
dfeec247 21use std::iter::repeat;
ea8adc8c 22
dc9dc135 23/// A visitor that walks over the HIR and collects `Node`s into a HIR map.
3b2f2976 24pub(super) struct NodeCollector<'a, 'hir> {
a7813a04 25 /// The crate
dfeec247 26 krate: &'hir Crate<'hir>,
13cf67c4
XL
27
28 /// Source map
29 source_map: &'a SourceMap,
30
a7813a04 31 /// The node map
48663c56 32 map: HirEntryMap<'hir>,
a7813a04 33 /// The parent of this node
9fa01778 34 parent_node: hir::HirId,
3b2f2976 35
ea8adc8c
XL
36 // These fields keep track of the currently relevant DepNodes during
37 // the visitor's traversal.
3b2f2976 38 current_dep_node_owner: DefIndex,
ea8adc8c
XL
39 current_signature_dep_index: DepNodeIndex,
40 current_full_dep_index: DepNodeIndex,
41 currently_in_body: bool,
3b2f2976
XL
42
43 dep_graph: &'a DepGraph,
44 definitions: &'a definitions::Definitions,
9fa01778 45 hir_to_node_id: &'a FxHashMap<HirId, NodeId>,
ea8adc8c
XL
46
47 hcx: StableHashingContext<'a>,
48
dc9dc135 49 // We are collecting `DepNode::HirBody` hashes here so we can compute the
ea8adc8c 50 // crate hash from then later on.
0731742a
XL
51 hir_body_nodes: Vec<(DefPathHash, Fingerprint)>,
52}
53
dfeec247 54fn input_dep_node_and_hash(
0731742a 55 dep_graph: &DepGraph,
9fa01778 56 hcx: &mut StableHashingContext<'_>,
0731742a 57 dep_node: DepNode,
dfeec247
XL
58 input: impl for<'a> HashStable<StableHashingContext<'a>>,
59) -> (DepNodeIndex, Fingerprint) {
0731742a
XL
60 let dep_node_index = dep_graph.input_task(dep_node, &mut *hcx, &input).1;
61
62 let hash = if dep_graph.is_fully_enabled() {
63 dep_graph.fingerprint_of(dep_node_index)
64 } else {
65 let mut stable_hasher = StableHasher::new();
66 input.hash_stable(hcx, &mut stable_hasher);
67 stable_hasher.finish()
68 };
69
70 (dep_node_index, hash)
71}
72
dfeec247 73fn alloc_hir_dep_nodes(
0731742a 74 dep_graph: &DepGraph,
9fa01778 75 hcx: &mut StableHashingContext<'_>,
0731742a 76 def_path_hash: DefPathHash,
dfeec247 77 item_like: impl for<'a> HashStable<StableHashingContext<'a>>,
0731742a 78 hir_body_nodes: &mut Vec<(DefPathHash, Fingerprint)>,
dfeec247 79) -> (DepNodeIndex, DepNodeIndex) {
60c5eb7d
XL
80 let sig = dep_graph
81 .input_task(
82 def_path_hash.to_dep_node(DepKind::Hir),
83 &mut *hcx,
84 HirItemLike { item_like: &item_like, hash_bodies: false },
85 )
86 .1;
0731742a
XL
87 let (full, hash) = input_dep_node_and_hash(
88 dep_graph,
89 hcx,
90 def_path_hash.to_dep_node(DepKind::HirBody),
91 HirItemLike { item_like: &item_like, hash_bodies: true },
92 );
93 hir_body_nodes.push((def_path_hash, hash));
94 (sig, full)
b039eaaf
SL
95}
96
dfeec247
XL
97fn upstream_crates(cstore: &dyn CrateStore) -> Vec<(Symbol, Fingerprint, Svh)> {
98 let mut upstream_crates: Vec<_> = cstore
99 .crates_untracked()
100 .iter()
101 .map(|&cnum| {
102 let name = cstore.crate_name_untracked(cnum);
103 let disambiguator = cstore.crate_disambiguator_untracked(cnum).to_fingerprint();
104 let hash = cstore.crate_hash_untracked(cnum);
105 (name, disambiguator, hash)
106 })
107 .collect();
108 upstream_crates.sort_unstable_by_key(|&(name, dis, _)| (name.as_str(), dis));
109 upstream_crates
110}
111
3b2f2976 112impl<'a, 'hir> NodeCollector<'a, 'hir> {
60c5eb7d
XL
113 pub(super) fn root(
114 sess: &'a Session,
dfeec247 115 krate: &'hir Crate<'hir>,
60c5eb7d
XL
116 dep_graph: &'a DepGraph,
117 definitions: &'a definitions::Definitions,
118 hir_to_node_id: &'a FxHashMap<HirId, NodeId>,
119 mut hcx: StableHashingContext<'a>,
120 ) -> NodeCollector<'a, 'hir> {
3b2f2976 121 let root_mod_def_path_hash = definitions.def_path_hash(CRATE_DEF_INDEX);
ea8adc8c 122
0731742a
XL
123 let mut hir_body_nodes = Vec::new();
124
dc9dc135 125 // Allocate `DepNode`s for the root module.
0731742a 126 let (root_mod_sig_dep_index, root_mod_full_dep_index) = {
ea8adc8c
XL
127 let Crate {
128 ref module,
129 // Crate attributes are not copied over to the root `Mod`, so hash
130 // them explicitly here.
131 ref attrs,
132 span,
ea8adc8c
XL
133 // These fields are handled separately:
134 exported_macros: _,
416331ca 135 non_exported_macro_attrs: _,
ea8adc8c
XL
136 items: _,
137 trait_items: _,
138 impl_items: _,
139 bodies: _,
140 trait_impls: _,
ea8adc8c 141 body_ids: _,
0731742a 142 modules: _,
ea8adc8c
XL
143 } = *krate;
144
0731742a
XL
145 alloc_hir_dep_nodes(
146 dep_graph,
147 &mut hcx,
148 root_mod_def_path_hash,
149 (module, attrs, span),
150 &mut hir_body_nodes,
151 )
152 };
ea8adc8c
XL
153
154 {
83c7162d 155 dep_graph.input_task(
ea8adc8c 156 DepNode::new_no_params(DepKind::AllLocalTraitImpls),
0731742a 157 &mut hcx,
ea8adc8c 158 &krate.trait_impls,
ea8adc8c
XL
159 );
160 }
161
b039eaaf 162 let mut collector = NodeCollector {
041b39d2 163 krate,
0731742a 164 source_map: sess.source_map(),
e74abb32 165 map: IndexVec::from_elem_n(IndexVec::new(), definitions.def_index_count()),
9fa01778 166 parent_node: hir::CRATE_HIR_ID,
ea8adc8c
XL
167 current_signature_dep_index: root_mod_sig_dep_index,
168 current_full_dep_index: root_mod_full_dep_index,
3b2f2976 169 current_dep_node_owner: CRATE_DEF_INDEX,
ea8adc8c 170 currently_in_body: false,
3b2f2976
XL
171 dep_graph,
172 definitions,
9fa01778 173 hir_to_node_id,
ea8adc8c
XL
174 hcx,
175 hir_body_nodes,
b039eaaf 176 };
60c5eb7d
XL
177 collector.insert_entry(
178 hir::CRATE_HIR_ID,
179 Entry {
180 parent: hir::CRATE_HIR_ID,
181 dep_node: root_mod_sig_dep_index,
182 node: Node::Crate,
183 },
184 );
b039eaaf 185
b039eaaf
SL
186 collector
187 }
188
60c5eb7d
XL
189 pub(super) fn finalize_and_compute_crate_hash(
190 mut self,
191 crate_disambiguator: CrateDisambiguator,
192 cstore: &dyn CrateStore,
193 commandline_args_hash: u64,
194 ) -> (HirEntryMap<'hir>, Svh) {
b7449926 195 self.hir_body_nodes.sort_unstable_by_key(|bn| bn.0);
ea8adc8c 196
60c5eb7d
XL
197 let node_hashes = self.hir_body_nodes.iter().fold(
198 Fingerprint::ZERO,
199 |combined_fingerprint, &(def_path_hash, fingerprint)| {
0731742a 200 combined_fingerprint.combine(def_path_hash.0.combine(fingerprint))
60c5eb7d
XL
201 },
202 );
ea8adc8c 203
dfeec247 204 let upstream_crates = upstream_crates(cstore);
ff7c6d11 205
0531ce1d
XL
206 // We hash the final, remapped names of all local source files so we
207 // don't have to include the path prefix remapping commandline args.
208 // If we included the full mapping in the SVH, we could only have
209 // reproducible builds by compiling from the same directory. So we just
210 // hash the result of the mapping instead of the mapping itself.
13cf67c4
XL
211 let mut source_file_names: Vec<_> = self
212 .source_map
0531ce1d
XL
213 .files()
214 .iter()
b7449926
XL
215 .filter(|source_file| CrateNum::from_u32(source_file.crate_of_origin) == LOCAL_CRATE)
216 .map(|source_file| source_file.name_hash)
0531ce1d
XL
217 .collect();
218
219 source_file_names.sort_unstable();
220
0731742a
XL
221 let crate_hash_input = (
222 ((node_hashes, upstream_crates), source_file_names),
60c5eb7d 223 (commandline_args_hash, crate_disambiguator.to_fingerprint()),
0731742a
XL
224 );
225
226 let (_, crate_hash) = input_dep_node_and_hash(
227 self.dep_graph,
228 &mut self.hcx,
229 DepNode::new_no_params(DepKind::Krate),
230 crate_hash_input,
231 );
232
233 let svh = Svh::new(crate_hash.to_smaller_hash());
ff7c6d11 234 (self.map, svh)
3b2f2976
XL
235 }
236
48663c56 237 fn insert_entry(&mut self, id: HirId, entry: Entry<'hir>) {
32a655c1 238 debug!("hir_map: {:?} => {:?}", id, entry);
e74abb32 239 let local_map = &mut self.map[id.owner];
48663c56 240 let i = id.local_id.as_u32() as usize;
48663c56
XL
241 let len = local_map.len();
242 if i >= len {
243 local_map.extend(repeat(None).take(i - len + 1));
244 }
245 local_map[id.local_id] = Some(entry);
b039eaaf
SL
246 }
247
9fa01778 248 fn insert(&mut self, span: Span, hir_id: HirId, node: Node<'hir>) {
b7449926 249 let entry = Entry {
48663c56 250 parent: self.parent_node,
b7449926
XL
251 dep_node: if self.currently_in_body {
252 self.current_full_dep_index
253 } else {
254 self.current_signature_dep_index
255 },
256 node,
3b2f2976
XL
257 };
258
259 // Make sure that the DepNode of some node coincides with the HirId
260 // owner of that node.
261 if cfg!(debug_assertions) {
48663c56
XL
262 let node_id = self.hir_to_node_id[&hir_id];
263 assert_eq!(self.definitions.node_to_hir_id(node_id), hir_id);
3b2f2976 264
8faf50e0 265 if hir_id.owner != self.current_dep_node_owner {
9fa01778 266 let node_str = match self.definitions.opt_def_index(node_id) {
60c5eb7d
XL
267 Some(def_index) => self.definitions.def_path(def_index).to_string_no_crate(),
268 None => format!("{:?}", node),
3b2f2976
XL
269 };
270
dfeec247 271 let forgot_str = if hir_id == hir::DUMMY_HIR_ID {
9fa01778 272 format!("\nMaybe you forgot to lower the node id {:?}?", node_id)
13cf67c4
XL
273 } else {
274 String::new()
275 };
8faf50e0 276
13cf67c4
XL
277 span_bug!(
278 span,
279 "inconsistent DepNode at `{:?}` for `{}`: \
280 current_dep_node_owner={} ({:?}), hir_id.owner={} ({:?}){}",
281 self.source_map.span_to_string(span),
3b2f2976 282 node_str,
60c5eb7d 283 self.definitions.def_path(self.current_dep_node_owner).to_string_no_crate(),
13cf67c4
XL
284 self.current_dep_node_owner,
285 self.definitions.def_path(hir_id.owner).to_string_no_crate(),
286 hir_id.owner,
287 forgot_str,
288 )
3b2f2976
XL
289 }
290 }
291
48663c56 292 self.insert_entry(hir_id, entry);
b039eaaf 293 }
a7813a04 294
60c5eb7d 295 fn with_parent<F: FnOnce(&mut Self)>(&mut self, parent_node_id: HirId, f: F) {
a7813a04 296 let parent_node = self.parent_node;
9fa01778 297 self.parent_node = parent_node_id;
a7813a04
XL
298 f(self);
299 self.parent_node = parent_node;
300 }
3b2f2976 301
60c5eb7d
XL
302 fn with_dep_node_owner<
303 T: for<'b> HashStable<StableHashingContext<'b>>,
304 F: FnOnce(&mut Self),
305 >(
306 &mut self,
307 dep_node_owner: DefIndex,
308 item_like: &T,
309 f: F,
310 ) {
3b2f2976 311 let prev_owner = self.current_dep_node_owner;
ea8adc8c 312 let prev_signature_dep_index = self.current_signature_dep_index;
abe05a73 313 let prev_full_dep_index = self.current_full_dep_index;
ea8adc8c
XL
314 let prev_in_body = self.currently_in_body;
315
316 let def_path_hash = self.definitions.def_path_hash(dep_node_owner);
317
0731742a
XL
318 let (signature_dep_index, full_dep_index) = alloc_hir_dep_nodes(
319 self.dep_graph,
320 &mut self.hcx,
321 def_path_hash,
322 item_like,
323 &mut self.hir_body_nodes,
324 );
325 self.current_signature_dep_index = signature_dep_index;
326 self.current_full_dep_index = full_dep_index;
ea8adc8c 327
3b2f2976 328 self.current_dep_node_owner = dep_node_owner;
ea8adc8c 329 self.currently_in_body = false;
3b2f2976 330 f(self);
ea8adc8c 331 self.currently_in_body = prev_in_body;
3b2f2976 332 self.current_dep_node_owner = prev_owner;
ea8adc8c
XL
333 self.current_full_dep_index = prev_full_dep_index;
334 self.current_signature_dep_index = prev_signature_dep_index;
3b2f2976 335 }
b039eaaf
SL
336}
337
3b2f2976 338impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir> {
dfeec247
XL
339 type Map = Map<'hir>;
340
92a42be0
SL
341 /// Because we want to track parent items and so forth, enable
342 /// deep walking so that we walk nested items in the context of
343 /// their outer items.
476ff2be 344
dfeec247 345 fn nested_visit_map<'this>(&'this mut self) -> NestedVisitorMap<'this, Self::Map> {
e1599b0c 346 panic!("`visit_nested_xxx` must be manually implemented in this visitor");
476ff2be
SL
347 }
348
92a42be0 349 fn visit_nested_item(&mut self, item: ItemId) {
7453a54e 350 debug!("visit_nested_item: {:?}", item);
32a655c1
SL
351 self.visit_item(self.krate.item(item.id));
352 }
353
354 fn visit_nested_trait_item(&mut self, item_id: TraitItemId) {
355 self.visit_trait_item(self.krate.trait_item(item_id));
92a42be0
SL
356 }
357
476ff2be 358 fn visit_nested_impl_item(&mut self, item_id: ImplItemId) {
32a655c1 359 self.visit_impl_item(self.krate.impl_item(item_id));
476ff2be
SL
360 }
361
32a655c1 362 fn visit_nested_body(&mut self, id: BodyId) {
ea8adc8c
XL
363 let prev_in_body = self.currently_in_body;
364 self.currently_in_body = true;
32a655c1 365 self.visit_body(self.krate.body(id));
ea8adc8c 366 self.currently_in_body = prev_in_body;
476ff2be
SL
367 }
368
dfeec247 369 fn visit_param(&mut self, param: &'hir Param<'hir>) {
e1599b0c
XL
370 let node = Node::Param(param);
371 self.insert(param.pat.span, param.hir_id, node);
372 self.with_parent(param.hir_id, |this| {
373 intravisit::walk_param(this, param);
416331ca
XL
374 });
375 }
376
dfeec247 377 fn visit_item(&mut self, i: &'hir Item<'hir>) {
7453a54e 378 debug!("visit_item: {:?}", i);
60c5eb7d
XL
379 debug_assert_eq!(
380 i.hir_id.owner,
381 self.definitions.opt_def_index(self.hir_to_node_id[&i.hir_id]).unwrap()
382 );
ea8adc8c 383 self.with_dep_node_owner(i.hir_id.owner, i, |this| {
9fa01778
XL
384 this.insert(i.span, i.hir_id, Node::Item(i));
385 this.with_parent(i.hir_id, |this| {
e74abb32 386 if let ItemKind::Struct(ref struct_def, _) = i.kind {
532ac7d7
XL
387 // If this is a tuple or unit-like struct, register the constructor.
388 if let Some(ctor_hir_id) = struct_def.ctor_hir_id() {
389 this.insert(i.span, ctor_hir_id, Node::Ctor(struct_def));
a7813a04 390 }
b039eaaf 391 }
3b2f2976
XL
392 intravisit::walk_item(this, i);
393 });
a7813a04 394 });
b039eaaf
SL
395 }
396
dfeec247 397 fn visit_foreign_item(&mut self, foreign_item: &'hir ForeignItem<'hir>) {
9fa01778 398 self.insert(foreign_item.span, foreign_item.hir_id, Node::ForeignItem(foreign_item));
b039eaaf 399
9fa01778 400 self.with_parent(foreign_item.hir_id, |this| {
a7813a04
XL
401 intravisit::walk_foreign_item(this, foreign_item);
402 });
b039eaaf
SL
403 }
404
dfeec247 405 fn visit_generic_param(&mut self, param: &'hir GenericParam<'hir>) {
9fa01778 406 self.insert(param.span, param.hir_id, Node::GenericParam(param));
94b46f34 407 intravisit::walk_generic_param(self, param);
b039eaaf
SL
408 }
409
dfeec247 410 fn visit_trait_item(&mut self, ti: &'hir TraitItem<'hir>) {
60c5eb7d
XL
411 debug_assert_eq!(
412 ti.hir_id.owner,
413 self.definitions.opt_def_index(self.hir_to_node_id[&ti.hir_id]).unwrap()
414 );
ea8adc8c 415 self.with_dep_node_owner(ti.hir_id.owner, ti, |this| {
9fa01778 416 this.insert(ti.span, ti.hir_id, Node::TraitItem(ti));
3b2f2976 417
9fa01778 418 this.with_parent(ti.hir_id, |this| {
3b2f2976
XL
419 intravisit::walk_trait_item(this, ti);
420 });
a7813a04 421 });
b039eaaf
SL
422 }
423
dfeec247 424 fn visit_impl_item(&mut self, ii: &'hir ImplItem<'hir>) {
60c5eb7d
XL
425 debug_assert_eq!(
426 ii.hir_id.owner,
427 self.definitions.opt_def_index(self.hir_to_node_id[&ii.hir_id]).unwrap()
428 );
ea8adc8c 429 self.with_dep_node_owner(ii.hir_id.owner, ii, |this| {
9fa01778 430 this.insert(ii.span, ii.hir_id, Node::ImplItem(ii));
3b2f2976 431
9fa01778 432 this.with_parent(ii.hir_id, |this| {
3b2f2976
XL
433 intravisit::walk_impl_item(this, ii);
434 });
a7813a04 435 });
b039eaaf
SL
436 }
437
dfeec247 438 fn visit_pat(&mut self, pat: &'hir Pat<'hir>) {
60c5eb7d
XL
439 let node =
440 if let PatKind::Binding(..) = pat.kind { Node::Binding(pat) } else { Node::Pat(pat) };
9fa01778 441 self.insert(pat.span, pat.hir_id, node);
b039eaaf 442
9fa01778 443 self.with_parent(pat.hir_id, |this| {
a7813a04
XL
444 intravisit::walk_pat(this, pat);
445 });
b039eaaf
SL
446 }
447
dfeec247 448 fn visit_arm(&mut self, arm: &'hir Arm<'hir>) {
dc9dc135
XL
449 let node = Node::Arm(arm);
450
451 self.insert(arm.span, arm.hir_id, node);
452
453 self.with_parent(arm.hir_id, |this| {
454 intravisit::walk_arm(this, arm);
455 });
456 }
457
94b46f34 458 fn visit_anon_const(&mut self, constant: &'hir AnonConst) {
9fa01778 459 self.insert(DUMMY_SP, constant.hir_id, Node::AnonConst(constant));
94b46f34 460
9fa01778 461 self.with_parent(constant.hir_id, |this| {
94b46f34
XL
462 intravisit::walk_anon_const(this, constant);
463 });
464 }
465
dfeec247 466 fn visit_expr(&mut self, expr: &'hir Expr<'hir>) {
9fa01778 467 self.insert(expr.span, expr.hir_id, Node::Expr(expr));
b039eaaf 468
9fa01778 469 self.with_parent(expr.hir_id, |this| {
a7813a04
XL
470 intravisit::walk_expr(this, expr);
471 });
b039eaaf
SL
472 }
473
dfeec247 474 fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>) {
9fa01778 475 self.insert(stmt.span, stmt.hir_id, Node::Stmt(stmt));
a7813a04 476
9fa01778 477 self.with_parent(stmt.hir_id, |this| {
a7813a04
XL
478 intravisit::walk_stmt(this, stmt);
479 });
b039eaaf
SL
480 }
481
dfeec247 482 fn visit_path_segment(&mut self, path_span: Span, path_segment: &'hir PathSegment<'hir>) {
9fa01778
XL
483 if let Some(hir_id) = path_segment.hir_id {
484 self.insert(path_span, hir_id, Node::PathSegment(path_segment));
13cf67c4
XL
485 }
486 intravisit::walk_path_segment(self, path_span, path_segment);
487 }
488
dfeec247 489 fn visit_ty(&mut self, ty: &'hir Ty<'hir>) {
9fa01778 490 self.insert(ty.span, ty.hir_id, Node::Ty(ty));
5bcae85e 491
9fa01778 492 self.with_parent(ty.hir_id, |this| {
5bcae85e
SL
493 intravisit::walk_ty(this, ty);
494 });
495 }
496
dfeec247 497 fn visit_trait_ref(&mut self, tr: &'hir TraitRef<'hir>) {
9fa01778 498 self.insert(tr.path.span, tr.hir_ref_id, Node::TraitRef(tr));
476ff2be 499
9fa01778 500 self.with_parent(tr.hir_ref_id, |this| {
476ff2be
SL
501 intravisit::walk_trait_ref(this, tr);
502 });
503 }
504
60c5eb7d
XL
505 fn visit_fn(
506 &mut self,
507 fk: intravisit::FnKind<'hir>,
dfeec247 508 fd: &'hir FnDecl<'hir>,
60c5eb7d
XL
509 b: BodyId,
510 s: Span,
511 id: HirId,
512 ) {
b039eaaf 513 assert_eq!(self.parent_node, id);
5bcae85e 514 intravisit::walk_fn(self, fk, fd, b, s, id);
b039eaaf
SL
515 }
516
dfeec247 517 fn visit_block(&mut self, block: &'hir Block<'hir>) {
9fa01778
XL
518 self.insert(block.span, block.hir_id, Node::Block(block));
519 self.with_parent(block.hir_id, |this| {
a7813a04
XL
520 intravisit::walk_block(this, block);
521 });
b039eaaf
SL
522 }
523
dfeec247 524 fn visit_local(&mut self, l: &'hir Local<'hir>) {
9fa01778 525 self.insert(l.span, l.hir_id, Node::Local(l));
60c5eb7d 526 self.with_parent(l.hir_id, |this| intravisit::walk_local(this, l))
3b2f2976
XL
527 }
528
32a655c1 529 fn visit_lifetime(&mut self, lifetime: &'hir Lifetime) {
9fa01778 530 self.insert(lifetime.span, lifetime.hir_id, Node::Lifetime(lifetime));
b039eaaf 531 }
476ff2be 532
dfeec247 533 fn visit_vis(&mut self, visibility: &'hir Visibility<'hir>) {
8faf50e0 534 match visibility.node {
60c5eb7d 535 VisibilityKind::Public | VisibilityKind::Crate(_) | VisibilityKind::Inherited => {}
9fa01778
XL
536 VisibilityKind::Restricted { hir_id, .. } => {
537 self.insert(visibility.span, hir_id, Node::Visibility(visibility));
538 self.with_parent(hir_id, |this| {
476ff2be
SL
539 intravisit::walk_vis(this, visibility);
540 });
541 }
542 }
543 }
544
dfeec247 545 fn visit_macro_def(&mut self, macro_def: &'hir MacroDef<'hir>) {
532ac7d7
XL
546 let node_id = self.hir_to_node_id[&macro_def.hir_id];
547 let def_index = self.definitions.opt_def_index(node_id).unwrap();
ea8adc8c
XL
548
549 self.with_dep_node_owner(def_index, macro_def, |this| {
9fa01778 550 this.insert(macro_def.span, macro_def.hir_id, Node::MacroDef(macro_def));
ea8adc8c 551 });
476ff2be
SL
552 }
553
dfeec247 554 fn visit_variant(&mut self, v: &'hir Variant<'hir>, g: &'hir Generics<'hir>, item_id: HirId) {
e1599b0c
XL
555 self.insert(v.span, v.id, Node::Variant(v));
556 self.with_parent(v.id, |this| {
532ac7d7 557 // Register the constructor of this variant.
e1599b0c
XL
558 if let Some(ctor_hir_id) = v.data.ctor_hir_id() {
559 this.insert(v.span, ctor_hir_id, Node::Ctor(&v.data));
532ac7d7 560 }
32a655c1
SL
561 intravisit::walk_variant(this, v, g, item_id);
562 });
563 }
564
dfeec247 565 fn visit_struct_field(&mut self, field: &'hir StructField<'hir>) {
9fa01778
XL
566 self.insert(field.span, field.hir_id, Node::Field(field));
567 self.with_parent(field.hir_id, |this| {
476ff2be
SL
568 intravisit::walk_struct_field(this, field);
569 });
570 }
3b2f2976
XL
571
572 fn visit_trait_item_ref(&mut self, ii: &'hir TraitItemRef) {
573 // Do not visit the duplicate information in TraitItemRef. We want to
574 // map the actual nodes, not the duplicate ones in the *Ref.
60c5eb7d 575 let TraitItemRef { id, ident: _, kind: _, span: _, defaultness: _ } = *ii;
3b2f2976
XL
576
577 self.visit_nested_trait_item(id);
578 }
579
dfeec247 580 fn visit_impl_item_ref(&mut self, ii: &'hir ImplItemRef<'hir>) {
3b2f2976
XL
581 // Do not visit the duplicate information in ImplItemRef. We want to
582 // map the actual nodes, not the duplicate ones in the *Ref.
60c5eb7d 583 let ImplItemRef { id, ident: _, kind: _, span: _, vis: _, defaultness: _ } = *ii;
3b2f2976
XL
584
585 self.visit_nested_impl_item(id);
586 }
b039eaaf 587}
ea8adc8c 588
ea8adc8c
XL
589// This is a wrapper structure that allows determining if span values within
590// the wrapped item should be hashed or not.
591struct HirItemLike<T> {
592 item_like: T,
593 hash_bodies: bool,
594}
595
dc9dc135
XL
596impl<'hir, T> HashStable<StableHashingContext<'hir>> for HirItemLike<T>
597where
598 T: HashStable<StableHashingContext<'hir>>,
ea8adc8c 599{
e74abb32 600 fn hash_stable(&self, hcx: &mut StableHashingContext<'hir>, hasher: &mut StableHasher) {
ea8adc8c
XL
601 hcx.while_hashing_hir_bodies(self.hash_bodies, |hcx| {
602 self.item_like.hash_stable(hcx, hasher);
603 });
604 }
605}