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