Fixing build

msoos · Oct 14, 2023 · b5b0e77 · b5b0e77
1 parent f8e6d9e
commit b5b0e77
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/src/cms_windows_includes.h b/src/cms_windows_includes.h
@@ -64,13 +64,6 @@ THE SOFTWARE.
 #define __PRETTY_FUNCTION__ __FUNCSIG__
 #endif
 
-//  https://gist.github.com/pps83/3210a2f980fd02bb2ba2e5a1fc4a2ef0
-static inline int __builtin_ctzll(unsigned long long x) {
-	unsigned long ret;
-	_BitScanForward64(&ret, x);
-	return (int)ret;
-}
-
 #include <nmmintrin.h>
 #define __builtin_popcountll _mm_popcnt_u64
 #define NO_DLL_EXPORT 1

diff --git a/src/packedrow.cpp b/src/packedrow.cpp
@@ -35,6 +35,9 @@ THE SOFTWARE.
 using namespace CMSat;
 
 #ifdef _MSC_VER
+#include <intrin.h>
+#pragma intrinsic(_BitScanForward)
+#pragma intrinsic(_BitScanForward64)
 inline int scan_fwd_64b(int64_t value)
 {
     unsigned long at;