🥮 mooncakes.io

Milky2018/milkir/native does not have a README file

NativeLowerError

source
pub suberror NativeLowerError {
  InvalidMilkIR(message~ : String)
  UnsupportedOperation(block_id~ : Int, instruction_id~ : Int, message~ : String)
  MissingValue(value_id~ : Int)
  MissingBlock(block_id~ : Int)
  InvalidTargetLowering(message~ : String)
} derive(Eq, 
Debug)

NativeLowerError::equal

source

NativeLowerError::not_equal

source
fn NativeLowerError::not_equal(x : NativeLowerError, y : NativeLowerError) -> Bool

NativeLowerError::output

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

NativeLowerError::to_repr

source

NativeLowerError::to_string

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

NativeLowerEvent

source
pub(all) enum NativeLowerEvent {
  InputValidationStarted
  TargetConstructionStarted
  NativeLoweringFinished
} derive(Eq, 
Debug)

Direct-lowering boundaries exposed to observation-only embeddings.

The observer must not mutate the source or constructed function while lowering is running.

NativeLowerEvent::equal

source

NativeLowerEvent::not_equal

source
fn NativeLowerEvent::not_equal(x : NativeLowerEvent, y : NativeLowerEvent) -> Bool

NativeLowerEvent::to_repr

source

function_signature

source

lower_core_to_sink

source

Stream core MilkIR directly into a native target selector, verifying it by default.

verify_input=false is reserved for compiler-owned IR that has already crossed a checked boundary. Public callers should keep the default.

lower_dialect_to_sink

source
fn lower_dialect_to_sink(function : 
Function, dialect : String, validator : (
ExtensionInstView) -> String?, global_value_validator : (
GlobalValueData) -> String?, environment_parameters : Array[(Int, 
ValueType)], lower : (
InstructionContext, 
ExtOp) -> String?, resolve_context_field : (
ContextField) -> 
EnvironmentField?, sink : 
TargetSink, call_abi? : 
CallAbiElaboration, verify_input? : Bool, on_event? : (NativeLowerEvent) -> Unit) -> Unit raise NativeLowerError

Stream one MilkIR dialect directly into a native target selector, verifying it by default. No target-neutral function or instruction graph is materialized.

verify_input=false is reserved for compiler-owned IR that has already crossed a checked boundary. Public callers should keep the default.

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io