Function creusot_contracts::std::arch::x86_64::_mm_test_all_zeros

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

Available on x86-64 only.

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

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 zeros,
• 0 - otherwise.

Intel’s documentation