Struct llhd::pass::cfs::ControlFlowSimplification

pub struct ControlFlowSimplification;

Control Flow Simplification

This pass tries to do the following:

• Simplify phi nodes whose values dominate the node
• Eliminate phi nodes where the result is constant across all incoming edges
• Merge basic blocks with only one successor

Trait Implementations

impl Pass for ControlFlowSimplification

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.