Function creusot_contracts::std::arch::x86_64::_mm256_testc_ps

pub unsafe fn _mm256_testc_ps(a: __m256, b: __m256) -> i32

Available on x86-64 only.

Computes the bitwise AND of 256 bits (representing single-precision (32-bit) floating-point elements) in a and b, producing an intermediate 256-bit value, and set ZF to 1 if the sign bit of each 32-bit element in the intermediate value is zero, otherwise set ZF to 0. Compute the bitwise NOT of a and then AND with b, producing an intermediate value, and set CF to 1 if the sign bit of each 32-bit element in the intermediate value is zero, otherwise set CF to 0. Return the CF value.

Intel’s documentation