Function creusot_contracts::std::arch::x86_64::_mm512_stream_ps

pub unsafe fn _mm512_stream_ps(mem_addr: *mut f32, a: __m512)

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

Available on x86-64 only.

Store 512-bits (composed of 16 packed single-precision (32-bit) floating-point elements) from a into memory using a non-temporal memory hint. mem_addr must be aligned on a 64-byte boundary or a general-protection exception may be generated.

Intel’s documentation

Safety of non-temporal stores

After using this intrinsic, but before any other access to the memory that this intrinsic mutates, a call to _mm_sfence must be performed by the thread that used the intrinsic. In particular, functions that call this intrinsic should generally call _mm_sfence before they return.

See _mm_sfence for details.