@ CHECK: rsbs r2, r1, r7, lsl #1 @ encoding: [0xd1,0xeb,0x47,0x02]
+@------------------------------------------------------------------------------
+@ SADD16
+@------------------------------------------------------------------------------
+ sadd16 r3, r4, r8
+ it ne
+ sadd16ne r3, r4, r8
+
+@ CHECK: sadd16 r3, r4, r8 @ encoding: [0x94,0xfa,0x08,0xf3]
+@ CHECK: it ne @ encoding: [0x18,0xbf]
+@ CHECK: sadd16ne r3, r4, r8 @ encoding: [0x94,0xfa,0x08,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ SADD8
+@------------------------------------------------------------------------------
+ sadd8 r3, r4, r8
+ it ne
+ sadd8ne r3, r4, r8
+
+@ CHECK: sadd8 r3, r4, r8 @ encoding: [0x84,0xfa,0x08,0xf3]
+@ CHECK: it ne @ encoding: [0x18,0xbf]
+@ CHECK: sadd8ne r3, r4, r8 @ encoding: [0x84,0xfa,0x08,0xf3]
+
+
@------------------------------------------------------------------------------
@ SUB (register)
@------------------------------------------------------------------------------