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/Clflags.ml | |
| 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/Clflags.ml')
| -rw-r--r-- | driver/Clflags.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 9aa4a2bf..ba0246df 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -26,6 +26,7 @@ let option_ffloatconstprop = ref 2 let option_ftailcalls = ref true let option_fconstprop = ref true let option_fcse = ref true +let option_fcse2 = ref true let option_fredundancy = ref true let option_fpostpass = ref true let option_fpostpass_sched = ref "list" |