This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [vta, vta4.4] reverse order of removal of unreachable blocks
- From: Zdenek Dvorak <rakdver at kam dot mff dot cuni dot cz>
- To: Alexandre Oliva <aoliva at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 14 Aug 2009 13:44:27 +0200
- Subject: Re: [vta, vta4.4] reverse order of removal of unreachable blocks
- References: <oreirevegg.fsf@livre.oliva.athome.lsd.ic.unicamp.br>
Hi,
> In order to avoid deleting SSA DEFs before their uses, we need to delete
> dominators after dominated blocks. I get the impression that the linked
> list of blocks is ordered such that dominators appear before dominated
> blocks, so walking the linked list of blocks in reverse order ensures we
> delete dominated blocks first.
your impression is wrong, the ordering of the basic blocks is
independent on the dominance ordering,
Zdenek