检查所有__m128i组件是否为0的最有效方法[使用<= SSE4.1内在函数]

Question

我正在使用SSE内在函数来确定矩形（由四个int32值定义）是否已更改：

__m128i oldRect; // contains old left, top, right, bottom packed to 128 bits
__m128i newRect; // contains new left, top, right, bottom packed to 128 bits

__m128i xor = _mm_xor_si128(oldRect, newRect);

此时，如果矩形未更改，则生成的xor值将全为零。那么最有效的方法是什么呢？

目前我这样做：

if (xor.m128i_u64[0] | xor.m128i_u64[1])
{
    // rectangle changed
}

但我认为有一种更聪明的方法（可能使用了一些我还没有找到的SSE指令）。

我在x64上定位SSE4.1，我在Visual Studio 2013中编写C ++。

编辑：问题与Is an __m128i variable zero?不完全相同，因为它指定“在SSE-2和更早的处理器上”（虽然安东尼奥确实添加了“完整性”的答案，在发布和回答此问题后的某个时间解决了4.1） 。

Answer 1

您可以通过qazxsw poi intrinsic（SSE4.1）使用TEST指令，如下所示：

_mm_testz_si128

请注意，如果两个参数的按位

#include "smmintrin.h" // SSE4.1 header

if (!_mm_testz_si128(xor, xor))
{
    // rectangle has changed
}

为零，则_mm_testz_si128返回1。

Answer 2

具有讽刺意味的是，在某些情况下，SSE 4.1的AND指令可能比SSE2的ptest慢。我建议简单地使用：

pmovmskb

请注意，如果您确实需要

__m128i cmp = _mm_cmpeq_epi32(oldRect, newRect);
if (_mm_movemask_epi8(cmp) != 0xFFFF)
  //registers are different

值，则必须单独计算它。

对于像Ivy Bridge这样的英特尔处理器，PaulR与xor和xor的版本转换为4 uop，而没有计算_mm_testz_si128的建议版本转换为3 uop（另见xor）。这可能会提高我的版本的吞吐量。