Struct LowerMirPass

pub(super) struct LowerMirPass<'a> {
    pub(super) hir: &'a HirProgram,
    pub(super) checked: &'a CheckedProgram,
}

Lower HIR + checker facts into MIR.

This pass builds control-flow blocks, locals, and low-level instructions for both Rust and WASM code generation.

Input: HirProgram plus CheckedProgram. Output: MirProgram. Pass name: mir.lower_program.

Fields

hir: &'a HirProgram

HIR input program.

checked: &'a CheckedProgram

Semantic annotations from checker.

Trait Implementations

impl<'a> Pass for LowerMirPass<'a>

const NAME: &'static str = "mir.lower_program"

Stable pass name used for stats and diagnostics.

type In = ()

Input value consumed by this pass.

type Out = MirProgram

Output value produced by this pass.

type Error = LowerError

Error type emitted by this pass.

fn run( &mut self, _input: Self::In, _cx: &mut PassContext, ) -> Result<Self::Out, Self::Error>

Execute one pass invocation.