This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
RFA: cfg.texi patch
- From: Ben Elliston <bje at au dot ibm dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: 24 Jun 2004 21:56:15 +1000
- Subject: RFA: cfg.texi patch
This patch defines dominators in a series of paragraphs that assume
even less of the reader, by defining basic blocks. Okay for mainline?
2004-06-24 Ben Elliston <bje@au.ibm.com>
* doc/cfg.texi (Basic Blocks): Define dominators.
Index: cfg.texi
===================================================================
RCS file: /cvs/gcc/gcc/gcc/doc/cfg.texi,v
retrieving revision 1.3
diff -u -r1.3 cfg.texi
--- cfg.texi 24 Jun 2004 11:43:34 -0000 1.3
+++ cfg.texi 24 Jun 2004 11:45:06 -0000
@@ -47,7 +47,8 @@
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}. A dominator is a basic block that is
+@emph{always} executed before a given basic block.
@findex BASIC_BLOCK
The @code{BASIC_BLOCK} array contains all basic blocks in an