diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-01-28 19:11:29 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-01-28 19:11:29 +0100 |
commit | b71f1c635f20550f6ffdea7f99e65b8516d46768 (patch) | |
tree | 853d5ba16befcee59369d6ec283727fb5619da27 /driver/Compopts.v | |
parent | fd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34 (diff) | |
parent | 3bdfc2288714f1c238a5b59586aa1409f4eda056 (diff) | |
download | compcert-kvx-b71f1c635f20550f6ffdea7f99e65b8516d46768.tar.gz compcert-kvx-b71f1c635f20550f6ffdea7f99e65b8516d46768.zip |
Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2
Diffstat (limited to 'driver/Compopts.v')
-rw-r--r-- | driver/Compopts.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/driver/Compopts.v b/driver/Compopts.v index fdd2b1d6..4d6a096c 100644 --- a/driver/Compopts.v +++ b/driver/Compopts.v @@ -36,6 +36,9 @@ Parameter optim_constprop: unit -> bool. (** Flag -fcse. For common subexpression elimination. *) Parameter optim_CSE: unit -> bool. +(** Flag -fcse2. For DMonniaux's common subexpression elimination. *) +Parameter optim_CSE2: unit -> bool. + (** Flag -fredundancy. For dead code elimination. *) Parameter optim_redundancy: unit -> bool. |