Home | History | Annotate | Download | only in SystemZ 
      1 //===-- SystemZ.td - SystemZ processors and features ---------*- tblgen -*-===//
      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 // Feature definitions.
     11 //
     12 //===----------------------------------------------------------------------===//
     13 
     14 class SystemZFeature<string extname, string intname, string desc>
     15   : Predicate<"Subtarget->has"##intname##"()">,
     16     AssemblerPredicate<"Feature"##intname, extname>,
     17     SubtargetFeature<extname, "Has"##intname, "true", desc>;
     18 
     19 class SystemZMissingFeature<string intname>
     20   : Predicate<"!Subtarget->has"##intname##"()">;
     21 
     22 class SystemZFeatureList<list<SystemZFeature> x> {
     23   list<SystemZFeature> List = x;
     24 }
     25 
     26 class SystemZFeatureAdd<list<SystemZFeature> x, list<SystemZFeature> y>
     27   : SystemZFeatureList<!listconcat(x, y)>;
     28 
     29 //===----------------------------------------------------------------------===//
     30 //
     31 // New features added in the Ninth Edition of the z/Architecture
     32 //
     33 //===----------------------------------------------------------------------===//
     34 
     35 def FeatureDistinctOps : SystemZFeature<
     36   "distinct-ops", "DistinctOps",
     37   "Assume that the distinct-operands facility is installed"
     38 >;
     39 
     40 def FeatureFastSerialization : SystemZFeature<
     41   "fast-serialization", "FastSerialization",
     42   "Assume that the fast-serialization facility is installed"
     43 >;
     44 
     45 def FeatureFPExtension : SystemZFeature<
     46   "fp-extension", "FPExtension",
     47   "Assume that the floating-point extension facility is installed"
     48 >;
     49 
     50 def FeatureHighWord : SystemZFeature<
     51   "high-word", "HighWord",
     52   "Assume that the high-word facility is installed"
     53 >;
     54 
     55 def FeatureInterlockedAccess1 : SystemZFeature<
     56   "interlocked-access1", "InterlockedAccess1",
     57   "Assume that interlocked-access facility 1 is installed"
     58 >;
     59 def FeatureNoInterlockedAccess1 : SystemZMissingFeature<"InterlockedAccess1">;
     60 
     61 def FeatureLoadStoreOnCond : SystemZFeature<
     62   "load-store-on-cond", "LoadStoreOnCond",
     63   "Assume that the load/store-on-condition facility is installed"
     64 >;
     65 def FeatureNoLoadStoreOnCond : SystemZMissingFeature<"LoadStoreOnCond">;
     66 
     67 def FeaturePopulationCount : SystemZFeature<
     68   "population-count", "PopulationCount",
     69   "Assume that the population-count facility is installed"
     70 >;
     71 
     72 def FeatureMessageSecurityAssist3 : SystemZFeature<
     73   "message-security-assist-extension3", "MessageSecurityAssist3",
     74   "Assume that the message-security-assist extension facility 3 is installed"
     75 >;
     76 
     77 def FeatureMessageSecurityAssist4 : SystemZFeature<
     78   "message-security-assist-extension4", "MessageSecurityAssist4",
     79   "Assume that the message-security-assist extension facility 4 is installed"
     80 >;
     81 
     82 def FeatureResetReferenceBitsMultiple : SystemZFeature<
     83   "reset-reference-bits-multiple", "ResetReferenceBitsMultiple",
     84   "Assume that the reset-reference-bits-multiple facility is installed"
     85 >;
     86 
     87 def Arch9NewFeatures : SystemZFeatureList<[
     88     FeatureDistinctOps,
     89     FeatureFastSerialization,
     90     FeatureFPExtension,
     91     FeatureHighWord,
     92     FeatureInterlockedAccess1,
     93     FeatureLoadStoreOnCond,
     94     FeaturePopulationCount,
     95     FeatureMessageSecurityAssist3,
     96     FeatureMessageSecurityAssist4,
     97     FeatureResetReferenceBitsMultiple
     98 ]>;
     99 
    100 //===----------------------------------------------------------------------===//
    101 //
    102 // New features added in the Tenth Edition of the z/Architecture
    103 //
    104 //===----------------------------------------------------------------------===//
    105 
    106 def FeatureExecutionHint : SystemZFeature<
    107   "execution-hint", "ExecutionHint",
    108   "Assume that the execution-hint facility is installed"
    109 >;
    110 
    111 def FeatureLoadAndTrap : SystemZFeature<
    112   "load-and-trap", "LoadAndTrap",
    113   "Assume that the load-and-trap facility is installed"
    114 >;
    115 
    116 def FeatureMiscellaneousExtensions : SystemZFeature<
    117   "miscellaneous-extensions", "MiscellaneousExtensions",
    118   "Assume that the miscellaneous-extensions facility is installed"
    119 >;
    120 
    121 def FeatureProcessorAssist : SystemZFeature<
    122   "processor-assist", "ProcessorAssist",
    123   "Assume that the processor-assist facility is installed"
    124 >;
    125 
    126 def FeatureTransactionalExecution : SystemZFeature<
    127   "transactional-execution", "TransactionalExecution",
    128   "Assume that the transactional-execution facility is installed"
    129 >;
    130 
    131 def FeatureDFPZonedConversion : SystemZFeature<
    132   "dfp-zoned-conversion", "DFPZonedConversion",
    133   "Assume that the DFP zoned-conversion facility is installed"
    134 >;
    135 
    136 def FeatureEnhancedDAT2 : SystemZFeature<
    137   "enhanced-dat-2", "EnhancedDAT2",
    138   "Assume that the enhanced-DAT facility 2 is installed"
    139 >;
    140 
    141 def Arch10NewFeatures : SystemZFeatureList<[
    142     FeatureExecutionHint,
    143     FeatureLoadAndTrap,
    144     FeatureMiscellaneousExtensions,
    145     FeatureProcessorAssist,
    146     FeatureTransactionalExecution,
    147     FeatureDFPZonedConversion,
    148     FeatureEnhancedDAT2
    149 ]>;
    150 
    151 //===----------------------------------------------------------------------===//
    152 //
    153 // New features added in the Eleventh Edition of the z/Architecture
    154 //
    155 //===----------------------------------------------------------------------===//
    156 
    157 def FeatureLoadAndZeroRightmostByte : SystemZFeature<
    158   "load-and-zero-rightmost-byte", "LoadAndZeroRightmostByte",
    159   "Assume that the load-and-zero-rightmost-byte facility is installed"
    160 >;
    161 
    162 def FeatureLoadStoreOnCond2 : SystemZFeature<
    163   "load-store-on-cond-2", "LoadStoreOnCond2",
    164   "Assume that the load/store-on-condition facility 2 is installed"
    165 >;
    166 
    167 def FeatureMessageSecurityAssist5 : SystemZFeature<
    168   "message-security-assist-extension5", "MessageSecurityAssist5",
    169   "Assume that the message-security-assist extension facility 5 is installed"
    170 >;
    171 
    172 def FeatureDFPPackedConversion : SystemZFeature<
    173   "dfp-packed-conversion", "DFPPackedConversion",
    174   "Assume that the DFP packed-conversion facility is installed"
    175 >;
    176 
    177 def FeatureVector : SystemZFeature<
    178   "vector", "Vector",
    179   "Assume that the vectory facility is installed"
    180 >;
    181 def FeatureNoVector : SystemZMissingFeature<"Vector">;
    182 
    183 def Arch11NewFeatures : SystemZFeatureList<[
    184     FeatureLoadAndZeroRightmostByte,
    185     FeatureLoadStoreOnCond2,
    186     FeatureMessageSecurityAssist5,
    187     FeatureDFPPackedConversion,
    188     FeatureVector
    189 ]>;
    190 
    191 //===----------------------------------------------------------------------===//
    192 //
    193 // New features added in the Twelvth Edition of the z/Architecture
    194 //
    195 //===----------------------------------------------------------------------===//
    196 
    197 def FeatureMiscellaneousExtensions2 : SystemZFeature<
    198   "miscellaneous-extensions-2", "MiscellaneousExtensions2",
    199   "Assume that the miscellaneous-extensions facility 2 is installed"
    200 >;
    201 
    202 def FeatureGuardedStorage : SystemZFeature<
    203   "guarded-storage", "GuardedStorage",
    204   "Assume that the guarded-storage facility is installed"
    205 >;
    206 
    207 def FeatureMessageSecurityAssist7 : SystemZFeature<
    208   "message-security-assist-extension7", "MessageSecurityAssist7",
    209   "Assume that the message-security-assist extension facility 7 is installed"
    210 >;
    211 
    212 def FeatureMessageSecurityAssist8 : SystemZFeature<
    213   "message-security-assist-extension8", "MessageSecurityAssist8",
    214   "Assume that the message-security-assist extension facility 8 is installed"
    215 >;
    216 
    217 def FeatureVectorEnhancements1 : SystemZFeature<
    218   "vector-enhancements-1", "VectorEnhancements1",
    219   "Assume that the vector enhancements facility 1 is installed"
    220 >;
    221 def FeatureNoVectorEnhancements1 : SystemZMissingFeature<"VectorEnhancements1">;
    222 
    223 def FeatureVectorPackedDecimal : SystemZFeature<
    224   "vector-packed-decimal", "VectorPackedDecimal",
    225   "Assume that the vector packed decimal facility is installed"
    226 >;
    227 
    228 def FeatureInsertReferenceBitsMultiple : SystemZFeature<
    229   "insert-reference-bits-multiple", "InsertReferenceBitsMultiple",
    230   "Assume that the insert-reference-bits-multiple facility is installed"
    231 >;
    232 
    233 def Arch12NewFeatures : SystemZFeatureList<[
    234     FeatureMiscellaneousExtensions2,
    235     FeatureGuardedStorage,
    236     FeatureMessageSecurityAssist7,
    237     FeatureMessageSecurityAssist8,
    238     FeatureVectorEnhancements1,
    239     FeatureVectorPackedDecimal,
    240     FeatureInsertReferenceBitsMultiple
    241 ]>;
    242 
    243 //===----------------------------------------------------------------------===//
    244 //
    245 // Cumulative supported and unsupported feature sets
    246 //
    247 //===----------------------------------------------------------------------===//
    248 
    249 def Arch8SupportedFeatures
    250   : SystemZFeatureList<[]>;
    251 def Arch9SupportedFeatures
    252   : SystemZFeatureAdd<Arch8SupportedFeatures.List,  Arch9NewFeatures.List>;
    253 def Arch10SupportedFeatures
    254   : SystemZFeatureAdd<Arch9SupportedFeatures.List,  Arch10NewFeatures.List>;
    255 def Arch11SupportedFeatures
    256   : SystemZFeatureAdd<Arch10SupportedFeatures.List, Arch11NewFeatures.List>;
    257 def Arch12SupportedFeatures
    258   : SystemZFeatureAdd<Arch11SupportedFeatures.List, Arch12NewFeatures.List>;
    259 
    260 def Arch12UnsupportedFeatures
    261   : SystemZFeatureList<[]>;
    262 def Arch11UnsupportedFeatures
    263   : SystemZFeatureAdd<Arch12UnsupportedFeatures.List, Arch12NewFeatures.List>;
    264 def Arch10UnsupportedFeatures
    265   : SystemZFeatureAdd<Arch11UnsupportedFeatures.List, Arch11NewFeatures.List>;
    266 def Arch9UnsupportedFeatures
    267   : SystemZFeatureAdd<Arch10UnsupportedFeatures.List, Arch10NewFeatures.List>;
    268 def Arch8UnsupportedFeatures
    269   : SystemZFeatureAdd<Arch9UnsupportedFeatures.List,  Arch9NewFeatures.List>;
    270 
    271