diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-16 12:24:26 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-16 12:24:26 +0200 |
commit | 72c683787a7b1a902e019a3ace324809a7585314 (patch) | |
tree | 566c11b578248c118888965e097f01eccc2f1ea6 /tools | |
parent | c7c1bafec40f7824da76e832ec09a628412e29da (diff) | |
download | compcert-kvx-72c683787a7b1a902e019a3ace324809a7585314.tar.gz compcert-kvx-72c683787a7b1a902e019a3ace324809a7585314.zip |
reorder phases
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 5487ddf6..e5cab30c 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -20,13 +20,14 @@ TOTAL, (Option "profile_arcs"), (Some "Profiling insertion"), "Profiling"; TOTAL, (Option "branch_probabilities"), (Some "Profiling use"), "ProfilingExploit"; TOTAL, (Option "optim_move_loop_invariants"), (Some "Inserting initial nop"), "FirstNop"; TOTAL, Always, (Some "Renumbering"), "Renumber"; -PARTIAL, Always, (Some "Tail-duplicating"), "Duplicate"; +PARTIAL, (Option "optim_CSE"), (Some "CSE"), "CSE"; +PARTIAL, Always, (Some "Duplicating blocks"), "Duplicate"; TOTAL, Always, (Some "Renumbering pre constprop"), "Renumber"; TOTAL, (Option "optim_constprop"), (Some "Constant propagation"), "Constprop"; TOTAL, Always, (Some "Renumbering pre CSE"), "Renumber"; -PARTIAL, (Option "optim_CSE"), (Some "CSE"), "CSE"; TOTAL, (Option "optim_CSE2"), (Some "CSE2"), "CSE2"; PARTIAL, (Option "optim_CSE3"), (Some "CSE3"), "CSE3"; +TOTAL, (Option "optim_CSE3"), (Some "Kill useless moves after CSE3"), "KillUselessMoves"; TOTAL, (Option "optim_forward_moves"), (Some "Forwarding moves"), "ForwardMoves"; PARTIAL, (Option "optim_redundancy"), (Some "Redundancy elimination"), "Deadcode"; PARTIAL, (Option "optim_move_loop_invariants"), (Some "LICM"), "LICM"; |