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 profile variants.

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 1e50e57ccf3a494d0c016bdf08c30d1d73411e1a..7ef8904d51612fb0f3143c54305744089409083e 100644 (file)
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,8 @@
+2006-12-13  Paul Brook  <paul@codesourcery.com>
+
+       * config/tc-arm.c (arm_arch_option_table): Add v7-{a,r,m}.
+       * doc/c-arm.texi: Fix spelling of ARMv7 profile variants.
+
 2006-12-12  H.J. Lu  <hongjiu.lu@intel.com>
 
        * config/tc-i386.h (WordMem): Document it for 64 bit memory

diff --git a/gas/config/tc-arm.c b/gas/config/tc-arm.c
index a7859dc373ae6b1bd7181491e0947e063f10dd0a..e0eafbd874c4f210db17a87f0570c5dcf204e020 100644 (file)
--- a/gas/config/tc-arm.c
+++ b/gas/config/tc-arm.c
@@ -19779,9 +19779,14 @@ static const struct arm_arch_option_table arm_archs[] =
   {"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},

diff --git a/gas/doc/c-arm.texi b/gas/doc/c-arm.texi
index a3db1df910a42343e3f53a4c0438ff829c976775..6fb8c06d15aac56ee66904150a8bfb25438a2544 100644 (file)
--- a/gas/doc/c-arm.texi
+++ b/gas/doc/c-arm.texi
@@ -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}.