Struct State

pub struct State<'a, 'b, 'c> {
    pub module: &'a mut Module<'b>,
    pub func: &'c mut FunctionBody,
    pub scratch: Memory,
    pub block_stack: NonEmpty<Block>,
    pub ids: Vec<Func>,
    pub storage: BTreeSet<Interface>,
}

Fields

module: &'a mut Module<'b>

func: &'c mut FunctionBody

scratch: Memory

block_stack: NonEmpty<Block>

ids: Vec<Func>

storage: BTreeSet<Interface>

Implementations

impl<'a, 'b, 'c> State<'a, 'b, 'c>

pub fn waffle(&self, a: &WasmType) -> Type

pub fn ty(&mut self, t: &Type, resolve: &Resolve) -> Arg

pub fn record(&mut self, r: &Record, resolve: &Resolve) -> Interface

pub fn tuple(&mut self, r: &Tuple, resolve: &Resolve) -> Interface

Trait Implementations

impl<'a, 'b, 'c> Bindgen for State<'a, 'b, 'c>

type Operand = Value

The intermediate type for fragments of code for this type.

fn emit( &mut self, resolve: &Resolve, inst: &Instruction<'_>, operands: &mut Vec<Self::Operand>, results: &mut Vec<Self::Operand>, )

Emit code to implement the given instruction.

fn return_pointer(&mut self, size: usize, align: usize) -> Self::Operand

Gets a operand reference to the return pointer area.

fn push_block(&mut self)

Enters a new block of code to generate code for.

fn finish_block(&mut self, operand: &mut Vec<Self::Operand>)

Indicates to the code generator that a block is completed, and the operand specified was the resulting value of the block.

fn sizes(&self) -> &SizeAlign

Returns size information that was previously calculated for all types.

fn is_list_canonical(&self, resolve: &Resolve, element: &Type) -> bool

Returns whether or not the specified element type is represented in a “canonical” form for lists. This dictates whether the ListCanonLower and ListCanonLift instructions are used or not.