pub trait FuncEnvironment: TargetEnvironment {
Show 48 methods
// Required methods
fn heap_access_spectre_mitigation(&self) -> bool;
fn proof_carrying_code(&self) -> bool;
fn make_global(
&mut self,
func: &mut Function,
index: GlobalIndex,
) -> WasmResult<GlobalVariable>;
fn heaps(&self) -> &PrimaryMap<Heap, HeapData>;
fn make_heap(
&mut self,
func: &mut Function,
index: MemoryIndex,
) -> WasmResult<Heap>;
fn make_indirect_sig(
&mut self,
func: &mut Function,
index: SignatureIndex,
) -> WasmResult<SigRef>;
fn make_direct_func(
&mut self,
func: &mut Function,
index: FunctionIndex,
) -> WasmResult<FuncRef>;
fn translate_call_indirect(
&mut self,
builder: &mut FunctionBuilder<'_>,
table_index: TableIndex,
sig_index: SignatureIndex,
sig_ref: SigRef,
callee: Value,
call_args: &[Value],
) -> WasmResult<Inst>;
fn translate_memory_grow(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
val: Value,
) -> WasmResult<Value>;
fn translate_memory_size(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
) -> WasmResult<Value>;
fn translate_memory_copy(
&mut self,
pos: FuncCursor<'_>,
src_index: MemoryIndex,
src_heap: Heap,
dst_index: MemoryIndex,
dst_heap: Heap,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>;
fn translate_memory_fill(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
dst: Value,
val: Value,
len: Value,
) -> WasmResult<()>;
fn translate_memory_init(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
seg_index: u32,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>;
fn translate_data_drop(
&mut self,
pos: FuncCursor<'_>,
seg_index: u32,
) -> WasmResult<()>;
fn translate_table_size(
&mut self,
pos: FuncCursor<'_>,
index: TableIndex,
) -> WasmResult<Value>;
fn translate_table_grow(
&mut self,
pos: FuncCursor<'_>,
table_index: TableIndex,
delta: Value,
init_value: Value,
) -> WasmResult<Value>;
fn translate_table_get(
&mut self,
builder: &mut FunctionBuilder<'_>,
table_index: TableIndex,
index: Value,
) -> WasmResult<Value>;
fn translate_table_set(
&mut self,
builder: &mut FunctionBuilder<'_>,
table_index: TableIndex,
value: Value,
index: Value,
) -> WasmResult<()>;
fn translate_table_copy(
&mut self,
pos: FuncCursor<'_>,
dst_table_index: TableIndex,
src_table_index: TableIndex,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>;
fn translate_table_fill(
&mut self,
pos: FuncCursor<'_>,
table_index: TableIndex,
dst: Value,
val: Value,
len: Value,
) -> WasmResult<()>;
fn translate_table_init(
&mut self,
pos: FuncCursor<'_>,
seg_index: u32,
table_index: TableIndex,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>;
fn translate_elem_drop(
&mut self,
pos: FuncCursor<'_>,
seg_index: u32,
) -> WasmResult<()>;
fn translate_ref_null(
&mut self,
pos: FuncCursor<'_>,
ty: HeapType,
) -> WasmResult<Value>;
fn translate_ref_func(
&mut self,
pos: FuncCursor<'_>,
func_index: FunctionIndex,
) -> WasmResult<Value>;
fn translate_custom_global_get(
&mut self,
pos: FuncCursor<'_>,
global_index: GlobalIndex,
) -> WasmResult<Value>;
fn translate_custom_global_set(
&mut self,
pos: FuncCursor<'_>,
global_index: GlobalIndex,
val: Value,
) -> WasmResult<()>;
fn translate_atomic_wait(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
addr: Value,
expected: Value,
timeout: Value,
) -> WasmResult<Value>;
fn translate_atomic_notify(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
addr: Value,
count: Value,
) -> WasmResult<Value>;
fn get_global_type(&self, global_index: GlobalIndex) -> Option<WasmerType>;
fn push_local_decl_on_stack(&mut self, ty: WasmerType);
fn push_params_on_stack(&mut self, function_index: LocalFunctionIndex);
fn get_local_type(&self, local_index: u32) -> Option<WasmerType>;
fn get_local_types(&self) -> &[WasmerType];
fn get_function_type(
&self,
function_index: FunctionIndex,
) -> Option<&FunctionType>;
fn get_function_sig(
&self,
sig_index: SignatureIndex,
) -> Option<&FunctionType>;
// Provided methods
fn is_wasm_parameter(&self, signature: &Signature, index: usize) -> bool { ... }
fn is_wasm_return(&self, signature: &Signature, index: usize) -> bool { ... }
fn return_mode(&self) -> ReturnMode { ... }
fn update_global(
&mut self,
_builder: &mut FunctionBuilder<'_>,
_global_index: u32,
_value: Value,
) { ... }
fn translate_call(
&mut self,
builder: &mut FunctionBuilder<'_>,
_callee_index: FunctionIndex,
callee: FuncRef,
call_args: &[Value],
) -> WasmResult<Inst> { ... }
fn translate_ref_is_null(
&mut self,
pos: FuncCursor<'_>,
value: Value,
) -> WasmResult<Value> { ... }
fn translate_loop_header(&mut self, _pos: FuncCursor<'_>) -> WasmResult<()> { ... }
fn before_translate_operator(
&mut self,
_op: &Operator<'_>,
_builder: &mut FunctionBuilder<'_>,
_state: &FuncTranslationState,
) -> WasmResult<()> { ... }
fn after_translate_operator(
&mut self,
_op: &Operator<'_>,
_builder: &mut FunctionBuilder<'_>,
_state: &FuncTranslationState,
) -> WasmResult<()> { ... }
fn before_unconditionally_trapping_memory_access(
&mut self,
_builder: &mut FunctionBuilder<'_>,
) -> WasmResult<()> { ... }
fn handle_before_return(
&mut self,
_retvals: &[Value],
_builder: &mut FunctionBuilder<'_>,
) { ... }
fn before_load(
&mut self,
_builder: &mut FunctionBuilder<'_>,
_val_size: u8,
_addr: Value,
_offset: u64,
) { ... }
fn before_store(
&mut self,
_builder: &mut FunctionBuilder<'_>,
_val_size: u8,
_addr: Value,
_offset: u64,
) { ... }
}
Expand description
Environment affecting the translation of a single WebAssembly function.
A FuncEnvironment
trait object is required to translate a WebAssembly function to Cranelift
IR. The function environment provides information about the WebAssembly module as well as the
runtime environment.
Required Methods§
sourcefn heap_access_spectre_mitigation(&self) -> bool
fn heap_access_spectre_mitigation(&self) -> bool
Whether to enable Spectre mitigations for heap accesses.
sourcefn proof_carrying_code(&self) -> bool
fn proof_carrying_code(&self) -> bool
Whether to add proof-carrying-code facts to verify memory accesses.
sourcefn make_global(
&mut self,
func: &mut Function,
index: GlobalIndex,
) -> WasmResult<GlobalVariable>
fn make_global( &mut self, func: &mut Function, index: GlobalIndex, ) -> WasmResult<GlobalVariable>
Set up the necessary preamble definitions in func
to access the global variable
identified by index
.
The index space covers both imported globals and globals defined by the module.
Return the global variable reference that should be used to access the global and the WebAssembly type of the global.
sourcefn heaps(&self) -> &PrimaryMap<Heap, HeapData>
fn heaps(&self) -> &PrimaryMap<Heap, HeapData>
Get the heaps for this function environment.
The returned map should provide heap format details (encoded in
HeapData
) for each Heap
that was previously returned by
make_heap()
. The translator will first call make_heap for each Wasm
memory, and then later when translating code, will invoke heaps()
to
learn how to access the environment’s implementation of each memory.
sourcefn make_heap(
&mut self,
func: &mut Function,
index: MemoryIndex,
) -> WasmResult<Heap>
fn make_heap( &mut self, func: &mut Function, index: MemoryIndex, ) -> WasmResult<Heap>
Set up the necessary preamble definitions in func
to access the linear memory identified
by index
.
The index space covers both imported and locally declared memories.
sourcefn make_indirect_sig(
&mut self,
func: &mut Function,
index: SignatureIndex,
) -> WasmResult<SigRef>
fn make_indirect_sig( &mut self, func: &mut Function, index: SignatureIndex, ) -> WasmResult<SigRef>
Set up a signature definition in the preamble of func
that can be used for an indirect
call with signature index
.
The signature may contain additional arguments needed for an indirect call, but the
arguments marked as ArgumentPurpose::Normal
must correspond to the WebAssembly signature
arguments.
The signature will only be used for indirect calls, even if the module has direct function calls with the same WebAssembly type.
sourcefn make_direct_func(
&mut self,
func: &mut Function,
index: FunctionIndex,
) -> WasmResult<FuncRef>
fn make_direct_func( &mut self, func: &mut Function, index: FunctionIndex, ) -> WasmResult<FuncRef>
Set up an external function definition in the preamble of func
that can be used to
directly call the function index
.
The index space covers both imported functions and functions defined in the current module.
The function’s signature may contain additional arguments needed for a direct call, but the
arguments marked as ArgumentPurpose::Normal
must correspond to the WebAssembly signature
arguments.
The function’s signature will only be used for direct calls, even if the module has indirect calls with the same WebAssembly type.
sourcefn translate_call_indirect(
&mut self,
builder: &mut FunctionBuilder<'_>,
table_index: TableIndex,
sig_index: SignatureIndex,
sig_ref: SigRef,
callee: Value,
call_args: &[Value],
) -> WasmResult<Inst>
fn translate_call_indirect( &mut self, builder: &mut FunctionBuilder<'_>, table_index: TableIndex, sig_index: SignatureIndex, sig_ref: SigRef, callee: Value, call_args: &[Value], ) -> WasmResult<Inst>
Translate a call_indirect
WebAssembly instruction at pos
.
Insert instructions at pos
for an indirect call to the function callee
in the table
table_index
with WebAssembly signature sig_index
. The callee
value will have type
i32
.
The signature sig_ref
was previously created by make_indirect_sig()
.
Return the call instruction whose results are the WebAssembly return values.
Returns None
if this statically traps instead of creating a call
instruction.
sourcefn translate_memory_grow(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
val: Value,
) -> WasmResult<Value>
fn translate_memory_grow( &mut self, pos: FuncCursor<'_>, index: MemoryIndex, heap: Heap, val: Value, ) -> WasmResult<Value>
Translate a memory.grow
WebAssembly instruction.
The index
provided identifies the linear memory to grow, and heap
is the heap reference
returned by make_heap
for the same index.
The val
value is the requested memory size in pages.
Returns the old size (in pages) of the memory.
sourcefn translate_memory_size(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
) -> WasmResult<Value>
fn translate_memory_size( &mut self, pos: FuncCursor<'_>, index: MemoryIndex, heap: Heap, ) -> WasmResult<Value>
Translates a memory.size
WebAssembly instruction.
The index
provided identifies the linear memory to query, and heap
is the heap reference
returned by make_heap
for the same index.
Returns the size in pages of the memory.
sourcefn translate_memory_copy(
&mut self,
pos: FuncCursor<'_>,
src_index: MemoryIndex,
src_heap: Heap,
dst_index: MemoryIndex,
dst_heap: Heap,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>
fn translate_memory_copy( &mut self, pos: FuncCursor<'_>, src_index: MemoryIndex, src_heap: Heap, dst_index: MemoryIndex, dst_heap: Heap, dst: Value, src: Value, len: Value, ) -> WasmResult<()>
Translate a memory.copy
WebAssembly instruction.
The index
provided identifies the linear memory to query, and heap
is the heap reference
returned by make_heap
for the same index.
sourcefn translate_memory_fill(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
dst: Value,
val: Value,
len: Value,
) -> WasmResult<()>
fn translate_memory_fill( &mut self, pos: FuncCursor<'_>, index: MemoryIndex, heap: Heap, dst: Value, val: Value, len: Value, ) -> WasmResult<()>
Translate a memory.fill
WebAssembly instruction.
The index
provided identifies the linear memory to query, and heap
is the heap reference
returned by make_heap
for the same index.
sourcefn translate_memory_init(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
seg_index: u32,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>
fn translate_memory_init( &mut self, pos: FuncCursor<'_>, index: MemoryIndex, heap: Heap, seg_index: u32, dst: Value, src: Value, len: Value, ) -> WasmResult<()>
Translate a memory.init
WebAssembly instruction.
The index
provided identifies the linear memory to query, and heap
is the heap reference
returned by make_heap
for the same index. seg_index
is the index of the segment to copy
from.
sourcefn translate_data_drop(
&mut self,
pos: FuncCursor<'_>,
seg_index: u32,
) -> WasmResult<()>
fn translate_data_drop( &mut self, pos: FuncCursor<'_>, seg_index: u32, ) -> WasmResult<()>
Translate a data.drop
WebAssembly instruction.
sourcefn translate_table_size(
&mut self,
pos: FuncCursor<'_>,
index: TableIndex,
) -> WasmResult<Value>
fn translate_table_size( &mut self, pos: FuncCursor<'_>, index: TableIndex, ) -> WasmResult<Value>
Translate a table.size
WebAssembly instruction.
sourcefn translate_table_grow(
&mut self,
pos: FuncCursor<'_>,
table_index: TableIndex,
delta: Value,
init_value: Value,
) -> WasmResult<Value>
fn translate_table_grow( &mut self, pos: FuncCursor<'_>, table_index: TableIndex, delta: Value, init_value: Value, ) -> WasmResult<Value>
Translate a table.grow
WebAssembly instruction.
sourcefn translate_table_get(
&mut self,
builder: &mut FunctionBuilder<'_>,
table_index: TableIndex,
index: Value,
) -> WasmResult<Value>
fn translate_table_get( &mut self, builder: &mut FunctionBuilder<'_>, table_index: TableIndex, index: Value, ) -> WasmResult<Value>
Translate a table.get
WebAssembly instruction.
sourcefn translate_table_set(
&mut self,
builder: &mut FunctionBuilder<'_>,
table_index: TableIndex,
value: Value,
index: Value,
) -> WasmResult<()>
fn translate_table_set( &mut self, builder: &mut FunctionBuilder<'_>, table_index: TableIndex, value: Value, index: Value, ) -> WasmResult<()>
Translate a table.set
WebAssembly instruction.
sourcefn translate_table_copy(
&mut self,
pos: FuncCursor<'_>,
dst_table_index: TableIndex,
src_table_index: TableIndex,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>
fn translate_table_copy( &mut self, pos: FuncCursor<'_>, dst_table_index: TableIndex, src_table_index: TableIndex, dst: Value, src: Value, len: Value, ) -> WasmResult<()>
Translate a table.copy
WebAssembly instruction.
sourcefn translate_table_fill(
&mut self,
pos: FuncCursor<'_>,
table_index: TableIndex,
dst: Value,
val: Value,
len: Value,
) -> WasmResult<()>
fn translate_table_fill( &mut self, pos: FuncCursor<'_>, table_index: TableIndex, dst: Value, val: Value, len: Value, ) -> WasmResult<()>
Translate a table.fill
WebAssembly instruction.
sourcefn translate_table_init(
&mut self,
pos: FuncCursor<'_>,
seg_index: u32,
table_index: TableIndex,
dst: Value,
src: Value,
len: Value,
) -> WasmResult<()>
fn translate_table_init( &mut self, pos: FuncCursor<'_>, seg_index: u32, table_index: TableIndex, dst: Value, src: Value, len: Value, ) -> WasmResult<()>
Translate a table.init
WebAssembly instruction.
sourcefn translate_elem_drop(
&mut self,
pos: FuncCursor<'_>,
seg_index: u32,
) -> WasmResult<()>
fn translate_elem_drop( &mut self, pos: FuncCursor<'_>, seg_index: u32, ) -> WasmResult<()>
Translate a elem.drop
WebAssembly instruction.
sourcefn translate_ref_null(
&mut self,
pos: FuncCursor<'_>,
ty: HeapType,
) -> WasmResult<Value>
fn translate_ref_null( &mut self, pos: FuncCursor<'_>, ty: HeapType, ) -> WasmResult<Value>
Translate a ref.null T
WebAssembly instruction.
By default, translates into a null reference type.
Override this if you don’t use Cranelift reference types for all Wasm
reference types (e.g. you use a raw pointer for funcref
s) or if the
null sentinel is not a null reference type pointer for your type. If you
override this method, then you should also override
translate_ref_is_null
as well.
sourcefn translate_ref_func(
&mut self,
pos: FuncCursor<'_>,
func_index: FunctionIndex,
) -> WasmResult<Value>
fn translate_ref_func( &mut self, pos: FuncCursor<'_>, func_index: FunctionIndex, ) -> WasmResult<Value>
Translate a ref.func
WebAssembly instruction.
sourcefn translate_custom_global_get(
&mut self,
pos: FuncCursor<'_>,
global_index: GlobalIndex,
) -> WasmResult<Value>
fn translate_custom_global_get( &mut self, pos: FuncCursor<'_>, global_index: GlobalIndex, ) -> WasmResult<Value>
Translate a global.get
WebAssembly instruction at pos
for a global
that is custom.
sourcefn translate_custom_global_set(
&mut self,
pos: FuncCursor<'_>,
global_index: GlobalIndex,
val: Value,
) -> WasmResult<()>
fn translate_custom_global_set( &mut self, pos: FuncCursor<'_>, global_index: GlobalIndex, val: Value, ) -> WasmResult<()>
Translate a global.set
WebAssembly instruction at pos
for a global
that is custom.
sourcefn translate_atomic_wait(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
addr: Value,
expected: Value,
timeout: Value,
) -> WasmResult<Value>
fn translate_atomic_wait( &mut self, pos: FuncCursor<'_>, index: MemoryIndex, heap: Heap, addr: Value, expected: Value, timeout: Value, ) -> WasmResult<Value>
Translate an i32.atomic.wait
or i64.atomic.wait
WebAssembly instruction.
The index
provided identifies the linear memory containing the value
to wait on, and heap
is the heap reference returned by make_heap
for the same index. Whether the waited-on value is 32- or 64-bit can be
determined by examining the type of expected
, which must be only I32 or I64.
Returns an i32, which is negative if the helper call failed.
sourcefn translate_atomic_notify(
&mut self,
pos: FuncCursor<'_>,
index: MemoryIndex,
heap: Heap,
addr: Value,
count: Value,
) -> WasmResult<Value>
fn translate_atomic_notify( &mut self, pos: FuncCursor<'_>, index: MemoryIndex, heap: Heap, addr: Value, count: Value, ) -> WasmResult<Value>
Translate an atomic.notify
WebAssembly instruction.
The index
provided identifies the linear memory containing the value
to wait on, and heap
is the heap reference returned by make_heap
for the same index.
Returns an i64, which is negative if the helper call failed.
sourcefn get_global_type(&self, global_index: GlobalIndex) -> Option<WasmerType>
fn get_global_type(&self, global_index: GlobalIndex) -> Option<WasmerType>
Get the type of the global at the given index.
sourcefn push_local_decl_on_stack(&mut self, ty: WasmerType)
fn push_local_decl_on_stack(&mut self, ty: WasmerType)
Push a local declaration on to the stack to track the type of locals.
sourcefn push_params_on_stack(&mut self, function_index: LocalFunctionIndex)
fn push_params_on_stack(&mut self, function_index: LocalFunctionIndex)
Push locals for a the params of a function on to the stack.
sourcefn get_local_type(&self, local_index: u32) -> Option<WasmerType>
fn get_local_type(&self, local_index: u32) -> Option<WasmerType>
Get the type of the local at the given index.
sourcefn get_local_types(&self) -> &[WasmerType]
fn get_local_types(&self) -> &[WasmerType]
Get the types of all the current locals.
sourcefn get_function_type(
&self,
function_index: FunctionIndex,
) -> Option<&FunctionType>
fn get_function_type( &self, function_index: FunctionIndex, ) -> Option<&FunctionType>
Get the type of the local at the given index.
sourcefn get_function_sig(&self, sig_index: SignatureIndex) -> Option<&FunctionType>
fn get_function_sig(&self, sig_index: SignatureIndex) -> Option<&FunctionType>
Get the type of a function with the given signature index.
Provided Methods§
sourcefn is_wasm_parameter(&self, signature: &Signature, index: usize) -> bool
fn is_wasm_parameter(&self, signature: &Signature, index: usize) -> bool
Is the given parameter of the given function a wasm-level parameter, as opposed to a hidden parameter added for use by the implementation?
sourcefn is_wasm_return(&self, signature: &Signature, index: usize) -> bool
fn is_wasm_return(&self, signature: &Signature, index: usize) -> bool
Is the given return of the given function a wasm-level parameter, as opposed to a hidden parameter added for use by the implementation?
sourcefn return_mode(&self) -> ReturnMode
fn return_mode(&self) -> ReturnMode
Should the code be structured to use a single fallthrough_return
instruction at the end
of the function body, rather than return
instructions as needed? This is used by VMs
to append custom epilogues.
sourcefn update_global(
&mut self,
_builder: &mut FunctionBuilder<'_>,
_global_index: u32,
_value: Value,
)
fn update_global( &mut self, _builder: &mut FunctionBuilder<'_>, _global_index: u32, _value: Value, )
Inserts code before updating a global.
sourcefn translate_call(
&mut self,
builder: &mut FunctionBuilder<'_>,
_callee_index: FunctionIndex,
callee: FuncRef,
call_args: &[Value],
) -> WasmResult<Inst>
fn translate_call( &mut self, builder: &mut FunctionBuilder<'_>, _callee_index: FunctionIndex, callee: FuncRef, call_args: &[Value], ) -> WasmResult<Inst>
Translate a call
WebAssembly instruction at pos
.
Insert instructions at pos
for a direct call to the function callee_index
.
The function reference callee
was previously created by make_direct_func()
.
Return the call instruction whose results are the WebAssembly return values.
sourcefn translate_ref_is_null(
&mut self,
pos: FuncCursor<'_>,
value: Value,
) -> WasmResult<Value>
fn translate_ref_is_null( &mut self, pos: FuncCursor<'_>, value: Value, ) -> WasmResult<Value>
Translate a ref.is_null
WebAssembly instruction.
By default, assumes that value
is a Cranelift reference type, and that
a null Cranelift reference type is the null value for all Wasm reference
types.
If you override this method, you probably also want to override
translate_ref_null
as well.
sourcefn translate_loop_header(&mut self, _pos: FuncCursor<'_>) -> WasmResult<()>
fn translate_loop_header(&mut self, _pos: FuncCursor<'_>) -> WasmResult<()>
Emit code at the beginning of every wasm loop.
This can be used to insert explicit interrupt or safepoint checking at the beginnings of loops.
sourcefn before_translate_operator(
&mut self,
_op: &Operator<'_>,
_builder: &mut FunctionBuilder<'_>,
_state: &FuncTranslationState,
) -> WasmResult<()>
fn before_translate_operator( &mut self, _op: &Operator<'_>, _builder: &mut FunctionBuilder<'_>, _state: &FuncTranslationState, ) -> WasmResult<()>
Optional callback for the FunctionEnvMutironment
performing this translation to maintain
internal state or prepare custom state for the operator to translate
sourcefn after_translate_operator(
&mut self,
_op: &Operator<'_>,
_builder: &mut FunctionBuilder<'_>,
_state: &FuncTranslationState,
) -> WasmResult<()>
fn after_translate_operator( &mut self, _op: &Operator<'_>, _builder: &mut FunctionBuilder<'_>, _state: &FuncTranslationState, ) -> WasmResult<()>
Optional callback for the FunctionEnvMutironment
performing this translation to maintain
internal state or finalize custom state for the operator that was translated
sourcefn before_unconditionally_trapping_memory_access(
&mut self,
_builder: &mut FunctionBuilder<'_>,
) -> WasmResult<()>
fn before_unconditionally_trapping_memory_access( &mut self, _builder: &mut FunctionBuilder<'_>, ) -> WasmResult<()>
Optional callback for the FuncEnvironment
performing this translation
to maintain, prepare, or finalize custom, internal state when we
statically determine that a Wasm memory access will unconditionally
trap, rendering the rest of the block unreachable. Called just before
the unconditional trap is emitted.
sourcefn handle_before_return(
&mut self,
_retvals: &[Value],
_builder: &mut FunctionBuilder<'_>,
)
fn handle_before_return( &mut self, _retvals: &[Value], _builder: &mut FunctionBuilder<'_>, )
Inserts code before a function return.
sourcefn before_load(
&mut self,
_builder: &mut FunctionBuilder<'_>,
_val_size: u8,
_addr: Value,
_offset: u64,
)
fn before_load( &mut self, _builder: &mut FunctionBuilder<'_>, _val_size: u8, _addr: Value, _offset: u64, )
Inserts code before a load.
sourcefn before_store(
&mut self,
_builder: &mut FunctionBuilder<'_>,
_val_size: u8,
_addr: Value,
_offset: u64,
)
fn before_store( &mut self, _builder: &mut FunctionBuilder<'_>, _val_size: u8, _addr: Value, _offset: u64, )
Inserts code before a store.