Struct Function 

pub struct Function {

    pub name: String,
    pub arity: u16,
    pub param_names: Vec<String>,
    pub locals_count: u16,
    pub entry_point: usize,
    pub body_length: usize,
    pub is_closure: bool,
    pub captures_count: u16,
    pub is_async: bool,
    pub ref_params: Vec<bool>,
    pub ref_mutates: Vec<bool>,
    pub mutable_captures: Vec<bool>,
    pub frame_descriptor: Option<FrameDescriptor>,
    pub osr_entry_points: Vec<OsrEntryPoint>,
    pub mir_data: Option<Arc<MirFunctionData>>,
}

Function definition in bytecode

Fields

name: String

arity: u16

param_names: Vec<String>

locals_count: u16

entry_point: usize

body_length: usize

is_closure: bool

captures_count: u16

is_async: bool

ref_params: Vec<bool>

Which parameters are passed by reference (&). ref_params[i] == true means param i is a reference.

ref_mutates: Vec<bool>

Which reference parameters mutate their target. ref_mutates[i] == true means ref param i performs writes (exclusive borrow). false means read-only (shared borrow).

mutable_captures: Vec<bool>

Which upvalues (captures) are mutable. mutable_captures[i] == true means capture i is assigned inside the closure and should be routed through the SharedCell-backed upvalue fallback (post-H3: the single Upvalue payload auto-derefs the SharedCell) or through the Phase D LocalMutablePtr typed-capture opcodes when the storage plan qualifies.

frame_descriptor: Option<FrameDescriptor>

Typed frame layout for this function’s locals (params + locals).

When present, the JIT / VM can use per-slot type information to skip NaN-boxing and allocate native-width registers. None means all slots are treated as generic Boxed values.

osr_entry_points: Vec<OsrEntryPoint>

OSR (On-Stack Replacement) entry points for hot loops in this function.

Populated by loop analysis when the JIT compiles a loop body separately. Each entry describes a loop header where the VM can transfer execution from the interpreter into JIT-compiled code mid-function.

mir_data: Option<Arc<MirFunctionData>>

Cached MIR data for JIT v2. Wrapped in Arc for cheap Clone.

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Function

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Function

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Function

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

where __S: Serializer,

Serialize this value into the given Serde serializer.