blob: b2db36d8317b86e401cd0861d4a7c3cb6eaec860 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_COMPILER_DEX_QUICK_ARM_ARM_LIR_H_
18#define ART_COMPILER_DEX_QUICK_ARM_ARM_LIR_H_
Brian Carlstrom7940e442013-07-12 13:46:57 -070019
20#include "dex/compiler_internals.h"
21
22namespace art {
23
24/*
25 * Runtime register usage conventions.
26 *
27 * r0-r3: Argument registers in both Dalvik and C/C++ conventions.
28 * However, for Dalvik->Dalvik calls we'll pass the target's Method*
29 * pointer in r0 as a hidden arg0. Otherwise used as codegen scratch
30 * registers.
31 * r0-r1: As in C/C++ r0 is 32-bit return register and r0/r1 is 64-bit
Wei Jin04f4d8a2014-05-29 18:04:29 -070032 * r4 : If ARM_R4_SUSPEND_FLAG is set then reserved as a suspend check/debugger
33 * assist flag, otherwise a callee save promotion target.
Brian Carlstrom7940e442013-07-12 13:46:57 -070034 * r5 : Callee save (promotion target)
35 * r6 : Callee save (promotion target)
36 * r7 : Callee save (promotion target)
37 * r8 : Callee save (promotion target)
38 * r9 : (rARM_SELF) is reserved (pointer to thread-local storage)
39 * r10 : Callee save (promotion target)
40 * r11 : Callee save (promotion target)
41 * r12 : Scratch, may be trashed by linkage stubs
42 * r13 : (sp) is reserved
43 * r14 : (lr) is reserved
44 * r15 : (pc) is reserved
45 *
46 * 5 core temps that codegen can use (r0, r1, r2, r3, r12)
47 * 7 core registers that can be used for promotion
48 *
49 * Floating pointer registers
50 * s0-s31
51 * d0-d15, where d0={s0,s1}, d1={s2,s3}, ... , d15={s30,s31}
52 *
53 * s16-s31 (d8-d15) preserved across C calls
54 * s0-s15 (d0-d7) trashed across C calls
55 *
56 * s0-s15/d0-d7 used as codegen temp/scratch
57 * s16-s31/d8-d31 can be used for promotion.
58 *
59 * Calling convention
60 * o On a call to a Dalvik method, pass target's Method* in r0
61 * o r1-r3 will be used for up to the first 3 words of arguments
62 * o Arguments past the first 3 words will be placed in appropriate
63 * out slots by the caller.
64 * o If a 64-bit argument would span the register/memory argument
65 * boundary, it will instead be fully passed in the frame.
66 * o Maintain a 16-byte stack alignment
67 *
68 * Stack frame diagram (stack grows down, higher addresses at top):
69 *
70 * +------------------------+
71 * | IN[ins-1] | {Note: resides in caller's frame}
72 * | . |
73 * | IN[0] |
74 * | caller's Method* |
75 * +========================+ {Note: start of callee's frame}
76 * | spill region | {variable sized - will include lr if non-leaf.}
77 * +------------------------+
78 * | ...filler word... | {Note: used as 2nd word of V[locals-1] if long]
79 * +------------------------+
80 * | V[locals-1] |
81 * | V[locals-2] |
82 * | . |
83 * | . |
84 * | V[1] |
85 * | V[0] |
86 * +------------------------+
87 * | 0 to 3 words padding |
88 * +------------------------+
89 * | OUT[outs-1] |
90 * | OUT[outs-2] |
91 * | . |
92 * | OUT[0] |
93 * | cur_method* | <<== sp w/ 16-byte alignment
94 * +========================+
95 */
96
Brian Carlstrom7940e442013-07-12 13:46:57 -070097// First FP callee save.
98#define ARM_FP_CALLEE_SAVE_BASE 16
Wei Jin04f4d8a2014-05-29 18:04:29 -070099// Flag for using R4 to do suspend check
100#define ARM_R4_SUSPEND_FLAG
Brian Carlstrom7940e442013-07-12 13:46:57 -0700101
Brian Carlstrom7940e442013-07-12 13:46:57 -0700102enum ArmResourceEncodingPos {
103 kArmGPReg0 = 0,
104 kArmRegSP = 13,
105 kArmRegLR = 14,
106 kArmRegPC = 15,
107 kArmFPReg0 = 16,
108 kArmFPReg16 = 32,
109 kArmRegEnd = 48,
110};
111
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700112enum ArmNativeRegisterPool { // private marker to avoid generate-operator-out.py from processing.
buzbee091cc402014-03-31 10:14:40 -0700113 r0 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 0,
114 r1 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 1,
115 r2 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 2,
116 r3 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 3,
Wei Jin04f4d8a2014-05-29 18:04:29 -0700117#ifdef ARM_R4_SUSPEND_FLAG
buzbee091cc402014-03-31 10:14:40 -0700118 rARM_SUSPEND = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 4,
Wei Jin04f4d8a2014-05-29 18:04:29 -0700119#else
120 r4 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 4,
121#endif
buzbee091cc402014-03-31 10:14:40 -0700122 r5 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 5,
123 r6 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 6,
124 r7 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 7,
125 r8 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 8,
126 rARM_SELF = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 9,
127 r10 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 10,
128 r11 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 11,
129 r12 = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 12,
130 r13sp = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 13,
131 rARM_SP = r13sp,
132 r14lr = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 14,
133 rARM_LR = r14lr,
134 r15pc = RegStorage::k32BitSolo | RegStorage::kCoreRegister | 15,
135 rARM_PC = r15pc,
136
137 fr0 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 0,
138 fr1 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 1,
139 fr2 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 2,
140 fr3 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 3,
141 fr4 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 4,
142 fr5 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 5,
143 fr6 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 6,
144 fr7 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 7,
145 fr8 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 8,
146 fr9 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 9,
147 fr10 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 10,
148 fr11 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 11,
149 fr12 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 12,
150 fr13 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 13,
151 fr14 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 14,
152 fr15 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 15,
153 fr16 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 16,
154 fr17 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 17,
155 fr18 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 18,
156 fr19 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 19,
157 fr20 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 20,
158 fr21 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 21,
159 fr22 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 22,
160 fr23 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 23,
161 fr24 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 24,
162 fr25 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 25,
163 fr26 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 26,
164 fr27 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 27,
165 fr28 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 28,
166 fr29 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 29,
167 fr30 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 30,
168 fr31 = RegStorage::k32BitSolo | RegStorage::kFloatingPoint | 31,
169
170 dr0 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 0,
171 dr1 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 1,
172 dr2 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 2,
173 dr3 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 3,
174 dr4 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 4,
175 dr5 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 5,
176 dr6 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 6,
177 dr7 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 7,
178 dr8 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 8,
179 dr9 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 9,
180 dr10 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 10,
181 dr11 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 11,
182 dr12 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 12,
183 dr13 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 13,
184 dr14 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 14,
185 dr15 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 15,
186#if 0
187 // Enable when def/use and runtime able to handle these.
188 dr16 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 16,
189 dr17 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 17,
190 dr18 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 18,
191 dr19 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 19,
192 dr20 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 20,
193 dr21 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 21,
194 dr22 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 22,
195 dr23 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 23,
196 dr24 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 24,
197 dr25 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 25,
198 dr26 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 26,
199 dr27 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 27,
200 dr28 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 28,
201 dr29 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 29,
202 dr30 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 30,
203 dr31 = RegStorage::k64BitSolo | RegStorage::kFloatingPoint | 31,
204#endif
Brian Carlstrom7940e442013-07-12 13:46:57 -0700205};
206
buzbee091cc402014-03-31 10:14:40 -0700207constexpr RegStorage rs_r0(RegStorage::kValid | r0);
208constexpr RegStorage rs_r1(RegStorage::kValid | r1);
209constexpr RegStorage rs_r2(RegStorage::kValid | r2);
210constexpr RegStorage rs_r3(RegStorage::kValid | r3);
Wei Jin04f4d8a2014-05-29 18:04:29 -0700211#ifdef ARM_R4_SUSPEND_FLAG
buzbee091cc402014-03-31 10:14:40 -0700212constexpr RegStorage rs_rARM_SUSPEND(RegStorage::kValid | rARM_SUSPEND);
Wei Jin04f4d8a2014-05-29 18:04:29 -0700213#else
214constexpr RegStorage rs_r4(RegStorage::kValid | r4);
215#endif
buzbee091cc402014-03-31 10:14:40 -0700216constexpr RegStorage rs_r5(RegStorage::kValid | r5);
217constexpr RegStorage rs_r6(RegStorage::kValid | r6);
218constexpr RegStorage rs_r7(RegStorage::kValid | r7);
219constexpr RegStorage rs_r8(RegStorage::kValid | r8);
220constexpr RegStorage rs_rARM_SELF(RegStorage::kValid | rARM_SELF);
221constexpr RegStorage rs_r10(RegStorage::kValid | r10);
222constexpr RegStorage rs_r11(RegStorage::kValid | r11);
223constexpr RegStorage rs_r12(RegStorage::kValid | r12);
224constexpr RegStorage rs_r13sp(RegStorage::kValid | r13sp);
225constexpr RegStorage rs_rARM_SP(RegStorage::kValid | rARM_SP);
226constexpr RegStorage rs_r14lr(RegStorage::kValid | r14lr);
227constexpr RegStorage rs_rARM_LR(RegStorage::kValid | rARM_LR);
228constexpr RegStorage rs_r15pc(RegStorage::kValid | r15pc);
229constexpr RegStorage rs_rARM_PC(RegStorage::kValid | rARM_PC);
230constexpr RegStorage rs_invalid(RegStorage::kInvalid);
buzbee2700f7e2014-03-07 09:46:20 -0800231
buzbee091cc402014-03-31 10:14:40 -0700232constexpr RegStorage rs_fr0(RegStorage::kValid | fr0);
233constexpr RegStorage rs_fr1(RegStorage::kValid | fr1);
234constexpr RegStorage rs_fr2(RegStorage::kValid | fr2);
235constexpr RegStorage rs_fr3(RegStorage::kValid | fr3);
236constexpr RegStorage rs_fr4(RegStorage::kValid | fr4);
237constexpr RegStorage rs_fr5(RegStorage::kValid | fr5);
238constexpr RegStorage rs_fr6(RegStorage::kValid | fr6);
239constexpr RegStorage rs_fr7(RegStorage::kValid | fr7);
240constexpr RegStorage rs_fr8(RegStorage::kValid | fr8);
241constexpr RegStorage rs_fr9(RegStorage::kValid | fr9);
242constexpr RegStorage rs_fr10(RegStorage::kValid | fr10);
243constexpr RegStorage rs_fr11(RegStorage::kValid | fr11);
244constexpr RegStorage rs_fr12(RegStorage::kValid | fr12);
245constexpr RegStorage rs_fr13(RegStorage::kValid | fr13);
246constexpr RegStorage rs_fr14(RegStorage::kValid | fr14);
247constexpr RegStorage rs_fr15(RegStorage::kValid | fr15);
248constexpr RegStorage rs_fr16(RegStorage::kValid | fr16);
249constexpr RegStorage rs_fr17(RegStorage::kValid | fr17);
250constexpr RegStorage rs_fr18(RegStorage::kValid | fr18);
251constexpr RegStorage rs_fr19(RegStorage::kValid | fr19);
252constexpr RegStorage rs_fr20(RegStorage::kValid | fr20);
253constexpr RegStorage rs_fr21(RegStorage::kValid | fr21);
254constexpr RegStorage rs_fr22(RegStorage::kValid | fr22);
255constexpr RegStorage rs_fr23(RegStorage::kValid | fr23);
256constexpr RegStorage rs_fr24(RegStorage::kValid | fr24);
257constexpr RegStorage rs_fr25(RegStorage::kValid | fr25);
258constexpr RegStorage rs_fr26(RegStorage::kValid | fr26);
259constexpr RegStorage rs_fr27(RegStorage::kValid | fr27);
260constexpr RegStorage rs_fr28(RegStorage::kValid | fr28);
261constexpr RegStorage rs_fr29(RegStorage::kValid | fr29);
262constexpr RegStorage rs_fr30(RegStorage::kValid | fr30);
263constexpr RegStorage rs_fr31(RegStorage::kValid | fr31);
buzbee2700f7e2014-03-07 09:46:20 -0800264
buzbee091cc402014-03-31 10:14:40 -0700265constexpr RegStorage rs_dr0(RegStorage::kValid | dr0);
266constexpr RegStorage rs_dr1(RegStorage::kValid | dr1);
267constexpr RegStorage rs_dr2(RegStorage::kValid | dr2);
268constexpr RegStorage rs_dr3(RegStorage::kValid | dr3);
269constexpr RegStorage rs_dr4(RegStorage::kValid | dr4);
270constexpr RegStorage rs_dr5(RegStorage::kValid | dr5);
271constexpr RegStorage rs_dr6(RegStorage::kValid | dr6);
272constexpr RegStorage rs_dr7(RegStorage::kValid | dr7);
273constexpr RegStorage rs_dr8(RegStorage::kValid | dr8);
274constexpr RegStorage rs_dr9(RegStorage::kValid | dr9);
275constexpr RegStorage rs_dr10(RegStorage::kValid | dr10);
276constexpr RegStorage rs_dr11(RegStorage::kValid | dr11);
277constexpr RegStorage rs_dr12(RegStorage::kValid | dr12);
278constexpr RegStorage rs_dr13(RegStorage::kValid | dr13);
279constexpr RegStorage rs_dr14(RegStorage::kValid | dr14);
280constexpr RegStorage rs_dr15(RegStorage::kValid | dr15);
281#if 0
282constexpr RegStorage rs_dr16(RegStorage::kValid | dr16);
283constexpr RegStorage rs_dr17(RegStorage::kValid | dr17);
284constexpr RegStorage rs_dr18(RegStorage::kValid | dr18);
285constexpr RegStorage rs_dr19(RegStorage::kValid | dr19);
286constexpr RegStorage rs_dr20(RegStorage::kValid | dr20);
287constexpr RegStorage rs_dr21(RegStorage::kValid | dr21);
288constexpr RegStorage rs_dr22(RegStorage::kValid | dr22);
289constexpr RegStorage rs_dr23(RegStorage::kValid | dr23);
290constexpr RegStorage rs_dr24(RegStorage::kValid | dr24);
291constexpr RegStorage rs_dr25(RegStorage::kValid | dr25);
292constexpr RegStorage rs_dr26(RegStorage::kValid | dr26);
293constexpr RegStorage rs_dr27(RegStorage::kValid | dr27);
294constexpr RegStorage rs_dr28(RegStorage::kValid | dr28);
295constexpr RegStorage rs_dr29(RegStorage::kValid | dr29);
296constexpr RegStorage rs_dr30(RegStorage::kValid | dr30);
297constexpr RegStorage rs_dr31(RegStorage::kValid | dr31);
298#endif
Brian Carlstrom7940e442013-07-12 13:46:57 -0700299
Zheng Xu5667fdb2014-10-23 18:29:55 +0800300// RegisterLocation templates return values (r0, r0/r1, s0, or d0).
301// Note: The return locations are shared between quick code and quick helper. This follows quick
302// ABI. Quick helper assembly routine needs to handle the ABI differences.
303const RegLocation arm_loc_c_return =
304 {kLocPhysReg, 0, 0, 0, 0, 0, 0, 0, 1, rs_r0, INVALID_SREG, INVALID_SREG};
305const RegLocation arm_loc_c_return_wide =
buzbee091cc402014-03-31 10:14:40 -0700306 {kLocPhysReg, 1, 0, 0, 0, 0, 0, 0, 1,
Zheng Xu5667fdb2014-10-23 18:29:55 +0800307 RegStorage::MakeRegPair(rs_r0, rs_r1), INVALID_SREG, INVALID_SREG};
308const RegLocation arm_loc_c_return_float = kArm32QuickCodeUseSoftFloat
309 ? arm_loc_c_return
310 : RegLocation({kLocPhysReg, 0, 0, 0, 1, 0, 0, 0, 1, rs_fr0, INVALID_SREG, INVALID_SREG});
311const RegLocation arm_loc_c_return_double = kArm32QuickCodeUseSoftFloat
312 ? arm_loc_c_return_wide
313 : RegLocation({kLocPhysReg, 1, 0, 0, 1, 0, 0, 0, 1, rs_dr0, INVALID_SREG, INVALID_SREG});
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000314
Brian Carlstrom7940e442013-07-12 13:46:57 -0700315enum ArmShiftEncodings {
316 kArmLsl = 0x0,
317 kArmLsr = 0x1,
318 kArmAsr = 0x2,
319 kArmRor = 0x3
320};
321
322/*
323 * The following enum defines the list of supported Thumb instructions by the
324 * assembler. Their corresponding EncodingMap positions will be defined in
325 * Assemble.cc.
326 */
327enum ArmOpcode {
328 kArmFirst = 0,
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700329 kArm16BitData = kArmFirst, // DATA [0] rd[15..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700330 kThumbAdcRR, // adc [0100000101] rm[5..3] rd[2..0].
Ian Rogersef6a7762013-12-19 17:58:05 -0800331 kThumbAddRRI3, // add(1) [0001110] imm_3[8..6] rn[5..3] rd[2..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700332 kThumbAddRI8, // add(2) [00110] rd[10..8] imm_8[7..0].
333 kThumbAddRRR, // add(3) [0001100] rm[8..6] rn[5..3] rd[2..0].
334 kThumbAddRRLH, // add(4) [01000100] H12[01] rm[5..3] rd[2..0].
335 kThumbAddRRHL, // add(4) [01001000] H12[10] rm[5..3] rd[2..0].
336 kThumbAddRRHH, // add(4) [01001100] H12[11] rm[5..3] rd[2..0].
337 kThumbAddPcRel, // add(5) [10100] rd[10..8] imm_8[7..0].
338 kThumbAddSpRel, // add(6) [10101] rd[10..8] imm_8[7..0].
339 kThumbAddSpI7, // add(7) [101100000] imm_7[6..0].
340 kThumbAndRR, // and [0100000000] rm[5..3] rd[2..0].
341 kThumbAsrRRI5, // asr(1) [00010] imm_5[10..6] rm[5..3] rd[2..0].
342 kThumbAsrRR, // asr(2) [0100000100] rs[5..3] rd[2..0].
343 kThumbBCond, // b(1) [1101] cond[11..8] offset_8[7..0].
344 kThumbBUncond, // b(2) [11100] offset_11[10..0].
345 kThumbBicRR, // bic [0100001110] rm[5..3] rd[2..0].
346 kThumbBkpt, // bkpt [10111110] imm_8[7..0].
347 kThumbBlx1, // blx(1) [111] H[10] offset_11[10..0].
348 kThumbBlx2, // blx(1) [111] H[01] offset_11[10..0].
349 kThumbBl1, // blx(1) [111] H[10] offset_11[10..0].
350 kThumbBl2, // blx(1) [111] H[11] offset_11[10..0].
351 kThumbBlxR, // blx(2) [010001111] rm[6..3] [000].
352 kThumbBx, // bx [010001110] H2[6..6] rm[5..3] SBZ[000].
353 kThumbCmnRR, // cmn [0100001011] rm[5..3] rd[2..0].
354 kThumbCmpRI8, // cmp(1) [00101] rn[10..8] imm_8[7..0].
355 kThumbCmpRR, // cmp(2) [0100001010] rm[5..3] rd[2..0].
356 kThumbCmpLH, // cmp(3) [01000101] H12[01] rm[5..3] rd[2..0].
357 kThumbCmpHL, // cmp(3) [01000110] H12[10] rm[5..3] rd[2..0].
358 kThumbCmpHH, // cmp(3) [01000111] H12[11] rm[5..3] rd[2..0].
359 kThumbEorRR, // eor [0100000001] rm[5..3] rd[2..0].
360 kThumbLdmia, // ldmia [11001] rn[10..8] reglist [7..0].
361 kThumbLdrRRI5, // ldr(1) [01101] imm_5[10..6] rn[5..3] rd[2..0].
362 kThumbLdrRRR, // ldr(2) [0101100] rm[8..6] rn[5..3] rd[2..0].
363 kThumbLdrPcRel, // ldr(3) [01001] rd[10..8] imm_8[7..0].
364 kThumbLdrSpRel, // ldr(4) [10011] rd[10..8] imm_8[7..0].
365 kThumbLdrbRRI5, // ldrb(1) [01111] imm_5[10..6] rn[5..3] rd[2..0].
366 kThumbLdrbRRR, // ldrb(2) [0101110] rm[8..6] rn[5..3] rd[2..0].
367 kThumbLdrhRRI5, // ldrh(1) [10001] imm_5[10..6] rn[5..3] rd[2..0].
368 kThumbLdrhRRR, // ldrh(2) [0101101] rm[8..6] rn[5..3] rd[2..0].
369 kThumbLdrsbRRR, // ldrsb [0101011] rm[8..6] rn[5..3] rd[2..0].
370 kThumbLdrshRRR, // ldrsh [0101111] rm[8..6] rn[5..3] rd[2..0].
371 kThumbLslRRI5, // lsl(1) [00000] imm_5[10..6] rm[5..3] rd[2..0].
372 kThumbLslRR, // lsl(2) [0100000010] rs[5..3] rd[2..0].
373 kThumbLsrRRI5, // lsr(1) [00001] imm_5[10..6] rm[5..3] rd[2..0].
374 kThumbLsrRR, // lsr(2) [0100000011] rs[5..3] rd[2..0].
375 kThumbMovImm, // mov(1) [00100] rd[10..8] imm_8[7..0].
376 kThumbMovRR, // mov(2) [0001110000] rn[5..3] rd[2..0].
377 kThumbMovRR_H2H, // mov(3) [01000111] H12[11] rm[5..3] rd[2..0].
378 kThumbMovRR_H2L, // mov(3) [01000110] H12[01] rm[5..3] rd[2..0].
379 kThumbMovRR_L2H, // mov(3) [01000101] H12[10] rm[5..3] rd[2..0].
380 kThumbMul, // mul [0100001101] rm[5..3] rd[2..0].
381 kThumbMvn, // mvn [0100001111] rm[5..3] rd[2..0].
382 kThumbNeg, // neg [0100001001] rm[5..3] rd[2..0].
383 kThumbOrr, // orr [0100001100] rm[5..3] rd[2..0].
384 kThumbPop, // pop [1011110] r[8..8] rl[7..0].
385 kThumbPush, // push [1011010] r[8..8] rl[7..0].
Vladimir Markoa8b4caf2013-10-24 15:08:57 +0100386 kThumbRev, // rev [1011101000] rm[5..3] rd[2..0]
387 kThumbRevsh, // revsh [1011101011] rm[5..3] rd[2..0]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700388 kThumbRorRR, // ror [0100000111] rs[5..3] rd[2..0].
389 kThumbSbc, // sbc [0100000110] rm[5..3] rd[2..0].
390 kThumbStmia, // stmia [11000] rn[10..8] reglist [7.. 0].
391 kThumbStrRRI5, // str(1) [01100] imm_5[10..6] rn[5..3] rd[2..0].
392 kThumbStrRRR, // str(2) [0101000] rm[8..6] rn[5..3] rd[2..0].
393 kThumbStrSpRel, // str(3) [10010] rd[10..8] imm_8[7..0].
394 kThumbStrbRRI5, // strb(1) [01110] imm_5[10..6] rn[5..3] rd[2..0].
395 kThumbStrbRRR, // strb(2) [0101010] rm[8..6] rn[5..3] rd[2..0].
396 kThumbStrhRRI5, // strh(1) [10000] imm_5[10..6] rn[5..3] rd[2..0].
397 kThumbStrhRRR, // strh(2) [0101001] rm[8..6] rn[5..3] rd[2..0].
398 kThumbSubRRI3, // sub(1) [0001111] imm_3[8..6] rn[5..3] rd[2..0]*/
399 kThumbSubRI8, // sub(2) [00111] rd[10..8] imm_8[7..0].
400 kThumbSubRRR, // sub(3) [0001101] rm[8..6] rn[5..3] rd[2..0].
401 kThumbSubSpI7, // sub(4) [101100001] imm_7[6..0].
402 kThumbSwi, // swi [11011111] imm_8[7..0].
403 kThumbTst, // tst [0100001000] rm[5..3] rn[2..0].
404 kThumb2Vldrs, // vldr low sx [111011011001] rn[19..16] rd[15-12] [1010] imm_8[7..0].
405 kThumb2Vldrd, // vldr low dx [111011011001] rn[19..16] rd[15-12] [1011] imm_8[7..0].
406 kThumb2Vmuls, // vmul vd, vn, vm [111011100010] rn[19..16] rd[15-12] [10100000] rm[3..0].
407 kThumb2Vmuld, // vmul vd, vn, vm [111011100010] rn[19..16] rd[15-12] [10110000] rm[3..0].
408 kThumb2Vstrs, // vstr low sx [111011011000] rn[19..16] rd[15-12] [1010] imm_8[7..0].
409 kThumb2Vstrd, // vstr low dx [111011011000] rn[19..16] rd[15-12] [1011] imm_8[7..0].
410 kThumb2Vsubs, // vsub vd, vn, vm [111011100011] rn[19..16] rd[15-12] [10100040] rm[3..0].
411 kThumb2Vsubd, // vsub vd, vn, vm [111011100011] rn[19..16] rd[15-12] [10110040] rm[3..0].
412 kThumb2Vadds, // vadd vd, vn, vm [111011100011] rn[19..16] rd[15-12] [10100000] rm[3..0].
413 kThumb2Vaddd, // vadd vd, vn, vm [111011100011] rn[19..16] rd[15-12] [10110000] rm[3..0].
414 kThumb2Vdivs, // vdiv vd, vn, vm [111011101000] rn[19..16] rd[15-12] [10100000] rm[3..0].
415 kThumb2Vdivd, // vdiv vd, vn, vm [111011101000] rn[19..16] rd[15-12] [10110000] rm[3..0].
Ian Rogersef6a7762013-12-19 17:58:05 -0800416 kThumb2VmlaF64, // vmla.F64 vd, vn, vm [111011100000] vn[19..16] vd[15..12] [10110000] vm[3..0].
Zheng Xue19649a2014-02-27 13:30:55 +0000417 kThumb2VcvtIF, // vcvt.F32.S32 vd, vm [1110111010111000] vd[15..12] [10101100] vm[3..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700418 kThumb2VcvtFI, // vcvt.S32.F32 vd, vm [1110111010111101] vd[15..12] [10101100] vm[3..0].
419 kThumb2VcvtDI, // vcvt.S32.F32 vd, vm [1110111010111101] vd[15..12] [10111100] vm[3..0].
420 kThumb2VcvtFd, // vcvt.F64.F32 vd, vm [1110111010110111] vd[15..12] [10101100] vm[3..0].
421 kThumb2VcvtDF, // vcvt.F32.F64 vd, vm [1110111010110111] vd[15..12] [10111100] vm[3..0].
Ian Rogersef6a7762013-12-19 17:58:05 -0800422 kThumb2VcvtF64S32, // vcvt.F64.S32 vd, vm [1110111010111000] vd[15..12] [10111100] vm[3..0].
423 kThumb2VcvtF64U32, // vcvt.F64.U32 vd, vm [1110111010111000] vd[15..12] [10110100] vm[3..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700424 kThumb2Vsqrts, // vsqrt.f32 vd, vm [1110111010110001] vd[15..12] [10101100] vm[3..0].
425 kThumb2Vsqrtd, // vsqrt.f64 vd, vm [1110111010110001] vd[15..12] [10111100] vm[3..0].
Vladimir Marko332b7aa2013-11-18 12:01:54 +0000426 kThumb2MovI8M, // mov(T2) rd, #<const> [11110] i [00001001111] imm3 rd[11..8] imm8.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700427 kThumb2MovImm16, // mov(T3) rd, #<const> [11110] i [0010100] imm4 [0] imm3 rd[11..8] imm8.
428 kThumb2StrRRI12, // str(Imm,T3) rd,[rn,#imm12] [111110001100] rn[19..16] rt[15..12] imm12[11..0].
429 kThumb2LdrRRI12, // str(Imm,T3) rd,[rn,#imm12] [111110001100] rn[19..16] rt[15..12] imm12[11..0].
Ian Rogersef6a7762013-12-19 17:58:05 -0800430 kThumb2StrRRI8Predec, // str(Imm,T4) rd,[rn,#-imm8] [111110000100] rn[19..16] rt[15..12] [1100] imm[7..0].
431 kThumb2LdrRRI8Predec, // ldr(Imm,T4) rd,[rn,#-imm8] [111110000101] rn[19..16] rt[15..12] [1100] imm[7..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700432 kThumb2Cbnz, // cbnz rd,<label> [101110] i [1] imm5[7..3] rn[2..0].
433 kThumb2Cbz, // cbn rd,<label> [101100] i [1] imm5[7..3] rn[2..0].
434 kThumb2AddRRI12, // add rd, rn, #imm12 [11110] i [100000] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
435 kThumb2MovRR, // mov rd, rm [11101010010011110000] rd[11..8] [0000] rm[3..0].
436 kThumb2Vmovs, // vmov.f32 vd, vm [111011101] D [110000] vd[15..12] 101001] M [0] vm[3..0].
437 kThumb2Vmovd, // vmov.f64 vd, vm [111011101] D [110000] vd[15..12] 101101] M [0] vm[3..0].
Vladimir Marko332b7aa2013-11-18 12:01:54 +0000438 kThumb2Ldmia, // ldmia [111010001001] rn[19..16] mask[15..0].
439 kThumb2Stmia, // stmia [111010001000] rn[19..16] mask[15..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700440 kThumb2AddRRR, // add [111010110000] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
441 kThumb2SubRRR, // sub [111010111010] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
442 kThumb2SbcRRR, // sbc [111010110110] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
443 kThumb2CmpRR, // cmp [111010111011] rn[19..16] [0000] [1111] [0000] rm[3..0].
Vladimir Marko332b7aa2013-11-18 12:01:54 +0000444 kThumb2SubRRI12, // sub rd, rn, #imm12 [11110] i [101010] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
445 kThumb2MvnI8M, // mov(T2) rd, #<const> [11110] i [00011011110] imm3 rd[11..8] imm8.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700446 kThumb2Sel, // sel rd, rn, rm [111110101010] rn[19-16] rd[11-8] rm[3-0].
447 kThumb2Ubfx, // ubfx rd,rn,#lsb,#width [111100111100] rn[19..16] [0] imm3[14-12] rd[11-8] w[4-0].
448 kThumb2Sbfx, // ubfx rd,rn,#lsb,#width [111100110100] rn[19..16] [0] imm3[14-12] rd[11-8] w[4-0].
449 kThumb2LdrRRR, // ldr rt,[rn,rm,LSL #imm] [111110000101] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
450 kThumb2LdrhRRR, // ldrh rt,[rn,rm,LSL #imm] [111110000101] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
451 kThumb2LdrshRRR, // ldrsh rt,[rn,rm,LSL #imm] [111110000101] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
452 kThumb2LdrbRRR, // ldrb rt,[rn,rm,LSL #imm] [111110000101] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
453 kThumb2LdrsbRRR, // ldrsb rt,[rn,rm,LSL #imm] [111110000101] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
454 kThumb2StrRRR, // str rt,[rn,rm,LSL #imm] [111110000100] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
455 kThumb2StrhRRR, // str rt,[rn,rm,LSL #imm] [111110000010] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
456 kThumb2StrbRRR, // str rt,[rn,rm,LSL #imm] [111110000000] rn[19-16] rt[15-12] [000000] imm[5-4] rm[3-0].
457 kThumb2LdrhRRI12, // ldrh rt,[rn,#imm12] [111110001011] rt[15..12] rn[19..16] imm12[11..0].
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700458 kThumb2LdrshRRI12, // ldrsh rt,[rn,#imm12] [111110011011] rt[15..12] rn[19..16] imm12[11..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700459 kThumb2LdrbRRI12, // ldrb rt,[rn,#imm12] [111110001001] rt[15..12] rn[19..16] imm12[11..0].
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700460 kThumb2LdrsbRRI12, // ldrsb rt,[rn,#imm12] [111110011001] rt[15..12] rn[19..16] imm12[11..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700461 kThumb2StrhRRI12, // strh rt,[rn,#imm12] [111110001010] rt[15..12] rn[19..16] imm12[11..0].
462 kThumb2StrbRRI12, // strb rt,[rn,#imm12] [111110001000] rt[15..12] rn[19..16] imm12[11..0].
463 kThumb2Pop, // pop [1110100010111101] list[15-0]*/
464 kThumb2Push, // push [1110100100101101] list[15-0]*/
Vladimir Marko332b7aa2013-11-18 12:01:54 +0000465 kThumb2CmpRI8M, // cmp rn, #<const> [11110] i [011011] rn[19-16] [0] imm3 [1111] imm8[7..0].
466 kThumb2CmnRI8M, // cmn rn, #<const> [11110] i [010001] rn[19-16] [0] imm3 [1111] imm8[7..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700467 kThumb2AdcRRR, // adc [111010110101] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
468 kThumb2AndRRR, // and [111010100000] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
469 kThumb2BicRRR, // bic [111010100010] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
470 kThumb2CmnRR, // cmn [111010110001] rn[19..16] [0000] [1111] [0000] rm[3..0].
471 kThumb2EorRRR, // eor [111010101000] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
472 kThumb2MulRRR, // mul [111110110000] rn[19..16] [1111] rd[11..8] [0000] rm[3..0].
Dave Allison70202782013-10-22 17:52:19 -0700473 kThumb2SdivRRR, // sdiv [111110111001] rn[19..16] [1111] rd[11..8] [1111] rm[3..0].
474 kThumb2UdivRRR, // udiv [111110111011] rn[19..16] [1111] rd[11..8] [1111] rm[3..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700475 kThumb2MnvRR, // mvn [11101010011011110] rd[11-8] [0000] rm[3..0].
Vladimir Marko332b7aa2013-11-18 12:01:54 +0000476 kThumb2RsubRRI8M, // rsb rd, rn, #<const> [11110] i [011101] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700477 kThumb2NegRR, // actually rsub rd, rn, #0.
478 kThumb2OrrRRR, // orr [111010100100] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
479 kThumb2TstRR, // tst [111010100001] rn[19..16] [0000] [1111] [0000] rm[3..0].
480 kThumb2LslRRR, // lsl [111110100000] rn[19..16] [1111] rd[11..8] [0000] rm[3..0].
481 kThumb2LsrRRR, // lsr [111110100010] rn[19..16] [1111] rd[11..8] [0000] rm[3..0].
482 kThumb2AsrRRR, // asr [111110100100] rn[19..16] [1111] rd[11..8] [0000] rm[3..0].
483 kThumb2RorRRR, // ror [111110100110] rn[19..16] [1111] rd[11..8] [0000] rm[3..0].
484 kThumb2LslRRI5, // lsl [11101010010011110] imm[14.12] rd[11..8] [00] rm[3..0].
485 kThumb2LsrRRI5, // lsr [11101010010011110] imm[14.12] rd[11..8] [01] rm[3..0].
486 kThumb2AsrRRI5, // asr [11101010010011110] imm[14.12] rd[11..8] [10] rm[3..0].
487 kThumb2RorRRI5, // ror [11101010010011110] imm[14.12] rd[11..8] [11] rm[3..0].
Vladimir Marko332b7aa2013-11-18 12:01:54 +0000488 kThumb2BicRRI8M, // bic rd, rn, #<const> [11110] i [000010] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
489 kThumb2AndRRI8M, // and rd, rn, #<const> [11110] i [000000] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
490 kThumb2OrrRRI8M, // orr rd, rn, #<const> [11110] i [000100] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
491 kThumb2EorRRI8M, // eor rd, rn, #<const> [11110] i [001000] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
492 kThumb2AddRRI8M, // add rd, rn, #<const> [11110] i [010001] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
493 kThumb2AdcRRI8M, // adc rd, rn, #<const> [11110] i [010101] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
494 kThumb2SubRRI8M, // sub rd, rn, #<const> [11110] i [011011] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
495 kThumb2SbcRRI8M, // sub rd, rn, #<const> [11110] i [010111] rn[19..16] [0] imm3[14..12] rd[11..8] imm8[7..0].
Vladimir Markoa8b4caf2013-10-24 15:08:57 +0100496 kThumb2RevRR, // rev [111110101001] rm[19..16] [1111] rd[11..8] 1000 rm[3..0]
497 kThumb2RevshRR, // rev [111110101001] rm[19..16] [1111] rd[11..8] 1011 rm[3..0]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700498 kThumb2It, // it [10111111] firstcond[7-4] mask[3-0].
499 kThumb2Fmstat, // fmstat [11101110111100011111101000010000].
500 kThumb2Vcmpd, // vcmp [111011101] D [11011] rd[15-12] [1011] E [1] M [0] rm[3-0].
501 kThumb2Vcmps, // vcmp [111011101] D [11010] rd[15-12] [1011] E [1] M [0] rm[3-0].
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700502 kThumb2LdrPcRel12, // ldr rd,[pc,#imm12] [1111100011011111] rt[15-12] imm12[11-0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700503 kThumb2BCond, // b<c> [1110] S cond[25-22] imm6[21-16] [10] J1 [0] J2 imm11[10..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700504 kThumb2Fmrs, // vmov [111011100000] vn[19-16] rt[15-12] [1010] N [0010000].
505 kThumb2Fmsr, // vmov [111011100001] vn[19-16] rt[15-12] [1010] N [0010000].
506 kThumb2Fmrrd, // vmov [111011000100] rt2[19-16] rt[15-12] [101100] M [1] vm[3-0].
507 kThumb2Fmdrr, // vmov [111011000101] rt2[19-16] rt[15-12] [101100] M [1] vm[3-0].
508 kThumb2Vabsd, // vabs.f64 [111011101] D [110000] rd[15-12] [1011110] M [0] vm[3-0].
509 kThumb2Vabss, // vabs.f32 [111011101] D [110000] rd[15-12] [1010110] M [0] vm[3-0].
510 kThumb2Vnegd, // vneg.f64 [111011101] D [110000] rd[15-12] [1011110] M [0] vm[3-0].
511 kThumb2Vnegs, // vneg.f32 [111011101] D [110000] rd[15-12] [1010110] M [0] vm[3-0].
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700512 kThumb2Vmovs_IMM8, // vmov.f32 [111011101] D [11] imm4h[19-16] vd[15-12] [10100000] imm4l[3-0].
513 kThumb2Vmovd_IMM8, // vmov.f64 [111011101] D [11] imm4h[19-16] vd[15-12] [10110000] imm4l[3-0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700514 kThumb2Mla, // mla [111110110000] rn[19-16] ra[15-12] rd[7-4] [0000] rm[3-0].
515 kThumb2Umull, // umull [111110111010] rn[19-16], rdlo[15-12] rdhi[11-8] [0000] rm[3-0].
Vladimir Marko3e5af822013-11-21 15:01:20 +0000516 kThumb2Ldrex, // ldrex [111010000101] rn[19-16] rt[15-12] [1111] imm8[7-0].
517 kThumb2Ldrexd, // ldrexd [111010001101] rn[19-16] rt[15-12] rt2[11-8] [11111111].
518 kThumb2Strex, // strex [111010000100] rn[19-16] rt[15-12] rd[11-8] imm8[7-0].
519 kThumb2Strexd, // strexd [111010001100] rn[19-16] rt[15-12] rt2[11-8] [0111] Rd[3-0].
520 kThumb2Clrex, // clrex [11110011101111111000111100101111].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700521 kThumb2Bfi, // bfi [111100110110] rn[19-16] [0] imm3[14-12] rd[11-8] imm2[7-6] [0] msb[4-0].
522 kThumb2Bfc, // bfc [11110011011011110] [0] imm3[14-12] rd[11-8] imm2[7-6] [0] msb[4-0].
523 kThumb2Dmb, // dmb [1111001110111111100011110101] option[3-0].
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700524 kThumb2LdrPcReln12, // ldr rd,[pc,-#imm12] [1111100011011111] rt[15-12] imm12[11-0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700525 kThumb2Stm, // stm <list> [111010010000] rn[19-16] 000 rl[12-0].
526 kThumbUndefined, // undefined [11011110xxxxxxxx].
527 kThumb2VPopCS, // vpop <list of callee save fp singles (s16+).
528 kThumb2VPushCS, // vpush <list callee save fp singles (s16+).
529 kThumb2Vldms, // vldms rd, <list>.
530 kThumb2Vstms, // vstms rd, <list>.
531 kThumb2BUncond, // b <label>.
Vladimir Markof4da6752014-08-01 19:04:18 +0100532 kThumb2Bl, // bl with linker fixup. [11110] S imm10 [11] J1 [1] J2 imm11.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700533 kThumb2MovImm16H, // similar to kThumb2MovImm16, but target high hw.
534 kThumb2AddPCR, // Thumb2 2-operand add with hard-coded PC target.
535 kThumb2Adr, // Special purpose encoding of ADR for switch tables.
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700536 kThumb2MovImm16LST, // Special purpose version for switch table use.
537 kThumb2MovImm16HST, // Special purpose version for switch table use.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700538 kThumb2LdmiaWB, // ldmia [111010011001[ rn[19..16] mask[15..0].
Vladimir Marko3e5af822013-11-21 15:01:20 +0000539 kThumb2OrrRRRs, // orrs [111010100101] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
Brian Carlstrom7940e442013-07-12 13:46:57 -0700540 kThumb2Push1, // t3 encoding of push.
541 kThumb2Pop1, // t3 encoding of pop.
542 kThumb2RsubRRR, // rsb [111010111101] rn[19..16] [0000] rd[11..8] [0000] rm[3..0].
543 kThumb2Smull, // smull [111110111000] rn[19-16], rdlo[15-12] rdhi[11-8] [0000] rm[3-0].
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700544 kThumb2LdrdPcRel8, // ldrd rt, rt2, pc +-/1024.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700545 kThumb2LdrdI8, // ldrd rt, rt2, [rn +-/1024].
546 kThumb2StrdI8, // strd rt, rt2, [rn +-/1024].
547 kArmLast,
548};
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700549std::ostream& operator<<(std::ostream& os, const ArmOpcode& rhs);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700550
551enum ArmOpDmbOptions {
552 kSY = 0xf,
553 kST = 0xe,
554 kISH = 0xb,
555 kISHST = 0xa,
556 kNSH = 0x7,
557 kNSHST = 0x6
558};
559
560// Instruction assembly field_loc kind.
561enum ArmEncodingKind {
Junmo Parkeacc5f02014-09-01 16:41:16 +0900562 kFmtUnused, // Unused field and marks end of formats.
563 kFmtBitBlt, // Bit string using end/start.
564 kFmtLdmRegList, // Load multiple register list using [15,14,12..0].
565 kFmtStmRegList, // Store multiple register list using [14,12..0].
566 kFmtDfp, // Double FP reg.
567 kFmtSfp, // Single FP reg.
568 kFmtModImm, // Shifted 8-bit immed using [26,14..12,7..0].
569 kFmtImm16, // Zero-extended immed using [26,19..16,14..12,7..0].
570 kFmtImm6, // Encoded branch target using [9,7..3]0.
571 kFmtImm12, // Zero-extended immediate using [26,14..12,7..0].
572 kFmtShift, // Shift descriptor, [14..12,7..4].
573 kFmtLsb, // least significant bit using [14..12][7..6].
574 kFmtBWidth, // bit-field width, encoded as width-1.
575 kFmtShift5, // Shift count, [14..12,7..6].
576 kFmtBrOffset, // Signed extended [26,11,13,21-16,10-0]:0.
577 kFmtFPImm, // Encoded floating point immediate.
578 kFmtOff24, // 24-bit Thumb2 unconditional branch encoding.
579 kFmtSkip, // Unused field, but continue to next.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700580};
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700581std::ostream& operator<<(std::ostream& os, const ArmEncodingKind& rhs);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700582
583// Struct used to define the snippet positions for each Thumb opcode.
584struct ArmEncodingMap {
585 uint32_t skeleton;
586 struct {
587 ArmEncodingKind kind;
588 int end; // end for kFmtBitBlt, 1-bit slice end for FP regs.
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700589 int start; // start for kFmtBitBlt, 4-bit slice end for FP regs.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700590 } field_loc[4];
591 ArmOpcode opcode;
592 uint64_t flags;
593 const char* name;
594 const char* fmt;
595 int size; // Note: size is in bytes.
buzbeeb48819d2013-09-14 16:15:25 -0700596 FixupKind fixup;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700597};
598
599} // namespace art
600
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700601#endif // ART_COMPILER_DEX_QUICK_ARM_ARM_LIR_H_