Function creusot_contracts::std::arch::x86_64::_mm_load_pd

pub unsafe fn _mm_load_pd(mem_addr: *const f64) -> __m128d

Available on x86-64 only.

Loads 128-bits (composed of 2 packed double-precision (64-bit) floating-point elements) from memory into the returned vector. mem_addr must be aligned on a 16-byte boundary or a general-protection exception may be generated.

Intel’s documentation