.*: (83 c9 e3 11|11 e3 c9 83) vupkint8tobf16 v15,v25,1
.*: (83 c1 17 12|12 17 c1 83) vupkint4tofp32 v16,v24,7
.*: (83 b9 2f 12|12 2f b9 83) vupkint8tofp32 v17,v23,3
+.*: (da 9e 72 7c|7c 72 9e da) lxvpb32x vs34,r18,r19
+.*: (da af 74 7c|7c 74 af da) stxvpb32x vs34,r20,r21
#pass
{"lxvb16x", X(31,876), XX1_MASK, PPCVSX3, 0, {XT6, RA0, RB}},
+{"lxvpb32x", X(31,877), X_MASK, FUTURE, 0, {XTP, RA0, RB}},
+
{"tabortdci.", XRC(31,878,1), X_MASK, PPCHTM, 0, {TO, RA, HTM_SI}},
{"rmieg", X(31,882), XRTRA_MASK, POWER9, 0, {RB}},
{"stxvb16x", X(31,1004), XX1_MASK, PPCVSX3, 0, {XS6, RA0, RB}},
+{"stxvpb32x", X(31,1005), X_MASK, FUTURE, 0, {XSP, RA0, RB}},
+
{"trechkpt.", XRC(31,1006,1), XRTRARB_MASK,PPCHTM, 0, {0}},
{"tlbli", X(31,1010), XRTRA_MASK, PPC, TITAN, {RB}},