From 977b0eaeaa2d9869347b9c51c64f9af123c03eaa Mon Sep 17 00:00:00 2001 From: Julian Seward Date: Fri, 15 Jan 2010 10:57:57 +0000 Subject: [PATCH] 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 --- coregrind/m_main.c | 3 +++ none/tests/cmdline2.stdout.exp | 1 + 2 files changed, 4 insertions(+) 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 -- 2.47.2