Re: [PATCH] Make infer_loop_bounds_from_ref handle MEM_REFs, fix PR63278

2014-10-16 Thread Richard Biener
On Thu, 16 Oct 2014, Jakub Jelinek wrote: > On Thu, Oct 16, 2014 at 03:44:50PM +0200, Richard Biener wrote: > > --- gcc/testsuite/gcc.dg/tree-ssa/loop-42.c (revision 0) > > +++ gcc/testsuite/gcc.dg/tree-ssa/loop-42.c (working copy) > > @@ -0,0 +1,19 @@ > > +/* { dg-do run } */ > > +/* { dg-options

Re: [PATCH] Make infer_loop_bounds_from_ref handle MEM_REFs, fix PR63278

2014-10-16 Thread Jakub Jelinek
On Thu, Oct 16, 2014 at 03:44:50PM +0200, Richard Biener wrote: > --- gcc/testsuite/gcc.dg/tree-ssa/loop-42.c (revision 0) > +++ gcc/testsuite/gcc.dg/tree-ssa/loop-42.c (working copy) > @@ -0,0 +1,19 @@ > +/* { dg-do run } */ > +/* { dg-options "-O2 -fdump-tree-cunroll-details" } */ > + > +exte

Re: [PATCH] Make infer_loop_bounds_from_ref handle MEM_REFs, fix PR63278

2014-10-16 Thread Jan Hubicka
> > The following makes us infer loop bounds for loops like > > : > # str_28 = PHI <"foo"(2), str_10(4)> > ... > str_10 = str_28 + 1; > _4 = *str_10; > if (_4 != 0) > goto ; > else > goto ; > > : > goto ; > > or > > : > # p_15 = PHI > p_6 = p_15 + 1; > *p_15 = 0

[PATCH] Make infer_loop_bounds_from_ref handle MEM_REFs, fix PR63278

2014-10-16 Thread Richard Biener
The following makes us infer loop bounds for loops like : # str_28 = PHI <"foo"(2), str_10(4)> ... str_10 = str_28 + 1; _4 = *str_10; if (_4 != 0) goto ; else goto ; : goto ; or : # p_15 = PHI p_6 = p_15 + 1; *p_15 = 0; ... if (n.1_5 > i_8) goto ; else