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
.