This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: RFA: cfg.texi patch
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: dnovillo at redhat dot com
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 24 Jun 04 10:32:19 EDT
- Subject: Re: RFA: cfg.texi patch
> -@code{walk_dominator_tree}.
> +@code{walk_dominator_tree}. A dominator is a basic block that is
> +@emph{always} executed before a given basic block.
How about "Given two basic blocks A and B, block A dominates block B if
A is @emph{always} executed before B." ?
That's still a little ambiguous, actually, since what the "always"
is quantifying is a little vague.
So perhaps "Given two basic blocks A and B, block A is said to
dominate block B if every execution path to block B also causes the
execution of block A."
But this still is vague on the question of whether a block dominates
itself. I don't know the answer to that. Does it?