| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 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 | //===----------------------------------------------------------------------===// |
| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 9 | |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 10 | //===----------------------------------------------------------------------===// |
| 11 | // |
| 12 | // PowerPC instruction formats |
| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 13 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 14 | class I<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin> |
| 15 | : Instruction { |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 16 | field bits<32> Inst; |
| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 17 | |
| Chris Lattner | 5b78da4 | 2005-04-19 05:05:22 +0000 | [diff] [blame] | 18 | bit PPC64 = 0; // Default value, override with isPPC64 |
| 19 | bit VMX = 0; // Default value, override with isVMX |
| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 20 | |
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 21 | let Name = ""; |
| Misha Brukman | dad438b | 2004-08-10 22:47:03 +0000 | [diff] [blame] | 22 | let Namespace = "PPC"; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 23 | let Inst{0-5} = opcode; |
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 24 | let OperandList = OL; |
| 25 | let AsmString = asmstr; |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 26 | let Itinerary = itin; |
| Chris Lattner | 51348c5 | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 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; |
| Chris Lattner | 7579cfb | 2006-03-13 05:15:10 +0000 | [diff] [blame] | 32 | bits<1> PPC970_Cracked = 0; |
| Chris Lattner | 51348c5 | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 33 | bits<3> PPC970_Unit = 0; |
| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 34 | } |
| 35 | |
| Chris Lattner | 7579cfb | 2006-03-13 05:15:10 +0000 | [diff] [blame] | 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; } |
| Chris Lattner | 51348c5 | 2006-03-12 09:13:49 +0000 | [diff] [blame] | 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 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 51 | // 1.7.1 I-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 52 | class IForm<bits<6> opcode, bit aa, bit lk, dag OL, string asmstr, |
| Chris Lattner | d9d18af | 2005-12-04 18:42:54 +0000 | [diff] [blame] | 53 | InstrItinClass itin, list<dag> pattern> |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 54 | : I<opcode, OL, asmstr, itin> { |
| Chris Lattner | d9d18af | 2005-12-04 18:42:54 +0000 | [diff] [blame] | 55 | let Pattern = pattern; |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 56 | bits<24> LI; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 57 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 58 | let Inst{6-29} = LI; |
| 59 | let Inst{30} = aa; |
| 60 | let Inst{31} = lk; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 63 | // 1.7.2 B-Form |
| Nate Begeman | 7b809f5 | 2005-08-26 04:11:42 +0000 | [diff] [blame] | 64 | class BForm<bits<6> opcode, bit aa, bit lk, bits<5> bo, bits<2> bicode, dag OL, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 65 | string asmstr, InstrItinClass itin> |
| 66 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | 7b809f5 | 2005-08-26 04:11:42 +0000 | [diff] [blame] | 67 | bits<3> CR; |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 68 | bits<14> BD; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 69 | |
| Nate Begeman | 7b809f5 | 2005-08-26 04:11:42 +0000 | [diff] [blame] | 70 | let Inst{6-10} = bo; |
| 71 | let Inst{11-13} = CR; |
| 72 | let Inst{14-15} = bicode; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 73 | let Inst{16-29} = BD; |
| 74 | let Inst{30} = aa; |
| 75 | let Inst{31} = lk; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 76 | } |
| 77 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 78 | // 1.7.4 D-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 79 | class DForm_base<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 80 | list<dag> pattern> |
| 81 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 82 | bits<5> A; |
| 83 | bits<5> B; |
| 84 | bits<16> C; |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 85 | |
| 86 | let Pattern = pattern; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 87 | |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 88 | let Inst{6-10} = A; |
| 89 | let Inst{11-15} = B; |
| 90 | let Inst{16-31} = C; |
| 91 | } |
| 92 | |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 93 | class DForm_1<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 94 | list<dag> pattern> |
| 95 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 15b0fb5 | 2004-10-23 06:08:38 +0000 | [diff] [blame] | 96 | bits<5> A; |
| 97 | bits<16> C; |
| 98 | bits<5> B; |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 99 | |
| 100 | let Pattern = pattern; |
| Misha Brukman | 15b0fb5 | 2004-10-23 06:08:38 +0000 | [diff] [blame] | 101 | |
| Misha Brukman | 15b0fb5 | 2004-10-23 06:08:38 +0000 | [diff] [blame] | 102 | let Inst{6-10} = A; |
| 103 | let Inst{11-15} = B; |
| 104 | let Inst{16-31} = C; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 105 | } |
| 106 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 107 | class DForm_2<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 108 | list<dag> pattern> |
| 109 | : DForm_base<opcode, OL, asmstr, itin, pattern>; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 110 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 111 | class DForm_2_r0<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 112 | list<dag> pattern> |
| 113 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 114 | bits<5> A; |
| 115 | bits<16> B; |
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 116 | |
| Chris Lattner | 2d8032b | 2005-09-08 17:33:10 +0000 | [diff] [blame] | 117 | let Pattern = pattern; |
| 118 | |
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 119 | let Inst{6-10} = A; |
| 120 | let Inst{11-15} = 0; |
| 121 | let Inst{16-31} = B; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 122 | } |
| 123 | |
| 124 | // Currently we make the use/def reg distinction in ISel, not tablegen |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 125 | class DForm_3<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 126 | list<dag> pattern> |
| 127 | : DForm_1<opcode, OL, asmstr, itin, pattern>; |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 128 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 129 | class DForm_4<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 130 | list<dag> pattern> |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 131 | : I<opcode, OL, asmstr, itin> { |
| Chris Lattner | 022e271 | 2004-11-24 02:15:41 +0000 | [diff] [blame] | 132 | bits<5> B; |
| 133 | bits<5> A; |
| 134 | bits<16> C; |
| 135 | |
| Chris Lattner | 76cb006 | 2005-09-08 17:40:49 +0000 | [diff] [blame] | 136 | let Pattern = pattern; |
| 137 | |
| Chris Lattner | 022e271 | 2004-11-24 02:15:41 +0000 | [diff] [blame] | 138 | let Inst{6-10} = A; |
| 139 | let Inst{11-15} = B; |
| 140 | let Inst{16-31} = C; |
| 141 | } |
| Nate Begeman | 4bfceb1 | 2004-09-04 05:00:00 +0000 | [diff] [blame] | 142 | |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 143 | class DForm_4_zero<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 144 | list<dag> pattern> |
| 145 | : DForm_1<opcode, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 146 | let A = 0; |
| 147 | let B = 0; |
| 148 | let C = 0; |
| 149 | } |
| 150 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 151 | class DForm_5<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin> |
| 152 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 153 | bits<3> BF; |
| 154 | bits<1> L; |
| 155 | bits<5> RA; |
| 156 | bits<16> I; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 157 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 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 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 165 | class DForm_5_ext<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin> |
| 166 | : DForm_5<opcode, OL, asmstr, itin> { |
| Chris Lattner | b2367e3 | 2005-04-19 04:59:28 +0000 | [diff] [blame] | 167 | let L = PPC64; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 168 | } |
| 169 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 170 | class DForm_6<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin> |
| 171 | : DForm_5<opcode, OL, asmstr, itin>; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 172 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 173 | class DForm_6_ext<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin> |
| 174 | : DForm_6<opcode, OL, asmstr, itin> { |
| Chris Lattner | b2367e3 | 2005-04-19 04:59:28 +0000 | [diff] [blame] | 175 | let L = PPC64; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 176 | } |
| 177 | |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 178 | class DForm_8<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 179 | list<dag> pattern> |
| 180 | : DForm_1<opcode, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 181 | } |
| 182 | |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 183 | class DForm_9<bits<6> opcode, dag OL, string asmstr, InstrItinClass itin, |
| 184 | list<dag> pattern> |
| 185 | : DForm_1<opcode, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 186 | } |
| 187 | |
| Misha Brukman | 28beda9 | 2004-08-11 15:54:36 +0000 | [diff] [blame] | 188 | // 1.7.5 DS-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 189 | class DSForm_1<bits<6> opcode, bits<2> xo, dag OL, string asmstr, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 190 | InstrItinClass itin, list<dag> pattern> |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 191 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 192 | bits<5> RST; |
| 193 | bits<14> DS; |
| 194 | bits<5> RA; |
| Misha Brukman | 28beda9 | 2004-08-11 15:54:36 +0000 | [diff] [blame] | 195 | |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 196 | let Pattern = pattern; |
| 197 | |
| Misha Brukman | 28beda9 | 2004-08-11 15:54:36 +0000 | [diff] [blame] | 198 | let Inst{6-10} = RST; |
| 199 | let Inst{11-15} = RA; |
| 200 | let Inst{16-29} = DS; |
| 201 | let Inst{30-31} = xo; |
| 202 | } |
| 203 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 204 | class DSForm_2<bits<6> opcode, bits<2> xo, dag OL, string asmstr, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 205 | InstrItinClass itin, list<dag> pattern> |
| 206 | : DSForm_1<opcode, xo, OL, asmstr, itin, pattern>; |
| Misha Brukman | 28beda9 | 2004-08-11 15:54:36 +0000 | [diff] [blame] | 207 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 208 | // 1.7.6 X-Form |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 209 | class XForm_base_r3xo<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 210 | InstrItinClass itin, list<dag> pattern> |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 211 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 212 | bits<5> RST; |
| 213 | bits<5> A; |
| 214 | bits<5> B; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 215 | |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 216 | let Pattern = pattern; |
| 217 | |
| Chris Lattner | f9172e1 | 2005-04-19 05:15:18 +0000 | [diff] [blame] | 218 | bit RC = 0; // set by isDOT |
| 219 | |
| Misha Brukman | 28beda9 | 2004-08-11 15:54:36 +0000 | [diff] [blame] | 220 | let Inst{6-10} = RST; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 221 | let Inst{11-15} = A; |
| 222 | let Inst{16-20} = B; |
| 223 | let Inst{21-30} = xo; |
| Chris Lattner | f9172e1 | 2005-04-19 05:15:18 +0000 | [diff] [blame] | 224 | let Inst{31} = RC; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 225 | } |
| 226 | |
| Chris Lattner | 130888ad | 2004-11-24 03:52:02 +0000 | [diff] [blame] | 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 |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 230 | <bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 231 | InstrItinClass itin> |
| 232 | : I<opcode, OL, asmstr, itin> { |
| Chris Lattner | 130888ad | 2004-11-24 03:52:02 +0000 | [diff] [blame] | 233 | bits<5> A; |
| 234 | bits<5> RST; |
| 235 | bits<5> B; |
| 236 | |
| Chris Lattner | f9172e1 | 2005-04-19 05:15:18 +0000 | [diff] [blame] | 237 | bit RC = 0; // set by isDOT |
| 238 | |
| Chris Lattner | 130888ad | 2004-11-24 03:52:02 +0000 | [diff] [blame] | 239 | let Inst{6-10} = RST; |
| 240 | let Inst{11-15} = A; |
| 241 | let Inst{16-20} = B; |
| 242 | let Inst{21-30} = xo; |
| Chris Lattner | f9172e1 | 2005-04-19 05:15:18 +0000 | [diff] [blame] | 243 | let Inst{31} = RC; |
| Chris Lattner | 130888ad | 2004-11-24 03:52:02 +0000 | [diff] [blame] | 244 | } |
| 245 | |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 246 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 247 | class XForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 248 | InstrItinClass itin, list<dag> pattern> |
| 249 | : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern>; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 250 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 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> { |
| Chris Lattner | dcbb561 | 2005-09-02 22:35:53 +0000 | [diff] [blame] | 254 | let Pattern = pattern; |
| 255 | } |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 256 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 257 | class XForm_8<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 258 | InstrItinClass itin, list<dag> pattern> |
| 259 | : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern>; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 260 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 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; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 265 | } |
| 266 | |
| Chris Lattner | dcbb561 | 2005-09-02 22:35:53 +0000 | [diff] [blame] | 267 | class XForm_11<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 268 | InstrItinClass itin, list<dag> pattern> |
| 269 | : XForm_base_r3xo_swapped<opcode, xo, OL, asmstr, itin> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 270 | let B = 0; |
| Chris Lattner | dcbb561 | 2005-09-02 22:35:53 +0000 | [diff] [blame] | 271 | let Pattern = pattern; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 272 | } |
| 273 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 274 | class XForm_16<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 275 | InstrItinClass itin> |
| 276 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 277 | bits<3> BF; |
| 278 | bits<1> L; |
| 279 | bits<5> RA; |
| 280 | bits<5> RB; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 281 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 282 | let Inst{6-8} = BF; |
| 283 | let Inst{9} = 0; |
| 284 | let Inst{10} = L; |
| 285 | let Inst{11-15} = RA; |
| 286 | let Inst{16-20} = RB; |
| 287 | let Inst{21-30} = xo; |
| 288 | let Inst{31} = 0; |
| 289 | } |
| 290 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 291 | class XForm_16_ext<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 292 | InstrItinClass itin> |
| 293 | : XForm_16<opcode, xo, OL, asmstr, itin> { |
| Chris Lattner | 15709c2 | 2005-04-19 04:51:30 +0000 | [diff] [blame] | 294 | let L = PPC64; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 295 | } |
| 296 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 297 | class XForm_17<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 298 | InstrItinClass itin> |
| 299 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 300 | bits<3> BF; |
| 301 | bits<5> FRA; |
| 302 | bits<5> FRB; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 303 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 304 | let Inst{6-8} = BF; |
| 305 | let Inst{9-10} = 0; |
| 306 | let Inst{11-15} = FRA; |
| 307 | let Inst{16-20} = FRB; |
| 308 | let Inst{21-30} = xo; |
| 309 | let Inst{31} = 0; |
| 310 | } |
| 311 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 312 | class XForm_25<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 313 | InstrItinClass itin, list<dag> pattern> |
| 314 | : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 315 | } |
| 316 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 317 | class XForm_26<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 318 | InstrItinClass itin, list<dag> pattern> |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 319 | : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 320 | let A = 0; |
| 321 | } |
| 322 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 323 | class XForm_28<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| Nate Begeman | ade6f9a | 2005-12-09 23:54:18 +0000 | [diff] [blame] | 324 | InstrItinClass itin, list<dag> pattern> |
| 325 | : XForm_base_r3xo<opcode, xo, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 326 | } |
| 327 | |
| Chris Lattner | c94d932 | 2006-04-05 22:27:14 +0000 | [diff] [blame^] | 328 | // DSS_Form - Form X instruction, used for altivec dss* instructions. |
| 329 | class DSS_Form<bits<10> xo, dag OL, string asmstr, |
| 330 | InstrItinClass itin, list<dag> pattern> |
| 331 | : I<31, OL, asmstr, itin> { |
| 332 | bits<1> T; |
| 333 | bits<2> STRM; |
| 334 | bits<5> A; |
| 335 | bits<5> B; |
| 336 | |
| 337 | let Pattern = pattern; |
| 338 | |
| 339 | let Inst{6} = T; |
| 340 | let Inst{7-8} = 0; |
| 341 | let Inst{9-10} = STRM; |
| 342 | let Inst{11-15} = A; |
| 343 | let Inst{16-20} = B; |
| 344 | let Inst{21-30} = xo; |
| 345 | let Inst{31} = 0; |
| 346 | } |
| 347 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 348 | // 1.7.7 XL-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 349 | class XLForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 350 | InstrItinClass itin> |
| 351 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | 65a82c5 | 2005-04-14 03:20:38 +0000 | [diff] [blame] | 352 | bits<3> CRD; |
| 353 | bits<2> CRDb; |
| 354 | bits<3> CRA; |
| 355 | bits<2> CRAb; |
| 356 | bits<3> CRB; |
| 357 | bits<2> CRBb; |
| 358 | |
| 359 | let Inst{6-8} = CRD; |
| 360 | let Inst{9-10} = CRDb; |
| 361 | let Inst{11-13} = CRA; |
| 362 | let Inst{14-15} = CRAb; |
| 363 | let Inst{16-18} = CRB; |
| 364 | let Inst{19-20} = CRBb; |
| 365 | let Inst{21-30} = xo; |
| 366 | let Inst{31} = 0; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 367 | } |
| 368 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 369 | class XLForm_2<bits<6> opcode, bits<10> xo, bit lk, dag OL, string asmstr, |
| Nate Begeman | b11b8e4 | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 370 | InstrItinClass itin, list<dag> pattern> |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 371 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 372 | bits<5> BO; |
| 373 | bits<5> BI; |
| 374 | bits<2> BH; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 375 | |
| Nate Begeman | b11b8e4 | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 376 | let Pattern = pattern; |
| 377 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 378 | let Inst{6-10} = BO; |
| 379 | let Inst{11-15} = BI; |
| 380 | let Inst{16-18} = 0; |
| 381 | let Inst{19-20} = BH; |
| 382 | let Inst{21-30} = xo; |
| 383 | let Inst{31} = lk; |
| 384 | } |
| 385 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 386 | class XLForm_2_ext<bits<6> opcode, bits<10> xo, bits<5> bo, bits<5> bi, bit lk, |
| Nate Begeman | b11b8e4 | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 387 | dag OL, string asmstr, InstrItinClass itin, list<dag> pattern> |
| 388 | : XLForm_2<opcode, xo, lk, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 389 | let BO = bo; |
| 390 | let BI = bi; |
| 391 | let BH = 0; |
| 392 | } |
| 393 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 394 | class XLForm_3<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 395 | InstrItinClass itin> |
| 396 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | f67f3bf | 2005-04-12 07:04:16 +0000 | [diff] [blame] | 397 | bits<3> BF; |
| 398 | bits<3> BFA; |
| 399 | |
| 400 | let Inst{6-8} = BF; |
| 401 | let Inst{9-10} = 0; |
| 402 | let Inst{11-13} = BFA; |
| 403 | let Inst{14-15} = 0; |
| 404 | let Inst{16-20} = 0; |
| 405 | let Inst{21-30} = xo; |
| 406 | let Inst{31} = 0; |
| 407 | } |
| 408 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 409 | // 1.7.8 XFX-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 410 | class XFXForm_1<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 411 | InstrItinClass itin> |
| 412 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | f67f3bf | 2005-04-12 07:04:16 +0000 | [diff] [blame] | 413 | bits<5> RT; |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 414 | bits<10> SPR; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 415 | |
| Nate Begeman | f67f3bf | 2005-04-12 07:04:16 +0000 | [diff] [blame] | 416 | let Inst{6-10} = RT; |
| Nate Begeman | 048b263 | 2005-11-29 22:42:50 +0000 | [diff] [blame] | 417 | let Inst{11} = SPR{4}; |
| 418 | let Inst{12} = SPR{3}; |
| 419 | let Inst{13} = SPR{2}; |
| 420 | let Inst{14} = SPR{1}; |
| 421 | let Inst{15} = SPR{0}; |
| 422 | let Inst{16} = SPR{9}; |
| 423 | let Inst{17} = SPR{8}; |
| 424 | let Inst{18} = SPR{7}; |
| 425 | let Inst{19} = SPR{6}; |
| 426 | let Inst{20} = SPR{5}; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 427 | let Inst{21-30} = xo; |
| 428 | let Inst{31} = 0; |
| 429 | } |
| 430 | |
| Chris Lattner | d790d22 | 2005-04-19 04:40:07 +0000 | [diff] [blame] | 431 | class XFXForm_1_ext<bits<6> opcode, bits<10> xo, bits<10> spr, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 432 | dag OL, string asmstr, InstrItinClass itin> |
| 433 | : XFXForm_1<opcode, xo, OL, asmstr, itin> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 434 | let SPR = spr; |
| 435 | } |
| 436 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 437 | class XFXForm_3<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 438 | InstrItinClass itin> |
| 439 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | f67f3bf | 2005-04-12 07:04:16 +0000 | [diff] [blame] | 440 | bits<5> RT; |
| 441 | |
| 442 | let Inst{6-10} = RT; |
| 443 | let Inst{11-20} = 0; |
| 444 | let Inst{21-30} = xo; |
| 445 | let Inst{31} = 0; |
| 446 | } |
| 447 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 448 | class XFXForm_5<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 449 | InstrItinClass itin> |
| 450 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | f67f3bf | 2005-04-12 07:04:16 +0000 | [diff] [blame] | 451 | bits<8> FXM; |
| 452 | bits<5> ST; |
| 453 | |
| 454 | let Inst{6-10} = ST; |
| Nate Begeman | 9a83867 | 2005-08-08 20:04:52 +0000 | [diff] [blame] | 455 | let Inst{11} = 0; |
| Nate Begeman | f67f3bf | 2005-04-12 07:04:16 +0000 | [diff] [blame] | 456 | let Inst{12-19} = FXM; |
| 457 | let Inst{20} = 0; |
| 458 | let Inst{21-30} = xo; |
| 459 | let Inst{31} = 0; |
| 460 | } |
| 461 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 462 | class XFXForm_5a<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 463 | InstrItinClass itin> |
| 464 | : I<opcode, OL, asmstr, itin> { |
| Nate Begeman | 9a83867 | 2005-08-08 20:04:52 +0000 | [diff] [blame] | 465 | bits<5> ST; |
| 466 | bits<8> FXM; |
| 467 | |
| 468 | let Inst{6-10} = ST; |
| 469 | let Inst{11} = 1; |
| 470 | let Inst{12-19} = FXM; |
| 471 | let Inst{20} = 0; |
| 472 | let Inst{21-30} = xo; |
| 473 | let Inst{31} = 0; |
| 474 | } |
| 475 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 476 | class XFXForm_7<bits<6> opcode, bits<10> xo, dag OL, string asmstr, |
| 477 | InstrItinClass itin> |
| 478 | : XFXForm_1<opcode, xo, OL, asmstr, itin>; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 479 | |
| Nate Begeman | 143cf94 | 2004-08-30 02:28:06 +0000 | [diff] [blame] | 480 | class XFXForm_7_ext<bits<6> opcode, bits<10> xo, bits<10> spr, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 481 | dag OL, string asmstr, InstrItinClass itin> |
| 482 | : XFXForm_7<opcode, xo, OL, asmstr, itin> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 483 | let SPR = spr; |
| 484 | } |
| 485 | |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 486 | // 1.7.10 XS-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 487 | class XSForm_1<bits<6> opcode, bits<9> xo, dag OL, string asmstr, |
| 488 | InstrItinClass itin> |
| 489 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 490 | bits<5> RS; |
| 491 | bits<5> A; |
| 492 | bits<6> SH; |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 493 | |
| Chris Lattner | f9172e1 | 2005-04-19 05:15:18 +0000 | [diff] [blame] | 494 | bit RC = 0; // set by isDOT |
| 495 | |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 496 | let Inst{6-10} = RS; |
| 497 | let Inst{11-15} = A; |
| 498 | let Inst{16-20} = SH{1-5}; |
| 499 | let Inst{21-29} = xo; |
| 500 | let Inst{30} = SH{0}; |
| Chris Lattner | f9172e1 | 2005-04-19 05:15:18 +0000 | [diff] [blame] | 501 | let Inst{31} = RC; |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 502 | } |
| 503 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 504 | // 1.7.11 XO-Form |
| Chris Lattner | 3a1002d | 2005-09-02 21:18:00 +0000 | [diff] [blame] | 505 | class XOForm_1<bits<6> opcode, bits<9> xo, bit oe, dag OL, string asmstr, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 506 | InstrItinClass itin, list<dag> pattern> |
| 507 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 508 | bits<5> RT; |
| 509 | bits<5> RA; |
| 510 | bits<5> RB; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 511 | |
| Chris Lattner | 3a1002d | 2005-09-02 21:18:00 +0000 | [diff] [blame] | 512 | let Pattern = pattern; |
| 513 | |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 514 | bit RC = 0; // set by isDOT |
| 515 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 516 | let Inst{6-10} = RT; |
| 517 | let Inst{11-15} = RA; |
| 518 | let Inst{16-20} = RB; |
| 519 | let Inst{21} = oe; |
| 520 | let Inst{22-30} = xo; |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 521 | let Inst{31} = RC; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 522 | } |
| 523 | |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 524 | class XOForm_3<bits<6> opcode, bits<9> xo, bit oe, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 525 | dag OL, string asmstr, InstrItinClass itin, list<dag> pattern> |
| 526 | : XOForm_1<opcode, xo, oe, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 527 | let RB = 0; |
| 528 | } |
| 529 | |
| 530 | // 1.7.12 A-Form |
| Chris Lattner | 027a267 | 2005-09-29 23:34:24 +0000 | [diff] [blame] | 531 | class AForm_1<bits<6> opcode, bits<5> xo, dag OL, string asmstr, |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 532 | InstrItinClass itin, list<dag> pattern> |
| 533 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 534 | bits<5> FRT; |
| 535 | bits<5> FRA; |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 536 | bits<5> FRC; |
| Chris Lattner | da76c16 | 2004-11-25 04:11:07 +0000 | [diff] [blame] | 537 | bits<5> FRB; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 538 | |
| Chris Lattner | 027a267 | 2005-09-29 23:34:24 +0000 | [diff] [blame] | 539 | let Pattern = pattern; |
| 540 | |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 541 | bit RC = 0; // set by isDOT |
| 542 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 543 | let Inst{6-10} = FRT; |
| 544 | let Inst{11-15} = FRA; |
| 545 | let Inst{16-20} = FRB; |
| 546 | let Inst{21-25} = FRC; |
| 547 | let Inst{26-30} = xo; |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 548 | let Inst{31} = RC; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 549 | } |
| 550 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 551 | class AForm_2<bits<6> opcode, bits<5> xo, dag OL, string asmstr, |
| 552 | InstrItinClass itin, list<dag> pattern> |
| 553 | : AForm_1<opcode, xo, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 554 | let FRC = 0; |
| 555 | } |
| 556 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 557 | class AForm_3<bits<6> opcode, bits<5> xo, dag OL, string asmstr, |
| 558 | InstrItinClass itin, list<dag> pattern> |
| 559 | : AForm_1<opcode, xo, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 560 | let FRB = 0; |
| 561 | } |
| 562 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 563 | // 1.7.13 M-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 564 | class MForm_1<bits<6> opcode, dag OL, string asmstr, |
| 565 | InstrItinClass itin, list<dag> pattern> |
| 566 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 567 | bits<5> RA; |
| Chris Lattner | 5f4b0e1 | 2004-11-23 19:23:32 +0000 | [diff] [blame] | 568 | bits<5> RS; |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 569 | bits<5> RB; |
| 570 | bits<5> MB; |
| 571 | bits<5> ME; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 572 | |
| Nate Begeman | 9f3c26c | 2005-10-19 18:42:01 +0000 | [diff] [blame] | 573 | let Pattern = pattern; |
| 574 | |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 575 | bit RC = 0; // set by isDOT |
| 576 | |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 577 | let Inst{6-10} = RS; |
| 578 | let Inst{11-15} = RA; |
| 579 | let Inst{16-20} = RB; |
| 580 | let Inst{21-25} = MB; |
| 581 | let Inst{26-30} = ME; |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 582 | let Inst{31} = RC; |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 583 | } |
| 584 | |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 585 | class MForm_2<bits<6> opcode, dag OL, string asmstr, |
| 586 | InstrItinClass itin, list<dag> pattern> |
| 587 | : MForm_1<opcode, OL, asmstr, itin, pattern> { |
| Misha Brukman | 5295e1d | 2004-08-09 17:24:04 +0000 | [diff] [blame] | 588 | } |
| 589 | |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 590 | // 1.7.14 MD-Form |
| Jim Laskey | 74ab996 | 2005-10-19 19:51:16 +0000 | [diff] [blame] | 591 | class MDForm_1<bits<6> opcode, bits<3> xo, dag OL, string asmstr, |
| 592 | InstrItinClass itin, list<dag> pattern> |
| 593 | : I<opcode, OL, asmstr, itin> { |
| Misha Brukman | 189f3dc | 2004-10-14 05:55:37 +0000 | [diff] [blame] | 594 | bits<5> RS; |
| 595 | bits<5> RA; |
| 596 | bits<6> SH; |
| 597 | bits<6> MBE; |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 598 | |
| Nate Begeman | 9f3c26c | 2005-10-19 18:42:01 +0000 | [diff] [blame] | 599 | let Pattern = pattern; |
| 600 | |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 601 | bit RC = 0; // set by isDOT |
| 602 | |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 603 | let Inst{6-10} = RS; |
| 604 | let Inst{11-15} = RA; |
| 605 | let Inst{16-20} = SH{1-5}; |
| 606 | let Inst{21-26} = MBE; |
| 607 | let Inst{27-29} = xo; |
| 608 | let Inst{30} = SH{0}; |
| Chris Lattner | baa9be5 | 2005-04-19 05:21:30 +0000 | [diff] [blame] | 609 | let Inst{31} = RC; |
| Nate Begeman | 765cb5f | 2004-08-13 02:19:26 +0000 | [diff] [blame] | 610 | } |
| 611 | |
| Chris Lattner | c94d932 | 2006-04-05 22:27:14 +0000 | [diff] [blame^] | 612 | |
| 613 | |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 614 | // E-1 VA-Form |
| Chris Lattner | 1738c29 | 2006-03-27 03:34:17 +0000 | [diff] [blame] | 615 | |
| 616 | // VAForm_1 - DACB ordering. |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 617 | class VAForm_1<bits<6> xo, dag OL, string asmstr, |
| 618 | InstrItinClass itin, list<dag> pattern> |
| 619 | : I<4, OL, asmstr, itin> { |
| 620 | bits<5> VD; |
| 621 | bits<5> VA; |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 622 | bits<5> VC; |
| Chris Lattner | 4e73717 | 2006-03-22 01:44:36 +0000 | [diff] [blame] | 623 | bits<5> VB; |
| Nate Begeman | 11fd6b2 | 2005-11-26 22:39:34 +0000 | [diff] [blame] | 624 | |
| 625 | let Pattern = pattern; |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 626 | |
| 627 | let Inst{6-10} = VD; |
| 628 | let Inst{11-15} = VA; |
| 629 | let Inst{16-20} = VB; |
| 630 | let Inst{21-25} = VC; |
| 631 | let Inst{26-31} = xo; |
| 632 | } |
| 633 | |
| Chris Lattner | 1738c29 | 2006-03-27 03:34:17 +0000 | [diff] [blame] | 634 | // VAForm_1a - DABC ordering. |
| 635 | class VAForm_1a<bits<6> xo, dag OL, string asmstr, |
| 636 | InstrItinClass itin, list<dag> pattern> |
| 637 | : I<4, OL, asmstr, itin> { |
| 638 | bits<5> VD; |
| 639 | bits<5> VA; |
| 640 | bits<5> VB; |
| 641 | bits<5> VC; |
| 642 | |
| 643 | let Pattern = pattern; |
| 644 | |
| 645 | let Inst{6-10} = VD; |
| 646 | let Inst{11-15} = VA; |
| 647 | let Inst{16-20} = VB; |
| 648 | let Inst{21-25} = VC; |
| 649 | let Inst{26-31} = xo; |
| 650 | } |
| 651 | |
| Chris Lattner | 53e07de | 2006-03-26 00:41:48 +0000 | [diff] [blame] | 652 | class VAForm_2<bits<6> xo, dag OL, string asmstr, |
| 653 | InstrItinClass itin, list<dag> pattern> |
| 654 | : I<4, OL, asmstr, itin> { |
| 655 | bits<5> VD; |
| 656 | bits<5> VA; |
| 657 | bits<5> VB; |
| 658 | bits<4> SH; |
| 659 | |
| 660 | let Pattern = pattern; |
| 661 | |
| 662 | let Inst{6-10} = VD; |
| 663 | let Inst{11-15} = VA; |
| 664 | let Inst{16-20} = VB; |
| 665 | let Inst{21} = 0; |
| 666 | let Inst{22-25} = SH; |
| 667 | let Inst{26-31} = xo; |
| 668 | } |
| 669 | |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 670 | // E-2 VX-Form |
| 671 | class VXForm_1<bits<11> xo, dag OL, string asmstr, |
| 672 | InstrItinClass itin, list<dag> pattern> |
| 673 | : I<4, OL, asmstr, itin> { |
| 674 | bits<5> VD; |
| 675 | bits<5> VA; |
| 676 | bits<5> VB; |
| 677 | |
| Nate Begeman | 11fd6b2 | 2005-11-26 22:39:34 +0000 | [diff] [blame] | 678 | let Pattern = pattern; |
| 679 | |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 680 | let Inst{6-10} = VD; |
| 681 | let Inst{11-15} = VA; |
| 682 | let Inst{16-20} = VB; |
| 683 | let Inst{21-31} = xo; |
| 684 | } |
| 685 | |
| Nate Begeman | 40f081d | 2005-12-14 00:34:09 +0000 | [diff] [blame] | 686 | class VXForm_setzero<bits<11> xo, dag OL, string asmstr, |
| 687 | InstrItinClass itin, list<dag> pattern> |
| 688 | : VXForm_1<xo, OL, asmstr, itin, pattern> { |
| 689 | let VA = VD; |
| 690 | let VB = VD; |
| 691 | } |
| 692 | |
| 693 | |
| Nate Begeman | c138118 | 2005-11-29 08:04:45 +0000 | [diff] [blame] | 694 | class VXForm_2<bits<11> xo, dag OL, string asmstr, |
| 695 | InstrItinClass itin, list<dag> pattern> |
| 696 | : I<4, OL, asmstr, itin> { |
| 697 | bits<5> VD; |
| 698 | bits<5> VB; |
| 699 | |
| 700 | let Pattern = pattern; |
| 701 | |
| 702 | let Inst{6-10} = VD; |
| 703 | let Inst{11-15} = 0; |
| 704 | let Inst{16-20} = VB; |
| 705 | let Inst{21-31} = xo; |
| 706 | } |
| 707 | |
| Chris Lattner | df59d53 | 2006-03-27 03:28:57 +0000 | [diff] [blame] | 708 | class VXForm_3<bits<11> xo, dag OL, string asmstr, |
| 709 | InstrItinClass itin, list<dag> pattern> |
| 710 | : I<4, OL, asmstr, itin> { |
| 711 | bits<5> VD; |
| 712 | bits<5> IMM; |
| 713 | |
| 714 | let Pattern = pattern; |
| 715 | |
| 716 | let Inst{6-10} = VD; |
| 717 | let Inst{11-15} = IMM; |
| 718 | let Inst{16-20} = 0; |
| 719 | let Inst{21-31} = xo; |
| 720 | } |
| 721 | |
| Chris Lattner | 5a528e5 | 2006-04-05 00:03:57 +0000 | [diff] [blame] | 722 | /// VXForm_4 - VX instructions with "VD,0,0" register fields, like mfvscr. |
| 723 | class VXForm_4<bits<11> xo, dag OL, string asmstr, |
| 724 | InstrItinClass itin, list<dag> pattern> |
| 725 | : I<4, OL, asmstr, itin> { |
| 726 | bits<5> VD; |
| 727 | |
| 728 | let Pattern = pattern; |
| 729 | |
| 730 | let Inst{6-10} = VD; |
| 731 | let Inst{11-15} = 0; |
| 732 | let Inst{16-20} = 0; |
| 733 | let Inst{21-31} = xo; |
| 734 | } |
| 735 | |
| 736 | /// VXForm_5 - VX instructions with "0,0,VB" register fields, like mtvscr. |
| 737 | class VXForm_5<bits<11> xo, dag OL, string asmstr, |
| 738 | InstrItinClass itin, list<dag> pattern> |
| 739 | : I<4, OL, asmstr, itin> { |
| 740 | bits<5> VB; |
| 741 | |
| 742 | let Pattern = pattern; |
| 743 | |
| 744 | let Inst{6-10} = 0; |
| 745 | let Inst{11-15} = 0; |
| 746 | let Inst{16-20} = VB; |
| 747 | let Inst{21-31} = xo; |
| 748 | } |
| Chris Lattner | df59d53 | 2006-03-27 03:28:57 +0000 | [diff] [blame] | 749 | |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 750 | // E-4 VXR-Form |
| Chris Lattner | 793cbcb | 2006-03-26 04:57:17 +0000 | [diff] [blame] | 751 | class VXRForm_1<bits<10> xo, dag OL, string asmstr, |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 752 | InstrItinClass itin, list<dag> pattern> |
| 753 | : I<4, OL, asmstr, itin> { |
| 754 | bits<5> VD; |
| 755 | bits<5> VA; |
| 756 | bits<5> VB; |
| Chris Lattner | 793cbcb | 2006-03-26 04:57:17 +0000 | [diff] [blame] | 757 | bit RC = 0; |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 758 | |
| Nate Begeman | 11fd6b2 | 2005-11-26 22:39:34 +0000 | [diff] [blame] | 759 | let Pattern = pattern; |
| 760 | |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 761 | let Inst{6-10} = VD; |
| 762 | let Inst{11-15} = VA; |
| 763 | let Inst{16-20} = VB; |
| Chris Lattner | 793cbcb | 2006-03-26 04:57:17 +0000 | [diff] [blame] | 764 | let Inst{21} = RC; |
| Nate Begeman | 8492fd3 | 2005-11-23 05:29:52 +0000 | [diff] [blame] | 765 | let Inst{22-31} = xo; |
| 766 | } |
| 767 | |
| Misha Brukman | 6b21bde | 2004-08-02 21:56:35 +0000 | [diff] [blame] | 768 | //===----------------------------------------------------------------------===// |
| Chris Lattner | b439dad | 2005-10-25 20:58:43 +0000 | [diff] [blame] | 769 | class Pseudo<dag OL, string asmstr, list<dag> pattern> |
| Chris Lattner | 1240574 | 2006-01-27 01:46:15 +0000 | [diff] [blame] | 770 | : I<0, OL, asmstr, NoItinerary> { |
| Nate Begeman | 6173878 | 2004-09-02 08:13:00 +0000 | [diff] [blame] | 771 | let PPC64 = 0; |
| 772 | let VMX = 0; |
| Chris Lattner | b439dad | 2005-10-25 20:58:43 +0000 | [diff] [blame] | 773 | let Pattern = pattern; |
| Nate Begeman | 6173878 | 2004-09-02 08:13:00 +0000 | [diff] [blame] | 774 | let Inst{31-0} = 0; |
| Misha Brukman | cd4f51b | 2004-08-02 16:54:54 +0000 | [diff] [blame] | 775 | } |