blob: 21870b1f5b1123f0fbe214686982b0fbff0b4032 [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
265//
266// EmitStageAndOperandCycleData - Generate unique itinerary stages and
267// operand cycle tables. Record itineraries for processors.
268//
269void SubtargetEmitter::EmitStageAndOperandCycleData(raw_ostream &OS,
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000270 unsigned NItinClasses,
Evan Cheng5f54ce32010-09-09 18:18:55 +0000271 std::map<std::string, unsigned> &ItinClassesMap,
272 std::vector<Record*> &ItinClassList,
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000273 std::vector<std::vector<InstrItinerary> > &ProcList) {
Jim Laskey908ae272005-10-28 15:20:43 +0000274 // Gather processor iteraries
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000275 std::vector<Record*> ProcItinList =
276 Records.getAllDerivedDefinitions("ProcessorItineraries");
Jim Laskey908ae272005-10-28 15:20:43 +0000277
278 // If just no itinerary then don't bother
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000279 if (ProcItinList.size() < 2) return;
Jim Laskey908ae272005-10-28 15:20:43 +0000280
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000281 // Emit functional units for all the itineraries.
282 for (unsigned i = 0, N = ProcItinList.size(); i < N; ++i) {
283 // Next record
284 Record *Proc = ProcItinList[i];
285
286 std::vector<Record*> FUs = Proc->getValueAsListOfDefs("FU");
287 if (FUs.empty())
288 continue;
289
290 const std::string &Name = Proc->getName();
291 OS << "\n// Functional units for itineraries \"" << Name << "\"\n"
292 << "namespace " << Name << "FU {\n";
293
294 for (unsigned j = 0, FUN = FUs.size(); j < FUN; ++j)
295 OS << " const unsigned " << FUs[j]->getName()
296 << " = 1 << " << j << ";\n";
297
298 OS << "}\n";
299 }
300
Jim Laskey908ae272005-10-28 15:20:43 +0000301 // Begin stages table
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000302 std::string StageTable = "\nstatic const llvm::InstrStage Stages[] = {\n";
Anton Korobeynikov96085a32010-04-07 18:19:32 +0000303 StageTable += " { 0, 0, 0, llvm::InstrStage::Required }, // No itinerary\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000304
David Goodwinfac85412009-08-17 16:02:57 +0000305 // Begin operand cycle table
306 std::string OperandCycleTable = "static const unsigned OperandCycles[] = {\n";
307 OperandCycleTable += " 0, // No itinerary\n";
308
309 unsigned StageCount = 1, OperandCycleCount = 1;
310 unsigned ItinStageEnum = 1, ItinOperandCycleEnum = 1;
311 std::map<std::string, unsigned> ItinStageMap, ItinOperandCycleMap;
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000312 for (unsigned i = 0, N = ProcItinList.size(); i < N; i++) {
313 // Next record
314 Record *Proc = ProcItinList[i];
315
Jim Laskey908ae272005-10-28 15:20:43 +0000316 // Get processor itinerary name
Bill Wendling4222d802007-05-04 20:38:40 +0000317 const std::string &Name = Proc->getName();
Jim Laskey908ae272005-10-28 15:20:43 +0000318
319 // Skip default
Jim Laskey0d841e02005-10-27 19:47:21 +0000320 if (Name == "NoItineraries") continue;
321
Jim Laskey908ae272005-10-28 15:20:43 +0000322 // Create and expand processor itinerary to cover all itinerary classes
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000323 std::vector<InstrItinerary> ItinList;
324 ItinList.resize(NItinClasses);
Jim Laskey0d841e02005-10-27 19:47:21 +0000325
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000326 // Get itinerary data list
Chris Lattnerb0e103d2005-10-28 22:49:02 +0000327 std::vector<Record*> ItinDataList = Proc->getValueAsListOfDefs("IID");
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000328
329 // For each itinerary data
330 for (unsigned j = 0, M = ItinDataList.size(); j < M; j++) {
331 // Next itinerary data
332 Record *ItinData = ItinDataList[j];
333
Jim Laskey908ae272005-10-28 15:20:43 +0000334 // Get string and stage count
David Goodwinfac85412009-08-17 16:02:57 +0000335 std::string ItinStageString;
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000336 unsigned NStages;
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000337 FormItineraryStageString(Name, ItinData, ItinStageString, NStages);
Jim Laskey0d841e02005-10-27 19:47:21 +0000338
David Goodwinfac85412009-08-17 16:02:57 +0000339 // Get string and operand cycle count
340 std::string ItinOperandCycleString;
341 unsigned NOperandCycles;
342 FormItineraryOperandCycleString(ItinData, ItinOperandCycleString,
343 NOperandCycles);
344
345 // Check to see if stage already exists and create if it doesn't
346 unsigned FindStage = 0;
347 if (NStages > 0) {
348 FindStage = ItinStageMap[ItinStageString];
349 if (FindStage == 0) {
350 // Emit as { cycles, u1 | u2 | ... | un, timeinc }, // index
351 StageTable += ItinStageString + ", // " + itostr(ItinStageEnum) + "\n";
352 // Record Itin class number.
353 ItinStageMap[ItinStageString] = FindStage = StageCount;
354 StageCount += NStages;
355 ItinStageEnum++;
356 }
357 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000358
David Goodwinfac85412009-08-17 16:02:57 +0000359 // Check to see if operand cycle already exists and create if it doesn't
360 unsigned FindOperandCycle = 0;
361 if (NOperandCycles > 0) {
362 FindOperandCycle = ItinOperandCycleMap[ItinOperandCycleString];
363 if (FindOperandCycle == 0) {
364 // Emit as cycle, // index
365 OperandCycleTable += ItinOperandCycleString + ", // " +
366 itostr(ItinOperandCycleEnum) + "\n";
367 // Record Itin class number.
368 ItinOperandCycleMap[ItinOperandCycleString] =
369 FindOperandCycle = OperandCycleCount;
370 OperandCycleCount += NOperandCycles;
371 ItinOperandCycleEnum++;
372 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000373 }
374
Jim Laskey908ae272005-10-28 15:20:43 +0000375 // Locate where to inject into processor itinerary table
Bill Wendling4222d802007-05-04 20:38:40 +0000376 const std::string &Name = ItinData->getValueAsDef("TheClass")->getName();
David Goodwinfac85412009-08-17 16:02:57 +0000377 unsigned Find = ItinClassesMap[Name];
Jim Laskey908ae272005-10-28 15:20:43 +0000378
Evan Cheng5f54ce32010-09-09 18:18:55 +0000379 // Set up itinerary as location and location + stage count
380 unsigned NumUOps = ItinClassList[Find]->getValueAsInt("NumMicroOps");
381 InstrItinerary Intinerary = { NumUOps, FindStage, FindStage + NStages,
382 FindOperandCycle,
383 FindOperandCycle + NOperandCycles};
384
Jim Laskey908ae272005-10-28 15:20:43 +0000385 // Inject - empty slots will be 0, 0
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000386 ItinList[Find] = Intinerary;
Jim Laskey0d841e02005-10-27 19:47:21 +0000387 }
388
Jim Laskey908ae272005-10-28 15:20:43 +0000389 // Add process itinerary to list
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000390 ProcList.push_back(ItinList);
Jim Laskey0d841e02005-10-27 19:47:21 +0000391 }
392
Jim Laskey7f39c142005-11-03 22:47:41 +0000393 // Closing stage
Anton Korobeynikov96085a32010-04-07 18:19:32 +0000394 StageTable += " { 0, 0, 0, llvm::InstrStage::Required } // End itinerary\n";
David Goodwinfac85412009-08-17 16:02:57 +0000395 StageTable += "};\n";
396
397 // Closing operand cycles
398 OperandCycleTable += " 0 // End itinerary\n";
399 OperandCycleTable += "};\n";
400
401 // Emit tables.
402 OS << StageTable;
403 OS << OperandCycleTable;
Jim Laskey6cee6302005-11-01 20:06:59 +0000404
David Goodwinfac85412009-08-17 16:02:57 +0000405 // Emit size of tables
Jim Laskey6cee6302005-11-01 20:06:59 +0000406 OS<<"\nenum {\n";
David Goodwinfac85412009-08-17 16:02:57 +0000407 OS<<" StagesSize = sizeof(Stages)/sizeof(llvm::InstrStage),\n";
408 OS<<" OperandCyclesSize = sizeof(OperandCycles)/sizeof(unsigned)\n";
Jim Laskey6cee6302005-11-01 20:06:59 +0000409 OS<<"};\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000410}
411
412//
Jim Laskey10b1dd92005-10-31 17:16:01 +0000413// EmitProcessorData - Generate data for processor itineraries.
Jim Laskey0d841e02005-10-27 19:47:21 +0000414//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000415void SubtargetEmitter::EmitProcessorData(raw_ostream &OS,
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000416 std::vector<std::vector<InstrItinerary> > &ProcList) {
Jim Laskey908ae272005-10-28 15:20:43 +0000417 // Get an iterator for processor itinerary stages
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000418 std::vector<std::vector<InstrItinerary> >::iterator
419 ProcListIter = ProcList.begin();
Jim Laskey908ae272005-10-28 15:20:43 +0000420
421 // For each processor itinerary
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000422 std::vector<Record*> Itins =
423 Records.getAllDerivedDefinitions("ProcessorItineraries");
424 for (unsigned i = 0, N = Itins.size(); i < N; i++) {
425 // Next record
426 Record *Itin = Itins[i];
427
Jim Laskey908ae272005-10-28 15:20:43 +0000428 // Get processor itinerary name
Bill Wendling4222d802007-05-04 20:38:40 +0000429 const std::string &Name = Itin->getName();
Jim Laskey908ae272005-10-28 15:20:43 +0000430
431 // Skip default
Jim Laskey0d841e02005-10-27 19:47:21 +0000432 if (Name == "NoItineraries") continue;
433
Jim Laskey908ae272005-10-28 15:20:43 +0000434 // Begin processor itinerary table
Jim Laskey0d841e02005-10-27 19:47:21 +0000435 OS << "\n";
Dan Gohmancfbb2f02008-03-25 21:45:14 +0000436 OS << "static const llvm::InstrItinerary " << Name << "[] = {\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000437
Jim Laskey908ae272005-10-28 15:20:43 +0000438 // For each itinerary class
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000439 std::vector<InstrItinerary> &ItinList = *ProcListIter++;
David Goodwin1f528952009-09-24 20:22:50 +0000440 for (unsigned j = 0, M = ItinList.size(); j < M; ++j) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000441 InstrItinerary &Intinerary = ItinList[j];
Jim Laskey0d841e02005-10-27 19:47:21 +0000442
David Goodwinfac85412009-08-17 16:02:57 +0000443 // Emit in the form of
444 // { firstStage, lastStage, firstCycle, lastCycle } // index
445 if (Intinerary.FirstStage == 0) {
Evan Cheng5f54ce32010-09-09 18:18:55 +0000446 OS << " { 1, 0, 0, 0, 0 }";
Jim Laskey0d841e02005-10-27 19:47:21 +0000447 } else {
Evan Cheng5f54ce32010-09-09 18:18:55 +0000448 OS << " { " <<
449 Intinerary.NumMicroOps << ", " <<
450 Intinerary.FirstStage << ", " <<
David Goodwinfac85412009-08-17 16:02:57 +0000451 Intinerary.LastStage << ", " <<
452 Intinerary.FirstOperandCycle << ", " <<
453 Intinerary.LastOperandCycle << " }";
Jim Laskey0d841e02005-10-27 19:47:21 +0000454 }
455
David Goodwin1f528952009-09-24 20:22:50 +0000456 OS << ", // " << j << "\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000457 }
Jim Laskey908ae272005-10-28 15:20:43 +0000458
459 // End processor itinerary table
Evan Cheng5f54ce32010-09-09 18:18:55 +0000460 OS << " { 1, ~0U, ~0U, ~0U, ~0U } // end marker\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000461 OS << "};\n";
462 }
Jim Laskey10b1dd92005-10-31 17:16:01 +0000463}
464
465//
466// EmitProcessorLookup - generate cpu name to itinerary lookup table.
467//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000468void SubtargetEmitter::EmitProcessorLookup(raw_ostream &OS) {
Jim Laskey10b1dd92005-10-31 17:16:01 +0000469 // Gather and sort processor information
470 std::vector<Record*> ProcessorList =
471 Records.getAllDerivedDefinitions("Processor");
Duraid Madina42d24c72005-12-30 14:56:37 +0000472 std::sort(ProcessorList.begin(), ProcessorList.end(), LessRecordFieldName());
Jim Laskey10b1dd92005-10-31 17:16:01 +0000473
474 // Begin processor table
475 OS << "\n";
476 OS << "// Sorted (by key) array of itineraries for CPU subtype.\n"
Jim Laskey7f39c142005-11-03 22:47:41 +0000477 << "static const llvm::SubtargetInfoKV ProcItinKV[] = {\n";
Jim Laskey10b1dd92005-10-31 17:16:01 +0000478
479 // For each processor
480 for (unsigned i = 0, N = ProcessorList.size(); i < N;) {
481 // Next processor
482 Record *Processor = ProcessorList[i];
483
Bill Wendling4222d802007-05-04 20:38:40 +0000484 const std::string &Name = Processor->getValueAsString("Name");
485 const std::string &ProcItin =
486 Processor->getValueAsDef("ProcItin")->getName();
Jim Laskey10b1dd92005-10-31 17:16:01 +0000487
488 // Emit as { "cpu", procinit },
489 OS << " { "
490 << "\"" << Name << "\", "
491 << "(void *)&" << ProcItin;
492
493 OS << " }";
494
495 // Depending on ''if more in the list'' emit comma
496 if (++i < N) OS << ",";
497
498 OS << "\n";
499 }
500
501 // End processor table
502 OS << "};\n";
503
504 // Emit size of table
505 OS<<"\nenum {\n";
Jim Laskey7f39c142005-11-03 22:47:41 +0000506 OS<<" ProcItinKVSize = sizeof(ProcItinKV)/"
Jim Laskey10b1dd92005-10-31 17:16:01 +0000507 "sizeof(llvm::SubtargetInfoKV)\n";
508 OS<<"};\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000509}
510
511//
512// EmitData - Emits all stages and itineries, folding common patterns.
513//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000514void SubtargetEmitter::EmitData(raw_ostream &OS) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000515 std::map<std::string, unsigned> ItinClassesMap;
Evan Cheng5f54ce32010-09-09 18:18:55 +0000516 // Gather and sort all itinerary classes
517 std::vector<Record*> ItinClassList =
518 Records.getAllDerivedDefinitions("InstrItinClass");
519 std::sort(ItinClassList.begin(), ItinClassList.end(), LessRecord());
Jim Laskey0d841e02005-10-27 19:47:21 +0000520
Jim Laskey908ae272005-10-28 15:20:43 +0000521 // Enumerate all the itinerary classes
Evan Cheng5f54ce32010-09-09 18:18:55 +0000522 unsigned NItinClasses = CollectAllItinClasses(OS, ItinClassesMap,
523 ItinClassList);
Jim Laskey6cee6302005-11-01 20:06:59 +0000524 // Make sure the rest is worth the effort
Chris Lattner387e4bd2006-01-27 01:41:55 +0000525 HasItineraries = NItinClasses != 1; // Ignore NoItinerary.
Jim Laskey6cee6302005-11-01 20:06:59 +0000526
527 if (HasItineraries) {
Evan Cheng5f54ce32010-09-09 18:18:55 +0000528 std::vector<std::vector<InstrItinerary> > ProcList;
Jim Laskey6cee6302005-11-01 20:06:59 +0000529 // Emit the stage data
Evan Cheng5f54ce32010-09-09 18:18:55 +0000530 EmitStageAndOperandCycleData(OS, NItinClasses, ItinClassesMap,
531 ItinClassList, ProcList);
Jim Laskey6cee6302005-11-01 20:06:59 +0000532 // Emit the processor itinerary data
533 EmitProcessorData(OS, ProcList);
534 // Emit the processor lookup data
535 EmitProcessorLookup(OS);
536 }
Jim Laskey0d841e02005-10-27 19:47:21 +0000537}
538
539//
Jim Laskey581a8f72005-10-26 17:30:34 +0000540// ParseFeaturesFunction - Produces a subtarget specific function for parsing
541// the subtarget features string.
542//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000543void SubtargetEmitter::ParseFeaturesFunction(raw_ostream &OS) {
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000544 std::vector<Record*> Features =
545 Records.getAllDerivedDefinitions("SubtargetFeature");
Duraid Madina42d24c72005-12-30 14:56:37 +0000546 std::sort(Features.begin(), Features.end(), LessRecord());
Jim Laskey581a8f72005-10-26 17:30:34 +0000547
548 OS << "// ParseSubtargetFeatures - Parses features string setting specified\n"
Bill Wendling4222d802007-05-04 20:38:40 +0000549 << "// subtarget options.\n"
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000550 << "std::string llvm::";
Jim Laskey581a8f72005-10-26 17:30:34 +0000551 OS << Target;
552 OS << "Subtarget::ParseSubtargetFeatures(const std::string &FS,\n"
Bill Wendling4222d802007-05-04 20:38:40 +0000553 << " const std::string &CPU) {\n"
David Greenef0fd3af2010-01-05 17:47:41 +0000554 << " DEBUG(dbgs() << \"\\nFeatures:\" << FS);\n"
555 << " DEBUG(dbgs() << \"\\nCPU:\" << CPU);\n"
Bill Wendling4222d802007-05-04 20:38:40 +0000556 << " SubtargetFeatures Features(FS);\n"
557 << " Features.setCPUIfNone(CPU);\n"
558 << " uint32_t Bits = Features.getBits(SubTypeKV, SubTypeKVSize,\n"
559 << " FeatureKV, FeatureKVSize);\n";
560
Jim Laskeyf7bcde02005-10-28 21:47:29 +0000561 for (unsigned i = 0; i < Features.size(); i++) {
562 // Next record
563 Record *R = Features[i];
Bill Wendling4222d802007-05-04 20:38:40 +0000564 const std::string &Instance = R->getName();
565 const std::string &Value = R->getValueAsString("Value");
566 const std::string &Attribute = R->getValueAsString("Attribute");
Evan Cheng19c95502006-01-27 08:09:42 +0000567
Dale Johannesendb01c8b2008-02-14 23:35:16 +0000568 if (Value=="true" || Value=="false")
569 OS << " if ((Bits & " << Instance << ") != 0) "
570 << Attribute << " = " << Value << ";\n";
571 else
572 OS << " if ((Bits & " << Instance << ") != 0 && " << Attribute <<
573 " < " << Value << ") " << Attribute << " = " << Value << ";\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000574 }
Bill Wendling4222d802007-05-04 20:38:40 +0000575
Jim Laskey6cee6302005-11-01 20:06:59 +0000576 if (HasItineraries) {
577 OS << "\n"
578 << " InstrItinerary *Itinerary = (InstrItinerary *)"
Bill Wendling4222d802007-05-04 20:38:40 +0000579 << "Features.getInfo(ProcItinKV, ProcItinKVSize);\n"
David Goodwinfac85412009-08-17 16:02:57 +0000580 << " InstrItins = InstrItineraryData(Stages, OperandCycles, Itinerary);\n";
Jim Laskey6cee6302005-11-01 20:06:59 +0000581 }
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000582
583 OS << " return Features.getCPU();\n"
584 << "}\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000585}
586
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000587//
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000588// SubtargetEmitter::run - Main subtarget enumeration emitter.
589//
Daniel Dunbar1a551802009-07-03 00:10:29 +0000590void SubtargetEmitter::run(raw_ostream &OS) {
Jim Laskey6c302fc2005-10-26 17:49:21 +0000591 Target = CodeGenTarget().getName();
Jim Laskey581a8f72005-10-26 17:30:34 +0000592
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000593 EmitSourceFileHeader("Subtarget Enumeration Source Fragment", OS);
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000594
Sandeep Patelbf177ee2009-11-11 03:23:46 +0000595 OS << "#include \"llvm/Support/Debug.h\"\n";
596 OS << "#include \"llvm/Support/raw_ostream.h\"\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000597 OS << "#include \"llvm/Target/SubtargetFeature.h\"\n";
598 OS << "#include \"llvm/Target/TargetInstrItineraries.h\"\n\n";
Anton Korobeynikov928eb492010-04-18 20:31:01 +0000599
600// Enumeration(OS, "FuncUnit", true);
601// OS<<"\n";
Jim Laskey908ae272005-10-28 15:20:43 +0000602// Enumeration(OS, "InstrItinClass", false);
603// OS<<"\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000604 Enumeration(OS, "SubtargetFeature", true);
605 OS<<"\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000606 FeatureKeyValues(OS);
Jim Laskey581a8f72005-10-26 17:30:34 +0000607 OS<<"\n";
Jim Laskeyb3b1d5f2005-10-25 15:16:36 +0000608 CPUKeyValues(OS);
Jim Laskey581a8f72005-10-26 17:30:34 +0000609 OS<<"\n";
Jim Laskey0d841e02005-10-27 19:47:21 +0000610 EmitData(OS);
611 OS<<"\n";
Jim Laskey581a8f72005-10-26 17:30:34 +0000612 ParseFeaturesFunction(OS);
Jim Laskey4bb9cbb2005-10-21 19:00:04 +0000613}