diff options
| author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 18:36:28 +0200 |
|---|---|---|
| committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 18:36:28 +0200 |
| commit | 9e1474d2691859ecfe2ff564d3ae1200d14891eb (patch) | |
| tree | 44be6ef4f0fdc1c1802df04cb288f4fc4731299b | |
| parent | dc23987f31757aa24918c969e556e55c92d2d84d (diff) | |
| download | compcert-kvx-9e1474d2691859ecfe2ff564d3ae1200d14891eb.tar.gz compcert-kvx-9e1474d2691859ecfe2ff564d3ae1200d14891eb.zip | |
Describe new command line options slightly better
| -rw-r--r-- | driver/Driver.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 6d97c1e8..3278f858 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -208,7 +208,11 @@ 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) - -fpoormansssa TODO: Perform some register renaming before potential prepass scheduling [on] + -fpoor-mans-ssa Perform some register renaming before potential prepass scheduling [on] + -flift-if Allow the duplication and therefore removal or downwards scheduling of code in superblocks, the number will eventually be useed to control the increase in code size. Right any number >= 0 is interpreted as true. [0] + -fprepass-past-side-exits Allow the scheduling of live instructions past side exits by duplicating code [off] + -fprepass-past-side_exits= <heuristic> Allow moving store instructions past side exits (move_stores) or not (no_move_stores) [move_stores] + -ftarget-inner-loops Concerns -fpoor-mans-ssa and -fprepass-past-side-exits: only apply the aforementioned optimizations to inner loops spanned by a superblock. -fprepass Perform prepass scheduling (only on some architectures) [on] -fprepass= <optim> Perform postpass scheduling with the specified optimization [list] (<optim>=list: list scheduling, <optim>=revlist: reverse list scheduling, <optim>=zigzag: zigzag scheduling, <optim>=ilp: ILP, <optim>=greedy: just packing bundles) |