mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-18 20:03:38 +00:00
Code Activity

for #6257

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-08-05 08:09:39 +03:00
parent 7eb1e6dd23
commit 78a0f57398
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/util/mpz.cpp
View file

@ -41,7 +41,6 @@ Revision History:
#if defined(_MP_GMP) #if defined(_MP_GMP)
// Use LEHMER only if not using GMP // Use LEHMER only if not using GMP
// LEHMER assumes 32-bit digits, so it cannot be used with MSBIGNUM library + 64-bit binary
#define EUCLID_GCD #define EUCLID_GCD
#else #else
#define LEHMER_GCD #define LEHMER_GCD
@ -50,7 +49,7 @@ Revision History:
#if defined(__GNUC__) #if defined(__GNUC__)
#define _trailing_zeros32(X) __builtin_ctz(X) #define _trailing_zeros32(X) __builtin_ctz(X)
#elif defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64) && !defined(__MINGW32__) #elif defined(_WINDOWS) && defined(_M_X64)
// This is needed for _tzcnt_u32 and friends. // This is needed for _tzcnt_u32 and friends.
#include <immintrin.h> #include <immintrin.h>
#define _trailing_zeros32(X) _tzcnt_u32(X) #define _trailing_zeros32(X) _tzcnt_u32(X)
@ -62,7 +61,7 @@ static uint32_t _trailing_zeros32(uint32_t x) {
} }
#endif #endif
#if (defined(__LP64__) || defined(_WIN64)) && !defined(_M_ARM) && !defined(_M_ARM64) #if (defined(__LP64__) || defined(_WIN64)) && defined(_M_X64)
#if defined(__GNUC__) #if defined(__GNUC__)
#define _trailing_zeros64(X) __builtin_ctzll(X) #define _trailing_zeros64(X) __builtin_ctzll(X)
#else #else