Struct LoopInfo 

pub struct LoopInfo {
    pub header_idx: usize,
    pub end_idx: usize,
    pub body_locals_written: HashSet<u16>,
    pub body_locals_read: HashSet<u16>,
    pub body_module_bindings_written: HashSet<u16>,
    pub body_module_bindings_read: HashSet<u16>,
    pub induction_vars: Vec<InductionVar>,
    pub invariant_locals: HashSet<u16>,
    pub invariant_module_bindings: HashSet<u16>,
    pub body_can_allocate: bool,
    pub hoistable_calls: Vec<usize>,
}

Information about a single loop in the bytecode.

Fields

header_idx: usize

Bytecode index of LoopStart

end_idx: usize

Bytecode index of LoopEnd

body_locals_written: HashSet<u16>

Local variables written inside the loop body

body_locals_read: HashSet<u16>

Local variables read inside the loop body

body_module_bindings_written: HashSet<u16>

Module bindings written inside the loop body

body_module_bindings_read: HashSet<u16>

Module bindings read inside the loop body

induction_vars: Vec<InductionVar>

Identified induction variables

invariant_locals: HashSet<u16>

Locals that are loop-invariant (read but not written in loop body)

invariant_module_bindings: HashSet<u16>

Module bindings that are loop-invariant

body_can_allocate: bool

Whether the loop body contains opcodes that may trigger heap allocation. When false, the GC safepoint poll at the loop header can be skipped, eliminating a load + compare + branch per iteration (~3 cycles saved).

hoistable_calls: Vec<usize>

Bytecode indices of calls that the LICM pass identified as hoistable. Populated by the optimizer’s LICM analysis after loop detection. The translator consults this to emit hoisted calls in the loop pre-header.

Trait Implementations

impl Clone for LoopInfo

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopInfo

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

Formats the value using the given formatter.