blob: bb781ecece08f90aca68555443067fdaac6b2b13 [file] [log] [blame]
Jim Grosbach91fbd8f2010-09-15 19:26:06 +00001//===-- ARMBaseInfo.h - Top level definitions for ARM -------- --*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains small standalone helper functions and enum definitions for
11// the ARM target useful for the compiler back-end and the MC libraries.
12// As such, it deliberately does not include references to LLVM core
13// code gen types, passes, etc..
14//
15//===----------------------------------------------------------------------===//
16
17#ifndef ARMBASEINFO_H
18#define ARMBASEINFO_H
19
Evan Chengad5f4852011-07-23 00:00:19 +000020#include "ARMMCTargetDesc.h"
Jim Grosbach91fbd8f2010-09-15 19:26:06 +000021#include "llvm/Support/ErrorHandling.h"
22
23namespace llvm {
24
25// Enums corresponding to ARM condition codes
26namespace ARMCC {
27 // The CondCodes constants map directly to the 4-bit encoding of the
28 // condition field for predicated instructions.
29 enum CondCodes { // Meaning (integer) Meaning (floating-point)
30 EQ, // Equal Equal
31 NE, // Not equal Not equal, or unordered
32 HS, // Carry set >, ==, or unordered
33 LO, // Carry clear Less than
34 MI, // Minus, negative Less than
35 PL, // Plus, positive or zero >, ==, or unordered
36 VS, // Overflow Unordered
37 VC, // No overflow Not unordered
38 HI, // Unsigned higher Greater than, or unordered
39 LS, // Unsigned lower or same Less than or equal
40 GE, // Greater than or equal Greater than or equal
41 LT, // Less than Less than, or unordered
42 GT, // Greater than Greater than
43 LE, // Less than or equal <, ==, or unordered
44 AL // Always (unconditional) Always (unconditional)
45 };
46
47 inline static CondCodes getOppositeCondition(CondCodes CC) {
48 switch (CC) {
49 default: llvm_unreachable("Unknown condition code");
50 case EQ: return NE;
51 case NE: return EQ;
52 case HS: return LO;
53 case LO: return HS;
54 case MI: return PL;
55 case PL: return MI;
56 case VS: return VC;
57 case VC: return VS;
58 case HI: return LS;
59 case LS: return HI;
60 case GE: return LT;
61 case LT: return GE;
62 case GT: return LE;
63 case LE: return GT;
64 }
65 }
66} // namespace ARMCC
67
68inline static const char *ARMCondCodeToString(ARMCC::CondCodes CC) {
69 switch (CC) {
Jim Grosbach91fbd8f2010-09-15 19:26:06 +000070 case ARMCC::EQ: return "eq";
71 case ARMCC::NE: return "ne";
72 case ARMCC::HS: return "hs";
73 case ARMCC::LO: return "lo";
74 case ARMCC::MI: return "mi";
75 case ARMCC::PL: return "pl";
76 case ARMCC::VS: return "vs";
77 case ARMCC::VC: return "vc";
78 case ARMCC::HI: return "hi";
79 case ARMCC::LS: return "ls";
80 case ARMCC::GE: return "ge";
81 case ARMCC::LT: return "lt";
82 case ARMCC::GT: return "gt";
83 case ARMCC::LE: return "le";
84 case ARMCC::AL: return "al";
85 }
Richard Smithad5b42c2012-01-10 19:43:09 +000086 llvm_unreachable("Unknown condition code");
Jim Grosbach91fbd8f2010-09-15 19:26:06 +000087}
88
Bruno Cardoso Lopes90d1dfe2011-02-14 13:09:44 +000089namespace ARM_PROC {
90 enum IMod {
91 IE = 2,
92 ID = 3
93 };
94
95 enum IFlags {
96 F = 1,
97 I = 2,
98 A = 4
99 };
100
101 inline static const char *IFlagsToString(unsigned val) {
102 switch (val) {
103 default: llvm_unreachable("Unknown iflags operand");
104 case F: return "f";
105 case I: return "i";
106 case A: return "a";
107 }
108 }
109
110 inline static const char *IModToString(unsigned val) {
111 switch (val) {
112 default: llvm_unreachable("Unknown imod operand");
113 case IE: return "ie";
114 case ID: return "id";
115 }
116 }
117}
118
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000119namespace ARM_MB {
120 // The Memory Barrier Option constants map directly to the 4-bit encoding of
121 // the option field for memory barrier operations.
122 enum MemBOpt {
Jiangning Liu288e1af2012-08-02 08:21:27 +0000123 RESERVED_0 = 0,
Joey Gouly926d3f52013-09-05 15:35:24 +0000124 OSHLD = 1,
Jiangning Liu288e1af2012-08-02 08:21:27 +0000125 OSHST = 2,
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000126 OSH = 3,
Jiangning Liu288e1af2012-08-02 08:21:27 +0000127 RESERVED_4 = 4,
Joey Gouly926d3f52013-09-05 15:35:24 +0000128 NSHLD = 5,
Jiangning Liu288e1af2012-08-02 08:21:27 +0000129 NSHST = 6,
130 NSH = 7,
131 RESERVED_8 = 8,
Joey Gouly926d3f52013-09-05 15:35:24 +0000132 ISHLD = 9,
Jiangning Liu288e1af2012-08-02 08:21:27 +0000133 ISHST = 10,
134 ISH = 11,
135 RESERVED_12 = 12,
Joey Gouly926d3f52013-09-05 15:35:24 +0000136 LD = 13,
Jiangning Liu288e1af2012-08-02 08:21:27 +0000137 ST = 14,
138 SY = 15
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000139 };
140
Joey Gouly926d3f52013-09-05 15:35:24 +0000141 inline static const char *MemBOptToString(unsigned val, bool HasV8) {
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000142 switch (val) {
Jim Grosbach2b48b552010-09-15 19:26:50 +0000143 default: llvm_unreachable("Unknown memory operation");
Bob Wilson7ed59712010-10-30 00:54:37 +0000144 case SY: return "sy";
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000145 case ST: return "st";
Joey Gouly926d3f52013-09-05 15:35:24 +0000146 case LD: return HasV8 ? "ld" : "#0xd";
Jiangning Liu288e1af2012-08-02 08:21:27 +0000147 case RESERVED_12: return "#0xc";
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000148 case ISH: return "ish";
149 case ISHST: return "ishst";
Joey Gouly926d3f52013-09-05 15:35:24 +0000150 case ISHLD: return HasV8 ? "ishld" : "#0x9";
Jiangning Liu288e1af2012-08-02 08:21:27 +0000151 case RESERVED_8: return "#0x8";
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000152 case NSH: return "nsh";
153 case NSHST: return "nshst";
Joey Gouly926d3f52013-09-05 15:35:24 +0000154 case NSHLD: return HasV8 ? "nshld" : "#0x5";
Jiangning Liu288e1af2012-08-02 08:21:27 +0000155 case RESERVED_4: return "#0x4";
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000156 case OSH: return "osh";
157 case OSHST: return "oshst";
Joey Gouly926d3f52013-09-05 15:35:24 +0000158 case OSHLD: return HasV8 ? "oshld" : "#0x1";
Jiangning Liu288e1af2012-08-02 08:21:27 +0000159 case RESERVED_0: return "#0x0";
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000160 }
161 }
162} // namespace ARM_MB
Jim Grosbach40e85fb2010-09-15 20:26:25 +0000163
Amaury de la Vieuville43cb13a2013-06-10 14:17:08 +0000164namespace ARM_ISB {
165 enum InstSyncBOpt {
166 RESERVED_0 = 0,
167 RESERVED_1 = 1,
168 RESERVED_2 = 2,
169 RESERVED_3 = 3,
170 RESERVED_4 = 4,
171 RESERVED_5 = 5,
172 RESERVED_6 = 6,
173 RESERVED_7 = 7,
174 RESERVED_8 = 8,
175 RESERVED_9 = 9,
176 RESERVED_10 = 10,
177 RESERVED_11 = 11,
178 RESERVED_12 = 12,
179 RESERVED_13 = 13,
180 RESERVED_14 = 14,
181 SY = 15
182 };
183
184 inline static const char *InstSyncBOptToString(unsigned val) {
185 switch (val) {
186 default: llvm_unreachable("Unkown memory operation");
187 case RESERVED_0: return "#0x0";
188 case RESERVED_1: return "#0x1";
189 case RESERVED_2: return "#0x2";
190 case RESERVED_3: return "#0x3";
191 case RESERVED_4: return "#0x4";
192 case RESERVED_5: return "#0x5";
193 case RESERVED_6: return "#0x6";
194 case RESERVED_7: return "#0x7";
195 case RESERVED_8: return "#0x8";
196 case RESERVED_9: return "#0x9";
197 case RESERVED_10: return "#0xa";
198 case RESERVED_11: return "#0xb";
199 case RESERVED_12: return "#0xc";
200 case RESERVED_13: return "#0xd";
201 case RESERVED_14: return "#0xe";
202 case SY: return "sy";
203 }
204 }
205} // namespace ARM_ISB
206
Jim Grosbachb7fa2c02011-08-16 22:20:01 +0000207/// isARMLowRegister - Returns true if the register is a low register (r0-r7).
208///
209static inline bool isARMLowRegister(unsigned Reg) {
210 using namespace ARM;
211 switch (Reg) {
212 case R0: case R1: case R2: case R3:
213 case R4: case R5: case R6: case R7:
214 return true;
215 default:
216 return false;
217 }
218}
219
Evan Chenga20cde32011-07-20 23:34:39 +0000220/// ARMII - This namespace holds all of the target specific flags that
221/// instruction info tracks.
222///
Jim Grosbach0d35df12010-09-17 18:25:25 +0000223namespace ARMII {
Bruno Cardoso Lopesab830502011-03-31 23:26:08 +0000224
225 /// ARM Index Modes
226 enum IndexMode {
227 IndexModeNone = 0,
228 IndexModePre = 1,
229 IndexModePost = 2,
230 IndexModeUpd = 3
231 };
232
233 /// ARM Addressing Modes
234 enum AddrMode {
235 AddrModeNone = 0,
236 AddrMode1 = 1,
237 AddrMode2 = 2,
238 AddrMode3 = 3,
239 AddrMode4 = 4,
240 AddrMode5 = 5,
241 AddrMode6 = 6,
242 AddrModeT1_1 = 7,
243 AddrModeT1_2 = 8,
244 AddrModeT1_4 = 9,
245 AddrModeT1_s = 10, // i8 * 4 for pc and sp relative data
246 AddrModeT2_i12 = 11,
247 AddrModeT2_i8 = 12,
248 AddrModeT2_so = 13,
249 AddrModeT2_pc = 14, // +/- i12 for pc relative data
250 AddrModeT2_i8s4 = 15, // i8 * 4
251 AddrMode_i12 = 16
252 };
253
254 inline static const char *AddrModeToString(AddrMode addrmode) {
255 switch (addrmode) {
Bruno Cardoso Lopesab830502011-03-31 23:26:08 +0000256 case AddrModeNone: return "AddrModeNone";
257 case AddrMode1: return "AddrMode1";
258 case AddrMode2: return "AddrMode2";
259 case AddrMode3: return "AddrMode3";
260 case AddrMode4: return "AddrMode4";
261 case AddrMode5: return "AddrMode5";
262 case AddrMode6: return "AddrMode6";
263 case AddrModeT1_1: return "AddrModeT1_1";
264 case AddrModeT1_2: return "AddrModeT1_2";
265 case AddrModeT1_4: return "AddrModeT1_4";
266 case AddrModeT1_s: return "AddrModeT1_s";
267 case AddrModeT2_i12: return "AddrModeT2_i12";
268 case AddrModeT2_i8: return "AddrModeT2_i8";
269 case AddrModeT2_so: return "AddrModeT2_so";
270 case AddrModeT2_pc: return "AddrModeT2_pc";
271 case AddrModeT2_i8s4: return "AddrModeT2_i8s4";
272 case AddrMode_i12: return "AddrMode_i12";
273 }
274 }
275
Jim Grosbach0d35df12010-09-17 18:25:25 +0000276 /// Target Operand Flag enum.
277 enum TOF {
278 //===------------------------------------------------------------------===//
279 // ARM Specific MachineOperand flags.
280
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000281 MO_NO_FLAG = 0,
Jim Grosbach0d35df12010-09-17 18:25:25 +0000282
283 /// MO_LO16 - On a symbol operand, this represents a relocation containing
284 /// lower 16 bit of the address. Used only via movw instruction.
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000285 MO_LO16 = 0x1,
Jim Grosbach0d35df12010-09-17 18:25:25 +0000286
287 /// MO_HI16 - On a symbol operand, this represents a relocation containing
288 /// higher 16 bit of the address. Used only via movt instruction.
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000289 MO_HI16 = 0x2,
Evan Chengdfce83c2011-01-17 08:03:18 +0000290
Jim Grosbach85dcd3d2010-09-22 23:27:36 +0000291 /// MO_PLT - On a symbol operand, this represents an ELF PLT reference on a
292 /// call operand.
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000293 MO_PLT = 0x3,
294
295 /// MO_OPTION_MASK - Most flags are mutually exclusive; this mask selects
296 /// just that part of the flag set.
297 MO_OPTION_MASK = 0x7f,
298
299 /// MO_NONLAZY - This is an independent flag, on a symbol operand "FOO" it
300 /// represents a symbol which, if indirect, will get special Darwin mangling
301 /// as a non-lazy-ptr indirect symbol (i.e. "L_FOO$non_lazy_ptr"). Can be
302 /// combined with MO_LO16, MO_HI16 or MO_NO_FLAG (in a constant-pool, for
303 /// example).
304 MO_NONLAZY = 0x80,
305
306 // It's undefined behaviour if an enum overflows the range between its
307 // smallest and largest values, but since these are |ed together, it can
308 // happen. Put a sentinel in (values of this enum are stored as "unsigned
309 // char").
310 MO_UNUSED_MAXIMUM = 0xff
Jim Grosbach0d35df12010-09-17 18:25:25 +0000311 };
Evan Chenga20cde32011-07-20 23:34:39 +0000312
313 enum {
314 //===------------------------------------------------------------------===//
315 // Instruction Flags.
316
317 //===------------------------------------------------------------------===//
318 // This four-bit field describes the addressing mode used.
319 AddrModeMask = 0x1f, // The AddrMode enums are declared in ARMBaseInfo.h
320
321 // IndexMode - Unindex, pre-indexed, or post-indexed are valid for load
322 // and store ops only. Generic "updating" flag is used for ld/st multiple.
323 // The index mode enums are declared in ARMBaseInfo.h
324 IndexModeShift = 5,
325 IndexModeMask = 3 << IndexModeShift,
326
327 //===------------------------------------------------------------------===//
328 // Instruction encoding formats.
329 //
330 FormShift = 7,
331 FormMask = 0x3f << FormShift,
332
333 // Pseudo instructions
334 Pseudo = 0 << FormShift,
335
336 // Multiply instructions
337 MulFrm = 1 << FormShift,
338
339 // Branch instructions
340 BrFrm = 2 << FormShift,
341 BrMiscFrm = 3 << FormShift,
342
343 // Data Processing instructions
344 DPFrm = 4 << FormShift,
345 DPSoRegFrm = 5 << FormShift,
346
347 // Load and Store
348 LdFrm = 6 << FormShift,
349 StFrm = 7 << FormShift,
350 LdMiscFrm = 8 << FormShift,
351 StMiscFrm = 9 << FormShift,
352 LdStMulFrm = 10 << FormShift,
353
354 LdStExFrm = 11 << FormShift,
355
356 // Miscellaneous arithmetic instructions
357 ArithMiscFrm = 12 << FormShift,
358 SatFrm = 13 << FormShift,
359
360 // Extend instructions
361 ExtFrm = 14 << FormShift,
362
363 // VFP formats
364 VFPUnaryFrm = 15 << FormShift,
365 VFPBinaryFrm = 16 << FormShift,
366 VFPConv1Frm = 17 << FormShift,
367 VFPConv2Frm = 18 << FormShift,
368 VFPConv3Frm = 19 << FormShift,
369 VFPConv4Frm = 20 << FormShift,
370 VFPConv5Frm = 21 << FormShift,
371 VFPLdStFrm = 22 << FormShift,
372 VFPLdStMulFrm = 23 << FormShift,
373 VFPMiscFrm = 24 << FormShift,
374
375 // Thumb format
376 ThumbFrm = 25 << FormShift,
377
378 // Miscelleaneous format
379 MiscFrm = 26 << FormShift,
380
381 // NEON formats
382 NGetLnFrm = 27 << FormShift,
383 NSetLnFrm = 28 << FormShift,
384 NDupFrm = 29 << FormShift,
385 NLdStFrm = 30 << FormShift,
386 N1RegModImmFrm= 31 << FormShift,
387 N2RegFrm = 32 << FormShift,
388 NVCVTFrm = 33 << FormShift,
389 NVDupLnFrm = 34 << FormShift,
390 N2RegVShLFrm = 35 << FormShift,
391 N2RegVShRFrm = 36 << FormShift,
392 N3RegFrm = 37 << FormShift,
393 N3RegVShFrm = 38 << FormShift,
394 NVExtFrm = 39 << FormShift,
395 NVMulSLFrm = 40 << FormShift,
396 NVTBLFrm = 41 << FormShift,
397
398 //===------------------------------------------------------------------===//
399 // Misc flags.
400
401 // UnaryDP - Indicates this is a unary data processing instruction, i.e.
402 // it doesn't have a Rn operand.
403 UnaryDP = 1 << 13,
404
405 // Xform16Bit - Indicates this Thumb2 instruction may be transformed into
406 // a 16-bit Thumb instruction if certain conditions are met.
407 Xform16Bit = 1 << 14,
408
Jim Grosbach3e941ae2011-08-16 20:45:50 +0000409 // ThumbArithFlagSetting - The instruction is a 16-bit flag setting Thumb
410 // instruction. Used by the parser to determine whether to require the 'S'
411 // suffix on the mnemonic (when not in an IT block) or preclude it (when
412 // in an IT block).
413 ThumbArithFlagSetting = 1 << 18,
414
Evan Chenga20cde32011-07-20 23:34:39 +0000415 //===------------------------------------------------------------------===//
416 // Code domain.
417 DomainShift = 15,
418 DomainMask = 7 << DomainShift,
419 DomainGeneral = 0 << DomainShift,
420 DomainVFP = 1 << DomainShift,
421 DomainNEON = 2 << DomainShift,
422 DomainNEONA8 = 4 << DomainShift,
423
424 //===------------------------------------------------------------------===//
425 // Field shifts - such shifts are used to set field while generating
426 // machine instructions.
427 //
428 // FIXME: This list will need adjusting/fixing as the MC code emitter
429 // takes shape and the ARMCodeEmitter.cpp bits go away.
430 ShiftTypeShift = 4,
431
432 M_BitShift = 5,
433 ShiftImmShift = 5,
434 ShiftShift = 7,
435 N_BitShift = 7,
436 ImmHiShift = 8,
437 SoRotImmShift = 8,
438 RegRsShift = 8,
439 ExtRotImmShift = 10,
440 RegRdLoShift = 12,
441 RegRdShift = 12,
442 RegRdHiShift = 16,
443 RegRnShift = 16,
444 S_BitShift = 20,
445 W_BitShift = 21,
446 AM3_I_BitShift = 22,
447 D_BitShift = 22,
448 U_BitShift = 23,
449 P_BitShift = 24,
450 I_BitShift = 25,
451 CondShift = 28
452 };
453
Jim Grosbach0d35df12010-09-17 18:25:25 +0000454} // end namespace ARMII
455
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000456} // end namespace llvm;
457
Jim Grosbach91fbd8f2010-09-15 19:26:06 +0000458#endif