diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-06 11:00:51 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-06 11:00:51 +0100 |
| commit | 90e7548f0dae5be1c896fcb964a21fe70b514e0d (patch) | |
| tree | 9f3886dc181105993d9da8a2832660c5b123c6ce /driver/Driver.ml | |
| parent | 1cd3c4c9b7372ca8de128a9ce60ed00210fd0e28 (diff) | |
| parent | 7dca7590aa212806ee939244b253a6a067f34bfc (diff) | |
| download | compcert-kvx-90e7548f0dae5be1c896fcb964a21fe70b514e0d.tar.gz compcert-kvx-90e7548f0dae5be1c896fcb964a21fe70b514e0d.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 3c97e17f..ffe1fc4b 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -200,6 +200,9 @@ Processing options: -fpostpass Perform postpass scheduling (only for K1 architecture) [on] -fpostpass= <optim> Perform postpass scheduling with the specified optimization [list] (<optim>=list: list scheduling, <optim>=ilp: ILP, <optim>=greedy: just packing bundles) + -fduplicate Perform tail duplication to form superblocks on predicted traces + -finvertcond Invert conditions based on predicted paths (to prefer fallthrough). + Requires -fduplicate to be also activated [on] -fforward-moves Forward moves after CSE -finline Perform inlining of functions [on] -finline-functions-called-once Integrate functions only required by their @@ -313,7 +316,7 @@ let cmdline_actions = [ Exact "-O0", Unit (unset_all optimization_options); Exact "-O", Unit (set_all optimization_options); - _Regexp "-O1", Self (fun _ -> set_all optimization_options (); option_fpostpass := false); + _Regexp "-O1", Self (fun _ -> set_all optimization_options (); option_fpostpass := false; option_fduplicate := false); _Regexp "-O[123]$", Unit (set_all optimization_options); Exact "-Os", Set option_Osize; Exact "-Obranchless", Set option_Obranchless; @@ -388,6 +391,8 @@ let cmdline_actions = @ f_opt "cse2" option_fcse2 @ f_opt "redundancy" option_fredundancy @ f_opt "postpass" option_fpostpass + @ f_opt "duplicate" option_fduplicate + @ f_opt "invertcond" option_finvertcond @ f_opt_str "postpass" option_fpostpass option_fpostpass_sched @ f_opt "inline" option_finline @ f_opt "inline-functions-called-once" option_finline_functions_called_once |