http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15911
Bug 15911 depends on bug 15357, which changed state.
Bug 15357 Summary: [tree-ssa] combing if statements
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15357
What|Removed |Added
--- Comment #32 from rguenth at gcc dot gnu dot org 2006-10-22 20:16
---
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNE
--- Comment #31 from rguenth at gcc dot gnu dot org 2006-10-22 20:11
---
Subject: Bug 15911
Author: rguenth
Date: Sun Oct 22 20:11:09 2006
New Revision: 117960
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117960
Log:
2006-10-22 Jeff Law <[EMAIL PROTECTED]>
Richard G
--- Comment #30 from patchapp at dberlin dot org 2006-05-15 19:30 ---
Subject: Bug number PR15911
A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-05/msg00030.html
--
http://gcc.gnu.org/bugzilla/s
--- Comment #29 from rguenth at gcc dot gnu dot org 2006-05-01 21:12
---
ca11011 looks like a spurious failure (do I hate that...).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15911
--- Comment #28 from dann at godzilla dot ics dot uci dot edu 2006-04-30
19:25 ---
Just a note, fixing the problem in this PR would fix the only remaining failure
for cprop in Brigg's compiler benchmarks.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15911
--- Comment #27 from rguenth at gcc dot gnu dot org 2006-04-26 08:47
---
Compile time and memory usage checking on a set of C++ benchmarks (tramp3d,
DLV, mico and boost) don't show regressions. I'll leave this here now until
stage1 opens.
--
http://gcc.gnu.org/bugzilla/show_bug.cg
--- Comment #26 from rguenth at gcc dot gnu dot org 2006-04-25 15:55
---
Created an attachment (id=11333)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11333&action=view)
updated patch
This is a cleanup of the patch by Jeff, bootstrapped and regtested on
x86_64-unknown-linux-gnu.
--- Comment #25 from rguenther at suse dot de 2006-04-20 16:33 ---
Subject: Re: VRP/DOM does not like TRUTH_AND_EXPR
On Thu, 20 Apr 2006, law at redhat dot com wrote:
> Richard -- is there any chance you could pick up the ball on this PR? I
> really
> need to focus on some non-GCC s
--- Comment #24 from law at redhat dot com 2006-04-20 16:24 ---
Richard -- is there any chance you could pick up the ball on this PR? I really
need to focus on some non-GCC stuff for a while, but don't want this issue to
get lost in the process.
Jeff
--
http://gcc.gnu.org/bugzilla
--- Comment #23 from rguenth at gcc dot gnu dot org 2006-04-17 16:54
---
It also helps for propagating loop versioning guard information like
int foo(int i, int j)
{
int res = 0;
if (i==1 && j==2)
for (;i>0;--i)
res += j;
else
for (;i>0;--i)
res += j;
return
--- Comment #22 from law at redhat dot com 2006-04-17 16:40 ---
Here's some code which can be clearly improved with the in-progress patch to
add additional ASSERT_EXPRs:
int f(void);
void test(int x) {
if (x & 1 ? x == 0 : x > 0) f();
}
Right now we generate something like:
--- Comment #20 from law at redhat dot com 2006-04-13 18:14 ---
Subject: Re: VRP/DOM does not like
TRUTH_AND_EXPR
On Fri, 2006-04-07 at 12:23 +, rguenth at gcc dot gnu dot org wrote:
>
> --- Comment #19 from rguenth at gcc dot gnu dot org 2006-04-07 12:23
> ---
>
--- Comment #19 from rguenth at gcc dot gnu dot org 2006-04-07 12:23
---
Jeff, can you send me the patch-in-progress you have for this? Thanks.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15911
--- 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 +, rguenth at gcc dot gnu dot org wrote:
>
> --- Comment #17 from rguenth at gcc dot gnu dot org 2006-03-22 09:00
> ---
>
--- 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 pat
--- Comment #16 from law at redhat dot com 2006-03-22 04:57 ---
Subject: Re: VRP/DOM does not like
TRUTH_AND_EXPR
On Tue, 2006-03-21 at 16:19 +, dnovillo at gcc dot gnu dot org
wrote:
>
> --- Comment #13 from dnovillo at gcc dot gnu dot org 2006-03-21 16:19
> ---
--- Comment #15 from law at redhat dot com 2006-03-21 16:57 ---
Subject: Re: VRP/DOM does not like
TRUTH_AND_EXPR
On Tue, 2006-03-21 at 16:19 +, dnovillo at gcc dot gnu dot org
wrote:
>
> --- Comment #13 from dnovillo at gcc dot gnu dot org 2006-03-21 16:19
> ---
--- Comment #14 from rguenth at gcc dot gnu dot org 2006-03-21 16:48
---
And I'm getting lost in decomposing such a conditional into BBs and COND_EXPRs
and GOTOs and adding edges and whatnot. This sucks. Where's the helper
routine that I'm not finding?
--
http://gcc.gnu.org/bugzi
--- Comment #13 from dnovillo at gcc dot gnu dot org 2006-03-21 16:19
---
(In reply to comment #12)
> Any updates on this? It get's in the way of loop versioning conditionals
> which
> I now have to decompose manually into chained if's :/
>
Nope. I'm unlikely to work on this any tim
--- Comment #12 from rguenth at gcc dot gnu dot org 2006-03-21 16:02
---
Any updates on this? It get's in the way of loop versioning conditionals which
I now have to decompose manually into chained if's :/
--
rguenth at gcc dot gnu dot org changed:
What|Removed
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-09-08
19:07 ---
(In reply to comment #10)
> it's fairly straightforward for a programmer (or better
> yet some automated code generator) to create these "obtuse" predicates.
>
Good point. I'll work on a fix.
--
--- Additional Comments From law at redhat dot com 2005-09-08 19:04 ---
Subject: Re: VRP/DOM does not like
TRUTH_AND_EXPR
On Thu, 2005-09-08 at 18:20 +, dnovillo at gcc dot gnu dot org
wrote:
> --- Additional Comments From dnovillo at gcc dot gnu dot org 2005-09-08
> 1
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-09-08
18:20 ---
This would be fixable inside VRP. Essentially we would need to insert chains of
ASSERT_EXPRs to represent various predicates:
D.1613_3 = x_2 > ;
D.1614_5 = y_4 <= 6665;
D.1615_6 = D.1613_3 && D
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-04
21:41 ---
VRP does not work on this either.
--
What|Removed |Added
CC|
25 matches
Mail list logo