assemble_arm.cc revision 1fc5800def46a2fa6cbd235fcb8af099ee35a127
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
21namespace 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 */
79const 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 */
1005AssemblerStatus 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          /*
1126           * Because we just added this new instruction after the current one,
1127           * advance lir so that this new instruction won't be checked for displacement
1128           * overflow until the next pass (when its base offset will be properly established).
1129           */
1130          lir = new_inst;
1131          res = kRetryAll;
1132        } else {
1133          lir->operands[1] = delta >> 1;
1134        }
1135      } else if (lir->opcode == kThumb2Push || lir->opcode == kThumb2Pop) {
1136        if (__builtin_popcount(lir->operands[0]) == 1) {
1137          /*
1138           * The standard push/pop multiple instruction
1139           * requires at least two registers in the list.
1140           * If we've got just one, switch to the single-reg
1141           * encoding.
1142           */
1143          lir->opcode = (lir->opcode == kThumb2Push) ? kThumb2Push1 :
1144              kThumb2Pop1;
1145          int reg = 0;
1146          while (lir->operands[0]) {
1147            if (lir->operands[0] & 0x1) {
1148              break;
1149            } else {
1150              reg++;
1151              lir->operands[0] >>= 1;
1152            }
1153          }
1154          lir->operands[0] = reg;
1155          SetupResourceMasks(lir);
1156          res = kRetryAll;
1157        }
1158      } else if (lir->opcode == kThumbBCond || lir->opcode == kThumb2BCond) {
1159        LIR *target_lir = lir->target;
1160        int delta = 0;
1161        DCHECK(target_lir);
1162        uintptr_t pc = lir->offset + 4;
1163        uintptr_t target = target_lir->offset;
1164        delta = target - pc;
1165        if ((lir->opcode == kThumbBCond) && (delta > 254 || delta < -256)) {
1166          lir->opcode = kThumb2BCond;
1167          SetupResourceMasks(lir);
1168          res = kRetryAll;
1169        }
1170        lir->operands[0] = delta >> 1;
1171      } else if (lir->opcode == kThumb2BUncond) {
1172        LIR *target_lir = lir->target;
1173        uintptr_t pc = lir->offset + 4;
1174        uintptr_t target = target_lir->offset;
1175        int delta = target - pc;
1176        lir->operands[0] = delta >> 1;
1177        if (!(cu_->disable_opt & (1 << kSafeOptimizations)) &&
1178          lir->operands[0] == 0) {  // Useless branch
1179          NopLIR(lir);
1180          res = kRetryAll;
1181        }
1182      } else if (lir->opcode == kThumbBUncond) {
1183        LIR *target_lir = lir->target;
1184        uintptr_t pc = lir->offset + 4;
1185        uintptr_t target = target_lir->offset;
1186        int delta = target - pc;
1187        if (delta > 2046 || delta < -2048) {
1188          // Convert to Thumb2BCond w/ kArmCondAl
1189          lir->opcode = kThumb2BUncond;
1190          lir->operands[0] = 0;
1191          SetupResourceMasks(lir);
1192          res = kRetryAll;
1193        } else {
1194          lir->operands[0] = delta >> 1;
1195          if (!(cu_->disable_opt & (1 << kSafeOptimizations)) &&
1196            lir->operands[0] == -1) {  // Useless branch
1197            NopLIR(lir);
1198            res = kRetryAll;
1199          }
1200        }
1201      } else if (lir->opcode == kThumbBlx1) {
1202        DCHECK(NEXT_LIR(lir)->opcode == kThumbBlx2);
1203        /* cur_pc is Thumb */
1204        uintptr_t cur_pc = (start_addr + lir->offset + 4) & ~3;
1205        uintptr_t target = lir->operands[1];
1206
1207        /* Match bit[1] in target with base */
1208        if (cur_pc & 0x2) {
1209          target |= 0x2;
1210        }
1211        int delta = target - cur_pc;
1212        DCHECK((delta >= -(1<<22)) && (delta <= ((1<<22)-2)));
1213
1214        lir->operands[0] = (delta >> 12) & 0x7ff;
1215        NEXT_LIR(lir)->operands[0] = (delta>> 1) & 0x7ff;
1216      } else if (lir->opcode == kThumbBl1) {
1217        DCHECK(NEXT_LIR(lir)->opcode == kThumbBl2);
1218        /* Both cur_pc and target are Thumb */
1219        uintptr_t cur_pc = start_addr + lir->offset + 4;
1220        uintptr_t target = lir->operands[1];
1221
1222        int delta = target - cur_pc;
1223        DCHECK((delta >= -(1<<22)) && (delta <= ((1<<22)-2)));
1224
1225        lir->operands[0] = (delta >> 12) & 0x7ff;
1226        NEXT_LIR(lir)->operands[0] = (delta>> 1) & 0x7ff;
1227      } else if (lir->opcode == kThumb2Adr) {
1228        SwitchTable *tab_rec = reinterpret_cast<SwitchTable*>(lir->operands[2]);
1229        LIR* target = lir->target;
1230        int target_disp = tab_rec ? tab_rec->offset
1231                    : target->offset;
1232        int disp = target_disp - ((lir->offset + 4) & ~3);
1233        if (disp < 4096) {
1234          lir->operands[1] = disp;
1235        } else {
1236          // convert to ldimm16l, ldimm16h, add tgt, pc, operands[0]
1237          // TUNING: if this case fires often, it can be improved.  Not expected to be common.
1238          LIR *new_mov16L =
1239              RawLIR(lir->dalvik_offset, kThumb2MovImm16LST,
1240                     lir->operands[0], 0, reinterpret_cast<uintptr_t>(lir),
1241                     reinterpret_cast<uintptr_t>(tab_rec), 0, lir->target);
1242          InsertLIRBefore(lir, new_mov16L);
1243          LIR *new_mov16H =
1244              RawLIR(lir->dalvik_offset, kThumb2MovImm16HST,
1245                     lir->operands[0], 0, reinterpret_cast<uintptr_t>(lir),
1246                     reinterpret_cast<uintptr_t>(tab_rec), 0, lir->target);
1247          InsertLIRBefore(lir, new_mov16H);
1248          if (ARM_LOWREG(lir->operands[0])) {
1249            lir->opcode = kThumbAddRRLH;
1250          } else {
1251            lir->opcode = kThumbAddRRHH;
1252          }
1253          lir->operands[1] = rARM_PC;
1254          SetupResourceMasks(lir);
1255          res = kRetryAll;
1256        }
1257      } else if (lir->opcode == kThumb2MovImm16LST) {
1258        // operands[1] should hold disp, [2] has add, [3] has tab_rec
1259        LIR *addPCInst = reinterpret_cast<LIR*>(lir->operands[2]);
1260        SwitchTable *tab_rec = reinterpret_cast<SwitchTable*>(lir->operands[3]);
1261        // If tab_rec is null, this is a literal load. Use target
1262        LIR* target = lir->target;
1263        int target_disp = tab_rec ? tab_rec->offset : target->offset;
1264        lir->operands[1] = (target_disp - (addPCInst->offset + 4)) & 0xffff;
1265      } else if (lir->opcode == kThumb2MovImm16HST) {
1266        // operands[1] should hold disp, [2] has add, [3] has tab_rec
1267        LIR *addPCInst = reinterpret_cast<LIR*>(lir->operands[2]);
1268        SwitchTable *tab_rec = reinterpret_cast<SwitchTable*>(lir->operands[3]);
1269        // If tab_rec is null, this is a literal load. Use target
1270        LIR* target = lir->target;
1271        int target_disp = tab_rec ? tab_rec->offset : target->offset;
1272        lir->operands[1] =
1273            ((target_disp - (addPCInst->offset + 4)) >> 16) & 0xffff;
1274      }
1275    }
1276    /*
1277     * If one of the pc-relative instructions expanded we'll have
1278     * to make another pass.  Don't bother to fully assemble the
1279     * instruction.
1280     */
1281    if (res != kSuccess) {
1282      continue;
1283    }
1284    const ArmEncodingMap *encoder = &EncodingMap[lir->opcode];
1285    uint32_t bits = encoder->skeleton;
1286    int i;
1287    for (i = 0; i < 4; i++) {
1288      uint32_t operand;
1289      uint32_t value;
1290      operand = lir->operands[i];
1291      switch (encoder->field_loc[i].kind) {
1292        case kFmtUnused:
1293          break;
1294        case kFmtFPImm:
1295          value = ((operand & 0xF0) >> 4) << encoder->field_loc[i].end;
1296          value |= (operand & 0x0F) << encoder->field_loc[i].start;
1297          bits |= value;
1298          break;
1299        case kFmtBrOffset:
1300          value = ((operand  & 0x80000) >> 19) << 26;
1301          value |= ((operand & 0x40000) >> 18) << 11;
1302          value |= ((operand & 0x20000) >> 17) << 13;
1303          value |= ((operand & 0x1f800) >> 11) << 16;
1304          value |= (operand  & 0x007ff);
1305          bits |= value;
1306          break;
1307        case kFmtShift5:
1308          value = ((operand & 0x1c) >> 2) << 12;
1309          value |= (operand & 0x03) << 6;
1310          bits |= value;
1311          break;
1312        case kFmtShift:
1313          value = ((operand & 0x70) >> 4) << 12;
1314          value |= (operand & 0x0f) << 4;
1315          bits |= value;
1316          break;
1317        case kFmtBWidth:
1318          value = operand - 1;
1319          bits |= value;
1320          break;
1321        case kFmtLsb:
1322          value = ((operand & 0x1c) >> 2) << 12;
1323          value |= (operand & 0x03) << 6;
1324          bits |= value;
1325          break;
1326        case kFmtImm6:
1327          value = ((operand & 0x20) >> 5) << 9;
1328          value |= (operand & 0x1f) << 3;
1329          bits |= value;
1330          break;
1331        case kFmtBitBlt:
1332          value = (operand << encoder->field_loc[i].start) &
1333              ((1 << (encoder->field_loc[i].end + 1)) - 1);
1334          bits |= value;
1335          break;
1336        case kFmtDfp: {
1337          DCHECK(ARM_DOUBLEREG(operand));
1338          DCHECK_EQ((operand & 0x1), 0U);
1339          int reg_name = (operand & ARM_FP_REG_MASK) >> 1;
1340          /* Snag the 1-bit slice and position it */
1341          value = ((reg_name & 0x10) >> 4) << encoder->field_loc[i].end;
1342          /* Extract and position the 4-bit slice */
1343          value |= (reg_name & 0x0f) << encoder->field_loc[i].start;
1344          bits |= value;
1345          break;
1346        }
1347        case kFmtSfp:
1348          DCHECK(ARM_SINGLEREG(operand));
1349          /* Snag the 1-bit slice and position it */
1350          value = (operand & 0x1) << encoder->field_loc[i].end;
1351          /* Extract and position the 4-bit slice */
1352          value |= ((operand & 0x1e) >> 1) << encoder->field_loc[i].start;
1353          bits |= value;
1354          break;
1355        case kFmtImm12:
1356        case kFmtModImm:
1357          value = ((operand & 0x800) >> 11) << 26;
1358          value |= ((operand & 0x700) >> 8) << 12;
1359          value |= operand & 0x0ff;
1360          bits |= value;
1361          break;
1362        case kFmtImm16:
1363          value = ((operand & 0x0800) >> 11) << 26;
1364          value |= ((operand & 0xf000) >> 12) << 16;
1365          value |= ((operand & 0x0700) >> 8) << 12;
1366          value |= operand & 0x0ff;
1367          bits |= value;
1368          break;
1369        case kFmtOff24: {
1370          uint32_t signbit = (operand >> 31) & 0x1;
1371          uint32_t i1 = (operand >> 22) & 0x1;
1372          uint32_t i2 = (operand >> 21) & 0x1;
1373          uint32_t imm10 = (operand >> 11) & 0x03ff;
1374          uint32_t imm11 = operand & 0x07ff;
1375          uint32_t j1 = (i1 ^ signbit) ? 0 : 1;
1376          uint32_t j2 = (i2 ^ signbit) ? 0 : 1;
1377          value = (signbit << 26) | (j1 << 13) | (j2 << 11) | (imm10 << 16) |
1378              imm11;
1379          bits |= value;
1380          }
1381          break;
1382        default:
1383          LOG(FATAL) << "Bad fmt:" << encoder->field_loc[i].kind;
1384      }
1385    }
1386    if (encoder->size == 4) {
1387      code_buffer_.push_back((bits >> 16) & 0xff);
1388      code_buffer_.push_back((bits >> 24) & 0xff);
1389    }
1390    code_buffer_.push_back(bits & 0xff);
1391    code_buffer_.push_back((bits >> 8) & 0xff);
1392  }
1393  return res;
1394}
1395
1396int ArmMir2Lir::GetInsnSize(LIR* lir) {
1397  return EncodingMap[lir->opcode].size;
1398}
1399
1400}  // namespace art
1401