blob: 1df8ae54c7167bef2c968a62a1f6b0d94ed9dcf1 [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
135 // was of type PredicateOperand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000136 if (Inst.Operands[i].Rec->isSubClassOf("PredicateOperand"))
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";
273 OS << " static const int16_t OperandMap []["<< Operands.size() << "] = {\n";
274 for (OpNameMapTy::iterator i = OperandMap.begin(), e = OperandMap.end();
275 i != e; ++i) {
276 const std::map<unsigned, unsigned> &OpList = i->first;
277 OS << "{";
278
279 // Emit a row of the OperandMap table
280 for (unsigned ii = 0, ie = Operands.size(); ii != ie; ++ii)
281 OS << (OpList.count(ii) == 0 ? -1 : (int)OpList.find(ii)->second) << ", ";
282
283 OS << "},\n";
284 }
285 OS << "};\n";
286
287 OS << " switch(Opcode) {\n";
288 unsigned TableIndex = 0;
289 for (OpNameMapTy::iterator i = OperandMap.begin(), e = OperandMap.end();
290 i != e; ++i) {
291 std::vector<std::string> &OpcodeList = i->second;
292
293 for (unsigned ii = 0, ie = OpcodeList.size(); ii != ie; ++ii)
294 OS << " case " << OpcodeList[ii] << ":\n";
295
296 OS << " return OperandMap[" << TableIndex++ << "][NamedIdx];\n";
297 }
298 OS << " default: return -1;\n";
299 OS << " }\n";
300 OS << "}\n";
301 OS << "} // End namespace " << Namespace << "\n";
302 OS << "} // End namespace llvm\n";
303 OS << "#endif //GET_INSTRINFO_NAMED_OPS\n";
304
305}
306
Chris Lattneref8339b2008-01-06 01:20:13 +0000307//===----------------------------------------------------------------------===//
308// Main Output.
309//===----------------------------------------------------------------------===//
Chris Lattnera3ae6142003-08-03 21:57:51 +0000310
311// run - Emit the main instruction description records for the target...
Daniel Dunbar1a551802009-07-03 00:10:29 +0000312void InstrInfoEmitter::run(raw_ostream &OS) {
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000313 emitSourceFileHeader("Target Instruction Enum Values", OS);
Evan Cheng22fee2d2011-06-28 20:07:07 +0000314 emitEnums(OS);
315
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000316 emitSourceFileHeader("Target Instruction Descriptors", OS);
Evan Cheng22fee2d2011-06-28 20:07:07 +0000317
318 OS << "\n#ifdef GET_INSTRINFO_MC_DESC\n";
319 OS << "#undef GET_INSTRINFO_MC_DESC\n";
320
Chris Lattner2c384132004-08-17 03:08:28 +0000321 OS << "namespace llvm {\n\n";
322
Dan Gohmanee4fa192008-04-03 00:02:49 +0000323 CodeGenTarget &Target = CDP.getTargetInfo();
Chris Lattner7884b752003-08-07 05:39:09 +0000324 const std::string &TargetName = Target.getName();
325 Record *InstrInfo = Target.getInstructionSet();
Chris Lattnera3ae6142003-08-03 21:57:51 +0000326
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000327 // Keep track of all of the def lists we have emitted already.
328 std::map<std::vector<Record*>, unsigned> EmittedLists;
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000329 unsigned ListNumber = 0;
Owen Andersonbea6f612011-06-27 21:06:21 +0000330
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000331 // Emit all of the instruction's implicit uses and defs.
Chris Lattnerec352402004-08-01 05:04:00 +0000332 for (CodeGenTarget::inst_iterator II = Target.inst_begin(),
333 E = Target.inst_end(); II != E; ++II) {
Chris Lattner6a91b182010-03-19 01:00:55 +0000334 Record *Inst = (*II)->TheDef;
Chris Lattner366080c2005-10-28 22:59:53 +0000335 std::vector<Record*> Uses = Inst->getValueAsListOfDefs("Uses");
336 if (!Uses.empty()) {
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000337 unsigned &IL = EmittedLists[Uses];
Chris Lattner5fbe2752008-01-06 01:21:51 +0000338 if (!IL) PrintDefList(Uses, IL = ++ListNumber, OS);
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000339 }
Chris Lattner366080c2005-10-28 22:59:53 +0000340 std::vector<Record*> Defs = Inst->getValueAsListOfDefs("Defs");
341 if (!Defs.empty()) {
342 unsigned &IL = EmittedLists[Defs];
Chris Lattner5fbe2752008-01-06 01:21:51 +0000343 if (!IL) PrintDefList(Defs, IL = ++ListNumber, OS);
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000344 }
Chris Lattnera3ae6142003-08-03 21:57:51 +0000345 }
346
Chris Lattneref8339b2008-01-06 01:20:13 +0000347 OperandInfoMapTy OperandInfoIDs;
Owen Andersonbea6f612011-06-27 21:06:21 +0000348
Chris Lattner0e384b62005-08-19 16:57:28 +0000349 // Emit all of the operand info records.
Chris Lattneref8339b2008-01-06 01:20:13 +0000350 EmitOperandInfo(OS, OperandInfoIDs);
Owen Andersonbea6f612011-06-27 21:06:21 +0000351
Evan Chenge837dea2011-06-28 19:10:37 +0000352 // Emit all of the MCInstrDesc records in their ENUM ordering.
Chris Lattner0e384b62005-08-19 16:57:28 +0000353 //
Benjamin Kramer1a2f9882011-10-22 16:50:00 +0000354 OS << "\nextern const MCInstrDesc " << TargetName << "Insts[] = {\n";
Chris Lattnerf6502782010-03-19 00:34:35 +0000355 const std::vector<const CodeGenInstruction*> &NumberedInstructions =
356 Target.getInstructionsByEnumValue();
Chris Lattnera3ae6142003-08-03 21:57:51 +0000357
Chris Lattnerf52e2612006-01-27 01:44:09 +0000358 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i)
359 emitRecord(*NumberedInstructions[i], i, InstrInfo, EmittedLists,
Evan Cheng4db37482011-06-27 23:47:21 +0000360 OperandInfoIDs, OS);
Evan Cheng94b01f62011-06-28 20:29:03 +0000361 OS << "};\n\n";
362
Craig Topper413b2e72012-04-01 18:14:14 +0000363 // Build an array of instruction names
364 SequenceToOffsetTable<std::string> InstrNames;
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000365 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
366 const CodeGenInstruction *Instr = NumberedInstructions[i];
Craig Topper413b2e72012-04-01 18:14:14 +0000367 InstrNames.add(Instr->TheDef->getName());
368 }
369
370 InstrNames.layout();
371 OS << "extern const char " << TargetName << "InstrNameData[] = {\n";
372 InstrNames.emit(OS, printChar);
373 OS << "};\n\n";
374
375 OS << "extern const unsigned " << TargetName <<"InstrNameIndices[] = {";
376 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000377 if (i % 8 == 0)
378 OS << "\n ";
Craig Topper413b2e72012-04-01 18:14:14 +0000379 const CodeGenInstruction *Instr = NumberedInstructions[i];
380 OS << InstrNames.get(Instr->TheDef->getName()) << "U, ";
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000381 }
382
383 OS << "\n};\n\n";
384
Evan Cheng94b01f62011-06-28 20:29:03 +0000385 // MCInstrInfo initialization routine.
386 OS << "static inline void Init" << TargetName
387 << "MCInstrInfo(MCInstrInfo *II) {\n";
388 OS << " II->InitMCInstrInfo(" << TargetName << "Insts, "
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000389 << TargetName << "InstrNameIndices, " << TargetName << "InstrNameData, "
Evan Cheng94b01f62011-06-28 20:29:03 +0000390 << NumberedInstructions.size() << ");\n}\n\n";
391
Chris Lattner2c384132004-08-17 03:08:28 +0000392 OS << "} // End llvm namespace \n";
Evan Cheng22fee2d2011-06-28 20:07:07 +0000393
394 OS << "#endif // GET_INSTRINFO_MC_DESC\n\n";
Evan Cheng4db3cff2011-07-01 17:57:27 +0000395
396 // Create a TargetInstrInfo subclass to hide the MC layer initialization.
397 OS << "\n#ifdef GET_INSTRINFO_HEADER\n";
398 OS << "#undef GET_INSTRINFO_HEADER\n";
399
400 std::string ClassName = TargetName + "GenInstrInfo";
Evan Cheng94214702011-07-01 20:45:01 +0000401 OS << "namespace llvm {\n";
Jakob Stoklund Olesena9fa4fd2012-11-28 02:35:17 +0000402 OS << "struct " << ClassName << " : public TargetInstrInfo {\n"
Evan Cheng4db3cff2011-07-01 17:57:27 +0000403 << " explicit " << ClassName << "(int SO = -1, int DO = -1);\n"
404 << "};\n";
405 OS << "} // End llvm namespace \n";
406
407 OS << "#endif // GET_INSTRINFO_HEADER\n\n";
408
409 OS << "\n#ifdef GET_INSTRINFO_CTOR\n";
410 OS << "#undef GET_INSTRINFO_CTOR\n";
411
Evan Cheng94214702011-07-01 20:45:01 +0000412 OS << "namespace llvm {\n";
Benjamin Kramer1a2f9882011-10-22 16:50:00 +0000413 OS << "extern const MCInstrDesc " << TargetName << "Insts[];\n";
Jakob Stoklund Olesenbcfa9822012-03-15 18:05:57 +0000414 OS << "extern const unsigned " << TargetName << "InstrNameIndices[];\n";
Craig Topper413b2e72012-04-01 18:14:14 +0000415 OS << "extern const char " << TargetName << "InstrNameData[];\n";
Evan Cheng4db3cff2011-07-01 17:57:27 +0000416 OS << ClassName << "::" << ClassName << "(int SO, int DO)\n"
Jakob Stoklund Olesena9fa4fd2012-11-28 02:35:17 +0000417 << " : TargetInstrInfo(SO, DO) {\n"
Evan Cheng4db3cff2011-07-01 17:57:27 +0000418 << " InitMCInstrInfo(" << TargetName << "Insts, "
Benjamin Kramerc667ba62012-02-10 13:18:44 +0000419 << TargetName << "InstrNameIndices, " << TargetName << "InstrNameData, "
Evan Cheng4db3cff2011-07-01 17:57:27 +0000420 << NumberedInstructions.size() << ");\n}\n";
421 OS << "} // End llvm namespace \n";
422
423 OS << "#endif // GET_INSTRINFO_CTOR\n\n";
Tom Stellard898b9f02013-06-25 21:22:09 +0000424
425 emitOperandNameMappings(OS, Target, NumberedInstructions);
Chris Lattnera3ae6142003-08-03 21:57:51 +0000426}
427
Chris Lattnerec352402004-08-01 05:04:00 +0000428void InstrInfoEmitter::emitRecord(const CodeGenInstruction &Inst, unsigned Num,
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000429 Record *InstrInfo,
Chris Lattner366080c2005-10-28 22:59:53 +0000430 std::map<std::vector<Record*>, unsigned> &EmittedLists,
Chris Lattneref8339b2008-01-06 01:20:13 +0000431 const OperandInfoMapTy &OpInfo,
Daniel Dunbar1a551802009-07-03 00:10:29 +0000432 raw_ostream &OS) {
Chris Lattnera529a372008-01-06 01:53:37 +0000433 int MinOperands = 0;
Richard Trieu56289202012-10-12 17:57:35 +0000434 if (!Inst.Operands.empty())
Chris Lattnerd98958f2005-08-19 00:59:49 +0000435 // Each logical operand can be multiple MI operands.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000436 MinOperands = Inst.Operands.back().MIOperandNo +
437 Inst.Operands.back().MINumOperands;
Dan Gohmand35121a2008-05-29 19:57:41 +0000438
Evan Chengfb1aab02006-11-17 01:46:27 +0000439 OS << " { ";
Evan Chengb5910822007-08-02 00:20:17 +0000440 OS << Num << ",\t" << MinOperands << ",\t"
Owen Anderson16884412011-07-13 23:22:26 +0000441 << Inst.Operands.NumDefs << ",\t"
Andrew Tricke3dbc982012-09-18 03:55:55 +0000442 << SchedModels.getSchedClassIdx(Inst) << ",\t"
Benjamin Kramer133f9d92012-02-09 11:25:09 +0000443 << Inst.TheDef->getValueAsInt("Size") << ",\t0";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000444
445 // Emit all of the target indepedent flags...
Jakob Stoklund Olesenc291e2f2011-09-25 19:21:35 +0000446 if (Inst.isPseudo) OS << "|(1<<MCID::Pseudo)";
Evan Chenge837dea2011-06-28 19:10:37 +0000447 if (Inst.isReturn) OS << "|(1<<MCID::Return)";
448 if (Inst.isBranch) OS << "|(1<<MCID::Branch)";
449 if (Inst.isIndirectBranch) OS << "|(1<<MCID::IndirectBranch)";
450 if (Inst.isCompare) OS << "|(1<<MCID::Compare)";
451 if (Inst.isMoveImm) OS << "|(1<<MCID::MoveImm)";
452 if (Inst.isBitcast) OS << "|(1<<MCID::Bitcast)";
Jakob Stoklund Olesenf2c64ef2012-08-16 23:11:47 +0000453 if (Inst.isSelect) OS << "|(1<<MCID::Select)";
Evan Chenge837dea2011-06-28 19:10:37 +0000454 if (Inst.isBarrier) OS << "|(1<<MCID::Barrier)";
455 if (Inst.hasDelaySlot) OS << "|(1<<MCID::DelaySlot)";
456 if (Inst.isCall) OS << "|(1<<MCID::Call)";
457 if (Inst.canFoldAsLoad) OS << "|(1<<MCID::FoldableAsLoad)";
458 if (Inst.mayLoad) OS << "|(1<<MCID::MayLoad)";
459 if (Inst.mayStore) OS << "|(1<<MCID::MayStore)";
460 if (Inst.isPredicable) OS << "|(1<<MCID::Predicable)";
461 if (Inst.isConvertibleToThreeAddress) OS << "|(1<<MCID::ConvertibleTo3Addr)";
462 if (Inst.isCommutable) OS << "|(1<<MCID::Commutable)";
463 if (Inst.isTerminator) OS << "|(1<<MCID::Terminator)";
464 if (Inst.isReMaterializable) OS << "|(1<<MCID::Rematerializable)";
465 if (Inst.isNotDuplicable) OS << "|(1<<MCID::NotDuplicable)";
466 if (Inst.Operands.hasOptionalDef) OS << "|(1<<MCID::HasOptionalDef)";
467 if (Inst.usesCustomInserter) OS << "|(1<<MCID::UsesCustomInserter)";
Andrew Trick83a80312011-09-20 18:22:31 +0000468 if (Inst.hasPostISelHook) OS << "|(1<<MCID::HasPostISelHook)";
Evan Chenge837dea2011-06-28 19:10:37 +0000469 if (Inst.Operands.isVariadic)OS << "|(1<<MCID::Variadic)";
470 if (Inst.hasSideEffects) OS << "|(1<<MCID::UnmodeledSideEffects)";
471 if (Inst.isAsCheapAsAMove) OS << "|(1<<MCID::CheapAsAMove)";
472 if (Inst.hasExtraSrcRegAllocReq) OS << "|(1<<MCID::ExtraSrcRegAllocReq)";
473 if (Inst.hasExtraDefRegAllocReq) OS << "|(1<<MCID::ExtraDefRegAllocReq)";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000474
475 // Emit all of the target-specific flags...
David Greene05bce0b2011-07-29 22:43:06 +0000476 BitsInit *TSF = Inst.TheDef->getValueAsBitsInit("TSFlags");
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000477 if (!TSF)
478 PrintFatalError("no TSFlags?");
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000479 uint64_t Value = 0;
480 for (unsigned i = 0, e = TSF->getNumBits(); i != e; ++i) {
Sean Silva6cfc8062012-10-10 20:24:43 +0000481 if (BitInit *Bit = dyn_cast<BitInit>(TSF->getBit(i)))
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000482 Value |= uint64_t(Bit->getValue()) << i;
483 else
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000484 PrintFatalError("Invalid TSFlags bit in " + Inst.TheDef->getName());
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000485 }
486 OS << ", 0x";
487 OS.write_hex(Value);
Eric Christopher622dffd2010-06-09 16:16:48 +0000488 OS << "ULL, ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000489
490 // Emit the implicit uses and defs lists...
Chris Lattner366080c2005-10-28 22:59:53 +0000491 std::vector<Record*> UseList = Inst.TheDef->getValueAsListOfDefs("Uses");
492 if (UseList.empty())
Jim Laskeycd4317e2006-07-21 21:15:20 +0000493 OS << "NULL, ";
Misha Brukman3da94ae2005-04-22 00:00:37 +0000494 else
Chris Lattner366080c2005-10-28 22:59:53 +0000495 OS << "ImplicitList" << EmittedLists[UseList] << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000496
Chris Lattner366080c2005-10-28 22:59:53 +0000497 std::vector<Record*> DefList = Inst.TheDef->getValueAsListOfDefs("Defs");
498 if (DefList.empty())
Jim Laskeycd4317e2006-07-21 21:15:20 +0000499 OS << "NULL, ";
Misha Brukman3da94ae2005-04-22 00:00:37 +0000500 else
Chris Lattner366080c2005-10-28 22:59:53 +0000501 OS << "ImplicitList" << EmittedLists[DefList] << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000502
Chris Lattner0e384b62005-08-19 16:57:28 +0000503 // Emit the operand info.
Chris Lattnera0cca4a2006-11-06 23:49:51 +0000504 std::vector<std::string> OperandInfo = GetOperandInfo(Inst);
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000505 if (OperandInfo.empty())
506 OS << "0";
Chris Lattner0e384b62005-08-19 16:57:28 +0000507 else
Chris Lattneref8339b2008-01-06 01:20:13 +0000508 OS << "OperandInfo" << OpInfo.find(OperandInfo)->second;
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000509
Chris Lattnerec352402004-08-01 05:04:00 +0000510 OS << " }, // Inst #" << Num << " = " << Inst.TheDef->getName() << "\n";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000511}
Evan Cheng22fee2d2011-06-28 20:07:07 +0000512
513// emitEnums - Print out enum values for all of the instructions.
514void InstrInfoEmitter::emitEnums(raw_ostream &OS) {
Evan Cheng22fee2d2011-06-28 20:07:07 +0000515
516 OS << "\n#ifdef GET_INSTRINFO_ENUM\n";
517 OS << "#undef GET_INSTRINFO_ENUM\n";
518
519 OS << "namespace llvm {\n\n";
520
521 CodeGenTarget Target(Records);
522
523 // We must emit the PHI opcode first...
524 std::string Namespace = Target.getInstNamespace();
Jim Grosbachbf1aab12012-04-11 21:02:30 +0000525
Evan Cheng22fee2d2011-06-28 20:07:07 +0000526 if (Namespace.empty()) {
527 fprintf(stderr, "No instructions defined!\n");
528 exit(1);
529 }
530
531 const std::vector<const CodeGenInstruction*> &NumberedInstructions =
532 Target.getInstructionsByEnumValue();
533
534 OS << "namespace " << Namespace << " {\n";
535 OS << " enum {\n";
536 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) {
537 OS << " " << NumberedInstructions[i]->TheDef->getName()
538 << "\t= " << i << ",\n";
539 }
540 OS << " INSTRUCTION_LIST_END = " << NumberedInstructions.size() << "\n";
541 OS << " };\n}\n";
542 OS << "} // End llvm namespace \n";
543
544 OS << "#endif // GET_INSTRINFO_ENUM\n\n";
545}
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000546
547namespace llvm {
548
549void EmitInstrInfo(RecordKeeper &RK, raw_ostream &OS) {
550 InstrInfoEmitter(RK).run(OS);
Sebastian Popbecdf4d2012-10-25 15:54:06 +0000551 EmitMapTable(RK, OS);
Jakob Stoklund Olesen6f36fa92012-06-11 15:37:55 +0000552}
553
554} // End llvm namespace