ARM VFPv4 support

ARM VFPv4 support

[Paul Brook]

The patch below adds nominal support for the new ARM VFPv4 architecture.
This is a trivial name addition as GCC doesn't currently  know hot to generate 
fused multiply-add. Note that, unlike some other targets, VFP already has a 
regular multiply-add instruction. The new instruction is only useful for 
explicit fused operations via __builtin_fma.

Tested on arm-none-eabi.
Applied to SVN trunk.

Paul

2009-11-16  Paul Brook  <paul@codesourcery.com>

	gcc/
	* doc/invoke.texi: Document ARM VFPv4 based FPUs.
	* config/arm/arm.c (all_fpus): Add VFPv4 entries.

Index: gcc/doc/invoke.texi
===================================================================
--- gcc/doc/invoke.texi	(revision 154063)
+++ gcc/doc/invoke.texi	(working copy)
@@ -9790,7 +9790,8 @@ This specifies what floating point hardw
 available on the target.  Permissible names are: @samp{fpa}, @samp{fpe2},
 @samp{fpe3}, @samp{maverick}, @samp{vfp}, @samp{vfpv3}, @samp{vfpv3-fp16},
 @samp{vfpv3-d16}, @samp{vfpv3-d16-fp16}, @samp{vfpv3xd}, @samp{vfpv3xd-fp16},
-@samp{neon}, and @samp{neon-fp16}.
+@samp{neon}, @samp{neon-fp16}, @samp{vfpv4}, @samp{vfpv4-d16} and
+@samp{neon-vfpv4}.
 @option{-mfp} and @option{-mfpe} are synonyms for
 @option{-mfpu}=@samp{fpe}@var{number}, for compatibility with older versions
 of GCC@.
Index: gcc/config/arm/arm.c
===================================================================
--- gcc/config/arm/arm.c	(revision 154063)
+++ gcc/config/arm/arm.c	(working copy)
@@ -823,6 +823,9 @@ static const struct arm_fpu_desc all_fpu
   {"vfpv3xd-fp16",	ARM_FP_MODEL_VFP, 3, VFP_REG_SINGLE, false, true},
   {"neon",		ARM_FP_MODEL_VFP, 3, VFP_REG_D32, true , false},
   {"neon-fp16",		ARM_FP_MODEL_VFP, 3, VFP_REG_D32, true , true },
+  {"vfpv4",		ARM_FP_MODEL_VFP, 4, VFP_REG_D32, false, true},
+  {"vfpv4-d16",		ARM_FP_MODEL_VFP, 4, VFP_REG_D16, false, true},
+  {"neon-vfpv4",	ARM_FP_MODEL_VFP, 4, VFP_REG_D32, true, true},
   /* Compatibility aliases.  */
   {"vfp3",		ARM_FP_MODEL_VFP, 3, VFP_REG_D32, false, false},
 };