mirror of
https://github.com/sockspls/badfish
synced 2025-04-30 00:33:09 +00:00
Setup to use Callgrind profiler
Disabled by default. No functional change. Signed-off-by: Marco Costalba <mcostalba@gmail.com>
This commit is contained in:
parent
991ab2bea8
commit
fdb2242d34
1 changed files with 10 additions and 0 deletions
10
src/main.cpp
10
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();
|
||||
|
|
Loading…
Add table
Reference in a new issue