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.

Implementations

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 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 Debug for InstrSeqType

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

Formats the value using the given formatter.

impl From<Id<Type>> for InstrSeqType

fn from(x: TypeId) -> InstrSeqType

Converts to this type from the input type.

impl From<Option<ValType>> for InstrSeqType

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

Converts to this type from the input type.

impl From<ValType> for InstrSeqType

fn from(x: ValType) -> InstrSeqType

Converts to this type from the input type.

impl PartialEq 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for InstrSeqType

impl Eq for InstrSeqType

impl StructuralEq for InstrSeqType

impl StructuralPartialEq for InstrSeqType