Skip to main content

Module native_backend

Module native_backend 

Source
Expand description

Re-exports for the custom native backend (for testing/integration).

Modules§

backend
NativeBackend: SimBackend implementation using a custom host backend.
emit
x86-64 code emission: MIR + physical register assignment → machine code.
features
Host x86-64 feature facts shared by MIR optimization, allocation, and emission.
isel
Instruction Selection: lowers SIR (bit-level SSA) to MIR (word-level SSA).
jit_mem
JIT memory: load emitted machine code into executable memory and call it.
memory_effect
Physical MIR memory effects shared by optimization and allocation.
mir
Machine-level IR: word-level SSA with virtual registers.
mir_legalize
mir_opt
MIR optimization passes: run between ISel and regalloc.
mir_verify
regalloc
Verified SSA register allocator based on Braun & Hack’s extended MIN.
scalar_pipeline
Transitional scalar pipeline implemented by the x86 backend.
ssa_destroy
Verified destruction of MIR SSA phi nodes into edge-local parallel copies.
x86_slp
Target-specific x86 SLP selection and XMM register assignment.

Structs§

AppendedNativeImage
Result of finding and decoding an image appended to another byte sequence.
NativeBackend
NativeCodeEntry
One callable function in a packed native code image.
NativeExecutionTiming
Time spent inside generated native simulator functions.
NativeProgramImage
Pointer-free native compiler artifact which can be attached to the precompiled Celox runtime.
NativeProgramInstance
One independently mutable instance of a precompiled native program.
SharedNativeCode
Shared compiled code for the native backend. Can be cloned (via Arc) to create multiple simulator instances that share the same compiled machine code.

Enums§

NativeImageArchitecture
Native ISA required by an appended program image.
NativeImageContainerError
Failure while encoding or discovering a native image container.
NativeProgramLoadError
Failure while discovering or attaching a compiler-produced native image.
NativeSignalIdentity
Source-independent identity shared by reflected handles for one signal.