diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 18:51:54 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 18:51:54 +0100 |
| commit | 45b0cf75d14fdc2a053e3f966441d2103a40c41b (patch) | |
| tree | e87702b0458a23843ca87868b4a3a72919864629 /driver/Driver.ml | |
| parent | 8f337598016aa49ff6554085b406b7e6026bfc3d (diff) | |
| parent | 50f25f57749d3eb46d859350719c9324fb75afa2 (diff) | |
| download | compcert-kvx-45b0cf75d14fdc2a053e3f966441d2103a40c41b.tar.gz compcert-kvx-45b0cf75d14fdc2a053e3f966441d2103a40c41b.zip | |
Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index c68c066a..98e057d4 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -296,6 +296,7 @@ let cmdline_actions = Exact "-O", Unit (set_all optimization_options); _Regexp "-O[123]$", Unit (set_all optimization_options); Exact "-Os", Set option_Osize; + Exact "-pp-optimizer", String(fun s -> option_pp_optimizer := if (s == "list_scheduler") then 1 else if (s == "cascaded_scheduler") then 2 else 0); Exact "-fsmall-data", Integer(fun n -> option_small_data := n); Exact "-fsmall-const", Integer(fun n -> option_small_const := n); Exact "-ffloat-const-prop", Integer(fun n -> option_ffloatconstprop := n); |