Struct creusot_contracts::std::arch::x86_64::__m512i

#[repr(simd)]
pub struct __m512i(/* private fields */);

Available on x86-64 only.

512-bit wide integer vector type, x86-specific

This type is the same as the __m512i type defined by Intel, representing a 512-bit SIMD register. Usage of this type typically corresponds to the avx512* and up target features for x86/x86_64.

Internally this type may be viewed as:

• i8x64 - sixty-four i8 variables packed together
• i16x32 - thirty-two i16 variables packed together
• i32x16 - sixteen i32 variables packed together
• i64x8 - eight i64 variables packed together

(as well as unsigned versions). Each intrinsic may interpret the internal bits differently, check the documentation of the intrinsic to see how it’s being used.

Note that this means that an instance of __m512i typically just means a “bag of bits” which is left up to interpretation at the point of use.

Trait Implementations

impl Clone for __m512i

fn clone(&self) -> __m512i

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for __m512i

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

Formats the value using the given formatter.

impl From<Simd<i16, 32>> for __m512i

fn from(value: Simd<i16, 32>) -> __m512i

Converts to this type from the input type.

impl From<Simd<i32, 16>> for __m512i

fn from(value: Simd<i32, 16>) -> __m512i

Converts to this type from the input type.

impl From<Simd<i64, 8>> for __m512i

fn from(value: Simd<i64, 8>) -> __m512i

Converts to this type from the input type.

impl From<Simd<i8, 64>> for __m512i

fn from(value: Simd<i8, 64>) -> __m512i

Converts to this type from the input type.

impl From<Simd<isize, 8>> for __m512i

fn from(value: Simd<isize, 8>) -> __m512i

Converts to this type from the input type.

impl From<Simd<u16, 32>> for __m512i

fn from(value: Simd<u16, 32>) -> __m512i

Converts to this type from the input type.

impl From<Simd<u32, 16>> for __m512i

fn from(value: Simd<u32, 16>) -> __m512i

Converts to this type from the input type.

impl From<Simd<u64, 8>> for __m512i

fn from(value: Simd<u64, 8>) -> __m512i

Converts to this type from the input type.

impl From<Simd<u8, 64>> for __m512i

fn from(value: Simd<u8, 64>) -> __m512i

Converts to this type from the input type.

impl From<Simd<usize, 8>> for __m512i

fn from(value: Simd<usize, 8>) -> __m512i

Converts to this type from the input type.

impl From<__m512i> for Simd<i16, 32>

fn from(value: __m512i) -> Simd<i16, 32>

Converts to this type from the input type.

impl From<__m512i> for Simd<i32, 16>

fn from(value: __m512i) -> Simd<i32, 16>

Converts to this type from the input type.

impl From<__m512i> for Simd<i64, 8>

fn from(value: __m512i) -> Simd<i64, 8>

Converts to this type from the input type.

impl From<__m512i> for Simd<i8, 64>

fn from(value: __m512i) -> Simd<i8, 64>

Converts to this type from the input type.

impl From<__m512i> for Simd<isize, 8>

fn from(value: __m512i) -> Simd<isize, 8>

Converts to this type from the input type.

impl From<__m512i> for Simd<u16, 32>

fn from(value: __m512i) -> Simd<u16, 32>

Converts to this type from the input type.

impl From<__m512i> for Simd<u32, 16>

fn from(value: __m512i) -> Simd<u32, 16>

Converts to this type from the input type.

impl From<__m512i> for Simd<u64, 8>

fn from(value: __m512i) -> Simd<u64, 8>

Converts to this type from the input type.

impl From<__m512i> for Simd<u8, 64>

fn from(value: __m512i) -> Simd<u8, 64>

Converts to this type from the input type.

impl From<__m512i> for Simd<usize, 8>

fn from(value: __m512i) -> Simd<usize, 8>

Converts to this type from the input type.

impl Copy for __m512i