Skip to main content

ForgeTier

Struct ForgeTier 

Source
pub struct ForgeTier { /* private fields */ }
Expand description

The forge-backed native tier, with compile observability.

Implementations§

Source§

impl ForgeTier

Source

pub fn new() -> Self

A fresh tier with zeroed counters.

Source

pub fn function_counts(&self) -> (u32, u32)

(attempts, successes) for FUNCTION compiles.

Source

pub fn pinned_self_call_count(&self) -> u32

The number of fused pinned-argument self-calls (CallSelfCopy) emitted across every function compile — Lever A’s observable. A nonzero value proves a scalar self-call took the fused ABI rather than per-argument frame Move staging.

Source

pub fn region_counts(&self) -> (u32, u32)

(attempts, successes) for Main-loop REGION compiles.

Source

pub fn regalloc_region_count(&self) -> u32

How many region compiles used the CONTIGUOUS register-allocating backend (WS-G compile_region_regalloc) rather than a per-piece stencil tier. Nonzero proves the regalloc backend fired on a real program’s hot loop.

Source

pub fn regalloc_precise_region_count(&self) -> u32

How many PRECISE region compiles used the contiguous register-allocating backend (compile_region_regalloc_precise) rather than the per-piece precise stencil tier. Nonzero proves the in-place-mutation + reallocating- push shape (fannkuch / graph_bfs worklist) tiered through the regalloc backend — Wave 21’s lever.

Source

pub fn regalloc_function_count(&self) -> u32

How many FUNCTION compiles used the contiguous register-allocating backend (compile_function_regalloc) rather than the per-piece stencil tier. Nonzero proves a recursive (self-calling) function tiered through the regalloc backend — the recursion cluster’s lever.

Source

pub fn runtime_stats(&self) -> (u64, u64, u64, u64)

Runtime FUNCTION-boundary truth: (entries, completions, plain deopts, precise deopts). Entries count VM→native crossings — native self-recursion inside one entry is invisible here, which is exactly the point: a hot recursive function shows FEW entries.

Trait Implementations§

Source§

impl Default for ForgeTier

Source§

fn default() -> ForgeTier

Returns the “default value” for a type. Read more
Source§

impl NativeTier for ForgeTier

Source§

fn compile_function( &self, code: &[Op], entry_pc: usize, constants: &[Constant], param_count: u16, register_count: u16, self_fi: u16, param_kinds: &[Option<ParamKind>], ret_kind: Option<SlotKind>, ctx: &NativeCtx, callees: &[CalleeSig], ) -> Option<Box<dyn NativeFn>>

Attempt to compile the function whose bytecode is code (code[0] is the instruction at entry_pc; jump targets inside are ABSOLUTE program pcs and need rebasing by entry_pc). Return None to leave the function on the bytecode path forever. Read more
Source§

fn compile_region( &self, code: &[Op], head_pc: usize, exit_pc: usize, constants: &[Constant], register_count: u16, named: &[bool], observed: &[ObservedKind], ctx: &NativeCtx, callees: &[CalleeSig], ) -> Option<Box<dyn RegionFn>>

Attempt to compile a loop region. code[0] is the op at head_pc (the back-edge target); the slice ends at the back-edge jump (inclusive). Every jump out of the region must target exit_pc. named[r] marks frame registers carrying a user-visible name — the only slots whose post-region values are observable (scratches are dead at statement boundaries by the compiler’s allocation discipline). observed[r] is the register’s runtime kind at this hot crossing — the speculation seed, re-checked by the guard set on every entry. Default: regions stay on bytecode.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,