diff options
| -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 |