gdb points at 431 extern __inline int 432 __attribute__ ((__gnu_inline__, __always_inline__, __artificial__)) 433 _mm256_movemask_epi8 (__m256i __A) 434 { 435 return __builtin_ia32_pmovmskb256 ((__v32qi)__A); 436 }