Re: [PATCH 2/2] Fix PR47594: Build signed niter expressions

2011-08-02 Thread Sebastian Pop
On Tue, Aug 2, 2011 at 04:50, Richard Guenther wrote: > On Tue, 2 Aug 2011, Sebastian Pop wrote: > >> --- a/gcc/graphite-scop-detection.c >> +++ b/gcc/graphite-scop-detection.c >> @@ -196,6 +196,12 @@ graphite_can_represent_scev (tree scev) >>    if (chrec_contains_undetermined (scev)) >>      ret

Re: [PATCH 2/2] Fix PR47594: Build signed niter expressions

2011-08-02 Thread Richard Guenther
On Tue, 2 Aug 2011, Sebastian Pop wrote: > --- a/gcc/graphite-scop-detection.c > +++ b/gcc/graphite-scop-detection.c > @@ -196,6 +196,12 @@ graphite_can_represent_scev (tree scev) >if (chrec_contains_undetermined (scev)) > return false; > > + /* FIXME: As long as Graphite cannot handle

Re: [PATCH 2/2] Fix PR47594: Build signed niter expressions

2011-08-02 Thread Zdenek Dvorak
Hi, > * tree-ssa-loop-niter.c (number_of_iterations_ne): Use the signed types > for the trivial case, then convert to unsigned. > (number_of_iterations_lt): Use the original signed types. > (number_of_iterations_cond): Same. > (find_loop_niter): Build signed integer c