239 lines · plain
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-exception6//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 IsWindows : Predicate<"Subtarget->isTargetWindows()">;171def IsNotWindows : Predicate<"!Subtarget->isTargetWindows()">;172def IsReadTPTPIDRURW : Predicate<"Subtarget->isReadTPTPIDRURW()">;173def IsReadTPTPIDRURO : Predicate<"Subtarget->isReadTPTPIDRURO()">;174def IsReadTPTPIDRPRW : Predicate<"Subtarget->isReadTPTPIDRPRW()">;175def IsReadTPSoft : Predicate<"Subtarget->isReadTPSoft()">;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 when200// 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()">;223def DontGenExecuteOnly : Predicate<"!Subtarget->genExecuteOnly()">;224def GenT1ExecuteOnly : Predicate<"Subtarget->genExecuteOnly() && "225 "Subtarget->isThumb1Only() && "226 "!Subtarget->hasV8MBaselineOps()">;227let RecomputePerFunction = 1 in {228 def SignRetAddr : Predicate<[{ MF->getInfo<ARMFunctionInfo>()->shouldSignReturnAddress(true) }]>;229 def NoSignRetAddr : Predicate<[{ !MF->getInfo<ARMFunctionInfo>()->shouldSignReturnAddress(true) }]>;230}231 232// Armv8.5-A extensions233def HasSB : Predicate<"Subtarget->hasSB()">,234 AssemblerPredicate<(all_of FeatureSB), "sb">;235 236// Armv8.9-A/9.4-A 2022 Architecture extensions237def HasCLRBHB : Predicate<"Subtarget->hasCLRBHB()">,238 AssemblerPredicate<(all_of FeatureCLRBHB), "clrbhb">;239