diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 11:11:56 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 11:46:15 +0200 |
commit | 0f4dd76853a33bc9764a759355028906c908aee5 (patch) | |
tree | 7818c345ba2388c07b91c819120a14e36d5e4edf | |
parent | 52ec63dbae0c21bed6d942cabea2a127ab5da9f4 (diff) | |
download | compcert-kvx-0f4dd76853a33bc9764a759355028906c908aee5.tar.gz compcert-kvx-0f4dd76853a33bc9764a759355028906c908aee5.zip |
Fix compilation error
-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 |