diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-24 09:07:57 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-24 09:07:57 +0200 |
commit | fd81859f8a8299b4f3d399d605175ff1b8ee2a81 (patch) | |
tree | 4dc893233f83a3de9493e42e768416ffd9833fac /tools | |
parent | 433c67f9a05e8cab773d1755aa3eb16f8af588e6 (diff) | |
download | compcert-kvx-fd81859f8a8299b4f3d399d605175ff1b8ee2a81.tar.gz compcert-kvx-fd81859f8a8299b4f3d399d605175ff1b8ee2a81.zip |
run a separate CSE3 for LICM
Diffstat (limited to 'tools')
-rw-r--r-- | tools/compiler_expand.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index 025dbacc..8738c3af 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -23,13 +23,15 @@ TOTAL, Always, (Some "Renumbering"), "Renumber"; PARTIAL, (Option "optim_duplicate"), (Some "Tail-duplicating"), "Duplicate"; TOTAL, Always, (Some "Renumbering pre constprop"), "Renumber"; TOTAL, (Option "optim_constprop"), (Some "Constant propagation"), "Constprop"; -PARTIAL, (Option "optim_move_loop_invariants"), (Some "LICM"), "LICM"; 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_forward_moves"), (Some "Forwarding moves"), "ForwardMoves"; PARTIAL, (Option "optim_redundancy"), (Some "Redundancy elimination"), "Deadcode"; +PARTIAL, (Option "optim_move_loop_invariants"), (Some "LICM"), "LICM"; +PARTIAL, (Option "optim_move_loop_invariants"), (Some "CSE3 for LICM"), "CSE3"; +PARTIAL, (Option "optim_move_loop_invariants"), (Some "Redundancy elimination for LICM"), "Deadcode"; TOTAL, (Option "all_loads_nontrap"), None, "Allnontrap"; PARTIAL, Always, (Some "Unused globals"), "Unusedglob" |];; |