diff options
Diffstat (limited to 'scheduling/RTLpathScheduleraux.ml')
-rw-r--r-- | scheduling/RTLpathScheduleraux.ml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml index 378bf097..aeed39df 100644 --- a/scheduling/RTLpathScheduleraux.ml +++ b/scheduling/RTLpathScheduleraux.ml @@ -284,9 +284,7 @@ let rec do_schedule code pm = function | [] -> (code, pm) | sb :: lsb -> (*debug_flag := true;*) - let (code_exp, pm) = - if !Clflags.option_fexpanse_rtlcond then (expanse sb code pm) - else (code, pm) in + let (code_exp, pm) = expanse sb code pm in (*debug_flag := false;*) (* Trick: instead of turning loads into non trap as needed.. * First, we turn them all into non-trap. @@ -298,12 +296,12 @@ let rec do_schedule code pm = function let new_code = apply_schedule code' sb schedule in begin (*debug_flag := true;*) + if code != code_exp then ( debug "Old Code: "; print_code code; - debug "Exp Code: "; print_code code_exp; + debug "Exp Code: "; print_code code_exp); debug "\nSchedule to apply: "; print_arrayp schedule; debug "\nNew Code: "; print_code new_code; debug "\n"; - (*debug_flag := false; *) do_schedule new_code pm lsb end @@ -321,7 +319,6 @@ let scheduler f = debug "Pathmap:\n"; debug "\n"; print_path_map pm; debug "Superblocks:\n"; - (*debug_flag := true; *) (*print_code code; flush stdout; flush stderr;*) (*debug_flag := false;*) (*print_superblocks lsb code; debug "\n";*) |