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)

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)

fn collapse_goto_chain(&mut self, start: &mut BasicBlock, changed: &mut bool)

Collapse a goto chain starting from start

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

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

fn strip_nops(&mut self)