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/Driver.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/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 992cf8c4..3c97e17f 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -195,6 +195,7 @@ Processing options: -ffloat-const-prop <n> Control constant propagation of floats (<n>=0: none, <n>=1: limited, <n>=2: full; default is full) -fcse Perform common subexpression elimination [on] + -fcse2 Perform inter-loop common subexpression elimination [on] -fredundancy Perform redundancy elimination [on] -fpostpass Perform postpass scheduling (only for K1 architecture) [on] -fpostpass= <optim> Perform postpass scheduling with the specified optimization [list] @@ -258,8 +259,10 @@ let dump_mnemonics destfile = exit 0 let optimization_options = [ - option_ftailcalls; option_fifconversion; option_fconstprop; option_fcse; - option_fpostpass; option_fredundancy; option_finline_functions_called_once; + option_ftailcalls; option_fifconversion; option_fconstprop; + option_fcse; option_fcse2; + option_fpostpass; + option_fredundancy; option_finline; option_finline_functions_called_once; ] let set_all opts () = List.iter (fun r -> r := true) opts @@ -382,6 +385,7 @@ let cmdline_actions = @ f_opt "if-conversion" option_fifconversion @ f_opt "const-prop" option_fconstprop @ f_opt "cse" option_fcse + @ f_opt "cse2" option_fcse2 @ f_opt "redundancy" option_fredundancy @ f_opt "postpass" option_fpostpass @ f_opt_str "postpass" option_fpostpass option_fpostpass_sched |