Skip to content

Commit

Permalink
Let's use Windows default headers for intrinsics
Browse files Browse the repository at this point in the history
  • Loading branch information
msoos committed Oct 14, 2023
1 parent 79eecec commit 148ddff
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/cms_windows_includes.h
Original file line number Diff line number Diff line change
Expand Up @@ -64,8 +64,8 @@ THE SOFTWARE.
#define __PRETTY_FUNCTION__ __FUNCSIG__
#endif

#include <nmmintrin.h>
#define __builtin_popcountll _mm_popcnt_u64
#include <intrin.h>
#define __builtin_popcountll __popcnt64
#define NO_DLL_EXPORT 1

// picosat
Expand Down

0 comments on commit 148ddff

Please sign in to comment.