Hello, Ping # 3 for https://gcc.gnu.org/ml/gcc-patches/2017-08/msg01783.html please.
Took the liberty to cc a maintainer. Thanks much in advance! With Kind Regards, Olivier > On Sep 25, 2017, at 08:51 , Olivier Hainque <hain...@adacore.com> wrote: > > Hello, > > Ping #2 for https://gcc.gnu.org/ml/gcc-patches/2017-08/msg01783.html > >> config.gcc already has a provision for a good default >> cpu selection for SPE with double precision floats >> when the latter is explicitly requested with an explicit >> --enable command line option. > ... >> The attached patch is a proposal to refine this to select 8548 also >> when we were configured for an e500v2 target cpu (canonicalized to >> match powerpc-*spe), regardless of enable_e500_double. > >> 2017-08-31 Olivier Hainque <hain...@adacore.com> >> >> * gcc/config.gcc (powerpc*-*-*spe*): Pick 8548 as the >> default with_cpu for an e500v2 target cpu name, in addition >> to --enable-e500-double. > > > Thanks much in advance! > > With Kind Regards, > > Olivier >
