Function creusot_contracts::std::arch::x86_64::_mm_cvtss_si64

pub unsafe fn _mm_cvtss_si64(a: __m128) -> i64

Available on x86-64 only.

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

The result is rounded according to the current rounding mode. If the result cannot be represented as a 64 bit integer the result will be 0x8000_0000_0000_0000 (i64::MIN) or trigger an invalid operation floating point exception if unmasked (see _mm_setcsr).

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

Intel’s documentation