Skip to main content

ValidationError

Enum ValidationError 

Source
pub enum ValidationError {
    MissingVersionDirective,
    MissingTargetDirective,
    UndefinedRegister(String),
    TypeMismatch {
        expected: String,
        found: String,
    },
    InvalidSharedMemSize {
        declared: usize,
        max_allowed: usize,
    },
    InvalidAddressSize(String),
    SmIncompatibleInstruction {
        instruction: String,
        required_sm: String,
        found_sm: String,
    },
    RegisterPressureExceeded {
        count: usize,
        max_allowed: usize,
    },
    Other(String),
}
Expand description

A PTX validation error.

Each variant describes a specific issue found during validation.

Variants§

§

MissingVersionDirective

The .version directive is missing.

§

MissingTargetDirective

The .target directive is missing.

§

UndefinedRegister(String)

A register was used but not declared.

§

TypeMismatch

A type mismatch was detected (heuristic-based).

Fields

§expected: String

The expected type.

§found: String

The type that was found.

§

InvalidSharedMemSize

Shared memory size exceeds architecture limits.

Fields

§declared: usize

The declared shared memory size in bytes.

§max_allowed: usize

The maximum allowed for the target architecture.

§

InvalidAddressSize(String)

The .address_size directive is missing or not 64.

§

SmIncompatibleInstruction

An instruction requires a newer SM version than the target.

Fields

§instruction: String

The instruction or feature that is not available.

§required_sm: String

The minimum SM version required (e.g. "sm_80").

§found_sm: String

The SM version specified in the PTX (e.g. "sm_75").

§

RegisterPressureExceeded

Register count exceeds the architecture’s per-thread limit (255).

Fields

§count: usize

Number of unique registers detected.

§max_allowed: usize

Maximum allowed registers per thread.

§

Other(String)

A generic validation error with descriptive message.

Trait Implementations§

Source§

impl Clone for ValidationError

Source§

fn clone(&self) -> ValidationError

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ValidationError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Display for ValidationError

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.