On Wed, Aug 01, 2012 at 10:26:50AM +0200, Olivier Hainque wrote:
> I had made a proposal to help the rs6000_mode_dependent_address
> issue, http://gcc.gnu.org/ml/gcc-patches/2012-04/msg01668.html.
>
> Seems to me that the general idea is still valid:
>
> << a number of places in the compiler use the
> mode_dependent_address_p predicate to actually check for weaker necessary
> conditions
> >>
>
> Opinion on the proposal ?
I like the idea. It is worth pursuing for code improvement we'll see
even if we avoid the "o" constraint everywhere. For example,
long long llo (long long *x) { return x[4095]; }
will generate better powerpc -m32 -O2 code with your patch applied, I
think.
--
Alan Modra
Australia Development Lab, IBM