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> {
328 // DCB_Form - Form X instruction, used for dcb* instructions.
329 class DCB_Form<bits<10> xo, bits<5> immfield, dag OL, string asmstr,
330 InstrItinClass itin, list<dag> pattern>
331 : I<31, OL, asmstr, itin> {
335 let Pattern = pattern;
337 let Inst{6-10} = immfield;
340 let Inst{21-30} = xo;
345 // DSS_Form - Form X instruction, used for altivec dss* instructions.
346 class DSS_Form<bits<10> xo, dag OL, string asmstr,
347 InstrItinClass itin, list<dag> pattern>
348 : I<31, OL, asmstr, itin> {
354 let Pattern = pattern;
358 let Inst{9-10} = STRM;
361 let Inst{21-30} = xo;
366 class XLForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
368 : I<opcode, OL, asmstr, itin> {
377 let Inst{9-10} = CRDb;
378 let Inst{11-13} = CRA;
379 let Inst{14-15} = CRAb;
380 let Inst{16-18} = CRB;
381 let Inst{19-20} = CRBb;
382 let Inst{21-30} = xo;
386 class XLForm_2<bits<6> opcode, bits<10> xo, bit lk, dag OL, string asmstr,
387 InstrItinClass itin, list<dag> pattern>
388 : I<opcode, OL, asmstr, itin> {
393 let Pattern = pattern;
396 let Inst{11-15} = BI;
398 let Inst{19-20} = BH;
399 let Inst{21-30} = xo;
403 class XLForm_2_ext<bits<6> opcode, bits<10> xo, bits<5> bo, bits<5> bi, bit lk,
404 dag OL, string asmstr, InstrItinClass itin, list<dag> pattern>
405 : XLForm_2<opcode, xo, lk, OL, asmstr, itin, pattern> {
411 class XLForm_3<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
413 : I<opcode, OL, asmstr, itin> {
419 let Inst{11-13} = BFA;
422 let Inst{21-30} = xo;
427 class XFXForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
429 : I<opcode, OL, asmstr, itin> {
434 let Inst{11} = SPR{4};
435 let Inst{12} = SPR{3};
436 let Inst{13} = SPR{2};
437 let Inst{14} = SPR{1};
438 let Inst{15} = SPR{0};
439 let Inst{16} = SPR{9};
440 let Inst{17} = SPR{8};
441 let Inst{18} = SPR{7};
442 let Inst{19} = SPR{6};
443 let Inst{20} = SPR{5};
444 let Inst{21-30} = xo;
448 class XFXForm_1_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
449 dag OL, string asmstr, InstrItinClass itin>
450 : XFXForm_1<opcode, xo, OL, asmstr, itin> {
454 class XFXForm_3<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
456 : I<opcode, OL, asmstr, itin> {
461 let Inst{21-30} = xo;
465 class XFXForm_5<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
467 : I<opcode, OL, asmstr, itin> {
473 let Inst{12-19} = FXM;
475 let Inst{21-30} = xo;
479 class XFXForm_5a<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
481 : I<opcode, OL, asmstr, itin> {
487 let Inst{12-19} = FXM;
489 let Inst{21-30} = xo;
493 class XFXForm_7<bits<6> opcode, bits<10> xo, dag OL, string asmstr,
495 : XFXForm_1<opcode, xo, OL, asmstr, itin>;
497 class XFXForm_7_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
498 dag OL, string asmstr, InstrItinClass itin>
499 : XFXForm_7<opcode, xo, OL, asmstr, itin> {
504 class XSForm_1<bits<6> opcode, bits<9> xo, dag OL, string asmstr,
506 : I<opcode, OL, asmstr, itin> {
511 bit RC = 0; // set by isDOT
515 let Inst{16-20} = SH{1-5};
516 let Inst{21-29} = xo;
517 let Inst{30} = SH{0};
522 class XOForm_1<bits<6> opcode, bits<9> xo, bit oe, dag OL, string asmstr,
523 InstrItinClass itin, list<dag> pattern>
524 : I<opcode, OL, asmstr, itin> {
529 let Pattern = pattern;
531 bit RC = 0; // set by isDOT
534 let Inst{11-15} = RA;
535 let Inst{16-20} = RB;
537 let Inst{22-30} = xo;
541 class XOForm_3<bits<6> opcode, bits<9> xo, bit oe,
542 dag OL, string asmstr, InstrItinClass itin, list<dag> pattern>
543 : XOForm_1<opcode, xo, oe, OL, asmstr, itin, pattern> {
548 class AForm_1<bits<6> opcode, bits<5> xo, dag OL, string asmstr,
549 InstrItinClass itin, list<dag> pattern>
550 : I<opcode, OL, asmstr, itin> {
556 let Pattern = pattern;
558 bit RC = 0; // set by isDOT
560 let Inst{6-10} = FRT;
561 let Inst{11-15} = FRA;
562 let Inst{16-20} = FRB;
563 let Inst{21-25} = FRC;
564 let Inst{26-30} = xo;
568 class AForm_2<bits<6> opcode, bits<5> xo, dag OL, string asmstr,
569 InstrItinClass itin, list<dag> pattern>
570 : AForm_1<opcode, xo, OL, asmstr, itin, pattern> {
574 class AForm_3<bits<6> opcode, bits<5> xo, dag OL, string asmstr,
575 InstrItinClass itin, list<dag> pattern>
576 : AForm_1<opcode, xo, OL, asmstr, itin, pattern> {
581 class MForm_1<bits<6> opcode, dag OL, string asmstr,
582 InstrItinClass itin, list<dag> pattern>
583 : I<opcode, OL, asmstr, itin> {
590 let Pattern = pattern;
592 bit RC = 0; // set by isDOT
595 let Inst{11-15} = RA;
596 let Inst{16-20} = RB;
597 let Inst{21-25} = MB;
598 let Inst{26-30} = ME;
602 class MForm_2<bits<6> opcode, dag OL, string asmstr,
603 InstrItinClass itin, list<dag> pattern>
604 : MForm_1<opcode, OL, asmstr, itin, pattern> {
608 class MDForm_1<bits<6> opcode, bits<3> xo, dag OL, string asmstr,
609 InstrItinClass itin, list<dag> pattern>
610 : I<opcode, OL, asmstr, itin> {
616 let Pattern = pattern;
618 bit RC = 0; // set by isDOT
621 let Inst{11-15} = RA;
622 let Inst{16-20} = SH{1-5};
623 let Inst{21-26} = MBE;
624 let Inst{27-29} = xo;
625 let Inst{30} = SH{0};
633 // VAForm_1 - DACB ordering.
634 class VAForm_1<bits<6> xo, dag OL, string asmstr,
635 InstrItinClass itin, list<dag> pattern>
636 : I<4, OL, asmstr, itin> {
642 let Pattern = pattern;
645 let Inst{11-15} = VA;
646 let Inst{16-20} = VB;
647 let Inst{21-25} = VC;
648 let Inst{26-31} = xo;
651 // VAForm_1a - DABC ordering.
652 class VAForm_1a<bits<6> xo, dag OL, string asmstr,
653 InstrItinClass itin, list<dag> pattern>
654 : I<4, OL, asmstr, itin> {
660 let Pattern = pattern;
663 let Inst{11-15} = VA;
664 let Inst{16-20} = VB;
665 let Inst{21-25} = VC;
666 let Inst{26-31} = xo;
669 class VAForm_2<bits<6> xo, dag OL, string asmstr,
670 InstrItinClass itin, list<dag> pattern>
671 : I<4, OL, asmstr, itin> {
677 let Pattern = pattern;
680 let Inst{11-15} = VA;
681 let Inst{16-20} = VB;
683 let Inst{22-25} = SH;
684 let Inst{26-31} = xo;
688 class VXForm_1<bits<11> xo, dag OL, string asmstr,
689 InstrItinClass itin, list<dag> pattern>
690 : I<4, OL, asmstr, itin> {
695 let Pattern = pattern;
698 let Inst{11-15} = VA;
699 let Inst{16-20} = VB;
700 let Inst{21-31} = xo;
703 class VXForm_setzero<bits<11> xo, dag OL, string asmstr,
704 InstrItinClass itin, list<dag> pattern>
705 : VXForm_1<xo, OL, asmstr, itin, pattern> {
711 class VXForm_2<bits<11> xo, dag OL, string asmstr,
712 InstrItinClass itin, list<dag> pattern>
713 : I<4, OL, asmstr, itin> {
717 let Pattern = pattern;
721 let Inst{16-20} = VB;
722 let Inst{21-31} = xo;
725 class VXForm_3<bits<11> xo, dag OL, string asmstr,
726 InstrItinClass itin, list<dag> pattern>
727 : I<4, OL, asmstr, itin> {
731 let Pattern = pattern;
734 let Inst{11-15} = IMM;
736 let Inst{21-31} = xo;
739 /// VXForm_4 - VX instructions with "VD,0,0" register fields, like mfvscr.
740 class VXForm_4<bits<11> xo, dag OL, string asmstr,
741 InstrItinClass itin, list<dag> pattern>
742 : I<4, OL, asmstr, itin> {
745 let Pattern = pattern;
750 let Inst{21-31} = xo;
753 /// VXForm_5 - VX instructions with "0,0,VB" register fields, like mtvscr.
754 class VXForm_5<bits<11> xo, dag OL, string asmstr,
755 InstrItinClass itin, list<dag> pattern>
756 : I<4, OL, asmstr, itin> {
759 let Pattern = pattern;
763 let Inst{16-20} = VB;
764 let Inst{21-31} = xo;
768 class VXRForm_1<bits<10> xo, dag OL, string asmstr,
769 InstrItinClass itin, list<dag> pattern>
770 : I<4, OL, asmstr, itin> {
776 let Pattern = pattern;
779 let Inst{11-15} = VA;
780 let Inst{16-20} = VB;
782 let Inst{22-31} = xo;
785 //===----------------------------------------------------------------------===//
786 class Pseudo<dag OL, string asmstr, list<dag> pattern>
787 : I<0, OL, asmstr, NoItinerary> {
790 let Pattern = pattern;