Function validate_function

src/debug_utils/validate_func.rs:30–42

Checks `func` to ensure it satisfies all of the pre-conditions required by the register allocator. As long as this validation succeeds, the register allocator is guaranteed to produce a valid allocation. The only exception is if operands are overconstrained: the register allocator may still fail in that case even if validation passes. This assumes that `reginfo` has already been validated by [`v

(func: &impl Function, reginfo: &impl RegInfo)

///
/// [`validate_reginfo`]: super::validate_reginfo()
pub fn validate_function(func: &impl Function, reginfo: &impl RegInfo) -> Result<()> {
    let mut ctx = Context {
        func,
        reginfo,
        value_defs: SecondaryMap::with_max_index(func.num_values()),
        early_fixed: RegUnitSet::new(),
        late_fixed: RegUnitSet::new(),
        reuse_targets: vec![],
        domtree: DominatorTree::new(),
    };
    ctx.check_function()?;
    Ok(())
}

/// An entity reference.
///