Function creusot_contracts::std::arch::x86_64::_mm_set_pd

pub unsafe fn _mm_set_pd(a: f64, b: f64) -> __m128d

Available on x86-64 only.

Sets packed double-precision (64-bit) floating-point elements in the return value with the supplied values.

Intel’s documentation