1 //===- PowerPCInstrFormats.td - PowerPC Instruction Formats --*- tablegen -*-=//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 //===----------------------------------------------------------------------===//
12 // PowerPC instruction formats
14 class I<bits<6> opcode, dag OOL, dag IOL, string asmstr, InstrItinClass itin>
18 bit PPC64 = 0; // Default value, override with isPPC64
20 let Namespace = "PPC";
21 let Inst{0-5} = opcode;
22 let OutOperandList = OOL;
23 let InOperandList = IOL;
24 let AsmString = asmstr;
27 /// These fields correspond to the fields in PPCInstrInfo.h. Any changes to
28 /// these must be reflected there! See comments there for what these are.
29 bits<1> PPC970_First = 0;
30 bits<1> PPC970_Single = 0;
31 bits<1> PPC970_Cracked = 0;
32 bits<3> PPC970_Unit = 0;
35 class PPC970_DGroup_First { bits<1> PPC970_First = 1; }
36 class PPC970_DGroup_Single { bits<1> PPC970_Single = 1; }
37 class PPC970_DGroup_Cracked { bits<1> PPC970_Cracked = 1; }
38 class PPC970_MicroCode;
40 class PPC970_Unit_Pseudo { bits<3> PPC970_Unit = 0; }
41 class PPC970_Unit_FXU { bits<3> PPC970_Unit = 1; }
42 class PPC970_Unit_LSU { bits<3> PPC970_Unit = 2; }
43 class PPC970_Unit_FPU { bits<3> PPC970_Unit = 3; }
44 class PPC970_Unit_CRU { bits<3> PPC970_Unit = 4; }
45 class PPC970_Unit_VALU { bits<3> PPC970_Unit = 5; }
46 class PPC970_Unit_VPERM { bits<3> PPC970_Unit = 6; }
47 class PPC970_Unit_BRU { bits<3> PPC970_Unit = 7; }
51 class IForm<bits<6> opcode, bit aa, bit lk, dag OOL, dag IOL, string asmstr,
52 InstrItinClass itin, list<dag> pattern>
53 : I<opcode, OOL, IOL, asmstr, itin> {
54 let Pattern = pattern;
63 class BForm<bits<6> opcode, bit aa, bit lk, dag OOL, dag IOL, string asmstr>
64 : I<opcode, OOL, IOL, asmstr, BrB> {
65 bits<7> BIBO; // 2 bits of BI and 5 bits of BO.
70 let BI{0-1} = BIBO{5-6};
71 let BI{2-4} = CR{0-2};
73 let Inst{6-10} = BIBO{4-0};
82 class DForm_base<bits<6> opcode, dag OOL, dag IOL, string asmstr,
83 InstrItinClass itin, list<dag> pattern>
84 : I<opcode, OOL, IOL, asmstr, itin> {
89 let Pattern = pattern;
96 class DForm_1<bits<6> opcode, dag OOL, dag IOL, string asmstr,
97 InstrItinClass itin, list<dag> pattern>
98 : I<opcode, OOL, IOL, asmstr, itin> {
103 let Pattern = pattern;
110 class DForm_2<bits<6> opcode, dag OOL, dag IOL, string asmstr,
111 InstrItinClass itin, list<dag> pattern>
112 : DForm_base<opcode, OOL, IOL, asmstr, itin, pattern>;
114 class DForm_2_r0<bits<6> opcode, dag OOL, dag IOL, string asmstr,
115 InstrItinClass itin, list<dag> pattern>
116 : I<opcode, OOL, IOL, asmstr, itin> {
120 let Pattern = pattern;
127 class DForm_4<bits<6> opcode, dag OOL, dag IOL, string asmstr,
128 InstrItinClass itin, list<dag> pattern>
129 : I<opcode, OOL, IOL, asmstr, itin> {
134 let Pattern = pattern;
141 class DForm_4_zero<bits<6> opcode, dag OOL, dag IOL, string asmstr,
142 InstrItinClass itin, list<dag> pattern>
143 : DForm_1<opcode, OOL, IOL, asmstr, itin, pattern> {
149 class DForm_5<bits<6> opcode, dag OOL, dag IOL, string asmstr,
151 : I<opcode, OOL, IOL, asmstr, itin> {
160 let Inst{11-15} = RA;
164 class DForm_5_ext<bits<6> opcode, dag OOL, dag IOL, string asmstr,
166 : DForm_5<opcode, OOL, IOL, asmstr, itin> {
170 class DForm_6<bits<6> opcode, dag OOL, dag IOL, string asmstr,
172 : DForm_5<opcode, OOL, IOL, asmstr, itin>;
174 class DForm_6_ext<bits<6> opcode, dag OOL, dag IOL, string asmstr,
176 : DForm_6<opcode, OOL, IOL, asmstr, itin> {
182 class DSForm_1<bits<6> opcode, bits<2> xo, dag OOL, dag IOL, string asmstr,
183 InstrItinClass itin, list<dag> pattern>
184 : I<opcode, OOL, IOL, asmstr, itin> {
189 let Pattern = pattern;
191 let Inst{6-10} = RST;
192 let Inst{11-15} = RA;
193 let Inst{16-29} = DS;
194 let Inst{30-31} = xo;
198 class XForm_base_r3xo<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
199 InstrItinClass itin, list<dag> pattern>
200 : I<opcode, OOL, IOL, asmstr, itin> {
205 let Pattern = pattern;
207 bit RC = 0; // set by isDOT
209 let Inst{6-10} = RST;
212 let Inst{21-30} = xo;
216 // This is the same as XForm_base_r3xo, but the first two operands are swapped
217 // when code is emitted.
218 class XForm_base_r3xo_swapped
219 <bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
221 : I<opcode, OOL, IOL, asmstr, itin> {
226 bit RC = 0; // set by isDOT
228 let Inst{6-10} = RST;
231 let Inst{21-30} = xo;
236 class XForm_1<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
237 InstrItinClass itin, list<dag> pattern>
238 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern>;
240 class XForm_6<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
241 InstrItinClass itin, list<dag> pattern>
242 : XForm_base_r3xo_swapped<opcode, xo, OOL, IOL, asmstr, itin> {
243 let Pattern = pattern;
246 class XForm_8<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
247 InstrItinClass itin, list<dag> pattern>
248 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern>;
250 class XForm_10<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
251 InstrItinClass itin, list<dag> pattern>
252 : XForm_base_r3xo_swapped<opcode, xo, OOL, IOL, asmstr, itin> {
253 let Pattern = pattern;
256 class XForm_11<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
257 InstrItinClass itin, list<dag> pattern>
258 : XForm_base_r3xo_swapped<opcode, xo, OOL, IOL, asmstr, itin> {
260 let Pattern = pattern;
263 class XForm_16<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
265 : I<opcode, OOL, IOL, asmstr, itin> {
274 let Inst{11-15} = RA;
275 let Inst{16-20} = RB;
276 let Inst{21-30} = xo;
280 class XForm_16_ext<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
282 : XForm_16<opcode, xo, OOL, IOL, asmstr, itin> {
286 class XForm_17<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
288 : I<opcode, OOL, IOL, asmstr, itin> {
295 let Inst{11-15} = FRA;
296 let Inst{16-20} = FRB;
297 let Inst{21-30} = xo;
301 class XForm_24<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
302 InstrItinClass itin, list<dag> pattern>
303 : I<opcode, OOL, IOL, asmstr, itin> {
304 let Pattern = pattern;
308 let Inst{21-30} = xo;
312 class XForm_25<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
313 InstrItinClass itin, list<dag> pattern>
314 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
317 class XForm_26<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
318 InstrItinClass itin, list<dag> pattern>
319 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
323 class XForm_28<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
324 InstrItinClass itin, list<dag> pattern>
325 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
328 // This is used for MFFS, MTFSB0, MTFSB1. 42 is arbitrary; this series of
329 // numbers presumably relates to some document, but I haven't found it.
330 class XForm_42<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
331 InstrItinClass itin, list<dag> pattern>
332 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
333 let Pattern = pattern;
335 bit RC = 0; // set by isDOT
337 let Inst{6-10} = RST;
339 let Inst{21-30} = xo;
342 class XForm_43<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
343 InstrItinClass itin, list<dag> pattern>
344 : XForm_base_r3xo<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
345 let Pattern = pattern;
348 bit RC = 0; // set by isDOT
352 let Inst{21-30} = xo;
356 // DCB_Form - Form X instruction, used for dcb* instructions.
357 class DCB_Form<bits<10> xo, bits<5> immfield, dag OOL, dag IOL, string asmstr,
358 InstrItinClass itin, list<dag> pattern>
359 : I<31, OOL, IOL, asmstr, itin> {
363 let Pattern = pattern;
365 let Inst{6-10} = immfield;
368 let Inst{21-30} = xo;
373 // DSS_Form - Form X instruction, used for altivec dss* instructions.
374 class DSS_Form<bits<10> xo, dag OOL, dag IOL, string asmstr,
375 InstrItinClass itin, list<dag> pattern>
376 : I<31, OOL, IOL, asmstr, itin> {
382 let Pattern = pattern;
386 let Inst{9-10} = STRM;
389 let Inst{21-30} = xo;
394 class XLForm_1<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
395 InstrItinClass itin, list<dag> pattern>
396 : I<opcode, OOL, IOL, asmstr, itin> {
401 let Pattern = pattern;
403 let Inst{6-10} = CRD;
404 let Inst{11-15} = CRA;
405 let Inst{16-20} = CRB;
406 let Inst{21-30} = xo;
410 class XLForm_1_ext<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
411 InstrItinClass itin, list<dag> pattern>
412 : I<opcode, OOL, IOL, asmstr, itin> {
415 let Pattern = pattern;
417 let Inst{6-10} = CRD;
418 let Inst{11-15} = CRD;
419 let Inst{16-20} = CRD;
420 let Inst{21-30} = xo;
424 class XLForm_2<bits<6> opcode, bits<10> xo, bit lk, dag OOL, dag IOL, string asmstr,
425 InstrItinClass itin, list<dag> pattern>
426 : I<opcode, OOL, IOL, asmstr, itin> {
431 let Pattern = pattern;
434 let Inst{11-15} = BI;
436 let Inst{19-20} = BH;
437 let Inst{21-30} = xo;
441 class XLForm_2_br<bits<6> opcode, bits<10> xo, bit lk,
442 dag OOL, dag IOL, string asmstr, InstrItinClass itin, list<dag> pattern>
443 : XLForm_2<opcode, xo, lk, OOL, IOL, asmstr, itin, pattern> {
444 bits<7> BIBO; // 2 bits of BI and 5 bits of BO.
448 let BI{0-1} = BIBO{0-1};
454 class XLForm_2_ext<bits<6> opcode, bits<10> xo, bits<5> bo, bits<5> bi, bit lk,
455 dag OOL, dag IOL, string asmstr, InstrItinClass itin, list<dag> pattern>
456 : XLForm_2<opcode, xo, lk, OOL, IOL, asmstr, itin, pattern> {
462 class XLForm_3<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
464 : I<opcode, OOL, IOL, asmstr, itin> {
470 let Inst{11-13} = BFA;
473 let Inst{21-30} = xo;
478 class XFXForm_1<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
480 : I<opcode, OOL, IOL, asmstr, itin> {
485 let Inst{11} = SPR{4};
486 let Inst{12} = SPR{3};
487 let Inst{13} = SPR{2};
488 let Inst{14} = SPR{1};
489 let Inst{15} = SPR{0};
490 let Inst{16} = SPR{9};
491 let Inst{17} = SPR{8};
492 let Inst{18} = SPR{7};
493 let Inst{19} = SPR{6};
494 let Inst{20} = SPR{5};
495 let Inst{21-30} = xo;
499 class XFXForm_1_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
500 dag OOL, dag IOL, string asmstr, InstrItinClass itin>
501 : XFXForm_1<opcode, xo, OOL, IOL, asmstr, itin> {
505 class XFXForm_3<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
507 : I<opcode, OOL, IOL, asmstr, itin> {
512 let Inst{21-30} = xo;
516 class XFXForm_5<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
518 : I<opcode, OOL, IOL, asmstr, itin> {
524 let Inst{12-19} = FXM;
526 let Inst{21-30} = xo;
530 class XFXForm_5a<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
532 : I<opcode, OOL, IOL, asmstr, itin> {
538 let Inst{12-19} = FXM;
540 let Inst{21-30} = xo;
544 class XFXForm_7<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
546 : XFXForm_1<opcode, xo, OOL, IOL, asmstr, itin>;
548 class XFXForm_7_ext<bits<6> opcode, bits<10> xo, bits<10> spr,
549 dag OOL, dag IOL, string asmstr, InstrItinClass itin>
550 : XFXForm_7<opcode, xo, OOL, IOL, asmstr, itin> {
555 // This is probably 1.7.9, but I don't have the reference that uses this
556 // numbering scheme...
557 class XFLForm<bits<6> opcode, bits<10> xo, dag OOL, dag IOL, string asmstr,
558 string cstr, InstrItinClass itin, list<dag>pattern>
559 : I<opcode, OOL, IOL, asmstr, itin> {
563 bit RC = 0; // set by isDOT
564 let Pattern = pattern;
565 let Constraints = cstr;
570 let Inst{16-20} = RT;
571 let Inst{21-30} = xo;
575 // 1.7.10 XS-Form - SRADI.
576 class XSForm_1<bits<6> opcode, bits<9> xo, dag OOL, dag IOL, string asmstr,
577 InstrItinClass itin, list<dag> pattern>
578 : I<opcode, OOL, IOL, asmstr, itin> {
583 bit RC = 0; // set by isDOT
584 let Pattern = pattern;
588 let Inst{16-20} = SH{4,3,2,1,0};
589 let Inst{21-29} = xo;
590 let Inst{30} = SH{5};
595 class XOForm_1<bits<6> opcode, bits<9> xo, bit oe, dag OOL, dag IOL, string asmstr,
596 InstrItinClass itin, list<dag> pattern>
597 : I<opcode, OOL, IOL, asmstr, itin> {
602 let Pattern = pattern;
604 bit RC = 0; // set by isDOT
607 let Inst{11-15} = RA;
608 let Inst{16-20} = RB;
610 let Inst{22-30} = xo;
614 class XOForm_3<bits<6> opcode, bits<9> xo, bit oe,
615 dag OOL, dag IOL, string asmstr, InstrItinClass itin, list<dag> pattern>
616 : XOForm_1<opcode, xo, oe, OOL, IOL, asmstr, itin, pattern> {
621 class AForm_1<bits<6> opcode, bits<5> xo, dag OOL, dag IOL, string asmstr,
622 InstrItinClass itin, list<dag> pattern>
623 : I<opcode, OOL, IOL, asmstr, itin> {
629 let Pattern = pattern;
631 bit RC = 0; // set by isDOT
633 let Inst{6-10} = FRT;
634 let Inst{11-15} = FRA;
635 let Inst{16-20} = FRB;
636 let Inst{21-25} = FRC;
637 let Inst{26-30} = xo;
641 class AForm_2<bits<6> opcode, bits<5> xo, dag OOL, dag IOL, string asmstr,
642 InstrItinClass itin, list<dag> pattern>
643 : AForm_1<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
647 class AForm_3<bits<6> opcode, bits<5> xo, dag OOL, dag IOL, string asmstr,
648 InstrItinClass itin, list<dag> pattern>
649 : AForm_1<opcode, xo, OOL, IOL, asmstr, itin, pattern> {
654 class MForm_1<bits<6> opcode, dag OOL, dag IOL, string asmstr,
655 InstrItinClass itin, list<dag> pattern>
656 : I<opcode, OOL, IOL, asmstr, itin> {
663 let Pattern = pattern;
665 bit RC = 0; // set by isDOT
668 let Inst{11-15} = RA;
669 let Inst{16-20} = RB;
670 let Inst{21-25} = MB;
671 let Inst{26-30} = ME;
675 class MForm_2<bits<6> opcode, dag OOL, dag IOL, string asmstr,
676 InstrItinClass itin, list<dag> pattern>
677 : MForm_1<opcode, OOL, IOL, asmstr, itin, pattern> {
681 class MDForm_1<bits<6> opcode, bits<3> xo, dag OOL, dag IOL, string asmstr,
682 InstrItinClass itin, list<dag> pattern>
683 : I<opcode, OOL, IOL, asmstr, itin> {
689 let Pattern = pattern;
691 bit RC = 0; // set by isDOT
694 let Inst{11-15} = RA;
695 let Inst{16-20} = SH{4,3,2,1,0};
696 let Inst{21-26} = MBE{4,3,2,1,0,5};
697 let Inst{27-29} = xo;
698 let Inst{30} = SH{5};
706 // VAForm_1 - DACB ordering.
707 class VAForm_1<bits<6> xo, dag OOL, dag IOL, string asmstr,
708 InstrItinClass itin, list<dag> pattern>
709 : I<4, OOL, IOL, asmstr, itin> {
715 let Pattern = pattern;
718 let Inst{11-15} = VA;
719 let Inst{16-20} = VB;
720 let Inst{21-25} = VC;
721 let Inst{26-31} = xo;
724 // VAForm_1a - DABC ordering.
725 class VAForm_1a<bits<6> xo, dag OOL, dag IOL, string asmstr,
726 InstrItinClass itin, list<dag> pattern>
727 : I<4, OOL, IOL, asmstr, itin> {
733 let Pattern = pattern;
736 let Inst{11-15} = VA;
737 let Inst{16-20} = VB;
738 let Inst{21-25} = VC;
739 let Inst{26-31} = xo;
742 class VAForm_2<bits<6> xo, dag OOL, dag IOL, string asmstr,
743 InstrItinClass itin, list<dag> pattern>
744 : I<4, OOL, IOL, asmstr, itin> {
750 let Pattern = pattern;
753 let Inst{11-15} = VA;
754 let Inst{16-20} = VB;
756 let Inst{22-25} = SH;
757 let Inst{26-31} = xo;
761 class VXForm_1<bits<11> xo, dag OOL, dag IOL, string asmstr,
762 InstrItinClass itin, list<dag> pattern>
763 : I<4, OOL, IOL, asmstr, itin> {
768 let Pattern = pattern;
771 let Inst{11-15} = VA;
772 let Inst{16-20} = VB;
773 let Inst{21-31} = xo;
776 class VXForm_setzero<bits<11> xo, dag OOL, dag IOL, string asmstr,
777 InstrItinClass itin, list<dag> pattern>
778 : VXForm_1<xo, OOL, IOL, asmstr, itin, pattern> {
784 class VXForm_2<bits<11> xo, dag OOL, dag IOL, string asmstr,
785 InstrItinClass itin, list<dag> pattern>
786 : I<4, OOL, IOL, asmstr, itin> {
790 let Pattern = pattern;
794 let Inst{16-20} = VB;
795 let Inst{21-31} = xo;
798 class VXForm_3<bits<11> xo, dag OOL, dag IOL, string asmstr,
799 InstrItinClass itin, list<dag> pattern>
800 : I<4, OOL, IOL, asmstr, itin> {
804 let Pattern = pattern;
807 let Inst{11-15} = IMM;
809 let Inst{21-31} = xo;
812 /// VXForm_4 - VX instructions with "VD,0,0" register fields, like mfvscr.
813 class VXForm_4<bits<11> xo, dag OOL, dag IOL, string asmstr,
814 InstrItinClass itin, list<dag> pattern>
815 : I<4, OOL, IOL, asmstr, itin> {
818 let Pattern = pattern;
823 let Inst{21-31} = xo;
826 /// VXForm_5 - VX instructions with "0,0,VB" register fields, like mtvscr.
827 class VXForm_5<bits<11> xo, dag OOL, dag IOL, string asmstr,
828 InstrItinClass itin, list<dag> pattern>
829 : I<4, OOL, IOL, asmstr, itin> {
832 let Pattern = pattern;
836 let Inst{16-20} = VB;
837 let Inst{21-31} = xo;
841 class VXRForm_1<bits<10> xo, dag OOL, dag IOL, string asmstr,
842 InstrItinClass itin, list<dag> pattern>
843 : I<4, OOL, IOL, asmstr, itin> {
849 let Pattern = pattern;
852 let Inst{11-15} = VA;
853 let Inst{16-20} = VB;
855 let Inst{22-31} = xo;
858 //===----------------------------------------------------------------------===//
859 class Pseudo<dag OOL, dag IOL, string asmstr, list<dag> pattern>
860 : I<0, OOL, IOL, asmstr, NoItinerary> {
862 let Pattern = pattern;