diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-17 11:08:11 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-17 11:08:11 +0100 |
commit | fd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34 (patch) | |
tree | 041c651cd35d02ddab69167f73e7ab4c71f15bab | |
parent | b77b57ea6da032e0931a80c6e826ae9acc3e748e (diff) | |
download | compcert-kvx-fd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34.tar.gz compcert-kvx-fd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34.zip |
Added description for forward moves
-rw-r--r-- | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index eab66a2b..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] |