1 //===-- ARMBaseInfo.h - Top level definitions for ARM -------- --*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
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..
15 //===----------------------------------------------------------------------===//
20 #include "ARMMCTargetDesc.h"
21 #include "llvm/Support/ErrorHandling.h"
25 // Enums corresponding to ARM condition codes
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)
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)
47 inline static CondCodes getOppositeCondition(CondCodes CC) {
49 default: llvm_unreachable("Unknown condition code");
68 inline static const char *ARMCondCodeToString(ARMCC::CondCodes CC) {
70 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";
86 llvm_unreachable("Unknown condition code");
101 inline static const char *IFlagsToString(unsigned val) {
103 default: llvm_unreachable("Unknown iflags operand");
110 inline static const char *IModToString(unsigned val) {
112 default: llvm_unreachable("Unknown imod operand");
113 case IE: return "ie";
114 case ID: return "id";
120 // The Memory Barrier Option constants map directly to the 4-bit encoding of
121 // the option field for memory barrier operations.
133 inline static const char *MemBOptToString(unsigned val) {
135 default: llvm_unreachable("Unknown memory operation");
136 case SY: return "sy";
137 case ST: return "st";
138 case ISH: return "ish";
139 case ISHST: return "ishst";
140 case NSH: return "nsh";
141 case NSHST: return "nshst";
142 case OSH: return "osh";
143 case OSHST: return "oshst";
146 } // namespace ARM_MB
148 /// getARMRegisterNumbering - Given the enum value for some register, e.g.
149 /// ARM::LR, return the number that it corresponds to (e.g. 14).
150 inline static unsigned getARMRegisterNumbering(unsigned Reg) {
154 llvm_unreachable("Unknown ARM register!");
155 case R0: case S0: case D0: case Q0: return 0;
156 case R1: case S1: case D1: case Q1: return 1;
157 case R2: case S2: case D2: case Q2: return 2;
158 case R3: case S3: case D3: case Q3: return 3;
159 case R4: case S4: case D4: case Q4: return 4;
160 case R5: case S5: case D5: case Q5: return 5;
161 case R6: case S6: case D6: case Q6: return 6;
162 case R7: case S7: case D7: case Q7: return 7;
163 case R8: case S8: case D8: case Q8: return 8;
164 case R9: case S9: case D9: case Q9: return 9;
165 case R10: case S10: case D10: case Q10: return 10;
166 case R11: case S11: case D11: case Q11: return 11;
167 case R12: case S12: case D12: case Q12: return 12;
168 case SP: case S13: case D13: case Q13: return 13;
169 case LR: case S14: case D14: case Q14: return 14;
170 case PC: case S15: case D15: case Q15: return 15;
172 case S16: case D16: return 16;
173 case S17: case D17: return 17;
174 case S18: case D18: return 18;
175 case S19: case D19: return 19;
176 case S20: case D20: return 20;
177 case S21: case D21: return 21;
178 case S22: case D22: return 22;
179 case S23: case D23: return 23;
180 case S24: case D24: return 24;
181 case S25: case D25: return 25;
182 case S26: case D26: return 26;
183 case S27: case D27: return 27;
184 case S28: case D28: return 28;
185 case S29: case D29: return 29;
186 case S30: case D30: return 30;
187 case S31: case D31: return 31;
189 // Composite registers use the regnum of the first register in the list.
190 /* Q0 */ case D0_D2: return 0;
191 case D1_D2: case D1_D3: return 1;
192 /* Q1 */ case D2_D4: return 2;
193 case D3_D4: case D3_D5: return 3;
194 /* Q2 */ case D4_D6: return 4;
195 case D5_D6: case D5_D7: return 5;
196 /* Q3 */ case D6_D8: return 6;
197 case D7_D8: case D7_D9: return 7;
198 /* Q4 */ case D8_D10: return 8;
199 case D9_D10: case D9_D11: return 9;
200 /* Q5 */ case D10_D12: return 10;
201 case D11_D12: case D11_D13: return 11;
202 /* Q6 */ case D12_D14: return 12;
203 case D13_D14: case D13_D15: return 13;
204 /* Q7 */ case D14_D16: return 14;
205 case D15_D16: case D15_D17: return 15;
206 /* Q8 */ case D16_D18: return 16;
207 case D17_D18: case D17_D19: return 17;
208 /* Q9 */ case D18_D20: return 18;
209 case D19_D20: case D19_D21: return 19;
210 /* Q10 */ case D20_D22: return 20;
211 case D21_D22: case D21_D23: return 21;
212 /* Q11 */ case D22_D24: return 22;
213 case D23_D24: case D23_D25: return 23;
214 /* Q12 */ case D24_D26: return 24;
215 case D25_D26: case D25_D27: return 25;
216 /* Q13 */ case D26_D28: return 26;
217 case D27_D28: case D27_D29: return 27;
218 /* Q14 */ case D28_D30: return 28;
219 case D29_D30: case D29_D31: return 29;
224 /// isARMLowRegister - Returns true if the register is a low register (r0-r7).
226 static inline bool isARMLowRegister(unsigned Reg) {
229 case R0: case R1: case R2: case R3:
230 case R4: case R5: case R6: case R7:
237 /// ARMII - This namespace holds all of the target specific flags that
238 /// instruction info tracks.
250 /// ARM Addressing Modes
262 AddrModeT1_s = 10, // i8 * 4 for pc and sp relative data
266 AddrModeT2_pc = 14, // +/- i12 for pc relative data
267 AddrModeT2_i8s4 = 15, // i8 * 4
271 inline static const char *AddrModeToString(AddrMode addrmode) {
273 case AddrModeNone: return "AddrModeNone";
274 case AddrMode1: return "AddrMode1";
275 case AddrMode2: return "AddrMode2";
276 case AddrMode3: return "AddrMode3";
277 case AddrMode4: return "AddrMode4";
278 case AddrMode5: return "AddrMode5";
279 case AddrMode6: return "AddrMode6";
280 case AddrModeT1_1: return "AddrModeT1_1";
281 case AddrModeT1_2: return "AddrModeT1_2";
282 case AddrModeT1_4: return "AddrModeT1_4";
283 case AddrModeT1_s: return "AddrModeT1_s";
284 case AddrModeT2_i12: return "AddrModeT2_i12";
285 case AddrModeT2_i8: return "AddrModeT2_i8";
286 case AddrModeT2_so: return "AddrModeT2_so";
287 case AddrModeT2_pc: return "AddrModeT2_pc";
288 case AddrModeT2_i8s4: return "AddrModeT2_i8s4";
289 case AddrMode_i12: return "AddrMode_i12";
293 /// Target Operand Flag enum.
295 //===------------------------------------------------------------------===//
296 // ARM Specific MachineOperand flags.
300 /// MO_LO16 - On a symbol operand, this represents a relocation containing
301 /// lower 16 bit of the address. Used only via movw instruction.
304 /// MO_HI16 - On a symbol operand, this represents a relocation containing
305 /// higher 16 bit of the address. Used only via movt instruction.
308 /// MO_LO16_NONLAZY - On a symbol operand "FOO", this represents a
309 /// relocation containing lower 16 bit of the non-lazy-ptr indirect symbol,
310 /// i.e. "FOO$non_lazy_ptr".
311 /// Used only via movw instruction.
314 /// MO_HI16_NONLAZY - On a symbol operand "FOO", this represents a
315 /// relocation containing lower 16 bit of the non-lazy-ptr indirect symbol,
316 /// i.e. "FOO$non_lazy_ptr". Used only via movt instruction.
319 /// MO_LO16_NONLAZY_PIC - On a symbol operand "FOO", this represents a
320 /// relocation containing lower 16 bit of the PC relative address of the
321 /// non-lazy-ptr indirect symbol, i.e. "FOO$non_lazy_ptr - LABEL".
322 /// Used only via movw instruction.
325 /// MO_HI16_NONLAZY_PIC - On a symbol operand "FOO", this represents a
326 /// relocation containing lower 16 bit of the PC relative address of the
327 /// non-lazy-ptr indirect symbol, i.e. "FOO$non_lazy_ptr - LABEL".
328 /// Used only via movt instruction.
331 /// MO_PLT - On a symbol operand, this represents an ELF PLT reference on a
337 //===------------------------------------------------------------------===//
338 // Instruction Flags.
340 //===------------------------------------------------------------------===//
341 // This four-bit field describes the addressing mode used.
342 AddrModeMask = 0x1f, // The AddrMode enums are declared in ARMBaseInfo.h
344 // IndexMode - Unindex, pre-indexed, or post-indexed are valid for load
345 // and store ops only. Generic "updating" flag is used for ld/st multiple.
346 // The index mode enums are declared in ARMBaseInfo.h
348 IndexModeMask = 3 << IndexModeShift,
350 //===------------------------------------------------------------------===//
351 // Instruction encoding formats.
354 FormMask = 0x3f << FormShift,
356 // Pseudo instructions
357 Pseudo = 0 << FormShift,
359 // Multiply instructions
360 MulFrm = 1 << FormShift,
362 // Branch instructions
363 BrFrm = 2 << FormShift,
364 BrMiscFrm = 3 << FormShift,
366 // Data Processing instructions
367 DPFrm = 4 << FormShift,
368 DPSoRegFrm = 5 << FormShift,
371 LdFrm = 6 << FormShift,
372 StFrm = 7 << FormShift,
373 LdMiscFrm = 8 << FormShift,
374 StMiscFrm = 9 << FormShift,
375 LdStMulFrm = 10 << FormShift,
377 LdStExFrm = 11 << FormShift,
379 // Miscellaneous arithmetic instructions
380 ArithMiscFrm = 12 << FormShift,
381 SatFrm = 13 << FormShift,
383 // Extend instructions
384 ExtFrm = 14 << FormShift,
387 VFPUnaryFrm = 15 << FormShift,
388 VFPBinaryFrm = 16 << FormShift,
389 VFPConv1Frm = 17 << FormShift,
390 VFPConv2Frm = 18 << FormShift,
391 VFPConv3Frm = 19 << FormShift,
392 VFPConv4Frm = 20 << FormShift,
393 VFPConv5Frm = 21 << FormShift,
394 VFPLdStFrm = 22 << FormShift,
395 VFPLdStMulFrm = 23 << FormShift,
396 VFPMiscFrm = 24 << FormShift,
399 ThumbFrm = 25 << FormShift,
401 // Miscelleaneous format
402 MiscFrm = 26 << FormShift,
405 NGetLnFrm = 27 << FormShift,
406 NSetLnFrm = 28 << FormShift,
407 NDupFrm = 29 << FormShift,
408 NLdStFrm = 30 << FormShift,
409 N1RegModImmFrm= 31 << FormShift,
410 N2RegFrm = 32 << FormShift,
411 NVCVTFrm = 33 << FormShift,
412 NVDupLnFrm = 34 << FormShift,
413 N2RegVShLFrm = 35 << FormShift,
414 N2RegVShRFrm = 36 << FormShift,
415 N3RegFrm = 37 << FormShift,
416 N3RegVShFrm = 38 << FormShift,
417 NVExtFrm = 39 << FormShift,
418 NVMulSLFrm = 40 << FormShift,
419 NVTBLFrm = 41 << FormShift,
421 //===------------------------------------------------------------------===//
424 // UnaryDP - Indicates this is a unary data processing instruction, i.e.
425 // it doesn't have a Rn operand.
428 // Xform16Bit - Indicates this Thumb2 instruction may be transformed into
429 // a 16-bit Thumb instruction if certain conditions are met.
430 Xform16Bit = 1 << 14,
432 // ThumbArithFlagSetting - The instruction is a 16-bit flag setting Thumb
433 // instruction. Used by the parser to determine whether to require the 'S'
434 // suffix on the mnemonic (when not in an IT block) or preclude it (when
436 ThumbArithFlagSetting = 1 << 18,
438 //===------------------------------------------------------------------===//
441 DomainMask = 7 << DomainShift,
442 DomainGeneral = 0 << DomainShift,
443 DomainVFP = 1 << DomainShift,
444 DomainNEON = 2 << DomainShift,
445 DomainNEONA8 = 4 << DomainShift,
447 //===------------------------------------------------------------------===//
448 // Field shifts - such shifts are used to set field while generating
449 // machine instructions.
451 // FIXME: This list will need adjusting/fixing as the MC code emitter
452 // takes shape and the ARMCodeEmitter.cpp bits go away.
477 } // end namespace ARMII
479 } // end namespace llvm;