Function creusot_contracts::std::arch::x86_64::_mm_ucomige_ss

pub unsafe fn _mm_ucomige_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 greater than or equal to the one from b, or 0 otherwise. This instruction will not signal an exception if either argument is a quiet NaN.

Intel’s documentation