Struct Block 

pub struct Block<'tcx> {
    pub index: usize,
    pub is_cleanup: bool,
    pub next: FxHashSet<usize>,
    pub assignments: Vec<Assignment<'tcx>>,
    pub const_value: Vec<ConstValue>,
    pub assigned_locals: FxHashSet<usize>,
    pub terminator: Term<'tcx>,
    pub scc: SccInfo,
}

Each block is a strongly-connected component on the control-flow graph.

Fields

index: usize

is_cleanup: bool

next: FxHashSet<usize>

assignments: Vec<Assignment<'tcx>>

const_value: Vec<ConstValue>

assigned_locals: FxHashSet<usize>

terminator: Term<'tcx>

scc: SccInfo

All nodes belongs to a SCC. This field could be a single node SCC. The loops in the CFG are natural loops, so each SCC has only one enter.

Implementations

impl<'tcx> Block<'tcx>

pub fn new(index: usize, is_cleanup: bool) -> Block<'tcx>

pub fn add_next(&mut self, index: usize)

Trait Implementations

impl<'tcx> Clone for Block<'tcx>

fn clone(&self) -> Block<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for Block<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.