Function creusot_contracts::std::arch::x86_64::_mm_cmpge_ss

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

Available on x86-64 only.

Compares the lowest f32 of both inputs for greater than or equal. The lowest 32 bits of the result will be 0xffffffff if a.extract(0) is greater 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