According to GAS, the Marvell PJ4 CPU has a VFPv3-D16 floating point
unit, but GCC's CPU configuration tables omits this, meaning that
-mfpu=auto will not correctly select the FPU. This patch fixes this by
adding the +fp option to the architecture specification for this device.
* config/arm/arm-cpus.in (marvel-pj4): Add +fp to the architecture.
Committed to trunk.
diff --git a/gcc/config/arm/arm-cpus.in b/gcc/config/arm/arm-cpus.in
index f8a3b3db67a..50379a0a10a 100644
--- a/gcc/config/arm/arm-cpus.in
+++ b/gcc/config/arm/arm-cpus.in
@@ -1150,7 +1150,7 @@ end cpu cortex-m3
begin cpu marvell-pj4
tune flags LDSCHED
- architecture armv7-a+mp+sec
+ architecture armv7-a+mp+sec+fp
costs marvell_pj4
end cpu marvell-pj4