| use std::panic; |
| |
| use tracing::instrument; |
| |
| pub use self::dep_node::{ |
| DepKind, DepKindVTable, DepNode, WorkProductId, dep_kind_from_label, label_strs, |
| }; |
| pub use self::dep_node_key::DepNodeKey; |
| pub use self::graph::{ |
| DepGraph, DepGraphData, DepNodeIndex, QuerySideEffect, TaskDepsRef, WorkProduct, |
| WorkProductMap, hash_result, |
| }; |
| use self::graph::{MarkFrame, print_markframe_trace}; |
| pub use self::retained::RetainedDepGraph; |
| pub use self::serialized::{SerializedDepGraph, SerializedDepNodeIndex}; |
| pub use crate::dep_graph::debug::{DepNodeFilter, EdgeFilter}; |
| use crate::ty::print::with_reduced_queries; |
| use crate::ty::{self, TyCtxt}; |
| |
| mod debug; |
| pub(crate) mod dep_node; |
| mod dep_node_key; |
| mod edges; |
| mod graph; |
| mod retained; |
| mod serialized; |
| |
| /// Describes the contents of the fingerprint generated by a given query. |
| /// |
| /// This is mainly for determining whether and how we can reconstruct a key |
| /// from the fingerprint. |
| #[derive(Debug, PartialEq, Eq, Copy, Clone)] |
| pub enum KeyFingerprintStyle { |
| /// The fingerprint is actually a DefPathHash. |
| DefPathHash, |
| /// The fingerprint is actually a HirId. |
| HirId, |
| /// Query key was `()` or equivalent, so fingerprint is just zero. |
| Unit, |
| /// The fingerprint is an opaque hash, and a key cannot be reconstructed from it. |
| Opaque, |
| } |
| |
| impl KeyFingerprintStyle { |
| /// True if a key can _potentially_ be recovered from a key fingerprint |
| /// with this style. |
| /// |
| /// For some key types, recovery is possible but not guaranteed. |
| #[inline] |
| pub const fn is_maybe_recoverable(self) -> bool { |
| match self { |
| KeyFingerprintStyle::DefPathHash |
| | KeyFingerprintStyle::Unit |
| | KeyFingerprintStyle::HirId => true, |
| KeyFingerprintStyle::Opaque => false, |
| } |
| } |
| } |
| |
| /// Execute the operation with provided dependencies. |
| fn with_deps<OP, R>(task_deps: TaskDepsRef<'_>, op: OP) -> R |
| where |
| OP: FnOnce() -> R, |
| { |
| ty::tls::with_context(|icx| { |
| let icx = ty::tls::ImplicitCtxt { task_deps, ..*icx }; |
| ty::tls::enter_context(&icx, op) |
| }) |
| } |
| |
| /// Access dependencies from current implicit context. |
| fn read_deps<OP>(op: OP) |
| where |
| OP: for<'a> FnOnce(TaskDepsRef<'a>), |
| { |
| ty::tls::with_context_opt(|icx| { |
| let Some(icx) = icx else { return }; |
| op(icx.task_deps) |
| }) |
| } |
| |
| impl<'tcx> TyCtxt<'tcx> { |
| #[inline] |
| pub fn dep_kind_vtable(self, dk: DepKind) -> &'tcx DepKindVTable<'tcx> { |
| &self.dep_kind_vtables[dk.as_usize()] |
| } |
| |
| fn with_reduced_queries<T>(self, f: impl FnOnce() -> T) -> T { |
| with_reduced_queries!(f()) |
| } |
| |
| #[inline(always)] |
| pub fn key_fingerprint_style(self, kind: DepKind) -> KeyFingerprintStyle { |
| self.dep_kind_vtable(kind).key_fingerprint_style |
| } |
| |
| /// Try to force a dep node to execute and see if it's green. |
| /// |
| /// Returns true if the query has actually been forced. It is valid that a query |
| /// fails to be forced, e.g. when the query key cannot be reconstructed from the |
| /// dep-node or when the query kind outright does not support it. |
| #[inline] |
| #[instrument(skip(self, frame), level = "debug")] |
| fn try_force_from_dep_node( |
| self, |
| dep_node: DepNode, |
| prev_index: SerializedDepNodeIndex, |
| frame: &MarkFrame<'_>, |
| ) -> bool { |
| if let Some(force_fn) = self.dep_kind_vtable(dep_node.kind).force_from_dep_node_fn { |
| match panic::catch_unwind(panic::AssertUnwindSafe(|| { |
| force_fn(self, dep_node, prev_index) |
| })) { |
| Err(value) => { |
| if !value.is::<rustc_errors::FatalErrorMarker>() { |
| print_markframe_trace(&self.dep_graph, frame); |
| } |
| panic::resume_unwind(value) |
| } |
| Ok(query_has_been_forced) => query_has_been_forced, |
| } |
| } else { |
| false |
| } |
| } |
| } |