Module backend 

Backend trait and registry for multi-backend compilation

Every compiler backend (ARM, aWsm, wasker, w2c2) implements the Backend trait, allowing the CLI and verification framework to treat them uniformly.

Structs

BackendCapabilities

What a backend can and cannot do

BackendRegistry

Registry of available backends

CodeRelocation

CompilationResult

Result of compiling a full module

CompileConfig

Configuration for a compilation run

CompiledFunction

A single compiled function

Enums

BackendError

Errors from backend compilation

RelocKind

A relocation entry produced during compilation

SafetyBounds

Memory-bounds safety strategy. Phase 1 of docs/binary-safety-design.md §3.1.

Traits

Backend

Trait that every compilation backend implements

Type Aliases

LineMap

VCR-DBG-001: a per-instruction source map — (machine_offset_within_code, wasm_op_index) pairs, one per emitted machine instruction. A None op-index marks an instruction with no originating wasm op (prologue/epilogue, literal pool). Consumed by the DWARF .debug_line emitter; empty when no source map was produced.