* config/tc-arm.c (do_t_add_sub_w): Fixed constraints.

gas/testsuite/
        * gas/arm/sp-pc-usage-t.d: New test case.
        * gas/arm/sp-pc-usage-t.s: New file.
This commit is contained in:
Nick Clifton 2009-08-10 14:42:39 +00:00
parent 01017ef89a
commit 539d439185
5 changed files with 242 additions and 3 deletions

View File

@ -1,3 +1,8 @@
2009-08-10 Daniel Gutson <dgutson@codesourcery.com>
PR gas/10479
* config/tc-arm.c (do_t_add_sub_w): Fixed constraints.
2009-08-07 Daniel Jacobowitz <dan@codesourcery.com>
* config/tc-arm.c (marked_pr_dependency, mapstate): Delete global

View File

@ -8826,9 +8826,12 @@ do_t_add_sub_w (void)
Rd = inst.operands[0].reg;
Rn = inst.operands[1].reg;
/* If Rn is REG_PC, this is ADR; if Rn is REG_SP, then this is the
SP-{plus,minute}-immediate form of the instruction. */
reject_bad_reg (Rd);
/* If Rn is REG_PC, this is ADR; if Rn is REG_SP, then this
is the SP-{plus,minus}-immediate form of the instruction. */
if (Rn == REG_SP)
constraint (Rd == REG_PC, BAD_PC);
else
reject_bad_reg (Rd);
inst.instruction |= (Rn << 16) | (Rd << 8);
inst.reloc.type = BFD_RELOC_ARM_T32_IMM12;
@ -10264,6 +10267,11 @@ do_t_mov_cmp (void)
}
inst.instruction = THUMB_OP16 (inst.instruction);
/* PR 10443: Do not silently ignore shifted operands. */
constraint (inst.operands[1].shifted,
_("shifts in CMP/MOV instructions are only supported in unified syntax"));
if (inst.operands[1].isreg)
{
if (Rn < 8 && Rm < 8)
@ -18416,7 +18424,9 @@ arm_handle_align (fragS * fragP)
if (bytes > MAX_MEM_FOR_RS_ALIGN_CODE)
bytes &= MAX_MEM_FOR_RS_ALIGN_CODE;
#ifdef OBJ_ELF
gas_assert ((fragP->tc_frag_data.thumb_mode & MODE_RECORDED) != 0);
#endif
if (fragP->tc_frag_data.thumb_mode & (~ MODE_RECORDED))
{

View File

@ -1,3 +1,9 @@
2009-08-10 Daniel Gutson <dgutson@codesourcery.com>
PR gas/10479
* gas/arm/sp-pc-usage-t.d: New test case.
* gas/arm/sp-pc-usage-t.s: New file.
2006-08-09 Bernd Schmidt <bernd.schmidt@analog.com>
From Mike Frysinger <michael.frysinger@analog.com>

View File

@ -0,0 +1,88 @@
# name: SP and PC registers special uses test.
# objdump: -d --prefix-addresses --show-raw-insn
.*: +file format .*arm.*
Disassembly of section .text:
00000000 <foo> 4685 mov sp, r0
00000002 <foo\+0x2> 4668 mov r0, sp
00000004 <foo\+0x4> b000 add sp, #0
00000006 <foo\+0x6> f20d 0d00 addw sp, sp, #0
0000000a <foo\+0xa> b080 sub sp, #0
0000000c <foo\+0xc> f2ad 0d00 subw sp, sp, #0
00000010 <foo\+0x10> 4485 add sp, r0
00000012 <foo\+0x12> eb0d 0d40 add.w sp, sp, r0, lsl #1
00000016 <foo\+0x16> ebad 0d00 sub.w sp, sp, r0
0000001a <foo\+0x1a> ebad 0d40 sub.w sp, sp, r0, lsl #1
0000001e <foo\+0x1e> 9800 ldr r0, \[sp, #0\]
00000020 <foo\+0x20> 4800 ldr r0, \[pc, #0\] ; \(00000024 <foo\+0x24>\)
00000022 <foo\+0x22> f8d0 f000 ldr.w pc, \[r0\]
00000026 <foo\+0x26> f8d0 d000 ldr.w sp, \[r0\]
0000002a <foo\+0x2a> f8df f000 ldr.w pc, \[pc\] ; 0000002c <foo\+0x2c>
0000002e <foo\+0x2e> f8dd d000 ldr.w sp, \[sp\]
00000032 <foo\+0x32> f8dd f000 ldr.w pc, \[sp\]
00000036 <foo\+0x36> f8df d000 ldr.w sp, \[pc\] ; 00000038 <foo\+0x38>
0000003a <foo\+0x3a> f850 d00f ldr.w sp, \[r0, pc\]
0000003e <foo\+0x3e> 9000 str r0, \[sp, #0\]
00000040 <foo\+0x40> f8cf 0000 str.w r0, \[pc\] ; 00000044 <foo\+0x44>
00000044 <foo\+0x44> f8c0 f000 str.w pc, \[r0\]
00000048 <foo\+0x48> f8c0 d000 str.w sp, \[r0\]
0000004c <foo\+0x4c> f8cf f000 str.w pc, \[pc\] ; 00000050 <foo\+0x50>
00000050 <foo\+0x50> f8cd d000 str.w sp, \[sp\]
00000054 <foo\+0x54> f8cd f000 str.w pc, \[sp\]
00000058 <foo\+0x58> f8cf d000 str.w sp, \[pc\] ; 0000005c <foo\+0x5c>
0000005c <foo\+0x5c> f840 d00f str.w sp, \[r0, pc\]
00000060 <foo\+0x60> 4468 add r0, sp
00000062 <foo\+0x62> eb1d 0000 adds.w r0, sp, r0
00000066 <foo\+0x66> eb0d 0040 add.w r0, sp, r0, lsl #1
0000006a <foo\+0x6a> eb1d 0040 adds.w r0, sp, r0, lsl #1
0000006e <foo\+0x6e> f11d 0f00 cmn.w sp, #0
00000072 <foo\+0x72> eb1d 0f00 cmn.w sp, r0
00000076 <foo\+0x76> eb1d 0f40 cmn.w sp, r0, lsl #1
0000007a <foo\+0x7a> f1bd 0f00 cmp.w sp, #0
0000007e <foo\+0x7e> 4585 cmp sp, r0
00000080 <foo\+0x80> ebbd 0f40 cmp.w sp, r0, lsl #1
00000084 <foo\+0x84> b080 sub sp, #0
00000086 <foo\+0x86> f1bd 0d00 subs.w sp, sp, #0
0000008a <foo\+0x8a> f1ad 0000 sub.w r0, sp, #0
0000008e <foo\+0x8e> f1bd 0000 subs.w r0, sp, #0
00000092 <foo\+0x92> b001 add sp, #4
00000094 <foo\+0x94> a801 add r0, sp, #4
00000096 <foo\+0x96> f11d 0d04 adds.w sp, sp, #4
0000009a <foo\+0x9a> f11d 0004 adds.w r0, sp, #4
0000009e <foo\+0x9e> f20d 0004 addw r0, sp, #4
000000a2 <foo\+0xa2> b001 add sp, #4
000000a4 <foo\+0xa4> f11d 0d04 adds.w sp, sp, #4
000000a8 <foo\+0xa8> f20d 0d04 addw sp, sp, #4
000000ac <foo\+0xac> 4485 add sp, r0
000000ae <foo\+0xae> 4468 add r0, sp
000000b0 <foo\+0xb0> eb0d 0040 add.w r0, sp, r0, lsl #1
000000b4 <foo\+0xb4> eb1d 0d00 adds.w sp, sp, r0
000000b8 <foo\+0xb8> eb1d 0000 adds.w r0, sp, r0
000000bc <foo\+0xbc> eb1d 0040 adds.w r0, sp, r0, lsl #1
000000c0 <foo\+0xc0> 4485 add sp, r0
000000c2 <foo\+0xc2> eb0d 0d40 add.w sp, sp, r0, lsl #1
000000c6 <foo\+0xc6> eb1d 0d00 adds.w sp, sp, r0
000000ca <foo\+0xca> eb1d 0d40 adds.w sp, sp, r0, lsl #1
000000ce <foo\+0xce> 44ed add sp, sp
000000d0 <foo\+0xd0> f1ad 0000 sub.w r0, sp, #0
000000d4 <foo\+0xd4> f1bd 0000 subs.w r0, sp, #0
000000d8 <foo\+0xd8> f2ad 0000 subw r0, sp, #0
000000dc <foo\+0xdc> b080 sub sp, #0
000000de <foo\+0xde> f1bd 0d00 subs.w sp, sp, #0
000000e2 <foo\+0xe2> f2ad 0d00 subw sp, sp, #0
000000e6 <foo\+0xe6> b080 sub sp, #0
000000e8 <foo\+0xe8> f1bd 0d00 subs.w sp, sp, #0
000000ec <foo\+0xec> ebad 0040 sub.w r0, sp, r0, lsl #1
000000f0 <foo\+0xf0> ebbd 0040 subs.w r0, sp, r0, lsl #1
000000f4 <foo\+0xf4> ebad 0d40 sub.w sp, sp, r0, lsl #1
000000f8 <foo\+0xf8> ebbd 0d40 subs.w sp, sp, r0, lsl #1
000000fc <foo\+0xfc> a001 add r0, pc, #4 ; \(adr r0, 00000104 <foo\+0x104>\)
000000fe <foo\+0xfe> f2af 0004 subw r0, pc, #4
00000102 <foo\+0x102> f20f 0004 addw r0, pc, #4
00000106 <foo\+0x106> f2af 0004 subw r0, pc, #4
0000010a <foo\+0x10a> f20f 0004 addw r0, pc, #4
0000010e <foo\+0x10e> f2af 0004 subw r0, pc, #4
00000112 <foo\+0x112> bf00[ ]+nop
00000114 <foo\+0x114> bf00[ ]+nop
00000116 <foo\+0x116> bf00[ ]+nop

View File

@ -0,0 +1,130 @@
.arch armv7-r
.syntax unified
.text
.thumb
.global foo
foo:
@ Section A6.1.3 "Use of 0b1101 as a register specifier".
@ R13 as the source or destination register of a mov instruction.
@ only register to register transfers without shifts are supported,
@ with no flag setting
mov sp,r0
mov r0,sp
@ Using the following instructions to adjust r13 up or down by a
@ multiple of 4:
add sp,sp,#0
addw sp,sp,#0
sub sp,sp,#0
subw sp,sp,#0
add sp,sp,r0
add sp,sp,r0,lsl #1
sub sp,sp,r0
sub sp,sp,r0,lsl #1
@ R13 as a base register <Rn> of any load/store instruction.
ldr r0, [sp]
ldr r0, [pc]
ldr pc, [r0]
ldr sp, [r0]
ldr pc, [pc]
ldr sp, [sp]
ldr pc, [sp]
ldr sp, [pc]
ldr sp, [r0, +pc]
str r0, [sp]
str r0, [pc]
str pc, [r0]
str sp, [r0]
str pc, [pc]
str sp, [sp]
str pc, [sp]
str sp, [pc]
str sp, [r0, +pc]
@ R13 as the first operand <Rn> in any add{s}, cmn, cmp, or sub{s} instruction.
add r0, sp, r0
adds r0, sp, r0
add r0, sp, r0, lsl #1
adds r0, sp, r0, lsl #1
cmn sp, #0
cmn sp, r0
cmn sp, r0, lsl #1
cmp sp, #0
cmp sp, r0
cmp sp, r0, lsl #1
sub sp, #0
subs sp, #0
sub r0, sp, #0
subs r0, sp, #0
@ ADD (sp plus immediate).
add sp, #4
add r0, sp, #4
adds sp, #4
adds r0, sp, #4
addw r0, sp, #4
add sp, sp, #4
adds sp, sp, #4
addw sp, sp, #4
@ ADD (sp plus register).
add sp, r0
add r0, sp, r0
add r0, sp, r0, lsl #1
adds sp, r0
adds r0, sp, r0
adds r0, sp, r0, lsl #1
add sp, sp, r0
add sp, sp, r0, lsl #1
adds sp, sp, r0
adds sp, sp, r0, lsl #1
add sp, sp, sp
@ SUB (sp minus immediate).
sub r0, sp , #0
subs r0, sp , #0
subw r0, sp , #0
sub sp, sp , #0
subs sp, sp , #0
subw sp, sp , #0
@ SUB (sp minus register).
sub sp, #0
subs sp, #0
sub r0, sp, r0, lsl #1
subs r0, sp, r0, lsl #1
sub sp, sp, r0, lsl #1
subs sp, sp, r0, lsl #1
@ PC-related insns (equivalent to adr).
add r0, pc, #4
sub r0, pc, #4
adds r0, pc, #4
subs r0, pc, #4
addw r0, pc, #4
subw r0, pc, #4
@ nops to pad the section out to an alignment boundary.
nop
nop
nop