Enum RegClass 

pub enum RegClass {
    StaticAddr,
    Opaque,
}

The address class of a register within one code segment (one function body).

The hardware criterion is DESCRIPTOR-TIME COMPUTABILITY: an address is static when it derives only from constants, loop arithmetic over such values, and collection METADATA (length) — never from loaded payload data. That is a taint analysis: payload-producing writes (element loads, iterator values, pops, call results, channel receives, …) taint; pure ALU over untainted operands stays untainted.

Variants

StaticAddr

Provably computed from constants / loop arithmetic / length metadata only — the address stream is enumerable when the transfer descriptor is set up.

Opaque

Anything unproven: payload-derived, parameter, opaque call result. Dynamic.

Trait Implementations

impl Clone for RegClass

fn clone(&self) -> RegClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegClass

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

Formats the value using the given formatter.

impl PartialEq for RegClass

fn eq(&self, other: &RegClass) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for RegClass

impl Eq for RegClass

impl StructuralPartialEq for RegClass