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