diff options
| -rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 7d493d14..63e362ad 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -945,8 +945,10 @@ let downschedule_compensation_code sb code pm live_renames ~next_free_pc ~next_f | Some (idealized_schedule, idealized_final_time) , Some (default_schedule, default_final_time) -> if idealized_final_time >= default_final_time then ( - if (idealized_final_time > default_final_time) then ( + if (!debug_flag && idealized_final_time > default_final_time) then ( debug "Unexpectedly, idealized dependencies lead to a worse expected final time.\n"; + debug "idealized_final_time = %d, default_final_time = %d\n" idealized_final_time default_final_time; + debug "For superblock %d" (Camlcoq.P.to_int sb.instructions.(0)); failwith "Unexpectedly bad final time for idealized schedule"; ); (* Early exit *) |