This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Fix tree-ssa-dom, bugs in jump threading
- From: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- To: gcc-patches at gcc dot gnu dot org
- Cc: law at redhat dot com
- Date: Sun, 24 Aug 2003 00:54:36 +0200
- Subject: Re: [tree-ssa] Fix tree-ssa-dom, bugs in jump threading
Hello,
> The problem is that the redirection changes the dominator tree
> non-trivially, so when handling basic block 3, we incorrectly make
> decions based on properties of basic block 2 that no longer dominates
> it. I don't see an easy solution just now (except for restarting the
> optimization when cfg is altered, which obviously is not a good thing to
> do).
the more feasible possibility of course would be to just schedule the
cfg manipulations and to execute them after the optimization is
finished.
Zdenek