blob: 22c100451e43d0fbc7b4473669226eb604dd29e1 [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
15#include "InstrInfoEmitter.h"
Chris Lattner803a5f62004-08-01 04:04:35 +000016#include "CodeGenTarget.h"
Chris Lattner33ccf7e2003-08-03 17:24:10 +000017#include "Record.h"
Chris Lattner23132b12009-08-24 03:52:50 +000018#include "llvm/ADT/StringExtras.h"
Jeff Cohencb366d92005-11-01 18:04:06 +000019#include <algorithm>
Chris Lattner2082ebe2004-08-01 03:55:39 +000020using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000021
Chris Lattner5fbe2752008-01-06 01:21:51 +000022static void PrintDefList(const std::vector<Record*> &Uses,
Daniel Dunbar1a551802009-07-03 00:10:29 +000023 unsigned Num, raw_ostream &OS) {
Chris Lattnera3ac88d2005-08-18 21:36:47 +000024 OS << "static const unsigned ImplicitList" << Num << "[] = { ";
25 for (unsigned i = 0, e = Uses.size(); i != e; ++i)
26 OS << getQualifiedName(Uses[i]) << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +000027 OS << "0 };\n";
28}
29
Chris Lattneref8339b2008-01-06 01:20:13 +000030//===----------------------------------------------------------------------===//
31// Instruction Itinerary Information.
32//===----------------------------------------------------------------------===//
33
Chris Lattneref8339b2008-01-06 01:20:13 +000034void InstrInfoEmitter::GatherItinClasses() {
35 std::vector<Record*> DefList =
36 Records.getAllDerivedDefinitions("InstrItinClass");
Chris Lattnere14d2e22010-03-19 01:07:44 +000037 std::sort(DefList.begin(), DefList.end(), LessRecord());
Owen Andersonbea6f612011-06-27 21:06:21 +000038
Chris Lattneref8339b2008-01-06 01:20:13 +000039 for (unsigned i = 0, N = DefList.size(); i < N; i++)
40 ItinClassMap[DefList[i]->getName()] = i;
Owen Andersonbea6f612011-06-27 21:06:21 +000041}
Chris Lattneref8339b2008-01-06 01:20:13 +000042
43unsigned InstrInfoEmitter::getItinClassNumber(const Record *InstRec) {
44 return ItinClassMap[InstRec->getValueAsDef("Itinerary")->getName()];
45}
46
47//===----------------------------------------------------------------------===//
48// Operand Info Emission.
49//===----------------------------------------------------------------------===//
50
Chris Lattnera0cca4a2006-11-06 23:49:51 +000051std::vector<std::string>
52InstrInfoEmitter::GetOperandInfo(const CodeGenInstruction &Inst) {
53 std::vector<std::string> Result;
Owen Andersonbea6f612011-06-27 21:06:21 +000054
Chris Lattnerc240bb02010-11-01 04:03:32 +000055 for (unsigned i = 0, e = Inst.Operands.size(); i != e; ++i) {
Chris Lattnerf1968392006-11-10 02:01:40 +000056 // Handle aggregate operands and normal operands the same way by expanding
57 // either case into a list of operands for this op.
Chris Lattnerc240bb02010-11-01 04:03:32 +000058 std::vector<CGIOperandList::OperandInfo> OperandList;
Chris Lattnera0cca4a2006-11-06 23:49:51 +000059
Chris Lattnerf1968392006-11-10 02:01:40 +000060 // This might be a multiple operand thing. Targets like X86 have
61 // registers in their multi-operand operands. It may also be an anonymous
62 // operand, which has a single operand, but no declared class for the
63 // operand.
Chris Lattnerc240bb02010-11-01 04:03:32 +000064 DagInit *MIOI = Inst.Operands[i].MIOperandInfo;
Owen Andersonbea6f612011-06-27 21:06:21 +000065
Chris Lattnerf1968392006-11-10 02:01:40 +000066 if (!MIOI || MIOI->getNumArgs() == 0) {
67 // Single, anonymous, operand.
Chris Lattnerc240bb02010-11-01 04:03:32 +000068 OperandList.push_back(Inst.Operands[i]);
Chris Lattner65303d62005-11-19 07:05:57 +000069 } else {
Chris Lattnerc240bb02010-11-01 04:03:32 +000070 for (unsigned j = 0, e = Inst.Operands[i].MINumOperands; j != e; ++j) {
71 OperandList.push_back(Inst.Operands[i]);
Chris Lattnera0cca4a2006-11-06 23:49:51 +000072
Chris Lattnerf1968392006-11-10 02:01:40 +000073 Record *OpR = dynamic_cast<DefInit*>(MIOI->getArg(j))->getDef();
74 OperandList.back().Rec = OpR;
Chris Lattner65303d62005-11-19 07:05:57 +000075 }
Chris Lattnerd5aa3e22005-08-19 18:46:26 +000076 }
Chris Lattnerf1968392006-11-10 02:01:40 +000077
78 for (unsigned j = 0, e = OperandList.size(); j != e; ++j) {
79 Record *OpR = OperandList[j].Rec;
80 std::string Res;
Owen Andersonbea6f612011-06-27 21:06:21 +000081
82 if (OpR->isSubClassOf("RegisterOperand"))
83 OpR = OpR->getValueAsDef("RegClass");
Chris Lattnerf1968392006-11-10 02:01:40 +000084 if (OpR->isSubClassOf("RegisterClass"))
85 Res += getQualifiedName(OpR) + "RegClassID, ";
Chris Lattnercb778a82009-07-29 21:10:12 +000086 else if (OpR->isSubClassOf("PointerLikeRegClass"))
87 Res += utostr(OpR->getValueAsInt("RegClassKind")) + ", ";
Chris Lattnerf1968392006-11-10 02:01:40 +000088 else
Dan Gohmana606d952010-06-18 18:13:55 +000089 // -1 means the operand does not have a fixed register class.
90 Res += "-1, ";
Owen Andersonbea6f612011-06-27 21:06:21 +000091
Chris Lattnerf1968392006-11-10 02:01:40 +000092 // Fill in applicable flags.
93 Res += "0";
Owen Andersonbea6f612011-06-27 21:06:21 +000094
Chris Lattnerf1968392006-11-10 02:01:40 +000095 // Ptr value whose register class is resolved via callback.
Chris Lattnera938ac62009-07-29 20:43:05 +000096 if (OpR->isSubClassOf("PointerLikeRegClass"))
Chris Lattner0ff23962008-01-07 06:42:05 +000097 Res += "|(1<<TOI::LookupPtrRegClass)";
Chris Lattnerf1968392006-11-10 02:01:40 +000098
99 // Predicate operands. Check to see if the original unexpanded operand
100 // was of type PredicateOperand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000101 if (Inst.Operands[i].Rec->isSubClassOf("PredicateOperand"))
Chris Lattner0ff23962008-01-07 06:42:05 +0000102 Res += "|(1<<TOI::Predicate)";
Owen Andersonbea6f612011-06-27 21:06:21 +0000103
Evan Cheng88cc0922007-07-10 18:05:01 +0000104 // Optional def operands. Check to see if the original unexpanded operand
105 // was of type OptionalDefOperand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000106 if (Inst.Operands[i].Rec->isSubClassOf("OptionalDefOperand"))
Chris Lattner0ff23962008-01-07 06:42:05 +0000107 Res += "|(1<<TOI::OptionalDef)";
Evan Cheng88cc0922007-07-10 18:05:01 +0000108
Chris Lattnerf1968392006-11-10 02:01:40 +0000109 // Fill in constraint info.
Chris Lattnera7d479c2010-02-10 01:45:28 +0000110 Res += ", ";
Owen Andersonbea6f612011-06-27 21:06:21 +0000111
Chris Lattnerc240bb02010-11-01 04:03:32 +0000112 const CGIOperandList::ConstraintInfo &Constraint =
113 Inst.Operands[i].Constraints[j];
Chris Lattnera7d479c2010-02-10 01:45:28 +0000114 if (Constraint.isNone())
115 Res += "0";
116 else if (Constraint.isEarlyClobber())
117 Res += "(1 << TOI::EARLY_CLOBBER)";
118 else {
119 assert(Constraint.isTied());
120 Res += "((" + utostr(Constraint.getTiedOperand()) +
121 " << 16) | (1 << TOI::TIED_TO))";
122 }
Owen Andersonbea6f612011-06-27 21:06:21 +0000123
Chris Lattnerf1968392006-11-10 02:01:40 +0000124 Result.push_back(Res);
125 }
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000126 }
Evan Chenge2ba8972006-11-01 00:27:05 +0000127
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000128 return Result;
129}
130
Owen Andersonbea6f612011-06-27 21:06:21 +0000131void InstrInfoEmitter::EmitOperandInfo(raw_ostream &OS,
Chris Lattneref8339b2008-01-06 01:20:13 +0000132 OperandInfoMapTy &OperandInfoIDs) {
133 // ID #0 is for no operand info.
134 unsigned OperandListNum = 0;
135 OperandInfoIDs[std::vector<std::string>()] = ++OperandListNum;
Owen Andersonbea6f612011-06-27 21:06:21 +0000136
Chris Lattneref8339b2008-01-06 01:20:13 +0000137 OS << "\n";
138 const CodeGenTarget &Target = CDP.getTargetInfo();
139 for (CodeGenTarget::inst_iterator II = Target.inst_begin(),
140 E = Target.inst_end(); II != E; ++II) {
Chris Lattner6a91b182010-03-19 01:00:55 +0000141 std::vector<std::string> OperandInfo = GetOperandInfo(**II);
Chris Lattneref8339b2008-01-06 01:20:13 +0000142 unsigned &N = OperandInfoIDs[OperandInfo];
143 if (N != 0) continue;
Owen Andersonbea6f612011-06-27 21:06:21 +0000144
Chris Lattneref8339b2008-01-06 01:20:13 +0000145 N = ++OperandListNum;
146 OS << "static const TargetOperandInfo OperandInfo" << N << "[] = { ";
147 for (unsigned i = 0, e = OperandInfo.size(); i != e; ++i)
148 OS << "{ " << OperandInfo[i] << " }, ";
149 OS << "};\n";
150 }
151}
152
153//===----------------------------------------------------------------------===//
154// Main Output.
155//===----------------------------------------------------------------------===//
Chris Lattnera3ae6142003-08-03 21:57:51 +0000156
157// run - Emit the main instruction description records for the target...
Daniel Dunbar1a551802009-07-03 00:10:29 +0000158void InstrInfoEmitter::run(raw_ostream &OS) {
Jim Laskeyb5a0c0e2005-10-31 17:16:46 +0000159 GatherItinClasses();
160
Chris Lattnerbc017232003-08-06 04:32:07 +0000161 EmitSourceFileHeader("Target Instruction Descriptors", OS);
Chris Lattner2c384132004-08-17 03:08:28 +0000162 OS << "namespace llvm {\n\n";
163
Dan Gohmanee4fa192008-04-03 00:02:49 +0000164 CodeGenTarget &Target = CDP.getTargetInfo();
Chris Lattner7884b752003-08-07 05:39:09 +0000165 const std::string &TargetName = Target.getName();
166 Record *InstrInfo = Target.getInstructionSet();
Chris Lattnera3ae6142003-08-03 21:57:51 +0000167
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000168 // Keep track of all of the def lists we have emitted already.
169 std::map<std::vector<Record*>, unsigned> EmittedLists;
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000170 unsigned ListNumber = 0;
Owen Andersonbea6f612011-06-27 21:06:21 +0000171
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000172 // Emit all of the instruction's implicit uses and defs.
Chris Lattnerec352402004-08-01 05:04:00 +0000173 for (CodeGenTarget::inst_iterator II = Target.inst_begin(),
174 E = Target.inst_end(); II != E; ++II) {
Chris Lattner6a91b182010-03-19 01:00:55 +0000175 Record *Inst = (*II)->TheDef;
Chris Lattner366080c2005-10-28 22:59:53 +0000176 std::vector<Record*> Uses = Inst->getValueAsListOfDefs("Uses");
177 if (!Uses.empty()) {
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000178 unsigned &IL = EmittedLists[Uses];
Chris Lattner5fbe2752008-01-06 01:21:51 +0000179 if (!IL) PrintDefList(Uses, IL = ++ListNumber, OS);
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000180 }
Chris Lattner366080c2005-10-28 22:59:53 +0000181 std::vector<Record*> Defs = Inst->getValueAsListOfDefs("Defs");
182 if (!Defs.empty()) {
183 unsigned &IL = EmittedLists[Defs];
Chris Lattner5fbe2752008-01-06 01:21:51 +0000184 if (!IL) PrintDefList(Defs, IL = ++ListNumber, OS);
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000185 }
Chris Lattnera3ae6142003-08-03 21:57:51 +0000186 }
187
Chris Lattneref8339b2008-01-06 01:20:13 +0000188 OperandInfoMapTy OperandInfoIDs;
Owen Andersonbea6f612011-06-27 21:06:21 +0000189
Chris Lattner0e384b62005-08-19 16:57:28 +0000190 // Emit all of the operand info records.
Chris Lattneref8339b2008-01-06 01:20:13 +0000191 EmitOperandInfo(OS, OperandInfoIDs);
Owen Andersonbea6f612011-06-27 21:06:21 +0000192
Chris Lattner749c6f62008-01-07 07:27:27 +0000193 // Emit all of the TargetInstrDesc records in their ENUM ordering.
Chris Lattner0e384b62005-08-19 16:57:28 +0000194 //
Chris Lattner749c6f62008-01-07 07:27:27 +0000195 OS << "\nstatic const TargetInstrDesc " << TargetName
Chris Lattnera3ae6142003-08-03 21:57:51 +0000196 << "Insts[] = {\n";
Chris Lattnerf6502782010-03-19 00:34:35 +0000197 const std::vector<const CodeGenInstruction*> &NumberedInstructions =
198 Target.getInstructionsByEnumValue();
Chris Lattnera3ae6142003-08-03 21:57:51 +0000199
Chris Lattnerf52e2612006-01-27 01:44:09 +0000200 for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i)
201 emitRecord(*NumberedInstructions[i], i, InstrInfo, EmittedLists,
Evan Cheng4db37482011-06-27 23:47:21 +0000202 OperandInfoIDs, OS);
Chris Lattnera3ae6142003-08-03 21:57:51 +0000203 OS << "};\n";
Chris Lattner2c384132004-08-17 03:08:28 +0000204 OS << "} // End llvm namespace \n";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000205}
206
Chris Lattnerec352402004-08-01 05:04:00 +0000207void InstrInfoEmitter::emitRecord(const CodeGenInstruction &Inst, unsigned Num,
Chris Lattnera3ac88d2005-08-18 21:36:47 +0000208 Record *InstrInfo,
Chris Lattner366080c2005-10-28 22:59:53 +0000209 std::map<std::vector<Record*>, unsigned> &EmittedLists,
Chris Lattneref8339b2008-01-06 01:20:13 +0000210 const OperandInfoMapTy &OpInfo,
Daniel Dunbar1a551802009-07-03 00:10:29 +0000211 raw_ostream &OS) {
Chris Lattnera529a372008-01-06 01:53:37 +0000212 int MinOperands = 0;
Chris Lattnerc240bb02010-11-01 04:03:32 +0000213 if (!Inst.Operands.size() == 0)
Chris Lattnerd98958f2005-08-19 00:59:49 +0000214 // Each logical operand can be multiple MI operands.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000215 MinOperands = Inst.Operands.back().MIOperandNo +
216 Inst.Operands.back().MINumOperands;
Dan Gohmand35121a2008-05-29 19:57:41 +0000217
Evan Chengfb1aab02006-11-17 01:46:27 +0000218 OS << " { ";
Evan Chengb5910822007-08-02 00:20:17 +0000219 OS << Num << ",\t" << MinOperands << ",\t"
Chris Lattnerc240bb02010-11-01 04:03:32 +0000220 << Inst.Operands.NumDefs << ",\t" << getItinClassNumber(Inst.TheDef)
Chris Lattner47641892008-01-07 05:06:49 +0000221 << ",\t\"" << Inst.TheDef->getName() << "\", 0";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000222
223 // Emit all of the target indepedent flags...
Bill Wendling8370d382008-05-28 22:54:52 +0000224 if (Inst.isReturn) OS << "|(1<<TID::Return)";
225 if (Inst.isBranch) OS << "|(1<<TID::Branch)";
226 if (Inst.isIndirectBranch) OS << "|(1<<TID::IndirectBranch)";
Bill Wendling73739d02010-08-08 01:49:35 +0000227 if (Inst.isCompare) OS << "|(1<<TID::Compare)";
Evan Chengc4af4632010-11-17 20:13:28 +0000228 if (Inst.isMoveImm) OS << "|(1<<TID::MoveImm)";
Evan Cheng0f040a22011-03-15 05:09:26 +0000229 if (Inst.isBitcast) OS << "|(1<<TID::Bitcast)";
Bill Wendling8370d382008-05-28 22:54:52 +0000230 if (Inst.isBarrier) OS << "|(1<<TID::Barrier)";
231 if (Inst.hasDelaySlot) OS << "|(1<<TID::DelaySlot)";
232 if (Inst.isCall) OS << "|(1<<TID::Call)";
Dan Gohman15511cf2008-12-03 18:15:48 +0000233 if (Inst.canFoldAsLoad) OS << "|(1<<TID::FoldableAsLoad)";
Bill Wendling8370d382008-05-28 22:54:52 +0000234 if (Inst.mayLoad) OS << "|(1<<TID::MayLoad)";
235 if (Inst.mayStore) OS << "|(1<<TID::MayStore)";
236 if (Inst.isPredicable) OS << "|(1<<TID::Predicable)";
Chris Lattner0ff23962008-01-07 06:42:05 +0000237 if (Inst.isConvertibleToThreeAddress) OS << "|(1<<TID::ConvertibleTo3Addr)";
Bill Wendling8370d382008-05-28 22:54:52 +0000238 if (Inst.isCommutable) OS << "|(1<<TID::Commutable)";
239 if (Inst.isTerminator) OS << "|(1<<TID::Terminator)";
Chris Lattner0ff23962008-01-07 06:42:05 +0000240 if (Inst.isReMaterializable) OS << "|(1<<TID::Rematerializable)";
241 if (Inst.isNotDuplicable) OS << "|(1<<TID::NotDuplicable)";
Chris Lattnerc240bb02010-11-01 04:03:32 +0000242 if (Inst.Operands.hasOptionalDef) OS << "|(1<<TID::HasOptionalDef)";
Dan Gohman533297b2009-10-29 18:10:34 +0000243 if (Inst.usesCustomInserter) OS << "|(1<<TID::UsesCustomInserter)";
Chris Lattnerc240bb02010-11-01 04:03:32 +0000244 if (Inst.Operands.isVariadic)OS << "|(1<<TID::Variadic)";
Bill Wendling8370d382008-05-28 22:54:52 +0000245 if (Inst.hasSideEffects) OS << "|(1<<TID::UnmodeledSideEffects)";
246 if (Inst.isAsCheapAsAMove) OS << "|(1<<TID::CheapAsAMove)";
Evan Cheng799d6972009-10-01 08:21:18 +0000247 if (Inst.hasExtraSrcRegAllocReq) OS << "|(1<<TID::ExtraSrcRegAllocReq)";
248 if (Inst.hasExtraDefRegAllocReq) OS << "|(1<<TID::ExtraDefRegAllocReq)";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000249
250 // Emit all of the target-specific flags...
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000251 BitsInit *TSF = Inst.TheDef->getValueAsBitsInit("TSFlags");
252 if (!TSF) throw "no TSFlags?";
253 uint64_t Value = 0;
254 for (unsigned i = 0, e = TSF->getNumBits(); i != e; ++i) {
255 if (BitInit *Bit = dynamic_cast<BitInit*>(TSF->getBit(i)))
256 Value |= uint64_t(Bit->getValue()) << i;
257 else
258 throw "Invalid TSFlags bit in " + Inst.TheDef->getName();
259 }
260 OS << ", 0x";
261 OS.write_hex(Value);
Eric Christopher622dffd2010-06-09 16:16:48 +0000262 OS << "ULL, ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000263
264 // Emit the implicit uses and defs lists...
Chris Lattner366080c2005-10-28 22:59:53 +0000265 std::vector<Record*> UseList = Inst.TheDef->getValueAsListOfDefs("Uses");
266 if (UseList.empty())
Jim Laskeycd4317e2006-07-21 21:15:20 +0000267 OS << "NULL, ";
Misha Brukman3da94ae2005-04-22 00:00:37 +0000268 else
Chris Lattner366080c2005-10-28 22:59:53 +0000269 OS << "ImplicitList" << EmittedLists[UseList] << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000270
Chris Lattner366080c2005-10-28 22:59:53 +0000271 std::vector<Record*> DefList = Inst.TheDef->getValueAsListOfDefs("Defs");
272 if (DefList.empty())
Jim Laskeycd4317e2006-07-21 21:15:20 +0000273 OS << "NULL, ";
Misha Brukman3da94ae2005-04-22 00:00:37 +0000274 else
Chris Lattner366080c2005-10-28 22:59:53 +0000275 OS << "ImplicitList" << EmittedLists[DefList] << ", ";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000276
Chris Lattner0e384b62005-08-19 16:57:28 +0000277 // Emit the operand info.
Chris Lattnera0cca4a2006-11-06 23:49:51 +0000278 std::vector<std::string> OperandInfo = GetOperandInfo(Inst);
Chris Lattnerd5aa3e22005-08-19 18:46:26 +0000279 if (OperandInfo.empty())
280 OS << "0";
Chris Lattner0e384b62005-08-19 16:57:28 +0000281 else
Chris Lattneref8339b2008-01-06 01:20:13 +0000282 OS << "OperandInfo" << OpInfo.find(OperandInfo)->second;
Jakob Stoklund Olesenfddb7662010-04-05 03:10:20 +0000283
Chris Lattnerec352402004-08-01 05:04:00 +0000284 OS << " }, // Inst #" << Num << " = " << Inst.TheDef->getName() << "\n";
Chris Lattnera3ae6142003-08-03 21:57:51 +0000285}