diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 16:42:41 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 16:42:41 +0100 |
| commit | b7c2d3f693c8cef940bb6151c228059ffde0304a (patch) | |
| tree | bf7191da828e28af52e735e9539fc19773c6a33d /tools | |
| parent | afbf8601af31b012872a2fae6939be9fd231145f (diff) | |
| download | compcert-kvx-b7c2d3f693c8cef940bb6151c228059ffde0304a.tar.gz compcert-kvx-b7c2d3f693c8cef940bb6151c228059ffde0304a.zip | |
move loop rotate down
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/compiler_expand.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index 4e2dbd6a..54946366 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -25,11 +25,9 @@ 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 constprop"), "Renumber"; -PARTIAL, Always, NoRequire, (Some "Loop Rotate"), "Looprotate"; -TOTAL, Always, NoRequire, (Some "Renumbering pre constprop"), "Renumber"; +TOTAL, Always, NoRequire, (Some "Renumbering pre unroll"), "Renumber"; PARTIAL, Always, NoRequire, (Some "Unrolling the body of innermost loops"), "Unrollbody"; -TOTAL, Always, NoRequire, (Some "Renumbering pre constprop"), "Renumber"; +TOTAL, Always, NoRequire, (Some "Renumbering pre tail duplication"), "Renumber"; PARTIAL, Always, NoRequire, (Some "Performing tail duplication"), "Tailduplicate"; TOTAL, Always, NoRequire, (Some "Renumbering pre constprop"), "Renumber"; TOTAL, (Option "optim_constprop"), Require, (Some "Constant propagation"), "Constprop"; @@ -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"; |