--- Comment #34 from rguenth at gcc dot gnu dot org 2007-04-26 10:02
---
I'll bootstrap regtest that thing and commit it.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #35 from rguenth at gcc dot gnu dot org 2007-04-26 12:15
---
Subject: Bug 30567
Author: rguenth
Date: Thu Apr 26 12:15:16 2007
New Revision: 124184
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=124184
Log:
2007-04-26 Richard Guenther [EMAIL PROTECTED]
--- Comment #36 from rguenth at gcc dot gnu dot org 2007-04-26 12:16
---
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #37 from rguenth at gcc dot gnu dot org 2007-04-26 16:50
---
Subject: Bug 30567
Author: rguenth
Date: Thu Apr 26 16:50:32 2007
New Revision: 124191
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=124191
Log:
2007-04-26 Richard Guenther [EMAIL PROTECTED]
--- Comment #26 from rguenth at gcc dot gnu dot org 2007-04-25 14:22
---
We fail to add the SFTs to the may_alias set of SMT.11, so add_virtual_operand
sees NULL may_aliases and doesn't add SFTs as clobbered.
I believe compute_flow_insensitive_aliasing is the culprit here as one can
--- Comment #27 from rguenth at gcc dot gnu dot org 2007-04-25 14:42
---
The workaround doesn't work. I'll test the patch in comment #26, otherwise
I'm out of ideas and clue on how it should work.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30567
--- Comment #28 from rguenth at gcc dot gnu dot org 2007-04-25 15:04
---
Created an attachment (id=13439)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13439action=view)
prototype patch
I'm testing this one. It'll make aliasing slower and more conservative, so I
bet it's not the
--- Comment #29 from rguenth at gcc dot gnu dot org 2007-04-25 16:32
---
Oh, btw. why the may_aliases bitmap for SMT.11 is empty on entry to the loops
computing the transitive closure (it tries to, right?) is that SFT.0 is not
considered stored to in the first nested loop over pointers
--- Comment #30 from rguenth at gcc dot gnu dot org 2007-04-25 16:42
---
Created an attachment (id=13441)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13441action=view)
a patch I like more
this one attached, bootstrap/testing in progress.
--
--- Comment #31 from dberlin at gcc dot gnu dot org 2007-04-25 17:01
---
Subject: Re: [4.2 Regression] -O3 optimizer bug
On 25 Apr 2007 15:32:41 -, rguenth at gcc dot gnu dot org
[EMAIL PROTECTED] wrote:
--- Comment #29 from rguenth at gcc dot gnu dot org 2007-04-25 16:32
--- Comment #32 from rguenth at gcc dot gnu dot org 2007-04-25 17:13
---
No idea. The only place I found was setup_pointers_and_addressables, but that
hits the path only if
/* Add pointer variables that have been dereferenced to the POINTERS
array and create a symbol
--- Comment #33 from dberlin at gcc dot gnu dot org 2007-04-25 19:45
---
I think richi said on IRC that the following backport from 4.3 will fix it (if
so, it's the correct fix here)
Index: tree-ssa-structalias.c
===
---
--
mmitchel at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30567
--- Comment #25 from dberlin at gcc dot gnu dot org 2007-04-25 03:14
---
(In reply to comment #23)
This is a regression. Danny?
It actually should get assigned anything as a points-to set, so the bad
constraints are correct.
We should also always get correct aliasing even if
--- Comment #23 from rguenth at gcc dot gnu dot org 2007-04-21 18:07
---
This is a regression. Danny?
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #24 from rguenth at gcc dot gnu dot org 2007-04-21 18:38
---
Actually the handle_ptr_arith change made a difference as we (luckily?)
for D.2147_17 = D.2144_14 + D.2146_16
D.2144_14 = a_11-begin;
D.2145_15 = i_1 * 4;
D.2146_16 = (const int *) D.2145_15;
D.2147_17 =
16 matches
Mail list logo
