Struct BasicBlock 

pub struct BasicBlock {
    pub id: BlockId,
    pub phis: Vec<PhiNode>,
    pub instructions: Vec<MirInst>,
    pub terminator: Terminator,
}

A basic block in the MIR control flow graph.

Fields

id: BlockId

Unique block identifier.

phis: Vec<PhiNode>

Phi nodes at the start of this block.

instructions: Vec<MirInst>

Instructions in this block.

terminator: Terminator

Block terminator.

Implementations

impl BasicBlock

pub fn new(id: BlockId) -> Self

Create a new empty basic block.

pub fn successors(&self) -> Vec<BlockId>

Returns all successor block IDs.

pub fn defs(&self) -> Vec<ValueId>

Returns all value IDs defined in this block (phi dests + instruction dests).

pub fn uses(&self) -> Vec<ValueId>

Returns all value IDs used in this block.

Trait Implementations

impl Clone for BasicBlock

fn clone(&self) -> BasicBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BasicBlock

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

Formats the value using the given formatter.

impl PartialEq for BasicBlock

fn eq(&self, other: &BasicBlock) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BasicBlock