Struct LoopInvariantExpr 

pub struct LoopInvariantExpr {
    pub var: LcnfVarId,
    pub value: LcnfLetValue,
    pub ty: LcnfType,
    pub loop_depth: u32,
}

A let-binding inside a loop whose value is loop-invariant.

Fields

var: LcnfVarId

The variable introduced by this binding.

value: LcnfLetValue

The right-hand side value (invariant computation).

ty: LcnfType

The type of the variable.

loop_depth: u32

Nesting depth of the loop this expression was found in.

Trait Implementations

impl Clone for LoopInvariantExpr

fn clone(&self) -> LoopInvariantExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopInvariantExpr

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

Formats the value using the given formatter.