Retire run-time detection of hardware POPCNT

[stockfish] / src / misc.cpp

diff --git a/src/misc.cpp b/src/misc.cpp
index 4d91c0fbb11ef8e4e2ba20a434b086400761e4e3..9189e327fd1f49b2048e9a515e53ffc70c2bd6aa 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -68,20 +68,21 @@ static const string AppTag  = "";
 const string engine_name() {
 
   const string months("Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec");
-  const string cpu64(CpuIs64Bit ? " 64bit" : "");
+  const string cpu64(Is64Bit ? " 64bit" : "");
+  const string popcnt(HasPopCnt ? " SSE4.2" : "");
 
   if (!EngineVersion.empty())
-      return AppName + " " + EngineVersion + cpu64;
+      return AppName + " " + EngineVersion + cpu64 + popcnt;
 
   stringstream s, date(__DATE__); // From compiler, format is "Sep 21 2008"
   string month, day, year;
 
   date >> month >> day >> year;
 
-  s << setfill('0') << AppName + " " + AppTag + " "
-    << year.substr(2, 2) << setw(2)
-    << (1 + months.find(month) / 4) << setw(2)
-    << day << cpu64;
+  s << AppName + " " + AppTag + " "
+    << setfill('0') << year.substr(2)
+    << setw(2) << (1 + months.find(month) / 4)
+    << setw(2) << day << cpu64 << popcnt;
 
   return s.str();
 }
@@ -134,9 +135,9 @@ void dbg_before() { dbg_hit_on(false); }
 void dbg_after()  { dbg_hit_on(true); dbg_hit_cnt0--; }
 
 
-/// get_system_time() returns the current system time, measured in milliseconds
+/// system_time() returns the current system time, measured in milliseconds
 
-int get_system_time() {
+int system_time() {
 
 #if defined(_MSC_VER)
   struct _timeb t;