From: Julian Seward Date: Fri, 15 Jan 2010 10:57:57 +0000 (+0000) Subject: Add command line flag --vex-guest-chase-cond=no|yes [no] to control X-Git-Tag: svn/VALGRIND_3_6_0~398 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=977b0eaeaa2d9869347b9c51c64f9af123c03eaa;p=thirdparty%2Fvalgrind.git 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 96cd50f653..b6b495e2db 100644 --- 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 14c192b0d5..9a31362275 100644 --- 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