From 9c68e6754435a844c4fe29572df4e4f9ad045679 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 7 Oct 2023 13:22:10 +0300 Subject: [PATCH] fix compilation error when targeting AVX1-only --- src/singeli/src/squeeze.singeli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/singeli/src/squeeze.singeli b/src/singeli/src/squeeze.singeli index 1a9a3818..b7b531c2 100644 --- a/src/singeli/src/squeeze.singeli +++ b/src/singeli/src/squeeze.singeli @@ -105,9 +105,9 @@ fn squeeze{vw, X, CHR, B}(x0:*void, len:ux) : u32 = { else pair{ints} } tup{intp, wdn} - } else if (tuplen{ints}==1 and hasarch{'X86_64'} and ~hasarch{'AVX'}) { + } else if (tuplen{ints}==1 and hasarch{'X86_64'} and ~hasarch{'AVX2'}) { tup{tupsel{0, ints}, wdn} - } + } else assert{0} } }