diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 18:15:19 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 18:15:36 +0200 |
commit | dc23987f31757aa24918c969e556e55c92d2d84d (patch) | |
tree | 4a012fd5278248929b109874b823e7dcc6ad619b | |
parent | 922dd96ce835c9e2dbfdb33b685bc639bbad535d (diff) | |
download | compcert-kvx-dc23987f31757aa24918c969e556e55c92d2d84d.tar.gz compcert-kvx-dc23987f31757aa24918c969e556e55c92d2d84d.zip |
Use flag -ftarget-inner-loops
That is, inner loops that are spanned by a superblock
-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 8b995528..bd8eb7fe 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1009,7 +1009,7 @@ let scheduler f = (* Get only those superblocks that span an inner loop *) let superblocks = - if true (* TODO: conditional to control whether pmSSA is applied to all superblocks or just ones spanning inner loops *) + if not !Clflags.option_ftargetinnerloops (* TODO: conditional to control whether pmSSA is applied to all superblocks or just ones spanning inner loops *) then superblocks else List.filter (fun sb -> |