Function creusot_contracts::std::arch::x86_64::_mm_move_sd

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

Available on x86-64 only.

Constructs a 128-bit floating-point vector of [2 x double]. The lower 64 bits are set to the lower 64 bits of the second parameter. The upper 64 bits are set to the upper 64 bits of the first parameter.

Intel’s documentation