Struct InductionVariable 

pub struct InductionVariable {
    pub var: LcnfVarId,
    pub base: LcnfArg,
    pub step: i64,
    pub name: String,
}

An induction variable in a loop.

Represented as var = base + step * iteration where var is the LcnfVarId of the loop parameter, step is the constant increment per iteration, and base is the initial value.

Fields

var: LcnfVarId

The loop parameter that serves as the IV.

base: LcnfArg

Initial value (may be a variable or literal).

step: i64

Per-iteration step (must be a compile-time constant for OSR).

name: String

Human-readable name hint.

Implementations

impl InductionVariable

pub fn new(var: LcnfVarId, base: LcnfArg, step: i64, name: String) -> Self

Trait Implementations

impl Clone for InductionVariable

fn clone(&self) -> InductionVariable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InductionVariable

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

Formats the value using the given formatter.