Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1 | //===- DAGISelEmitter.cpp - Generate an instruction selector --------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 3060910 | 2007-12-29 20:37:13 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 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" |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 18 | #include "llvm/Support/MathExtras.h" |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 19 | #include "llvm/Support/Streams.h" |
Jeff Cohen | a48283b | 2005-09-25 19:04:43 +0000 | [diff] [blame] | 20 | #include <algorithm> |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 21 | using namespace llvm; |
| 22 | |
Chris Lattner | ca559d0 | 2005-09-08 21:03:01 +0000 | [diff] [blame] | 23 | //===----------------------------------------------------------------------===// |
Chris Lattner | dc32f98 | 2008-01-05 22:43:57 +0000 | [diff] [blame] | 24 | // DAGISelEmitter Helper methods |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 25 | // |
| 26 | |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 27 | /// NodeIsComplexPattern - return true if N is a leaf node and a subclass of |
| 28 | /// ComplexPattern. |
| 29 | static bool NodeIsComplexPattern(TreePatternNode *N) { |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 30 | return (N->isLeaf() && |
| 31 | dynamic_cast<DefInit*>(N->getLeafValue()) && |
| 32 | static_cast<DefInit*>(N->getLeafValue())->getDef()-> |
| 33 | isSubClassOf("ComplexPattern")); |
| 34 | } |
| 35 | |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 36 | /// NodeGetComplexPattern - return the pointer to the ComplexPattern if N |
| 37 | /// is a leaf node and a subclass of ComplexPattern, else it returns NULL. |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 38 | static const ComplexPattern *NodeGetComplexPattern(TreePatternNode *N, |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 39 | CodeGenDAGPatterns &CGP) { |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 40 | if (N->isLeaf() && |
| 41 | dynamic_cast<DefInit*>(N->getLeafValue()) && |
| 42 | static_cast<DefInit*>(N->getLeafValue())->getDef()-> |
| 43 | isSubClassOf("ComplexPattern")) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 44 | return &CGP.getComplexPattern(static_cast<DefInit*>(N->getLeafValue()) |
| 45 | ->getDef()); |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 46 | } |
| 47 | return NULL; |
| 48 | } |
| 49 | |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 50 | /// getPatternSize - Return the 'size' of this pattern. We want to match large |
| 51 | /// patterns before small ones. This is used to determine the size of a |
| 52 | /// pattern. |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 53 | static unsigned getPatternSize(TreePatternNode *P, CodeGenDAGPatterns &CGP) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 54 | assert((EMVT::isExtIntegerInVTs(P->getExtTypes()) || |
| 55 | EMVT::isExtFloatingPointInVTs(P->getExtTypes()) || |
Evan Cheng | 2618d07 | 2006-05-17 20:37:59 +0000 | [diff] [blame] | 56 | P->getExtTypeNum(0) == MVT::isVoid || |
| 57 | P->getExtTypeNum(0) == MVT::Flag || |
| 58 | P->getExtTypeNum(0) == MVT::iPTR) && |
Evan Cheng | 4a7c284 | 2006-01-06 22:19:44 +0000 | [diff] [blame] | 59 | "Not a valid pattern node to size!"); |
Evan Cheng | 6cec34e | 2006-09-08 07:26:39 +0000 | [diff] [blame] | 60 | unsigned Size = 3; // The node itself. |
Evan Cheng | 657416c | 2006-02-01 06:06:31 +0000 | [diff] [blame] | 61 | // If the root node is a ConstantSDNode, increases its size. |
| 62 | // e.g. (set R32:$dst, 0). |
| 63 | if (P->isLeaf() && dynamic_cast<IntInit*>(P->getLeafValue())) |
Evan Cheng | 6cec34e | 2006-09-08 07:26:39 +0000 | [diff] [blame] | 64 | Size += 2; |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 65 | |
| 66 | // FIXME: This is a hack to statically increase the priority of patterns |
| 67 | // which maps a sub-dag to a complex pattern. e.g. favors LEA over ADD. |
| 68 | // Later we can allow complexity / cost for each pattern to be (optionally) |
| 69 | // specified. To get best possible pattern match we'll need to dynamically |
| 70 | // calculate the complexity of all patterns a dag can potentially map to. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 71 | const ComplexPattern *AM = NodeGetComplexPattern(P, CGP); |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 72 | if (AM) |
Evan Cheng | 6cec34e | 2006-09-08 07:26:39 +0000 | [diff] [blame] | 73 | Size += AM->getNumOperands() * 3; |
Chris Lattner | 3e17980 | 2006-02-03 18:06:02 +0000 | [diff] [blame] | 74 | |
| 75 | // If this node has some predicate function that must match, it adds to the |
| 76 | // complexity of this node. |
| 77 | if (!P->getPredicateFn().empty()) |
| 78 | ++Size; |
| 79 | |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 80 | // Count children in the count if they are also nodes. |
| 81 | for (unsigned i = 0, e = P->getNumChildren(); i != e; ++i) { |
| 82 | TreePatternNode *Child = P->getChild(i); |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 83 | if (!Child->isLeaf() && Child->getExtTypeNum(0) != MVT::Other) |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 84 | Size += getPatternSize(Child, CGP); |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 85 | else if (Child->isLeaf()) { |
| 86 | if (dynamic_cast<IntInit*>(Child->getLeafValue())) |
Evan Cheng | 6cec34e | 2006-09-08 07:26:39 +0000 | [diff] [blame] | 87 | Size += 5; // Matches a ConstantSDNode (+3) and a specific value (+2). |
Evan Cheng | 4a7c284 | 2006-01-06 22:19:44 +0000 | [diff] [blame] | 88 | else if (NodeIsComplexPattern(Child)) |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 89 | Size += getPatternSize(Child, CGP); |
Chris Lattner | 3e17980 | 2006-02-03 18:06:02 +0000 | [diff] [blame] | 90 | else if (!Child->getPredicateFn().empty()) |
| 91 | ++Size; |
Chris Lattner | 2f041d4 | 2005-10-19 04:41:05 +0000 | [diff] [blame] | 92 | } |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | return Size; |
| 96 | } |
| 97 | |
| 98 | /// getResultPatternCost - Compute the number of instructions for this pattern. |
| 99 | /// This is a temporary hack. We should really include the instruction |
| 100 | /// latencies in this calculation. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 101 | static unsigned getResultPatternCost(TreePatternNode *P, |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 102 | CodeGenDAGPatterns &CGP) { |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 103 | if (P->isLeaf()) return 0; |
| 104 | |
Evan Cheng | fbad708 | 2006-02-18 02:33:09 +0000 | [diff] [blame] | 105 | unsigned Cost = 0; |
| 106 | Record *Op = P->getOperator(); |
| 107 | if (Op->isSubClassOf("Instruction")) { |
| 108 | Cost++; |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 109 | CodeGenInstruction &II = CGP.getTargetInfo().getInstruction(Op->getName()); |
Evan Cheng | fbad708 | 2006-02-18 02:33:09 +0000 | [diff] [blame] | 110 | if (II.usesCustomDAGSchedInserter) |
| 111 | Cost += 10; |
| 112 | } |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 113 | for (unsigned i = 0, e = P->getNumChildren(); i != e; ++i) |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 114 | Cost += getResultPatternCost(P->getChild(i), CGP); |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 115 | return Cost; |
| 116 | } |
| 117 | |
Evan Cheng | e6f3203 | 2006-07-19 00:24:41 +0000 | [diff] [blame] | 118 | /// getResultPatternCodeSize - Compute the code size of instructions for this |
| 119 | /// pattern. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 120 | static unsigned getResultPatternSize(TreePatternNode *P, |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 121 | CodeGenDAGPatterns &CGP) { |
Evan Cheng | e6f3203 | 2006-07-19 00:24:41 +0000 | [diff] [blame] | 122 | if (P->isLeaf()) return 0; |
| 123 | |
| 124 | unsigned Cost = 0; |
| 125 | Record *Op = P->getOperator(); |
| 126 | if (Op->isSubClassOf("Instruction")) { |
| 127 | Cost += Op->getValueAsInt("CodeSize"); |
| 128 | } |
| 129 | for (unsigned i = 0, e = P->getNumChildren(); i != e; ++i) |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 130 | Cost += getResultPatternSize(P->getChild(i), CGP); |
Evan Cheng | e6f3203 | 2006-07-19 00:24:41 +0000 | [diff] [blame] | 131 | return Cost; |
| 132 | } |
| 133 | |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 134 | // PatternSortingPredicate - return true if we prefer to match LHS before RHS. |
| 135 | // In particular, we want to match maximal patterns first and lowest cost within |
| 136 | // a particular complexity first. |
| 137 | struct PatternSortingPredicate { |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 138 | PatternSortingPredicate(CodeGenDAGPatterns &cgp) : CGP(cgp) {} |
| 139 | CodeGenDAGPatterns &CGP; |
Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 140 | |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 141 | bool operator()(const PatternToMatch *LHS, |
| 142 | const PatternToMatch *RHS) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 143 | unsigned LHSSize = getPatternSize(LHS->getSrcPattern(), CGP); |
| 144 | unsigned RHSSize = getPatternSize(RHS->getSrcPattern(), CGP); |
Evan Cheng | c81d2a0 | 2006-04-19 20:36:09 +0000 | [diff] [blame] | 145 | LHSSize += LHS->getAddedComplexity(); |
| 146 | RHSSize += RHS->getAddedComplexity(); |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 147 | if (LHSSize > RHSSize) return true; // LHS -> bigger -> less cost |
| 148 | if (LHSSize < RHSSize) return false; |
| 149 | |
| 150 | // If the patterns have equal complexity, compare generated instruction cost |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 151 | unsigned LHSCost = getResultPatternCost(LHS->getDstPattern(), CGP); |
| 152 | unsigned RHSCost = getResultPatternCost(RHS->getDstPattern(), CGP); |
Evan Cheng | e6f3203 | 2006-07-19 00:24:41 +0000 | [diff] [blame] | 153 | if (LHSCost < RHSCost) return true; |
| 154 | if (LHSCost > RHSCost) return false; |
| 155 | |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 156 | return getResultPatternSize(LHS->getDstPattern(), CGP) < |
| 157 | getResultPatternSize(RHS->getDstPattern(), CGP); |
Chris Lattner | 05814af | 2005-09-28 17:57:56 +0000 | [diff] [blame] | 158 | } |
| 159 | }; |
| 160 | |
Nate Begeman | 6510b22 | 2005-12-01 04:51:06 +0000 | [diff] [blame] | 161 | /// getRegisterValueType - Look up and return the first ValueType of specified |
| 162 | /// RegisterClass record |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 163 | static MVT::SimpleValueType getRegisterValueType(Record *R, const CodeGenTarget &T) { |
Chris Lattner | 22faeab | 2005-12-05 02:36:37 +0000 | [diff] [blame] | 164 | if (const CodeGenRegisterClass *RC = T.getRegisterClassForRegister(R)) |
| 165 | return RC->getValueTypeNum(0); |
Evan Cheng | 66a48bb | 2005-12-01 00:18:45 +0000 | [diff] [blame] | 166 | return MVT::Other; |
| 167 | } |
| 168 | |
Chris Lattner | 72fe91c | 2005-09-24 00:40:24 +0000 | [diff] [blame] | 169 | |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 170 | /// RemoveAllTypes - A quick recursive walk over a pattern which removes all |
| 171 | /// type information from it. |
| 172 | static void RemoveAllTypes(TreePatternNode *N) { |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 173 | N->removeTypes(); |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 174 | if (!N->isLeaf()) |
| 175 | for (unsigned i = 0, e = N->getNumChildren(); i != e; ++i) |
| 176 | RemoveAllTypes(N->getChild(i)); |
| 177 | } |
Chris Lattner | 72fe91c | 2005-09-24 00:40:24 +0000 | [diff] [blame] | 178 | |
Evan Cheng | 51fecc8 | 2006-01-09 18:27:06 +0000 | [diff] [blame] | 179 | /// NodeHasProperty - return true if TreePatternNode has the specified |
| 180 | /// property. |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 181 | static bool NodeHasProperty(TreePatternNode *N, SDNP Property, |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 182 | CodeGenDAGPatterns &CGP) { |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 183 | if (N->isLeaf()) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 184 | const ComplexPattern *CP = NodeGetComplexPattern(N, CGP); |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 185 | if (CP) |
| 186 | return CP->hasProperty(Property); |
| 187 | return false; |
| 188 | } |
Evan Cheng | 7b05bd5 | 2005-12-23 22:11:47 +0000 | [diff] [blame] | 189 | Record *Operator = N->getOperator(); |
| 190 | if (!Operator->isSubClassOf("SDNode")) return false; |
| 191 | |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 192 | return CGP.getSDNodeInfo(Operator).hasProperty(Property); |
Evan Cheng | 7b05bd5 | 2005-12-23 22:11:47 +0000 | [diff] [blame] | 193 | } |
| 194 | |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 195 | static bool PatternHasProperty(TreePatternNode *N, SDNP Property, |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 196 | CodeGenDAGPatterns &CGP) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 197 | if (NodeHasProperty(N, Property, CGP)) |
Evan Cheng | 7b05bd5 | 2005-12-23 22:11:47 +0000 | [diff] [blame] | 198 | return true; |
Evan Cheng | 51fecc8 | 2006-01-09 18:27:06 +0000 | [diff] [blame] | 199 | |
| 200 | for (unsigned i = 0, e = N->getNumChildren(); i != e; ++i) { |
| 201 | TreePatternNode *Child = N->getChild(i); |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 202 | if (PatternHasProperty(Child, Property, CGP)) |
Evan Cheng | 51fecc8 | 2006-01-09 18:27:06 +0000 | [diff] [blame] | 203 | return true; |
Evan Cheng | 7b05bd5 | 2005-12-23 22:11:47 +0000 | [diff] [blame] | 204 | } |
| 205 | |
| 206 | return false; |
| 207 | } |
| 208 | |
Chris Lattner | dc32f98 | 2008-01-05 22:43:57 +0000 | [diff] [blame] | 209 | //===----------------------------------------------------------------------===// |
Chris Lattner | 443e3f9 | 2008-01-05 22:54:53 +0000 | [diff] [blame] | 210 | // Node Transformation emitter implementation. |
| 211 | // |
| 212 | void DAGISelEmitter::EmitNodeTransforms(std::ostream &OS) { |
| 213 | // Walk the pattern fragments, adding them to a map, which sorts them by |
| 214 | // name. |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 215 | typedef std::map<std::string, CodeGenDAGPatterns::NodeXForm> NXsByNameTy; |
Chris Lattner | 443e3f9 | 2008-01-05 22:54:53 +0000 | [diff] [blame] | 216 | NXsByNameTy NXsByName; |
| 217 | |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 218 | for (CodeGenDAGPatterns::nx_iterator I = CGP.nx_begin(), E = CGP.nx_end(); |
Chris Lattner | 443e3f9 | 2008-01-05 22:54:53 +0000 | [diff] [blame] | 219 | I != E; ++I) |
| 220 | NXsByName.insert(std::make_pair(I->first->getName(), I->second)); |
| 221 | |
| 222 | OS << "\n// Node transformations.\n"; |
| 223 | |
| 224 | for (NXsByNameTy::iterator I = NXsByName.begin(), E = NXsByName.end(); |
| 225 | I != E; ++I) { |
| 226 | Record *SDNode = I->second.first; |
| 227 | std::string Code = I->second.second; |
| 228 | |
| 229 | if (Code.empty()) continue; // Empty code? Skip it. |
| 230 | |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 231 | std::string ClassName = CGP.getSDNodeInfo(SDNode).getSDClassName(); |
Chris Lattner | 443e3f9 | 2008-01-05 22:54:53 +0000 | [diff] [blame] | 232 | const char *C2 = ClassName == "SDNode" ? "N" : "inN"; |
| 233 | |
| 234 | OS << "inline SDOperand Transform_" << I->first << "(SDNode *" << C2 |
| 235 | << ") {\n"; |
| 236 | if (ClassName != "SDNode") |
| 237 | OS << " " << ClassName << " *N = cast<" << ClassName << ">(inN);\n"; |
| 238 | OS << Code << "\n}\n"; |
| 239 | } |
| 240 | } |
| 241 | |
| 242 | //===----------------------------------------------------------------------===// |
Chris Lattner | dc32f98 | 2008-01-05 22:43:57 +0000 | [diff] [blame] | 243 | // Predicate emitter implementation. |
| 244 | // |
| 245 | |
| 246 | void DAGISelEmitter::EmitPredicateFunctions(std::ostream &OS) { |
| 247 | OS << "\n// Predicate functions.\n"; |
| 248 | |
| 249 | // Walk the pattern fragments, adding them to a map, which sorts them by |
| 250 | // name. |
| 251 | typedef std::map<std::string, std::pair<Record*, TreePattern*> > PFsByNameTy; |
| 252 | PFsByNameTy PFsByName; |
| 253 | |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 254 | for (CodeGenDAGPatterns::pf_iterator I = CGP.pf_begin(), E = CGP.pf_end(); |
Chris Lattner | dc32f98 | 2008-01-05 22:43:57 +0000 | [diff] [blame] | 255 | I != E; ++I) |
| 256 | PFsByName.insert(std::make_pair(I->first->getName(), *I)); |
| 257 | |
| 258 | |
| 259 | for (PFsByNameTy::iterator I = PFsByName.begin(), E = PFsByName.end(); |
| 260 | I != E; ++I) { |
| 261 | Record *PatFragRecord = I->second.first;// Record that derives from PatFrag. |
| 262 | TreePattern *P = I->second.second; |
| 263 | |
| 264 | // If there is a code init for this fragment, emit the predicate code. |
| 265 | std::string Code = PatFragRecord->getValueAsCode("Predicate"); |
| 266 | if (Code.empty()) continue; |
| 267 | |
| 268 | if (P->getOnlyTree()->isLeaf()) |
| 269 | OS << "inline bool Predicate_" << PatFragRecord->getName() |
| 270 | << "(SDNode *N) {\n"; |
| 271 | else { |
| 272 | std::string ClassName = |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 273 | CGP.getSDNodeInfo(P->getOnlyTree()->getOperator()).getSDClassName(); |
Chris Lattner | dc32f98 | 2008-01-05 22:43:57 +0000 | [diff] [blame] | 274 | const char *C2 = ClassName == "SDNode" ? "N" : "inN"; |
| 275 | |
| 276 | OS << "inline bool Predicate_" << PatFragRecord->getName() |
| 277 | << "(SDNode *" << C2 << ") {\n"; |
| 278 | if (ClassName != "SDNode") |
| 279 | OS << " " << ClassName << " *N = cast<" << ClassName << ">(inN);\n"; |
| 280 | } |
| 281 | OS << Code << "\n}\n"; |
| 282 | } |
| 283 | |
| 284 | OS << "\n\n"; |
| 285 | } |
| 286 | |
| 287 | |
| 288 | //===----------------------------------------------------------------------===// |
| 289 | // PatternCodeEmitter implementation. |
| 290 | // |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 291 | class PatternCodeEmitter { |
| 292 | private: |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 293 | CodeGenDAGPatterns &CGP; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 294 | |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 295 | // Predicates. |
| 296 | ListInit *Predicates; |
Evan Cheng | 5941320 | 2006-04-19 18:07:24 +0000 | [diff] [blame] | 297 | // Pattern cost. |
| 298 | unsigned Cost; |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 299 | // Instruction selector pattern. |
| 300 | TreePatternNode *Pattern; |
| 301 | // Matched instruction. |
| 302 | TreePatternNode *Instruction; |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 303 | |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 304 | // Node to name mapping |
Evan Cheng | f805c2e | 2006-01-12 19:35:54 +0000 | [diff] [blame] | 305 | std::map<std::string, std::string> VariableMap; |
| 306 | // Node to operator mapping |
| 307 | std::map<std::string, Record*> OperatorMap; |
Evan Cheng | a58891f | 2008-02-05 22:50:29 +0000 | [diff] [blame] | 308 | // Name of the folded node which produces a flag. |
| 309 | std::pair<std::string, unsigned> FoldedFlag; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 310 | // Names of all the folded nodes which produce chains. |
Evan Cheng | 1b80f4d | 2005-12-19 07:18:51 +0000 | [diff] [blame] | 311 | std::vector<std::pair<std::string, unsigned> > FoldedChains; |
Evan Cheng | 4326ef5 | 2006-10-12 02:08:53 +0000 | [diff] [blame] | 312 | // Original input chain(s). |
| 313 | std::vector<std::pair<std::string, std::string> > OrigChains; |
Evan Cheng | b4ad33c | 2006-01-19 01:55:45 +0000 | [diff] [blame] | 314 | std::set<std::string> Duplicates; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 315 | |
Dan Gohman | 69de193 | 2008-02-06 22:27:42 +0000 | [diff] [blame] | 316 | /// LSI - Load/Store information. |
| 317 | /// Save loads/stores matched by a pattern, and generate a MemOperandSDNode |
| 318 | /// for each memory access. This facilitates the use of AliasAnalysis in |
| 319 | /// the backend. |
| 320 | std::vector<std::string> LSI; |
| 321 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 322 | /// GeneratedCode - This is the buffer that we emit code to. The first int |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 323 | /// indicates whether this is an exit predicate (something that should be |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 324 | /// tested, and if true, the match fails) [when 1], or normal code to emit |
| 325 | /// [when 0], or initialization code to emit [when 2]. |
| 326 | std::vector<std::pair<unsigned, std::string> > &GeneratedCode; |
Evan Cheng | 21ad392 | 2006-02-07 00:37:41 +0000 | [diff] [blame] | 327 | /// GeneratedDecl - This is the set of all SDOperand declarations needed for |
| 328 | /// the set of patterns for each top-level opcode. |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 329 | std::set<std::string> &GeneratedDecl; |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 330 | /// TargetOpcodes - The target specific opcodes used by the resulting |
| 331 | /// instructions. |
| 332 | std::vector<std::string> &TargetOpcodes; |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 333 | std::vector<std::string> &TargetVTs; |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 334 | /// OutputIsVariadic - Records whether the instruction output pattern uses |
| 335 | /// variable_ops. This requires that the Emit function be passed an |
| 336 | /// additional argument to indicate where the input varargs operands |
| 337 | /// begin. |
| 338 | bool &OutputIsVariadic; |
| 339 | /// NumInputRootOps - Records the number of operands the root node of the |
| 340 | /// input pattern has. This information is used in the generated code to |
| 341 | /// pass to Emit functions when variable_ops processing is needed. |
| 342 | unsigned &NumInputRootOps; |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 343 | |
Evan Cheng | e4a8a6e | 2006-02-03 06:22:41 +0000 | [diff] [blame] | 344 | std::string ChainName; |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 345 | unsigned TmpNo; |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 346 | unsigned OpcNo; |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 347 | unsigned VTNo; |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 348 | |
| 349 | void emitCheck(const std::string &S) { |
| 350 | if (!S.empty()) |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 351 | GeneratedCode.push_back(std::make_pair(1, S)); |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 352 | } |
| 353 | void emitCode(const std::string &S) { |
| 354 | if (!S.empty()) |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 355 | GeneratedCode.push_back(std::make_pair(0, S)); |
| 356 | } |
| 357 | void emitInit(const std::string &S) { |
| 358 | if (!S.empty()) |
| 359 | GeneratedCode.push_back(std::make_pair(2, S)); |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 360 | } |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 361 | void emitDecl(const std::string &S) { |
Evan Cheng | 21ad392 | 2006-02-07 00:37:41 +0000 | [diff] [blame] | 362 | assert(!S.empty() && "Invalid declaration"); |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 363 | GeneratedDecl.insert(S); |
Evan Cheng | 21ad392 | 2006-02-07 00:37:41 +0000 | [diff] [blame] | 364 | } |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 365 | void emitOpcode(const std::string &Opc) { |
| 366 | TargetOpcodes.push_back(Opc); |
| 367 | OpcNo++; |
| 368 | } |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 369 | void emitVT(const std::string &VT) { |
| 370 | TargetVTs.push_back(VT); |
| 371 | VTNo++; |
| 372 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 373 | public: |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 374 | PatternCodeEmitter(CodeGenDAGPatterns &cgp, ListInit *preds, |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 375 | TreePatternNode *pattern, TreePatternNode *instr, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 376 | std::vector<std::pair<unsigned, std::string> > &gc, |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 377 | std::set<std::string> &gd, |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 378 | std::vector<std::string> &to, |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 379 | std::vector<std::string> &tv, |
| 380 | bool &oiv, |
| 381 | unsigned &niro) |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 382 | : CGP(cgp), Predicates(preds), Pattern(pattern), Instruction(instr), |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 383 | GeneratedCode(gc), GeneratedDecl(gd), |
| 384 | TargetOpcodes(to), TargetVTs(tv), |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 385 | OutputIsVariadic(oiv), NumInputRootOps(niro), |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 386 | TmpNo(0), OpcNo(0), VTNo(0) {} |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 387 | |
| 388 | /// EmitMatchCode - Emit a matcher for N, going to the label for PatternNo |
| 389 | /// if the match fails. At this point, we already know that the opcode for N |
| 390 | /// matches, and the SDNode for the result has the RootName specified name. |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 391 | void EmitMatchCode(TreePatternNode *N, TreePatternNode *P, |
| 392 | const std::string &RootName, const std::string &ChainSuffix, |
| 393 | bool &FoundChain) { |
Dan Gohman | 69de193 | 2008-02-06 22:27:42 +0000 | [diff] [blame] | 394 | |
| 395 | // Save loads/stores matched by a pattern. |
| 396 | if (!N->isLeaf() && N->getName().empty()) { |
Mon P Wang | 2887310 | 2008-06-25 08:15:39 +0000 | [diff] [blame] | 397 | if (NodeHasProperty(N, SDNPMemOperand, CGP)) |
Dan Gohman | 69de193 | 2008-02-06 22:27:42 +0000 | [diff] [blame] | 398 | LSI.push_back(RootName); |
Dan Gohman | 69de193 | 2008-02-06 22:27:42 +0000 | [diff] [blame] | 399 | } |
| 400 | |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 401 | bool isRoot = (P == NULL); |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 402 | // Emit instruction predicates. Each predicate is just a string for now. |
| 403 | if (isRoot) { |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 404 | // Record input varargs info. |
| 405 | NumInputRootOps = N->getNumChildren(); |
| 406 | |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 407 | std::string PredicateCheck; |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 408 | for (unsigned i = 0, e = Predicates->getSize(); i != e; ++i) { |
| 409 | if (DefInit *Pred = dynamic_cast<DefInit*>(Predicates->getElement(i))) { |
| 410 | Record *Def = Pred->getDef(); |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 411 | if (!Def->isSubClassOf("Predicate")) { |
Jim Laskey | 16d42c6 | 2006-07-11 18:25:13 +0000 | [diff] [blame] | 412 | #ifndef NDEBUG |
| 413 | Def->dump(); |
| 414 | #endif |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 415 | assert(0 && "Unknown predicate type!"); |
| 416 | } |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 417 | if (!PredicateCheck.empty()) |
Chris Lattner | bc7fa52 | 2006-09-19 00:41:36 +0000 | [diff] [blame] | 418 | PredicateCheck += " && "; |
Chris Lattner | 67a202b | 2006-01-28 20:43:52 +0000 | [diff] [blame] | 419 | PredicateCheck += "(" + Def->getValueAsString("CondString") + ")"; |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 420 | } |
| 421 | } |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 422 | |
| 423 | emitCheck(PredicateCheck); |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 424 | } |
| 425 | |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 426 | if (N->isLeaf()) { |
| 427 | if (IntInit *II = dynamic_cast<IntInit*>(N->getLeafValue())) { |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 428 | emitCheck("cast<ConstantSDNode>(" + RootName + |
Chris Lattner | 67a202b | 2006-01-28 20:43:52 +0000 | [diff] [blame] | 429 | ")->getSignExtended() == " + itostr(II->getValue())); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 430 | return; |
| 431 | } else if (!NodeIsComplexPattern(N)) { |
| 432 | assert(0 && "Cannot match this as a leaf value!"); |
| 433 | abort(); |
| 434 | } |
| 435 | } |
| 436 | |
Chris Lattner | 488580c | 2006-01-28 19:06:51 +0000 | [diff] [blame] | 437 | // If this node has a name associated with it, capture it in VariableMap. If |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 438 | // we already saw this in the pattern, emit code to verify dagness. |
| 439 | if (!N->getName().empty()) { |
| 440 | std::string &VarMapEntry = VariableMap[N->getName()]; |
| 441 | if (VarMapEntry.empty()) { |
| 442 | VarMapEntry = RootName; |
| 443 | } else { |
| 444 | // If we get here, this is a second reference to a specific name. Since |
| 445 | // we already have checked that the first reference is valid, we don't |
| 446 | // have to recursively match it, just check that it's the same as the |
| 447 | // previously named thing. |
Chris Lattner | 67a202b | 2006-01-28 20:43:52 +0000 | [diff] [blame] | 448 | emitCheck(VarMapEntry + " == " + RootName); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 449 | return; |
| 450 | } |
Evan Cheng | f805c2e | 2006-01-12 19:35:54 +0000 | [diff] [blame] | 451 | |
| 452 | if (!N->isLeaf()) |
| 453 | OperatorMap[N->getName()] = N->getOperator(); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 454 | } |
| 455 | |
| 456 | |
| 457 | // Emit code to load the child nodes and match their contents recursively. |
| 458 | unsigned OpNo = 0; |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 459 | bool NodeHasChain = NodeHasProperty (N, SDNPHasChain, CGP); |
| 460 | bool HasChain = PatternHasProperty(N, SDNPHasChain, CGP); |
Evan Cheng | 1feeeec | 2006-01-26 19:13:45 +0000 | [diff] [blame] | 461 | bool EmittedUseCheck = false; |
Evan Cheng | 8621789 | 2005-12-12 19:37:43 +0000 | [diff] [blame] | 462 | if (HasChain) { |
Evan Cheng | 76356d9 | 2006-01-20 01:11:03 +0000 | [diff] [blame] | 463 | if (NodeHasChain) |
| 464 | OpNo = 1; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 465 | if (!isRoot) { |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 466 | // Multiple uses of actual result? |
Chris Lattner | 67a202b | 2006-01-28 20:43:52 +0000 | [diff] [blame] | 467 | emitCheck(RootName + ".hasOneUse()"); |
Evan Cheng | 1feeeec | 2006-01-26 19:13:45 +0000 | [diff] [blame] | 468 | EmittedUseCheck = true; |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 469 | if (NodeHasChain) { |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 470 | // If the immediate use can somehow reach this node through another |
| 471 | // path, then can't fold it either or it will create a cycle. |
| 472 | // e.g. In the following diagram, XX can reach ld through YY. If |
| 473 | // ld is folded into XX, then YY is both a predecessor and a successor |
| 474 | // of XX. |
| 475 | // |
| 476 | // [ld] |
| 477 | // ^ ^ |
| 478 | // | | |
| 479 | // / \--- |
| 480 | // / [YY] |
| 481 | // | ^ |
| 482 | // [XX]-------| |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 483 | bool NeedCheck = false; |
| 484 | if (P != Pattern) |
| 485 | NeedCheck = true; |
| 486 | else { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 487 | const SDNodeInfo &PInfo = CGP.getSDNodeInfo(P->getOperator()); |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 488 | NeedCheck = |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 489 | P->getOperator() == CGP.get_intrinsic_void_sdnode() || |
| 490 | P->getOperator() == CGP.get_intrinsic_w_chain_sdnode() || |
| 491 | P->getOperator() == CGP.get_intrinsic_wo_chain_sdnode() || |
Evan Cheng | ce1381a | 2006-10-14 08:30:15 +0000 | [diff] [blame] | 492 | PInfo.getNumOperands() > 1 || |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 493 | PInfo.hasProperty(SDNPHasChain) || |
| 494 | PInfo.hasProperty(SDNPInFlag) || |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 495 | PInfo.hasProperty(SDNPOptInFlag); |
| 496 | } |
| 497 | |
| 498 | if (NeedCheck) { |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 499 | std::string ParentName(RootName.begin(), RootName.end()-1); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 500 | emitCheck("CanBeFoldedBy(" + RootName + ".Val, " + ParentName + |
Evan Cheng | ce1381a | 2006-10-14 08:30:15 +0000 | [diff] [blame] | 501 | ".Val, N.Val)"); |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 502 | } |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 503 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 504 | } |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 505 | |
Evan Cheng | c15d18c | 2006-01-27 22:13:45 +0000 | [diff] [blame] | 506 | if (NodeHasChain) { |
Evan Cheng | 4326ef5 | 2006-10-12 02:08:53 +0000 | [diff] [blame] | 507 | if (FoundChain) { |
| 508 | emitCheck("(" + ChainName + ".Val == " + RootName + ".Val || " |
| 509 | "IsChainCompatible(" + ChainName + ".Val, " + |
| 510 | RootName + ".Val))"); |
| 511 | OrigChains.push_back(std::make_pair(ChainName, RootName)); |
| 512 | } else |
Evan Cheng | e638993 | 2006-07-21 22:19:51 +0000 | [diff] [blame] | 513 | FoundChain = true; |
Evan Cheng | e4a8a6e | 2006-02-03 06:22:41 +0000 | [diff] [blame] | 514 | ChainName = "Chain" + ChainSuffix; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 515 | emitInit("SDOperand " + ChainName + " = " + RootName + |
Evan Cheng | e638993 | 2006-07-21 22:19:51 +0000 | [diff] [blame] | 516 | ".getOperand(0);"); |
Evan Cheng | 1cf6db2 | 2006-01-06 00:41:12 +0000 | [diff] [blame] | 517 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 518 | } |
| 519 | |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 520 | // Don't fold any node which reads or writes a flag and has multiple uses. |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 521 | // FIXME: We really need to separate the concepts of flag and "glue". Those |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 522 | // real flag results, e.g. X86CMP output, can have multiple uses. |
Evan Cheng | e41bf82 | 2006-02-05 06:43:12 +0000 | [diff] [blame] | 523 | // FIXME: If the optional incoming flag does not exist. Then it is ok to |
| 524 | // fold it. |
Evan Cheng | 1feeeec | 2006-01-26 19:13:45 +0000 | [diff] [blame] | 525 | if (!isRoot && |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 526 | (PatternHasProperty(N, SDNPInFlag, CGP) || |
| 527 | PatternHasProperty(N, SDNPOptInFlag, CGP) || |
| 528 | PatternHasProperty(N, SDNPOutFlag, CGP))) { |
Evan Cheng | 1feeeec | 2006-01-26 19:13:45 +0000 | [diff] [blame] | 529 | if (!EmittedUseCheck) { |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 530 | // Multiple uses of actual result? |
Chris Lattner | 67a202b | 2006-01-28 20:43:52 +0000 | [diff] [blame] | 531 | emitCheck(RootName + ".hasOneUse()"); |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 532 | } |
| 533 | } |
| 534 | |
Evan Cheng | d3eea90 | 2006-10-09 21:02:17 +0000 | [diff] [blame] | 535 | // If there is a node predicate for this, emit the call. |
| 536 | if (!N->getPredicateFn().empty()) |
| 537 | emitCheck(N->getPredicateFn() + "(" + RootName + ".Val)"); |
| 538 | |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 539 | |
Chris Lattner | 39e73f7 | 2006-10-11 04:05:55 +0000 | [diff] [blame] | 540 | // If this is an 'and R, 1234' where the operation is AND/OR and the RHS is |
| 541 | // a constant without a predicate fn that has more that one bit set, handle |
| 542 | // this as a special case. This is usually for targets that have special |
| 543 | // handling of certain large constants (e.g. alpha with it's 8/16/32-bit |
| 544 | // handling stuff). Using these instructions is often far more efficient |
| 545 | // than materializing the constant. Unfortunately, both the instcombiner |
| 546 | // and the dag combiner can often infer that bits are dead, and thus drop |
| 547 | // them from the mask in the dag. For example, it might turn 'AND X, 255' |
| 548 | // into 'AND X, 254' if it knows the low bit is set. Emit code that checks |
| 549 | // to handle this. |
| 550 | if (!N->isLeaf() && |
| 551 | (N->getOperator()->getName() == "and" || |
| 552 | N->getOperator()->getName() == "or") && |
| 553 | N->getChild(1)->isLeaf() && |
| 554 | N->getChild(1)->getPredicateFn().empty()) { |
| 555 | if (IntInit *II = dynamic_cast<IntInit*>(N->getChild(1)->getLeafValue())) { |
| 556 | if (!isPowerOf2_32(II->getValue())) { // Don't bother with single bits. |
| 557 | emitInit("SDOperand " + RootName + "0" + " = " + |
| 558 | RootName + ".getOperand(" + utostr(0) + ");"); |
| 559 | emitInit("SDOperand " + RootName + "1" + " = " + |
| 560 | RootName + ".getOperand(" + utostr(1) + ");"); |
| 561 | |
| 562 | emitCheck("isa<ConstantSDNode>(" + RootName + "1)"); |
| 563 | const char *MaskPredicate = N->getOperator()->getName() == "or" |
| 564 | ? "CheckOrMask(" : "CheckAndMask("; |
| 565 | emitCheck(MaskPredicate + RootName + "0, cast<ConstantSDNode>(" + |
| 566 | RootName + "1), " + itostr(II->getValue()) + ")"); |
| 567 | |
Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 568 | EmitChildMatchCode(N->getChild(0), N, RootName + utostr(0), RootName, |
Chris Lattner | 39e73f7 | 2006-10-11 04:05:55 +0000 | [diff] [blame] | 569 | ChainSuffix + utostr(0), FoundChain); |
| 570 | return; |
| 571 | } |
| 572 | } |
| 573 | } |
| 574 | |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 575 | for (unsigned i = 0, e = N->getNumChildren(); i != e; ++i, ++OpNo) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 576 | emitInit("SDOperand " + RootName + utostr(OpNo) + " = " + |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 577 | RootName + ".getOperand(" +utostr(OpNo) + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 578 | |
Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 579 | EmitChildMatchCode(N->getChild(i), N, RootName + utostr(OpNo), RootName, |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 580 | ChainSuffix + utostr(OpNo), FoundChain); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 581 | } |
| 582 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 583 | // Handle cases when root is a complex pattern. |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 584 | const ComplexPattern *CP; |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 585 | if (isRoot && N->isLeaf() && (CP = NodeGetComplexPattern(N, CGP))) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 586 | std::string Fn = CP->getSelectFunc(); |
| 587 | unsigned NumOps = CP->getNumOperands(); |
| 588 | for (unsigned i = 0; i < NumOps; ++i) { |
| 589 | emitDecl("CPTmp" + utostr(i)); |
| 590 | emitCode("SDOperand CPTmp" + utostr(i) + ";"); |
| 591 | } |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 592 | if (CP->hasProperty(SDNPHasChain)) { |
| 593 | emitDecl("CPInChain"); |
| 594 | emitDecl("Chain" + ChainSuffix); |
| 595 | emitCode("SDOperand CPInChain;"); |
| 596 | emitCode("SDOperand Chain" + ChainSuffix + ";"); |
| 597 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 598 | |
Evan Cheng | 811731e | 2006-11-08 20:31:10 +0000 | [diff] [blame] | 599 | std::string Code = Fn + "(" + RootName + ", " + RootName; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 600 | for (unsigned i = 0; i < NumOps; i++) |
| 601 | Code += ", CPTmp" + utostr(i); |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 602 | if (CP->hasProperty(SDNPHasChain)) { |
| 603 | ChainName = "Chain" + ChainSuffix; |
| 604 | Code += ", CPInChain, Chain" + ChainSuffix; |
| 605 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 606 | emitCheck(Code + ")"); |
| 607 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 608 | } |
Chris Lattner | 39e73f7 | 2006-10-11 04:05:55 +0000 | [diff] [blame] | 609 | |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 610 | void EmitChildMatchCode(TreePatternNode *Child, TreePatternNode *Parent, |
Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 611 | const std::string &RootName, |
| 612 | const std::string &ParentRootName, |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 613 | const std::string &ChainSuffix, bool &FoundChain) { |
| 614 | if (!Child->isLeaf()) { |
| 615 | // If it's not a leaf, recursively match. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 616 | const SDNodeInfo &CInfo = CGP.getSDNodeInfo(Child->getOperator()); |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 617 | emitCheck(RootName + ".getOpcode() == " + |
| 618 | CInfo.getEnumName()); |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 619 | EmitMatchCode(Child, Parent, RootName, ChainSuffix, FoundChain); |
Evan Cheng | a58891f | 2008-02-05 22:50:29 +0000 | [diff] [blame] | 620 | bool HasChain = false; |
| 621 | if (NodeHasProperty(Child, SDNPHasChain, CGP)) { |
| 622 | HasChain = true; |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 623 | FoldedChains.push_back(std::make_pair(RootName, CInfo.getNumResults())); |
Evan Cheng | a58891f | 2008-02-05 22:50:29 +0000 | [diff] [blame] | 624 | } |
| 625 | if (NodeHasProperty(Child, SDNPOutFlag, CGP)) { |
| 626 | assert(FoldedFlag.first == "" && FoldedFlag.second == 0 && |
| 627 | "Pattern folded multiple nodes which produce flags?"); |
| 628 | FoldedFlag = std::make_pair(RootName, |
| 629 | CInfo.getNumResults() + (unsigned)HasChain); |
| 630 | } |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 631 | } else { |
| 632 | // If this child has a name associated with it, capture it in VarMap. If |
| 633 | // we already saw this in the pattern, emit code to verify dagness. |
| 634 | if (!Child->getName().empty()) { |
| 635 | std::string &VarMapEntry = VariableMap[Child->getName()]; |
| 636 | if (VarMapEntry.empty()) { |
| 637 | VarMapEntry = RootName; |
| 638 | } else { |
| 639 | // If we get here, this is a second reference to a specific name. |
| 640 | // Since we already have checked that the first reference is valid, |
| 641 | // we don't have to recursively match it, just check that it's the |
| 642 | // same as the previously named thing. |
| 643 | emitCheck(VarMapEntry + " == " + RootName); |
| 644 | Duplicates.insert(RootName); |
| 645 | return; |
| 646 | } |
| 647 | } |
| 648 | |
| 649 | // Handle leaves of various types. |
| 650 | if (DefInit *DI = dynamic_cast<DefInit*>(Child->getLeafValue())) { |
| 651 | Record *LeafRec = DI->getDef(); |
Chris Lattner | 646085d | 2006-11-14 21:18:40 +0000 | [diff] [blame] | 652 | if (LeafRec->isSubClassOf("RegisterClass") || |
| 653 | LeafRec->getName() == "ptr_rc") { |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 654 | // Handle register references. Nothing to do here. |
| 655 | } else if (LeafRec->isSubClassOf("Register")) { |
| 656 | // Handle register references. |
| 657 | } else if (LeafRec->isSubClassOf("ComplexPattern")) { |
| 658 | // Handle complex pattern. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 659 | const ComplexPattern *CP = NodeGetComplexPattern(Child, CGP); |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 660 | std::string Fn = CP->getSelectFunc(); |
| 661 | unsigned NumOps = CP->getNumOperands(); |
| 662 | for (unsigned i = 0; i < NumOps; ++i) { |
| 663 | emitDecl("CPTmp" + utostr(i)); |
| 664 | emitCode("SDOperand CPTmp" + utostr(i) + ";"); |
| 665 | } |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 666 | if (CP->hasProperty(SDNPHasChain)) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 667 | const SDNodeInfo &PInfo = CGP.getSDNodeInfo(Parent->getOperator()); |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 668 | FoldedChains.push_back(std::make_pair("CPInChain", |
| 669 | PInfo.getNumResults())); |
| 670 | ChainName = "Chain" + ChainSuffix; |
| 671 | emitDecl("CPInChain"); |
| 672 | emitDecl(ChainName); |
| 673 | emitCode("SDOperand CPInChain;"); |
| 674 | emitCode("SDOperand " + ChainName + ";"); |
| 675 | } |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 676 | |
Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 677 | std::string Code = Fn + "("; |
| 678 | if (CP->hasAttribute(CPAttrParentAsRoot)) { |
| 679 | Code += ParentRootName + ", "; |
| 680 | } else { |
| 681 | Code += "N, "; |
| 682 | } |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 683 | if (CP->hasProperty(SDNPHasChain)) { |
| 684 | std::string ParentName(RootName.begin(), RootName.end()-1); |
Evan Cheng | 811731e | 2006-11-08 20:31:10 +0000 | [diff] [blame] | 685 | Code += ParentName + ", "; |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 686 | } |
| 687 | Code += RootName; |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 688 | for (unsigned i = 0; i < NumOps; i++) |
| 689 | Code += ", CPTmp" + utostr(i); |
Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 690 | if (CP->hasProperty(SDNPHasChain)) |
| 691 | Code += ", CPInChain, Chain" + ChainSuffix; |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 692 | emitCheck(Code + ")"); |
| 693 | } else if (LeafRec->getName() == "srcvalue") { |
| 694 | // Place holder for SRCVALUE nodes. Nothing to do here. |
| 695 | } else if (LeafRec->isSubClassOf("ValueType")) { |
| 696 | // Make sure this is the specified value type. |
| 697 | emitCheck("cast<VTSDNode>(" + RootName + |
| 698 | ")->getVT() == MVT::" + LeafRec->getName()); |
| 699 | } else if (LeafRec->isSubClassOf("CondCode")) { |
| 700 | // Make sure this is the specified cond code. |
| 701 | emitCheck("cast<CondCodeSDNode>(" + RootName + |
| 702 | ")->get() == ISD::" + LeafRec->getName()); |
| 703 | } else { |
| 704 | #ifndef NDEBUG |
| 705 | Child->dump(); |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 706 | cerr << " "; |
Chris Lattner | be8e721 | 2006-10-11 03:35:34 +0000 | [diff] [blame] | 707 | #endif |
| 708 | assert(0 && "Unknown leaf type!"); |
| 709 | } |
| 710 | |
| 711 | // If there is a node predicate for this, emit the call. |
| 712 | if (!Child->getPredicateFn().empty()) |
| 713 | emitCheck(Child->getPredicateFn() + "(" + RootName + |
| 714 | ".Val)"); |
| 715 | } else if (IntInit *II = |
| 716 | dynamic_cast<IntInit*>(Child->getLeafValue())) { |
| 717 | emitCheck("isa<ConstantSDNode>(" + RootName + ")"); |
| 718 | unsigned CTmp = TmpNo++; |
| 719 | emitCode("int64_t CN"+utostr(CTmp)+" = cast<ConstantSDNode>("+ |
| 720 | RootName + ")->getSignExtended();"); |
| 721 | |
| 722 | emitCheck("CN" + utostr(CTmp) + " == " +itostr(II->getValue())); |
| 723 | } else { |
| 724 | #ifndef NDEBUG |
| 725 | Child->dump(); |
| 726 | #endif |
| 727 | assert(0 && "Unknown leaf type!"); |
| 728 | } |
| 729 | } |
| 730 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 731 | |
| 732 | /// EmitResultCode - Emit the action for a pattern. Now that it has matched |
| 733 | /// we actually have to build a DAG! |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 734 | std::vector<std::string> |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 735 | EmitResultCode(TreePatternNode *N, std::vector<Record*> DstRegs, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 736 | bool InFlagDecled, bool ResNodeDecled, |
| 737 | bool LikeLeaf = false, bool isRoot = false) { |
| 738 | // List of arguments of getTargetNode() or SelectNodeTo(). |
| 739 | std::vector<std::string> NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 740 | // This is something selected from the pattern we matched. |
| 741 | if (!N->getName().empty()) { |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 742 | const std::string &VarName = N->getName(); |
| 743 | std::string Val = VariableMap[VarName]; |
| 744 | bool ModifiedVal = false; |
Scott Michel | 0123b7d | 2008-02-15 23:05:48 +0000 | [diff] [blame] | 745 | if (Val.empty()) { |
Bill Wendling | 27926af | 2008-02-26 10:45:29 +0000 | [diff] [blame] | 746 | cerr << "Variable '" << VarName << " referenced but not defined " |
| 747 | << "and not caught earlier!\n"; |
| 748 | abort(); |
Scott Michel | 0123b7d | 2008-02-15 23:05:48 +0000 | [diff] [blame] | 749 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 750 | if (Val[0] == 'T' && Val[1] == 'm' && Val[2] == 'p') { |
| 751 | // Already selected this operand, just return the tmpval. |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 752 | NodeOps.push_back(Val); |
| 753 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 754 | } |
| 755 | |
| 756 | const ComplexPattern *CP; |
| 757 | unsigned ResNo = TmpNo++; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 758 | if (!N->isLeaf() && N->getOperator()->getName() == "imm") { |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 759 | assert(N->getExtTypes().size() == 1 && "Multiple types not handled!"); |
Chris Lattner | 7859313 | 2006-01-29 20:01:35 +0000 | [diff] [blame] | 760 | std::string CastType; |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 761 | std::string TmpVar = "Tmp" + utostr(ResNo); |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 762 | switch (N->getTypeNum(0)) { |
Chris Lattner | d8a1728 | 2007-01-17 07:45:12 +0000 | [diff] [blame] | 763 | default: |
| 764 | cerr << "Cannot handle " << getEnumName(N->getTypeNum(0)) |
| 765 | << " type as an immediate constant. Aborting\n"; |
| 766 | abort(); |
Chris Lattner | 7859313 | 2006-01-29 20:01:35 +0000 | [diff] [blame] | 767 | case MVT::i1: CastType = "bool"; break; |
| 768 | case MVT::i8: CastType = "unsigned char"; break; |
| 769 | case MVT::i16: CastType = "unsigned short"; break; |
| 770 | case MVT::i32: CastType = "unsigned"; break; |
| 771 | case MVT::i64: CastType = "uint64_t"; break; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 772 | } |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 773 | emitCode("SDOperand " + TmpVar + |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 774 | " = CurDAG->getTargetConstant(((" + CastType + |
| 775 | ") cast<ConstantSDNode>(" + Val + ")->getValue()), " + |
| 776 | getEnumName(N->getTypeNum(0)) + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 777 | // Add Tmp<ResNo> to VariableMap, so that we don't multiply select this |
| 778 | // value if used multiple times by this pattern result. |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 779 | Val = TmpVar; |
| 780 | ModifiedVal = true; |
| 781 | NodeOps.push_back(Val); |
Nate Begeman | e179584 | 2008-02-14 08:57:00 +0000 | [diff] [blame] | 782 | } else if (!N->isLeaf() && N->getOperator()->getName() == "fpimm") { |
| 783 | assert(N->getExtTypes().size() == 1 && "Multiple types not handled!"); |
| 784 | std::string TmpVar = "Tmp" + utostr(ResNo); |
| 785 | emitCode("SDOperand " + TmpVar + |
| 786 | " = CurDAG->getTargetConstantFP(cast<ConstantFPSDNode>(" + |
| 787 | Val + ")->getValueAPF(), cast<ConstantFPSDNode>(" + Val + |
| 788 | ")->getValueType(0));"); |
| 789 | // Add Tmp<ResNo> to VariableMap, so that we don't multiply select this |
| 790 | // value if used multiple times by this pattern result. |
| 791 | Val = TmpVar; |
| 792 | ModifiedVal = true; |
| 793 | NodeOps.push_back(Val); |
Evan Cheng | bb48e33 | 2006-01-12 07:54:57 +0000 | [diff] [blame] | 794 | } else if (!N->isLeaf() && N->getOperator()->getName() == "texternalsym"){ |
Evan Cheng | f805c2e | 2006-01-12 19:35:54 +0000 | [diff] [blame] | 795 | Record *Op = OperatorMap[N->getName()]; |
| 796 | // Transform ExternalSymbol to TargetExternalSymbol |
| 797 | if (Op && Op->getName() == "externalsym") { |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 798 | std::string TmpVar = "Tmp"+utostr(ResNo); |
| 799 | emitCode("SDOperand " + TmpVar + " = CurDAG->getTarget" |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 800 | "ExternalSymbol(cast<ExternalSymbolSDNode>(" + |
Evan Cheng | 2618d07 | 2006-05-17 20:37:59 +0000 | [diff] [blame] | 801 | Val + ")->getSymbol(), " + |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 802 | getEnumName(N->getTypeNum(0)) + ");"); |
Chris Lattner | 6490697 | 2006-09-21 18:28:27 +0000 | [diff] [blame] | 803 | // Add Tmp<ResNo> to VariableMap, so that we don't multiply select |
| 804 | // this value if used multiple times by this pattern result. |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 805 | Val = TmpVar; |
| 806 | ModifiedVal = true; |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 807 | } |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 808 | NodeOps.push_back(Val); |
Lauro Ramos Venancio | b3a0417 | 2007-04-20 21:38:10 +0000 | [diff] [blame] | 809 | } else if (!N->isLeaf() && (N->getOperator()->getName() == "tglobaladdr" |
| 810 | || N->getOperator()->getName() == "tglobaltlsaddr")) { |
Evan Cheng | f805c2e | 2006-01-12 19:35:54 +0000 | [diff] [blame] | 811 | Record *Op = OperatorMap[N->getName()]; |
| 812 | // Transform GlobalAddress to TargetGlobalAddress |
Lauro Ramos Venancio | b3a0417 | 2007-04-20 21:38:10 +0000 | [diff] [blame] | 813 | if (Op && (Op->getName() == "globaladdr" || |
| 814 | Op->getName() == "globaltlsaddr")) { |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 815 | std::string TmpVar = "Tmp" + utostr(ResNo); |
| 816 | emitCode("SDOperand " + TmpVar + " = CurDAG->getTarget" |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 817 | "GlobalAddress(cast<GlobalAddressSDNode>(" + Val + |
Evan Cheng | 2618d07 | 2006-05-17 20:37:59 +0000 | [diff] [blame] | 818 | ")->getGlobal(), " + getEnumName(N->getTypeNum(0)) + |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 819 | ");"); |
Chris Lattner | 6490697 | 2006-09-21 18:28:27 +0000 | [diff] [blame] | 820 | // Add Tmp<ResNo> to VariableMap, so that we don't multiply select |
| 821 | // this value if used multiple times by this pattern result. |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 822 | Val = TmpVar; |
| 823 | ModifiedVal = true; |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 824 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 825 | NodeOps.push_back(Val); |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 826 | } else if (!N->isLeaf() |
| 827 | && (N->getOperator()->getName() == "texternalsym" |
| 828 | || N->getOperator()->getName() == "tconstpool")) { |
| 829 | // Do not rewrite the variable name, since we don't generate a new |
| 830 | // temporary. |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 831 | NodeOps.push_back(Val); |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 832 | } else if (N->isLeaf() && (CP = NodeGetComplexPattern(N, CGP))) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 833 | for (unsigned i = 0; i < CP->getNumOperands(); ++i) { |
| 834 | emitCode("AddToISelQueue(CPTmp" + utostr(i) + ");"); |
| 835 | NodeOps.push_back("CPTmp" + utostr(i)); |
Evan Cheng | b0793f9 | 2006-05-25 00:21:44 +0000 | [diff] [blame] | 836 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 837 | } else { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 838 | // This node, probably wrapped in a SDNodeXForm, behaves like a leaf |
Evan Cheng | 863bf5a | 2006-03-20 22:53:06 +0000 | [diff] [blame] | 839 | // node even if it isn't one. Don't select it. |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 840 | if (!LikeLeaf) { |
| 841 | emitCode("AddToISelQueue(" + Val + ");"); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 842 | if (isRoot && N->isLeaf()) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 843 | emitCode("ReplaceUses(N, " + Val + ");"); |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 844 | emitCode("return NULL;"); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 845 | } |
Evan Cheng | 83e1a6a | 2006-03-23 02:35:32 +0000 | [diff] [blame] | 846 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 847 | NodeOps.push_back(Val); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 848 | } |
Scott Michel | 6be48d4 | 2008-01-29 02:29:31 +0000 | [diff] [blame] | 849 | |
| 850 | if (ModifiedVal) { |
| 851 | VariableMap[VarName] = Val; |
| 852 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 853 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 854 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 855 | if (N->isLeaf()) { |
| 856 | // If this is an explicit register reference, handle it. |
| 857 | if (DefInit *DI = dynamic_cast<DefInit*>(N->getLeafValue())) { |
| 858 | unsigned ResNo = TmpNo++; |
| 859 | if (DI->getDef()->isSubClassOf("Register")) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 860 | emitCode("SDOperand Tmp" + utostr(ResNo) + " = CurDAG->getRegister(" + |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 861 | getQualifiedName(DI->getDef()) + ", " + |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 862 | getEnumName(N->getTypeNum(0)) + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 863 | NodeOps.push_back("Tmp" + utostr(ResNo)); |
| 864 | return NodeOps; |
Evan Cheng | 7774be4 | 2007-07-05 07:19:45 +0000 | [diff] [blame] | 865 | } else if (DI->getDef()->getName() == "zero_reg") { |
| 866 | emitCode("SDOperand Tmp" + utostr(ResNo) + |
| 867 | " = CurDAG->getRegister(0, " + |
| 868 | getEnumName(N->getTypeNum(0)) + ");"); |
| 869 | NodeOps.push_back("Tmp" + utostr(ResNo)); |
| 870 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 871 | } |
| 872 | } else if (IntInit *II = dynamic_cast<IntInit*>(N->getLeafValue())) { |
| 873 | unsigned ResNo = TmpNo++; |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 874 | assert(N->getExtTypes().size() == 1 && "Multiple types not handled!"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 875 | emitCode("SDOperand Tmp" + utostr(ResNo) + |
Scott Michel | 0123b7d | 2008-02-15 23:05:48 +0000 | [diff] [blame] | 876 | " = CurDAG->getTargetConstant(0x" + itohexstr(II->getValue()) + |
| 877 | "ULL, " + getEnumName(N->getTypeNum(0)) + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 878 | NodeOps.push_back("Tmp" + utostr(ResNo)); |
| 879 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 880 | } |
| 881 | |
Jim Laskey | 16d42c6 | 2006-07-11 18:25:13 +0000 | [diff] [blame] | 882 | #ifndef NDEBUG |
| 883 | N->dump(); |
| 884 | #endif |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 885 | assert(0 && "Unknown leaf type!"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 886 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 887 | } |
| 888 | |
| 889 | Record *Op = N->getOperator(); |
| 890 | if (Op->isSubClassOf("Instruction")) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 891 | const CodeGenTarget &CGT = CGP.getTargetInfo(); |
Evan Cheng | 7b05bd5 | 2005-12-23 22:11:47 +0000 | [diff] [blame] | 892 | CodeGenInstruction &II = CGT.getInstruction(Op->getName()); |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 893 | const DAGInstruction &Inst = CGP.getInstruction(Op); |
Chris Lattner | f1ab4f1 | 2008-01-06 01:52:22 +0000 | [diff] [blame] | 894 | const TreePattern *InstPat = Inst.getPattern(); |
Evan Cheng | d23aa5a | 2007-09-25 01:48:59 +0000 | [diff] [blame] | 895 | // FIXME: Assume actual pattern comes before "implicit". |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 896 | TreePatternNode *InstPatNode = |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 897 | isRoot ? (InstPat ? InstPat->getTree(0) : Pattern) |
| 898 | : (InstPat ? InstPat->getTree(0) : NULL); |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 899 | if (InstPatNode && InstPatNode->getOperator()->getName() == "set") { |
Evan Cheng | aeb7d4d | 2007-09-11 19:52:18 +0000 | [diff] [blame] | 900 | InstPatNode = InstPatNode->getChild(InstPatNode->getNumChildren()-1); |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 901 | } |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 902 | bool IsVariadic = isRoot && II.isVariadic; |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 903 | // FIXME: fix how we deal with physical register operands. |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 904 | bool HasImpInputs = isRoot && Inst.getNumImpOperands() > 0; |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 905 | bool HasImpResults = isRoot && DstRegs.size() > 0; |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 906 | bool NodeHasOptInFlag = isRoot && |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 907 | PatternHasProperty(Pattern, SDNPOptInFlag, CGP); |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 908 | bool NodeHasInFlag = isRoot && |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 909 | PatternHasProperty(Pattern, SDNPInFlag, CGP); |
Evan Cheng | ef61ed3 | 2007-09-07 23:59:02 +0000 | [diff] [blame] | 910 | bool NodeHasOutFlag = isRoot && |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 911 | PatternHasProperty(Pattern, SDNPOutFlag, CGP); |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 912 | bool NodeHasChain = InstPatNode && |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 913 | PatternHasProperty(InstPatNode, SDNPHasChain, CGP); |
Evan Cheng | 3eff89b | 2006-05-10 02:47:57 +0000 | [diff] [blame] | 914 | bool InputHasChain = isRoot && |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 915 | NodeHasProperty(Pattern, SDNPHasChain, CGP); |
Chris Lattner | efe9f4a | 2006-11-04 05:12:02 +0000 | [diff] [blame] | 916 | unsigned NumResults = Inst.getNumResults(); |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 917 | unsigned NumDstRegs = HasImpResults ? DstRegs.size() : 0; |
Evan Cheng | 4fba281 | 2005-12-20 07:37:41 +0000 | [diff] [blame] | 918 | |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 919 | // Record output varargs info. |
| 920 | OutputIsVariadic = IsVariadic; |
| 921 | |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 922 | if (NodeHasOptInFlag) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 923 | emitCode("bool HasInFlag = " |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 924 | "(N.getOperand(N.getNumOperands()-1).getValueType() == MVT::Flag);"); |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 925 | } |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 926 | if (IsVariadic) |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 927 | emitCode("SmallVector<SDOperand, 8> Ops" + utostr(OpcNo) + ";"); |
Evan Cheng | 4fba281 | 2005-12-20 07:37:41 +0000 | [diff] [blame] | 928 | |
Evan Cheng | 823b752 | 2006-01-19 21:57:10 +0000 | [diff] [blame] | 929 | // How many results is this pattern expected to produce? |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 930 | unsigned NumPatResults = 0; |
Evan Cheng | 823b752 | 2006-01-19 21:57:10 +0000 | [diff] [blame] | 931 | for (unsigned i = 0, e = Pattern->getExtTypes().size(); i != e; i++) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 932 | MVT::SimpleValueType VT = Pattern->getTypeNum(i); |
Evan Cheng | 823b752 | 2006-01-19 21:57:10 +0000 | [diff] [blame] | 933 | if (VT != MVT::isVoid && VT != MVT::Flag) |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 934 | NumPatResults++; |
Evan Cheng | 823b752 | 2006-01-19 21:57:10 +0000 | [diff] [blame] | 935 | } |
| 936 | |
Evan Cheng | 4326ef5 | 2006-10-12 02:08:53 +0000 | [diff] [blame] | 937 | if (OrigChains.size() > 0) { |
| 938 | // The original input chain is being ignored. If it is not just |
| 939 | // pointing to the op that's being folded, we should create a |
| 940 | // TokenFactor with it and the chain of the folded op as the new chain. |
| 941 | // We could potentially be doing multiple levels of folding, in that |
| 942 | // case, the TokenFactor can have more operands. |
| 943 | emitCode("SmallVector<SDOperand, 8> InChains;"); |
| 944 | for (unsigned i = 0, e = OrigChains.size(); i < e; ++i) { |
| 945 | emitCode("if (" + OrigChains[i].first + ".Val != " + |
| 946 | OrigChains[i].second + ".Val) {"); |
| 947 | emitCode(" AddToISelQueue(" + OrigChains[i].first + ");"); |
| 948 | emitCode(" InChains.push_back(" + OrigChains[i].first + ");"); |
| 949 | emitCode("}"); |
| 950 | } |
| 951 | emitCode("AddToISelQueue(" + ChainName + ");"); |
| 952 | emitCode("InChains.push_back(" + ChainName + ");"); |
| 953 | emitCode(ChainName + " = CurDAG->getNode(ISD::TokenFactor, MVT::Other, " |
| 954 | "&InChains[0], InChains.size());"); |
| 955 | } |
| 956 | |
Chris Lattner | efe9f4a | 2006-11-04 05:12:02 +0000 | [diff] [blame] | 957 | // Loop over all of the operands of the instruction pattern, emitting code |
| 958 | // to fill them all in. The node 'N' usually has number children equal to |
| 959 | // the number of input operands of the instruction. However, in cases |
| 960 | // where there are predicate operands for an instruction, we need to fill |
| 961 | // in the 'execute always' values. Match up the node operands to the |
| 962 | // instruction operands to do this. |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 963 | std::vector<std::string> AllOps; |
Chris Lattner | efe9f4a | 2006-11-04 05:12:02 +0000 | [diff] [blame] | 964 | for (unsigned ChildNo = 0, InstOpNo = NumResults; |
| 965 | InstOpNo != II.OperandList.size(); ++InstOpNo) { |
| 966 | std::vector<std::string> Ops; |
| 967 | |
Dan Gohman | d35121a | 2008-05-29 19:57:41 +0000 | [diff] [blame] | 968 | // Determine what to emit for this operand. |
Evan Cheng | 5903963 | 2007-05-08 21:04:07 +0000 | [diff] [blame] | 969 | Record *OperandNode = II.OperandList[InstOpNo].Rec; |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 970 | if ((OperandNode->isSubClassOf("PredicateOperand") || |
| 971 | OperandNode->isSubClassOf("OptionalDefOperand")) && |
| 972 | !CGP.getDefaultOperand(OperandNode).DefaultOps.empty()) { |
Dan Gohman | d35121a | 2008-05-29 19:57:41 +0000 | [diff] [blame] | 973 | // This is a predicate or optional def operand; emit the |
Evan Cheng | a955939 | 2007-07-06 01:05:26 +0000 | [diff] [blame] | 974 | // 'default ops' operands. |
| 975 | const DAGDefaultOperand &DefaultOp = |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 976 | CGP.getDefaultOperand(II.OperandList[InstOpNo].Rec); |
Evan Cheng | a955939 | 2007-07-06 01:05:26 +0000 | [diff] [blame] | 977 | for (unsigned i = 0, e = DefaultOp.DefaultOps.size(); i != e; ++i) { |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 978 | Ops = EmitResultCode(DefaultOp.DefaultOps[i], DstRegs, |
Chris Lattner | efe9f4a | 2006-11-04 05:12:02 +0000 | [diff] [blame] | 979 | InFlagDecled, ResNodeDecled); |
| 980 | AllOps.insert(AllOps.end(), Ops.begin(), Ops.end()); |
| 981 | } |
Dan Gohman | d35121a | 2008-05-29 19:57:41 +0000 | [diff] [blame] | 982 | } else { |
| 983 | // Otherwise this is a normal operand or a predicate operand without |
| 984 | // 'execute always'; emit it. |
| 985 | Ops = EmitResultCode(N->getChild(ChildNo), DstRegs, |
| 986 | InFlagDecled, ResNodeDecled); |
| 987 | AllOps.insert(AllOps.end(), Ops.begin(), Ops.end()); |
| 988 | ++ChildNo; |
Chris Lattner | efe9f4a | 2006-11-04 05:12:02 +0000 | [diff] [blame] | 989 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 990 | } |
| 991 | |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 992 | // Emit all the chain and CopyToReg stuff. |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 993 | bool ChainEmitted = NodeHasChain; |
| 994 | if (NodeHasChain) |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 995 | emitCode("AddToISelQueue(" + ChainName + ");"); |
Evan Cheng | bc6b86a | 2006-06-14 19:27:50 +0000 | [diff] [blame] | 996 | if (NodeHasInFlag || HasImpInputs) |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 997 | EmitInFlagSelectCode(Pattern, "N", ChainEmitted, |
| 998 | InFlagDecled, ResNodeDecled, true); |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 999 | if (NodeHasOptInFlag || NodeHasInFlag || HasImpInputs) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1000 | if (!InFlagDecled) { |
| 1001 | emitCode("SDOperand InFlag(0, 0);"); |
| 1002 | InFlagDecled = true; |
| 1003 | } |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1004 | if (NodeHasOptInFlag) { |
| 1005 | emitCode("if (HasInFlag) {"); |
| 1006 | emitCode(" InFlag = N.getOperand(N.getNumOperands()-1);"); |
| 1007 | emitCode(" AddToISelQueue(InFlag);"); |
| 1008 | emitCode("}"); |
| 1009 | } |
Evan Cheng | bc6b86a | 2006-06-14 19:27:50 +0000 | [diff] [blame] | 1010 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1011 | |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1012 | unsigned ResNo = TmpNo++; |
Evan Cheng | 3eff89b | 2006-05-10 02:47:57 +0000 | [diff] [blame] | 1013 | if (!isRoot || InputHasChain || NodeHasChain || NodeHasOutFlag || |
Evan Cheng | ef61ed3 | 2007-09-07 23:59:02 +0000 | [diff] [blame] | 1014 | NodeHasOptInFlag || HasImpResults) { |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1015 | std::string Code; |
| 1016 | std::string Code2; |
| 1017 | std::string NodeName; |
| 1018 | if (!isRoot) { |
| 1019 | NodeName = "Tmp" + utostr(ResNo); |
Dan Gohman | a6a1ab3 | 2007-07-24 22:58:00 +0000 | [diff] [blame] | 1020 | Code2 = "SDOperand " + NodeName + "("; |
Evan Cheng | 9789aaa | 2006-01-24 20:46:50 +0000 | [diff] [blame] | 1021 | } else { |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1022 | NodeName = "ResNode"; |
Lauro Ramos Venancio | 195c6c2 | 2007-04-26 17:03:22 +0000 | [diff] [blame] | 1023 | if (!ResNodeDecled) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1024 | Code2 = "SDNode *" + NodeName + " = "; |
Lauro Ramos Venancio | 195c6c2 | 2007-04-26 17:03:22 +0000 | [diff] [blame] | 1025 | ResNodeDecled = true; |
| 1026 | } else |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1027 | Code2 = NodeName + " = "; |
Evan Cheng | bcecf33 | 2005-12-17 01:19:28 +0000 | [diff] [blame] | 1028 | } |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1029 | |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1030 | Code += "CurDAG->getTargetNode(Opc" + utostr(OpcNo); |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1031 | unsigned OpsNo = OpcNo; |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 1032 | emitOpcode(II.Namespace + "::" + II.TheDef->getName()); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1033 | |
| 1034 | // Output order: results, chain, flags |
| 1035 | // Result types. |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 1036 | if (NumResults > 0 && N->getTypeNum(0) != MVT::isVoid) { |
| 1037 | Code += ", VT" + utostr(VTNo); |
| 1038 | emitVT(getEnumName(N->getTypeNum(0))); |
| 1039 | } |
Evan Cheng | ef61ed3 | 2007-09-07 23:59:02 +0000 | [diff] [blame] | 1040 | // Add types for implicit results in physical registers, scheduler will |
| 1041 | // care of adding copyfromreg nodes. |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1042 | for (unsigned i = 0; i < NumDstRegs; i++) { |
| 1043 | Record *RR = DstRegs[i]; |
| 1044 | if (RR->isSubClassOf("Register")) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1045 | MVT::SimpleValueType RVT = getRegisterValueType(RR, CGT); |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1046 | Code += ", " + getEnumName(RVT); |
Evan Cheng | ef61ed3 | 2007-09-07 23:59:02 +0000 | [diff] [blame] | 1047 | } |
| 1048 | } |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1049 | if (NodeHasChain) |
| 1050 | Code += ", MVT::Other"; |
| 1051 | if (NodeHasOutFlag) |
| 1052 | Code += ", MVT::Flag"; |
| 1053 | |
| 1054 | // Inputs. |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1055 | if (IsVariadic) { |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1056 | for (unsigned i = 0, e = AllOps.size(); i != e; ++i) |
| 1057 | emitCode("Ops" + utostr(OpsNo) + ".push_back(" + AllOps[i] + ");"); |
| 1058 | AllOps.clear(); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1059 | |
Chris Lattner | 7c3a96b | 2006-11-14 18:41:38 +0000 | [diff] [blame] | 1060 | // Figure out whether any operands at the end of the op list are not |
| 1061 | // part of the variable section. |
| 1062 | std::string EndAdjust; |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1063 | if (NodeHasInFlag || HasImpInputs) |
Chris Lattner | 7c3a96b | 2006-11-14 18:41:38 +0000 | [diff] [blame] | 1064 | EndAdjust = "-1"; // Always has one flag. |
| 1065 | else if (NodeHasOptInFlag) |
| 1066 | EndAdjust = "-(HasInFlag?1:0)"; // May have a flag. |
| 1067 | |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1068 | emitCode("for (unsigned i = NumInputRootOps + " + utostr(NodeHasChain) + |
Chris Lattner | 7c3a96b | 2006-11-14 18:41:38 +0000 | [diff] [blame] | 1069 | ", e = N.getNumOperands()" + EndAdjust + "; i != e; ++i) {"); |
| 1070 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1071 | emitCode(" AddToISelQueue(N.getOperand(i));"); |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1072 | emitCode(" Ops" + utostr(OpsNo) + ".push_back(N.getOperand(i));"); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1073 | emitCode("}"); |
| 1074 | } |
| 1075 | |
Dan Gohman | 37cdad3 | 2008-06-02 17:40:38 +0000 | [diff] [blame] | 1076 | // Generate MemOperandSDNodes nodes for each memory accesses covered by |
| 1077 | // this pattern. |
| 1078 | if (II.isSimpleLoad | II.mayLoad | II.mayStore) { |
| 1079 | std::vector<std::string>::const_iterator mi, mie; |
| 1080 | for (mi = LSI.begin(), mie = LSI.end(); mi != mie; ++mi) { |
| 1081 | emitCode("SDOperand LSI_" + *mi + " = " |
Mon P Wang | 2887310 | 2008-06-25 08:15:39 +0000 | [diff] [blame] | 1082 | "CurDAG->getMemOperand(cast<MemSDNode>(" + |
Dan Gohman | 37cdad3 | 2008-06-02 17:40:38 +0000 | [diff] [blame] | 1083 | *mi + ")->getMemOperand());"); |
| 1084 | if (IsVariadic) |
| 1085 | emitCode("Ops" + utostr(OpsNo) + ".push_back(LSI_" + *mi + ");"); |
| 1086 | else |
| 1087 | AllOps.push_back("LSI_" + *mi); |
| 1088 | } |
| 1089 | } |
| 1090 | |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1091 | if (NodeHasChain) { |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1092 | if (IsVariadic) |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1093 | emitCode("Ops" + utostr(OpsNo) + ".push_back(" + ChainName + ");"); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1094 | else |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1095 | AllOps.push_back(ChainName); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1096 | } |
| 1097 | |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1098 | if (IsVariadic) { |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1099 | if (NodeHasInFlag || HasImpInputs) |
| 1100 | emitCode("Ops" + utostr(OpsNo) + ".push_back(InFlag);"); |
| 1101 | else if (NodeHasOptInFlag) { |
| 1102 | emitCode("if (HasInFlag)"); |
| 1103 | emitCode(" Ops" + utostr(OpsNo) + ".push_back(InFlag);"); |
| 1104 | } |
| 1105 | Code += ", &Ops" + utostr(OpsNo) + "[0], Ops" + utostr(OpsNo) + |
| 1106 | ".size()"; |
| 1107 | } else if (NodeHasInFlag || NodeHasOptInFlag || HasImpInputs) |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1108 | AllOps.push_back("InFlag"); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1109 | |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1110 | unsigned NumOps = AllOps.size(); |
| 1111 | if (NumOps) { |
| 1112 | if (!NodeHasOptInFlag && NumOps < 4) { |
| 1113 | for (unsigned i = 0; i != NumOps; ++i) |
| 1114 | Code += ", " + AllOps[i]; |
| 1115 | } else { |
| 1116 | std::string OpsCode = "SDOperand Ops" + utostr(OpsNo) + "[] = { "; |
| 1117 | for (unsigned i = 0; i != NumOps; ++i) { |
| 1118 | OpsCode += AllOps[i]; |
| 1119 | if (i != NumOps-1) |
| 1120 | OpsCode += ", "; |
| 1121 | } |
| 1122 | emitCode(OpsCode + " };"); |
| 1123 | Code += ", Ops" + utostr(OpsNo) + ", "; |
| 1124 | if (NodeHasOptInFlag) { |
| 1125 | Code += "HasInFlag ? "; |
| 1126 | Code += utostr(NumOps) + " : " + utostr(NumOps-1); |
| 1127 | } else |
| 1128 | Code += utostr(NumOps); |
| 1129 | } |
| 1130 | } |
| 1131 | |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1132 | if (!isRoot) |
| 1133 | Code += "), 0"; |
| 1134 | emitCode(Code2 + Code + ");"); |
| 1135 | |
Anton Korobeynikov | ae9f3a3 | 2008-02-20 11:08:44 +0000 | [diff] [blame] | 1136 | if (NodeHasChain) { |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1137 | // Remember which op produces the chain. |
| 1138 | if (!isRoot) |
| 1139 | emitCode(ChainName + " = SDOperand(" + NodeName + |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1140 | ".Val, " + utostr(NumResults+NumDstRegs) + ");"); |
Evan Cheng | e945f4d | 2006-06-14 22:22:20 +0000 | [diff] [blame] | 1141 | else |
| 1142 | emitCode(ChainName + " = SDOperand(" + NodeName + |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1143 | ", " + utostr(NumResults+NumDstRegs) + ");"); |
Anton Korobeynikov | ae9f3a3 | 2008-02-20 11:08:44 +0000 | [diff] [blame] | 1144 | } |
Evan Cheng | 1b80f4d | 2005-12-19 07:18:51 +0000 | [diff] [blame] | 1145 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1146 | if (!isRoot) { |
| 1147 | NodeOps.push_back("Tmp" + utostr(ResNo)); |
| 1148 | return NodeOps; |
| 1149 | } |
Evan Cheng | 045953c | 2006-05-10 00:05:46 +0000 | [diff] [blame] | 1150 | |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1151 | bool NeedReplace = false; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1152 | if (NodeHasOutFlag) { |
| 1153 | if (!InFlagDecled) { |
Dan Gohman | a6a1ab3 | 2007-07-24 22:58:00 +0000 | [diff] [blame] | 1154 | emitCode("SDOperand InFlag(ResNode, " + |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 1155 | utostr(NumResults+NumDstRegs+(unsigned)NodeHasChain) + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1156 | InFlagDecled = true; |
| 1157 | } else |
| 1158 | emitCode("InFlag = SDOperand(ResNode, " + |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 1159 | utostr(NumResults+NumDstRegs+(unsigned)NodeHasChain) + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1160 | } |
Evan Cheng | 4fba281 | 2005-12-20 07:37:41 +0000 | [diff] [blame] | 1161 | |
Evan Cheng | 9793888 | 2005-12-22 02:24:50 +0000 | [diff] [blame] | 1162 | if (FoldedChains.size() > 0) { |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 1163 | std::string Code; |
Evan Cheng | 1b80f4d | 2005-12-19 07:18:51 +0000 | [diff] [blame] | 1164 | for (unsigned j = 0, e = FoldedChains.size(); j < e; j++) |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1165 | emitCode("ReplaceUses(SDOperand(" + |
Evan Cheng | 67212a0 | 2006-02-09 22:12:27 +0000 | [diff] [blame] | 1166 | FoldedChains[j].first + ".Val, " + |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1167 | utostr(FoldedChains[j].second) + "), SDOperand(ResNode, " + |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1168 | utostr(NumResults+NumDstRegs) + "));"); |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1169 | NeedReplace = true; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1170 | } |
Evan Cheng | f9fc25d | 2005-12-19 22:40:04 +0000 | [diff] [blame] | 1171 | |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1172 | if (NodeHasOutFlag) { |
Evan Cheng | a58891f | 2008-02-05 22:50:29 +0000 | [diff] [blame] | 1173 | if (FoldedFlag.first != "") { |
| 1174 | emitCode("ReplaceUses(SDOperand(" + FoldedFlag.first + ".Val, " + |
| 1175 | utostr(FoldedFlag.second) + "), InFlag);"); |
| 1176 | } else { |
| 1177 | assert(NodeHasProperty(Pattern, SDNPOutFlag, CGP)); |
| 1178 | emitCode("ReplaceUses(SDOperand(N.Val, " + |
| 1179 | utostr(NumPatResults + (unsigned)InputHasChain) |
| 1180 | +"), InFlag);"); |
| 1181 | } |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1182 | NeedReplace = true; |
| 1183 | } |
| 1184 | |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 1185 | if (NeedReplace && InputHasChain) |
| 1186 | emitCode("ReplaceUses(SDOperand(N.Val, " + |
| 1187 | utostr(NumPatResults) + "), SDOperand(" + ChainName |
| 1188 | + ".Val, " + ChainName + ".ResNo" + "));"); |
Evan Cheng | 9793888 | 2005-12-22 02:24:50 +0000 | [diff] [blame] | 1189 | |
Evan Cheng | ed66e85 | 2006-03-09 08:19:11 +0000 | [diff] [blame] | 1190 | // User does not expect the instruction would produce a chain! |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1191 | if ((!InputHasChain && NodeHasChain) && NodeHasOutFlag) { |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1192 | ; |
Evan Cheng | 3eff89b | 2006-05-10 02:47:57 +0000 | [diff] [blame] | 1193 | } else if (InputHasChain && !NodeHasChain) { |
| 1194 | // One of the inner node produces a chain. |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1195 | if (NodeHasOutFlag) |
Bill Wendling | 27926af | 2008-02-26 10:45:29 +0000 | [diff] [blame] | 1196 | emitCode("ReplaceUses(SDOperand(N.Val, " + utostr(NumPatResults+1) + |
| 1197 | "), SDOperand(ResNode, N.ResNo-1));"); |
| 1198 | emitCode("ReplaceUses(SDOperand(N.Val, " + utostr(NumPatResults) + |
| 1199 | "), " + ChainName + ");"); |
Evan Cheng | 4fba281 | 2005-12-20 07:37:41 +0000 | [diff] [blame] | 1200 | } |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1201 | |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 1202 | emitCode("return ResNode;"); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1203 | } else { |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1204 | std::string Code = "return CurDAG->SelectNodeTo(N.Val, Opc" + |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 1205 | utostr(OpcNo); |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 1206 | if (N->getTypeNum(0) != MVT::isVoid) |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 1207 | Code += ", VT" + utostr(VTNo); |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 1208 | if (NodeHasOutFlag) |
Chris Lattner | 8a0604b | 2006-01-28 20:31:24 +0000 | [diff] [blame] | 1209 | Code += ", MVT::Flag"; |
Evan Cheng | f037ca6 | 2006-08-27 08:11:28 +0000 | [diff] [blame] | 1210 | |
| 1211 | if (NodeHasInFlag || NodeHasOptInFlag || HasImpInputs) |
| 1212 | AllOps.push_back("InFlag"); |
| 1213 | |
| 1214 | unsigned NumOps = AllOps.size(); |
| 1215 | if (NumOps) { |
| 1216 | if (!NodeHasOptInFlag && NumOps < 4) { |
| 1217 | for (unsigned i = 0; i != NumOps; ++i) |
| 1218 | Code += ", " + AllOps[i]; |
| 1219 | } else { |
| 1220 | std::string OpsCode = "SDOperand Ops" + utostr(OpcNo) + "[] = { "; |
| 1221 | for (unsigned i = 0; i != NumOps; ++i) { |
| 1222 | OpsCode += AllOps[i]; |
| 1223 | if (i != NumOps-1) |
| 1224 | OpsCode += ", "; |
| 1225 | } |
| 1226 | emitCode(OpsCode + " };"); |
| 1227 | Code += ", Ops" + utostr(OpcNo) + ", "; |
| 1228 | Code += utostr(NumOps); |
| 1229 | } |
| 1230 | } |
Evan Cheng | 95514ba | 2006-08-26 08:00:10 +0000 | [diff] [blame] | 1231 | emitCode(Code + ");"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1232 | emitOpcode(II.Namespace + "::" + II.TheDef->getName()); |
| 1233 | if (N->getTypeNum(0) != MVT::isVoid) |
| 1234 | emitVT(getEnumName(N->getTypeNum(0))); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1235 | } |
Evan Cheng | 4fba281 | 2005-12-20 07:37:41 +0000 | [diff] [blame] | 1236 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1237 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1238 | } else if (Op->isSubClassOf("SDNodeXForm")) { |
| 1239 | assert(N->getNumChildren() == 1 && "node xform should have one child!"); |
Evan Cheng | 863bf5a | 2006-03-20 22:53:06 +0000 | [diff] [blame] | 1240 | // PatLeaf node - the operand may or may not be a leaf node. But it should |
| 1241 | // behave like one. |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1242 | std::vector<std::string> Ops = |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 1243 | EmitResultCode(N->getChild(0), DstRegs, InFlagDecled, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1244 | ResNodeDecled, true); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1245 | unsigned ResNo = TmpNo++; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1246 | emitCode("SDOperand Tmp" + utostr(ResNo) + " = Transform_" + Op->getName() |
| 1247 | + "(" + Ops.back() + ".Val);"); |
| 1248 | NodeOps.push_back("Tmp" + utostr(ResNo)); |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1249 | if (isRoot) |
| 1250 | emitCode("return Tmp" + utostr(ResNo) + ".Val;"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1251 | return NodeOps; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1252 | } else { |
| 1253 | N->dump(); |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1254 | cerr << "\n"; |
Chris Lattner | 7893f13 | 2006-01-11 01:33:49 +0000 | [diff] [blame] | 1255 | throw std::string("Unknown node in result pattern!"); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1256 | } |
| 1257 | } |
| 1258 | |
Chris Lattner | 488580c | 2006-01-28 19:06:51 +0000 | [diff] [blame] | 1259 | /// InsertOneTypeCheck - Insert a type-check for an unresolved type in 'Pat' |
| 1260 | /// and add it to the tree. 'Pat' and 'Other' are isomorphic trees except that |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1261 | /// 'Pat' may be missing types. If we find an unresolved type to add a check |
| 1262 | /// for, this returns true otherwise false if Pat has all types. |
| 1263 | bool InsertOneTypeCheck(TreePatternNode *Pat, TreePatternNode *Other, |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1264 | const std::string &Prefix, bool isRoot = false) { |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1265 | // Did we find one? |
Evan Cheng | d15531b | 2006-05-19 07:24:32 +0000 | [diff] [blame] | 1266 | if (Pat->getExtTypes() != Other->getExtTypes()) { |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1267 | // Move a type over from 'other' to 'pat'. |
Nate Begeman | b73628b | 2005-12-30 00:12:56 +0000 | [diff] [blame] | 1268 | Pat->setTypes(Other->getExtTypes()); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1269 | // The top level node type is checked outside of the select function. |
| 1270 | if (!isRoot) |
| 1271 | emitCheck(Prefix + ".Val->getValueType(0) == " + |
| 1272 | getName(Pat->getTypeNum(0))); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1273 | return true; |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1274 | } |
| 1275 | |
Evan Cheng | 51fecc8 | 2006-01-09 18:27:06 +0000 | [diff] [blame] | 1276 | unsigned OpNo = |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1277 | (unsigned) NodeHasProperty(Pat, SDNPHasChain, CGP); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1278 | for (unsigned i = 0, e = Pat->getNumChildren(); i != e; ++i, ++OpNo) |
| 1279 | if (InsertOneTypeCheck(Pat->getChild(i), Other->getChild(i), |
| 1280 | Prefix + utostr(OpNo))) |
| 1281 | return true; |
| 1282 | return false; |
| 1283 | } |
| 1284 | |
| 1285 | private: |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 1286 | /// EmitInFlagSelectCode - Emit the flag operands for the DAG that is |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1287 | /// being built. |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 1288 | void EmitInFlagSelectCode(TreePatternNode *N, const std::string &RootName, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1289 | bool &ChainEmitted, bool &InFlagDecled, |
| 1290 | bool &ResNodeDecled, bool isRoot = false) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1291 | const CodeGenTarget &T = CGP.getTargetInfo(); |
Evan Cheng | 51fecc8 | 2006-01-09 18:27:06 +0000 | [diff] [blame] | 1292 | unsigned OpNo = |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1293 | (unsigned) NodeHasProperty(N, SDNPHasChain, CGP); |
| 1294 | bool HasInFlag = NodeHasProperty(N, SDNPInFlag, CGP); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1295 | for (unsigned i = 0, e = N->getNumChildren(); i != e; ++i, ++OpNo) { |
| 1296 | TreePatternNode *Child = N->getChild(i); |
| 1297 | if (!Child->isLeaf()) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1298 | EmitInFlagSelectCode(Child, RootName + utostr(OpNo), ChainEmitted, |
| 1299 | InFlagDecled, ResNodeDecled); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1300 | } else { |
| 1301 | if (DefInit *DI = dynamic_cast<DefInit*>(Child->getLeafValue())) { |
Evan Cheng | b4ad33c | 2006-01-19 01:55:45 +0000 | [diff] [blame] | 1302 | if (!Child->getName().empty()) { |
| 1303 | std::string Name = RootName + utostr(OpNo); |
| 1304 | if (Duplicates.find(Name) != Duplicates.end()) |
| 1305 | // A duplicate! Do not emit a copy for this node. |
| 1306 | continue; |
| 1307 | } |
| 1308 | |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1309 | Record *RR = DI->getDef(); |
| 1310 | if (RR->isSubClassOf("Register")) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1311 | MVT::SimpleValueType RVT = getRegisterValueType(RR, T); |
Evan Cheng | bcecf33 | 2005-12-17 01:19:28 +0000 | [diff] [blame] | 1312 | if (RVT == MVT::Flag) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1313 | if (!InFlagDecled) { |
| 1314 | emitCode("SDOperand InFlag = " + RootName + utostr(OpNo) + ";"); |
| 1315 | InFlagDecled = true; |
| 1316 | } else |
| 1317 | emitCode("InFlag = " + RootName + utostr(OpNo) + ";"); |
| 1318 | emitCode("AddToISelQueue(InFlag);"); |
Evan Cheng | b2c6d49 | 2006-01-11 22:16:13 +0000 | [diff] [blame] | 1319 | } else { |
| 1320 | if (!ChainEmitted) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1321 | emitCode("SDOperand Chain = CurDAG->getEntryNode();"); |
Evan Cheng | e4a8a6e | 2006-02-03 06:22:41 +0000 | [diff] [blame] | 1322 | ChainName = "Chain"; |
Evan Cheng | b2c6d49 | 2006-01-11 22:16:13 +0000 | [diff] [blame] | 1323 | ChainEmitted = true; |
| 1324 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1325 | emitCode("AddToISelQueue(" + RootName + utostr(OpNo) + ");"); |
| 1326 | if (!InFlagDecled) { |
| 1327 | emitCode("SDOperand InFlag(0, 0);"); |
| 1328 | InFlagDecled = true; |
| 1329 | } |
| 1330 | std::string Decl = (!ResNodeDecled) ? "SDNode *" : ""; |
| 1331 | emitCode(Decl + "ResNode = CurDAG->getCopyToReg(" + ChainName + |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1332 | ", " + getQualifiedName(RR) + |
Evan Cheng | 7a33db0 | 2006-08-26 07:39:28 +0000 | [diff] [blame] | 1333 | ", " + RootName + utostr(OpNo) + ", InFlag).Val;"); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1334 | ResNodeDecled = true; |
Evan Cheng | 67212a0 | 2006-02-09 22:12:27 +0000 | [diff] [blame] | 1335 | emitCode(ChainName + " = SDOperand(ResNode, 0);"); |
| 1336 | emitCode("InFlag = SDOperand(ResNode, 1);"); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1337 | } |
| 1338 | } |
| 1339 | } |
| 1340 | } |
| 1341 | } |
Evan Cheng | 5459773 | 2006-01-26 00:22:25 +0000 | [diff] [blame] | 1342 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1343 | if (HasInFlag) { |
| 1344 | if (!InFlagDecled) { |
| 1345 | emitCode("SDOperand InFlag = " + RootName + |
| 1346 | ".getOperand(" + utostr(OpNo) + ");"); |
| 1347 | InFlagDecled = true; |
| 1348 | } else |
| 1349 | emitCode("InFlag = " + RootName + |
| 1350 | ".getOperand(" + utostr(OpNo) + ");"); |
| 1351 | emitCode("AddToISelQueue(InFlag);"); |
| 1352 | } |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1353 | } |
| 1354 | }; |
| 1355 | |
Chris Lattner | d1ff35a | 2005-09-23 21:33:23 +0000 | [diff] [blame] | 1356 | /// EmitCodeForPattern - Given a pattern to match, emit code to the specified |
| 1357 | /// stream to match the pattern, and generate the code for the match if it |
Chris Lattner | 355408b | 2006-01-29 02:43:35 +0000 | [diff] [blame] | 1358 | /// succeeds. Returns true if the pattern is not guaranteed to match. |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1359 | void DAGISelEmitter::GenerateCodeForPattern(const PatternToMatch &Pattern, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1360 | std::vector<std::pair<unsigned, std::string> > &GeneratedCode, |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1361 | std::set<std::string> &GeneratedDecl, |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 1362 | std::vector<std::string> &TargetOpcodes, |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1363 | std::vector<std::string> &TargetVTs, |
| 1364 | bool &OutputIsVariadic, |
| 1365 | unsigned &NumInputRootOps) { |
| 1366 | OutputIsVariadic = false; |
| 1367 | NumInputRootOps = 0; |
| 1368 | |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1369 | PatternCodeEmitter Emitter(CGP, Pattern.getPredicates(), |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 1370 | Pattern.getSrcPattern(), Pattern.getDstPattern(), |
Evan Cheng | f872940 | 2006-07-16 06:12:52 +0000 | [diff] [blame] | 1371 | GeneratedCode, GeneratedDecl, |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1372 | TargetOpcodes, TargetVTs, |
| 1373 | OutputIsVariadic, NumInputRootOps); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1374 | |
Chris Lattner | 8fc3568 | 2005-09-23 23:16:51 +0000 | [diff] [blame] | 1375 | // Emit the matcher, capturing named arguments in VariableMap. |
Evan Cheng | 7b05bd5 | 2005-12-23 22:11:47 +0000 | [diff] [blame] | 1376 | bool FoundChain = false; |
Evan Cheng | 13e9e9c | 2006-10-16 06:33:44 +0000 | [diff] [blame] | 1377 | Emitter.EmitMatchCode(Pattern.getSrcPattern(), NULL, "N", "", FoundChain); |
Evan Cheng | b915f31 | 2005-12-09 22:45:35 +0000 | [diff] [blame] | 1378 | |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 1379 | // TP - Get *SOME* tree pattern, we don't care which. |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1380 | TreePattern &TP = *CGP.pf_begin()->second; |
Chris Lattner | 296dfe3 | 2005-09-24 00:50:51 +0000 | [diff] [blame] | 1381 | |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 1382 | // At this point, we know that we structurally match the pattern, but the |
| 1383 | // types of the nodes may not match. Figure out the fewest number of type |
| 1384 | // comparisons we need to emit. For example, if there is only one integer |
| 1385 | // type supported by a target, there should be no type comparisons at all for |
| 1386 | // integer patterns! |
| 1387 | // |
| 1388 | // To figure out the fewest number of type checks needed, clone the pattern, |
| 1389 | // remove the types, then perform type inference on the pattern as a whole. |
| 1390 | // If there are unresolved types, emit an explicit check for those types, |
| 1391 | // apply the type to the tree, then rerun type inference. Iterate until all |
| 1392 | // types are resolved. |
| 1393 | // |
Evan Cheng | 58e84a6 | 2005-12-14 22:02:59 +0000 | [diff] [blame] | 1394 | TreePatternNode *Pat = Pattern.getSrcPattern()->clone(); |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 1395 | RemoveAllTypes(Pat); |
Chris Lattner | 7e82f13 | 2005-10-15 21:34:21 +0000 | [diff] [blame] | 1396 | |
| 1397 | do { |
| 1398 | // Resolve/propagate as many types as possible. |
| 1399 | try { |
| 1400 | bool MadeChange = true; |
| 1401 | while (MadeChange) |
Chris Lattner | 488580c | 2006-01-28 19:06:51 +0000 | [diff] [blame] | 1402 | MadeChange = Pat->ApplyTypeConstraints(TP, |
| 1403 | true/*Ignore reg constraints*/); |
Chris Lattner | 7e82f13 | 2005-10-15 21:34:21 +0000 | [diff] [blame] | 1404 | } catch (...) { |
| 1405 | assert(0 && "Error: could not find consistent types for something we" |
| 1406 | " already decided was ok!"); |
| 1407 | abort(); |
| 1408 | } |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 1409 | |
Chris Lattner | 7e82f13 | 2005-10-15 21:34:21 +0000 | [diff] [blame] | 1410 | // Insert a check for an unresolved type and add it to the tree. If we find |
| 1411 | // an unresolved type to add a check for, this returns true and we iterate, |
| 1412 | // otherwise we are done. |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1413 | } while (Emitter.InsertOneTypeCheck(Pat, Pattern.getSrcPattern(), "N", true)); |
Evan Cheng | 1c3d19e | 2005-12-04 08:18:16 +0000 | [diff] [blame] | 1414 | |
Evan Cheng | 85dbe1a | 2007-09-12 23:30:14 +0000 | [diff] [blame] | 1415 | Emitter.EmitResultCode(Pattern.getDstPattern(), Pattern.getDstRegs(), |
Evan Cheng | 30729b4 | 2007-09-17 22:26:41 +0000 | [diff] [blame] | 1416 | false, false, false, true); |
Chris Lattner | 0ee7cff | 2005-10-14 04:11:13 +0000 | [diff] [blame] | 1417 | delete Pat; |
Chris Lattner | 3f7e914 | 2005-09-23 20:52:47 +0000 | [diff] [blame] | 1418 | } |
| 1419 | |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1420 | /// EraseCodeLine - Erase one code line from all of the patterns. If removing |
| 1421 | /// a line causes any of them to be empty, remove them and return true when |
| 1422 | /// done. |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1423 | static bool EraseCodeLine(std::vector<std::pair<const PatternToMatch*, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1424 | std::vector<std::pair<unsigned, std::string> > > > |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1425 | &Patterns) { |
| 1426 | bool ErasedPatterns = false; |
| 1427 | for (unsigned i = 0, e = Patterns.size(); i != e; ++i) { |
| 1428 | Patterns[i].second.pop_back(); |
| 1429 | if (Patterns[i].second.empty()) { |
| 1430 | Patterns.erase(Patterns.begin()+i); |
| 1431 | --i; --e; |
| 1432 | ErasedPatterns = true; |
| 1433 | } |
| 1434 | } |
| 1435 | return ErasedPatterns; |
| 1436 | } |
| 1437 | |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1438 | /// EmitPatterns - Emit code for at least one pattern, but try to group common |
| 1439 | /// code together between the patterns. |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1440 | void DAGISelEmitter::EmitPatterns(std::vector<std::pair<const PatternToMatch*, |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1441 | std::vector<std::pair<unsigned, std::string> > > > |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1442 | &Patterns, unsigned Indent, |
| 1443 | std::ostream &OS) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1444 | typedef std::pair<unsigned, std::string> CodeLine; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1445 | typedef std::vector<CodeLine> CodeList; |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1446 | typedef std::vector<std::pair<const PatternToMatch*, CodeList> > PatternList; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1447 | |
| 1448 | if (Patterns.empty()) return; |
| 1449 | |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1450 | // Figure out how many patterns share the next code line. Explicitly copy |
| 1451 | // FirstCodeLine so that we don't invalidate a reference when changing |
| 1452 | // Patterns. |
| 1453 | const CodeLine FirstCodeLine = Patterns.back().second.back(); |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1454 | unsigned LastMatch = Patterns.size()-1; |
| 1455 | while (LastMatch != 0 && Patterns[LastMatch-1].second.back() == FirstCodeLine) |
| 1456 | --LastMatch; |
| 1457 | |
| 1458 | // If not all patterns share this line, split the list into two pieces. The |
| 1459 | // first chunk will use this line, the second chunk won't. |
| 1460 | if (LastMatch != 0) { |
| 1461 | PatternList Shared(Patterns.begin()+LastMatch, Patterns.end()); |
| 1462 | PatternList Other(Patterns.begin(), Patterns.begin()+LastMatch); |
| 1463 | |
| 1464 | // FIXME: Emit braces? |
| 1465 | if (Shared.size() == 1) { |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1466 | const PatternToMatch &Pattern = *Shared.back().first; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1467 | OS << "\n" << std::string(Indent, ' ') << "// Pattern: "; |
| 1468 | Pattern.getSrcPattern()->print(OS); |
| 1469 | OS << "\n" << std::string(Indent, ' ') << "// Emits: "; |
| 1470 | Pattern.getDstPattern()->print(OS); |
| 1471 | OS << "\n"; |
Evan Cheng | c81d2a0 | 2006-04-19 20:36:09 +0000 | [diff] [blame] | 1472 | unsigned AddedComplexity = Pattern.getAddedComplexity(); |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1473 | OS << std::string(Indent, ' ') << "// Pattern complexity = " |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1474 | << getPatternSize(Pattern.getSrcPattern(), CGP) + AddedComplexity |
Evan Cheng | 5941320 | 2006-04-19 18:07:24 +0000 | [diff] [blame] | 1475 | << " cost = " |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1476 | << getResultPatternCost(Pattern.getDstPattern(), CGP) |
Evan Cheng | e6f3203 | 2006-07-19 00:24:41 +0000 | [diff] [blame] | 1477 | << " size = " |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1478 | << getResultPatternSize(Pattern.getDstPattern(), CGP) << "\n"; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1479 | } |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1480 | if (FirstCodeLine.first != 1) { |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1481 | OS << std::string(Indent, ' ') << "{\n"; |
| 1482 | Indent += 2; |
| 1483 | } |
| 1484 | EmitPatterns(Shared, Indent, OS); |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1485 | if (FirstCodeLine.first != 1) { |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1486 | Indent -= 2; |
| 1487 | OS << std::string(Indent, ' ') << "}\n"; |
| 1488 | } |
| 1489 | |
| 1490 | if (Other.size() == 1) { |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1491 | const PatternToMatch &Pattern = *Other.back().first; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1492 | OS << "\n" << std::string(Indent, ' ') << "// Pattern: "; |
| 1493 | Pattern.getSrcPattern()->print(OS); |
| 1494 | OS << "\n" << std::string(Indent, ' ') << "// Emits: "; |
| 1495 | Pattern.getDstPattern()->print(OS); |
| 1496 | OS << "\n"; |
Evan Cheng | c81d2a0 | 2006-04-19 20:36:09 +0000 | [diff] [blame] | 1497 | unsigned AddedComplexity = Pattern.getAddedComplexity(); |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1498 | OS << std::string(Indent, ' ') << "// Pattern complexity = " |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1499 | << getPatternSize(Pattern.getSrcPattern(), CGP) + AddedComplexity |
Evan Cheng | 5941320 | 2006-04-19 18:07:24 +0000 | [diff] [blame] | 1500 | << " cost = " |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1501 | << getResultPatternCost(Pattern.getDstPattern(), CGP) |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1502 | << " size = " |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1503 | << getResultPatternSize(Pattern.getDstPattern(), CGP) << "\n"; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1504 | } |
| 1505 | EmitPatterns(Other, Indent, OS); |
| 1506 | return; |
| 1507 | } |
| 1508 | |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1509 | // Remove this code from all of the patterns that share it. |
| 1510 | bool ErasedPatterns = EraseCodeLine(Patterns); |
| 1511 | |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1512 | bool isPredicate = FirstCodeLine.first == 1; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1513 | |
| 1514 | // Otherwise, every pattern in the list has this line. Emit it. |
| 1515 | if (!isPredicate) { |
| 1516 | // Normal code. |
| 1517 | OS << std::string(Indent, ' ') << FirstCodeLine.second << "\n"; |
| 1518 | } else { |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1519 | OS << std::string(Indent, ' ') << "if (" << FirstCodeLine.second; |
| 1520 | |
| 1521 | // If the next code line is another predicate, and if all of the pattern |
| 1522 | // in this group share the same next line, emit it inline now. Do this |
| 1523 | // until we run out of common predicates. |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1524 | while (!ErasedPatterns && Patterns.back().second.back().first == 1) { |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1525 | // Check that all of fhe patterns in Patterns end with the same predicate. |
| 1526 | bool AllEndWithSamePredicate = true; |
| 1527 | for (unsigned i = 0, e = Patterns.size(); i != e; ++i) |
| 1528 | if (Patterns[i].second.back() != Patterns.back().second.back()) { |
| 1529 | AllEndWithSamePredicate = false; |
| 1530 | break; |
| 1531 | } |
| 1532 | // If all of the predicates aren't the same, we can't share them. |
| 1533 | if (!AllEndWithSamePredicate) break; |
| 1534 | |
| 1535 | // Otherwise we can. Emit it shared now. |
| 1536 | OS << " &&\n" << std::string(Indent+4, ' ') |
| 1537 | << Patterns.back().second.back().second; |
| 1538 | ErasedPatterns = EraseCodeLine(Patterns); |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1539 | } |
Chris Lattner | 24e00a4 | 2006-01-29 04:41:05 +0000 | [diff] [blame] | 1540 | |
| 1541 | OS << ") {\n"; |
| 1542 | Indent += 2; |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1543 | } |
| 1544 | |
| 1545 | EmitPatterns(Patterns, Indent, OS); |
| 1546 | |
| 1547 | if (isPredicate) |
| 1548 | OS << std::string(Indent-2, ' ') << "}\n"; |
| 1549 | } |
| 1550 | |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 1551 | static std::string getOpcodeName(Record *Op, CodeGenDAGPatterns &CGP) { |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1552 | return CGP.getSDNodeInfo(Op).getEnumName(); |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1553 | } |
Chris Lattner | 8bc7472 | 2006-01-29 04:25:26 +0000 | [diff] [blame] | 1554 | |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1555 | static std::string getLegalCName(std::string OpName) { |
| 1556 | std::string::size_type pos = OpName.find("::"); |
| 1557 | if (pos != std::string::npos) |
| 1558 | OpName.replace(pos, 2, "_"); |
| 1559 | return OpName; |
Chris Lattner | 3748147 | 2005-09-26 21:59:35 +0000 | [diff] [blame] | 1560 | } |
| 1561 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1562 | void DAGISelEmitter::EmitInstructionSelector(std::ostream &OS) { |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1563 | const CodeGenTarget &Target = CGP.getTargetInfo(); |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1564 | |
Chris Lattner | f7560ed | 2006-11-20 18:54:33 +0000 | [diff] [blame] | 1565 | // Get the namespace to insert instructions into. Make sure not to pick up |
| 1566 | // "TargetInstrInfo" by accidentally getting the namespace off the PHI |
| 1567 | // instruction or something. |
| 1568 | std::string InstNS; |
| 1569 | for (CodeGenTarget::inst_iterator i = Target.inst_begin(), |
| 1570 | e = Target.inst_end(); i != e; ++i) { |
| 1571 | InstNS = i->second.Namespace; |
| 1572 | if (InstNS != "TargetInstrInfo") |
| 1573 | break; |
| 1574 | } |
| 1575 | |
Chris Lattner | b277cbc | 2005-10-18 04:41:01 +0000 | [diff] [blame] | 1576 | if (!InstNS.empty()) InstNS += "::"; |
| 1577 | |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1578 | // Group the patterns by their top-level opcodes. |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1579 | std::map<std::string, std::vector<const PatternToMatch*> > PatternsByOpcode; |
Evan Cheng | fceb57a | 2006-07-15 08:45:20 +0000 | [diff] [blame] | 1580 | // All unique target node emission functions. |
| 1581 | std::map<std::string, unsigned> EmitFunctions; |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 1582 | for (CodeGenDAGPatterns::ptm_iterator I = CGP.ptm_begin(), |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1583 | E = CGP.ptm_end(); I != E; ++I) { |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1584 | const PatternToMatch &Pattern = *I; |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1585 | |
| 1586 | TreePatternNode *Node = Pattern.getSrcPattern(); |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1587 | if (!Node->isLeaf()) { |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1588 | PatternsByOpcode[getOpcodeName(Node->getOperator(), CGP)]. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1589 | push_back(&Pattern); |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1590 | } else { |
| 1591 | const ComplexPattern *CP; |
Chris Lattner | 9c5d4de | 2006-11-03 01:11:05 +0000 | [diff] [blame] | 1592 | if (dynamic_cast<IntInit*>(Node->getLeafValue())) { |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1593 | PatternsByOpcode[getOpcodeName(CGP.getSDNodeNamed("imm"), CGP)]. |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1594 | push_back(&Pattern); |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1595 | } else if ((CP = NodeGetComplexPattern(Node, CGP))) { |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1596 | std::vector<Record*> OpNodes = CP->getRootNodes(); |
| 1597 | for (unsigned j = 0, e = OpNodes.size(); j != e; j++) { |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1598 | PatternsByOpcode[getOpcodeName(OpNodes[j], CGP)] |
| 1599 | .insert(PatternsByOpcode[getOpcodeName(OpNodes[j], CGP)].begin(), |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1600 | &Pattern); |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1601 | } |
| 1602 | } else { |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1603 | cerr << "Unrecognized opcode '"; |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1604 | Node->dump(); |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1605 | cerr << "' on tree pattern '"; |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 1606 | cerr << Pattern.getDstPattern()->getOperator()->getName() << "'!\n"; |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1607 | exit(1); |
| 1608 | } |
| 1609 | } |
| 1610 | } |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1611 | |
| 1612 | // For each opcode, there might be multiple select functions, one per |
| 1613 | // ValueType of the node (or its first operand if it doesn't produce a |
| 1614 | // non-chain result. |
| 1615 | std::map<std::string, std::vector<std::string> > OpcodeVTMap; |
| 1616 | |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1617 | // Emit one Select_* method for each top-level opcode. We do this instead of |
| 1618 | // emitting one giant switch statement to support compilers where this will |
| 1619 | // result in the recursive functions taking less stack space. |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1620 | for (std::map<std::string, std::vector<const PatternToMatch*> >::iterator |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1621 | PBOI = PatternsByOpcode.begin(), E = PatternsByOpcode.end(); |
| 1622 | PBOI != E; ++PBOI) { |
| 1623 | const std::string &OpName = PBOI->first; |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1624 | std::vector<const PatternToMatch*> &PatternsOfOp = PBOI->second; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1625 | assert(!PatternsOfOp.empty() && "No patterns but map has entry?"); |
| 1626 | |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1627 | // We want to emit all of the matching code now. However, we want to emit |
| 1628 | // the matches in order of minimal cost. Sort the patterns so the least |
| 1629 | // cost one is at the start. |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1630 | std::stable_sort(PatternsOfOp.begin(), PatternsOfOp.end(), |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 1631 | PatternSortingPredicate(CGP)); |
Evan Cheng | 21ad392 | 2006-02-07 00:37:41 +0000 | [diff] [blame] | 1632 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1633 | // Split them into groups by type. |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1634 | std::map<MVT::SimpleValueType, |
| 1635 | std::vector<const PatternToMatch*> > PatternsByType; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1636 | for (unsigned i = 0, e = PatternsOfOp.size(); i != e; ++i) { |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1637 | const PatternToMatch *Pat = PatternsOfOp[i]; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1638 | TreePatternNode *SrcPat = Pat->getSrcPattern(); |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1639 | MVT::SimpleValueType VT = SrcPat->getTypeNum(0); |
| 1640 | std::map<MVT::SimpleValueType, |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1641 | std::vector<const PatternToMatch*> >::iterator TI = |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1642 | PatternsByType.find(VT); |
| 1643 | if (TI != PatternsByType.end()) |
| 1644 | TI->second.push_back(Pat); |
| 1645 | else { |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1646 | std::vector<const PatternToMatch*> PVec; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1647 | PVec.push_back(Pat); |
| 1648 | PatternsByType.insert(std::make_pair(VT, PVec)); |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1649 | } |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1650 | } |
| 1651 | |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1652 | for (std::map<MVT::SimpleValueType, |
| 1653 | std::vector<const PatternToMatch*> >::iterator |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1654 | II = PatternsByType.begin(), EE = PatternsByType.end(); II != EE; |
| 1655 | ++II) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1656 | MVT::SimpleValueType OpVT = II->first; |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1657 | std::vector<const PatternToMatch*> &Patterns = II->second; |
Chris Lattner | 6490697 | 2006-09-21 18:28:27 +0000 | [diff] [blame] | 1658 | typedef std::vector<std::pair<unsigned,std::string> > CodeList; |
| 1659 | typedef std::vector<std::pair<unsigned,std::string> >::iterator CodeListI; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1660 | |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1661 | std::vector<std::pair<const PatternToMatch*, CodeList> > CodeForPatterns; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1662 | std::vector<std::vector<std::string> > PatternOpcodes; |
| 1663 | std::vector<std::vector<std::string> > PatternVTs; |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1664 | std::vector<std::set<std::string> > PatternDecls; |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1665 | std::vector<bool> OutputIsVariadicFlags; |
| 1666 | std::vector<unsigned> NumInputRootOpsCounts; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1667 | for (unsigned i = 0, e = Patterns.size(); i != e; ++i) { |
| 1668 | CodeList GeneratedCode; |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1669 | std::set<std::string> GeneratedDecl; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1670 | std::vector<std::string> TargetOpcodes; |
| 1671 | std::vector<std::string> TargetVTs; |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1672 | bool OutputIsVariadic; |
| 1673 | unsigned NumInputRootOps; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1674 | GenerateCodeForPattern(*Patterns[i], GeneratedCode, GeneratedDecl, |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1675 | TargetOpcodes, TargetVTs, |
| 1676 | OutputIsVariadic, NumInputRootOps); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1677 | CodeForPatterns.push_back(std::make_pair(Patterns[i], GeneratedCode)); |
| 1678 | PatternDecls.push_back(GeneratedDecl); |
| 1679 | PatternOpcodes.push_back(TargetOpcodes); |
| 1680 | PatternVTs.push_back(TargetVTs); |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1681 | OutputIsVariadicFlags.push_back(OutputIsVariadic); |
| 1682 | NumInputRootOpsCounts.push_back(NumInputRootOps); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1683 | } |
| 1684 | |
| 1685 | // Scan the code to see if all of the patterns are reachable and if it is |
| 1686 | // possible that the last one might not match. |
| 1687 | bool mightNotMatch = true; |
| 1688 | for (unsigned i = 0, e = CodeForPatterns.size(); i != e; ++i) { |
| 1689 | CodeList &GeneratedCode = CodeForPatterns[i].second; |
| 1690 | mightNotMatch = false; |
| 1691 | |
| 1692 | for (unsigned j = 0, e = GeneratedCode.size(); j != e; ++j) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1693 | if (GeneratedCode[j].first == 1) { // predicate. |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1694 | mightNotMatch = true; |
| 1695 | break; |
| 1696 | } |
| 1697 | } |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1698 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1699 | // If this pattern definitely matches, and if it isn't the last one, the |
| 1700 | // patterns after it CANNOT ever match. Error out. |
| 1701 | if (mightNotMatch == false && i != CodeForPatterns.size()-1) { |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1702 | cerr << "Pattern '"; |
| 1703 | CodeForPatterns[i].first->getSrcPattern()->print(*cerr.stream()); |
| 1704 | cerr << "' is impossible to select!\n"; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1705 | exit(1); |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1706 | } |
| 1707 | } |
| 1708 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1709 | // Factor target node emission code (emitted by EmitResultCode) into |
| 1710 | // separate functions. Uniquing and share them among all instruction |
| 1711 | // selection routines. |
| 1712 | for (unsigned i = 0, e = CodeForPatterns.size(); i != e; ++i) { |
| 1713 | CodeList &GeneratedCode = CodeForPatterns[i].second; |
| 1714 | std::vector<std::string> &TargetOpcodes = PatternOpcodes[i]; |
| 1715 | std::vector<std::string> &TargetVTs = PatternVTs[i]; |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1716 | std::set<std::string> Decls = PatternDecls[i]; |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1717 | bool OutputIsVariadic = OutputIsVariadicFlags[i]; |
| 1718 | unsigned NumInputRootOps = NumInputRootOpsCounts[i]; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1719 | std::vector<std::string> AddedInits; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1720 | int CodeSize = (int)GeneratedCode.size(); |
| 1721 | int LastPred = -1; |
| 1722 | for (int j = CodeSize-1; j >= 0; --j) { |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1723 | if (LastPred == -1 && GeneratedCode[j].first == 1) |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1724 | LastPred = j; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1725 | else if (LastPred != -1 && GeneratedCode[j].first == 2) |
| 1726 | AddedInits.push_back(GeneratedCode[j].second); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1727 | } |
| 1728 | |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1729 | std::string CalleeCode = "(const SDOperand &N"; |
| 1730 | std::string CallerCode = "(N"; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1731 | for (unsigned j = 0, e = TargetOpcodes.size(); j != e; ++j) { |
| 1732 | CalleeCode += ", unsigned Opc" + utostr(j); |
| 1733 | CallerCode += ", " + TargetOpcodes[j]; |
| 1734 | } |
| 1735 | for (unsigned j = 0, e = TargetVTs.size(); j != e; ++j) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1736 | CalleeCode += ", MVT VT" + utostr(j); |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1737 | CallerCode += ", " + TargetVTs[j]; |
| 1738 | } |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1739 | for (std::set<std::string>::iterator |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1740 | I = Decls.begin(), E = Decls.end(); I != E; ++I) { |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1741 | std::string Name = *I; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1742 | CalleeCode += ", SDOperand &" + Name; |
| 1743 | CallerCode += ", " + Name; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1744 | } |
Dan Gohman | e4c67cd | 2008-05-31 02:11:25 +0000 | [diff] [blame] | 1745 | |
| 1746 | if (OutputIsVariadic) { |
| 1747 | CalleeCode += ", unsigned NumInputRootOps"; |
| 1748 | CallerCode += ", " + utostr(NumInputRootOps); |
| 1749 | } |
| 1750 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1751 | CallerCode += ");"; |
| 1752 | CalleeCode += ") "; |
| 1753 | // Prevent emission routines from being inlined to reduce selection |
| 1754 | // routines stack frame sizes. |
Chris Lattner | 8dc728e | 2006-08-27 13:16:24 +0000 | [diff] [blame] | 1755 | CalleeCode += "DISABLE_INLINE "; |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1756 | CalleeCode += "{\n"; |
| 1757 | |
| 1758 | for (std::vector<std::string>::const_reverse_iterator |
| 1759 | I = AddedInits.rbegin(), E = AddedInits.rend(); I != E; ++I) |
| 1760 | CalleeCode += " " + *I + "\n"; |
| 1761 | |
Evan Cheng | f549319 | 2006-08-26 01:02:19 +0000 | [diff] [blame] | 1762 | for (int j = LastPred+1; j < CodeSize; ++j) |
| 1763 | CalleeCode += " " + GeneratedCode[j].second + "\n"; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1764 | for (int j = LastPred+1; j < CodeSize; ++j) |
| 1765 | GeneratedCode.pop_back(); |
| 1766 | CalleeCode += "}\n"; |
| 1767 | |
| 1768 | // Uniquing the emission routines. |
| 1769 | unsigned EmitFuncNum; |
| 1770 | std::map<std::string, unsigned>::iterator EFI = |
| 1771 | EmitFunctions.find(CalleeCode); |
| 1772 | if (EFI != EmitFunctions.end()) { |
| 1773 | EmitFuncNum = EFI->second; |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1774 | } else { |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1775 | EmitFuncNum = EmitFunctions.size(); |
| 1776 | EmitFunctions.insert(std::make_pair(CalleeCode, EmitFuncNum)); |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1777 | OS << "SDNode *Emit_" << utostr(EmitFuncNum) << CalleeCode; |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1778 | } |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1779 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1780 | // Replace the emission code within selection routines with calls to the |
| 1781 | // emission functions. |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1782 | CallerCode = "return Emit_" + utostr(EmitFuncNum) + CallerCode; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1783 | GeneratedCode.push_back(std::make_pair(false, CallerCode)); |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1784 | } |
| 1785 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1786 | // Print function. |
Chris Lattner | ab51ddd | 2006-11-14 21:32:01 +0000 | [diff] [blame] | 1787 | std::string OpVTStr; |
Chris Lattner | 33a4004 | 2006-11-14 22:17:10 +0000 | [diff] [blame] | 1788 | if (OpVT == MVT::iPTR) { |
| 1789 | OpVTStr = "_iPTR"; |
| 1790 | } else if (OpVT == MVT::isVoid) { |
| 1791 | // Nodes with a void result actually have a first result type of either |
| 1792 | // Other (a chain) or Flag. Since there is no one-to-one mapping from |
| 1793 | // void to this case, we handle it specially here. |
| 1794 | } else { |
| 1795 | OpVTStr = "_" + getEnumName(OpVT).substr(5); // Skip 'MVT::' |
| 1796 | } |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1797 | std::map<std::string, std::vector<std::string> >::iterator OpVTI = |
| 1798 | OpcodeVTMap.find(OpName); |
| 1799 | if (OpVTI == OpcodeVTMap.end()) { |
| 1800 | std::vector<std::string> VTSet; |
| 1801 | VTSet.push_back(OpVTStr); |
| 1802 | OpcodeVTMap.insert(std::make_pair(OpName, VTSet)); |
| 1803 | } else |
| 1804 | OpVTI->second.push_back(OpVTStr); |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1805 | |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1806 | OS << "SDNode *Select_" << getLegalCName(OpName) |
Chris Lattner | 33a4004 | 2006-11-14 22:17:10 +0000 | [diff] [blame] | 1807 | << OpVTStr << "(const SDOperand &N) {\n"; |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1808 | |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1809 | // Loop through and reverse all of the CodeList vectors, as we will be |
| 1810 | // accessing them from their logical front, but accessing the end of a |
| 1811 | // vector is more efficient. |
| 1812 | for (unsigned i = 0, e = CodeForPatterns.size(); i != e; ++i) { |
| 1813 | CodeList &GeneratedCode = CodeForPatterns[i].second; |
| 1814 | std::reverse(GeneratedCode.begin(), GeneratedCode.end()); |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1815 | } |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1816 | |
| 1817 | // Next, reverse the list of patterns itself for the same reason. |
| 1818 | std::reverse(CodeForPatterns.begin(), CodeForPatterns.end()); |
| 1819 | |
| 1820 | // Emit all of the patterns now, grouped together to share code. |
| 1821 | EmitPatterns(CodeForPatterns, 2, OS); |
| 1822 | |
Chris Lattner | 6490697 | 2006-09-21 18:28:27 +0000 | [diff] [blame] | 1823 | // If the last pattern has predicates (which could fail) emit code to |
| 1824 | // catch the case where nothing handles a pattern. |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1825 | if (mightNotMatch) { |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1826 | OS << " cerr << \"Cannot yet select: \";\n"; |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1827 | if (OpName != "ISD::INTRINSIC_W_CHAIN" && |
| 1828 | OpName != "ISD::INTRINSIC_WO_CHAIN" && |
| 1829 | OpName != "ISD::INTRINSIC_VOID") { |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1830 | OS << " N.Val->dump(CurDAG);\n"; |
| 1831 | } else { |
| 1832 | OS << " unsigned iid = cast<ConstantSDNode>(N.getOperand(" |
| 1833 | "N.getOperand(0).getValueType() == MVT::Other))->getValue();\n" |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1834 | << " cerr << \"intrinsic %\"<< " |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1835 | "Intrinsic::getName((Intrinsic::ID)iid);\n"; |
| 1836 | } |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 1837 | OS << " cerr << '\\n';\n" |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1838 | << " abort();\n" |
| 1839 | << " return NULL;\n"; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1840 | } |
| 1841 | OS << "}\n\n"; |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1842 | } |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1843 | } |
| 1844 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1845 | // Emit boilerplate. |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1846 | OS << "SDNode *Select_INLINEASM(SDOperand N) {\n" |
Chris Lattner | fabcb7a | 2006-01-26 23:08:55 +0000 | [diff] [blame] | 1847 | << " std::vector<SDOperand> Ops(N.Val->op_begin(), N.Val->op_end());\n" |
Chris Lattner | 4ef9b11 | 2007-05-15 01:36:44 +0000 | [diff] [blame] | 1848 | << " SelectInlineAsmMemoryOperands(Ops, *CurDAG);\n\n" |
| 1849 | |
| 1850 | << " // Ensure that the asm operands are themselves selected.\n" |
| 1851 | << " for (unsigned j = 0, e = Ops.size(); j != e; ++j)\n" |
| 1852 | << " AddToISelQueue(Ops[j]);\n\n" |
| 1853 | |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1854 | << " std::vector<MVT> VTs;\n" |
Chris Lattner | fabcb7a | 2006-01-26 23:08:55 +0000 | [diff] [blame] | 1855 | << " VTs.push_back(MVT::Other);\n" |
| 1856 | << " VTs.push_back(MVT::Flag);\n" |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1857 | << " SDOperand New = CurDAG->getNode(ISD::INLINEASM, VTs, &Ops[0], " |
| 1858 | "Ops.size());\n" |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1859 | << " return New.Val;\n" |
Chris Lattner | fabcb7a | 2006-01-26 23:08:55 +0000 | [diff] [blame] | 1860 | << "}\n\n"; |
Evan Cheng | da47e6e | 2008-03-15 00:03:38 +0000 | [diff] [blame] | 1861 | |
| 1862 | OS << "SDNode *Select_UNDEF(const SDOperand &N) {\n" |
Dan Gohman | cd920d9 | 2008-07-02 23:23:19 +0000 | [diff] [blame^] | 1863 | << " return CurDAG->SelectNodeTo(N.Val, TargetInstrInfo::IMPLICIT_DEF,\n" |
| 1864 | << " N.getValueType());\n" |
| 1865 | << "}\n\n"; |
| 1866 | |
| 1867 | OS << "SDNode *Select_DBG_LABEL(const SDOperand &N) {\n" |
| 1868 | << " SDOperand Chain = N.getOperand(0);\n" |
| 1869 | << " unsigned C = cast<LabelSDNode>(N)->getLabelID();\n" |
| 1870 | << " SDOperand Tmp = CurDAG->getTargetConstant(C, MVT::i32);\n" |
| 1871 | << " AddToISelQueue(Chain);\n" |
| 1872 | << " return CurDAG->SelectNodeTo(N.Val, TargetInstrInfo::DBG_LABEL,\n" |
| 1873 | << " MVT::Other, Tmp, Chain);\n" |
| 1874 | << "}\n\n"; |
| 1875 | |
| 1876 | OS << "SDNode *Select_EH_LABEL(const SDOperand &N) {\n" |
| 1877 | << " SDOperand Chain = N.getOperand(0);\n" |
| 1878 | << " unsigned C = cast<LabelSDNode>(N)->getLabelID();\n" |
| 1879 | << " SDOperand Tmp = CurDAG->getTargetConstant(C, MVT::i32);\n" |
| 1880 | << " AddToISelQueue(Chain);\n" |
| 1881 | << " return CurDAG->SelectNodeTo(N.Val, TargetInstrInfo::EH_LABEL,\n" |
| 1882 | << " MVT::Other, Tmp, Chain);\n" |
Evan Cheng | da47e6e | 2008-03-15 00:03:38 +0000 | [diff] [blame] | 1883 | << "}\n\n"; |
| 1884 | |
Evan Cheng | a844bde | 2008-02-02 04:07:54 +0000 | [diff] [blame] | 1885 | OS << "SDNode *Select_DECLARE(const SDOperand &N) {\n" |
Evan Cheng | a844bde | 2008-02-02 04:07:54 +0000 | [diff] [blame] | 1886 | << " SDOperand Chain = N.getOperand(0);\n" |
| 1887 | << " SDOperand N1 = N.getOperand(1);\n" |
| 1888 | << " SDOperand N2 = N.getOperand(2);\n" |
| 1889 | << " if (!isa<FrameIndexSDNode>(N1) || !isa<GlobalAddressSDNode>(N2)) {\n" |
| 1890 | << " cerr << \"Cannot yet select llvm.dbg.declare: \";\n" |
| 1891 | << " N.Val->dump(CurDAG);\n" |
| 1892 | << " abort();\n" |
| 1893 | << " }\n" |
| 1894 | << " int FI = cast<FrameIndexSDNode>(N1)->getIndex();\n" |
| 1895 | << " GlobalValue *GV = cast<GlobalAddressSDNode>(N2)->getGlobal();\n" |
Evan Cheng | a844bde | 2008-02-02 04:07:54 +0000 | [diff] [blame] | 1896 | << " SDOperand Tmp1 = " |
| 1897 | << "CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());\n" |
| 1898 | << " SDOperand Tmp2 = " |
| 1899 | << "CurDAG->getTargetGlobalAddress(GV, TLI.getPointerTy());\n" |
| 1900 | << " AddToISelQueue(Chain);\n" |
Dan Gohman | cd920d9 | 2008-07-02 23:23:19 +0000 | [diff] [blame^] | 1901 | << " return CurDAG->SelectNodeTo(N.Val, TargetInstrInfo::DECLARE,\n" |
| 1902 | << " MVT::Other, Tmp1, Tmp2, Chain);\n" |
Evan Cheng | a844bde | 2008-02-02 04:07:54 +0000 | [diff] [blame] | 1903 | << "}\n\n"; |
| 1904 | |
Christopher Lamb | 08d5207 | 2007-07-26 07:48:21 +0000 | [diff] [blame] | 1905 | OS << "SDNode *Select_EXTRACT_SUBREG(const SDOperand &N) {\n" |
| 1906 | << " SDOperand N0 = N.getOperand(0);\n" |
| 1907 | << " SDOperand N1 = N.getOperand(1);\n" |
| 1908 | << " unsigned C = cast<ConstantSDNode>(N1)->getValue();\n" |
| 1909 | << " SDOperand Tmp = CurDAG->getTargetConstant(C, MVT::i32);\n" |
| 1910 | << " AddToISelQueue(N0);\n" |
Dan Gohman | cd920d9 | 2008-07-02 23:23:19 +0000 | [diff] [blame^] | 1911 | << " return CurDAG->SelectNodeTo(N.Val, TargetInstrInfo::EXTRACT_SUBREG,\n" |
| 1912 | << " N.getValueType(), N0, Tmp);\n" |
Christopher Lamb | 08d5207 | 2007-07-26 07:48:21 +0000 | [diff] [blame] | 1913 | << "}\n\n"; |
| 1914 | |
| 1915 | OS << "SDNode *Select_INSERT_SUBREG(const SDOperand &N) {\n" |
| 1916 | << " SDOperand N0 = N.getOperand(0);\n" |
| 1917 | << " SDOperand N1 = N.getOperand(1);\n" |
| 1918 | << " SDOperand N2 = N.getOperand(2);\n" |
| 1919 | << " unsigned C = cast<ConstantSDNode>(N2)->getValue();\n" |
| 1920 | << " SDOperand Tmp = CurDAG->getTargetConstant(C, MVT::i32);\n" |
| 1921 | << " AddToISelQueue(N1);\n" |
Christopher Lamb | 6634e26 | 2008-03-13 05:47:01 +0000 | [diff] [blame] | 1922 | << " AddToISelQueue(N0);\n" |
Dan Gohman | cd920d9 | 2008-07-02 23:23:19 +0000 | [diff] [blame^] | 1923 | << " return CurDAG->SelectNodeTo(N.Val, TargetInstrInfo::INSERT_SUBREG,\n" |
| 1924 | << " N.getValueType(), N0, N1, Tmp);\n" |
Christopher Lamb | 08d5207 | 2007-07-26 07:48:21 +0000 | [diff] [blame] | 1925 | << "}\n\n"; |
| 1926 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1927 | OS << "// The main instruction selector code.\n" |
Evan Cheng | 9ade218 | 2006-08-26 05:34:46 +0000 | [diff] [blame] | 1928 | << "SDNode *SelectCode(SDOperand N) {\n" |
Chris Lattner | 547394c | 2005-09-23 21:53:45 +0000 | [diff] [blame] | 1929 | << " if (N.getOpcode() >= ISD::BUILTIN_OP_END &&\n" |
Chris Lattner | b277cbc | 2005-10-18 04:41:01 +0000 | [diff] [blame] | 1930 | << " N.getOpcode() < (ISD::BUILTIN_OP_END+" << InstNS |
Evan Cheng | 3416721 | 2006-02-09 00:37:58 +0000 | [diff] [blame] | 1931 | << "INSTRUCTION_LIST_END)) {\n" |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1932 | << " return NULL; // Already selected.\n" |
Evan Cheng | 3416721 | 2006-02-09 00:37:58 +0000 | [diff] [blame] | 1933 | << " }\n\n" |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 1934 | << " MVT::SimpleValueType NVT = N.Val->getValueType(0).getSimpleVT();\n" |
Chris Lattner | 547394c | 2005-09-23 21:53:45 +0000 | [diff] [blame] | 1935 | << " switch (N.getOpcode()) {\n" |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1936 | << " default: break;\n" |
| 1937 | << " case ISD::EntryToken: // These leaves remain the same.\n" |
Chris Lattner | 5216c69 | 2005-12-18 21:05:44 +0000 | [diff] [blame] | 1938 | << " case ISD::BasicBlock:\n" |
Chris Lattner | 8020a52 | 2006-01-11 19:52:27 +0000 | [diff] [blame] | 1939 | << " case ISD::Register:\n" |
Evan Cheng | 0a83ed5 | 2006-02-05 08:46:14 +0000 | [diff] [blame] | 1940 | << " case ISD::HANDLENODE:\n" |
Evan Cheng | 2216d8a | 2006-02-05 05:22:18 +0000 | [diff] [blame] | 1941 | << " case ISD::TargetConstant:\n" |
Nate Begeman | e179584 | 2008-02-14 08:57:00 +0000 | [diff] [blame] | 1942 | << " case ISD::TargetConstantFP:\n" |
Evan Cheng | 2216d8a | 2006-02-05 05:22:18 +0000 | [diff] [blame] | 1943 | << " case ISD::TargetConstantPool:\n" |
| 1944 | << " case ISD::TargetFrameIndex:\n" |
Chris Lattner | 4ef9b11 | 2007-05-15 01:36:44 +0000 | [diff] [blame] | 1945 | << " case ISD::TargetExternalSymbol:\n" |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 1946 | << " case ISD::TargetJumpTable:\n" |
Lauro Ramos Venancio | b3a0417 | 2007-04-20 21:38:10 +0000 | [diff] [blame] | 1947 | << " case ISD::TargetGlobalTLSAddress:\n" |
Evan Cheng | 3416721 | 2006-02-09 00:37:58 +0000 | [diff] [blame] | 1948 | << " case ISD::TargetGlobalAddress: {\n" |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1949 | << " return NULL;\n" |
Evan Cheng | 3416721 | 2006-02-09 00:37:58 +0000 | [diff] [blame] | 1950 | << " }\n" |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1951 | << " case ISD::AssertSext:\n" |
Chris Lattner | fab3728 | 2005-09-26 22:10:24 +0000 | [diff] [blame] | 1952 | << " case ISD::AssertZext: {\n" |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1953 | << " AddToISelQueue(N.getOperand(0));\n" |
| 1954 | << " ReplaceUses(N, N.getOperand(0));\n" |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1955 | << " return NULL;\n" |
Chris Lattner | f071bb5 | 2005-10-25 20:35:14 +0000 | [diff] [blame] | 1956 | << " }\n" |
| 1957 | << " case ISD::TokenFactor:\n" |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1958 | << " case ISD::CopyFromReg:\n" |
Tanya Lattner | 8d4ccf0 | 2006-08-09 16:41:21 +0000 | [diff] [blame] | 1959 | << " case ISD::CopyToReg: {\n" |
Evan Cheng | 676d731 | 2006-08-26 00:59:04 +0000 | [diff] [blame] | 1960 | << " for (unsigned i = 0, e = N.getNumOperands(); i != e; ++i)\n" |
| 1961 | << " AddToISelQueue(N.getOperand(i));\n" |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 1962 | << " return NULL;\n" |
Chris Lattner | fabcb7a | 2006-01-26 23:08:55 +0000 | [diff] [blame] | 1963 | << " }\n" |
Jim Laskey | a683f9b | 2007-01-26 17:29:20 +0000 | [diff] [blame] | 1964 | << " case ISD::INLINEASM: return Select_INLINEASM(N);\n" |
Dan Gohman | cd920d9 | 2008-07-02 23:23:19 +0000 | [diff] [blame^] | 1965 | << " case ISD::DBG_LABEL: return Select_DBG_LABEL(N);\n" |
| 1966 | << " case ISD::EH_LABEL: return Select_EH_LABEL(N);\n" |
Evan Cheng | a844bde | 2008-02-02 04:07:54 +0000 | [diff] [blame] | 1967 | << " case ISD::DECLARE: return Select_DECLARE(N);\n" |
Christopher Lamb | 08d5207 | 2007-07-26 07:48:21 +0000 | [diff] [blame] | 1968 | << " case ISD::EXTRACT_SUBREG: return Select_EXTRACT_SUBREG(N);\n" |
Evan Cheng | da47e6e | 2008-03-15 00:03:38 +0000 | [diff] [blame] | 1969 | << " case ISD::INSERT_SUBREG: return Select_INSERT_SUBREG(N);\n" |
| 1970 | << " case ISD::UNDEF: return Select_UNDEF(N);\n"; |
Chris Lattner | fabcb7a | 2006-01-26 23:08:55 +0000 | [diff] [blame] | 1971 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 1972 | |
Chris Lattner | 602f692 | 2006-01-04 00:25:00 +0000 | [diff] [blame] | 1973 | // Loop over all of the case statements, emiting a call to each method we |
| 1974 | // emitted above. |
Chris Lattner | 60d8139 | 2008-01-05 22:30:17 +0000 | [diff] [blame] | 1975 | for (std::map<std::string, std::vector<const PatternToMatch*> >::iterator |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1976 | PBOI = PatternsByOpcode.begin(), E = PatternsByOpcode.end(); |
| 1977 | PBOI != E; ++PBOI) { |
| 1978 | const std::string &OpName = PBOI->first; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 1979 | // Potentially multiple versions of select for this opcode. One for each |
| 1980 | // ValueType of the node (or its first true operand if it doesn't produce a |
| 1981 | // result. |
| 1982 | std::map<std::string, std::vector<std::string> >::iterator OpVTI = |
| 1983 | OpcodeVTMap.find(OpName); |
| 1984 | std::vector<std::string> &OpVTs = OpVTI->second; |
Evan Cheng | 892aaf8 | 2006-11-08 23:01:03 +0000 | [diff] [blame] | 1985 | OS << " case " << OpName << ": {\n"; |
Evan Cheng | 425e8c7 | 2007-09-04 20:18:28 +0000 | [diff] [blame] | 1986 | // Keep track of whether we see a pattern that has an iPtr result. |
| 1987 | bool HasPtrPattern = false; |
| 1988 | bool HasDefaultPattern = false; |
Chris Lattner | 717a611 | 2006-11-14 21:50:27 +0000 | [diff] [blame] | 1989 | |
Evan Cheng | 425e8c7 | 2007-09-04 20:18:28 +0000 | [diff] [blame] | 1990 | OS << " switch (NVT) {\n"; |
| 1991 | for (unsigned i = 0, e = OpVTs.size(); i < e; ++i) { |
| 1992 | std::string &VTStr = OpVTs[i]; |
| 1993 | if (VTStr.empty()) { |
| 1994 | HasDefaultPattern = true; |
| 1995 | continue; |
| 1996 | } |
Chris Lattner | 717a611 | 2006-11-14 21:50:27 +0000 | [diff] [blame] | 1997 | |
Evan Cheng | 425e8c7 | 2007-09-04 20:18:28 +0000 | [diff] [blame] | 1998 | // If this is a match on iPTR: don't emit it directly, we need special |
| 1999 | // code. |
| 2000 | if (VTStr == "_iPTR") { |
| 2001 | HasPtrPattern = true; |
| 2002 | continue; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 2003 | } |
Evan Cheng | 425e8c7 | 2007-09-04 20:18:28 +0000 | [diff] [blame] | 2004 | OS << " case MVT::" << VTStr.substr(1) << ":\n" |
| 2005 | << " return Select_" << getLegalCName(OpName) |
| 2006 | << VTStr << "(N);\n"; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 2007 | } |
Evan Cheng | 425e8c7 | 2007-09-04 20:18:28 +0000 | [diff] [blame] | 2008 | OS << " default:\n"; |
| 2009 | |
| 2010 | // If there is an iPTR result version of this pattern, emit it here. |
| 2011 | if (HasPtrPattern) { |
Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 2012 | OS << " if (TLI.getPointerTy() == NVT)\n"; |
Evan Cheng | 425e8c7 | 2007-09-04 20:18:28 +0000 | [diff] [blame] | 2013 | OS << " return Select_" << getLegalCName(OpName) <<"_iPTR(N);\n"; |
| 2014 | } |
| 2015 | if (HasDefaultPattern) { |
| 2016 | OS << " return Select_" << getLegalCName(OpName) << "(N);\n"; |
| 2017 | } |
| 2018 | OS << " break;\n"; |
| 2019 | OS << " }\n"; |
| 2020 | OS << " break;\n"; |
Chris Lattner | 706d2d3 | 2006-08-09 16:44:44 +0000 | [diff] [blame] | 2021 | OS << " }\n"; |
Chris Lattner | 8130332 | 2005-09-23 19:36:15 +0000 | [diff] [blame] | 2022 | } |
Chris Lattner | 8130332 | 2005-09-23 19:36:15 +0000 | [diff] [blame] | 2023 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2024 | OS << " } // end of big switch.\n\n" |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 2025 | << " cerr << \"Cannot yet select: \";\n" |
Chris Lattner | b026e70 | 2006-03-28 00:41:33 +0000 | [diff] [blame] | 2026 | << " if (N.getOpcode() != ISD::INTRINSIC_W_CHAIN &&\n" |
| 2027 | << " N.getOpcode() != ISD::INTRINSIC_WO_CHAIN &&\n" |
| 2028 | << " N.getOpcode() != ISD::INTRINSIC_VOID) {\n" |
Chris Lattner | 9bf2d3e | 2006-03-25 06:47:53 +0000 | [diff] [blame] | 2029 | << " N.Val->dump(CurDAG);\n" |
| 2030 | << " } else {\n" |
| 2031 | << " unsigned iid = cast<ConstantSDNode>(N.getOperand(" |
| 2032 | "N.getOperand(0).getValueType() == MVT::Other))->getValue();\n" |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 2033 | << " cerr << \"intrinsic %\"<< " |
| 2034 | "Intrinsic::getName((Intrinsic::ID)iid);\n" |
Chris Lattner | 9bf2d3e | 2006-03-25 06:47:53 +0000 | [diff] [blame] | 2035 | << " }\n" |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 2036 | << " cerr << '\\n';\n" |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2037 | << " abort();\n" |
Evan Cheng | 06d6470 | 2006-08-11 08:59:35 +0000 | [diff] [blame] | 2038 | << " return NULL;\n" |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2039 | << "}\n"; |
| 2040 | } |
| 2041 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2042 | void DAGISelEmitter::run(std::ostream &OS) { |
Chris Lattner | 200c57e | 2008-01-05 22:58:54 +0000 | [diff] [blame] | 2043 | EmitSourceFileHeader("DAG Instruction Selector for the " + |
| 2044 | CGP.getTargetInfo().getName() + " target", OS); |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2045 | |
Chris Lattner | 1f39e29 | 2005-09-14 00:09:24 +0000 | [diff] [blame] | 2046 | OS << "// *** NOTE: This file is #included into the middle of the target\n" |
| 2047 | << "// *** instruction selector class. These functions are really " |
| 2048 | << "methods.\n\n"; |
Chris Lattner | f8dc061 | 2008-02-03 06:49:24 +0000 | [diff] [blame] | 2049 | |
Roman Levenstein | 6422e8a | 2008-05-14 10:17:11 +0000 | [diff] [blame] | 2050 | OS << "// Include standard, target-independent definitions and methods used\n" |
| 2051 | << "// by the instruction selector.\n"; |
| 2052 | OS << "#include <llvm/CodeGen/DAGISelHeader.h>\n\n"; |
Chris Lattner | 296dfe3 | 2005-09-24 00:50:51 +0000 | [diff] [blame] | 2053 | |
Chris Lattner | 443e3f9 | 2008-01-05 22:54:53 +0000 | [diff] [blame] | 2054 | EmitNodeTransforms(OS); |
Chris Lattner | dc32f98 | 2008-01-05 22:43:57 +0000 | [diff] [blame] | 2055 | EmitPredicateFunctions(OS); |
| 2056 | |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 2057 | DOUT << "\n\nALL PATTERNS TO MATCH:\n\n"; |
Chris Lattner | fe71893 | 2008-01-06 01:10:31 +0000 | [diff] [blame] | 2058 | for (CodeGenDAGPatterns::ptm_iterator I = CGP.ptm_begin(), E = CGP.ptm_end(); |
Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 2059 | I != E; ++I) { |
| 2060 | DOUT << "PATTERN: "; DEBUG(I->getSrcPattern()->dump()); |
| 2061 | DOUT << "\nRESULT: "; DEBUG(I->getDstPattern()->dump()); |
Bill Wendling | f5da133 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 2062 | DOUT << "\n"; |
| 2063 | } |
Chris Lattner | e46e17b | 2005-09-29 19:28:10 +0000 | [diff] [blame] | 2064 | |
Chris Lattner | b9f01eb | 2005-09-16 00:29:46 +0000 | [diff] [blame] | 2065 | // At this point, we have full information about the 'Patterns' we need to |
| 2066 | // parse, both implicitly from instructions as well as from explicit pattern |
Chris Lattner | e97603f | 2005-09-28 19:27:25 +0000 | [diff] [blame] | 2067 | // definitions. Emit the resultant instruction selector. |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2068 | EmitInstructionSelector(OS); |
| 2069 | |
Chris Lattner | 54cb8fd | 2005-09-07 23:44:43 +0000 | [diff] [blame] | 2070 | } |