1 //===-- ARMBaseInfo.h - Top level definitions for ARM -------- --*- C++ -*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file contains small standalone helper functions and enum definitions for
10 // the ARM target useful for the compiler back-end and the MC libraries.
11 // As such, it deliberately does not include references to LLVM core
12 // code gen types, passes, etc..
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_LIB_TARGET_ARM_MCTARGETDESC_ARMBASEINFO_H
17 #define LLVM_LIB_TARGET_ARM_MCTARGETDESC_ARMBASEINFO_H
19 #include "ARMMCTargetDesc.h"
20 #include "llvm/Support/ErrorHandling.h"
21 #include "Utils/ARMBaseInfo.h"
37 inline static const char *IFlagsToString(unsigned val
) {
39 default: llvm_unreachable("Unknown iflags operand");
46 inline static const char *IModToString(unsigned val
) {
48 default: llvm_unreachable("Unknown imod operand");
56 // The Memory Barrier Option constants map directly to the 4-bit encoding of
57 // the option field for memory barrier operations.
77 inline static const char *MemBOptToString(unsigned val
, bool HasV8
) {
79 default: llvm_unreachable("Unknown memory operation");
82 case LD
: return HasV8
? "ld" : "#0xd";
83 case RESERVED_12
: return "#0xc";
84 case ISH
: return "ish";
85 case ISHST
: return "ishst";
86 case ISHLD
: return HasV8
? "ishld" : "#0x9";
87 case RESERVED_8
: return "#0x8";
88 case NSH
: return "nsh";
89 case NSHST
: return "nshst";
90 case NSHLD
: return HasV8
? "nshld" : "#0x5";
91 case RESERVED_4
: return "#0x4";
92 case OSH
: return "osh";
93 case OSHST
: return "oshst";
94 case OSHLD
: return HasV8
? "oshld" : "#0x1";
95 case RESERVED_0
: return "#0x0";
105 inline static const char *TraceSyncBOptToString(unsigned val
) {
108 llvm_unreachable("Unknown trace synchronization barrier operation");
109 case CSYNC
: return "csync";
112 } // namespace ARM_TSB
134 inline static const char *InstSyncBOptToString(unsigned val
) {
137 llvm_unreachable("Unknown memory operation");
138 case RESERVED_0
: return "#0x0";
139 case RESERVED_1
: return "#0x1";
140 case RESERVED_2
: return "#0x2";
141 case RESERVED_3
: return "#0x3";
142 case RESERVED_4
: return "#0x4";
143 case RESERVED_5
: return "#0x5";
144 case RESERVED_6
: return "#0x6";
145 case RESERVED_7
: return "#0x7";
146 case RESERVED_8
: return "#0x8";
147 case RESERVED_9
: return "#0x9";
148 case RESERVED_10
: return "#0xa";
149 case RESERVED_11
: return "#0xb";
150 case RESERVED_12
: return "#0xc";
151 case RESERVED_13
: return "#0xd";
152 case RESERVED_14
: return "#0xe";
153 case SY
: return "sy";
156 } // namespace ARM_ISB
158 /// isARMLowRegister - Returns true if the register is a low register (r0-r7).
160 static inline bool isARMLowRegister(unsigned Reg
) {
163 case R0
: case R1
: case R2
: case R3
:
164 case R4
: case R5
: case R6
: case R7
:
171 /// ARMII - This namespace holds all of the target specific flags that
172 /// instruction info tracks.
184 /// ARM Addressing Modes
196 AddrModeT1_s
= 10, // i8 * 4 for pc and sp relative data
200 AddrModeT2_pc
= 14, // +/- i12 for pc relative data
201 AddrModeT2_i8s4
= 15, // i8 * 4
203 AddrMode5FP16
= 17, // i8 * 2
204 AddrModeT2_ldrex
= 18, // i8 * 4, with unscaled offset in MCInst
205 AddrModeT2_i7s4
= 19, // i7 * 4
206 AddrModeT2_i7s2
= 20, // i7 * 2
207 AddrModeT2_i7
= 21, // i7 * 1
210 inline static const char *AddrModeToString(AddrMode addrmode
) {
212 case AddrModeNone
: return "AddrModeNone";
213 case AddrMode1
: return "AddrMode1";
214 case AddrMode2
: return "AddrMode2";
215 case AddrMode3
: return "AddrMode3";
216 case AddrMode4
: return "AddrMode4";
217 case AddrMode5
: return "AddrMode5";
218 case AddrMode5FP16
: return "AddrMode5FP16";
219 case AddrMode6
: return "AddrMode6";
220 case AddrModeT1_1
: return "AddrModeT1_1";
221 case AddrModeT1_2
: return "AddrModeT1_2";
222 case AddrModeT1_4
: return "AddrModeT1_4";
223 case AddrModeT1_s
: return "AddrModeT1_s";
224 case AddrModeT2_i12
: return "AddrModeT2_i12";
225 case AddrModeT2_i8
: return "AddrModeT2_i8";
226 case AddrModeT2_so
: return "AddrModeT2_so";
227 case AddrModeT2_pc
: return "AddrModeT2_pc";
228 case AddrModeT2_i8s4
: return "AddrModeT2_i8s4";
229 case AddrMode_i12
: return "AddrMode_i12";
230 case AddrModeT2_ldrex
:return "AddrModeT2_ldrex";
231 case AddrModeT2_i7s4
: return "AddrModeT2_i7s4";
232 case AddrModeT2_i7s2
: return "AddrModeT2_i7s2";
233 case AddrModeT2_i7
: return "AddrModeT2_i7";
237 /// Target Operand Flag enum.
239 //===------------------------------------------------------------------===//
240 // ARM Specific MachineOperand flags.
244 /// MO_LO16 - On a symbol operand, this represents a relocation containing
245 /// lower 16 bit of the address. Used only via movw instruction.
248 /// MO_HI16 - On a symbol operand, this represents a relocation containing
249 /// higher 16 bit of the address. Used only via movt instruction.
252 /// MO_OPTION_MASK - Most flags are mutually exclusive; this mask selects
253 /// just that part of the flag set.
254 MO_OPTION_MASK
= 0x3,
256 /// MO_COFFSTUB - On a symbol operand "FOO", this indicates that the
257 /// reference is actually to the ".refptrp.FOO" symbol. This is used for
258 /// stub symbols on windows.
261 /// MO_GOT - On a symbol operand, this represents a GOT relative relocation.
264 /// MO_SBREL - On a symbol operand, this represents a static base relative
265 /// relocation. Used in movw and movt instructions.
268 /// MO_DLLIMPORT - On a symbol operand, this represents that the reference
269 /// to the symbol is for an import stub. This is used for DLL import
270 /// storage class indication on Windows.
273 /// MO_SECREL - On a symbol operand this indicates that the immediate is
274 /// the offset from beginning of section.
276 /// This is the TLS offset for the COFF/Windows TLS mechanism.
279 /// MO_NONLAZY - This is an independent flag, on a symbol operand "FOO" it
280 /// represents a symbol which, if indirect, will get special Darwin mangling
281 /// as a non-lazy-ptr indirect symbol (i.e. "L_FOO$non_lazy_ptr"). Can be
282 /// combined with MO_LO16, MO_HI16 or MO_NO_FLAG (in a constant-pool, for
286 // It's undefined behaviour if an enum overflows the range between its
287 // smallest and largest values, but since these are |ed together, it can
288 // happen. Put a sentinel in (values of this enum are stored as "unsigned
290 MO_UNUSED_MAXIMUM
= 0xff
294 //===------------------------------------------------------------------===//
295 // Instruction Flags.
297 //===------------------------------------------------------------------===//
298 // This four-bit field describes the addressing mode used.
299 AddrModeMask
= 0x1f, // The AddrMode enums are declared in ARMBaseInfo.h
301 // IndexMode - Unindex, pre-indexed, or post-indexed are valid for load
302 // and store ops only. Generic "updating" flag is used for ld/st multiple.
303 // The index mode enums are declared in ARMBaseInfo.h
305 IndexModeMask
= 3 << IndexModeShift
,
307 //===------------------------------------------------------------------===//
308 // Instruction encoding formats.
311 FormMask
= 0x3f << FormShift
,
313 // Pseudo instructions
314 Pseudo
= 0 << FormShift
,
316 // Multiply instructions
317 MulFrm
= 1 << FormShift
,
319 // Branch instructions
320 BrFrm
= 2 << FormShift
,
321 BrMiscFrm
= 3 << FormShift
,
323 // Data Processing instructions
324 DPFrm
= 4 << FormShift
,
325 DPSoRegFrm
= 5 << FormShift
,
328 LdFrm
= 6 << FormShift
,
329 StFrm
= 7 << FormShift
,
330 LdMiscFrm
= 8 << FormShift
,
331 StMiscFrm
= 9 << FormShift
,
332 LdStMulFrm
= 10 << FormShift
,
334 LdStExFrm
= 11 << FormShift
,
336 // Miscellaneous arithmetic instructions
337 ArithMiscFrm
= 12 << FormShift
,
338 SatFrm
= 13 << FormShift
,
340 // Extend instructions
341 ExtFrm
= 14 << FormShift
,
344 VFPUnaryFrm
= 15 << FormShift
,
345 VFPBinaryFrm
= 16 << FormShift
,
346 VFPConv1Frm
= 17 << FormShift
,
347 VFPConv2Frm
= 18 << FormShift
,
348 VFPConv3Frm
= 19 << FormShift
,
349 VFPConv4Frm
= 20 << FormShift
,
350 VFPConv5Frm
= 21 << FormShift
,
351 VFPLdStFrm
= 22 << FormShift
,
352 VFPLdStMulFrm
= 23 << FormShift
,
353 VFPMiscFrm
= 24 << FormShift
,
356 ThumbFrm
= 25 << FormShift
,
358 // Miscelleaneous format
359 MiscFrm
= 26 << FormShift
,
362 NGetLnFrm
= 27 << FormShift
,
363 NSetLnFrm
= 28 << FormShift
,
364 NDupFrm
= 29 << FormShift
,
365 NLdStFrm
= 30 << FormShift
,
366 N1RegModImmFrm
= 31 << FormShift
,
367 N2RegFrm
= 32 << FormShift
,
368 NVCVTFrm
= 33 << FormShift
,
369 NVDupLnFrm
= 34 << FormShift
,
370 N2RegVShLFrm
= 35 << FormShift
,
371 N2RegVShRFrm
= 36 << FormShift
,
372 N3RegFrm
= 37 << FormShift
,
373 N3RegVShFrm
= 38 << FormShift
,
374 NVExtFrm
= 39 << FormShift
,
375 NVMulSLFrm
= 40 << FormShift
,
376 NVTBLFrm
= 41 << FormShift
,
377 N3RegCplxFrm
= 43 << FormShift
,
379 //===------------------------------------------------------------------===//
382 // UnaryDP - Indicates this is a unary data processing instruction, i.e.
383 // it doesn't have a Rn operand.
386 // Xform16Bit - Indicates this Thumb2 instruction may be transformed into
387 // a 16-bit Thumb instruction if certain conditions are met.
388 Xform16Bit
= 1 << 14,
390 // ThumbArithFlagSetting - The instruction is a 16-bit flag setting Thumb
391 // instruction. Used by the parser to determine whether to require the 'S'
392 // suffix on the mnemonic (when not in an IT block) or preclude it (when
394 ThumbArithFlagSetting
= 1 << 19,
396 //===------------------------------------------------------------------===//
399 DomainMask
= 15 << DomainShift
,
400 DomainGeneral
= 0 << DomainShift
,
401 DomainVFP
= 1 << DomainShift
,
402 DomainNEON
= 2 << DomainShift
,
403 DomainNEONA8
= 4 << DomainShift
,
404 DomainMVE
= 8 << DomainShift
,
406 //===------------------------------------------------------------------===//
407 // Field shifts - such shifts are used to set field while generating
408 // machine instructions.
410 // FIXME: This list will need adjusting/fixing as the MC code emitter
411 // takes shape and the ARMCodeEmitter.cpp bits go away.
436 } // end namespace ARMII
438 } // end namespace llvm;