Struct llhd::pass::deseq::Desequentialization

pub struct Desequentialization;

Desequentialization

This pass implements detection of state-keeping behaviour in processes and the extraction of such state into explicit reg instructions.

Trait Implementations

impl Pass for Desequentialization

fn run_on_cfg(ctx: &PassContext, unit: &mut UnitBuilder<'_>) -> bool

Run this pass on an entire function or process.

fn run_on_module(ctx: &PassContext, module: &mut Module) -> bool

Run this pass on an entire module.

fn run_on_unit(ctx: &PassContext, data: &mut UnitBuilder<'_>) -> bool

Run this pass on an entire unit.

fn run_on_inst(
    ctx: &PassContext,
    inst: Inst,
    unit: &mut UnitBuilder<'_>
) -> bool

Run this pass on an instruction.