blob: a0dc96787d1a0f018b19163c300d30ae51ef75d5 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- SubtargetEmitter.cpp - Generate subtarget enumerations -------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerfd6c2f02007-12-29 20:37:13 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This tablegen backend emits subtarget enumerations.
11//
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"
19#include <algorithm>
20using namespace llvm;
21
22//
23// Record sort by name function.
24//
25struct LessRecord {
26 bool operator()(const Record *Rec1, const Record *Rec2) const {
27 return Rec1->getName() < Rec2->getName();
28 }
29};
30
31//
32// Record sort by field "Name" function.
33//
34struct LessRecordFieldName {
35 bool operator()(const Record *Rec1, const Record *Rec2) const {
36 return Rec1->getValueAsString("Name") < Rec2->getValueAsString("Name");
37 }
38};
39
40//
41// Enumeration - Emit the specified class as an enumeration.
42//
43void SubtargetEmitter::Enumeration(std::ostream &OS,
44 const char *ClassName,
45 bool isBits) {
46 // Get all records of class and sort
47 std::vector<Record*> DefList = Records.getAllDerivedDefinitions(ClassName);
48 std::sort(DefList.begin(), DefList.end(), LessRecord());
49
50 // Open enumeration
51 OS << "enum {\n";
52
53 // For each record
54 for (unsigned i = 0, N = DefList.size(); i < N;) {
55 // Next record
56 Record *Def = DefList[i];
57
58 // Get and emit name
59 OS << " " << Def->getName();
60
61 // If bit flags then emit expression (1 << i)
62 if (isBits) OS << " = " << " 1 << " << i;
63
64 // Depending on 'if more in the list' emit comma
65 if (++i < N) OS << ",";
66
67 OS << "\n";
68 }
69
70 // Close enumeration
71 OS << "};\n";
72}
73
74//
75// FeatureKeyValues - Emit data of all the subtarget features. Used by the
76// command line.
77//
78void SubtargetEmitter::FeatureKeyValues(std::ostream &OS) {
79 // Gather and sort all the features
80 std::vector<Record*> FeatureList =
81 Records.getAllDerivedDefinitions("SubtargetFeature");
82 std::sort(FeatureList.begin(), FeatureList.end(), LessRecord());
83
84 // Begin feature table
85 OS << "// Sorted (by key) array of values for CPU features.\n"
Dan Gohman12300e12008-03-25 21:45:14 +000086 << "static const llvm::SubtargetFeatureKV FeatureKV[] = {\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000087
88 // For each feature
89 for (unsigned i = 0, N = FeatureList.size(); i < N; ++i) {
90 // Next feature
91 Record *Feature = FeatureList[i];
92
93 const std::string &Name = Feature->getName();
94 const std::string &CommandLineName = Feature->getValueAsString("Name");
95 const std::string &Desc = Feature->getValueAsString("Desc");
96
97 if (CommandLineName.empty()) continue;
98
99 // Emit as { "feature", "decription", feactureEnum, i1 | i2 | ... | in }
100 OS << " { "
101 << "\"" << CommandLineName << "\", "
102 << "\"" << Desc << "\", "
103 << Name << ", ";
104
105 const std::vector<Record*> &ImpliesList =
106 Feature->getValueAsListOfDefs("Implies");
107
108 if (ImpliesList.empty()) {
109 OS << "0";
110 } else {
111 for (unsigned j = 0, M = ImpliesList.size(); j < M;) {
112 OS << ImpliesList[j]->getName();
113 if (++j < M) OS << " | ";
114 }
115 }
116
117 OS << " }";
118
119 // Depending on 'if more in the list' emit comma
120 if ((i + 1) < N) OS << ",";
121
122 OS << "\n";
123 }
124
125 // End feature table
126 OS << "};\n";
127
128 // Emit size of table
129 OS<<"\nenum {\n";
130 OS<<" FeatureKVSize = sizeof(FeatureKV)/sizeof(llvm::SubtargetFeatureKV)\n";
131 OS<<"};\n";
132}
133
134//
135// CPUKeyValues - Emit data of all the subtarget processors. Used by command
136// line.
137//
138void SubtargetEmitter::CPUKeyValues(std::ostream &OS) {
139 // Gather and sort processor information
140 std::vector<Record*> ProcessorList =
141 Records.getAllDerivedDefinitions("Processor");
142 std::sort(ProcessorList.begin(), ProcessorList.end(), LessRecordFieldName());
143
144 // Begin processor table
145 OS << "// Sorted (by key) array of values for CPU subtype.\n"
146 << "static const llvm::SubtargetFeatureKV SubTypeKV[] = {\n";
147
148 // For each processor
149 for (unsigned i = 0, N = ProcessorList.size(); i < N;) {
150 // Next processor
151 Record *Processor = ProcessorList[i];
152
153 const std::string &Name = Processor->getValueAsString("Name");
154 const std::vector<Record*> &FeatureList =
155 Processor->getValueAsListOfDefs("Features");
156
157 // Emit as { "cpu", "description", f1 | f2 | ... fn },
158 OS << " { "
159 << "\"" << Name << "\", "
160 << "\"Select the " << Name << " processor\", ";
161
162 if (FeatureList.empty()) {
163 OS << "0";
164 } else {
165 for (unsigned j = 0, M = FeatureList.size(); j < M;) {
166 OS << FeatureList[j]->getName();
167 if (++j < M) OS << " | ";
168 }
169 }
170
171 // The "0" is for the "implies" section of this data structure.
172 OS << ", 0 }";
173
174 // Depending on 'if more in the list' emit comma
175 if (++i < N) OS << ",";
176
177 OS << "\n";
178 }
179
180 // End processor table
181 OS << "};\n";
182
183 // Emit size of table
184 OS<<"\nenum {\n";
185 OS<<" SubTypeKVSize = sizeof(SubTypeKV)/sizeof(llvm::SubtargetFeatureKV)\n";
186 OS<<"};\n";
187}
188
189//
190// CollectAllItinClasses - Gathers and enumerates all the itinerary classes.
191// Returns itinerary class count.
192//
193unsigned SubtargetEmitter::CollectAllItinClasses(std::ostream &OS,
194 std::map<std::string, unsigned> &ItinClassesMap) {
195 // Gather and sort all itinerary classes
196 std::vector<Record*> ItinClassList =
197 Records.getAllDerivedDefinitions("InstrItinClass");
198 std::sort(ItinClassList.begin(), ItinClassList.end(), LessRecord());
199
200 // For each itinerary class
201 unsigned N = ItinClassList.size();
202 for (unsigned i = 0; i < N; i++) {
203 // Next itinerary class
204 const Record *ItinClass = ItinClassList[i];
205 // Get name of itinerary class
206 // Assign itinerary class a unique number
207 ItinClassesMap[ItinClass->getName()] = i;
208 }
209
210 // Emit size of table
211 OS<<"\nenum {\n";
212 OS<<" ItinClassesSize = " << N << "\n";
213 OS<<"};\n";
214
215 // Return itinerary class count
216 return N;
217}
218
219//
220// FormItineraryString - Compose a string containing the data initialization
221// for the specified itinerary. N is the number of stages.
222//
223void SubtargetEmitter::FormItineraryString(Record *ItinData,
224 std::string &ItinString,
225 unsigned &NStages) {
226 // Get states list
227 const std::vector<Record*> &StageList =
228 ItinData->getValueAsListOfDefs("Stages");
229
230 // For each stage
231 unsigned N = NStages = StageList.size();
232 for (unsigned i = 0; i < N;) {
233 // Next stage
234 const Record *Stage = StageList[i];
235
236 // Form string as ,{ cycles, u1 | u2 | ... | un }
237 int Cycles = Stage->getValueAsInt("Cycles");
238 ItinString += " { " + itostr(Cycles) + ", ";
239
240 // Get unit list
241 const std::vector<Record*> &UnitList = Stage->getValueAsListOfDefs("Units");
242
243 // For each unit
244 for (unsigned j = 0, M = UnitList.size(); j < M;) {
245 // Add name and bitwise or
246 ItinString += UnitList[j]->getName();
247 if (++j < M) ItinString += " | ";
248 }
249
250 // Close off stage
251 ItinString += " }";
252 if (++i < N) ItinString += ", ";
253 }
254}
255
256//
257// EmitStageData - Generate unique itinerary stages. Record itineraries for
258// processors.
259//
260void SubtargetEmitter::EmitStageData(std::ostream &OS,
261 unsigned NItinClasses,
262 std::map<std::string, unsigned> &ItinClassesMap,
263 std::vector<std::vector<InstrItinerary> > &ProcList) {
264 // Gather processor iteraries
265 std::vector<Record*> ProcItinList =
266 Records.getAllDerivedDefinitions("ProcessorItineraries");
267
268 // If just no itinerary then don't bother
269 if (ProcItinList.size() < 2) return;
270
271 // Begin stages table
Dan Gohman12300e12008-03-25 21:45:14 +0000272 OS << "static const llvm::InstrStage Stages[] = {\n"
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000273 " { 0, 0 }, // No itinerary\n";
274
275 unsigned ItinEnum = 1;
276 std::map<std::string, unsigned> ItinMap;
277 for (unsigned i = 0, N = ProcItinList.size(); i < N; i++) {
278 // Next record
279 Record *Proc = ProcItinList[i];
280
281 // Get processor itinerary name
282 const std::string &Name = Proc->getName();
283
284 // Skip default
285 if (Name == "NoItineraries") continue;
286
287 // Create and expand processor itinerary to cover all itinerary classes
288 std::vector<InstrItinerary> ItinList;
289 ItinList.resize(NItinClasses);
290
291 // Get itinerary data list
292 std::vector<Record*> ItinDataList = Proc->getValueAsListOfDefs("IID");
293
294 // For each itinerary data
295 for (unsigned j = 0, M = ItinDataList.size(); j < M; j++) {
296 // Next itinerary data
297 Record *ItinData = ItinDataList[j];
298
299 // Get string and stage count
300 std::string ItinString;
301 unsigned NStages;
302 FormItineraryString(ItinData, ItinString, NStages);
303
304 // Check to see if it already exists
305 unsigned Find = ItinMap[ItinString];
306
307 // If new itinerary
308 if (Find == 0) {
309 // Emit as { cycles, u1 | u2 | ... | un }, // index
310 OS << ItinString << ", // " << ItinEnum << "\n";
311 // Record Itin class number
312 ItinMap[ItinString] = Find = ItinEnum++;
313 }
314
315 // Set up itinerary as location and location + stage count
316 InstrItinerary Intinerary = { Find, Find + NStages };
317
318 // Locate where to inject into processor itinerary table
319 const std::string &Name = ItinData->getValueAsDef("TheClass")->getName();
320 Find = ItinClassesMap[Name];
321
322 // Inject - empty slots will be 0, 0
323 ItinList[Find] = Intinerary;
324 }
325
326 // Add process itinerary to list
327 ProcList.push_back(ItinList);
328 }
329
330 // Closing stage
331 OS << " { 0, 0 } // End itinerary\n";
332 // End stages table
333 OS << "};\n";
334
335 // Emit size of table
336 OS<<"\nenum {\n";
337 OS<<" StagesSize = sizeof(Stages)/sizeof(llvm::InstrStage)\n";
338 OS<<"};\n";
339}
340
341//
342// EmitProcessorData - Generate data for processor itineraries.
343//
344void SubtargetEmitter::EmitProcessorData(std::ostream &OS,
345 std::vector<std::vector<InstrItinerary> > &ProcList) {
346 // Get an iterator for processor itinerary stages
347 std::vector<std::vector<InstrItinerary> >::iterator
348 ProcListIter = ProcList.begin();
349
350 // For each processor itinerary
351 std::vector<Record*> Itins =
352 Records.getAllDerivedDefinitions("ProcessorItineraries");
353 for (unsigned i = 0, N = Itins.size(); i < N; i++) {
354 // Next record
355 Record *Itin = Itins[i];
356
357 // Get processor itinerary name
358 const std::string &Name = Itin->getName();
359
360 // Skip default
361 if (Name == "NoItineraries") continue;
362
363 // Begin processor itinerary table
364 OS << "\n";
Dan Gohman12300e12008-03-25 21:45:14 +0000365 OS << "static const llvm::InstrItinerary " << Name << "[] = {\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000366
367 // For each itinerary class
368 std::vector<InstrItinerary> &ItinList = *ProcListIter++;
369 for (unsigned j = 0, M = ItinList.size(); j < M;) {
370 InstrItinerary &Intinerary = ItinList[j];
371
372 // Emit in the form of { first, last } // index
373 if (Intinerary.First == 0) {
374 OS << " { 0, 0 }";
375 } else {
376 OS << " { " << Intinerary.First << ", " << Intinerary.Last << " }";
377 }
378
379 // If more in list add comma
380 if (++j < M) OS << ",";
381
382 OS << " // " << (j - 1) << "\n";
383 }
384
385 // End processor itinerary table
386 OS << "};\n";
387 }
388}
389
390//
391// EmitProcessorLookup - generate cpu name to itinerary lookup table.
392//
393void SubtargetEmitter::EmitProcessorLookup(std::ostream &OS) {
394 // Gather and sort processor information
395 std::vector<Record*> ProcessorList =
396 Records.getAllDerivedDefinitions("Processor");
397 std::sort(ProcessorList.begin(), ProcessorList.end(), LessRecordFieldName());
398
399 // Begin processor table
400 OS << "\n";
401 OS << "// Sorted (by key) array of itineraries for CPU subtype.\n"
402 << "static const llvm::SubtargetInfoKV ProcItinKV[] = {\n";
403
404 // For each processor
405 for (unsigned i = 0, N = ProcessorList.size(); i < N;) {
406 // Next processor
407 Record *Processor = ProcessorList[i];
408
409 const std::string &Name = Processor->getValueAsString("Name");
410 const std::string &ProcItin =
411 Processor->getValueAsDef("ProcItin")->getName();
412
413 // Emit as { "cpu", procinit },
414 OS << " { "
415 << "\"" << Name << "\", "
416 << "(void *)&" << ProcItin;
417
418 OS << " }";
419
420 // Depending on ''if more in the list'' emit comma
421 if (++i < N) OS << ",";
422
423 OS << "\n";
424 }
425
426 // End processor table
427 OS << "};\n";
428
429 // Emit size of table
430 OS<<"\nenum {\n";
431 OS<<" ProcItinKVSize = sizeof(ProcItinKV)/"
432 "sizeof(llvm::SubtargetInfoKV)\n";
433 OS<<"};\n";
434}
435
436//
437// EmitData - Emits all stages and itineries, folding common patterns.
438//
439void SubtargetEmitter::EmitData(std::ostream &OS) {
440 std::map<std::string, unsigned> ItinClassesMap;
441 std::vector<std::vector<InstrItinerary> > ProcList;
442
443 // Enumerate all the itinerary classes
444 unsigned NItinClasses = CollectAllItinClasses(OS, ItinClassesMap);
445 // Make sure the rest is worth the effort
446 HasItineraries = NItinClasses != 1; // Ignore NoItinerary.
447
448 if (HasItineraries) {
449 // Emit the stage data
450 EmitStageData(OS, NItinClasses, ItinClassesMap, ProcList);
451 // Emit the processor itinerary data
452 EmitProcessorData(OS, ProcList);
453 // Emit the processor lookup data
454 EmitProcessorLookup(OS);
455 }
456}
457
458//
459// ParseFeaturesFunction - Produces a subtarget specific function for parsing
460// the subtarget features string.
461//
462void SubtargetEmitter::ParseFeaturesFunction(std::ostream &OS) {
463 std::vector<Record*> Features =
464 Records.getAllDerivedDefinitions("SubtargetFeature");
465 std::sort(Features.begin(), Features.end(), LessRecord());
466
467 OS << "// ParseSubtargetFeatures - Parses features string setting specified\n"
468 << "// subtarget options.\n"
469 << "void llvm::";
470 OS << Target;
471 OS << "Subtarget::ParseSubtargetFeatures(const std::string &FS,\n"
472 << " const std::string &CPU) {\n"
473 << " SubtargetFeatures Features(FS);\n"
474 << " Features.setCPUIfNone(CPU);\n"
475 << " uint32_t Bits = Features.getBits(SubTypeKV, SubTypeKVSize,\n"
476 << " FeatureKV, FeatureKVSize);\n";
477
478 for (unsigned i = 0; i < Features.size(); i++) {
479 // Next record
480 Record *R = Features[i];
481 const std::string &Instance = R->getName();
482 const std::string &Value = R->getValueAsString("Value");
483 const std::string &Attribute = R->getValueAsString("Attribute");
484
Dale Johannesen161badc2008-02-14 23:35:16 +0000485 if (Value=="true" || Value=="false")
486 OS << " if ((Bits & " << Instance << ") != 0) "
487 << Attribute << " = " << Value << ";\n";
488 else
489 OS << " if ((Bits & " << Instance << ") != 0 && " << Attribute <<
490 " < " << Value << ") " << Attribute << " = " << Value << ";\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000491 }
492
493 if (HasItineraries) {
494 OS << "\n"
495 << " InstrItinerary *Itinerary = (InstrItinerary *)"
496 << "Features.getInfo(ProcItinKV, ProcItinKVSize);\n"
497 << " InstrItins = InstrItineraryData(Stages, Itinerary);\n";
498 }
499
500 OS << "}\n";
501}
502
503//
504// SubtargetEmitter::run - Main subtarget enumeration emitter.
505//
506void SubtargetEmitter::run(std::ostream &OS) {
507 Target = CodeGenTarget().getName();
508
509 EmitSourceFileHeader("Subtarget Enumeration Source Fragment", OS);
510
511 OS << "#include \"llvm/Target/SubtargetFeature.h\"\n";
512 OS << "#include \"llvm/Target/TargetInstrItineraries.h\"\n\n";
513
514 Enumeration(OS, "FuncUnit", true);
515 OS<<"\n";
516// Enumeration(OS, "InstrItinClass", false);
517// OS<<"\n";
518 Enumeration(OS, "SubtargetFeature", true);
519 OS<<"\n";
520 FeatureKeyValues(OS);
521 OS<<"\n";
522 CPUKeyValues(OS);
523 OS<<"\n";
524 EmitData(OS);
525 OS<<"\n";
526 ParseFeaturesFunction(OS);
527}