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

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

2011-08-01 Thread Sebastian Pop
2011-07-23 Sebastian Pop PR middle-end/47594 * graphite-scop-detection.c (graphite_can_represent_scev): Return false on TYPE_UNSIGNED. * graphite-sese-to-poly.c (scan_tree_for_params_int): Do not call double_int_sext. * tree-ssa-loop-niter.c (numb