Function creusot_contracts::std::arch::x86_64::_mm_castps_pd

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

Available on x86-64 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