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