Merge branch 'feature/devel-tools/callgrind' into 'master'

[devel-tools] Add an helper to invoke frama-c within valgrind/callgrind

See merge request frama-c/frama-c!3549

devel_tools/frama-c-callgrind

+#!/bin/bash
+
+# Script for profiling Frama-C with callgrind (a valgrind tool).
+# Note: execution time with valgrind is about 15x-20x slower.
+#
+# Use this script at the root of the repository, so local_export.sh can be found
+# in bin.
+# For more focused results, you can activate the profiling only after entering
+# a specific function. For instance, to only profile Eva, add
+#
+#   --toggle-collect='*Eva__Analysis__force_compute*'
+#
+# to the command line below.
+#
+# Example of invocation :
+#
+#   devel_tools/frama-c-callgrind tests/idct/*.c -eva -float-normal -no-warn-signed-overflow
+#
+# This creates a 'callgrind.out' file (Callgrind format), which can be viewed
+# with a tool such as kcachegrind:
+#
+#   kcachegrind callgrind.out
+
+BASH_ARGV0="bin/frama-c" # hackish way to tell local_export that its dir is bin
+
+. bin/local_export.sh
+
+valgrind \
+  --tool=callgrind --callgrind-out-file=callgrind.out --dump-instr=yes \
+  --separate-callers=2 --collect-jumps=yes --fn-skip='caml_*' \
+  $BINDIR/toplevel.opt "$@"