[committed] MIPS16/GAS: Reject instructions that end with a dot
Maciej W. Rozycki
macro@orcam.me.uk
Mon Feb 10 22:15:16 GMT 2025
Fix a regression from commit 3fb49709438e ("MIPS16/GAS: Fix forced size
suffixes with argumentless instructions") and reject MIPS16 instructions
that end with a dot and no forced size suffix following, e.g.:
$ cat test.s
.set mips16
foo:
break.
entry.
addiu. $2, 0x7fff
addiu. $3, $2, 0
.align 8, 0
$ as -32 -o test.o test.s
$ objdump -d test.o
test.o: file format elf32-tradbigmips
Disassembly of section .text:
00000000 <foo>:
0: e805 break
2: e809 entry
4: f7ef 4a1f addiu v0,32767
8: 4260 addiu v1,v0,0
...
$
Add a test accordingly, also verifying invalid forced size suffixes.
---
gas/config/tc-mips.c | 11 +++++++----
gas/testsuite/gas/mips/mips.exp | 2 ++
gas/testsuite/gas/mips/mips16-insn-length-bad.d | 3 +++
gas/testsuite/gas/mips/mips16-insn-length-bad.l | 11 +++++++++++
gas/testsuite/gas/mips/mips16-insn-length-bad.s | 16 ++++++++++++++++
5 files changed, 39 insertions(+), 4 deletions(-)
binutils-gas-mips16-insn-length-dot.diff
Index: binutils-gdb/gas/config/tc-mips.c
===================================================================
--- binutils-gdb.orig/gas/config/tc-mips.c
+++ binutils-gdb/gas/config/tc-mips.c
@@ -14416,10 +14416,13 @@ mips16_ip (char *str, struct mips_cl_ins
l = 4;
s++;
}
- if (*s == '\0')
- break;
- else if (is_whitespace (*s++))
- break;
+ if (l != 0)
+ {
+ if (*s == '\0')
+ break;
+ else if (is_whitespace (*s++))
+ break;
+ }
set_insn_error (0, _("unrecognized opcode"));
return;
}
Index: binutils-gdb/gas/testsuite/gas/mips/mips.exp
===================================================================
--- binutils-gdb.orig/gas/testsuite/gas/mips/mips.exp
+++ binutils-gdb/gas/testsuite/gas/mips/mips.exp
@@ -1523,6 +1523,8 @@ if { [istarget mips*-*-vxworks*] } {
run_dump_test "mips16-sprel-swap"
run_dump_test "mips16-sdrasp"
run_dump_test "mips16-insn-length-noargs"
+ run_dump_test_arches "mips16-insn-length-bad" \
+ [mips_arch_list_matching mips16-32]
run_dump_test "mips16-branch-unextended-1"
run_dump_test "mips16-branch-unextended-2"
Index: binutils-gdb/gas/testsuite/gas/mips/mips16-insn-length-bad.d
===================================================================
--- /dev/null
+++ binutils-gdb/gas/testsuite/gas/mips/mips16-insn-length-bad.d
@@ -0,0 +1,3 @@
+#as: -32
+#name: MIPS16 bad instruction size override
+#error_output: mips16-insn-length-bad.l
Index: binutils-gdb/gas/testsuite/gas/mips/mips16-insn-length-bad.l
===================================================================
--- /dev/null
+++ binutils-gdb/gas/testsuite/gas/mips/mips16-insn-length-bad.l
@@ -0,0 +1,11 @@
+.*: Assembler messages:
+.*:3: Error: unrecognized opcode `break\.'
+.*:4: Error: unrecognized opcode `entry\.'
+.*:5: Error: unrecognized opcode `addiu\. \$2,0x7fff'
+.*:6: Error: unrecognized opcode `addiu\. \$3,\$2,0'
+.*:7: Error: unrecognized opcode `exit\.ex'
+.*:8: Error: unrecognized opcode `exit\.tx'
+.*:9: Error: unrecognized opcode `nop\.ey'
+.*:10: Error: unrecognized opcode `nop\.ty'
+.*:11: Error: unrecognized opcode `li\.ez \$2,0'
+.*:12: Error: unrecognized opcode `li\.tz \$2,0'
Index: binutils-gdb/gas/testsuite/gas/mips/mips16-insn-length-bad.s
===================================================================
--- /dev/null
+++ binutils-gdb/gas/testsuite/gas/mips/mips16-insn-length-bad.s
@@ -0,0 +1,16 @@
+ .set mips16
+foo:
+ break.
+ entry.
+ addiu. $2, 0x7fff
+ addiu. $3, $2, 0
+ exit.ex
+ exit.tx
+ nop.ey
+ nop.ty
+ li.ez $2, 0
+ li.tz $2, 0
+
+# Force some (non-delay-slot) zero bytes, to make 'objdump' print ...
+ .align 4, 0
+ .space 16
More information about the Binutils
mailing list