Enum walrus::ir::InstrSeqType

pub enum InstrSeqType {
    Simple(Option<ValType>),
    MultiValue(TypeId),
}

The type of an instruction sequence.

Variants

Simple(Option<ValType>)

MVP Wasm blocks/loops/ifs can only push zero or one resulting value onto the stack. They cannot take parameters on the stack.

MultiValue(TypeId)

The multi-value extension to Wasm allows arbitrary stack parameters and results, which are expressed via the same mechanism as function types.

Methods

impl InstrSeqType

pub fn new(
    types: &mut ModuleTypes,
    params: &[ValType],
    results: &[ValType]
) -> InstrSeqType

Construct a new InstrSeqType of the correct form for the given parameter and result types.

pub fn existing(
    types: &ModuleTypes,
    params: &[ValType],
    results: &[ValType]
) -> Option<InstrSeqType>

Construct an InstrSeqType with a signature that is known to either be Simple or uses a Type that has already been inserted into the ModuleTypes.

Returns None if this is an instruction sequence signature that requires multi-value and ModuleTypes does not already have a Type for it.

Trait Implementations

impl Eq for InstrSeqType

impl Clone for InstrSeqType

fn clone(&self) -> InstrSeqType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<InstrSeqType> for InstrSeqType

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl From<Option<ValType>> for InstrSeqType

fn from(x: Option<ValType>) -> InstrSeqType

Performs the conversion.

impl From<ValType> for InstrSeqType

fn from(x: ValType) -> InstrSeqType

Performs the conversion.

impl From<Id<Type>> for InstrSeqType

fn from(x: TypeId) -> InstrSeqType

Performs the conversion.

impl Copy for InstrSeqType

impl Debug for InstrSeqType

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

Formats the value using the given formatter.