diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-30 22:41:22 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-30 22:41:22 +0200 |
| commit | cb7f9dae1d354bbf94d8da87e3d4c72057992965 (patch) | |
| tree | b51efa8017f9d9ce0752de257acc2a1725851701 /tools | |
| parent | fd81859f8a8299b4f3d399d605175ff1b8ee2a81 (diff) | |
| download | compcert-kvx-cb7f9dae1d354bbf94d8da87e3d4c72057992965.tar.gz compcert-kvx-cb7f9dae1d354bbf94d8da87e3d4c72057992965.zip | |
add a renumber phase
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/compiler_expand.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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"; |