Struct EvmIrBlock 

pub struct EvmIrBlock {
    pub label: String,
    pub metadata: EvmIrBlockMetadata,
    pub instructions: Vec<EvmIrInstruction>,
    pub terminator: Option<EvmIrTerminator>,
    pub entry_stack: Vec<EvmIrValueId>,
}

A basic block in EVM IR.

Fields

label: String

Stable textual label for this block.

metadata: EvmIrBlockMetadata

Block metadata. The hot/cold field is present before it is consumed by layout or scheduling so fixtures can pin the format early.

instructions: Vec<EvmIrInstruction>

Non-terminating EVM backend instructions.

terminator: Option<EvmIrTerminator>

Optional control-flow terminator.

entry_stack: Vec<EvmIrValueId>

Values present on the stack at block entry, top first.

This is the block’s incoming stack-word signature: values produced by a predecessor and consumed here. It is empty for the entry block and for blocks that begin from a clean stack. Stack scheduling seeds its model stack from this so blocks that consume predecessor values can be scheduled instead of bailing.

Implementations

impl EvmIrBlock

pub fn new(label: impl Into<String>) -> EvmIrBlock

Creates an empty hot block.

Trait Implementations

impl Clone for EvmIrBlock

fn clone(&self) -> EvmIrBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvmIrBlock

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

Formats the value using the given formatter.

impl Eq for EvmIrBlock

impl PartialEq for EvmIrBlock

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