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 /extraction | |
| 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 'extraction')
| -rw-r--r-- | extraction/extraction.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index 0c19ea70..ba6b080b 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -109,6 +109,8 @@ Extract Constant Compopts.optim_constprop => "fun _ -> !Clflags.option_fconstprop". Extract Constant Compopts.optim_CSE => "fun _ -> !Clflags.option_fcse". +Extract Constant Compopts.optim_CSE2 => + "fun _ -> !Clflags.option_fcse2". Extract Constant Compopts.optim_redundancy => "fun _ -> !Clflags.option_fredundancy". Extract Constant Compopts.optim_postpass => |