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.