Struct BasicBlock 

pub struct BasicBlock {
    pub name: String,
    pub body: Vec<InstrId>,
    pub terminator: Option<InstrId>,
}

A basic block within a function.

The block owns a list of non-terminator InstrIds (the body) and an optional terminator InstrId. All InstrIds index into the owning Function’s flat instructions pool.

Fields

name: String

Public API for name.

body: Vec<InstrId>

Non-terminator instructions, in order.

terminator: Option<InstrId>

The terminator instruction, if present.

Implementations

impl BasicBlock

pub fn new(name: impl Into<String>) -> Self

Public API for new.

pub fn append_instr(&mut self, id: InstrId)

Append a non-terminator instruction.

pub fn set_terminator(&mut self, id: InstrId)

Set the terminator instruction (replaces any existing one).

pub fn is_complete(&self) -> bool

True if the block has a terminator.

pub fn instrs(&self) -> impl Iterator<Item = InstrId> + '_

Iterate over all instruction ids in order (body + terminator).

pub fn len(&self) -> usize

Number of instructions (body + optional terminator).

pub fn is_empty(&self) -> bool

Public API for is_empty.

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.