🥮 mooncakes.io
    Sign in

    #machv/code_object

    This package is the final reusable boundary between target emission and an embedding runtime. It stores copied machine-code bytes together with typed relocations, trap sites, safepoints, root locations, and target-neutral unwind directives.

    build validates architecture-specific alignment, bounds, relocation kinds, known instruction encodings, and unwind state transitions before an object can escape. An unwind directive's offset is the code offset immediately after the prologue instruction that establishes the described state. Saved-register locations are relative to the canonical frame address.

    This package deliberately does not encode platform unwind formats, register unwind data with the host, resolve runtime symbols, allocate executable memory, or apply relocations. Those operations belong to the embedding product.

    CodeObjectVerifyError

    source
    pub suberror CodeObjectVerifyError {
      EmptyCode
      MisalignedCodeSize(size~ : Int)
      InvalidRelocation(index~ : Int, message~ : String)
      DuplicateRelocationOffset(offset~ : Int)
      InvalidSourceSite(index~ : Int, offset~ : Int)
      InvalidTrapSite(index~ : Int, offset~ : Int)
      InvalidSafepointSite(index~ : Int, offset~ : Int)
      InvalidRootLocation(safepoint~ : Int, root~ : Int)
      InvalidStackMap(safepoint~ : Int)
      InvalidUnwindDirective(index~ : Int, message~ : String)
    } derive(Eq, 
    Debug    )

    CodeObjectVerifyError::equal

    source

    CodeObjectVerifyError::not_equal

    source

    CodeObjectVerifyError::output

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

    CodeObjectVerifyError::to_repr

    source

    CodeObjectVerifyError::to_string

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

    Architecture

    source
    pub(all) enum Architecture {
      AArch64
      X64
    } derive(Eq, 
    Debug    )

    Architecture::equal

    source

    Architecture::not_equal

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

    Architecture::to_repr

    source

    RegisterBank

    source
    pub(all) enum RegisterBank {
      Int
      FpVector
    } derive(Eq, 
    Debug    )

    RegisterBank::equal

    source

    RegisterBank::not_equal

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

    RegisterBank::to_repr

    source

    Relocation

    source
    pub struct Relocation {
      offset : Int
      kind : RelocationKind
      target : RelocationTarget
      addend : Int64
    } derive(Eq, 
    Debug    )

    Relocation::equal

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

    Relocation::new

    source
    fn Relocation::new(offset : Int, kind : RelocationKind, target : RelocationTarget, addend? : Int64) -> Relocation

    Relocation::not_equal

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

    Relocation::to_repr

    source

    RelocationKind

    source
    pub(all) enum RelocationKind {
      AArch64Call26
      AArch64Jump26
      AArch64Page21
      AArch64PageOffset12
      X64PcRelative32
      Absolute64
    } derive(Eq, 
    Debug    )

    RelocationKind::equal

    source

    RelocationKind::not_equal

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

    RelocationKind::to_repr

    source

    RelocationTarget

    source

    RelocationTarget::equal

    source

    RelocationTarget::not_equal

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

    RelocationTarget::to_repr

    source

    RootLocation

    source
    pub(all) enum RootLocation {
      Register(RegisterBank, Int)
      Stack(offset~ : Int, ty~ : 
    ValueType    )
    } derive(Eq, 
    Debug    )

    RootLocation::equal

    source

    RootLocation::not_equal

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

    RootLocation::to_repr

    source

    SafepointSite

    source

    SafepointSite::equal

    source

    SafepointSite::new

    source

    SafepointSite::not_equal

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

    SafepointSite::to_repr

    source

    SourceSite

    source
    pub struct SourceSite {
      offset : Int
      source : 
    SourceLocation
    } derive(Eq, 
    Debug    )

    SourceSite::equal

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

    SourceSite::new

    source

    SourceSite::not_equal

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

    SourceSite::to_repr

    source

    TrapSite

    source

    TrapSite::equal

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

    TrapSite::new

    source

    TrapSite::not_equal

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

    TrapSite::to_repr

    source

    UnlinkedCodeObject

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

    UnlinkedCodeObject::architecture

    source

    UnlinkedCodeObject::code

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

    UnlinkedCodeObject::relocations

    source

    UnlinkedCodeObject::safepoints

    source

    UnlinkedCodeObject::sources

    source

    UnlinkedCodeObject::to_repr

    source

    UnlinkedCodeObject::traps

    source

    UnlinkedCodeObject::unwind

    source

    UnlinkedCodeObject::verify

    source

    UnwindDirective

    source
    pub struct UnwindDirective {
      offset : Int
      operation : UnwindOperation
    } derive(Eq, 
    Debug    )

    UnwindDirective::equal

    source

    UnwindDirective::new

    source
    fn UnwindDirective::new(offset : Int, operation : UnwindOperation) -> UnwindDirective

    UnwindDirective::not_equal

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

    UnwindDirective::to_repr

    source

    UnwindOperation

    source
    pub(all) enum UnwindOperation {
      StackAlloc(size~ : Int)
      SetFramePointer(RegisterBank, Int, cfa_offset~ : Int)
      SaveRegister(RegisterBank, Int, cfa_offset~ : Int)
    } derive(Eq, 
    Debug    )

    UnwindOperation::equal

    source

    UnwindOperation::not_equal

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

    UnwindOperation::to_repr

    source

    build

    source
    fn build(architecture : Architecture, code : Array[Byte], relocations? : Array[Relocation], sources? : Array[SourceSite], traps? : Array[TrapSite], safepoints? : Array[SafepointSite], unwind? : Array[UnwindDirective]) -> UnlinkedCodeObject raise CodeObjectVerifyError

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io