Function core_arch::x86::_mm_castps_pd

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

This is supported on x86 and target feature sse2 only.

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

Intel's documentation