diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-22 13:38:45 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-22 13:38:45 +0200 |
commit | 4764b4e2cf2fedb6165e4bf31d549f1df4e4a347 (patch) | |
tree | 8bc92939381b8e48d75408b6d69bd884eb25a4c5 /driver/Driver.ml | |
parent | 1740571e67f4c9384aea706132b534411d24b36c (diff) | |
download | compcert-kvx-4764b4e2cf2fedb6165e4bf31d549f1df4e4a347.tar.gz compcert-kvx-4764b4e2cf2fedb6165e4bf31d549f1df4e4a347.zip |
-mtune=
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index e5fc78f8..62e586f0 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -204,7 +204,8 @@ Processing options: -fcse3-glb Refine CSE3 information using greatest lower bounds [on] -fmove-loop-invariants Perform loop-invariant code motion [off] -fredundancy Perform redundancy elimination [on] - -fprepass Perform prepass scheduling (only for K1 architecture) [off] + -mtune= Type of CPU (for scheduling on some architectures) + -fprepass Perform prepass scheduling (only on some architectures) [off] -fprepass= <optim> Perform postpass scheduling with the specified optimization [list] (<optim>=list: list scheduling, <optim>=ilp: ILP, <optim>=greedy: just packing bundles) -fpostpass Perform postpass scheduling (only for K1 architecture) [on] @@ -420,6 +421,7 @@ let cmdline_actions = @ f_opt "cse3-glb" option_fcse3_glb @ f_opt "move-loop-invariants" option_fmove_loop_invariants @ f_opt "redundancy" option_fredundancy + @ [ Exact "-mtune", String (fun s -> option_mtune := s) ] @ f_opt "prepass" option_fprepass @ f_opt "postpass" option_fpostpass @ [ Exact "-ftailduplicate", Integer (fun n -> option_ftailduplicate := n) ] |