Struct SimdVariant 

pub struct SimdVariant {
    pub vector_node: &'static str,
    pub exact: bool,
    pub total: bool,
    pub lane_independent: bool,
}

Semantic contract for a scalar node’s explicitly registered SIMD variant.

This metadata is deliberately attached to the scalar node rather than inferred from function names. A promotion pass may use it only after it also validates the scalar/register port shapes and proves that the complete vector cone lowers for the effective host ISA.

Fields

vector_node: &'static str

DSL name of the register-typed, lane-wise equivalent node.

exact: bool

Whether every lane is exactly equivalent to one scalar invocation.

total: bool

Whether evaluation is total for every bit pattern admitted by the scalar input types. Tier-1 padded execution requires this flag.

lane_independent: bool

Whether one lane can be evaluated without reading or changing another lane. Scalar-flow auto-promotion requires this flag.

Implementations

impl SimdVariant

pub const fn exact_total(vector_node: &'static str) -> Self

Exact, total, element-wise variant used by the first promotion tier.

pub const fn exact_fallible(vector_node: &'static str) -> Self

Exact element-wise variant which may fault for some lane values.

Such a variant can be used only when the planner proves the admitted value range or implements ordered lane-error attribution.

Trait Implementations

impl Clone for SimdVariant

fn clone(&self) -> SimdVariant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SimdVariant

impl Debug for SimdVariant

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

Formats the value using the given formatter.

impl Eq for SimdVariant

impl Hash for SimdVariant

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 SimdVariant

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SimdVariant