--- gcc-4.5.2.orig/gcc/config/arm/arm.h	(revision 162381)
+++ gcc-4.5.2/gcc/config/arm/arm.h	(working copy)
@@ -94,7 +94,13 @@
 	if (arm_arch_iwmmxt)				\
 	  builtin_define ("__IWMMXT__");		\
 	if (TARGET_AAPCS_BASED)				\
-	  builtin_define ("__ARM_EABI__");		\
+	  {						\
+	    if (TARGET_VFP && TARGET_HARD_FLOAT_ABI)	\
+	      builtin_define ("__ARM_PCS_VFP");		\
+	    else					\
+	      builtin_define ("__ARM_PCS");		\
+	    builtin_define ("__ARM_EABI__");		\
+	  }						\
     } while (0)
 
 /* The various ARM cores.  */