diff options
| author | Ben Elliston <bje@au.ibm.com> | 2004-06-28 04:01:27 +0000 |
|---|---|---|
| committer | Ben Elliston <bje@gcc.gnu.org> | 2004-06-28 14:01:27 +1000 |
| commit | 986ca4b110b636c986b5f0043066bdc17cf3f902 (patch) | |
| tree | f1cb211ff3efbd2c12b72a18671382f18b12f01d /gcc/doc/cfg.texi | |
| parent | 10317a4f4332e9423c54cb2e3418963dabefa6ca (diff) | |
| download | gcc-986ca4b110b636c986b5f0043066bdc17cf3f902.zip gcc-986ca4b110b636c986b5f0043066bdc17cf3f902.tar.gz gcc-986ca4b110b636c986b5f0043066bdc17cf3f902.tar.bz2 | |
* doc/cfg.texi (Basic Blocks): Define dominators.
From-SVN: r83762
Diffstat (limited to 'gcc/doc/cfg.texi')
| -rw-r--r-- | gcc/doc/cfg.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/doc/cfg.texi b/gcc/doc/cfg.texi index b42d171..caf8c4f 100644 --- 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. |