document -fno-guess-branch-probability option

From-SVN: r39096

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3206f2ca6c536cac5fee2f1cd903ae6bd877e091..1d129cba2508d5d7acd080dcf421dc38977b21fd 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,9 +1,14 @@
+2001-01-17  Aldy Hernandez  <aldyh@redhat.com>
+
+        * invoke.texi (-fno-guess-branch-probability): New option.
+
 Wed Jan 17 13:26:34 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
        * combine.c (try_combine): Don't set i3_subst_into_i2 for
        case of making new double-word constant.
        Revert last change: instead just test i3_subst_into_i2.
 
+>>>>>>> 1.9022
 2001-01-17  Jakub Jelinek  <jakub@redhat.com>
 
        * config/i386/i386.md (cmpqi_minus_1): Use {b} for QImode operation.

diff --git a/gcc/invoke.texi b/gcc/invoke.texi
index 4536ba66160ec88ce7a231ab7774618f558734bf..8a7a9222f66c6128a17c43c99c0ad3f1b5b494aa 100644 (file)
--- a/gcc/invoke.texi
+++ b/gcc/invoke.texi
@@ -244,7 +244,8 @@ in the following sections.
 -finline-functions  -finline-limit=@var{n}  -fkeep-inline-functions @gol
 -fkeep-static-consts  -fmove-all-movables @gol
 -fno-default-inline  -fno-defer-pop @gol
--fno-function-cse  -fno-inline  -fno-math-errno  -fno-peephole @gol
+-fno-function-cse   -fno-guess-branch-probability
+-fno-inline  -fno-math-errno  -fno-peephole @gol
 -fomit-frame-pointer  -foptimize-register-move @gol
 -foptimize-sibling-calls  -freduce-all-givs @gol
 -fregmove  -frename-registers @gol
@@ -3123,6 +3124,15 @@ branch is mostly to take, the @samp{REG_BR_PROB} values are used to
 exactly determine which path is taken more often.
 @end ifset
 
+@item -fno-guess-branch-probability
+Sometimes gcc will opt to guess branch probabilities when none are
+available from either profile directed feedback (@samp{-fprofile-arcs})
+or @samp(__builtin_expect).  In a hard real-time system, people don't
+want different runs of the compiler to produce code that has different
+behavior; minimizing non-determinism is of paramount import.  This
+switch allows users to reduce non-determinism, possibly at the expense
+of inferior optimization.
+
 @item -fstrict-aliasing
 Allows the compiler to assume the strictest aliasing rules applicable to
 the language being compiled.  For C (and C++), this activates