Struct CraneliftBlock 

pub struct CraneliftBlock {
    pub id: u32,
    pub params: Vec<CraneliftValue>,
    pub instrs: Vec<CraneliftInstResult>,
}

A basic block in Cranelift IR.

Fields

id: u32

Block ID (e.g. block0, block1)

params: Vec<CraneliftValue>

Block parameters (like phi nodes in SSA form — Cranelift uses explicit params)

instrs: Vec<CraneliftInstResult>

Instructions in this block

Implementations

impl CraneliftBlock

pub fn new(id: u32) -> Self

Create a new block.

pub fn with_params(id: u32, params: Vec<CraneliftValue>) -> Self

Create a block with parameters.

pub fn block_ref(&self) -> BlockRef

Return the block reference for this block.

pub fn push_with_result( &mut self, result: CraneliftValue, instr: CraneliftInstr, )

Append an instruction with a result value.

pub fn push_void(&mut self, instr: CraneliftInstr)

Append a void instruction.

pub fn is_terminated(&self) -> bool

Return true if this block ends with a terminator instruction.

pub fn emit(&self) -> String

Emit this block as textual IR.

Trait Implementations

impl Clone for CraneliftBlock

fn clone(&self) -> CraneliftBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CraneliftBlock

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

Formats the value using the given formatter.

impl PartialEq for CraneliftBlock

fn eq(&self, other: &CraneliftBlock) -> 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 CraneliftBlock