diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-29 13:35:21 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-29 13:35:21 +0200 |
commit | cc03146be3bf7b181141dd809a20ec92eb2920f1 (patch) | |
tree | a5b2ef68198417c8dd75b2966534e18654d0dbb1 | |
parent | 1e3440e7c452a41d37bbf961fb03456a7bc894c3 (diff) | |
download | compcert-kvx-cc03146be3bf7b181141dd809a20ec92eb2920f1.tar.gz compcert-kvx-cc03146be3bf7b181141dd809a20ec92eb2920f1.zip |
Another necessary change to allow code motion past the final Icond of a
path (if existant and predicted [not None]).
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index ef8d5eb5..3bf7d16a 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1065,8 +1065,8 @@ let stage_duplication sb code staged_dupcode staged_revmap ~next_free_pc = ListLabels.fold_left icond_frames ~init:(code, staged_dupcode, staged_revmap, next_free_pc) ~f:(fun (code, staged_dupcode, staged_revmap, next_free_pc) {inop_idx; icond_idx} -> - if icond_idx = Array.length sb.instructions - 1 (* Do not lift code before end of path *) - || icond_idx = inop_idx + 1 then (* Sentinel value that no code needs to be duplicated *) + if (* icond_idx = Array.length sb.instructions - 1 (* Do not lift code before end of path *) + || *) icond_idx = inop_idx + 1 then (* Sentinel value that no code needs to be duplicated *) (* do nothing *) (code, staged_dupcode, staged_revmap, next_free_pc) else |