Function creusot_contracts::std::arch::x86_64::_mm_cvtsi64_ss

pub unsafe fn _mm_cvtsi64_ss(a: __m128, b: i64) -> __m128

Available on x86-64 only.

Converts a 64 bit integer to a 32 bit float. The result vector is the input vector a with the lowest 32 bit float replaced by the converted integer.

This intrinsic corresponds to the CVTSI2SS instruction (with 64 bit input).

Intel’s documentation