🥮 mooncakes.io
    Sign in

    aarch64_target

    AArch64 target pipeline from semantic MachV to native code

    aarch64
    compiler
    codegen
    jit
    Download zip
    Author
    Version
    0.12.6
    License
    Apache-2.0
    Repository
    Last updated
    last month
    Downloads
    210

    #aarch64_target

    AArch64 backend for target-neutral MachV.

    This module owns AArch64 instruction selection, validation and lowering of an embedding-provided internal ABI contract, register allocation policy, frame layout, machine-code emission, relocations, veneers, and final linking.

    #Package

    • Milky2018/aarch64_target: AArch64 Target VCode, lowering, allocation, frame layout, emission, and linking.

    #When to use it

    Use this module after producing a verified Milky2018/machv.Function and before installing generated bytes into executable memory.

    Environment fields are materialized at each semantic MachV occurrence. MilkIR owns whether stable fields remain separate rematerializable values; the target does not merge them with distance or register-pressure heuristics. No physical register is reserved for embedding context data.

    #Example: define the internal ABI

    ///|
    test "validate the AArch64 internal ABI" {
      InternalAbi::new(
        0,
        8,
        [1, 2, 3, 4, 5, 6, 7],
        [0, 1, 2, 3, 4, 5, 6, 7],
        [0, 1, 2, 3, 4, 5, 6, 7],
        [0, 1, 2, 3, 4, 5, 6, 7],
      )
      |> ignore
    }

    #Integration

    Use this package for the complete AArch64 target pipeline after semantic MachV. It produces a verified Milky2018/machv/code_object value. Runtime symbol resolution, relocation application, and executable-memory ownership remain responsibilities of the embedding application.

    compile performs allocation, frame planning, and emission without repeating checkpoint validation. Its optional on_event callback reports generic stage boundaries and a read-only allocation summary so an embedding can collect metrics without coupling this module to a product metrics system. The callback must not mutate compiler inputs.

    Internal functions use the tail-call convention: an ordinary internal caller places stack arguments in its reserved outgoing area, the callee pops that incoming area on return, and the call pseudo immediately restores the caller's frame-base SP. A function containing true tail calls enlarges its incoming area in the prologue to the maximum tail-callee requirement, then reuses that area when transferring control. Platform calls continue to use ordinary AAPCS64 caller-owned stack arguments.

    Parallel moves reserve X15 and V18 as one transfer scratch per register bank. X16 remains stack-address-only, while X17 and V16/V17 serve instruction and regalloc spill needs. A stack cycle that temporarily needs the live transfer scratch receives one verified 16-byte emergency frame area; ordinary frames do not pay for it.

    AArch64AllocationError

    source

    AArch64AllocationError::output

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

    AArch64AllocationError::to_repr

    source

    AArch64AllocationError::to_string

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

    AArch64CompileError

    source
    pub suberror AArch64CompileError {
      TargetValidationFailed(cause~ : TargetVCodeVerifyError)
      AllocationFailed(cause~ : AArch64AllocationError)
      FramePlanningFailed(cause~ : AArch64FrameError)
      EmissionFailed(cause~ : AArch64EmitError)
    } derive(
    Debug    )

    AArch64CompileError::output

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

    AArch64CompileError::to_repr

    source

    AArch64CompileError::to_string

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

    AArch64EmitError

    source
    pub suberror AArch64EmitError {
      InvalidFrame(cause~ : AArch64FrameError)
      InvalidCodeObject(cause~ : 
    CodeObjectVerifyError    )
      InvalidParallelMove(cause~ : 
    MoveResolveError    )
      InvalidCallTransfer(cause~ : 
    CallTransferError    )
      UnresolvedStackMove
      MissingStackObjectArea
      MissingResultArea
      MissingEmergencyMoveArea
      UnexpectedStackOperand(instruction~ : 
    Instruction    , operand~ : Int)
      FrameOffsetOutOfRange(offset~ : Int)
      InvalidScalarMemoryAccess
      InvalidFloatInstruction
      InvalidVectorInstruction
      InvalidConversionInstruction
      BranchTargetMissing(block~ : 
    Block    )
      BranchLabelUnbound(label~ : Int)
      BranchSpanNotFixed(offset~ : Int)
      BranchOutOfRange(offset~ : Int, bits~ : Int)
    } derive(
    Debug    )

    AArch64EmitError::output

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

    AArch64EmitError::to_repr

    source

    AArch64EmitError::to_string

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

    AArch64FrameError

    source
    pub suberror AArch64FrameError {
      InvalidAllocation(cause~ : AArch64AllocationError)
      InvalidGenericFrame(cause~ : 
    FrameVerifyError    )
      InvalidSavedRegister(reg~ : 
    PhysicalReg    , offset~ : Int)
      InvalidStackSlot(slot~ : 
    StackSlot    )
      OutgoingAreaMismatch(expected~ : Int, actual~ : Int)
      ResultAreaMismatch(expected~ : Int, actual~ : Int)
      TailAreaMismatch(expected_incoming~ : Int, actual_incoming~ : Int, expected_tail~ : Int, actual_tail~ : Int)
      InvalidStackObjectArea(message~ : String)
      MovePlanningFailed(cause~ : 
    MoveResolveError    )
      InvalidEmergencyMoveArea(offset~ : Int?)
      StaleAllocation(expected_edits~ : Int, actual_edits~ : Int)
      SavedRegisterSetMismatch
    } derive(
    Debug    )

    AArch64FrameError::output

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

    AArch64FrameError::to_repr

    source

    AArch64FrameError::to_string

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

    AArch64LinkError

    source
    pub suberror AArch64LinkError {
      InvalidCodeObject(message~ : String)
      InvalidCodeBase(address~ : Int64)
      UnresolvedRelocation(index~ : Int)
      RelocationOutOfRange(index~ : Int)
      UnsupportedRelocation(index~ : Int)
    } derive(Eq, 
    Debug    )

    AArch64LinkError::equal

    source

    AArch64LinkError::not_equal

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

    AArch64LinkError::output

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

    AArch64LinkError::to_repr

    source

    AArch64LinkError::to_string

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

    AArch64LowerError

    source
    pub suberror AArch64LowerError {
      InvalidSemantic(cause~ : 
    MachVVerifyError    )
      MissingMappedValue(value_index~ : Int)
      UnsupportedOperation(block_index~ : Int, instruction_index~ : Int, operation~ : 
    Operation    )
      UnsupportedAbi(message~ : String)
      BuildFailure(cause~ : 
    VCodeBuildError    )
      InvalidTarget(cause~ : TargetVCodeVerifyError)
    } derive(
    Debug    )

    AArch64LowerError::output

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

    AArch64LowerError::to_repr

    source

    AArch64LowerError::to_string

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

    InternalAbiError

    source
    pub suberror InternalAbiError {
      InvalidRegister(role~ : String, index~ : Int)
      DuplicateRegister(role~ : String, index~ : Int)
      ContextRegisterReused(index~ : Int)
      ResultAreaRegisterReused(index~ : Int)
      InvalidSignature(message~ : String)
    } derive(Eq, 
    Debug    )

    InternalAbiError::equal

    source

    InternalAbiError::not_equal

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

    InternalAbiError::output

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

    InternalAbiError::to_repr

    source

    InternalAbiError::to_string

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

    TargetVCodeVerifyError

    source
    pub suberror TargetVCodeVerifyError {
      CommonFailure(cause~ : 
    VCodeVerifyError    )
      InvalidInstruction(instruction~ : 
    Instruction    , message~ : String)
    } derive(Eq, 
    Debug    )

    TargetVCodeVerifyError::equal

    source

    TargetVCodeVerifyError::not_equal

    source

    TargetVCodeVerifyError::output

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

    TargetVCodeVerifyError::to_repr

    source

    TargetVCodeVerifyError::to_string

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

    AArch64Address

    source

    AArch64Address::equal

    source

    AArch64Address::not_equal

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

    AArch64Address::to_repr

    source

    AArch64Condition

    source
    pub(all) enum AArch64Condition {
      Eq
      Ne
      Lt
      Le
      Gt
      Ge
      Lo
      Ls
      Hi
      Hs
    } derive(Eq, 
    Debug    )

    AArch64Condition::equal

    source

    AArch64Condition::not_equal

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

    AArch64Condition::to_repr

    source

    AArch64Conversion

    source

    AArch64Conversion::equal

    source

    AArch64Conversion::not_equal

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

    AArch64Conversion::to_repr

    source

    AArch64FloatBinary

    source
    pub(all) enum AArch64FloatBinary {
      Add
      Sub
      Mul
      Div
      Min
      Max
      CopySign
    } derive(Eq, 
    Debug    )

    AArch64FloatBinary::equal

    source

    AArch64FloatBinary::not_equal

    source

    AArch64FloatBinary::to_repr

    source

    AArch64FloatCondition

    source
    pub(all) enum AArch64FloatCondition {
      Equal
      NotEqual
      LessThan
      LessOrEqual
      GreaterThan
      GreaterOrEqual
      Ordered
      Unordered
    } derive(Eq, 
    Debug    )

    AArch64FloatCondition::equal

    source

    AArch64FloatCondition::not_equal

    source

    AArch64FloatCondition::to_repr

    source

    AArch64FloatTernary

    source
    pub(all) enum AArch64FloatTernary {
      Fmadd
      Fmsub
      Fnmadd
      Fnmsub
    } derive(Eq, 
    Debug    )

    AArch64FloatTernary::equal

    source

    AArch64FloatTernary::not_equal

    source

    AArch64FloatTernary::to_repr

    source

    AArch64FloatTrapCondition

    source
    pub(all) enum AArch64FloatTrapCondition {
      Unordered
      LessThan
      LessOrEqual
      GreaterOrEqual
    } derive(Eq, 
    Debug    )

    AArch64FloatTrapCondition::equal

    source

    AArch64FloatTrapCondition::not_equal

    source

    AArch64FloatTrapCondition::to_repr

    source

    AArch64FloatUnary

    source
    pub(all) enum AArch64FloatUnary {
      Negate
      Absolute
      SquareRoot
      Ceil
      Floor
      Truncate
      Nearest
    } derive(Eq, 
    Debug    )

    AArch64FloatUnary::equal

    source

    AArch64FloatUnary::not_equal

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

    AArch64FloatUnary::to_repr

    source

    AArch64Frame

    source
    pub struct AArch64Frame {
      // private fields
    }

    AArch64Frame::alignment

    source
    fn AArch64Frame::alignment(self : AArch64Frame) -> Int

    AArch64Frame::emergency_move_offset

    source
    fn AArch64Frame::emergency_move_offset(self : AArch64Frame) -> Int?

    AArch64Frame::frame_size

    source
    fn AArch64Frame::frame_size(self : AArch64Frame) -> Int

    AArch64Frame::incoming_args_size

    source
    fn AArch64Frame::incoming_args_size(self : AArch64Frame) -> Int

    AArch64Frame::outgoing_args_size

    source
    fn AArch64Frame::outgoing_args_size(self : AArch64Frame) -> Int

    AArch64Frame::saved_registers

    source

    AArch64Frame::slot_offset

    source

    AArch64Frame::stack_object_offset

    source
    fn AArch64Frame::stack_object_offset(self : AArch64Frame, object : AArch64StackObject) -> Int?

    AArch64Frame::summary

    source
    fn AArch64Frame::summary(self : AArch64Frame) -> String

    AArch64Frame::tail_args_size

    source
    fn AArch64Frame::tail_args_size(self : AArch64Frame) -> Int

    AArch64Inst

    source
    pub(all) enum AArch64Inst {
      IncomingReg(
    ValueType    , 
    PhysicalReg    )
      IncomingStack(
    ValueType    , Int)
      IncomingResultArea(
    PhysicalReg    )
      IncomingCallResult(
    ValueType    , 
    PhysicalReg    )
      IncomingCallAreaResult(
    ValueType    , Int)
      OutgoingReg(
    ValueType    , 
    PhysicalReg    )
      OutgoingAreaResult(
    ValueType    , Int)
      KeepAlive(
    ValueType    )
      LoadConstant(GprWidth, UInt64)
      LoadVectorConstant(UInt64, UInt64)
      LoadNull(
    ValueType    )
      LoadAddress(AArch64Address)
      StackAddress(AArch64StackObject)
      LoadFloatConstant(
    ValueType    , UInt64)
      Move(
    ValueType    )
      CarrierMove(
    ValueType    , 
    ValueType    )
      Select(
    ValueType    )
      VectorSelect
      VectorSplat(
    VectorLane    )
      VectorExtractLane(
    VectorLane    , Int, 
    Signedness    ?)
      VectorReplaceLane(
    VectorLane    , Int)
      VectorShuffle(FixedArray[Int])
      VectorSwizzle
      VectorBitwise(
    VectorBitwiseOp    )
      VectorIntUnary(
    VectorLane    , AArch64VectorIntUnary)
      VectorIntBinary(
    VectorLane    , AArch64VectorIntBinary)
      VectorIntShift(
    VectorLane    , 
    VectorIntShiftOp    )
      VectorIntCompare(
    VectorLane    , 
    VectorIntComparison    )
      VectorConvert(AArch64VectorConversion)
      VectorPredicate(AArch64VectorPredicate)
      VectorFloatUnary(
    VectorLane    , 
    VectorFloatUnaryOp    )
      VectorFloatBinary(
    VectorLane    , 
    VectorFloatBinaryOp    )
      VectorFloatTernary(
    VectorLane    , 
    FloatTernaryOp    )
      VectorFloatCompare(
    VectorLane    , 
    VectorFloatComparison    )
      VectorPairwiseAddI16x8
      VectorRelaxedDot8To16
      IntUnary(GprWidth, AArch64IntUnary)
      IntBinary(GprWidth, AArch64IntBinary)
      IntBinaryImmediate(GprWidth, AArch64IntBinary, UInt64)
      IntMultiplyAdd(GprWidth)
      IntShiftRegister(GprWidth, AArch64Shift)
      IntShiftImmediate(GprWidth, AArch64Shift, Int)
      IntAddShiftedLeft(GprWidth, Int)
      PopulationCount(GprWidth)
      IntHighMultiply(GprWidth, 
    Signedness    )
      IntWithOverflow(GprWidth, 
    IntOverflowOp    )
      IntRemainder(GprWidth, 
    Signedness    )
      TrapIfZero(GprWidth)
      TrapIfSignedDivOverflow(GprWidth)
      CompareSet(GprWidth, AArch64Condition)
      ReferenceCompareSet(
    ValueType    , AArch64Condition)
      FloatUnary(
    ValueType    , AArch64FloatUnary)
      FloatBinary(
    ValueType    , AArch64FloatBinary)
      FloatTernary(
    ValueType    , AArch64FloatTernary)
      FloatCompareSet(
    ValueType    , AArch64FloatCondition)
      TrapIfFloat(
    ValueType    , AArch64FloatTrapCondition)
      Convert(AArch64Conversion)
      AddAddress
      AddAddressImmediate(UInt64)
      AddAddressUxtw(Int)
      ScalarLoad(
    AccessWidth    , 
    LoadExtension    , 
    ValueType    , UInt64)
      ScalarLoadUxtw(
    AccessWidth    , 
    LoadExtension    , 
    ValueType    , Int)
      ScalarStore(
    AccessWidth    , 
    ValueType    , UInt64)
      ScalarStoreUxtw(
    AccessWidth    , 
    ValueType    , Int)
      VectorLoad128(UInt64)
      VectorStore128(UInt64)
      VectorLoadSplat(
    VectorLane    , UInt64)
      VectorLoadExtend(
    VectorLane    , 
    Signedness    , UInt64)
      VectorLoadZero(
    AccessWidth    , UInt64)
      VectorLoadLane(
    VectorLane    , Int, UInt64)
      VectorStoreLane(
    VectorLane    , Int, UInt64)
      AtomicLoad(
    AccessWidth    , 
    ValueType    )
      AtomicStore(
    AccessWidth    , 
    ValueType    )
      AtomicRmw(
    AccessWidth    , 
    ValueType    , 
    AtomicRmwOp    )
      AtomicCompareExchange(
    AccessWidth    , 
    ValueType    )
      AtomicFence
      SafepointMarker
      PlatformCall(
    ExternalSymbol    , 
    Signature    )
      ReturnsTwicePlatformCall(
    ExternalSymbol    , 
    Signature    )
      InternalCall(
    CodeSymbol    , 
    Signature    , InternalCallPlan)
      InternalCallIndirect(
    Signature    , InternalCallPlan)
      TailCallDirect(
    CodeSymbol    , 
    Signature    , InternalCallPlan)
      TailCallIndirect(
    Signature    , InternalCallPlan)
      Jump
      BranchNonZero(GprWidth)
      BranchCompare(GprWidth, AArch64Condition)
      BranchCompareImmediate(GprWidth, AArch64Condition, UInt64)
      Switch(GprWidth, Array[UInt64])
      Trap(
    TrapReason    )
      Return
    } derive(Eq, 
    Debug    )

    AArch64Inst::equal

    source
    fn AArch64Inst::equal(AArch64Inst, AArch64Inst) -> Bool

    AArch64Inst::not_equal

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

    AArch64Inst::to_repr

    source

    AArch64IntBinary

    source
    pub(all) enum AArch64IntBinary {
      Add
      Sub
      Mul
      And
      Orr
      Eor
      Sdiv
      Udiv
    } derive(Eq, 
    Debug    )

    AArch64IntBinary::equal

    source

    AArch64IntBinary::not_equal

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

    AArch64IntBinary::to_repr

    source

    AArch64IntUnary

    source
    pub(all) enum AArch64IntUnary {
      Mvn
      Clz
      Rbit
      Neg
    } derive(Eq, 
    Debug    )

    AArch64IntUnary::equal

    source

    AArch64IntUnary::not_equal

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

    AArch64IntUnary::to_repr

    source

    AArch64LinkPlan

    source
    pub struct AArch64LinkPlan {
      // private fields
    } derive(
    Debug    )

    AArch64LinkPlan::code

    source
    fn AArch64LinkPlan::code(self : AArch64LinkPlan) -> Array[Byte]

    fn AArch64LinkPlan::link(self : AArch64LinkPlan, code_address : Int64, resolve : (
    RelocationTarget    ) -> Int64?) -> Array[Byte] raise AArch64LinkError

    AArch64LinkPlan::to_repr

    source

    AArch64LinkPlan::veneer_offsets

    source
    fn AArch64LinkPlan::veneer_offsets(self : AArch64LinkPlan) -> Array[Int]

    AArch64Shift

    source
    pub(all) enum AArch64Shift {
      Lsl
      Asr
      Lsr
      Ror
    } derive(Eq, 
    Debug    )

    AArch64Shift::equal

    source

    AArch64Shift::not_equal

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

    AArch64Shift::to_repr

    source

    AArch64StackObject

    source
    pub struct AArch64StackObject {
      offset : Int
      size : Int
      alignment : Int
      area_size : Int
      area_alignment : Int
    } derive(Eq, 
    Debug    )

    AArch64StackObject::equal

    source

    AArch64StackObject::new

    source
    fn AArch64StackObject::new(offset : Int, size : Int, alignment : Int, area_size : Int, area_alignment : Int) -> AArch64StackObject

    AArch64StackObject::not_equal

    source

    AArch64StackObject::to_repr

    source

    AArch64VectorConversion

    source

    AArch64VectorConversion::equal

    source

    AArch64VectorConversion::not_equal

    source

    AArch64VectorConversion::to_repr

    source

    AArch64VectorIntBinary

    source
    pub(all) enum AArch64VectorIntBinary {
      Add
      Sub
      Mul
      AverageUnsigned
      Min(
    Signedness    )
      Max(
    Signedness    )
      SaturatingAdd(
    Signedness    )
      SaturatingSub(
    Signedness    )
      ExtendMultiply(
    VectorHalf    , 
    Signedness    )
      Dot16To32Signed
      Q15MultiplyRoundedSaturating
    } derive(Eq, 
    Debug    )

    AArch64VectorIntBinary::equal

    source

    AArch64VectorIntBinary::not_equal

    source

    AArch64VectorIntBinary::to_repr

    source

    AArch64VectorIntUnary

    source
    pub(all) enum AArch64VectorIntUnary {
      Absolute
      Negate
      PopulationCount
      ExtendAddPairwise(
    Signedness    )
    } derive(Eq, 
    Debug    )

    AArch64VectorIntUnary::equal

    source

    AArch64VectorIntUnary::not_equal

    source

    AArch64VectorIntUnary::to_repr

    source

    AArch64VectorPredicate

    source
    pub(all) enum AArch64VectorPredicate {
      AnyTrue
      AllTrue(
    VectorLane    )
      BitMask(
    VectorLane    )
    } derive(Eq, 
    Debug    )

    AArch64VectorPredicate::equal

    source

    AArch64VectorPredicate::not_equal

    source

    AArch64VectorPredicate::to_repr

    source

    CallArgumentLocation

    source
    type CallArgumentLocation derive(Eq, 
    Debug    )

    CallArgumentLocation::equal

    source

    CallArgumentLocation::not_equal

    source

    CallArgumentLocation::to_repr

    source

    CallLayout

    source
    type CallLayout derive(Eq, 
    Debug    )

    CallLayout::equal

    source
    fn CallLayout::equal(CallLayout, CallLayout) -> Bool

    CallLayout::not_equal

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

    CallLayout::to_repr

    source

    CallResultLocation

    source
    type CallResultLocation derive(Eq, 
    Debug    )

    CallResultLocation::equal

    source

    CallResultLocation::not_equal

    source

    CallResultLocation::to_repr

    source

    GprWidth

    source
    pub(all) enum GprWidth {
      W32
      W64
    } derive(Eq, 
    Debug    )

    GprWidth::equal

    source
    fn GprWidth::equal(GprWidth, GprWidth) -> Bool

    GprWidth::not_equal

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

    GprWidth::to_repr

    source

    InternalAbi

    source
    pub struct InternalAbi {
      // private fields
    }

    InternalAbi::new

    source
    fn InternalAbi::new(context_argument : Int, result_area_argument : Int, integer_arguments : Array[Int], fp_arguments : Array[Int], integer_results : Array[Int], fp_results : Array[Int]) -> InternalAbi raise InternalAbiError

    InternalCallPlan

    source
    pub struct InternalCallPlan {
      // private fields
    } derive(Eq, 
    Debug    )

    InternalCallPlan::equal

    source

    InternalCallPlan::not_equal

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

    InternalCallPlan::to_repr

    source

    LoweringContext

    source
    pub struct LoweringContext {
      // private fields
    }

    LoweringContext::new

    source
    fn LoweringContext::new(internal_abi : InternalAbi) -> LoweringContext

    LoweringContext::with_environment_field

    source
    fn LoweringContext::with_environment_field(self : LoweringContext, field : 
    EnvironmentField    , offsets : Array[Int]) -> LoweringContext

    SelectedFunction

    source
    pub struct SelectedFunction {
      // private fields
    }

    Opaque evidence that AArch64 instruction selection and VCode validation completed without exposing the selected function for mutation.

    allocate

    source

    compile

    source

    Compile externally supplied AArch64 VCode through the safe validated entry.

    compile_selected

    source

    Compile VCode produced by select without repeating target validation.

    emit

    source

    lower

    source

    Validate and lower externally supplied semantic MachV.

    plan_frame

    source

    select

    source

    Select and validate AArch64 VCode for immediate target compilation.

    select_verified

    source
    fn select_verified(function : 
    Function    , context : LoweringContext) -> SelectedFunction raise AArch64LowerError

    Select canonical semantic MachV without repeating an established proof. Falls back to full validation if the producer did not establish it.

    verify_allocation

    source

    verify_frame

    source

    verify_vcode

    source

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io