* doc/cfg.texi (Basic Blocks): Define dominators.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@83762 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e8dd3a2..2c95421 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2004-06-28  Ben Elliston  <bje@au.ibm.com>
+
+       * doc/cfg.texi (Basic Blocks): Define dominators.
+
 2004-06-27  Andrew Pinski  <pinskia@physics.uc.edu>
 
        PR c++/16205

diff --git a/gcc/doc/cfg.texi b/gcc/doc/cfg.texi
index b42d171..caf8c4f 100644 (file)
--- a/gcc/doc/cfg.texi
+++ b/gcc/doc/cfg.texi
@@ -47,7 +47,8 @@ underlying instruction stream.  The chain of basic blocks is updated
 transparently by the provided API for manipulating the CFG.  The macro
 @code{FOR_EACH_BB} can be used to visit all the basic blocks in
 lexicographical order.  Dominator traversals are also possible using
-@code{walk_dominator_tree}.
+@code{walk_dominator_tree}.  Given two basic blocks A and B, block A
+dominates block B if A is @emph{always} executed before B.
 
 @findex BASIC_BLOCK
 The @code{BASIC_BLOCK} array contains all basic blocks in an
@@ -145,7 +146,7 @@ in GCC with the @code{edge} data type.  Each @code{edge} acts as a
 link between two basic blocks: the @code{src} member of an edge
 points to the predecessor basic block of the @code{dest} basic block.
 The members @code{pred} and @code{succ} of the @code{basic_block} data
-type point to single linked lists of edges to the predecessors and
+type point to singly linked lists of edges to the predecessors and
 successors of the block.  The edges are linked via the
 @code{succ_next} and @code{pred_next} members of the @code{edge} data
 type.