Struct cranelift_wasm::DummyEnvironment

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

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§

source§

impl DummyEnvironment

source

pub fn new(config: TargetFrontendConfig) -> Self

Creates a new DummyEnvironment instance.

source

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

Return a DummyFuncEnvironment for translating functions within this DummyEnvironment.

source

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

Get the type for the function at the given index.

source

pub fn get_num_func_imports(&self) -> usize

Return the number of imported functions within this DummyEnvironment.

source

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.

source

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§

source§

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

source§

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

Declares a function signature to the environment.
source§

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

Declares a function import to the environment.
source§

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

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

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

Declares a global to the environment.
source§

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

Declares a global import to the environment.
source§

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

Declares a table to the environment.
source§

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

Declares a table import to the environment.
source§

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.
source§

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

Declare a passive element segment.
source§

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

Declare a passive data segment.
source§

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

Declares a memory to the environment
source§

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

Declares a memory import to the environment.
source§

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.
source§

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

Declares a function export to the environment.
source§

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

Declares a table export to the environment.
source§

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

Declares a memory export to the environment.
source§

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

Declares a global export to the environment.
source§

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

Declares the optional start function.
source§

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

Provides the contents of a function body.
source§

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

Declares the name of a module to the environment. Read more
source§

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

Declares the name of a function to the environment. Read more
source§

fn wasm_features(&self) -> WasmFeatures

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

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.
source§

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.
source§

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.
source§

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

Declares an tag import to the environment.
source§

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

Notifies the implementation that all imports have been declared.
source§

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.
source§

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.
source§

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.
source§

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.
source§

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

Declares an tag to the environment
source§

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.
source§

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.
source§

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

Declares an tag export to the environment.
source§

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

Notifies the implementation that all exports have been declared.
source§

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.
source§

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

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

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

Provides the number of passive data segments up front. Read more
source§

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.
source§

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.
source§

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. Read more
source§

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

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

impl TargetEnvironment for DummyEnvironment

source§

fn target_config(&self) -> TargetFrontendConfig

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

fn heap_access_spectre_mitigation(&self) -> bool

Whether to enable Spectre mitigations for heap accesses.
source§

fn proof_carrying_code(&self) -> bool

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

fn pointer_type(&self) -> Type

Get the Cranelift integer type to use for native pointers. Read more
source§

fn pointer_bytes(&self) -> u8

Get the size of a native pointer, in bytes.
source§

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

Get the Cranelift reference type to use for the given Wasm reference type. Read more
source§

impl TypeConvert for DummyEnvironment

source§

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

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

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

Converts a wasmparser table type into a wasmtime type
source§

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

Converts a wasmparser table type into a wasmtime type
source§

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

Converts a wasmparser function type to a wasmtime type
source§

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

Converts a wasmparser value type to a wasmtime type
source§

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

Converts a wasmparser reference type to a wasmtime type
source§

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

Converts a wasmparser heap type to a wasmtime type

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.