Function creusot_contracts::std::arch::x86_64::_mm_testz_pd

pub unsafe fn _mm_testz_pd(a: __m128d, b: __m128d) -> i32

Available on x86-64 only.

Computes the bitwise AND of 128 bits (representing double-precision (64-bit) floating-point elements) in a and b, producing an intermediate 128-bit value, and set ZF to 1 if the sign bit of each 64-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 64-bit element in the intermediate value is zero, otherwise set CF to 0. Return the ZF value.

Intel’s documentation