_mm_crc32_u32
crc0 = _mm_crc32_u32(crc0, *(const uint32_t *)next);
crc1 = _mm_crc32_u32(crc1,
crc2 = _mm_crc32_u32(crc2,
crc0 = _mm_crc32_u32(crc0, *(const uint32_t *)next);
crc1 = _mm_crc32_u32(crc1,
crc2 = _mm_crc32_u32(crc2,
crc0 = _mm_crc32_u32(crc0, *(const uint32_t *)next);