Model resource usage for each Thumb/Thumb2 instrution.

This is an mid-point checkin to avoid future merge nightmare for the register
allocator work.
diff --git a/vm/compiler/codegen/arm/Assemble.c b/vm/compiler/codegen/arm/Assemble.c
index 6293fb2..4d7dadc 100644
--- a/vm/compiler/codegen/arm/Assemble.c
+++ b/vm/compiler/codegen/arm/Assemble.c
@@ -39,9 +39,9 @@
  * fmt: for pretty-prining
  */
 #define ENCODING_MAP(opcode, skeleton, k0, ds, de, k1, s1s, s1e, k2, s2s, s2e, \
-                     k3, k3s, k3e, operands, name, fmt, size) \
+                     k3, k3s, k3e, flags, name, fmt, size) \
         {skeleton, {{k0, ds, de}, {k1, s1s, s1e}, {k2, s2s, s2e}, \
-                    {k3, k3s, k3e}}, opcode, operands, name, fmt, size}
+                    {k3, k3s, k3e}}, opcode, flags, name, fmt, size}
 
 /* Instruction dump string format keys: !pf, where "!" is the start
  * of the key, "p" is which numeric operand to use and "f" is the
@@ -79,57 +79,57 @@
                  BITBLT, 15, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
                  IS_UNARY_OP,
                  "data", "0x!0h(!0d)", 1),
-    ENCODING_MAP(THUMB_ADC,           0x4140,
+    ENCODING_MAP(THUMB_ADC_RR,        0x4140,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES | USES_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES | USES_CCODES,
                  "adcs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_ADD_RRI3,      0x1c00,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "adds", "r!0d, r!1d, #!2d", 1),
     ENCODING_MAP(THUMB_ADD_RI8,       0x3000,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0 | REG_USE0 | SETS_CCODES,
                  "adds", "r!0d, r!0d, #!1d", 1),
     ENCODING_MAP(THUMB_ADD_RRR,       0x1800,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES,
                  "adds", "r!0d, r!1d, r!2d", 1),
     ENCODING_MAP(THUMB_ADD_RR_LH,     0x4440,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE01,
                  "add", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_ADD_RR_HL,     0x4480,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE01,
                  "add", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_ADD_RR_HH,     0x44c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE01,
                  "add", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_ADD_PC_REL,    0xa000,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | IS_BRANCH,
                  "add", "r!0d, pc, #!1E", 1),
     ENCODING_MAP(THUMB_ADD_SP_REL,    0xa800,
                  BITBLT, 10, 8, UNUSED, -1, -1, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF_SP | REG_USE_SP,
                  "add", "r!0d, sp, #!2E", 1),
     ENCODING_MAP(THUMB_ADD_SPI7,      0xb000,
                  BITBLT, 6, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP | CLOBBER_DEST,
+                 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP,
                  "add", "sp, #!0d*4", 1),
     ENCODING_MAP(THUMB_AND_RR,        0x4000,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "ands", "r!0d, r!1d", 1),
-    ENCODING_MAP(THUMB_ASR,           0x1000,
+    ENCODING_MAP(THUMB_ASR_RRI5,      0x1000,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "asrs", "r!0d, r!1d, #!2d", 1),
-    ENCODING_MAP(THUMB_ASRV,          0x4100,
+    ENCODING_MAP(THUMB_ASR_RR,        0x4100,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "asrs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_B_COND,        0xd000,
                  BITBLT, 7, 0, BITBLT, 11, 8, UNUSED, -1, -1, UNUSED, -1, -1,
@@ -139,9 +139,9 @@
                  BITBLT, 10, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
                  NO_OPERAND | IS_BRANCH,
                  "b", "!0t", 1),
-    ENCODING_MAP(THUMB_BIC,           0x4380,
+    ENCODING_MAP(THUMB_BIC_RR,        0x4380,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "bics", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_BKPT,          0xbe00,
                  BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
@@ -171,193 +171,193 @@
                  BITBLT, 6, 3, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
                  IS_UNARY_OP | IS_BRANCH,
                  "bx", "r!0d", 1),
-    ENCODING_MAP(THUMB_CMN,           0x42c0,
+    ENCODING_MAP(THUMB_CMN_RR,        0x42c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE01 | SETS_CCODES,
                  "cmn", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_CMP_RI8,       0x2800,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE0 | SETS_CCODES,
                  "cmp", "r!0d, #!1d", 1),
     ENCODING_MAP(THUMB_CMP_RR,        0x4280,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE01 | SETS_CCODES,
                  "cmp", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_CMP_LH,        0x4540,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE01 | SETS_CCODES,
                  "cmp", "r!0d, r!1D", 1),
     ENCODING_MAP(THUMB_CMP_HL,        0x4580,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE01 | SETS_CCODES,
                  "cmp", "r!0D, r!1d", 1),
     ENCODING_MAP(THUMB_CMP_HH,        0x45c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE01 | SETS_CCODES,
                  "cmp", "r!0D, r!1D", 1),
-    ENCODING_MAP(THUMB_EOR,           0x4040,
+    ENCODING_MAP(THUMB_EOR_RR,        0x4040,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "eors", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_LDMIA,         0xc800,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | CLOBBER_SRC1,
+                 IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_DEF_LIST1,
                  "ldmia", "r!0d!!, <!1R>", 1),
     ENCODING_MAP(THUMB_LDR_RRI5,      0x6800,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldr", "r!0d, [r!1d, #!2E]", 1),
     ENCODING_MAP(THUMB_LDR_RRR,       0x5800,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "ldr", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_LDR_PC_REL,    0x4800,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC,
                  "ldr", "r!0d, [pc, #!1E]", 1),
     ENCODING_MAP(THUMB_LDR_SP_REL,    0x9800,
                  BITBLT, 10, 8, UNUSED, -1, -1, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0 | REG_USE_SP,
                  "ldr", "r!0d, [sp, #!2E]", 1),
     ENCODING_MAP(THUMB_LDRB_RRI5,     0x7800,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldrb", "r!0d, [r!1d, #2d]", 1),
     ENCODING_MAP(THUMB_LDRB_RRR,      0x5c00,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "ldrb", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_LDRH_RRI5,     0x8800,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldrh", "r!0d, [r!1d, #!2F]", 1),
     ENCODING_MAP(THUMB_LDRH_RRR,      0x5a00,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "ldrh", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_LDRSB_RRR,     0x5600,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "ldrsb", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_LDRSH_RRR,     0x5e00,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "ldrsh", "r!0d, [r!1d, r!2d]", 1),
-    ENCODING_MAP(THUMB_LSL,           0x0000,
+    ENCODING_MAP(THUMB_LSL_RRI5,      0x0000,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "lsls", "r!0d, r!1d, #!2d", 1),
-    ENCODING_MAP(THUMB_LSLV,          0x4080,
+    ENCODING_MAP(THUMB_LSL_RR,        0x4080,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "lsls", "r!0d, r!1d", 1),
-    ENCODING_MAP(THUMB_LSR,           0x0800,
+    ENCODING_MAP(THUMB_LSR_RRI5,      0x0800,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "lsrs", "r!0d, r!1d, #!2d", 1),
-    ENCODING_MAP(THUMB_LSRV,          0x40c0,
+    ENCODING_MAP(THUMB_LSR_RR,        0x40c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "lsrs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_MOV_IMM,       0x2000,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0 | SETS_CCODES,
                  "movs", "r!0d, #!1d", 1),
     ENCODING_MAP(THUMB_MOV_RR,        0x1c00,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "movs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_MOV_RR_H2H,    0x46c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "mov", "r!0D, r!1D", 1),
     ENCODING_MAP(THUMB_MOV_RR_H2L,    0x4640,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "mov", "r!0d, r!1D", 1),
     ENCODING_MAP(THUMB_MOV_RR_L2H,    0x4680,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "mov", "r!0D, r!1d", 1),
     ENCODING_MAP(THUMB_MUL,           0x4340,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "muls", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_MVN,           0x43c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "mvns", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_NEG,           0x4240,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "negs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_ORR,           0x4300,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "orrs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_POP,           0xbc00,
                  BITBLT, 8, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP,
+                 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0,
                  "pop", "<!0R>", 1),
     ENCODING_MAP(THUMB_PUSH,          0xb400,
                  BITBLT, 8, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP,
+                 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0,
                  "push", "<!0R>", 1),
-    ENCODING_MAP(THUMB_RORV,           0x41c0,
+    ENCODING_MAP(THUMB_ROR_RR,        0x41c0,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
                  "rors", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_SBC,           0x4180,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | USES_CCODES | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE01 | USES_CCODES | SETS_CCODES,
                  "sbcs", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB_STMIA,         0xc000,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_SRC1,
+                 IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_USE_LIST1,
                  "stmia", "r!0d!!, <!1R>", 1),
     ENCODING_MAP(THUMB_STR_RRI5,      0x6000,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "str", "r!0d, [r!1d, #!2E]", 1),
     ENCODING_MAP(THUMB_STR_RRR,       0x5000,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE012,
                  "str", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_STR_SP_REL,    0x9000,
                  BITBLT, 10, 8, UNUSED, -1, -1, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE0 | REG_USE_SP,
                  "str", "r!0d, [sp, #!2E]", 1),
     ENCODING_MAP(THUMB_STRB_RRI5,     0x7000,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "strb", "r!0d, [r!1d, #!2d]", 1),
     ENCODING_MAP(THUMB_STRB_RRR,      0x5400,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE012,
                  "strb", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_STRH_RRI5,     0x8000,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 10, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "strh", "r!0d, [r!1d, #!2F]", 1),
     ENCODING_MAP(THUMB_STRH_RRR,      0x5200,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE012,
                  "strh", "r!0d, [r!1d, r!2d]", 1),
     ENCODING_MAP(THUMB_SUB_RRI3,      0x1e00,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "subs", "r!0d, r!1d, #!2d]", 1),
     ENCODING_MAP(THUMB_SUB_RI8,       0x3800,
                  BITBLT, 10, 8, BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0 | REG_USE0 | SETS_CCODES,
                  "subs", "r!0d, #!1d", 1),
     ENCODING_MAP(THUMB_SUB_RRR,       0x1a00,
                  BITBLT, 2, 0, BITBLT, 5, 3, BITBLT, 8, 6, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES,
                  "subs", "r!0d, r!1d, r!2d", 1),
     ENCODING_MAP(THUMB_SUB_SPI7,      0xb080,
                  BITBLT, 6, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP | CLOBBER_DEST,
+                 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP,
                  "sub", "sp, #!0d", 1),
     ENCODING_MAP(THUMB_SWI,           0xdf00,
                  BITBLT, 7, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
@@ -365,111 +365,111 @@
                  "swi", "!0d", 1),
     ENCODING_MAP(THUMB_TST,           0x4200,
                  BITBLT, 2, 0, BITBLT, 5, 3, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP | SETS_CCODES,
+                 IS_UNARY_OP | REG_USE01 | SETS_CCODES,
                  "tst", "r!0d, r!1d", 1),
     ENCODING_MAP(THUMB2_VLDRS,       0xed900a00,
                  SFP, 22, 12, BITBLT, 19, 16, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "vldr", "!0s, [r!1d, #!2E]", 2),
     ENCODING_MAP(THUMB2_VLDRD,       0xed900b00,
                  DFP, 22, 12, BITBLT, 19, 16, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "vldr", "!0S, [r!1d, #!2E]", 2),
     ENCODING_MAP(THUMB2_VMULS,        0xee200a00,
                  SFP, 22, 12, SFP, 7, 16, SFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vmuls", "!0s, !1s, !2s", 2),
     ENCODING_MAP(THUMB2_VMULD,        0xee200b00,
                  DFP, 22, 12, DFP, 7, 16, DFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vmuld", "!0S, !1S, !2S", 2),
     ENCODING_MAP(THUMB2_VSTRS,       0xed800a00,
                  SFP, 22, 12, BITBLT, 19, 16, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "vstr", "!0s, [r!1d, #!2E]", 2),
     ENCODING_MAP(THUMB2_VSTRD,       0xed800b00,
                  DFP, 22, 12, BITBLT, 19, 16, BITBLT, 7, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "vstr", "!0S, [r!1d, #!2E]", 2),
     ENCODING_MAP(THUMB2_VSUBS,        0xee300a40,
                  SFP, 22, 12, SFP, 7, 16, SFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vsub", "!0s, !1s, !2s", 2),
     ENCODING_MAP(THUMB2_VSUBD,        0xee300b40,
                  DFP, 22, 12, DFP, 7, 16, DFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vsub", "!0S, !1S, !2S", 2),
     ENCODING_MAP(THUMB2_VADDS,        0xee300a00,
                  SFP, 22, 12, SFP, 7, 16, SFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vadd", "!0s, !1s, !2s", 2),
     ENCODING_MAP(THUMB2_VADDD,        0xee300b00,
                  DFP, 22, 12, DFP, 7, 16, DFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vadd", "!0S, !1S, !2S", 2),
     ENCODING_MAP(THUMB2_VDIVS,        0xee800a00,
                  SFP, 22, 12, SFP, 7, 16, SFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vdivs", "!0s, !1s, !2s", 2),
     ENCODING_MAP(THUMB2_VDIVD,        0xee800b00,
                  DFP, 22, 12, DFP, 7, 16, DFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "vdivd", "!0S, !1S, !2S", 2),
     ENCODING_MAP(THUMB2_VCVTIF,       0xeeb80ac0,
                  SFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vcvt.f32", "!0s, !1s", 2),
     ENCODING_MAP(THUMB2_VCVTID,       0xeeb80bc0,
                  DFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vcvt.f64", "!0S, !1s", 2),
     ENCODING_MAP(THUMB2_VCVTFI,       0xeebd0ac0,
                  SFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vcvt.s32.f32 ", "!0s, !1s", 2),
     ENCODING_MAP(THUMB2_VCVTDI,       0xeebd0bc0,
                  SFP, 22, 12, DFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vcvt.s32.f64 ", "!0s, !1S", 2),
     ENCODING_MAP(THUMB2_VCVTFD,       0xeeb70ac0,
                  DFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vcvt.f64.f32 ", "!0S, !1s", 2),
     ENCODING_MAP(THUMB2_VCVTDF,       0xeeb70bc0,
                  SFP, 22, 12, DFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vcvt.f32.f64 ", "!0s, !1S", 2),
     ENCODING_MAP(THUMB2_VSQRTS,       0xeeb10ac0,
                  SFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vsqrt.f32 ", "!0s, !1s", 2),
     ENCODING_MAP(THUMB2_VSQRTD,       0xeeb10bc0,
                  DFP, 22, 12, DFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vsqrt.f64 ", "!0S, !1S", 2),
     ENCODING_MAP(THUMB2_MOV_IMM_SHIFT, 0xf04f0000, /* no setflags encoding */
                  BITBLT, 11, 8, MODIMM, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0,
                  "mov", "r!0d, #!1m", 2),
     ENCODING_MAP(THUMB2_MOV_IMM16,       0xf2400000,
                  BITBLT, 11, 8, IMM16, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0,
                  "mov", "r!0d, #!1M", 2),
     ENCODING_MAP(THUMB2_STR_RRI12,       0xf8c00000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "str", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_LDR_RRI12,       0xf8d00000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldr", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_STR_RRI8_PREDEC,       0xf8400c00,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 8, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP,
+                 IS_TERTIARY_OP | REG_USE01,
                  "str", "r!0d,[r!1d, #-!2d]", 2),
     ENCODING_MAP(THUMB2_LDR_RRI8_PREDEC,       0xf8500c00,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 8, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldr", "r!0d,[r!1d, #-!2d]", 2),
     ENCODING_MAP(THUMB2_CBNZ,       0xb900,
                  BITBLT, 2, 0, IMM6, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
@@ -481,243 +481,243 @@
                  "cbz", "r!0d,!1t", 1),
     ENCODING_MAP(THUMB2_ADD_RRI12,       0xf2000000,
                  BITBLT, 11, 8, BITBLT, 19, 16, IMM12, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,/* Note: doesn't affect flags */
+                 IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */
                  "add", "r!0d,r!1d,#!2d", 2),
     ENCODING_MAP(THUMB2_MOV_RR,       0xea4f0000, /* no setflags encoding */
                  BITBLT, 11, 8, BITBLT, 3, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "mov", "r!0d, r!1d", 2),
     ENCODING_MAP(THUMB2_VMOVS,       0xeeb00a40,
                  SFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vmov.f32 ", " !0s, !1s", 2),
     ENCODING_MAP(THUMB2_VMOVD,       0xeeb00b40,
                  DFP, 22, 12, DFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vmov.f64 ", " !0S, !1S", 2),
     ENCODING_MAP(THUMB2_LDMIA,         0xe8900000,
                  BITBLT, 19, 16, BITBLT, 15, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | CLOBBER_SRC1,
+                 IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_DEF_LIST1,
                  "ldmia", "r!0d!!, <!1R>", 2),
     ENCODING_MAP(THUMB2_STMIA,         0xe8800000,
                  BITBLT, 19, 16, BITBLT, 15, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_SRC1,
+                 IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_USE_LIST1,
                  "stmia", "r!0d!!, <!1R>", 2),
     ENCODING_MAP(THUMB2_ADD_RRR,  0xeb100000, /* setflags encoding */
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
                  "adds", "r!0d, r!1d, r!2d", 2),
     ENCODING_MAP(THUMB2_SUB_RRR,       0xebb00000, /* setflags enconding */
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
                  "subs", "r!0d, r!1d, r!2d", 2),
     ENCODING_MAP(THUMB2_SBC_RRR,       0xeb700000, /* setflags encoding */
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST | USES_CCODES | SETS_CCODES,
+                 IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES | SETS_CCODES,
                  "sbcs", "r!0d, r!1d, r!2d", 2),
     ENCODING_MAP(THUMB2_CMP_RR,       0xebb00f00,
                  BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_USE01 | SETS_CCODES,
                  "cmp", "r!0d, r!1d", 2),
     ENCODING_MAP(THUMB2_SUB_RRI12,       0xf2a00000,
                  BITBLT, 11, 8, BITBLT, 19, 16, IMM12, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,/* Note: doesn't affect flags */
+                 IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */
                  "sub", "r!0d,r!1d,#!2d", 2),
     ENCODING_MAP(THUMB2_MVN_IMM_SHIFT,  0xf06f0000, /* no setflags encoding */
                  BITBLT, 11, 8, MODIMM, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0,
                  "mvn", "r!0d, #!1n", 2),
     ENCODING_MAP(THUMB2_SEL,       0xfaa0f080,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | USES_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE12 | USES_CCODES,
                  "sel", "r!0d, r!1d, r!2d", 2),
     ENCODING_MAP(THUMB2_UBFX,       0xf3c00000,
                  BITBLT, 11, 8, BITBLT, 19, 16, LSB, -1, -1, BWIDTH, 4, 0,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE1,
                  "ubfx", "r!0d, r!1d, #!2d, #!3d", 2),
     ENCODING_MAP(THUMB2_SBFX,       0xf3400000,
                  BITBLT, 11, 8, BITBLT, 19, 16, LSB, -1, -1, BWIDTH, 4, 0,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE1,
                  "sbfx", "r!0d, r!1d, #!2d, #!3d", 2),
     ENCODING_MAP(THUMB2_LDR_RRR,    0xf8500000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "ldr", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_LDRH_RRR,    0xf8300000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "ldrh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_LDRSH_RRR,    0xf9300000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "ldrsh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_LDRB_RRR,    0xf8100000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "ldrb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_LDRSB_RRR,    0xf9100000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "ldrsb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_STR_RRR,    0xf8400000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_USE012,
                  "str", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_STRH_RRR,    0xf8200000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_USE012,
                  "strh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_STRB_RRR,    0xf8000000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 3, 0, BITBLT, 5, 4,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_USE012,
                  "strb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
     ENCODING_MAP(THUMB2_LDRH_RRI12,       0xf8b00000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldrh", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_LDRSH_RRI12,       0xf9b00000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldrsh", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_LDRB_RRI12,       0xf8900000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldrb", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_LDRSB_RRI12,       0xf9900000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ldrsb", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_STRH_RRI12,       0xf8a00000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_USE01,
                  "strh", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_STRB_RRI12,       0xf8800000,
                  BITBLT, 15, 12, BITBLT, 19, 16, BITBLT, 11, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_USE01,
                  "strb", "r!0d,[r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_POP,           0xe8bd0000,
                  BITBLT, 15, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP,
+                 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0,
                  "pop", "<!0R>", 2),
     ENCODING_MAP(THUMB2_PUSH,          0xe8ad0000,
                  BITBLT, 15, 0, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_UNARY_OP,
+                 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0,
                  "push", "<!0R>", 2),
     ENCODING_MAP(THUMB2_CMP_RI8, 0xf1b00f00,
                  BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_USE0 | SETS_CCODES,
                  "cmp", "r!0d, #!1m", 2),
     ENCODING_MAP(THUMB2_ADC_RRR,  0xeb500000, /* setflags encoding */
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
                  "acds", "r!0d, r!1d, r!2d, shift !3d", 2),
     ENCODING_MAP(THUMB2_AND_RRR,  0xea000000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "and", "r!0d, r!1d, r!2d, shift !3d", 2),
     ENCODING_MAP(THUMB2_BIC_RRR,  0xea200000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "bic", "r!0d, r!1d, r!2d, shift !3d", 2),
     ENCODING_MAP(THUMB2_CMN_RR,  0xeb000000,
                  BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "cmn", "r!0d, r!1d, shift !2d", 2),
     ENCODING_MAP(THUMB2_EOR_RRR,  0xea800000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "eor", "r!0d, r!1d, r!2d, shift !3d", 2),
     ENCODING_MAP(THUMB2_MUL_RRR,  0xfb00f000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "mul", "r!0d, r!1d, r!2d", 2),
     ENCODING_MAP(THUMB2_MVN_RR,  0xea6f0000,
                  BITBLT, 11, 8, BITBLT, 3, 0, SHIFT, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "mvn", "r!0d, r!1d, shift !2d", 2),
     ENCODING_MAP(THUMB2_RSUB_RRI8,       0xf1d00000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "rsb", "r!0d,r!1d,#!2m", 2),
     ENCODING_MAP(THUMB2_NEG_RR,       0xf1d00000, /* instance of rsub */
                  BITBLT, 11, 8, BITBLT, 19, 16, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "neg", "r!0d,r!1d", 2),
     ENCODING_MAP(THUMB2_ORR_RRR,  0xea400000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1,
-                 IS_QUAD_OP | CLOBBER_DEST,
+                 IS_QUAD_OP | REG_DEF0_USE12,
                  "orr", "r!0d, r!1d, r!2d, shift !3d", 2),
     ENCODING_MAP(THUMB2_TST_RR,       0xea100f00,
                  BITBLT, 19, 16, BITBLT, 3, 0, SHIFT, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_USE01 | SETS_CCODES,
                  "tst", "r!0d, r!1d, shift !2d", 2),
-    ENCODING_MAP(THUMB2_LSLV_RRR,  0xfa00f000,
+    ENCODING_MAP(THUMB2_LSL_RRR,  0xfa00f000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "lsl", "r!0d, r!1d, r!2d", 2),
-    ENCODING_MAP(THUMB2_LSRV_RRR,  0xfa20f000,
+    ENCODING_MAP(THUMB2_LSR_RRR,  0xfa20f000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "lsr", "r!0d, r!1d, r!2d", 2),
-    ENCODING_MAP(THUMB2_ASRV_RRR,  0xfa40f000,
+    ENCODING_MAP(THUMB2_ASR_RRR,  0xfa40f000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "asr", "r!0d, r!1d, r!2d", 2),
-    ENCODING_MAP(THUMB2_RORV_RRR,  0xfa60f000,
+    ENCODING_MAP(THUMB2_ROR_RRR,  0xfa60f000,
                  BITBLT, 11, 8, BITBLT, 19, 16, BITBLT, 3, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "ror", "r!0d, r!1d, r!2d", 2),
     ENCODING_MAP(THUMB2_LSL_RRI5,  0xea4f0000,
                  BITBLT, 11, 8, BITBLT, 3, 0, SHIFT5, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "lsl", "r!0d, r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_LSR_RRI5,  0xea4f0010,
                  BITBLT, 11, 8, BITBLT, 3, 0, SHIFT5, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "lsr", "r!0d, r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_ASR_RRI5,  0xea4f0020,
                  BITBLT, 11, 8, BITBLT, 3, 0, SHIFT5, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "asr", "r!0d, r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_ROR_RRI5,  0xea4f0030,
                  BITBLT, 11, 8, BITBLT, 3, 0, SHIFT5, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "ror", "r!0d, r!1d, #!2d", 2),
     ENCODING_MAP(THUMB2_BIC_RRI8,  0xf0200000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "bic", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_AND_RRI8,  0xf0000000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "and", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_ORR_RRI8,  0xf0400000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "orr", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_EOR_RRI8,  0xf0800000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE1,
                  "eor", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_ADD_RRI8,  0xf1100000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "adds", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_ADC_RRI8,  0xf1500000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES | USES_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES,
                  "adcs", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_SUB_RRI8,  0xf1b00000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
                  "subs", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_SBC_RRI8,  0xf1700000,
                  BITBLT, 11, 8, BITBLT, 19, 16, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | SETS_CCODES | USES_CCODES,
+                 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES,
                  "sbcs", "r!0d, r!1d, #!2m", 2),
     ENCODING_MAP(THUMB2_IT,  0xbf00,
                  BITBLT, 7, 4, BITBLT, 3, 0, MODIMM, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | USES_CCODES,
+                 IS_BINARY_OP | IS_IT | USES_CCODES,
                  "it:!1b", "!0c", 1),
     ENCODING_MAP(THUMB2_FMSTAT,  0xeef1fa10,
                  UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1, UNUSED, -1, -1,
@@ -725,15 +725,15 @@
                  "fmstat", "", 2),
     ENCODING_MAP(THUMB2_VCMPD,        0xeeb40b40,
                  DFP, 22, 12, DFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP,
+                 IS_BINARY_OP | REG_USE01,
                  "vcmp.f64", "!0S, !1S", 2),
     ENCODING_MAP(THUMB2_VCMPS,        0xeeb40a40,
                  SFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP,
+                 IS_BINARY_OP | REG_USE01,
                  "vcmp.f32", "!0s, !1s", 2),
     ENCODING_MAP(THUMB2_LDR_PC_REL12,       0xf8df0000,
                  BITBLT, 15, 12, BITBLT, 11, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC,
                  "ldr", "r!0d,[rpc, #!1d", 2),
     ENCODING_MAP(THUMB2_B_COND,        0xf0008000,
                  BROFFSET, -1, -1, BITBLT, 25, 22, UNUSED, -1, -1,
@@ -742,27 +742,27 @@
                  "b!1c", "!0t", 2),
     ENCODING_MAP(THUMB2_VMOVD_RR,       0xeeb00b40,
                  DFP, 22, 12, DFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vmov.f64", "!0S, !1S", 2),
-    ENCODING_MAP(THUMB2_VMOVD_RR,       0xeeb00a40,
+    ENCODING_MAP(THUMB2_VMOVS_RR,       0xeeb00a40,
                  SFP, 22, 12, SFP, 5, 0, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "vmov.f32", "!0S, !1S", 2),
     ENCODING_MAP(THUMB2_FMRS,       0xee100a10,
                  BITBLT, 15, 12, SFP, 8, 16, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "fmrs", "r!0d, !1s", 2),
     ENCODING_MAP(THUMB2_FMSR,       0xee000a10,
                  SFP, 8, 16, BITBLT, 15, 12, UNUSED, -1, -1, UNUSED, -1, -1,
-                 IS_BINARY_OP | CLOBBER_DEST,
+                 IS_BINARY_OP | REG_DEF0_USE1,
                  "fmsr", "!0s, r!1d", 2),
     ENCODING_MAP(THUMB2_FMRRD,       0xec500b10,
                  BITBLT, 15, 12, BITBLT, 19, 16, DFP, 5, 0, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST | CLOBBER_SRC1,
+                 IS_TERTIARY_OP | REG_DEF0 | REG_DEF1 | REG_USE2,
                  "fmrrd", "r!0d, r!1d, !2S", 2),
     ENCODING_MAP(THUMB2_FMDRR,       0xec400b10,
                  DFP, 5, 0, BITBLT, 15, 12, BITBLT, 19, 16, UNUSED, -1, -1,
-                 IS_TERTIARY_OP | CLOBBER_DEST,
+                 IS_TERTIARY_OP | REG_DEF0_USE12,
                  "fmdrr", "!0S, r!1d, r!2d", 2),
 };