Function creusot_contracts::std::arch::x86_64::_mm_testc_si128

pub unsafe fn _mm_testc_si128(a: __m128i, mask: __m128i) -> i32

Available on x86-64 only.

Tests whether the specified bits in a 128-bit integer vector are all ones.

Arguments:

• a - A 128-bit integer vector containing the bits to be tested.
• mask - A 128-bit integer vector selecting which bits to test in operand a.

Returns:

• 1 - if the specified bits are all ones,
• 0 - otherwise.

Intel’s documentation