Enum LoopType 

pub enum LoopType {
    Void,
    Scalar(ScalarType),
    Vector(ScalarType, u8),
    Ptr(Box<LoopType>),
}

Types in Loop IR.

Variants

Void

Void (no value).

Scalar(ScalarType)

Scalar type.

Vector(ScalarType, u8)

Vector type (SIMD).

Ptr(Box<LoopType>)

Pointer to memory.

Implementations

impl LoopType

pub fn size_bytes(&self) -> usize

Returns the size in bytes.

pub fn is_void(&self) -> bool

Returns true if this is a void type.

pub fn is_vector(&self) -> bool

Returns true if this is a vector type.

impl LoopType

pub const VEC4F32: Self

4-wide 32-bit float vector (128-bit, SSE/NEON compatible).

pub const VEC8F32: Self

8-wide 32-bit float vector (256-bit, AVX compatible).

pub const VEC2F64: Self

2-wide 64-bit float vector (128-bit, SSE/NEON compatible).

pub const VEC4F64: Self

4-wide 64-bit float vector (256-bit, AVX compatible).

pub const VEC4I32: Self

4-wide 32-bit integer vector (128-bit).

pub const VEC8I32: Self

8-wide 32-bit integer vector (256-bit).

pub fn natural_vector_width(scalar: ScalarType, target: TargetArch) -> u8

Returns the natural vector width for a scalar type on the target.

Target Widths

Target	F32	F64	I32
x86_64 (SSE)	4	2	4
x86_64 (AVX)	8	4	8
aarch64 (NEON)	4	2	4

pub const fn vector(scalar: ScalarType, width: u8) -> Self

Creates a vector type for the given scalar and width.

pub fn vector_width(&self) -> Option<u8>

Returns the vector width if this is a vector type, otherwise None.

pub fn element_type(&self) -> Option<ScalarType>

Returns the scalar element type if this is a vector type.

Trait Implementations

impl Clone for LoopType

fn clone(&self) -> LoopType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoopType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LoopType

impl Hash for LoopType

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 LoopType

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LoopType