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: Constant<'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 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