Function creusot_contracts::std::arch::x86_64::_mm512_stream_si512
source · pub unsafe fn _mm512_stream_si512(mem_addr: *mut i64, a: __m512i)
🔬This is a nightly-only experimental API. (
stdarch_x86_avx512
)Available on x86-64 only.
Expand description
Store 512-bits of integer data 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.
§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.