Module creusot_contracts::std::intrinsics::simd

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

SIMD compiler intrinsics.

In this module, a “vector” is any repr(simd) type.

Functions

• simd_add^⚠Experimental
  Add two simd vectors elementwise.
• simd_and^⚠Experimental
  Elementwise vector “and”.
• simd_arith_offset^⚠Experimental
  Elementwise calculates the offset from a pointer vector, potentially wrapping.
• simd_as^⚠Experimental
  Numerically cast a vector, elementwise.
• simd_bitmask^⚠Experimental
  Truncate an integer vector to a bitmask.
• simd_bitreverse^⚠Experimental
  Reverse bits of each element.
• simd_bswap^⚠Experimental
  Swap bytes of each element.
• simd_cast^⚠Experimental
  Numerically cast a vector, elementwise.
• simd_cast_ptr^⚠Experimental
  Cast a vector of pointers.
• simd_ceil^⚠Experimental
  Round up each element to the next highest integer-valued float.
• simd_ctlz^⚠Experimental
  Count the leading zeros of each element.
• simd_ctpop^⚠Experimental
  Count the number of ones in each element.
• simd_cttz^⚠Experimental
  Count the trailing zeros of each element.
• simd_div^⚠Experimental
  Divide lhs by rhs elementwise.
• simd_eq^⚠Experimental
  Tests elementwise equality of two vectors.
• simd_expose_provenance^⚠Experimental
  Expose a vector of pointers as a vector of addresses.
• simd_extract^⚠Experimental
  Extract an element from a vector.
• simd_fabs^⚠Experimental
  Elementwise absolute value of a vector.
• simd_fcos^⚠Experimental
  T must be a vector of floats.
• simd_fexp^⚠Experimental
  T must be a vector of floats.
• simd_fexp2^⚠Experimental
  T must be a vector of floats.
• simd_flog^⚠Experimental
  T must be a vector of floats.
• simd_flog2^⚠Experimental
  T must be a vector of floats.
• simd_flog10^⚠Experimental
  T must be a vector of floats.
• simd_floor^⚠Experimental
  Round down each element to the next lowest integer-valued float.
• simd_fma^⚠Experimental
  Computes (x*y) + z for each element, but without any intermediate rounding.
• simd_fmax^⚠Experimental
  Elementwise maximum of two vectors.
• simd_fmin^⚠Experimental
  Elementwise minimum of two vectors.
• simd_fsin^⚠Experimental
  T must be a vector of floats.
• simd_fsqrt^⚠Experimental
  Takes the square root of each element.
• simd_gather^⚠Experimental
  Read a vector of pointers.
• simd_ge^⚠Experimental
  Tests if x is greater than or equal to y, elementwise.
• simd_gt^⚠Experimental
  Tests if x is greater than y, elementwise.
• simd_insert^⚠Experimental
  Insert an element into a vector, returning the updated vector.
• simd_le^⚠Experimental
  Tests if x is less than or equal to y, elementwise.
• simd_lt^⚠Experimental
  Tests if x is less than y, elementwise.
• simd_masked_load^⚠Experimental
  Read a vector of pointers.
• simd_masked_store^⚠Experimental
  Write to a vector of pointers.
• simd_mul^⚠Experimental
  Multiply two simd vectors elementwise.
• simd_ne^⚠Experimental
  Tests elementwise inequality equality of two vectors.
• simd_neg^⚠Experimental
  Elementwise negation of a vector.
• simd_or^⚠Experimental
  Elementwise vector “or”.
• simd_reduce_add_ordered^⚠Experimental
  Add elements within a vector from left to right.
• simd_reduce_add_unordered^⚠Experimental
  Add elements within a vector in arbitrary order. May also be re-associated with unordered additions on the inputs/outputs.
• simd_reduce_all^⚠Experimental
  Check if all mask values are true.
• simd_reduce_and^⚠Experimental
  Logical “and” all elements together.
• simd_reduce_any^⚠Experimental
  Check if any mask value is true.
• simd_reduce_max^⚠Experimental
  Return the maximum element of a vector.
• simd_reduce_min^⚠Experimental
  Return the minimum element of a vector.
• simd_reduce_mul_ordered^⚠Experimental
  Multiply elements within a vector from left to right.
• simd_reduce_mul_unordered^⚠Experimental
  Multiply elements within a vector in arbitrary order. May also be re-associated with unordered additions on the inputs/outputs.
• simd_reduce_or^⚠Experimental
  Logical “or” all elements together.
• simd_reduce_xor^⚠Experimental
  Logical “exclusive or” all elements together.
• simd_rem^⚠Experimental
  Remainder of two vectors elementwise
• simd_round^⚠Experimental
  Round each element to the closest integer-valued float. Ties are resolved by rounding away from 0.
• simd_saturating_add^⚠Experimental
  Add two simd vectors elementwise, with saturation.
• simd_saturating_sub^⚠Experimental
  Subtract two simd vectors elementwise, with saturation.
• simd_scatter^⚠Experimental
  Write to a vector of pointers.
• simd_select^⚠Experimental
  Select elements from a mask.
• simd_select_bitmask^⚠Experimental
  Select elements from a bitmask.
• simd_shl^⚠Experimental
  Elementwise vector left shift, with UB on overflow.
• simd_shr^⚠Experimental
  Elementwise vector right shift, with UB on overflow.
• simd_shuffle^⚠Experimental
  Shuffle two vectors by const indices.
• simd_shuffle_generic^⚠Experimental
  Shuffle two vectors by const indices.
• simd_sub^⚠Experimental
  Subtract rhs from lhs elementwise.
• simd_trunc^⚠Experimental
  Return the integer part of each element as an integer-valued float. In other words, non-integer values are truncated towards zero.
• simd_with_exposed_provenance^⚠Experimental
  Create a vector of pointers from a vector of addresses.
• simd_xor^⚠Experimental
  Elementwise vector “exclusive or”.