Struct rustc_mir::transform::simplify::CfgSimplifier

pub struct CfgSimplifier<'a, 'tcx> {
    basic_blocks: &'a mut IndexVec<BasicBlock, BasicBlockData<'tcx>>,
    pred_count: IndexVec<BasicBlock, u32>,
}

Fields

basic_blocks: &'a mut IndexVec<BasicBlock, BasicBlockData<'tcx>>

pred_count: IndexVec<BasicBlock, u32>

Implementations

impl<'a, 'tcx> CfgSimplifier<'a, 'tcx>

pub fn new(body: &'a mut Body<'tcx>) -> Self

pub fn simplify(self)

pub(in transform::simplify) fn take_terminator_if_simple_goto(
    &mut self,
    bb: BasicBlock
) -> Option<Terminator<'tcx>>

This function will return None if

• the block has statements
• the block has a terminator other than goto
• the block has no terminator (meaning some other part of the current optimization stole it)

pub(in transform::simplify) fn collapse_goto_chain(
    &mut self,
    start: &mut BasicBlock,
    changed: &mut bool
)

Collapse a goto chain starting from start

pub(in transform::simplify) fn merge_successor(
    &mut self,
    merged_blocks: &mut Vec<BasicBlock>,
    terminator: &mut Terminator<'tcx>
) -> bool

pub(in transform::simplify) fn simplify_branch(
    &mut self,
    terminator: &mut Terminator<'tcx>
) -> bool

pub(in transform::simplify) fn strip_nops(
    &mut self
)