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