From ce36b497e2af67f09bb98247e03d0d7a1fe6216f Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 23 Apr 2020 16:57:18 +0200 Subject: sync with licm --- tools/compiler_expand.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index 960d1ce1..025dbacc 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -24,7 +24,7 @@ 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, (Option "optim_move_loop_invariants"), (Some "Renumbering pre CSE"), "Renumber"; +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"; -- cgit