_mm_crc32_u64
crc0 = _mm_crc32_u64(crc0, *(const uint64_t *)next);
crc1 = _mm_crc32_u64(crc1,
crc2 = _mm_crc32_u64(crc2,
crc0 = _mm_crc32_u64(crc0, *(const uint64_t *)next);
crc1 = _mm_crc32_u64(crc1,
crc2 = _mm_crc32_u64(crc2,
crc0 = _mm_crc32_u64(crc0, *(const uint64_t *)next);