Struct GuardVerdict 

pub struct GuardVerdict { /* private fields */ }

The verdict of a per-lane RowJet::guard domain check.

A scalar jet (a crate::jet_scalar::JetScalar via the blanket impl) carries ONE value, so it reports lanes == 1 and a one-bit mask. A lane tower (Tower3Lane / Tower4Lane over f64x4) carries FOUR rows, so it reports lanes == 4 and one mask bit per lane. The mask lets a batched program bail exactly the offending 4-group to the scalar tail (any_failed), or inspect which lanes tripped (lane_failed).

Implementations

impl GuardVerdict

pub fn scalar(pass: bool) -> Self

A scalar (1-lane) verdict: pass == true ⇒ no failure.

pub fn lanes4(failed_mask: u8) -> Self

A 4-lane verdict from a per-lane failure mask (bit i ⇒ lane i failed).

pub fn lanes(self) -> usize

Number of active lanes inspected (1 scalar, 4 batch).

pub fn all_pass(self) -> bool

True iff every inspected lane satisfied the predicate.

pub fn any_failed(self) -> bool

True iff at least one inspected lane failed the predicate.

pub fn lane_failed(self, i: usize) -> bool

True iff lane i failed the predicate.

pub fn failed_mask(self) -> u8

The raw failure mask (bit i ⇒ lane i failed).

Trait Implementations

impl Clone for GuardVerdict

fn clone(&self) -> GuardVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GuardVerdict

impl Debug for GuardVerdict

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

Formats the value using the given formatter.

impl Eq for GuardVerdict

impl PartialEq for GuardVerdict

fn eq(&self, other: &GuardVerdict) -> 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 StructuralPartialEq for GuardVerdict