diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-02 13:18:24 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-02 13:18:24 +0200 |
commit | cdb283e6a007a50ee8ba7ece85c1dc657747da36 (patch) | |
tree | 37da661ee3974c33bad6c358249baff15131ed0e | |
parent | 88d049f22799ff6578d3773e066c6b7277ceeacd (diff) | |
download | compcert-kvx-cdb283e6a007a50ee8ba7ece85c1dc657747da36.tar.gz compcert-kvx-cdb283e6a007a50ee8ba7ece85c1dc657747da36.zip |
Use alternative implementation of heuristic scheduling
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index f86f2cde..8661a11b 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -830,11 +830,12 @@ let downschedule_compensation_code sb code pm live_renames ~next_free_pc ~next_f * does not propose moving memory writes below side-exits. *) let old_debug_flag = !debug_flag in - let idealized_schedule_opt = match !Clflags.option_prepass_past_side_exits_sched with - | "move_stores" -> ideal_schedule' sb code ~next_free_reg - | "no_move_stores" -> ideal_schedule sb code + let mode = match !Clflags.option_prepass_past_side_exits_sched with + | "move_stores" -> Move_stores + | "no_move_stores" -> Ignore_liveness | _ -> failwith "Unsupported option for scheduling code past side exits" in + let idealized_schedule_opt = ideal_schedule'' sb code mode in let idealized_schedule = match idealized_schedule_opt with | None -> sb.instructions |