RFA: cfg.texi patch
Diego Novillo
dnovillo@redhat.com
Thu Jun 24 16:58:00 GMT 2004
On Thu, 2004-06-24 at 10:32, Richard Kenner wrote:
> > -@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.
>
Ben was looking for something a bit more intuitive. The strict
definition would be something like:
Block A dominates block B if every path from START to B includes (or
goes through) A.
Then you can add the strict dominance definition:
Block A strictly dominates block B, if A dominates B and A is different
than B.
Diego.
More information about the Gcc-patches
mailing list