From fcc392a34e8faa72fdc186f13905b4156e83d4b9 Mon Sep 17 00:00:00 2001
From: Chao-ying Fu <fu@mips.com>
Date: Wed, 14 Dec 2005 23:09:26 +0000
Subject: [PATCH] * basic.exp: Run the dsp test. * utils-dsp.inc: New file. *
 mips32-dsp.s: New test.

---
 sim/testsuite/sim/mips/ChangeLog     |   6 +
 sim/testsuite/sim/mips/basic.exp     |   2 +
 sim/testsuite/sim/mips/mips32-dsp.s  | 777 +++++++++++++++++++++++++++++++++++
 sim/testsuite/sim/mips/utils-dsp.inc | 407 ++++++++++++++++++
 4 files changed, 1192 insertions(+)
 create mode 100644 sim/testsuite/sim/mips/mips32-dsp.s
 create mode 100644 sim/testsuite/sim/mips/utils-dsp.inc

diff --git a/sim/testsuite/sim/mips/ChangeLog b/sim/testsuite/sim/mips/ChangeLog
index 7d75661..eb35152 100644
--- a/sim/testsuite/sim/mips/ChangeLog
+++ b/sim/testsuite/sim/mips/ChangeLog
@@ -1,3 +1,9 @@
+2005-12-14  Chao-ying Fu  <fu@mips.com>
+
+	* basic.exp: Run the dsp test.
+	* utils-dsp.inc: New file.
+	* mips32-dsp.s: New test.
+
 2004-04-11  Chris Demetriou  <cgd@broadcom.com>
 
 	* utils-fpu.inc (enable_fpu, ckm_fp_cc): New macros.
diff --git a/sim/testsuite/sim/mips/basic.exp b/sim/testsuite/sim/mips/basic.exp
index b7cb057..98795ab 100644
--- a/sim/testsuite/sim/mips/basic.exp
+++ b/sim/testsuite/sim/mips/basic.exp
@@ -71,4 +71,6 @@ if {[istarget mips*-elf] && [board_info target exists is_simulator]} {
 
     run_sim_test mdmx-ob.s $submodels
     run_sim_test mdmx-ob-sb1.s $submodels
+
+    run_sim_test mips32-dsp.s $models
 }
diff --git a/sim/testsuite/sim/mips/mips32-dsp.s b/sim/testsuite/sim/mips/mips32-dsp.s
new file mode 100644
index 0000000..6e7a7c8
--- /dev/null
+++ b/sim/testsuite/sim/mips/mips32-dsp.s
@@ -0,0 +1,777 @@
+# MIPS32 DSP ASE test
+# mach:  mips32 mips64
+#as:		-mdsp
+#ld:		-N -Ttext=0x80010000
+#output:	*\\npass\\n
+
+# Copyright (C) 2005 Free Software Foundation, Inc.
+# Contributed by MIPS Technologies, Inc.  Written by Chao-ying Fu.
+#
+# This file is part of the GNU simulators.
+#
+# 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 2, 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, write to the Free Software Foundation, Inc.,
+# 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+
+	.include "testutils.inc"
+	.include "utils-dsp.inc"
+
+	setup
+
+	.set noreorder
+
+	.ent DIAG
+DIAG:
+
+	writemsg "[1] Test addq.ph"
+	dspck_dstio addq.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addq.ph, 0x20002, 0x10001, 0x10001, 0x0, 0x0
+	dspck_dstio addq.ph, 0xfffefffe, 0xffffffff, 0xffffffff, 0x0, 0x0
+	dspck_dstio addq.ph, 0xffff0000, 0xffffffff, 0x1, 0x0, 0x0
+	dspck_dstio addq.ph, 0x0, 0xffffffff, 0x10001, 0x0, 0x0
+
+	writemsg "[2] Test addq_s.ph"
+	dspck_dstio addq_s.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addq_s.ph, 0x20002, 0x10001, 0x10001, 0x0, 0x0
+	dspck_dstio addq_s.ph, 0xfffefffe, 0xffffffff, 0xffffffff, 0x0, 0x0
+	dspck_dstio addq_s.ph, 0xffff0000, 0xffffffff, 0x1, 0x0, 0x0
+	dspck_dstio addq_s.ph, 0xffff0000, 0x1, 0xffffffff, 0x0, 0x0
+
+	writemsg "[3] Test addq_s.w"
+	dspck_dsti addq_s.w, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addq_s.w, 0x2, 0x1, 0x1, 0x0, 0x0
+	dspck_dstio addq_s.w, 0xfffffffe, 0xffffffff, 0xffffffff, 0x0, 0x0
+	dspck_dstio addq_s.w, 0x0, 0xffffffff, 0x1, 0x0, 0x0
+	dspck_dstio addq_s.w, 0xffff, 0xffffffff, 0x10000, 0x0, 0x0
+
+	writemsg "[4] Test addu.qb"
+	dspck_dstio addu.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addu.qb, 0x2040000, 0x102ff01, 0x10201ff, 0x0, 0x100000
+	dspck_dstio addu.qb, 0xfe0001fe, 0x7f80ffff, 0x7f8002ff, 0x0, 0x100000
+	dspck_dstio addu.qb, 0xffffffff, 0x10203, 0xfffefdfc, 0x0, 0x0
+	dspck_dstio addu.qb, 0xffffffff, 0xfbfaf9f8, 0x4050607, 0x0, 0x0
+
+	writemsg "[5] Test addu_s.qb"
+	dspck_dstio addu_s.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addu_s.qb, 0x204ffff, 0x102ff01, 0x10201ff, 0x0, 0x100000
+	dspck_dstio addu_s.qb, 0xfeffffff, 0x7f80ffff, 0x7f8002ff, 0x0, 0x100000
+	dspck_dstio addu_s.qb, 0xffffffff, 0x10203, 0xfffefdfc, 0x0, 0x0
+	dspck_dstio addu_s.qb, 0xffffffff, 0xfbfaf9f8, 0x4050607, 0x0, 0x0
+
+	writemsg "[6] Test subq.ph"
+	dspck_dstio subq.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio subq.ph, 0x10001, 0x20002, 0x10001, 0x0, 0x0
+	dspck_dstio subq.ph, 0x1ffff, 0x2fffe, 0x1ffff, 0x0, 0x0
+	dspck_dstio subq.ph, 0x7fff0000, 0xfffe8000, 0x7fff8000, 0x0, 0x100000
+	dspck_dstio subq.ph, 0x1ffff, 0x7fff8000, 0x7ffe8001, 0x0, 0x0
+
+	writemsg "[7] Test subq_s.ph"
+	dspck_dstio subq_s.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio subq_s.ph, 0x10001, 0x20002, 0x10001, 0x0, 0x0
+	dspck_dstio subq_s.ph, 0x1ffff, 0x2fffe, 0x1ffff, 0x0, 0x0
+	dspck_dstio subq_s.ph, 0x0, 0x7fff8000, 0x7fff8000, 0x0, 0x0
+	dspck_dstio subq_s.ph, 0x1ffff, 0x7fff8000, 0x7ffe8001, 0x0, 0x0
+
+	writemsg "[8] Test subq_s.w"
+	dspck_dsti subq_s.w, 0x0, 0x0, 0x0, 0x0
+	dspck_dsti subq_s.w, 0x0, 0x7fffffff, 0x7fffffff, 0x0
+	dspck_dstio subq_s.w, 0x7fffffff, 0x0, 0x80000000, 0x0, 0x100000
+	dspck_dstio subq_s.w, 0x1, 0x2, 0x1, 0x0, 0x0
+	dspck_dstio subq_s.w, 0xffffffff, 0xfffffffe, 0xffffffff, 0x0, 0x0
+
+	writemsg "[9] Test subu.qb"
+	dspck_dstio subu.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio subu.qb, 0x4030201, 0x8060402, 0x4030201, 0x0, 0x0
+	dspck_dstio subu.qb, 0xfcfdfeff, 0x4030201, 0x8060402, 0x0, 0x100000
+	dspck_dstio subu.qb, 0x102ff01, 0x2040000, 0x10201ff, 0x0, 0x100000
+	dspck_dstio subu.qb, 0x7f80ffff, 0xfe0001fe, 0x7f8002ff, 0x0, 0x100000
+
+	writemsg "[10] Test subu_s.qb"
+	dspck_dstio subu_s.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio subu_s.qb, 0x4030201, 0x8060402, 0x4030201, 0x0, 0x0
+	dspck_dstio subu_s.qb, 0x0, 0x4030201, 0x8060402, 0x0, 0x100000
+	dspck_dstio subu_s.qb, 0x1020000, 0x2040000, 0x10201ff, 0x0, 0x100000
+	dspck_dstio subu_s.qb, 0x7f000000, 0xfe0001fe, 0x7f8002ff, 0x0, 0x100000
+
+	writemsg "[11] Test addsc"
+	dspck_dstio addsc, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addsc, 0x1000000, 0x84000000, 0x7d000000, 0x0, 0x2000
+	dspck_dstio addsc, 0xf1000000, 0x74000000, 0x7d000000, 0x0, 0x0
+	dspck_dstio addsc, 0x2, 0x1, 0x1, 0x0, 0x0
+	dspck_dstio addsc, 0xffffffff, 0xfffffffe, 0x1, 0x0, 0x0
+
+	writemsg "[12] Test addwc"
+	dspck_dstio addwc, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio addwc, 0x2, 0x1, 0x1, 0x0, 0x0
+	dspck_dstio addwc, 0x3, 0x1, 0x1, 0x2000, 0x2000
+	dspck_dsti addwc, 0x1, 0xffffffff, 0x1, 0x2000
+	dspck_dsti addwc, 0x11, 0xa, 0x6, 0x2000
+
+	writemsg "[13] Test modsub"
+	dspck_dstio modsub, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio modsub, 0x76, 0x78, 0x7802, 0x0, 0x0
+	dspck_dstio modsub, 0x74, 0x76, 0x7802, 0x0, 0x0
+	dspck_dstio modsub, 0x78, 0x0, 0x7802, 0x0, 0x0
+	dspck_dstio modsub, 0xf9, 0xfc, 0xfe03, 0x0, 0x0
+
+	writemsg "[14] Test raddu.w.qb"
+	dspck_dsio raddu.w.qb, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio raddu.w.qb, 0x2, 0x1000100, 0x0, 0x0
+	dspck_dsio raddu.w.qb, 0x4, 0x1010101, 0x0, 0x0
+	dspck_dsio raddu.w.qb, 0x200, 0xff01ff01, 0x0, 0x0
+	dspck_dsio raddu.w.qb, 0x3fc, 0xffffffff, 0x0, 0x0
+
+	writemsg "[15] Test absq_s.ph"
+	dspck_dsio absq_s.ph, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio absq_s.ph, 0x10001, 0xffffffff, 0x0, 0x0
+	dspck_dsio absq_s.ph, 0x7fff7fff, 0x80008000, 0x0, 0x100000
+	dspck_dsio absq_s.ph, 0x60000002, 0xa000fffe, 0x0, 0x0
+	dspck_dsio absq_s.ph, 0x70000004, 0x9000fffc, 0x0, 0x0
+
+	writemsg "[16] Test absq_s.w"
+	dspck_dsio absq_s.w, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio absq_s.w, 0x1, 0xffffffff, 0x0, 0x0
+	dspck_dsio absq_s.w, 0x7fffffff, 0x80000000, 0x0, 0x100000
+	dspck_dsio absq_s.w, 0x40000001, 0xbfffffff, 0x0, 0x0
+	dspck_dsio absq_s.w, 0x8000001, 0xf7ffffff, 0x0, 0x0
+
+	writemsg "[17] Test precrq.qb.ph"
+	dspck_dstio precrq.qb.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio precrq.qb.ph, 0xff7f4020, 0xffff7fff, 0x40002000, 0x0, 0x0
+	dspck_dstio precrq.qb.ph, 0xfeba7632, 0xfedcba98, 0x76543210, 0x0, 0x0
+	dspck_dstio precrq.qb.ph, 0x7632feba, 0x76543210, 0xfedcba98, 0x0, 0x0
+	dspck_dstio precrq.qb.ph, 0x14589cd, 0x1234567, 0x89abcdef, 0x0, 0x0
+
+	writemsg "[18] Test precrq.ph.w"
+	dspck_dstio precrq.ph.w, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio precrq.ph.w, 0xffff4000, 0xffff7fff, 0x40002000, 0x0, 0x0
+	dspck_dstio precrq.ph.w, 0xfedc7654, 0xfedcba98, 0x76543210, 0x0, 0x0
+	dspck_dstio precrq.ph.w, 0x7654fedc, 0x76543210, 0xfedcba98, 0x0, 0x0
+	dspck_dstio precrq.ph.w, 0x12389ab, 0x1234567, 0x89abcdef, 0x0, 0x0
+
+	writemsg "[19] Test precrq_rs.ph.w"
+	dspck_dstio precrq_rs.ph.w, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio precrq_rs.ph.w, 0x7fff0000, 0x7fffffff, 0xffffffff, 0x0, 0x400000
+	dspck_dstio precrq_rs.ph.w, 0x80008001, 0x80007fff, 0x8000ffff, 0x0, 0x0
+	dspck_dstio precrq_rs.ph.w, 0xfedd7654, 0xfedcba98, 0x76543210, 0x0, 0x0
+	dspck_dstio precrq_rs.ph.w, 0x7654fedd, 0x76543210, 0xfedcba98, 0x0, 0x0
+
+	writemsg "[20] Test precrqu_s.qb.ph"
+	dspck_dstio precrqu_s.qb.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio precrqu_s.qb.ph, 0xff8040, 0xffff7fff, 0x40002000, 0x0, 0x400000
+	dspck_dstio precrqu_s.qb.ph, 0xec64, 0xfedcba98, 0x76543210, 0x0, 0x400000
+	dspck_dstio precrqu_s.qb.ph, 0xec640000, 0x76543210, 0xfedcba98, 0x0, 0x400000
+	dspck_dstio precrqu_s.qb.ph, 0x28a0000, 0x1234567, 0x89abcdef, 0x0, 0x400000
+
+	writemsg "[21] Test preceq.w.phl"
+	dspck_dsio preceq.w.phl, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio preceq.w.phl, 0xffff0000, 0xffffffff, 0x0, 0x0
+	dspck_dsio preceq.w.phl, 0x80000000, 0x80004000, 0x0, 0x0
+	dspck_dsio preceq.w.phl, 0xc0010000, 0xc0012001, 0x0, 0x0
+	dspck_dsio preceq.w.phl, 0x76540000, 0x76543210, 0x0, 0x0
+
+	writemsg "[22] Test preceq.w.phr"
+	dspck_dsio preceq.w.phr, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio preceq.w.phr, 0xffff0000, 0xffffffff, 0x0, 0x0
+	dspck_dsio preceq.w.phr, 0x40000000, 0x80004000, 0x0, 0x0
+	dspck_dsio preceq.w.phr, 0x20010000, 0xc0012001, 0x0, 0x0
+	dspck_dsio preceq.w.phr, 0x32100000, 0x76543210, 0x0, 0x0
+
+	writemsg "[23] Test precequ.ph.qbl"
+	dspck_dsio precequ.ph.qbl, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio precequ.ph.qbl, 0x7f807f80, 0xffffffff, 0x0, 0x0
+	dspck_dsio precequ.ph.qbl, 0x40000000, 0x80004000, 0x0, 0x0
+	dspck_dsio precequ.ph.qbl, 0x60000080, 0xc0012001, 0x0, 0x0
+	dspck_dsio precequ.ph.qbl, 0x3b002a00, 0x76543210, 0x0, 0x0
+
+	writemsg "[24] Test precequ.ph.qbr"
+	dspck_dsio precequ.ph.qbr, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio precequ.ph.qbr, 0x7f807f80, 0xffffffff, 0x0, 0x0
+	dspck_dsio precequ.ph.qbr, 0x20000000, 0x80004000, 0x0, 0x0
+	dspck_dsio precequ.ph.qbr, 0x10000080, 0xc0012001, 0x0, 0x0
+	dspck_dsio precequ.ph.qbr, 0x19000800, 0x76543210, 0x0, 0x0
+
+	writemsg "[25] Test precequ.ph.qbla"
+	dspck_dsio precequ.ph.qbla, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio precequ.ph.qbla, 0x7f807f80, 0xffffffff, 0x0, 0x0
+	dspck_dsio precequ.ph.qbla, 0x40002000, 0x80004000, 0x0, 0x0
+	dspck_dsio precequ.ph.qbla, 0x60001000, 0xc0012001, 0x0, 0x0
+	dspck_dsio precequ.ph.qbla, 0x3b001900, 0x76543210, 0x0, 0x0
+
+	writemsg "[26] Test precequ.ph.qbra"
+	dspck_dsio precequ.ph.qbra, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio precequ.ph.qbra, 0x7f807f80, 0xffffffff, 0x0, 0x0
+	dspck_dsio precequ.ph.qbra, 0x0, 0x80004000, 0x0, 0x0
+	dspck_dsio precequ.ph.qbra, 0x800080, 0xc0012001, 0x0, 0x0
+	dspck_dsio precequ.ph.qbra, 0x2a000800, 0x76543210, 0x0, 0x0
+
+	writemsg "[27] Test preceu.ph.qbl"
+	dspck_dsio preceu.ph.qbl, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio preceu.ph.qbl, 0xff00ff, 0xffffffff, 0x0, 0x0
+	dspck_dsio preceu.ph.qbl, 0x800000, 0x80004000, 0x0, 0x0
+	dspck_dsio preceu.ph.qbl, 0xc00001, 0xc0012001, 0x0, 0x0
+	dspck_dsio preceu.ph.qbl, 0x760054, 0x76543210, 0x0, 0x0
+
+	writemsg "[28] Test preceu.ph.qbr"
+	dspck_dsio preceu.ph.qbr, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio preceu.ph.qbr, 0xff00ff, 0xffffffff, 0x0, 0x0
+	dspck_dsio preceu.ph.qbr, 0x400000, 0x80004000, 0x0, 0x0
+	dspck_dsio preceu.ph.qbr, 0x200001, 0xc0012001, 0x0, 0x0
+	dspck_dsio preceu.ph.qbr, 0x320010, 0x76543210, 0x0, 0x0
+
+	writemsg "[29] Test preceu.ph.qbla"
+	dspck_dsio preceu.ph.qbla, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio preceu.ph.qbla, 0xff00ff, 0xffffffff, 0x0, 0x0
+	dspck_dsio preceu.ph.qbla, 0x800040, 0x80004000, 0x0, 0x0
+	dspck_dsio preceu.ph.qbla, 0xc00020, 0xc0012001, 0x0, 0x0
+	dspck_dsio preceu.ph.qbla, 0x760032, 0x76543210, 0x0, 0x0
+
+	writemsg "[30] Test preceu.ph.qbra"
+	dspck_dsio preceu.ph.qbra, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio preceu.ph.qbra, 0xff00ff, 0xffffffff, 0x0, 0x0
+	dspck_dsio preceu.ph.qbra, 0x0, 0x80004000, 0x0, 0x0
+	dspck_dsio preceu.ph.qbra, 0x10001, 0xc0012001, 0x0, 0x0
+	dspck_dsio preceu.ph.qbra, 0x540010, 0x76543210, 0x0, 0x0
+
+	writemsg "[31] Test shll.qb"
+	dspck_dtsaio shll.qb, 0x0, 0x0, 0, 0x0, 0x0
+	dspck_dtsai shll.qb, 0x202fefe, 0x101ffff, 1, 0x0
+	dspck_dtsai shll.qb, 0xfefe0002, 0x7fff8081, 1, 0x0
+	dspck_dtsai shll.qb, 0xfcfc0020, 0x7fff8008, 2, 0x0
+	dspck_dtsai shll.qb, 0x68b0d868, 0x6db6db6d, 3, 0x0
+
+	writemsg "[32] Test shllv.qb"
+	dspck_dstio shllv.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dsti shllv.qb, 0x202fefe, 0x101ffff, 0x1, 0x0
+	dspck_dsti shllv.qb, 0xfefe0002, 0x7fff8081, 0x1, 0x0
+	dspck_dsti shllv.qb, 0xfcfc0020, 0x7fff8008, 0x2, 0x0
+	dspck_dsti shllv.qb, 0x68b0d868, 0x6db6db6d, 0x3, 0x0
+
+	writemsg "[33] Test shll.ph"
+	dspck_dtsaio shll.ph, 0x0, 0x0, 0, 0x0, 0x0
+	dspck_dtsaio shll.ph, 0x2fffe, 0x1ffff, 1, 0x0, 0x0
+	dspck_dtsaio shll.ph, 0xfffe0000, 0x7fff8000, 1, 0x0, 0x400000
+	dspck_dtsaio shll.ph, 0xfffc0020, 0x7fff8008, 2, 0x0, 0x400000
+	dspck_dtsaio shll.ph, 0x6db0db68, 0x6db6db6d, 3, 0x0, 0x400000
+
+	writemsg "[34] Test shllv.ph"
+	dspck_dstio shllv.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio shllv.ph, 0x2fffe, 0x1ffff, 0x1, 0x0, 0x0
+	dspck_dstio shllv.ph, 0xfffe0000, 0x7fff8000, 0x1, 0x0, 0x400000
+	dspck_dstio shllv.ph, 0xfffc0020, 0x7fff8008, 0x2, 0x0, 0x400000
+	dspck_dstio shllv.ph, 0x6db0db68, 0x6db6db6d, 0x3, 0x0, 0x400000
+
+	writemsg "[35] Test shll_s.ph"
+	dspck_dtsaio shll_s.ph, 0x0, 0x0, 0, 0x0, 0x0
+	dspck_dtsaio shll_s.ph, 0x2fffe, 0x1ffff, 1, 0x0, 0x0
+	dspck_dtsaio shll_s.ph, 0x7fff8000, 0x7fff8000, 1, 0x0, 0x400000
+	dspck_dtsaio shll_s.ph, 0x7fff8000, 0x7fff8008, 2, 0x0, 0x400000
+	dspck_dtsaio shll_s.ph, 0x7fff8000, 0x6db6db6d, 3, 0x0, 0x400000
+
+	writemsg "[36] Test shllv_s.ph"
+	dspck_dstio shllv_s.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio shllv_s.ph, 0x2fffe, 0x1ffff, 0x1, 0x0, 0x0
+	dspck_dstio shllv_s.ph, 0x7fff8000, 0x7fff8000, 0x1, 0x0, 0x400000
+	dspck_dstio shllv_s.ph, 0x7fff8000, 0x7fff8008, 0x2, 0x0, 0x400000
+	dspck_dstio shllv_s.ph, 0x7fff8000, 0x6db6db6d, 0x3, 0x0, 0x400000
+
+	writemsg "[37] Test shll_s.w"
+	dspck_dtsaio shll_s.w, 0x0, 0x0, 0, 0x0, 0x0
+	dspck_dtsaio shll_s.w, 0x3fffe, 0x1ffff, 1, 0x0, 0x0
+	dspck_dtsaio shll_s.w, 0x7fffffff, 0x7fff8000, 1, 0x0, 0x400000
+	dspck_dtsaio shll_s.w, 0x80000000, 0x80000000, 1, 0x0, 0x400000
+	dspck_dtsaio shll_s.w, 0x7fffffff, 0x7fff8008, 2, 0x0, 0x400000
+
+	writemsg "[38] Test shllv_s.w"
+	dspck_dstio shllv_s.w, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio shllv_s.w, 0x3fffe, 0x1ffff, 0x1, 0x0, 0x0
+	dspck_dstio shllv_s.w, 0x7fffffff, 0x7fff8000, 0x1, 0x0, 0x400000
+	dspck_dstio shllv_s.w, 0x80000000, 0x80000000, 0x1, 0x0, 0x400000
+	dspck_dstio shllv_s.w, 0x7fffffff, 0x7fff8008, 0x2, 0x0, 0x400000
+
+	writemsg "[39] Test shrl.qb"
+	dspck_dtsaio shrl.qb, 0x0, 0x0, 0, 0x0, 0x0
+	dspck_dtsai shrl.qb, 0x7f7f, 0x101ffff, 1, 0x0
+	dspck_dtsai shrl.qb, 0x3f7f4040, 0x7fff8081, 1, 0x0
+	dspck_dtsai shrl.qb, 0x1f3f2002, 0x7fff8008, 2, 0x0
+	dspck_dtsai shrl.qb, 0xd161b0d, 0x6db6db6d, 3, 0x0
+
+	writemsg "[40] Test shrlv.qb"
+	dspck_dstio shrlv.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dsti shrlv.qb, 0x7f7f, 0x101ffff, 0x1, 0x0
+	dspck_dsti shrlv.qb, 0x3f7f4040, 0x7fff8081, 0x1, 0x0
+	dspck_dsti shrlv.qb, 0x1f3f2002, 0x7fff8008, 0x2, 0x0
+	dspck_dsti shrlv.qb, 0xd161b0d, 0x6db6db6d, 0x3, 0x0
+
+	writemsg "[41] Test shra.ph"
+	dspck_dtsaio shra.ph, 0x10001, 0x20002, 1, 0x0, 0x0
+	dspck_dtsaio shra.ph, 0x10006, 0x10106f6f, 12, 0x0, 0x0
+	dspck_dtsaio shra.ph, 0x1c000, 0x28000, 1, 0x0, 0x0
+	dspck_dtsaio shra.ph, 0x2f800, 0x208000, 4, 0x0, 0x0
+	dspck_dtsaio shra.ph, 0xfc01fc00, 0x80208000, 5, 0x0, 0x0
+
+	writemsg "[42] Test shrav.ph"
+	dspck_dstio shrav.ph, 0x10001, 0x20002, 0x1, 0x0, 0x0
+	dspck_dstio shrav.ph, 0x10006, 0x10106f6f, 0xc, 0x0, 0x0
+	dspck_dstio shrav.ph, 0x1c000, 0x28000, 0x1, 0x0, 0x0
+	dspck_dstio shrav.ph, 0x2f800, 0x208000, 0x4, 0x0, 0x0
+	dspck_dstio shrav.ph, 0xfc01fc00, 0x80208000, 0x5, 0x0, 0x0
+
+	writemsg "[43] Test shra_r.ph"
+	dspck_dtsaio shra_r.ph, 0x20001, 0x30002, 1, 0x0, 0x0
+	dspck_dtsaio shra_r.ph, 0x10001, 0x20001, 1, 0x0, 0x0
+	dspck_dtsaio shra_r.ph, 0x10001, 0x10001, 1, 0x0, 0x0
+	dspck_dtsaio shra_r.ph, 0x0, 0x10001, 2, 0x0, 0x0
+
+	writemsg "[44] Test shrav_r.ph"
+	dspck_dstio shrav_r.ph, 0x20001, 0x30002, 0x1, 0x0, 0x0
+	dspck_dstio shrav_r.ph, 0x10001, 0x20001, 0x1, 0x0, 0x0
+	dspck_dstio shrav_r.ph, 0x10001, 0x10001, 0x1, 0x0, 0x0
+	dspck_dstio shrav_r.ph, 0x0, 0x10001, 0x2, 0x0, 0x0
+
+	writemsg "[45] Test shra_r.w"
+	dspck_dtsaio shra_r.w, 0x1, 0x2, 1, 0x0, 0x0
+	dspck_dtsaio shra_r.w, 0xffff8000, 0x80000000, 16, 0x0, 0x0
+	dspck_dtsaio shra_r.w, 0x8001, 0x10001, 1, 0x0, 0x0
+	dspck_dtsaio shra_r.w, 0x1, 0x10001, 17, 0x0, 0x0
+	dspck_dtsaio shra_r.w, 0xffffc001, 0x80010001, 17, 0x0, 0x0
+
+	writemsg "[46] Test shrav_r.w"
+	dspck_dstio shrav_r.w, 0x1, 0x2, 0x1, 0x0, 0x0
+	dspck_dstio shrav_r.w, 0xffff8000, 0x80000000, 0x10, 0x0, 0x0
+	dspck_dstio shrav_r.w, 0x8001, 0x10001, 0x1, 0x0, 0x0
+	dspck_dstio shrav_r.w, 0x8001, 0x10001, 0x21, 0x0, 0x0
+	dspck_dstio shrav_r.w, 0x4000, 0x10001, 0x2, 0x0, 0x0
+
+	writemsg "[47] Test muleu_s.ph.qbl"
+	dspck_dstio muleu_s.ph.qbl, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbl, 0x0, 0x0, 0x40004000, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbl, 0x0, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbl, 0x10001, 0x1010101, 0x10001, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbl, 0x10000, 0x1000001, 0x10001, 0x0, 0x0
+
+	writemsg "[48] Test muleu_s.ph.qbr"
+	dspck_dstio muleu_s.ph.qbr, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbr, 0x0, 0x0, 0x40004000, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbr, 0x0, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbr, 0x10001, 0x1010101, 0x10001, 0x0, 0x0
+	dspck_dstio muleu_s.ph.qbr, 0x1, 0x1000001, 0x10001, 0x0, 0x0
+
+	writemsg "[49] Test mulq_rs.ph"
+	dspck_dstio mulq_rs.ph, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio mulq_rs.ph, 0x0, 0x1, 0x1, 0x0, 0x0
+	dspck_dstio mulq_rs.ph, 0x20000000, 0x40007fff, 0x40000000, 0x0, 0x0
+	dspck_dstio mulq_rs.ph, 0x33330000, 0x66660000, 0x40007fff, 0x0, 0x0
+	dspck_dstio mulq_rs.ph, 0xccd3332, 0x66666666, 0x10003fff, 0x0, 0x0
+
+	writemsg "[50] Test muleq_s.w.phl"
+	dspck_dstio muleq_s.w.phl, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio muleq_s.w.phl, 0x0, 0x0, 0x40004000, 0x0, 0x0
+	dspck_dstio muleq_s.w.phl, 0x0, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_dstio muleq_s.w.phl, 0x0, 0x0, 0xc000c000, 0x0, 0x0
+	dspck_dstio muleq_s.w.phl, 0x0, 0x80008000, 0x0, 0x0, 0x0
+
+	writemsg "[51] Test muleq_s.w.phr"
+	dspck_dstio muleq_s.w.phr, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio muleq_s.w.phr, 0x0, 0x0, 0x40004000, 0x0, 0x0
+	dspck_dstio muleq_s.w.phr, 0x0, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_dstio muleq_s.w.phr, 0x0, 0x0, 0xc000c000, 0x0, 0x0
+	dspck_dstio muleq_s.w.phr, 0x0, 0x80008000, 0x0, 0x0, 0x0
+
+	writemsg "[52] Test dpau.h.qbl"
+	dspck_astio dpau.h.qbl, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpau.h.qbl, 0x0, 0x0, 0x0, 0x1, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpau.h.qbl, 0xffffffff, 0xffffffff, 0x0, 0x0, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpau.h.qbl, 0x0, 0x0, 0x0, 0x0, 0xffff0000, 0xffff, 0x0, 0x0
+	dspck_astio dpau.h.qbl, 0x0, 0x0, 0x0, 0xff, 0xffff0001, 0x1ffff, 0x0, 0x0
+
+	writemsg "[53] Test dpau.h.qbr"
+	dspck_astio dpau.h.qbr, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpau.h.qbr, 0x0, 0x0, 0x0, 0x1, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpau.h.qbr, 0xffffffff, 0xffffffff, 0x0, 0x0, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpau.h.qbr, 0x0, 0x0, 0x0, 0x0, 0xffff0000, 0xffff, 0x0, 0x0
+	dspck_astio dpau.h.qbr, 0x0, 0x0, 0x0, 0xff, 0xffff0001, 0x1ffff, 0x0, 0x0
+
+	writemsg "[54] Test dpsu.h.qbl"
+	dspck_astio dpsu.h.qbl, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpsu.h.qbl, 0x0, 0x1, 0x0, 0x0, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpsu.h.qbl, 0x0, 0x0, 0xffffffff, 0xffffffff, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpsu.h.qbl, 0x0, 0x0, 0x0, 0x0, 0xffff0000, 0xffff, 0x0, 0x0
+	dspck_astio dpsu.h.qbl, 0x0, 0xff, 0x0, 0x0, 0xffff0001, 0x1ffff, 0x0, 0x0
+
+	writemsg "[55] Test dpsu.h.qbr"
+	dspck_astio dpsu.h.qbr, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpsu.h.qbr, 0x0, 0x1, 0x0, 0x0, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpsu.h.qbr, 0x0, 0x0, 0xffffffff, 0xffffffff, 0x1010101, 0x1000001, 0x0, 0x0
+	dspck_astio dpsu.h.qbr, 0x0, 0x0, 0x0, 0x0, 0xffff0000, 0xffff, 0x0, 0x0
+	dspck_astio dpsu.h.qbr, 0x0, 0xff, 0x0, 0x0, 0xffff0001, 0x1ffff, 0x0, 0x0
+
+	writemsg "[56] Test dpaq_s.w.ph"
+	dspck_astio dpaq_s.w.ph, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpaq_s.w.ph, 0x0, 0x0, 0x0, 0xfffc0004, 0x7fff7fff, 0x7fff7fff, 0x0, 0x0
+	dspck_astio dpaq_s.w.ph, 0x0, 0x0, 0x0, 0xfffffffe, 0x80008000, 0x80008000, 0x0, 0xf0000
+	dspck_astio dpaq_s.w.ph, 0x0, 0x0, 0xffffffff, 0xa0000000, 0x40002000, 0x80008000, 0x0, 0x0
+	dspck_astio dpaq_s.w.ph, 0xffffffff, 0xa0000000, 0xffffffff, 0x88000000, 0x10000800, 0x80008000, 0x0, 0x0
+
+	writemsg "[57] Test dpsq_s.w.ph"
+	dspck_astio dpsq_s.w.ph, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpsq_s.w.ph, 0x0, 0xfffc0004, 0x0, 0x0, 0x7fff7fff, 0x7fff7fff, 0x0, 0x0
+	dspck_astio dpsq_s.w.ph, 0x0, 0xfffffffe, 0x0, 0x0, 0x80008000, 0x80008000, 0x0, 0xf0000
+	dspck_astio dpsq_s.w.ph, 0xffffffff, 0xa0000000, 0x0, 0x0, 0x40002000, 0x80008000, 0x0, 0x0
+	dspck_astio dpsq_s.w.ph, 0xffffffff, 0x88000000, 0xffffffff, 0xa0000000, 0x10000800, 0x80008000, 0x0, 0x0
+
+	writemsg "[58] Test mulsaq_s.w.ph"
+	dspck_astio mulsaq_s.w.ph, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio mulsaq_s.w.ph, 0x0, 0x0, 0x0, 0x0, 0x4000, 0xc0000000, 0x0, 0x0
+	dspck_astio mulsaq_s.w.ph, 0x0, 0x0, 0xffffffff, 0x60010000, 0x80004000, 0x7fff4000, 0x0, 0x0
+	dspck_astio mulsaq_s.w.ph, 0x0, 0x0, 0x0, 0x5fffffff, 0x80004000, 0x80004000, 0x0, 0xf0000
+	dspck_astio mulsaq_s.w.ph, 0x7fffffff, 0xffffffff, 0x80000000, 0xfffc0003, 0x7fff8001, 0x7fff7fff, 0x0, 0x0
+
+	writemsg "[59] Test dpaq_sa.l.w"
+	dspck_astio dpaq_sa.l.w, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpaq_sa.l.w, 0x0, 0x0, 0x7ffffffe, 0x2, 0x7fffffff, 0x7fffffff, 0x0, 0x0
+	dspck_astio dpaq_sa.l.w, 0x0, 0x0, 0x7fffffff, 0xffffffff, 0x80000000, 0x80000000, 0x0, 0xf0000
+	dspck_astio dpaq_sa.l.w, 0x0, 0x0, 0xc0000000, 0x80000000, 0xc0000000, 0x7fffffff, 0x0, 0x0
+	dspck_astio dpaq_sa.l.w, 0x20000000, 0x0, 0x0, 0x40000000, 0xe0000000, 0x7fffffff, 0x0, 0x0
+
+	writemsg "[60] Test dpsq_sa.l.w"
+	dspck_astio dpsq_sa.l.w, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio dpsq_sa.l.w, 0x7fffffff, 0xffffffff, 0x0, 0x0, 0x80000000, 0x80000000, 0x0, 0xf0000
+	dspck_astio dpsq_sa.l.w, 0x80000000, 0x0, 0x80000000, 0x0, 0x80000000, 0x80000000, 0x0, 0xf0000
+	dspck_astio dpsq_sa.l.w, 0x0, 0x0, 0x80000000, 0x1, 0x80000000, 0x80000000, 0x0, 0xf0000
+	dspck_astio dpsq_sa.l.w, 0x0, 0x0, 0x3fffffff, 0x80000000, 0xc0000000, 0x7fffffff, 0x0, 0x0
+
+	writemsg "[61] Test maq_s.w.phl"
+	dspck_astio maq_s.w.phl, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio maq_s.w.phl, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x40004000, 0x0, 0x0
+	dspck_astio maq_s.w.phl, 0x0, 0xffffffff, 0x0, 0xffffffff, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_s.w.phl, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_s.w.phl, 0x0, 0x40000000, 0x0, 0x40000000, 0x0, 0xc000c000, 0x0, 0x0
+
+	writemsg "[62] Test maq_s.w.phr"
+	dspck_astio maq_s.w.phr, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio maq_s.w.phr, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x40004000, 0x0, 0x0
+	dspck_astio maq_s.w.phr, 0x0, 0xffffffff, 0x0, 0xffffffff, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_s.w.phr, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_s.w.phr, 0x0, 0x40000000, 0x0, 0x40000000, 0x0, 0xc000c000, 0x0, 0x0
+
+	writemsg "[63] Test maq_sa.w.phl"
+	dspck_astio maq_sa.w.phl, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio maq_sa.w.phl, 0xffffffff, 0x80000000, 0xffffffff, 0x80000000, 0x0, 0x40004000, 0x0, 0x0
+	dspck_astio maq_sa.w.phl, 0x0, 0x7fffffff, 0x0, 0x7fffffff, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_sa.w.phl, 0xffffffff, 0x80000000, 0xffffffff, 0x80000000, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_sa.w.phl, 0x0, 0x40000000, 0x0, 0x40000000, 0x0, 0xc000c000, 0x0, 0x0
+
+	writemsg "[64] Test maq_sa.w.phr"
+	dspck_astio maq_sa.w.phr, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_astio maq_sa.w.phr, 0xffffffff, 0x80000000, 0xffffffff, 0x80000000, 0x0, 0x40004000, 0x0, 0x0
+	dspck_astio maq_sa.w.phr, 0x0, 0x7fffffff, 0x0, 0x7fffffff, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_sa.w.phr, 0xffffffff, 0x80000000, 0xffffffff, 0x80000000, 0x7fff7fff, 0x0, 0x0, 0x0
+	dspck_astio maq_sa.w.phr, 0x0, 0x40000000, 0x0, 0x40000000, 0x0, 0xc000c000, 0x0, 0x0
+
+	writemsg "[65] Test bitrev"
+	dspck_dsio bitrev, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio bitrev, 0x1, 0x8000, 0x0, 0x0
+	dspck_dsio bitrev, 0x8000, 0x1, 0x0, 0x0
+	dspck_dsio bitrev, 0xc0c0, 0x1010303, 0x0, 0x0
+	dspck_dsio bitrev, 0x1, 0xffff8000, 0x0, 0x0
+
+	writemsg "[66] Test insv"
+	dspck_tsi insv, 0xf0caf0f0, 0xf0f0f0f0, 0xa5a5a5a5, 0x311
+	dspck_tsi insv, 0x7fffffe, 0x0, 0x7ffffff, 0xd01
+	dspck_tsi insv, 0x3fff, 0x0, 0x3fff, 0x700
+	dspck_tsi insv, 0xf0f2f0f0, 0xf0f0f0f0, 0xa5a5a5a5, 0x28f
+	dspck_tsi insv, 0x3fc, 0x0, 0x3ff, 0x402
+
+	writemsg "[67] Test repl.qb"
+	dspck_dIio repl.qb, 0x0, 0, 0x0, 0x0
+	dspck_dIio repl.qb, 0x1010101, 1, 0x0, 0x0
+	dspck_dIio repl.qb, 0xffffffff, 255, 0x0, 0x0
+	dspck_dIio repl.qb, 0x7f7f7f7f, 127, 0x0, 0x0
+	dspck_dIio repl.qb, 0xfefefefe, 254, 0x0, 0x0
+
+	writemsg "[68] Test replv.qb"
+	dspck_dsio replv.qb, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio replv.qb, 0x1010101, 0x1, 0x0, 0x0
+	dspck_dsio replv.qb, 0xffffffff, 0xff, 0x0, 0x0
+	dspck_dsio replv.qb, 0x7f7f7f7f, 0x37f, 0x0, 0x0
+	dspck_dsio replv.qb, 0xfefefefe, 0xfffffffe, 0x0, 0x0
+
+	writemsg "[69] Test repl.ph"
+	dspck_dIio repl.ph, 0x0, 0, 0x0, 0x0
+	dspck_dIio repl.ph, 0x10001, 1, 0x0, 0x0
+	dspck_dIio repl.ph, 0xffffffff, -1, 0x0, 0x0
+	dspck_dIio repl.ph, 0xff7fff7f, -129, 0x0, 0x0
+	dspck_dIio repl.ph, 0xfffefffe, -2, 0x0, 0x0
+
+	writemsg "[70] Test replv.ph"
+	dspck_dsio replv.ph, 0x0, 0x0, 0x0, 0x0
+	dspck_dsio replv.ph, 0x10001, 0x1, 0x0, 0x0
+	dspck_dsio replv.ph, 0xffffffff, 0x5555ffff, 0x0, 0x0
+	dspck_dsio replv.ph, 0x37f037f, 0x37f, 0x0, 0x0
+	dspck_dsio replv.ph, 0xfffefffe, 0xfffffffe, 0x0, 0x0
+
+	writemsg "[71] Test cmpu.eq.qb"
+	dspck_stio cmpu.eq.qb, 0x0, 0x0, 0x0, 0xf000000
+	dspck_stio cmpu.eq.qb, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_stio cmpu.eq.qb, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_stio cmpu.eq.qb, 0x10203, 0x4050607, 0x0, 0x0
+	dspck_stio cmpu.eq.qb, 0x8090a0b, 0xc0d0e0f, 0x0, 0x0
+
+	writemsg "[72] Test cmpu.lt.qb"
+	dspck_stio cmpu.lt.qb, 0x0, 0x0, 0x0, 0x0
+	dspck_stio cmpu.lt.qb, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_stio cmpu.lt.qb, 0x0, 0xffffffff, 0x0, 0xf000000
+	dspck_stio cmpu.lt.qb, 0x10203, 0x4050607, 0x0, 0xf000000
+	dspck_stio cmpu.lt.qb, 0x8090a0b, 0xc0d0e0f, 0x0, 0xf000000
+
+	writemsg "[73] Test cmpu.le.qb"
+	dspck_stio cmpu.le.qb, 0x0, 0x0, 0x0, 0xf000000
+	dspck_stio cmpu.le.qb, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_stio cmpu.le.qb, 0x0, 0xffffffff, 0x0, 0xf000000
+	dspck_stio cmpu.le.qb, 0x10203, 0x4050607, 0x0, 0xf000000
+	dspck_stio cmpu.le.qb, 0x8090a0b, 0xc0d0e0f, 0x0, 0xf000000
+
+	writemsg "[74] Test cmpgu.eq.qb"
+	dspck_dstio cmpgu.eq.qb, 0xf, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio cmpgu.eq.qb, 0x0, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_dstio cmpgu.eq.qb, 0x0, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_dstio cmpgu.eq.qb, 0x0, 0x10203, 0x4050607, 0x0, 0x0
+	dspck_dstio cmpgu.eq.qb, 0x0, 0x8090a0b, 0xc0d0e0f, 0x0, 0x0
+
+	writemsg "[75] Test cmpgu.lt.qb"
+	dspck_dstio cmpgu.lt.qb, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio cmpgu.lt.qb, 0x0, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_dstio cmpgu.lt.qb, 0xf, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_dstio cmpgu.lt.qb, 0xf, 0x10203, 0x4050607, 0x0, 0x0
+	dspck_dstio cmpgu.lt.qb, 0xf, 0x8090a0b, 0xc0d0e0f, 0x0, 0x0
+
+	writemsg "[76] Test cmpgu.le.qb"
+	dspck_dstio cmpgu.le.qb, 0xf, 0x0, 0x0, 0x0, 0x0
+	dspck_dstio cmpgu.le.qb, 0x0, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_dstio cmpgu.le.qb, 0xf, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_dstio cmpgu.le.qb, 0xf, 0x10203, 0x4050607, 0x0, 0x0
+	dspck_dstio cmpgu.le.qb, 0xf, 0x8090a0b, 0xc0d0e0f, 0x0, 0x0
+
+	writemsg "[77] Test cmp.eq.ph"
+	dspck_stio cmp.eq.ph, 0x0, 0x0, 0x0, 0x3000000
+	dspck_stio cmp.eq.ph, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_stio cmp.eq.ph, 0xffffffff, 0x0, 0x0, 0x0
+	dspck_stio cmp.eq.ph, 0x7fff7fff, 0xffffffff, 0x0, 0x0
+	dspck_stio cmp.eq.ph, 0x11112222, 0x33334444, 0x0, 0x0
+
+	writemsg "[78] Test cmp.lt.ph"
+	dspck_stio cmp.lt.ph, 0x0, 0x0, 0x0, 0x0
+	dspck_stio cmp.lt.ph, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_stio cmp.lt.ph, 0xffffffff, 0x0, 0x0, 0x3000000
+	dspck_stio cmp.lt.ph, 0x7fff7fff, 0xffffffff, 0x0, 0x0
+	dspck_stio cmp.lt.ph, 0x11112222, 0x33334444, 0x0, 0x3000000
+
+	writemsg "[79] Test cmp.le.ph"
+	dspck_stio cmp.le.ph, 0x0, 0x0, 0x0, 0x3000000
+	dspck_stio cmp.le.ph, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_stio cmp.le.ph, 0xffffffff, 0x0, 0x0, 0x3000000
+	dspck_stio cmp.le.ph, 0x7fff7fff, 0xffffffff, 0x0, 0x0
+	dspck_stio cmp.le.ph, 0x11112222, 0x33334444, 0x0, 0x3000000
+
+	writemsg "[80] Test pick.qb"
+	dspck_dsti pick.qb, 0x0, 0x0, 0x0, 0x0
+	dspck_dsti pick.qb, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_dsti pick.qb, 0xffffffff, 0xffffffff, 0x0, 0xf000000
+	dspck_dsti pick.qb, 0xff, 0xffffffff, 0x0, 0x1000000
+	dspck_dsti pick.qb, 0xff00, 0xffffffff, 0x0, 0x2000000
+
+	writemsg "[81] Test pick.ph"
+	dspck_dsti pick.ph, 0x0, 0x0, 0x0, 0x0
+	dspck_dsti pick.ph, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_dsti pick.ph, 0xffffffff, 0xffffffff, 0x0, 0x3000000
+	dspck_dsti pick.ph, 0xffff, 0xffffffff, 0x0, 0x1000000
+	dspck_dsti pick.ph, 0xffff0000, 0xffffffff, 0x0, 0x2000000
+
+	writemsg "[82] Test packrl.ph"
+	dspck_dstio packrl.ph, 0x00000000, 0x00000000, 0x00000000, 0x0, 0x0
+	dspck_dstio packrl.ph, 0x0000ffff, 0x00000000, 0xffff0000, 0x0, 0x0
+	dspck_dstio packrl.ph, 0x00000000, 0x00000000, 0x0000ffff, 0x0, 0x0
+	dspck_dstio packrl.ph, 0x00005555, 0x00000000, 0x5555aaaa, 0x0, 0x0
+	dspck_dstio packrl.ph, 0x0000aaaa, 0x00000000, 0xaaaa5555, 0x0, 0x0
+
+	writemsg "[83] Test extr.w"
+	dspck_atsaio extr.w, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsaio extr.w, 0x7fffffff, 0xcbcdef01 0xffffffff, 0x1f, 0x0, 0x800000
+	dspck_atsaio extr.w, 0x3fffffff, 0x2bcdef01 0x7ffffffe, 0x1f, 0x0, 0x0
+	dspck_atsaio extr.w, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsaio extr.w, 0x0, 0xfffffffe 0x7fffffff, 0x1, 0x0, 0x0
+
+	writemsg "[84] Test extr_r.w"
+	dspck_atsaio extr_r.w, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsaio extr_r.w, 0x7fffffff, 0xcbcdef01 0x0, 0x1f, 0x0, 0x800000
+	dspck_atsaio extr_r.w, 0x3fffffff, 0x2bcdef01 0x7ffffffe, 0x1f, 0x0, 0x0
+	dspck_atsaio extr_r.w, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsaio extr_r.w, 0x0, 0xfffffffe 0x7fffffff, 0x1, 0x0, 0x0
+
+	writemsg "[85] Test extr_rs.w"
+	dspck_atsaio extr_rs.w, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsaio extr_rs.w, 0x7fffffff, 0xcbcdef01 0x7fffffff, 0x1f, 0x0, 0x800000
+	dspck_atsaio extr_rs.w, 0x3fffffff, 0x2bcdef01 0x7ffffffe, 0x1f, 0x0, 0x0
+	dspck_atsaio extr_rs.w, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsaio extr_rs.w, 0x0, 0xfffffffe 0x7fffffff, 0x1, 0x0, 0x0
+
+	writemsg "[86] Test extr_s.h"
+	dspck_atsaio extr_s.h, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsaio extr_s.h, 0x7fffffff, 0xcbcdef01 0x7fff, 0x1f, 0x0, 0x800000
+	dspck_atsaio extr_s.h, 0x3fffffff, 0x2bcdef01 0x7fff, 0x1f, 0x0, 0x800000
+	dspck_atsaio extr_s.h, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsaio extr_s.h, 0x0, 0xfffffffe 0x7fff, 0x1, 0x0, 0x800000
+
+	writemsg "[87] Test extrv_s.h"
+	dspck_atsio extrv_s.h, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsio extrv_s.h, 0x7fffffff, 0xcbcdef01 0x7fff, 0x1f, 0x0, 0x800000
+	dspck_atsio extrv_s.h, 0x3fffffff, 0x2bcdef01 0x7fff, 0x1f, 0x0, 0x800000
+	dspck_atsio extrv_s.h, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsio extrv_s.h, 0x0, 0xfffffffe 0x7fff, 0x1, 0x0, 0x800000
+
+	writemsg "[88] Test extrv.w"
+	dspck_atsio extrv.w, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsio extrv.w, 0x7fffffff, 0xcbcdef01 0xffffffff, 0x1f, 0x0, 0x800000
+	dspck_atsio extrv.w, 0x3fffffff, 0x2bcdef01 0x7ffffffe, 0x1f, 0x0, 0x0
+	dspck_atsio extrv.w, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsio extrv.w, 0x0, 0xfffffffe 0x7fffffff, 0x1, 0x0, 0x0
+
+	writemsg "[89] Test extrv_r.w"
+	dspck_atsio extrv_r.w, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsio extrv_r.w, 0x7fffffff, 0xcbcdef01 0x0, 0x1f, 0x0, 0x800000
+	dspck_atsio extrv_r.w, 0x3fffffff, 0x2bcdef01 0x7ffffffe, 0x1f, 0x0, 0x0
+	dspck_atsio extrv_r.w, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsio extrv_r.w, 0x0, 0xfffffffe 0x7fffffff, 0x1, 0x0, 0x0
+
+	writemsg "[90] Test extrv_rs.w"
+	dspck_atsio extrv_rs.w, 0x0, 0x0 0x0, 0x0, 0x0, 0x0
+	dspck_atsio extrv_rs.w, 0x7fffffff, 0xcbcdef01 0x7fffffff, 0x1f, 0x0, 0x800000
+	dspck_atsio extrv_rs.w, 0x3fffffff, 0x2bcdef01 0x7ffffffe, 0x1f, 0x0, 0x0
+	dspck_atsio extrv_rs.w, 0xffffffff, 0xffffffff 0xffffffff, 0x0, 0x0, 0x0
+	dspck_atsio extrv_rs.w, 0x0, 0xfffffffe 0x7fffffff, 0x1, 0x0, 0x0
+
+	writemsg "[91] Test extp"
+	dspck_tasiimom extp, 0x0, 0x0, 0x0, 0x0, 0x4000, 0x403f, 0x0, 0x403f
+	dspck_tasiimom extp, 0xffffffff, 0xffff7eff, 0x7e, 0x7, 0xf, 0x3f, 0x0, 0x4000
+	dspck_tasiim extp, 0xfffffff7, 0xefffffff, 0x7e, 0x7, 0x23, 0x3f
+	dspck_tasiim extp, 0xffff7eff, 0xffffffff, 0x7e, 0x7, 0x2f, 0x3f
+
+	writemsg "[92] Test extpv"
+	dspck_tasimom extpv, 0x0, 0x0, 0x0, 0x0, 0x4000, 0x403f, 0x0, 0x403f
+	dspck_tasimom extpv, 0xffffffff, 0xffff7eff, 0x7e, 0x7, 0xf, 0x3f, 0x0, 0x4000
+	dspck_tasim extpv, 0xfffffff7, 0xefffffff, 0x7e, 0x7, 0x23, 0x3f
+	dspck_tasim extpv, 0xffff7eff, 0xffffffff, 0x7e, 0x7, 0x2f, 0x3f
+
+	writemsg "[93] Test extpdp"
+	dspck_tasiimom extpdp, 0x0, 0x0, 0x0, 0x0, 0x4000, 0x403f, 0x3f, 0x403f
+	dspck_tasiimom extpdp, 0xffffffff, 0xffff7eff, 0x7e, 0x7, 0xf, 0x3f, 0x0, 0x4000
+	dspck_tasiim extpdp, 0xfffffff7, 0xefffffff, 0x7e, 0x7, 0x23, 0x3f
+	dspck_tasiim extpdp, 0xffff7eff, 0xffffffff, 0x7e, 0x7, 0x2f, 0x3f
+
+	writemsg "[94] Test extpdpv"
+	dspck_tasimom extpdpv, 0x0, 0x0, 0x0, 0x0, 0x4000, 0x403f, 0x3f, 0x403f
+	dspck_tasimom extpdpv, 0xffffffff, 0xffff7eff, 0x7e, 0x7, 0xf, 0x3f, 0x0, 0x4000
+	dspck_tasim extpdpv, 0xfffffff7, 0xefffffff, 0x7e, 0x7, 0x23, 0x3f
+	dspck_tasim extpdpv, 0xffff7eff, 0xffffffff, 0x7e, 0x7, 0x2f, 0x3f
+
+	writemsg "[95] Test shilo"
+	dspck_asaio shilo, 0x0, 0x0, 0x0, 0x0, 0, 0x0, 0x0
+	dspck_asaio shilo, 0x1, 0x80000000, 0x1, 0x80000000, 0, 0x0, 0x0
+	dspck_asaio shilo, 0x1, 0x80000000, 0x3, 0x0, -1, 0x0, 0x0
+	dspck_asaio shilo, 0x1, 0x80000000, 0x6, 0x0, -2, 0x0, 0x0
+	dspck_asaio shilo, 0x1, 0x80000000, 0x18, 0x0, -4, 0x0, 0x0
+
+	writemsg "[96] Test shilov"
+	dspck_asio shilov, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
+	dspck_asio shilov, 0x1, 0x80000000, 0x1, 0x80000000, 0x0, 0x0, 0x0
+	dspck_asio shilov, 0x1, 0x80000000, 0x3, 0x0, 0xffffffff, 0x0, 0x0
+	dspck_asio shilov, 0x1, 0x80000000, 0x6, 0x0, 0xfffffffe, 0x0, 0x0
+	dspck_asio shilov, 0x1, 0x80000000, 0x18, 0x0, 0xfffffffc, 0x0, 0x0
+
+	writemsg "[97] Test mthlip"
+	dspck_saio mthlip, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x20
+	dspck_saio mthlip, 0x0, 0x1, 0x1, 0x2, 0x2, 0x8, 0x28
+	dspck_saio mthlip, 0xffffffff, 0xffff1234, 0xffff1234, 0xfffffffe, 0xfffffffe, 0x10, 0x30
+	dspck_saio mthlip, 0xdeadbeef, 0x1234, 0x1234, 0xbeefdead, 0xbeefdead, 0x18, 0x38
+
+	writemsg "[98] Test wrdsp"
+	dspck_wrdsp 0x0, 0x0, 0x0, 0x0
+	dspck_wrdsp 0x4000, 0x20, 0x0, 0x4000
+	dspck_wrdsp 0xffffffff, 0x3f, 0x0, 0x0fff7fbf
+	dspck_wrdsp 0x3f, 0x1, 0x0, 0x3f
+	dspck_wrdsp 0x1f80, 0x2, 0x0, 0x1f80
+
+	writemsg "[99] Test rddsp"
+	dspck_rddsp 0x0, 0x0, 0x0
+	dspck_rddsp 0x0, 0x0, 0xffffffff
+	dspck_rddsp 0x3f, 0x1, 0xffffffff
+	dspck_rddsp 0x1f80, 0x2, 0x0fff7fbf
+	dspck_rddsp 0x2000, 0x4, 0x0fff7fbf
+
+	writemsg "[100] Test lbux"
+	.data
+mydata:
+	.byte	0x12
+	.byte	0x34
+	.byte	0x56
+	.byte	0x78
+	.byte	0x9a
+	.byte	0xbc
+	.byte	0xde
+	.byte	0xf0
+	.previous
+	dspck_load lbux, 0x12, 0x0, mydata
+	dspck_load lbux, 0x34, 0x1, mydata
+	dspck_load lbux, 0x56, 0x2, mydata
+	dspck_load lbux, 0x78, 0x3, mydata
+	dspck_load lbux, 0x9a, 0x4, mydata
+	dspck_load lbux, 0xbc, 0x5, mydata
+	dspck_load lbux, 0xde, 0x6, mydata
+	dspck_load lbux, 0xf0, 0x7, mydata
+
+	writemsg "[101] Test lhx"
+	.data
+myhdata:
+	.hword	0x1234
+	.hword	0x5678
+	.hword	0x9abc
+	.hword	0xdef0
+	.previous
+	dspck_load lhx, 0x1234, 0x0, myhdata
+	dspck_load lhx, 0x5678, 0x2, myhdata
+	dspck_load lhx, 0xffff9abc, 0x4, myhdata
+	dspck_load lhx, 0xffffdef0, 0x6, myhdata
+
+	writemsg "[102] Test lwx"
+	.data
+mywdata:
+	.word	0x12345678
+	.word	0x9abcdef0
+	.word	0x13579abc
+	.word	0xffff0001
+	.previous
+	dspck_load lwx, 0x12345678, 0x0, mywdata
+	dspck_load lwx, 0x9abcdef0, 0x4, mywdata
+	dspck_load lwx, 0x13579abc, 0x8, mywdata
+	dspck_load lwx, 0xffff0001, 0xc, mywdata
+
+	writemsg "[103] Test bposge32"
+	dspck_bposge32 0x0, 0
+	dspck_bposge32 0x1f, 0
+	dspck_bposge32 0x20, 1
+	dspck_bposge32 0x3f, 1
+
+	pass
+	.end DIAG
+
diff --git a/sim/testsuite/sim/mips/utils-dsp.inc b/sim/testsuite/sim/mips/utils-dsp.inc
new file mode 100644
index 0000000..4c56ffd
--- /dev/null
+++ b/sim/testsuite/sim/mips/utils-dsp.inc
@@ -0,0 +1,407 @@
+# MIPS DSP ASE simulator testsuite utility functions.
+# Copyright (C) 2005 Free Software Foundation, Inc.
+# Contributed by MIPS Technologies, Inc.  Written by Chao-ying Fu.
+#
+# This file is part of the GNU simulators.
+#
+# 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 2, 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, write to the Free Software Foundation, Inc.,
+# 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+
+# $4, $5, $6, $7, $ac0, $ac1, $ac2, $ac3 are used as temps by the macros
+# defined here.
+
+	# If a != b, jump to _fail.
+	# Otherwise, fall through.
+	.macro dsp_assert a, b
+	beq	\a, \b, 1f
+	nop
+	j	_fail
+	nop
+1: 
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (inst ?, s, t)
+	# Check if crout == dsp control register
+	.macro dspck_dstio inst, d, s, t, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \s
+	li	$5, \t
+	\inst	$6, $4, $5
+	li	$7, \d
+	dsp_assert	$6, $7
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# (inst s, t)
+	# Check if crout == dsp control register
+	.macro dspck_stio inst, s, t, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \s
+	li	$5, \t
+	\inst	$4, $5
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (inst ?, s, t)
+	.macro dspck_dsti inst, d, s, t, crin
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \s
+	li	$5, \t
+	\inst	$6, $4, $5
+	li	$7, \d
+	dsp_assert	$6, $7
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if tou == (inst tin, s)
+	.macro dspck_tsi inst, tou, tin, s, crin
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \s
+	li	$5, \tin
+	\inst	$5, $4
+	li	$6, \tou
+	dsp_assert	$5, $6
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (inst ?, imm)
+	# Check if crout == dsp control register
+	.macro dspck_dIio inst, d, imm, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	\inst	$5, \imm
+	li	$6, \d
+	dsp_assert	$5, $6
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (inst ?, s)
+	# Check if crout == dsp control register
+	.macro dspck_dsio inst, d, s, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \s
+	\inst	$6, $4
+	li	$7, \d
+	dsp_assert	$6, $7
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (inst ?, t, sa)
+	# Check if crout == dsp control register
+	.macro dspck_dtsaio inst, d, t, sa, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \t
+	\inst	$6, $4, \sa
+	li	$7, \d
+	dsp_assert	$6, $7
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (inst ?, t, sa)
+	.macro dspck_dtsai inst, d, t, sa, crin
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \t
+	\inst	$6, $4, \sa
+	li	$7, \d
+	dsp_assert	$6, $7
+	.endm
+
+	# Set dsp control register <= crin
+	# Set $ac3 <= {hiin, loin}
+	# (inst $ac3, s, t)
+	# Check if {hiou, loou} == $ac3
+	# Check if (crout & 0x80000) == (dsp control register & 0x80000)
+	.macro dspck_astio inst, hiin, loin, hiou, loou, s, t, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \hiin
+	mthi	$4, $ac3
+	li	$4, \loin
+	mtlo	$4, $ac3
+	li	$4, \s
+	li	$5, \t
+	\inst	$ac3, $4, $5
+	li	$4, \hiou
+	mfhi	$5, $ac3
+	dsp_assert	$4, $5
+	li	$4, \loou
+	mflo	$5, $ac3
+	dsp_assert	$4, $5
+	li	$4, \crout
+	and	$4, $4, 0x80000
+	rddsp	$5
+	and	$5, $5, 0x80000
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Set $ac1 <= {hi, lo}
+	# Check if t == (inst ? $ac1, sa)
+	# Check if crout == dsp control register
+	.macro dspck_atsaio inst, hi, lo, t, sa, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac1
+	li	$4, \lo
+	mtlo	$4, $ac1
+	\inst	$5, $ac1, \sa
+	li	$6, \t
+	dsp_assert	$5, $6
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Set $ac1 <= {hi, lo}
+	# Check if t == (inst ? $ac1, s)
+	# Check if crout == dsp control register
+	.macro dspck_atsio inst, hi, lo, t, s, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac1
+	li	$4, \lo
+	mtlo	$4, $ac1
+	li	$4, \s
+	\inst	$5, $ac1, $4
+	li	$6, \t
+	dsp_assert	$5, $6
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= (crin & crinmask)
+	# Set $ac2 <= {hi, lo}
+	# Check if t == (inst ? $ac2, size)
+	# Check if (crout & croutmask) == (dsp control register & croutmask)
+	.macro dspck_tasiimom inst, hi, lo, t, size, crin, crinmask, crout, croutmask
+	li	$4, \crin
+	and	$4, \crinmask
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac2
+	li	$4, \lo
+	mtlo	$4, $ac2
+	\inst	$5, $ac2, \size
+	li	$6, \t
+	dsp_assert	$5, $6
+	li	$4, \crout
+	and	$4, \croutmask
+	rddsp	$5
+	and	$5, \croutmask
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= (crin & crinmask)
+	# Set $ac2 <= {hi, lo}
+	# Check if t == (inst ? $ac2, size)
+	.macro dspck_tasiim inst, hi, lo, t, size, crin, crinmask
+	li	$4, \crin
+	and	$4, \crinmask
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac2
+	li	$4, \lo
+	mtlo	$4, $ac2
+	\inst	$5, $ac2, \size
+	li	$6, \t
+	dsp_assert	$5, $6
+	.endm
+
+	# Set dsp control register <= (crin & crinmask)
+	# Set $ac2 <= {hi, lo}
+	# Check if t == (inst ? $ac2, s)
+	# Check if (crout & croutmask) == (dsp control register & croutmask)
+	.macro dspck_tasimom inst, hi, lo, t, s, crin, crinmask, crout, croutmask
+	li	$4, \crin
+	and	$4, \crinmask
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac2
+	li	$4, \lo
+	mtlo	$4, $ac2
+	li	$4, \s
+	\inst	$5, $ac2, $4
+	li	$6, \t
+	dsp_assert	$5, $6
+	li	$4, \crout
+	and	$4, \croutmask
+	rddsp	$5
+	and	$5, \croutmask
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= (crin & crinmask)
+	# Set $ac2 <= {hi, lo}
+	# Check if t == (inst ? $ac2, s)
+	.macro dspck_tasim inst, hi, lo, t, s, crin, crinmask
+	li	$4, \crin
+	and	$4, \crinmask
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac2
+	li	$4, \lo
+	mtlo	$4, $ac2
+	li	$4, \s
+	\inst	$5, $ac2, $4
+	li	$6, \t
+	dsp_assert	$5, $6
+	.endm
+
+	# Set dsp control register <= crin
+	# Set $ac0 <= {hi, lo}
+	# (inst $ac0, shift)
+	# Check if $ac0 == {hio, loo}
+	# Check if crout == dsp control register
+	.macro dspck_asaio inst, hi, lo, hio, loo, shift, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac0
+	li	$4, \lo
+	mtlo	$4, $ac0
+	\inst	$ac0, \shift
+	mfhi	$5, $ac0
+	li	$6, \hio
+	dsp_assert	$5, $6
+	mflo	$5, $ac0
+	li	$6, \loo
+	dsp_assert	$5, $6
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Set $ac0 <= {hi, lo}
+	# (inst $ac0, s)
+	# Check if $ac0 == {hio, loo}
+	# Check if crout == dsp control register
+	.macro dspck_asio inst, hi, lo, hio, loo, s, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac0
+	li	$4, \lo
+	mtlo	$4, $ac0
+	li	$4, \s
+	\inst	$ac0, $4
+	mfhi	$5, $ac0
+	li	$6, \hio
+	dsp_assert	$5, $6
+	mflo	$5, $ac0
+	li	$6, \loo
+	dsp_assert	$5, $6
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# Set $ac3 <= {hi, lo}
+	# Check if s == (inst ? $ac3)
+	# Check if $ac3 == {hio, loo}
+	# Check if crout == dsp control register
+	.macro dspck_saio inst, hi, lo, hio, loo, s, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$4, \hi
+	mthi	$4, $ac3
+	li	$4, \lo
+	mtlo	$4, $ac3
+	li	$5, \s
+	\inst	$5, $ac3
+	mfhi	$5, $ac3
+	li	$6, \hio
+	dsp_assert	$5, $6
+	mflo	$5, $ac3
+	li	$6, \loo
+	dsp_assert	$5, $6
+	li	$4, \crout
+	rddsp	$5
+	dsp_assert	$4, $5
+	.endm
+
+	# Set dsp control register <= crin
+	# (wrdsp s, m)
+	# Check if crout == dsp control register
+	.macro dspck_wrdsp s, m, crin, crout
+	li	$4, \crin
+	wrdsp	$4
+	li	$5, \s
+	wrdsp	$5, \m
+	li	$6, \crout
+	rddsp	$7
+	dsp_assert	$6, $7
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if d == (rddsp ?, m)
+	.macro dspck_rddsp d, m, crin
+	li	$4, \crin
+	wrdsp	$4
+	rddsp	$5, \m
+	li	$6, \d
+	dsp_assert	$5, $6
+	.endm
+
+	# Check if d == (inst i(b))
+	.macro dspck_load inst, d, i, b
+	li	$4, \i
+	la	$5, \b
+	\inst	$6, $4($5)
+	li	$7, \d
+	dsp_assert	$6, $7
+	.endm
+
+	# Set dsp control register <= crin
+	# Check if bposge32 is taken or not as expected in r
+	# (1 => taken, 0 => not taken)
+	.macro dspck_bposge32 crin, r
+	li	$4, \crin
+	wrdsp	$4
+	li	$5, 1
+	bposge32	1f
+	nop
+	li	$5, 0
+1:
+	li	$6, \r
+	dsp_assert	$5, $6
+	.endm
-- 
2.7.4