diff options
| author | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-15 16:55:31 +0200 |
|---|---|---|
| committer | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-15 16:55:31 +0200 |
| commit | 35b163f1c0bf1a4d09bfd0faa9ffed4b909fc8ea (patch) | |
| tree | b32badd4b44f342dd0cd8ced528251ecc9d75e4c /tools | |
| parent | d68d71ae380601759927e04a773b9ed0a95ba247 (diff) | |
| download | compcert-kvx-35b163f1c0bf1a4d09bfd0faa9ffed4b909fc8ea.tar.gz compcert-kvx-35b163f1c0bf1a4d09bfd0faa9ffed4b909fc8ea.zip | |
Move rtl_tunneling to a more interesting place
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/compiler_expand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index e45f64fa..067f0e4b 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -40,6 +40,7 @@ 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"; +rtl_tunneling; 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"; @@ -49,7 +50,6 @@ PARTIAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "CSE3 for LICM" PARTIAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "Redundancy elimination for LICM"), "Deadcode"; TOTAL, (Option "all_loads_nontrap"), Require, None, "Allnontrap"; PARTIAL, Always, Require, (Some "Unused globals"), "Unusedglob"; -rtl_tunneling; |];; let post_rtl_passes = |