Function creusot_contracts::std::arch::x86_64::_mm512_store_pd
source · pub unsafe fn _mm512_store_pd(mem_addr: *mut f64, a: __m512d)🔬This is a nightly-only experimental API. (
stdarch_x86_avx512)Available on x86-64 only.
Expand description
Store 512-bits (composed of 8 packed double-precision (64-bit) floating-point elements) from a into memory. mem_addr must be aligned on a 64-byte boundary or a general-protection exception may be generated.