Function creusot_contracts::std::arch::x86_64::_mm_castpd_ps

pub unsafe fn _mm_castpd_ps(a: __m128d) -> __m128

Available on x86-64 only.

Casts a 128-bit floating-point vector of [2 x double] into a 128-bit floating-point vector of [4 x float].

Intel’s documentation