Re: [PATCH] Fix PR58459

2013-09-26 Thread Richard Biener
On Thu, 26 Sep 2013, Jakub Jelinek wrote: > On Thu, Sep 26, 2013 at 03:54:19PM +0200, Richard Biener wrote: > > > > After much thinking I settled on removing the restriction from > > forwprop that avoids propagating non-invariant addresses into > > loops. As forwprop is mainly seen as a way to c

Re: [PATCH] Fix PR58459

2013-09-26 Thread Jakub Jelinek
On Thu, Sep 26, 2013 at 03:54:19PM +0200, Richard Biener wrote: > > After much thinking I settled on removing the restriction from > forwprop that avoids propagating non-invariant addresses into > loops. As forwprop is mainly seen as a way to canonicalize the IL > and simplify it for further pass

[PATCH] Fix PR58459

2013-09-26 Thread Richard Biener
After much thinking I settled on removing the restriction from forwprop that avoids propagating non-invariant addresses into loops. As forwprop is mainly seen as a way to canonicalize the IL and simplify it for further passes this seems like the correct thing to do. LIM and IVOPTs should undo an