1 //=- SystemZScheduleZEC12.td - SystemZ Scheduling Definitions --*- tblgen -*-=//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines the machine model for ZEC12 to support instruction
11 // scheduling and other instruction cost heuristics.
13 //===----------------------------------------------------------------------===//
15 def ZEC12Model : SchedMachineModel {
17 let UnsupportedFeatures = Arch10UnsupportedFeatures.List;
20 let MicroOpBufferSize = 40; // Issue queues
21 let LoadLatency = 1; // Optimistic load latency.
23 let PostRAScheduler = 1;
25 // Extra cycles for a mispredicted branch.
26 let MispredictPenalty = 16;
29 let SchedModel = ZEC12Model in {
31 // These definitions could be put in a subtarget common include file,
32 // but it seems the include system in Tablegen currently rejects
33 // multiple includes of same file.
34 def : WriteRes<GroupAlone, []> {
39 def : WriteRes<EndGroup, []> {
43 def : WriteRes<Lat2, []> { let Latency = 2; let NumMicroOps = 0;}
44 def : WriteRes<Lat3, []> { let Latency = 3; let NumMicroOps = 0;}
45 def : WriteRes<Lat4, []> { let Latency = 4; let NumMicroOps = 0;}
46 def : WriteRes<Lat5, []> { let Latency = 5; let NumMicroOps = 0;}
47 def : WriteRes<Lat6, []> { let Latency = 6; let NumMicroOps = 0;}
48 def : WriteRes<Lat7, []> { let Latency = 7; let NumMicroOps = 0;}
49 def : WriteRes<Lat8, []> { let Latency = 8; let NumMicroOps = 0;}
50 def : WriteRes<Lat9, []> { let Latency = 9; let NumMicroOps = 0;}
51 def : WriteRes<Lat10, []> { let Latency = 10; let NumMicroOps = 0;}
52 def : WriteRes<Lat11, []> { let Latency = 11; let NumMicroOps = 0;}
53 def : WriteRes<Lat12, []> { let Latency = 12; let NumMicroOps = 0;}
54 def : WriteRes<Lat15, []> { let Latency = 15; let NumMicroOps = 0;}
55 def : WriteRes<Lat20, []> { let Latency = 20; let NumMicroOps = 0;}
56 def : WriteRes<Lat30, []> { let Latency = 30; let NumMicroOps = 0;}
59 def ZEC12_FXUnit : ProcResource<2>;
60 def ZEC12_LSUnit : ProcResource<2>;
61 def ZEC12_FPUnit : ProcResource<1>;
62 def ZEC12_DFUnit : ProcResource<1>;
63 def ZEC12_VBUnit : ProcResource<1>;
65 // Subtarget specific definitions of scheduling resources.
66 def : WriteRes<FXU, [ZEC12_FXUnit]> { let Latency = 1; }
67 def : WriteRes<LSU, [ZEC12_LSUnit]> { let Latency = 4; }
68 def : WriteRes<LSU_lat1, [ZEC12_LSUnit]> { let Latency = 1; }
69 def : WriteRes<FPU, [ZEC12_FPUnit]> { let Latency = 8; }
70 def : WriteRes<FPU2, [ZEC12_FPUnit, ZEC12_FPUnit]> { let Latency = 9; }
71 def : WriteRes<DFU, [ZEC12_DFUnit]> { let Latency = 2; }
72 def : WriteRes<DFU2, [ZEC12_DFUnit, ZEC12_DFUnit]> { let Latency = 3; }
73 def : WriteRes<VBU, [ZEC12_VBUnit]>; // Virtual Branching Unit
75 // -------------------------- INSTRUCTIONS ---------------------------------- //
77 // InstRW constructs have been used in order to preserve the
78 // readability of the InstrInfo files.
80 // For each instruction, as matched by a regexp, provide a list of
81 // resources that it needs. These will be combined into a SchedClass.
83 //===----------------------------------------------------------------------===//
85 //===----------------------------------------------------------------------===//
87 def : InstRW<[FXU], (instregex "ADJDYNALLOC$")>; // Pseudo -> LA / LAY
89 //===----------------------------------------------------------------------===//
90 // Branch instructions
91 //===----------------------------------------------------------------------===//
94 def : InstRW<[VBU], (instregex "(Call)?BRC(L)?(Asm.*)?$")>;
95 def : InstRW<[VBU], (instregex "(Call)?J(G)?(Asm.*)?$")>;
96 def : InstRW<[LSU, Lat4], (instregex "(Call)?BC(R)?(Asm.*)?$")>;
97 def : InstRW<[LSU, Lat4], (instregex "(Call)?B(R)?(Asm.*)?$")>;
98 def : InstRW<[FXU, EndGroup], (instregex "BRCT(G)?$")>;
99 def : InstRW<[FXU, LSU, Lat5, GroupAlone], (instregex "BRCTH$")>;
100 def : InstRW<[FXU, LSU, Lat5, GroupAlone], (instregex "BCT(G)?(R)?$")>;
101 def : InstRW<[FXU, FXU, FXU, LSU, Lat7, GroupAlone],
102 (instregex "B(R)?X(H|L).*$")>;
104 // Compare and branch
105 def : InstRW<[FXU], (instregex "C(L)?(G)?(I|R)J(Asm.*)?$")>;
106 def : InstRW<[FXU, LSU, Lat5, GroupAlone],
107 (instregex "C(L)?(G)?(I|R)B(Call|Return|Asm.*)?$")>;
109 //===----------------------------------------------------------------------===//
111 //===----------------------------------------------------------------------===//
114 def : InstRW<[VBU], (instregex "(Cond)?Trap$")>;
117 def : InstRW<[FXU], (instregex "C(G)?(I|R)T(Asm.*)?$")>;
118 def : InstRW<[FXU], (instregex "CL(G)?RT(Asm.*)?$")>;
119 def : InstRW<[FXU], (instregex "CL(F|G)IT(Asm.*)?$")>;
120 def : InstRW<[FXU, LSU, Lat5], (instregex "CL(G)?T(Asm.*)?$")>;
122 //===----------------------------------------------------------------------===//
123 // Call and return instructions
124 //===----------------------------------------------------------------------===//
127 def : InstRW<[VBU, FXU, FXU, Lat3, GroupAlone], (instregex "(Call)?BRAS$")>;
128 def : InstRW<[FXU, FXU, LSU, Lat6, GroupAlone], (instregex "(Call)?BRASL$")>;
129 def : InstRW<[FXU, FXU, LSU, Lat6, GroupAlone], (instregex "(Call)?BAS(R)?$")>;
130 def : InstRW<[FXU, FXU, LSU, Lat6, GroupAlone], (instregex "TLS_(G|L)DCALL$")>;
133 def : InstRW<[LSU_lat1, EndGroup], (instregex "Return$")>;
134 def : InstRW<[LSU_lat1], (instregex "CondReturn$")>;
136 //===----------------------------------------------------------------------===//
137 // Select instructions
138 //===----------------------------------------------------------------------===//
141 def : InstRW<[FXU], (instregex "Select(32|64|32Mux)$")>;
144 def : InstRW<[FXU], (instregex "CondStore16(Inv)?$")>;
145 def : InstRW<[FXU], (instregex "CondStore16Mux(Inv)?$")>;
146 def : InstRW<[FXU], (instregex "CondStore32(Inv)?$")>;
147 def : InstRW<[FXU], (instregex "CondStore64(Inv)?$")>;
148 def : InstRW<[FXU], (instregex "CondStore8(Inv)?$")>;
149 def : InstRW<[FXU], (instregex "CondStore8Mux(Inv)?$")>;
151 //===----------------------------------------------------------------------===//
153 //===----------------------------------------------------------------------===//
156 def : InstRW<[FXU, LSU, Lat5], (instregex "MV(G|H)?HI$")>;
157 def : InstRW<[FXU, LSU, Lat5], (instregex "MVI(Y)?$")>;
160 def : InstRW<[LSU, LSU, LSU, FXU, Lat8, GroupAlone], (instregex "MVC$")>;
161 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "MVCL(E|U)?$")>;
163 // Pseudo -> reg move
164 def : InstRW<[FXU], (instregex "COPY(_TO_REGCLASS)?$")>;
165 def : InstRW<[FXU], (instregex "EXTRACT_SUBREG$")>;
166 def : InstRW<[FXU], (instregex "INSERT_SUBREG$")>;
167 def : InstRW<[FXU], (instregex "REG_SEQUENCE$")>;
168 def : InstRW<[FXU], (instregex "SUBREG_TO_REG$")>;
171 def : InstRW<[LSU], (instregex "L(Y|FH|RL|Mux)?$")>;
172 def : InstRW<[LSU], (instregex "LG(RL)?$")>;
173 def : InstRW<[LSU], (instregex "L128$")>;
175 def : InstRW<[FXU], (instregex "LLIH(F|H|L)$")>;
176 def : InstRW<[FXU], (instregex "LLIL(F|H|L)$")>;
178 def : InstRW<[FXU], (instregex "LG(F|H)I$")>;
179 def : InstRW<[FXU], (instregex "LHI(Mux)?$")>;
180 def : InstRW<[FXU], (instregex "LR(Mux)?$")>;
183 def : InstRW<[FXU, LSU, Lat5], (instregex "L(FH|G)?AT$")>;
186 def : InstRW<[FXU, LSU, Lat5], (instregex "LT(G)?$")>;
187 def : InstRW<[FXU], (instregex "LT(G)?R$")>;
190 def : InstRW<[FXU, LSU, Lat5], (instregex "STG(RL)?$")>;
191 def : InstRW<[FXU, LSU, Lat5], (instregex "ST128$")>;
192 def : InstRW<[FXU, LSU, Lat5], (instregex "ST(Y|FH|RL|Mux)?$")>;
195 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "MVST$")>;
197 //===----------------------------------------------------------------------===//
198 // Conditional move instructions
199 //===----------------------------------------------------------------------===//
201 def : InstRW<[FXU, Lat2], (instregex "LOC(G)?R(Asm.*)?$")>;
202 def : InstRW<[FXU, LSU, Lat6], (instregex "LOC(G)?(Asm.*)?$")>;
203 def : InstRW<[FXU, LSU, Lat5], (instregex "STOC(G)?(Asm.*)?$")>;
205 //===----------------------------------------------------------------------===//
207 //===----------------------------------------------------------------------===//
209 def : InstRW<[FXU], (instregex "L(B|H|G)R$")>;
210 def : InstRW<[FXU], (instregex "LG(B|H|F)R$")>;
212 def : InstRW<[FXU, LSU, Lat5], (instregex "LTGF$")>;
213 def : InstRW<[FXU], (instregex "LTGFR$")>;
215 def : InstRW<[FXU, LSU, Lat5], (instregex "LB(H|Mux)?$")>;
216 def : InstRW<[FXU, LSU, Lat5], (instregex "LH(Y)?$")>;
217 def : InstRW<[FXU, LSU, Lat5], (instregex "LH(H|Mux|RL)$")>;
218 def : InstRW<[FXU, LSU, Lat5], (instregex "LG(B|H|F)$")>;
219 def : InstRW<[FXU, LSU, Lat5], (instregex "LG(H|F)RL$")>;
221 //===----------------------------------------------------------------------===//
223 //===----------------------------------------------------------------------===//
225 def : InstRW<[FXU], (instregex "LLCR(Mux)?$")>;
226 def : InstRW<[FXU], (instregex "LLHR(Mux)?$")>;
227 def : InstRW<[FXU], (instregex "LLG(C|H|F|T)R$")>;
228 def : InstRW<[LSU], (instregex "LLC(Mux)?$")>;
229 def : InstRW<[LSU], (instregex "LLH(Mux)?$")>;
230 def : InstRW<[FXU, LSU, Lat5], (instregex "LL(C|H)H$")>;
231 def : InstRW<[LSU], (instregex "LLHRL$")>;
232 def : InstRW<[LSU], (instregex "LLG(C|H|F|T|HRL|FRL)$")>;
235 def : InstRW<[FXU, LSU, Lat5], (instregex "LLG(F|T)?AT$")>;
237 //===----------------------------------------------------------------------===//
239 //===----------------------------------------------------------------------===//
241 def : InstRW<[FXU, LSU, Lat5], (instregex "STC(H|Y|Mux)?$")>;
242 def : InstRW<[FXU, LSU, Lat5], (instregex "STH(H|Y|RL|Mux)?$")>;
243 def : InstRW<[FXU, LSU, Lat5], (instregex "STCM(H|Y)?$")>;
245 //===----------------------------------------------------------------------===//
246 // Multi-register moves
247 //===----------------------------------------------------------------------===//
249 // Load multiple (estimated average of 5 ops)
250 def : InstRW<[LSU, LSU, LSU, LSU, LSU, Lat10, GroupAlone],
251 (instregex "LM(H|Y|G)?$")>;
253 // Load multiple disjoint
254 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "LMD$")>;
256 // Store multiple (estimated average of 3 ops)
257 def : InstRW<[LSU, LSU, FXU, FXU, FXU, Lat10, GroupAlone],
258 (instregex "STM(H|Y|G)?$")>;
260 //===----------------------------------------------------------------------===//
262 //===----------------------------------------------------------------------===//
264 def : InstRW<[FXU], (instregex "LRV(G)?R$")>;
265 def : InstRW<[FXU, LSU, Lat5], (instregex "LRV(G|H)?$")>;
266 def : InstRW<[FXU, LSU, Lat5], (instregex "STRV(G|H)?$")>;
267 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "MVCIN$")>;
269 //===----------------------------------------------------------------------===//
270 // Load address instructions
271 //===----------------------------------------------------------------------===//
273 def : InstRW<[FXU], (instregex "LA(Y|RL)?$")>;
275 // Load the Global Offset Table address
276 def : InstRW<[FXU], (instregex "GOT$")>;
278 //===----------------------------------------------------------------------===//
279 // Absolute and Negation
280 //===----------------------------------------------------------------------===//
282 def : InstRW<[FXU, Lat2], (instregex "LP(G)?R$")>;
283 def : InstRW<[FXU, FXU, Lat3, GroupAlone], (instregex "L(N|P)GFR$")>;
284 def : InstRW<[FXU, Lat2], (instregex "LN(R|GR)$")>;
285 def : InstRW<[FXU], (instregex "LC(R|GR)$")>;
286 def : InstRW<[FXU, FXU, Lat2, GroupAlone], (instregex "LCGFR$")>;
288 //===----------------------------------------------------------------------===//
290 //===----------------------------------------------------------------------===//
292 def : InstRW<[FXU, LSU, Lat5], (instregex "IC(Y)?$")>;
293 def : InstRW<[FXU, LSU, Lat5], (instregex "IC32(Y)?$")>;
294 def : InstRW<[FXU, LSU, Lat5], (instregex "ICM(H|Y)?$")>;
295 def : InstRW<[FXU], (instregex "II(F|H|L)Mux$")>;
296 def : InstRW<[FXU], (instregex "IIHF(64)?$")>;
297 def : InstRW<[FXU], (instregex "IIHH(64)?$")>;
298 def : InstRW<[FXU], (instregex "IIHL(64)?$")>;
299 def : InstRW<[FXU], (instregex "IILF(64)?$")>;
300 def : InstRW<[FXU], (instregex "IILH(64)?$")>;
301 def : InstRW<[FXU], (instregex "IILL(64)?$")>;
303 //===----------------------------------------------------------------------===//
305 //===----------------------------------------------------------------------===//
307 def : InstRW<[FXU, LSU, Lat5], (instregex "A(L)?(Y|SI)?$")>;
308 def : InstRW<[FXU, LSU, Lat6], (instregex "AH(Y)?$")>;
309 def : InstRW<[FXU], (instregex "AIH$")>;
310 def : InstRW<[FXU], (instregex "AFI(Mux)?$")>;
311 def : InstRW<[FXU], (instregex "AGFI$")>;
312 def : InstRW<[FXU], (instregex "AGHI(K)?$")>;
313 def : InstRW<[FXU], (instregex "AGR(K)?$")>;
314 def : InstRW<[FXU], (instregex "AHI(K)?$")>;
315 def : InstRW<[FXU], (instregex "AHIMux(K)?$")>;
316 def : InstRW<[FXU], (instregex "AL(FI|HSIK)$")>;
317 def : InstRW<[FXU, LSU, Lat5], (instregex "ALGF$")>;
318 def : InstRW<[FXU], (instregex "ALGHSIK$")>;
319 def : InstRW<[FXU], (instregex "ALGF(I|R)$")>;
320 def : InstRW<[FXU], (instregex "ALGR(K)?$")>;
321 def : InstRW<[FXU], (instregex "ALR(K)?$")>;
322 def : InstRW<[FXU], (instregex "AR(K)?$")>;
323 def : InstRW<[FXU], (instregex "A(L)?HHHR$")>;
324 def : InstRW<[FXU, Lat2], (instregex "A(L)?HHLR$")>;
325 def : InstRW<[FXU], (instregex "ALSIH(N)?$")>;
326 def : InstRW<[FXU, LSU, Lat5], (instregex "A(L)?G(SI)?$")>;
328 // Logical addition with carry
329 def : InstRW<[FXU, LSU, Lat7, GroupAlone], (instregex "ALC(G)?$")>;
330 def : InstRW<[FXU, Lat3, GroupAlone], (instregex "ALC(G)?R$")>;
332 // Add with sign extension (32 -> 64)
333 def : InstRW<[FXU, LSU, Lat6], (instregex "AGF$")>;
334 def : InstRW<[FXU, Lat2], (instregex "AGFR$")>;
336 //===----------------------------------------------------------------------===//
338 //===----------------------------------------------------------------------===//
340 def : InstRW<[FXU, LSU, Lat5], (instregex "S(G|Y)?$")>;
341 def : InstRW<[FXU, LSU, Lat6], (instregex "SH(Y)?$")>;
342 def : InstRW<[FXU], (instregex "SGR(K)?$")>;
343 def : InstRW<[FXU], (instregex "SLFI$")>;
344 def : InstRW<[FXU, LSU, Lat5], (instregex "SL(G|GF|Y)?$")>;
345 def : InstRW<[FXU], (instregex "SLGF(I|R)$")>;
346 def : InstRW<[FXU], (instregex "SLGR(K)?$")>;
347 def : InstRW<[FXU], (instregex "SLR(K)?$")>;
348 def : InstRW<[FXU], (instregex "SR(K)?$")>;
349 def : InstRW<[FXU], (instregex "S(L)?HHHR$")>;
350 def : InstRW<[FXU, Lat2], (instregex "S(L)?HHLR$")>;
352 // Subtraction with borrow
353 def : InstRW<[FXU, LSU, Lat7, GroupAlone], (instregex "SLB(G)?$")>;
354 def : InstRW<[FXU, Lat3, GroupAlone], (instregex "SLB(G)?R$")>;
356 // Subtraction with sign extension (32 -> 64)
357 def : InstRW<[FXU, LSU, Lat6], (instregex "SGF$")>;
358 def : InstRW<[FXU, Lat2], (instregex "SGFR$")>;
360 //===----------------------------------------------------------------------===//
362 //===----------------------------------------------------------------------===//
364 def : InstRW<[FXU, LSU, Lat5], (instregex "N(G|Y)?$")>;
365 def : InstRW<[FXU], (instregex "NGR(K)?$")>;
366 def : InstRW<[FXU], (instregex "NI(FMux|HMux|LMux)$")>;
367 def : InstRW<[FXU, LSU, Lat5], (instregex "NI(Y)?$")>;
368 def : InstRW<[FXU], (instregex "NIHF(64)?$")>;
369 def : InstRW<[FXU], (instregex "NIHH(64)?$")>;
370 def : InstRW<[FXU], (instregex "NIHL(64)?$")>;
371 def : InstRW<[FXU], (instregex "NILF(64)?$")>;
372 def : InstRW<[FXU], (instregex "NILH(64)?$")>;
373 def : InstRW<[FXU], (instregex "NILL(64)?$")>;
374 def : InstRW<[FXU], (instregex "NR(K)?$")>;
375 def : InstRW<[LSU, LSU, FXU, Lat9, GroupAlone], (instregex "NC$")>;
377 //===----------------------------------------------------------------------===//
379 //===----------------------------------------------------------------------===//
381 def : InstRW<[FXU, LSU, Lat5], (instregex "O(G|Y)?$")>;
382 def : InstRW<[FXU], (instregex "OGR(K)?$")>;
383 def : InstRW<[FXU, LSU, Lat5], (instregex "OI(Y)?$")>;
384 def : InstRW<[FXU], (instregex "OI(FMux|HMux|LMux)$")>;
385 def : InstRW<[FXU], (instregex "OIHF(64)?$")>;
386 def : InstRW<[FXU], (instregex "OIHH(64)?$")>;
387 def : InstRW<[FXU], (instregex "OIHL(64)?$")>;
388 def : InstRW<[FXU], (instregex "OILF(64)?$")>;
389 def : InstRW<[FXU], (instregex "OILH(64)?$")>;
390 def : InstRW<[FXU], (instregex "OILL(64)?$")>;
391 def : InstRW<[FXU], (instregex "OR(K)?$")>;
392 def : InstRW<[LSU, LSU, FXU, Lat9, GroupAlone], (instregex "OC$")>;
394 //===----------------------------------------------------------------------===//
396 //===----------------------------------------------------------------------===//
398 def : InstRW<[FXU, LSU, Lat5], (instregex "X(G|Y)?$")>;
399 def : InstRW<[FXU, LSU, Lat5], (instregex "XI(Y)?$")>;
400 def : InstRW<[FXU], (instregex "XIFMux$")>;
401 def : InstRW<[FXU], (instregex "XGR(K)?$")>;
402 def : InstRW<[FXU], (instregex "XIHF(64)?$")>;
403 def : InstRW<[FXU], (instregex "XILF(64)?$")>;
404 def : InstRW<[FXU], (instregex "XR(K)?$")>;
405 def : InstRW<[LSU, LSU, FXU, Lat9, GroupAlone], (instregex "XC$")>;
407 //===----------------------------------------------------------------------===//
409 //===----------------------------------------------------------------------===//
411 def : InstRW<[FXU, LSU, Lat10], (instregex "MS(GF|Y)?$")>;
412 def : InstRW<[FXU, Lat6], (instregex "MS(R|FI)$")>;
413 def : InstRW<[FXU, LSU, Lat12], (instregex "MSG$")>;
414 def : InstRW<[FXU, Lat8], (instregex "MSGR$")>;
415 def : InstRW<[FXU, Lat6], (instregex "MSGF(I|R)$")>;
416 def : InstRW<[FXU, FXU, LSU, Lat15, GroupAlone], (instregex "MLG$")>;
417 def : InstRW<[FXU, FXU, Lat9, GroupAlone], (instregex "MLGR$")>;
418 def : InstRW<[FXU, Lat5], (instregex "MGHI$")>;
419 def : InstRW<[FXU, Lat5], (instregex "MHI$")>;
420 def : InstRW<[FXU, LSU, Lat9], (instregex "MH(Y)?$")>;
421 def : InstRW<[FXU, FXU, Lat7, GroupAlone], (instregex "M(L)?R$")>;
422 def : InstRW<[FXU, FXU, LSU, Lat7, GroupAlone], (instregex "M(FY|L)?$")>;
424 //===----------------------------------------------------------------------===//
425 // Division and remainder
426 //===----------------------------------------------------------------------===//
428 def : InstRW<[FPU2, FPU2, FXU, FXU, FXU, FXU, FXU, Lat30, GroupAlone],
430 def : InstRW<[FPU2, FPU2, LSU, FXU, FXU, FXU, FXU, Lat30, GroupAlone],
432 def : InstRW<[FPU2, FPU2, FXU, FXU, FXU, FXU, Lat30, GroupAlone],
433 (instregex "DSG(F)?R$")>;
434 def : InstRW<[FPU2, FPU2, LSU, FXU, FXU, FXU, Lat30, GroupAlone],
435 (instregex "DSG(F)?$")>;
436 def : InstRW<[FPU2, FPU2, FXU, FXU, FXU, FXU, FXU, Lat30, GroupAlone],
437 (instregex "DL(G)?R$")>;
438 def : InstRW<[FPU2, FPU2, LSU, FXU, FXU, FXU, FXU, Lat30, GroupAlone],
439 (instregex "DL(G)?$")>;
441 //===----------------------------------------------------------------------===//
443 //===----------------------------------------------------------------------===//
445 def : InstRW<[FXU], (instregex "SLL(G|K)?$")>;
446 def : InstRW<[FXU], (instregex "SRL(G|K)?$")>;
447 def : InstRW<[FXU], (instregex "SRA(G|K)?$")>;
448 def : InstRW<[FXU], (instregex "SLA(G|K)?$")>;
449 def : InstRW<[FXU, FXU, FXU, FXU, LSU, Lat8, GroupAlone],
450 (instregex "S(L|R)D(A|L)$")>;
453 def : InstRW<[FXU, LSU, Lat6], (instregex "RLL(G)?$")>;
456 def : InstRW<[FXU], (instregex "RISBG(N|32)?$")>;
457 def : InstRW<[FXU], (instregex "RISBH(G|H|L)$")>;
458 def : InstRW<[FXU], (instregex "RISBL(G|H|L)$")>;
459 def : InstRW<[FXU], (instregex "RISBMux$")>;
462 def : InstRW<[FXU, FXU, Lat3, GroupAlone], (instregex "R(N|O|X)SBG$")>;
464 //===----------------------------------------------------------------------===//
466 //===----------------------------------------------------------------------===//
468 def : InstRW<[FXU, LSU, Lat5], (instregex "C(G|Y|Mux|RL)?$")>;
469 def : InstRW<[FXU], (instregex "C(F|H)I(Mux)?$")>;
470 def : InstRW<[FXU], (instregex "CG(F|H)I$")>;
471 def : InstRW<[FXU, LSU, Lat5], (instregex "CG(HSI|RL)$")>;
472 def : InstRW<[FXU], (instregex "C(G)?R$")>;
473 def : InstRW<[FXU], (instregex "CIH$")>;
474 def : InstRW<[FXU, LSU, Lat5], (instregex "CH(F|SI)$")>;
475 def : InstRW<[FXU, LSU, Lat5], (instregex "CL(Y|Mux|FHSI)?$")>;
476 def : InstRW<[FXU], (instregex "CLFI(Mux)?$")>;
477 def : InstRW<[FXU, LSU, Lat5], (instregex "CLG(HRL|HSI)?$")>;
478 def : InstRW<[FXU, LSU, Lat5], (instregex "CLGF(RL)?$")>;
479 def : InstRW<[FXU], (instregex "CLGF(I|R)$")>;
480 def : InstRW<[FXU], (instregex "CLGR$")>;
481 def : InstRW<[FXU, LSU, Lat5], (instregex "CLGRL$")>;
482 def : InstRW<[FXU, LSU, Lat5], (instregex "CLH(F|RL|HSI)$")>;
483 def : InstRW<[FXU], (instregex "CLIH$")>;
484 def : InstRW<[FXU, LSU, Lat5], (instregex "CLI(Y)?$")>;
485 def : InstRW<[FXU], (instregex "CLR$")>;
486 def : InstRW<[FXU, LSU, Lat5], (instregex "CLRL$")>;
487 def : InstRW<[FXU], (instregex "C(L)?HHR$")>;
488 def : InstRW<[FXU, Lat2], (instregex "C(L)?HLR$")>;
491 def : InstRW<[FXU, LSU, Lat6], (instregex "CH(Y|RL)?$")>;
492 def : InstRW<[FXU, LSU, Lat6], (instregex "CGH(RL)?$")>;
493 def : InstRW<[FXU, FXU, LSU, Lat6, GroupAlone], (instregex "CHHSI$")>;
495 // Compare with sign extension (32 -> 64)
496 def : InstRW<[FXU, LSU, Lat6], (instregex "CGF(RL)?$")>;
497 def : InstRW<[FXU, Lat2], (instregex "CGFR$")>;
499 // Compare logical character
500 def : InstRW<[FXU, LSU, LSU, Lat9, GroupAlone], (instregex "CLC$")>;
501 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "CLCL(E|U)?$")>;
502 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "CLST$")>;
505 def : InstRW<[FXU, LSU, Lat5], (instregex "TM(Y)?$")>;
506 def : InstRW<[FXU], (instregex "TM(H|L)Mux$")>;
507 def : InstRW<[FXU], (instregex "TMHH(64)?$")>;
508 def : InstRW<[FXU], (instregex "TMHL(64)?$")>;
509 def : InstRW<[FXU], (instregex "TMLH(64)?$")>;
510 def : InstRW<[FXU], (instregex "TMLL(64)?$")>;
512 // Compare logical characters under mask
513 def : InstRW<[FXU, LSU, Lat5], (instregex "CLM(H|Y)?$")>;
515 //===----------------------------------------------------------------------===//
516 // Prefetch and execution hint
517 //===----------------------------------------------------------------------===//
519 def : InstRW<[LSU], (instregex "PFD(RL)?$")>;
520 def : InstRW<[LSU], (instregex "BP(R)?P$")>;
521 def : InstRW<[FXU], (instregex "NIAI$")>;
523 //===----------------------------------------------------------------------===//
525 //===----------------------------------------------------------------------===//
527 def : InstRW<[LSU, EndGroup], (instregex "Serialize$")>;
529 def : InstRW<[FXU, LSU, Lat5], (instregex "LAA(G)?$")>;
530 def : InstRW<[FXU, LSU, Lat5], (instregex "LAAL(G)?$")>;
531 def : InstRW<[FXU, LSU, Lat5], (instregex "LAN(G)?$")>;
532 def : InstRW<[FXU, LSU, Lat5], (instregex "LAO(G)?$")>;
533 def : InstRW<[FXU, LSU, Lat5], (instregex "LAX(G)?$")>;
536 def : InstRW<[FXU, LSU, Lat5, EndGroup], (instregex "TS$")>;
539 def : InstRW<[FXU, FXU, LSU, Lat6, GroupAlone], (instregex "CS(G|Y)?$")>;
541 // Compare double and swap
542 def : InstRW<[FXU, FXU, FXU, FXU, FXU, LSU, Lat10, GroupAlone],
543 (instregex "CDS(Y)?$")>;
544 def : InstRW<[FXU, FXU, FXU, FXU, FXU, FXU, LSU, LSU, Lat12, GroupAlone],
545 (instregex "CDSG$")>;
547 // Compare and swap and store
548 def : InstRW<[FXU, LSU, Lat30], (instregex "CSST$")>;
550 // Perform locked operation
551 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "PLO$")>;
553 // Load/store pair from/to quadword
554 def : InstRW<[LSU, LSU, Lat5, GroupAlone], (instregex "LPQ$")>;
555 def : InstRW<[FXU, FXU, LSU, LSU, Lat6, GroupAlone], (instregex "STPQ$")>;
557 // Load pair disjoint
558 def : InstRW<[LSU, LSU, Lat5, GroupAlone], (instregex "LPD(G)?$")>;
560 //===----------------------------------------------------------------------===//
561 // Translate and convert
562 //===----------------------------------------------------------------------===//
564 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "TR$")>;
565 def : InstRW<[FXU, FXU, FXU, LSU, LSU, Lat30, GroupAlone], (instregex "TRT$")>;
566 def : InstRW<[FXU, LSU, Lat30], (instregex "TRTR$")>;
567 def : InstRW<[FXU, Lat30], (instregex "TR(TR)?(T)?(E|EOpt)?$")>;
568 def : InstRW<[LSU, Lat30], (instregex "TR(T|O)(T|O)(Opt)?$")>;
569 def : InstRW<[FXU, Lat30], (instregex "CU(12|14|21|24|41|42)(Opt)?$")>;
570 def : InstRW<[FXU, Lat30], (instregex "(CUUTF|CUTFU)(Opt)?$")>;
572 //===----------------------------------------------------------------------===//
573 // Message-security assist
574 //===----------------------------------------------------------------------===//
576 def : InstRW<[FXU, Lat30], (instregex "KM(C|F|O|CTR)?$")>;
577 def : InstRW<[FXU, Lat30], (instregex "(KIMD|KLMD|KMAC|PCC)$")>;
579 //===----------------------------------------------------------------------===//
580 // Decimal arithmetic
581 //===----------------------------------------------------------------------===//
583 def : InstRW<[FXU, DFU2, LSU, LSU, Lat30, GroupAlone], (instregex "CVBG$")>;
584 def : InstRW<[FXU, DFU, LSU, Lat30, GroupAlone], (instregex "CVB(Y)?$")>;
585 def : InstRW<[FXU, FXU, FXU, DFU2, DFU2, LSU, Lat30, GroupAlone],
586 (instregex "CVDG$")>;
587 def : InstRW<[FXU, FXU, DFU, LSU, Lat30, GroupAlone], (instregex "CVD(Y)?$")>;
588 def : InstRW<[LSU, Lat10, GroupAlone], (instregex "MVO$")>;
589 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "MV(N|Z)$")>;
590 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "(PACK|PKA|PKU)$")>;
591 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "UNPK$")>;
592 def : InstRW<[LSU, Lat12, GroupAlone], (instregex "UNPK(A|U)$")>;
594 def : InstRW<[FXU, DFU2, DFU2, LSU, LSU, Lat15, GroupAlone],
595 (instregex "(A|S|ZA)P$")>;
596 def : InstRW<[FXU, DFU2, DFU2, LSU, LSU, Lat30, GroupAlone],
597 (instregex "(M|D)P$")>;
598 def : InstRW<[FXU, FXU, DFU2, DFU2, LSU, LSU, LSU, Lat15, GroupAlone],
600 def : InstRW<[DFU2, DFU2, LSU, LSU, Lat11, GroupAlone], (instregex "CP$")>;
601 def : InstRW<[DFU2, LSU, LSU, Lat5, GroupAlone], (instregex "TP$")>;
602 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "ED(MK)?$")>;
604 //===----------------------------------------------------------------------===//
606 //===----------------------------------------------------------------------===//
608 // Extract/set/copy access register
609 def : InstRW<[LSU], (instregex "(EAR|SAR|CPYA)$")>;
611 // Load address extended
612 def : InstRW<[LSU, FXU, Lat5, GroupAlone], (instregex "LAE(Y)?$")>;
614 // Load/store access multiple (not modeled precisely)
615 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "(L|ST)AM(Y)?$")>;
617 //===----------------------------------------------------------------------===//
618 // Program mask and addressing mode
619 //===----------------------------------------------------------------------===//
621 // Insert Program Mask
622 def : InstRW<[FXU, Lat3, EndGroup], (instregex "IPM$")>;
625 def : InstRW<[LSU, EndGroup], (instregex "SPM$")>;
628 def : InstRW<[FXU, FXU, LSU, Lat8, GroupAlone], (instregex "BAL(R)?$")>;
630 // Test addressing mode
631 def : InstRW<[FXU], (instregex "TAM$")>;
633 // Set addressing mode
634 def : InstRW<[LSU, EndGroup], (instregex "SAM(24|31|64)$")>;
636 // Branch (and save) and set mode.
637 def : InstRW<[FXU, LSU, Lat5, GroupAlone], (instregex "BSM$")>;
638 def : InstRW<[FXU, FXU, LSU, Lat6, GroupAlone], (instregex "BASSM$")>;
640 //===----------------------------------------------------------------------===//
641 // Transactional execution
642 //===----------------------------------------------------------------------===//
645 def : InstRW<[LSU, LSU, FXU, FXU, FXU, FXU, FXU, Lat15, GroupAlone],
646 (instregex "TBEGIN(C|_nofloat)?$")>;
649 def : InstRW<[LSU, GroupAlone], (instregex "TEND$")>;
652 def : InstRW<[LSU, GroupAlone], (instregex "TABORT$")>;
654 // Extract Transaction Nesting Depth
655 def : InstRW<[FXU], (instregex "ETND$")>;
657 // Nontransactional store
658 def : InstRW<[FXU, LSU, Lat5], (instregex "NTSTG$")>;
660 //===----------------------------------------------------------------------===//
662 //===----------------------------------------------------------------------===//
664 def : InstRW<[FXU], (instregex "PPA$")>;
666 //===----------------------------------------------------------------------===//
667 // Miscellaneous Instructions.
668 //===----------------------------------------------------------------------===//
671 def : InstRW<[FXU, FXU, Lat7, GroupAlone], (instregex "FLOGR$")>;
674 def : InstRW<[FXU, Lat3], (instregex "POPCNT$")>;
677 def : InstRW<[FXU], (instregex "AEXT128$")>;
678 def : InstRW<[FXU], (instregex "ZEXT128$")>;
680 // String instructions
681 def : InstRW<[FXU, LSU, Lat30], (instregex "SRST$")>;
682 def : InstRW<[FXU, Lat30], (instregex "SRSTU$")>;
683 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "CUSE$")>;
685 // Various complex instructions
686 def : InstRW<[LSU, Lat30], (instregex "CFC$")>;
687 def : InstRW<[FXU, LSU, Lat30], (instregex "UPT$")>;
688 def : InstRW<[LSU, Lat30], (instregex "CKSM$")>;
689 def : InstRW<[FXU, Lat30], (instregex "CMPSC$")>;
692 def : InstRW<[LSU, GroupAlone], (instregex "EX(RL)?$")>;
694 //===----------------------------------------------------------------------===//
695 // .insn directive instructions
696 //===----------------------------------------------------------------------===//
698 // An "empty" sched-class will be assigned instead of the "invalid sched-class".
699 // getNumDecoderSlots() will then return 1 instead of 0.
700 def : InstRW<[], (instregex "Insn.*")>;
703 // ----------------------------- Floating point ----------------------------- //
705 //===----------------------------------------------------------------------===//
706 // FP: Select instructions
707 //===----------------------------------------------------------------------===//
709 def : InstRW<[FXU], (instregex "SelectF(32|64|128)$")>;
710 def : InstRW<[FXU], (instregex "CondStoreF32(Inv)?$")>;
711 def : InstRW<[FXU], (instregex "CondStoreF64(Inv)?$")>;
713 //===----------------------------------------------------------------------===//
714 // FP: Move instructions
715 //===----------------------------------------------------------------------===//
718 def : InstRW<[FXU], (instregex "LZ(DR|ER)$")>;
719 def : InstRW<[FXU, FXU, Lat2, GroupAlone], (instregex "LZXR$")>;
722 def : InstRW<[FXU], (instregex "LER$")>;
723 def : InstRW<[FXU], (instregex "LD(R|R32|GR)$")>;
724 def : InstRW<[FXU, Lat3], (instregex "LGDR$")>;
725 def : InstRW<[FXU, FXU, Lat2, GroupAlone], (instregex "LXR$")>;
728 def : InstRW<[FPU], (instregex "LT(D|E)BR$")>;
729 def : InstRW<[FPU], (instregex "LTEBRCompare(_VecPseudo)?$")>;
730 def : InstRW<[FPU], (instregex "LTDBRCompare(_VecPseudo)?$")>;
731 def : InstRW<[FPU2, FPU2, Lat9, GroupAlone], (instregex "LTXBR$")>;
732 def : InstRW<[FPU2, FPU2, Lat9, GroupAlone],
733 (instregex "LTXBRCompare(_VecPseudo)?$")>;
736 def : InstRW<[FXU, FXU, Lat5, GroupAlone], (instregex "CPSDRd(d|s)$")>;
737 def : InstRW<[FXU, FXU, Lat5, GroupAlone], (instregex "CPSDRs(d|s)$")>;
739 //===----------------------------------------------------------------------===//
740 // FP: Load instructions
741 //===----------------------------------------------------------------------===//
743 def : InstRW<[LSU], (instregex "LE(Y)?$")>;
744 def : InstRW<[LSU], (instregex "LD(Y|E32)?$")>;
745 def : InstRW<[LSU], (instregex "LX$")>;
747 //===----------------------------------------------------------------------===//
748 // FP: Store instructions
749 //===----------------------------------------------------------------------===//
751 def : InstRW<[FXU, LSU, Lat7], (instregex "STD(Y)?$")>;
752 def : InstRW<[FXU, LSU, Lat7], (instregex "STE(Y)?$")>;
753 def : InstRW<[FXU, LSU, Lat5], (instregex "STX$")>;
755 //===----------------------------------------------------------------------===//
756 // FP: Conversion instructions
757 //===----------------------------------------------------------------------===//
760 def : InstRW<[FPU], (instregex "LEDBR(A)?$")>;
761 def : InstRW<[FPU, FPU, Lat20], (instregex "LEXBR(A)?$")>;
762 def : InstRW<[FPU, FPU, Lat20], (instregex "LDXBR(A)?$")>;
765 def : InstRW<[FPU, LSU, Lat12], (instregex "LDEB$")>;
766 def : InstRW<[FPU], (instregex "LDEBR$")>;
767 def : InstRW<[FPU2, FPU2, LSU, Lat15, GroupAlone], (instregex "LX(D|E)B$")>;
768 def : InstRW<[FPU2, FPU2, Lat10, GroupAlone], (instregex "LX(D|E)BR$")>;
770 // Convert from fixed / logical
771 def : InstRW<[FXU, FPU, Lat9, GroupAlone], (instregex "CE(F|G)BR(A?)$")>;
772 def : InstRW<[FXU, FPU, Lat9, GroupAlone], (instregex "CD(F|G)BR(A?)$")>;
773 def : InstRW<[FXU, FPU2, FPU2, Lat11, GroupAlone], (instregex "CX(F|G)BR(A?)$")>;
774 def : InstRW<[FXU, FPU, Lat9, GroupAlone], (instregex "CEL(F|G)BR$")>;
775 def : InstRW<[FXU, FPU, Lat9, GroupAlone], (instregex "CDL(F|G)BR$")>;
776 def : InstRW<[FXU, FPU2, FPU2, Lat11, GroupAlone], (instregex "CXL(F|G)BR$")>;
778 // Convert to fixed / logical
779 def : InstRW<[FXU, FPU, Lat12, GroupAlone], (instregex "CF(E|D)BR(A?)$")>;
780 def : InstRW<[FXU, FPU, Lat12, GroupAlone], (instregex "CG(E|D)BR(A?)$")>;
781 def : InstRW<[FXU, FPU, FPU, Lat20, GroupAlone], (instregex "C(F|G)XBR(A?)$")>;
782 def : InstRW<[FXU, FPU, Lat11, GroupAlone], (instregex "CLF(E|D)BR$")>;
783 def : InstRW<[FXU, FPU, Lat11, GroupAlone], (instregex "CLG(E|D)BR$")>;
784 def : InstRW<[FXU, FPU, FPU, Lat20, GroupAlone], (instregex "CL(F|G)XBR$")>;
786 //===----------------------------------------------------------------------===//
787 // FP: Unary arithmetic
788 //===----------------------------------------------------------------------===//
790 // Load Complement / Negative / Positive
791 def : InstRW<[FPU], (instregex "L(C|N|P)DBR$")>;
792 def : InstRW<[FPU], (instregex "L(C|N|P)EBR$")>;
793 def : InstRW<[FXU], (instregex "LCDFR(_32)?$")>;
794 def : InstRW<[FXU], (instregex "LNDFR(_32)?$")>;
795 def : InstRW<[FXU], (instregex "LPDFR(_32)?$")>;
796 def : InstRW<[FPU2, FPU2, Lat9, GroupAlone], (instregex "L(C|N|P)XBR$")>;
799 def : InstRW<[FPU, LSU, Lat30], (instregex "SQ(E|D)B$")>;
800 def : InstRW<[FPU, Lat30], (instregex "SQ(E|D)BR$")>;
801 def : InstRW<[FPU2, FPU2, Lat30, GroupAlone], (instregex "SQXBR$")>;
804 def : InstRW<[FPU], (instregex "FIEBR(A)?$")>;
805 def : InstRW<[FPU], (instregex "FIDBR(A)?$")>;
806 def : InstRW<[FPU2, FPU2, Lat15, GroupAlone], (instregex "FIXBR(A)?$")>;
808 //===----------------------------------------------------------------------===//
809 // FP: Binary arithmetic
810 //===----------------------------------------------------------------------===//
813 def : InstRW<[FPU, LSU, Lat12], (instregex "A(E|D)B$")>;
814 def : InstRW<[FPU], (instregex "A(E|D)BR$")>;
815 def : InstRW<[FPU2, FPU2, Lat20, GroupAlone], (instregex "AXBR$")>;
818 def : InstRW<[FPU, LSU, Lat12], (instregex "S(E|D)B$")>;
819 def : InstRW<[FPU], (instregex "S(E|D)BR$")>;
820 def : InstRW<[FPU2, FPU2, Lat20, GroupAlone], (instregex "SXBR$")>;
823 def : InstRW<[FPU, LSU, Lat12], (instregex "M(D|DE|EE)B$")>;
824 def : InstRW<[FPU], (instregex "M(D|DE|EE)BR$")>;
825 def : InstRW<[FPU2, FPU2, LSU, Lat15, GroupAlone], (instregex "MXDB$")>;
826 def : InstRW<[FPU2, FPU2, Lat10, GroupAlone], (instregex "MXDBR$")>;
827 def : InstRW<[FPU2, FPU2, Lat30, GroupAlone], (instregex "MXBR$")>;
829 // Multiply and add / subtract
830 def : InstRW<[FPU, FPU, LSU, Lat12, GroupAlone], (instregex "M(A|S)EB$")>;
831 def : InstRW<[FPU, GroupAlone], (instregex "M(A|S)EBR$")>;
832 def : InstRW<[FPU, FPU, LSU, Lat12, GroupAlone], (instregex "M(A|S)DB$")>;
833 def : InstRW<[FPU, GroupAlone], (instregex "M(A|S)DBR$")>;
836 def : InstRW<[FPU, LSU, Lat30], (instregex "D(E|D)B$")>;
837 def : InstRW<[FPU, Lat30], (instregex "D(E|D)BR$")>;
838 def : InstRW<[FPU2, FPU2, Lat30, GroupAlone], (instregex "DXBR$")>;
841 def : InstRW<[FPU, Lat30], (instregex "DI(E|D)BR$")>;
843 //===----------------------------------------------------------------------===//
845 //===----------------------------------------------------------------------===//
848 def : InstRW<[FPU, LSU, Lat12], (instregex "(K|C)(E|D)B$")>;
849 def : InstRW<[FPU], (instregex "(K|C)(E|D)BR$")>;
850 def : InstRW<[FPU, FPU, Lat30], (instregex "(K|C)XBR$")>;
853 def : InstRW<[FPU, LSU, Lat15], (instregex "TC(E|D)B$")>;
854 def : InstRW<[FPU2, FPU2, LSU, Lat15, GroupAlone], (instregex "TCXB$")>;
856 //===----------------------------------------------------------------------===//
857 // FP: Floating-point control register instructions
858 //===----------------------------------------------------------------------===//
860 def : InstRW<[FXU, LSU, Lat4, GroupAlone], (instregex "EFPC$")>;
861 def : InstRW<[LSU, Lat3, GroupAlone], (instregex "SFPC$")>;
862 def : InstRW<[LSU, LSU, Lat6, GroupAlone], (instregex "LFPC$")>;
863 def : InstRW<[FXU, LSU, Lat3, GroupAlone], (instregex "STFPC$")>;
864 def : InstRW<[FXU, Lat30], (instregex "SFASR$")>;
865 def : InstRW<[FXU, LSU, Lat30], (instregex "LFAS$")>;
866 def : InstRW<[FXU, GroupAlone], (instregex "SRNM(B|T)?$")>;
869 // --------------------- Hexadecimal floating point ------------------------- //
871 //===----------------------------------------------------------------------===//
872 // HFP: Move instructions
873 //===----------------------------------------------------------------------===//
876 def : InstRW<[FPU], (instregex "LT(D|E)R$")>;
877 def : InstRW<[FPU2, FPU2, Lat9, GroupAlone], (instregex "LTXR$")>;
879 //===----------------------------------------------------------------------===//
880 // HFP: Conversion instructions
881 //===----------------------------------------------------------------------===//
884 def : InstRW<[FPU], (instregex "(LEDR|LRER)$")>;
885 def : InstRW<[FPU], (instregex "LEXR$")>;
886 def : InstRW<[FPU], (instregex "(LDXR|LRDR)$")>;
889 def : InstRW<[LSU], (instregex "LDE$")>;
890 def : InstRW<[FXU], (instregex "LDER$")>;
891 def : InstRW<[FPU2, FPU2, LSU, Lat15, GroupAlone], (instregex "LX(D|E)$")>;
892 def : InstRW<[FPU2, FPU2, Lat10, GroupAlone], (instregex "LX(D|E)R$")>;
894 // Convert from fixed
895 def : InstRW<[FXU, FPU, Lat9, GroupAlone], (instregex "CE(F|G)R$")>;
896 def : InstRW<[FXU, FPU, Lat9, GroupAlone], (instregex "CD(F|G)R$")>;
897 def : InstRW<[FXU, FPU2, FPU2, Lat11, GroupAlone], (instregex "CX(F|G)R$")>;
900 def : InstRW<[FXU, FPU, Lat12, GroupAlone], (instregex "CF(E|D)R$")>;
901 def : InstRW<[FXU, FPU, Lat12, GroupAlone], (instregex "CG(E|D)R$")>;
902 def : InstRW<[FXU, FPU, FPU, Lat20, GroupAlone], (instregex "C(F|G)XR$")>;
904 // Convert BFP to HFP / HFP to BFP.
905 def : InstRW<[FPU], (instregex "THD(E)?R$")>;
906 def : InstRW<[FPU], (instregex "TB(E)?DR$")>;
908 //===----------------------------------------------------------------------===//
909 // HFP: Unary arithmetic
910 //===----------------------------------------------------------------------===//
912 // Load Complement / Negative / Positive
913 def : InstRW<[FPU], (instregex "L(C|N|P)DR$")>;
914 def : InstRW<[FPU], (instregex "L(C|N|P)ER$")>;
915 def : InstRW<[FPU2, FPU2, Lat9, GroupAlone], (instregex "L(C|N|P)XR$")>;
918 def : InstRW<[FPU], (instregex "H(E|D)R$")>;
921 def : InstRW<[FPU, LSU, Lat30], (instregex "SQ(E|D)$")>;
922 def : InstRW<[FPU, Lat30], (instregex "SQ(E|D)R$")>;
923 def : InstRW<[FPU2, FPU2, Lat30, GroupAlone], (instregex "SQXR$")>;
926 def : InstRW<[FPU], (instregex "FIER$")>;
927 def : InstRW<[FPU], (instregex "FIDR$")>;
928 def : InstRW<[FPU2, FPU2, Lat15, GroupAlone], (instregex "FIXR$")>;
930 //===----------------------------------------------------------------------===//
931 // HFP: Binary arithmetic
932 //===----------------------------------------------------------------------===//
935 def : InstRW<[FPU, LSU, Lat12], (instregex "A(E|D|U|W)$")>;
936 def : InstRW<[FPU], (instregex "A(E|D|U|W)R$")>;
937 def : InstRW<[FPU2, FPU2, Lat20, GroupAlone], (instregex "AXR$")>;
940 def : InstRW<[FPU, LSU, Lat12], (instregex "S(E|D|U|W)$")>;
941 def : InstRW<[FPU], (instregex "S(E|D|U|W)R$")>;
942 def : InstRW<[FPU2, FPU2, Lat20, GroupAlone], (instregex "SXR$")>;
945 def : InstRW<[FPU, LSU, Lat12], (instregex "M(D|DE|E|EE)$")>;
946 def : InstRW<[FPU], (instregex "M(D|DE|E|EE)R$")>;
947 def : InstRW<[FPU2, FPU2, LSU, Lat15, GroupAlone], (instregex "MXD$")>;
948 def : InstRW<[FPU2, FPU2, Lat10, GroupAlone], (instregex "MXDR$")>;
949 def : InstRW<[FPU2, FPU2, Lat30, GroupAlone], (instregex "MXR$")>;
950 def : InstRW<[FPU2, FPU2, LSU, Lat15, GroupAlone], (instregex "MY$")>;
951 def : InstRW<[FPU, FPU, LSU, Lat15, GroupAlone], (instregex "MY(H|L)$")>;
952 def : InstRW<[FPU2, FPU2, Lat10, GroupAlone], (instregex "MYR$")>;
953 def : InstRW<[FPU, Lat10, GroupAlone], (instregex "MY(H|L)R$")>;
955 // Multiply and add / subtract
956 def : InstRW<[FPU, FPU, LSU, Lat12, GroupAlone], (instregex "M(A|S)E$")>;
957 def : InstRW<[FPU, GroupAlone], (instregex "M(A|S)ER$")>;
958 def : InstRW<[FPU, FPU, LSU, Lat12, GroupAlone], (instregex "M(A|S)D$")>;
959 def : InstRW<[FPU, GroupAlone], (instregex "M(A|S)DR$")>;
960 def : InstRW<[FPU2, FPU2, LSU, GroupAlone], (instregex "MAY$")>;
961 def : InstRW<[FPU2, FPU2, GroupAlone], (instregex "MAYR$")>;
962 def : InstRW<[FPU, FPU, LSU, Lat12, GroupAlone], (instregex "MAY(H|L)$")>;
963 def : InstRW<[FPU, GroupAlone], (instregex "MAY(H|L)R$")>;
966 def : InstRW<[FPU, LSU, Lat30], (instregex "D(E|D)$")>;
967 def : InstRW<[FPU, Lat30], (instregex "D(E|D)R$")>;
968 def : InstRW<[FPU2, FPU2, Lat30, GroupAlone], (instregex "DXR$")>;
970 //===----------------------------------------------------------------------===//
972 //===----------------------------------------------------------------------===//
975 def : InstRW<[FPU, LSU, Lat12], (instregex "C(E|D)$")>;
976 def : InstRW<[FPU], (instregex "C(E|D)R$")>;
977 def : InstRW<[FPU, FPU, Lat15], (instregex "CXR$")>;
980 // ------------------------ Decimal floating point -------------------------- //
982 //===----------------------------------------------------------------------===//
983 // DFP: Move instructions
984 //===----------------------------------------------------------------------===//
987 def : InstRW<[DFU, Lat20], (instregex "LTDTR$")>;
988 def : InstRW<[DFU2, DFU2, Lat20, GroupAlone], (instregex "LTXTR$")>;
990 //===----------------------------------------------------------------------===//
991 // DFP: Conversion instructions
992 //===----------------------------------------------------------------------===//
995 def : InstRW<[DFU, Lat30], (instregex "LEDTR$")>;
996 def : InstRW<[DFU, DFU, Lat30], (instregex "LDXTR$")>;
999 def : InstRW<[DFU, Lat20], (instregex "LDETR$")>;
1000 def : InstRW<[DFU2, DFU2, Lat20, GroupAlone], (instregex "LXDTR$")>;
1002 // Convert from fixed / logical
1003 def : InstRW<[FXU, DFU, Lat9, GroupAlone], (instregex "CDFTR$")>;
1004 def : InstRW<[FXU, DFU, Lat30, GroupAlone], (instregex "CDGTR(A)?$")>;
1005 def : InstRW<[FXU, DFU2, DFU2, GroupAlone], (instregex "CXFTR$")>;
1006 def : InstRW<[FXU, DFU2, DFU2, Lat30, GroupAlone], (instregex "CXGTR(A)?$")>;
1007 def : InstRW<[FXU, DFU, Lat11, GroupAlone], (instregex "CDL(F|G)TR$")>;
1008 def : InstRW<[FXU, DFU2, DFU2, Lat11, GroupAlone], (instregex "CXLFTR$")>;
1009 def : InstRW<[FXU, DFU2, DFU2, Lat6, GroupAlone], (instregex "CXLGTR$")>;
1011 // Convert to fixed / logical
1012 def : InstRW<[FXU, DFU, Lat11, GroupAlone], (instregex "CFDTR(A)?$")>;
1013 def : InstRW<[FXU, DFU, Lat30, GroupAlone], (instregex "CGDTR(A)?$")>;
1014 def : InstRW<[FXU, DFU, DFU, Lat11, GroupAlone], (instregex "CFXTR$")>;
1015 def : InstRW<[FXU, DFU, DFU, Lat30, GroupAlone], (instregex "CGXTR(A)?$")>;
1016 def : InstRW<[FXU, DFU, Lat11, GroupAlone], (instregex "CL(F|G)DTR$")>;
1017 def : InstRW<[FXU, DFU, DFU, Lat11, GroupAlone], (instregex "CL(F|G)XTR$")>;
1019 // Convert from / to signed / unsigned packed
1020 def : InstRW<[FXU, DFU, Lat12, GroupAlone], (instregex "CD(S|U)TR$")>;
1021 def : InstRW<[FXU, FXU, DFU2, DFU2, Lat20, GroupAlone], (instregex "CX(S|U)TR$")>;
1022 def : InstRW<[FXU, DFU, Lat12, GroupAlone], (instregex "C(S|U)DTR$")>;
1023 def : InstRW<[FXU, FXU, DFU2, DFU2, Lat20, GroupAlone], (instregex "C(S|U)XTR$")>;
1025 // Convert from / to zoned
1026 def : InstRW<[LSU, DFU2, Lat7, GroupAlone], (instregex "CDZT$")>;
1027 def : InstRW<[LSU, LSU, DFU2, DFU2, Lat10, GroupAlone], (instregex "CXZT$")>;
1028 def : InstRW<[FXU, LSU, DFU, DFU, Lat11, GroupAlone], (instregex "CZDT$")>;
1029 def : InstRW<[FXU, LSU, DFU, DFU, Lat15, GroupAlone], (instregex "CZXT$")>;
1031 // Perform floating-point operation
1032 def : InstRW<[FXU, Lat30], (instregex "PFPO$")>;
1034 //===----------------------------------------------------------------------===//
1035 // DFP: Unary arithmetic
1036 //===----------------------------------------------------------------------===//
1039 def : InstRW<[DFU, Lat20], (instregex "FIDTR$")>;
1040 def : InstRW<[DFU2, DFU2, Lat20, GroupAlone], (instregex "FIXTR$")>;
1042 // Extract biased exponent
1043 def : InstRW<[FXU, DFU, Lat15, GroupAlone], (instregex "EEDTR$")>;
1044 def : InstRW<[FXU, DFU2, Lat15, GroupAlone], (instregex "EEXTR$")>;
1046 // Extract significance
1047 def : InstRW<[FXU, DFU, Lat15, GroupAlone], (instregex "ESDTR$")>;
1048 def : InstRW<[FXU, DFU, DFU, Lat20, GroupAlone], (instregex "ESXTR$")>;
1050 //===----------------------------------------------------------------------===//
1051 // DFP: Binary arithmetic
1052 //===----------------------------------------------------------------------===//
1055 def : InstRW<[DFU, Lat30], (instregex "ADTR(A)?$")>;
1056 def : InstRW<[DFU2, DFU2, Lat30, GroupAlone], (instregex "AXTR(A)?$")>;
1059 def : InstRW<[DFU, Lat30], (instregex "SDTR(A)?$")>;
1060 def : InstRW<[DFU2, DFU2, Lat30, GroupAlone], (instregex "SXTR(A)?$")>;
1063 def : InstRW<[DFU, Lat30], (instregex "MDTR(A)?$")>;
1064 def : InstRW<[DFU2, DFU2, Lat30, GroupAlone], (instregex "MXTR(A)?$")>;
1067 def : InstRW<[DFU, Lat30], (instregex "DDTR(A)?$")>;
1068 def : InstRW<[DFU2, DFU2, Lat30, GroupAlone], (instregex "DXTR(A)?$")>;
1071 def : InstRW<[DFU, Lat30], (instregex "QADTR$")>;
1072 def : InstRW<[DFU2, DFU2, Lat30, GroupAlone], (instregex "QAXTR$")>;
1075 def : InstRW<[FXU, DFU, Lat30, GroupAlone], (instregex "RRDTR$")>;
1076 def : InstRW<[FXU, DFU2, DFU2, Lat30, GroupAlone], (instregex "RRXTR$")>;
1078 // Shift significand left/right
1079 def : InstRW<[LSU, DFU, Lat11, GroupAlone], (instregex "S(L|R)DT$")>;
1080 def : InstRW<[LSU, DFU2, DFU2, Lat15, GroupAlone], (instregex "S(L|R)XT$")>;
1082 // Insert biased exponent
1083 def : InstRW<[FXU, DFU, Lat11, GroupAlone], (instregex "IEDTR$")>;
1084 def : InstRW<[FXU, DFU2, DFU2, Lat15, GroupAlone], (instregex "IEXTR$")>;
1086 //===----------------------------------------------------------------------===//
1088 //===----------------------------------------------------------------------===//
1091 def : InstRW<[DFU, Lat11], (instregex "(K|C)DTR$")>;
1092 def : InstRW<[DFU, DFU, Lat15], (instregex "(K|C)XTR$")>;
1094 // Compare biased exponent
1095 def : InstRW<[DFU, Lat8], (instregex "CEDTR$")>;
1096 def : InstRW<[DFU, DFU, Lat9], (instregex "CEXTR$")>;
1098 // Test Data Class/Group
1099 def : InstRW<[LSU, DFU, Lat15], (instregex "TD(C|G)(E|D)T$")>;
1100 def : InstRW<[LSU, DFU2, Lat15], (instregex "TD(C|G)XT$")>;
1103 // -------------------------------- System ---------------------------------- //
1105 //===----------------------------------------------------------------------===//
1106 // System: Program-Status Word Instructions
1107 //===----------------------------------------------------------------------===//
1109 def : InstRW<[FXU, Lat30], (instregex "EPSW$")>;
1110 def : InstRW<[FXU, LSU, Lat30], (instregex "LPSW(E)?$")>;
1111 def : InstRW<[FXU, Lat3, GroupAlone], (instregex "IPK$")>;
1112 def : InstRW<[LSU, EndGroup], (instregex "SPKA$")>;
1113 def : InstRW<[LSU, EndGroup], (instregex "SSM$")>;
1114 def : InstRW<[FXU, LSU, GroupAlone], (instregex "ST(N|O)SM$")>;
1115 def : InstRW<[FXU, Lat3], (instregex "IAC$")>;
1116 def : InstRW<[LSU, EndGroup], (instregex "SAC(F)?$")>;
1118 //===----------------------------------------------------------------------===//
1119 // System: Control Register Instructions
1120 //===----------------------------------------------------------------------===//
1122 def : InstRW<[FXU, LSU, Lat30], (instregex "LCTL(G)?$")>;
1123 def : InstRW<[FXU, LSU, LSU, LSU, LSU, Lat30, GroupAlone],
1124 (instregex "STCT(L|G)$")>;
1125 def : InstRW<[LSU], (instregex "E(P|S)A(I)?R$")>;
1126 def : InstRW<[FXU, Lat30], (instregex "SSA(I)?R$")>;
1127 def : InstRW<[FXU, Lat30], (instregex "ESEA$")>;
1129 //===----------------------------------------------------------------------===//
1130 // System: Prefix-Register Instructions
1131 //===----------------------------------------------------------------------===//
1133 def : InstRW<[FXU, LSU, Lat30], (instregex "SPX$")>;
1134 def : InstRW<[FXU, LSU, Lat30], (instregex "STPX$")>;
1136 //===----------------------------------------------------------------------===//
1137 // System: Storage-Key and Real Memory Instructions
1138 //===----------------------------------------------------------------------===//
1140 def : InstRW<[FXU, Lat30], (instregex "ISKE$")>;
1141 def : InstRW<[FXU, Lat30], (instregex "IVSK$")>;
1142 def : InstRW<[FXU, Lat30], (instregex "SSKE(Opt)?$")>;
1143 def : InstRW<[FXU, Lat30], (instregex "RRB(E|M)$")>;
1144 def : InstRW<[FXU, Lat30], (instregex "PFMF$")>;
1145 def : InstRW<[FXU, Lat30], (instregex "TB$")>;
1146 def : InstRW<[FXU, LSU, Lat30], (instregex "PGIN$")>;
1147 def : InstRW<[FXU, LSU, Lat30], (instregex "PGOUT$")>;
1149 //===----------------------------------------------------------------------===//
1150 // System: Dynamic-Address-Translation Instructions
1151 //===----------------------------------------------------------------------===//
1153 def : InstRW<[FXU, LSU, Lat30], (instregex "IPTE(Opt)?(Opt)?$")>;
1154 def : InstRW<[FXU, Lat30], (instregex "IDTE(Opt)?$")>;
1155 def : InstRW<[FXU, Lat30], (instregex "CRDTE(Opt)?$")>;
1156 def : InstRW<[FXU, Lat30], (instregex "PTLB$")>;
1157 def : InstRW<[FXU, LSU, Lat30], (instregex "CSP(G)?$")>;
1158 def : InstRW<[FXU, LSU, Lat30], (instregex "LPTEA$")>;
1159 def : InstRW<[FXU, LSU, Lat30], (instregex "LRA(Y|G)?$")>;
1160 def : InstRW<[FXU, LSU, Lat30], (instregex "STRAG$")>;
1161 def : InstRW<[FXU, LSU, Lat30], (instregex "LURA(G)?$")>;
1162 def : InstRW<[FXU, LSU, Lat30], (instregex "STUR(A|G)$")>;
1163 def : InstRW<[FXU, LSU, Lat30], (instregex "TPROT$")>;
1165 //===----------------------------------------------------------------------===//
1166 // System: Memory-move Instructions
1167 //===----------------------------------------------------------------------===//
1169 def : InstRW<[LSU, Lat8, GroupAlone], (instregex "MVC(K|P|S)$")>;
1170 def : InstRW<[LSU, Lat6, Lat30, GroupAlone], (instregex "MVCSK$")>;
1171 def : InstRW<[LSU, Lat6, GroupAlone], (instregex "MVCDK$")>;
1172 def : InstRW<[FXU, LSU, Lat30], (instregex "MVCOS$")>;
1173 def : InstRW<[LSU, Lat30, GroupAlone], (instregex "MVPG$")>;
1175 //===----------------------------------------------------------------------===//
1176 // System: Address-Space Instructions
1177 //===----------------------------------------------------------------------===//
1179 def : InstRW<[FXU, LSU, Lat30], (instregex "LASP$")>;
1180 def : InstRW<[LSU, GroupAlone], (instregex "PALB$")>;
1181 def : InstRW<[FXU, LSU, Lat30], (instregex "PC$")>;
1182 def : InstRW<[FXU, Lat30], (instregex "PR$")>;
1183 def : InstRW<[FXU, Lat30], (instregex "PT(I)?$")>;
1184 def : InstRW<[FXU, LSU, Lat30], (instregex "RP$")>;
1185 def : InstRW<[FXU, Lat30], (instregex "BS(G|A)$")>;
1186 def : InstRW<[FXU, Lat20], (instregex "TAR$")>;
1188 //===----------------------------------------------------------------------===//
1189 // System: Linkage-Stack Instructions
1190 //===----------------------------------------------------------------------===//
1192 def : InstRW<[FXU, LSU, Lat30, EndGroup], (instregex "BAKR$")>;
1193 def : InstRW<[FXU, Lat30], (instregex "EREG(G)?$")>;
1194 def : InstRW<[FXU, Lat30], (instregex "(E|M)STA$")>;
1196 //===----------------------------------------------------------------------===//
1197 // System: Time-Related Instructions
1198 //===----------------------------------------------------------------------===//
1200 def : InstRW<[FXU, Lat30], (instregex "PTFF$")>;
1201 def : InstRW<[FXU, LSU, Lat20], (instregex "SCK$")>;
1202 def : InstRW<[FXU, Lat30], (instregex "SCKPF$")>;
1203 def : InstRW<[FXU, LSU, Lat20], (instregex "SCKC$")>;
1204 def : InstRW<[FXU, LSU, Lat20], (instregex "SPT$")>;
1205 def : InstRW<[FXU, LSU, LSU, Lat9, GroupAlone], (instregex "STCK(F)?$")>;
1206 def : InstRW<[LSU, LSU, LSU, LSU, FXU, FXU, Lat20, GroupAlone],
1207 (instregex "STCKE$")>;
1208 def : InstRW<[FXU, LSU, Lat9], (instregex "STCKC$")>;
1209 def : InstRW<[FXU, LSU, Lat8], (instregex "STPT$")>;
1211 //===----------------------------------------------------------------------===//
1212 // System: CPU-Related Instructions
1213 //===----------------------------------------------------------------------===//
1215 def : InstRW<[FXU, LSU, Lat30], (instregex "STAP$")>;
1216 def : InstRW<[FXU, LSU, Lat30], (instregex "STIDP$")>;
1217 def : InstRW<[FXU, LSU, Lat30], (instregex "STSI$")>;
1218 def : InstRW<[FXU, LSU, Lat30], (instregex "STFL(E)?$")>;
1219 def : InstRW<[FXU, LSU, Lat30], (instregex "ECAG$")>;
1220 def : InstRW<[FXU, LSU, Lat30], (instregex "ECTG$")>;
1221 def : InstRW<[FXU, Lat30], (instregex "PTF$")>;
1222 def : InstRW<[FXU, Lat30], (instregex "PCKMO$")>;
1224 //===----------------------------------------------------------------------===//
1225 // System: Miscellaneous Instructions
1226 //===----------------------------------------------------------------------===//
1228 def : InstRW<[FXU, Lat30], (instregex "SVC$")>;
1229 def : InstRW<[FXU, GroupAlone], (instregex "MC$")>;
1230 def : InstRW<[FXU, Lat30], (instregex "DIAG$")>;
1231 def : InstRW<[FXU], (instregex "TRAC(E|G)$")>;
1232 def : InstRW<[FXU, Lat30], (instregex "TRAP(2|4)$")>;
1233 def : InstRW<[FXU, Lat30], (instregex "SIGP$")>;
1234 def : InstRW<[FXU, LSU, Lat30], (instregex "SIGA$")>;
1235 def : InstRW<[FXU, LSU, Lat30], (instregex "SIE$")>;
1237 //===----------------------------------------------------------------------===//
1238 // System: CPU-Measurement Facility Instructions
1239 //===----------------------------------------------------------------------===//
1241 def : InstRW<[FXU], (instregex "LPP$")>;
1242 def : InstRW<[FXU, Lat30], (instregex "ECPGA$")>;
1243 def : InstRW<[FXU, Lat30], (instregex "E(C|P)CTR$")>;
1244 def : InstRW<[FXU, Lat30], (instregex "LCCTL$")>;
1245 def : InstRW<[FXU, LSU, Lat30], (instregex "L(P|S)CTL$")>;
1246 def : InstRW<[FXU, LSU, Lat30], (instregex "Q(S|CTR)I$")>;
1247 def : InstRW<[FXU, Lat30], (instregex "S(C|P)CTR$")>;
1249 //===----------------------------------------------------------------------===//
1250 // System: I/O Instructions
1251 //===----------------------------------------------------------------------===//
1253 def : InstRW<[FXU, Lat30], (instregex "(C|H|R|X)SCH$")>;
1254 def : InstRW<[FXU, LSU, Lat30], (instregex "(M|S|ST|T)SCH$")>;
1255 def : InstRW<[FXU, Lat30], (instregex "RCHP$")>;
1256 def : InstRW<[FXU, Lat30], (instregex "SCHM$")>;
1257 def : InstRW<[FXU, LSU, Lat30], (instregex "STC(PS|RW)$")>;
1258 def : InstRW<[FXU, LSU, Lat30], (instregex "TPI$")>;
1259 def : InstRW<[FXU, Lat30], (instregex "SAL$")>;