This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: tree-ssa-vrp
- From: Steven Bosscher <s dot bosscher at student dot tudelft dot nl>
- To: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- Cc: gcc at gcc dot gnu dot org, dnovillo at redhat dot com
- Date: Wed, 01 Oct 2003 00:05:53 +0200
- Subject: Re: tree-ssa-vrp
- References: <20030930215753.GA10680@atrey.karlin.mff.cuni.cz>
Op di 30-09-2003, om 23:57 schreef Zdenek Dvorak:
> Hello,
>
> is someone currently working on SSA based value range propagation? If
> not, I will give it a try.
>
> Zdenek
Have you seen that Jeff Law just commited a limited dominator based VRP
for tree-ssa?
I worked a bit on the starts of SSA VRP as described in Patterson's
thesis, but then I decided it is probably only worth the effort if we
can use it to compute branch probabilities; just propagating the value
ranges that accurately is not going to give much benefit. Especially
with the new dominator VRP...
Gr.
Steven