Struct ValueFact 

pub struct ValueFact {
    pub interval: Option<Interval>,
    pub op_class: OpClass,
    pub escapes: bool,
    pub repr: Repr,
}

Per-value representation-selection fact, keyed by LocalId within a MirFn. repr == Bare ⟺ raw_i64_eligible(interval, ops) && !escapes.

Fields

interval: Option<Interval>

Derived interval over-approximation (None = the analysis could not derive a bound, the conservative decline).

op_class: OpClass

Worst-case op class over every arithmetic node the value flows through. OverflowFree is the only band that may be Bare.

escapes: bool

true when the value reaches a general-Int context (returned as a general Int, passed to a general-Int param, stored in an aggregate, or stringified). A Bare value never escapes by construction.

repr: Repr

The chosen representation.

Implementations

impl ValueFact

pub fn is_bare(&self) -> bool

Trait Implementations

impl Clone for ValueFact

fn clone(&self) -> ValueFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueFact

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

Formats the value using the given formatter.