Setup to use Callgrind profiler

Disabled by default.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/main.cpp b/src/main.cpp
index ac466597d9500c3ab4531212535d939ddc355ef9..01fb47860b092d43d837099234d56786f3c2164f 100644 (file)
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -17,6 +17,8 @@
   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 

+// To profile with callgrind uncomment following line
+//#define USE_CALLGRIND

 
 ////
 //// Includes
 
 ////
 //// Includes


@@ -39,6 +41,10 @@
 #include "uci.h"
 #include "ucioption.h"
 
 #include "uci.h"
 #include "ucioption.h"
 

+#ifdef USE_CALLGRIND
+#include <valgrind/callgrind.h>
+#endif
+

 using std::string;
 
 ////
 using std::string;
 
 ////


@@ -63,6 +69,10 @@ int main(int argc, char *argv[]) {
   init_bitbases();
   init_threads();
 
   init_bitbases();
   init_threads();
 

+#ifdef USE_CALLGRIND
+  CALLGRIND_START_INSTRUMENTATION;
+#endif
+

   // Make random number generation less deterministic, for book moves
   for (int i = abs(get_system_time() % 10000); i > 0; i--)
       genrand_int32();
   // Make random number generation less deterministic, for book moves
   for (int i = abs(get_system_time() % 10000); i > 0; i--)
       genrand_int32();