• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2011 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 #include "arm_lir.h"
18 #include "codegen_arm.h"
19 #include "dex/quick/mir_to_lir-inl.h"
20 
21 namespace art {
22 
23 /*
24  * opcode: ArmOpcode enum
25  * skeleton: pre-designated bit-pattern for this opcode
26  * k0: key to applying ds/de
27  * ds: dest start bit position
28  * de: dest end bit position
29  * k1: key to applying s1s/s1e
30  * s1s: src1 start bit position
31  * s1e: src1 end bit position
32  * k2: key to applying s2s/s2e
33  * s2s: src2 start bit position
34  * s2e: src2 end bit position
35  * operands: number of operands (for sanity check purposes)
36  * name: mnemonic name
37  * fmt: for pretty-printing
38  */
39 #define ENCODING_MAP(opcode, skeleton, k0, ds, de, k1, s1s, s1e, k2, s2s, s2e, \
40                      k3, k3s, k3e, flags, name, fmt, size) \
41         {skeleton, {{k0, ds, de}, {k1, s1s, s1e}, {k2, s2s, s2e}, \
42                     {k3, k3s, k3e}}, opcode, flags, name, fmt, size}
43 
44 /* Instruction dump string format keys: !pf, where "!" is the start
45  * of the key, "p" is which numeric operand to use and "f" is the
46  * print format.
47  *
48  * [p]ositions:
49  *     0 -> operands[0] (dest)
50  *     1 -> operands[1] (src1)
51  *     2 -> operands[2] (src2)
52  *     3 -> operands[3] (extra)
53  *
54  * [f]ormats:
55  *     h -> 4-digit hex
56  *     d -> decimal
57  *     E -> decimal*4
58  *     F -> decimal*2
59  *     c -> branch condition (beq, bne, etc.)
60  *     t -> pc-relative target
61  *     u -> 1st half of bl[x] target
62  *     v -> 2nd half ob bl[x] target
63  *     R -> register list
64  *     s -> single precision floating point register
65  *     S -> double precision floating point register
66  *     m -> Thumb2 modified immediate
67  *     n -> complimented Thumb2 modified immediate
68  *     M -> Thumb2 16-bit zero-extended immediate
69  *     b -> 4-digit binary
70  *     B -> dmb option string (sy, st, ish, ishst, nsh, hshst)
71  *     H -> operand shift
72  *     C -> core register name
73  *     P -> fp cs register list (base of s16)
74  *     Q -> fp cs register list (base of s0)
75  *
76  *  [!] escape.  To insert "!", use "!!"
77  */
78 /* NOTE: must be kept in sync with enum ArmOpcode from LIR.h */
79 const ArmEncodingMap ArmMir2Lir::EncodingMap[kArmLast] = {
80     ENCODING_MAP(kArm16BitData,    0x0000,
81                  kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
82                  kFmtUnused, -1, -1, IS_UNARY_OP, "data", "0x!0h(!0d)", 2),
83     ENCODING_MAP(kThumbAdcRR,        0x4140,
84                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
85                  kFmtUnused, -1, -1,
86                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES | USES_CCODES,
87                  "adcs", "!0C, !1C", 2),
88     ENCODING_MAP(kThumbAddRRI3,      0x1c00,
89                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
90                  kFmtUnused, -1, -1,
91                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
92                  "adds", "!0C, !1C, #!2d", 2),
93     ENCODING_MAP(kThumbAddRI8,       0x3000,
94                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
95                  kFmtUnused, -1, -1,
96                  IS_BINARY_OP | REG_DEF0_USE0 | SETS_CCODES,
97                  "adds", "!0C, !0C, #!1d", 2),
98     ENCODING_MAP(kThumbAddRRR,       0x1800,
99                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
100                  kFmtUnused, -1, -1,
101                  IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES,
102                  "adds", "!0C, !1C, !2C", 2),
103     ENCODING_MAP(kThumbAddRRLH,     0x4440,
104                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
105                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE01,
106                  "add", "!0C, !1C", 2),
107     ENCODING_MAP(kThumbAddRRHL,     0x4480,
108                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
109                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE01,
110                  "add", "!0C, !1C", 2),
111     ENCODING_MAP(kThumbAddRRHH,     0x44c0,
112                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
113                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE01,
114                  "add", "!0C, !1C", 2),
115     ENCODING_MAP(kThumbAddPcRel,    0xa000,
116                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
117                  kFmtUnused, -1, -1, IS_TERTIARY_OP | IS_BRANCH | NEEDS_FIXUP,
118                  "add", "!0C, pc, #!1E", 2),
119     ENCODING_MAP(kThumbAddSpRel,    0xa800,
120                  kFmtBitBlt, 10, 8, kFmtUnused, -1, -1, kFmtBitBlt, 7, 0,
121                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF_SP | REG_USE_SP,
122                  "add", "!0C, sp, #!2E", 2),
123     ENCODING_MAP(kThumbAddSpI7,      0xb000,
124                  kFmtBitBlt, 6, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
125                  kFmtUnused, -1, -1, IS_UNARY_OP | REG_DEF_SP | REG_USE_SP,
126                  "add", "sp, #!0d*4", 2),
127     ENCODING_MAP(kThumbAndRR,        0x4000,
128                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
129                  kFmtUnused, -1, -1,
130                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
131                  "ands", "!0C, !1C", 2),
132     ENCODING_MAP(kThumbAsrRRI5,      0x1000,
133                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
134                  kFmtUnused, -1, -1,
135                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
136                  "asrs", "!0C, !1C, #!2d", 2),
137     ENCODING_MAP(kThumbAsrRR,        0x4100,
138                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
139                  kFmtUnused, -1, -1,
140                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
141                  "asrs", "!0C, !1C", 2),
142     ENCODING_MAP(kThumbBCond,        0xd000,
143                  kFmtBitBlt, 7, 0, kFmtBitBlt, 11, 8, kFmtUnused, -1, -1,
144                  kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | USES_CCODES |
145                  NEEDS_FIXUP, "b!1c", "!0t", 2),
146     ENCODING_MAP(kThumbBUncond,      0xe000,
147                  kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
148                  kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | NEEDS_FIXUP,
149                  "b", "!0t", 2),
150     ENCODING_MAP(kThumbBicRR,        0x4380,
151                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
152                  kFmtUnused, -1, -1,
153                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
154                  "bics", "!0C, !1C", 2),
155     ENCODING_MAP(kThumbBkpt,          0xbe00,
156                  kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
157                  kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH,
158                  "bkpt", "!0d", 2),
159     ENCODING_MAP(kThumbBlx1,         0xf000,
160                  kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
161                  kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | REG_DEF_LR |
162                  NEEDS_FIXUP, "blx_1", "!0u", 2),
163     ENCODING_MAP(kThumbBlx2,         0xe800,
164                  kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
165                  kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | REG_DEF_LR |
166                  NEEDS_FIXUP, "blx_2", "!0v", 2),
167     ENCODING_MAP(kThumbBl1,          0xf000,
168                  kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
169                  kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | REG_DEF_LR,
170                  "bl_1", "!0u", 2),
171     ENCODING_MAP(kThumbBl2,          0xf800,
172                  kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
173                  kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | REG_DEF_LR,
174                  "bl_2", "!0v", 2),
175     ENCODING_MAP(kThumbBlxR,         0x4780,
176                  kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
177                  kFmtUnused, -1, -1,
178                  IS_UNARY_OP | REG_USE0 | IS_BRANCH | REG_DEF_LR,
179                  "blx", "!0C", 2),
180     ENCODING_MAP(kThumbBx,            0x4700,
181                  kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
182                  kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH,
183                  "bx", "!0C", 2),
184     ENCODING_MAP(kThumbCmnRR,        0x42c0,
185                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
186                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES,
187                  "cmn", "!0C, !1C", 2),
188     ENCODING_MAP(kThumbCmpRI8,       0x2800,
189                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
190                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE0 | SETS_CCODES,
191                  "cmp", "!0C, #!1d", 2),
192     ENCODING_MAP(kThumbCmpRR,        0x4280,
193                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
194                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES,
195                  "cmp", "!0C, !1C", 2),
196     ENCODING_MAP(kThumbCmpLH,        0x4540,
197                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
198                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES,
199                  "cmp", "!0C, !1C", 2),
200     ENCODING_MAP(kThumbCmpHL,        0x4580,
201                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
202                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES,
203                  "cmp", "!0C, !1C", 2),
204     ENCODING_MAP(kThumbCmpHH,        0x45c0,
205                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
206                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES,
207                  "cmp", "!0C, !1C", 2),
208     ENCODING_MAP(kThumbEorRR,        0x4040,
209                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
210                  kFmtUnused, -1, -1,
211                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
212                  "eors", "!0C, !1C", 2),
213     ENCODING_MAP(kThumbLdmia,         0xc800,
214                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
215                  kFmtUnused, -1, -1,
216                  IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1 | IS_LOAD,
217                  "ldmia", "!0C!!, <!1R>", 2),
218     ENCODING_MAP(kThumbLdrRRI5,      0x6800,
219                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
220                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
221                  "ldr", "!0C, [!1C, #!2E]", 2),
222     ENCODING_MAP(kThumbLdrRRR,       0x5800,
223                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
224                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD,
225                  "ldr", "!0C, [!1C, !2C]", 2),
226     ENCODING_MAP(kThumbLdrPcRel,    0x4800,
227                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
228                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC
229                  | IS_LOAD | NEEDS_FIXUP, "ldr", "!0C, [pc, #!1E]", 2),
230     ENCODING_MAP(kThumbLdrSpRel,    0x9800,
231                  kFmtBitBlt, 10, 8, kFmtUnused, -1, -1, kFmtBitBlt, 7, 0,
232                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0 | REG_USE_SP
233                  | IS_LOAD, "ldr", "!0C, [sp, #!2E]", 2),
234     ENCODING_MAP(kThumbLdrbRRI5,     0x7800,
235                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
236                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
237                  "ldrb", "!0C, [!1C, #2d]", 2),
238     ENCODING_MAP(kThumbLdrbRRR,      0x5c00,
239                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
240                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD,
241                  "ldrb", "!0C, [!1C, !2C]", 2),
242     ENCODING_MAP(kThumbLdrhRRI5,     0x8800,
243                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
244                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
245                  "ldrh", "!0C, [!1C, #!2F]", 2),
246     ENCODING_MAP(kThumbLdrhRRR,      0x5a00,
247                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
248                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD,
249                  "ldrh", "!0C, [!1C, !2C]", 2),
250     ENCODING_MAP(kThumbLdrsbRRR,     0x5600,
251                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
252                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD,
253                  "ldrsb", "!0C, [!1C, !2C]", 2),
254     ENCODING_MAP(kThumbLdrshRRR,     0x5e00,
255                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
256                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD,
257                  "ldrsh", "!0C, [!1C, !2C]", 2),
258     ENCODING_MAP(kThumbLslRRI5,      0x0000,
259                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
260                  kFmtUnused, -1, -1,
261                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
262                  "lsls", "!0C, !1C, #!2d", 2),
263     ENCODING_MAP(kThumbLslRR,        0x4080,
264                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
265                  kFmtUnused, -1, -1,
266                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
267                  "lsls", "!0C, !1C", 2),
268     ENCODING_MAP(kThumbLsrRRI5,      0x0800,
269                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
270                  kFmtUnused, -1, -1,
271                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
272                  "lsrs", "!0C, !1C, #!2d", 2),
273     ENCODING_MAP(kThumbLsrRR,        0x40c0,
274                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
275                  kFmtUnused, -1, -1,
276                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
277                  "lsrs", "!0C, !1C", 2),
278     ENCODING_MAP(kThumbMovImm,       0x2000,
279                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
280                  kFmtUnused, -1, -1,
281                  IS_BINARY_OP | REG_DEF0 | SETS_CCODES,
282                  "movs", "!0C, #!1d", 2),
283     ENCODING_MAP(kThumbMovRR,        0x1c00,
284                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
285                  kFmtUnused, -1, -1,
286                  IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
287                  "movs", "!0C, !1C", 2),
288     ENCODING_MAP(kThumbMovRR_H2H,    0x46c0,
289                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
290                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
291                  "mov", "!0C, !1C", 2),
292     ENCODING_MAP(kThumbMovRR_H2L,    0x4640,
293                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
294                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
295                  "mov", "!0C, !1C", 2),
296     ENCODING_MAP(kThumbMovRR_L2H,    0x4680,
297                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
298                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
299                  "mov", "!0C, !1C", 2),
300     ENCODING_MAP(kThumbMul,           0x4340,
301                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
302                  kFmtUnused, -1, -1,
303                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
304                  "muls", "!0C, !1C", 2),
305     ENCODING_MAP(kThumbMvn,           0x43c0,
306                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
307                  kFmtUnused, -1, -1,
308                  IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
309                  "mvns", "!0C, !1C", 2),
310     ENCODING_MAP(kThumbNeg,           0x4240,
311                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
312                  kFmtUnused, -1, -1,
313                  IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
314                  "negs", "!0C, !1C", 2),
315     ENCODING_MAP(kThumbOrr,           0x4300,
316                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
317                  kFmtUnused, -1, -1,
318                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
319                  "orrs", "!0C, !1C", 2),
320     ENCODING_MAP(kThumbPop,           0xbc00,
321                  kFmtBitBlt, 8, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
322                  kFmtUnused, -1, -1,
323                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0
324                  | IS_LOAD, "pop", "<!0R>", 2),
325     ENCODING_MAP(kThumbPush,          0xb400,
326                  kFmtBitBlt, 8, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
327                  kFmtUnused, -1, -1,
328                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0
329                  | IS_STORE, "push", "<!0R>", 2),
330     ENCODING_MAP(kThumbRorRR,        0x41c0,
331                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
332                  kFmtUnused, -1, -1,
333                  IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
334                  "rors", "!0C, !1C", 2),
335     ENCODING_MAP(kThumbSbc,           0x4180,
336                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
337                  kFmtUnused, -1, -1,
338                  IS_BINARY_OP | REG_DEF0_USE01 | USES_CCODES | SETS_CCODES,
339                  "sbcs", "!0C, !1C", 2),
340     ENCODING_MAP(kThumbStmia,         0xc000,
341                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
342                  kFmtUnused, -1, -1,
343                  IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_USE_LIST1 | IS_STORE,
344                  "stmia", "!0C!!, <!1R>", 2),
345     ENCODING_MAP(kThumbStrRRI5,      0x6000,
346                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
347                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
348                  "str", "!0C, [!1C, #!2E]", 2),
349     ENCODING_MAP(kThumbStrRRR,       0x5000,
350                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
351                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012 | IS_STORE,
352                  "str", "!0C, [!1C, !2C]", 2),
353     ENCODING_MAP(kThumbStrSpRel,    0x9000,
354                  kFmtBitBlt, 10, 8, kFmtUnused, -1, -1, kFmtBitBlt, 7, 0,
355                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE0 | REG_USE_SP
356                  | IS_STORE, "str", "!0C, [sp, #!2E]", 2),
357     ENCODING_MAP(kThumbStrbRRI5,     0x7000,
358                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
359                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
360                  "strb", "!0C, [!1C, #!2d]", 2),
361     ENCODING_MAP(kThumbStrbRRR,      0x5400,
362                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
363                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012 | IS_STORE,
364                  "strb", "!0C, [!1C, !2C]", 2),
365     ENCODING_MAP(kThumbStrhRRI5,     0x8000,
366                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
367                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
368                  "strh", "!0C, [!1C, #!2F]", 2),
369     ENCODING_MAP(kThumbStrhRRR,      0x5200,
370                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
371                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012 | IS_STORE,
372                  "strh", "!0C, [!1C, !2C]", 2),
373     ENCODING_MAP(kThumbSubRRI3,      0x1e00,
374                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
375                  kFmtUnused, -1, -1,
376                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
377                  "subs", "!0C, !1C, #!2d", 2),
378     ENCODING_MAP(kThumbSubRI8,       0x3800,
379                  kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
380                  kFmtUnused, -1, -1,
381                  IS_BINARY_OP | REG_DEF0_USE0 | SETS_CCODES,
382                  "subs", "!0C, #!1d", 2),
383     ENCODING_MAP(kThumbSubRRR,       0x1a00,
384                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
385                  kFmtUnused, -1, -1,
386                  IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES,
387                  "subs", "!0C, !1C, !2C", 2),
388     ENCODING_MAP(kThumbSubSpI7,      0xb080,
389                  kFmtBitBlt, 6, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
390                  kFmtUnused, -1, -1,
391                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP,
392                  "sub", "sp, #!0d*4", 2),
393     ENCODING_MAP(kThumbSwi,           0xdf00,
394                  kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
395                  kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH,
396                  "swi", "!0d", 2),
397     ENCODING_MAP(kThumbTst,           0x4200,
398                  kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
399                  kFmtUnused, -1, -1, IS_UNARY_OP | REG_USE01 | SETS_CCODES,
400                  "tst", "!0C, !1C", 2),
401     ENCODING_MAP(kThumb2Vldrs,       0xed900a00,
402                  kFmtSfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
403                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD |
404                  REG_DEF_LR | NEEDS_FIXUP, "vldr", "!0s, [!1C, #!2E]", 4),
405     ENCODING_MAP(kThumb2Vldrd,       0xed900b00,
406                  kFmtDfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
407                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD |
408                  REG_DEF_LR | NEEDS_FIXUP, "vldr", "!0S, [!1C, #!2E]", 4),
409     ENCODING_MAP(kThumb2Vmuls,        0xee200a00,
410                  kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0,
411                  kFmtUnused, -1, -1,
412                  IS_TERTIARY_OP | REG_DEF0_USE12,
413                  "vmuls", "!0s, !1s, !2s", 4),
414     ENCODING_MAP(kThumb2Vmuld,        0xee200b00,
415                  kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0,
416                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
417                  "vmuld", "!0S, !1S, !2S", 4),
418     ENCODING_MAP(kThumb2Vstrs,       0xed800a00,
419                  kFmtSfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
420                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
421                  "vstr", "!0s, [!1C, #!2E]", 4),
422     ENCODING_MAP(kThumb2Vstrd,       0xed800b00,
423                  kFmtDfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
424                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
425                  "vstr", "!0S, [!1C, #!2E]", 4),
426     ENCODING_MAP(kThumb2Vsubs,        0xee300a40,
427                  kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0,
428                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
429                  "vsub", "!0s, !1s, !2s", 4),
430     ENCODING_MAP(kThumb2Vsubd,        0xee300b40,
431                  kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0,
432                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
433                  "vsub", "!0S, !1S, !2S", 4),
434     ENCODING_MAP(kThumb2Vadds,        0xee300a00,
435                  kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0,
436                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
437                  "vadd", "!0s, !1s, !2s", 4),
438     ENCODING_MAP(kThumb2Vaddd,        0xee300b00,
439                  kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0,
440                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
441                  "vadd", "!0S, !1S, !2S", 4),
442     ENCODING_MAP(kThumb2Vdivs,        0xee800a00,
443                  kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0,
444                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
445                  "vdivs", "!0s, !1s, !2s", 4),
446     ENCODING_MAP(kThumb2Vdivd,        0xee800b00,
447                  kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0,
448                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
449                  "vdivd", "!0S, !1S, !2S", 4),
450     ENCODING_MAP(kThumb2VcvtIF,       0xeeb80ac0,
451                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
452                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
453                  "vcvt.f32", "!0s, !1s", 4),
454     ENCODING_MAP(kThumb2VcvtID,       0xeeb80bc0,
455                  kFmtDfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
456                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
457                  "vcvt.f64", "!0S, !1s", 4),
458     ENCODING_MAP(kThumb2VcvtFI,       0xeebd0ac0,
459                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
460                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
461                  "vcvt.s32.f32 ", "!0s, !1s", 4),
462     ENCODING_MAP(kThumb2VcvtDI,       0xeebd0bc0,
463                  kFmtSfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
464                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
465                  "vcvt.s32.f64 ", "!0s, !1S", 4),
466     ENCODING_MAP(kThumb2VcvtFd,       0xeeb70ac0,
467                  kFmtDfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
468                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
469                  "vcvt.f64.f32 ", "!0S, !1s", 4),
470     ENCODING_MAP(kThumb2VcvtDF,       0xeeb70bc0,
471                  kFmtSfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
472                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
473                  "vcvt.f32.f64 ", "!0s, !1S", 4),
474     ENCODING_MAP(kThumb2Vsqrts,       0xeeb10ac0,
475                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
476                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
477                  "vsqrt.f32 ", "!0s, !1s", 4),
478     ENCODING_MAP(kThumb2Vsqrtd,       0xeeb10bc0,
479                  kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
480                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
481                  "vsqrt.f64 ", "!0S, !1S", 4),
482     ENCODING_MAP(kThumb2MovImmShift, 0xf04f0000, /* no setflags encoding */
483                  kFmtBitBlt, 11, 8, kFmtModImm, -1, -1, kFmtUnused, -1, -1,
484                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0,
485                  "mov", "!0C, #!1m", 4),
486     ENCODING_MAP(kThumb2MovImm16,       0xf2400000,
487                  kFmtBitBlt, 11, 8, kFmtImm16, -1, -1, kFmtUnused, -1, -1,
488                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0,
489                  "mov", "!0C, #!1M", 4),
490     ENCODING_MAP(kThumb2StrRRI12,       0xf8c00000,
491                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
492                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
493                  "str", "!0C, [!1C, #!2d]", 4),
494     ENCODING_MAP(kThumb2LdrRRI12,       0xf8d00000,
495                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
496                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
497                  "ldr", "!0C, [!1C, #!2d]", 4),
498     ENCODING_MAP(kThumb2StrRRI8Predec,       0xf8400c00,
499                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 8, 0,
500                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
501                  "str", "!0C, [!1C, #-!2d]", 4),
502     ENCODING_MAP(kThumb2LdrRRI8Predec,       0xf8500c00,
503                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 8, 0,
504                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
505                  "ldr", "!0C, [!1C, #-!2d]", 4),
506     ENCODING_MAP(kThumb2Cbnz,       0xb900, /* Note: does not affect flags */
507                  kFmtBitBlt, 2, 0, kFmtImm6, -1, -1, kFmtUnused, -1, -1,
508                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE0 | IS_BRANCH |
509                  NEEDS_FIXUP, "cbnz", "!0C,!1t", 2),
510     ENCODING_MAP(kThumb2Cbz,       0xb100, /* Note: does not affect flags */
511                  kFmtBitBlt, 2, 0, kFmtImm6, -1, -1, kFmtUnused, -1, -1,
512                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE0 | IS_BRANCH |
513                  NEEDS_FIXUP, "cbz", "!0C,!1t", 2),
514     ENCODING_MAP(kThumb2AddRRI12,       0xf2000000,
515                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1,
516                  kFmtUnused, -1, -1,
517                  IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */
518                  "add", "!0C,!1C,#!2d", 4),
519     ENCODING_MAP(kThumb2MovRR,       0xea4f0000, /* no setflags encoding */
520                  kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtUnused, -1, -1,
521                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
522                  "mov", "!0C, !1C", 4),
523     ENCODING_MAP(kThumb2Vmovs,       0xeeb00a40,
524                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
525                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
526                  "vmov.f32 ", " !0s, !1s", 4),
527     ENCODING_MAP(kThumb2Vmovd,       0xeeb00b40,
528                  kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
529                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
530                  "vmov.f64 ", " !0S, !1S", 4),
531     ENCODING_MAP(kThumb2Ldmia,         0xe8900000,
532                  kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1,
533                  kFmtUnused, -1, -1,
534                  IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1 | IS_LOAD,
535                  "ldmia", "!0C!!, <!1R>", 4),
536     ENCODING_MAP(kThumb2Stmia,         0xe8800000,
537                  kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1,
538                  kFmtUnused, -1, -1,
539                  IS_BINARY_OP | REG_DEF0_USE0 | REG_USE_LIST1 | IS_STORE,
540                  "stmia", "!0C!!, <!1R>", 4),
541     ENCODING_MAP(kThumb2AddRRR,  0xeb100000, /* setflags encoding */
542                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
543                  kFmtShift, -1, -1,
544                  IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
545                  "adds", "!0C, !1C, !2C!3H", 4),
546     ENCODING_MAP(kThumb2SubRRR,       0xebb00000, /* setflags enconding */
547                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
548                  kFmtShift, -1, -1,
549                  IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
550                  "subs", "!0C, !1C, !2C!3H", 4),
551     ENCODING_MAP(kThumb2SbcRRR,       0xeb700000, /* setflags encoding */
552                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
553                  kFmtShift, -1, -1,
554                  IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES | SETS_CCODES,
555                  "sbcs", "!0C, !1C, !2C!3H", 4),
556     ENCODING_MAP(kThumb2CmpRR,       0xebb00f00,
557                  kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
558                  kFmtUnused, -1, -1,
559                  IS_TERTIARY_OP | REG_USE01 | SETS_CCODES,
560                  "cmp", "!0C, !1C", 4),
561     ENCODING_MAP(kThumb2SubRRI12,       0xf2a00000,
562                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1,
563                  kFmtUnused, -1, -1,
564                  IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */
565                  "sub", "!0C,!1C,#!2d", 4),
566     ENCODING_MAP(kThumb2MvnImm12,  0xf06f0000, /* no setflags encoding */
567                  kFmtBitBlt, 11, 8, kFmtImm12, -1, -1, kFmtUnused, -1, -1,
568                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0,
569                  "mvn", "!0C, #!1n", 4),
570     ENCODING_MAP(kThumb2Sel,       0xfaa0f080,
571                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
572                  kFmtUnused, -1, -1,
573                  IS_TERTIARY_OP | REG_DEF0_USE12 | USES_CCODES,
574                  "sel", "!0C, !1C, !2C", 4),
575     ENCODING_MAP(kThumb2Ubfx,       0xf3c00000,
576                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtLsb, -1, -1,
577                  kFmtBWidth, 4, 0, IS_QUAD_OP | REG_DEF0_USE1,
578                  "ubfx", "!0C, !1C, #!2d, #!3d", 4),
579     ENCODING_MAP(kThumb2Sbfx,       0xf3400000,
580                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtLsb, -1, -1,
581                  kFmtBWidth, 4, 0, IS_QUAD_OP | REG_DEF0_USE1,
582                  "sbfx", "!0C, !1C, #!2d, #!3d", 4),
583     ENCODING_MAP(kThumb2LdrRRR,    0xf8500000,
584                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
585                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD,
586                  "ldr", "!0C, [!1C, !2C, LSL #!3d]", 4),
587     ENCODING_MAP(kThumb2LdrhRRR,    0xf8300000,
588                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
589                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD,
590                  "ldrh", "!0C, [!1C, !2C, LSL #!3d]", 4),
591     ENCODING_MAP(kThumb2LdrshRRR,    0xf9300000,
592                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
593                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD,
594                  "ldrsh", "!0C, [!1C, !2C, LSL #!3d]", 4),
595     ENCODING_MAP(kThumb2LdrbRRR,    0xf8100000,
596                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
597                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD,
598                  "ldrb", "!0C, [!1C, !2C, LSL #!3d]", 4),
599     ENCODING_MAP(kThumb2LdrsbRRR,    0xf9100000,
600                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
601                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD,
602                  "ldrsb", "!0C, [!1C, !2C, LSL #!3d]", 4),
603     ENCODING_MAP(kThumb2StrRRR,    0xf8400000,
604                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
605                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012 | IS_STORE,
606                  "str", "!0C, [!1C, !2C, LSL #!3d]", 4),
607     ENCODING_MAP(kThumb2StrhRRR,    0xf8200000,
608                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
609                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012 | IS_STORE,
610                  "strh", "!0C, [!1C, !2C, LSL #!3d]", 4),
611     ENCODING_MAP(kThumb2StrbRRR,    0xf8000000,
612                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
613                  kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012 | IS_STORE,
614                  "strb", "!0C, [!1C, !2C, LSL #!3d]", 4),
615     ENCODING_MAP(kThumb2LdrhRRI12,       0xf8b00000,
616                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
617                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
618                  "ldrh", "!0C, [!1C, #!2d]", 4),
619     ENCODING_MAP(kThumb2LdrshRRI12,       0xf9b00000,
620                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
621                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
622                  "ldrsh", "!0C, [!1C, #!2d]", 4),
623     ENCODING_MAP(kThumb2LdrbRRI12,       0xf8900000,
624                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
625                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
626                  "ldrb", "!0C, [!1C, #!2d]", 4),
627     ENCODING_MAP(kThumb2LdrsbRRI12,       0xf9900000,
628                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
629                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
630                  "ldrsb", "!0C, [!1C, #!2d]", 4),
631     ENCODING_MAP(kThumb2StrhRRI12,       0xf8a00000,
632                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
633                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
634                  "strh", "!0C, [!1C, #!2d]", 4),
635     ENCODING_MAP(kThumb2StrbRRI12,       0xf8800000,
636                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
637                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE,
638                  "strb", "!0C, [!1C, #!2d]", 4),
639     ENCODING_MAP(kThumb2Pop,           0xe8bd0000,
640                  kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
641                  kFmtUnused, -1, -1,
642                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0
643                  | IS_LOAD | NEEDS_FIXUP, "pop", "<!0R>", 4),
644     ENCODING_MAP(kThumb2Push,          0xe92d0000,
645                  kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
646                  kFmtUnused, -1, -1,
647                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0
648                  | IS_STORE | NEEDS_FIXUP, "push", "<!0R>", 4),
649     ENCODING_MAP(kThumb2CmpRI12, 0xf1b00f00,
650                  kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, kFmtUnused, -1, -1,
651                  kFmtUnused, -1, -1,
652                  IS_BINARY_OP | REG_USE0 | SETS_CCODES,
653                  "cmp", "!0C, #!1m", 4),
654     ENCODING_MAP(kThumb2AdcRRR,  0xeb500000, /* setflags encoding */
655                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
656                  kFmtShift, -1, -1,
657                  IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
658                  "adcs", "!0C, !1C, !2C!3H", 4),
659     ENCODING_MAP(kThumb2AndRRR,  0xea000000,
660                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
661                  kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12,
662                  "and", "!0C, !1C, !2C!3H", 4),
663     ENCODING_MAP(kThumb2BicRRR,  0xea200000,
664                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
665                  kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12,
666                  "bic", "!0C, !1C, !2C!3H", 4),
667     ENCODING_MAP(kThumb2CmnRR,  0xeb000000,
668                  kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
669                  kFmtUnused, -1, -1,
670                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
671                  "cmn", "!0C, !1C, shift !2d", 4),
672     ENCODING_MAP(kThumb2EorRRR,  0xea800000,
673                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
674                  kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12,
675                  "eor", "!0C, !1C, !2C!3H", 4),
676     ENCODING_MAP(kThumb2MulRRR,  0xfb00f000,
677                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
678                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
679                  "mul", "!0C, !1C, !2C", 4),
680     ENCODING_MAP(kThumb2MnvRR,  0xea6f0000,
681                  kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
682                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
683                  "mvn", "!0C, !1C, shift !2d", 4),
684     ENCODING_MAP(kThumb2RsubRRI8,       0xf1d00000,
685                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
686                  kFmtUnused, -1, -1,
687                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
688                  "rsb", "!0C,!1C,#!2m", 4),
689     ENCODING_MAP(kThumb2NegRR,       0xf1d00000, /* instance of rsub */
690                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtUnused, -1, -1,
691                  kFmtUnused, -1, -1,
692                  IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
693                  "neg", "!0C,!1C", 4),
694     ENCODING_MAP(kThumb2OrrRRR,  0xea400000,
695                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
696                  kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12,
697                  "orr", "!0C, !1C, !2C!3H", 4),
698     ENCODING_MAP(kThumb2TstRR,       0xea100f00,
699                  kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
700                  kFmtUnused, -1, -1,
701                  IS_TERTIARY_OP | REG_USE01 | SETS_CCODES,
702                  "tst", "!0C, !1C, shift !2d", 4),
703     ENCODING_MAP(kThumb2LslRRR,  0xfa00f000,
704                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
705                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
706                  "lsl", "!0C, !1C, !2C", 4),
707     ENCODING_MAP(kThumb2LsrRRR,  0xfa20f000,
708                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
709                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
710                  "lsr", "!0C, !1C, !2C", 4),
711     ENCODING_MAP(kThumb2AsrRRR,  0xfa40f000,
712                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
713                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
714                  "asr", "!0C, !1C, !2C", 4),
715     ENCODING_MAP(kThumb2RorRRR,  0xfa60f000,
716                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
717                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
718                  "ror", "!0C, !1C, !2C", 4),
719     ENCODING_MAP(kThumb2LslRRI5,  0xea4f0000,
720                  kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1,
721                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
722                  "lsl", "!0C, !1C, #!2d", 4),
723     ENCODING_MAP(kThumb2LsrRRI5,  0xea4f0010,
724                  kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1,
725                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
726                  "lsr", "!0C, !1C, #!2d", 4),
727     ENCODING_MAP(kThumb2AsrRRI5,  0xea4f0020,
728                  kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1,
729                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
730                  "asr", "!0C, !1C, #!2d", 4),
731     ENCODING_MAP(kThumb2RorRRI5,  0xea4f0030,
732                  kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1,
733                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
734                  "ror", "!0C, !1C, #!2d", 4),
735     ENCODING_MAP(kThumb2BicRRI8,  0xf0200000,
736                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
737                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
738                  "bic", "!0C, !1C, #!2m", 4),
739     ENCODING_MAP(kThumb2AndRRI8,  0xf0000000,
740                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
741                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
742                  "and", "!0C, !1C, #!2m", 4),
743     ENCODING_MAP(kThumb2OrrRRI8,  0xf0400000,
744                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
745                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
746                  "orr", "!0C, !1C, #!2m", 4),
747     ENCODING_MAP(kThumb2EorRRI8,  0xf0800000,
748                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
749                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1,
750                  "eor", "!0C, !1C, #!2m", 4),
751     ENCODING_MAP(kThumb2AddRRI8,  0xf1100000,
752                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
753                  kFmtUnused, -1, -1,
754                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
755                  "adds", "!0C, !1C, #!2m", 4),
756     ENCODING_MAP(kThumb2AdcRRI8,  0xf1500000,
757                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
758                  kFmtUnused, -1, -1,
759                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES,
760                  "adcs", "!0C, !1C, #!2m", 4),
761     ENCODING_MAP(kThumb2SubRRI8,  0xf1b00000,
762                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
763                  kFmtUnused, -1, -1,
764                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
765                  "subs", "!0C, !1C, #!2m", 4),
766     ENCODING_MAP(kThumb2SbcRRI8,  0xf1700000,
767                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
768                  kFmtUnused, -1, -1,
769                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES,
770                  "sbcs", "!0C, !1C, #!2m", 4),
771     ENCODING_MAP(kThumb2It,  0xbf00,
772                  kFmtBitBlt, 7, 4, kFmtBitBlt, 3, 0, kFmtModImm, -1, -1,
773                  kFmtUnused, -1, -1, IS_BINARY_OP | IS_IT | USES_CCODES,
774                  "it:!1b", "!0c", 2),
775     ENCODING_MAP(kThumb2Fmstat,  0xeef1fa10,
776                  kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
777                  kFmtUnused, -1, -1, NO_OPERAND | SETS_CCODES,
778                  "fmstat", "", 4),
779     ENCODING_MAP(kThumb2Vcmpd,        0xeeb40b40,
780                  kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
781                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01,
782                  "vcmp.f64", "!0S, !1S", 4),
783     ENCODING_MAP(kThumb2Vcmps,        0xeeb40a40,
784                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
785                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01,
786                  "vcmp.f32", "!0s, !1s", 4),
787     ENCODING_MAP(kThumb2LdrPcRel12,       0xf8df0000,
788                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 0, kFmtUnused, -1, -1,
789                  kFmtUnused, -1, -1,
790                  IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC | IS_LOAD | NEEDS_FIXUP,
791                  "ldr", "!0C, [r15pc, #!1d]", 4),
792     ENCODING_MAP(kThumb2BCond,        0xf0008000,
793                  kFmtBrOffset, -1, -1, kFmtBitBlt, 25, 22, kFmtUnused, -1, -1,
794                  kFmtUnused, -1, -1,
795                  IS_BINARY_OP | IS_BRANCH | USES_CCODES | NEEDS_FIXUP,
796                  "b!1c", "!0t", 4),
797     ENCODING_MAP(kThumb2Vmovd_RR,       0xeeb00b40,
798                  kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
799                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
800                  "vmov.f64", "!0S, !1S", 4),
801     ENCODING_MAP(kThumb2Vmovs_RR,       0xeeb00a40,
802                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
803                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
804                  "vmov.f32", "!0s, !1s", 4),
805     ENCODING_MAP(kThumb2Fmrs,       0xee100a10,
806                  kFmtBitBlt, 15, 12, kFmtSfp, 7, 16, kFmtUnused, -1, -1,
807                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
808                  "fmrs", "!0C, !1s", 4),
809     ENCODING_MAP(kThumb2Fmsr,       0xee000a10,
810                  kFmtSfp, 7, 16, kFmtBitBlt, 15, 12, kFmtUnused, -1, -1,
811                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
812                  "fmsr", "!0s, !1C", 4),
813     ENCODING_MAP(kThumb2Fmrrd,       0xec500b10,
814                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtDfp, 5, 0,
815                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF01_USE2,
816                  "fmrrd", "!0C, !1C, !2S", 4),
817     ENCODING_MAP(kThumb2Fmdrr,       0xec400b10,
818                  kFmtDfp, 5, 0, kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16,
819                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12,
820                  "fmdrr", "!0S, !1C, !2C", 4),
821     ENCODING_MAP(kThumb2Vabsd,       0xeeb00bc0,
822                  kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
823                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
824                  "vabs.f64", "!0S, !1S", 4),
825     ENCODING_MAP(kThumb2Vabss,       0xeeb00ac0,
826                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
827                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
828                  "vabs.f32", "!0s, !1s", 4),
829     ENCODING_MAP(kThumb2Vnegd,       0xeeb10b40,
830                  kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
831                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
832                  "vneg.f64", "!0S, !1S", 4),
833     ENCODING_MAP(kThumb2Vnegs,       0xeeb10a40,
834                  kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
835                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1,
836                  "vneg.f32", "!0s, !1s", 4),
837     ENCODING_MAP(kThumb2Vmovs_IMM8,       0xeeb00a00,
838                  kFmtSfp, 22, 12, kFmtFPImm, 16, 0, kFmtUnused, -1, -1,
839                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0,
840                  "vmov.f32", "!0s, #0x!1h", 4),
841     ENCODING_MAP(kThumb2Vmovd_IMM8,       0xeeb00b00,
842                  kFmtDfp, 22, 12, kFmtFPImm, 16, 0, kFmtUnused, -1, -1,
843                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0,
844                  "vmov.f64", "!0S, #0x!1h", 4),
845     ENCODING_MAP(kThumb2Mla,  0xfb000000,
846                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
847                  kFmtBitBlt, 15, 12,
848                  IS_QUAD_OP | REG_DEF0 | REG_USE1 | REG_USE2 | REG_USE3,
849                  "mla", "!0C, !1C, !2C, !3C", 4),
850     ENCODING_MAP(kThumb2Umull,  0xfba00000,
851                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16,
852                  kFmtBitBlt, 3, 0,
853                  IS_QUAD_OP | REG_DEF0 | REG_DEF1 | REG_USE2 | REG_USE3,
854                  "umull", "!0C, !1C, !2C, !3C", 4),
855     ENCODING_MAP(kThumb2Ldrex,       0xe8500f00,
856                  kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
857                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD,
858                  "ldrex", "!0C, [!1C, #!2E]", 4),
859     ENCODING_MAP(kThumb2Strex,       0xe8400000,
860                  kFmtBitBlt, 11, 8, kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16,
861                  kFmtBitBlt, 7, 0, IS_QUAD_OP | REG_DEF0_USE12 | IS_STORE,
862                  "strex", "!0C,!1C, [!2C, #!2E]", 4),
863     ENCODING_MAP(kThumb2Clrex,       0xf3bf8f2f,
864                  kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
865                  kFmtUnused, -1, -1, NO_OPERAND,
866                  "clrex", "", 4),
867     ENCODING_MAP(kThumb2Bfi,         0xf3600000,
868                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtShift5, -1, -1,
869                  kFmtBitBlt, 4, 0, IS_QUAD_OP | REG_DEF0_USE1,
870                  "bfi", "!0C,!1C,#!2d,#!3d", 4),
871     ENCODING_MAP(kThumb2Bfc,         0xf36f0000,
872                  kFmtBitBlt, 11, 8, kFmtShift5, -1, -1, kFmtBitBlt, 4, 0,
873                  kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0,
874                  "bfc", "!0C,#!1d,#!2d", 4),
875     ENCODING_MAP(kThumb2Dmb,         0xf3bf8f50,
876                  kFmtBitBlt, 3, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
877                  kFmtUnused, -1, -1, IS_UNARY_OP,
878                  "dmb", "#!0B", 4),
879     ENCODING_MAP(kThumb2LdrPcReln12,       0xf85f0000,
880                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 0, kFmtUnused, -1, -1,
881                  kFmtUnused, -1, -1,
882                  IS_BINARY_OP | REG_DEF0 | REG_USE_PC | IS_LOAD,
883                  "ldr", "!0C, [r15pc, -#!1d]", 4),
884     ENCODING_MAP(kThumb2Stm,          0xe9000000,
885                  kFmtBitBlt, 19, 16, kFmtBitBlt, 12, 0, kFmtUnused, -1, -1,
886                  kFmtUnused, -1, -1,
887                  IS_BINARY_OP | REG_USE0 | REG_USE_LIST1 | IS_STORE,
888                  "stm", "!0C, <!1R>", 4),
889     ENCODING_MAP(kThumbUndefined,       0xde00,
890                  kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
891                  kFmtUnused, -1, -1, NO_OPERAND,
892                  "undefined", "", 2),
893     // NOTE: vpop, vpush hard-encoded for s16+ reg list
894     ENCODING_MAP(kThumb2VPopCS,       0xecbd8a00,
895                  kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
896                  kFmtUnused, -1, -1,
897                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_FPCS_LIST0
898                  | IS_LOAD, "vpop", "<!0P>", 4),
899     ENCODING_MAP(kThumb2VPushCS,      0xed2d8a00,
900                  kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
901                  kFmtUnused, -1, -1,
902                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_FPCS_LIST0
903                  | IS_STORE, "vpush", "<!0P>", 4),
904     ENCODING_MAP(kThumb2Vldms,        0xec900a00,
905                  kFmtBitBlt, 19, 16, kFmtSfp, 22, 12, kFmtBitBlt, 7, 0,
906                  kFmtUnused, -1, -1,
907                  IS_TERTIARY_OP | REG_USE0 | REG_DEF_FPCS_LIST2
908                  | IS_LOAD, "vldms", "!0C, <!2Q>", 4),
909     ENCODING_MAP(kThumb2Vstms,        0xec800a00,
910                  kFmtBitBlt, 19, 16, kFmtSfp, 22, 12, kFmtBitBlt, 7, 0,
911                  kFmtUnused, -1, -1,
912                  IS_TERTIARY_OP | REG_USE0 | REG_USE_FPCS_LIST2
913                  | IS_STORE, "vstms", "!0C, <!2Q>", 4),
914     ENCODING_MAP(kThumb2BUncond,      0xf0009000,
915                  kFmtOff24, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
916                  kFmtUnused, -1, -1, NO_OPERAND | IS_BRANCH,
917                  "b", "!0t", 4),
918     ENCODING_MAP(kThumb2MovImm16H,       0xf2c00000,
919                  kFmtBitBlt, 11, 8, kFmtImm16, -1, -1, kFmtUnused, -1, -1,
920                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0 | REG_USE0,
921                  "movt", "!0C, #!1M", 4),
922     ENCODING_MAP(kThumb2AddPCR,      0x4487,
923                  kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
924                  kFmtUnused, -1, -1,
925                  IS_UNARY_OP | REG_USE0 | IS_BRANCH,
926                  "add", "rPC, !0C", 2),
927     ENCODING_MAP(kThumb2Adr,         0xf20f0000,
928                  kFmtBitBlt, 11, 8, kFmtImm12, -1, -1, kFmtUnused, -1, -1,
929                  kFmtUnused, -1, -1,
930                  /* Note: doesn't affect flags */
931                  IS_TERTIARY_OP | REG_DEF0 | NEEDS_FIXUP,
932                  "adr", "!0C,#!1d", 4),
933     ENCODING_MAP(kThumb2MovImm16LST,     0xf2400000,
934                  kFmtBitBlt, 11, 8, kFmtImm16, -1, -1, kFmtUnused, -1, -1,
935                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0 | NEEDS_FIXUP,
936                  "mov", "!0C, #!1M", 4),
937     ENCODING_MAP(kThumb2MovImm16HST,     0xf2c00000,
938                  kFmtBitBlt, 11, 8, kFmtImm16, -1, -1, kFmtUnused, -1, -1,
939                  kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0 | REG_USE0 | NEEDS_FIXUP,
940                  "movt", "!0C, #!1M", 4),
941     ENCODING_MAP(kThumb2LdmiaWB,         0xe8b00000,
942                  kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1,
943                  kFmtUnused, -1, -1,
944                  IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1 | IS_LOAD,
945                  "ldmia", "!0C!!, <!1R>", 4),
946     ENCODING_MAP(kThumb2SubsRRI12,       0xf1b00000,
947                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1,
948                  kFmtUnused, -1, -1,
949                  IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
950                  "subs", "!0C,!1C,#!2d", 4),
951     ENCODING_MAP(kThumb2OrrRRRs,  0xea500000,
952                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
953                  kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
954                  "orrs", "!0C, !1C, !2C!3H", 4),
955     ENCODING_MAP(kThumb2Push1,    0xf84d0d04,
956                  kFmtBitBlt, 15, 12, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
957                  kFmtUnused, -1, -1,
958                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE0
959                  | IS_STORE, "push1", "!0C", 4),
960     ENCODING_MAP(kThumb2Pop1,    0xf85d0b04,
961                  kFmtBitBlt, 15, 12, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
962                  kFmtUnused, -1, -1,
963                  IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF0
964                  | IS_LOAD, "pop1", "!0C", 4),
965     ENCODING_MAP(kThumb2RsubRRR,  0xebd00000, /* setflags encoding */
966                  kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
967                  kFmtShift, -1, -1,
968                  IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
969                  "rsbs", "!0C, !1C, !2C!3H", 4),
970     ENCODING_MAP(kThumb2Smull,  0xfb800000,
971                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16,
972                  kFmtBitBlt, 3, 0,
973                  IS_QUAD_OP | REG_DEF0 | REG_DEF1 | REG_USE2 | REG_USE3,
974                  "smull", "!0C, !1C, !2C, !3C", 4),
975     ENCODING_MAP(kThumb2LdrdPcRel8,  0xe9df0000,
976                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 8, kFmtBitBlt, 7, 0,
977                  kFmtUnused, -1, -1,
978                  IS_TERTIARY_OP | REG_DEF0 | REG_DEF1 | REG_USE_PC | IS_LOAD | NEEDS_FIXUP,
979                  "ldrd", "!0C, !1C, [pc, #!2E]", 4),
980     ENCODING_MAP(kThumb2LdrdI8, 0xe9d00000,
981                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16,
982                  kFmtBitBlt, 7, 0,
983                  IS_QUAD_OP | REG_DEF0 | REG_DEF1 | REG_USE2 | IS_LOAD,
984                  "ldrd", "!0C, !1C, [!2C, #!3E]", 4),
985     ENCODING_MAP(kThumb2StrdI8, 0xe9c00000,
986                  kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16,
987                  kFmtBitBlt, 7, 0,
988                  IS_QUAD_OP | REG_USE0 | REG_USE1 | REG_USE2 | IS_STORE,
989                  "strd", "!0C, !1C, [!2C, #!3E]", 4),
990 };
991 
992 /*
993  * The fake NOP of moving r0 to r0 actually will incur data stalls if r0 is
994  * not ready. Since r5FP is not updated often, it is less likely to
995  * generate unnecessary stall cycles.
996  * TUNING: No longer true - find new NOP pattern.
997  */
998 #define PADDING_MOV_R5_R5               0x1C2D
999 
1000 /*
1001  * Assemble the LIR into binary instruction format.  Note that we may
1002  * discover that pc-relative displacements may not fit the selected
1003  * instruction.
1004  */
AssembleInstructions(uintptr_t start_addr)1005 AssemblerStatus ArmMir2Lir::AssembleInstructions(uintptr_t start_addr) {
1006   LIR* lir;
1007   AssemblerStatus res = kSuccess;  // Assume success
1008 
1009   for (lir = first_lir_insn_; lir != NULL; lir = NEXT_LIR(lir)) {
1010     if (lir->opcode < 0) {
1011       /* 1 means padding is needed */
1012       if ((lir->opcode == kPseudoPseudoAlign4) && (lir->operands[0] == 1)) {
1013         code_buffer_.push_back(PADDING_MOV_R5_R5 & 0xFF);
1014         code_buffer_.push_back((PADDING_MOV_R5_R5 >> 8) & 0xFF);
1015       }
1016       continue;
1017     }
1018 
1019     if (lir->flags.is_nop) {
1020       continue;
1021     }
1022 
1023     /*
1024      * For PC-relative displacements we won't know if the
1025      * selected instruction will work until late (i.e. - now).
1026      * If something doesn't fit, we must replace the short-form
1027      * operation with a longer-form one.  Note, though, that this
1028      * can change code we've already processed, so we'll need to
1029      * re-calculate offsets and restart.  To limit the number of
1030      * restarts, the entire list will be scanned and patched.
1031      * Of course, the patching itself may cause new overflows so this
1032      * is an iterative process.
1033      */
1034     if (lir->flags.pcRelFixup) {
1035       if (lir->opcode == kThumbLdrPcRel ||
1036           lir->opcode == kThumb2LdrPcRel12 ||
1037           lir->opcode == kThumbAddPcRel ||
1038           lir->opcode == kThumb2LdrdPcRel8 ||
1039           ((lir->opcode == kThumb2Vldrd) && (lir->operands[1] == r15pc)) ||
1040           ((lir->opcode == kThumb2Vldrs) && (lir->operands[1] == r15pc))) {
1041         /*
1042          * PC-relative loads are mostly used to load immediates
1043          * that are too large to materialize directly in one shot.
1044          * However, if the load displacement exceeds the limit,
1045          * we revert to a multiple-instruction materialization sequence.
1046          */
1047         LIR *lir_target = lir->target;
1048         uintptr_t pc = (lir->offset + 4) & ~3;
1049         uintptr_t target = lir_target->offset;
1050         int delta = target - pc;
1051         if (delta & 0x3) {
1052           LOG(FATAL) << "PC-rel offset not multiple of 4: " << delta;
1053         }
1054         // First, a sanity check for cases we shouldn't see now
1055         if (((lir->opcode == kThumbAddPcRel) && (delta > 1020)) ||
1056             ((lir->opcode == kThumbLdrPcRel) && (delta > 1020))) {
1057           // Shouldn't happen in current codegen.
1058           LOG(FATAL) << "Unexpected pc-rel offset " << delta;
1059         }
1060         // Now, check for the difficult cases
1061         if (((lir->opcode == kThumb2LdrPcRel12) && (delta > 4091)) ||
1062             ((lir->opcode == kThumb2LdrdPcRel8) && (delta > 1020)) ||
1063             ((lir->opcode == kThumb2Vldrs) && (delta > 1020)) ||
1064             ((lir->opcode == kThumb2Vldrd) && (delta > 1020))) {
1065           /*
1066            * Note: because rARM_LR may be used to fix up out-of-range
1067            * vldrs/vldrd we include REG_DEF_LR in the resource
1068            * masks for these instructions.
1069            */
1070           int base_reg = ((lir->opcode == kThumb2LdrdPcRel8) || (lir->opcode == kThumb2LdrPcRel12))
1071               ?  lir->operands[0] : rARM_LR;
1072 
1073           // Add new Adr to generate the address.
1074           LIR* new_adr = RawLIR(lir->dalvik_offset, kThumb2Adr,
1075                      base_reg, 0, 0, 0, 0, lir->target);
1076           InsertLIRBefore(lir, new_adr);
1077 
1078           // Convert to normal load.
1079           if (lir->opcode == kThumb2LdrPcRel12) {
1080             lir->opcode = kThumb2LdrRRI12;
1081           } else if (lir->opcode == kThumb2LdrdPcRel8) {
1082             lir->opcode = kThumb2LdrdI8;
1083           }
1084           // Change the load to be relative to the new Adr base.
1085           if (lir->opcode == kThumb2LdrdI8) {
1086             lir->operands[3] = 0;
1087             lir->operands[2] = base_reg;
1088           } else {
1089             lir->operands[2] = 0;
1090             lir->operands[1] = base_reg;
1091           }
1092           SetupResourceMasks(lir);
1093           res = kRetryAll;
1094         } else {
1095           if ((lir->opcode == kThumb2Vldrs) ||
1096               (lir->opcode == kThumb2Vldrd) ||
1097               (lir->opcode == kThumb2LdrdPcRel8)) {
1098             lir->operands[2] = delta >> 2;
1099           } else {
1100             lir->operands[1] = (lir->opcode == kThumb2LdrPcRel12) ?  delta :
1101                 delta >> 2;
1102           }
1103         }
1104       } else if (lir->opcode == kThumb2Cbnz || lir->opcode == kThumb2Cbz) {
1105         LIR *target_lir = lir->target;
1106         uintptr_t pc = lir->offset + 4;
1107         uintptr_t target = target_lir->offset;
1108         int delta = target - pc;
1109         if (delta > 126 || delta < 0) {
1110           /*
1111            * Convert to cmp rx,#0 / b[eq/ne] tgt pair
1112            * Make new branch instruction and insert after
1113            */
1114           LIR* new_inst =
1115             RawLIR(lir->dalvik_offset, kThumbBCond, 0,
1116                    (lir->opcode == kThumb2Cbz) ? kArmCondEq : kArmCondNe,
1117                    0, 0, 0, lir->target);
1118           InsertLIRAfter(lir, new_inst);
1119           /* Convert the cb[n]z to a cmp rx, #0 ] */
1120           lir->opcode = kThumbCmpRI8;
1121           /* operand[0] is src1 in both cb[n]z & CmpRI8 */
1122           lir->operands[1] = 0;
1123           lir->target = 0;
1124           SetupResourceMasks(lir);
1125           res = kRetryAll;
1126         } else {
1127           lir->operands[1] = delta >> 1;
1128         }
1129       } else if (lir->opcode == kThumb2Push || lir->opcode == kThumb2Pop) {
1130         if (__builtin_popcount(lir->operands[0]) == 1) {
1131           /*
1132            * The standard push/pop multiple instruction
1133            * requires at least two registers in the list.
1134            * If we've got just one, switch to the single-reg
1135            * encoding.
1136            */
1137           lir->opcode = (lir->opcode == kThumb2Push) ? kThumb2Push1 :
1138               kThumb2Pop1;
1139           int reg = 0;
1140           while (lir->operands[0]) {
1141             if (lir->operands[0] & 0x1) {
1142               break;
1143             } else {
1144               reg++;
1145               lir->operands[0] >>= 1;
1146             }
1147           }
1148           lir->operands[0] = reg;
1149           SetupResourceMasks(lir);
1150           res = kRetryAll;
1151         }
1152       } else if (lir->opcode == kThumbBCond || lir->opcode == kThumb2BCond) {
1153         LIR *target_lir = lir->target;
1154         int delta = 0;
1155         DCHECK(target_lir);
1156         uintptr_t pc = lir->offset + 4;
1157         uintptr_t target = target_lir->offset;
1158         delta = target - pc;
1159         if ((lir->opcode == kThumbBCond) && (delta > 254 || delta < -256)) {
1160           lir->opcode = kThumb2BCond;
1161           SetupResourceMasks(lir);
1162           res = kRetryAll;
1163         }
1164         lir->operands[0] = delta >> 1;
1165       } else if (lir->opcode == kThumb2BUncond) {
1166         LIR *target_lir = lir->target;
1167         uintptr_t pc = lir->offset + 4;
1168         uintptr_t target = target_lir->offset;
1169         int delta = target - pc;
1170         lir->operands[0] = delta >> 1;
1171         if (!(cu_->disable_opt & (1 << kSafeOptimizations)) &&
1172           lir->operands[0] == 0) {  // Useless branch
1173           lir->flags.is_nop = true;
1174           res = kRetryAll;
1175         }
1176       } else if (lir->opcode == kThumbBUncond) {
1177         LIR *target_lir = lir->target;
1178         uintptr_t pc = lir->offset + 4;
1179         uintptr_t target = target_lir->offset;
1180         int delta = target - pc;
1181         if (delta > 2046 || delta < -2048) {
1182           // Convert to Thumb2BCond w/ kArmCondAl
1183           lir->opcode = kThumb2BUncond;
1184           lir->operands[0] = 0;
1185           SetupResourceMasks(lir);
1186           res = kRetryAll;
1187         } else {
1188           lir->operands[0] = delta >> 1;
1189           if (!(cu_->disable_opt & (1 << kSafeOptimizations)) &&
1190             lir->operands[0] == -1) {  // Useless branch
1191             lir->flags.is_nop = true;
1192             res = kRetryAll;
1193           }
1194         }
1195       } else if (lir->opcode == kThumbBlx1) {
1196         DCHECK(NEXT_LIR(lir)->opcode == kThumbBlx2);
1197         /* cur_pc is Thumb */
1198         uintptr_t cur_pc = (start_addr + lir->offset + 4) & ~3;
1199         uintptr_t target = lir->operands[1];
1200 
1201         /* Match bit[1] in target with base */
1202         if (cur_pc & 0x2) {
1203           target |= 0x2;
1204         }
1205         int delta = target - cur_pc;
1206         DCHECK((delta >= -(1<<22)) && (delta <= ((1<<22)-2)));
1207 
1208         lir->operands[0] = (delta >> 12) & 0x7ff;
1209         NEXT_LIR(lir)->operands[0] = (delta>> 1) & 0x7ff;
1210       } else if (lir->opcode == kThumbBl1) {
1211         DCHECK(NEXT_LIR(lir)->opcode == kThumbBl2);
1212         /* Both cur_pc and target are Thumb */
1213         uintptr_t cur_pc = start_addr + lir->offset + 4;
1214         uintptr_t target = lir->operands[1];
1215 
1216         int delta = target - cur_pc;
1217         DCHECK((delta >= -(1<<22)) && (delta <= ((1<<22)-2)));
1218 
1219         lir->operands[0] = (delta >> 12) & 0x7ff;
1220         NEXT_LIR(lir)->operands[0] = (delta>> 1) & 0x7ff;
1221       } else if (lir->opcode == kThumb2Adr) {
1222         SwitchTable *tab_rec = reinterpret_cast<SwitchTable*>(lir->operands[2]);
1223         LIR* target = lir->target;
1224         int target_disp = tab_rec ? tab_rec->offset
1225                     : target->offset;
1226         int disp = target_disp - ((lir->offset + 4) & ~3);
1227         if (disp < 4096) {
1228           lir->operands[1] = disp;
1229         } else {
1230           // convert to ldimm16l, ldimm16h, add tgt, pc, operands[0]
1231           // TUNING: if this case fires often, it can be improved.  Not expected to be common.
1232           LIR *new_mov16L =
1233               RawLIR(lir->dalvik_offset, kThumb2MovImm16LST,
1234                      lir->operands[0], 0, reinterpret_cast<uintptr_t>(lir),
1235                      reinterpret_cast<uintptr_t>(tab_rec), 0, lir->target);
1236           InsertLIRBefore(lir, new_mov16L);
1237           LIR *new_mov16H =
1238               RawLIR(lir->dalvik_offset, kThumb2MovImm16HST,
1239                      lir->operands[0], 0, reinterpret_cast<uintptr_t>(lir),
1240                      reinterpret_cast<uintptr_t>(tab_rec), 0, lir->target);
1241           InsertLIRBefore(lir, new_mov16H);
1242           if (ARM_LOWREG(lir->operands[0])) {
1243             lir->opcode = kThumbAddRRLH;
1244           } else {
1245             lir->opcode = kThumbAddRRHH;
1246           }
1247           lir->operands[1] = rARM_PC;
1248           SetupResourceMasks(lir);
1249           res = kRetryAll;
1250         }
1251       } else if (lir->opcode == kThumb2MovImm16LST) {
1252         // operands[1] should hold disp, [2] has add, [3] has tab_rec
1253         LIR *addPCInst = reinterpret_cast<LIR*>(lir->operands[2]);
1254         SwitchTable *tab_rec = reinterpret_cast<SwitchTable*>(lir->operands[3]);
1255         // If tab_rec is null, this is a literal load. Use target
1256         LIR* target = lir->target;
1257         int target_disp = tab_rec ? tab_rec->offset : target->offset;
1258         lir->operands[1] = (target_disp - (addPCInst->offset + 4)) & 0xffff;
1259       } else if (lir->opcode == kThumb2MovImm16HST) {
1260         // operands[1] should hold disp, [2] has add, [3] has tab_rec
1261         LIR *addPCInst = reinterpret_cast<LIR*>(lir->operands[2]);
1262         SwitchTable *tab_rec = reinterpret_cast<SwitchTable*>(lir->operands[3]);
1263         // If tab_rec is null, this is a literal load. Use target
1264         LIR* target = lir->target;
1265         int target_disp = tab_rec ? tab_rec->offset : target->offset;
1266         lir->operands[1] =
1267             ((target_disp - (addPCInst->offset + 4)) >> 16) & 0xffff;
1268       }
1269     }
1270     /*
1271      * If one of the pc-relative instructions expanded we'll have
1272      * to make another pass.  Don't bother to fully assemble the
1273      * instruction.
1274      */
1275     if (res != kSuccess) {
1276       continue;
1277     }
1278     const ArmEncodingMap *encoder = &EncodingMap[lir->opcode];
1279     uint32_t bits = encoder->skeleton;
1280     int i;
1281     for (i = 0; i < 4; i++) {
1282       uint32_t operand;
1283       uint32_t value;
1284       operand = lir->operands[i];
1285       switch (encoder->field_loc[i].kind) {
1286         case kFmtUnused:
1287           break;
1288         case kFmtFPImm:
1289           value = ((operand & 0xF0) >> 4) << encoder->field_loc[i].end;
1290           value |= (operand & 0x0F) << encoder->field_loc[i].start;
1291           bits |= value;
1292           break;
1293         case kFmtBrOffset:
1294           value = ((operand  & 0x80000) >> 19) << 26;
1295           value |= ((operand & 0x40000) >> 18) << 11;
1296           value |= ((operand & 0x20000) >> 17) << 13;
1297           value |= ((operand & 0x1f800) >> 11) << 16;
1298           value |= (operand  & 0x007ff);
1299           bits |= value;
1300           break;
1301         case kFmtShift5:
1302           value = ((operand & 0x1c) >> 2) << 12;
1303           value |= (operand & 0x03) << 6;
1304           bits |= value;
1305           break;
1306         case kFmtShift:
1307           value = ((operand & 0x70) >> 4) << 12;
1308           value |= (operand & 0x0f) << 4;
1309           bits |= value;
1310           break;
1311         case kFmtBWidth:
1312           value = operand - 1;
1313           bits |= value;
1314           break;
1315         case kFmtLsb:
1316           value = ((operand & 0x1c) >> 2) << 12;
1317           value |= (operand & 0x03) << 6;
1318           bits |= value;
1319           break;
1320         case kFmtImm6:
1321           value = ((operand & 0x20) >> 5) << 9;
1322           value |= (operand & 0x1f) << 3;
1323           bits |= value;
1324           break;
1325         case kFmtBitBlt:
1326           value = (operand << encoder->field_loc[i].start) &
1327               ((1 << (encoder->field_loc[i].end + 1)) - 1);
1328           bits |= value;
1329           break;
1330         case kFmtDfp: {
1331           DCHECK(ARM_DOUBLEREG(operand));
1332           DCHECK_EQ((operand & 0x1), 0U);
1333           int reg_name = (operand & ARM_FP_REG_MASK) >> 1;
1334           /* Snag the 1-bit slice and position it */
1335           value = ((reg_name & 0x10) >> 4) << encoder->field_loc[i].end;
1336           /* Extract and position the 4-bit slice */
1337           value |= (reg_name & 0x0f) << encoder->field_loc[i].start;
1338           bits |= value;
1339           break;
1340         }
1341         case kFmtSfp:
1342           DCHECK(ARM_SINGLEREG(operand));
1343           /* Snag the 1-bit slice and position it */
1344           value = (operand & 0x1) << encoder->field_loc[i].end;
1345           /* Extract and position the 4-bit slice */
1346           value |= ((operand & 0x1e) >> 1) << encoder->field_loc[i].start;
1347           bits |= value;
1348           break;
1349         case kFmtImm12:
1350         case kFmtModImm:
1351           value = ((operand & 0x800) >> 11) << 26;
1352           value |= ((operand & 0x700) >> 8) << 12;
1353           value |= operand & 0x0ff;
1354           bits |= value;
1355           break;
1356         case kFmtImm16:
1357           value = ((operand & 0x0800) >> 11) << 26;
1358           value |= ((operand & 0xf000) >> 12) << 16;
1359           value |= ((operand & 0x0700) >> 8) << 12;
1360           value |= operand & 0x0ff;
1361           bits |= value;
1362           break;
1363         case kFmtOff24: {
1364           uint32_t signbit = (operand >> 31) & 0x1;
1365           uint32_t i1 = (operand >> 22) & 0x1;
1366           uint32_t i2 = (operand >> 21) & 0x1;
1367           uint32_t imm10 = (operand >> 11) & 0x03ff;
1368           uint32_t imm11 = operand & 0x07ff;
1369           uint32_t j1 = (i1 ^ signbit) ? 0 : 1;
1370           uint32_t j2 = (i2 ^ signbit) ? 0 : 1;
1371           value = (signbit << 26) | (j1 << 13) | (j2 << 11) | (imm10 << 16) |
1372               imm11;
1373           bits |= value;
1374           }
1375           break;
1376         default:
1377           LOG(FATAL) << "Bad fmt:" << encoder->field_loc[i].kind;
1378       }
1379     }
1380     if (encoder->size == 4) {
1381       code_buffer_.push_back((bits >> 16) & 0xff);
1382       code_buffer_.push_back((bits >> 24) & 0xff);
1383     }
1384     code_buffer_.push_back(bits & 0xff);
1385     code_buffer_.push_back((bits >> 8) & 0xff);
1386   }
1387   return res;
1388 }
1389 
GetInsnSize(LIR * lir)1390 int ArmMir2Lir::GetInsnSize(LIR* lir) {
1391   return EncodingMap[lir->opcode].size;
1392 }
1393 
1394 }  // namespace art
1395