aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJustus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr>2021-08-24 12:33:39 +0200
committerJustus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr>2021-08-24 12:33:39 +0200
commite47c08eca32ae156c86dbf8c4801fadd9ca8ec31 (patch)
tree750cdcaaf82873b3c3989c5ac02f583824256d4e
parent0b17b5c0a8474e0647283abf66c3e51fb9cfcf60 (diff)
downloadcompcert-kvx-e47c08eca32ae156c86dbf8c4801fadd9ca8ec31.tar.gz
compcert-kvx-e47c08eca32ae156c86dbf8c4801fadd9ca8ec31.zip
Fix small error
(was already included for the benchmark runs for the M2 report)
-rw-r--r--scheduling/MyRTLpathScheduleraux.ml10
1 files changed, 5 insertions, 5 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml
index 7afaeaa9..0375d26c 100644
--- a/scheduling/MyRTLpathScheduleraux.ml
+++ b/scheduling/MyRTLpathScheduleraux.ml
@@ -1520,11 +1520,6 @@ let scheduler f =
let (superblocks, code, pm, next_free_pc, next_free_reg) = ListLabels.fold_left superblocks_liverenames
~init:([], code, pm, next_free_pc, next_free_reg)
~f:(fun (sbs, code, pm, next_free_pc, next_free_reg) (sb, live_renames) ->
- let pc_to_idx = Duplicateaux.generate_fwmap
- (Array.to_list sb.instructions)
- (List.init (Array.length sb.instructions) (fun i -> i))
- PTree.empty
- in
let (sb, code, pm, next_free_pc, live_renames) =
if !Clflags.option_fpoormansssa then
(* Final restoration code was already inserted. *)
@@ -1548,6 +1543,11 @@ let scheduler f =
in
(sb, code, pm, next_free_pc, live_renames)
in
+ let pc_to_idx = Duplicateaux.generate_fwmap
+ (Array.to_list sb.instructions)
+ (List.init (Array.length sb.instructions) (fun i -> i))
+ PTree.empty
+ in
let (to_insert_restoration, to_rename, next_free_reg) = restoration_instructions' sb code live_renames ~next_free_reg in
let side_exit_pcs = side_exit_pcs sb code in
let code = ListLabels.fold_left side_exit_pcs