benchmarks/benchmark-runner.sh
branchdevelopment
changeset 2965 bac7022ca26a
parent 2731 13f5be2bf83b
parent 2604 b9cb81e47766
--- 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