diff options
| author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-21 19:19:55 +0200 |
|---|---|---|
| committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-21 19:19:55 +0200 |
| commit | 5b9c67174d70f2bec24f28236d98e0589059bc6b (patch) | |
| tree | 08e878fe95efb807b06162de8113755dfbc24e0d | |
| parent | 9a0345ab9783b93fb785508945bbc433106c1fa0 (diff) | |
| download | compcert-kvx-5b9c67174d70f2bec24f28236d98e0589059bc6b.tar.gz compcert-kvx-5b9c67174d70f2bec24f28236d98e0589059bc6b.zip | |
Remove useless comment (implemented by ideal_schedule')
| -rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 1beab9f2..a60eb7ea 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -618,9 +618,6 @@ let ideal_schedule' sb code ~next_free_reg = (* "ideal" *) let ideal_schedule sb code ~next_free_reg = let schedule = - (* TODO: try to refine this by replacing Iconds by Iop (Ocmp ...) which are somehow - * chained together in order to also allow the possibility to schedule memory store - * code below side-exits. *) RTLpathScheduleraux.schedule_superblock {sb with liveins = PTree.map (fun n _regs -> Regset.empty) sb.liveins} code |