cranelift_codegen::ir::pcc

Function 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.