diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-14 07:45:00 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-14 07:45:00 +0100 |
| commit | 12be46d59a2483a10d77fa8ee67f7e0ca1bd702f (patch) | |
| tree | f12110794358e931e5e519f9c3c010d7d2514543 /driver/Driver.ml | |
| parent | 4274a63b70fa77078dce527af958d5f21b949fbe (diff) | |
| parent | 117a26880e27ae7d8efcb26d194c5ded3be642d6 (diff) | |
| download | compcert-kvx-12be46d59a2483a10d77fa8ee67f7e0ca1bd702f.tar.gz compcert-kvx-12be46d59a2483a10d77fa8ee67f7e0ca1bd702f.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index ffe1fc4b..db71aef9 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -203,6 +203,8 @@ Processing options: -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] + -ftracelinearize Linearizes based on the traces identified by duplicate phase + It is recommended to also activate -fduplicate 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 @@ -393,6 +395,7 @@ let cmdline_actions = @ f_opt "postpass" option_fpostpass @ f_opt "duplicate" option_fduplicate @ f_opt "invertcond" option_finvertcond + @ f_opt "tracelinearize" option_ftracelinearize @ 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 |