diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-02-10 14:48:10 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-02-10 14:48:10 +0100 |
commit | df1038971b3124ae8c5d1b48409d4df3ac906961 (patch) | |
tree | 47f0b0e931a026d607c6cca1836e32ccaa960d03 /tools | |
parent | 716687e12509a873e469e38250ffd57ba5d011f1 (diff) | |
download | compcert-kvx-df1038971b3124ae8c5d1b48409d4df3ac906961.tar.gz compcert-kvx-df1038971b3124ae8c5d1b48409d4df3ac906961.zip |
insert CSE after constant propagation and before CSE2
=> useful to have a nice generated code for || (and also probably &&)
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 8d4f4f0b..ddb3c21a 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -32,6 +32,7 @@ PARTIAL, Always, NoRequire, (Some "Unrolling the body of innermost loops"), "Unr TOTAL, Always, NoRequire, (Some "Renumbering pre constprop"), "Renumber"; TOTAL, (Option "optim_constprop"), Require, (Some "Constant propagation"), "Constprop"; TOTAL, Always, NoRequire, (Some "Renumbering pre CSE"), "Renumber"; +PARTIAL, (Option "optim_CSE"), Require, (Some "CSE"), "CSE"; TOTAL, (Option "optim_CSE2"), Require, (Some "CSE2"), "CSE2"; PARTIAL, (Option "optim_CSE3"), Require, (Some "CSE3"), "CSE3"; TOTAL, (Option "optim_CSE3"), Require, (Some "Kill useless moves after CSE3"), "KillUselessMoves"; |