Function creusot_contracts::std::arch::x86_64::_mm_cvtps_pd

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

Available on x86-64 only.

Converts packed single-precision (32-bit) floating-point elements in a to packed double-precision (64-bit) floating-point elements.

Intel’s documentation