1 //===- PowerPCInstrFormats.td - PowerPC Instruction Formats --*- tablegen -*-=//
3 // The LLVM Compiler Infrastructure
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.
8 //===----------------------------------------------------------------------===//
10 //===----------------------------------------------------------------------===//
12 // PowerPC instruction formats
14 class I<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin>
18 bit PPC64 = 0; // Default value, override with isPPC64
19 bit VMX = 0; // Default value, override with isVMX
22 let Namespace = "PPC";
23 let Inst{0-5} = opcode;
25 let AsmString = asmstr;
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;
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;
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; }
52 class IForm<bits<6> opcode, bit aa, bit lk, dag OL, string asmstr,
53 InstrItinClass itin, list<dag> pattern>
54 : I<opcode, OL, asmstr, itin> {
55 let Pattern = pattern;
64 class BForm<bits<6> opcode, bit aa, bit lk, bits<5> bo, bits<2> bicode, dag OL,
65 string asmstr, InstrItinClass itin>
66 : I<opcode, OL, asmstr, itin> {
72 let Inst{14-15} = bicode;
79 class DForm_base<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
81 : I<opcode, OL, asmstr, itin> {
86 let Pattern = pattern;
93 class DForm_1<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
95 : I<opcode, OL, asmstr, itin> {
100 let Pattern = pattern;
107 class DForm_2<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
109 : DForm_base<opcode, OL, asmstr, itin, pattern>;
111 class DForm_2_r0<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
113 : I<opcode, OL, asmstr, itin> {
117 let Pattern = pattern;
124 // Currently we make the use/def reg distinction in ISel, not tablegen
125 class DForm_3<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
127 : DForm_1<opcode, OL, asmstr, itin, pattern>;
129 class DForm_4<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
131 : I<opcode, OL, asmstr, itin> {
136 let Pattern = pattern;
143 class DForm_4_zero<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
145 : DForm_1<opcode, OL, asmstr, itin, pattern> {
151 class DForm_5<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin>
152 : I<opcode, OL, asmstr, itin> {
161 let Inst{11-15} = RA;
165 class DForm_5_ext<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin>
166 : DForm_5<opcode, OL, asmstr, itin> {
170 class DForm_6<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin>
171 : DForm_5<opcode, OL, asmstr, itin>;
173 class DForm_6_ext<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin>
174 : DForm_6<opcode, OL, asmstr, itin> {
178 class DForm_8<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
180 : DForm_1<opcode, OL, asmstr, itin, pattern> {
183 class DForm_9<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin,
185 : DForm_1<opcode, OL, asmstr, itin, pattern> {
189 class DSForm_1<bits<6> opcode, bits<2> xo, dag OL, string asmstr,
190 InstrItinClass itin, list<dag> pattern>
191 : I<opcode, OL, asmstr, itin> {
196 let Pattern = pattern;
198 let Inst{6-10} = RST;
199 let Inst{11-15} = RA;
200 let Inst{16-29} = DS;
201 let Inst{30-31} = xo;
204 class DSForm_2<bits<6> opcode, bits<2> xo, dag OL, string asmstr,
205 InstrItinClass itin, list<dag> pattern>
206 : DSForm_1<opcode, xo, OL, asmstr, itin, pattern>;
209 class XForm_base_r3xo<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
210 InstrItinClass itin, list<dag> pattern>
211 : I<opcode, OL, asmstr, itin> {
216 let Pattern = pattern;
218 bit RC = 0; // set by isDOT
220 let Inst{6-10} = RST;
223 let Inst{21-30} = xo;
227 // This is the same as XForm_base_r3xo, but the first two operands are swapped
228 // when code is emitted.
229 class XForm_base_r3xo_swapped
230 <bits<6> opcode, bits<10> xo, dag OL, string asmstr,
232 : I<opcode, OL, asmstr, itin> {
237 bit RC = 0; // set by isDOT
239 let Inst{6-10} = RST;
242 let Inst{21-30} = xo;
247 class XForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
248 InstrItinClass itin, list<dag> pattern>
249 : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern>;
251 class XForm_6<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
252 InstrItinClass itin, list<dag> pattern>
253 : XForm_base_r3xo_swapped<opcode, xo, OL, asmstr, itin> {
254 let Pattern = pattern;
257 class XForm_8<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
258 InstrItinClass itin, list<dag> pattern>
259 : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern>;
261 class XForm_10<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
262 InstrItinClass itin, list<dag> pattern>
263 : XForm_base_r3xo_swapped<opcode, xo, OL, asmstr, itin> {
264 let Pattern = pattern;
267 class XForm_11<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
268 InstrItinClass itin, list<dag> pattern>
269 : XForm_base_r3xo_swapped<opcode, xo, OL, asmstr, itin> {
271 let Pattern = pattern;
274 class XForm_16<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
276 : I<opcode, OL, asmstr, itin> {
285 let Inst{11-15} = RA;
286 let Inst{16-20} = RB;
287 let Inst{21-30} = xo;
291 class XForm_16_ext<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
293 : XForm_16<opcode, xo, OL, asmstr, itin> {
297 class XForm_17<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
299 : I<opcode, OL, asmstr, itin> {
306 let Inst{11-15} = FRA;
307 let Inst{16-20} = FRB;
308 let Inst{21-30} = xo;
312 class XForm_25<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
313 InstrItinClass itin, list<dag> pattern>
314 : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern> {
317 class XForm_26<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
318 InstrItinClass itin, list<dag> pattern>
319 : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern> {
323 class XForm_28<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
324 InstrItinClass itin, list<dag> pattern>
325 : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern> {
329 class XLForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
331 : I<opcode, OL, asmstr, itin> {
340 let Inst{9-10} = CRDb;
341 let Inst{11-13} = CRA;
342 let Inst{14-15} = CRAb;
343 let Inst{16-18} = CRB;
344 let Inst{19-20} = CRBb;
345 let Inst{21-30} = xo;
349 class XLForm_2<bits<6> opcode, bits<10> xo, bit lk, dag OL, string asmstr,
350 InstrItinClass itin, list<dag> pattern>
351 : I<opcode, OL, asmstr, itin> {
356 let Pattern = pattern;
359 let Inst{11-15} = BI;
361 let Inst{19-20} = BH;
362 let Inst{21-30} = xo;
366 class XLForm_2_ext<bits<6> opcode, bits<10> xo, bits<5> bo, bits<5> bi, bit lk,
367 dag OL, string asmstr, InstrItinClass itin, list<dag> pattern>
368 : XLForm_2<opcode, xo, lk, OL, asmstr, itin, pattern> {
374 class XLForm_3<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
376 : I<opcode, OL, asmstr, itin> {
382 let Inst{11-13} = BFA;
385 let Inst{21-30} = xo;
390 class XFXForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
392 : I<opcode, OL, asmstr, itin> {
397 let Inst{11} = SPR{4};
398 let Inst{12} = SPR{3};
399 let Inst{13} = SPR{2};
400 let Inst{14} = SPR{1};
401 let Inst{15} = SPR{0};
402 let Inst{16} = SPR{9};
403 let Inst{17} = SPR{8};
404 let Inst{18} = SPR{7};
405 let Inst{19} = SPR{6};
406 let Inst{20} = SPR{5};
407 let Inst{21-30} = xo;
411 class XFXForm_1_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
412 dag OL, string asmstr, InstrItinClass itin>
413 : XFXForm_1<opcode, xo, OL, asmstr, itin> {
417 class XFXForm_3<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
419 : I<opcode, OL, asmstr, itin> {
424 let Inst{21-30} = xo;
428 class XFXForm_5<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
430 : I<opcode, OL, asmstr, itin> {
436 let Inst{12-19} = FXM;
438 let Inst{21-30} = xo;
442 class XFXForm_5a<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
444 : I<opcode, OL, asmstr, itin> {
450 let Inst{12-19} = FXM;
452 let Inst{21-30} = xo;
456 class XFXForm_7<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
458 : XFXForm_1<opcode, xo, OL, asmstr, itin>;
460 class XFXForm_7_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
461 dag OL, string asmstr, InstrItinClass itin>
462 : XFXForm_7<opcode, xo, OL, asmstr, itin> {
467 class XSForm_1<bits<6> opcode, bits<9> xo, dag OL, string asmstr,
469 : I<opcode, OL, asmstr, itin> {
474 bit RC = 0; // set by isDOT
478 let Inst{16-20} = SH{1-5};
479 let Inst{21-29} = xo;
480 let Inst{30} = SH{0};
485 class XOForm_1<bits<6> opcode, bits<9> xo, bit oe, dag OL, string asmstr,
486 InstrItinClass itin, list<dag> pattern>
487 : I<opcode, OL, asmstr, itin> {
492 let Pattern = pattern;
494 bit RC = 0; // set by isDOT
497 let Inst{11-15} = RA;
498 let Inst{16-20} = RB;
500 let Inst{22-30} = xo;
504 class XOForm_3<bits<6> opcode, bits<9> xo, bit oe,
505 dag OL, string asmstr, InstrItinClass itin, list<dag> pattern>
506 : XOForm_1<opcode, xo, oe, OL, asmstr, itin, pattern> {
511 class AForm_1<bits<6> opcode, bits<5> xo, dag OL, string asmstr,
512 InstrItinClass itin, list<dag> pattern>
513 : I<opcode, OL, asmstr, itin> {
519 let Pattern = pattern;
521 bit RC = 0; // set by isDOT
523 let Inst{6-10} = FRT;
524 let Inst{11-15} = FRA;
525 let Inst{16-20} = FRB;
526 let Inst{21-25} = FRC;
527 let Inst{26-30} = xo;
531 class AForm_2<bits<6> opcode, bits<5> xo, dag OL, string asmstr,
532 InstrItinClass itin, list<dag> pattern>
533 : AForm_1<opcode, xo, OL, asmstr, itin, pattern> {
537 class AForm_3<bits<6> opcode, bits<5> xo, dag OL, string asmstr,
538 InstrItinClass itin, list<dag> pattern>
539 : AForm_1<opcode, xo, OL, asmstr, itin, pattern> {
544 class MForm_1<bits<6> opcode, dag OL, string asmstr,
545 InstrItinClass itin, list<dag> pattern>
546 : I<opcode, OL, asmstr, itin> {
553 let Pattern = pattern;
555 bit RC = 0; // set by isDOT
558 let Inst{11-15} = RA;
559 let Inst{16-20} = RB;
560 let Inst{21-25} = MB;
561 let Inst{26-30} = ME;
565 class MForm_2<bits<6> opcode, dag OL, string asmstr,
566 InstrItinClass itin, list<dag> pattern>
567 : MForm_1<opcode, OL, asmstr, itin, pattern> {
571 class MDForm_1<bits<6> opcode, bits<3> xo, dag OL, string asmstr,
572 InstrItinClass itin, list<dag> pattern>
573 : I<opcode, OL, asmstr, itin> {
579 let Pattern = pattern;
581 bit RC = 0; // set by isDOT
584 let Inst{11-15} = RA;
585 let Inst{16-20} = SH{1-5};
586 let Inst{21-26} = MBE;
587 let Inst{27-29} = xo;
588 let Inst{30} = SH{0};
593 class VAForm_1<bits<6> xo, dag OL, string asmstr,
594 InstrItinClass itin, list<dag> pattern>
595 : I<4, OL, asmstr, itin> {
601 let Pattern = pattern;
604 let Inst{11-15} = VA;
605 let Inst{16-20} = VB;
606 let Inst{21-25} = VC;
607 let Inst{26-31} = xo;
610 class VAForm_2<bits<6> xo, dag OL, string asmstr,
611 InstrItinClass itin, list<dag> pattern>
612 : I<4, OL, asmstr, itin> {
618 let Pattern = pattern;
621 let Inst{11-15} = VA;
622 let Inst{16-20} = VB;
624 let Inst{22-25} = SH;
625 let Inst{26-31} = xo;
629 class VXForm_1<bits<11> xo, dag OL, string asmstr,
630 InstrItinClass itin, list<dag> pattern>
631 : I<4, OL, asmstr, itin> {
636 let Pattern = pattern;
639 let Inst{11-15} = VA;
640 let Inst{16-20} = VB;
641 let Inst{21-31} = xo;
644 class VXForm_setzero<bits<11> xo, dag OL, string asmstr,
645 InstrItinClass itin, list<dag> pattern>
646 : VXForm_1<xo, OL, asmstr, itin, pattern> {
652 class VXForm_2<bits<11> xo, dag OL, string asmstr,
653 InstrItinClass itin, list<dag> pattern>
654 : I<4, OL, asmstr, itin> {
658 let Pattern = pattern;
662 let Inst{16-20} = VB;
663 let Inst{21-31} = xo;
667 class VXRForm_1<bits<10> xo, bit rc, dag OL, string asmstr,
668 InstrItinClass itin, list<dag> pattern>
669 : I<4, OL, asmstr, itin> {
674 let Pattern = pattern;
677 let Inst{11-15} = VA;
678 let Inst{16-20} = VB;
680 let Inst{22-31} = xo;
683 //===----------------------------------------------------------------------===//
684 class Pseudo<dag OL, string asmstr, list<dag> pattern>
685 : I<0, OL, asmstr, NoItinerary> {
688 let Pattern = pattern;