Struct rustc_mir_build::build::CFG

struct CFG<'tcx> {
    basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>,
}

Fields

basic_blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>

Implementations

impl<'tcx> CFG<'tcx>

pub(crate) fn block_data(&self, blk: BasicBlock) -> &BasicBlockData<'tcx>

pub(crate) fn block_data_mut( &mut self, blk: BasicBlock ) -> &mut BasicBlockData<'tcx>

pub(crate) fn start_new_block(&mut self) -> BasicBlock

pub(crate) fn start_new_cleanup_block(&mut self) -> BasicBlock

pub(crate) fn push(&mut self, block: BasicBlock, statement: Statement<'tcx>)

pub(crate) fn push_assign( &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: ConstOperand<'tcx> )

pub(crate) fn push_assign_unit( &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> )

pub(crate) fn push_place_mention( &mut self, block: BasicBlock, source_info: SourceInfo, place: Place<'tcx> )

pub(crate) fn push_coverage_span_marker( &mut self, block: BasicBlock, source_info: SourceInfo )

Adds a dummy statement whose only role is to associate a span with its enclosing block for the purposes of coverage instrumentation.

This results in more accurate coverage reports for certain kinds of syntax (e.g. continue or if !) that would otherwise not appear in MIR.

pub(crate) fn terminate( &mut self, block: BasicBlock, source_info: SourceInfo, kind: TerminatorKind<'tcx> )

pub(crate) fn goto( &mut self, origin: BasicBlock, source_info: SourceInfo, target: BasicBlock )

In the origin block, push a goto -> target terminator.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes