public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs
@ 2008-02-11 12:19 jakub at gcc dot gnu dot org
2008-02-11 12:20 ` [Bug tree-optimization/35164] " jakub at gcc dot gnu dot org
` (14 more replies)
0 siblings, 15 replies; 17+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-02-11 12:19 UTC (permalink / raw)
To: gcc-bugs
On x86_64 with -O2 the following testcase ICEs with:
D.11907_556(ab) and D.11907_14(ab)
rh432296.C: In function `void foo(std::vector<B<D>, std::allocator<B<D> > >&)':
rh432296.C:52: internal compiler error: SSA corruption
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
That looks similar to the inlining AB problem Jan fixed, but this is with
current trunk.
Sorry for the left-over #include <vector>, didn't get to minimize this more
yet.
#include <vector>
struct A
{
A ();
virtual ~A ();
inline void incRef ();
inline void decRef ();
virtual void free () {}
int m_refCount;
};
void A::incRef () { m_refCount++; }
void A::decRef () { if (!m_refCount) { free (); return; } m_refCount--; }
template <class T> struct B;
struct C : public A
{
static C *alloc ();
};
template <class T>
struct B
{
typedef T DataT;
B () : ptr (T::alloc ()) { }
B (const B<T>& a) : ptr (a.get ()) { incRef (); }
B (T *a_ptr) : ptr (a_ptr) { incRef (); }
~B () { decRef (); }
B& operator= (const B<T>& a) { if (a.get () != this->get ()) { decRef (); ptr
= a.get (); incRef (); } return *this; }
template<class U>
operator B<U> () const { return B<U> (ptr); }
template<class U>
operator B<const U> () const { return B<const U> (ptr); }
T* operator-> () const { return ptr; }
T* get () const { return ptr; }
void decRef () const { if (ptr != 0) ptr->decRef (); }
void incRef () const { if (ptr != 0) ptr->incRef (); }
T *ptr;
};
struct D : public C
{
template <class T>
inline void foo (const B<T> & x) { d.resize (1); d[0] = x; }
std::vector<B <C> > d;
};
struct E : public C
{
static E *alloc ();
};
struct F : public D
{
static F *alloc ();
};
void foo (std::vector<B<D> > & x)
{
for (int i = 0; i < 2; ++i)
{
B<F> l;
B<E> m;
l->foo (m);
x.push_back (l);
}
}
--
Summary: [4.3 regression] Unable to coalesce ab SSA_NAMEs
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jakub at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
@ 2008-02-11 12:20 ` jakub at gcc dot gnu dot org
2008-02-12 12:01 ` jakub at gcc dot gnu dot org
` (13 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-02-11 12:20 UTC (permalink / raw)
To: gcc-bugs
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Target Milestone|--- |4.3.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
2008-02-11 12:20 ` [Bug tree-optimization/35164] " jakub at gcc dot gnu dot org
@ 2008-02-12 12:01 ` jakub at gcc dot gnu dot org
2008-02-12 22:04 ` rguenth at gcc dot gnu dot org
` (12 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-02-12 12:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from jakub at gcc dot gnu dot org 2008-02-12 12:00 -------
But this one doesn't seem to be inlining related. Until vrp1 pass the var in
question (D.20903) has just one SSA_NAME (D.20903_14) in the whole function,
non-ab, initialized at the beginning of the loop and nothing before the loop or
in loop header can throw. vrp introduces a lot of new SSA_NAMEs for this
variable, now (ab) marked in the dump, but except one are of the form:
# D.20903_627(ab) = PHI <D.20903_14(ab)(5)>
# D.20903_628(ab) = PHI <D.20903_14(ab)(18)>
# D.20903_629(ab) = PHI <D.20903_14(ab)(36)>
and then one:
# D.20903_630(ab) = PHI <D.20903_14(ab)(27), D.20903_628(ab)(25),
D.20903_629(ab)(39), D.20903_14(ab)(42), D.20903_14(ab)(4), D
.20903_627(ab)(8), D.20903_14(ab)(11)>
the 3 are only used in this last PHI, so I wonder what was the point creating
them.
D.20903_630 is then used couple of times and so is the original D.20903_14.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
2008-02-11 12:20 ` [Bug tree-optimization/35164] " jakub at gcc dot gnu dot org
2008-02-12 12:01 ` jakub at gcc dot gnu dot org
@ 2008-02-12 22:04 ` rguenth at gcc dot gnu dot org
2008-02-12 22:46 ` rguenth at gcc dot gnu dot org
` (11 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-12 22:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2008-02-12 22:03 -------
Actually it is the call to rewrite_into_loop_closed_ssa inserting these
PHIs. I don't know if it actually makes sense to speak of loop-closed SSA form
if we deal with abnormal SSA names - Zdenek?
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rakdver at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (2 preceding siblings ...)
2008-02-12 22:04 ` rguenth at gcc dot gnu dot org
@ 2008-02-12 22:46 ` rguenth at gcc dot gnu dot org
2008-02-13 4:06 ` rakdver at kam dot mff dot cuni dot cz
` (10 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-12 22:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from rguenth at gcc dot gnu dot org 2008-02-12 22:45 -------
Reduced testcase without include:
typedef unsigned int size_t;
template<typename _Iterator, typename _Container> class __normal_iterator {
public:
const _Iterator& base() const;
};
template<typename _BI1, typename _BI2> inline
void copy_backward(_BI1 __first, _BI1 __last, _BI2 __result) {
while (__first != __last) *--__result = *--__last;
}
template<typename _Tp> struct _Vector_base {
struct _Vector_impl { _Tp* _M_finish; };
_Vector_impl _M_impl;
};
template<typename _Tp > class vector : protected _Vector_base<_Tp> {
typedef vector<_Tp> vector_type;
typedef _Tp * pointer;
typedef _Tp & reference;
typedef __normal_iterator<pointer, vector_type> iterator;
typedef size_t size_type;
public:
iterator end();
void resize(size_type __new_size) { insert(end(), __new_size); }
reference operator[](size_type __n);
void insert(iterator __position, size_type __n)
{
pointer __old_finish(this->_M_impl._M_finish);
copy_backward(__position.base(), __old_finish - __n, __old_finish);
}
};
struct A {
virtual ~A ();
void incRef ();
void decRef ();
};
struct C : public A {
static C *alloc ();
};
template <class T> struct B {
B () : ptr (T::alloc ()) { }
B (T *a_ptr) : ptr (a_ptr) { }
~B () { decRef (); }
B& operator= (const B<T>& a) { if (a.get () != this->get ()) { decRef ();
incRef (); } }
template<class U> operator B<U> () const { return B<U> (ptr); }
T* operator-> () const { }
T* get () const { return ptr; }
void decRef () const { if (ptr != 0) ptr->decRef (); }
void incRef () const { if (ptr != 0) ptr->incRef (); }
T *ptr;
};
struct D : public C {
template <class T> inline void foo (const B<T> & x) { d.resize (1); d[0] = x;
}
vector<B <C> > d;
};
struct E : public C {
static E *alloc ();
};
struct F : public D {
static F *alloc ();
};
void foo (vector<B<D> > & x) {
for (int i = 0; i < 2; ++i)
{
B<F> l;
B<E> m;
l->foo (m);
}
}
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2008-02-12 22:45:45
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (3 preceding siblings ...)
2008-02-12 22:46 ` rguenth at gcc dot gnu dot org
@ 2008-02-13 4:06 ` rakdver at kam dot mff dot cuni dot cz
2008-02-13 4:07 ` rakdver at gcc dot gnu dot org
` (9 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rakdver at kam dot mff dot cuni dot cz @ 2008-02-13 4:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rakdver at kam dot mff dot cuni dot cz 2008-02-13 04:05 -------
Subject: Re: [4.3 regression] Unable to coalesce ab SSA_NAMEs
> Actually it is the call to rewrite_into_loop_closed_ssa inserting these
> PHIs. I don't know if it actually makes sense to speak of loop-closed SSA form
> if we deal with abnormal SSA names - Zdenek?
Some pieces of the scev analysis assume lcSSA for all gimple_reg SSA
names, regardless of whether they appear in abnormal phi nodes or not.
The phi nodes created by lcSSA conversion should always be eliminable,
though.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (4 preceding siblings ...)
2008-02-13 4:06 ` rakdver at kam dot mff dot cuni dot cz
@ 2008-02-13 4:07 ` rakdver at gcc dot gnu dot org
2008-02-15 2:59 ` rakdver at gcc dot gnu dot org
` (8 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rakdver at gcc dot gnu dot org @ 2008-02-13 4:07 UTC (permalink / raw)
To: gcc-bugs
--
rakdver at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rakdver at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2008-02-12 22:45:45 |2008-02-13 04:06:16
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (5 preceding siblings ...)
2008-02-13 4:07 ` rakdver at gcc dot gnu dot org
@ 2008-02-15 2:59 ` rakdver at gcc dot gnu dot org
2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
` (7 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rakdver at gcc dot gnu dot org @ 2008-02-15 2:59 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rakdver at gcc dot gnu dot org 2008-02-15 02:59 -------
forwprop3 changes
SR.40_22 = &D.2672_11(ab)->D.2242;
# D.2672_315(ab) = PHI <D.2672_11(ab)(14), D.2672_11(ab)(19),
D.2672_11(ab)(17)>
SR.40_27 = SR.40_22;
D.2705_29 = &SR.40_27->D.2120;
(where the life ranges of D_11 and D_315 do not overlap)
to
SR.40_22 = &D.2672_11(ab)->D.2242;
# D.2672_315(ab) = PHI <D.2672_11(ab)(14), D.2672_11(ab)(19),
D.2672_11(ab)(17)>
SR.40_27 = SR.40_22;
D.2705_29 = &D.2672_11(ab)->D.2242.D.2120;
(where the life ranges of D_11 and D_315 do overlap).
Fwprop probably misses the check for abnormal ssa names, somewhere.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (6 preceding siblings ...)
2008-02-15 2:59 ` rakdver at gcc dot gnu dot org
@ 2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
` (6 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-15 9:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2008-02-15 09:23 -------
Yeah, forwprop checks that it may propagate the name SR.40_22, but it doesn't
check recursively if any of the names occuring in the ADDR_EXPR of the rhs
are marked abnormal.
We should check for this before calling forward_propagate_addr_expr in
tree_ssa_forward_propagate_single_use_vars. And probably add a new predicate
tree_contains_abnormal_ssa_name_p (tree exp) which walks exp recursively
(consider &b->c[d(AB)] or as in this case &a(AB)->x...).
Please unassign yourself if you want me to do it.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (7 preceding siblings ...)
2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
@ 2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
` (5 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-15 9:24 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (8 preceding siblings ...)
2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
@ 2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
` (4 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-15 12:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from rguenth at gcc dot gnu dot org 2008-02-15 12:37 -------
With confirming that PR35182 is the same issue as this I produced a patch.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|rakdver at gcc dot gnu dot |rguenth at gcc dot gnu dot
|org |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (9 preceding siblings ...)
2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
@ 2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
2008-02-15 14:06 ` rakdver at kam dot mff dot cuni dot cz
` (3 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-15 12:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2008-02-15 12:36 -------
*** Bug 35182 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gcc at david dot osborn dot
| |name
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (10 preceding siblings ...)
2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
@ 2008-02-15 14:06 ` rakdver at kam dot mff dot cuni dot cz
2008-02-15 14:13 ` rguenther at suse dot de
` (2 subsequent siblings)
14 siblings, 0 replies; 17+ messages in thread
From: rakdver at kam dot mff dot cuni dot cz @ 2008-02-15 14:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from rakdver at kam dot mff dot cuni dot cz 2008-02-15 14:06 -------
Subject: Re: [4.3 regression] Unable to coalesce ab SSA_NAMEs
> Yeah, forwprop checks that it may propagate the name SR.40_22, but it doesn't
> check recursively if any of the names occuring in the ADDR_EXPR of the rhs
> are marked abnormal.
>
> We should check for this before calling forward_propagate_addr_expr in
> tree_ssa_forward_propagate_single_use_vars. And probably add a new predicate
> tree_contains_abnormal_ssa_name_p (tree exp) which walks exp recursively
> (consider &b->c[d(AB)] or as in this case &a(AB)->x...).
>
> Please unassign yourself if you want me to do it.
actually, I have a patch in testing.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (11 preceding siblings ...)
2008-02-15 14:06 ` rakdver at kam dot mff dot cuni dot cz
@ 2008-02-15 14:13 ` rguenther at suse dot de
2008-02-15 15:25 ` rguenth at gcc dot gnu dot org
2008-02-15 15:26 ` rguenth at gcc dot gnu dot org
14 siblings, 0 replies; 17+ messages in thread
From: rguenther at suse dot de @ 2008-02-15 14:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from rguenther at suse dot de 2008-02-15 14:12 -------
Subject: Re: [4.3 regression] Unable to coalesce
ab SSA_NAMEs
On Fri, 15 Feb 2008, rakdver at kam dot mff dot cuni dot cz wrote:
> ------- Comment #9 from rakdver at kam dot mff dot cuni dot cz 2008-02-15 14:06 -------
> Subject: Re: [4.3 regression] Unable to coalesce ab SSA_NAMEs
>
> > Yeah, forwprop checks that it may propagate the name SR.40_22, but it doesn't
> > check recursively if any of the names occuring in the ADDR_EXPR of the rhs
> > are marked abnormal.
> >
> > We should check for this before calling forward_propagate_addr_expr in
> > tree_ssa_forward_propagate_single_use_vars. And probably add a new predicate
> > tree_contains_abnormal_ssa_name_p (tree exp) which walks exp recursively
> > (consider &b->c[d(AB)] or as in this case &a(AB)->x...).
> >
> > Please unassign yourself if you want me to do it.
>
> actually, I have a patch in testing.
Ok. I also have finished testing a patch. Let's just pick the nicer one,
so just post yours after it finished testing.
Richard.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (12 preceding siblings ...)
2008-02-15 14:13 ` rguenther at suse dot de
@ 2008-02-15 15:25 ` rguenth at gcc dot gnu dot org
2008-02-15 15:26 ` rguenth at gcc dot gnu dot org
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-15 15:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from rguenth at gcc dot gnu dot org 2008-02-15 15:25 -------
Subject: Bug 35164
Author: rguenth
Date: Fri Feb 15 15:24:19 2008
New Revision: 132345
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132345
Log:
2008-02-15 Richard Guenther <rguenther@suse.de>
Zdenek Dvorak <ook@ucw.cz>
PR tree-optimization/35164
* tree-flow.h (stmt_references_abnormal_ssa_name): Declare.
* tree-dfa.c (stmt_references_abnormal_ssa_name): New function.
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Only propagate addresses which do not have abnormal SSA_NAMEs
in their operands.
* g++.dg/torture/pr35164-1.C: New testcase.
* g++.dg/torture/pr35164-2.C: Likewise.
Added:
trunk/gcc/testsuite/g++.dg/torture/pr35164-1.C
trunk/gcc/testsuite/g++.dg/torture/pr35164-2.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-dfa.c
trunk/gcc/tree-flow.h
trunk/gcc/tree-ssa-forwprop.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
` (13 preceding siblings ...)
2008-02-15 15:25 ` rguenth at gcc dot gnu dot org
@ 2008-02-15 15:26 ` rguenth at gcc dot gnu dot org
14 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-15 15:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from rguenth at gcc dot gnu dot org 2008-02-15 15:25 -------
Fixed. Thanks Zdenek for the initial analysis.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug tree-optimization/35164] [4.3 regression] Unable to coalesce ab SSA_NAMEs
[not found] <bug-35164-4@http.gcc.gnu.org/bugzilla/>
@ 2020-07-28 5:54 ` rguenth at gcc dot gnu.org
0 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-07-28 5:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at gcc dot gnu.org
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 30604 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 17+ messages in thread
end of thread, other threads:[~2020-07-28 5:54 UTC | newest]
Thread overview: 17+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-02-11 12:19 [Bug tree-optimization/35164] New: [4.3 regression] Unable to coalesce ab SSA_NAMEs jakub at gcc dot gnu dot org
2008-02-11 12:20 ` [Bug tree-optimization/35164] " jakub at gcc dot gnu dot org
2008-02-12 12:01 ` jakub at gcc dot gnu dot org
2008-02-12 22:04 ` rguenth at gcc dot gnu dot org
2008-02-12 22:46 ` rguenth at gcc dot gnu dot org
2008-02-13 4:06 ` rakdver at kam dot mff dot cuni dot cz
2008-02-13 4:07 ` rakdver at gcc dot gnu dot org
2008-02-15 2:59 ` rakdver at gcc dot gnu dot org
2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
2008-02-15 9:24 ` rguenth at gcc dot gnu dot org
2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
2008-02-15 12:37 ` rguenth at gcc dot gnu dot org
2008-02-15 14:06 ` rakdver at kam dot mff dot cuni dot cz
2008-02-15 14:13 ` rguenther at suse dot de
2008-02-15 15:25 ` rguenth at gcc dot gnu dot org
2008-02-15 15:26 ` rguenth at gcc dot gnu dot org
[not found] <bug-35164-4@http.gcc.gnu.org/bugzilla/>
2020-07-28 5:54 ` rguenth at gcc dot gnu.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).