Function cranelift_codegen::ir::pcc::check_vcode_facts

source · 
pub fn check_vcode_facts<B: LowerBackend + TargetIsa>(
    f: &Function,
    vcode: &mut VCode<B::MInst>,
    backend: &B
) -> PccResult<()>
Expand description

Top-level entry point after compilation: this checks the facts in VCode.