[PATCH v2 06/12] MIPS/testsuite: Verify MIPS DSP ASE branch stepping

["Maciej W. Rozycki" <macro@orcam.me.uk>]

From: Maciej W. Rozycki <macro@globalfoundries.com>

Verify that breakpoints are correctly placed via `mips32_next_pc' while
single-stepping through MIPS DSP ASE branches.  No 64-bit support here.

Approved-By: Maciej W. Rozycki <macro@orcam.me.uk>
---
New change in v2.
---
 gdb/testsuite/gdb.arch/mips-allow.exp.tcl  |   19 +++++++
 gdb/testsuite/gdb.arch/mips-dsp-branch.c   |   69 +++++++++++++++++++++++++++++
 gdb/testsuite/gdb.arch/mips-dsp-branch.exp |   30 ++++++++++++
 3 files changed, 118 insertions(+)

gdb-mips-dsp-next-pc-test.diff
Index: binutils-gdb/gdb/testsuite/gdb.arch/mips-allow.exp.tcl
===================================================================
--- binutils-gdb.orig/gdb/testsuite/gdb.arch/mips-allow.exp.tcl
+++ binutils-gdb/gdb/testsuite/gdb.arch/mips-allow.exp.tcl
@@ -84,3 +84,22 @@ proc allow_mips2_branch_tests {} {
 	{-Wa,-fatal-warnings -mno-mips16 -mno-micromips
 	    -minterlink-compressed}]
 }
+
+# Check for MIPS DSP ASE instruction support.  These instructions may
+# be absent, such as with pre-MIPSr2 compilations or non-DSP hardware.
+proc allow_mips_dsp_ase_tests {} {
+    return [allow_target_tests "allow_mips_dsp_ase_tests" \
+	"MIPS DSP instruction support" "Illegal instruction" \
+	    {
+		int main() {
+		    asm volatile (
+			".set	push\n\t"
+			".set	noreorder\n\t"
+			".set	nomacro\n\t"
+			"rddsp	$0, 0\n\t"
+			".set	pop\n");
+		    return 0;
+		}
+	    } \
+	{-Wa,-fatal-warnings -mno-mips16 -minterlink-compressed -mdsp}]
+}
Index: binutils-gdb/gdb/testsuite/gdb.arch/mips-dsp-branch.c
===================================================================
--- /dev/null
+++ binutils-gdb/gdb/testsuite/gdb.arch/mips-dsp-branch.c
@@ -0,0 +1,69 @@
+/* This testcase is part of GDB, the GNU debugger.
+
+   Copyright (C) 2026 Free Software Foundation, Inc.
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be usefu,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
+
+/* Test single-stepping through MIPS DSP branch instructions.  */
+
+int
+test_mips_dsp_branch (void)
+{
+  /* Make 'err' available to the debugger to track the number of single
+     steps executed.  Use `volatile' to prevent the variable from being
+     optimized away.  */
+  volatile int err = -1;
+
+  int thr_one = 31;
+  int thr_two = 32;
+  int thr_thr = 33;
+
+  asm volatile (
+	".macro	b_test op\n\t"
+	"\\op	0f\n\t"
+	" nop\n\t"
+	"nop\n"
+	"0:\n\t"
+	".endm\n\t"
+
+	".set	push\n\t"
+	".set	noreorder\n\t"
+	".globl	step_start\n\t"
+	".type	step_start, @function\n"
+	"step_start:\n\t"			/* Units: steps.  */
+	"nop\n\t"				/* NOP:       1s  */
+	"wrdsp	%[thr_one], 1\n\t"		/* WRDSP:     1s  */
+	"b_test	bposge32\n\t"			/* Not taken: 2s  */
+	"wrdsp	%[thr_two], 1\n\t"		/* WRDSP:     1s  */
+	"b_test	bposge32\n\t"			/* Taken:     1s  */
+	"wrdsp	%[thr_thr], 1\n\t"		/* WRDSP:     1s  */
+	"b_test	bposge32\n\t"			/* Taken:     1s  */
+	"nop\n\t"				/* NOP:       1s  */
+	".globl	step_stop\n\t"			/* Total:     9s  */
+	".type	step_stop, @function\n"
+	"step_stop:\n\t"
+	".set pop\n"
+	:
+	: [thr_one] "r" (thr_one), [thr_two] "r" (thr_two),
+	  [thr_thr] "r" (thr_thr)
+	: "$dsp_po");
+
+  return err;
+}
+
+int
+main (void)
+{
+  return test_mips_dsp_branch ();
+}
Index: binutils-gdb/gdb/testsuite/gdb.arch/mips-dsp-branch.exp
===================================================================
--- /dev/null
+++ binutils-gdb/gdb/testsuite/gdb.arch/mips-dsp-branch.exp
@@ -0,0 +1,30 @@
+# Copyright (C) 2026 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# Test single-stepping through MIPS DSP branch instructions.
+
+require {istarget "mips*-*-*"}
+
+source $srcdir/$subdir/mips-allow.exp.tcl
+
+require allow_mips_dsp_ase_tests
+
+standard_testfile
+
+set steps 9
+foreach flag {-mno-mips16 -minterlink-compressed -mdsp} {
+    lappend compile_flags "additional_flags=$flag"
+}
+source $srcdir/$subdir/mips-stepi.exp.tcl