[Bug middle-end/58742] pointer arithmetic simplification

2014-02-03 Thread rguenther at suse dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #27 from rguenther at suse dot de --- On Mon, 3 Feb 2014, glisse at gcc dot gnu.org wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 > > --- Comment #26 from Marc Glisse --- > (In reply to Richard Biener from comment #25)

[Bug middle-end/58742] pointer arithmetic simplification

2014-02-03 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #26 from Marc Glisse --- (In reply to Richard Biener from comment #25) > VERSION=0 and VERSION=1 are the same speed for me now, They aren't quite for me (2.5 vs 2.7) but > VERSION=2 is a lot slower still. that's the part I am concer

[Bug middle-end/58742] pointer arithmetic simplification

2014-02-03 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #25 from Richard Biener --- (In reply to Marc Glisse from comment #24) > Thank you. > Sadly, for the example in comment #15, this is not quite enough, I need to > add forwprop+ccp right before the VRP1 pass (and then the range check is

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-31 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #24 from Marc Glisse --- Thank you. Sadly, for the example in comment #15, this is not quite enough, I need to add forwprop+ccp right before the VRP1 pass (and then the range check is eliminated, the vectorizer works and perfs are the

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to work|

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #22 from Richard Biener --- Author: rguenth Date: Wed Jan 29 14:45:44 2014 New Revision: 207239 URL: http://gcc.gnu.org/viewcvs?rev=207239&root=gcc&view=rev Log: 2014-01-29 Richard Biener PR tree-optimization/58742 * tree-

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #21 from Richard Biener --- Ok, I have a patch that does the remaining (including the duplicate bug). But for the (p + sz) - p case it can only optimize the sizeof (*p) == 1 without range information - for example for __SIZE_TYPE__ f

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #20 from Richard Biener --- Author: rguenth Date: Wed Jan 29 11:08:59 2014 New Revision: 207232 URL: http://gcc.gnu.org/viewcvs?rev=207232&root=gcc&view=rev Log: 2014-01-29 Richard Biener PR tree-optimization/58742 * tree-

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-28 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #19 from Richard Biener --- The original identity will remain. That is, ;; Function fx (fx, funcdef_no=0, decl_uid=1743, symbol_order=0) fx (int * b, int * e) { long int e.0_2; long int b.1_4; long int _5; long unsigned int

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-28 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #18 from Richard Bi

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-28 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #17 from Richard Biener --- Author: rguenth Date: Tue Jan 28 14:53:52 2014 New Revision: 207194 URL: http://gcc.gnu.org/viewcvs?rev=207194&root=gcc&view=rev Log: 2014-01-28 Richard Biener PR tree-optimization/58742 * tree-

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-28 Thread rguenther at suse dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #16 from rguenther at suse dot de --- On Tue, 21 Jan 2014, glisse at gcc dot gnu.org wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 > > --- Comment #15 from Marc Glisse --- > Another example: http://stackoverflow.com/q/2

[Bug middle-end/58742] pointer arithmetic simplification

2014-01-21 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #15 from Marc Glisse --- Another example: http://stackoverflow.com/q/21253690/1918193 where we have (-DVERSION=2): _128 = img$_M_impl$_M_start_130 + 400; pretmp_146 = (long intD.12) _128; pretmp_145 = (long intD.12) img$_M_i

[Bug middle-end/58742] pointer arithmetic simplification

2013-11-20 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 --- Comment #14 from Marc Glisse --- So we don't forget it, PR 59209 asks to simplify: (ptr+size)-ptr to size not just: ptr1+(ptr2-ptr1) to ptr2

[Bug middle-end/58742] pointer arithmetic simplification

2013-11-20 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 Richard Biener changed: What|Removed |Added CC||olegendo at gcc dot gnu.org --- Comment

[Bug middle-end/58742] pointer arithmetic simplification

2013-11-18 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 Richard Biener changed: What|Removed |Added Target Milestone|4.8.3 |---

[Bug middle-end/58742] pointer arithmetic simplification

2013-11-18 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 Richard Biener changed: What|Removed |Added Status|REOPENED|NEW --- Comment #12 from Richard Biener

[Bug middle-end/58742] pointer arithmetic simplification

2013-11-18 Thread glisse at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58742 Marc Glisse changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED