diff options
-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 |