From b5b0e77b330b703147027eb11972be6f199783c8 Mon Sep 17 00:00:00 2001
From: Mate Soos
Date: Sat, 14 Oct 2023 17:29:29 +0200
Subject: [PATCH] Fixing build
---
src/cms_windows_includes.h | 7 -------
src/packedrow.cpp | 3 +++
2 files changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/cms_windows_includes.h b/src/cms_windows_includes.h
index 0034f7a3c..c68e79a4c 100644
--- 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
#define __builtin_popcountll _mm_popcnt_u64
#define NO_DLL_EXPORT 1
diff --git a/src/packedrow.cpp b/src/packedrow.cpp
index 3e461ccd0..cba854729 100644
--- a/src/packedrow.cpp
+++ b/src/packedrow.cpp
@@ -35,6 +35,9 @@ THE SOFTWARE.
using namespace CMSat;
#ifdef _MSC_VER
+#include
+#pragma intrinsic(_BitScanForward)
+#pragma intrinsic(_BitScanForward64)
inline int scan_fwd_64b(int64_t value)
{
unsigned long at;