Trait wai_parser::abi::Bindgen
source · pub trait Bindgen {
type Operand: Clone;
// Required methods
fn emit(
&mut self,
iface: &Interface,
inst: &Instruction<'_>,
operands: &mut Vec<Self::Operand>,
results: &mut Vec<Self::Operand>
);
fn return_pointer(
&mut self,
iface: &Interface,
size: usize,
align: usize
) -> Self::Operand;
fn push_block(&mut self);
fn finish_block(&mut self, operand: &mut Vec<Self::Operand>);
fn sizes(&self) -> &SizeAlign;
fn is_list_canonical(&self, iface: &Interface, element: &Type) -> bool;
}
Expand description
Trait for language implementors to use to generate glue code between native WebAssembly signatures and interface types signatures.
This is used as an implementation detail in interpreting the ABI between interface types and wasm types. Eventually this will be driven by interface types adapters themselves, but for now the ABI of a function dictates what instructions are fed in.
Types implementing Bindgen
are incrementally fed Instruction
values to
generate code for. Instructions operate like a stack machine where each
instruction has a list of inputs and a list of outputs (provided by the
emit
function).
Required Associated Types§
Required Methods§
sourcefn emit(
&mut self,
iface: &Interface,
inst: &Instruction<'_>,
operands: &mut Vec<Self::Operand>,
results: &mut Vec<Self::Operand>
)
fn emit( &mut self, iface: &Interface, inst: &Instruction<'_>, operands: &mut Vec<Self::Operand>, results: &mut Vec<Self::Operand> )
Emit code to implement the given instruction.
Each operand is given in operands
and can be popped off if ownership
is required. It’s guaranteed that operands
has the appropriate length
for the inst
given, as specified with Instruction
.
Each result variable should be pushed onto results
. This function must
push the appropriate number of results or binding generation will panic.
sourcefn return_pointer(
&mut self,
iface: &Interface,
size: usize,
align: usize
) -> Self::Operand
fn return_pointer( &mut self, iface: &Interface, size: usize, align: usize ) -> Self::Operand
Gets a operand reference to the return pointer area.
The provided size and alignment is for the function’s return type.
sourcefn push_block(&mut self)
fn push_block(&mut self)
Enters a new block of code to generate code for.
This is currently exclusively used for constructing variants. When a variant is constructed a block here will be pushed for each case of a variant, generating the code necessary to translate a variant case.
Blocks are completed with finish_block
below. It’s expected that emit
will always push code (if necessary) into the “current block”, which is
updated by calling this method and finish_block
below.
sourcefn finish_block(&mut self, operand: &mut Vec<Self::Operand>)
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.
This method will be used to compute the value of each arm of lifting a
variant. The operand
will be None
if the variant case didn’t
actually have any type associated with it. Otherwise it will be Some
as the last value remaining on the stack representing the value
associated with a variant’s case
.
It’s expected that this will resume code generation in the previous
block before push_block
was called. This must also save the results
of the current block internally for instructions like ResultLift
to
use later.
sourcefn sizes(&self) -> &SizeAlign
fn sizes(&self) -> &SizeAlign
Returns size information that was previously calculated for all types.
sourcefn is_list_canonical(&self, iface: &Interface, element: &Type) -> bool
fn is_list_canonical(&self, iface: &Interface, 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.