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 HasFP16          : Predicate<"Subtarget->hasFP16()">,
111                                 AssemblerPredicate<(all_of FeatureFP16),"half-float conversions">;
112def HasFullFP16      : Predicate<"Subtarget->hasFullFP16()">,
113                                 AssemblerPredicate<(all_of FeatureFullFP16),"full half-float">;
114def HasFP16FML       : Predicate<"Subtarget->hasFP16FML()">,
115                                 AssemblerPredicate<(all_of FeatureFP16FML),"full half-float fml">;
116def HasBF16          : Predicate<"Subtarget->hasBF16()">,
117                                 AssemblerPredicate<(all_of FeatureBF16),"BFloat16 floating point extension">;
118def HasMatMulInt8    : Predicate<"Subtarget->hasMatMulInt8()">,
119                                 AssemblerPredicate<(all_of FeatureMatMulInt8),"8-bit integer matrix multiply">;
120def HasDivideInThumb : Predicate<"Subtarget->hasDivideInThumbMode()">,
121                                 AssemblerPredicate<(all_of FeatureHWDivThumb), "divide in THUMB">;
122def HasDivideInARM   : Predicate<"Subtarget->hasDivideInARMMode()">,
123                                 AssemblerPredicate<(all_of FeatureHWDivARM), "divide in ARM">;
124def HasDSP           : Predicate<"Subtarget->hasDSP()">,
125                                 AssemblerPredicate<(all_of FeatureDSP), "dsp">;
126def HasDB            : Predicate<"Subtarget->hasDataBarrier()">,
127                                 AssemblerPredicate<(all_of FeatureDB),
128                                                    "data-barriers">;
129def HasDFB           : Predicate<"Subtarget->hasFullDataBarrier()">,
130                                 AssemblerPredicate<(all_of FeatureDFB),
131                                                    "full-data-barrier">;
132def HasV7Clrex  : Predicate<"Subtarget->hasV7Clrex()">,
133                            AssemblerPredicate<(all_of FeatureV7Clrex),
134                                               "v7 clrex">;
135def HasAcquireRelease : Predicate<"Subtarget->hasAcquireRelease()">,
136                                  AssemblerPredicate<(all_of FeatureAcquireRelease),
137                                                     "acquire/release">;
138def HasMP            : Predicate<"Subtarget->hasMPExtension()">,
139                                 AssemblerPredicate<(all_of FeatureMP),
140                                                    "mp-extensions">;
141def HasVirtualization: Predicate<"false">,
142                                 AssemblerPredicate<(all_of FeatureVirtualization),
143                                                   "virtualization-extensions">;
144def HasTrustZone     : Predicate<"Subtarget->hasTrustZone()">,
145                                 AssemblerPredicate<(all_of FeatureTrustZone),
146                                                    "TrustZone">;
147def Has8MSecExt      : Predicate<"Subtarget->has8MSecExt()">,
148                                 AssemblerPredicate<(all_of Feature8MSecExt),
149                                                    "ARMv8-M Security Extensions">;
150def HasZCZ           : Predicate<"Subtarget->hasZeroCycleZeroing()">;
151def UseNEONForFP     : Predicate<"Subtarget->useNEONForSinglePrecisionFP()">;
152def DontUseNEONForFP : Predicate<"!Subtarget->useNEONForSinglePrecisionFP()">;
153def IsThumb          : Predicate<"Subtarget->isThumb()">,
154                                 AssemblerPredicate<(all_of ModeThumb), "thumb">;
155def IsThumb1Only     : Predicate<"Subtarget->isThumb1Only()">;
156def IsThumb2         : Predicate<"Subtarget->isThumb2()">,
157                                 AssemblerPredicate<(all_of ModeThumb, FeatureThumb2),
158                                                    "thumb2">;
159def IsMClass         : Predicate<"Subtarget->isMClass()">,
160                                 AssemblerPredicate<(all_of FeatureMClass), "armv*m">;
161def IsNotMClass      : Predicate<"!Subtarget->isMClass()">,
162                                 AssemblerPredicate<(all_of (not FeatureMClass)),
163                                                    "!armv*m">;
164def IsARM            : Predicate<"!Subtarget->isThumb()">,
165                                 AssemblerPredicate<(all_of (not ModeThumb)), "arm-mode">;
166def IsMachO          : Predicate<"Subtarget->isTargetMachO()">;
167def IsNotMachO       : Predicate<"!Subtarget->isTargetMachO()">;
168def IsNaCl           : Predicate<"Subtarget->isTargetNaCl()">;
169def IsWindows        : Predicate<"Subtarget->isTargetWindows()">;
170def IsNotWindows     : Predicate<"!Subtarget->isTargetWindows()">;
171def IsReadTPHard     : Predicate<"Subtarget->isReadTPHard()">;
172def IsReadTPSoft     : Predicate<"!Subtarget->isReadTPHard()">;
173def UseNaClTrap      : Predicate<"Subtarget->useNaClTrap()">,
174                                 AssemblerPredicate<(all_of FeatureNaClTrap), "NaCl">;
175def DontUseNaClTrap  : Predicate<"!Subtarget->useNaClTrap()">;
176
177def UseNegativeImmediates :
178  Predicate<"false">,
179            AssemblerPredicate<(all_of (not FeatureNoNegativeImmediates)),
180                               "NegativeImmediates">;
181
182// FIXME: Eventually this will be just "hasV6T2Ops".
183let RecomputePerFunction = 1 in {
184  def UseMovt          : Predicate<"Subtarget->useMovt()">;
185  def DontUseMovt      : Predicate<"!Subtarget->useMovt()">;
186  def UseMovtInPic     : Predicate<"Subtarget->useMovt() && Subtarget->allowPositionIndependentMovt()">;
187  def DontUseMovtInPic : Predicate<"!Subtarget->useMovt() || !Subtarget->allowPositionIndependentMovt()">;
188
189  def UseFPVMLx: Predicate<"((Subtarget->useFPVMLx() &&"
190                           "  TM.Options.AllowFPOpFusion != FPOpFusion::Fast) ||"
191                           "Subtarget->hasMinSize())">;
192  def SLSBLRMitigation : Predicate<[{ MF->getSubtarget<ARMSubtarget>().hardenSlsBlr() }]>;
193  def NoSLSBLRMitigation : Predicate<[{ !MF->getSubtarget<ARMSubtarget>().hardenSlsBlr() }]>;
194
195}
196def UseMulOps        : Predicate<"Subtarget->useMulOps()">;
197
198// Prefer fused MAC for fp mul + add over fp VMLA / VMLS if they are available.
199// But only select them if more precision in FP computation is allowed, and when
200// they are not slower than a mul + add sequence.
201// Do not use them for Darwin platforms.
202def UseFusedMAC      : Predicate<"TM.Options.AllowFPOpFusion =="
203                                 "  FPOpFusion::Fast && "
204                                 "Subtarget->useFPVFMx()">;
205
206def HasFastVGETLNi32 : Predicate<"!Subtarget->hasSlowVGETLNi32()">;
207def HasSlowVGETLNi32 : Predicate<"Subtarget->hasSlowVGETLNi32()">;
208
209def HasFastVDUP32 : Predicate<"!Subtarget->hasSlowVDUP32()">;
210def HasSlowVDUP32 : Predicate<"Subtarget->hasSlowVDUP32()">;
211
212def UseVMOVSR : Predicate<"Subtarget->preferVMOVSR() ||"
213                          "!Subtarget->useNEONForSinglePrecisionFP()">;
214def DontUseVMOVSR : Predicate<"!Subtarget->preferVMOVSR() &&"
215                              "Subtarget->useNEONForSinglePrecisionFP()">;
216
217let RecomputePerFunction = 1 in {
218  def IsLE             : Predicate<"MF->getDataLayout().isLittleEndian()">;
219  def IsBE             : Predicate<"MF->getDataLayout().isBigEndian()">;
220}
221
222def GenExecuteOnly : Predicate<"Subtarget->genExecuteOnly()">;
223
224// Armv8.5-A extensions
225def HasSB            : Predicate<"Subtarget->hasSB()">,
226                       AssemblerPredicate<(all_of FeatureSB), "sb">;
227