diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-06-17 14:49:06 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-06-17 14:49:06 +0200 |
commit | 0a4e441a722c6aa9921ff47bd1a411e274e24047 (patch) | |
tree | b23678a40e23af930b96cb01838a5bbc4cfea53d /doc/ccomp.1 | |
parent | 37cebaabf65fe3961b9932c6582d15b3b676cefe (diff) | |
download | compcert-0a4e441a722c6aa9921ff47bd1a411e274e24047.tar.gz compcert-0a4e441a722c6aa9921ff47bd1a411e274e24047.zip |
Updated man page.
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 7ccf97c8..81deab7d 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -146,6 +146,16 @@ Turn on/off common subexpression elimination. Enabled by default. . .TP +.BR \-fif\-conversion ", " \-fno\-if\-conversion +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. |