diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:19:01 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:19:01 +0200 |
commit | 52ec63dbae0c21bed6d942cabea2a127ab5da9f4 (patch) | |
tree | c8eedb77822a9cd8b972fddfb24769106b59d270 | |
parent | c56cf430484c4fcb68b7dd1180adcf2ffec5d359 (diff) | |
download | compcert-kvx-52ec63dbae0c21bed6d942cabea2a127ab5da9f4.tar.gz compcert-kvx-52ec63dbae0c21bed6d942cabea2a127ab5da9f4.zip |
Use modified dependency calculation that is more generous (timing-wise)
with regard to scheduling constraints necessitated by code outside of
the superblock. This behavior more closely matches that of the other
dependency calculations giving a more fair comparison.
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 87e106a5..87edcb7c 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -687,7 +687,7 @@ let ideal_schedule'' sb code mode = let old_debug_flag = !debug_flag in let dep_function = match mode with - | Default -> PrepassSchedulingOracle.get_simple_dependencies + | Default -> PrepassSchedulingOracle.get_simple_dependencies' | Ignore_liveness -> PrepassSchedulingOracle.get_fake_deps_liveness | Move_stores -> PrepassSchedulingOracle.get_fake_deps_liveness_stores in |