Struct rustc_mir::util::patch::MirPatch

pub struct MirPatch<'tcx> {
    patch_map: IndexVec<BasicBlock, Option<TerminatorKind<'tcx>>>,
    new_blocks: Vec<BasicBlockData<'tcx>>,
    new_statements: Vec<(Location, StatementKind<'tcx>)>,
    new_locals: Vec<LocalDecl<'tcx>>,
    resume_block: BasicBlock,
    next_local: usize,
    make_nop: Vec<Location>,
}

This struct represents a patch to MIR, which can add new statements and basic blocks and patch over block terminators.

Fields

patch_map: IndexVec<BasicBlock, Option<TerminatorKind<'tcx>>>

new_blocks: Vec<BasicBlockData<'tcx>>

new_statements: Vec<(Location, StatementKind<'tcx>)>

new_locals: Vec<LocalDecl<'tcx>>

resume_block: BasicBlock

next_local: usize

make_nop: Vec<Location>

Implementations

impl<'tcx> MirPatch<'tcx>

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

pub fn resume_block(&self) -> BasicBlock

pub fn is_patched(&self, bb: BasicBlock) -> bool

pub fn terminator_loc(&self, body: &Body<'tcx>, bb: BasicBlock) -> Location

pub fn new_temp(&mut self, ty: Ty<'tcx>, span: Span) -> Local

pub fn new_internal(&mut self, ty: Ty<'tcx>, span: Span) -> Local

pub fn new_block(&mut self, data: BasicBlockData<'tcx>) -> BasicBlock

pub fn patch_terminator(&mut self, block: BasicBlock, new: TerminatorKind<'tcx>)

pub fn add_statement(&mut self, loc: Location, stmt: StatementKind<'tcx>)

pub fn add_assign(
    &mut self,
    loc: Location,
    place: Place<'tcx>,
    rv: Rvalue<'tcx>
)

pub fn make_nop(&mut self, loc: Location)

pub fn apply(self, body: &mut Body<'tcx>)

pub fn source_info_for_index(
    data: &BasicBlockData<'_>,
    loc: Location
) -> SourceInfo

pub fn source_info_for_location(
    &self,
    body: &Body<'_>,
    loc: Location
) -> SourceInfo