diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-22 16:42:23 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-22 16:42:23 +0100 |
commit | 89e029310d175ee7ddbb157494bac46a08304b19 (patch) | |
tree | bd516047d1cea2be0141d00c1a18e440f4f368aa /driver/Driver.ml | |
parent | 60c15c9d1105dc2e53c17b3fb28ee9cc4716cbc6 (diff) | |
parent | fd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34 (diff) | |
download | compcert-kvx-89e029310d175ee7ddbb157494bac46a08304b19.tar.gz compcert-kvx-89e029310d175ee7ddbb157494bac46a08304b19.zip |
Merge branch 'mppa-work' into mppa-duplicate-oracle
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 59b7b222..992cf8c4 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -199,6 +199,7 @@ 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) + -fforward-moves Forward moves after CSE -finline Perform inlining of functions [on] -finline-functions-called-once Integrate functions only required by their single caller [on] @@ -392,6 +393,7 @@ let cmdline_actions = @ f_opt "addx" option_faddx @ f_opt "coalesce-mem" option_fcoalesce_mem @ f_opt "all-loads-nontrap" option_all_loads_nontrap + @ f_opt "forward-moves" option_fforward_moves (* Code generation options *) @ f_opt "fpu" option_ffpu @ f_opt "sse" option_ffpu (* backward compatibility *) |