On Mon, 21 Oct 2013, Jakub Jelinek wrote:

> On Mon, Oct 21, 2013 at 01:30:37PM +0200, Richard Biener wrote:
> > This fixes a regression introduced in GCC 4.2 after which we no
> > longer fold (unsigned) (X /[ex] 4) * 4 to (unsigned) X.
> > 
> > Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
> 
> Don't we want to do the same optimization on GIMPLE?
> I mean, if the testcase is
> int *
> fx (int *b, int *e)
> {
>   ptrdiff_t p = e - b;
>   return b + p;
> }
> 
> (or s/ptrdiff_t/long long/, etc.)?

Sure, but that's not the regression part either ;)

Richard.

Reply via email to