[−][src]Struct llhd::pass::cfs::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
[src]
fn run_on_cfg(ctx: &PassContext, unit: &mut UnitBuilder<'_>) -> bool
[src]
fn run_on_module(ctx: &PassContext, module: &mut Module) -> bool
[src]
fn run_on_unit(ctx: &PassContext, data: &mut UnitBuilder<'_>) -> bool
[src]
fn run_on_inst(
ctx: &PassContext,
inst: Inst,
unit: &mut UnitBuilder<'_>
) -> bool
[src]
ctx: &PassContext,
inst: Inst,
unit: &mut UnitBuilder<'_>
) -> bool
Auto Trait Implementations
impl RefUnwindSafe for ControlFlowSimplification
impl Send for ControlFlowSimplification
impl Sync for ControlFlowSimplification
impl Unpin for ControlFlowSimplification
impl UnwindSafe for ControlFlowSimplification
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,