diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-07-05 15:38:45 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-05 16:57:32 +0200 |
commit | ea6807fdaeaa2e46e1c7471c91056fdc4736cc2f (patch) | |
tree | 935ffec775bf57735982b9cf239c046c0e276f4d /driver/Driver.ml | |
parent | 998f3c5ff90f6230b722b6094761f5989beea0a5 (diff) | |
download | compcert-kvx-ea6807fdaeaa2e46e1c7471c91056fdc4736cc2f.tar.gz compcert-kvx-ea6807fdaeaa2e46e1c7471c91056fdc4736cc2f.zip |
Rename option `-ffavor-branchless` into `-Obranchless`
Easier to type, and consistent with `-Os` (optimize for smaller code /
optimize for fewer conditional branches).
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 84392ef6..88be8933 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -187,6 +187,8 @@ Processing options: -O0 Do not optimize the compiled code -O1 -O2 -O3 Synonymous for -O -Os Optimize for code size in preference to code speed + -Obranchless Optimize to avoid conditional branches; try to generate + branch-free instruction sequences as much as possible -ftailcalls Optimize function calls in tail position [on] -fconst-prop Perform global constant propagation [on] -ffloat-const-prop <n> Control constant propagation of floats @@ -197,8 +199,6 @@ Processing options: -finline-functions-called-once Integrate functions only required by their single caller [on] -fif-conversion Perform if-conversion (generation of conditional moves) [on] - -ffavor-branchless Favor the generation of branch-free instruction sequences, - even when possibly more costly than the default [off] Code generation options: (use -fno-<opt> to turn off -f<opt>) -ffpu Use FP registers for some integer operations [on] -fsmall-data <n> Set maximal size <n> for allocation in small data area @@ -303,10 +303,10 @@ let cmdline_actions = Exact "-O", Unit (set_all optimization_options); _Regexp "-O[123]$", Unit (set_all optimization_options); Exact "-Os", Set option_Osize; + Exact "-Obranchless", Set option_Obranchless; Exact "-fsmall-data", Integer(fun n -> option_small_data := n); Exact "-fsmall-const", Integer(fun n -> option_small_const := n); Exact "-ffloat-const-prop", Integer(fun n -> option_ffloatconstprop := n); - Exact "-ffavor-branchless", Set option_ffavor_branchless; Exact "-falign-functions", Integer(fun n -> check_align n; option_falignfunctions := Some n); Exact "-falign-branch-targets", Integer(fun n -> check_align n; option_falignbranchtargets := n); Exact "-falign-cond-branches", Integer(fun n -> check_align n; option_faligncondbranchs := n);] @ |