Function creusot_contracts::std::arch::x86_64::_mm_cvtss_si32

1.27.0 · source ·
pub unsafe fn _mm_cvtss_si32(a: __m128) -> i32
Available on x86-64 only.
Expand description

Converts the lowest 32 bit float in the input vector to a 32 bit integer.

The result is rounded according to the current rounding mode. If the result cannot be represented as a 32 bit integer the result will be 0x8000_0000 (i32::MIN).

This corresponds to the CVTSS2SI instruction (with 32 bit output).

Intel’s documentation