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 87edcb7c..03ed24aa 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -253,6 +253,7 @@ module InsertPositionMap = Map.Make(InsertPosition) let new_size = N.to_int pi.psize + num_added |> N.of_int in let pm = PTree.set first_pc {pi with psize = new_size} pm in + debug_flag := old_debug_flag; (sb', code, pm, next_free_pc (), fwmap_pc) let prepend_nops_before_iconds sb code = @@ -1381,7 +1382,8 @@ let scheduler f = PTree.fold (fun acc pc insts -> let pc' = apply_map' fwmap pc in - let insts = if Camlcoq.P.eq pc last_pc then [] else insts in + (* Remove final renames, which were just inserted *) + let insts = if Camlcoq.P.eq pc sb.instructions.(Array.length sb.instructions - 1) then [] else insts in PTree.set pc' insts acc) live_renames PTree.empty |