🥮 mooncakes.io

    milkir_machv

    MilkIR-to-MachV lowering

    compiler
    lowering
    isa
    codegen
    Download zip
    Author
    Version
    0.12.6
    License
    Apache-2.0
    Repository
    Last updated
    24 days ago
    Downloads
    180

    Dependencies

    #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, 
    Debug    )

    SemanticLowerError::equal

    source

    SemanticLowerError::not_equal

    source

    SemanticLowerError::output

    source
    fn SemanticLowerError::output(self : SemanticLowerError, logger : &Logger) -> Unit

    SemanticLowerError::to_repr

    source

    SemanticLowerError::to_string

    source
    fn SemanticLowerError::to_string(self : SemanticLowerError) -> String

    lower_core_function

    source

    Lower an ordinary internally callable core MilkIR function.

    lower_core_function_with_protocol

    source

    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

    lower_dialect_function_with_protocol

    source

    Validate and lower one explicit MilkIR dialect through the safe semantic construction adapter.

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io