Class Context

src/debug_utils/validate_func.rs:107–115

State used for validation.

/// State used for validation.
struct Context<'a, F, R> {
    func: &'a F,
    reginfo: &'a R,
    value_defs: SecondaryMap<Value, Option<ValueDef>>,
    early_fixed: RegUnitSet,
    late_fixed: RegUnitSet,
    reuse_targets: Vec<usize>,
    domtree: DominatorTree,
}

impl<F: Function, R: RegInfo> Context<'_, F, R> {
    /// Check that an entity refers to a valid object.