xref: /llvm-project-15.0.7/llvm/lib/Target/ARM/ARM.td (revision e50bd2b2)
1//===-- ARM.td - Describe the ARM Target Machine -----------*- tablegen -*-===//
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//
11//===----------------------------------------------------------------------===//
12
13//===----------------------------------------------------------------------===//
14// Target-independent interfaces which we are implementing
15//===----------------------------------------------------------------------===//
16
17include "llvm/Target/Target.td"
18
19//===----------------------------------------------------------------------===//
20// ARM Subtarget state.
21//
22
23def ModeThumb  : SubtargetFeature<"thumb-mode", "InThumbMode", "true",
24                                  "Thumb mode">;
25
26//===----------------------------------------------------------------------===//
27// ARM Subtarget features.
28//
29
30def FeatureVFP2 : SubtargetFeature<"vfp2", "HasVFPv2", "true",
31                                   "Enable VFP2 instructions">;
32def FeatureVFP3 : SubtargetFeature<"vfp3", "HasVFPv3", "true",
33                                   "Enable VFP3 instructions",
34                                   [FeatureVFP2]>;
35def FeatureNEON : SubtargetFeature<"neon", "HasNEON", "true",
36                                   "Enable NEON instructions",
37                                   [FeatureVFP3]>;
38def FeatureThumb2 : SubtargetFeature<"thumb2", "HasThumb2", "true",
39                                     "Enable Thumb2 instructions">;
40def FeatureNoARM  : SubtargetFeature<"noarm", "NoARM", "true",
41                                     "Does not support ARM mode execution",
42                                     [ModeThumb]>;
43def FeatureFP16   : SubtargetFeature<"fp16", "HasFP16", "true",
44                                     "Enable half-precision floating point">;
45def FeatureVFP4   : SubtargetFeature<"vfp4", "HasVFPv4", "true",
46                                     "Enable VFP4 instructions",
47                                     [FeatureVFP3, FeatureFP16]>;
48def FeatureFPARMv8 : SubtargetFeature<"fp-armv8", "HasFPARMv8",
49                                   "true", "Enable ARMv8 FP",
50                                   [FeatureVFP4]>;
51def FeatureD16    : SubtargetFeature<"d16", "HasD16", "true",
52                                     "Restrict VFP3 to 16 double registers">;
53def FeatureHWDiv  : SubtargetFeature<"hwdiv", "HasHardwareDivide", "true",
54                                     "Enable divide instructions">;
55def FeatureHWDivARM  : SubtargetFeature<"hwdiv-arm",
56                                        "HasHardwareDivideInARM", "true",
57                                      "Enable divide instructions in ARM mode">;
58def FeatureT2XtPk : SubtargetFeature<"t2xtpk", "HasT2ExtractPack", "true",
59                                 "Enable Thumb2 extract and pack instructions">;
60def FeatureDB     : SubtargetFeature<"db", "HasDataBarrier", "true",
61                                   "Has data barrier (dmb / dsb) instructions">;
62def FeatureSlowFPBrcc : SubtargetFeature<"slow-fp-brcc", "SlowFPBrcc", "true",
63                                         "FP compare + branch is slow">;
64def FeatureVFPOnlySP : SubtargetFeature<"fp-only-sp", "FPOnlySP", "true",
65                          "Floating point unit supports single precision only">;
66def FeaturePerfMon : SubtargetFeature<"perfmon", "HasPerfMon", "true",
67                           "Enable support for Performance Monitor extensions">;
68def FeatureTrustZone : SubtargetFeature<"trustzone", "HasTrustZone", "true",
69                          "Enable support for TrustZone security extensions">;
70def FeatureCrypto : SubtargetFeature<"crypto", "HasCrypto", "true",
71                          "Enable support for Cryptography extensions",
72                          [FeatureNEON]>;
73def FeatureCRC : SubtargetFeature<"crc", "HasCRC", "true",
74                          "Enable support for CRC instructions">;
75
76// Cyclone has preferred instructions for zeroing VFP registers, which can
77// execute in 0 cycles.
78def FeatureZCZeroing : SubtargetFeature<"zcz", "HasZeroCycleZeroing", "true",
79                                        "Has zero-cycle zeroing instructions">;
80
81// Some processors have FP multiply-accumulate instructions that don't
82// play nicely with other VFP / NEON instructions, and it's generally better
83// to just not use them.
84def FeatureHasSlowFPVMLx : SubtargetFeature<"slowfpvmlx", "SlowFPVMLx", "true",
85                                         "Disable VFP / NEON MAC instructions">;
86
87// Cortex-A8 / A9 Advanced SIMD has multiplier accumulator forwarding.
88def FeatureVMLxForwarding : SubtargetFeature<"vmlx-forwarding",
89                                       "HasVMLxForwarding", "true",
90                                       "Has multiplier accumulator forwarding">;
91
92// Some processors benefit from using NEON instructions for scalar
93// single-precision FP operations.
94def FeatureNEONForFP : SubtargetFeature<"neonfp", "UseNEONForSinglePrecisionFP",
95                                        "true",
96                                        "Use NEON for single precision FP">;
97
98// Disable 32-bit to 16-bit narrowing for experimentation.
99def FeaturePref32BitThumb : SubtargetFeature<"32bit", "Pref32BitThumb", "true",
100                                             "Prefer 32-bit Thumb instrs">;
101
102/// Some instructions update CPSR partially, which can add false dependency for
103/// out-of-order implementation, e.g. Cortex-A9, unless each individual bit is
104/// mapped to a separate physical register. Avoid partial CPSR update for these
105/// processors.
106def FeatureAvoidPartialCPSR : SubtargetFeature<"avoid-partial-cpsr",
107                                               "AvoidCPSRPartialUpdate", "true",
108                                 "Avoid CPSR partial update for OOO execution">;
109
110def FeatureAvoidMOVsShOp : SubtargetFeature<"avoid-movs-shop",
111                                            "AvoidMOVsShifterOperand", "true",
112                                "Avoid movs instructions with shifter operand">;
113
114// Some processors perform return stack prediction. CodeGen should avoid issue
115// "normal" call instructions to callees which do not return.
116def FeatureHasRAS : SubtargetFeature<"ras", "HasRAS", "true",
117                                     "Has return address stack">;
118
119/// Some M architectures don't have the DSP extension (v7E-M vs. v7M)
120def FeatureDSPThumb2 : SubtargetFeature<"t2dsp", "Thumb2DSP", "true",
121                                 "Supports v7 DSP instructions in Thumb2">;
122
123// Multiprocessing extension.
124def FeatureMP : SubtargetFeature<"mp", "HasMPExtension", "true",
125                                 "Supports Multiprocessing extension">;
126
127// Virtualization extension - requires HW divide (ARMv7-AR ARMARM - 4.4.8).
128def FeatureVirtualization : SubtargetFeature<"virtualization",
129                                 "HasVirtualization", "true",
130                                 "Supports Virtualization extension",
131                                 [FeatureHWDiv, FeatureHWDivARM]>;
132
133// M-series ISA
134def FeatureMClass : SubtargetFeature<"mclass", "ARMProcClass", "MClass",
135                                     "Is microcontroller profile ('M' series)">;
136
137// R-series ISA
138def FeatureRClass : SubtargetFeature<"rclass", "ARMProcClass", "RClass",
139                                     "Is realtime profile ('R' series)">;
140
141// A-series ISA
142def FeatureAClass : SubtargetFeature<"aclass", "ARMProcClass", "AClass",
143                                     "Is application profile ('A' series)">;
144
145// Special TRAP encoding for NaCl, which looks like a TRAP in Thumb too.
146// See ARMInstrInfo.td for details.
147def FeatureNaClTrap : SubtargetFeature<"nacl-trap", "UseNaClTrap", "true",
148                                       "NaCl trap">;
149
150// ARM ISAs.
151def HasV4TOps   : SubtargetFeature<"v4t", "HasV4TOps", "true",
152                                   "Support ARM v4T instructions">;
153def HasV5TOps   : SubtargetFeature<"v5t", "HasV5TOps", "true",
154                                   "Support ARM v5T instructions",
155                                   [HasV4TOps]>;
156def HasV5TEOps  : SubtargetFeature<"v5te", "HasV5TEOps", "true",
157                             "Support ARM v5TE, v5TEj, and v5TExp instructions",
158                                   [HasV5TOps]>;
159def HasV6Ops    : SubtargetFeature<"v6", "HasV6Ops", "true",
160                                   "Support ARM v6 instructions",
161                                   [HasV5TEOps]>;
162def HasV6MOps   : SubtargetFeature<"v6m", "HasV6MOps", "true",
163                                   "Support ARM v6M instructions",
164                                   [HasV6Ops]>;
165def HasV6T2Ops  : SubtargetFeature<"v6t2", "HasV6T2Ops", "true",
166                                   "Support ARM v6t2 instructions",
167                                   [HasV6MOps, FeatureThumb2]>;
168def HasV7Ops    : SubtargetFeature<"v7", "HasV7Ops", "true",
169                                   "Support ARM v7 instructions",
170                                   [HasV6T2Ops, FeaturePerfMon]>;
171def HasV8Ops    : SubtargetFeature<"v8", "HasV8Ops", "true",
172                                   "Support ARM v8 instructions",
173                                   [HasV7Ops, FeatureVirtualization,
174                                    FeatureMP]>;
175
176//===----------------------------------------------------------------------===//
177// ARM Processors supported.
178//
179
180include "ARMSchedule.td"
181
182// ARM processor families.
183def ProcA5      : SubtargetFeature<"a5", "ARMProcFamily", "CortexA5",
184                                   "Cortex-A5 ARM processors",
185                                   [FeatureSlowFPBrcc, FeatureHasSlowFPVMLx,
186                                    FeatureVMLxForwarding, FeatureT2XtPk,
187                                    FeatureTrustZone, FeatureMP]>;
188def ProcA7      : SubtargetFeature<"a7", "ARMProcFamily", "CortexA7",
189                                   "Cortex-A7 ARM processors",
190                                   [FeatureSlowFPBrcc, FeatureHasSlowFPVMLx,
191                                    FeatureVMLxForwarding, FeatureT2XtPk,
192                                    FeatureVFP4, FeatureMP,
193                                    FeatureHWDiv, FeatureHWDivARM,
194                                    FeatureTrustZone, FeatureVirtualization]>;
195def ProcA8      : SubtargetFeature<"a8", "ARMProcFamily", "CortexA8",
196                                   "Cortex-A8 ARM processors",
197                                   [FeatureSlowFPBrcc, FeatureHasSlowFPVMLx,
198                                    FeatureVMLxForwarding, FeatureT2XtPk,
199                                    FeatureTrustZone]>;
200def ProcA9      : SubtargetFeature<"a9", "ARMProcFamily", "CortexA9",
201                                   "Cortex-A9 ARM processors",
202                                   [FeatureVMLxForwarding,
203                                    FeatureT2XtPk, FeatureFP16,
204                                    FeatureAvoidPartialCPSR,
205                                    FeatureTrustZone]>;
206def ProcSwift   : SubtargetFeature<"swift", "ARMProcFamily", "Swift",
207                                   "Swift ARM processors",
208                                   [FeatureNEONForFP, FeatureT2XtPk,
209                                    FeatureVFP4, FeatureMP, FeatureHWDiv,
210                                    FeatureHWDivARM, FeatureAvoidPartialCPSR,
211                                    FeatureAvoidMOVsShOp,
212                                    FeatureHasSlowFPVMLx, FeatureTrustZone]>;
213def ProcA12     : SubtargetFeature<"a12", "ARMProcFamily", "CortexA12",
214                                   "Cortex-A12 ARM processors",
215                                   [FeatureVMLxForwarding,
216                                    FeatureT2XtPk, FeatureVFP4,
217                                    FeatureHWDiv, FeatureHWDivARM,
218                                    FeatureAvoidPartialCPSR,
219                                    FeatureVirtualization,
220                                    FeatureTrustZone]>;
221
222
223// FIXME: It has not been determined if A15 has these features.
224def ProcA15      : SubtargetFeature<"a15", "ARMProcFamily", "CortexA15",
225                                   "Cortex-A15 ARM processors",
226                                   [FeatureT2XtPk, FeatureVFP4,
227                                    FeatureMP, FeatureHWDiv, FeatureHWDivARM,
228                                    FeatureAvoidPartialCPSR,
229                                    FeatureTrustZone, FeatureVirtualization]>;
230
231def ProcA53     : SubtargetFeature<"a53", "ARMProcFamily", "CortexA53",
232                                   "Cortex-A53 ARM processors",
233                                   [FeatureHWDiv, FeatureHWDivARM,
234                                    FeatureTrustZone, FeatureT2XtPk,
235                                    FeatureCrypto, FeatureCRC]>;
236
237def ProcA57     : SubtargetFeature<"a57", "ARMProcFamily", "CortexA57",
238                                   "Cortex-A57 ARM processors",
239                                   [FeatureHWDiv, FeatureHWDivARM,
240                                    FeatureTrustZone, FeatureT2XtPk,
241                                    FeatureCrypto, FeatureCRC]>;
242
243def ProcR5      : SubtargetFeature<"r5", "ARMProcFamily", "CortexR5",
244                                   "Cortex-R5 ARM processors",
245                                   [FeatureSlowFPBrcc,
246                                    FeatureHWDiv, FeatureHWDivARM,
247                                    FeatureHasSlowFPVMLx,
248                                    FeatureAvoidPartialCPSR,
249                                    FeatureT2XtPk]>;
250
251// FIXME: krait has currently the same features as A9
252// plus VFP4 and hardware division features.
253def ProcKrait   : SubtargetFeature<"krait", "ARMProcFamily", "Krait",
254                                   "Qualcomm ARM processors",
255                                   [FeatureVMLxForwarding,
256                                    FeatureT2XtPk, FeatureFP16,
257                                    FeatureAvoidPartialCPSR,
258                                    FeatureTrustZone,
259                                    FeatureVFP4,
260                                    FeatureHWDiv,
261                                    FeatureHWDivARM]>;
262
263
264def FeatureAPCS  : SubtargetFeature<"apcs", "TargetABI", "ARM_ABI_APCS",
265                                   "Use the APCS ABI">;
266
267def FeatureAAPCS : SubtargetFeature<"aapcs", "TargetABI", "ARM_ABI_AAPCS",
268                                   "Use the AAPCS ABI">;
269
270
271class ProcNoItin<string Name, list<SubtargetFeature> Features>
272 : Processor<Name, NoItineraries, Features>;
273
274// V4 Processors.
275def : ProcNoItin<"generic",         []>;
276def : ProcNoItin<"arm8",            []>;
277def : ProcNoItin<"arm810",          []>;
278def : ProcNoItin<"strongarm",       []>;
279def : ProcNoItin<"strongarm110",    []>;
280def : ProcNoItin<"strongarm1100",   []>;
281def : ProcNoItin<"strongarm1110",   []>;
282
283// V4T Processors.
284def : ProcNoItin<"arm7tdmi",        [HasV4TOps]>;
285def : ProcNoItin<"arm7tdmi-s",      [HasV4TOps]>;
286def : ProcNoItin<"arm710t",         [HasV4TOps]>;
287def : ProcNoItin<"arm720t",         [HasV4TOps]>;
288def : ProcNoItin<"arm9",            [HasV4TOps]>;
289def : ProcNoItin<"arm9tdmi",        [HasV4TOps]>;
290def : ProcNoItin<"arm920",          [HasV4TOps]>;
291def : ProcNoItin<"arm920t",         [HasV4TOps]>;
292def : ProcNoItin<"arm922t",         [HasV4TOps]>;
293def : ProcNoItin<"arm940t",         [HasV4TOps]>;
294def : ProcNoItin<"ep9312",          [HasV4TOps]>;
295
296// V5T Processors.
297def : ProcNoItin<"arm10tdmi",       [HasV5TOps]>;
298def : ProcNoItin<"arm1020t",        [HasV5TOps]>;
299
300// V5TE Processors.
301def : ProcNoItin<"arm9e",           [HasV5TEOps]>;
302def : ProcNoItin<"arm926ej-s",      [HasV5TEOps]>;
303def : ProcNoItin<"arm946e-s",       [HasV5TEOps]>;
304def : ProcNoItin<"arm966e-s",       [HasV5TEOps]>;
305def : ProcNoItin<"arm968e-s",       [HasV5TEOps]>;
306def : ProcNoItin<"arm10e",          [HasV5TEOps]>;
307def : ProcNoItin<"arm1020e",        [HasV5TEOps]>;
308def : ProcNoItin<"arm1022e",        [HasV5TEOps]>;
309def : ProcNoItin<"xscale",          [HasV5TEOps]>;
310def : ProcNoItin<"iwmmxt",          [HasV5TEOps]>;
311
312// V6 Processors.
313def : Processor<"arm1136j-s",       ARMV6Itineraries, [HasV6Ops]>;
314def : Processor<"arm1136jf-s",      ARMV6Itineraries, [HasV6Ops, FeatureVFP2,
315                                                       FeatureHasSlowFPVMLx]>;
316def : Processor<"arm1176jz-s",      ARMV6Itineraries, [HasV6Ops]>;
317def : Processor<"arm1176jzf-s",     ARMV6Itineraries, [HasV6Ops, FeatureVFP2,
318                                                       FeatureHasSlowFPVMLx]>;
319def : Processor<"mpcorenovfp",      ARMV6Itineraries, [HasV6Ops]>;
320def : Processor<"mpcore",           ARMV6Itineraries, [HasV6Ops, FeatureVFP2,
321                                                       FeatureHasSlowFPVMLx]>;
322
323// V6M Processors.
324def : Processor<"cortex-m0",        ARMV6Itineraries, [HasV6MOps, FeatureNoARM,
325                                                       FeatureDB, FeatureMClass]>;
326
327// V6T2 Processors.
328def : Processor<"arm1156t2-s",      ARMV6Itineraries, [HasV6T2Ops,
329                                                       FeatureDSPThumb2]>;
330def : Processor<"arm1156t2f-s",     ARMV6Itineraries, [HasV6T2Ops, FeatureVFP2,
331                                                       FeatureHasSlowFPVMLx,
332                                                       FeatureDSPThumb2]>;
333
334// V7a Processors.
335// FIXME: A5 has currently the same Schedule model as A8
336def : ProcessorModel<"cortex-a5",   CortexA8Model,
337                                    [ProcA5, HasV7Ops, FeatureNEON, FeatureDB,
338                                     FeatureVFP4, FeatureDSPThumb2,
339                                     FeatureHasRAS, FeatureAClass]>;
340def : ProcessorModel<"cortex-a7",   CortexA8Model,
341                                    [ProcA7, HasV7Ops, FeatureNEON, FeatureDB,
342                                     FeatureDSPThumb2, FeatureHasRAS,
343                                     FeatureAClass]>;
344def : ProcessorModel<"cortex-a8",   CortexA8Model,
345                                    [ProcA8, HasV7Ops, FeatureNEON, FeatureDB,
346                                     FeatureDSPThumb2, FeatureHasRAS,
347                                     FeatureAClass]>;
348def : ProcessorModel<"cortex-a9",   CortexA9Model,
349                                    [ProcA9, HasV7Ops, FeatureNEON, FeatureDB,
350                                     FeatureDSPThumb2, FeatureHasRAS,
351                                     FeatureAClass]>;
352def : ProcessorModel<"cortex-a9-mp", CortexA9Model,
353                                    [ProcA9, HasV7Ops, FeatureNEON, FeatureDB,
354                                     FeatureDSPThumb2, FeatureMP,
355                                     FeatureHasRAS, FeatureAClass]>;
356
357// FIXME: A12 has currently the same Schedule model as A9
358def : ProcessorModel<"cortex-a12", CortexA9Model,
359                                    [ProcA12, HasV7Ops, FeatureNEON, FeatureDB,
360                                     FeatureDSPThumb2, FeatureMP,
361                                     FeatureHasRAS, FeatureAClass]>;
362
363// FIXME: A15 has currently the same ProcessorModel as A9.
364def : ProcessorModel<"cortex-a15",   CortexA9Model,
365                                    [ProcA15, HasV7Ops, FeatureNEON, FeatureDB,
366                                     FeatureDSPThumb2, FeatureHasRAS,
367                                     FeatureAClass]>;
368
369// FIXME: krait has currently the same Schedule model as A9
370def : ProcessorModel<"krait",       CortexA9Model,
371                                    [ProcKrait, HasV7Ops,
372                                     FeatureNEON, FeatureDB,
373                                     FeatureDSPThumb2, FeatureHasRAS,
374                                     FeatureAClass]>;
375
376// FIXME: R5 has currently the same ProcessorModel as A8.
377def : ProcessorModel<"cortex-r5",   CortexA8Model,
378                                    [ProcR5, HasV7Ops, FeatureDB,
379                                     FeatureVFP3, FeatureDSPThumb2,
380                                     FeatureHasRAS, FeatureVFPOnlySP,
381                                     FeatureD16, FeatureRClass]>;
382
383// V7M Processors.
384def : ProcNoItin<"cortex-m3",       [HasV7Ops,
385                                     FeatureThumb2, FeatureNoARM, FeatureDB,
386                                     FeatureHWDiv, FeatureMClass]>;
387
388// V7EM Processors.
389def : ProcNoItin<"cortex-m4",       [HasV7Ops,
390                                     FeatureThumb2, FeatureNoARM, FeatureDB,
391                                     FeatureHWDiv, FeatureDSPThumb2,
392                                     FeatureT2XtPk, FeatureVFP4,
393                                     FeatureVFPOnlySP, FeatureD16,
394                                     FeatureMClass]>;
395def : ProcNoItin<"cortex-m7",       [HasV7Ops,
396                                     FeatureThumb2, FeatureNoARM, FeatureDB,
397                                     FeatureHWDiv, FeatureDSPThumb2,
398                                     FeatureT2XtPk, FeatureFPARMv8,
399                                     FeatureD16, FeatureMClass]>;
400
401
402// Swift uArch Processors.
403def : ProcessorModel<"swift",       SwiftModel,
404                                    [ProcSwift, HasV7Ops, FeatureNEON,
405                                     FeatureDB, FeatureDSPThumb2,
406                                     FeatureHasRAS, FeatureAClass]>;
407
408// V8 Processors
409def : ProcNoItin<"cortex-a53",      [ProcA53, HasV8Ops, FeatureAClass,
410                                    FeatureDB, FeatureFPARMv8,
411                                    FeatureNEON, FeatureDSPThumb2]>;
412def : ProcNoItin<"cortex-a57",      [ProcA57, HasV8Ops, FeatureAClass,
413                                    FeatureDB, FeatureFPARMv8,
414                                    FeatureNEON, FeatureDSPThumb2]>;
415
416// Cyclone is very similar to swift
417def : ProcessorModel<"cyclone",     SwiftModel,
418                                    [ProcSwift, HasV8Ops, HasV7Ops,
419                                     FeatureCrypto, FeatureFPARMv8,
420                                     FeatureDB,FeatureDSPThumb2,
421                                     FeatureHasRAS, FeatureZCZeroing]>;
422
423//===----------------------------------------------------------------------===//
424// Register File Description
425//===----------------------------------------------------------------------===//
426
427include "ARMRegisterInfo.td"
428
429include "ARMCallingConv.td"
430
431//===----------------------------------------------------------------------===//
432// Instruction Descriptions
433//===----------------------------------------------------------------------===//
434
435include "ARMInstrInfo.td"
436
437def ARMInstrInfo : InstrInfo;
438
439//===----------------------------------------------------------------------===//
440// Declare the target which we are implementing
441//===----------------------------------------------------------------------===//
442
443def ARM : Target {
444  // Pull in Instruction Info:
445  let InstructionSet = ARMInstrInfo;
446}
447