| Chris Lattner | 803a5f6 | 2004-08-01 04:04:35 +0000 | [diff] [blame] | 1 | //===- CodeGenTarget.h - Target Class Wrapper -------------------*- C++ -*-===// | 
| Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // | 
| John Criswell | 01d4582 | 2003-10-20 20:20:30 +0000 | [diff] [blame] | 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. | 
| Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // | 
| John Criswell | 01d4582 | 2003-10-20 20:20:30 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 9 | // | 
| Chris Lattner | 803a5f6 | 2004-08-01 04:04:35 +0000 | [diff] [blame] | 10 | // This file defines wrappers for the Target class and related global | 
 | 11 | // functionality.  This makes it easier to access the data and provides a single | 
 | 12 | // place that needs to check it for validity.  All of these classes throw | 
 | 13 | // exceptions on error conditions. | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 14 | // | 
 | 15 | //===----------------------------------------------------------------------===// | 
 | 16 |  | 
| Chris Lattner | 803a5f6 | 2004-08-01 04:04:35 +0000 | [diff] [blame] | 17 | #ifndef CODEGEN_TARGET_H | 
 | 18 | #define CODEGEN_TARGET_H | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 19 |  | 
| Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 20 | #include "CodeGenRegisters.h" | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 21 | #include "CodeGenInstruction.h" | 
| Dan Gohman | 8a17870 | 2009-04-13 15:24:11 +0000 | [diff] [blame] | 22 | #include <algorithm> | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 23 | #include <iosfwd> | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 24 | #include <map> | 
| Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 25 |  | 
 | 26 | namespace llvm { | 
 | 27 |  | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 28 | class Record; | 
 | 29 | class RecordKeeper; | 
| Chris Lattner | 1fca5ff | 2004-10-27 16:14:51 +0000 | [diff] [blame] | 30 | struct CodeGenRegister; | 
| Chris Lattner | 8850a1b | 2006-03-27 22:48:18 +0000 | [diff] [blame] | 31 | class CodeGenTarget; | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 32 |  | 
| Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 33 | // SelectionDAG node properties. | 
| Mon P Wang | 2887310 | 2008-06-25 08:15:39 +0000 | [diff] [blame] | 34 | //  SDNPMemOperand: indicates that a node touches memory and therefore must | 
 | 35 | //                  have an associated memory operand that describes the access. | 
| Chris Lattner | c8478d8 | 2008-01-06 06:44:58 +0000 | [diff] [blame] | 36 | enum SDNP { | 
 | 37 |   SDNPCommutative,  | 
 | 38 |   SDNPAssociative,  | 
 | 39 |   SDNPHasChain, | 
 | 40 |   SDNPOutFlag, | 
 | 41 |   SDNPInFlag, | 
 | 42 |   SDNPOptInFlag, | 
| Chris Lattner | 710e995 | 2008-01-10 04:38:57 +0000 | [diff] [blame] | 43 |   SDNPMayLoad, | 
| Chris Lattner | bc0b9f7 | 2008-01-10 05:39:30 +0000 | [diff] [blame] | 44 |   SDNPMayStore, | 
| Mon P Wang | 2887310 | 2008-06-25 08:15:39 +0000 | [diff] [blame] | 45 |   SDNPSideEffect, | 
| Dale Johannesen | 874ae25 | 2009-06-02 03:12:52 +0000 | [diff] [blame^] | 46 |   SDNPMemOperand | 
| Chris Lattner | c8478d8 | 2008-01-06 06:44:58 +0000 | [diff] [blame] | 47 | }; | 
| Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 48 |  | 
| Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 49 | // ComplexPattern attributes. | 
 | 50 | enum CPAttr { CPAttrParentAsRoot }; | 
 | 51 |  | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 52 | /// getValueType - Return the MVT::SimpleValueType that the specified TableGen | 
 | 53 | /// record corresponds to. | 
 | 54 | MVT::SimpleValueType getValueType(Record *Rec); | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 55 |  | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 56 | std::string getName(MVT::SimpleValueType T); | 
 | 57 | std::string getEnumName(MVT::SimpleValueType T); | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 58 |  | 
| Chris Lattner | 6cefb77 | 2008-01-05 22:25:12 +0000 | [diff] [blame] | 59 | /// getQualifiedName - Return the name of the specified record, with a | 
 | 60 | /// namespace qualifier if the record contains one. | 
 | 61 | std::string getQualifiedName(const Record *R); | 
 | 62 |    | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 63 | /// CodeGenTarget - This class corresponds to the Target class in the .td files. | 
 | 64 | /// | 
 | 65 | class CodeGenTarget { | 
 | 66 |   Record *TargetRec; | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 67 |  | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 68 |   mutable std::map<std::string, CodeGenInstruction> Instructions; | 
| Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 69 |   mutable std::vector<CodeGenRegister> Registers; | 
| Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 70 |   mutable std::vector<CodeGenRegisterClass> RegisterClasses; | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 71 |   mutable std::vector<MVT::SimpleValueType> LegalValueTypes; | 
| Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 72 |   void ReadRegisters() const; | 
| Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 73 |   void ReadRegisterClasses() const; | 
 | 74 |   void ReadInstructions() const; | 
| Chris Lattner | e9f4ba8 | 2005-09-08 21:43:21 +0000 | [diff] [blame] | 75 |   void ReadLegalValueTypes() const; | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 76 | public: | 
 | 77 |   CodeGenTarget(); | 
 | 78 |  | 
 | 79 |   Record *getTargetRecord() const { return TargetRec; } | 
 | 80 |   const std::string &getName() const; | 
 | 81 |  | 
| Dan Gohman | 1e0ee4b | 2008-08-20 21:45:57 +0000 | [diff] [blame] | 82 |   /// getInstNamespace - Return the target-specific instruction namespace. | 
 | 83 |   /// | 
 | 84 |   std::string getInstNamespace() const; | 
 | 85 |  | 
| Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 86 |   /// getInstructionSet - Return the InstructionSet object. | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 87 |   /// | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 88 |   Record *getInstructionSet() const; | 
 | 89 |  | 
| Chris Lattner | 175580c | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 90 |   /// getAsmWriter - Return the AssemblyWriter definition for this target. | 
 | 91 |   /// | 
 | 92 |   Record *getAsmWriter() const; | 
 | 93 |  | 
| Chris Lattner | e9f4ba8 | 2005-09-08 21:43:21 +0000 | [diff] [blame] | 94 |   const std::vector<CodeGenRegister> &getRegisters() const { | 
| Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 95 |     if (Registers.empty()) ReadRegisters(); | 
 | 96 |     return Registers; | 
 | 97 |   } | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 98 |  | 
| Chris Lattner | e9f4ba8 | 2005-09-08 21:43:21 +0000 | [diff] [blame] | 99 |   const std::vector<CodeGenRegisterClass> &getRegisterClasses() const { | 
| Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 100 |     if (RegisterClasses.empty()) ReadRegisterClasses(); | 
 | 101 |     return RegisterClasses; | 
 | 102 |   } | 
| Nate Begeman | ddb3954 | 2005-12-01 00:06:14 +0000 | [diff] [blame] | 103 |    | 
 | 104 |   const CodeGenRegisterClass &getRegisterClass(Record *R) const { | 
 | 105 |     const std::vector<CodeGenRegisterClass> &RC = getRegisterClasses(); | 
 | 106 |     for (unsigned i = 0, e = RC.size(); i != e; ++i) | 
 | 107 |       if (RC[i].TheDef == R) | 
 | 108 |         return RC[i]; | 
 | 109 |     assert(0 && "Didn't find the register class"); | 
 | 110 |     abort(); | 
 | 111 |   } | 
| Chris Lattner | 5c4736a | 2005-12-05 02:35:08 +0000 | [diff] [blame] | 112 |    | 
 | 113 |   /// getRegisterClassForRegister - Find the register class that contains the | 
| Dan Gohman | 8a17870 | 2009-04-13 15:24:11 +0000 | [diff] [blame] | 114 |   /// specified physical register.  If the register is not in a register | 
 | 115 |   /// class, return null. If the register is in multiple classes, and the | 
 | 116 |   /// classes have a superset-subset relationship and the same set of | 
 | 117 |   /// types, return the superclass.  Otherwise return null. | 
| Chris Lattner | 5c4736a | 2005-12-05 02:35:08 +0000 | [diff] [blame] | 118 |   const CodeGenRegisterClass *getRegisterClassForRegister(Record *R) const { | 
 | 119 |     const std::vector<CodeGenRegisterClass> &RCs = getRegisterClasses(); | 
 | 120 |     const CodeGenRegisterClass *FoundRC = 0; | 
 | 121 |     for (unsigned i = 0, e = RCs.size(); i != e; ++i) { | 
 | 122 |       const CodeGenRegisterClass &RC = RegisterClasses[i]; | 
 | 123 |       for (unsigned ei = 0, ee = RC.Elements.size(); ei != ee; ++ei) { | 
| Dan Gohman | 8a17870 | 2009-04-13 15:24:11 +0000 | [diff] [blame] | 124 |         if (R != RC.Elements[ei]) | 
 | 125 |           continue; | 
 | 126 |  | 
 | 127 |         // If a register's classes have different types, return null. | 
 | 128 |         if (FoundRC && RC.getValueTypes() != FoundRC->getValueTypes()) | 
 | 129 |           return 0; | 
 | 130 |  | 
 | 131 |         // If this is the first class that contains the register, | 
 | 132 |         // make a note of it and go on to the next class. | 
 | 133 |         if (!FoundRC) { | 
| Chris Lattner | 5c4736a | 2005-12-05 02:35:08 +0000 | [diff] [blame] | 134 |           FoundRC = &RC; | 
 | 135 |           break; | 
 | 136 |         } | 
| Dan Gohman | 8a17870 | 2009-04-13 15:24:11 +0000 | [diff] [blame] | 137 |  | 
 | 138 |         std::vector<Record *> Elements(RC.Elements); | 
 | 139 |         std::vector<Record *> FoundElements(FoundRC->Elements); | 
 | 140 |         std::sort(Elements.begin(), Elements.end()); | 
 | 141 |         std::sort(FoundElements.begin(), FoundElements.end()); | 
 | 142 |  | 
 | 143 |         // Check to see if the previously found class that contains | 
 | 144 |         // the register is a subclass of the current class. If so, | 
 | 145 |         // prefer the superclass. | 
 | 146 |         if (std::includes(Elements.begin(), Elements.end(), | 
 | 147 |                           FoundElements.begin(), FoundElements.end())) { | 
 | 148 |           FoundRC = &RC; | 
 | 149 |           break; | 
 | 150 |         } | 
 | 151 |  | 
 | 152 |         // Check to see if the previously found class that contains | 
 | 153 |         // the register is a superclass of the current class. If so, | 
 | 154 |         // prefer the superclass. | 
 | 155 |         if (std::includes(FoundElements.begin(), FoundElements.end(), | 
 | 156 |                           Elements.begin(), Elements.end())) | 
 | 157 |           break; | 
 | 158 |  | 
 | 159 |         // Multiple classes, and neither is a superclass of the other. | 
 | 160 |         // Return null. | 
 | 161 |         return 0; | 
| Chris Lattner | 5c4736a | 2005-12-05 02:35:08 +0000 | [diff] [blame] | 162 |       } | 
 | 163 |     } | 
 | 164 |     return FoundRC; | 
 | 165 |   } | 
| Evan Cheng | 44a65fa | 2006-05-16 07:05:30 +0000 | [diff] [blame] | 166 |  | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 167 |   /// getRegisterVTs - Find the union of all possible SimpleValueTypes for the | 
| Evan Cheng | 44a65fa | 2006-05-16 07:05:30 +0000 | [diff] [blame] | 168 |   /// specified physical register. | 
 | 169 |   std::vector<unsigned char> getRegisterVTs(Record *R) const; | 
| Chris Lattner | 5c4736a | 2005-12-05 02:35:08 +0000 | [diff] [blame] | 170 |    | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 171 |   const std::vector<MVT::SimpleValueType> &getLegalValueTypes() const { | 
| Chris Lattner | e9f4ba8 | 2005-09-08 21:43:21 +0000 | [diff] [blame] | 172 |     if (LegalValueTypes.empty()) ReadLegalValueTypes(); | 
 | 173 |     return LegalValueTypes; | 
 | 174 |   } | 
 | 175 |    | 
 | 176 |   /// isLegalValueType - Return true if the specified value type is natively | 
 | 177 |   /// supported by the target (i.e. there are registers that directly hold it). | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 178 |   bool isLegalValueType(MVT::SimpleValueType VT) const { | 
 | 179 |     const std::vector<MVT::SimpleValueType> &LegalVTs = getLegalValueTypes(); | 
| Chris Lattner | e9f4ba8 | 2005-09-08 21:43:21 +0000 | [diff] [blame] | 180 |     for (unsigned i = 0, e = LegalVTs.size(); i != e; ++i) | 
 | 181 |       if (LegalVTs[i] == VT) return true; | 
 | 182 |     return false;     | 
 | 183 |   } | 
| Chris Lattner | 056afef | 2004-08-21 04:05:00 +0000 | [diff] [blame] | 184 |  | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 185 |   /// getInstructions - Return all of the instructions defined for this target. | 
 | 186 |   /// | 
 | 187 |   const std::map<std::string, CodeGenInstruction> &getInstructions() const { | 
 | 188 |     if (Instructions.empty()) ReadInstructions(); | 
 | 189 |     return Instructions; | 
 | 190 |   } | 
| Dan Gohman | ee4fa19 | 2008-04-03 00:02:49 +0000 | [diff] [blame] | 191 |   std::map<std::string, CodeGenInstruction> &getInstructions() { | 
 | 192 |     if (Instructions.empty()) ReadInstructions(); | 
 | 193 |     return Instructions; | 
 | 194 |   } | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 195 |  | 
| Chris Lattner | a974b20 | 2005-09-14 18:02:53 +0000 | [diff] [blame] | 196 |   CodeGenInstruction &getInstruction(const std::string &Name) const { | 
 | 197 |     const std::map<std::string, CodeGenInstruction> &Insts = getInstructions(); | 
 | 198 |     assert(Insts.count(Name) && "Not an instruction!"); | 
 | 199 |     return const_cast<CodeGenInstruction&>(Insts.find(Name)->second); | 
 | 200 |   } | 
 | 201 |  | 
| Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 202 |   typedef std::map<std::string, | 
 | 203 |                    CodeGenInstruction>::const_iterator inst_iterator; | 
 | 204 |   inst_iterator inst_begin() const { return getInstructions().begin(); } | 
 | 205 |   inst_iterator inst_end() const { return Instructions.end(); } | 
| Chris Lattner | 2669311 | 2004-08-16 01:10:21 +0000 | [diff] [blame] | 206 |  | 
| Chris Lattner | d648867 | 2005-01-22 18:58:51 +0000 | [diff] [blame] | 207 |   /// getInstructionsByEnumValue - Return all of the instructions defined by the | 
 | 208 |   /// target, ordered by their enum value. | 
 | 209 |   void getInstructionsByEnumValue(std::vector<const CodeGenInstruction*> | 
 | 210 |                                                 &NumberedInstructions); | 
 | 211 |  | 
| Dale Johannesen | 874ae25 | 2009-06-02 03:12:52 +0000 | [diff] [blame^] | 212 |  | 
| Misha Brukman | 35e83cc | 2004-10-14 05:50:43 +0000 | [diff] [blame] | 213 |   /// isLittleEndianEncoding - are instruction bit patterns defined as  [0..n]? | 
 | 214 |   /// | 
 | 215 |   bool isLittleEndianEncoding() const; | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 216 | }; | 
 | 217 |  | 
| Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 218 | /// ComplexPattern - ComplexPattern info, corresponding to the ComplexPattern | 
 | 219 | /// tablegen class in TargetSelectionDAG.td | 
 | 220 | class ComplexPattern { | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 221 |   MVT::SimpleValueType Ty; | 
| Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 222 |   unsigned NumOperands; | 
 | 223 |   std::string SelectFunc; | 
| Evan Cheng | 3aa39f4 | 2005-12-08 02:14:08 +0000 | [diff] [blame] | 224 |   std::vector<Record*> RootNodes; | 
| Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 225 |   unsigned Properties; // Node properties | 
 | 226 |   unsigned Attributes; // Pattern attributes | 
| Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 227 | public: | 
 | 228 |   ComplexPattern() : NumOperands(0) {}; | 
 | 229 |   ComplexPattern(Record *R); | 
 | 230 |  | 
| Duncan Sands | 83ec4b6 | 2008-06-06 12:08:01 +0000 | [diff] [blame] | 231 |   MVT::SimpleValueType getValueType() const { return Ty; } | 
| Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 232 |   unsigned getNumOperands() const { return NumOperands; } | 
 | 233 |   const std::string &getSelectFunc() const { return SelectFunc; } | 
| Evan Cheng | 3aa39f4 | 2005-12-08 02:14:08 +0000 | [diff] [blame] | 234 |   const std::vector<Record*> &getRootNodes() const { | 
 | 235 |     return RootNodes; | 
| Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 236 |   } | 
| Evan Cheng | 94b3040 | 2006-10-11 21:02:01 +0000 | [diff] [blame] | 237 |   bool hasProperty(enum SDNP Prop) const { return Properties & (1 << Prop); } | 
| Christopher Lamb | 8535624 | 2008-01-31 07:27:46 +0000 | [diff] [blame] | 238 |   bool hasAttribute(enum CPAttr Attr) const { return Attributes & (1 << Attr); } | 
| Evan Cheng | 0fc7198 | 2005-12-08 02:00:36 +0000 | [diff] [blame] | 239 | }; | 
 | 240 |  | 
| Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 241 | } // End llvm namespace | 
 | 242 |  | 
| Chris Lattner | 4587207 | 2003-08-07 05:38:11 +0000 | [diff] [blame] | 243 | #endif |