Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 1 | //===- InstrInfoEmitter.cpp - Generate a Instruction Set Desc. ------------===// |
| 2 | // |
| 3 | // This tablegen backend is responsible for emitting a description of the target |
| 4 | // instruction set for the code generator. |
| 5 | // |
| 6 | //===----------------------------------------------------------------------===// |
| 7 | |
| 8 | #include "InstrSelectorEmitter.h" |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 9 | #include "CodeGenWrappers.h" |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 10 | #include "Record.h" |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 11 | #include "Support/Debug.h" |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 12 | |
| 13 | NodeType::ArgResultTypes NodeType::Translate(Record *R) { |
| 14 | const std::string &Name = R->getName(); |
Chris Lattner | 38aa542 | 2003-08-06 21:47:14 +0000 | [diff] [blame] | 15 | if (Name == "DNVT_void") return Void; |
| 16 | if (Name == "DNVT_val" ) return Val; |
| 17 | if (Name == "DNVT_arg0") return Arg0; |
| 18 | if (Name == "DNVT_ptr" ) return Ptr; |
| 19 | throw "Unknown DagNodeValType '" + Name + "'!"; |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 20 | } |
| 21 | |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 22 | std::ostream &operator<<(std::ostream &OS, const TreePatternNode &N) { |
| 23 | if (N.isLeaf()) |
| 24 | return OS << N.getType() << ":" << *N.getValue(); |
| 25 | OS << "(" << N.getType() << ":"; |
| 26 | OS << N.getOperator()->getName(); |
| 27 | |
| 28 | const std::vector<TreePatternNode*> &Children = N.getChildren(); |
| 29 | if (!Children.empty()) { |
| 30 | OS << " " << *Children[0]; |
| 31 | for (unsigned i = 1, e = Children.size(); i != e; ++i) |
| 32 | OS << ", " << *Children[i]; |
| 33 | } |
| 34 | return OS << ")"; |
| 35 | } |
| 36 | void TreePatternNode::dump() const { std::cerr << *this; } |
| 37 | |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 38 | |
| 39 | /// ProcessNodeTypes - Process all of the node types in the current |
| 40 | /// RecordKeeper, turning them into the more accessible NodeTypes data |
| 41 | /// structure. |
| 42 | /// |
| 43 | void InstrSelectorEmitter::ProcessNodeTypes() { |
| 44 | std::vector<Record*> Nodes = Records.getAllDerivedDefinitions("DagNode"); |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 45 | for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { |
| 46 | Record *Node = Nodes[i]; |
| 47 | |
| 48 | // Translate the return type... |
| 49 | NodeType::ArgResultTypes RetTy = |
| 50 | NodeType::Translate(Node->getValueAsDef("RetType")); |
| 51 | |
| 52 | // Translate the arguments... |
| 53 | ListInit *Args = Node->getValueAsListInit("ArgTypes"); |
| 54 | std::vector<NodeType::ArgResultTypes> ArgTypes; |
| 55 | |
Chris Lattner | 2787d1a | 2003-08-06 06:16:35 +0000 | [diff] [blame] | 56 | for (unsigned a = 0, e = Args->getSize(); a != e; ++a) { |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 57 | if (DefInit *DI = dynamic_cast<DefInit*>(Args->getElement(a))) |
| 58 | ArgTypes.push_back(NodeType::Translate(DI->getDef())); |
| 59 | else |
| 60 | throw "In node " + Node->getName() + ", argument is not a Def!"; |
| 61 | |
Chris Lattner | 2787d1a | 2003-08-06 06:16:35 +0000 | [diff] [blame] | 62 | if (a == 0 && ArgTypes.back() == NodeType::Arg0) |
| 63 | throw "In node " + Node->getName() + ", arg 0 cannot have type 'arg0'!"; |
| 64 | if (ArgTypes.back() == NodeType::Void) |
| 65 | throw "In node " + Node->getName() + ", args cannot be void type!"; |
| 66 | } |
| 67 | if (RetTy == NodeType::Arg0 && Args->getSize() == 0) |
| 68 | throw "In node " + Node->getName() + |
| 69 | ", invalid return type for nullary node!"; |
| 70 | |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 71 | // Add the node type mapping now... |
| 72 | NodeTypes[Node] = NodeType(RetTy, ArgTypes); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 73 | DEBUG(std::cerr << "Got node type '" << Node->getName() << "'\n"); |
| 74 | } |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 75 | } |
| 76 | |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 77 | static MVT::ValueType getIntrinsicType(Record *R) { |
| 78 | // Check to see if this is a register or a register class... |
| 79 | const std::vector<Record*> &SuperClasses = R->getSuperClasses(); |
| 80 | for (unsigned i = 0, e = SuperClasses.size(); i != e; ++i) |
| 81 | if (SuperClasses[i]->getName() == "RegisterClass") { |
| 82 | return getValueType(R->getValueAsDef("RegType")); |
| 83 | } else if (SuperClasses[i]->getName() == "Register") { |
| 84 | std::cerr << "WARNING: Explicit registers not handled yet!\n"; |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 85 | return MVT::Other; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 86 | } else if (SuperClasses[i]->getName() == "Nonterminal") { |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 87 | //std::cerr << "Warning nonterminal type not handled yet:" << R->getName() |
| 88 | // << "\n"; |
| 89 | return MVT::Other; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 90 | } |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 91 | throw "Error: Unknown value used: " + R->getName(); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 92 | } |
| 93 | |
| 94 | // Parse the specified DagInit into a TreePattern which we can use. |
| 95 | // |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 96 | Pattern::Pattern(PatternType pty, DagInit *RawPat, Record *TheRec, |
| 97 | InstrSelectorEmitter &ise) |
| 98 | : PTy(pty), TheRecord(TheRec), ISE(ise) { |
| 99 | |
| 100 | // First, parse the pattern... |
| 101 | Tree = ParseTreePattern(RawPat); |
| 102 | |
| 103 | bool MadeChange, AnyUnset; |
| 104 | do { |
| 105 | MadeChange = false; |
| 106 | AnyUnset = InferTypes(Tree, MadeChange); |
| 107 | } while ((AnyUnset || MadeChange) && !(AnyUnset && !MadeChange)); |
| 108 | |
| 109 | if (PTy == Instruction) { |
| 110 | // Check to make sure there is not any unset types in the tree pattern... |
| 111 | if (AnyUnset) { |
| 112 | std::cerr << "In instruction pattern: " << *Tree << "\n"; |
| 113 | error("Could not infer all types!"); |
| 114 | } |
| 115 | |
| 116 | // Check to see if we have a top-level (set) of a register. |
| 117 | if (Tree->getOperator()->getName() == "set") { |
| 118 | assert(Tree->getChildren().size() == 2 && "Set with != 2 arguments?"); |
| 119 | if (!Tree->getChild(0)->isLeaf()) |
| 120 | error("Arg #0 of set should be a register or register class!"); |
| 121 | DefInit *RegInit = dynamic_cast<DefInit*>(Tree->getChild(0)->getValue()); |
| 122 | if (RegInit == 0) |
| 123 | error("LHS of 'set' expected to be a register or register class!"); |
| 124 | |
| 125 | Result = RegInit->getDef(); |
| 126 | Tree = Tree->getChild(1); |
| 127 | |
| 128 | } |
| 129 | } |
| 130 | |
| 131 | Resolved = !AnyUnset; |
| 132 | } |
| 133 | |
| 134 | void Pattern::error(const std::string &Msg) { |
| 135 | std::string M = "In "; |
| 136 | switch (PTy) { |
| 137 | case Nonterminal: M += "nonterminal "; break; |
| 138 | case Instruction: M += "instruction "; break; |
| 139 | case Expander : M += "expander "; break; |
| 140 | } |
| 141 | throw M + TheRecord->getName() + ": " + Msg; |
| 142 | } |
| 143 | |
| 144 | |
| 145 | TreePatternNode *Pattern::ParseTreePattern(DagInit *DI) { |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 146 | Record *Operator = DI->getNodeType(); |
| 147 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 148 | if (!ISE.getNodeTypes().count(Operator)) |
| 149 | error("Unrecognized node '" + Operator->getName() + "'!"); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 150 | |
| 151 | const std::vector<Init*> &Args = DI->getArgs(); |
| 152 | std::vector<TreePatternNode*> Children; |
| 153 | |
| 154 | for (unsigned i = 0, e = Args.size(); i != e; ++i) { |
| 155 | Init *Arg = Args[i]; |
| 156 | if (DagInit *DI = dynamic_cast<DagInit*>(Arg)) { |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 157 | Children.push_back(ParseTreePattern(DI)); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 158 | } else if (DefInit *DI = dynamic_cast<DefInit*>(Arg)) { |
| 159 | Children.push_back(new TreePatternNode(DI)); |
| 160 | // If it's a regclass or something else known, set the type. |
| 161 | Children.back()->setType(getIntrinsicType(DI->getDef())); |
| 162 | } else { |
| 163 | Arg->dump(); |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 164 | error("Unknown leaf value for tree pattern!"); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 165 | } |
| 166 | } |
| 167 | |
| 168 | return new TreePatternNode(Operator, Children); |
| 169 | } |
| 170 | |
| 171 | // UpdateNodeType - Set the node type of N to VT if VT contains information. If |
| 172 | // N already contains a conflicting type, then throw an exception |
| 173 | // |
| 174 | static bool UpdateNodeType(TreePatternNode *N, MVT::ValueType VT, |
| 175 | const std::string &RecName) { |
| 176 | if (VT == MVT::Other || N->getType() == VT) return false; |
| 177 | |
| 178 | if (N->getType() == MVT::Other) { |
| 179 | N->setType(VT); |
| 180 | return true; |
| 181 | } |
| 182 | |
| 183 | throw "Type inferfence contradiction found for pattern " + RecName; |
| 184 | } |
| 185 | |
| 186 | // InferTypes - Perform type inference on the tree, returning true if there |
| 187 | // are any remaining untyped nodes and setting MadeChange if any changes were |
| 188 | // made. |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 189 | bool Pattern::InferTypes(TreePatternNode *N, bool &MadeChange) { |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 190 | if (N->isLeaf()) return N->getType() == MVT::Other; |
| 191 | |
| 192 | bool AnyUnset = false; |
| 193 | Record *Operator = N->getOperator(); |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 194 | assert(ISE.getNodeTypes().count(Operator) && "No node info for node!"); |
| 195 | const NodeType &NT = ISE.getNodeTypes()[Operator]; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 196 | |
| 197 | // Check to see if we can infer anything about the argument types from the |
| 198 | // return types... |
| 199 | const std::vector<TreePatternNode*> &Children = N->getChildren(); |
| 200 | if (Children.size() != NT.ArgTypes.size()) |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 201 | error("Incorrect number of children for " + Operator->getName() + " node!"); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 202 | |
| 203 | for (unsigned i = 0, e = Children.size(); i != e; ++i) { |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 204 | AnyUnset |= InferTypes(Children[i], MadeChange); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 205 | |
| 206 | switch (NT.ArgTypes[i]) { |
| 207 | case NodeType::Arg0: |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 208 | MadeChange |= UpdateNodeType(Children[i], Children[0]->getType(), |
| 209 | TheRecord->getName()); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 210 | break; |
| 211 | case NodeType::Val: |
| 212 | if (Children[i]->getType() == MVT::isVoid) |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 213 | error("Inferred a void node in an illegal place!"); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 214 | break; |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 215 | case NodeType::Ptr: |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 216 | MadeChange |= UpdateNodeType(Children[i], |
| 217 | ISE.getTarget().getPointerType(), |
| 218 | TheRecord->getName()); |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 219 | break; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 220 | default: assert(0 && "Invalid argument ArgType!"); |
| 221 | } |
| 222 | } |
| 223 | |
| 224 | // See if we can infer anything about the return type now... |
| 225 | switch (NT.ResultType) { |
| 226 | case NodeType::Void: |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 227 | MadeChange |= UpdateNodeType(N, MVT::isVoid, TheRecord->getName()); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 228 | break; |
| 229 | case NodeType::Arg0: |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 230 | MadeChange |= UpdateNodeType(N, Children[0]->getType(), |
| 231 | TheRecord->getName()); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 232 | break; |
| 233 | |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 234 | case NodeType::Ptr: |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 235 | MadeChange |= UpdateNodeType(N, ISE.getTarget().getPointerType(), |
| 236 | TheRecord->getName()); |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 237 | break; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 238 | case NodeType::Val: |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 239 | if (N->getType() == MVT::isVoid) |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 240 | error("Inferred a void node in an illegal place!"); |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 241 | break; |
| 242 | default: |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 243 | assert(0 && "Unhandled type constraint!"); |
| 244 | break; |
| 245 | } |
| 246 | |
| 247 | return AnyUnset | N->getType() == MVT::Other; |
| 248 | } |
| 249 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 250 | std::ostream &operator<<(std::ostream &OS, const Pattern &P) { |
| 251 | switch (P.getPatternType()) { |
| 252 | case Pattern::Nonterminal: OS << "Nonterminal pattern "; break; |
| 253 | case Pattern::Instruction: OS << "Instruction pattern "; break; |
| 254 | case Pattern::Expander: OS << "Expander pattern "; break; |
| 255 | } |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 256 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 257 | OS << P.getRecord()->getName() << ":\t"; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 258 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 259 | if (Record *Result = P.getResult()) |
| 260 | OS << Result->getName() << " = "; |
| 261 | OS << *P.getTree(); |
| 262 | |
| 263 | if (!P.isResolved()) |
| 264 | OS << " [not completely resolved]"; |
| 265 | return OS; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 266 | } |
| 267 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 268 | |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 269 | // ProcessNonTerminals - Read in all nonterminals and incorporate them into |
| 270 | // our pattern database. |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 271 | void InstrSelectorEmitter::ProcessNonterminals() { |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 272 | std::vector<Record*> NTs = Records.getAllDerivedDefinitions("Nonterminal"); |
| 273 | for (unsigned i = 0, e = NTs.size(); i != e; ++i) { |
| 274 | DagInit *DI = NTs[i]->getValueAsDag("Pattern"); |
| 275 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 276 | Pattern *P = new Pattern(Pattern::Nonterminal, DI, NTs[i], *this); |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 277 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 278 | |
| 279 | DEBUG(std::cerr << "Parsed " << *P << "\n"); |
Chris Lattner | bc659dd | 2003-08-07 06:02:15 +0000 | [diff] [blame] | 280 | } |
| 281 | } |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 282 | |
| 283 | |
Chris Lattner | 2787d1a | 2003-08-06 06:16:35 +0000 | [diff] [blame] | 284 | /// ProcessInstructionPatterns - Read in all subclasses of Instruction, and |
| 285 | /// process those with a useful Pattern field. |
| 286 | /// |
| 287 | void InstrSelectorEmitter::ProcessInstructionPatterns() { |
| 288 | std::vector<Record*> Insts = Records.getAllDerivedDefinitions("Instruction"); |
| 289 | for (unsigned i = 0, e = Insts.size(); i != e; ++i) { |
| 290 | Record *Inst = Insts[i]; |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 291 | if (DagInit *DI = dynamic_cast<DagInit*>(Inst->getValueInit("Pattern"))) { |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 292 | Pattern *P = new Pattern(Pattern::Instruction, DI, Inst, *this); |
Chris Lattner | 2787d1a | 2003-08-06 06:16:35 +0000 | [diff] [blame] | 293 | |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 294 | DEBUG(std::cerr << "Parsed " << *P << "\n"); |
Chris Lattner | 2787d1a | 2003-08-06 06:16:35 +0000 | [diff] [blame] | 295 | } |
| 296 | } |
| 297 | } |
| 298 | |
| 299 | |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 300 | void InstrSelectorEmitter::run(std::ostream &OS) { |
| 301 | // Type-check all of the node types to ensure we "understand" them. |
| 302 | ProcessNodeTypes(); |
| 303 | |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 304 | // Read in all of the nonterminals... |
Chris Lattner | f8e9683 | 2003-08-07 19:12:24 +0000 | [diff] [blame^] | 305 | ProcessNonterminals(); |
Chris Lattner | 018c9e4 | 2003-08-07 05:40:14 +0000 | [diff] [blame] | 306 | |
Chris Lattner | 2787d1a | 2003-08-06 06:16:35 +0000 | [diff] [blame] | 307 | // Read all of the instruction patterns in... |
| 308 | ProcessInstructionPatterns(); |
| 309 | |
| 310 | // Read all of the Expander patterns in... |
Chris Lattner | faca5ab | 2003-08-06 05:42:05 +0000 | [diff] [blame] | 311 | |
| 312 | } |