|
From: Philippe W. <phi...@sk...> - 2012-07-27 22:23:47
|
Find attached a patch which drops --vex-iropt-precise-memory-exns and adds another clo --vex-iropt-register-updates=minimal|atmemaccess|exact minimal is equivalent to --vex-iropt-precise-memory-exns=no atmemaccess is equivalent to --vex-iropt-precise-memory-exns=yes exact is a new value, ensuring register values are exact at each instruction (mostly useful for gdbserver). Regression tested on f12/x86 and deb6/amd64. Verified that performance impact is as expected (i.e. minimal faster than atmemaccess faster than exact). Feedback welcome. (in particular about verification that exact is effectively ensuring register values are exact at each instruction. Philippe |