contrib/llvm/lib/Target/SystemZ/SystemZScheduleZ14.td

   1 //-- SystemZScheduleZ14.td - SystemZ Scheduling Definitions ----*- 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 // This file defines the machine model for Z14 to support instruction
  10 // scheduling and other instruction cost heuristics.
  11 //
  12 // Pseudos expanded right after isel do not need to be modelled here.
  13 //
  14 //===----------------------------------------------------------------------===//
  15
  16 def Z14Model : SchedMachineModel {
  17
  18     let UnsupportedFeatures = Arch12UnsupportedFeatures.List;
  19
  20     let IssueWidth = 6;             // Number of instructions decoded per cycle.
  21     let MicroOpBufferSize = 60;     // Issue queues
  22     let LoadLatency = 1;            // Optimistic load latency.
  23
  24     let PostRAScheduler = 1;
  25
  26     // Extra cycles for a mispredicted branch.
  27     let MispredictPenalty = 20;
  28 }
  29
  30 let SchedModel = Z14Model in  {
  31 // These definitions need the SchedModel value. They could be put in a
  32 // subtarget common include file, but it seems the include system in Tablegen
  33 // currently (2016) rejects multiple includes of same file.
  34
  35 // Decoder grouping rules
  36 let NumMicroOps = 1 in {
  37   def : WriteRes<NormalGr, []>;
  38   def : WriteRes<BeginGroup, []> { let BeginGroup  = 1; }
  39   def : WriteRes<EndGroup, []>   { let EndGroup    = 1; }
  40 }
  41 def : WriteRes<Cracked, []> {
  42   let NumMicroOps = 2;
  43   let BeginGroup  = 1;
  44 }
  45 def : WriteRes<GroupAlone, []> {
  46   let NumMicroOps = 3;
  47   let BeginGroup  = 1;
  48   let EndGroup    = 1;
  49 }
  50 def : WriteRes<GroupAlone2, []> {
  51   let NumMicroOps = 6;
  52   let BeginGroup  = 1;
  53   let EndGroup    = 1;
  54 }
  55 def : WriteRes<GroupAlone3, []> {
  56   let NumMicroOps = 9;
  57   let BeginGroup  = 1;
  58   let EndGroup    = 1;
  59 }
  60
  61 // Incoming latency removed from the register operand which is used together
  62 // with a memory operand by the instruction.
  63 def : ReadAdvance<RegReadAdv, 4>;
  64
  65 // LoadLatency (above) is not used for instructions in this file. This is
  66 // instead the role of LSULatency, which is the latency value added to the
  67 // result of loads and instructions with folded memory operands.
  68 def : WriteRes<LSULatency, []> { let Latency = 4; let NumMicroOps = 0; }
  69
  70 let NumMicroOps = 0 in {
  71   foreach L = 1-30 in
  72     def : WriteRes<!cast<SchedWrite>("WLat"#L), []> { let Latency = L; }
  73 }
  74
  75 // Execution units.
  76 def Z14_FXaUnit     : ProcResource<2>;
  77 def Z14_FXbUnit     : ProcResource<2>;
  78 def Z14_LSUnit      : ProcResource<2>;
  79 def Z14_VecUnit     : ProcResource<2>;
  80 def Z14_VecFPdUnit  : ProcResource<2> { let BufferSize = 1; /* blocking */ }
  81 def Z14_VBUnit      : ProcResource<2>;
  82 def Z14_MCD         : ProcResource<1>;
  83
  84 // Subtarget specific definitions of scheduling resources.
  85 let NumMicroOps = 0 in {
  86   def : WriteRes<FXa, [Z14_FXaUnit]>;
  87   def : WriteRes<FXb, [Z14_FXbUnit]>;
  88   def : WriteRes<LSU, [Z14_LSUnit]>;
  89   def : WriteRes<VecBF,  [Z14_VecUnit]>;
  90   def : WriteRes<VecDF,  [Z14_VecUnit]>;
  91   def : WriteRes<VecDFX, [Z14_VecUnit]>;
  92   def : WriteRes<VecMul,  [Z14_VecUnit]>;
  93   def : WriteRes<VecStr,  [Z14_VecUnit]>;
  94   def : WriteRes<VecXsPm, [Z14_VecUnit]>;
  95   foreach Num = 2-5 in { let ResourceCycles = [Num] in {
  96     def : WriteRes<!cast<SchedWrite>("FXa"#Num), [Z14_FXaUnit]>;
  97     def : WriteRes<!cast<SchedWrite>("FXb"#Num), [Z14_FXbUnit]>;
  98     def : WriteRes<!cast<SchedWrite>("LSU"#Num), [Z14_LSUnit]>;
  99     def : WriteRes<!cast<SchedWrite>("VecBF"#Num), [Z14_VecUnit]>;
 100     def : WriteRes<!cast<SchedWrite>("VecDF"#Num), [Z14_VecUnit]>;
 101     def : WriteRes<!cast<SchedWrite>("VecDFX"#Num), [Z14_VecUnit]>;
 102     def : WriteRes<!cast<SchedWrite>("VecMul"#Num), [Z14_VecUnit]>;
 103     def : WriteRes<!cast<SchedWrite>("VecStr"#Num), [Z14_VecUnit]>;
 104     def : WriteRes<!cast<SchedWrite>("VecXsPm"#Num), [Z14_VecUnit]>;
 105   }}
 106
 107   def : WriteRes<VecFPd,  [Z14_VecFPdUnit]> { let ResourceCycles = [30]; }
 108
 109   def : WriteRes<VBU,     [Z14_VBUnit]>; // Virtual Branching Unit
 110 }
 111
 112 def : WriteRes<MCD, [Z14_MCD]> { let NumMicroOps = 3;
 113                                  let BeginGroup  = 1;
 114                                  let EndGroup    = 1; }
 115
 116 // -------------------------- INSTRUCTIONS ---------------------------------- //
 117
 118 // InstRW constructs have been used in order to preserve the
 119 // readability of the InstrInfo files.
 120
 121 // For each instruction, as matched by a regexp, provide a list of
 122 // resources that it needs. These will be combined into a SchedClass.
 123
 124 //===----------------------------------------------------------------------===//
 125 // Stack allocation
 126 //===----------------------------------------------------------------------===//
 127
 128 // Pseudo -> LA / LAY
 129 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ADJDYNALLOC$")>;
 130
 131 //===----------------------------------------------------------------------===//
 132 // Branch instructions
 133 //===----------------------------------------------------------------------===//
 134
 135 // Branch
 136 def : InstRW<[WLat1, VBU, NormalGr], (instregex "(Call)?BRC(L)?(Asm.*)?$")>;
 137 def : InstRW<[WLat1, VBU, NormalGr], (instregex "(Call)?J(G)?(Asm.*)?$")>;
 138 def : InstRW<[WLat1, FXb, NormalGr], (instregex "(Call)?BC(R)?(Asm.*)?$")>;
 139 def : InstRW<[WLat1, FXb, NormalGr], (instregex "(Call)?B(R)?(Asm.*)?$")>;
 140 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "BI(C)?(Asm.*)?$")>;
 141 def : InstRW<[WLat1, FXa, EndGroup], (instregex "BRCT(G)?$")>;
 142 def : InstRW<[WLat1, FXa, FXb, GroupAlone], (instregex "BRCTH$")>;
 143 def : InstRW<[WLat1, FXa, FXb, GroupAlone], (instregex "BCT(G)?(R)?$")>;
 144 def : InstRW<[WLat1, FXa2, FXb2, GroupAlone2],
 145              (instregex "B(R)?X(H|L).*$")>;
 146
 147 // Compare and branch
 148 def : InstRW<[WLat1, FXb, NormalGr], (instregex "C(L)?(G)?(I|R)J(Asm.*)?$")>;
 149 def : InstRW<[WLat1, FXb2, GroupAlone],
 150              (instregex "C(L)?(G)?(I|R)B(Call|Return|Asm.*)?$")>;
 151
 152 //===----------------------------------------------------------------------===//
 153 // Trap instructions
 154 //===----------------------------------------------------------------------===//
 155
 156 // Trap
 157 def : InstRW<[WLat1, VBU, NormalGr], (instregex "(Cond)?Trap$")>;
 158
 159 // Compare and trap
 160 def : InstRW<[WLat1, FXb, NormalGr], (instregex "C(G)?(I|R)T(Asm.*)?$")>;
 161 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CL(G)?RT(Asm.*)?$")>;
 162 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CL(F|G)IT(Asm.*)?$")>;
 163 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "CL(G)?T(Asm.*)?$")>;
 164
 165 //===----------------------------------------------------------------------===//
 166 // Call and return instructions
 167 //===----------------------------------------------------------------------===//
 168
 169 // Call
 170 def : InstRW<[WLat1, VBU, FXa2, GroupAlone], (instregex "(Call)?BRAS$")>;
 171 def : InstRW<[WLat1, FXa2, FXb, GroupAlone], (instregex "(Call)?BRASL$")>;
 172 def : InstRW<[WLat1, FXa2, FXb, GroupAlone], (instregex "(Call)?BAS(R)?$")>;
 173 def : InstRW<[WLat1, FXa2, FXb, GroupAlone], (instregex "TLS_(G|L)DCALL$")>;
 174
 175 // Return
 176 def : InstRW<[WLat1, FXb, EndGroup], (instregex "Return$")>;
 177 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CondReturn$")>;
 178
 179 //===----------------------------------------------------------------------===//
 180 // Move instructions
 181 //===----------------------------------------------------------------------===//
 182
 183 // Moves
 184 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "MV(G|H)?HI$")>;
 185 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "MVI(Y)?$")>;
 186
 187 // Move character
 188 def : InstRW<[WLat1, FXb, LSU3, GroupAlone], (instregex "MVC$")>;
 189 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "MVCL(E|U)?$")>;
 190
 191 // Pseudo -> reg move
 192 def : InstRW<[WLat1, FXa, NormalGr], (instregex "COPY(_TO_REGCLASS)?$")>;
 193 def : InstRW<[WLat1, FXa, NormalGr], (instregex "EXTRACT_SUBREG$")>;
 194 def : InstRW<[WLat1, FXa, NormalGr], (instregex "INSERT_SUBREG$")>;
 195 def : InstRW<[WLat1, FXa, NormalGr], (instregex "REG_SEQUENCE$")>;
 196
 197 // Loads
 198 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "L(Y|FH|RL|Mux)?$")>;
 199 def : InstRW<[LSULatency, LSULatency, LSU, NormalGr], (instregex "LCBB$")>;
 200 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LG(RL)?$")>;
 201 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "L128$")>;
 202
 203 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LLIH(F|H|L)$")>;
 204 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LLIL(F|H|L)$")>;
 205
 206 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LG(F|H)I$")>;
 207 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LHI(Mux)?$")>;
 208 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LR(Mux)?$")>;
 209
 210 // Load and zero rightmost byte
 211 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LZR(F|G)$")>;
 212
 213 // Load and trap
 214 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "L(FH|G)?AT$")>;
 215
 216 // Load and test
 217 def : InstRW<[WLat1LSU, WLat1LSU, LSU, FXa, NormalGr], (instregex "LT(G)?$")>;
 218 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LT(G)?R$")>;
 219
 220 // Stores
 221 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "STG(RL)?$")>;
 222 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "ST128$")>;
 223 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "ST(Y|FH|RL|Mux)?$")>;
 224
 225 // String moves.
 226 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "MVST$")>;
 227
 228 //===----------------------------------------------------------------------===//
 229 // Conditional move instructions
 230 //===----------------------------------------------------------------------===//
 231
 232 def : InstRW<[WLat2, FXa, NormalGr], (instregex "LOCRMux$")>;
 233 def : InstRW<[WLat2, FXa, NormalGr], (instregex "LOC(G|FH)?R(Asm.*)?$")>;
 234 def : InstRW<[WLat2, FXa, NormalGr], (instregex "LOC(G|H)?HI(Mux|(Asm.*))?$")>;
 235 def : InstRW<[WLat2LSU, RegReadAdv, FXa, LSU, NormalGr],
 236              (instregex "LOC(G|FH|Mux)?(Asm.*)?$")>;
 237 def : InstRW<[WLat1, FXb, LSU, NormalGr],
 238              (instregex "STOC(G|FH|Mux)?(Asm.*)?$")>;
 239
 240 //===----------------------------------------------------------------------===//
 241 // Sign extensions
 242 //===----------------------------------------------------------------------===//
 243
 244 def : InstRW<[WLat1, FXa, NormalGr], (instregex "L(B|H|G)R$")>;
 245 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LG(B|H|F)R$")>;
 246
 247 def : InstRW<[WLat1LSU, WLat1LSU, FXa, LSU, NormalGr], (instregex "LTGF$")>;
 248 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LTGFR$")>;
 249
 250 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LB(H|Mux)?$")>;
 251 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LH(Y)?$")>;
 252 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LH(H|Mux|RL)$")>;
 253 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LG(B|H|F)$")>;
 254 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LG(H|F)RL$")>;
 255
 256 //===----------------------------------------------------------------------===//
 257 // Zero extensions
 258 //===----------------------------------------------------------------------===//
 259
 260 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LLCR(Mux)?$")>;
 261 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LLHR(Mux)?$")>;
 262 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LLG(C|H|F|T)R$")>;
 263 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LLC(Mux)?$")>;
 264 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LLH(Mux)?$")>;
 265 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LL(C|H)H$")>;
 266 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LLHRL$")>;
 267 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LLG(C|H|F|T|HRL|FRL)$")>;
 268
 269 // Load and zero rightmost byte
 270 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LLZRGF$")>;
 271
 272 // Load and trap
 273 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "LLG(F|T)?AT$")>;
 274
 275 //===----------------------------------------------------------------------===//
 276 // Truncations
 277 //===----------------------------------------------------------------------===//
 278
 279 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "STC(H|Y|Mux)?$")>;
 280 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "STH(H|Y|RL|Mux)?$")>;
 281 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "STCM(H|Y)?$")>;
 282
 283 //===----------------------------------------------------------------------===//
 284 // Multi-register moves
 285 //===----------------------------------------------------------------------===//
 286
 287 // Load multiple (estimated average of 5 ops)
 288 def : InstRW<[WLat10, WLat10, LSU5, GroupAlone], (instregex "LM(H|Y|G)?$")>;
 289
 290 // Load multiple disjoint
 291 def : InstRW<[WLat30, WLat30, MCD], (instregex "LMD$")>;
 292
 293 // Store multiple
 294 def : InstRW<[WLat1, LSU2, FXb3, GroupAlone], (instregex "STM(G|H|Y)?$")>;
 295
 296 //===----------------------------------------------------------------------===//
 297 // Byte swaps
 298 //===----------------------------------------------------------------------===//
 299
 300 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LRV(G)?R$")>;
 301 def : InstRW<[WLat1LSU, FXa, LSU, NormalGr], (instregex "LRV(G|H)?$")>;
 302 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "STRV(G|H)?$")>;
 303 def : InstRW<[WLat30, MCD], (instregex "MVCIN$")>;
 304
 305 //===----------------------------------------------------------------------===//
 306 // Load address instructions
 307 //===----------------------------------------------------------------------===//
 308
 309 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LA(Y|RL)?$")>;
 310
 311 // Load the Global Offset Table address ( -> larl )
 312 def : InstRW<[WLat1, FXa, NormalGr], (instregex "GOT$")>;
 313
 314 //===----------------------------------------------------------------------===//
 315 // Absolute and Negation
 316 //===----------------------------------------------------------------------===//
 317
 318 def : InstRW<[WLat1, WLat1, FXa, NormalGr], (instregex "LP(G)?R$")>;
 319 def : InstRW<[WLat2, WLat2, FXa2, Cracked], (instregex "L(N|P)GFR$")>;
 320 def : InstRW<[WLat1, WLat1, FXa, NormalGr], (instregex "LN(R|GR)$")>;
 321 def : InstRW<[WLat1, FXa, NormalGr], (instregex "LC(R|GR)$")>;
 322 def : InstRW<[WLat2, WLat2, FXa2, Cracked], (instregex "LCGFR$")>;
 323
 324 //===----------------------------------------------------------------------===//
 325 // Insertion
 326 //===----------------------------------------------------------------------===//
 327
 328 def : InstRW<[WLat1LSU, RegReadAdv, FXa, LSU, NormalGr], (instregex "IC(Y)?$")>;
 329 def : InstRW<[WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 330              (instregex "IC32(Y)?$")>;
 331 def : InstRW<[WLat1LSU, RegReadAdv, WLat1LSU, FXa, LSU, NormalGr],
 332              (instregex "ICM(H|Y)?$")>;
 333 def : InstRW<[WLat1, FXa, NormalGr], (instregex "II(F|H|L)Mux$")>;
 334 def : InstRW<[WLat1, FXa, NormalGr], (instregex "IIHF(64)?$")>;
 335 def : InstRW<[WLat1, FXa, NormalGr], (instregex "IIHH(64)?$")>;
 336 def : InstRW<[WLat1, FXa, NormalGr], (instregex "IIHL(64)?$")>;
 337 def : InstRW<[WLat1, FXa, NormalGr], (instregex "IILF(64)?$")>;
 338 def : InstRW<[WLat1, FXa, NormalGr], (instregex "IILH(64)?$")>;
 339 def : InstRW<[WLat1, FXa, NormalGr], (instregex "IILL(64)?$")>;
 340
 341 //===----------------------------------------------------------------------===//
 342 // Addition
 343 //===----------------------------------------------------------------------===//
 344
 345 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 346              (instregex "A(Y)?$")>;
 347 def : InstRW<[WLat2LSU, WLat2LSU, RegReadAdv, FXa, LSU, NormalGr],
 348              (instregex "AH(Y)?$")>;
 349 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AIH$")>;
 350 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AFI(Mux)?$")>;
 351 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 352              (instregex "AG$")>;
 353 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AGFI$")>;
 354 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AGHI(K)?$")>;
 355 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AGR(K)?$")>;
 356 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AHI(K)?$")>;
 357 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AHIMux(K)?$")>;
 358 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 359              (instregex "AL(Y)?$")>;
 360 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AL(FI|HSIK)$")>;
 361 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 362              (instregex "ALG(F)?$")>;
 363 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ALGHSIK$")>;
 364 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ALGF(I|R)$")>;
 365 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ALGR(K)?$")>;
 366 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ALR(K)?$")>;
 367 def : InstRW<[WLat1, FXa, NormalGr], (instregex "AR(K)?$")>;
 368 def : InstRW<[WLat1, FXa, NormalGr], (instregex "A(L)?HHHR$")>;
 369 def : InstRW<[WLat2, WLat2, FXa, NormalGr], (instregex "A(L)?HHLR$")>;
 370 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ALSIH(N)?$")>;
 371 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "A(L)?(G)?SI$")>;
 372
 373 // Logical addition with carry
 374 def : InstRW<[WLat2LSU, WLat2LSU, RegReadAdv, FXa, LSU, GroupAlone],
 375              (instregex "ALC(G)?$")>;
 376 def : InstRW<[WLat2, WLat2, FXa, GroupAlone], (instregex "ALC(G)?R$")>;
 377
 378 // Add with sign extension (16/32 -> 64)
 379 def : InstRW<[WLat2LSU, WLat2LSU, RegReadAdv, FXa, LSU, NormalGr],
 380              (instregex "AG(F|H)$")>;
 381 def : InstRW<[WLat2, WLat2, FXa, NormalGr], (instregex "AGFR$")>;
 382
 383 //===----------------------------------------------------------------------===//
 384 // Subtraction
 385 //===----------------------------------------------------------------------===//
 386
 387 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 388              (instregex "S(G|Y)?$")>;
 389 def : InstRW<[WLat2LSU, WLat2LSU, RegReadAdv, FXa, LSU, NormalGr],
 390              (instregex "SH(Y)?$")>;
 391 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SGR(K)?$")>;
 392 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SLFI$")>;
 393 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 394              (instregex "SL(G|GF|Y)?$")>;
 395 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SLGF(I|R)$")>;
 396 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SLGR(K)?$")>;
 397 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SLR(K)?$")>;
 398 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SR(K)?$")>;
 399 def : InstRW<[WLat1, FXa, NormalGr], (instregex "S(L)?HHHR$")>;
 400 def : InstRW<[WLat2, WLat2, FXa, NormalGr], (instregex "S(L)?HHLR$")>;
 401
 402 // Subtraction with borrow
 403 def : InstRW<[WLat2LSU, WLat2LSU, RegReadAdv, FXa, LSU, GroupAlone],
 404              (instregex "SLB(G)?$")>;
 405 def : InstRW<[WLat2, WLat2, FXa, GroupAlone], (instregex "SLB(G)?R$")>;
 406
 407 // Subtraction with sign extension (16/32 -> 64)
 408 def : InstRW<[WLat2LSU, WLat2LSU, RegReadAdv, FXa, LSU, NormalGr],
 409              (instregex "SG(F|H)$")>;
 410 def : InstRW<[WLat2, WLat2, FXa, NormalGr], (instregex "SGFR$")>;
 411
 412 //===----------------------------------------------------------------------===//
 413 // AND
 414 //===----------------------------------------------------------------------===//
 415
 416 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 417              (instregex "N(G|Y)?$")>;
 418 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NGR(K)?$")>;
 419 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NI(FMux|HMux|LMux)$")>;
 420 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "NI(Y)?$")>;
 421 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NIHF(64)?$")>;
 422 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NIHH(64)?$")>;
 423 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NIHL(64)?$")>;
 424 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NILF(64)?$")>;
 425 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NILH(64)?$")>;
 426 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NILL(64)?$")>;
 427 def : InstRW<[WLat1, FXa, NormalGr], (instregex "NR(K)?$")>;
 428 def : InstRW<[WLat3LSU, LSU2, FXb, Cracked], (instregex "NC$")>;
 429
 430 //===----------------------------------------------------------------------===//
 431 // OR
 432 //===----------------------------------------------------------------------===//
 433
 434 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 435              (instregex "O(G|Y)?$")>;
 436 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OGR(K)?$")>;
 437 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "OI(Y)?$")>;
 438 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OI(FMux|HMux|LMux)$")>;
 439 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OIHF(64)?$")>;
 440 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OIHH(64)?$")>;
 441 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OIHL(64)?$")>;
 442 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OILF(64)?$")>;
 443 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OILH(64)?$")>;
 444 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OILL(64)?$")>;
 445 def : InstRW<[WLat1, FXa, NormalGr], (instregex "OR(K)?$")>;
 446 def : InstRW<[WLat3LSU, LSU2, FXb, Cracked], (instregex "OC$")>;
 447
 448 //===----------------------------------------------------------------------===//
 449 // XOR
 450 //===----------------------------------------------------------------------===//
 451
 452 def : InstRW<[WLat1LSU, WLat1LSU, RegReadAdv, FXa, LSU, NormalGr],
 453              (instregex "X(G|Y)?$")>;
 454 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "XI(Y)?$")>;
 455 def : InstRW<[WLat1, FXa, NormalGr], (instregex "XIFMux$")>;
 456 def : InstRW<[WLat1, FXa, NormalGr], (instregex "XGR(K)?$")>;
 457 def : InstRW<[WLat1, FXa, NormalGr], (instregex "XIHF(64)?$")>;
 458 def : InstRW<[WLat1, FXa, NormalGr], (instregex "XILF(64)?$")>;
 459 def : InstRW<[WLat1, FXa, NormalGr], (instregex "XR(K)?$")>;
 460 def : InstRW<[WLat3LSU, LSU2, FXb, Cracked], (instregex "XC$")>;
 461
 462 //===----------------------------------------------------------------------===//
 463 // Multiplication
 464 //===----------------------------------------------------------------------===//
 465
 466 def : InstRW<[WLat5LSU, RegReadAdv, FXa, LSU, NormalGr],
 467              (instregex "MS(GF|Y)?$")>;
 468 def : InstRW<[WLat5, FXa, NormalGr], (instregex "MS(R|FI)$")>;
 469 def : InstRW<[WLat7LSU, RegReadAdv, FXa, LSU, NormalGr], (instregex "MSG$")>;
 470 def : InstRW<[WLat7, FXa, NormalGr], (instregex "MSGR$")>;
 471 def : InstRW<[WLat5, FXa, NormalGr], (instregex "MSGF(I|R)$")>;
 472 def : InstRW<[WLat8LSU, RegReadAdv, FXa2, LSU, GroupAlone], (instregex "MLG$")>;
 473 def : InstRW<[WLat8, FXa2, GroupAlone], (instregex "MLGR$")>;
 474 def : InstRW<[WLat4, FXa, NormalGr], (instregex "MGHI$")>;
 475 def : InstRW<[WLat4, FXa, NormalGr], (instregex "MHI$")>;
 476 def : InstRW<[WLat4LSU, RegReadAdv, FXa, LSU, NormalGr], (instregex "MH(Y)?$")>;
 477 def : InstRW<[WLat6, FXa2, GroupAlone], (instregex "M(L)?R$")>;
 478 def : InstRW<[WLat6LSU, RegReadAdv, FXa2, LSU, GroupAlone],
 479              (instregex "M(FY|L)?$")>;
 480 def : InstRW<[WLat8, RegReadAdv, FXa, LSU, NormalGr], (instregex "MGH$")>;
 481 def : InstRW<[WLat12, RegReadAdv, FXa2, LSU, GroupAlone], (instregex "MG$")>;
 482 def : InstRW<[WLat8, FXa2, GroupAlone], (instregex "MGRK$")>;
 483 def : InstRW<[WLat6LSU, WLat6LSU, RegReadAdv, FXa, LSU, NormalGr],
 484              (instregex "MSC$")>;
 485 def : InstRW<[WLat8LSU, WLat8LSU, RegReadAdv, FXa, LSU, NormalGr],
 486              (instregex "MSGC$")>;
 487 def : InstRW<[WLat6, WLat6, FXa, NormalGr], (instregex "MSRKC$")>;
 488 def : InstRW<[WLat8, WLat8, FXa, NormalGr], (instregex "MSGRKC$")>;
 489
 490 //===----------------------------------------------------------------------===//
 491 // Division and remainder
 492 //===----------------------------------------------------------------------===//
 493
 494 def : InstRW<[WLat20, FXa4, GroupAlone], (instregex "DR$")>;
 495 def : InstRW<[WLat30, RegReadAdv, FXa4, LSU, GroupAlone2], (instregex "D$")>;
 496 def : InstRW<[WLat30, FXa2, GroupAlone], (instregex "DSG(F)?R$")>;
 497 def : InstRW<[WLat30, RegReadAdv, FXa2, LSU, GroupAlone2],
 498              (instregex "DSG(F)?$")>;
 499 def : InstRW<[WLat20, FXa4, GroupAlone], (instregex "DLR$")>;
 500 def : InstRW<[WLat30, FXa4, GroupAlone], (instregex "DLGR$")>;
 501 def : InstRW<[WLat30, RegReadAdv, FXa4, LSU, GroupAlone2],
 502              (instregex "DL(G)?$")>;
 503
 504 //===----------------------------------------------------------------------===//
 505 // Shifts
 506 //===----------------------------------------------------------------------===//
 507
 508 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SLL(G|K)?$")>;
 509 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SRL(G|K)?$")>;
 510 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SRA(G|K)?$")>;
 511 def : InstRW<[WLat1, FXa, NormalGr], (instregex "SLA(G|K)?$")>;
 512 def : InstRW<[WLat5LSU, WLat5LSU, FXa4, LSU, GroupAlone2],
 513              (instregex "S(L|R)D(A|L)$")>;
 514
 515 // Rotate
 516 def : InstRW<[WLat2LSU, FXa, LSU, NormalGr], (instregex "RLL(G)?$")>;
 517
 518 // Rotate and insert
 519 def : InstRW<[WLat1, FXa, NormalGr], (instregex "RISBG(N|32)?$")>;
 520 def : InstRW<[WLat1, FXa, NormalGr], (instregex "RISBH(G|H|L)$")>;
 521 def : InstRW<[WLat1, FXa, NormalGr], (instregex "RISBL(G|H|L)$")>;
 522 def : InstRW<[WLat1, FXa, NormalGr], (instregex "RISBMux$")>;
 523
 524 // Rotate and Select
 525 def : InstRW<[WLat2, WLat2, FXa2, Cracked], (instregex "R(N|O|X)SBG$")>;
 526
 527 //===----------------------------------------------------------------------===//
 528 // Comparison
 529 //===----------------------------------------------------------------------===//
 530
 531 def : InstRW<[WLat1LSU, RegReadAdv, FXb, LSU, NormalGr],
 532              (instregex "C(G|Y|Mux)?$")>;
 533 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CRL$")>;
 534 def : InstRW<[WLat1, FXb, NormalGr], (instregex "C(F|H)I(Mux)?$")>;
 535 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CG(F|H)I$")>;
 536 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CG(HSI|RL)$")>;
 537 def : InstRW<[WLat1, FXb, NormalGr], (instregex "C(G)?R$")>;
 538 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CIH$")>;
 539 def : InstRW<[WLat1LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CHF$")>;
 540 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CHSI$")>;
 541 def : InstRW<[WLat1LSU, RegReadAdv, FXb, LSU, NormalGr],
 542              (instregex "CL(Y|Mux)?$")>;
 543 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLFHSI$")>;
 544 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CLFI(Mux)?$")>;
 545 def : InstRW<[WLat1LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CLG$")>;
 546 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLG(HRL|HSI)$")>;
 547 def : InstRW<[WLat1LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CLGF$")>;
 548 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLGFRL$")>;
 549 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CLGF(I|R)$")>;
 550 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CLGR$")>;
 551 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLGRL$")>;
 552 def : InstRW<[WLat1LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CLHF$")>;
 553 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLH(RL|HSI)$")>;
 554 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CLIH$")>;
 555 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLI(Y)?$")>;
 556 def : InstRW<[WLat1, FXb, NormalGr], (instregex "CLR$")>;
 557 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "CLRL$")>;
 558 def : InstRW<[WLat1, FXb, NormalGr], (instregex "C(L)?HHR$")>;
 559 def : InstRW<[WLat2, FXb, NormalGr], (instregex "C(L)?HLR$")>;
 560
 561 // Compare halfword
 562 def : InstRW<[WLat2LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CH(Y)?$")>;
 563 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "CHRL$")>;
 564 def : InstRW<[WLat2LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CGH$")>;
 565 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "CGHRL$")>;
 566 def : InstRW<[WLat2LSU, FXa, FXb, LSU, Cracked], (instregex "CHHSI$")>;
 567
 568 // Compare with sign extension (32 -> 64)
 569 def : InstRW<[WLat2LSU, RegReadAdv, FXb, LSU, NormalGr], (instregex "CGF$")>;
 570 def : InstRW<[WLat2LSU, FXb, LSU, NormalGr], (instregex "CGFRL$")>;
 571 def : InstRW<[WLat2, FXb, NormalGr], (instregex "CGFR$")>;
 572
 573 // Compare logical character
 574 def : InstRW<[WLat6, FXb, LSU2, Cracked], (instregex "CLC$")>;
 575 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "CLCL(E|U)?$")>;
 576 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "CLST$")>;
 577
 578 // Test under mask
 579 def : InstRW<[WLat1LSU, FXb, LSU, NormalGr], (instregex "TM(Y)?$")>;
 580 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TM(H|L)Mux$")>;
 581 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TMHH(64)?$")>;
 582 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TMHL(64)?$")>;
 583 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TMLH(64)?$")>;
 584 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TMLL(64)?$")>;
 585
 586 // Compare logical characters under mask
 587 def : InstRW<[WLat2LSU, RegReadAdv, FXb, LSU, NormalGr],
 588              (instregex "CLM(H|Y)?$")>;
 589
 590 //===----------------------------------------------------------------------===//
 591 // Prefetch and execution hint
 592 //===----------------------------------------------------------------------===//
 593
 594 def : InstRW<[WLat1, LSU, NormalGr], (instregex "PFD(RL)?$")>;
 595 def : InstRW<[WLat1, FXb, NormalGr], (instregex "BPP$")>;
 596 def : InstRW<[FXb, EndGroup], (instregex "BPRP$")>;
 597 def : InstRW<[WLat1, FXb, NormalGr], (instregex "NIAI$")>;
 598
 599 //===----------------------------------------------------------------------===//
 600 // Atomic operations
 601 //===----------------------------------------------------------------------===//
 602
 603 def : InstRW<[WLat1, FXb, EndGroup], (instregex "Serialize$")>;
 604
 605 def : InstRW<[WLat2LSU, WLat2LSU, FXb, LSU, NormalGr], (instregex "LAA(G)?$")>;
 606 def : InstRW<[WLat2LSU, WLat2LSU, FXb, LSU, NormalGr], (instregex "LAAL(G)?$")>;
 607 def : InstRW<[WLat2LSU, WLat2LSU, FXb, LSU, NormalGr], (instregex "LAN(G)?$")>;
 608 def : InstRW<[WLat2LSU, WLat2LSU, FXb, LSU, NormalGr], (instregex "LAO(G)?$")>;
 609 def : InstRW<[WLat2LSU, WLat2LSU, FXb, LSU, NormalGr], (instregex "LAX(G)?$")>;
 610
 611 // Test and set
 612 def : InstRW<[WLat2LSU, FXb, LSU, EndGroup], (instregex "TS$")>;
 613
 614 // Compare and swap
 615 def : InstRW<[WLat3LSU, WLat3LSU, FXa, FXb, LSU, GroupAlone],
 616              (instregex "CS(G|Y)?$")>;
 617
 618 // Compare double and swap
 619 def : InstRW<[WLat6LSU, WLat6LSU, FXa3, FXb2, LSU, GroupAlone2],
 620              (instregex "CDS(Y)?$")>;
 621 def : InstRW<[WLat15, WLat15, FXa2, FXb4, LSU3,
 622               GroupAlone3], (instregex "CDSG$")>;
 623
 624 // Compare and swap and store
 625 def : InstRW<[WLat30, MCD], (instregex "CSST$")>;
 626
 627 // Perform locked operation
 628 def : InstRW<[WLat30, MCD], (instregex "PLO$")>;
 629
 630 // Load/store pair from/to quadword
 631 def : InstRW<[WLat4LSU, LSU2, GroupAlone], (instregex "LPQ$")>;
 632 def : InstRW<[WLat1, FXb2, LSU, GroupAlone], (instregex "STPQ$")>;
 633
 634 // Load pair disjoint
 635 def : InstRW<[WLat1LSU, WLat1LSU, LSU2, GroupAlone], (instregex "LPD(G)?$")>;
 636
 637 //===----------------------------------------------------------------------===//
 638 // Translate and convert
 639 //===----------------------------------------------------------------------===//
 640
 641 def : InstRW<[WLat1, LSU5, GroupAlone], (instregex "TR$")>;
 642 def : InstRW<[WLat30, WLat30, WLat30, FXa3, LSU2, GroupAlone2],
 643              (instregex "TRT$")>;
 644 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "TRTR$")>;
 645 def : InstRW<[WLat30, WLat30, MCD], (instregex "TRE$")>;
 646 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "TRT(R)?E(Opt)?$")>;
 647 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "TR(T|O)(T|O)(Opt)?$")>;
 648 def : InstRW<[WLat30, WLat30, WLat30, MCD],
 649              (instregex "CU(12|14|21|24|41|42)(Opt)?$")>;
 650 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "(CUUTF|CUTFU)(Opt)?$")>;
 651
 652 //===----------------------------------------------------------------------===//
 653 // Message-security assist
 654 //===----------------------------------------------------------------------===//
 655
 656 def : InstRW<[WLat30, WLat30, WLat30, WLat30, MCD],
 657              (instregex "KM(C|F|O|CTR|A)?$")>;
 658 def : InstRW<[WLat30, WLat30, WLat30, MCD],
 659              (instregex "(KIMD|KLMD|KMAC)$")>;
 660 def : InstRW<[WLat30, WLat30, WLat30, MCD],
 661              (instregex "(PCC|PPNO|PRNO)$")>;
 662
 663 //===----------------------------------------------------------------------===//
 664 // Guarded storage
 665 //===----------------------------------------------------------------------===//
 666
 667 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LGG$")>;
 668 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LLGFSG$")>;
 669 def : InstRW<[WLat30, MCD], (instregex "(L|ST)GSC$")>;
 670
 671 //===----------------------------------------------------------------------===//
 672 // Decimal arithmetic
 673 //===----------------------------------------------------------------------===//
 674
 675 def : InstRW<[WLat30, RegReadAdv, FXb, VecDF2, LSU2, GroupAlone2],
 676              (instregex "CVBG$")>;
 677 def : InstRW<[WLat30, RegReadAdv, FXb, VecDF, LSU, GroupAlone2],
 678              (instregex "CVB(Y)?$")>;
 679 def : InstRW<[WLat1, FXb3, VecDF4, LSU, GroupAlone3], (instregex "CVDG$")>;
 680 def : InstRW<[WLat1, FXb2, VecDF, LSU, GroupAlone2], (instregex "CVD(Y)?$")>;
 681 def : InstRW<[WLat1, LSU5, GroupAlone], (instregex "MV(N|O|Z)$")>;
 682 def : InstRW<[WLat1, LSU5, GroupAlone], (instregex "(PACK|PKA|PKU)$")>;
 683 def : InstRW<[WLat12, LSU5, GroupAlone], (instregex "UNPK(A|U)$")>;
 684 def : InstRW<[WLat1, FXb, LSU2, Cracked], (instregex "UNPK$")>;
 685
 686 def : InstRW<[WLat5LSU, FXb, VecDFX, LSU3, GroupAlone2],
 687              (instregex "(A|S|ZA)P$")>;
 688 def : InstRW<[WLat1, FXb, VecDFX4, LSU3, GroupAlone2], (instregex "(M|D)P$")>;
 689 def : InstRW<[WLat15, FXb, VecDFX2, LSU2, GroupAlone3], (instregex "SRP$")>;
 690 def : InstRW<[WLat8, VecDFX, LSU, LSU, GroupAlone], (instregex "CP$")>;
 691 def : InstRW<[WLat3LSU, VecDFX, LSU, Cracked], (instregex "TP$")>;
 692 def : InstRW<[WLat30, MCD], (instregex "ED(MK)?$")>;
 693
 694 //===----------------------------------------------------------------------===//
 695 // Access registers
 696 //===----------------------------------------------------------------------===//
 697
 698 // Extract/set/copy access register
 699 def : InstRW<[WLat3, LSU, NormalGr], (instregex "(EAR|SAR|CPYA)$")>;
 700
 701 // Load address extended
 702 def : InstRW<[WLat5, LSU, FXa, Cracked], (instregex "LAE(Y)?$")>;
 703
 704 // Load/store access multiple (not modeled precisely)
 705 def : InstRW<[WLat20, WLat20, LSU5, GroupAlone], (instregex "LAM(Y)?$")>;
 706 def : InstRW<[WLat1, LSU5, FXb, GroupAlone2], (instregex "STAM(Y)?$")>;
 707
 708 //===----------------------------------------------------------------------===//
 709 // Program mask and addressing mode
 710 //===----------------------------------------------------------------------===//
 711
 712 // Insert Program Mask
 713 def : InstRW<[WLat3, FXa, EndGroup], (instregex "IPM$")>;
 714
 715 // Set Program Mask
 716 def : InstRW<[WLat3, LSU, EndGroup], (instregex "SPM$")>;
 717
 718 // Branch and link
 719 def : InstRW<[WLat1, FXa2, FXb, GroupAlone], (instregex "BAL(R)?$")>;
 720
 721 // Test addressing mode
 722 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TAM$")>;
 723
 724 // Set addressing mode
 725 def : InstRW<[WLat1, FXb, EndGroup], (instregex "SAM(24|31|64)$")>;
 726
 727 // Branch (and save) and set mode.
 728 def : InstRW<[WLat1, FXa, FXb, GroupAlone], (instregex "BSM$")>;
 729 def : InstRW<[WLat1, FXa2, FXb, GroupAlone], (instregex "BASSM$")>;
 730
 731 //===----------------------------------------------------------------------===//
 732 // Transactional execution
 733 //===----------------------------------------------------------------------===//
 734
 735 // Transaction begin
 736 def : InstRW<[WLat9, LSU2, FXb5, GroupAlone2], (instregex "TBEGIN(C)?$")>;
 737
 738 // Transaction end
 739 def : InstRW<[WLat1, FXb, GroupAlone], (instregex "TEND$")>;
 740
 741 // Transaction abort
 742 def : InstRW<[WLat30, MCD], (instregex "TABORT$")>;
 743
 744 // Extract Transaction Nesting Depth
 745 def : InstRW<[WLat1, FXa, NormalGr], (instregex "ETND$")>;
 746
 747 // Nontransactional store
 748 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "NTSTG$")>;
 749
 750 //===----------------------------------------------------------------------===//
 751 // Processor assist
 752 //===----------------------------------------------------------------------===//
 753
 754 def : InstRW<[WLat1, FXb, GroupAlone], (instregex "PPA$")>;
 755
 756 //===----------------------------------------------------------------------===//
 757 // Miscellaneous Instructions.
 758 //===----------------------------------------------------------------------===//
 759
 760 // Find leftmost one
 761 def : InstRW<[WLat5, WLat5, FXa2, GroupAlone], (instregex "FLOGR$")>;
 762
 763 // Population count
 764 def : InstRW<[WLat3, WLat3, FXa, NormalGr], (instregex "POPCNT$")>;
 765
 766 // String instructions
 767 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "SRST(U)?$")>;
 768 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "CUSE$")>;
 769
 770 // Various complex instructions
 771 def : InstRW<[WLat30, WLat30, WLat30, WLat30, MCD], (instregex "CFC$")>;
 772 def : InstRW<[WLat30, WLat30, WLat30, WLat30, WLat30, WLat30, MCD],
 773              (instregex "UPT$")>;
 774 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "CKSM$")>;
 775 def : InstRW<[WLat30, WLat30, WLat30, WLat30, MCD], (instregex "CMPSC$")>;
 776
 777 // Execute
 778 def : InstRW<[WLat1, FXb, GroupAlone], (instregex "EX(RL)?$")>;
 779
 780 //===----------------------------------------------------------------------===//
 781 // .insn directive instructions
 782 //===----------------------------------------------------------------------===//
 783
 784 // An "empty" sched-class will be assigned instead of the "invalid sched-class".
 785 // getNumDecoderSlots() will then return 1 instead of 0.
 786 def : InstRW<[], (instregex "Insn.*")>;
 787
 788
 789 // ----------------------------- Floating point ----------------------------- //
 790
 791 //===----------------------------------------------------------------------===//
 792 // FP: Move instructions
 793 //===----------------------------------------------------------------------===//
 794
 795 // Load zero
 796 def : InstRW<[WLat1, FXb, NormalGr], (instregex "LZ(DR|ER)$")>;
 797 def : InstRW<[WLat2, FXb2, Cracked], (instregex "LZXR$")>;
 798
 799 // Load
 800 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "LER$")>;
 801 def : InstRW<[WLat1, FXb, NormalGr], (instregex "LD(R|R32|GR)$")>;
 802 def : InstRW<[WLat3, FXb, NormalGr], (instregex "LGDR$")>;
 803 def : InstRW<[WLat2, FXb2, GroupAlone], (instregex "LXR$")>;
 804
 805 // Load and Test
 806 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "LT(E|D)BR$")>;
 807 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "LT(E|D)BRCompare$")>;
 808 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone],
 809              (instregex "LTXBR(Compare)?$")>;
 810
 811 // Copy sign
 812 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "CPSDR(d|s)(d|s)$")>;
 813
 814 //===----------------------------------------------------------------------===//
 815 // FP: Load instructions
 816 //===----------------------------------------------------------------------===//
 817
 818 def : InstRW<[WLat2LSU, VecXsPm, LSU, NormalGr], (instregex "LE(Y)?$")>;
 819 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LD(Y|E32)?$")>;
 820 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LX$")>;
 821
 822 //===----------------------------------------------------------------------===//
 823 // FP: Store instructions
 824 //===----------------------------------------------------------------------===//
 825
 826 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "ST(E|D)(Y)?$")>;
 827 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "STX$")>;
 828
 829 //===----------------------------------------------------------------------===//
 830 // FP: Conversion instructions
 831 //===----------------------------------------------------------------------===//
 832
 833 // Load rounded
 834 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "LEDBR(A)?$")>;
 835 def : InstRW<[WLat9, VecDF2, NormalGr], (instregex "L(E|D)XBR(A)?$")>;
 836
 837 // Load lengthened
 838 def : InstRW<[WLat7LSU, VecBF, LSU, NormalGr], (instregex "LDEB$")>;
 839 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "LDEBR$")>;
 840 def : InstRW<[WLat8LSU, VecBF4, LSU, GroupAlone], (instregex "LX(E|D)B$")>;
 841 def : InstRW<[WLat8, VecBF4, GroupAlone], (instregex "LX(E|D)BR$")>;
 842
 843 // Convert from fixed / logical
 844 def : InstRW<[WLat8, FXb, VecBF, Cracked], (instregex "C(E|D)(F|G)BR(A)?$")>;
 845 def : InstRW<[WLat11, FXb, VecDF4, GroupAlone2], (instregex "CX(F|G)BR(A)?$")>;
 846 def : InstRW<[WLat8, FXb, VecBF, Cracked], (instregex "C(E|D)L(F|G)BR$")>;
 847 def : InstRW<[WLat11, FXb, VecDF4, GroupAlone2], (instregex "CXL(F|G)BR$")>;
 848
 849 // Convert to fixed / logical
 850 def : InstRW<[WLat10, WLat10, FXb, VecBF, Cracked],
 851              (instregex "C(F|G)(E|D)BR(A)?$")>;
 852 def : InstRW<[WLat12, WLat12, FXb, VecDF2, Cracked],
 853              (instregex "C(F|G)XBR(A)?$")>;
 854 def : InstRW<[WLat10, WLat10, FXb, VecBF, GroupAlone], (instregex "CLFEBR$")>;
 855 def : InstRW<[WLat10, WLat10, FXb, VecBF, Cracked], (instregex "CLFDBR$")>;
 856 def : InstRW<[WLat10, WLat10, FXb, VecBF, Cracked], (instregex "CLG(E|D)BR$")>;
 857 def : InstRW<[WLat12, WLat12, FXb, VecDF2, Cracked], (instregex "CL(F|G)XBR$")>;
 858
 859 //===----------------------------------------------------------------------===//
 860 // FP: Unary arithmetic
 861 //===----------------------------------------------------------------------===//
 862
 863 // Load Complement / Negative / Positive
 864 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "L(C|N|P)(E|D)BR$")>;
 865 def : InstRW<[WLat1, FXb, NormalGr], (instregex "L(C|N|P)DFR(_32)?$")>;
 866 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "L(C|N|P)XBR$")>;
 867
 868 // Square root
 869 def : InstRW<[WLat30, VecFPd, LSU, NormalGr], (instregex "SQ(E|D)B$")>;
 870 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "SQ(E|D)BR$")>;
 871 def : InstRW<[WLat30, VecFPd, GroupAlone], (instregex "SQXBR$")>;
 872
 873 // Load FP integer
 874 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "FI(E|D)BR(A)?$")>;
 875 def : InstRW<[WLat10, VecDF4, GroupAlone], (instregex "FIXBR(A)?$")>;
 876
 877 //===----------------------------------------------------------------------===//
 878 // FP: Binary arithmetic
 879 //===----------------------------------------------------------------------===//
 880
 881 // Addition
 882 def : InstRW<[WLat7LSU, WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
 883              (instregex "A(E|D)B$")>;
 884 def : InstRW<[WLat7, WLat7, VecBF, NormalGr], (instregex "A(E|D)BR$")>;
 885 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "AXBR$")>;
 886
 887 // Subtraction
 888 def : InstRW<[WLat7LSU, WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
 889              (instregex "S(E|D)B$")>;
 890 def : InstRW<[WLat7, WLat7, VecBF, NormalGr], (instregex "S(E|D)BR$")>;
 891 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "SXBR$")>;
 892
 893 // Multiply
 894 def : InstRW<[WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
 895              (instregex "M(D|DE|EE)B$")>;
 896 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "M(D|DE|EE)BR$")>;
 897 def : InstRW<[WLat8LSU, RegReadAdv, VecBF4, LSU, GroupAlone],
 898              (instregex "MXDB$")>;
 899 def : InstRW<[WLat8, VecBF4, GroupAlone], (instregex "MXDBR$")>;
 900 def : InstRW<[WLat20, VecDF4, GroupAlone], (instregex "MXBR$")>;
 901
 902 // Multiply and add / subtract
 903 def : InstRW<[WLat7LSU, RegReadAdv, RegReadAdv, VecBF2, LSU, GroupAlone],
 904              (instregex "M(A|S)EB$")>;
 905 def : InstRW<[WLat7, VecBF, GroupAlone], (instregex "M(A|S)EBR$")>;
 906 def : InstRW<[WLat7LSU, RegReadAdv, RegReadAdv, VecBF2, LSU, GroupAlone],
 907              (instregex "M(A|S)DB$")>;
 908 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "M(A|S)DBR$")>;
 909
 910 // Division
 911 def : InstRW<[WLat30, RegReadAdv, VecFPd, LSU, NormalGr],
 912              (instregex "D(E|D)B$")>;
 913 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "D(E|D)BR$")>;
 914 def : InstRW<[WLat30, VecFPd, GroupAlone], (instregex "DXBR$")>;
 915
 916 // Divide to integer
 917 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "DI(E|D)BR$")>;
 918
 919 //===----------------------------------------------------------------------===//
 920 // FP: Comparisons
 921 //===----------------------------------------------------------------------===//
 922
 923 // Compare
 924 def : InstRW<[WLat3LSU, RegReadAdv, VecXsPm, LSU, NormalGr],
 925              (instregex "(K|C)(E|D)B$")>;
 926 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "(K|C)(E|D)BR$")>;
 927 def : InstRW<[WLat9, VecDF2, GroupAlone], (instregex "(K|C)XBR$")>;
 928
 929 // Test Data Class
 930 def : InstRW<[WLat5, LSU, VecXsPm, NormalGr], (instregex "TC(E|D)B$")>;
 931 def : InstRW<[WLat10, LSU, VecDF4, GroupAlone], (instregex "TCXB$")>;
 932
 933 //===----------------------------------------------------------------------===//
 934 // FP: Floating-point control register instructions
 935 //===----------------------------------------------------------------------===//
 936
 937 def : InstRW<[WLat4, FXa, LSU, GroupAlone], (instregex "EFPC$")>;
 938 def : InstRW<[WLat1, FXb, LSU, GroupAlone], (instregex "STFPC$")>;
 939 def : InstRW<[WLat3, LSU, GroupAlone], (instregex "SFPC$")>;
 940 def : InstRW<[WLat3LSU, LSU2, GroupAlone], (instregex "LFPC$")>;
 941 def : InstRW<[WLat30, MCD], (instregex "SFASR$")>;
 942 def : InstRW<[WLat30, MCD], (instregex "LFAS$")>;
 943 def : InstRW<[WLat3, FXb, GroupAlone], (instregex "SRNM(B|T)?$")>;
 944
 945
 946 // --------------------- Hexadecimal floating point ------------------------- //
 947
 948 //===----------------------------------------------------------------------===//
 949 // HFP: Move instructions
 950 //===----------------------------------------------------------------------===//
 951
 952 // Load and Test
 953 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "LT(E|D)R$")>;
 954 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "LTXR$")>;
 955
 956 //===----------------------------------------------------------------------===//
 957 // HFP: Conversion instructions
 958 //===----------------------------------------------------------------------===//
 959
 960 // Load rounded
 961 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "(LEDR|LRER)$")>;
 962 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "LEXR$")>;
 963 def : InstRW<[WLat9, VecDF2, NormalGr], (instregex "(LDXR|LRDR)$")>;
 964
 965 // Load lengthened
 966 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "LDE$")>;
 967 def : InstRW<[WLat1, FXb, NormalGr], (instregex "LDER$")>;
 968 def : InstRW<[WLat8LSU, VecBF4, LSU, GroupAlone], (instregex "LX(E|D)$")>;
 969 def : InstRW<[WLat8, VecBF4, GroupAlone], (instregex "LX(E|D)R$")>;
 970
 971 // Convert from fixed
 972 def : InstRW<[WLat8, FXb, VecBF, Cracked], (instregex "C(E|D)(F|G)R$")>;
 973 def : InstRW<[WLat11, FXb, VecDF4, GroupAlone2], (instregex "CX(F|G)R$")>;
 974
 975 // Convert to fixed
 976 def : InstRW<[WLat10, WLat10, FXb, VecBF, Cracked], (instregex "C(F|G)(E|D)R$")>;
 977 def : InstRW<[WLat12, WLat12, FXb, VecDF2, Cracked], (instregex "C(F|G)XR$")>;
 978
 979 // Convert BFP to HFP / HFP to BFP.
 980 def : InstRW<[WLat7, WLat7, VecBF, NormalGr], (instregex "THD(E)?R$")>;
 981 def : InstRW<[WLat7, WLat7, VecBF, NormalGr], (instregex "TB(E)?DR$")>;
 982
 983 //===----------------------------------------------------------------------===//
 984 // HFP: Unary arithmetic
 985 //===----------------------------------------------------------------------===//
 986
 987 // Load Complement / Negative / Positive
 988 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "L(C|N|P)(E|D)R$")>;
 989 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "L(C|N|P)XR$")>;
 990
 991 // Halve
 992 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "H(E|D)R$")>;
 993
 994 // Square root
 995 def : InstRW<[WLat30, VecFPd, LSU, NormalGr], (instregex "SQ(E|D)$")>;
 996 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "SQ(E|D)R$")>;
 997 def : InstRW<[WLat30, VecFPd, GroupAlone], (instregex "SQXR$")>;
 998
 999 // Load FP integer
1000 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "FI(E|D)R$")>;
1001 def : InstRW<[WLat10, VecDF4, GroupAlone], (instregex "FIXR$")>;
1002
1003 //===----------------------------------------------------------------------===//
1004 // HFP: Binary arithmetic
1005 //===----------------------------------------------------------------------===//
1006
1007 // Addition
1008 def : InstRW<[WLat7LSU, WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
1009              (instregex "A(E|D|U|W)$")>;
1010 def : InstRW<[WLat7, WLat7, VecBF, NormalGr], (instregex "A(E|D|U|W)R$")>;
1011 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "AXR$")>;
1012
1013 // Subtraction
1014 def : InstRW<[WLat7LSU, WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
1015              (instregex "S(E|D|U|W)$")>;
1016 def : InstRW<[WLat7, WLat7, VecBF, NormalGr], (instregex "S(E|D|U|W)R$")>;
1017 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "SXR$")>;
1018
1019 // Multiply
1020 def : InstRW<[WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
1021              (instregex "M(D|DE|E|EE)$")>;
1022 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "M(D|DE|E|EE)R$")>;
1023 def : InstRW<[WLat8LSU, RegReadAdv, VecBF4, LSU, GroupAlone],
1024              (instregex "MXD$")>;
1025 def : InstRW<[WLat8, VecBF4, GroupAlone], (instregex "MXDR$")>;
1026 def : InstRW<[WLat30, VecDF4, GroupAlone], (instregex "MXR$")>;
1027 def : InstRW<[WLat8LSU, RegReadAdv, VecBF4, LSU, GroupAlone], (instregex "MY$")>;
1028 def : InstRW<[WLat7LSU, RegReadAdv, VecBF2, LSU, GroupAlone],
1029              (instregex "MY(H|L)$")>;
1030 def : InstRW<[WLat8, VecBF4, GroupAlone], (instregex "MYR$")>;
1031 def : InstRW<[WLat7, VecBF, GroupAlone], (instregex "MY(H|L)R$")>;
1032
1033 // Multiply and add / subtract
1034 def : InstRW<[WLat7LSU, RegReadAdv, RegReadAdv, VecBF2, LSU, GroupAlone],
1035              (instregex "M(A|S)(E|D)$")>;
1036 def : InstRW<[WLat7, VecBF, GroupAlone], (instregex "M(A|S)(E|D)R$")>;
1037 def : InstRW<[WLat8LSU, RegReadAdv, RegReadAdv, VecBF4, LSU, GroupAlone],
1038              (instregex "MAY$")>;
1039 def : InstRW<[WLat7LSU, RegReadAdv, RegReadAdv, VecBF2, LSU, GroupAlone],
1040              (instregex "MAY(H|L)$")>;
1041 def : InstRW<[WLat8, VecBF4, GroupAlone], (instregex "MAYR$")>;
1042 def : InstRW<[WLat7, VecBF, GroupAlone], (instregex "MAY(H|L)R$")>;
1043
1044 // Division
1045 def : InstRW<[WLat30, RegReadAdv, VecFPd, LSU, NormalGr], (instregex "D(E|D)$")>;
1046 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "D(E|D)R$")>;
1047 def : InstRW<[WLat30, VecFPd, GroupAlone], (instregex "DXR$")>;
1048
1049 //===----------------------------------------------------------------------===//
1050 // HFP: Comparisons
1051 //===----------------------------------------------------------------------===//
1052
1053 // Compare
1054 def : InstRW<[WLat7LSU, RegReadAdv, VecBF, LSU, NormalGr],
1055              (instregex "C(E|D)$")>;
1056 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "C(E|D)R$")>;
1057 def : InstRW<[WLat10, VecDF2, GroupAlone], (instregex "CXR$")>;
1058
1059
1060 // ------------------------ Decimal floating point -------------------------- //
1061
1062 //===----------------------------------------------------------------------===//
1063 // DFP: Move instructions
1064 //===----------------------------------------------------------------------===//
1065
1066 // Load and Test
1067 def : InstRW<[WLat8, WLat8, VecDF, NormalGr], (instregex "LTDTR$")>;
1068 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "LTXTR$")>;
1069
1070 //===----------------------------------------------------------------------===//
1071 // DFP: Conversion instructions
1072 //===----------------------------------------------------------------------===//
1073
1074 // Load rounded
1075 def : InstRW<[WLat15, VecDF, NormalGr], (instregex "LEDTR$")>;
1076 def : InstRW<[WLat15, VecDF2, NormalGr], (instregex "LDXTR$")>;
1077
1078 // Load lengthened
1079 def : InstRW<[WLat8, VecDF, NormalGr], (instregex "LDETR$")>;
1080 def : InstRW<[WLat10, VecDF4, GroupAlone], (instregex "LXDTR$")>;
1081
1082 // Convert from fixed / logical
1083 def : InstRW<[WLat30, FXb, VecDF, Cracked], (instregex "CD(F|G)TR(A)?$")>;
1084 def : InstRW<[WLat30, FXb, VecDF4, GroupAlone2], (instregex "CX(F|G)TR(A)?$")>;
1085 def : InstRW<[WLat30, FXb, VecDF, Cracked], (instregex "CDL(F|G)TR$")>;
1086 def : InstRW<[WLat30, FXb, VecDF4, GroupAlone2], (instregex "CXL(F|G)TR$")>;
1087
1088 // Convert to fixed / logical
1089 def : InstRW<[WLat30, WLat30, FXb, VecDF, Cracked],
1090              (instregex "C(F|G)DTR(A)?$")>;
1091 def : InstRW<[WLat30, WLat30, FXb, VecDF2, Cracked],
1092              (instregex "C(F|G)XTR(A)?$")>;
1093 def : InstRW<[WLat30, WLat30, FXb, VecDF, Cracked], (instregex "CL(F|G)DTR$")>;
1094 def : InstRW<[WLat30, WLat30, FXb, VecDF2, Cracked], (instregex "CL(F|G)XTR$")>;
1095
1096 // Convert from / to signed / unsigned packed
1097 def : InstRW<[WLat9, FXb, VecDF, Cracked], (instregex "CD(S|U)TR$")>;
1098 def : InstRW<[WLat12, FXb2, VecDF4, GroupAlone2], (instregex "CX(S|U)TR$")>;
1099 def : InstRW<[WLat11, FXb, VecDF, Cracked], (instregex "C(S|U)DTR$")>;
1100 def : InstRW<[WLat15, FXb2, VecDF4, GroupAlone2], (instregex "C(S|U)XTR$")>;
1101
1102 // Convert from / to zoned
1103 def : InstRW<[WLat8LSU, LSU, VecDF, Cracked], (instregex "CDZT$")>;
1104 def : InstRW<[WLat16LSU, LSU2, VecDF4, GroupAlone3], (instregex "CXZT$")>;
1105 def : InstRW<[WLat1, FXb, LSU, VecDF, Cracked], (instregex "CZDT$")>;
1106 def : InstRW<[WLat1, FXb, LSU, VecDF2, GroupAlone], (instregex "CZXT$")>;
1107
1108 // Convert from / to packed
1109 def : InstRW<[WLat8LSU, LSU, VecDF, Cracked], (instregex "CDPT$")>;
1110 def : InstRW<[WLat16LSU, LSU2, VecDF4, GroupAlone3], (instregex "CXPT$")>;
1111 def : InstRW<[WLat1, FXb, LSU, VecDF, Cracked], (instregex "CPDT$")>;
1112 def : InstRW<[WLat1, FXb, LSU, VecDF2, GroupAlone], (instregex "CPXT$")>;
1113
1114 // Perform floating-point operation
1115 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "PFPO$")>;
1116
1117 //===----------------------------------------------------------------------===//
1118 // DFP: Unary arithmetic
1119 //===----------------------------------------------------------------------===//
1120
1121 // Load FP integer
1122 def : InstRW<[WLat8, VecDF, NormalGr], (instregex "FIDTR$")>;
1123 def : InstRW<[WLat10, VecDF4, GroupAlone], (instregex "FIXTR$")>;
1124
1125 // Extract biased exponent
1126 def : InstRW<[WLat11, FXb, VecDF, Cracked], (instregex "EEDTR$")>;
1127 def : InstRW<[WLat11, FXb, VecDF, Cracked], (instregex "EEXTR$")>;
1128
1129 // Extract significance
1130 def : InstRW<[WLat11, FXb, VecDF, Cracked], (instregex "ESDTR$")>;
1131 def : InstRW<[WLat12, FXb, VecDF2, Cracked], (instregex "ESXTR$")>;
1132
1133 //===----------------------------------------------------------------------===//
1134 // DFP: Binary arithmetic
1135 //===----------------------------------------------------------------------===//
1136
1137 // Addition
1138 def : InstRW<[WLat8, WLat8, VecDF, NormalGr], (instregex "ADTR(A)?$")>;
1139 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "AXTR(A)?$")>;
1140
1141 // Subtraction
1142 def : InstRW<[WLat8, WLat8, VecDF, NormalGr], (instregex "SDTR(A)?$")>;
1143 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "SXTR(A)?$")>;
1144
1145 // Multiply
1146 def : InstRW<[WLat30, VecDF, NormalGr], (instregex "MDTR(A)?$")>;
1147 def : InstRW<[WLat30, VecDF4, GroupAlone], (instregex "MXTR(A)?$")>;
1148
1149 // Division
1150 def : InstRW<[WLat30, VecDF, NormalGr], (instregex "DDTR(A)?$")>;
1151 def : InstRW<[WLat30, VecDF4, GroupAlone], (instregex "DXTR(A)?$")>;
1152
1153 // Quantize
1154 def : InstRW<[WLat8, WLat8, VecDF, NormalGr], (instregex "QADTR$")>;
1155 def : InstRW<[WLat10, WLat10, VecDF4, GroupAlone], (instregex "QAXTR$")>;
1156
1157 // Reround
1158 def : InstRW<[WLat9, WLat9, FXb, VecDF, Cracked], (instregex "RRDTR$")>;
1159 def : InstRW<[WLat11, WLat11, FXb, VecDF4, GroupAlone2], (instregex "RRXTR$")>;
1160
1161 // Shift significand left/right
1162 def : InstRW<[WLat11LSU, LSU, VecDF, GroupAlone], (instregex "S(L|R)DT$")>;
1163 def : InstRW<[WLat11LSU, LSU, VecDF4, GroupAlone], (instregex "S(L|R)XT$")>;
1164
1165 // Insert biased exponent
1166 def : InstRW<[WLat9, FXb, VecDF, Cracked], (instregex "IEDTR$")>;
1167 def : InstRW<[WLat11, FXb, VecDF4, GroupAlone2], (instregex "IEXTR$")>;
1168
1169 //===----------------------------------------------------------------------===//
1170 // DFP: Comparisons
1171 //===----------------------------------------------------------------------===//
1172
1173 // Compare
1174 def : InstRW<[WLat8, VecDF, NormalGr], (instregex "(K|C)DTR$")>;
1175 def : InstRW<[WLat9, VecDF2, GroupAlone], (instregex "(K|C)XTR$")>;
1176
1177 // Compare biased exponent
1178 def : InstRW<[WLat8, VecDF, NormalGr], (instregex "CEDTR$")>;
1179 def : InstRW<[WLat8, VecDF, NormalGr], (instregex "CEXTR$")>;
1180
1181 // Test Data Class/Group
1182 def : InstRW<[WLat15, LSU, VecDF, NormalGr], (instregex "TD(C|G)(E|D)T$")>;
1183 def : InstRW<[WLat15, LSU, VecDF2, GroupAlone], (instregex "TD(C|G)XT$")>;
1184
1185
1186 // --------------------------------- Vector --------------------------------- //
1187
1188 //===----------------------------------------------------------------------===//
1189 // Vector: Move instructions
1190 //===----------------------------------------------------------------------===//
1191
1192 def : InstRW<[WLat1, FXb, NormalGr], (instregex "VLR(32|64)?$")>;
1193 def : InstRW<[WLat3, FXb, NormalGr], (instregex "VLGV(B|F|G|H)?$")>;
1194 def : InstRW<[WLat1, FXb, NormalGr], (instregex "VLVG(B|F|G|H)?$")>;
1195 def : InstRW<[WLat3, FXb, NormalGr], (instregex "VLVGP(32)?$")>;
1196
1197 //===----------------------------------------------------------------------===//
1198 // Vector: Immediate instructions
1199 //===----------------------------------------------------------------------===//
1200
1201 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VZERO$")>;
1202 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VONE$")>;
1203 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VGBM$")>;
1204 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VGM(B|F|G|H)?$")>;
1205 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VREPI(B|F|G|H)?$")>;
1206 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VLEI(B|F|G|H)$")>;
1207
1208 //===----------------------------------------------------------------------===//
1209 // Vector: Loads
1210 //===----------------------------------------------------------------------===//
1211
1212 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "VL(Align)?$")>;
1213 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "VL(L|BB)$")>;
1214 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "VL(32|64)$")>;
1215 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "VLLEZ(B|F|G|H|LF)?$")>;
1216 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "VLREP(B|F|G|H)?$")>;
1217 def : InstRW<[WLat2LSU, RegReadAdv, VecXsPm, LSU, NormalGr],
1218              (instregex "VLE(B|F|G|H)$")>;
1219 def : InstRW<[WLat5LSU, RegReadAdv, FXb, LSU, VecXsPm, Cracked],
1220              (instregex "VGE(F|G)$")>;
1221 def : InstRW<[WLat4LSU, WLat4LSU, LSU5, GroupAlone],
1222              (instregex "VLM(Align)?$")>;
1223 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "VLRL(R)?$")>;
1224
1225 //===----------------------------------------------------------------------===//
1226 // Vector: Stores
1227 //===----------------------------------------------------------------------===//
1228
1229 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "VST(Align|L|32|64)?$")>;
1230 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "VSTE(F|G)$")>;
1231 def : InstRW<[WLat1, FXb, LSU, VecXsPm, Cracked], (instregex "VSTE(B|H)$")>;
1232 def : InstRW<[WLat1, LSU2, FXb3, GroupAlone2], (instregex "VSTM(Align)?$")>;
1233 def : InstRW<[WLat1, FXb2, LSU, Cracked], (instregex "VSCE(F|G)$")>;
1234 def : InstRW<[WLat1, FXb, LSU, NormalGr], (instregex "VSTRL(R)?$")>;
1235
1236 //===----------------------------------------------------------------------===//
1237 // Vector: Selects and permutes
1238 //===----------------------------------------------------------------------===//
1239
1240 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VMRH(B|F|G|H)?$")>;
1241 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VMRL(B|F|G|H)?$")>;
1242 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VPERM$")>;
1243 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VPDI$")>;
1244 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VBPERM$")>;
1245 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VREP(B|F|G|H)?$")>;
1246 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSEL$")>;
1247
1248 //===----------------------------------------------------------------------===//
1249 // Vector: Widening and narrowing
1250 //===----------------------------------------------------------------------===//
1251
1252 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VPK(F|G|H)?$")>;
1253 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VPKS(F|G|H)?$")>;
1254 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VPKS(F|G|H)S$")>;
1255 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VPKLS(F|G|H)?$")>;
1256 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VPKLS(F|G|H)S$")>;
1257 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSEG(B|F|H)?$")>;
1258 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VUPH(B|F|H)?$")>;
1259 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VUPL(B|F)?$")>;
1260 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VUPLH(B|F|H|W)?$")>;
1261 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VUPLL(B|F|H)?$")>;
1262
1263 //===----------------------------------------------------------------------===//
1264 // Vector: Integer arithmetic
1265 //===----------------------------------------------------------------------===//
1266
1267 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VA(B|F|G|H|Q|C|CQ)?$")>;
1268 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VACC(B|F|G|H|Q|C|CQ)?$")>;
1269 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VAVG(B|F|G|H)?$")>;
1270 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VAVGL(B|F|G|H)?$")>;
1271 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VN(C|O|N|X)?$")>;
1272 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VO(C)?$")>;
1273 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VCKSM$")>;
1274 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VCLZ(B|F|G|H)?$")>;
1275 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VCTZ(B|F|G|H)?$")>;
1276 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VX$")>;
1277 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VGFM?$")>;
1278 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VGFMA(B|F|G|H)?$")>;
1279 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VGFM(B|F|G|H)$")>;
1280 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VLC(B|F|G|H)?$")>;
1281 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VLP(B|F|G|H)?$")>;
1282 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VMX(B|F|G|H)?$")>;
1283 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VMXL(B|F|G|H)?$")>;
1284 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VMN(B|F|G|H)?$")>;
1285 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VMNL(B|F|G|H)?$")>;
1286 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMAL(B|F)?$")>;
1287 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMALE(B|F|H)?$")>;
1288 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMALH(B|F|H|W)?$")>;
1289 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMALO(B|F|H)?$")>;
1290 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMAO(B|F|H)?$")>;
1291 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMAE(B|F|H)?$")>;
1292 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMAH(B|F|H)?$")>;
1293 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VME(B|F|H)?$")>;
1294 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMH(B|F|H)?$")>;
1295 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VML(B|F)?$")>;
1296 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMLE(B|F|H)?$")>;
1297 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMLH(B|F|H|W)?$")>;
1298 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMLO(B|F|H)?$")>;
1299 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VMO(B|F|H)?$")>;
1300 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VMSL(G)?$")>;
1301
1302 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VPOPCT(B|F|G|H)?$")>;
1303
1304 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VERLL(B|F|G|H)?$")>;
1305 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VERLLV(B|F|G|H)?$")>;
1306 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VERIM(B|F|G|H)?$")>;
1307 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VESL(B|F|G|H)?$")>;
1308 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VESLV(B|F|G|H)?$")>;
1309 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VESRA(B|F|G|H)?$")>;
1310 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VESRAV(B|F|G|H)?$")>;
1311 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VESRL(B|F|G|H)?$")>;
1312 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VESRLV(B|F|G|H)?$")>;
1313
1314 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSL(DB)?$")>;
1315 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSLB$")>;
1316 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSR(A|L)$")>;
1317 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSR(A|L)B$")>;
1318
1319 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSB(I|IQ|CBI|CBIQ)?$")>;
1320 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VSCBI(B|F|G|H|Q)?$")>;
1321 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VS(F|G|H|Q)?$")>;
1322
1323 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VSUM(B|H)?$")>;
1324 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VSUMG(F|H)?$")>;
1325 def : InstRW<[WLat4, VecMul, NormalGr], (instregex "VSUMQ(F|G)?$")>;
1326
1327 //===----------------------------------------------------------------------===//
1328 // Vector: Integer comparison
1329 //===----------------------------------------------------------------------===//
1330
1331 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "VEC(B|F|G|H)?$")>;
1332 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "VECL(B|F|G|H)?$")>;
1333 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VCEQ(B|F|G|H)?$")>;
1334 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VCEQ(B|F|G|H)S$")>;
1335 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VCH(B|F|G|H)?$")>;
1336 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VCH(B|F|G|H)S$")>;
1337 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VCHL(B|F|G|H)?$")>;
1338 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VCHL(B|F|G|H)S$")>;
1339 def : InstRW<[WLat4, VecStr, NormalGr], (instregex "VTM$")>;
1340
1341 //===----------------------------------------------------------------------===//
1342 // Vector: Floating-point arithmetic
1343 //===----------------------------------------------------------------------===//
1344
1345 // Conversion and rounding
1346 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VCD(L)?G$")>;
1347 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VCD(L)?GB$")>;
1348 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WCD(L)?GB$")>;
1349 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VC(L)?GD$")>;
1350 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VC(L)?GDB$")>;
1351 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WC(L)?GDB$")>;
1352 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VL(DE|ED)$")>;
1353 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VL(DE|ED)B$")>;
1354 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WL(DE|ED)B$")>;
1355 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VFL(L|R)$")>;
1356 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VFL(LS|RD)$")>;
1357 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WFL(LS|RD)$")>;
1358 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "WFLLD$")>;
1359 def : InstRW<[WLat10, VecDF2, NormalGr], (instregex "WFLRX$")>;
1360 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VFI$")>;
1361 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VFIDB$")>;
1362 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WFIDB$")>;
1363 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VFISB$")>;
1364 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WFISB$")>;
1365 def : InstRW<[WLat10, VecDF2, NormalGr], (instregex "WFIXB$")>;
1366
1367 // Sign operations
1368 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VFPSO$")>;
1369 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "(V|W)FPSODB$")>;
1370 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "(V|W)FPSOSB$")>;
1371 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WFPSOXB$")>;
1372 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "(V|W)FL(C|N|P)DB$")>;
1373 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "(V|W)FL(C|N|P)SB$")>;
1374 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WFL(C|N|P)XB$")>;
1375
1376 // Minimum / maximum
1377 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VF(MAX|MIN)$")>;
1378 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VF(MAX|MIN)DB$")>;
1379 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WF(MAX|MIN)DB$")>;
1380 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VF(MAX|MIN)SB$")>;
1381 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WF(MAX|MIN)SB$")>;
1382 def : InstRW<[WLat2, VecDFX, NormalGr], (instregex "WF(MAX|MIN)XB$")>;
1383
1384 // Test data class
1385 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VFTCI$")>;
1386 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "(V|W)FTCIDB$")>;
1387 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "(V|W)FTCISB$")>;
1388 def : InstRW<[WLat3, WLat3, VecDFX, NormalGr], (instregex "WFTCIXB$")>;
1389
1390 // Add / subtract
1391 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VF(A|S)$")>;
1392 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VF(A|S)DB$")>;
1393 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WF(A|S)DB$")>;
1394 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VF(A|S)SB$")>;
1395 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WF(A|S)SB$")>;
1396 def : InstRW<[WLat10, VecDF2, NormalGr], (instregex "WF(A|S)XB$")>;
1397
1398 // Multiply / multiply-and-add/subtract
1399 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VFM$")>;
1400 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VFMDB$")>;
1401 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WFM(D|S)B$")>;
1402 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VFMSB$")>;
1403 def : InstRW<[WLat20, VecDF2, NormalGr], (instregex "WFMXB$")>;
1404 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VF(N)?M(A|S)$")>;
1405 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "VF(N)?M(A|S)DB$")>;
1406 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WF(N)?M(A|S)DB$")>;
1407 def : InstRW<[WLat8, VecBF2, NormalGr], (instregex "VF(N)?M(A|S)SB$")>;
1408 def : InstRW<[WLat7, VecBF, NormalGr], (instregex "WF(N)?M(A|S)SB$")>;
1409 def : InstRW<[WLat30, VecDF2, NormalGr], (instregex "WF(N)?M(A|S)XB$")>;
1410
1411 // Divide / square root
1412 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "VFD$")>;
1413 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "(V|W)FDDB$")>;
1414 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "(V|W)FDSB$")>;
1415 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "WFDXB$")>;
1416 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "VFSQ$")>;
1417 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "(V|W)FSQDB$")>;
1418 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "(V|W)FSQSB$")>;
1419 def : InstRW<[WLat30, VecFPd, NormalGr], (instregex "WFSQXB$")>;
1420
1421 //===----------------------------------------------------------------------===//
1422 // Vector: Floating-point comparison
1423 //===----------------------------------------------------------------------===//
1424
1425 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VF(C|K)(E|H|HE)$")>;
1426 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VF(C|K)(E|H|HE)DB$")>;
1427 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WFC(E|H|HE)DB$")>;
1428 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WFK(E|H|HE)DB$")>;
1429 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "VF(C|K)(E|H|HE)SB$")>;
1430 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WFC(E|H|HE)SB$")>;
1431 def : InstRW<[WLat2, VecXsPm, NormalGr], (instregex "WFK(E|H|HE)SB$")>;
1432 def : InstRW<[WLat2, VecDFX, NormalGr], (instregex "WFC(E|H|HE)XB$")>;
1433 def : InstRW<[WLat2, VecDFX, NormalGr], (instregex "WFK(E|H|HE)XB$")>;
1434 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VFC(E|H|HE)DBS$")>;
1435 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "VFK(E|H|HE)DBS$")>;
1436 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr],
1437              (instregex "WF(C|K)(E|H|HE)DBS$")>;
1438 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr],
1439              (instregex "VF(C|K)(E|H|HE)SBS$")>;
1440 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "WFC(E|H|HE)SBS$")>;
1441 def : InstRW<[WLat3, WLat3, VecXsPm, NormalGr], (instregex "WFK(E|H|HE)SBS$")>;
1442 def : InstRW<[WLat3, WLat3, VecDFX, NormalGr], (instregex "WFC(E|H|HE)XBS$")>;
1443 def : InstRW<[WLat3, WLat3, VecDFX, NormalGr], (instregex "WFK(E|H|HE)XBS$")>;
1444 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "WF(C|K)$")>;
1445 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "WF(C|K)DB$")>;
1446 def : InstRW<[WLat3, VecXsPm, NormalGr], (instregex "WF(C|K)SB$")>;
1447 def : InstRW<[WLat3, VecDFX, NormalGr], (instregex "WF(C|K)XB$")>;
1448
1449 //===----------------------------------------------------------------------===//
1450 // Vector: Floating-point insertion and extraction
1451 //===----------------------------------------------------------------------===//
1452
1453 def : InstRW<[WLat1, FXb, NormalGr], (instregex "LEFR$")>;
1454 def : InstRW<[WLat3, FXb, NormalGr], (instregex "LFER$")>;
1455
1456 //===----------------------------------------------------------------------===//
1457 // Vector: String instructions
1458 //===----------------------------------------------------------------------===//
1459
1460 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VFAE(B)?$")>;
1461 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VFAE(F|H)$")>;
1462 def : InstRW<[WLat4, WLat4, VecStr, NormalGr], (instregex "VFAE(B|F|H)S$")>;
1463 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VFAEZ(B|F|H)$")>;
1464 def : InstRW<[WLat4, WLat4, VecStr, NormalGr], (instregex "VFAEZ(B|F|H)S$")>;
1465 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VFEE(B|F|H|ZB|ZF|ZH)?$")>;
1466 def : InstRW<[WLat4, WLat4, VecStr, NormalGr],
1467              (instregex "VFEE(B|F|H|ZB|ZF|ZH)S$")>;
1468 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VFENE(B|F|H|ZB|ZF|ZH)?$")>;
1469 def : InstRW<[WLat4, WLat4, VecStr, NormalGr],
1470              (instregex "VFENE(B|F|H|ZB|ZF|ZH)S$")>;
1471 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VISTR(B|F|H)?$")>;
1472 def : InstRW<[WLat4, WLat4, VecStr, NormalGr], (instregex "VISTR(B|F|H)S$")>;
1473 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VSTRC(B|F|H)?$")>;
1474 def : InstRW<[WLat4, WLat4, VecStr, NormalGr], (instregex "VSTRC(B|F|H)S$")>;
1475 def : InstRW<[WLat3, VecStr, NormalGr], (instregex "VSTRCZ(B|F|H)$")>;
1476 def : InstRW<[WLat4, WLat4, VecStr, NormalGr], (instregex "VSTRCZ(B|F|H)S$")>;
1477
1478 //===----------------------------------------------------------------------===//
1479 // Vector: Packed-decimal instructions
1480 //===----------------------------------------------------------------------===//
1481
1482 def : InstRW<[WLat10, VecDF2, NormalGr], (instregex "VLIP$")>;
1483 def : InstRW<[WLat6, VecDFX, LSU, GroupAlone2], (instregex "VPKZ$")>;
1484 def : InstRW<[WLat1, VecDFX, FXb, LSU, Cracked], (instregex "VUPKZ$")>;
1485 def : InstRW<[WLat20, WLat20, VecDF2, FXb, GroupAlone], (instregex "VCVB(G)?$")>;
1486 def : InstRW<[WLat20, WLat20, VecDF2, FXb, GroupAlone], (instregex "VCVD(G)?$")>;
1487 def : InstRW<[WLat4, WLat4, VecDFX, NormalGr], (instregex "V(A|S)P$")>;
1488 def : InstRW<[WLat30, WLat30, VecDF2, GroupAlone], (instregex "VM(S)?P$")>;
1489 def : InstRW<[WLat30, WLat30, VecDF2, GroupAlone], (instregex "V(D|R)P$")>;
1490 def : InstRW<[WLat30, WLat30, MCD], (instregex "VSDP$")>;
1491 def : InstRW<[WLat10, WLat10, VecDF2, NormalGr], (instregex "VSRP$")>;
1492 def : InstRW<[WLat4, WLat4, VecDFX, NormalGr], (instregex "VPSOP$")>;
1493 def : InstRW<[WLat2, VecDFX, NormalGr], (instregex "V(T|C)P$")>;
1494
1495
1496 // -------------------------------- System ---------------------------------- //
1497
1498 //===----------------------------------------------------------------------===//
1499 // System: Program-Status Word Instructions
1500 //===----------------------------------------------------------------------===//
1501
1502 def : InstRW<[WLat30, WLat30, MCD], (instregex "EPSW$")>;
1503 def : InstRW<[WLat20, GroupAlone3], (instregex "LPSW(E)?$")>;
1504 def : InstRW<[WLat3, FXa, GroupAlone], (instregex "IPK$")>;
1505 def : InstRW<[WLat1, LSU, EndGroup], (instregex "SPKA$")>;
1506 def : InstRW<[WLat1, LSU, EndGroup], (instregex "SSM$")>;
1507 def : InstRW<[WLat1, FXb, LSU, GroupAlone], (instregex "ST(N|O)SM$")>;
1508 def : InstRW<[WLat3, FXa, NormalGr], (instregex "IAC$")>;
1509 def : InstRW<[WLat1, LSU, EndGroup], (instregex "SAC(F)?$")>;
1510
1511 //===----------------------------------------------------------------------===//
1512 // System: Control Register Instructions
1513 //===----------------------------------------------------------------------===//
1514
1515 def : InstRW<[WLat4LSU, WLat4LSU, LSU2, GroupAlone], (instregex "LCTL(G)?$")>;
1516 def : InstRW<[WLat1, LSU5, FXb, GroupAlone2], (instregex "STCT(L|G)$")>;
1517 def : InstRW<[LSULatency, LSU, NormalGr], (instregex "E(P|S)A(I)?R$")>;
1518 def : InstRW<[WLat30, MCD], (instregex "SSA(I)?R$")>;
1519 def : InstRW<[WLat30, MCD], (instregex "ESEA$")>;
1520
1521 //===----------------------------------------------------------------------===//
1522 // System: Prefix-Register Instructions
1523 //===----------------------------------------------------------------------===//
1524
1525 def : InstRW<[WLat30, MCD], (instregex "S(T)?PX$")>;
1526
1527 //===----------------------------------------------------------------------===//
1528 // System: Storage-Key and Real Memory Instructions
1529 //===----------------------------------------------------------------------===//
1530
1531 def : InstRW<[WLat30, MCD], (instregex "ISKE$")>;
1532 def : InstRW<[WLat30, MCD], (instregex "IVSK$")>;
1533 def : InstRW<[WLat30, MCD], (instregex "SSKE(Opt)?$")>;
1534 def : InstRW<[WLat30, MCD], (instregex "RRB(E|M)$")>;
1535 def : InstRW<[WLat30, MCD], (instregex "IRBM$")>;
1536 def : InstRW<[WLat30, MCD], (instregex "PFMF$")>;
1537 def : InstRW<[WLat30, WLat30, MCD], (instregex "TB$")>;
1538 def : InstRW<[WLat30, MCD], (instregex "PGIN$")>;
1539 def : InstRW<[WLat30, MCD], (instregex "PGOUT$")>;
1540
1541 //===----------------------------------------------------------------------===//
1542 // System: Dynamic-Address-Translation Instructions
1543 //===----------------------------------------------------------------------===//
1544
1545 def : InstRW<[WLat30, MCD], (instregex "IPTE(Opt)?(Opt)?$")>;
1546 def : InstRW<[WLat30, MCD], (instregex "IDTE(Opt)?$")>;
1547 def : InstRW<[WLat30, MCD], (instregex "CRDTE(Opt)?$")>;
1548 def : InstRW<[WLat30, MCD], (instregex "PTLB$")>;
1549 def : InstRW<[WLat30, WLat30, MCD], (instregex "CSP(G)?$")>;
1550 def : InstRW<[WLat30, WLat30, WLat30, MCD], (instregex "LPTEA$")>;
1551 def : InstRW<[WLat30, WLat30, MCD], (instregex "LRA(Y|G)?$")>;
1552 def : InstRW<[WLat30, MCD], (instregex "STRAG$")>;
1553 def : InstRW<[WLat30, MCD], (instregex "LURA(G)?$")>;
1554 def : InstRW<[WLat30, MCD], (instregex "STUR(A|G)$")>;
1555 def : InstRW<[WLat30, MCD], (instregex "TPROT$")>;
1556
1557 //===----------------------------------------------------------------------===//
1558 // System: Memory-move Instructions
1559 //===----------------------------------------------------------------------===//
1560
1561 def : InstRW<[WLat4LSU, FXa2, FXb, LSU5, GroupAlone2], (instregex "MVC(K|P|S)$")>;
1562 def : InstRW<[WLat1, FXa, LSU5, GroupAlone2], (instregex "MVC(S|D)K$")>;
1563 def : InstRW<[WLat30, MCD], (instregex "MVCOS$")>;
1564 def : InstRW<[WLat30, MCD], (instregex "MVPG$")>;
1565
1566 //===----------------------------------------------------------------------===//
1567 // System: Address-Space Instructions
1568 //===----------------------------------------------------------------------===//
1569
1570 def : InstRW<[WLat30, MCD], (instregex "LASP$")>;
1571 def : InstRW<[WLat1, LSU, GroupAlone], (instregex "PALB$")>;
1572 def : InstRW<[WLat30, MCD], (instregex "PC$")>;
1573 def : InstRW<[WLat30, MCD], (instregex "PR$")>;
1574 def : InstRW<[WLat30, MCD], (instregex "PT(I)?$")>;
1575 def : InstRW<[WLat30, MCD], (instregex "RP$")>;
1576 def : InstRW<[WLat30, MCD], (instregex "BS(G|A)$")>;
1577 def : InstRW<[WLat30, MCD], (instregex "TAR$")>;
1578
1579 //===----------------------------------------------------------------------===//
1580 // System: Linkage-Stack Instructions
1581 //===----------------------------------------------------------------------===//
1582
1583 def : InstRW<[WLat30, MCD], (instregex "BAKR$")>;
1584 def : InstRW<[WLat30, MCD], (instregex "EREG(G)?$")>;
1585 def : InstRW<[WLat30, WLat30, MCD], (instregex "(E|M)STA$")>;
1586
1587 //===----------------------------------------------------------------------===//
1588 // System: Time-Related Instructions
1589 //===----------------------------------------------------------------------===//
1590
1591 def : InstRW<[WLat30, MCD], (instregex "PTFF$")>;
1592 def : InstRW<[WLat30, MCD], (instregex "SCK(PF|C)?$")>;
1593 def : InstRW<[WLat1, LSU2, GroupAlone], (instregex "SPT$")>;
1594 def : InstRW<[WLat15, LSU3, FXa2, FXb, GroupAlone2], (instregex "STCK(F)?$")>;
1595 def : InstRW<[WLat20, LSU4, FXa2, FXb2, GroupAlone3], (instregex "STCKE$")>;
1596 def : InstRW<[WLat30, MCD], (instregex "STCKC$")>;
1597 def : InstRW<[WLat1, LSU2, FXb, Cracked], (instregex "STPT$")>;
1598
1599 //===----------------------------------------------------------------------===//
1600 // System: CPU-Related Instructions
1601 //===----------------------------------------------------------------------===//
1602
1603 def : InstRW<[WLat30, MCD], (instregex "STAP$")>;
1604 def : InstRW<[WLat30, MCD], (instregex "STIDP$")>;
1605 def : InstRW<[WLat30, WLat30, MCD], (instregex "STSI$")>;
1606 def : InstRW<[WLat30, WLat30, MCD], (instregex "STFL(E)?$")>;
1607 def : InstRW<[WLat30, MCD], (instregex "ECAG$")>;
1608 def : InstRW<[WLat30, WLat30, MCD], (instregex "ECTG$")>;
1609 def : InstRW<[WLat30, MCD], (instregex "PTF$")>;
1610 def : InstRW<[WLat30, MCD], (instregex "PCKMO$")>;
1611
1612 //===----------------------------------------------------------------------===//
1613 // System: Miscellaneous Instructions
1614 //===----------------------------------------------------------------------===//
1615
1616 def : InstRW<[WLat30, MCD], (instregex "SVC$")>;
1617 def : InstRW<[WLat1, FXb, GroupAlone], (instregex "MC$")>;
1618 def : InstRW<[WLat30, MCD], (instregex "DIAG$")>;
1619 def : InstRW<[WLat1, FXb, NormalGr], (instregex "TRAC(E|G)$")>;
1620 def : InstRW<[WLat30, MCD], (instregex "TRAP(2|4)$")>;
1621 def : InstRW<[WLat30, MCD], (instregex "SIG(P|A)$")>;
1622 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
1623
1624 //===----------------------------------------------------------------------===//
1625 // System: CPU-Measurement Facility Instructions
1626 //===----------------------------------------------------------------------===//
1627
1628 def : InstRW<[WLat1, FXb, NormalGr], (instregex "LPP$")>;
1629 def : InstRW<[WLat30, WLat30, MCD], (instregex "ECPGA$")>;
1630 def : InstRW<[WLat30, WLat30, MCD], (instregex "E(C|P)CTR$")>;
1631 def : InstRW<[WLat30, MCD], (instregex "LCCTL$")>;
1632 def : InstRW<[WLat30, MCD], (instregex "L(P|S)CTL$")>;
1633 def : InstRW<[WLat30, MCD], (instregex "Q(S|CTR)I$")>;
1634 def : InstRW<[WLat30, MCD], (instregex "S(C|P)CTR$")>;
1635
1636 //===----------------------------------------------------------------------===//
1637 // System: I/O Instructions
1638 //===----------------------------------------------------------------------===//
1639
1640 def : InstRW<[WLat30, MCD], (instregex "(C|H|R|X)SCH$")>;
1641 def : InstRW<[WLat30, MCD], (instregex "(M|S|ST|T)SCH$")>;
1642 def : InstRW<[WLat30, MCD], (instregex "RCHP$")>;
1643 def : InstRW<[WLat30, MCD], (instregex "SCHM$")>;
1644 def : InstRW<[WLat30, MCD], (instregex "STC(PS|RW)$")>;
1645 def : InstRW<[WLat30, MCD], (instregex "TPI$")>;
1646 def : InstRW<[WLat30, MCD], (instregex "SAL$")>;
1647
1648 }
1649