blob: 84bd4dee3a9702af44233c7939b5d611d60a166e [file] [log] [blame]
Chris Lattner33ccf7e2003-08-03 17:24:10 +00001//===- InstrInfoEmitter.cpp - Generate a Instruction Set Desc. ------------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell01d45822003-10-20 20:20:30 +00003// 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.
Misha Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell01d45822003-10-20 20:20:30 +00008//===----------------------------------------------------------------------===//
Chris Lattner33ccf7e2003-08-03 17:24:10 +00009//
10// This tablegen backend is responsible for emitting a description of the target
11// instruction set for the code generator.
12//
13//===----------------------------------------------------------------------===//
14
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000015
16#include "CodeGenDAGPatterns.h"
Andrew Trick2661b412012-07-07 04:00:00 +000017#include "CodeGenSchedule.h"
Chris Lattner803a5f62004-08-01 04:04:35 +000018#include "CodeGenTarget.h"
Craig Topper413b2e72012-04-01 18:14:14 +000019#include "SequenceToOffsetTable.h"
Chandler Carruth4ffd89f2012-12-04 10:37:14 +000020#include "TableGenBackends.h"
Chris Lattner23132b12009-08-24 03:52:50 +000021#include "llvm/ADT/StringExtras.h"
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +000022#include "llvm/TableGen/Error.h"
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000023#include "llvm/TableGen/Record.h"
24#include "llvm/TableGen/TableGenBackend.h"
Jeff Cohencb366d92005-11-01 18:04:06 +000025#include <algorithm>
Benjamin Kramer901b8582012-03-23 11:35:30 +000026#include <cstdio>
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000027#include <map>
28#include <vector>
Chris Lattner2082ebe2004-08-01 03:55:39 +000029using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000030
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000031namespace {
32class InstrInfoEmitter {
33 RecordKeeper &Records;
34 CodeGenDAGPatterns CDP;
Andrew Trick2661b412012-07-07 04:00:00 +000035 const CodeGenSchedModels &SchedModels;
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000036
37public:
Andrew Trick2661b412012-07-07 04:00:00 +000038 InstrInfoEmitter(RecordKeeper &R):
39 Records(R), CDP(R), SchedModels(CDP.getTargetInfo().getSchedModels()) {}
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000040
41 // run - Output the instruction set description.
42 void run(raw_ostream &OS);
43
44private:
45 void emitEnums(raw_ostream &OS);
46
47 typedef std::map<std::vector<std::string>, unsigned> OperandInfoMapTy;
Tom Stellard898b9f02013-06-25 21:22:09 +000048
49 /// The keys of this map are maps which have OpName enum values as their keys
50 /// and instruction operand indices as their values. The values of this map
51 /// are lists of instruction names.
52 typedef std::map<std::map<unsigned, unsigned>,
53 std::vector<std::string> > OpNameMapTy;
54 typedef std::map<std::string, unsigned>::iterator StrUintMapIter;
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000055 void emitRecord(const CodeGenInstruction &Inst, unsigned Num,
56 Record *InstrInfo,
57 std::map<std::vector<Record*>, unsigned> &EL,
58 const OperandInfoMapTy &OpInfo,
59 raw_ostream &OS);
Tom Stellard898b9f02013-06-25 21:22:09 +000060 void initOperandMapData(
61 const std::vector<const CodeGenInstruction *> NumberedInstructions,
62 const std::string &Namespace,
63 std::map<std::string, unsigned> &Operands,
64 OpNameMapTy &OperandMap);
65 void emitOperandNameMappings(raw_ostream &OS, const CodeGenTarget &Target,
66 const std::vector<const CodeGenInstruction*> &NumberedInstructions);
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000067
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +000068 // Operand information.
69 void EmitOperandInfo(raw_ostream &OS, OperandInfoMapTy &OperandInfoIDs);
70 std::vector<std::string> GetOperandInfo(const CodeGenInstruction &Inst);
71};
72} // End anonymous namespace
73
Chris Lattner5fbe2752008-01-06 01:21:51 +000074static void PrintDefList(const std::vector<Record*> &Uses,
Daniel Dunbar1a551802009-07-03 00:10:29 +000075 unsigned Num, raw_ostream &OS) {
Craig Topperfac25982012-03-08 08:22:45 +000076 OS << "static const uint16_t ImplicitList" << Num << "[] = { ";
Chris Lattnera3ac88d2005-08-18 21:36:47 +000077 for (unsigned i = 0, e = Uses.size(); i != e; ++i)
78 OS << getQualifiedName(Uses[i]) << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +000079 OS << "0 };\n";
80}
81
Chris Lattneref8339b2008-01-06 01:20:13 +000082//===----------------------------------------------------------------------===//
Chris Lattneref8339b2008-01-06 01:20:13 +000083// Operand Info Emission.
84//===----------------------------------------------------------------------===//
85
Chris Lattnera0cca4a2006-11-06 23:49:51 +000086std::vector<std::string>
87InstrInfoEmitter::GetOperandInfo(const CodeGenInstruction &Inst) {
88 std::vector<std::string> Result;
Owen Andersonbea6f612011-06-27 21:06:21 +000089
Chris Lattnerc240bb02010-11-01 04:03:32 +000090 for (unsigned i = 0, e = Inst.Operands.size(); i != e; ++i) {
Chris Lattnerf1968392006-11-10 02:01:40 +000091 // Handle aggregate operands and normal operands the same way by expanding
92 // either case into a list of operands for this op.
Chris Lattnerc240bb02010-11-01 04:03:32 +000093 std::vector<CGIOperandList::OperandInfo> OperandList;
Chris Lattnera0cca4a2006-11-06 23:49:51 +000094
Chris Lattnerf1968392006-11-10 02:01:40 +000095 // This might be a multiple operand thing. Targets like X86 have
96 // registers in their multi-operand operands. It may also be an anonymous
97 // operand, which has a single operand, but no declared class for the
98 // operand.
David Greene05bce0b2011-07-29 22:43:06 +000099 DagInit *MIOI = Inst.Operands[i].MIOperandInfo;
Owen Andersonbea6f612011-06-27 21:06:21 +0000100
Chris Lattnerf1968392006-11-10 02:01:40 +0000101 if (!MIOI || MIOI->getNumArgs() == 0) {
102 // Single, anonymous, operand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000103 OperandList.push_back(Inst.Operands[i]);
Chris Lattner65303d62005-11-19 07:05:57 +0000104 } else {
Chris Lattnerc240bb02010-11-01 04:03:32 +0000105 for (unsigned j = 0, e = Inst.Operands[i].MINumOperands; j != e; ++j) {
106 OperandList.push_back(Inst.Operands[i]);
Chris Lattnera0cca4a2006-11-06 23:49:51 +0000107
Sean Silva3f7b7f82012-10-10 20:24:47 +0000108 Record *OpR = cast<DefInit>(MIOI->getArg(j))->getDef();
Chris Lattnerf1968392006-11-10 02:01:40 +0000109 OperandList.back().Rec = OpR;
Chris Lattner65303d62005-11-19 07:05:57 +0000110 }
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000111 }
Chris Lattnerf1968392006-11-10 02:01:40 +0000112
113 for (unsigned j = 0, e = OperandList.size(); j != e; ++j) {
114 Record *OpR = OperandList[j].Rec;
115 std::string Res;
Owen Andersonbea6f612011-06-27 21:06:21 +0000116
117 if (OpR->isSubClassOf("RegisterOperand"))
118 OpR = OpR->getValueAsDef("RegClass");
Chris Lattnerf1968392006-11-10 02:01:40 +0000119 if (OpR->isSubClassOf("RegisterClass"))
120 Res += getQualifiedName(OpR) + "RegClassID, ";
Chris Lattnercb778a82009-07-29 21:10:12 +0000121 else if (OpR->isSubClassOf("PointerLikeRegClass"))
122 Res += utostr(OpR->getValueAsInt("RegClassKind")) + ", ";
Chris Lattnerf1968392006-11-10 02:01:40 +0000123 else
Dan Gohmana606d952010-06-18 18:13:55 +0000124 // -1 means the operand does not have a fixed register class.
125 Res += "-1, ";
Owen Andersonbea6f612011-06-27 21:06:21 +0000126
Chris Lattnerf1968392006-11-10 02:01:40 +0000127 // Fill in applicable flags.
128 Res += "0";
Owen Andersonbea6f612011-06-27 21:06:21 +0000129
Chris Lattnerf1968392006-11-10 02:01:40 +0000130 // Ptr value whose register class is resolved via callback.
Chris Lattnera938ac62009-07-29 20:43:05 +0000131 if (OpR->isSubClassOf("PointerLikeRegClass"))
Evan Chenge837dea2011-06-28 19:10:37 +0000132 Res += "|(1<<MCOI::LookupPtrRegClass)";
Chris Lattnerf1968392006-11-10 02:01:40 +0000133
134 // Predicate operands. Check to see if the original unexpanded operand
Tim Northoverf7ab3a82013-08-22 09:57:11 +0000135 // was of type PredicateOp.
136 if (Inst.Operands[i].Rec->isSubClassOf("PredicateOp"))
Evan Chenge837dea2011-06-28 19:10:37 +0000137 Res += "|(1<<MCOI::Predicate)";
Owen Andersonbea6f612011-06-27 21:06:21 +0000138
Evan Cheng88cc0922007-07-10 18:05:01 +0000139 // Optional def operands. Check to see if the original unexpanded operand
140 // was of type OptionalDefOperand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000141 if (Inst.Operands[i].Rec->isSubClassOf("OptionalDefOperand"))
Evan Chenge837dea2011-06-28 19:10:37 +0000142 Res += "|(1<<MCOI::OptionalDef)";
Evan Cheng88cc0922007-07-10 18:05:01 +0000143
Craig Topper39bdc552012-03-11 01:57:56 +0000144 // Fill in operand type.
145 Res += ", MCOI::";
146 assert(!Inst.Operands[i].OperandType.empty() && "Invalid operand type.");
147 Res += Inst.Operands[i].OperandType;
148
Chris Lattnerf1968392006-11-10 02:01:40 +0000149 // Fill in constraint info.
Chris Lattnera7d479c2010-02-10 01:45:28 +0000150 Res += ", ";
Owen Andersonbea6f612011-06-27 21:06:21 +0000151
Chris Lattnerc240bb02010-11-01 04:03:32 +0000152 const CGIOperandList::ConstraintInfo &Constraint =
153 Inst.Operands[i].Constraints[j];
Chris Lattnera7d479c2010-02-10 01:45:28 +0000154 if (Constraint.isNone())
155 Res += "0";
156 else if (Constraint.isEarlyClobber())
Evan Chenge837dea2011-06-28 19:10:37 +0000157 Res += "(1 << MCOI::EARLY_CLOBBER)";
Chris Lattnera7d479c2010-02-10 01:45:28 +0000158 else {
159 assert(Constraint.isTied());
160 Res += "((" + utostr(Constraint.getTiedOperand()) +
Evan Chenge837dea2011-06-28 19:10:37 +0000161 " << 16) | (1 << MCOI::TIED_TO))";
Chris Lattnera7d479c2010-02-10 01:45:28 +0000162 }
Owen Andersonbea6f612011-06-27 21:06:21 +0000163
Chris Lattnerf1968392006-11-10 02:01:40 +0000164 Result.push_back(Res);
165 }
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000166 }
Evan Chenge2ba8972006-11-01 00:27:05 +0000167
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000168 return Result;
169}
170
Owen Andersonbea6f612011-06-27 21:06:21 +0000171void InstrInfoEmitter::EmitOperandInfo(raw_ostream &OS,
Chris Lattneref8339b2008-01-06 01:20:13 +0000172 OperandInfoMapTy &OperandInfoIDs) {
173 // ID #0 is for no operand info.
174 unsigned OperandListNum = 0;
175 OperandInfoIDs[std::vector<std::string>()] = ++OperandListNum;
Owen Andersonbea6f612011-06-27 21:06:21 +0000176
Chris Lattneref8339b2008-01-06 01:20:13 +0000177 OS << "\n";
178 const CodeGenTarget &Target = CDP.getTargetInfo();
179 for (CodeGenTarget::inst_iterator II = Target.inst_begin(),
180 E = Target.inst_end(); II != E; ++II) {
Chris Lattner6a91b182010-03-19 01:00:55 +0000181 std::vector<std::string> OperandInfo = GetOperandInfo(**II);
Chris Lattneref8339b2008-01-06 01:20:13 +0000182 unsigned &N = OperandInfoIDs[OperandInfo];
183 if (N != 0) continue;
Owen Andersonbea6f612011-06-27 21:06:21 +0000184
Chris Lattneref8339b2008-01-06 01:20:13 +0000185 N = ++OperandListNum;
Evan Chenge837dea2011-06-28 19:10:37 +0000186 OS << "static const MCOperandInfo OperandInfo" << N << "[] = { ";
Chris Lattneref8339b2008-01-06 01:20:13 +0000187 for (unsigned i = 0, e = OperandInfo.size(); i != e; ++i)
188 OS << "{ " << OperandInfo[i] << " }, ";
189 OS << "};\n";
190 }
191}
192
Tom Stellard898b9f02013-06-25 21:22:09 +0000193
194/// Initialize data structures for generating operand name mappings.
195///
196/// \param Operands [out] A map used to generate the OpName enum with operand
197/// names as its keys and operand enum values as its values.
198/// \param OperandMap [out] A map for representing the operand name mappings for
199/// each instructions. This is used to generate the OperandMap table as
200/// well as the getNamedOperandIdx() function.
201void InstrInfoEmitter::initOperandMapData(
202 const std::vector<const CodeGenInstruction *> NumberedInstructions,
203 const std::string &Namespace,
204 std::map<std::string, unsigned> &Operands,
205 OpNameMapTy &OperandMap) {
206
207 unsigned NumOperands = 0;
208 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
209 const CodeGenInstruction *Inst = NumberedInstructions[i];
210 if (!Inst->TheDef->getValueAsBit("UseNamedOperandTable")) {
211 continue;
212 }
213 std::map<unsigned, unsigned> OpList;
214 for (unsigned j = 0, je = Inst->Operands.size(); j != je; ++j) {
215 const CGIOperandList::OperandInfo &Info = Inst->Operands[j];
216 StrUintMapIter I = Operands.find(Info.Name);
217
218 if (I == Operands.end()) {
219 I = Operands.insert(Operands.begin(),
220 std::pair<std::string, unsigned>(Info.Name, NumOperands++));
221 }
222 OpList[I->second] = Info.MIOperandNo;
223 }
224 OperandMap[OpList].push_back(Namespace + "::" + Inst->TheDef->getName());
225 }
226}
227
228/// Generate a table and function for looking up the indices of operands by
229/// name.
230///
231/// This code generates:
232/// - An enum in the llvm::TargetNamespace::OpName namespace, with one entry
233/// for each operand name.
234/// - A 2-dimensional table called OperandMap for mapping OpName enum values to
235/// operand indices.
236/// - A function called getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIdx)
237/// for looking up the operand index for an instruction, given a value from
238/// OpName enum
239void InstrInfoEmitter::emitOperandNameMappings(raw_ostream &OS,
240 const CodeGenTarget &Target,
241 const std::vector<const CodeGenInstruction*> &NumberedInstructions) {
242
243 const std::string &Namespace = Target.getInstNamespace();
244 std::string OpNameNS = "OpName";
245 // Map of operand names to their enumeration value. This will be used to
246 // generate the OpName enum.
247 std::map<std::string, unsigned> Operands;
248 OpNameMapTy OperandMap;
249
250 initOperandMapData(NumberedInstructions, Namespace, Operands, OperandMap);
251
252 OS << "#ifdef GET_INSTRINFO_OPERAND_ENUM\n";
253 OS << "#undef GET_INSTRINFO_OPERAND_ENUM\n";
254 OS << "namespace llvm {";
255 OS << "namespace " << Namespace << " {\n";
256 OS << "namespace " << OpNameNS << " { \n";
257 OS << "enum {\n";
258 for (StrUintMapIter i = Operands.begin(), e = Operands.end(); i != e; ++i)
259 OS << " " << i->first << " = " << i->second << ",\n";
260
261 OS << "OPERAND_LAST";
262 OS << "\n};\n";
263 OS << "} // End namespace OpName\n";
264 OS << "} // End namespace " << Namespace << "\n";
265 OS << "} // End namespace llvm\n";
266 OS << "#endif //GET_INSTRINFO_OPERAND_ENUM\n";
267
268 OS << "#ifdef GET_INSTRINFO_NAMED_OPS\n";
269 OS << "#undef GET_INSTRINFO_NAMED_OPS\n";
270 OS << "namespace llvm {";
271 OS << "namespace " << Namespace << " {\n";
272 OS << "int16_t getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIdx) {\n";
Aaron Ballman54911a52013-07-15 16:53:32 +0000273 if (!Operands.empty()) {
274 OS << " static const int16_t OperandMap [][" << Operands.size()
275 << "] = {\n";
276 for (OpNameMapTy::iterator i = OperandMap.begin(), e = OperandMap.end();
277 i != e; ++i) {
278 const std::map<unsigned, unsigned> &OpList = i->first;
279 OS << "{";
Tom Stellard898b9f02013-06-25 21:22:09 +0000280
Aaron Ballman54911a52013-07-15 16:53:32 +0000281 // Emit a row of the OperandMap table
282 for (unsigned ii = 0, ie = Operands.size(); ii != ie; ++ii)
283 OS << (OpList.count(ii) == 0 ? -1 : (int)OpList.find(ii)->second)
284 << ", ";
Tom Stellard898b9f02013-06-25 21:22:09 +0000285
Aaron Ballman54911a52013-07-15 16:53:32 +0000286 OS << "},\n";
287 }
288 OS << "};\n";
289
290 OS << " switch(Opcode) {\n";
291 unsigned TableIndex = 0;
292 for (OpNameMapTy::iterator i = OperandMap.begin(), e = OperandMap.end();
293 i != e; ++i) {
294 std::vector<std::string> &OpcodeList = i->second;
295
296 for (unsigned ii = 0, ie = OpcodeList.size(); ii != ie; ++ii)
297 OS << " case " << OpcodeList[ii] << ":\n";
298
299 OS << " return OperandMap[" << TableIndex++ << "][NamedIdx];\n";
300 }
301 OS << " default: return -1;\n";
302 OS << " }\n";
303 } else {
304 // There are no operands, so no need to emit anything
305 OS << " return -1;\n";
Tom Stellard898b9f02013-06-25 21:22:09 +0000306 }
Tom Stellard898b9f02013-06-25 21:22:09 +0000307 OS << "}\n";
308 OS << "} // End namespace " << Namespace << "\n";
309 OS << "} // End namespace llvm\n";
310 OS << "#endif //GET_INSTRINFO_NAMED_OPS\n";
311
312}
313
Chris Lattneref8339b2008-01-06 01:20:13 +0000314//===----------------------------------------------------------------------===//
315// Main Output.
316//===----------------------------------------------------------------------===//
Chris Lattnera3ae6142003-08-03 21:57:51 +0000317
318// run - Emit the main instruction description records for the target...
Daniel Dunbar1a551802009-07-03 00:10:29 +0000319void InstrInfoEmitter::run(raw_ostream &OS) {
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000320 emitSourceFileHeader("Target Instruction Enum Values", OS);
Evan Cheng22fee2d2011-06-28 20:07:07 +0000321 emitEnums(OS);
322
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000323 emitSourceFileHeader("Target Instruction Descriptors", OS);
Evan Cheng22fee2d2011-06-28 20:07:07 +0000324
325 OS << "\n#ifdef GET_INSTRINFO_MC_DESC\n";
326 OS << "#undef GET_INSTRINFO_MC_DESC\n";
327
Chris Lattner2c384132004-08-17 03:08:28 +0000328 OS << "namespace llvm {\n\n";
329
Dan Gohmanee4fa192008-04-03 00:02:49 +0000330 CodeGenTarget &Target = CDP.getTargetInfo();
Chris Lattner7884b752003-08-07 05:39:09 +0000331 const std::string &TargetName = Target.getName();
332 Record *InstrInfo = Target.getInstructionSet();
Chris Lattnera3ae6142003-08-03 21:57:51 +0000333
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000334 // Keep track of all of the def lists we have emitted already.
335 std::map<std::vector<Record*>, unsigned> EmittedLists;
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000336 unsigned ListNumber = 0;
Owen Andersonbea6f612011-06-27 21:06:21 +0000337
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000338 // Emit all of the instruction's implicit uses and defs.
Chris Lattnerec352402004-08-01 05:04:00 +0000339 for (CodeGenTarget::inst_iterator II = Target.inst_begin(),
340 E = Target.inst_end(); II != E; ++II) {
Chris Lattner6a91b182010-03-19 01:00:55 +0000341 Record *Inst = (*II)->TheDef;
Chris Lattner366080c2005-10-28 22:59:53 +0000342 std::vector<Record*> Uses = Inst->getValueAsListOfDefs("Uses");
343 if (!Uses.empty()) {
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000344 unsigned &IL = EmittedLists[Uses];
Chris Lattner5fbe2752008-01-06 01:21:51 +0000345 if (!IL) PrintDefList(Uses, IL = ++ListNumber, OS);
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000346 }
Chris Lattner366080c2005-10-28 22:59:53 +0000347 std::vector<Record*> Defs = Inst->getValueAsListOfDefs("Defs");
348 if (!Defs.empty()) {
349 unsigned &IL = EmittedLists[Defs];
Chris Lattner5fbe2752008-01-06 01:21:51 +0000350 if (!IL) PrintDefList(Defs, IL = ++ListNumber, OS);
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000351 }
Chris Lattnera3ae6142003-08-03 21:57:51 +0000352 }
353
Chris Lattneref8339b2008-01-06 01:20:13 +0000354 OperandInfoMapTy OperandInfoIDs;
Owen Andersonbea6f612011-06-27 21:06:21 +0000355
Chris Lattner0e384b62005-08-19 16:57:28 +0000356 // Emit all of the operand info records.
Chris Lattneref8339b2008-01-06 01:20:13 +0000357 EmitOperandInfo(OS, OperandInfoIDs);
Owen Andersonbea6f612011-06-27 21:06:21 +0000358
Evan Chenge837dea2011-06-28 19:10:37 +0000359 // Emit all of the MCInstrDesc records in their ENUM ordering.
Chris Lattner0e384b62005-08-19 16:57:28 +0000360 //
Benjamin Kramer1a2f9882011-10-22 16:50:00 +0000361 OS << "\nextern const MCInstrDesc " << TargetName << "Insts[] = {\n";
Chris Lattnerf6502782010-03-19 00:34:35 +0000362 const std::vector<const CodeGenInstruction*> &NumberedInstructions =
363 Target.getInstructionsByEnumValue();
Chris Lattnera3ae6142003-08-03 21:57:51 +0000364
Chris Lattnerf52e2612006-01-27 01:44:09 +0000365 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i)
366 emitRecord(*NumberedInstructions[i], i, InstrInfo, EmittedLists,
Evan Cheng4db37482011-06-27 23:47:21 +0000367 OperandInfoIDs, OS);
Evan Cheng94b01f62011-06-28 20:29:03 +0000368 OS << "};\n\n";
369
Craig Topper413b2e72012-04-01 18:14:14 +0000370 // Build an array of instruction names
371 SequenceToOffsetTable<std::string> InstrNames;
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000372 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
373 const CodeGenInstruction *Instr = NumberedInstructions[i];
Craig Topper413b2e72012-04-01 18:14:14 +0000374 InstrNames.add(Instr->TheDef->getName());
375 }
376
377 InstrNames.layout();
378 OS << "extern const char " << TargetName << "InstrNameData[] = {\n";
379 InstrNames.emit(OS, printChar);
380 OS << "};\n\n";
381
382 OS << "extern const unsigned " << TargetName <<"InstrNameIndices[] = {";
383 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000384 if (i % 8 == 0)
385 OS << "\n ";
Craig Topper413b2e72012-04-01 18:14:14 +0000386 const CodeGenInstruction *Instr = NumberedInstructions[i];
387 OS << InstrNames.get(Instr->TheDef->getName()) << "U, ";
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000388 }
389
390 OS << "\n};\n\n";
391
Evan Cheng94b01f62011-06-28 20:29:03 +0000392 // MCInstrInfo initialization routine.
393 OS << "static inline void Init" << TargetName
394 << "MCInstrInfo(MCInstrInfo *II) {\n";
395 OS << " II->InitMCInstrInfo(" << TargetName << "Insts, "
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000396 << TargetName << "InstrNameIndices, " << TargetName << "InstrNameData, "
Evan Cheng94b01f62011-06-28 20:29:03 +0000397 << NumberedInstructions.size() << ");\n}\n\n";
398
Chris Lattner2c384132004-08-17 03:08:28 +0000399 OS << "} // End llvm namespace \n";
Evan Cheng22fee2d2011-06-28 20:07:07 +0000400
401 OS << "#endif // GET_INSTRINFO_MC_DESC\n\n";
Evan Cheng4db3cff2011-07-01 17:57:27 +0000402
403 // Create a TargetInstrInfo subclass to hide the MC layer initialization.
404 OS << "\n#ifdef GET_INSTRINFO_HEADER\n";
405 OS << "#undef GET_INSTRINFO_HEADER\n";
406
407 std::string ClassName = TargetName + "GenInstrInfo";
Evan Cheng94214702011-07-01 20:45:01 +0000408 OS << "namespace llvm {\n";
Jakob Stoklund Olesena9fa4fd2012-11-28 02:35:17 +0000409 OS << "struct " << ClassName << " : public TargetInstrInfo {\n"
Evan Cheng4db3cff2011-07-01 17:57:27 +0000410 << " explicit " << ClassName << "(int SO = -1, int DO = -1);\n"
411 << "};\n";
412 OS << "} // End llvm namespace \n";
413
414 OS << "#endif // GET_INSTRINFO_HEADER\n\n";
415
416 OS << "\n#ifdef GET_INSTRINFO_CTOR\n";
417 OS << "#undef GET_INSTRINFO_CTOR\n";
418
Evan Cheng94214702011-07-01 20:45:01 +0000419 OS << "namespace llvm {\n";
Benjamin Kramer1a2f9882011-10-22 16:50:00 +0000420 OS << "extern const MCInstrDesc " << TargetName << "Insts[];\n";
Jakob Stoklund Olesenbcfa9822012-03-15 18:05:57 +0000421 OS << "extern const unsigned " << TargetName << "InstrNameIndices[];\n";
Craig Topper413b2e72012-04-01 18:14:14 +0000422 OS << "extern const char " << TargetName << "InstrNameData[];\n";
Evan Cheng4db3cff2011-07-01 17:57:27 +0000423 OS << ClassName << "::" << ClassName << "(int SO, int DO)\n"
Jakob Stoklund Olesena9fa4fd2012-11-28 02:35:17 +0000424 << " : TargetInstrInfo(SO, DO) {\n"
Evan Cheng4db3cff2011-07-01 17:57:27 +0000425 << " InitMCInstrInfo(" << TargetName << "Insts, "
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000426 << TargetName << "InstrNameIndices, " << TargetName << "InstrNameData, "
Evan Cheng4db3cff2011-07-01 17:57:27 +0000427 << NumberedInstructions.size() << ");\n}\n";
428 OS << "} // End llvm namespace \n";
429
430 OS << "#endif // GET_INSTRINFO_CTOR\n\n";
Tom Stellard898b9f02013-06-25 21:22:09 +0000431
432 emitOperandNameMappings(OS, Target, NumberedInstructions);
Chris Lattnera3ae6142003-08-03 21:57:51 +0000433}
434
Chris Lattnerec352402004-08-01 05:04:00 +0000435void InstrInfoEmitter::emitRecord(const CodeGenInstruction &Inst, unsigned Num,
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000436 Record *InstrInfo,
Chris Lattner366080c2005-10-28 22:59:53 +0000437 std::map<std::vector<Record*>, unsigned> &EmittedLists,
Chris Lattneref8339b2008-01-06 01:20:13 +0000438 const OperandInfoMapTy &OpInfo,
Daniel Dunbar1a551802009-07-03 00:10:29 +0000439 raw_ostream &OS) {
Chris Lattnera529a372008-01-06 01:53:37 +0000440 int MinOperands = 0;
Richard Trieu56289202012-10-12 17:57:35 +0000441 if (!Inst.Operands.empty())
Chris Lattnerd98958f2005-08-19 00:59:49 +0000442 // Each logical operand can be multiple MI operands.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000443 MinOperands = Inst.Operands.back().MIOperandNo +
444 Inst.Operands.back().MINumOperands;
Dan Gohmand35121a2008-05-29 19:57:41 +0000445
Evan Chengfb1aab02006-11-17 01:46:27 +0000446 OS << " { ";
Evan Chengb5910822007-08-02 00:20:17 +0000447 OS << Num << ",\t" << MinOperands << ",\t"
Owen Anderson16884412011-07-13 23:22:26 +0000448 << Inst.Operands.NumDefs << ",\t"
Andrew Tricke3dbc982012-09-18 03:55:55 +0000449 << SchedModels.getSchedClassIdx(Inst) << ",\t"
Benjamin Kramer133f9d92012-02-09 11:25:09 +0000450 << Inst.TheDef->getValueAsInt("Size") << ",\t0";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000451
452 // Emit all of the target indepedent flags...
Jakob Stoklund Olesenc291e2f2011-09-25 19:21:35 +0000453 if (Inst.isPseudo) OS << "|(1<<MCID::Pseudo)";
Evan Chenge837dea2011-06-28 19:10:37 +0000454 if (Inst.isReturn) OS << "|(1<<MCID::Return)";
455 if (Inst.isBranch) OS << "|(1<<MCID::Branch)";
456 if (Inst.isIndirectBranch) OS << "|(1<<MCID::IndirectBranch)";
457 if (Inst.isCompare) OS << "|(1<<MCID::Compare)";
458 if (Inst.isMoveImm) OS << "|(1<<MCID::MoveImm)";
459 if (Inst.isBitcast) OS << "|(1<<MCID::Bitcast)";
Jakob Stoklund Olesenf2c64ef2012-08-16 23:11:47 +0000460 if (Inst.isSelect) OS << "|(1<<MCID::Select)";
Evan Chenge837dea2011-06-28 19:10:37 +0000461 if (Inst.isBarrier) OS << "|(1<<MCID::Barrier)";
462 if (Inst.hasDelaySlot) OS << "|(1<<MCID::DelaySlot)";
463 if (Inst.isCall) OS << "|(1<<MCID::Call)";
464 if (Inst.canFoldAsLoad) OS << "|(1<<MCID::FoldableAsLoad)";
465 if (Inst.mayLoad) OS << "|(1<<MCID::MayLoad)";
466 if (Inst.mayStore) OS << "|(1<<MCID::MayStore)";
467 if (Inst.isPredicable) OS << "|(1<<MCID::Predicable)";
468 if (Inst.isConvertibleToThreeAddress) OS << "|(1<<MCID::ConvertibleTo3Addr)";
469 if (Inst.isCommutable) OS << "|(1<<MCID::Commutable)";
470 if (Inst.isTerminator) OS << "|(1<<MCID::Terminator)";
471 if (Inst.isReMaterializable) OS << "|(1<<MCID::Rematerializable)";
472 if (Inst.isNotDuplicable) OS << "|(1<<MCID::NotDuplicable)";
473 if (Inst.Operands.hasOptionalDef) OS << "|(1<<MCID::HasOptionalDef)";
474 if (Inst.usesCustomInserter) OS << "|(1<<MCID::UsesCustomInserter)";
Andrew Trick83a80312011-09-20 18:22:31 +0000475 if (Inst.hasPostISelHook) OS << "|(1<<MCID::HasPostISelHook)";
Evan Chenge837dea2011-06-28 19:10:37 +0000476 if (Inst.Operands.isVariadic)OS << "|(1<<MCID::Variadic)";
477 if (Inst.hasSideEffects) OS << "|(1<<MCID::UnmodeledSideEffects)";
478 if (Inst.isAsCheapAsAMove) OS << "|(1<<MCID::CheapAsAMove)";
479 if (Inst.hasExtraSrcRegAllocReq) OS << "|(1<<MCID::ExtraSrcRegAllocReq)";
480 if (Inst.hasExtraDefRegAllocReq) OS << "|(1<<MCID::ExtraDefRegAllocReq)";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000481
482 // Emit all of the target-specific flags...
David Greene05bce0b2011-07-29 22:43:06 +0000483 BitsInit *TSF = Inst.TheDef->getValueAsBitsInit("TSFlags");
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000484 if (!TSF)
485 PrintFatalError("no TSFlags?");
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000486 uint64_t Value = 0;
487 for (unsigned i = 0, e = TSF->getNumBits(); i != e; ++i) {
Sean Silva6cfc8062012-10-10 20:24:43 +0000488 if (BitInit *Bit = dyn_cast<BitInit>(TSF->getBit(i)))
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000489 Value |= uint64_t(Bit->getValue()) << i;
490 else
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000491 PrintFatalError("Invalid TSFlags bit in " + Inst.TheDef->getName());
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000492 }
493 OS << ", 0x";
494 OS.write_hex(Value);
Eric Christopher622dffd2010-06-09 16:16:48 +0000495 OS << "ULL, ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000496
497 // Emit the implicit uses and defs lists...
Chris Lattner366080c2005-10-28 22:59:53 +0000498 std::vector<Record*> UseList = Inst.TheDef->getValueAsListOfDefs("Uses");
499 if (UseList.empty())
Jim Laskeycd4317e2006-07-21 21:15:20 +0000500 OS << "NULL, ";
Misha Brukman3da94ae2005-04-22 00:00:37 +0000501 else
Chris Lattner366080c2005-10-28 22:59:53 +0000502 OS << "ImplicitList" << EmittedLists[UseList] << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000503
Chris Lattner366080c2005-10-28 22:59:53 +0000504 std::vector<Record*> DefList = Inst.TheDef->getValueAsListOfDefs("Defs");
505 if (DefList.empty())
Jim Laskeycd4317e2006-07-21 21:15:20 +0000506 OS << "NULL, ";
Misha Brukman3da94ae2005-04-22 00:00:37 +0000507 else
Chris Lattner366080c2005-10-28 22:59:53 +0000508 OS << "ImplicitList" << EmittedLists[DefList] << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000509
Chris Lattner0e384b62005-08-19 16:57:28 +0000510 // Emit the operand info.
Chris Lattnera0cca4a2006-11-06 23:49:51 +0000511 std::vector<std::string> OperandInfo = GetOperandInfo(Inst);
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000512 if (OperandInfo.empty())
513 OS << "0";
Chris Lattner0e384b62005-08-19 16:57:28 +0000514 else
Chris Lattneref8339b2008-01-06 01:20:13 +0000515 OS << "OperandInfo" << OpInfo.find(OperandInfo)->second;
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000516
Chris Lattnerec352402004-08-01 05:04:00 +0000517 OS << " }, // Inst #" << Num << " = " << Inst.TheDef->getName() << "\n";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000518}
Evan Cheng22fee2d2011-06-28 20:07:07 +0000519
520// emitEnums - Print out enum values for all of the instructions.
521void InstrInfoEmitter::emitEnums(raw_ostream &OS) {
Evan Cheng22fee2d2011-06-28 20:07:07 +0000522
523 OS << "\n#ifdef GET_INSTRINFO_ENUM\n";
524 OS << "#undef GET_INSTRINFO_ENUM\n";
525
526 OS << "namespace llvm {\n\n";
527
528 CodeGenTarget Target(Records);
529
530 // We must emit the PHI opcode first...
531 std::string Namespace = Target.getInstNamespace();
Jim Grosbachbf1aab12012-04-11 21:02:30 +0000532
Evan Cheng22fee2d2011-06-28 20:07:07 +0000533 if (Namespace.empty()) {
534 fprintf(stderr, "No instructions defined!\n");
535 exit(1);
536 }
537
538 const std::vector<const CodeGenInstruction*> &NumberedInstructions =
539 Target.getInstructionsByEnumValue();
540
541 OS << "namespace " << Namespace << " {\n";
542 OS << " enum {\n";
543 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
544 OS << " " << NumberedInstructions[i]->TheDef->getName()
545 << "\t= " << i << ",\n";
546 }
547 OS << " INSTRUCTION_LIST_END = " << NumberedInstructions.size() << "\n";
Vincent Lejeuned8f2eb32013-09-03 19:43:28 +0000548 OS << " };\n";
549 OS << "namespace Sched {\n";
550 OS << " enum {\n";
551 for (unsigned i = 0, e = SchedModels.numInstrSchedClasses(); i != e; ++i) {
552 OS << " " << SchedModels.getSchedClass(i).Name
553 << "\t= " << i << ",\n";
554 }
555 OS << " SCHED_LIST_END = " << SchedModels.numInstrSchedClasses() << "\n";
556 OS << " };\n}\n}\n";
Evan Cheng22fee2d2011-06-28 20:07:07 +0000557 OS << "} // End llvm namespace \n";
558
559 OS << "#endif // GET_INSTRINFO_ENUM\n\n";
560}
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000561
562namespace llvm {
563
564void EmitInstrInfo(RecordKeeper &RK, raw_ostream &OS) {
565 InstrInfoEmitter(RK).run(OS);
Sebastian Popbecdf4d2012-10-25 15:54:06 +0000566 EmitMapTable(RK, OS);
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000567}
568
569} // End llvm namespace