diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-05 09:50:15 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-05 09:50:15 +0100 |
commit | 39d14caa044364ea93da7dbc49a699008e505311 (patch) | |
tree | 7be8c998cc2289767fa996dc61cd092305bd1002 /tools | |
parent | 0fe569d24b99a34fb3b9ad6c0cb86876cc86a31d (diff) | |
parent | 160c4ae21cdc86e26850ed0bdec8d95ca23c57db (diff) | |
download | compcert-kvx-39d14caa044364ea93da7dbc49a699008e505311.tar.gz compcert-kvx-39d14caa044364ea93da7dbc49a699008e505311.zip |
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
Diffstat (limited to 'tools')
-rw-r--r-- | tools/compiler_expand.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index d7484628..6af0ec59 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -25,8 +25,6 @@ TOTAL, Always, Require, (Some "Renumbering"), "Renumber"; PARTIAL, (Option "optim_CSE"), Require, (Some "CSE"), "CSE"; PARTIAL, Always, NoRequire, (Some "Static Prediction + inverting conditions"), "Staticpredict"; PARTIAL, Always, NoRequire, (Some "Unrolling one iteration out of innermost loops"), "Unrollsingle"; -TOTAL, Always, Require, (Some "Renumbering pre rotate"), "Renumber"; -PARTIAL, Always, NoRequire, (Some "Loop Rotate"), "Looprotate"; TOTAL, Always, NoRequire, (Some "Renumbering pre unrolling"), "Renumber"; PARTIAL, Always, NoRequire, (Some "Unrolling the body of innermost loops"), "Unrollbody"; TOTAL, Always, NoRequire, (Some "Renumbering pre tail duplication"), "Renumber"; @@ -39,6 +37,9 @@ PARTIAL, (Option "optim_CSE3"), Require, (Some "CSE3"), "CSE3"; TOTAL, (Option "optim_CSE3"), Require, (Some "Kill useless moves after CSE3"), "KillUselessMoves"; TOTAL, (Option "optim_forward_moves"), Require, (Some "Forwarding moves"), "ForwardMoves"; PARTIAL, (Option "optim_redundancy"), Require, (Some "Redundancy elimination"), "Deadcode"; +TOTAL, Always, Require, (Some "Renumbering pre rotate"), "Renumber"; +PARTIAL, Always, NoRequire, (Some "Loop Rotate"), "Looprotate"; +TOTAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "Renumbering for LICM"), "Renumber"; PARTIAL, (Option "optim_move_loop_invariants"), Require, (Some "LICM"), "LICM"; TOTAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "Renumbering for LICM"), "Renumber"; PARTIAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "CSE3 for LICM"), "CSE3"; |