On Wed, Jan 7, 2015 at 8:28 PM, Segher Boessenkool <seg...@kernel.crashing.org> wrote: > The compiler cannot assume that the eqsi etc. patterns write a properly > extended result to a DI reg. The current way to tell it is to add an > extra pattern with an extend. This patch does that. A less cumbersome > method of specifying this would be nice -- maybe one where we say in > the SI pattern that the result is already extended correctly as DI (both > sign- and zero-extended, in this case). > > This partially fixes PR36557 (and is the best we can do for the test > case there, we cannot assume function args are correctly extended for > their type). > > Tested as usual; okay for mainline? > > > Segher > > > 2015-01-07 Segher Boessenkool <seg...@kernel.crashing.org> > > gcc/ > PR target/36557 > * config/rs6000/rs6000.md (*eqsi3_ext<mode>, *nesi3_ext<mode>): New.
Okay. Thanks, David