Crate cranelift_wasm

Performs translation from a wasm module in binary format to the in-memory form of Cranelift IR. More particularly, it translates the code of all the functions bodies and interacts with an environment implementing the ModuleEnvironment trait to deal with tables, globals and linear memory.

The crate provides a DummyEnvironment struct that will allow to translate the code of the functions but will fail at execution.

The main function of this module is translate_module.

Re-exports

• pub use wasmparser;

Modules

• wasmparser
  A simple event-driven library for parsing WebAssembly binary files (or streams).

Macros

• wasm_unsupported
  Return an Err(WasmError::Unsupported(msg)) where msg the string built by calling format! on the arguments to this macro.

Structs

• DataIndex
  Index type of a passive data segment inside the WebAssembly module.
• DefinedFuncIndex
  Index type of a defined function inside the WebAssembly module.
• DefinedGlobalIndex
  Index type of a defined global inside the WebAssembly module.
• DefinedMemoryIndex
  Index type of a defined memory inside the WebAssembly module.
• DefinedTableIndex
  Index type of a defined table inside the WebAssembly module.
• DummyEnvironment
  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.
• DummyFuncEnvironment
  The FuncEnvironment implementation for use by the DummyEnvironment.
• DummyModuleInfo
  The main state belonging to a DummyEnvironment. This is split out from DummyEnvironment to allow it to be borrowed separately from the FuncTranslator field.
• ElemIndex
  Index type of a passive element segment inside the WebAssembly module.
• ExpectedReachability
  State for tracking and checking reachability at each operator. Used for unit testing with the DummyEnvironment.
• FuncIndex
  Index type of a function (imported or defined) inside the WebAssembly module.
• FuncTranslationState
  Contains information passed along during a function’s translation and that records:
• FuncTranslator
  WebAssembly to Cranelift IR function translator.
• FunctionBuilder
  Temporary object used to build a single Cranelift IR Function.
• Global
  A WebAssembly global.
• GlobalIndex
  Index type of a global variable (imported or defined) inside the WebAssembly module.
• Heap
  An opaque reference to a HeapData.
• HeapData
  A heap implementing a WebAssembly linear memory.
• Memory
  WebAssembly linear memory.
• MemoryIndex
  Index type of a linear memory (imported or defined) inside the WebAssembly module.
• ModuleInternedTypeIndex
  Index type of a deduplicated type (imported or defined) inside a WebAssembly module.
• OwnedMemoryIndex
  Index type of a defined memory inside the WebAssembly module.
• StaticModuleIndex
  Index into the global list of modules found within an entire component.
• Table
  WebAssembly table.
• TableIndex
  Index type of a table (imported or defined) inside the WebAssembly module.
• Tag
  WebAssembly event.
• TagIndex
  Index type of an event inside the WebAssembly module.
• TypeIndex
  Index type of a type (imported or defined) inside the WebAssembly module.
• WasmFuncType
  WebAssembly function type – equivalent of wasmparser’s FuncType.
• WasmRefType
  WebAssembly reference type – equivalent of wasmparser’s RefType

Enums

• EngineOrModuleTypeIndex
  An interned type index, either at the module or engine level.
• EntityIndex
  An index of an entity.
• EntityType
  A type of an item in a wasm module where an item is typically something that can be exported.
• GlobalInit
  Globals are initialized via the const operators or by referring to another import.
• GlobalVariable
  The value of a WebAssembly global variable.
• HeapStyle
  Style of heap including style-specific information.
• WasmError
  A WebAssembly translation error.
• WasmHeapType
  WebAssembly heap type – equivalent of wasmparser’s HeapType
• WasmValType
  WebAssembly value type – equivalent of wasmparser::ValType.

Constants

• VERSION
  Version number of this crate.

Traits

• FuncEnvironment
  Environment affecting the translation of a single WebAssembly function.
• ModuleEnvironment
  An object satisfying the ModuleEnvironment trait can be passed as argument to the translate_module function. These methods should not be called by the user, they are only for cranelift-wasm internal use.
• TargetEnvironment
  Environment affecting the translation of a WebAssembly.
• TypeConvert
  Helpers used to convert a wasmparser type to a type in this crate.
• TypeTrace
  A trait for things that can trace all type-to-type edges, aka all type indices within this thing.

Functions

• block_with_params
  Create a Block with the given Wasm parameters.
• blocktype_params_results
  Get the parameter and result types for the given Wasm blocktype.
• f32_translation
  Turns a wasmparser f32 into a Cranelift one.
• f64_translation
  Turns a wasmparser f64 into a Cranelift one.
• get_vmctx_value_label
  Special VMContext value label. It is tracked as 0xffff_fffe label.
• translate_module
  Translate a sequence of bytes forming a valid Wasm binary into a list of valid Cranelift IR Function.

Type Aliases

• WasmResult
  A convenient alias for a Result that uses WasmError as the error type.