Skip to main content

bench_linear_lowering

Function bench_linear_lowering 

Source
pub(crate) fn bench_linear_lowering(
    program: &Program,
    sources: &SourceMap,
    benchmark: &'static str,
    module: &str,
    entry: &str,
    iterations: u32,
) -> Result<LinearLowering, Vec<Diagnostic>>
Expand description

Lowers one benchmark’s entry to cove_ir iterations times.

Timed apart from execution, because lowering is paid once per program and execution for as long as the program runs. The schemas are the shipped ones and no others, which is the set cove_sema::Compiler::new() checked this package against — cove run passes the same, and a lowering that read a different set would be lowering a different program.