diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-11 18:18:17 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-11 18:18:17 +0100 |
| commit | af1b08974ff75966ec48b4d93d5da8b5a4beab43 (patch) | |
| tree | 76405e7e720552ec89048bf4620550a3bd8bd3b6 /driver/Driver.ml | |
| parent | ca1536a5d9e850cf9c86a70f421412d2c7bdff38 (diff) | |
| parent | 9e706de1eb25d6d6dbeb1eb2ced71e48523a499f (diff) | |
| download | compcert-kvx-af1b08974ff75966ec48b4d93d5da8b5a4beab43.tar.gz compcert-kvx-af1b08974ff75966ec48b4d93d5da8b5a4beab43.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 6f32fc33..12b61d86 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -205,7 +205,7 @@ Processing options: -finvertcond Invert conditions based on predicted paths (to prefer fallthrough). Requires -fduplicate to be also activated [on] -ftracelinearize Linearizes based on the traces identified by duplicate phase - It is recommended to also activate -fduplicate with this pass [off] + It is heavily recommended to activate -finvertcond with this pass [off] -fforward-moves Forward moves after CSE -finline Perform inlining of functions [on] -finline-functions-called-once Integrate functions only required by their @@ -319,7 +319,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; option_fduplicate := false); + _Regexp "-O1", Self (fun _ -> set_all optimization_options (); option_fpostpass := false); _Regexp "-O[123]$", Unit (set_all optimization_options); Exact "-Os", Set option_Osize; Exact "-Obranchless", Set option_Obranchless; @@ -395,7 +395,7 @@ let cmdline_actions = @ f_opt "cse3" option_fcse3 @ f_opt "redundancy" option_fredundancy @ f_opt "postpass" option_fpostpass - @ f_opt "duplicate" option_fduplicate + @ [ Exact "-fduplicate", Integer (fun n -> option_fduplicate := n) ] @ f_opt "invertcond" option_finvertcond @ f_opt "tracelinearize" option_ftracelinearize @ f_opt_str "postpass" option_fpostpass option_fpostpass_sched |