* config/tc-arm.c (encode_arm_addr_mode_2): Fix

	BAD_PC_ADDRESSING condition.

	testsuite/
	* gas/arm/ldst-pc.d: New test.
	* gas/arm/ldst-pc.s: New test.
	* gas/arm/sp-pc-validations-bad.s: `str r0,[pc,#4]' is valid.
	* gas/arm/sp-pc-validations-bad.l: Adjust accordingly.

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 31756669ba00c2c93fc7f9bbec67563d4801d759..23c13265a3de65f62129959f85d8f93154117106 100644 (file)
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,8 @@
+2010-08-25  Jie Zhang  <jie@codesourcery.com>
+
+       * config/tc-arm.c (encode_arm_addr_mode_2): Fix
+       BAD_PC_ADDRESSING condition.
+
 2010-08-20  Maciej W. Rozycki  <macro@codesourcery.com>
 
        * doc/c-arm.texi (ARM Options): Document -mfpu=fp4-sp-d16.

diff --git a/gas/config/tc-arm.c b/gas/config/tc-arm.c
index 6605e8176b42e26c64c3147672b2fe6ae5d65888..503249f1e08769a3f3311b7e82a04526815ae110 100644 (file)
--- a/gas/config/tc-arm.c
+++ b/gas/config/tc-arm.c
@@ -6819,11 +6819,18 @@ encode_arm_addr_mode_2 (int i, bfd_boolean is_t)
       if (is_pc && !inst.reloc.pc_rel)
        {
          const bfd_boolean is_load = ((inst.instruction & LOAD_BIT) != 0);
-         /* BAD_PC_ADDRESSING Condition =
-              is_load => is_t
-            which becomes !is_load || is_t.  */
-         constraint ((!is_load || is_t),
+
+         /* If is_t is TRUE, it's called from do_ldstt.  ldrt/strt
+            cannot use PC in addressing.
+            PC cannot be used in writeback addressing, either.  */
+         constraint ((is_t || inst.operands[i].writeback),
                      BAD_PC_ADDRESSING);
+
+         /* Use of PC in str is deprecated for ARMv7-A.  */
+         if (warn_on_deprecated
+             && !is_load
+             && ARM_CPU_HAS_FEATURE (selected_cpu, arm_ext_v7))
+           as_warn (_("use of PC in this instruction is deprecated"));
        }
 
       if (inst.reloc.type == BFD_RELOC_UNUSED)

diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog
index 449e1383e5cb2ff8336505e04c35149feef98c3f..4c5e0152aeed1d5f28247bddd45e14e45c6d81d3 100644 (file)
--- a/gas/testsuite/ChangeLog
+++ b/gas/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2010-08-25  Jie Zhang  <jie@codesourcery.com>
+
+       * gas/arm/ldst-pc.d: New test.
+       * gas/arm/ldst-pc.s: New test.
+       * gas/arm/sp-pc-validations-bad.s: `str r0,[pc,#4]' is valid.
+       * gas/arm/sp-pc-validations-bad.l: Adjust accordingly.
+
 2010-08-17  Roland McGrath  <roland@redhat.com>
 
        * gas/elf/groupauto.s: New file.

diff --git a/gas/testsuite/gas/arm/ldst-pc.d b/gas/testsuite/gas/arm/ldst-pc.d
new file mode 100644 (file)
index 0000000..333d8a0
--- /dev/null
+++ b/gas/testsuite/gas/arm/ldst-pc.d
@@ -0,0 +1,16 @@
+#objdump: -dr --prefix-addresses --show-raw-insn
+#name: ARM load/store with pc base register
+#as: -mno-warn-deprecated
+
+# Test the standard ARM instructions:
+
+.*: +file format .*arm.*
+
+Disassembly of section .text:
+0+000 <[^>]*> e51f1008         ldr     r1, \[pc, #-8\] ; 0+000 <[^>]*>
+0+004 <[^>]*> e79f1002         ldr     r1, \[pc, r2\]
+0+008 <[^>]*> f55ff008         pld     \[pc, #-8\]     ; 0+008 <[^>]*>
+0+00c <[^>]*> f7dff001         pld     \[pc, r1\]
+0+010 <[^>]*> f45ff008         pli     \[pc, #-8\]     ; 0+010 <[^>]*>
+0+014 <[^>]*> f6dff001         pli     \[pc, r1\]
+0+018 <[^>]*> e58f1004         str     r1, \[pc, #4\]  ; 0+024 <[^>]*>

diff --git a/gas/testsuite/gas/arm/ldst-pc.s b/gas/testsuite/gas/arm/ldst-pc.s
new file mode 100644 (file)
index 0000000..eac55fa
--- /dev/null
+++ b/gas/testsuite/gas/arm/ldst-pc.s
@@ -0,0 +1,15 @@
+@      Test file for ARM load/store instructions with pc as the base register
+
+       .text
+       .syntax unified
+       .align 2
+       ldr r1, [pc, #-8]
+       ldr r1, [pc, r2]
+
+       pld [pc, #-8]
+       pld [pc, r1]
+
+       pli [pc, #-8]
+       pli [pc, r1]
+
+       str r1, [pc, #4]

diff --git a/gas/testsuite/gas/arm/sp-pc-validations-bad.l b/gas/testsuite/gas/arm/sp-pc-validations-bad.l
index 002dbb2f8c65a826b42ad726b5d7bbcbbdbeef3a..048841faeccc21a9faca01d1d5e2388844522604 100644 (file)
--- a/gas/testsuite/gas/arm/sp-pc-validations-bad.l
+++ b/gas/testsuite/gas/arm/sp-pc-validations-bad.l
@@ -101,7 +101,6 @@
 [^:]*:158: Error: r15 not allowed here -- `ldrt pc,\[r0\],r1,LSL#4'
 [^:]*:159: Error: cannot use register index with PC-relative addressing -- `ldrt r0,\[pc\],r1,LSL#4'
 [^:]*:160: Error: cannot use register index with PC-relative addressing -- `ldrt r0,\[r1\],pc,LSL#4'
-[^:]*:165: Error: cannot use register index with PC-relative addressing -- `str r0,\[pc,#4\]'
 [^:]*:166: Error: cannot use register index with PC-relative addressing -- `str r0,\[pc\],#4'
 [^:]*:167: Error: cannot use register index with PC-relative addressing -- `str r0,\[pc,#4\]!'
 [^:]*:170: Error: cannot use register index with PC-relative addressing -- `str r0,\[r1,pc,LSL#4\]'

diff --git a/gas/testsuite/gas/arm/sp-pc-validations-bad.s b/gas/testsuite/gas/arm/sp-pc-validations-bad.s
index 94ecdacf6ae9fed72f0f2afcedf5a8008c13d04c..70c7bb0e00bbc2aaeb7d263118e588d3bc67eec3 100644 (file)
--- a/gas/testsuite/gas/arm/sp-pc-validations-bad.s
+++ b/gas/testsuite/gas/arm/sp-pc-validations-bad.s
@@ -159,11 +159,11 @@ ldrt pc,[r0],r1, LSL #4                   @ ditto
 ldrt r0,[pc],r1, LSL #4                        @ ditto
 ldrt r0,[r1],pc, LSL #4                        @ ditto
 
+
 @ Stores, ARM ================================================================
 
 @ STR (immediate, ARM)
-str r0,[pc,#4]                         @ Unpredictable
-str r0,[pc],#4                         @ ditto
+str r0,[pc],#4                         @ Unpredictable
 str r0,[pc,#4]!                                @ ditto
 
 @ STR (register)