------- Comment #18 from law at redhat dot com 2006-03-22 18:13 -------
Subject: Re: VRP/DOM does not like
TRUTH_AND_EXPR
On Wed, 2006-03-22 at 09:00 +0000, rguenth at gcc dot gnu dot org wrote:
>
> ------- Comment #17 from rguenth at gcc dot gnu dot org 2006-03-22 09:00
> -------
> Yes, this sounds very reasonable. Is there a chance you can take a look and
> provide a rough implementation? I can take on the ball and try to fix
> remaining issues - but as I'm not familiar with the VRP pass a patch to start
> with would be helpful in this sense.
I've actually got a good hunk of a rough implementation the biggest
thing that is missing is pruning of ASSERT_EXPRs for names which are
not used in the subgraph. Fixing that is actually nontrivial, so we
may just approximate it with pruning based on how many times the LHS
is used.
With any luck I'll be far enough along that I can start the regression
testing when I hop on the airplane this evening.
jeff
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15911
