From 301134bcae5fbb3e8e5a95688bf377462d2590ad Mon Sep 17 00:00:00 2001 From: Justus Fasse Date: Wed, 11 Aug 2021 11:03:41 +0200 Subject: Make it easier to insert debugging code --- scheduling/MyRTLpathScheduleraux.ml | 5 ++--- 1 file 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 -- cgit