diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-11 11:03:41 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-11 11:08:55 +0200 |
commit | 301134bcae5fbb3e8e5a95688bf377462d2590ad (patch) | |
tree | a07c8f6b8dd814af27a4ceace68a8bf5f530b303 | |
parent | 1a87d543372951ac483b7ff0df989ad54e16d4bd (diff) | |
download | compcert-kvx-301134bcae5fbb3e8e5a95688bf377462d2590ad.tar.gz compcert-kvx-301134bcae5fbb3e8e5a95688bf377462d2590ad.zip |
Make it easier to insert debugging code
-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 |