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

VolatileRange

#543 — an integrator-marked volatile linear-memory segment (the DMA transfer window): the half-open byte range [base, base + len) of the fused linear memory that an external agent rewrites out-of-band. Parsed from the CLI --volatile-segment <base>:<len> flag. See CompileConfig::volatile_segments for the Phase-1/Phase-2 split.

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.