Function cretonne::verifier::verify_context
[−]
[src]
pub fn verify_context<'a, FOI: Into<FlagsOrIsa<'a>>>(
func: &Function,
cfg: &ControlFlowGraph,
domtree: &DominatorTree,
fisa: FOI
) -> Result
Verify func
after checking the integrity of associated context data structures cfg
and
domtree
.