diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-23 16:57:18 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-23 16:57:18 +0200 |
commit | ce36b497e2af67f09bb98247e03d0d7a1fe6216f (patch) | |
tree | 4a11506ab4d702825b9c7f704ebeac420c70e908 /tools | |
parent | 54b5f2c669c4c3153a0ea1a2112a2159cf04471c (diff) | |
download | compcert-kvx-ce36b497e2af67f09bb98247e03d0d7a1fe6216f.tar.gz compcert-kvx-ce36b497e2af67f09bb98247e03d0d7a1fe6216f.zip |
sync with licm
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 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"; |