diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-07-05 15:50:26 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-05 16:57:32 +0200 |
commit | 467eb744ae2e7d913744c04866fa3e1a4558cdbe (patch) | |
tree | e38597d3f94df2184d91accd210c46a687b4ed3c /doc/ccomp.1 | |
parent | ea6807fdaeaa2e46e1c7471c91056fdc4736cc2f (diff) | |
download | compcert-467eb744ae2e7d913744c04866fa3e1a4558cdbe.tar.gz compcert-467eb744ae2e7d913744c04866fa3e1a4558cdbe.zip |
Update documentation of -Obranchless
Updated man page + better usage message.
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 81deab7d..d01442d4 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -125,7 +125,7 @@ Enabled by default. .TP .B \-O0 Turn off most optimizations. -Synonymous to \fB\-fno\-const\-prop\fP \fB\-fno\-cse\fP \fB\-fno\-redundancy\fP \fB\-fno\-tailcalls\fP. +Synonymous to \fB\-fno\-const\-prop\fP \fB\-fno\-cse\fP \fB\-fno\-redundancy\fP \fB\-fno\-tailcalls\fP \fB\-fno\-if\-conversion\fP. . .TP .BR \-O1 ", " \-O2 ", " \-O3 @@ -136,6 +136,13 @@ Synonymous for \fB\-O\fP. Optimize for code size in preference to code speed. . .TP +.B \-Obranchless +Optimize to generate fewer conditional branches and use branch-free +instruction sequences instead. When \fB-fif\-conversion\fP is +enabled, the conversion is peformed aggressively even if the resulting +code is less performant. +. +.TP .BR \-fconst\-prop ", " \-fno\-const\-prop Turn on/off global constant propagation. Enabled by default. @@ -151,11 +158,6 @@ Turn on/off generation of conditional moves. Enabled by default. . .TP -.BR \-ffavor\-branchless " -When \fB-fif\-conversion\fP is enabled, the conversion is peformed aggressively even if the resulting code is less performant. -Disabled by default. -. -.TP .BR \-finline ", " \-fno\-inline Turn on/off inlining of functions. Enabled by default. |