public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/34172] New: Missed store ccp optimization
@ 2007-11-21 11:26 eres at il dot ibm dot com
2007-11-21 12:04 ` [Bug tree-optimization/34172] " rguenth at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: eres at il dot ibm dot com @ 2007-11-21 11:26 UTC (permalink / raw)
To: gcc-bugs
#define N 256
struct
{
int x;
int y;
} S[100];
int z[100];
int
foo (int y)
{
int x;
S[5].x = 4;
S[5].y = 0;
x = S[5].x;
return (x);
}
On powerpc64-linux, r130275 with -O2 we get:
(taken from .store_ccp dump file)
foo (y)
{
int x;
<bb 2>:
S[5].x = 4;
S[5].y = 0;
x_1 = S[5].x;
return x_1;
}
[A patch was submitted
(http://gcc.gnu.org/ml/gcc-patches/2007-06/msg01901.html) which is no longer
relevant because of -http://gcc.gnu.org/ml/gcc-patches/2007-08/msg01370.html.]
--
Summary: Missed store ccp optimization
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: eres at il dot ibm dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/34172] Missed store ccp optimization
2007-11-21 11:26 [Bug tree-optimization/34172] New: Missed store ccp optimization eres at il dot ibm dot com
@ 2007-11-21 12:04 ` rguenth at gcc dot gnu dot org
2007-11-21 12:05 ` rguenth at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-11-21 12:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from rguenth at gcc dot gnu dot org 2007-11-21 12:04 -------
Note that only store _copyprop_ was removed for now. But yes, store ccp
removal
is on the plate. Note that this and similar bugs should be fixed by extending
value-numbering to disambiguate memory accesses itself and not only relying on
virtual operands.
Confirmed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2007-11-21 12:04:28
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/34172] Missed store ccp optimization
2007-11-21 11:26 [Bug tree-optimization/34172] New: Missed store ccp optimization eres at il dot ibm dot com
2007-11-21 12:04 ` [Bug tree-optimization/34172] " rguenth at gcc dot gnu dot org
@ 2007-11-21 12:05 ` rguenth at gcc dot gnu dot org
2007-11-30 10:25 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-11-21 12:05 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
Keywords| |missed-optimization
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/34172] Missed store ccp optimization
2007-11-21 11:26 [Bug tree-optimization/34172] New: Missed store ccp optimization eres at il dot ibm dot com
2007-11-21 12:04 ` [Bug tree-optimization/34172] " rguenth at gcc dot gnu dot org
2007-11-21 12:05 ` rguenth at gcc dot gnu dot org
@ 2007-11-30 10:25 ` rguenth at gcc dot gnu dot org
2008-03-14 17:07 ` rguenth at gcc dot gnu dot org
2008-03-14 17:26 ` rguenth at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-11-30 10:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2007-11-30 10:25 -------
Mine. I have a patch.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2007-11-21 12:04:28 |2007-11-30 10:25:34
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/34172] Missed store ccp optimization
2007-11-21 11:26 [Bug tree-optimization/34172] New: Missed store ccp optimization eres at il dot ibm dot com
` (2 preceding siblings ...)
2007-11-30 10:25 ` rguenth at gcc dot gnu dot org
@ 2008-03-14 17:07 ` rguenth at gcc dot gnu dot org
2008-03-14 17:26 ` rguenth at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-03-14 17:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from rguenth at gcc dot gnu dot org 2008-03-14 17:06 -------
Subject: Bug 34172
Author: rguenth
Date: Fri Mar 14 17:05:48 2008
New Revision: 133222
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133222
Log:
2008-03-14 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34172
* tree-flow.h (refs_may_alias_p): Declare.
(get_single_def_stmt): Likewise.
(get_single_def_stmt_from_phi): Likewise.
(get_single_def_stmt_with_phi): Likewise.
* tree-dfa.c (refs_may_alias_p): New function.
(get_single_def_stmt): Likewise.
(get_single_def_stmt_from_phi): Likewise.
(get_single_def_stmt_with_phi): Likewise.
* tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function.
(vn_reference_lookup_1): New helper function.
(vn_reference_lookup): Walk the virtual use-def chain to
continue searching for a match if the def does not alias the
reference we are looking for.
* gcc.dg/tree-ssa/ssa-fre-11.c: New testcase.
* gcc.dg/tree-ssa/ssa-fre-12.c: Likewise.
* gcc.dg/tree-ssa/ssa-fre-13.c: Likewise.
* gcc.dg/tree-ssa/ssa-fre-14.c: Likewise.
* gcc.dg/tree-ssa/ssa-fre-15.c: Likewise.
* gcc.dg/tree-ssa/20031106-4.c: Remove XFAIL.
Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-11.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-12.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-13.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-14.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-15.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/tree-ssa/20031106-4.c
trunk/gcc/tree-dfa.c
trunk/gcc/tree-flow.h
trunk/gcc/tree-ssa-sccvn.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/34172] Missed store ccp optimization
2007-11-21 11:26 [Bug tree-optimization/34172] New: Missed store ccp optimization eres at il dot ibm dot com
` (3 preceding siblings ...)
2008-03-14 17:07 ` rguenth at gcc dot gnu dot org
@ 2008-03-14 17:26 ` rguenth at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-03-14 17:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rguenth at gcc dot gnu dot org 2008-03-14 17:25 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2008-03-14 17:26 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-11-21 11:26 [Bug tree-optimization/34172] New: Missed store ccp optimization eres at il dot ibm dot com
2007-11-21 12:04 ` [Bug tree-optimization/34172] " rguenth at gcc dot gnu dot org
2007-11-21 12:05 ` rguenth at gcc dot gnu dot org
2007-11-30 10:25 ` rguenth at gcc dot gnu dot org
2008-03-14 17:07 ` rguenth at gcc dot gnu dot org
2008-03-14 17:26 ` rguenth at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).