README
- ::symbol_nameRuntimeSymbols::symbol_name
- ::with_runtime_prefixRuntimeSymbols::with_runtime_prefix
T
WasmDefinedTypeContract
T
WasmFieldContract
T
WasmFunctionContract
T
WasmOpcode
T
WasmRuntimeHelper
T
WasmStorageContract
T
WasmTableContract
- ::emptyWasmValidationContext::empty
- ::newWasmValidationContext::new
- ::validate_extensionWasmValidationContext::validate_extension
- ::validate_global_valueWasmValidationContext::validate_global_value
T
WasmValidationResolvers
V
EXTERNREF_TAG
V
FUNCREF_TAG
V
NULL_REF
V
WASM_DIALECT
V
any_convert_extern
V
array_copy
V
array_fill
V
array_get
V
array_get_s
V
array_get_u
V
array_init_data
V
array_init_elem
V
array_len
V
array_new
V
array_new_data
V
array_new_default
V
array_new_elem
V
array_new_fixed
V
array_set
V
call_indirect_multi
V
call_multi
V
call_ref_multi
V
data_drop
V
decode
V
decode_error
V
decode_memory_base_context_field
V
decode_opcode
V
delegate
V
descriptor
V
descriptor_by_name
V
elem_drop
V
emit_throw
V
emit_throw_ref
V
encode
V
extern_convert_any
V
get_exception_tag
V
get_exception_value
V
get_exception_value_count
V
get_func_ref
V
get_spilled_local
V
i31_get_s
V
i31_get_u
V
i31_new
V
load_mem_base
V
memory_base_context_field
V
memory_copy
V
memory_fill
V
memory_grow
V
memory_init
V
memory_size
V
ref_cast
V
ref_eq
V
ref_test
V
return_call_indirect_multi
V
return_call_multi
V
return_call_ref_multi
V
spill_locals_for_throw
V
struct_get
V
struct_get_s
V
struct_get_u
V
struct_new
V
struct_new_default
V
struct_set
V
table_copy
V
table_fill
V
table_grow
V
table_init
V
try_table_begin
V
try_table_end
V
validate_extension
V
validate_global_value
V
verify_function
V
verify_function_with_context
V
wasm_externref_type
V
wasm_funcref_type

wasm_milkir

WebAssembly dialect adapter for MilkIR extension operations

wasm

webassembly

milkir

compiler

dialect

Download zip

Author

Milky2018

Version

0.12.5

License

Apache-2.0

Repository

github.com/Milky2018/wasmoon.git

Last updated

1 hour ago

Downloads

113

Dependencies

Milky2018/milkir0.12.5

#wasm_milkir

WebAssembly dialect adapter for MilkIR extension operations.

wasm_milkir provides the Wasm-specific opcode set, extension descriptors, and builder helpers used with MilkIR. Frontends encode Wasm operations through typed WasmOpcode constructors, then a lowering adapter checks and decodes those extensions before machine lowering.

Typed Wasm builders only emit IR data; they do not attach validator closures to the MilkIR function. Generic MilkIR finalization checks the extension envelope and its explicit signature, while verify_function applies context-free schema contracts. Operations whose contracts depend on module or linker metadata must use an explicit WasmValidationContext and verify_function_with_context. Wasm lowering requires the same context and validates it immediately before instruction selection.

Typed constructors, serialized opcode names, and immediate layouts are defined once in wasm_opcodes.schema. During development, dev_build runs the deterministic tools/generate_wasm_opcodes.py generator to refresh the committed dialect_generated.mbt source. Published packages include that generated MoonBit source, so downstream builds neither load the schema at runtime nor execute development build rules.

#Packages

Milky2018/wasm_milkir: Wasm opcode encoding/decoding and builder helpers for Milky2018/milkir.

#How it fits

MilkIR represents common SSA operations directly. This package represents WebAssembly operations that need additional immediates or lowering semantics as typed MilkIR extensions. The extension descriptor lets a lowering pipeline validate the encoded operation before decoding it.

Common arithmetic, calls, references, and SIMD operations use MilkIR's semantic opcode families directly. In particular, the Wasm frontend consumes SIMD memidx, alignment, and offset fields while constructing the effective address; the resulting MilkIR VectorOp carries only vector load/store semantics.

Linear-memory base pointers use MilkIR GlobalValue declarations rather than a Wasm extension opcode. memory_base_context_field identifies the memory index, the declaration records Heap(memidx) provenance, and the frontend chooses Stable only when the embedding guarantees that the base cannot move during the function invocation. Contextual validation checks that the memory exists; wasm_machv resolves the opaque field through its embedding environment.

#Example: map Wasm reference types to MilkIR

///|
test "map Wasm reference spelling to generic MilkIR references" {
  inspect(wasm_funcref_type().to_string(), content="callable_ref")
  inspect(wasm_externref_type().to_string(), content="opaque_ref")
}

#Example: encode a Wasm memory operation

///|
test "build a Wasm memory.size extension instruction" {
  let builder = @milkir.FunctionBuilder::FunctionBuilder("memory_size")
  let symbols = RuntimeSymbols::with_runtime_prefix("example.runtime")
  let vmctx = builder.add_param(I64)
  builder.add_result(I32)
  let size = memory_size(builder, symbols, vmctx, 0)
  builder.return_([size])
  let func = builder.get_function()
  inspect(func.blocks.length(), content="1")
  verify_function(func)
  match func.blocks[0].instructions[1].opcode {
    Call(Direct(symbol, _)) =>
      inspect(symbol.name, content="example.runtime.memory_size")
    _ => inspect(false, content="true")
  }
}

#Example: validate and decode a Wasm extension

///|
test "validate and decode a typed Wasm extension operation" {
  let opcode = WasmOpcode::RefTest(3, true)
  let ext = encode(opcode)
  let desc = descriptor(opcode)
  inspect(ext.matches_descriptor(desc), content="true")
  inspect(decode(ext) == Some(opcode), content="true")
  let malformed = @milkir.ExtOp(
    "wasm",
    "ref_test",
    FixedArray::makei(2, fn(i) { if i == 0 { 3 } else { 2 } }),
  )
  debug_inspect(
    decode_error(malformed),
    content=(
      #|Some("malformed Wasm MilkIR extension 'ref_test': immediate 1 is a bool flag encoded as 0 or 1, got 2")
    ),
  )
}

wasm_milkir

#wasm_milkir

#Packages

#How it fits

#Example: map Wasm reference types to MilkIR

#Example: encode a Wasm memory operation

#Example: validate and decode a Wasm extension

#RuntimeSymbols

#RuntimeSymbols::symbol_name

#RuntimeSymbols::with_runtime_prefix

#WasmDefinedTypeContract

#WasmFieldContract

#WasmFunctionContract

#WasmOpcode

#WasmRuntimeHelper

#WasmStorageContract

#WasmTableContract

#WasmValidationContext

#WasmValidationContext::empty

#WasmValidationContext::new

#WasmValidationContext::validate_extension

#WasmValidationContext::validate_global_value

#WasmValidationResolvers

#EXTERNREF_TAG

#FUNCREF_TAG

#NULL_REF

#WASM_DIALECT

#any_convert_extern

#array_copy

#array_fill

#array_get

#array_get_s

#array_get_u

#array_init_data

#array_init_elem

#array_len

#array_new

#array_new_data

#array_new_default

#array_new_elem

#array_new_fixed

#array_set

#call_indirect_multi

#call_multi

#call_ref_multi

#data_drop

#decode

#decode_error

#decode_memory_base_context_field

#decode_opcode

#delegate

#descriptor

#descriptor_by_name

#elem_drop

#emit_throw

#emit_throw_ref

#encode

#extern_convert_any

#get_exception_tag

#get_exception_value

#get_exception_value_count

#get_func_ref

#get_spilled_local

#i31_get_s

#i31_get_u

#i31_new

#load_mem_base

#memory_base_context_field

#memory_copy

#memory_fill

#memory_grow

#memory_init

#memory_size

#ref_cast

#ref_eq

#ref_test

#return_call_indirect_multi

#return_call_multi

#return_call_ref_multi

#spill_locals_for_throw

RuntimeSymbols

RuntimeSymbols::symbol_name

RuntimeSymbols::with_runtime_prefix

WasmDefinedTypeContract

WasmFieldContract

WasmFunctionContract

WasmOpcode

WasmRuntimeHelper

WasmStorageContract

WasmTableContract

WasmValidationContext

WasmValidationContext::empty

WasmValidationContext::new

WasmValidationContext::validate_extension

WasmValidationContext::validate_global_value

WasmValidationResolvers

EXTERNREF_TAG

FUNCREF_TAG

NULL_REF

WASM_DIALECT

any_convert_extern

array_copy

array_fill

array_get

array_get_s

array_get_u

array_init_data

array_init_elem

array_len

array_new

array_new_data

array_new_default

array_new_elem

array_new_fixed

array_set

call_indirect_multi

call_multi

call_ref_multi

data_drop

decode

decode_error

decode_memory_base_context_field

decode_opcode

delegate

descriptor

descriptor_by_name

elem_drop

emit_throw

emit_throw_ref

encode

extern_convert_any

get_exception_tag

get_exception_value

get_exception_value_count

get_func_ref

get_spilled_local

i31_get_s

i31_get_u

i31_new

load_mem_base

memory_base_context_field

memory_copy

memory_fill

memory_grow

memory_init

memory_size

ref_cast

ref_eq

ref_test

return_call_indirect_multi

return_call_multi

return_call_ref_multi

spill_locals_for_throw

struct_get

struct_get_s

struct_get_u

struct_new

struct_new_default

struct_set

table_copy