From 2574e55515d28c67833c8604905e71c832c1f043 Mon Sep 17 00:00:00 2001 From: Jonathan Protzenko Date: Sun, 19 May 2024 17:59:21 -0400 Subject: [PATCH] Allow building AVX2 on x86 (suggestion by @samuel-lee-msft) --- include/libintvector.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/libintvector.h b/include/libintvector.h index 99d113369..43306396f 100644 --- a/include/libintvector.h +++ b/include/libintvector.h @@ -19,7 +19,8 @@ #define Lib_IntVector_Intrinsics_bit_mask64(x) -((x) & 1) -#if defined(__x86_64__) || defined(_M_X64) +/* Covers x64 *and* x86 when AVX2 is available */ +#if defined(__x86_64__) || defined(_M_X64) || defined(_X86_) || defined(_M_IX86) || defined(__i386__) #if defined(HACL_CAN_COMPILE_VEC128)