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