Enum SpatialReject 

pub enum SpatialReject {
    Parse(String),
    Unrecognized {
        matmul: MatmulReject,
        elementwise: ElementwiseReject,
        reduction: ReductionReject,
    },
    NotLowered(&'static str),
    MissingCompute {
        needed: &'static str,
        target: &'static str,
    },
    MissingPrecision {
        needed: Precision,
        target: &'static str,
    },
    MissingHandshake {
        needed: HandshakeKind,
        target: &'static str,
    },
    MissingInterconnect {
        needed: Interconnect,
        target: &'static str,
    },
    NoLegalTiling {
        rows_t: usize,
        cols_t: usize,
        k_tiles: usize,
        acc_tiles: usize,
        sites: usize,
    },
    LocalMemExceeded {
        site: Site,
        needed_bytes: usize,
        budget_bytes: usize,
    },
    AccTilesExceeded {
        needed: usize,
        available: usize,
        acc: AccPolicy,
    },
    TooManyEngines {
        site: Site,
        needed: usize,
        available: u8,
    },
    GroupCountMismatch {
        group: GroupId,
        counts: Vec<(Site, usize)>,
    },
    WrongPhase {
        pass: &'static str,
        expected: &'static str,
        found: Phase,
    },
    Unverified(ChoreoFault),
    Invalid(IrViolation),
    ScalarFrontEnd(String),
    NotQ8_0 {
        weight: String,
    },
}

Why a program cannot become (or stay) a spatial program on a target — typed, never a silent fallback.

Variants

Parse(String)

Unrecognized

Fields

matmul: MatmulReject

elementwise: ElementwiseReject

reduction: ReductionReject

NotLowered(&'static str)

MissingCompute

Fields

needed: &'static str

target: &'static str

MissingPrecision

Fields

needed: Precision

target: &'static str

MissingHandshake

Fields

needed: HandshakeKind

target: &'static str

MissingInterconnect

Fields

needed: Interconnect

target: &'static str

NoLegalTiling

Fields

rows_t: usize

cols_t: usize

k_tiles: usize

acc_tiles: usize

sites: usize

LocalMemExceeded

Fields

site: Site

needed_bytes: usize

budget_bytes: usize

AccTilesExceeded

Fields

needed: usize

available: usize

acc: AccPolicy

TooManyEngines

Fields

site: Site

needed: usize

available: u8

GroupCountMismatch

Fields

group: GroupId

counts: Vec<(Site, usize)>

WrongPhase

Fields

pass: &'static str

expected: &'static str

found: Phase

Unverified(ChoreoFault)

Invalid(IrViolation)

ScalarFrontEnd(String)

The scalar (decision-fabric) front end refused the body in its own words — an op outside the compare/arith/branch family, a runtime-bound slice, a value kind it does not carry.

NotQ8_0

A weight the deployment stores Q8_0 whose declared values are not an int8 multiple of a scale per 32 rows.

Fields

weight: String

Trait Implementations

impl Clone for SpatialReject

fn clone(&self) -> SpatialReject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpatialReject

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

Formats the value using the given formatter.

impl From<IrViolation> for SpatialReject

fn from(v: IrViolation) -> Self

Converts to this type from the input type.

impl From<SpatialReject> for ComposeReject

fn from(v: SpatialReject) -> Self

Converts to this type from the input type.

impl From<SpatialReject> for TpReject

fn from(e: SpatialReject) -> Self

Converts to this type from the input type.

impl PartialEq for SpatialReject

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