blob: ee3d6501fae66c868a00fa1c8f65a27f7c8ee118 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- PPC.td - Describe the PowerPC Target Machine -------*- tablegen -*-===//
2//
Chris Lattner0921e3b2005-10-14 23:37:35 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Jia Liub22310f2012-02-18 12:03:15 +00007//
Chris Lattner0921e3b2005-10-14 23:37:35 +00008//===----------------------------------------------------------------------===//
9//
10// This is the top level entry point for the PowerPC target.
11//
12//===----------------------------------------------------------------------===//
13
14// Get the target-independent interfaces which we are implementing.
15//
Evan Cheng977e7be2008-11-24 07:34:46 +000016include "llvm/Target/Target.td"
Chris Lattner0921e3b2005-10-14 23:37:35 +000017
18//===----------------------------------------------------------------------===//
Jim Laskey13a19452005-10-22 08:04:24 +000019// PowerPC Subtarget features.
Jim Laskey74ab9962005-10-19 19:51:16 +000020//
Nemanja Ivanovicd384cd92015-03-04 17:09:12 +000021
Jim Laskey59e7a772006-12-12 20:57:08 +000022//===----------------------------------------------------------------------===//
23// CPU Directives //
24//===----------------------------------------------------------------------===//
25
Hal Finkel6fa56972011-10-17 04:03:49 +000026def Directive440 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_440", "">;
Jim Laskey59e7a772006-12-12 20:57:08 +000027def Directive601 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_601", "">;
28def Directive602 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_602", "">;
29def Directive603 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_603", "">;
30def Directive604 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_603", "">;
31def Directive620 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_603", "">;
32def Directive7400: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_7400", "">;
33def Directive750 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_750", "">;
34def Directive970 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_970", "">;
35def Directive32 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_32", "">;
36def Directive64 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_64", "">;
Hal Finkel9f9f8922012-04-01 19:22:40 +000037def DirectiveA2 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_A2", "">;
Hal Finkel742b5352012-08-28 16:12:39 +000038def DirectiveE500mc : SubtargetFeature<"", "DarwinDirective",
39 "PPC::DIR_E500mc", "">;
Eric Christopher47d372f2016-06-23 01:33:38 +000040def DirectiveE5500 : SubtargetFeature<"", "DarwinDirective",
Hal Finkel742b5352012-08-28 16:12:39 +000041 "PPC::DIR_E5500", "">;
Bill Schmidt52742c22013-02-01 22:59:51 +000042def DirectivePwr3: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR3", "">;
43def DirectivePwr4: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR4", "">;
44def DirectivePwr5: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR5", "">;
Eric Christopher47d372f2016-06-23 01:33:38 +000045def DirectivePwr5x
46 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR5X", "">;
Hal Finkelf2b9c382012-06-11 15:43:08 +000047def DirectivePwr6: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR6", "">;
Eric Christopher47d372f2016-06-23 01:33:38 +000048def DirectivePwr6x
49 : SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR6X", "">;
Hal Finkelf2b9c382012-06-11 15:43:08 +000050def DirectivePwr7: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR7", "">;
Will Schmidt970ff642014-06-26 13:36:19 +000051def DirectivePwr8: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR8", "">;
Nemanja Ivanovic6e29baf2016-05-09 18:54:58 +000052def DirectivePwr9: SubtargetFeature<"", "DarwinDirective", "PPC::DIR_PWR9", "">;
Jim Laskey59e7a772006-12-12 20:57:08 +000053
Chris Lattnera35f3062006-06-16 17:34:12 +000054def Feature64Bit : SubtargetFeature<"64bit","Has64BitSupport", "true",
Chris Lattner0d4923b2005-10-23 05:28:51 +000055 "Enable 64-bit instructions">;
Hal Finkela9321052016-10-02 02:10:20 +000056def FeatureHardFloat : SubtargetFeature<"hard-float", "HasHardFloat", "true",
57 "Enable floating-point instructions">;
Chris Lattnera35f3062006-06-16 17:34:12 +000058def Feature64BitRegs : SubtargetFeature<"64bitregs","Use64BitRegs", "true",
59 "Enable 64-bit registers usage for ppc32 [beta]">;
Hal Finkel940ab932014-02-28 00:27:01 +000060def FeatureCRBits : SubtargetFeature<"crbits", "UseCRBits", "true",
61 "Use condition-register bits individually">;
Evan Chengd98701c2006-01-27 08:09:42 +000062def FeatureAltivec : SubtargetFeature<"altivec","HasAltivec", "true",
Hal Finkela9321052016-10-02 02:10:20 +000063 "Enable Altivec instructions",
64 [FeatureHardFloat]>;
Joerg Sonnenberger39f095a2014-08-07 12:18:21 +000065def FeatureSPE : SubtargetFeature<"spe","HasSPE", "true",
Hal Finkela9321052016-10-02 02:10:20 +000066 "Enable SPE instructions",
67 [FeatureHardFloat]>;
Hal Finkelbfd3d082012-06-11 19:57:01 +000068def FeatureMFOCRF : SubtargetFeature<"mfocrf","HasMFOCRF", "true",
69 "Enable the MFOCRF instruction">;
Evan Chengd98701c2006-01-27 08:09:42 +000070def FeatureFSqrt : SubtargetFeature<"fsqrt","HasFSQRT", "true",
Hal Finkela9321052016-10-02 02:10:20 +000071 "Enable the fsqrt instruction",
72 [FeatureHardFloat]>;
Hal Finkeldbc78e12013-08-19 05:01:02 +000073def FeatureFCPSGN : SubtargetFeature<"fcpsgn", "HasFCPSGN", "true",
Hal Finkela9321052016-10-02 02:10:20 +000074 "Enable the fcpsgn instruction",
75 [FeatureHardFloat]>;
Hal Finkel2e103312013-04-03 04:01:11 +000076def FeatureFRE : SubtargetFeature<"fre", "HasFRE", "true",
Hal Finkela9321052016-10-02 02:10:20 +000077 "Enable the fre instruction",
78 [FeatureHardFloat]>;
Hal Finkel2e103312013-04-03 04:01:11 +000079def FeatureFRES : SubtargetFeature<"fres", "HasFRES", "true",
Hal Finkela9321052016-10-02 02:10:20 +000080 "Enable the fres instruction",
81 [FeatureHardFloat]>;
Hal Finkel2e103312013-04-03 04:01:11 +000082def FeatureFRSQRTE : SubtargetFeature<"frsqrte", "HasFRSQRTE", "true",
Hal Finkela9321052016-10-02 02:10:20 +000083 "Enable the frsqrte instruction",
84 [FeatureHardFloat]>;
Hal Finkel2e103312013-04-03 04:01:11 +000085def FeatureFRSQRTES : SubtargetFeature<"frsqrtes", "HasFRSQRTES", "true",
Hal Finkela9321052016-10-02 02:10:20 +000086 "Enable the frsqrtes instruction",
87 [FeatureHardFloat]>;
Hal Finkel2e103312013-04-03 04:01:11 +000088def FeatureRecipPrec : SubtargetFeature<"recipprec", "HasRecipPrec", "true",
89 "Assume higher precision reciprocal estimates">;
Chris Lattnerb9f35f02006-02-28 07:08:22 +000090def FeatureSTFIWX : SubtargetFeature<"stfiwx","HasSTFIWX", "true",
Hal Finkela9321052016-10-02 02:10:20 +000091 "Enable the stfiwx instruction",
92 [FeatureHardFloat]>;
Hal Finkelbeb296b2013-03-31 10:12:51 +000093def FeatureLFIWAX : SubtargetFeature<"lfiwax","HasLFIWAX", "true",
Hal Finkela9321052016-10-02 02:10:20 +000094 "Enable the lfiwax instruction",
95 [FeatureHardFloat]>;
Hal Finkelc20a08d2013-03-29 08:57:48 +000096def FeatureFPRND : SubtargetFeature<"fprnd", "HasFPRND", "true",
Hal Finkela9321052016-10-02 02:10:20 +000097 "Enable the fri[mnpz] instructions",
98 [FeatureHardFloat]>;
Hal Finkelf6d45f22013-04-01 17:52:07 +000099def FeatureFPCVT : SubtargetFeature<"fpcvt", "HasFPCVT", "true",
Hal Finkela9321052016-10-02 02:10:20 +0000100 "Enable fc[ft]* (unsigned and single-precision) and lfiwzx instructions",
101 [FeatureHardFloat]>;
Hal Finkel460e94d2012-06-22 23:10:08 +0000102def FeatureISEL : SubtargetFeature<"isel","HasISEL", "true",
103 "Enable the isel instruction">;
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000104def FeatureBPERMD : SubtargetFeature<"bpermd", "HasBPERMD", "true",
105 "Enable the bpermd instruction">;
106def FeatureExtDiv : SubtargetFeature<"extdiv", "HasExtDiv", "true",
107 "Enable extended divide instructions">;
Hal Finkel31d29562013-03-28 19:25:55 +0000108def FeatureLDBRX : SubtargetFeature<"ldbrx","HasLDBRX", "true",
109 "Enable the ldbrx instruction">;
Hal Finkel4edc66b2015-01-03 01:16:37 +0000110def FeatureCMPB : SubtargetFeature<"cmpb", "HasCMPB", "true",
111 "Enable the cmpb instruction">;
Bill Schmidt082cfc02015-01-14 20:17:10 +0000112def FeatureICBT : SubtargetFeature<"icbt","HasICBT", "true",
113 "Enable icbt instruction">;
Hal Finkel6fa56972011-10-17 04:03:49 +0000114def FeatureBookE : SubtargetFeature<"booke", "IsBookE", "true",
Bill Schmidt082cfc02015-01-14 20:17:10 +0000115 "Enable Book E instructions",
116 [FeatureICBT]>;
Hal Finkelfe3368c2014-10-02 22:34:22 +0000117def FeatureMSYNC : SubtargetFeature<"msync", "HasOnlyMSYNC", "true",
118 "Has only the msync instruction instead of sync",
119 [FeatureBookE]>;
Joerg Sonnenberger6ae087a2014-08-07 12:31:28 +0000120def FeatureE500 : SubtargetFeature<"e500", "IsE500", "true",
Joerg Sonnenberger0b2ebcb2014-08-04 15:47:38 +0000121 "Enable E500/E500mc instructions">;
122def FeaturePPC4xx : SubtargetFeature<"ppc4xx", "IsPPC4xx", "true",
123 "Enable PPC 4xx instructions">;
Joerg Sonnenberger74052102014-08-04 17:07:41 +0000124def FeaturePPC6xx : SubtargetFeature<"ppc6xx", "IsPPC6xx", "true",
125 "Enable PPC 6xx instructions">;
Hal Finkelefb305e2013-01-30 21:17:42 +0000126def FeatureQPX : SubtargetFeature<"qpx","HasQPX", "true",
Hal Finkela9321052016-10-02 02:10:20 +0000127 "Enable QPX instructions",
128 [FeatureHardFloat]>;
Eric Christopher081efcc2013-10-16 20:38:58 +0000129def FeatureVSX : SubtargetFeature<"vsx","HasVSX", "true",
Hal Finkel27774d92014-03-13 07:58:58 +0000130 "Enable VSX instructions",
131 [FeatureAltivec]>;
Bill Schmidtfe88b182015-02-03 21:58:23 +0000132def FeatureP8Altivec : SubtargetFeature<"power8-altivec", "HasP8Altivec", "true",
133 "Enable POWER8 Altivec instructions",
134 [FeatureAltivec]>;
Nemanja Ivanovice8effe12015-03-04 20:44:33 +0000135def FeatureP8Crypto : SubtargetFeature<"crypto", "HasP8Crypto", "true",
Nemanja Ivanovic0adf26b2015-03-10 20:51:07 +0000136 "Enable POWER8 Crypto instructions",
137 [FeatureP8Altivec]>;
NAKAMURA Takumicc4487e2014-12-09 01:03:27 +0000138def FeatureP8Vector : SubtargetFeature<"power8-vector", "HasP8Vector", "true",
139 "Enable POWER8 vector instructions",
Bill Schmidtfe88b182015-02-03 21:58:23 +0000140 [FeatureVSX, FeatureP8Altivec]>;
Nemanja Ivanovicc38b5312015-04-11 10:40:42 +0000141def FeatureDirectMove :
142 SubtargetFeature<"direct-move", "HasDirectMove", "true",
143 "Enable Power8 direct move instructions",
144 [FeatureVSX]>;
Nemanja Ivanovic0adf26b2015-03-10 20:51:07 +0000145def FeaturePartwordAtomic : SubtargetFeature<"partword-atomics",
146 "HasPartwordAtomics", "true",
147 "Enable l[bh]arx and st[bh]cx.">;
Hal Finkele2ab0f12015-01-15 21:17:34 +0000148def FeatureInvariantFunctionDescriptors :
149 SubtargetFeature<"invariant-function-descriptors",
150 "HasInvariantFunctionDescriptors", "true",
151 "Assume function descriptors are invariant">;
Hal Finkelb074a602016-08-30 00:59:23 +0000152def FeatureLongCall : SubtargetFeature<"longcall", "UseLongCalls", "true",
153 "Always use indirect calls">;
Kit Barton535e69d2015-03-25 19:36:23 +0000154def FeatureHTM : SubtargetFeature<"htm", "HasHTM", "true",
155 "Enable Hardware Transactional Memory instructions">;
Kit Barton4f79f962015-06-16 16:01:15 +0000156def FeatureMFTB : SubtargetFeature<"", "FeatureMFTB", "true",
157 "Implement mftb using the mfspr instruction">;
Eric Christopher25bf4a82015-11-20 22:38:20 +0000158def FeatureFusion : SubtargetFeature<"fusion", "HasFusion", "true",
159 "Target supports add/load integer fusion.">;
Nemanja Ivanovicb033f672015-12-15 12:19:34 +0000160def FeatureFloat128 :
161 SubtargetFeature<"float128", "HasFloat128", "true",
162 "Enable the __float128 data type for IEEE-754R Binary128.",
163 [FeatureVSX]>;
Hal Finkelfa7057a2016-03-29 01:36:01 +0000164def FeaturePOPCNTD : SubtargetFeature<"popcntd","HasPOPCNTD",
165 "POPCNTD_Fast",
166 "Enable the popcnt[dw] instructions">;
Hal Finkel7059d412016-03-28 17:52:08 +0000167// Note that for the a2/a2q processor models we should not use popcnt[dw] by
168// default. These processors do support the instructions, but they're
169// microcoded, and the software emulation is about twice as fast.
Hal Finkelfa7057a2016-03-29 01:36:01 +0000170def FeatureSlowPOPCNTD : SubtargetFeature<"slow-popcntd","HasPOPCNTD",
171 "POPCNTD_Slow",
172 "Has slow popcnt[dw] instructions">;
173
174def DeprecatedDST : SubtargetFeature<"", "DeprecatedDST", "true",
175 "Treat vector data stream cache control instructions as deprecated">;
Hal Finkel7059d412016-03-28 17:52:08 +0000176
Nemanja Ivanovica621a7f2016-03-31 15:26:37 +0000177def FeatureISA3_0 : SubtargetFeature<"isa-v30-instructions", "IsISA3_0",
178 "true",
179 "Enable instructions added in ISA 3.0.">;
Nemanja Ivanovic87bcae32016-04-13 18:51:18 +0000180def FeatureP9Altivec : SubtargetFeature<"power9-altivec", "HasP9Altivec", "true",
181 "Enable POWER9 Altivec instructions",
182 [FeatureISA3_0, FeatureP8Altivec]>;
183def FeatureP9Vector : SubtargetFeature<"power9-vector", "HasP9Vector", "true",
184 "Enable POWER9 vector instructions",
185 [FeatureISA3_0, FeatureP8Vector,
186 FeatureP9Altivec]>;
Nemanja Ivanovica621a7f2016-03-31 15:26:37 +0000187
Eric Christopher47d372f2016-06-23 01:33:38 +0000188// Since new processors generally contain a superset of features of those that
189// came before them, the idea is to make implementations of new processors
190// less error prone and easier to read.
191// Namely:
192// list<SubtargetFeature> Power8FeatureList = ...
193// list<SubtargetFeature> FutureProcessorSpecificFeatureList =
194// [ features that Power8 does not support ]
195// list<SubtargetFeature> FutureProcessorFeatureList =
196// !listconcat(Power8FeatureList, FutureProcessorSpecificFeatureList)
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000197
Eric Christopher47d372f2016-06-23 01:33:38 +0000198// Makes it explicit and obvious what is new in FutureProcesor vs. Power8 as
199// well as providing a single point of definition if the feature set will be
200// used elsewhere.
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000201def ProcessorFeatures {
202 list<SubtargetFeature> Power7FeatureList =
203 [DirectivePwr7, FeatureAltivec, FeatureVSX,
204 FeatureMFOCRF, FeatureFCPSGN, FeatureFSqrt, FeatureFRE,
205 FeatureFRES, FeatureFRSQRTE, FeatureFRSQRTES,
206 FeatureRecipPrec, FeatureSTFIWX, FeatureLFIWAX,
207 FeatureFPRND, FeatureFPCVT, FeatureISEL,
208 FeaturePOPCNTD, FeatureCMPB, FeatureLDBRX,
Hal Finkel58f5f9c2015-04-11 13:40:36 +0000209 Feature64Bit /*, Feature64BitRegs */,
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000210 FeatureBPERMD, FeatureExtDiv,
Kit Barton4f79f962015-06-16 16:01:15 +0000211 FeatureMFTB, DeprecatedDST];
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000212 list<SubtargetFeature> Power8SpecificFeatures =
213 [DirectivePwr8, FeatureP8Altivec, FeatureP8Vector, FeatureP8Crypto,
Eric Christopher25bf4a82015-11-20 22:38:20 +0000214 FeatureHTM, FeatureDirectMove, FeatureICBT, FeaturePartwordAtomic,
215 FeatureFusion];
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000216 list<SubtargetFeature> Power8FeatureList =
217 !listconcat(Power7FeatureList, Power8SpecificFeatures);
Nemanja Ivanovic87bcae32016-04-13 18:51:18 +0000218 list<SubtargetFeature> Power9SpecificFeatures =
Nemanja Ivanovica103d102016-09-14 14:09:39 +0000219 [DirectivePwr9, FeatureP9Altivec, FeatureP9Vector, FeatureISA3_0];
Nemanja Ivanovic6e29baf2016-05-09 18:54:58 +0000220 list<SubtargetFeature> Power9FeatureList =
221 !listconcat(Power8FeatureList, Power9SpecificFeatures);
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000222}
223
Bill Schmidtcc99a2f2013-02-01 23:10:09 +0000224// Note: Future features to add when support is extended to more
225// recent ISA levels:
226//
Bill Schmidtcc99a2f2013-02-01 23:10:09 +0000227// DFP p6, p6x, p7 decimal floating-point instructions
Bill Schmidtcc99a2f2013-02-01 23:10:09 +0000228// POPCNTB p5 through p7 popcntb and related instructions
Bill Schmidtcc99a2f2013-02-01 23:10:09 +0000229
Jim Laskey74ab9962005-10-19 19:51:16 +0000230//===----------------------------------------------------------------------===//
Hal Finkel654d43b2013-04-12 02:18:09 +0000231// Classes used for relation maps.
232//===----------------------------------------------------------------------===//
233// RecFormRel - Filter class used to relate non-record-form instructions with
234// their record-form variants.
235class RecFormRel;
236
Hal Finkel25e04542014-03-25 18:55:11 +0000237// AltVSXFMARel - Filter class used to relate the primary addend-killing VSX
238// FMA instruction forms with their corresponding factor-killing forms.
239class AltVSXFMARel {
240 bit IsVSXFMAAlt = 0;
241}
242
Hal Finkel654d43b2013-04-12 02:18:09 +0000243//===----------------------------------------------------------------------===//
244// Relation Map Definitions.
245//===----------------------------------------------------------------------===//
246
247def getRecordFormOpcode : InstrMapping {
248 let FilterClass = "RecFormRel";
249 // Instructions with the same BaseName and Interpretation64Bit values
250 // form a row.
251 let RowFields = ["BaseName", "Interpretation64Bit"];
252 // Instructions with the same RC value form a column.
253 let ColFields = ["RC"];
254 // The key column are the non-record-form instructions.
255 let KeyCol = ["0"];
256 // Value columns RC=1
257 let ValueCols = [["1"]];
258}
259
260def getNonRecordFormOpcode : InstrMapping {
261 let FilterClass = "RecFormRel";
262 // Instructions with the same BaseName and Interpretation64Bit values
263 // form a row.
264 let RowFields = ["BaseName", "Interpretation64Bit"];
265 // Instructions with the same RC value form a column.
266 let ColFields = ["RC"];
267 // The key column are the record-form instructions.
268 let KeyCol = ["1"];
269 // Value columns are RC=0
270 let ValueCols = [["0"]];
271}
272
Hal Finkel25e04542014-03-25 18:55:11 +0000273def getAltVSXFMAOpcode : InstrMapping {
274 let FilterClass = "AltVSXFMARel";
275 // Instructions with the same BaseName and Interpretation64Bit values
276 // form a row.
277 let RowFields = ["BaseName"];
278 // Instructions with the same RC value form a column.
279 let ColFields = ["IsVSXFMAAlt"];
280 // The key column are the (default) addend-killing instructions.
281 let KeyCol = ["0"];
282 // Value columns IsVSXFMAAlt=1
283 let ValueCols = [["1"]];
284}
285
Hal Finkel654d43b2013-04-12 02:18:09 +0000286//===----------------------------------------------------------------------===//
Chris Lattnera389f0d2005-10-23 22:08:13 +0000287// Register File Description
288//===----------------------------------------------------------------------===//
289
290include "PPCRegisterInfo.td"
291include "PPCSchedule.td"
292include "PPCInstrInfo.td"
293
294//===----------------------------------------------------------------------===//
295// PowerPC processors supported.
Jim Laskey74ab9962005-10-19 19:51:16 +0000296//
297
Hal Finkela9321052016-10-02 02:10:20 +0000298def : Processor<"generic", G3Itineraries, [Directive32, FeatureHardFloat,
299 FeatureMFTB]>;
Hal Finkel5a7162f2013-11-29 06:32:17 +0000300def : ProcessorModel<"440", PPC440Model, [Directive440, FeatureISEL,
301 FeatureFRES, FeatureFRSQRTE,
Bill Schmidt082cfc02015-01-14 20:17:10 +0000302 FeatureICBT, FeatureBookE,
Kit Barton4f79f962015-06-16 16:01:15 +0000303 FeatureMSYNC, FeatureMFTB]>;
Hal Finkel5a7162f2013-11-29 06:32:17 +0000304def : ProcessorModel<"450", PPC440Model, [Directive440, FeatureISEL,
305 FeatureFRES, FeatureFRSQRTE,
Bill Schmidt082cfc02015-01-14 20:17:10 +0000306 FeatureICBT, FeatureBookE,
Kit Barton4f79f962015-06-16 16:01:15 +0000307 FeatureMSYNC, FeatureMFTB]>;
Hal Finkela9321052016-10-02 02:10:20 +0000308def : Processor<"601", G3Itineraries, [Directive601, FeatureHardFloat]>;
309def : Processor<"602", G3Itineraries, [Directive602, FeatureHardFloat,
Kit Barton4f79f962015-06-16 16:01:15 +0000310 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000311def : Processor<"603", G3Itineraries, [Directive603,
Kit Barton4f79f962015-06-16 16:01:15 +0000312 FeatureFRES, FeatureFRSQRTE,
313 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000314def : Processor<"603e", G3Itineraries, [Directive603,
Kit Barton4f79f962015-06-16 16:01:15 +0000315 FeatureFRES, FeatureFRSQRTE,
316 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000317def : Processor<"603ev", G3Itineraries, [Directive603,
Kit Barton4f79f962015-06-16 16:01:15 +0000318 FeatureFRES, FeatureFRSQRTE,
319 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000320def : Processor<"604", G3Itineraries, [Directive604,
Kit Barton4f79f962015-06-16 16:01:15 +0000321 FeatureFRES, FeatureFRSQRTE,
322 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000323def : Processor<"604e", G3Itineraries, [Directive604,
Kit Barton4f79f962015-06-16 16:01:15 +0000324 FeatureFRES, FeatureFRSQRTE,
325 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000326def : Processor<"620", G3Itineraries, [Directive620,
Kit Barton4f79f962015-06-16 16:01:15 +0000327 FeatureFRES, FeatureFRSQRTE,
328 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000329def : Processor<"750", G4Itineraries, [Directive750,
Kit Barton4f79f962015-06-16 16:01:15 +0000330 FeatureFRES, FeatureFRSQRTE,
331 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000332def : Processor<"g3", G3Itineraries, [Directive750,
Kit Barton4f79f962015-06-16 16:01:15 +0000333 FeatureFRES, FeatureFRSQRTE,
334 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000335def : Processor<"7400", G4Itineraries, [Directive7400, FeatureAltivec,
Kit Barton4f79f962015-06-16 16:01:15 +0000336 FeatureFRES, FeatureFRSQRTE,
337 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000338def : Processor<"g4", G4Itineraries, [Directive7400, FeatureAltivec,
Kit Barton4f79f962015-06-16 16:01:15 +0000339 FeatureFRES, FeatureFRSQRTE,
340 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000341def : Processor<"7450", G4PlusItineraries, [Directive7400, FeatureAltivec,
Kit Barton4f79f962015-06-16 16:01:15 +0000342 FeatureFRES, FeatureFRSQRTE,
343 FeatureMFTB]>;
Hal Finkel2e103312013-04-03 04:01:11 +0000344def : Processor<"g4+", G4PlusItineraries, [Directive7400, FeatureAltivec,
Kit Barton4f79f962015-06-16 16:01:15 +0000345 FeatureFRES, FeatureFRSQRTE,
346 FeatureMFTB]>;
Bill Schmidt279cabb2015-01-25 18:05:42 +0000347
Hal Finkel1a958cf2013-04-05 05:49:18 +0000348def : ProcessorModel<"970", G5Model,
Jim Laskey59e7a772006-12-12 20:57:08 +0000349 [Directive970, FeatureAltivec,
Hal Finkel2e103312013-04-03 04:01:11 +0000350 FeatureMFOCRF, FeatureFSqrt,
351 FeatureFRES, FeatureFRSQRTE, FeatureSTFIWX,
Kit Barton4f79f962015-06-16 16:01:15 +0000352 Feature64Bit /*, Feature64BitRegs */,
353 FeatureMFTB]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000354def : ProcessorModel<"g5", G5Model,
Jim Laskey59e7a772006-12-12 20:57:08 +0000355 [Directive970, FeatureAltivec,
Hal Finkelbfd3d082012-06-11 19:57:01 +0000356 FeatureMFOCRF, FeatureFSqrt, FeatureSTFIWX,
Hal Finkel2e103312013-04-03 04:01:11 +0000357 FeatureFRES, FeatureFRSQRTE,
Hal Finkel0096dbd2013-09-12 14:40:06 +0000358 Feature64Bit /*, Feature64BitRegs */,
Kit Barton4f79f962015-06-16 16:01:15 +0000359 FeatureMFTB, DeprecatedDST]>;
Hal Finkel742b5352012-08-28 16:12:39 +0000360def : ProcessorModel<"e500mc", PPCE500mcModel,
Hal Finkel005f8402015-11-25 10:14:31 +0000361 [DirectiveE500mc,
Bill Schmidt082cfc02015-01-14 20:17:10 +0000362 FeatureSTFIWX, FeatureICBT, FeatureBookE,
Kit Barton4f79f962015-06-16 16:01:15 +0000363 FeatureISEL, FeatureMFTB]>;
Hal Finkel742b5352012-08-28 16:12:39 +0000364def : ProcessorModel<"e5500", PPCE5500Model,
365 [DirectiveE5500, FeatureMFOCRF, Feature64Bit,
Bill Schmidt082cfc02015-01-14 20:17:10 +0000366 FeatureSTFIWX, FeatureICBT, FeatureBookE,
Kit Barton4f79f962015-06-16 16:01:15 +0000367 FeatureISEL, FeatureMFTB]>;
Hal Finkel5fde1b02013-04-05 05:34:08 +0000368def : ProcessorModel<"a2", PPCA2Model,
Bill Schmidt082cfc02015-01-14 20:17:10 +0000369 [DirectiveA2, FeatureICBT, FeatureBookE, FeatureMFOCRF,
Hal Finkeldbc78e12013-08-19 05:01:02 +0000370 FeatureFCPSGN, FeatureFSqrt, FeatureFRE, FeatureFRES,
Hal Finkel2e103312013-04-03 04:01:11 +0000371 FeatureFRSQRTE, FeatureFRSQRTES, FeatureRecipPrec,
372 FeatureSTFIWX, FeatureLFIWAX,
Hal Finkelf6d45f22013-04-01 17:52:07 +0000373 FeatureFPRND, FeatureFPCVT, FeatureISEL,
Hal Finkelfa7057a2016-03-29 01:36:01 +0000374 FeatureSlowPOPCNTD, FeatureCMPB, FeatureLDBRX,
Hal Finkel7059d412016-03-28 17:52:08 +0000375 Feature64Bit /*, Feature64BitRegs */, FeatureMFTB]>;
Hal Finkel5fde1b02013-04-05 05:34:08 +0000376def : ProcessorModel<"a2q", PPCA2Model,
Bill Schmidt082cfc02015-01-14 20:17:10 +0000377 [DirectiveA2, FeatureICBT, FeatureBookE, FeatureMFOCRF,
Hal Finkeldbc78e12013-08-19 05:01:02 +0000378 FeatureFCPSGN, FeatureFSqrt, FeatureFRE, FeatureFRES,
Hal Finkel2e103312013-04-03 04:01:11 +0000379 FeatureFRSQRTE, FeatureFRSQRTES, FeatureRecipPrec,
380 FeatureSTFIWX, FeatureLFIWAX,
Hal Finkelf6d45f22013-04-01 17:52:07 +0000381 FeatureFPRND, FeatureFPCVT, FeatureISEL,
Hal Finkelfa7057a2016-03-29 01:36:01 +0000382 FeatureSlowPOPCNTD, FeatureCMPB, FeatureLDBRX,
Hal Finkel7059d412016-03-28 17:52:08 +0000383 Feature64Bit /*, Feature64BitRegs */, FeatureQPX,
384 FeatureMFTB]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000385def : ProcessorModel<"pwr3", G5Model,
Hal Finkel2e103312013-04-03 04:01:11 +0000386 [DirectivePwr3, FeatureAltivec,
387 FeatureFRES, FeatureFRSQRTE, FeatureMFOCRF,
Bill Schmidt52742c22013-02-01 22:59:51 +0000388 FeatureSTFIWX, Feature64Bit]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000389def : ProcessorModel<"pwr4", G5Model,
Bill Schmidt52742c22013-02-01 22:59:51 +0000390 [DirectivePwr4, FeatureAltivec, FeatureMFOCRF,
Hal Finkel2e103312013-04-03 04:01:11 +0000391 FeatureFSqrt, FeatureFRES, FeatureFRSQRTE,
Kit Barton4f79f962015-06-16 16:01:15 +0000392 FeatureSTFIWX, Feature64Bit, FeatureMFTB]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000393def : ProcessorModel<"pwr5", G5Model,
Bill Schmidt52742c22013-02-01 22:59:51 +0000394 [DirectivePwr5, FeatureAltivec, FeatureMFOCRF,
Hal Finkel2e103312013-04-03 04:01:11 +0000395 FeatureFSqrt, FeatureFRE, FeatureFRES,
396 FeatureFRSQRTE, FeatureFRSQRTES,
Hal Finkel0096dbd2013-09-12 14:40:06 +0000397 FeatureSTFIWX, Feature64Bit,
Kit Barton4f79f962015-06-16 16:01:15 +0000398 FeatureMFTB, DeprecatedDST]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000399def : ProcessorModel<"pwr5x", G5Model,
Bill Schmidt52742c22013-02-01 22:59:51 +0000400 [DirectivePwr5x, FeatureAltivec, FeatureMFOCRF,
Hal Finkel2e103312013-04-03 04:01:11 +0000401 FeatureFSqrt, FeatureFRE, FeatureFRES,
402 FeatureFRSQRTE, FeatureFRSQRTES,
Hal Finkel0096dbd2013-09-12 14:40:06 +0000403 FeatureSTFIWX, FeatureFPRND, Feature64Bit,
Kit Barton4f79f962015-06-16 16:01:15 +0000404 FeatureMFTB, DeprecatedDST]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000405def : ProcessorModel<"pwr6", G5Model,
Hal Finkelf2b9c382012-06-11 15:43:08 +0000406 [DirectivePwr6, FeatureAltivec,
Hal Finkeldbc78e12013-08-19 05:01:02 +0000407 FeatureMFOCRF, FeatureFCPSGN, FeatureFSqrt, FeatureFRE,
Hal Finkel2e103312013-04-03 04:01:11 +0000408 FeatureFRES, FeatureFRSQRTE, FeatureFRSQRTES,
Hal Finkel4edc66b2015-01-03 01:16:37 +0000409 FeatureRecipPrec, FeatureSTFIWX, FeatureLFIWAX, FeatureCMPB,
Hal Finkel0096dbd2013-09-12 14:40:06 +0000410 FeatureFPRND, Feature64Bit /*, Feature64BitRegs */,
Kit Barton4f79f962015-06-16 16:01:15 +0000411 FeatureMFTB, DeprecatedDST]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000412def : ProcessorModel<"pwr6x", G5Model,
Bill Schmidt52742c22013-02-01 22:59:51 +0000413 [DirectivePwr5x, FeatureAltivec, FeatureMFOCRF,
Hal Finkeldbc78e12013-08-19 05:01:02 +0000414 FeatureFCPSGN, FeatureFSqrt, FeatureFRE, FeatureFRES,
Hal Finkel2e103312013-04-03 04:01:11 +0000415 FeatureFRSQRTE, FeatureFRSQRTES, FeatureRecipPrec,
Hal Finkel4edc66b2015-01-03 01:16:37 +0000416 FeatureSTFIWX, FeatureLFIWAX, FeatureCMPB,
Hal Finkel0096dbd2013-09-12 14:40:06 +0000417 FeatureFPRND, Feature64Bit,
Kit Barton4f79f962015-06-16 16:01:15 +0000418 FeatureMFTB, DeprecatedDST]>;
Nemanja Ivanovicc0904792015-04-09 23:54:37 +0000419def : ProcessorModel<"pwr7", P7Model, ProcessorFeatures.Power7FeatureList>;
Bill Schmidt279cabb2015-01-25 18:05:42 +0000420def : ProcessorModel<"pwr8", P8Model, ProcessorFeatures.Power8FeatureList>;
Nemanja Ivanovic6e29baf2016-05-09 18:54:58 +0000421// FIXME: Same as P8 until the POWER9 scheduling info is available
422def : ProcessorModel<"pwr9", P8Model, ProcessorFeatures.Power9FeatureList>;
Hal Finkela9321052016-10-02 02:10:20 +0000423def : Processor<"ppc", G3Itineraries, [Directive32, FeatureHardFloat,
424 FeatureMFTB]>;
425def : Processor<"ppc32", G3Itineraries, [Directive32, FeatureHardFloat,
426 FeatureMFTB]>;
Hal Finkel1a958cf2013-04-05 05:49:18 +0000427def : ProcessorModel<"ppc64", G5Model,
Jim Laskey59e7a772006-12-12 20:57:08 +0000428 [Directive64, FeatureAltivec,
Hal Finkel7ac45922013-04-03 14:40:18 +0000429 FeatureMFOCRF, FeatureFSqrt, FeatureFRES,
430 FeatureFRSQRTE, FeatureSTFIWX,
Kit Barton4f79f962015-06-16 16:01:15 +0000431 Feature64Bit /*, Feature64BitRegs */,
432 FeatureMFTB]>;
Bill Schmidt279cabb2015-01-25 18:05:42 +0000433def : ProcessorModel<"ppc64le", P8Model, ProcessorFeatures.Power8FeatureList>;
Jim Laskey74ab9962005-10-19 19:51:16 +0000434
Chris Lattner4f2e4e02007-03-06 00:59:59 +0000435//===----------------------------------------------------------------------===//
436// Calling Conventions
437//===----------------------------------------------------------------------===//
438
439include "PPCCallingConv.td"
440
Chris Lattner51348c52006-03-12 09:13:49 +0000441def PPCInstrInfo : InstrInfo {
Chris Lattner51348c52006-03-12 09:13:49 +0000442 let isLittleEndianEncoding = 1;
Hal Finkel23453472013-12-19 16:13:01 +0000443
444 // FIXME: Unset this when no longer needed!
445 let decodePositionallyEncodedOperands = 1;
Hal Finkel5457bd02014-03-13 07:57:54 +0000446
447 let noNamedPositionallyEncodedOperands = 1;
Chris Lattner51348c52006-03-12 09:13:49 +0000448}
449
Ulrich Weigand640192d2013-05-03 19:49:39 +0000450def PPCAsmParser : AsmParser {
451 let ShouldEmitMatchRegisterName = 0;
452}
453
Ulrich Weigandc0944b52013-07-08 14:49:37 +0000454def PPCAsmParserVariant : AsmParserVariant {
455 int Variant = 0;
456
457 // We do not use hard coded registers in asm strings. However, some
458 // InstAlias definitions use immediate literals. Set RegisterPrefix
459 // so that those are not misinterpreted as registers.
460 string RegisterPrefix = "%";
Colin LeMahieu8a0453e2015-11-09 00:31:07 +0000461 string BreakCharacters = ".";
Ulrich Weigandc0944b52013-07-08 14:49:37 +0000462}
463
Chris Lattner0921e3b2005-10-14 23:37:35 +0000464def PPC : Target {
Chris Lattner51348c52006-03-12 09:13:49 +0000465 // Information about the instructions.
466 let InstructionSet = PPCInstrInfo;
Rafael Espindola50712a42013-12-02 04:55:42 +0000467
Ulrich Weigand640192d2013-05-03 19:49:39 +0000468 let AssemblyParsers = [PPCAsmParser];
Ulrich Weigandc0944b52013-07-08 14:49:37 +0000469 let AssemblyParserVariants = [PPCAsmParserVariant];
Chris Lattner0921e3b2005-10-14 23:37:35 +0000470}