From 3da9d91866fa18aee1281a1ea6d2d7ab55589740 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 6 Jun 2021 16:45:50 -0700
Subject: [PATCH] #5333

---
 src/util/mpz.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 20c47ca0f..afea0214d 100644
--- 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;