diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-24 12:33:39 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-24 12:33:39 +0200 |
commit | e47c08eca32ae156c86dbf8c4801fadd9ca8ec31 (patch) | |
tree | 750cdcaaf82873b3c3989c5ac02f583824256d4e | |
parent | 0b17b5c0a8474e0647283abf66c3e51fb9cfcf60 (diff) | |
download | compcert-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.ml | 10 |
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 |