aboutsummaryrefslogtreecommitdiffstats
path: root/scheduling/RTLpathScheduleraux.ml
diff options
context:
space:
mode:
Diffstat (limited to 'scheduling/RTLpathScheduleraux.ml')
-rw-r--r--scheduling/RTLpathScheduleraux.ml9
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";*)