🥮 mooncakes.io
    Sign in

    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