Function creusot_contracts::std::arch::x86_64::_mm_ucomineq_ss

pub unsafe fn _mm_ucomineq_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 they are not equal, or 0 otherwise. This instruction will not signal an exception if either argument is a quiet NaN.

Intel’s documentation