Enum RegisterChannelState 

pub enum RegisterChannelState {
    Unsolved,
    Top,
    Solved(RegisterEffectSets),
    Materialized(RegisterInterfaceMap),
}

The state of a function’s register-channel effect summary (argpromote v2).

Purity has moved from a function flag (pure_reg) to per-call-site tags, but the interface mapping a materialized function exposes still lives on the function — the emulator’s implicit call convention, alias analysis, and the verifier all consume it. This enum records how far the summary has advanced.

Variants

Unsolved

Not yet solved by the effect-analysis pass (the default / post-load state).

Top

⊤ — unknowable: the function contains an unresolved indirect call, calls a ⊤ function, or is a prototype-less external. Its register effects stay modelled conservatively (clobbers-all) at every call site.

Solved(RegisterEffectSets)

Solved to a finite effect set but the interface is not yet materialized (no by-value params / return pack added). Call sites still bind implicitly, but the solved read/write register sets are precise: a call to this function reads at most reads and writes at most writes.

Materialized(RegisterInterfaceMap)

Materialized: the function carries by-value register params and a return pack, and this mapping records which register each interface slot binds. Consumed by the dual binding convention.

Implementations

impl RegisterChannelState

pub fn materialized(&self) -> Option<&RegisterInterfaceMap>

The materialized interface mapping, if this function has been materialized.

pub fn is_solved(&self) -> bool

Whether the summary is solved (either not-yet- or already-materialized), i.e. its register effects are known precisely rather than ⊤.

Trait Implementations

impl Clone for RegisterChannelState

fn clone(&self) -> RegisterChannelState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegisterChannelState

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

Formats the value using the given formatter.

impl Default for RegisterChannelState

fn default() -> RegisterChannelState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RegisterChannelState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RegisterChannelState

impl PartialEq for RegisterChannelState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RegisterChannelState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RegisterChannelState