#Wasm MachV Lowering

Milky2018/wasm_machv validates WebAssembly-specific MilkIR extensions and lowers them into target-neutral MachV. It does not select AArch64 or AMD64 instructions, apply a native ABI, or depend on the Wasmoon runtime.

The embedding environment supplies opaque internal function identities and, as later operation families are migrated, the semantic runtime capabilities required by WebAssembly memory, tables, GC, and exceptions.

lower_function also requires a short-lived WasmValidationContext supplied by the Wasm frontend adapter. It resolves linked function signatures and module-local type, table, aggregate, tag, memory, and segment contracts before instruction selection. The context is not stored in MilkIR or MachV.

#
Environment

source

type Environment

Embedding-owned identities required by WebAssembly semantic lowering.

Symbols remain unresolved and target-neutral. Address resolution belongs to the embedding product after target emission.

#
Environment::new

source

fn Environment::new(function_symbol : (Int) -> @Milky2018/machv.CodeSymbol
CodeSymbol, memory_base_field : (Int) -> @Milky2018/machv.EnvironmentField
EnvironmentField, function_table_field : @Milky2018/machv.EnvironmentField
EnvironmentField, table_base_field : (Int) -> @Milky2018/machv.EnvironmentField
EnvironmentField, canonical_type_index : (Int) -> Int, runtime_symbol : (@Milky2018/wasm_milkir.WasmRuntimeHelper
WasmRuntimeHelper) -> @Milky2018/machv.ExternalSymbol
ExternalSymbol) -> Environment

#
lower_function

source

fn lower_function(function : @Milky2018/milkir.Function
Function, validation_context : @Milky2018/wasm_milkir.WasmValidationContext
WasmValidationContext, environment : Environment) -> @Milky2018/machv.Function
Function raise @Milky2018/milkir_machv.SemanticLowerError
SemanticLowerError