1//===-- ARMPredicates.td - ARM Instruction Predicates ------*- tablegen -*-===//
2//
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
6//
7//===----------------------------------------------------------------------===//
8
9def HasV4T           : Predicate<"Subtarget->hasV4TOps()">,
10                                 AssemblerPredicate<(all_of HasV4TOps), "armv4t">;
11def NoV4T            : Predicate<"!Subtarget->hasV4TOps()">;
12def HasV5T           : Predicate<"Subtarget->hasV5TOps()">,
13                                 AssemblerPredicate<(all_of HasV5TOps), "armv5t">;
14def NoV5T            : Predicate<"!Subtarget->hasV5TOps()">;
15def HasV5TE          : Predicate<"Subtarget->hasV5TEOps()">,
16                                 AssemblerPredicate<(all_of HasV5TEOps), "armv5te">;
17def HasV6            : Predicate<"Subtarget->hasV6Ops()">,
18                                 AssemblerPredicate<(all_of HasV6Ops), "armv6">;
19def NoV6             : Predicate<"!Subtarget->hasV6Ops()">;
20def HasV6M           : Predicate<"Subtarget->hasV6MOps()">,
21                                 AssemblerPredicate<(all_of HasV6MOps),
22                                                    "armv6m or armv6t2">;
23def HasV8MBaseline   : Predicate<"Subtarget->hasV8MBaselineOps()">,
24                                 AssemblerPredicate<(all_of HasV8MBaselineOps),
25                                                    "armv8m.base">;
26def HasV8MMainline   : Predicate<"Subtarget->hasV8MMainlineOps()">,
27                                 AssemblerPredicate<(all_of HasV8MMainlineOps),
28                                                    "armv8m.main">;
29def HasV8_1MMainline : Predicate<"Subtarget->hasV8_1MMainlineOps()">,
30                                 AssemblerPredicate<(all_of HasV8_1MMainlineOps),
31                                                    "armv8.1m.main">;
32def HasMVEInt        : Predicate<"Subtarget->hasMVEIntegerOps()">,
33                                 AssemblerPredicate<(all_of HasMVEIntegerOps),
34                                                    "mve">;
35def HasMVEFloat      : Predicate<"Subtarget->hasMVEFloatOps()">,
36                                 AssemblerPredicate<(all_of HasMVEFloatOps),
37                                                    "mve.fp">;
38def HasCDE           : Predicate<"Subtarget->hasCDEOps()">,
39                                 AssemblerPredicate<(all_of HasCDEOps),
40                                                    "cde">;
41def HasFPRegs        : Predicate<"Subtarget->hasFPRegs()">,
42                                 AssemblerPredicate<(all_of FeatureFPRegs),
43                                                    "fp registers">;
44def HasFPRegs16      : Predicate<"Subtarget->hasFPRegs16()">,
45                                 AssemblerPredicate<(all_of FeatureFPRegs16),
46                                                    "16-bit fp registers">;
47def HasNoFPRegs16    : Predicate<"!Subtarget->hasFPRegs16()">,
48                                 AssemblerPredicate<(all_of (not FeatureFPRegs16)),
49                                                    "16-bit fp registers">;
50def HasFPRegs64      : Predicate<"Subtarget->hasFPRegs64()">,
51                                 AssemblerPredicate<(all_of FeatureFPRegs64),
52                                                    "64-bit fp registers">;
53def HasFPRegsV8_1M   : Predicate<"Subtarget->hasFPRegs() && Subtarget->hasV8_1MMainlineOps()">,
54                                 AssemblerPredicate<(all_of FeatureFPRegs, HasV8_1MMainlineOps),
55                                                    "armv8.1m.main with FP or MVE">;
56def HasV6T2          : Predicate<"Subtarget->hasV6T2Ops()">,
57                                 AssemblerPredicate<(all_of HasV6T2Ops), "armv6t2">;
58def NoV6T2           : Predicate<"!Subtarget->hasV6T2Ops()">;
59def HasV6K           : Predicate<"Subtarget->hasV6KOps()">,
60                                 AssemblerPredicate<(all_of HasV6KOps), "armv6k">;
61def NoV6K            : Predicate<"!Subtarget->hasV6KOps()">;
62def HasV7            : Predicate<"Subtarget->hasV7Ops()">,
63                                 AssemblerPredicate<(all_of HasV7Ops), "armv7">;
64def HasV8            : Predicate<"Subtarget->hasV8Ops()">,
65                                 AssemblerPredicate<(all_of HasV8Ops), "armv8">;
66def PreV8            : Predicate<"!Subtarget->hasV8Ops()">,
67                                 AssemblerPredicate<(all_of (not HasV8Ops)), "armv7 or earlier">;
68def HasV8_1a         : Predicate<"Subtarget->hasV8_1aOps()">,
69                                 AssemblerPredicate<(all_of HasV8_1aOps), "armv8.1a">;
70def HasV8_2a         : Predicate<"Subtarget->hasV8_2aOps()">,
71                                 AssemblerPredicate<(all_of HasV8_2aOps), "armv8.2a">;
72def HasV8_3a         : Predicate<"Subtarget->hasV8_3aOps()">,
73                                 AssemblerPredicate<(all_of HasV8_3aOps), "armv8.3a">;
74def HasV8_4a         : Predicate<"Subtarget->hasV8_4aOps()">,
75                                 AssemblerPredicate<(all_of HasV8_4aOps), "armv8.4a">;
76def HasV8_5a         : Predicate<"Subtarget->hasV8_5aOps()">,
77                                 AssemblerPredicate<(all_of HasV8_5aOps), "armv8.5a">;
78def HasV8_6a         : Predicate<"Subtarget->hasV8_6aOps()">,
79                                 AssemblerPredicate<(all_of HasV8_6aOps), "armv8.6a">;
80def HasV8_7a         : Predicate<"Subtarget->hasV8_7aOps()">,
81                                 AssemblerPredicate<(all_of HasV8_7aOps), "armv8.7a">;
82def NoVFP            : Predicate<"!Subtarget->hasVFP2Base()">;
83def HasVFP2          : Predicate<"Subtarget->hasVFP2Base()">,
84                                 AssemblerPredicate<(all_of FeatureVFP2_SP), "VFP2">;
85def HasVFP3          : Predicate<"Subtarget->hasVFP3Base()">,
86                                 AssemblerPredicate<(all_of FeatureVFP3_D16_SP), "VFP3">;
87def HasVFP4          : Predicate<"Subtarget->hasVFP4Base()">,
88                                 AssemblerPredicate<(all_of FeatureVFP4_D16_SP), "VFP4">;
89def HasDPVFP         : Predicate<"Subtarget->hasFP64()">,
90                                 AssemblerPredicate<(all_of FeatureFP64),
91                                                    "double precision VFP">;
92def HasFPARMv8       : Predicate<"Subtarget->hasFPARMv8Base()">,
93                                 AssemblerPredicate<(all_of FeatureFPARMv8_D16_SP), "FPARMv8">;
94def HasNEON          : Predicate<"Subtarget->hasNEON()">,
95                                 AssemblerPredicate<(all_of FeatureNEON), "NEON">;
96def HasSHA2          : Predicate<"Subtarget->hasSHA2()">,
97                                 AssemblerPredicate<(all_of FeatureSHA2), "sha2">;
98def HasAES           : Predicate<"Subtarget->hasAES()">,
99                                 AssemblerPredicate<(all_of FeatureAES), "aes">;
100def HasCrypto        : Predicate<"Subtarget->hasCrypto()">,
101                                 AssemblerPredicate<(all_of FeatureCrypto), "crypto">;
102def HasDotProd       : Predicate<"Subtarget->hasDotProd()">,
103                                 AssemblerPredicate<(all_of FeatureDotProd), "dotprod">;
104def HasCRC           : Predicate<"Subtarget->hasCRC()">,
105                                 AssemblerPredicate<(all_of FeatureCRC), "crc">;
106def HasRAS           : Predicate<"Subtarget->hasRAS()">,
107                                 AssemblerPredicate<(all_of FeatureRAS), "ras">;
108def HasLOB           : Predicate<"Subtarget->hasLOB()">,
109                                 AssemblerPredicate<(all_of FeatureLOB), "lob">;
110def HasPACBTI        : Predicate<"Subtarget->hasPACBTI()">,
111                                 AssemblerPredicate<(all_of FeaturePACBTI), "pacbti">;
112def HasFP16          : Predicate<"Subtarget->hasFP16()">,
113                                 AssemblerPredicate<(all_of FeatureFP16),"half-float conversions">;
114def HasFullFP16      : Predicate<"Subtarget->hasFullFP16()">,
115                                 AssemblerPredicate<(all_of FeatureFullFP16),"full half-float">;
116def HasFP16FML       : Predicate<"Subtarget->hasFP16FML()">,
117                                 AssemblerPredicate<(all_of FeatureFP16FML),"full half-float fml">;
118def HasBF16          : Predicate<"Subtarget->hasBF16()">,
119                                 AssemblerPredicate<(all_of FeatureBF16),"BFloat16 floating point extension">;
120def HasMatMulInt8    : Predicate<"Subtarget->hasMatMulInt8()">,
121                                 AssemblerPredicate<(all_of FeatureMatMulInt8),"8-bit integer matrix multiply">;
122def HasDivideInThumb : Predicate<"Subtarget->hasDivideInThumbMode()">,
123                                 AssemblerPredicate<(all_of FeatureHWDivThumb), "divide in THUMB">;
124def HasDivideInARM   : Predicate<"Subtarget->hasDivideInARMMode()">,
125                                 AssemblerPredicate<(all_of FeatureHWDivARM), "divide in ARM">;
126def HasDSP           : Predicate<"Subtarget->hasDSP()">,
127                                 AssemblerPredicate<(all_of FeatureDSP), "dsp">;
128def HasDB            : Predicate<"Subtarget->hasDataBarrier()">,
129                                 AssemblerPredicate<(all_of FeatureDB),
130                                                    "data-barriers">;
131def HasDFB           : Predicate<"Subtarget->hasFullDataBarrier()">,
132                                 AssemblerPredicate<(all_of FeatureDFB),
133                                                    "full-data-barrier">;
134def HasV7Clrex  : Predicate<"Subtarget->hasV7Clrex()">,
135                            AssemblerPredicate<(all_of FeatureV7Clrex),
136                                               "v7 clrex">;
137def HasAcquireRelease : Predicate<"Subtarget->hasAcquireRelease()">,
138                                  AssemblerPredicate<(all_of FeatureAcquireRelease),
139                                                     "acquire/release">;
140def HasMP            : Predicate<"Subtarget->hasMPExtension()">,
141                                 AssemblerPredicate<(all_of FeatureMP),
142                                                    "mp-extensions">;
143def HasVirtualization: Predicate<"false">,
144                                 AssemblerPredicate<(all_of FeatureVirtualization),
145                                                   "virtualization-extensions">;
146def HasTrustZone     : Predicate<"Subtarget->hasTrustZone()">,
147                                 AssemblerPredicate<(all_of FeatureTrustZone),
148                                                    "TrustZone">;
149def Has8MSecExt      : Predicate<"Subtarget->has8MSecExt()">,
150                                 AssemblerPredicate<(all_of Feature8MSecExt),
151                                                    "ARMv8-M Security Extensions">;
152def HasZCZ           : Predicate<"Subtarget->hasZeroCycleZeroing()">;
153def UseNEONForFP     : Predicate<"Subtarget->useNEONForSinglePrecisionFP()">;
154def DontUseNEONForFP : Predicate<"!Subtarget->useNEONForSinglePrecisionFP()">;
155def IsThumb          : Predicate<"Subtarget->isThumb()">,
156                                 AssemblerPredicate<(all_of ModeThumb), "thumb">;
157def IsThumb1Only     : Predicate<"Subtarget->isThumb1Only()">;
158def IsThumb2         : Predicate<"Subtarget->isThumb2()">,
159                                 AssemblerPredicate<(all_of ModeThumb, FeatureThumb2),
160                                                    "thumb2">;
161def IsMClass         : Predicate<"Subtarget->isMClass()">,
162                                 AssemblerPredicate<(all_of FeatureMClass), "armv*m">;
163def IsNotMClass      : Predicate<"!Subtarget->isMClass()">,
164                                 AssemblerPredicate<(all_of (not FeatureMClass)),
165                                                    "!armv*m">;
166def IsARM            : Predicate<"!Subtarget->isThumb()">,
167                                 AssemblerPredicate<(all_of (not ModeThumb)), "arm-mode">;
168def IsMachO          : Predicate<"Subtarget->isTargetMachO()">;
169def IsNotMachO       : Predicate<"!Subtarget->isTargetMachO()">;
170def IsNaCl           : Predicate<"Subtarget->isTargetNaCl()">;
171def IsWindows        : Predicate<"Subtarget->isTargetWindows()">;
172def IsNotWindows     : Predicate<"!Subtarget->isTargetWindows()">;
173def IsReadTPHard     : Predicate<"Subtarget->isReadTPHard()">;
174def IsReadTPSoft     : Predicate<"!Subtarget->isReadTPHard()">;
175def UseNaClTrap      : Predicate<"Subtarget->useNaClTrap()">,
176                                 AssemblerPredicate<(all_of FeatureNaClTrap), "NaCl">;
177def DontUseNaClTrap  : Predicate<"!Subtarget->useNaClTrap()">;
178
179def UseNegativeImmediates :
180  Predicate<"false">,
181            AssemblerPredicate<(all_of (not FeatureNoNegativeImmediates)),
182                               "NegativeImmediates">;
183
184// FIXME: Eventually this will be just "hasV6T2Ops".
185let RecomputePerFunction = 1 in {
186  def UseMovt          : Predicate<"Subtarget->useMovt()">;
187  def DontUseMovt      : Predicate<"!Subtarget->useMovt()">;
188  def UseMovtInPic     : Predicate<"Subtarget->useMovt() && Subtarget->allowPositionIndependentMovt()">;
189  def DontUseMovtInPic : Predicate<"!Subtarget->useMovt() || !Subtarget->allowPositionIndependentMovt()">;
190
191  def UseFPVMLx: Predicate<"((Subtarget->useFPVMLx() &&"
192                           "  TM.Options.AllowFPOpFusion != FPOpFusion::Fast) ||"
193                           "Subtarget->hasMinSize())">;
194  def SLSBLRMitigation : Predicate<[{ MF->getSubtarget<ARMSubtarget>().hardenSlsBlr() }]>;
195  def NoSLSBLRMitigation : Predicate<[{ !MF->getSubtarget<ARMSubtarget>().hardenSlsBlr() }]>;
196
197}
198def UseMulOps        : Predicate<"Subtarget->useMulOps()">;
199
200// Prefer fused MAC for fp mul + add over fp VMLA / VMLS if they are available.
201// But only select them if more precision in FP computation is allowed, and when
202// they are not slower than a mul + add sequence.
203// Do not use them for Darwin platforms.
204def UseFusedMAC      : Predicate<"TM.Options.AllowFPOpFusion =="
205                                 "  FPOpFusion::Fast && "
206                                 "Subtarget->useFPVFMx()">;
207
208def HasFastVGETLNi32 : Predicate<"!Subtarget->hasSlowVGETLNi32()">;
209def HasSlowVGETLNi32 : Predicate<"Subtarget->hasSlowVGETLNi32()">;
210
211def HasFastVDUP32 : Predicate<"!Subtarget->hasSlowVDUP32()">;
212def HasSlowVDUP32 : Predicate<"Subtarget->hasSlowVDUP32()">;
213
214def UseVMOVSR : Predicate<"Subtarget->preferVMOVSR() ||"
215                          "!Subtarget->useNEONForSinglePrecisionFP()">;
216def DontUseVMOVSR : Predicate<"!Subtarget->preferVMOVSR() &&"
217                              "Subtarget->useNEONForSinglePrecisionFP()">;
218
219let RecomputePerFunction = 1 in {
220  def IsLE             : Predicate<"MF->getDataLayout().isLittleEndian()">;
221  def IsBE             : Predicate<"MF->getDataLayout().isBigEndian()">;
222}
223
224def GenExecuteOnly : Predicate<"Subtarget->genExecuteOnly()">;
225
226// Armv8.5-A extensions
227def HasSB            : Predicate<"Subtarget->hasSB()">,
228                       AssemblerPredicate<(all_of FeatureSB), "sb">;
229
230// Armv8.9-A/9.4-A 2022 Architecture extensions
231def HasCLRBHB        : Predicate<"Subtarget->hasCLRBHB()">,
232                       AssemblerPredicate<(all_of FeatureCLRBHB), "clrbhb">;
233