selne r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0x16]
+@------------------------------------------------------------------------------
+@ SEV
+@------------------------------------------------------------------------------
+ sev
+ seveq
+
+@ CHECK: sev @ encoding: [0x04,0xf0,0x20,0xe3]
+@ CHECK: seveq @ encoding: [0x04,0xf0,0x20,0x03]
+
+@------------------------------------------------------------------------------
+@ SHADD16/SHADD8
+@------------------------------------------------------------------------------
+ shadd16 r4, r8, r2
+ shadd16gt r4, r8, r2
+ shadd8 r4, r8, r2
+ shadd8gt r4, r8, r2
+
+@ CHECK: shadd16 r4, r8, r2 @ encoding: [0x12,0x4f,0x38,0xe6]
+@ CHECK: shadd16gt r4, r8, r2 @ encoding: [0x12,0x4f,0x38,0xc6]
+@ CHECK: shadd8 r4, r8, r2 @ encoding: [0x92,0x4f,0x38,0xe6]
+@ CHECK: shadd8gt r4, r8, r2 @ encoding: [0x92,0x4f,0x38,0xc6]
+
+
+@------------------------------------------------------------------------------
+@ SHASX
+@------------------------------------------------------------------------------
+ shasx r4, r8, r2
+ shasxgt r4, r8, r2
+
+@ CHECK: shasx r4, r8, r2 @ encoding: [0x32,0x4f,0x38,0xe6]
+@ CHECK: shasxgt r4, r8, r2 @ encoding: [0x32,0x4f,0x38,0xc6]
+
+
+@------------------------------------------------------------------------------
+@ SHSUB16/SHSUB8
+@------------------------------------------------------------------------------
+ shsub16 r4, r8, r2
+ shsub16gt r4, r8, r2
+ shsub8 r4, r8, r2
+ shsub8gt r4, r8, r2
+
+@ CHECK: shsub16 r4, r8, r2 @ encoding: [0x72,0x4f,0x38,0xe6]
+@ CHECK: shsub16gt r4, r8, r2 @ encoding: [0x72,0x4f,0x38,0xc6]
+@ CHECK: shsub8 r4, r8, r2 @ encoding: [0xf2,0x4f,0x38,0xe6]
+@ CHECK: shsub8gt r4, r8, r2 @ encoding: [0xf2,0x4f,0x38,0xc6]
+
+
@------------------------------------------------------------------------------
@ STM*
@------------------------------------------------------------------------------