Add command line flag --vex-guest-chase-cond=no|yes [no] to control

whether front ends should speculatively chase through conditional
branches.  Disabled by default.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11026

diff --git a/coregrind/m_main.c b/coregrind/m_main.c
index 96cd50f653c766d8cfbb423058742ad506403cff..b6b495e2db3974d4ba72e7d997195d876cfa5b05 100644 (file)
--- a/coregrind/m_main.c
+++ b/coregrind/m_main.c
@@ -201,6 +201,7 @@ static void usage_NORETURN ( Bool debug_help )
 "    --vex-iropt-unroll-thresh=<0..400>     [120]\n"
 "    --vex-guest-max-insns=<1..100>         [50]\n"
 "    --vex-guest-chase-thresh=<0..99>       [10]\n"
+"    --vex-guest-chase-cond=no|yes          [no]\n"
 "    --trace-flags and --profile-flags values (omit the middle space):\n"
 "       1000 0000   show conversion into IR\n"
 "       0100 0000   show after initial opt\n"
@@ -506,6 +507,8 @@ void main_process_cmd_line_options ( /*OUT*/Bool* logging_to_fd,
                        VG_(clo_vex_control).guest_max_insns, 1, 100) {}
       else if VG_BINT_CLO(arg, "--vex-guest-chase-thresh",
                        VG_(clo_vex_control).guest_chase_thresh, 0, 99) {}
+      else if VG_BOOL_CLO(arg, "--vex-guest-chase-cond",
+                       VG_(clo_vex_control).guest_chase_cond) {}
 
       else if VG_INT_CLO(arg, "--log-fd", tmp_log_fd) {
          log_to = VgLogTo_Fd;

diff --git a/none/tests/cmdline2.stdout.exp b/none/tests/cmdline2.stdout.exp
index 14c192b0d571523e4af72180a5138e5d69d10029..9a313622754d60aa83ebf3b3c9d3415ca8a2ede5 100644 (file)
--- a/none/tests/cmdline2.stdout.exp
+++ b/none/tests/cmdline2.stdout.exp
@@ -90,6 +90,7 @@ usage: valgrind [options] prog-and-args
     --vex-iropt-unroll-thresh=<0..400>     [120]
     --vex-guest-max-insns=<1..100>         [50]
     --vex-guest-chase-thresh=<0..99>       [10]
+    --vex-guest-chase-cond=no|yes          [no]
     --trace-flags and --profile-flags values (omit the middle space):
        1000 0000   show conversion into IR
        0100 0000   show after initial opt