diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c
index 10ce25c5b..f41d8dd49 100644
--- a/src/aig/gia/giaNf.c
+++ b/src/aig/gia/giaNf.c
@@ -32,6 +32,11 @@
 #include "map/scl/sclCon.h"
 #include "misc/tim/tim.h"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_IMPL_START
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/base/exor/exorBits.c b/src/base/exor/exorBits.c
index 7731a8c3b..e1d8e556e 100644
--- a/src/base/exor/exorBits.c
+++ b/src/base/exor/exorBits.c
@@ -40,6 +40,11 @@
 
 #include "exor.h"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_IMPL_START
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/map/if/acd/ac_decomposition.hpp b/src/map/if/acd/ac_decomposition.hpp
index 803f9ce59..7628ab39e 100644
--- a/src/map/if/acd/ac_decomposition.hpp
+++ b/src/map/if/acd/ac_decomposition.hpp
@@ -40,6 +40,11 @@
 #include "kitty_operators.hpp"
 #include "kitty_static_tt.hpp"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_CXX_HEADER_START
 
 namespace acd
diff --git a/src/map/if/acd/acd66.hpp b/src/map/if/acd/acd66.hpp
index 109512986..607eee197 100644
--- a/src/map/if/acd/acd66.hpp
+++ b/src/map/if/acd/acd66.hpp
@@ -39,6 +39,11 @@
 #include "kitty_operators.hpp"
 #include "kitty_static_tt.hpp"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_CXX_HEADER_START
 
 namespace acd
diff --git a/src/map/if/acd/acdXX.hpp b/src/map/if/acd/acdXX.hpp
index e57199ce7..13d1bdddf 100644
--- a/src/map/if/acd/acdXX.hpp
+++ b/src/map/if/acd/acdXX.hpp
@@ -39,6 +39,11 @@
 #include "kitty_operators.hpp"
 #include "kitty_static_tt.hpp"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_CXX_HEADER_START
 
 namespace acd
diff --git a/src/map/if/ifDec08.c b/src/map/if/ifDec08.c
index ceaa833da..30a6cd667 100644
--- a/src/map/if/ifDec08.c
+++ b/src/map/if/ifDec08.c
@@ -22,6 +22,11 @@
 #include "misc/extra/extra.h"
 #include "bool/kit/kit.h"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_IMPL_START
 
 
diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c
index 0c3cf5e54..73717180b 100644
--- a/src/map/if/ifDec10.c
+++ b/src/map/if/ifDec10.c
@@ -22,6 +22,11 @@
 #include "misc/extra/extra.h"
 #include "bool/kit/kit.h"
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_IMPL_START
 
 
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index 86fe29a74..35f0f83e4 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -25,6 +25,11 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c
index 063602467..bd97c280c 100644
--- a/src/opt/dau/dauCanon.c
+++ b/src/opt/dau/dauCanon.c
@@ -24,6 +24,11 @@
 #include "bool/lucky/lucky.h"
 #include <math.h>
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 ABC_NAMESPACE_IMPL_START
 
 ////////////////////////////////////////////////////////////////////////