diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-01-14 12:56:10 +0100 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-01-14 12:56:10 +0100 |
| commit | fc9d9ffcf9157d4e84473a209e360ddc2210f95d (patch) | |
| tree | 532a82e690bd5c19be049cd24906933db4887531 /driver | |
| parent | 7c2020e9b3347cd61250fb0dadae12c6413a748d (diff) | |
| parent | 87e268bc9e6079b5aea31cd6c20e30d00adf2bb8 (diff) | |
| download | compcert-kvx-fc9d9ffcf9157d4e84473a209e360ddc2210f95d.tar.gz compcert-kvx-fc9d9ffcf9157d4e84473a209e360ddc2210f95d.zip | |
Merge branch 'aarch64-peephole' into kvx-work
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Driver.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 089cd423..30c31c27 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -207,9 +207,9 @@ Processing options: -fmove-loop-invariants Perform loop-invariant code motion [off] -fredundancy Perform redundancy elimination [on] -mtune= Type of CPU (for scheduling on some architectures) - -fprepass Perform prepass scheduling (only on some architectures) [off] + -fprepass Perform prepass scheduling (only on some architectures) [on] -fprepass= <optim> Perform postpass scheduling with the specified optimization [list] - (<optim>=list: list scheduling, <optim>=ilp: ILP, <optim>=greedy: just packing bundles) + (<optim>=list: list scheduling, <optim>=revlist: reverse list scheduling, <optim>=zigzag: zigzag 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) |