0

我正在使用_mm_cmpgt_epi64内在函数来实现 128 位加法,然后是 256 位加法。看着这个内在的东西的结果让我感到困惑。

我不明白为什么计算的掩码是这样的。

const __m128i mask = _mm_cmpgt_epi64(bflip, sumflip);

这是我的调试器中的输出:

(lldb) p/x bflip
(__m128i) $1 = (0x00000001, 0x80000000, 0x00000000, 0x80000000)
(lldb) p/x sumflip
(__m128i) $2 = (0x00000000, 0x80000000, 0xffffffff, 0x7fffffff)
(lldb) p/x mask
(__m128i) $3 = (0xffffffff, 0xffffffff, 0x00000000, 0x00000000)

对于第一个 64 位通道 ( 63:0) 我没问题。但是为什么第二条车道 ( 127:64) 也没有满呢?

在我看来0x8000000000000000> 0x7fffffffffffffff

4

1 回答 1

1

看来您是以 32 位块打印它,而不是 64 位,所以这很奇怪。

但无论如何,这是一个有符号的二进制补码整数比较,如手册中所述:http: //felixcloutier.com/x86/PCMMPGTQ.html

0x8000000000000000是最大的负 64 位整数,而0x7fffffffffffffff是最大的正数。

如果你想要一个无符号比较,你需要通过翻转它们的符号位来对两个输入进行范围移位。从逻辑上讲,这是从 0..2^64-1 减去 2^63 到 -2^63 .. 2^63-1。但是我们可以使用更高效的 XOR 来实现,因为 XOR 是无进位的加法,并且进位/借出在寄存器的末尾进行。

const __m128i rangeshift = _mm_set1_epi64x(0x8000000000000000);
const __m128i mask = _mm_cmpgt_epi64(_mm_xor_si128(bflip, rangeshift), _mm_xor_si128(sumflip, rangeshift));

或者使用 AVX512F__mmask8 _mm512_cmp[eq|ge|gt|le|lt|neq]_epu64_mask( __m512i a, __m512i b)

于 2018-10-14T18:14:40.817 回答