diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-17 14:49:07 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-17 14:49:07 +0200 |
commit | f12837be269708acf02cdf1e191fd6bcc5cc26ec (patch) | |
tree | 107bee900d6fe16172fa2437bfbff846bd4f7467 | |
parent | 3a3649930a96412eae3a51ca329aee76581ee72c (diff) | |
download | compcert-kvx-f12837be269708acf02cdf1e191fd6bcc5cc26ec.tar.gz compcert-kvx-f12837be269708acf02cdf1e191fd6bcc5cc26ec.zip |
Remove done TODO comment
-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 df5e476f..db47797f 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1300,8 +1300,8 @@ let scheduler f = (* Get only those superblocks that span an inner loop *) let superblocks = - if not !Clflags.option_ftargetinnerloops (* TODO: conditional to control whether pmSSA is applied to all superblocks or just ones spanning inner loops *) - then superblocks + if not !Clflags.option_ftargetinnerloops then + superblocks else List.filter (fun sb -> (* sanity check; a superblock contains at least one instruction *) |