README#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
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)impl Show for CodeObjectVerifyError
#Relocation
pub struct Relocation {
offset : Int
kind : RelocationKind
target : RelocationTarget
addend : Int64
} derive(Eq, Debug)#Relocation::new
fn Relocation::new(offset : Int, kind : RelocationKind, target : RelocationTarget, addend? : Int64) -> Relocation#RelocationKind
#RelocationTarget
pub(all) enum RelocationTarget {
Code(CodeSymbol)
External(ExternalSymbol)
Data(DataSymbol)
} derive(Eq, Debug)#RootLocation
pub(all) enum RootLocation {
Register(RegisterBank, Int)
Stack(offset~ : Int, ty~ : ValueType)
} derive(Eq, Debug)#SafepointSite
pub struct SafepointSite {
offset : Int
kind : SafepointKind
roots : Array[RootLocation]
source : SourceLocation?
stack_map : StackMapMetadata?
} derive(Eq, Debug)#SafepointSite::new
fn SafepointSite::new(offset : Int, kind : SafepointKind, roots : Array[RootLocation], source? : SourceLocation, stack_map? : StackMapMetadata) -> SafepointSite#SourceSite
#TrapSite
#TrapSite::new
#UnlinkedCodeObject
#UnlinkedCodeObject::architecture
#UnlinkedCodeObject::code
#UnlinkedCodeObject::relocations
#UnlinkedCodeObject::safepoints
#UnlinkedCodeObject::sources
#UnlinkedCodeObject::traps
#UnlinkedCodeObject::unwind
#UnlinkedCodeObject::verify
#UnwindDirective
#UnwindDirective::new
#UnwindOperation
pub(all) enum UnwindOperation {
StackAlloc(size~ : Int)
SetFramePointer(RegisterBank, Int, cfa_offset~ : Int)
SaveRegister(RegisterBank, Int, cfa_offset~ : Int)
} derive(Eq, Debug)#build
fn build(architecture : Architecture, code : Array[Byte], relocations? : Array[Relocation], sources? : Array[SourceSite], traps? : Array[TrapSite], safepoints? : Array[SafepointSite], unwind? : Array[UnwindDirective]) -> UnlinkedCodeObject raise CodeObjectVerifyErrorSource Files
Target-neutral semantic machine IR
compilermachine-ircodegenjit
0.8.2
Apache-2.0
Updated 2 days ago
164 downloads