Enum CallTag 

pub enum CallTag {
    Opaque,
    RegPure,
    Pure,
}

Per-call-site binding-convention tag (argpromote v2, ARGPROMOTE_REGISTERS_V2.md).

A materialized function supports two calling conventions selected per site; this tag records which one a given Call uses and how much of the callee’s effect is already explicit at the site. Serialized to the .harbinger wire so that rewritten regpure sites persist; older snapshots that predate the field load as CallTag::Opaque via #[serde(default)].

Variants

Opaque

Implicit binding: the call reads its inputs from, and writes its outputs back to, the register file per the callee’s interface mapping (or, for a non-materialized / ⊤ callee, clobbers conservatively). The default and the only convention on freshly-lifted IR.

RegPure

The call’s register interface is fully explicit at this site: inputs are passed as SSA args, outputs are read from the SSA return pack, and the call neither reads nor writes register space. Requires a materialized callee whose interface mapping the args/pack align with 1:1.

Pure

Additionally no implicit RAM effects — every effect is threaded through operands and results, so the call is a pure SSA operation. Strictly stronger than RegPure. (Reserved; the RAM channel that sets it is out of scope for the register phases.)

Implementations

impl CallTag

pub fn is_regpure(self) -> bool

Whether the call’s register interface is fully explicit at this site (RegPure or the stronger Pure): no implicit register reads/writes.

pub fn is_pure(self) -> bool

Whether the call is a fully pure SSA operation (no implicit RAM effects).

Trait Implementations

impl Clone for CallTag

fn clone(&self) -> CallTag

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CallTag

impl Debug for CallTag

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

Formats the value using the given formatter.

impl Default for CallTag

fn default() -> CallTag

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CallTag

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CallTag

impl Hash for CallTag

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CallTag

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CallTag

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 CallTag