Enum ValidationError 

pub enum ValidationError {
    ControlFlowRequiresFeedForward {
        pc: usize,
        mnemonic: &'static str,
    },
    MultipleMeasuresRequireFeedForward {
        pc: usize,
    },
    FillRequiresAtomReloading {
        pc: usize,
    },
    InvalidLocation {
        pc: usize,
        message: String,
    },
    InvalidLane {
        pc: usize,
        message: String,
    },
    InvalidZone {
        pc: usize,
        message: String,
    },
    NewArrayZeroDim0 {
        pc: usize,
    },
    NewArrayInvalidTypeTag {
        pc: usize,
        type_tag: u32,
    },
    InitialFillNotFirst {
        pc: usize,
    },
    EmptyProgram,
    MissingTerminator {
        pc: usize,
    },
    UnreachableInstruction {
        pc: usize,
    },
    StackUnderflow {
        pc: usize,
    },
    TypeMismatch {
        pc: usize,
        expected: u8,
        got: u8,
    },
    LocationGroupValidation {
        pc: usize,
        error: LocationGroupError,
    },
    LaneGroupValidation {
        pc: usize,
        error: LaneGroupError,
    },
}

An arch-dependent validation failure, tagged with the offending instruction’s program counter.

Variants

ControlFlowRequiresFeedForward

A CPU control-flow instruction appears but feed_forward is disabled.

Fields

pc: usize

mnemonic: &'static str

The offending mnemonic (e.g. "cond_br").

MultipleMeasuresRequireFeedForward

More than one measure appears but feed_forward is disabled.

Fields

pc: usize

FillRequiresAtomReloading

A fill appears but atom_reloading is disabled.

Fields

pc: usize

InvalidLocation

A const_loc operand does not name a valid location in the arch spec.

Fields

pc: usize

message: String

InvalidLane

A const_lane operand does not name a valid lane in the arch spec.

Fields

pc: usize

message: String

InvalidZone

A const_zone operand does not name a valid zone in the arch spec.

Fields

pc: usize

message: String

NewArrayZeroDim0

new_array dim0 must be greater than zero.

Fields

pc: usize

NewArrayInvalidTypeTag

new_array type_tag exceeds the maximum value tag.

Fields

pc: usize

type_tag: u32

InitialFillNotFirst

initial_fill is not the first non-constant instruction.

Fields

pc: usize

EmptyProgram

The program has no instructions (and therefore no terminator).

MissingTerminator

The final instruction is neither return nor halt.

Fields

pc: usize

UnreachableInstruction

An instruction follows a return/halt and is unreachable.

Fields

pc: usize

StackUnderflow

An instruction popped from an empty stack.

Fields

pc: usize

TypeMismatch

A popped value had the wrong type tag (see tag).

Fields

pc: usize

expected: u8

got: u8

LocationGroupValidation

A local_r/local_rz/fill/initial_fill location group is invalid.

Fields

pc: usize

error: LocationGroupError

LaneGroupValidation

A move lane group is invalid (duplicate, inconsistent, AOD, …).

Fields

pc: usize

error: LaneGroupError

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for ValidationError

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

impl StructuralPartialEq for ValidationError