diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-09 10:46:43 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-09 10:46:43 +0100 |
commit | 615644a4e12a4d21c0faff208138804b074447b9 (patch) | |
tree | a4e60136168265b0805183549d54bb2e2d5b7959 | |
parent | 28660d64baba3f3dfc510053f9f1e8e45c62a881 (diff) | |
parent | e8df8a3a79ca3ac2fb45606665826735c999dc68 (diff) | |
download | compcert-kvx-615644a4e12a4d21c0faff208138804b074447b9.tar.gz compcert-kvx-615644a4e12a4d21c0faff208138804b074447b9.zip |
Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssaPLDI_2021_before_anonymization
-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 f1024da2..ac9f26be 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -51,6 +51,7 @@ PARTIAL, Always, Require, (Some "Unused globals"), "Unusedglob"; PARTIAL, (Option "optim_redundancy"), Require, (Some "Redundancy elimination"), "Deadcode"; PARTIAL, (Option "optim_move_loop_invariants_s"), Require, (Some "LICM"), "LICM"; TOTAL, (Option "optim_move_loop_invariants_s"), NoRequire, (Some "Renumbering post LICM"), "Renumber"; +TOTAL, Always, Require, (Some "Renumbering pre SSA"), "Renumber"; |];; let post_ssa_passes = |