blob: dfb17f3ae42c1b4896cd557a2af20e006b8c58a3 [file] [log] [blame]
Chris Lattner54cb8fd2005-09-07 23:44:43 +00001//===- DAGISelEmitter.cpp - Generate an instruction selector --------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by Chris Lattner and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This tablegen backend emits a DAG instruction selector.
11//
12//===----------------------------------------------------------------------===//
13
14#include "DAGISelEmitter.h"
15#include "Record.h"
16#include "llvm/ADT/StringExtras.h"
17#include "llvm/Support/Debug.h"
18#include <set>
19using namespace llvm;
20
Chris Lattnerca559d02005-09-08 21:03:01 +000021//===----------------------------------------------------------------------===//
Chris Lattner33c92e92005-09-08 21:27:15 +000022// SDTypeConstraint implementation
23//
24
25SDTypeConstraint::SDTypeConstraint(Record *R) {
26 OperandNo = R->getValueAsInt("OperandNum");
27
28 if (R->isSubClassOf("SDTCisVT")) {
29 ConstraintType = SDTCisVT;
30 x.SDTCisVT_Info.VT = getValueType(R->getValueAsDef("VT"));
31 } else if (R->isSubClassOf("SDTCisInt")) {
32 ConstraintType = SDTCisInt;
33 } else if (R->isSubClassOf("SDTCisFP")) {
34 ConstraintType = SDTCisFP;
35 } else if (R->isSubClassOf("SDTCisSameAs")) {
36 ConstraintType = SDTCisSameAs;
37 x.SDTCisSameAs_Info.OtherOperandNum = R->getValueAsInt("OtherOperandNum");
38 } else if (R->isSubClassOf("SDTCisVTSmallerThanOp")) {
39 ConstraintType = SDTCisVTSmallerThanOp;
40 x.SDTCisVTSmallerThanOp_Info.OtherOperandNum =
41 R->getValueAsInt("OtherOperandNum");
42 } else {
43 std::cerr << "Unrecognized SDTypeConstraint '" << R->getName() << "'!\n";
44 exit(1);
45 }
46}
47
48//===----------------------------------------------------------------------===//
Chris Lattnerca559d02005-09-08 21:03:01 +000049// SDNodeInfo implementation
50//
51SDNodeInfo::SDNodeInfo(Record *R) : Def(R) {
52 EnumName = R->getValueAsString("Opcode");
53 SDClassName = R->getValueAsString("SDClass");
Chris Lattner33c92e92005-09-08 21:27:15 +000054 Record *TypeProfile = R->getValueAsDef("TypeProfile");
55 NumResults = TypeProfile->getValueAsInt("NumResults");
56 NumOperands = TypeProfile->getValueAsInt("NumOperands");
57
58 // Parse the type constraints.
59 ListInit *Constraints = TypeProfile->getValueAsListInit("Constraints");
60 for (unsigned i = 0, e = Constraints->getSize(); i != e; ++i) {
61 assert(dynamic_cast<DefInit*>(Constraints->getElement(i)) &&
62 "Constraints list should contain constraint definitions!");
63 Record *Constraint =
64 static_cast<DefInit*>(Constraints->getElement(i))->getDef();
65 TypeConstraints.push_back(Constraint);
66 }
Chris Lattnerca559d02005-09-08 21:03:01 +000067}
Chris Lattner54cb8fd2005-09-07 23:44:43 +000068
69//===----------------------------------------------------------------------===//
70// TreePatternNode implementation
71//
72
73TreePatternNode::~TreePatternNode() {
74#if 0 // FIXME: implement refcounted tree nodes!
75 for (unsigned i = 0, e = getNumChildren(); i != e; ++i)
76 delete getChild(i);
77#endif
78}
79
80void TreePatternNode::print(std::ostream &OS) const {
81 if (isLeaf()) {
82 OS << *getLeafValue();
83 } else {
84 OS << "(" << getOperator()->getName();
85 }
86
87 if (getType() == MVT::Other)
88 OS << ":Other";
89 else if (getType() == MVT::LAST_VALUETYPE)
90 ;//OS << ":?";
91 else
92 OS << ":" << getType();
93
94 if (!isLeaf()) {
95 if (getNumChildren() != 0) {
96 OS << " ";
97 getChild(0)->print(OS);
98 for (unsigned i = 1, e = getNumChildren(); i != e; ++i) {
99 OS << ", ";
100 getChild(i)->print(OS);
101 }
102 }
103 OS << ")";
104 }
105
106 if (!PredicateFn.empty())
107 OS << "<<" << PredicateFn << ">>";
108 if (!getName().empty())
109 OS << ":$" << getName();
110
111}
112void TreePatternNode::dump() const {
113 print(std::cerr);
114}
115
116/// clone - Make a copy of this tree and all of its children.
117///
118TreePatternNode *TreePatternNode::clone() const {
119 TreePatternNode *New;
120 if (isLeaf()) {
121 New = new TreePatternNode(getLeafValue());
122 } else {
123 std::vector<TreePatternNode*> CChildren;
124 CChildren.reserve(Children.size());
125 for (unsigned i = 0, e = getNumChildren(); i != e; ++i)
126 CChildren.push_back(getChild(i)->clone());
127 New = new TreePatternNode(getOperator(), CChildren);
128 }
129 New->setName(getName());
130 New->setType(getType());
131 New->setPredicateFn(getPredicateFn());
132 return New;
133}
134
135void TreePatternNode::
136SubstituteFormalArguments(std::map<std::string, TreePatternNode*> &ArgMap) {
137 if (isLeaf()) return;
138
139 for (unsigned i = 0, e = getNumChildren(); i != e; ++i) {
140 TreePatternNode *Child = getChild(i);
141 if (Child->isLeaf()) {
142 Init *Val = Child->getLeafValue();
143 if (dynamic_cast<DefInit*>(Val) &&
144 static_cast<DefInit*>(Val)->getDef()->getName() == "node") {
145 // We found a use of a formal argument, replace it with its value.
146 Child = ArgMap[Child->getName()];
147 assert(Child && "Couldn't find formal argument!");
148 setChild(i, Child);
149 }
150 } else {
151 getChild(i)->SubstituteFormalArguments(ArgMap);
152 }
153 }
154}
155
156
157/// InlinePatternFragments - If this pattern refers to any pattern
158/// fragments, inline them into place, giving us a pattern without any
159/// PatFrag references.
160TreePatternNode *TreePatternNode::InlinePatternFragments(TreePattern &TP) {
161 if (isLeaf()) return this; // nothing to do.
162 Record *Op = getOperator();
163
164 if (!Op->isSubClassOf("PatFrag")) {
165 // Just recursively inline children nodes.
166 for (unsigned i = 0, e = getNumChildren(); i != e; ++i)
167 setChild(i, getChild(i)->InlinePatternFragments(TP));
168 return this;
169 }
170
171 // Otherwise, we found a reference to a fragment. First, look up its
172 // TreePattern record.
173 TreePattern *Frag = TP.getDAGISelEmitter().getPatternFragment(Op);
174
175 // Verify that we are passing the right number of operands.
176 if (Frag->getNumArgs() != Children.size())
177 TP.error("'" + Op->getName() + "' fragment requires " +
178 utostr(Frag->getNumArgs()) + " operands!");
179
180 TreePatternNode *FragTree = Frag->getTrees()[0]->clone();
181
182 // Resolve formal arguments to their actual value.
183 if (Frag->getNumArgs()) {
184 // Compute the map of formal to actual arguments.
185 std::map<std::string, TreePatternNode*> ArgMap;
186 for (unsigned i = 0, e = Frag->getNumArgs(); i != e; ++i)
187 ArgMap[Frag->getArgName(i)] = getChild(i)->InlinePatternFragments(TP);
188
189 FragTree->SubstituteFormalArguments(ArgMap);
190 }
191
Chris Lattnerfbf8e572005-09-08 17:45:12 +0000192 FragTree->setName(getName());
193
Chris Lattner54cb8fd2005-09-07 23:44:43 +0000194 // Get a new copy of this fragment to stitch into here.
195 //delete this; // FIXME: implement refcounting!
196 return FragTree;
197}
198
199//===----------------------------------------------------------------------===//
200// TreePattern implementation
201//
202
203TreePattern::TreePattern(PatternType pty, Record *TheRec,
204 const std::vector<DagInit *> &RawPat,
205 DAGISelEmitter &ise)
206 : PTy(pty), TheRecord(TheRec), ISE(ise) {
207
208 for (unsigned i = 0, e = RawPat.size(); i != e; ++i)
209 Trees.push_back(ParseTreePattern(RawPat[i]));
210
211 // Sanity checks and cleanup.
212 switch (PTy) {
213 case PatFrag: {
214 assert(Trees.size() == 1 && "How can we have more than one pattern here?");
215
216 // Validate arguments list, convert it to map, to discard duplicates.
217 std::set<std::string> OperandsMap(Args.begin(), Args.end());
218
219 if (OperandsMap.count(""))
220 error("Cannot have unnamed 'node' values in pattern fragment!");
221
222 // Parse the operands list.
223 DagInit *OpsList = TheRec->getValueAsDag("Operands");
224 if (OpsList->getNodeType()->getName() != "ops")
225 error("Operands list should start with '(ops ... '!");
226
227 // Copy over the arguments.
228 Args.clear();
229 for (unsigned i = 0, e = OpsList->getNumArgs(); i != e; ++i) {
230 if (!dynamic_cast<DefInit*>(OpsList->getArg(i)) ||
231 static_cast<DefInit*>(OpsList->getArg(i))->
232 getDef()->getName() != "node")
233 error("Operands list should all be 'node' values.");
234 if (OpsList->getArgName(i).empty())
235 error("Operands list should have names for each operand!");
236 if (!OperandsMap.count(OpsList->getArgName(i)))
237 error("'" + OpsList->getArgName(i) +
238 "' does not occur in pattern or was multiply specified!");
239 OperandsMap.erase(OpsList->getArgName(i));
240 Args.push_back(OpsList->getArgName(i));
241 }
242
243 if (!OperandsMap.empty())
244 error("Operands list does not contain an entry for operand '" +
245 *OperandsMap.begin() + "'!");
246
247 break;
248 }
249 default:
250 if (!Args.empty())
251 error("Only pattern fragments can have operands (use 'node' values)!");
252 break;
253 }
254}
255
256void TreePattern::error(const std::string &Msg) const {
257 std::string M = "In ";
258 switch (PTy) {
259 case PatFrag: M += "patfrag "; break;
260 case Instruction: M += "instruction "; break;
261 }
262 throw M + TheRecord->getName() + ": " + Msg;
263}
264
265/// getIntrinsicType - Check to see if the specified record has an intrinsic
266/// type which should be applied to it. This infer the type of register
267/// references from the register file information, for example.
268///
269MVT::ValueType TreePattern::getIntrinsicType(Record *R) const {
270 // Check to see if this is a register or a register class...
271 if (R->isSubClassOf("RegisterClass"))
272 return getValueType(R->getValueAsDef("RegType"));
273 else if (R->isSubClassOf("PatFrag")) {
274 //return ISE.ReadNonterminal(R)->getTree()->getType();
275 return MVT::LAST_VALUETYPE;
276 } else if (R->isSubClassOf("Register")) {
277 assert(0 && "Explicit registers not handled here yet!\n");
278 return MVT::LAST_VALUETYPE;
279 } else if (R->isSubClassOf("ValueType")) {
280 // Using a VTSDNode.
281 return MVT::Other;
282 } else if (R->getName() == "node") {
283 // Placeholder.
284 return MVT::LAST_VALUETYPE;
285 }
286
287 error("Unknown value used: " + R->getName());
288 return MVT::Other;
289}
290
291TreePatternNode *TreePattern::ParseTreePattern(DagInit *Dag) {
292 Record *Operator = Dag->getNodeType();
293
294 if (Operator->isSubClassOf("ValueType")) {
295 // If the operator is a ValueType, then this must be "type cast" of a leaf
296 // node.
297 if (Dag->getNumArgs() != 1)
298 error("Type cast only valid for a leaf node!");
299
300 Init *Arg = Dag->getArg(0);
301 TreePatternNode *New;
302 if (DefInit *DI = dynamic_cast<DefInit*>(Arg)) {
303 New = new TreePatternNode(DI);
304 // If it's a regclass or something else known, set the type.
305 New->setType(getIntrinsicType(DI->getDef()));
306 } else if (DagInit *DI = dynamic_cast<DagInit*>(Arg)) {
307 New = ParseTreePattern(DI);
308 } else {
309 Arg->dump();
310 error("Unknown leaf value for tree pattern!");
311 return 0;
312 }
313
314 // Apply the type cast...
315 assert(0 && "unimp yet");
316 //New->updateNodeType(getValueType(Operator), TheRecord->getName());
317 return New;
318 }
319
320 // Verify that this is something that makes sense for an operator.
321 if (!Operator->isSubClassOf("PatFrag") && !Operator->isSubClassOf("SDNode") &&
322 Operator->getName() != "set")
323 error("Unrecognized node '" + Operator->getName() + "'!");
324
325 std::vector<TreePatternNode*> Children;
326
327 for (unsigned i = 0, e = Dag->getNumArgs(); i != e; ++i) {
328 Init *Arg = Dag->getArg(i);
329 if (DagInit *DI = dynamic_cast<DagInit*>(Arg)) {
330 Children.push_back(ParseTreePattern(DI));
331 Children.back()->setName(Dag->getArgName(i));
332 } else if (DefInit *DefI = dynamic_cast<DefInit*>(Arg)) {
333 Record *R = DefI->getDef();
334 // Direct reference to a leaf DagNode or PatFrag? Turn it into a
335 // TreePatternNode if its own.
336 if (R->isSubClassOf("SDNode") || R->isSubClassOf("PatFrag")) {
337 Dag->setArg(i, new DagInit(R,
338 std::vector<std::pair<Init*, std::string> >()));
339 --i; // Revisit this node...
340 } else {
341 TreePatternNode *Node = new TreePatternNode(DefI);
342 Node->setName(Dag->getArgName(i));
343 Children.push_back(Node);
344
345 // If it's a regclass or something else known, set the type.
346 Node->setType(getIntrinsicType(R));
347
348 // Input argument?
349 if (R->getName() == "node") {
350 if (Dag->getArgName(i).empty())
351 error("'node' argument requires a name to match with operand list");
352 Args.push_back(Dag->getArgName(i));
353 }
354 }
355 } else {
356 Arg->dump();
357 error("Unknown leaf value for tree pattern!");
358 }
359 }
360
361 return new TreePatternNode(Operator, Children);
362}
363
364void TreePattern::print(std::ostream &OS) const {
365 switch (getPatternType()) {
366 case TreePattern::PatFrag: OS << "PatFrag pattern "; break;
367 case TreePattern::Instruction: OS << "Inst pattern "; break;
368 }
369
370 OS << getRecord()->getName();
371 if (!Args.empty()) {
372 OS << "(" << Args[0];
373 for (unsigned i = 1, e = Args.size(); i != e; ++i)
374 OS << ", " << Args[i];
375 OS << ")";
376 }
377 OS << ": ";
378
379 if (Trees.size() > 1)
380 OS << "[\n";
381 for (unsigned i = 0, e = Trees.size(); i != e; ++i) {
382 OS << "\t";
383 Trees[i]->print(OS);
384 OS << "\n";
385 }
386
387 if (Trees.size() > 1)
388 OS << "]\n";
389}
390
391void TreePattern::dump() const { print(std::cerr); }
392
393
394
395//===----------------------------------------------------------------------===//
396// DAGISelEmitter implementation
397//
398
Chris Lattnerca559d02005-09-08 21:03:01 +0000399// Parse all of the SDNode definitions for the target, populating SDNodes.
400void DAGISelEmitter::ParseNodeInfo() {
401 std::vector<Record*> Nodes = Records.getAllDerivedDefinitions("SDNode");
402 while (!Nodes.empty()) {
403 SDNodes.insert(std::make_pair(Nodes.back(), Nodes.back()));
404 Nodes.pop_back();
405 }
406}
407
Chris Lattner54cb8fd2005-09-07 23:44:43 +0000408/// ParseAndResolvePatternFragments - Parse all of the PatFrag definitions in
409/// the .td file, building up the PatternFragments map. After we've collected
410/// them all, inline fragments together as necessary, so that there are no
411/// references left inside a pattern fragment to a pattern fragment.
412///
413/// This also emits all of the predicate functions to the output file.
414///
415void DAGISelEmitter::ParseAndResolvePatternFragments(std::ostream &OS) {
416 std::vector<Record*> Fragments = Records.getAllDerivedDefinitions("PatFrag");
417
418 // First step, parse all of the fragments and emit predicate functions.
419 OS << "\n// Predicate functions.\n";
420 for (unsigned i = 0, e = Fragments.size(); i != e; ++i) {
421 std::vector<DagInit*> Trees;
422 Trees.push_back(Fragments[i]->getValueAsDag("Fragment"));
423 TreePattern *P = new TreePattern(TreePattern::PatFrag, Fragments[i],
424 Trees, *this);
425 PatternFragments[Fragments[i]] = P;
426
427 // If there is a code init for this fragment, emit the predicate code and
428 // keep track of the fact that this fragment uses it.
429 CodeInit *CI =
430 dynamic_cast<CodeInit*>(Fragments[i]->getValueInit("Predicate"));
431 if (!CI->getValue().empty()) {
432 assert(!P->getTrees()[0]->isLeaf() && "Can't be a leaf!");
433 std::string ClassName =
Chris Lattner6af14a62005-09-08 21:04:46 +0000434 getSDNodeInfo(P->getTrees()[0]->getOperator()).getSDClassName();
Chris Lattner54cb8fd2005-09-07 23:44:43 +0000435 const char *C2 = ClassName == "SDNode" ? "N" : "inN";
436
437 OS << "static inline bool Predicate_" << Fragments[i]->getName()
438 << "(SDNode *" << C2 << ") {\n";
439 if (ClassName != "SDNode")
440 OS << " " << ClassName << " *N = cast<" << ClassName << ">(inN);\n";
441 OS << CI->getValue() << "\n}\n";
442 P->getTrees()[0]->setPredicateFn("Predicate_"+Fragments[i]->getName());
443 }
444 }
445
446 OS << "\n\n";
447
448 // Now that we've parsed all of the tree fragments, do a closure on them so
449 // that there are not references to PatFrags left inside of them.
450 for (std::map<Record*, TreePattern*>::iterator I = PatternFragments.begin(),
451 E = PatternFragments.end(); I != E; ++I) {
452 I->second->InlinePatternFragments();
453 // If debugging, print out the pattern fragment result.
454 DEBUG(I->second->dump());
455 }
456}
457
458/// ParseAndResolveInstructions - Parse all of the instructions, inlining and
459/// resolving any fragments involved. This populates the Instructions list with
460/// fully resolved instructions.
461void DAGISelEmitter::ParseAndResolveInstructions() {
462 std::vector<Record*> Instrs = Records.getAllDerivedDefinitions("Instruction");
463
464 for (unsigned i = 0, e = Instrs.size(); i != e; ++i) {
465 if (!dynamic_cast<ListInit*>(Instrs[i]->getValueInit("Pattern")))
466 continue; // no pattern yet, ignore it.
467
468 ListInit *LI = Instrs[i]->getValueAsListInit("Pattern");
469 if (LI->getSize() == 0) continue; // no pattern.
470
471 std::vector<DagInit*> Trees;
472 for (unsigned j = 0, e = LI->getSize(); j != e; ++j)
473 Trees.push_back((DagInit*)LI->getElement(j));
474
475 // Parse the instruction.
476 Instructions.push_back(new TreePattern(TreePattern::Instruction, Instrs[i],
477 Trees, *this));
478 // Inline pattern fragments into it.
479 Instructions.back()->InlinePatternFragments();
480
Chris Lattner54cb8fd2005-09-07 23:44:43 +0000481 DEBUG(Instructions.back()->dump());
482 }
483}
484
485void DAGISelEmitter::EmitInstructionSelector(std::ostream &OS) {
486 // Emit boilerplate.
487 OS << "// The main instruction selector code.\n"
488 << "SDOperand " << Target.getName()
489 << "DAGToDAGISel::SelectCode(SDOperand Op) {\n"
490 << " SDNode *N = Op.Val;\n"
491 << " if (N->getOpcode() >= ISD::BUILTIN_OP_END &&\n"
492 << " N->getOpcode() < PPCISD::FIRST_NUMBER)\n"
493 << " return Op; // Already selected.\n\n"
494 << " switch (N->getOpcode()) {\n"
495 << " default: break;\n"
496 << " case ISD::EntryToken: // These leaves remain the same.\n"
497 << " return Op;\n"
498 << " case ISD::AssertSext:\n"
499 << " case ISD::AssertZext:\n"
500 << " return Select(N->getOperand(0));\n";
501
502
503
504 OS << " } // end of big switch.\n\n"
505 << " std::cerr << \"Cannot yet select: \";\n"
506 << " N->dump();\n"
507 << " std::cerr << '\\n';\n"
508 << " abort();\n"
509 << "}\n";
510}
511
512
513void DAGISelEmitter::run(std::ostream &OS) {
514 EmitSourceFileHeader("DAG Instruction Selector for the " + Target.getName() +
515 " target", OS);
516
Chris Lattnerca559d02005-09-08 21:03:01 +0000517 ParseNodeInfo();
Chris Lattner54cb8fd2005-09-07 23:44:43 +0000518 ParseAndResolvePatternFragments(OS);
519 ParseAndResolveInstructions();
520
521 // TODO: convert some instructions to expanders if needed or something.
522
523 EmitInstructionSelector(OS);
524
525 for (std::map<Record*, TreePattern*>::iterator I = PatternFragments.begin(),
526 E = PatternFragments.end(); I != E; ++I)
527 delete I->second;
528 PatternFragments.clear();
529
530 for (unsigned i = 0, e = Instructions.size(); i != e; ++i)
531 delete Instructions[i];
532 Instructions.clear();
533}