This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: RFA: cfg.texi patch
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 24 Jun 2004 10:59:40 -0400
- Subject: Re: RFA: cfg.texi patch
- Organization: Red Hat Canada
- References: <10406241432.AA29407@vlsi1.ultra.nyu.edu>
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.