Struct EvmIrModule 

pub struct EvmIrModule {
    pub name: String,
    pub blocks: IndexVec<EvmIrBlockId, EvmIrBlock>,
    pub entry_block: Option<EvmIrBlockId>,
    pub values: IndexVec<EvmIrValueId, EvmIrValue>,
}

An EVM IR module.

Fields

name: String

Program name used by tools and diagnostics.

blocks: IndexVec<EvmIrBlockId, EvmIrBlock>

Basic blocks in layout order.

entry_block: Option<EvmIrBlockId>

The entry block, if one has been created.

values: IndexVec<EvmIrValueId, EvmIrValue>

Untyped stack words known to this program.

Implementations

impl EvmIrModule

pub fn to_text(&self) -> impl Display + '_

Returns the canonical EVM IR text-format representation.

impl EvmIrModule

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

Creates an empty EVM IR program.

pub fn add_block(&mut self, block: EvmIrBlock) -> EvmIrBlockId

Adds a block to the program.

pub fn add_value(&mut self, name: impl Into<String>) -> EvmIrValueId

Allocates a named untyped stack word.

pub fn block(&self, id: EvmIrBlockId) -> &EvmIrBlock

Returns the block for the given ID.

pub fn block_mut(&mut self, id: EvmIrBlockId) -> &mut EvmIrBlock

Returns a mutable reference to the block for the given ID.

pub fn value(&self, id: EvmIrValueId) -> &EvmIrValue

Returns the value for the given ID.

Trait Implementations

impl Clone for EvmIrModule

fn clone(&self) -> EvmIrModule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvmIrModule

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

Formats the value using the given formatter.

impl Default for EvmIrModule

fn default() -> EvmIrModule

Returns the “default value” for a type.

impl Eq for EvmIrModule

impl PartialEq for EvmIrModule

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