Julian Seward 45a0fb5e69 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
2015-02-05 12:59:46 +00:00
..
2014-03-01 11:21:45 +00:00
2013-12-05 14:05:25 +00:00
2009-08-04 02:32:55 +00:00
2009-08-04 02:32:55 +00:00
2014-03-01 11:21:45 +00:00
2009-08-12 00:14:44 +00:00
2012-07-05 21:21:37 +00:00
2012-03-02 09:57:14 +00:00
2012-11-18 00:36:15 +00:00
2014-12-13 18:35:00 +00:00
2014-12-13 18:35:00 +00:00