From c51af91256dc7b328103be64d75135311bdb1fe8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 5 Aug 2022 09:19:49 +0300 Subject: [PATCH] #6257 Signed-off-by: Nikolaj Bjorner --- src/util/mpz.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp index 936520f22..316a1bba1 100644 --- a/src/util/mpz.cpp +++ b/src/util/mpz.cpp @@ -49,7 +49,7 @@ Revision History: #if defined(__GNUC__) #define _trailing_zeros32(X) __builtin_ctz(X) -#elif defined(_WINDOWS) && defined(_M_X64) +#elif defined(_WINDOWS) && (defined(_M_X86) || (defined(_M_X64) && !defined(_M_ARM64EC))) // This is needed for _tzcnt_u32 and friends. #include #define _trailing_zeros32(X) _tzcnt_u32(X) @@ -61,7 +61,7 @@ static uint32_t _trailing_zeros32(uint32_t x) { } #endif -#if (defined(__LP64__) || defined(_WIN64)) && defined(_M_X64) +#if (defined(__LP64__) || defined(_WIN64)) && defined(_M_X64) && !defined(_M_ARM64EC) #if defined(__GNUC__) #define _trailing_zeros64(X) __builtin_ctzll(X) #else