Crate lav

Lane-Associated Vector (LAV): Portable SIMD vector trait as GAT of SIMD lane trait.

NOTE: This crate requires nightly Rust.

Features

• SIMD lane trait Real abstracting over f32 and f64.
• SIMD vector trait SimdReal<Real, LANES> abstracting over Simd<f32, LANES> and Simd<f64, LANES>.
• Generic associated type (GAT) Real::Simd<LANES> as part of SIMD lane trait Real implementing SIMD vector trait SimdReal<Self, LANES> for itself as lane type where the GAT is generic over the number of SIMD vector LANES.
• Lanewise approximate equality test wrt to epsilon and ULP SIMD vectors.
• ApproxEq trait complementing PartialEq.
• Safe FromUnchecked and IntoUnchecked complementing From and Into where the behavior may be unspecified but will not result in undefined behavior if the caller breaks any logical constraint.
• Non-reflexive PeelFrom and PeelInto traits complementing From and Into without conflicting implementations.
• Safe WrapFromUnchecked and WrapIntoUnchecked complementing PeelFrom and PeelInto where the behavior may be unspecified but will not result in undefined behavior if the caller breaks any logical constraint.
• Assert structure asserting constant generic expression when bound by trait True.
• no_std without loss of functionality by enabling the libm feature.

This example uses SIMD generically over floating-point types while hiding it from the user.

Modules

example

Portably SIMD-optimized 3D rotator implementation generic over lane type f32 and f64.

Macros

swizzle

Constructs vector by selecting values from the lanes of one or two source vectors.

Structs

Assert

Asserts constant generic expression E when bound by True.

Traits

ApproxEq

Tests for approximate equality.

Bits

Bits representation of Real number with associated SimdBits vector.

FromUnchecked

Compile-time unchecked but safe From.

IntoUnchecked

Compile-time unchecked but safe Into.

PeelFrom

From without reflexive impl<T> From<T> for T.

PeelInto

Into without reflexive impl<U> Into<U> for U.

Real

Real number of f32 or f64 with associated Bits representation and SimdReal vector.

Select

Selects lanes from two vectors by mask vector.

SimdBits

Bits representation vector of SimdReal vector with associated SimdMask vector.

SimdMask

Mask vector of Mask<i32, LANES> or Mask<i64, LANES>.

SimdReal

Real number vector of Simd<f32, LANES> or Simd<f64, LANES> with associated SimdBits and SimdMask vector.

True

Implemented for Assert with true expression.

WrapFromUnchecked

Compile-time unchecked but safe inverse of PeelFrom.

WrapIntoUnchecked

Compile-time unchecked but safe inverse of PeelInto.