🥮 mooncakes.io
    Sign in

    wasm_milkir

    WebAssembly dialect adapter for MilkIR extension operations

    wasm
    webassembly
    milkir
    compiler
    dialect
    Download zip
    Author
    Version
    0.1.1
    License
    Apache-2.0
    Repository
    Last updated
    3 months ago
    Downloads
    252

    #wasm_milkir

    WebAssembly dialect adapter for MilkIR extension operations.

    wasm_milkir owns the Wasm-specific opcode set and builder helpers that are not part of generic MilkIR. Frontends can encode Wasm-only operations as milkir.ExtOp values, then a lowering adapter can decode them before machine lowering.

    #Packages

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

    #Boundary

    milkir owns generic SSA IR. wasm_milkir owns the WebAssembly dialect carried through MilkIR extension operations. Product-specific runtime addresses, VMContext layouts, and native glue still belong outside this module.

    #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")
      inspect(func.verify(), content="()")
      match func.blocks[0].instructions[1].opcode {
        Call(symbol) => inspect(symbol.name, content="example.runtime.memory_size")
        _ => inspect(false, content="true")
      }
    }

    RuntimeSymbols

    source
    pub(all) struct RuntimeSymbols {
      memory_grow : String
      memory_size : String
      memory_fill : String
      memory_copy : String
      memory_init : String
      data_drop : String
      table_grow : String
      table_fill : String
      table_copy : String
      table_init : String
      elem_drop : String
      gc_ref_test : String
      gc_ref_cast : String
      gc_struct_get : String
      gc_struct_set : String
      gc_array_get : String
      gc_array_set : String
      gc_array_len : String
      gc_array_fill : String
      gc_array_copy : String
      gc_array_new_data : String
      gc_array_new_elem : String
      gc_array_init_data : String
      gc_array_init_elem : String
      gc_type_check_subtype : String
      gc_register_struct_inline : String
      gc_register_array_inline : String
      gc_alloc_struct_slow : String
      gc_alloc_array_from_values_slow : String
      gc_alloc_array_slow : String
      exception_try_begin : String
      exception_try_end : String
      exception_throw : String
      exception_throw_tag : String
      exception_throw_ref : String
      exception_delegate : String
      exception_get_tag : String
      exception_get_value : String
      exception_get_value_count : String
      exception_sigsetjmp : String
      exception_spill_locals : String
      exception_get_spilled_local : String
    } derive(Eq, 
    Debug    )

    RuntimeSymbols::with_runtime_prefix

    source
    fn RuntimeSymbols::with_runtime_prefix(prefix : String) -> RuntimeSymbols

    WasmOpcode

    source
    pub(all) enum WasmOpcode {
      LoadMemBase(Int)
      MemoryGrow(Int, Int?)
      MemorySize(Int)
      MemoryFill(Int)
      MemoryCopy(Int, Int)
      MemoryInit(Int, Int)
      DataDrop(Int)
      TableGrow(Int)
      TableFill(Int)
      TableCopy(Int, Int)
      TableInit(Int, Int)
      ElemDrop(Int)
      WasmCall(Int)
      WasmCallIndirect(Int, Int)
      CallRef(Int)
      ReturnCall(Int)
      ReturnCallIndirect(Int, Int)
      ReturnCallRef(Int)
      GetFuncRef(Int)
      StructNew(Int)
      StructNewDefault(Int)
      StructGet(Int, Int)
      StructGetS(Int, Int, Int)
      StructGetU(Int, Int, Int)
      StructSet(Int, Int)
      ArrayNew(Int)
      ArrayNewDefault(Int)
      ArrayNewFixed(Int, Int)
      ArrayGet(Int)
      ArrayGetS(Int, Int)
      ArrayGetU(Int, Int)
      ArraySet(Int)
      ArrayLen
      ArrayFill(Int)
      ArrayCopy(Int, Int)
      ArrayNewData(Int, Int)
      ArrayNewElem(Int, Int)
      ArrayInitData(Int, Int)
      ArrayInitElem(Int, Int)
      I31New
      I31GetS
      I31GetU
      RefTest(Int, Bool)
      RefCast(Int, Bool)
      AnyConvertExtern
      ExternConvertAny
      RefEq
      Throw(Int)
      ThrowRef
      TryTableBegin(Int)
      TryTableEnd(Int)
      GetExceptionTag
      GetExceptionValue(Int)
      GetExceptionValueCount
      Delegate(Int)
      SpillLocalsForThrow(Int)
      GetSpilledLocal(Int)
    } derive(Eq, Hash, 
    Debug    )

    EXTERNREF_TAG

    source
    let EXTERNREF_TAG : Int64

    Tag for externref values: bit 62 set.

    FUNCREF_TAG

    source
    let FUNCREF_TAG : Int64

    Tag for funcref pointer values: bit 61 set.

    NULL_REF

    source
    let NULL_REF : Int64

    Null reference value in the lowered reference representation.

    any_convert_extern

    source

    array_copy

    source
    fn array_copy(builder : 
    FunctionBuilder    , dst_type_idx : Int, src_type_idx : Int, dst : 
    Value    , dst_offset : 
    Value    , src : 
    Value    , src_offset : 
    Value    , count : 
    Value    ) -> Unit

    array_fill

    source

    array_get

    source

    array_get_s

    source

    array_get_u

    source

    array_init_data

    source
    fn array_init_data(builder : 
    FunctionBuilder    , type_idx : Int, data_idx : Int, array_ref : 
    Value    , arr_offset : 
    Value    , data_offset : 
    Value    , length : 
    Value    ) -> Unit

    array_init_elem

    source
    fn array_init_elem(builder : 
    FunctionBuilder    , type_idx : Int, elem_idx : Int, array_ref : 
    Value    , arr_offset : 
    Value    , elem_offset : 
    Value    , length : 
    Value    ) -> Unit

    array_len

    source

    array_new

    source

    array_new_data

    source
    fn array_new_data(builder : 
    FunctionBuilder    , type_idx : Int, data_idx : Int, data_offset : 
    Value    , length : 
    Value    ) -> 
    Value

    array_new_default

    source

    array_new_elem

    source
    fn array_new_elem(builder : 
    FunctionBuilder    , type_idx : Int, elem_idx : Int, elem_offset : 
    Value    , length : 
    Value    ) -> 
    Value

    array_new_fixed

    source
    fn array_new_fixed(builder : 
    FunctionBuilder    , type_idx : Int, count : Int, elements : Array[
    Value    ]) -> 
    Value

    array_set

    source

    call_indirect_multi

    source

    call_multi

    source

    call_ref_multi

    source

    data_drop

    source
    fn data_drop(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , data_idx : Int) -> Unit

    decode

    source

    decode_opcode

    source
    fn decode_opcode(opcode : 
    Opcode    ) -> WasmOpcode?

    delegate

    source
    fn delegate(builder : 
    FunctionBuilder    , depth : Int) -> Unit

    elem_drop

    source
    fn elem_drop(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , elem_idx : Int) -> Unit

    emit_throw

    source
    fn emit_throw(builder : 
    FunctionBuilder    , tag_idx : Int, values : Array[
    Value    ]) -> Unit

    emit_throw_ref

    source

    encode

    source

    extern_convert_any

    source

    get_exception_tag

    source

    get_exception_value

    source

    get_exception_value_count

    source

    get_func_ref

    source

    get_spilled_local

    source

    i31_get_s

    source

    i31_get_u

    source

    i31_new

    source

    load_mem_base

    source

    memory_copy

    source
    fn memory_copy(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , dst_memidx : Int, src_memidx : Int, dst : 
    Value    , src : 
    Value    , size : 
    Value    ) -> Unit

    memory_fill

    source

    memory_grow

    source
    fn memory_grow(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , memidx : Int, delta : 
    Value    , max_pages? : Int, is_memory64? : Bool) -> 
    Value

    memory_init

    source
    fn memory_init(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , memidx : Int, data_idx : Int, dst : 
    Value    , src : 
    Value    , size : 
    Value    ) -> Unit

    memory_size

    source
    fn memory_size(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , memidx : Int, is_memory64? : Bool) -> 
    Value

    ref_cast

    source
    fn ref_cast(builder : 
    FunctionBuilder    , type_idx : Int, nullable : Bool, ref_val : 
    Value    ) -> 
    Value

    ref_eq

    source

    ref_test

    source
    fn ref_test(builder : 
    FunctionBuilder    , type_idx : Int, nullable : Bool, ref_val : 
    Value    ) -> 
    Value

    return_call_indirect_multi

    source
    fn return_call_indirect_multi(builder : 
    FunctionBuilder    , type_idx : Int, table_idx : Int, callee : 
    Value    , args : Array[
    Value    ]) -> Unit

    return_call_multi

    source
    fn return_call_multi(builder : 
    FunctionBuilder    , func_idx : Int, args : Array[
    Value    ]) -> Unit

    return_call_ref_multi

    source
    fn return_call_ref_multi(builder : 
    FunctionBuilder    , type_idx : Int, func_ref : 
    Value    , args : Array[
    Value    ]) -> Unit

    spill_locals_for_throw

    source
    fn spill_locals_for_throw(builder : 
    FunctionBuilder    , locals : Array[
    Value    ]) -> Unit

    struct_get

    source
    fn struct_get(builder : 
    FunctionBuilder    , type_idx : Int, field_idx : Int, struct_ref : 
    Value    , field_type : 
    Type    ) -> 
    Value

    struct_get_s

    source
    fn struct_get_s(builder : 
    FunctionBuilder    , type_idx : Int, field_idx : Int, struct_ref : 
    Value    , field_type : 
    Type    , byte_width : Int) -> 
    Value

    struct_get_u

    source
    fn struct_get_u(builder : 
    FunctionBuilder    , type_idx : Int, field_idx : Int, struct_ref : 
    Value    , field_type : 
    Type    , byte_width : Int) -> 
    Value

    struct_new

    source

    struct_new_default

    source
    fn struct_new_default(builder : 
    FunctionBuilder    , type_idx : Int) -> 
    Value

    struct_set

    source
    fn struct_set(builder : 
    FunctionBuilder    , type_idx : Int, field_idx : Int, struct_ref : 
    Value    , value : 
    Value    ) -> Unit

    table_copy

    source
    fn table_copy(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , dst_table_idx : Int, src_table_idx : Int, dst : 
    Value    , src : 
    Value    , size : 
    Value    ) -> Unit

    table_fill

    source

    table_grow

    source

    table_init

    source
    fn table_init(builder : 
    FunctionBuilder    , runtime_symbols : RuntimeSymbols, vmctx : 
    Value    , table_idx : Int, elem_idx : Int, dst : 
    Value    , src : 
    Value    , size : 
    Value    ) -> Unit

    try_table_begin

    source
    fn try_table_begin(builder : 
    FunctionBuilder    , handler_id : Int) -> 
    Value

    try_table_end

    source
    fn try_table_end(builder : 
    FunctionBuilder    , handler_id : Int) -> Unit

    wasm_externref_type

    source
    fn wasm_externref_type() -> 
    Type

    wasm_funcref_type

    source
    fn wasm_funcref_type() -> 
    Type

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io