MIPS16: Fix SP-relative SD instruction annotation

Fix the annotation of SP-relative SD instructions incorrectly marked as
reading from the PC rather than SP, which in turn prevented their 16-bit
forms from being scheduled into jump delay slots.  This bug has been
there since forever.

	opcodes/
	* mips16-opc.c (mips16_opcodes): Set RD_SP rather than RD_PC in
	`pinfo2' with SP-relative "sd" entries.

	gas/
	* testsuite/gas/mips/mips16-sprel-swap.d: New test.
	* testsuite/gas/mips/mips16-sprel-swap.s: New test source.
	* testsuite/gas/mips/mips.exp: Run the new test.
This commit is contained in:
Maciej W. Rozycki
2016-12-14 21:18:16 +00:00
parent 63e014fccd
commit 353abf7c10
6 changed files with 58 additions and 2 deletions

View File

@ -1,3 +1,9 @@
2016-12-14 Maciej W. Rozycki <macro@imgtec.com>
* testsuite/gas/mips/mips16-sprel-swap.d: New test.
* testsuite/gas/mips/mips16-sprel-swap.s: New test source.
* testsuite/gas/mips/mips.exp: Run the new test.
2016-12-13 Renlin Li <renlin.li@arm.com>
* config/tc-aarch64.c (AARCH64_REG_TYPES): Remove CN register.

View File

@ -1296,6 +1296,7 @@ if { [istarget mips*-*-vxworks*] } {
run_list_test "mips16e-64" "-march=mips32 -32"
run_dump_test "mips16-intermix"
run_dump_test "mips16-extend"
run_dump_test "mips16-sprel-swap"
run_dump_test "vxworks1"
run_dump_test "vxworks1-xgot"

View File

@ -0,0 +1,20 @@
#objdump: -d --prefix-addresses --show-raw-insn
#name: MIPS16 jump delay slot scheduling for SP-relative instructions
#as: -32
.*: +file format .*mips.*
Disassembly of section \.text:
[0-9a-f]+ <[^>]*> eb00 jr v1
[0-9a-f]+ <[^>]*> d204 sw v0,16\(sp\)
[0-9a-f]+ <[^>]*> eb00 jr v1
[0-9a-f]+ <[^>]*> 6206 sw ra,24\(sp\)
[0-9a-f]+ <[^>]*> eb00 jr v1
[0-9a-f]+ <[^>]*> f944 sd v0,32\(sp\)
[0-9a-f]+ <[^>]*> eb00 jr v1
[0-9a-f]+ <[^>]*> fa05 sd ra,40\(sp\)
[0-9a-f]+ <[^>]*> eb00 jr v1
[0-9a-f]+ <[^>]*> 920c lw v0,48\(sp\)
[0-9a-f]+ <[^>]*> eb00 jr v1
[0-9a-f]+ <[^>]*> f847 ld v0,56\(sp\)
\.\.\.

View File

@ -0,0 +1,24 @@
.module mips3
.set mips16
foo:
sw $2, 0x10($29)
jr $3
sw $31, 0x18($29)
jr $3
sd $2, 0x20($29)
jr $3
sd $31, 0x28($29)
jr $3
lw $2, 0x30($29)
jr $3
ld $2, 0x38($29)
jr $3
# Force some (non-delay-slot) zero bytes, to make 'objdump' print ...
.align 4, 0
.space 16

View File

@ -1,3 +1,8 @@
2016-12-14 Maciej W. Rozycki <macro@imgtec.com>
* mips16-opc.c (mips16_opcodes): Set RD_SP rather than RD_PC in
`pinfo2' with SP-relative "sd" entries.
2016-12-14 Maciej W. Rozycki <macro@imgtec.com>
* mips16-opc.c (mips16_opcodes): Update comments on MIPS16e

View File

@ -321,8 +321,8 @@ const struct mips_opcode mips16_opcodes[] =
{"remu", "z,v,y", 0, (int) M_REMU_3, INSN_MACRO, 0, I1, 0, 0 },
{"sb", "y,5(x)", 0xc000, 0xf800, RD_1|RD_3, 0, I1, 0, 0 },
{"sd", "y,D(x)", 0x7800, 0xf800, RD_1|RD_3, 0, I3, 0, 0 },
{"sd", "y,D(S)", 0xf900, 0xff00, RD_1, RD_PC, I3, 0, 0 },
{"sd", "R,C(S)", 0xfa00, 0xff00, 0, RD_31|RD_PC, I1, 0, 0 },
{"sd", "y,D(S)", 0xf900, 0xff00, RD_1, RD_SP, I3, 0, 0 },
{"sd", "R,C(S)", 0xfa00, 0xff00, 0, RD_31|RD_SP, I1, 0, 0 },
{"sh", "y,H(x)", 0xc800, 0xf800, RD_1|RD_3, 0, I1, 0, 0 },
{"sllv", "y,x", 0xe804, 0xf81f, MOD_1|RD_2, 0, I1, 0, 0 },
{"sll", "x,w,<", 0x3000, 0xf803, WR_1|RD_2, 0, I1, 0, 0 },