pub struct WasmFuncType { /* private fields */ }
Expand description
WebAssembly function type – equivalent of wasmparser
’s FuncType.
Implementations§
source§impl WasmFuncType
impl WasmFuncType
sourcepub fn new(params: Box<[WasmValType]>, returns: Box<[WasmValType]>) -> Self
pub fn new(params: Box<[WasmValType]>, returns: Box<[WasmValType]>) -> Self
Creates a new function type from the provided params
and returns
.
sourcepub fn params(&self) -> &[WasmValType]
pub fn params(&self) -> &[WasmValType]
Function params types.
sourcepub fn non_i31_gc_ref_params_count(&self) -> usize
pub fn non_i31_gc_ref_params_count(&self) -> usize
How many externref
s are in this function’s params?
sourcepub fn returns(&self) -> &[WasmValType]
pub fn returns(&self) -> &[WasmValType]
Returns params types.
sourcepub fn non_i31_gc_ref_returns_count(&self) -> usize
pub fn non_i31_gc_ref_returns_count(&self) -> usize
How many externref
s are in this function’s returns?
sourcepub fn is_trampoline_type(&self) -> bool
pub fn is_trampoline_type(&self) -> bool
Is this function type compatible with trampoline usage in Wasmtime?
sourcepub fn trampoline_type(&self) -> Cow<'_, Self>
pub fn trampoline_type(&self) -> Cow<'_, Self>
Get the version of this function type that is suitable for usage as a trampoline in Wasmtime.
If this function is suitable for trampoline usage as-is, then a borrowed
Cow
is returned. If it must be tweaked for trampoline usage, then an
owned Cow
is returned.
§What is a trampoline type?
All reference types in parameters and results are mapped to their
nullable top type, e.g. (ref $my_struct_type)
becomes (ref null any)
.
This allows us to share trampolines between functions whose signatures
both map to the same trampoline type. It also allows the host to satisfy
a Wasm module’s function import of type S
with a function of type T
where T <: S
, even when the Wasm module never defines the type T
(and might never even be able to!)
The flip side is that this adds a constraint to our trampolines: they can only pass references around (e.g. move a reference from one calling convention’s location to another’s) and may not actually inspect the references themselves (unless the trampolines start doing explicit, fallible downcasts, but if we ever need that, then we might want to redesign this stuff).
Trait Implementations§
source§impl Clone for WasmFuncType
impl Clone for WasmFuncType
source§fn clone(&self) -> WasmFuncType
fn clone(&self) -> WasmFuncType
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for WasmFuncType
impl Debug for WasmFuncType
source§impl<'de> Deserialize<'de> for WasmFuncType
impl<'de> Deserialize<'de> for WasmFuncType
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
source§impl Display for WasmFuncType
impl Display for WasmFuncType
source§impl Hash for WasmFuncType
impl Hash for WasmFuncType
source§impl PartialEq for WasmFuncType
impl PartialEq for WasmFuncType
source§impl Serialize for WasmFuncType
impl Serialize for WasmFuncType
source§impl TypeTrace for WasmFuncType
impl TypeTrace for WasmFuncType
source§fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>
fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>
source§fn trace_engine_indices<F, E>(&self, func: &mut F) -> Result<(), E>
fn trace_engine_indices<F, E>(&self, func: &mut F) -> Result<(), E>
VMSharedTypeIndex
edges, ignoring other edges.source§fn canonicalize_for_runtime_usage<F>(&mut self, module_to_engine: &mut F)
fn canonicalize_for_runtime_usage<F>(&mut self, module_to_engine: &mut F)
self
by rewriting all type references inside self
from
module-level interned type indices to engine-level interned type
indices. Read moresource§fn is_canonicalized_for_runtime_usage(&self) -> bool
fn is_canonicalized_for_runtime_usage(&self) -> bool
source§fn canonicalize_for_hash_consing<F>(
&mut self,
rec_group_range: Range<ModuleInternedTypeIndex>,
module_to_engine: &mut F,
)
fn canonicalize_for_hash_consing<F>( &mut self, rec_group_range: Range<ModuleInternedTypeIndex>, module_to_engine: &mut F, )
self
by rewriting all type references inside self
from
module-level interned type indices to either engine-level interned type
indices or recgroup-relative indices. Read moresource§fn is_canonicalized_for_hash_consing(&self) -> bool
fn is_canonicalized_for_hash_consing(&self) -> bool
impl Eq for WasmFuncType
impl StructuralPartialEq for WasmFuncType
Auto Trait Implementations§
impl Freeze for WasmFuncType
impl RefUnwindSafe for WasmFuncType
impl Send for WasmFuncType
impl Sync for WasmFuncType
impl Unpin for WasmFuncType
impl UnwindSafe for WasmFuncType
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.