[patch] ARMv7 naming

[Paul Brook]

The official spelling of the ARMv7 architecture profiles use a dash before the 
profile letter (eg. ARMv7-A). The non-dashed form currently used by binutils 
comes from some early documentation, and we didn't notice the change.

The patch below adds the dashed forms for consistency with ARM documentation 
and third party tools. The existing options are preserved for backwards 
compatibility.

Tested on arm-none-eabi.
Ok?

Paul

2006-12-13  Paul Brook  <paul@codesourcery.com>

	gas/
	* config/tc-arm.c (arm_arch_option_table): Add v7-{a,r,m}.
	* doc/c-arm.texi: Fix spelling of ARMv7 architecture profiles.

Index: gas/config/tc-arm.c
===================================================================
RCS file: /var/cvsroot/src-cvs/src/gas/config/tc-arm.c,v
retrieving revision 1.250.2.45
diff -u -p -r1.250.2.45 tc-arm.c
--- gas/config/tc-arm.c	1 Dec 2006 16:45:26 -0000	1.250.2.45
+++ gas/config/tc-arm.c	13 Dec 2006 15:42:48 -0000
@@ -19735,9 +19735,14 @@ static const struct arm_arch_option_tabl
   {"armv6zt2",		ARM_ARCH_V6ZT2,	 FPU_ARCH_VFP},
   {"armv6zkt2",		ARM_ARCH_V6ZKT2, FPU_ARCH_VFP},
   {"armv7",		ARM_ARCH_V7,	 FPU_ARCH_VFP},
+  /* The official spelling of the ARMv7 profile variants is the dashed form.
+     Accept the non-dashed form for compatibility with old toolchains.  */
   {"armv7a",		ARM_ARCH_V7A,	 FPU_ARCH_VFP},
   {"armv7r",		ARM_ARCH_V7R,	 FPU_ARCH_VFP},
   {"armv7m",		ARM_ARCH_V7M,	 FPU_ARCH_VFP},
+  {"armv7-a",		ARM_ARCH_V7A,	 FPU_ARCH_VFP},
+  {"armv7-r",		ARM_ARCH_V7R,	 FPU_ARCH_VFP},
+  {"armv7-m",		ARM_ARCH_V7M,	 FPU_ARCH_VFP},
   {"xscale",		ARM_ARCH_XSCALE, FPU_ARCH_VFP},
   {"iwmmxt",		ARM_ARCH_IWMMXT, FPU_ARCH_VFP},
   {"iwmmxt2",		ARM_ARCH_IWMMXT2,FPU_ARCH_VFP},
Index: gas/doc/c-arm.texi
===================================================================
RCS file: /var/cvsroot/src-cvs/src/gas/doc/c-arm.texi,v
retrieving revision 1.37.2.6
diff -u -p -r1.37.2.6 c-arm.texi
--- gas/doc/c-arm.texi	26 Oct 2006 19:44:34 -0000	1.37.2.6
+++ gas/doc/c-arm.texi	13 Dec 2006 15:40:58 -0000
@@ -155,9 +155,9 @@ names are recognized: 
 @code{armv6z},
 @code{armv6zk},
 @code{armv7},
-@code{armv7a},
-@code{armv7r},
-@code{armv7m},
+@code{armv7-a},
+@code{armv7-r},
+@code{armv7-m},
 @code{iwmmxt}
 and
 @code{xscale}.