--- a/benchmarks/benchmark-runner.sh Wed Dec 18 00:02:10 2013 +0100
+++ b/benchmarks/benchmark-runner.sh Wed Dec 18 12:03:32 2013 +0100
@@ -21,7 +21,7 @@
shift
#PROFILER="/usr/local/bin/valgrind -v -v -d --tool=callgrind --instr-atstart=no"
PROFILER="/usr/local/bin/valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no"
- PROFILER="valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no"
+ PROFILER="valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no --branch-sim=yes --cache-sim=yes --collect-jumps=yes"
#PROFILER_OPTS=--callgrind
fi