From fdb2242d3481116ebb5a235e5fd57b01e9f919ea Mon Sep 17 00:00:00 2001
From: Marco Costalba <mcostalba@gmail.com>
Date: Sat, 2 May 2009 14:39:23 +0200
Subject: [PATCH 1/1] Setup to use Callgrind profiler

Disabled by default.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
---
 src/main.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/main.cpp b/src/main.cpp
index ac466597..01fb4786 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -17,6 +17,8 @@
   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
+// To profile with callgrind uncomment following line
+//#define USE_CALLGRIND
 
 ////
 //// Includes
@@ -39,6 +41,10 @@
 #include "uci.h"
 #include "ucioption.h"
 
+#ifdef USE_CALLGRIND
+#include <valgrind/callgrind.h>
+#endif
+
 using std::string;
 
 ////
@@ -63,6 +69,10 @@ int main(int argc, char *argv[]) {
   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();
-- 
2.39.2