diff options
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index a1958941..51c0abc5 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -891,8 +891,7 @@ let downschedule_compensation_code sb code pm live_renames ~next_free_pc ~next_f if idealized_final_time = default_final_time then (* Early exit *) InsertPositionMap.empty - else - + else ( let sb_length = Array.length sb.instructions in let pc_to_idx = Duplicateaux.generate_fwmap @@ -996,7 +995,7 @@ let downschedule_compensation_code sb code pm live_renames ~next_free_pc ~next_f ) else ( debug_flag := old_debug_flag; to_insert_pcs - ) + )) let my_merge_no_overwrite m1 m2 = PTree.combine (fun x y -> match (x, y) with |