diff --git a/src/singeli/src/hashtab.singeli b/src/singeli/src/hashtab.singeli index a3335894..ff24f349 100644 --- a/src/singeli/src/hashtab.singeli +++ b/src/singeli/src/hashtab.singeli @@ -28,6 +28,7 @@ def hash_val{x0:u64} = { x ^= x >> 33; x } # CRC32 +if (hasarch{'SSE4.2'}) require{'x86intrin.h'} def hash_val{x:u32 & hasarch{'SSE4.2'}} = { emit{u32, '_mm_crc32_u32', 0x973afb51, x} }