pub unsafe fn _mm_castps_pd(a: __m128) -> __m128d
Casts a 128-bit floating-point vector of [4 x float] into a 128-bit floating-point vector of [2 x double].
[4 x float]
[2 x double]
Intel’s documentation