Struct FnBytecode 

pub struct FnBytecode {
    pub code: Vec<Op>,
    pub constants: Vec<Constant>,
    pub register_count: usize,
    pub param_count: u16,
    pub param_kinds: Vec<Option<ParamKind>>,
    pub ret_kind: Option<SlotKind>,
    pub named_regs: Vec<bool>,
}

One function lifted out of a CompiledProgram: a self-contained, relocatable body with 0-relative jump targets plus the metadata to execute or compile it.

Fields

code: Vec<Op>

The function body, with every jump target rebased to be relative to code[0].

constants: Vec<Constant>

The constant pool the code indexes into — the program’s pool, copied so the unit is self-contained; constant indices are preserved unchanged.

register_count: usize

param_count: u16

param_kinds: Vec<Option<ParamKind>>

ret_kind: Option<SlotKind>

named_regs: Vec<bool>

Which frame registers carry a user-visible name (the region JIT’s observability map; preserved from the source function).

Implementations

impl FnBytecode

pub fn is_well_formed(&self, n_funcs: usize) -> bool

Structural self-consistency check (HOTSWAP §P12/P11 robustness). Every jump target must land inside the body and the body must end in a control-leaving op, so an installed body can neither fetch past the warm buffer (panic) nor fall through into the next installed body (silent miscompile). A slice_function body always passes; this rejects a corrupt / foreign / mis-decoded body so the VM declines the install and falls back to baseline instead of trusting it. n_funcs bounds any Call target so a body can’t dispatch to a non-existent function index.

Trait Implementations

impl Clone for FnBytecode

fn clone(&self) -> FnBytecode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FnBytecode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FnBytecode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for FnBytecode

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.