common/sim-bits.h: Document ROTn macro.

igen/{igen.c,ld-insns.h}: Document mnemonic string formats.
mips/Makefile.in: Add dependencies for files included by mips.igen
mips/vr5400.igen: checkpoint vr5400 instructions.

8 files changed, 726 insertions, 22 deletions

diff --git a/sim/common/ChangeLog b/sim/common/ChangeLog
index 1bf1dcc..4fecc8f 100644
--- a/sim/common/ChangeLog
+++ b/sim/common/ChangeLog
@@ -1,5 +1,7 @@
 Tue Oct 28 12:29:22 1997  Andrew Cagney  <cagney@b1.cygnus.com>
 
+	* sim-bits.h: Document ROTn macro.
+
 	* sim-endian.h (H2T): Handle 16 byte variables.
 
 	* sim-n-core.h (sim_core_read_unaligned_N): Return a dummy when an
diff --git a/sim/igen/ChangeLog b/sim/igen/ChangeLog
index 200e1e0..df09e17 100644
--- a/sim/igen/ChangeLog
+++ b/sim/igen/ChangeLog
@@ -1,3 +1,7 @@
+Wed Oct 29 13:17:17 1997  Andrew Cagney  <cagney@b1.cygnus.com>
+
+	* ld-insn.h: Document mnemonic string format.
+
 Tue Oct 28 10:50:35 1997  Andrew Cagney  <cagney@b1.cygnus.com>
 
 	* gen-icache.c (print_icache_extraction): Force result of atol to
diff --git a/sim/mips/.Sanitize b/sim/mips/.Sanitize
index fce872a..9071b24 100644
--- a/sim/mips/.Sanitize
+++ b/sim/mips/.Sanitize
@@ -59,7 +59,7 @@ Things-to-lose:
 
 Do-last:
 
-r5900_files="ChangeLog configure configure.in interp.c gencode.c mips.igen mips.dc m16.igen r5900.igen"
+r5900_files="ChangeLog configure configure.in sim-main.h interp.c gencode.c mips.igen mips.dc m16.igen r5900.igen"
 
 if ( echo $* | grep keep\-r5900 > /dev/null ) ; then
 	for i in $r5900_files ; do
@@ -89,7 +89,7 @@ else
 fi
 
 
-tx19_files="ChangeLog configure configure.in interp.c gencode.c mips.igen mips.dc m16.igen"
+tx19_files="ChangeLog configure configure.in sim-main.h interp.c gencode.c mips.igen mips.dc m16.igen"
 
 if ( echo $* | grep keep\-tx19 > /dev/null ) ; then
 	for i in $tx19_files ; do
@@ -119,7 +119,7 @@ else
 fi
 
 
-vr5400_files="ChangeLog configure configure.in interp.c gencode.c mips.igen mips.dc m16.igen vr5400.igen"
+vr5400_files="ChangeLog configure configure.in sim-main.h interp.c gencode.c mips.igen mips.dc m16.igen vr5400.igen"
 
 if ( echo $* | grep keep\-vr5400 > /dev/null ) ; then
 	for i in $vr5400_files ; do
@@ -170,5 +170,10 @@ never_files="ChangeLog configure configure.in interp.c gencode.c mips.igen mips.
 	done
 
 
+for i in * ; do
+        if test ! -d $i && (grep sanitize $i > /dev/null) ; then
+                echo '***' Some mentions of Sanitize are still left in $i! 1>&2
+        fi
+done 
 
 # End of file.
diff --git a/sim/mips/ChangeLog b/sim/mips/ChangeLog
index 334db04..11e9d2a 100644
--- a/sim/mips/ChangeLog
+++ b/sim/mips/ChangeLog
@@ -1,3 +1,10 @@
+Wed Oct 29 11:13:56 1997  Andrew Cagney  <cagney@b1.cygnus.com>
+
+	* mips.igen: 
+
+	* Makefile.in (IGEN_INCLUDE): Files included by mips.igen.
+	(tmp-igen, tmp-m16): Depend on IGEN_INCLUDE.
+
 Tue Oct 28 11:06:47 1997  Andrew Cagney  <cagney@b1.cygnus.com>
 
 	* mips.igen: Add model filter field to records.
diff --git a/sim/mips/Makefile.in b/sim/mips/Makefile.in
index 30fe9bd..1b5e503 100644
--- a/sim/mips/Makefile.in
+++ b/sim/mips/Makefile.in
@@ -100,7 +100,14 @@ getopt1.o: $(srcdir)/../../libiberty/getopt1.c
 IGEN_TRACE= # -G omit-line-numbers # -G trace-rule-selection -G trace-rule-rejection -G trace-entries
 IGEN_INSN=$(srcdir)/mips.igen
 IGEN_DC=$(srcdir)/mips.dc
-
+IGEN_INCLUDE=\
+	$(start-sanitize-r5900) \
+	$(srcdir)/r5900.igen \
+	$(end-sanitize-r5900) \
+	$(start-sanitize-vr5400) \
+	$(srcdir)/vr5400.igen \
+	$(end-sanitize-vr5400) \
+	$(srcdir)/m16.igen
 
 SIM_IGEN_ALL = tmp-igen
 
@@ -128,7 +135,7 @@ clean-igen:
 	rm -f $(BUILT_SRC_FROM_IGEN)
 	rm -f tmp-igen
 
-tmp-igen: $(IGEN_INSN) $(IGEN_DC) ../igen/igen
+tmp-igen: $(IGEN_INSN) $(IGEN_DC) ../igen/igen $(IGEN_INCLUDE)
 	cd ../igen && $(MAKE)
 	../igen/igen \
 		$(IGEN_TRACE) \
@@ -200,7 +207,7 @@ clean-m16:
 	rm -f $(BUILT_SRC_FROM_M16)
 	rm -f tmp-m16
 
-tmp-m16: $(IGEN_INSN) $(IGEN_DC) ../igen/igen
+tmp-m16: $(IGEN_INSN) $(IGEN_DC) ../igen/igen $(IGEN_INCLUDE)
 	cd ../igen && $(MAKE)
 	../igen/igen \
 		$(IGEN_TRACE) \
diff --git a/sim/mips/mips.igen b/sim/mips/mips.igen
index f84519d..185d99e 100644
--- a/sim/mips/mips.igen
+++ b/sim/mips/mips.igen
@@ -612,9 +612,6 @@
 *mipsII:
 *mipsIII:
 *mipsIV:
-// start-sanitize-vr5400
-*vr5400:
-// end-sanitize-vr5400
 // start-sanitize-r5900
 *r5900:
 // end-sanitize-r5900
@@ -953,7 +950,7 @@
 
 
 00000000000,5.RT,5.RD,5.SHIFT,111000:SPECIAL:64::DSLL
-"dsll r<RD>, r<RT>, <SA>"
+"dsll r<RD>, r<RT>, <SHIFT>"
 *mipsIII:
 *mipsIV:
 // start-sanitize-vr5400
@@ -967,13 +964,13 @@
 *tx19:
 // end-sanitize-tx19
 {
-  int s = SA;
+  int s = SHIFT;
   GPR[RD] = GPR[RT] << s;
 }
 
 
 00000000000,5.RT,5.RD,5.SHIFT,111100:SPECIAL:64::DSLL32
-"dsll32 r<RD>, r<RT>, <SA>"
+"dsll32 r<RD>, r<RT>, <SHIFT>"
 *mipsIII:
 *mipsIV:
 // start-sanitize-vr5400
@@ -987,7 +984,7 @@
 *tx19:
 // end-sanitize-tx19
 {
-  int s = 32 + SA;
+  int s = 32 + SHIFT;
   GPR[RD] = GPR[RT] << s;
 }
 
@@ -1013,7 +1010,7 @@
 
 
 00000000000,5.RT,5.RD,5.SHIFT,111011:SPECIAL:64::DSRA
-"dsra r<RD>, r<RT>, <SA>"
+"dsra r<RD>, r<RT>, <SHIFT>"
 *mipsIII:
 *mipsIV:
 // start-sanitize-vr5400
@@ -1027,13 +1024,13 @@
 *tx19:
 // end-sanitize-tx19
 {
-  int s = SA;
+  int s = SHIFT;
   GPR[RD] = ((signed64) GPR[RT]) >> s;
 }
 
 
 00000000000,5.RT,5.RD,5.SHIFT,111111:SPECIAL:64::DSRA32
-"dsra32 r<RT>, r<RD>, <SA>"
+"dsra32 r<RT>, r<RD>, <SHIFT>"
 *mipsIII:
 *mipsIV:
 // start-sanitize-vr5400
@@ -1047,7 +1044,7 @@
 *tx19:
 // end-sanitize-tx19
 {
-  int s = 32 + SA;
+  int s = 32 + SHIFT;
   GPR[RD] = ((signed64) GPR[RT]) >> s;
 }
 
@@ -1073,7 +1070,7 @@
 
 
 00000000000,5.RT,5.RD,5.SHIFT,111010:SPECIAL:64::DSRL
-"dsrav r<RD>, r<RT>, <SA>"
+"dsrav r<RD>, r<RT>, <SHIFT>"
 *mipsIII:
 *mipsIV:
 // start-sanitize-vr5400
@@ -1087,13 +1084,13 @@
 *tx19:
 // end-sanitize-tx19
 {
-  int s = SA;
+  int s = SHIFT;
   GPR[RD] = (unsigned64) GPR[RT] >> s;
 }
 
 
 00000000000,5.RT,5.RD,5.SHIFT,111110:SPECIAL:64::DSRL32
-"dsrl32 r<RD>, r<RT>, <SA>"
+"dsrl32 r<RD>, r<RT>, <SHIFT>"
 *mipsIII:
 *mipsIV:
 // start-sanitize-vr5400
@@ -1107,7 +1104,7 @@
 *tx19:
 // end-sanitize-tx19
 {
-  int s = 32 + SA;
+  int s = 32 + SHIFT;
   GPR[RD] = (unsigned64) GPR[RT] >> s;
 }
 
diff --git a/sim/mips/sim-main.h b/sim/mips/sim-main.h
index eb0f162..b096069 100644
--- a/sim/mips/sim-main.h
+++ b/sim/mips/sim-main.h
@@ -503,6 +503,9 @@ struct _sim_cpu {
 #define SA ((STATE_CPU (sd, 0))->sa)
 
   /* end-sanitize-r5900 */
+  /* start-sanitize-vr5400 */
+
+  /* end-sanitize-vr5400 */
 
 
 
diff --git a/sim/mips/vr5400.igen b/sim/mips/vr5400.igen
index d15abba..16fd0d9 100644
--- a/sim/mips/vr5400.igen
+++ b/sim/mips/vr5400.igen
@@ -1 +1,680 @@
-// Empty
+
+
+// Integer Instructions
+// --------------------
+//
+// MulAcc is the Multiply Accumulator.
+//     This register is mapped on the the HI and LO registers.
+//     Upper 32 bits of MulAcc is mapped on to lower 32 bits of HI register.
+//     Lower 32 bits of MulAcc is mapped on to lower 32 bits of LO register.
+
+
+:function:::unsigned64:MulAcc:
+{
+  unsigned64 result = U8_4 (HI, LO);
+  return result;
+}
+
+:function:::void:SET_MulAcc:unsigned64 value
+{
+  *AL4_8 (&HI) = VH4_8 (value);
+  *AL4_8 (&LO) = VL4_8 (value);
+}
+
+:function:::signed64:SignedMultiply:signed32 l, signed32 r
+{
+  signed64 result = (signed64) l * (signed64) r;
+  return result;
+}
+
+:function:::unsigned64:UnsignedMultiply:unsigned32 l, unsigned32 r
+{
+  unsigned64 result = (unsigned64) l * (unsigned64) r;
+  return result;
+}
+
+:function:::unsigned64:Low32Bits:unsigned64 value
+{
+  unsigned64 result = VL4_8 (value);
+  return result;
+}
+
+:function:::unsigned64:High32Bits:unsigned64 value
+{
+  unsigned64 result = VH4_8 (value);
+  return result;
+}
+
+
+
+// Multiply and Move LO.
+000000,5.RS,5.RT,5.RD,00001,011000::::MUL
+"mul r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 + SignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply and Move Low.
+000000,5.RS,5.RT,5.RD,00001,011001::::MULU
+"mulu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 + UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Multiply and Move HI.
+000000,5.RS,5.RT,5.RD,01001,011000::::MULHI
+"mulhi r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 + SignedMultiply   (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply and Move HI.
+000000,5.RS,5.RT,5.RD,01001,011001::::MULHIU
+"mulhiu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 + UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+
+// Multiply, Negate and Move LO.
+000000,5.RS,5.RT,5.RD,00011,011000::::MULS
+"muls r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 - SignedMultiply   (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply, Negate and Move LO.
+000000,5.RS,5.RT,5.RD,00011,011001::::MULSU
+"mulsu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 - UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Multiply, Negate and Move HI.
+000000,5.RS,5.RT,5.RD,01011,011000::::MULSHI
+"mulshi r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 - SignedMultiply   (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply, Negate and Move HI.
+000000,5.RS,5.RT,5.RD,01011,011001::::MULSHIU
+"mulshiu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, 0 - UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+
+// Multiply, Accumulate and Move LO.
+000000,5.RS,5.RT,5.RD,00101,011000::::MACC
+"macc r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) + SignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply, Accumulate and Move LO.
+000000,5.RS,5.RT,5.RD,00101,011001::::MACCU
+"maccu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) + UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Multiply, Accumulate and Move HI.
+000000,5.RS,5.RT,5.RD,01101,011000::::MACCHI
+"macchi r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) + SignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply, Accumulate and Move HI.
+000000,5.RS,5.RT,5.RD,01101,011001::::MACCHIU
+"macchiu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) + UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+
+}
+
+// Multiply, Negate, Accumulate and Move LO.
+000000,5.RS,5.RT,5.RD,00111,011000::::MSAC
+"msac r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) - SignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply, Negate, Accumulate and Move LO.
+000000,5.RS,5.RT,5.RD,00111,011001::::MSACU
+"msacu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) - UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = Low32Bits  (SD_, MulAcc (SD_));
+}
+
+// Multiply, Negate, Accumulate and Move HI.
+000000,5.RS,5.RT,5.RD,01111,011000::::MSACHI
+"msachi r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) - SignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+// Unsigned Multiply, Negate, Accumulate and Move HI.
+000000,5.RS,5.RT,5.RD,01111,011001::::MSACHIU
+"msachiu r<RD>, r<RS>, r<RT>"
+*vr5400:
+{
+  SET_MulAcc (SD_, MulAcc (SD_) - UnsignedMultiply (SD_, GPR[RS], GPR[RT]));
+  GPR[RD] = High32Bits (SD_, MulAcc (SD_));
+}
+
+
+// Rotate Right.
+000000,00001,5.RT,5.RD,5.SHIFT,000010::::ROR
+"ror r<RD>, r<RT>, <SHIFT>"
+*vr5400:
+{
+  int s = SHIFT;
+  GPR[RD] = ROTR32 (GPR[RT], s);
+}
+
+// Rotate Right Variable.
+000000,5.RS,5.RT,5.RD,00001,000110::::RORV
+"rorv r<RD>, r<RT>, <RS>"
+*vr5400:
+{
+  int s = MASKED (GPR[RS], 4, 0);
+  GPR[RD] = ROTR32 (GPR[RT], s);
+}
+
+// Double Rotate Right.
+000000,00001,5.RT,5.RD,5.SHIFT,111010::::DROR
+"dror r<RD>, r<RT>, <SHIFT>"
+*vr5400:
+{
+  int s = SHIFT;
+  GPR[RD] = ROTR64 (GPR[RT], s);
+}
+
+// Double Rotate Right Plus 32.
+000000,00001,5.RT,5.RD,5.SHIFT,111110::::DROR32
+"dror32 r<RD>, r<RT>, <SHIFT>"
+*vr5400:
+{
+  int s = SHIFT + 32;
+  GPR[RD] = ROTR64 (GPR[RT], s);
+}
+
+// Double Rotate Right Variable.
+000000,5.RS,5.RT,5.RD,00001,010110::::DRORV
+"drorv r<RD>, r<RT>, <RS>"
+*vr5400:
+{
+  int s = MASKED (GPR[RS], 5, 0);
+  GPR[RD] = ROTR64 (GPR[RT], s);
+}
+
+
+
+
+// Media Instructions
+// ------------------
+
+// Note:   Vector unit in R5400 supports only octal byte format. 
+// Note:   The sel field is deduced by special handling of the "vt"
+// operand.
+//         If vt is:
+//             of the form $vt[0],        then sel is 0000
+//             of the form $vt[1],        then sel is 0001
+//             of the form $vt[2],        then sel is 0010
+//             of the form $vt[3],        then sel is 0011
+//             of the form $vt[4],        then sel is 0100
+//             of the form $vt[5],        then sel is 0101
+//             of the form $vt[6],        then sel is 0110
+//             of the form $vt[7],        then sel is 0111
+//             Normal register specifier, then sel is 1011
+//             Constant,                  then sel is 1111
+//
+// VecAcc is the Vector Accumulator.
+//     This accumulator is organized as 8X24 bit (192 bit) register.
+//     This accumulator holds only signed values.
+
+:function:::signed:vr:int fpr, int byte
+{
+  signed8 b = V1_8 (value_fpr (sd, fpr, fmt_long), byte);
+  return b;
+}
+
+:function:::void:set_vr:int fpr, int byte, signed value
+{
+  abort ();
+}
+
+:function:::signed:VecAcc:int byte
+{
+  abort ();
+  return 0;
+}
+
+:function:::void:set_VecAcc:int byte, signed value
+{
+  abort ();
+}
+
+:function:::int:cc:int i
+{
+  abort ();
+  return 0;
+}
+
+:function:::void:set_cc:int i, int value
+{
+  abort ();
+}
+
+:function:::signed:Min:signed l, signed r
+{
+  if (l < r)
+    return l;
+  else
+    return r;
+}
+
+:function:::signed:Max:signed l, signed r
+{
+  if (l < r)
+    return r;
+  else
+    return l;
+}
+
+:function:::signed:Compare:signed l, signed r
+{
+  abort ();
+  return 0;
+}
+
+:function:::signed:Clamp:signed l
+{
+  abort ();
+  return 0;
+}
+
+:function:::signed:Round:signed l
+{
+  abort ();
+  return 0;
+}
+
+:function:::void:ByteAlign:int vd, int imm, int vs, int vt
+{
+  abort ();
+}
+
+:function:::signed:One_of:int vs, int vt
+{
+  abort ();
+  return 0;
+}
+
+:function:::unsigned:select:int i, int sel, int vt
+{
+  if (sel < 8)
+    return vr (SD_, vt, sel);
+  else if (sel == 0x13)
+    return vr (SD_, vt, i);
+  else if (sel == 0x1f)
+    return vt;
+  else
+    semantic_illegal (sd, cia);
+  return 0;
+}
+
+:%s::::VT:int sel, int vt
+{
+  static char buf[20];
+  if (sel < 8)
+    sprintf (buf, "v%d[%d]", vt, sel);
+  else if (sel == 0x13)
+    sprintf (buf, "v%d", vt);
+  else if (sel == 0x1f)
+    sprintf (buf, "%d", vt);
+  else
+    sprintf (buf, "(invalid)");
+  return buf;
+}
+
+
+// Vector Add.
+010010,4.SEL,0,5.VT,5.VS,5.VD,001011::::ADD.OB
+"add.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) + select (SD_, i, SEL, VT));
+}
+
+// Vector Align.
+010010,00,3.IMM,5.VT,5.VS,5.VD,011000::::ALNI.OB
+"alni.ob v<VD>, v<VS>, v<VT>, <IMM>"
+*vr5400:
+{
+  ByteAlign (SD_, VD, IMM, VS, VT);
+}
+
+// Vector And.
+010010,4.SEL,0,5.VT,5.VS,5.VD,001100::::AND.OB
+"and.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) & select (SD_, i, SEL, VT));
+}
+
+// Vector Compare Equal.
+010010,4.SEL,0,5.VT,5.VS,00000,000001::::C.EQ.OB
+"c.eq.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_cc (SD_, i, Compare (SD_, vr (SD_, VS, i), select (SD_, i, SEL, VT)));
+}
+
+// Vector Compare Less Than or Equal.
+010010,4.SEL,0,5.VT,5.VS,00000,000101::::C.LE.OB
+"c.le.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_cc (SD_, i, Compare (SD_, vr (SD_, VS, i), select (SD_, i, SEL, VT)));
+}
+
+// Vector Compare Less Than.
+010010,4.SEL,0,5.VT,5.VS,00000,000100::::C.LT.OB
+"c.lt.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_cc (SD_, i, Compare (SD_, vr (SD_, VS, i), select (SD_, i, SEL, VT)));
+}
+
+// Vector Maximum.
+010010,4.SEL,0,5.VT,5.VS,5.VD,000111::::MAX.OB
+"max.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, Max (SD_, vr (SD_, VS, i), select (SD_, i, SEL, VT)));
+}
+
+// Vector Minimum.
+010010,4.SEL,0,5.VT,5.VS,5.VD,000110::::MIN.OB
+"min.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, Min (SD_, vr (SD_, VS, i), select (SD_, i, SEL, VT)));
+}
+
+// Vector Multiply.
+010010,4.SEL,0,5.VT,5.VS,5.VD,110000::::MUL.OB
+"mul.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) * select (SD_, i, SEL, VT));
+}
+
+// Vector Multiply, Accumulate.
+010010,4.SEL,0,5.VT,5.VS,00000,110011::::MULA.OB
+"mula.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_VecAcc (SD_, i, VecAcc (SD_, i) + vr (SD_, VS, i) * select (SD_, i, SEL, VT));
+}
+
+// Vector Multiply, Load Accumulator.
+010010,4.SEL,0,5.VT,5.VS,10000,110011::::MULL.OB
+"mull.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_VecAcc (SD_, i, 0 + vr (SD_, VS, i) * select (SD_, i, SEL, VT));
+}
+
+// Vector Multiply, Negate, Accumulate.
+010010,4.SEL,0,5.VT,5.VS,00000,110010::::MULS.OB
+"muls.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_VecAcc (SD_, i, VecAcc (SD_, i) - vr (SD_, VS, i) * select (SD_, i, SEL, VT));
+}
+
+// Vector Multiply, Negate, Load Accumulator.
+010010,4.SEL,0,5.VT,5.VS,10000,110010::::MULSL.OB
+"mulsl.ob v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_VecAcc (SD_, i, 0 - vr (SD_, VS, i) * select (SD_, i, SEL, VT));
+}
+
+// Vector NOr.
+010010,4.SEL,0,5.VT,5.VS,5.VD,001111::::NOR.OB
+"nor.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, ! (vr (SD_, VS, i) | select (SD_, i, SEL, VT)));
+}
+
+// Vector Or.
+010010,4.SEL,0,5.VT,5.VS,5.VD,001110::::OR.OB
+"or.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) | select (SD_, i, SEL, VT));
+}
+
+// Vector Pick False.
+010010,4.SEL,0,5.VT,5.VS,5.VD,000010::::PICKF.OB
+"pickf.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, cc (SD_, i) ? select (SD_, i, SEL, VT) : vr (SD_, VS, i));
+}
+
+// Vector Pick True.
+010010,4.SEL,0,5.VT,5.VS,5.VD,000011::::PICKT.OB
+"pickt.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, cc (SD_, i) ? vr (SD_, VS, i) : select (SD_, i, SEL, VT));
+}
+
+// Vector Read  Accumulator High.
+010010,1000,0,00000,00000,5.VD,111111::::RACH.OB
+"rach.ob v<VD>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, EXTRACTED (VecAcc (SD_, i), 23, 16));
+}
+
+// Vector Read  Accumulator Low.
+010010,0000,0,00000,00000,5.VD,111111::::RACL.OB
+"racl.ob v<VD>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, EXTRACTED (VecAcc (SD_, i), 7, 0));
+}
+
+// Vector Read  Accumulator Middle.
+010010,0100,0,00000,00000,5.VD,111111::::RACM.OB
+"racm.ob v<VD>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, EXTRACTED (VecAcc (SD_, i), 15, 8));
+}
+
+// Vector Scale, Round and Clamp Accumulator.
+010010,4.SEL,0,5.VT,00000,5.VD,100000::::RZU.OB
+"rzu.ob v<VD>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, Clamp (SD_, Round (SD_, VecAcc (SD_, i) >> select (SD_, i, SEL, VT))));
+}
+
+// Vector Element Shuffle.
+010010,0110,0,5.VT,5.VS,5.VD,011111::::SHFL.MIXH.OB
+"shfl.mixh.ob v<VD>, v<VS>, <VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, One_of (SD_, VS, VT));
+}
+
+// Vector Element Shuffle.
+010010,0111,0,5.VT,5.VS,5.VD,011111::::SHFL.MIXL.OB
+"shfl.mixl.ob v<VD>, v<VS>, <VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, One_of (SD_, VS, VT));
+}
+
+// Vector Element Shuffle.
+010010,0100,0,5.VT,5.VS,5.VD,011111::::SHFL.PACH.OB
+"shfl.pach.ob v<VD>, v<VS>, <VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, One_of (SD_, VS, VT));
+}
+
+// Vector Element Shuffle.
+010010,0101,0,5.VT,5.VS,5.VD,011111::::SHFL.PACL.OB
+"shfl.pacl.ob v<VD>, v<VS>, <VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, One_of (SD_, VS, VT));
+}
+
+// Vector Shift Left  Logical.
+010010,4.SEL,0,5.VT,5.VS,5.VD,010000::::SLL.OB
+"sll.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) << select (SD_, i, SEL, VT));
+}
+
+// Vector Shift Right Logical.
+010010,4.SEL,0,5.VT,5.VS,5.VD,010010::::SRL.OB
+"srl.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) >> select (SD_, i, SEL, VT));
+}
+
+// Vector Subtract.
+010010,4.SEL,0,5.VT,5.VS,5.VD,001010::::SUB.OB
+"sub.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) - select (SD_, i, SEL, VT));
+}
+
+// Vector Write Accumulator High.
+010010,1000,0,00000,5.VS,00000,111110::::WACH.OB
+"wach.ob v<VS>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    /* High8 */ set_VecAcc (SD_, i, (vr (SD_, VS, i) << 16) | MASKED (VecAcc (SD_, i), 15, 0));
+}
+
+// Vector Write Accumulator Low.
+010010,0000,0,5.VT,5.VS,00000,111110::::WACL.OB
+"wacl.ob v<VS>, <VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_VecAcc (SD_, i, (EXTEND8 (vr (SD_, VS, i)) << 8) | vr (SD_, VT, i));
+}
+
+// Vector XOr.
+010010,4.SEL,0,5.VT,5.VS,5.VD,001101::::XOR.OB
+"xor.ob v<VD>, v<VS>, %s<VT#SEL,VT>"
+*vr5400:
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    set_vr (SD_, VD, i, vr (SD_, VS, i) ^ select (SD_, i, SEL, VT));
+}