blob: 03a813d939d00a38df62762727533f2e648ae818 [file] [log] [blame]
Jim Laskey4bb9cbb2005-10-21 19:00:04 +00001//===- SubtargetEmitter.cpp - Generate subtarget enumerations -------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner30609102007-12-29 20:37:13 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Jim Laskey4bb9cbb2005-10-21 19:00:04 +00007//
8//===----------------------------------------------------------------------===//
9//
Chris Lattner3d878112006-03-03 02:04:07 +000010// This tablegen backend emits subtarget enumerations.
Jim Laskey4bb9cbb2005-10-21 19:00:04 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "SubtargetEmitter.h"
15#include "CodeGenTarget.h"
16#include "Record.h"
17#include "llvm/ADT/StringExtras.h"
18#include "llvm/Support/Debug.h"
Jeff Cohen9489c042005-10-28 01:43:09 +000019#include <algorithm>
Jim Laskey4bb9cbb2005-10-21 19:00:04 +000020using namespace llvm;
21
Jim Laskey7dc02042005-10-22 07:59:56 +000022//
Jim Laskey581a8f72005-10-26 17:30:34 +000023// Enumeration - Emit the specified class as an enumeration.
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000024//
Daniel Dunbar1a551802009-07-03 00:10:29 +000025void SubtargetEmitter::Enumeration(raw_ostream &OS,
Jim Laskey581a8f72005-10-26 17:30:34 +000026 const char *ClassName,
27 bool isBits) {
Jim Laskey908ae272005-10-28 15:20:43 +000028 // Get all records of class and sort
Jim Laskeyf7bcde02005-10-28 21:47:29 +000029 std::vector<Record*> DefList = Records.getAllDerivedDefinitions(ClassName);
Duraid Madina42d24c72005-12-30 14:56:37 +000030 std::sort(DefList.begin(), DefList.end(), LessRecord());
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000031
Jim Laskey908ae272005-10-28 15:20:43 +000032 // Open enumeration
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000033 OS << "enum {\n";
34
Jim Laskey908ae272005-10-28 15:20:43 +000035 // For each record
Jim Laskeyf7bcde02005-10-28 21:47:29 +000036 for (unsigned i = 0, N = DefList.size(); i < N;) {
37 // Next record
38 Record *Def = DefList[i];
39
Jim Laskey908ae272005-10-28 15:20:43 +000040 // Get and emit name
Bill Wendling4222d802007-05-04 20:38:40 +000041 OS << " " << Def->getName();
Jim Laskey908ae272005-10-28 15:20:43 +000042
43 // If bit flags then emit expression (1 << i)
Jim Laskeyf7bcde02005-10-28 21:47:29 +000044 if (isBits) OS << " = " << " 1 << " << i;
Jim Laskey908ae272005-10-28 15:20:43 +000045
Jim Laskey10b1dd92005-10-31 17:16:01 +000046 // Depending on 'if more in the list' emit comma
Jim Laskeyf7bcde02005-10-28 21:47:29 +000047 if (++i < N) OS << ",";
48
49 OS << "\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000050 }
51
Jim Laskey908ae272005-10-28 15:20:43 +000052 // Close enumeration
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000053 OS << "};\n";
54}
55
56//
Bill Wendling4222d802007-05-04 20:38:40 +000057// FeatureKeyValues - Emit data of all the subtarget features. Used by the
58// command line.
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000059//
Daniel Dunbar1a551802009-07-03 00:10:29 +000060void SubtargetEmitter::FeatureKeyValues(raw_ostream &OS) {
Jim Laskey908ae272005-10-28 15:20:43 +000061 // Gather and sort all the features
Jim Laskeyf7bcde02005-10-28 21:47:29 +000062 std::vector<Record*> FeatureList =
63 Records.getAllDerivedDefinitions("SubtargetFeature");
Jim Grosbach7c9a7722008-09-11 17:05:32 +000064 std::sort(FeatureList.begin(), FeatureList.end(), LessRecordFieldName());
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000065
Jim Laskey908ae272005-10-28 15:20:43 +000066 // Begin feature table
Jim Laskey581a8f72005-10-26 17:30:34 +000067 OS << "// Sorted (by key) array of values for CPU features.\n"
Dan Gohmancfbb2f02008-03-25 21:45:14 +000068 << "static const llvm::SubtargetFeatureKV FeatureKV[] = {\n";
Jim Laskey908ae272005-10-28 15:20:43 +000069
70 // For each feature
Jim Laskeydbe40062006-12-12 20:55:58 +000071 for (unsigned i = 0, N = FeatureList.size(); i < N; ++i) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +000072 // Next feature
73 Record *Feature = FeatureList[i];
74
Bill Wendling4222d802007-05-04 20:38:40 +000075 const std::string &Name = Feature->getName();
76 const std::string &CommandLineName = Feature->getValueAsString("Name");
77 const std::string &Desc = Feature->getValueAsString("Desc");
Jim Laskey908ae272005-10-28 15:20:43 +000078
Jim Laskeydbe40062006-12-12 20:55:58 +000079 if (CommandLineName.empty()) continue;
80
Jim Grosbachda4231f2009-03-26 16:17:51 +000081 // Emit as { "feature", "description", featureEnum, i1 | i2 | ... | in }
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000082 OS << " { "
Jim Laskeyf7bcde02005-10-28 21:47:29 +000083 << "\"" << CommandLineName << "\", "
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +000084 << "\"" << Desc << "\", "
Bill Wendling4222d802007-05-04 20:38:40 +000085 << Name << ", ";
86
87 const std::vector<Record*> &ImpliesList =
88 Feature->getValueAsListOfDefs("Implies");
89
90 if (ImpliesList.empty()) {
91 OS << "0";
92 } else {
93 for (unsigned j = 0, M = ImpliesList.size(); j < M;) {
94 OS << ImpliesList[j]->getName();
95 if (++j < M) OS << " | ";
96 }
97 }
98
99 OS << " }";
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000100
Jim Laskey10b1dd92005-10-31 17:16:01 +0000101 // Depending on 'if more in the list' emit comma
Jim Laskeydbe40062006-12-12 20:55:58 +0000102 if ((i + 1) < N) OS << ",";
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000103
104 OS << "\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000105 }
Jim Laskey908ae272005-10-28 15:20:43 +0000106
107 // End feature table
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000108 OS << "};\n";
109
Jim Laskey908ae272005-10-28 15:20:43 +0000110 // Emit size of table
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000111 OS<<"\nenum {\n";
112 OS<<" FeatureKVSize = sizeof(FeatureKV)/sizeof(llvm::SubtargetFeatureKV)\n";
113 OS<<"};\n";
114}
115
116//
117// CPUKeyValues - Emit data of all the subtarget processors. Used by command
118// line.
119//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000120void SubtargetEmitter::CPUKeyValues(raw_ostream &OS) {
Jim Laskey908ae272005-10-28 15:20:43 +0000121 // Gather and sort processor information
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000122 std::vector<Record*> ProcessorList =
123 Records.getAllDerivedDefinitions("Processor");
Duraid Madina42d24c72005-12-30 14:56:37 +0000124 std::sort(ProcessorList.begin(), ProcessorList.end(), LessRecordFieldName());
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000125
Jim Laskey908ae272005-10-28 15:20:43 +0000126 // Begin processor table
Jim Laskey581a8f72005-10-26 17:30:34 +0000127 OS << "// Sorted (by key) array of values for CPU subtype.\n"
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000128 << "static const llvm::SubtargetFeatureKV SubTypeKV[] = {\n";
Jim Laskey908ae272005-10-28 15:20:43 +0000129
130 // For each processor
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000131 for (unsigned i = 0, N = ProcessorList.size(); i < N;) {
132 // Next processor
133 Record *Processor = ProcessorList[i];
134
Bill Wendling4222d802007-05-04 20:38:40 +0000135 const std::string &Name = Processor->getValueAsString("Name");
136 const std::vector<Record*> &FeatureList =
Chris Lattnerb0e103d2005-10-28 22:49:02 +0000137 Processor->getValueAsListOfDefs("Features");
Jim Laskey0d841e02005-10-27 19:47:21 +0000138
Jim Laskey908ae272005-10-28 15:20:43 +0000139 // Emit as { "cpu", "description", f1 | f2 | ... fn },
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000140 OS << " { "
141 << "\"" << Name << "\", "
142 << "\"Select the " << Name << " processor\", ";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000143
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000144 if (FeatureList.empty()) {
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000145 OS << "0";
146 } else {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000147 for (unsigned j = 0, M = FeatureList.size(); j < M;) {
Bill Wendling4222d802007-05-04 20:38:40 +0000148 OS << FeatureList[j]->getName();
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000149 if (++j < M) OS << " | ";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000150 }
151 }
152
Bill Wendling4222d802007-05-04 20:38:40 +0000153 // The "0" is for the "implies" section of this data structure.
154 OS << ", 0 }";
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000155
Jim Laskey10b1dd92005-10-31 17:16:01 +0000156 // Depending on 'if more in the list' emit comma
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000157 if (++i < N) OS << ",";
158
159 OS << "\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000160 }
Jim Laskey908ae272005-10-28 15:20:43 +0000161
162 // End processor table
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000163 OS << "};\n";
164
Jim Laskey908ae272005-10-28 15:20:43 +0000165 // Emit size of table
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000166 OS<<"\nenum {\n";
167 OS<<" SubTypeKVSize = sizeof(SubTypeKV)/sizeof(llvm::SubtargetFeatureKV)\n";
168 OS<<"};\n";
169}
Jim Laskey7dc02042005-10-22 07:59:56 +0000170
Jim Laskey581a8f72005-10-26 17:30:34 +0000171//
Jim Laskey0d841e02005-10-27 19:47:21 +0000172// CollectAllItinClasses - Gathers and enumerates all the itinerary classes.
Jim Laskey908ae272005-10-28 15:20:43 +0000173// Returns itinerary class count.
Jim Laskey0d841e02005-10-27 19:47:21 +0000174//
Evan Cheng5f54ce32010-09-09 18:18:55 +0000175unsigned SubtargetEmitter::
176CollectAllItinClasses(raw_ostream &OS,
177 std::map<std::string, unsigned> &ItinClassesMap,
178 std::vector<Record*> &ItinClassList) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000179 // For each itinerary class
180 unsigned N = ItinClassList.size();
181 for (unsigned i = 0; i < N; i++) {
182 // Next itinerary class
Bill Wendling4222d802007-05-04 20:38:40 +0000183 const Record *ItinClass = ItinClassList[i];
Jim Laskey908ae272005-10-28 15:20:43 +0000184 // Get name of itinerary class
Jim Laskey908ae272005-10-28 15:20:43 +0000185 // Assign itinerary class a unique number
Bill Wendling4222d802007-05-04 20:38:40 +0000186 ItinClassesMap[ItinClass->getName()] = i;
Jim Laskey0d841e02005-10-27 19:47:21 +0000187 }
188
Jim Laskey6cee6302005-11-01 20:06:59 +0000189 // Emit size of table
190 OS<<"\nenum {\n";
191 OS<<" ItinClassesSize = " << N << "\n";
192 OS<<"};\n";
193
Jim Laskey908ae272005-10-28 15:20:43 +0000194 // Return itinerary class count
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000195 return N;
Jim Laskey0d841e02005-10-27 19:47:21 +0000196}
197
198//
David Goodwinfac85412009-08-17 16:02:57 +0000199// FormItineraryStageString - Compose a string containing the stage
200// data initialization for the specified itinerary. N is the number
201// of stages.
Jim Laskey0d841e02005-10-27 19:47:21 +0000202//
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000203void SubtargetEmitter::FormItineraryStageString(const std::string &Name,
204 Record *ItinData,
David Goodwinfac85412009-08-17 16:02:57 +0000205 std::string &ItinString,
206 unsigned &NStages) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000207 // Get states list
Bill Wendling4222d802007-05-04 20:38:40 +0000208 const std::vector<Record*> &StageList =
209 ItinData->getValueAsListOfDefs("Stages");
Jim Laskey908ae272005-10-28 15:20:43 +0000210
211 // For each stage
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000212 unsigned N = NStages = StageList.size();
Christopher Lamb8dadf6b2007-04-22 09:04:24 +0000213 for (unsigned i = 0; i < N;) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000214 // Next stage
Bill Wendling4222d802007-05-04 20:38:40 +0000215 const Record *Stage = StageList[i];
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000216
Anton Korobeynikov96085a32010-04-07 18:19:32 +0000217 // Form string as ,{ cycles, u1 | u2 | ... | un, timeinc, kind }
Jim Laskey0d841e02005-10-27 19:47:21 +0000218 int Cycles = Stage->getValueAsInt("Cycles");
Jim Laskey7f39c142005-11-03 22:47:41 +0000219 ItinString += " { " + itostr(Cycles) + ", ";
Jim Laskey0d841e02005-10-27 19:47:21 +0000220
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000221 // Get unit list
Bill Wendling4222d802007-05-04 20:38:40 +0000222 const std::vector<Record*> &UnitList = Stage->getValueAsListOfDefs("Units");
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000223
Jim Laskey908ae272005-10-28 15:20:43 +0000224 // For each unit
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000225 for (unsigned j = 0, M = UnitList.size(); j < M;) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000226 // Add name and bitwise or
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000227 ItinString += Name + "FU::" + UnitList[j]->getName();
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000228 if (++j < M) ItinString += " | ";
Jim Laskey0d841e02005-10-27 19:47:21 +0000229 }
Jim Laskey908ae272005-10-28 15:20:43 +0000230
David Goodwin1a8f36e2009-08-12 18:31:53 +0000231 int TimeInc = Stage->getValueAsInt("TimeInc");
232 ItinString += ", " + itostr(TimeInc);
233
Anton Korobeynikov96085a32010-04-07 18:19:32 +0000234 int Kind = Stage->getValueAsInt("Kind");
235 ItinString += ", (llvm::InstrStage::ReservationKinds)" + itostr(Kind);
236
Jim Laskey908ae272005-10-28 15:20:43 +0000237 // Close off stage
238 ItinString += " }";
Christopher Lamb8dadf6b2007-04-22 09:04:24 +0000239 if (++i < N) ItinString += ", ";
Jim Laskey0d841e02005-10-27 19:47:21 +0000240 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000241}
242
243//
David Goodwinfac85412009-08-17 16:02:57 +0000244// FormItineraryOperandCycleString - Compose a string containing the
245// operand cycle initialization for the specified itinerary. N is the
246// number of operands that has cycles specified.
Jim Laskey0d841e02005-10-27 19:47:21 +0000247//
David Goodwinfac85412009-08-17 16:02:57 +0000248void SubtargetEmitter::FormItineraryOperandCycleString(Record *ItinData,
249 std::string &ItinString, unsigned &NOperandCycles) {
250 // Get operand cycle list
251 const std::vector<int64_t> &OperandCycleList =
252 ItinData->getValueAsListOfInts("OperandCycles");
253
254 // For each operand cycle
255 unsigned N = NOperandCycles = OperandCycleList.size();
256 for (unsigned i = 0; i < N;) {
257 // Next operand cycle
258 const int OCycle = OperandCycleList[i];
259
260 ItinString += " " + itostr(OCycle);
261 if (++i < N) ItinString += ", ";
262 }
263}
264
Evan Cheng63d66ee2010-09-28 23:50:49 +0000265void SubtargetEmitter::FormItineraryBypassString(const std::string &Name,
266 Record *ItinData,
267 std::string &ItinString,
268 unsigned NOperandCycles) {
269 const std::vector<Record*> &BypassList =
270 ItinData->getValueAsListOfDefs("Bypasses");
271 unsigned N = BypassList.size();
272 for (unsigned i = 0; i < N;) {
273 ItinString += Name + "Bypass::" + BypassList[i]->getName();
274 if (++i < N) ItinString += ", ";
275 }
276
277 for (; N < NOperandCycles;) {
278 ItinString += " 0";
279 if (++N < NOperandCycles) ItinString += ", ";
280 }
281}
282
David Goodwinfac85412009-08-17 16:02:57 +0000283//
284// EmitStageAndOperandCycleData - Generate unique itinerary stages and
285// operand cycle tables. Record itineraries for processors.
286//
287void SubtargetEmitter::EmitStageAndOperandCycleData(raw_ostream &OS,
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000288 unsigned NItinClasses,
Evan Cheng5f54ce32010-09-09 18:18:55 +0000289 std::map<std::string, unsigned> &ItinClassesMap,
290 std::vector<Record*> &ItinClassList,
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000291 std::vector<std::vector<InstrItinerary> > &ProcList) {
Jim Laskey908ae272005-10-28 15:20:43 +0000292 // Gather processor iteraries
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000293 std::vector<Record*> ProcItinList =
294 Records.getAllDerivedDefinitions("ProcessorItineraries");
Jim Laskey908ae272005-10-28 15:20:43 +0000295
296 // If just no itinerary then don't bother
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000297 if (ProcItinList.size() < 2) return;
Jim Laskey908ae272005-10-28 15:20:43 +0000298
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000299 // Emit functional units for all the itineraries.
300 for (unsigned i = 0, N = ProcItinList.size(); i < N; ++i) {
301 // Next record
302 Record *Proc = ProcItinList[i];
303
304 std::vector<Record*> FUs = Proc->getValueAsListOfDefs("FU");
305 if (FUs.empty())
306 continue;
307
308 const std::string &Name = Proc->getName();
309 OS << "\n// Functional units for itineraries \"" << Name << "\"\n"
310 << "namespace " << Name << "FU {\n";
311
312 for (unsigned j = 0, FUN = FUs.size(); j < FUN; ++j)
313 OS << " const unsigned " << FUs[j]->getName()
314 << " = 1 << " << j << ";\n";
315
316 OS << "}\n";
Evan Cheng63d66ee2010-09-28 23:50:49 +0000317
318 std::vector<Record*> BPs = Proc->getValueAsListOfDefs("BP");
319 OS << "\n// Pipeline bypasses for itineraries \"" << Name << "\"\n"
320 << "namespace " << Name << "Bypass {\n";
321
322 for (unsigned j = 0, BPN = BPs.size(); j < BPN; ++j)
323 OS << " const unsigned " << BPs[j]->getName()
324 << " = 1 << " << j << ";\n";
325
326 OS << "}\n";
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000327 }
328
Jim Laskey908ae272005-10-28 15:20:43 +0000329 // Begin stages table
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000330 std::string StageTable = "\nstatic const llvm::InstrStage Stages[] = {\n";
Anton Korobeynikov96085a32010-04-07 18:19:32 +0000331 StageTable += " { 0, 0, 0, llvm::InstrStage::Required }, // No itinerary\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000332
David Goodwinfac85412009-08-17 16:02:57 +0000333 // Begin operand cycle table
334 std::string OperandCycleTable = "static const unsigned OperandCycles[] = {\n";
335 OperandCycleTable += " 0, // No itinerary\n";
Evan Cheng63d66ee2010-09-28 23:50:49 +0000336
337 // Begin pipeline bypass table
338 std::string BypassTable = "static const unsigned Bypasses[] = {\n";
339 BypassTable += " 0, // No itinerary\n";
David Goodwinfac85412009-08-17 16:02:57 +0000340
341 unsigned StageCount = 1, OperandCycleCount = 1;
342 unsigned ItinStageEnum = 1, ItinOperandCycleEnum = 1;
343 std::map<std::string, unsigned> ItinStageMap, ItinOperandCycleMap;
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000344 for (unsigned i = 0, N = ProcItinList.size(); i < N; i++) {
345 // Next record
346 Record *Proc = ProcItinList[i];
347
Jim Laskey908ae272005-10-28 15:20:43 +0000348 // Get processor itinerary name
Bill Wendling4222d802007-05-04 20:38:40 +0000349 const std::string &Name = Proc->getName();
Jim Laskey908ae272005-10-28 15:20:43 +0000350
351 // Skip default
Jim Laskey0d841e02005-10-27 19:47:21 +0000352 if (Name == "NoItineraries") continue;
353
Jim Laskey908ae272005-10-28 15:20:43 +0000354 // Create and expand processor itinerary to cover all itinerary classes
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000355 std::vector<InstrItinerary> ItinList;
356 ItinList.resize(NItinClasses);
Jim Laskey0d841e02005-10-27 19:47:21 +0000357
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000358 // Get itinerary data list
Chris Lattnerb0e103d2005-10-28 22:49:02 +0000359 std::vector<Record*> ItinDataList = Proc->getValueAsListOfDefs("IID");
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000360
361 // For each itinerary data
362 for (unsigned j = 0, M = ItinDataList.size(); j < M; j++) {
363 // Next itinerary data
364 Record *ItinData = ItinDataList[j];
365
Jim Laskey908ae272005-10-28 15:20:43 +0000366 // Get string and stage count
David Goodwinfac85412009-08-17 16:02:57 +0000367 std::string ItinStageString;
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000368 unsigned NStages;
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000369 FormItineraryStageString(Name, ItinData, ItinStageString, NStages);
Jim Laskey0d841e02005-10-27 19:47:21 +0000370
David Goodwinfac85412009-08-17 16:02:57 +0000371 // Get string and operand cycle count
372 std::string ItinOperandCycleString;
373 unsigned NOperandCycles;
374 FormItineraryOperandCycleString(ItinData, ItinOperandCycleString,
375 NOperandCycles);
376
Evan Cheng63d66ee2010-09-28 23:50:49 +0000377 std::string ItinBypassString;
378 FormItineraryBypassString(Name, ItinData, ItinBypassString,
379 NOperandCycles);
380
David Goodwinfac85412009-08-17 16:02:57 +0000381 // Check to see if stage already exists and create if it doesn't
382 unsigned FindStage = 0;
383 if (NStages > 0) {
384 FindStage = ItinStageMap[ItinStageString];
385 if (FindStage == 0) {
386 // Emit as { cycles, u1 | u2 | ... | un, timeinc }, // index
387 StageTable += ItinStageString + ", // " + itostr(ItinStageEnum) + "\n";
388 // Record Itin class number.
389 ItinStageMap[ItinStageString] = FindStage = StageCount;
390 StageCount += NStages;
391 ItinStageEnum++;
392 }
393 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000394
David Goodwinfac85412009-08-17 16:02:57 +0000395 // Check to see if operand cycle already exists and create if it doesn't
396 unsigned FindOperandCycle = 0;
397 if (NOperandCycles > 0) {
398 FindOperandCycle = ItinOperandCycleMap[ItinOperandCycleString];
399 if (FindOperandCycle == 0) {
400 // Emit as cycle, // index
401 OperandCycleTable += ItinOperandCycleString + ", // " +
402 itostr(ItinOperandCycleEnum) + "\n";
403 // Record Itin class number.
404 ItinOperandCycleMap[ItinOperandCycleString] =
405 FindOperandCycle = OperandCycleCount;
Evan Cheng63d66ee2010-09-28 23:50:49 +0000406
407 // Emit as bypass, // index
408 BypassTable += ItinBypassString + ", // " +
409 itostr(ItinOperandCycleEnum) + "\n";
410
David Goodwinfac85412009-08-17 16:02:57 +0000411 OperandCycleCount += NOperandCycles;
412 ItinOperandCycleEnum++;
413 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000414 }
415
Jim Laskey908ae272005-10-28 15:20:43 +0000416 // Locate where to inject into processor itinerary table
Bill Wendling4222d802007-05-04 20:38:40 +0000417 const std::string &Name = ItinData->getValueAsDef("TheClass")->getName();
David Goodwinfac85412009-08-17 16:02:57 +0000418 unsigned Find = ItinClassesMap[Name];
Jim Laskey908ae272005-10-28 15:20:43 +0000419
Evan Cheng5f54ce32010-09-09 18:18:55 +0000420 // Set up itinerary as location and location + stage count
421 unsigned NumUOps = ItinClassList[Find]->getValueAsInt("NumMicroOps");
422 InstrItinerary Intinerary = { NumUOps, FindStage, FindStage + NStages,
423 FindOperandCycle,
424 FindOperandCycle + NOperandCycles};
425
Jim Laskey908ae272005-10-28 15:20:43 +0000426 // Inject - empty slots will be 0, 0
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000427 ItinList[Find] = Intinerary;
Jim Laskey0d841e02005-10-27 19:47:21 +0000428 }
429
Jim Laskey908ae272005-10-28 15:20:43 +0000430 // Add process itinerary to list
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000431 ProcList.push_back(ItinList);
Jim Laskey0d841e02005-10-27 19:47:21 +0000432 }
Evan Cheng63d66ee2010-09-28 23:50:49 +0000433
Jim Laskey7f39c142005-11-03 22:47:41 +0000434 // Closing stage
Anton Korobeynikov96085a32010-04-07 18:19:32 +0000435 StageTable += " { 0, 0, 0, llvm::InstrStage::Required } // End itinerary\n";
David Goodwinfac85412009-08-17 16:02:57 +0000436 StageTable += "};\n";
437
438 // Closing operand cycles
439 OperandCycleTable += " 0 // End itinerary\n";
440 OperandCycleTable += "};\n";
441
Evan Cheng63d66ee2010-09-28 23:50:49 +0000442 BypassTable += " 0 // End itinerary\n";
443 BypassTable += "};\n";
444
David Goodwinfac85412009-08-17 16:02:57 +0000445 // Emit tables.
446 OS << StageTable;
447 OS << OperandCycleTable;
Evan Cheng63d66ee2010-09-28 23:50:49 +0000448 OS << BypassTable;
Jim Laskey6cee6302005-11-01 20:06:59 +0000449
David Goodwinfac85412009-08-17 16:02:57 +0000450 // Emit size of tables
Jim Laskey6cee6302005-11-01 20:06:59 +0000451 OS<<"\nenum {\n";
David Goodwinfac85412009-08-17 16:02:57 +0000452 OS<<" StagesSize = sizeof(Stages)/sizeof(llvm::InstrStage),\n";
453 OS<<" OperandCyclesSize = sizeof(OperandCycles)/sizeof(unsigned)\n";
Jim Laskey6cee6302005-11-01 20:06:59 +0000454 OS<<"};\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000455}
456
457//
Jim Laskey10b1dd92005-10-31 17:16:01 +0000458// EmitProcessorData - Generate data for processor itineraries.
Jim Laskey0d841e02005-10-27 19:47:21 +0000459//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000460void SubtargetEmitter::EmitProcessorData(raw_ostream &OS,
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000461 std::vector<std::vector<InstrItinerary> > &ProcList) {
Jim Laskey908ae272005-10-28 15:20:43 +0000462 // Get an iterator for processor itinerary stages
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000463 std::vector<std::vector<InstrItinerary> >::iterator
464 ProcListIter = ProcList.begin();
Jim Laskey908ae272005-10-28 15:20:43 +0000465
466 // For each processor itinerary
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000467 std::vector<Record*> Itins =
468 Records.getAllDerivedDefinitions("ProcessorItineraries");
469 for (unsigned i = 0, N = Itins.size(); i < N; i++) {
470 // Next record
471 Record *Itin = Itins[i];
472
Jim Laskey908ae272005-10-28 15:20:43 +0000473 // Get processor itinerary name
Bill Wendling4222d802007-05-04 20:38:40 +0000474 const std::string &Name = Itin->getName();
Jim Laskey908ae272005-10-28 15:20:43 +0000475
476 // Skip default
Jim Laskey0d841e02005-10-27 19:47:21 +0000477 if (Name == "NoItineraries") continue;
478
Jim Laskey908ae272005-10-28 15:20:43 +0000479 // Begin processor itinerary table
Jim Laskey0d841e02005-10-27 19:47:21 +0000480 OS << "\n";
Dan Gohmancfbb2f02008-03-25 21:45:14 +0000481 OS << "static const llvm::InstrItinerary " << Name << "[] = {\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000482
Jim Laskey908ae272005-10-28 15:20:43 +0000483 // For each itinerary class
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000484 std::vector<InstrItinerary> &ItinList = *ProcListIter++;
David Goodwin1f528952009-09-24 20:22:50 +0000485 for (unsigned j = 0, M = ItinList.size(); j < M; ++j) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000486 InstrItinerary &Intinerary = ItinList[j];
Jim Laskey0d841e02005-10-27 19:47:21 +0000487
David Goodwinfac85412009-08-17 16:02:57 +0000488 // Emit in the form of
489 // { firstStage, lastStage, firstCycle, lastCycle } // index
490 if (Intinerary.FirstStage == 0) {
Evan Cheng5f54ce32010-09-09 18:18:55 +0000491 OS << " { 1, 0, 0, 0, 0 }";
Jim Laskey0d841e02005-10-27 19:47:21 +0000492 } else {
Evan Cheng5f54ce32010-09-09 18:18:55 +0000493 OS << " { " <<
494 Intinerary.NumMicroOps << ", " <<
495 Intinerary.FirstStage << ", " <<
David Goodwinfac85412009-08-17 16:02:57 +0000496 Intinerary.LastStage << ", " <<
497 Intinerary.FirstOperandCycle << ", " <<
498 Intinerary.LastOperandCycle << " }";
Jim Laskey0d841e02005-10-27 19:47:21 +0000499 }
500
David Goodwin1f528952009-09-24 20:22:50 +0000501 OS << ", // " << j << "\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000502 }
Jim Laskey908ae272005-10-28 15:20:43 +0000503
504 // End processor itinerary table
Evan Cheng5f54ce32010-09-09 18:18:55 +0000505 OS << " { 1, ~0U, ~0U, ~0U, ~0U } // end marker\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000506 OS << "};\n";
507 }
Jim Laskey10b1dd92005-10-31 17:16:01 +0000508}
509
510//
511// EmitProcessorLookup - generate cpu name to itinerary lookup table.
512//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000513void SubtargetEmitter::EmitProcessorLookup(raw_ostream &OS) {
Jim Laskey10b1dd92005-10-31 17:16:01 +0000514 // Gather and sort processor information
515 std::vector<Record*> ProcessorList =
516 Records.getAllDerivedDefinitions("Processor");
Duraid Madina42d24c72005-12-30 14:56:37 +0000517 std::sort(ProcessorList.begin(), ProcessorList.end(), LessRecordFieldName());
Jim Laskey10b1dd92005-10-31 17:16:01 +0000518
519 // Begin processor table
520 OS << "\n";
521 OS << "// Sorted (by key) array of itineraries for CPU subtype.\n"
Jim Laskey7f39c142005-11-03 22:47:41 +0000522 << "static const llvm::SubtargetInfoKV ProcItinKV[] = {\n";
Jim Laskey10b1dd92005-10-31 17:16:01 +0000523
524 // For each processor
525 for (unsigned i = 0, N = ProcessorList.size(); i < N;) {
526 // Next processor
527 Record *Processor = ProcessorList[i];
528
Bill Wendling4222d802007-05-04 20:38:40 +0000529 const std::string &Name = Processor->getValueAsString("Name");
530 const std::string &ProcItin =
531 Processor->getValueAsDef("ProcItin")->getName();
Jim Laskey10b1dd92005-10-31 17:16:01 +0000532
533 // Emit as { "cpu", procinit },
534 OS << " { "
535 << "\"" << Name << "\", "
536 << "(void *)&" << ProcItin;
537
538 OS << " }";
539
540 // Depending on ''if more in the list'' emit comma
541 if (++i < N) OS << ",";
542
543 OS << "\n";
544 }
545
546 // End processor table
547 OS << "};\n";
548
549 // Emit size of table
550 OS<<"\nenum {\n";
Jim Laskey7f39c142005-11-03 22:47:41 +0000551 OS<<" ProcItinKVSize = sizeof(ProcItinKV)/"
Jim Laskey10b1dd92005-10-31 17:16:01 +0000552 "sizeof(llvm::SubtargetInfoKV)\n";
553 OS<<"};\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000554}
555
556//
557// EmitData - Emits all stages and itineries, folding common patterns.
558//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000559void SubtargetEmitter::EmitData(raw_ostream &OS) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000560 std::map<std::string, unsigned> ItinClassesMap;
Evan Cheng5f54ce32010-09-09 18:18:55 +0000561 // Gather and sort all itinerary classes
562 std::vector<Record*> ItinClassList =
563 Records.getAllDerivedDefinitions("InstrItinClass");
564 std::sort(ItinClassList.begin(), ItinClassList.end(), LessRecord());
Jim Laskey0d841e02005-10-27 19:47:21 +0000565
Jim Laskey908ae272005-10-28 15:20:43 +0000566 // Enumerate all the itinerary classes
Evan Cheng5f54ce32010-09-09 18:18:55 +0000567 unsigned NItinClasses = CollectAllItinClasses(OS, ItinClassesMap,
568 ItinClassList);
Jim Laskey6cee6302005-11-01 20:06:59 +0000569 // Make sure the rest is worth the effort
Chris Lattner387e4bd2006-01-27 01:41:55 +0000570 HasItineraries = NItinClasses != 1; // Ignore NoItinerary.
Jim Laskey6cee6302005-11-01 20:06:59 +0000571
572 if (HasItineraries) {
Evan Cheng5f54ce32010-09-09 18:18:55 +0000573 std::vector<std::vector<InstrItinerary> > ProcList;
Jim Laskey6cee6302005-11-01 20:06:59 +0000574 // Emit the stage data
Evan Cheng5f54ce32010-09-09 18:18:55 +0000575 EmitStageAndOperandCycleData(OS, NItinClasses, ItinClassesMap,
576 ItinClassList, ProcList);
Jim Laskey6cee6302005-11-01 20:06:59 +0000577 // Emit the processor itinerary data
578 EmitProcessorData(OS, ProcList);
579 // Emit the processor lookup data
580 EmitProcessorLookup(OS);
581 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000582}
583
584//
Jim Laskey581a8f72005-10-26 17:30:34 +0000585// ParseFeaturesFunction - Produces a subtarget specific function for parsing
586// the subtarget features string.
587//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000588void SubtargetEmitter::ParseFeaturesFunction(raw_ostream &OS) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000589 std::vector<Record*> Features =
590 Records.getAllDerivedDefinitions("SubtargetFeature");
Duraid Madina42d24c72005-12-30 14:56:37 +0000591 std::sort(Features.begin(), Features.end(), LessRecord());
Jim Laskey581a8f72005-10-26 17:30:34 +0000592
593 OS << "// ParseSubtargetFeatures - Parses features string setting specified\n"
Bill Wendling4222d802007-05-04 20:38:40 +0000594 << "// subtarget options.\n"
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000595 << "std::string llvm::";
Jim Laskey581a8f72005-10-26 17:30:34 +0000596 OS << Target;
597 OS << "Subtarget::ParseSubtargetFeatures(const std::string &FS,\n"
Bill Wendling4222d802007-05-04 20:38:40 +0000598 << " const std::string &CPU) {\n"
David Greenef0fd3af2010-01-05 17:47:41 +0000599 << " DEBUG(dbgs() << \"\\nFeatures:\" << FS);\n"
600 << " DEBUG(dbgs() << \"\\nCPU:\" << CPU);\n"
Bill Wendling4222d802007-05-04 20:38:40 +0000601 << " SubtargetFeatures Features(FS);\n"
602 << " Features.setCPUIfNone(CPU);\n"
603 << " uint32_t Bits = Features.getBits(SubTypeKV, SubTypeKVSize,\n"
604 << " FeatureKV, FeatureKVSize);\n";
605
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000606 for (unsigned i = 0; i < Features.size(); i++) {
607 // Next record
608 Record *R = Features[i];
Bill Wendling4222d802007-05-04 20:38:40 +0000609 const std::string &Instance = R->getName();
610 const std::string &Value = R->getValueAsString("Value");
611 const std::string &Attribute = R->getValueAsString("Attribute");
Evan Cheng19c95502006-01-27 08:09:42 +0000612
Dale Johannesendb01c8b2008-02-14 23:35:16 +0000613 if (Value=="true" || Value=="false")
614 OS << " if ((Bits & " << Instance << ") != 0) "
615 << Attribute << " = " << Value << ";\n";
616 else
617 OS << " if ((Bits & " << Instance << ") != 0 && " << Attribute <<
618 " < " << Value << ") " << Attribute << " = " << Value << ";\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000619 }
Bill Wendling4222d802007-05-04 20:38:40 +0000620
Jim Laskey6cee6302005-11-01 20:06:59 +0000621 if (HasItineraries) {
622 OS << "\n"
623 << " InstrItinerary *Itinerary = (InstrItinerary *)"
Bill Wendling4222d802007-05-04 20:38:40 +0000624 << "Features.getInfo(ProcItinKV, ProcItinKVSize);\n"
David Goodwinfac85412009-08-17 16:02:57 +0000625 << " InstrItins = InstrItineraryData(Stages, OperandCycles, Itinerary);\n";
Jim Laskey6cee6302005-11-01 20:06:59 +0000626 }
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000627
628 OS << " return Features.getCPU();\n"
629 << "}\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000630}
631
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000632//
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000633// SubtargetEmitter::run - Main subtarget enumeration emitter.
634//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000635void SubtargetEmitter::run(raw_ostream &OS) {
Jim Laskey6c302fc2005-10-26 17:49:21 +0000636 Target = CodeGenTarget().getName();
Jim Laskey581a8f72005-10-26 17:30:34 +0000637
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000638 EmitSourceFileHeader("Subtarget Enumeration Source Fragment", OS);
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000639
Sandeep Patelbf177ee2009-11-11 03:23:46 +0000640 OS << "#include \"llvm/Support/Debug.h\"\n";
641 OS << "#include \"llvm/Support/raw_ostream.h\"\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000642 OS << "#include \"llvm/Target/SubtargetFeature.h\"\n";
643 OS << "#include \"llvm/Target/TargetInstrItineraries.h\"\n\n";
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000644
645// Enumeration(OS, "FuncUnit", true);
646// OS<<"\n";
Jim Laskey908ae272005-10-28 15:20:43 +0000647// Enumeration(OS, "InstrItinClass", false);
648// OS<<"\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000649 Enumeration(OS, "SubtargetFeature", true);
650 OS<<"\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000651 FeatureKeyValues(OS);
Jim Laskey581a8f72005-10-26 17:30:34 +0000652 OS<<"\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000653 CPUKeyValues(OS);
Jim Laskey581a8f72005-10-26 17:30:34 +0000654 OS<<"\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000655 EmitData(OS);
656 OS<<"\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000657 ParseFeaturesFunction(OS);
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000658}