Update documentation of -Obranchless

Updated man page + better usage message.

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.

driver/Driver.ml

@@ -187,7 +187,7 @@ 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
+  -Obranchless   Optimize to generate fewer conditional branches; try to produce
                  branch-free instruction sequences as much as possible
   -ftailcalls    Optimize function calls in tail position [on]
   -fconst-prop   Perform global constant propagation  [on]