mooncakes.io

🥮 mooncakes.io

/

/

/

README
- ::equalRuntimeSymbols::equal
- ::not_equalRuntimeSymbols::not_equal
- ::symbol_nameRuntimeSymbols::symbol_name
- ::to_reprRuntimeSymbols::to_repr
- ::with_runtime_prefixRuntimeSymbols::with_runtime_prefix
- ::equalWasmDefinedTypeContract::equal
- ::not_equalWasmDefinedTypeContract::not_equal
- ::to_reprWasmDefinedTypeContract::to_repr
- ::equalWasmFieldContract::equal
- ::not_equalWasmFieldContract::not_equal
- ::to_reprWasmFieldContract::to_repr
- ::equalWasmFunctionContract::equal
- ::not_equalWasmFunctionContract::not_equal
- ::to_reprWasmFunctionContract::to_repr
- ::equalWasmOpcode::equal
- ::hashWasmOpcode::hash
- ::hash_combineWasmOpcode::hash_combine
- ::not_equalWasmOpcode::not_equal
- ::to_reprWasmOpcode::to_repr
- ::equalWasmRuntimeHelper::equal
- ::not_equalWasmRuntimeHelper::not_equal
- ::to_reprWasmRuntimeHelper::to_repr
- ::equalWasmStorageContract::equal
- ::not_equalWasmStorageContract::not_equal
- ::to_reprWasmStorageContract::to_repr
- ::equalWasmTableContract::equal
- ::not_equalWasmTableContract::not_equal
- ::to_reprWasmTableContract::to_repr
- ::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

Milky2018/wasm_milkir/frontend/ir does not have a README file

TranslationContext

type TranslationContext

Immutable public translation context for Wasm-to-MilkIR frontend lowering.

TranslationContext::from_module

fn TranslationContext::from_module(mod_ : @Milky2018/wasm_core/types.Module
Module, embedding_env : @Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, memory_max_override? : Int?, func_base? : Int, import_remap? : Array[Int]) -> TranslationContext

Build frontend translation metadata from a decoded Wasm module.

TranslationContext::wasm_validation_context

fn TranslationContext::wasm_validation_context(self : TranslationContext) -> @Milky2018/wasm_milkir.WasmValidationContext
WasmValidationContext

Build the module/linker context required by contextual Wasm MilkIR checks.

translate_function

fn translate_function(mod_ : @Milky2018/wasm_core/types.Module
Module, func_local_idx : Int, embedding_env : @Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, name? : String, memory_max_override? : Int?) -> @Milky2018/milkir.Function
Function

Translate a function body from a module.

translate_function_body

fn translate_function_body(ctx : TranslationContext, name : String, func_type : @Milky2018/wasm_core/types.FuncType
FuncType, locals : Array[@Milky2018/wasm_core/types.ValueType
ValueType], body : Array[@Milky2018/wasm_core/types.Instruction
Instruction]) -> @Milky2018/milkir.Function
Function

Translate a decoded Wasm function body using a frontend translation context.

Source Files

Powered by MoonBit

Site source Report issue Packages Build queue Skills Statistics

© 2026 mooncakes.io