#5333

Z3Prover · Jun 6, 2021 · 3da9d91 · 3da9d91
1 parent 73bb3e4
commit 3da9d91
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
@@ -48,12 +48,12 @@ Revision History:
 #endif
 
 
-#if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
+#if defined(__GNUC__)
+#define _trailing_zeros32(X) __builtin_ctz(X)
+#elif defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64) && !defined(__MINGW32__)
 // This is needed for _tzcnt_u32 and friends.
 #include <immintrin.h>
 #define _trailing_zeros32(X) _tzcnt_u32(X)
-#elif defined(__GNUC__)
-#define _trailing_zeros32(X) __builtin_ctz(X)
 #else
 static uint32_t _trailing_zeros32(uint32_t x) {
     uint32_t r = 0;