Function creusot_contracts::std::arch::x86_64::_mm_movemask_pd

pub unsafe fn _mm_movemask_pd(a: __m128d) -> i32

Available on x86-64 only.

Returns a mask of the most significant bit of each element in a.

The mask is stored in the 2 least significant bits of the return value. All other bits are set to 0.

Intel’s documentation