http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56010
Peter Bergner <bergner at vnet dot ibm.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bergner at vnet dot ibm.com
--- Comment #2 from Peter Bergner <bergner at vnet dot ibm.com> 2013-01-17
22:27:34 UTC ---
Jakub Jelinek wrote:
> There are other minor differences, e.g. kernel has
> ppc440 and ppc440gp, while gcc 440fp and 440 (do they
> match in this order, or differently?).
Ick, If you look at kernel/cputable.c, it seems some of the
"ppc440" cpus have the PPC_FEATURE_HAS_FPU feature bit set,
while some don't, so we can't really rely on the AT_PLATFORM
value alone for the ppc440 cpus, we'll also have to look
at the HWCAP to see whether we should use 440 or 440fp.
