lib/Target/PowerPC/PPCInstrFormats.td

   1 //===- PowerPCInstrFormats.td - PowerPC Instruction Formats --*- tablegen -*-=//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by the LLVM research group and is distributed under
   6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 //===----------------------------------------------------------------------===//
  11 //
  12 // PowerPC instruction formats
  13
  14 class I<bits<6> opcode, dag OOL, dag IOL, string asmstr, InstrItinClass itin>
  15         : Instruction {
  16   field bits<32> Inst;
  17
  18   bit PPC64 = 0;  // Default value, override with isPPC64
  19
  20   let Name = "";
  21   let Namespace = "PPC";
  22   let Inst{0-5} = opcode;
  23   let OutOperandList = OOL;
  24   let InOperandList = IOL;
  25   let AsmString = asmstr;
  26   let Itinerary = itin;
  27
  28   /// These fields correspond to the fields in PPCInstrInfo.h.  Any changes to
  29   /// these must be reflected there!  See comments there for what these are.
  30   bits<1> PPC970_First = 0;
  31   bits<1> PPC970_Single = 0;
  32   bits<1> PPC970_Cracked = 0;
  33   bits<3> PPC970_Unit = 0;
  34 }
  35
  36 class PPC970_DGroup_First   { bits<1> PPC970_First = 1;  }
  37 class PPC970_DGroup_Single  { bits<1> PPC970_Single = 1; }
  38 class PPC970_DGroup_Cracked { bits<1> PPC970_Cracked = 1; }
  39 class PPC970_MicroCode;
  40
  41 class PPC970_Unit_Pseudo   { bits<3> PPC970_Unit = 0;   }
  42 class PPC970_Unit_FXU      { bits<3> PPC970_Unit = 1;   }
  43 class PPC970_Unit_LSU      { bits<3> PPC970_Unit = 2;   }
  44 class PPC970_Unit_FPU      { bits<3> PPC970_Unit = 3;   }
  45 class PPC970_Unit_CRU      { bits<3> PPC970_Unit = 4;   }
  46 class PPC970_Unit_VALU     { bits<3> PPC970_Unit = 5;   }
  47 class PPC970_Unit_VPERM    { bits<3> PPC970_Unit = 6;   }
  48 class PPC970_Unit_BRU      { bits<3> PPC970_Unit = 7;   }
  49
  50
  51 // 1.7.1 I-Form
  52 class IForm<bits<6> opcode, bit aa, bit lk, dag OOL, dag IOL, string asmstr,
  53             InstrItinClass itin, list<dag> pattern>
  54          : I<opcode, OOL, IOL, asmstr, itin> {
  55   let Pattern = pattern;
  56   bits<24> LI;
  57
  58   let Inst{6-29}  = LI;
  59   let Inst{30}    = aa;
  60   let Inst{31}    = lk;
  61 }
  62
  63 // 1.7.2 B-Form
  64 class BForm<bits<6> opcode, bit aa, bit lk, dag OOL, dag IOL, string asmstr>
  65   : I<opcode, OOL, IOL, asmstr, BrB> {
  66   bits<7> BIBO;  // 2 bits of BI and 5 bits of BO.
  67   bits<3>  CR;
  68   bits<14> BD;
  69
  70   bits<5> BI;
  71   let BI{0-1} = BIBO{5-6};
  72   let BI{2-4} = CR{0-2};
  73
  74   let Inst{6-10}  = BIBO{4-0};
  75   let Inst{11-15} = BI;
  76   let Inst{16-29} = BD;
  77   let Inst{30}    = aa;
  78   let Inst{31}    = lk;
  79 }
  80
  81
  82 // 1.7.4 D-Form
  83 class DForm_base<bits<6> opcode, dag OOL, dag IOL, string asmstr,
  84                  InstrItinClass itin, list<dag> pattern>
  85   : I<opcode, OOL, IOL, asmstr, itin> {
  86   bits<5>  A;
  87   bits<5>  B;
  88   bits<16> C;
  89
  90   let Pattern = pattern;
  91
  92   let Inst{6-10}  = A;
  93   let Inst{11-15} = B;
  94   let Inst{16-31} = C;
  95 }
  96
  97 class DForm_1<bits<6> opcode, dag OOL, dag IOL, string asmstr,
  98               InstrItinClass itin, list<dag> pattern>
  99   : I<opcode, OOL, IOL, asmstr, itin> {
 100   bits<5>  A;
 101   bits<16> C;
 102   bits<5>  B;
 103
 104   let Pattern = pattern;
 105
 106   let Inst{6-10}  = A;
 107   let Inst{11-15} = B;
 108   let Inst{16-31} = C;
 109 }
 110
 111 class DForm_2<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 112               InstrItinClass itin, list<dag> pattern>
 113   : DForm_base<opcode, OOL, IOL, asmstr, itin, pattern>;
 114
 115 class DForm_2_r0<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 116                  InstrItinClass itin, list<dag> pattern>
 117   : I<opcode, OOL, IOL, asmstr, itin> {
 118   bits<5>  A;
 119   bits<16> B;
 120
 121   let Pattern = pattern;
 122
 123   let Inst{6-10}  = A;
 124   let Inst{11-15} = 0;
 125   let Inst{16-31} = B;
 126 }
 127
 128 class DForm_4<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 129               InstrItinClass itin, list<dag> pattern>
 130   : I<opcode, OOL, IOL, asmstr, itin> {
 131   bits<5>  B;
 132   bits<5>  A;
 133   bits<16> C;
 134
 135   let Pattern = pattern;
 136
 137   let Inst{6-10}  = A;
 138   let Inst{11-15} = B;
 139   let Inst{16-31} = C;
 140 }
 141
 142 class DForm_4_zero<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 143                    InstrItinClass itin, list<dag> pattern>
 144   : DForm_1<opcode, OOL, IOL, asmstr, itin, pattern> {
 145   let A = 0;
 146   let B = 0;
 147   let C = 0;
 148 }
 149
 150 class DForm_5<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 151               InstrItinClass itin>
 152   : I<opcode, OOL, IOL, asmstr, itin> {
 153   bits<3>  BF;
 154   bits<1>  L;
 155   bits<5>  RA;
 156   bits<16> I;
 157
 158   let Inst{6-8}   = BF;
 159   let Inst{9}     = 0;
 160   let Inst{10}    = L;
 161   let Inst{11-15} = RA;
 162   let Inst{16-31} = I;
 163 }
 164
 165 class DForm_5_ext<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 166                   InstrItinClass itin>
 167   : DForm_5<opcode, OOL, IOL, asmstr, itin> {
 168   let L = PPC64;
 169 }
 170
 171 class DForm_6<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 172               InstrItinClass itin>
 173   : DForm_5<opcode, OOL, IOL, asmstr, itin>;
 174
 175 class DForm_6_ext<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 176                   InstrItinClass itin>
 177   : DForm_6<opcode, OOL, IOL, asmstr, itin> {
 178   let L = PPC64;
 179 }
 180
 181
 182 // 1.7.5 DS-Form
 183 class DSForm_1<bits<6> opcode, bits<2> xo, dag OOL, dag IOL, string asmstr,
 184                InstrItinClass itin, list<dag> pattern>
 185          : I<opcode, OOL, IOL, asmstr, itin> {
 186   bits<5>  RST;
 187   bits<14> DS;
 188   bits<5>  RA;
 189
 190   let Pattern = pattern;
 191
 192   let Inst{6-10}  = RST;
 193   let Inst{11-15} = RA;
 194   let Inst{16-29} = DS;
 195   let Inst{30-31} = xo;
 196 }
 197
 198 // 1.7.6 X-Form
 199 class XForm_base_r3xo<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 200                       InstrItinClass itin, list<dag> pattern>
 201   : I<opcode, OOL, IOL, asmstr, itin> {
 202   bits<5> RST;
 203   bits<5> A;
 204   bits<5> B;
 205
 206   let Pattern = pattern;
 207
 208   bit RC = 0;    // set by isDOT
 209
 210   let Inst{6-10}  = RST;
 211   let Inst{11-15} = A;
 212   let Inst{16-20} = B;
 213   let Inst{21-30} = xo;
 214   let Inst{31}    = RC;
 215 }
 216
 217 // This is the same as XForm_base_r3xo, but the first two operands are swapped
 218 // when code is emitted.
 219 class XForm_base_r3xo_swapped
 220         <bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 221         InstrItinClass itin>
 222   : I<opcode, OOL, IOL, asmstr, itin> {
 223   bits<5> A;
 224   bits<5> RST;
 225   bits<5> B;
 226
 227   bit RC = 0;    // set by isDOT
 228
 229   let Inst{6-10}  = RST;
 230   let Inst{11-15} = A;
 231   let Inst{16-20} = B;
 232   let Inst{21-30} = xo;
 233   let Inst{31}    = RC;
 234 }
 235
 236
 237 class XForm_1<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 238               InstrItinClass itin, list<dag> pattern>
 239   : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern>;
 240
 241 class XForm_6<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 242               InstrItinClass itin, list<dag> pattern>
 243   : XForm_base_r3xo_swapped<opcode, xo, OOL, IOL, asmstr, itin> {
 244   let Pattern = pattern;
 245 }
 246
 247 class XForm_8<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 248               InstrItinClass itin, list<dag> pattern>
 249   : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern>;
 250
 251 class XForm_10<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 252                InstrItinClass itin, list<dag> pattern>
 253   : XForm_base_r3xo_swapped<opcode, xo, OOL, IOL, asmstr, itin> {
 254     let Pattern = pattern;
 255 }
 256
 257 class XForm_11<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 258                InstrItinClass itin, list<dag> pattern>
 259   : XForm_base_r3xo_swapped<opcode, xo, OOL, IOL, asmstr, itin> {
 260   let B = 0;
 261   let Pattern = pattern;
 262 }
 263
 264 class XForm_16<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 265                InstrItinClass itin>
 266          : I<opcode, OOL, IOL, asmstr, itin> {
 267   bits<3> BF;
 268   bits<1> L;
 269   bits<5> RA;
 270   bits<5> RB;
 271
 272   let Inst{6-8}   = BF;
 273   let Inst{9}     = 0;
 274   let Inst{10}    = L;
 275   let Inst{11-15} = RA;
 276   let Inst{16-20} = RB;
 277   let Inst{21-30} = xo;
 278   let Inst{31}    = 0;
 279 }
 280
 281 class XForm_16_ext<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 282                    InstrItinClass itin>
 283   : XForm_16<opcode, xo, OOL, IOL, asmstr, itin> {
 284   let L = PPC64;
 285 }
 286
 287 class XForm_17<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 288                InstrItinClass itin>
 289          : I<opcode, OOL, IOL, asmstr, itin> {
 290   bits<3> BF;
 291   bits<5> FRA;
 292   bits<5> FRB;
 293
 294   let Inst{6-8}   = BF;
 295   let Inst{9-10}  = 0;
 296   let Inst{11-15} = FRA;
 297   let Inst{16-20} = FRB;
 298   let Inst{21-30} = xo;
 299   let Inst{31}    = 0;
 300 }
 301
 302 class XForm_25<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 303                InstrItinClass itin, list<dag> pattern>
 304   : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
 305 }
 306
 307 class XForm_26<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 308                InstrItinClass itin, list<dag> pattern>
 309   : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
 310   let A = 0;
 311 }
 312
 313 class XForm_28<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 314                InstrItinClass itin, list<dag> pattern>
 315   : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
 316 }
 317
 318 // DCB_Form - Form X instruction, used for dcb* instructions.
 319 class DCB_Form<bits<10> xo, bits<5> immfield, dag OOL, dag IOL, string asmstr,
 320                       InstrItinClass itin, list<dag> pattern>
 321   : I<31, OOL, IOL, asmstr, itin> {
 322   bits<5> A;
 323   bits<5> B;
 324
 325   let Pattern = pattern;
 326
 327   let Inst{6-10}  = immfield;
 328   let Inst{11-15} = A;
 329   let Inst{16-20} = B;
 330   let Inst{21-30} = xo;
 331   let Inst{31}    = 0;
 332 }
 333
 334
 335 // DSS_Form - Form X instruction, used for altivec dss* instructions.
 336 class DSS_Form<bits<10> xo, dag OOL, dag IOL, string asmstr,
 337                       InstrItinClass itin, list<dag> pattern>
 338   : I<31, OOL, IOL, asmstr, itin> {
 339   bits<1> T;
 340   bits<2> STRM;
 341   bits<5> A;
 342   bits<5> B;
 343
 344   let Pattern = pattern;
 345
 346   let Inst{6}     = T;
 347   let Inst{7-8}   = 0;
 348   let Inst{9-10}  = STRM;
 349   let Inst{11-15} = A;
 350   let Inst{16-20} = B;
 351   let Inst{21-30} = xo;
 352   let Inst{31}    = 0;
 353 }
 354
 355 // 1.7.7 XL-Form
 356 class XLForm_1<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 357                InstrItinClass itin, list<dag> pattern>
 358     : I<opcode, OOL, IOL, asmstr, itin> {
 359   bits<5> CRD;
 360   bits<5> CRA;
 361   bits<5> CRB;
 362
 363   let Pattern = pattern;
 364
 365   let Inst{6-10}  = CRD;
 366   let Inst{11-15} = CRA;
 367   let Inst{16-20} = CRB;
 368   let Inst{21-30} = xo;
 369   let Inst{31}    = 0;
 370 }
 371
 372 class XLForm_1_ext<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 373                InstrItinClass itin, list<dag> pattern>
 374     : I<opcode, OOL, IOL, asmstr, itin> {
 375   bits<5> CRD;
 376
 377   let Pattern = pattern;
 378
 379   let Inst{6-10}  = CRD;
 380   let Inst{11-15} = CRD;
 381   let Inst{16-20} = CRD;
 382   let Inst{21-30} = xo;
 383   let Inst{31}    = 0;
 384 }
 385
 386 class XLForm_2<bits<6> opcode, bits<10> xo, bit lk, dag OOL, dag IOL, string asmstr,
 387                InstrItinClass itin, list<dag> pattern>
 388     : I<opcode, OOL, IOL, asmstr, itin> {
 389   bits<5> BO;
 390   bits<5> BI;
 391   bits<2> BH;
 392
 393   let Pattern = pattern;
 394
 395   let Inst{6-10}  = BO;
 396   let Inst{11-15} = BI;
 397   let Inst{16-18} = 0;
 398   let Inst{19-20} = BH;
 399   let Inst{21-30} = xo;
 400   let Inst{31}    = lk;
 401 }
 402
 403 class XLForm_2_br<bits<6> opcode, bits<10> xo, bit lk,
 404                   dag OOL, dag IOL, string asmstr, InstrItinClass itin, list<dag> pattern>
 405   : XLForm_2<opcode, xo, lk, OOL, IOL, asmstr, itin, pattern> {
 406   bits<7> BIBO;  // 2 bits of BI and 5 bits of BO.
 407   bits<3>  CR;
 408
 409   let BO = BIBO{2-6};
 410   let BI{0-1} = BIBO{0-1};
 411   let BI{2-4} = CR;
 412   let BH = 0;
 413 }
 414
 415
 416 class XLForm_2_ext<bits<6> opcode, bits<10> xo, bits<5> bo,  bits<5> bi, bit lk,
 417                   dag OOL, dag IOL, string asmstr, InstrItinClass itin, list<dag> pattern>
 418   : XLForm_2<opcode, xo, lk, OOL, IOL, asmstr, itin, pattern> {
 419   let BO = bo;
 420   let BI = bi;
 421   let BH = 0;
 422 }
 423
 424 class XLForm_3<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 425                InstrItinClass itin>
 426          : I<opcode, OOL, IOL, asmstr, itin> {
 427   bits<3> BF;
 428   bits<3> BFA;
 429
 430   let Inst{6-8}   = BF;
 431   let Inst{9-10}  = 0;
 432   let Inst{11-13} = BFA;
 433   let Inst{14-15} = 0;
 434   let Inst{16-20} = 0;
 435   let Inst{21-30} = xo;
 436   let Inst{31}    = 0;
 437 }
 438
 439 // 1.7.8 XFX-Form
 440 class XFXForm_1<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 441                 InstrItinClass itin>
 442          : I<opcode, OOL, IOL, asmstr, itin> {
 443   bits<5>  RT;
 444   bits<10> SPR;
 445
 446   let Inst{6-10}  = RT;
 447   let Inst{11}    = SPR{4};
 448   let Inst{12}    = SPR{3};
 449   let Inst{13}    = SPR{2};
 450   let Inst{14}    = SPR{1};
 451   let Inst{15}    = SPR{0};
 452   let Inst{16}    = SPR{9};
 453   let Inst{17}    = SPR{8};
 454   let Inst{18}    = SPR{7};
 455   let Inst{19}    = SPR{6};
 456   let Inst{20}    = SPR{5};
 457   let Inst{21-30} = xo;
 458   let Inst{31}    = 0;
 459 }
 460
 461 class XFXForm_1_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
 462                    dag OOL, dag IOL, string asmstr, InstrItinClass itin>
 463   : XFXForm_1<opcode, xo, OOL, IOL, asmstr, itin> {
 464   let SPR = spr;
 465 }
 466
 467 class XFXForm_3<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 468                 InstrItinClass itin>
 469          : I<opcode, OOL, IOL, asmstr, itin> {
 470   bits<5>  RT;
 471
 472   let Inst{6-10}  = RT;
 473   let Inst{11-20} = 0;
 474   let Inst{21-30} = xo;
 475   let Inst{31}    = 0;
 476 }
 477
 478 class XFXForm_5<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 479                 InstrItinClass itin>
 480   : I<opcode, OOL, IOL, asmstr, itin> {
 481   bits<8>  FXM;
 482   bits<5>  ST;
 483
 484   let Inst{6-10}  = ST;
 485   let Inst{11}    = 0;
 486   let Inst{12-19} = FXM;
 487   let Inst{20}    = 0;
 488   let Inst{21-30} = xo;
 489   let Inst{31}    = 0;
 490 }
 491
 492 class XFXForm_5a<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 493                  InstrItinClass itin>
 494   : I<opcode, OOL, IOL, asmstr, itin> {
 495   bits<5>  ST;
 496   bits<8>  FXM;
 497
 498   let Inst{6-10}  = ST;
 499   let Inst{11}    = 1;
 500   let Inst{12-19} = FXM;
 501   let Inst{20}    = 0;
 502   let Inst{21-30} = xo;
 503   let Inst{31}    = 0;
 504 }
 505
 506 class XFXForm_7<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
 507                 InstrItinClass itin>
 508   : XFXForm_1<opcode, xo, OOL, IOL, asmstr, itin>;
 509
 510 class XFXForm_7_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
 511                     dag OOL, dag IOL, string asmstr, InstrItinClass itin>
 512   : XFXForm_7<opcode, xo, OOL, IOL, asmstr, itin> {
 513   let SPR = spr;
 514 }
 515
 516 // 1.7.10 XS-Form - SRADI.
 517 class XSForm_1<bits<6> opcode, bits<9> xo, dag OOL, dag IOL, string asmstr,
 518                InstrItinClass itin, list<dag> pattern>
 519          : I<opcode, OOL, IOL, asmstr, itin> {
 520   bits<5> A;
 521   bits<5> RS;
 522   bits<6> SH;
 523
 524   bit RC = 0;    // set by isDOT
 525   let Pattern = pattern;
 526
 527   let Inst{6-10}  = RS;
 528   let Inst{11-15} = A;
 529   let Inst{16-20} = SH{4,3,2,1,0};
 530   let Inst{21-29} = xo;
 531   let Inst{30}    = SH{5};
 532   let Inst{31}    = RC;
 533 }
 534
 535 // 1.7.11 XO-Form
 536 class XOForm_1<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, string asmstr,
 537                InstrItinClass itin, list<dag> pattern>
 538          : I<opcode, OOL, IOL, asmstr, itin> {
 539   bits<5> RT;
 540   bits<5> RA;
 541   bits<5> RB;
 542
 543   let Pattern = pattern;
 544
 545   bit RC = 0;    // set by isDOT
 546
 547   let Inst{6-10}  = RT;
 548   let Inst{11-15} = RA;
 549   let Inst{16-20} = RB;
 550   let Inst{21}    = oe;
 551   let Inst{22-30} = xo;
 552   let Inst{31}    = RC;
 553 }
 554
 555 class XOForm_3<bits<6> opcode, bits<9> xo, bit oe,
 556                dag OOL, dag IOL, string asmstr, InstrItinClass itin, list<dag> pattern>
 557   : XOForm_1<opcode, xo, oe, OOL, IOL, asmstr, itin, pattern> {
 558   let RB = 0;
 559 }
 560
 561 // 1.7.12 A-Form
 562 class AForm_1<bits<6> opcode, bits<5> xo, dag OOL, dag IOL, string asmstr,
 563               InstrItinClass itin, list<dag> pattern>
 564          : I<opcode, OOL, IOL, asmstr, itin> {
 565   bits<5> FRT;
 566   bits<5> FRA;
 567   bits<5> FRC;
 568   bits<5> FRB;
 569
 570   let Pattern = pattern;
 571
 572   bit RC = 0;    // set by isDOT
 573
 574   let Inst{6-10}  = FRT;
 575   let Inst{11-15} = FRA;
 576   let Inst{16-20} = FRB;
 577   let Inst{21-25} = FRC;
 578   let Inst{26-30} = xo;
 579   let Inst{31}    = RC;
 580 }
 581
 582 class AForm_2<bits<6> opcode, bits<5> xo, dag OOL, dag IOL, string asmstr,
 583               InstrItinClass itin, list<dag> pattern>
 584   : AForm_1<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
 585   let FRC = 0;
 586 }
 587
 588 class AForm_3<bits<6> opcode, bits<5> xo, dag OOL, dag IOL, string asmstr,
 589               InstrItinClass itin, list<dag> pattern>
 590   : AForm_1<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
 591   let FRB = 0;
 592 }
 593
 594 // 1.7.13 M-Form
 595 class MForm_1<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 596               InstrItinClass itin, list<dag> pattern>
 597     : I<opcode, OOL, IOL, asmstr, itin> {
 598   bits<5> RA;
 599   bits<5> RS;
 600   bits<5> RB;
 601   bits<5> MB;
 602   bits<5> ME;
 603
 604   let Pattern = pattern;
 605
 606   bit RC = 0;    // set by isDOT
 607
 608   let Inst{6-10}  = RS;
 609   let Inst{11-15} = RA;
 610   let Inst{16-20} = RB;
 611   let Inst{21-25} = MB;
 612   let Inst{26-30} = ME;
 613   let Inst{31}    = RC;
 614 }
 615
 616 class MForm_2<bits<6> opcode, dag OOL, dag IOL, string asmstr,
 617               InstrItinClass itin, list<dag> pattern>
 618   : MForm_1<opcode, OOL, IOL, asmstr, itin, pattern> {
 619 }
 620
 621 // 1.7.14 MD-Form
 622 class MDForm_1<bits<6> opcode, bits<3> xo, dag OOL, dag IOL, string asmstr,
 623                InstrItinClass itin, list<dag> pattern>
 624     : I<opcode, OOL, IOL, asmstr, itin> {
 625   bits<5> RA;
 626   bits<5> RS;
 627   bits<6> SH;
 628   bits<6> MBE;
 629
 630   let Pattern = pattern;
 631
 632   bit RC = 0;    // set by isDOT
 633
 634   let Inst{6-10}  = RS;
 635   let Inst{11-15} = RA;
 636   let Inst{16-20} = SH{4,3,2,1,0};
 637   let Inst{21-26} = MBE{4,3,2,1,0,5};
 638   let Inst{27-29} = xo;
 639   let Inst{30}    = SH{5};
 640   let Inst{31}    = RC;
 641 }
 642
 643
 644
 645 // E-1 VA-Form
 646
 647 // VAForm_1 - DACB ordering.
 648 class VAForm_1<bits<6> xo, dag OOL, dag IOL, string asmstr,
 649                InstrItinClass itin, list<dag> pattern>
 650     : I<4, OOL, IOL, asmstr, itin> {
 651   bits<5> VD;
 652   bits<5> VA;
 653   bits<5> VC;
 654   bits<5> VB;
 655
 656   let Pattern = pattern;
 657
 658   let Inst{6-10}  = VD;
 659   let Inst{11-15} = VA;
 660   let Inst{16-20} = VB;
 661   let Inst{21-25} = VC;
 662   let Inst{26-31} = xo;
 663 }
 664
 665 // VAForm_1a - DABC ordering.
 666 class VAForm_1a<bits<6> xo, dag OOL, dag IOL, string asmstr,
 667                 InstrItinClass itin, list<dag> pattern>
 668     : I<4, OOL, IOL, asmstr, itin> {
 669   bits<5> VD;
 670   bits<5> VA;
 671   bits<5> VB;
 672   bits<5> VC;
 673
 674   let Pattern = pattern;
 675
 676   let Inst{6-10}  = VD;
 677   let Inst{11-15} = VA;
 678   let Inst{16-20} = VB;
 679   let Inst{21-25} = VC;
 680   let Inst{26-31} = xo;
 681 }
 682
 683 class VAForm_2<bits<6> xo, dag OOL, dag IOL, string asmstr,
 684                InstrItinClass itin, list<dag> pattern>
 685     : I<4, OOL, IOL, asmstr, itin> {
 686   bits<5> VD;
 687   bits<5> VA;
 688   bits<5> VB;
 689   bits<4> SH;
 690
 691   let Pattern = pattern;
 692
 693   let Inst{6-10}  = VD;
 694   let Inst{11-15} = VA;
 695   let Inst{16-20} = VB;
 696   let Inst{21}    = 0;
 697   let Inst{22-25} = SH;
 698   let Inst{26-31} = xo;
 699 }
 700
 701 // E-2 VX-Form
 702 class VXForm_1<bits<11> xo, dag OOL, dag IOL, string asmstr,
 703                InstrItinClass itin, list<dag> pattern>
 704     : I<4, OOL, IOL, asmstr, itin> {
 705   bits<5> VD;
 706   bits<5> VA;
 707   bits<5> VB;
 708
 709   let Pattern = pattern;
 710
 711   let Inst{6-10}  = VD;
 712   let Inst{11-15} = VA;
 713   let Inst{16-20} = VB;
 714   let Inst{21-31} = xo;
 715 }
 716
 717 class VXForm_setzero<bits<11> xo, dag OOL, dag IOL, string asmstr,
 718                InstrItinClass itin, list<dag> pattern>
 719     : VXForm_1<xo, OOL, IOL, asmstr, itin, pattern> {
 720   let VA = VD;
 721   let VB = VD;
 722 }
 723
 724
 725 class VXForm_2<bits<11> xo, dag OOL, dag IOL, string asmstr,
 726                InstrItinClass itin, list<dag> pattern>
 727     : I<4, OOL, IOL, asmstr, itin> {
 728   bits<5> VD;
 729   bits<5> VB;
 730
 731   let Pattern = pattern;
 732
 733   let Inst{6-10}  = VD;
 734   let Inst{11-15} = 0;
 735   let Inst{16-20} = VB;
 736   let Inst{21-31} = xo;
 737 }
 738
 739 class VXForm_3<bits<11> xo, dag OOL, dag IOL, string asmstr,
 740                InstrItinClass itin, list<dag> pattern>
 741     : I<4, OOL, IOL, asmstr, itin> {
 742   bits<5> VD;
 743   bits<5> IMM;
 744
 745   let Pattern = pattern;
 746
 747   let Inst{6-10}  = VD;
 748   let Inst{11-15} = IMM;
 749   let Inst{16-20} = 0;
 750   let Inst{21-31} = xo;
 751 }
 752
 753 /// VXForm_4 - VX instructions with "VD,0,0" register fields, like mfvscr.
 754 class VXForm_4<bits<11> xo, dag OOL, dag IOL, string asmstr,
 755                InstrItinClass itin, list<dag> pattern>
 756     : I<4, OOL, IOL, asmstr, itin> {
 757   bits<5> VD;
 758
 759   let Pattern = pattern;
 760
 761   let Inst{6-10}  = VD;
 762   let Inst{11-15} = 0;
 763   let Inst{16-20} = 0;
 764   let Inst{21-31} = xo;
 765 }
 766
 767 /// VXForm_5 - VX instructions with "0,0,VB" register fields, like mtvscr.
 768 class VXForm_5<bits<11> xo, dag OOL, dag IOL, string asmstr,
 769                InstrItinClass itin, list<dag> pattern>
 770     : I<4, OOL, IOL, asmstr, itin> {
 771   bits<5> VB;
 772
 773   let Pattern = pattern;
 774
 775   let Inst{6-10}  = 0;
 776   let Inst{11-15} = 0;
 777   let Inst{16-20} = VB;
 778   let Inst{21-31} = xo;
 779 }
 780
 781 // E-4 VXR-Form
 782 class VXRForm_1<bits<10> xo, dag OOL, dag IOL, string asmstr,
 783                InstrItinClass itin, list<dag> pattern>
 784     : I<4, OOL, IOL, asmstr, itin> {
 785   bits<5> VD;
 786   bits<5> VA;
 787   bits<5> VB;
 788   bit RC = 0;
 789
 790   let Pattern = pattern;
 791
 792   let Inst{6-10}  = VD;
 793   let Inst{11-15} = VA;
 794   let Inst{16-20} = VB;
 795   let Inst{21}    = RC;
 796   let Inst{22-31} = xo;
 797 }
 798
 799 //===----------------------------------------------------------------------===//
 800 class Pseudo<dag OOL, dag IOL, string asmstr, list<dag> pattern>
 801     : I<0, OOL, IOL, asmstr, NoItinerary> {
 802   let PPC64 = 0;
 803   let Pattern = pattern;
 804   let Inst{31-0} = 0;
 805 }