diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 19:24:23 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 20:13:00 +0200 |
commit | 48028dcfdbbbe945d063a6f103aef2aeded26003 (patch) | |
tree | b56df5cd00ee72e6a0813656f9c556c7661072c0 | |
parent | 9e1474d2691859ecfe2ff564d3ae1200d14891eb (diff) | |
download | compcert-kvx-48028dcfdbbbe945d063a6f103aef2aeded26003.tar.gz compcert-kvx-48028dcfdbbbe945d063a6f103aef2aeded26003.zip |
Comment out extra-aliasing logic which becomes useless w/ pmSSA + lift-if
Question: Is it useless in general?
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index bd8eb7fe..5227d24d 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1030,13 +1030,15 @@ let scheduler f = (* Apply aliasing code *) let old_debug_flag = !debug_flag in debug_flag := false; - debug "Before adding aliasing code.\n"; + debug "Initial code.\n"; print_code code; print_path_map pm; print_superblocks superblocks code; debug "\n"; flush_all (); - let (superblocks, code, pm, next_free_pc) = + + (* TODO: Is this extra aliasing logic really useless? *) + (* let (superblocks, code, pm, next_free_pc) = ListLabels.fold_left superblocks ~init:([], code, pm, next_free_pc) ~f:(fun (superblocks, code, pm, next_free_pc) sb -> @@ -1049,7 +1051,7 @@ let scheduler f = print_path_map pm; print_superblocks superblocks code; debug "\n"; - flush_all (); + flush_all (); *) let (superblocks, code, pm, next_free_pc) = ListLabels.fold_left superblocks |