#milkir_machv

Verified lowering from MilkIR into target-neutral semantic MachV.

The package preserves typed SSA values, block parameters and edge arguments, semantic calls, memory effects, traps, safepoints, and source locations. It does not choose AArch64 or x64 instructions, assign physical registers, lay out stack frames, or resolve embedding runtime addresses.

#Core lowering

Use lower_core_function for MilkIR without extension operations.

///|
test "lower core MilkIR into semantic MachV" {
  let builder = @milkir.FunctionBuilder::FunctionBuilder("add64")
  let left = builder.add_param(I64)
  let right = builder.add_param(I64)
  builder.add_result(I64)
  builder.return_([builder.iadd(left, right)])
  inspect(
    lower_core_function(builder.finalize()),
    content=(
      #|machv add64 [internal](v0:i64, v1:i64) -> (i64) {
      #|block0:
      #|  v2:i64 = int.binary.Add v0, v1
      #|  return v2
      #|}
    ),
  )
}

Core lowering verifies its input and rejects unresolved extension operations. lower_core_function_with_protocol additionally lets an embedding state whether the enclosing function uses the internal or platform call protocol.

#Dialect lowering

lower_dialect_function accepts one named dialect, instruction and global-value validators, explicit environment parameters, a context-field resolver, and a narrow InstructionContext adapter. The adapter can only construct verified semantic MachV operations and must complete the declared result contract for every extension instruction. The resolver turns opaque MilkIR ContextField declarations into semantic MachV EnvironmentField values without exposing an embedding layout to MilkIR. The adapter also preserves the declaration's stability contract so target lowering can choose local reuse without extending live ranges in target-neutral IR.

WebAssembly uses the separate Milky2018/wasm_machv package. Product-specific VMContext offsets, runtime helper names, trap payloads, and executable-memory integration remain outside this reusable module.

#
SemanticLowerError

source

pub suberror SemanticLowerError {
  InvalidMilkIR(message~ : String)
  UnsupportedOperation(block_id~ : Int, instruction_id~ : Int, message~ : String)
  MissingValue(value_id~ : Int)
  MissingBlock(block_id~ : Int)
  InvalidMachV(message~ : String)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for SemanticLowerError

#
lower_core_function

source

fn lower_core_function(function : @Milky2018/milkir.Function
Function) -> @Milky2018/machv.Function
Function raise SemanticLowerError

Lower an ordinary internally callable core MilkIR function.

#
lower_core_function_with_protocol

source

fn lower_core_function_with_protocol(function : @Milky2018/milkir.Function
Function, protocol : @Milky2018/machv.CallProtocol
CallProtocol) -> @Milky2018/machv.Function
Function raise SemanticLowerError

Lower verified core MilkIR into target-neutral semantic MachV.

Core lowering deliberately rejects extension operations instead of consulting a target ISA or silently routing them through the legacy backend.

#
lower_dialect_function

source

fn lower_dialect_function(function : @Milky2018/milkir.Function
Function, dialect : String, validator : (@Milky2018/milkir.ExtensionInstView
ExtensionInstView) -> String?, global_value_validator : (@Milky2018/milkir.GlobalValueData
GlobalValueData) -> String?, environment_parameters : Array[(Int, @Milky2018/machv.ValueType
ValueType)], lower : (@Milky2018/milkir_machv/adapter.InstructionContext
InstructionContext, @Milky2018/milkir.ExtOp
ExtOp) -> String?, resolve_context_field : (@Milky2018/milkir.ContextField
ContextField) -> @Milky2018/machv.EnvironmentField
EnvironmentField?) -> @Milky2018/machv.Function
Function raise SemanticLowerError

#
lower_dialect_function_with_protocol

source

fn lower_dialect_function_with_protocol(function : @Milky2018/milkir.Function
Function, protocol : @Milky2018/machv.CallProtocol
CallProtocol, dialect : String, validator : (@Milky2018/milkir.ExtensionInstView
ExtensionInstView) -> String?, global_value_validator : (@Milky2018/milkir.GlobalValueData
GlobalValueData) -> String?, environment_parameters : Array[(Int, @Milky2018/machv.ValueType
ValueType)], lower : (@Milky2018/milkir_machv/adapter.InstructionContext
InstructionContext, @Milky2018/milkir.ExtOp
ExtOp) -> String?, resolve_context_field : (@Milky2018/milkir.ContextField
ContextField) -> @Milky2018/machv.EnvironmentField
EnvironmentField?) -> @Milky2018/machv.Function
Function raise SemanticLowerError