Function creusot_contracts::std::arch::x86_64::_mm_comile_ss

pub unsafe fn _mm_comile_ss(a: __m128, b: __m128) -> i32

Available on x86-64 only.

Compares two 32-bit floats from the low-order bits of a and b. Returns 1 if the value from a is less than or equal to the one from b, or 0 otherwise.

Intel’s documentation