Function creusot_contracts::std::arch::x86_64::_mm_store_pd
1.27.0 · source · pub unsafe fn _mm_store_pd(mem_addr: *mut f64, a: __m128d)Available on x86-64 only.
Expand description
Stores 128-bits (composed of 2 packed double-precision (64-bit)
floating-point elements) from a into memory. mem_addr must be aligned
on a 16-byte boundary or a general-protection exception may be generated.