Function creusot_contracts::std::arch::x86_64::_mm_ucomigt_ss

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

Intel’s documentation