This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/15911] VRP/DOM does not like TRUTH_AND_EXPR
- From: "law at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 22 Mar 2006 18:13:02 -0000
- Subject: [Bug tree-optimization/15911] VRP/DOM does not like TRUTH_AND_EXPR
- References: <bug-15911-1008@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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