From 4fb6ce602fcca86dc26cc0dcc15d165d652055fe Mon Sep 17 00:00:00 2001 From: dzaima Date: Mon, 13 Nov 2023 12:56:48 +0200 Subject: [PATCH] add a require{} for CRC32 --- src/singeli/src/hashtab.singeli | 1 + 1 file changed, 1 insertion(+) 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} }