From cb7f9dae1d354bbf94d8da87e3d4c72057992965 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 30 Apr 2020 22:41:22 +0200 Subject: add a renumber phase --- tools/compiler_expand.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'tools') diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index 8738c3af..1fa5ad28 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -30,6 +30,7 @@ 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"; +TOTAL, (Option "optim_move_loop_invariants"), (Some "Renumbering for LICM"), "Renumber"; 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"; -- cgit