diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-11 11:00:15 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-11 11:00:15 +0200 |
| commit | eea5640e55890538fa43c3d5672853a0ae015b9c (patch) | |
| tree | 0d98021282ad8d485b8538826133d7ab7e83f30b /driver/Driver.ml | |
| parent | 291b7bd92b510f9dd2edabcae49d13f8c7466c25 (diff) | |
| download | compcert-kvx-eea5640e55890538fa43c3d5672853a0ae015b9c.tar.gz compcert-kvx-eea5640e55890538fa43c3d5672853a0ae015b9c.zip | |
command line selection of prepass scheduler
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 6accc22b..fef9c166 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -205,6 +205,8 @@ Processing options: -fmove-loop-invariants Perform loop-invariant code motion [off] -fredundancy Perform redundancy elimination [on] -fprepass Perform prepass scheduling (only for K1 architecture) [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] -fpostpass= <optim> Perform postpass scheduling with the specified optimization [list] (<optim>=list: list scheduling, <optim>=ilp: ILP, <optim>=greedy: just packing bundles) @@ -425,6 +427,7 @@ let cmdline_actions = @ [ Exact "-fduplicate", Integer (fun n -> option_fduplicate := n) ] @ f_opt "invertcond" option_finvertcond @ f_opt "tracelinearize" option_ftracelinearize + @ f_opt_str "prepass" option_fprepass option_fprepass_sched @ 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 |