Quiero lograr algo como el resultado de strncmp, pero no tan complicado. Traté de leer el código fuente https://code.woboq.org/userspace/glibc/sysdeps/x86_64/multiarch/strcmp-avx2.S.html pero no lo entendí. eso
supongamos que tenemos un vector de 256 bits, ¿cómo puedo comparar estos dos en función de una comparación de 8 bits para lograr un resultado como strncmp?
Sé que hay una biblioteca, pero quiero entender los conceptos básicos.
cómo devuelve el resultado -1,0,1 con _mm256_cmpeq_epi8 y _mm256_min_epu8
Yo lo haría así.
inline int compareBytes( __m256i a, __m256i b ) { // Compare for both a <= b and a >= b __m256i min = _mm256_min_epu8( a, b ); __m256i le = _mm256_cmpeq_epi8( a, min ); __m256i ge = _mm256_cmpeq_epi8( b, min ); // Reverse bytes within 16-byte lanes const __m128i rev16 = _mm_set_epi8( 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 ); const __m256i rev32 = _mm256_broadcastsi128_si256( rev16 ); le = _mm256_shuffle_epi8( le, rev32 ); ge = _mm256_shuffle_epi8( ge, rev32 ); // Move the masks to scalar registers uint32_t lessMask = (uint32_t)_mm256_movemask_epi8( le ); uint32_t greaterMask = (uint32_t)_mm256_movemask_epi8( ge ); // Flip high/low 16-bit pieces in the masks. // Apparently, modern compilers are smart enough to emit ROR instructions for that code lessMask = ( lessMask >> 16 ) | ( lessMask << 16 ); greaterMask = ( greaterMask >> 16 ) | ( greaterMask << 16 ); // Produce the desired result if( lessMask > greaterMask ) return -1; else if( lessMask < greaterMask ) return +1; else return 0; } La razón por la que el método funciona es que la comparación de enteros busca esencialmente el bit más significativo que difiere, y el resultado de la comparación es igual a la diferencia en ese bit diferente más significativo. Debido a que invertimos el orden de los bytes que se están probando, el primer byte de los vectores corresponde al bit más significativo de las máscaras. Por esta razón, ( lessMask > greaterMask ) se evalúa como verdadera cuando el primer byte diferente en los vectores de origen ( a < b ) se evalúa como verdadero.