了解 __m128i 标志的位对齐

Question

我正在尝试理解 SSE strstr 的实现，而一个特定的函数正在做一些我不太理解的事情，即将const unsigned char* 加载到__m128i 中。该函数是__m128i_strloadu函数（取自这里：http://strstrsse.googlecode.com/svn-history/r135/trunk/strmatch/lib/strstrsse42.c）：

static inline __m128i __m128i_strloadu (const unsigned char * p) {
 int offset = ((size_t) p & (16 - 1));

 if (offset && (int) ((size_t) p & 0xfff) > 0xff0) {
   __m128i a    = _mm_load_si128 ((__m128i *) (p - offset));
   __m128i zero = _mm_setzero_si128 ();
   // I don't understand what this movemask, in concert
   // with the shift right comparison below, are accomplishing
   int bmsk     = _mm_movemask_epi8 (_mm_cmpeq_epi8 (a, zero));

   if ((bmsk >> offset) != 0) {
     return __m128i_shift_right(a, offset);
   }

 }
 return _mm_loadu_si128 ((__m128i *) p);
}

我觉得这是对 16 位操作的简单对齐，但我无法想象 / 如何 / 它正在发生。 movemask 比较在这里完成什么/它检查什么？

Answer 1

它正在测试字符串的结尾是否在此块中，如果是，则将多余的字节移出并返回。否则它将继续执行正常的未对齐加载，避免移位并包含“更多此字符串”而不是虚假零。

掩码是16字节块中字节为零的掩码。 bmsk >> offset 是掩码的一部分，表示请求的字节（从p 开始），额外的字节是由于对齐。