Function creusot_contracts::std::arch::x86_64::_mm_cvti32_sd

pub unsafe fn _mm_cvti32_sd(a: __m128d, b: i32) -> __m128d

🔬This is a nightly-only experimental API. (stdarch_x86_avx512)

Available on x86-64 only.

Convert the signed 32-bit integer b to a double-precision (64-bit) floating-point element, store the result in the lower element of dst, and copy the upper element from a to the upper element of dst.

Intel’s documentation