Function creusot_contracts::std::arch::x86_64::_mm_cmple_ss

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

Available on x86-64 only.

Compares the lowest f32 of both inputs for less than or equal. The lowest 32 bits of the result will be 0xffffffff if a.extract(0) is less than or equal b.extract(0), or 0 otherwise. The upper 96 bits of the result are the upper 96 bits of a.

Intel’s documentation