Function cranelift_codegen::verifier::verify_context

source ·
pub fn verify_context<'a, FOI: Into<FlagsOrIsa<'a>>>(
    func: &Function,
    cfg: &ControlFlowGraph,
    domtree: &DominatorTree,
    fisa: FOI,
    errors: &mut VerifierErrors
) -> VerifierStepResult
Expand description

Verify func after checking the integrity of associated context data structures cfg and domtree.