Allow the user to specify precise-exception behaviour for translations
made from file-backed mappings (AOT code, basically) that is different
from the default behaviour as specified by --vex-iropt-register-updates.
New flag is --px-file-backed=, with the same possible args as
--vex-iropt-register-updates has.
Add a new flag --px-default, which is a short alias for
--vex-iropt-register-updates.
Add one line of stats output when --stats=yes, showing counts of how
many translations have been made under each of the 4 different PX
optimisation settings.
No user-visible change if you don't use the new flags.
Relies on VEX API change in r3084.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14906 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/cachegrind/cg_main.c b/cachegrind/cg_main.c
index 7f2c7e5..dcc6220 100644
--- a/cachegrind/cg_main.c
+++ b/cachegrind/cg_main.c
@@ -1787,8 +1787,10 @@
VG_(details_bug_reports_to) (VG_BUGS_TO);
VG_(details_avg_translation_sizeB) ( 500 );
- VG_(clo_vex_control).iropt_register_updates
+ VG_(clo_vex_control).iropt_register_updates_default
+ = VG_(clo_px_file_backed)
= VexRegUpdSpAtMemAccess; // overridable by the user.
+
VG_(basic_tool_funcs) (cg_post_clo_init,
cg_instrument,
cg_fini);