Struct cranelift_wasm::DummyEnvironment

pub struct DummyEnvironment {
    pub info: DummyModuleInfo,
    pub trans: FuncTranslator,
    pub func_bytecode_sizes: Vec<usize>,
    pub module_name: Option<String>,
    /* private fields */
}

This ModuleEnvironment implementation is a “naïve” one, doing essentially nothing and emitting placeholders when forced to. Don’t try to execute code translated for this environment, essentially here for translation debug purposes.

Fields

info: DummyModuleInfo

Module information.

trans: FuncTranslator

Function translation.

func_bytecode_sizes: Vec<usize>

Vector of wasm bytecode size for each function.

module_name: Option<String>

Name of the module from the wasm file.

Implementations

impl DummyEnvironment

pub fn new(config: TargetFrontendConfig) -> Self

Creates a new DummyEnvironment instance.

pub fn func_env(&self) -> DummyFuncEnvironment<'_>

Return a DummyFuncEnvironment for translating functions within this DummyEnvironment.

pub fn get_func_type(&self, func_index: FuncIndex) -> TypeIndex

Get the type for the function at the given index.

pub fn get_num_func_imports(&self) -> usize

Return the number of imported functions within this DummyEnvironment.

pub fn get_func_name(&self, func_index: FuncIndex) -> Option<&str>

Return the name of the function, if a name for the function with the corresponding index exists.

pub fn test_expected_reachability(&mut self, reachability: Vec<(bool, bool)>)

Test reachability bits before and after every opcode during translation, as provided by the FuncTranslationState. This is generally used only for unit tests. This is applied to every function in the module (so is likely only useful for test modules with one function).

Trait Implementations

impl<'data> ModuleEnvironment<'data> for DummyEnvironment

fn declare_type_func(&mut self, wasm: WasmFuncType) -> WasmResult<()>

Declares a function signature to the environment.

fn declare_func_import( &mut self, index: TypeIndex, module: &'data str, field: &'data str ) -> WasmResult<()>

Declares a function import to the environment.

fn declare_func_type(&mut self, index: TypeIndex) -> WasmResult<()>

Declares the type (signature) of a local function in the module.

fn declare_global( &mut self, global: Global, _init: GlobalInit ) -> WasmResult<()>

Declares a global to the environment.

fn declare_global_import( &mut self, global: Global, module: &'data str, field: &'data str ) -> WasmResult<()>

Declares a global import to the environment.

fn declare_table(&mut self, table: Table) -> WasmResult<()>

Declares a table to the environment.

fn declare_table_import( &mut self, table: Table, module: &'data str, field: &'data str ) -> WasmResult<()>

Declares a table import to the environment.

fn declare_table_elements( &mut self, _table_index: TableIndex, _base: Option<GlobalIndex>, _offset: u32, _elements: Box<[FuncIndex]> ) -> WasmResult<()>

Fills a declared table with references to functions in the module.

fn declare_passive_element( &mut self, _elem_index: ElemIndex, _segments: Box<[FuncIndex]> ) -> WasmResult<()>

Declare a passive element segment.

fn declare_passive_data( &mut self, _elem_index: DataIndex, _segments: &'data [u8] ) -> WasmResult<()>

Declare a passive data segment.

fn declare_memory(&mut self, memory: Memory) -> WasmResult<()>

Declares a memory to the environment

fn declare_memory_import( &mut self, memory: Memory, module: &'data str, field: &'data str ) -> WasmResult<()>

Declares a memory import to the environment.

fn declare_data_initialization( &mut self, _memory_index: MemoryIndex, _base: Option<GlobalIndex>, _offset: u64, _data: &'data [u8] ) -> WasmResult<()>

Fills a declared memory with bytes at module instantiation.

fn declare_func_export( &mut self, func_index: FuncIndex, name: &'data str ) -> WasmResult<()>

Declares a function export to the environment.

fn declare_table_export( &mut self, table_index: TableIndex, name: &'data str ) -> WasmResult<()>

Declares a table export to the environment.

fn declare_memory_export( &mut self, memory_index: MemoryIndex, name: &'data str ) -> WasmResult<()>

Declares a memory export to the environment.

fn declare_global_export( &mut self, global_index: GlobalIndex, name: &'data str ) -> WasmResult<()>

Declares a global export to the environment.

fn declare_start_func(&mut self, func_index: FuncIndex) -> WasmResult<()>

Declares the optional start function.

fn define_function_body( &mut self, validator: FuncValidator<ValidatorResources>, body: FunctionBody<'data> ) -> WasmResult<()>

Provides the contents of a function body.

fn declare_module_name(&mut self, name: &'data str)

Declares the name of a module to the environment.

fn declare_func_name(&mut self, func_index: FuncIndex, name: &'data str)

Declares the name of a function to the environment.

fn wasm_features(&self) -> WasmFeatures

Returns the list of enabled wasm features this translation will be using.

fn reserve_types(&mut self, _num: u32) -> WasmResult<()>

Provides the number of types up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn type_to_signature( &self, index: TypeIndex ) -> WasmResult<ModuleInternedTypeIndex>

Translates a type index to its signature index, only called for type indices which point to functions.

fn reserve_imports(&mut self, _num: u32) -> WasmResult<()>

Provides the number of imports up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn declare_tag_import( &mut self, tag: Tag, module: &'data str, field: &'data str ) -> WasmResult<()>

Declares an tag import to the environment.

fn finish_imports(&mut self) -> WasmResult<()>

Notifies the implementation that all imports have been declared.

fn reserve_func_types(&mut self, _num: u32) -> WasmResult<()>

Provides the number of defined functions up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn reserve_tables(&mut self, _num: u32) -> WasmResult<()>

Provides the number of defined tables up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn reserve_memories(&mut self, _num: u32) -> WasmResult<()>

Provides the number of defined memories up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn reserve_tags(&mut self, _num: u32) -> WasmResult<()>

Provides the number of defined tags up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn declare_tag(&mut self, tag: Tag) -> WasmResult<()>

Declares an tag to the environment

fn reserve_globals(&mut self, _num: u32) -> WasmResult<()>

Provides the number of defined globals up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn reserve_exports(&mut self, _num: u32) -> WasmResult<()>

Provides the number of exports up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn declare_tag_export( &mut self, tag_index: TagIndex, name: &'data str ) -> WasmResult<()>

Declares an tag export to the environment.

fn finish_exports(&mut self) -> WasmResult<()>

Notifies the implementation that all exports have been declared.

fn reserve_table_elements(&mut self, _num: u32) -> WasmResult<()>

Provides the number of element initializers up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn declare_elements(&mut self, elements: Box<[FuncIndex]>) -> WasmResult<()>

Indicates that a declarative element segment was seen in the wasm module.

fn reserve_passive_data(&mut self, count: u32) -> WasmResult<()>

Provides the number of passive data segments up front.

fn reserve_function_bodies(&mut self, bodies: u32, code_section_offset: u64)

Indicates how many functions the code section reports and the byte offset of where the code sections starts.

fn reserve_data_initializers(&mut self, _num: u32) -> WasmResult<()>

Provides the number of data initializers up front. By default this does nothing, but implementations can use this to preallocate memory if desired.

fn declare_local_name( &mut self, _func_index: FuncIndex, _local_index: u32, _name: &'data str )

Declares the name of a function’s local to the environment.

fn custom_section( &mut self, _name: &'data str, _data: &'data [u8] ) -> WasmResult<()>

Indicates that a custom section has been found in the wasm file

impl TargetEnvironment for DummyEnvironment

fn target_config(&self) -> TargetFrontendConfig

Get the information needed to produce Cranelift IR for the given target.

fn heap_access_spectre_mitigation(&self) -> bool

Whether to enable Spectre mitigations for heap accesses.

fn proof_carrying_code(&self) -> bool

Whether to add proof-carrying-code facts to verify memory accesses.

fn pointer_type(&self) -> Type

Get the Cranelift integer type to use for native pointers.

fn pointer_bytes(&self) -> u8

Get the size of a native pointer, in bytes.

fn reference_type(&self, ty: WasmHeapType) -> Type

Get the Cranelift reference type to use for the given Wasm reference type.

impl TypeConvert for DummyEnvironment

fn lookup_heap_type(&self, _index: UnpackedIndex) -> WasmHeapType

Converts the specified type index from a heap type into a canonicalized heap type.

fn convert_global_type(&self, ty: &GlobalType) -> Global

Converts a wasmparser table type into a wasmtime type

fn convert_table_type(&self, ty: &TableType) -> Table

Converts a wasmparser table type into a wasmtime type

fn convert_func_type(&self, ty: &FuncType) -> WasmFuncType

Converts a wasmparser function type to a wasmtime type

fn convert_valtype(&self, ty: ValType) -> WasmValType

Converts a wasmparser value type to a wasmtime type

fn convert_ref_type(&self, ty: RefType) -> WasmRefType

Converts a wasmparser reference type to a wasmtime type

fn convert_heap_type(&self, ty: HeapType) -> WasmHeapType

Converts a wasmparser heap type to a wasmtime type