Struct rustc_mir_build::build::CFG [−][src]
struct CFG<'tcx> {
basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>,
}Fields
basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>Implementations
impl<'tcx> CFG<'tcx>[src]
impl<'tcx> CFG<'tcx>[src]pub(crate) fn block_data(&self, blk: BasicBlock) -> &BasicBlockData<'tcx>[src]
pub(crate) fn block_data_mut(
&mut self,
blk: BasicBlock
) -> &mut BasicBlockData<'tcx>[src]
&mut self,
blk: BasicBlock
) -> &mut BasicBlockData<'tcx>
pub(crate) fn start_new_block(&mut self) -> BasicBlock[src]
pub(crate) fn start_new_cleanup_block(&mut self) -> BasicBlock[src]
pub(crate) fn push(&mut self, block: BasicBlock, statement: Statement<'tcx>)[src]
pub(crate) fn push_assign(
&mut self,
block: BasicBlock,
source_info: SourceInfo,
place: Place<'tcx>,
rvalue: Rvalue<'tcx>
)[src]
&mut self,
block: BasicBlock,
source_info: SourceInfo,
place: Place<'tcx>,
rvalue: Rvalue<'tcx>
)
pub(crate) fn push_assign_constant(
&mut self,
block: BasicBlock,
source_info: SourceInfo,
temp: Place<'tcx>,
constant: Constant<'tcx>
)[src]
&mut self,
block: BasicBlock,
source_info: SourceInfo,
temp: Place<'tcx>,
constant: Constant<'tcx>
)
pub(crate) fn push_assign_unit(
&mut self,
block: BasicBlock,
source_info: SourceInfo,
place: Place<'tcx>,
tcx: TyCtxt<'tcx>
)[src]
&mut self,
block: BasicBlock,
source_info: SourceInfo,
place: Place<'tcx>,
tcx: TyCtxt<'tcx>
)
pub(crate) fn push_fake_read(
&mut self,
block: BasicBlock,
source_info: SourceInfo,
cause: FakeReadCause,
place: Place<'tcx>
)[src]
&mut self,
block: BasicBlock,
source_info: SourceInfo,
cause: FakeReadCause,
place: Place<'tcx>
)
pub(crate) fn terminate(
&mut self,
block: BasicBlock,
source_info: SourceInfo,
kind: TerminatorKind<'tcx>
)[src]
&mut self,
block: BasicBlock,
source_info: SourceInfo,
kind: TerminatorKind<'tcx>
)
pub(crate) fn goto(
&mut self,
origin: BasicBlock,
source_info: SourceInfo,
target: BasicBlock
)[src]
pub(crate) fn goto(
&mut self,
origin: BasicBlock,
source_info: SourceInfo,
target: BasicBlock
)[src]In the origin block, push a goto -> target terminator.
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for CFG<'tcx>
impl<'tcx> !Send for CFG<'tcx>
impl<'tcx> !Sync for CFG<'tcx>
impl<'tcx> Unpin for CFG<'tcx>
impl<'tcx> !UnwindSafe for CFG<'tcx>
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]pub fn borrow_mut(&mut self) -> &mut T[src]
pub fn borrow_mut(&mut self) -> &mut T[src]Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for T where
T: ?Sized, [src]
T: ?Sized,