429 lines · plain
1//===-- SystemZ.td - SystemZ processors and features ---------*- tblgen -*-===//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//9// Feature definitions.10//11//===----------------------------------------------------------------------===//12 13class SystemZFeature<string extname, string intname, dag featdag, string desc>14 : Predicate<"Subtarget->has"#intname#"()">,15 AssemblerPredicate<featdag, extname>,16 SubtargetFeature<extname, "Has"#intname, "true", desc>;17 18class SystemZMissingFeature<string intname>19 : Predicate<"!Subtarget->has"#intname#"()">;20 21class SystemZFeatureList<list<SystemZFeature> x> {22 list<SystemZFeature> List = x;23}24 25class SystemZFeatureAdd<list<SystemZFeature> x, list<SystemZFeature> y>26 : SystemZFeatureList<!listconcat(x, y)>;27 28// This feature is added as a subtarget feature whenever the function is29// compiled to use soft-float.30def FeatureSoftFloat : SystemZFeature<31 "soft-float", "SoftFloat", (all_of FeatureSoftFloat),32 "Use software emulation for floating point"33>;34 35def FeatureBackChain : SystemZFeature<36 "backchain", "BackChain", (all_of FeatureBackChain),37 "Store the address of the caller's frame into the callee's stack frame"38>;39 40def FeatureUnalignedSymbols : SystemZFeature<41 "unaligned-symbols", "UnalignedSymbols", (all_of FeatureUnalignedSymbols),42 "Don't apply the ABI minimum alignment to external symbols."43>;44 45//===----------------------------------------------------------------------===//46//47// New features added in the Ninth Edition of the z/Architecture48//49//===----------------------------------------------------------------------===//50 51def FeatureDistinctOps : SystemZFeature<52 "distinct-ops", "DistinctOps", (all_of FeatureDistinctOps),53 "Assume that the distinct-operands facility is installed"54>;55 56def FeatureFastSerialization : SystemZFeature<57 "fast-serialization", "FastSerialization", (all_of FeatureFastSerialization),58 "Assume that the fast-serialization facility is installed"59>;60 61def FeatureFPExtension : SystemZFeature<62 "fp-extension", "FPExtension", (all_of FeatureFPExtension),63 "Assume that the floating-point extension facility is installed"64>;65 66def FeatureHighWord : SystemZFeature<67 "high-word", "HighWord", (all_of FeatureHighWord),68 "Assume that the high-word facility is installed"69>;70 71def FeatureInterlockedAccess1 : SystemZFeature<72 "interlocked-access1", "InterlockedAccess1", (all_of FeatureInterlockedAccess1),73 "Assume that interlocked-access facility 1 is installed"74>;75def FeatureNoInterlockedAccess1 : SystemZMissingFeature<"InterlockedAccess1">;76 77def FeatureLoadStoreOnCond : SystemZFeature<78 "load-store-on-cond", "LoadStoreOnCond", (all_of FeatureLoadStoreOnCond),79 "Assume that the load/store-on-condition facility is installed"80>;81def FeatureNoLoadStoreOnCond : SystemZMissingFeature<"LoadStoreOnCond">;82 83def FeaturePopulationCount : SystemZFeature<84 "population-count", "PopulationCount", (all_of FeaturePopulationCount),85 "Assume that the population-count facility is installed"86>;87 88def FeatureMessageSecurityAssist3 : SystemZFeature<89 "message-security-assist-extension3", "MessageSecurityAssist3", (all_of FeatureMessageSecurityAssist3),90 "Assume that the message-security-assist extension facility 3 is installed"91>;92 93def FeatureMessageSecurityAssist4 : SystemZFeature<94 "message-security-assist-extension4", "MessageSecurityAssist4", (all_of FeatureMessageSecurityAssist4),95 "Assume that the message-security-assist extension facility 4 is installed"96>;97 98def FeatureResetReferenceBitsMultiple : SystemZFeature<99 "reset-reference-bits-multiple", "ResetReferenceBitsMultiple", (all_of FeatureResetReferenceBitsMultiple),100 "Assume that the reset-reference-bits-multiple facility is installed"101>;102 103def Arch9NewFeatures : SystemZFeatureList<[104 FeatureDistinctOps,105 FeatureFastSerialization,106 FeatureFPExtension,107 FeatureHighWord,108 FeatureInterlockedAccess1,109 FeatureLoadStoreOnCond,110 FeaturePopulationCount,111 FeatureMessageSecurityAssist3,112 FeatureMessageSecurityAssist4,113 FeatureResetReferenceBitsMultiple114]>;115 116//===----------------------------------------------------------------------===//117//118// New features added in the Tenth Edition of the z/Architecture119//120//===----------------------------------------------------------------------===//121 122def FeatureExecutionHint : SystemZFeature<123 "execution-hint", "ExecutionHint", (all_of FeatureExecutionHint),124 "Assume that the execution-hint facility is installed"125>;126 127def FeatureLoadAndTrap : SystemZFeature<128 "load-and-trap", "LoadAndTrap", (all_of FeatureLoadAndTrap),129 "Assume that the load-and-trap facility is installed"130>;131 132def FeatureMiscellaneousExtensions : SystemZFeature<133 "miscellaneous-extensions", "MiscellaneousExtensions", (all_of FeatureMiscellaneousExtensions),134 "Assume that the miscellaneous-extensions facility is installed"135>;136 137def FeatureProcessorAssist : SystemZFeature<138 "processor-assist", "ProcessorAssist", (all_of FeatureProcessorAssist),139 "Assume that the processor-assist facility is installed"140>;141 142def FeatureTransactionalExecution : SystemZFeature<143 "transactional-execution", "TransactionalExecution", (all_of FeatureTransactionalExecution),144 "Assume that the transactional-execution facility is installed"145>;146 147def FeatureDFPZonedConversion : SystemZFeature<148 "dfp-zoned-conversion", "DFPZonedConversion", (all_of FeatureDFPZonedConversion),149 "Assume that the DFP zoned-conversion facility is installed"150>;151 152def FeatureEnhancedDAT2 : SystemZFeature<153 "enhanced-dat-2", "EnhancedDAT2", (all_of FeatureEnhancedDAT2),154 "Assume that the enhanced-DAT facility 2 is installed"155>;156 157def Arch10NewFeatures : SystemZFeatureList<[158 FeatureExecutionHint,159 FeatureLoadAndTrap,160 FeatureMiscellaneousExtensions,161 FeatureProcessorAssist,162 FeatureTransactionalExecution,163 FeatureDFPZonedConversion,164 FeatureEnhancedDAT2165]>;166 167//===----------------------------------------------------------------------===//168//169// New features added in the Eleventh Edition of the z/Architecture170//171//===----------------------------------------------------------------------===//172 173def FeatureLoadAndZeroRightmostByte : SystemZFeature<174 "load-and-zero-rightmost-byte", "LoadAndZeroRightmostByte", (all_of FeatureLoadAndZeroRightmostByte),175 "Assume that the load-and-zero-rightmost-byte facility is installed"176>;177 178def FeatureLoadStoreOnCond2 : SystemZFeature<179 "load-store-on-cond-2", "LoadStoreOnCond2", (all_of FeatureLoadStoreOnCond2),180 "Assume that the load/store-on-condition facility 2 is installed"181>;182 183def FeatureMessageSecurityAssist5 : SystemZFeature<184 "message-security-assist-extension5", "MessageSecurityAssist5", (all_of FeatureMessageSecurityAssist5),185 "Assume that the message-security-assist extension facility 5 is installed"186>;187 188def FeatureDFPPackedConversion : SystemZFeature<189 "dfp-packed-conversion", "DFPPackedConversion", (all_of FeatureDFPPackedConversion),190 "Assume that the DFP packed-conversion facility is installed"191>;192 193def FeatureVector : SystemZFeature<194 "vector", "Vector", (all_of FeatureVector),195 "Assume that the vectory facility is installed"196>;197def FeatureNoVector : SystemZMissingFeature<"Vector">;198 199def NoVecHwMode : HwMode<[FeatureNoVector]>;200 201def Arch11NewFeatures : SystemZFeatureList<[202 FeatureLoadAndZeroRightmostByte,203 FeatureLoadStoreOnCond2,204 FeatureMessageSecurityAssist5,205 FeatureDFPPackedConversion,206 FeatureVector207]>;208 209//===----------------------------------------------------------------------===//210//211// New features added in the Twelfth Edition of the z/Architecture212//213//===----------------------------------------------------------------------===//214 215def FeatureMiscellaneousExtensions2 : SystemZFeature<216 "miscellaneous-extensions-2", "MiscellaneousExtensions2", (all_of FeatureMiscellaneousExtensions2),217 "Assume that the miscellaneous-extensions facility 2 is installed"218>;219 220def FeatureGuardedStorage : SystemZFeature<221 "guarded-storage", "GuardedStorage", (all_of FeatureGuardedStorage),222 "Assume that the guarded-storage facility is installed"223>;224 225def FeatureMessageSecurityAssist7 : SystemZFeature<226 "message-security-assist-extension7", "MessageSecurityAssist7", (all_of FeatureMessageSecurityAssist7),227 "Assume that the message-security-assist extension facility 7 is installed"228>;229 230def FeatureMessageSecurityAssist8 : SystemZFeature<231 "message-security-assist-extension8", "MessageSecurityAssist8", (all_of FeatureMessageSecurityAssist8),232 "Assume that the message-security-assist extension facility 8 is installed"233>;234 235def FeatureVectorEnhancements1 : SystemZFeature<236 "vector-enhancements-1", "VectorEnhancements1", (all_of FeatureVectorEnhancements1),237 "Assume that the vector enhancements facility 1 is installed"238>;239def FeatureNoVectorEnhancements1 : SystemZMissingFeature<"VectorEnhancements1">;240 241def FeatureVectorPackedDecimal : SystemZFeature<242 "vector-packed-decimal", "VectorPackedDecimal", (all_of FeatureVectorPackedDecimal),243 "Assume that the vector packed decimal facility is installed"244>;245 246def FeatureInsertReferenceBitsMultiple : SystemZFeature<247 "insert-reference-bits-multiple", "InsertReferenceBitsMultiple", (all_of FeatureInsertReferenceBitsMultiple),248 "Assume that the insert-reference-bits-multiple facility is installed"249>;250 251def FeatureTestPendingExternalInterruption : SystemZFeature<252 "test-pending-external-interruption", "TestPendingExternalInterruption", (all_of FeatureTestPendingExternalInterruption),253 "Assume that the test-pending-external-interruption facility is installed"254>;255 256def Arch12NewFeatures : SystemZFeatureList<[257 FeatureMiscellaneousExtensions2,258 FeatureGuardedStorage,259 FeatureMessageSecurityAssist7,260 FeatureMessageSecurityAssist8,261 FeatureVectorEnhancements1,262 FeatureVectorPackedDecimal,263 FeatureInsertReferenceBitsMultiple,264 FeatureTestPendingExternalInterruption265]>;266 267//===----------------------------------------------------------------------===//268//269// New features added in the Thirteenth Edition of the z/Architecture270//271//===----------------------------------------------------------------------===//272 273def FeatureMiscellaneousExtensions3 : SystemZFeature<274 "miscellaneous-extensions-3", "MiscellaneousExtensions3", (all_of FeatureMiscellaneousExtensions3),275 "Assume that the miscellaneous-extensions facility 3 is installed"276>;277 278def FeatureMessageSecurityAssist9 : SystemZFeature<279 "message-security-assist-extension9", "MessageSecurityAssist9", (all_of FeatureMessageSecurityAssist9),280 "Assume that the message-security-assist extension facility 9 is installed"281>;282 283def FeatureVectorEnhancements2 : SystemZFeature<284 "vector-enhancements-2", "VectorEnhancements2", (all_of FeatureVectorEnhancements2),285 "Assume that the vector enhancements facility 2 is installed"286>;287 288def FeatureVectorPackedDecimalEnhancement : SystemZFeature<289 "vector-packed-decimal-enhancement", "VectorPackedDecimalEnhancement", (all_of FeatureVectorPackedDecimalEnhancement),290 "Assume that the vector packed decimal enhancement facility is installed"291>;292 293def FeatureEnhancedSort : SystemZFeature<294 "enhanced-sort", "EnhancedSort", (all_of FeatureEnhancedSort),295 "Assume that the enhanced-sort facility is installed"296>;297 298def FeatureDeflateConversion : SystemZFeature<299 "deflate-conversion", "DeflateConversion", (all_of FeatureDeflateConversion),300 "Assume that the deflate-conversion facility is installed"301>;302 303def Arch13NewFeatures : SystemZFeatureList<[304 FeatureMiscellaneousExtensions3,305 FeatureMessageSecurityAssist9,306 FeatureVectorEnhancements2,307 FeatureVectorPackedDecimalEnhancement,308 FeatureEnhancedSort,309 FeatureDeflateConversion310]>;311 312//===----------------------------------------------------------------------===//313//314// New features added in the Fourteenth Edition of the z/Architecture315//316//===----------------------------------------------------------------------===//317 318def FeatureVectorPackedDecimalEnhancement2 : SystemZFeature<319 "vector-packed-decimal-enhancement-2", "VectorPackedDecimalEnhancement2", (all_of FeatureVectorPackedDecimalEnhancement2),320 "Assume that the vector packed decimal enhancement facility 2 is installed"321>;322 323def FeatureNNPAssist : SystemZFeature<324 "nnp-assist", "NNPAssist", (all_of FeatureNNPAssist),325 "Assume that the NNP-assist facility is installed"326>;327 328def FeatureBEAREnhancement : SystemZFeature<329 "bear-enhancement", "BEAREnhancement", (all_of FeatureBEAREnhancement),330 "Assume that the BEAR-enhancement facility is installed"331>;332 333def FeatureResetDATProtection : SystemZFeature<334 "reset-dat-protection", "ResetDATProtection", (all_of FeatureResetDATProtection),335 "Assume that the reset-DAT-protection facility is installed"336>;337 338def FeatureProcessorActivityInstrumentation : SystemZFeature<339 "processor-activity-instrumentation", "ProcessorActivityInstrumentation", (all_of FeatureProcessorActivityInstrumentation),340 "Assume that the processor-activity-instrumentation facility is installed"341>;342 343def Arch14NewFeatures : SystemZFeatureList<[344 FeatureVectorPackedDecimalEnhancement2,345 FeatureNNPAssist,346 FeatureBEAREnhancement,347 FeatureResetDATProtection,348 FeatureProcessorActivityInstrumentation349]>;350 351//===----------------------------------------------------------------------===//352//353// New features added in the Fifteenth Edition of the z/Architecture354//355//===----------------------------------------------------------------------===//356 357def FeatureMiscellaneousExtensions4 : SystemZFeature<358 "miscellaneous-extensions-4", "MiscellaneousExtensions4", (all_of FeatureMiscellaneousExtensions4),359 "Assume that the miscellaneous-extensions facility 4 is installed"360>;361 362def FeatureVectorEnhancements3 : SystemZFeature<363 "vector-enhancements-3", "VectorEnhancements3", (all_of FeatureVectorEnhancements3),364 "Assume that the vector enhancements facility 3 is installed"365>;366 367def FeatureVectorPackedDecimalEnhancement3 : SystemZFeature<368 "vector-packed-decimal-enhancement-3", "VectorPackedDecimalEnhancement3", (all_of FeatureVectorPackedDecimalEnhancement3),369 "Assume that the vector packed decimal enhancement facility 3 is installed"370>;371 372def FeatureMessageSecurityAssist12 : SystemZFeature<373 "message-security-assist-extension12", "MessageSecurityAssist12", (all_of FeatureMessageSecurityAssist12),374 "Assume that the message-security-assist extension facility 12 is installed"375>;376 377def FeatureConcurrentFunctions : SystemZFeature<378 "concurrent-functions", "ConcurrentFunctions", (all_of FeatureConcurrentFunctions),379 "Assume that the concurrent-functions facility is installed"380>;381 382def Arch15NewFeatures : SystemZFeatureList<[383 FeatureMiscellaneousExtensions4,384 FeatureVectorEnhancements3,385 FeatureVectorPackedDecimalEnhancement3,386 FeatureMessageSecurityAssist12,387 FeatureConcurrentFunctions388]>;389 390//===----------------------------------------------------------------------===//391//392// Cumulative supported and unsupported feature sets393//394//===----------------------------------------------------------------------===//395 396def Arch8SupportedFeatures397 : SystemZFeatureList<[]>;398def Arch9SupportedFeatures399 : SystemZFeatureAdd<Arch8SupportedFeatures.List, Arch9NewFeatures.List>;400def Arch10SupportedFeatures401 : SystemZFeatureAdd<Arch9SupportedFeatures.List, Arch10NewFeatures.List>;402def Arch11SupportedFeatures403 : SystemZFeatureAdd<Arch10SupportedFeatures.List, Arch11NewFeatures.List>;404def Arch12SupportedFeatures405 : SystemZFeatureAdd<Arch11SupportedFeatures.List, Arch12NewFeatures.List>;406def Arch13SupportedFeatures407 : SystemZFeatureAdd<Arch12SupportedFeatures.List, Arch13NewFeatures.List>;408def Arch14SupportedFeatures409 : SystemZFeatureAdd<Arch13SupportedFeatures.List, Arch14NewFeatures.List>;410def Arch15SupportedFeatures411 : SystemZFeatureAdd<Arch14SupportedFeatures.List, Arch15NewFeatures.List>;412 413def Arch15UnsupportedFeatures414 : SystemZFeatureList<[]>;415def Arch14UnsupportedFeatures416 : SystemZFeatureAdd<Arch15UnsupportedFeatures.List, Arch15NewFeatures.List>;417def Arch13UnsupportedFeatures418 : SystemZFeatureAdd<Arch14UnsupportedFeatures.List, Arch14NewFeatures.List>;419def Arch12UnsupportedFeatures420 : SystemZFeatureAdd<Arch13UnsupportedFeatures.List, Arch13NewFeatures.List>;421def Arch11UnsupportedFeatures422 : SystemZFeatureAdd<Arch12UnsupportedFeatures.List, Arch12NewFeatures.List>;423def Arch10UnsupportedFeatures424 : SystemZFeatureAdd<Arch11UnsupportedFeatures.List, Arch11NewFeatures.List>;425def Arch9UnsupportedFeatures426 : SystemZFeatureAdd<Arch10UnsupportedFeatures.List, Arch10NewFeatures.List>;427def Arch8UnsupportedFeatures428 : SystemZFeatureAdd<Arch9UnsupportedFeatures.List, Arch9NewFeatures.List>;429