Struct HoistGuard 

pub struct HoistGuard {
    pub len_slot: u16,
    pub bound_reg: u16,
    pub iv_reg: u16,
    pub add_max: i32,
    pub add_min: i32,
}

A hoisted region-entry bounds check (V8 loop bound-check elimination): the loop’s covered accesses run unchecked iff, at entry, the pinned array is long enough for the whole loop and the induction floor is in range. The VM declines the region (replays on bytecode) if it fails.

Fields

len_slot: u16

Frame slot holding the pinned array’s length (loaded by the prologue).

bound_reg: u16

VM register holding the loop’s upper bound.

iv_reg: u16

VM register holding the induction variable (its value at entry is the loop’s minimum for the remaining run).

add_max: i32

length >= bound + add_max (max access index over the loop).

add_min: i32

iv + add_min >= 1 (min access index over the loop, 1-based).

Trait Implementations

impl Clone for HoistGuard

fn clone(&self) -> HoistGuard

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HoistGuard

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

Formats the value using the given formatter.

impl Copy for HoistGuard