blob: c44c6f0455db655b32047e3172a6a5fd528247c5 [file] [log] [blame]
Chris Lattner803a5f62004-08-01 04:04:35 +00001//===- CodeGenTarget.h - Target Class Wrapper -------------------*- C++ -*-===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell01d45822003-10-20 20:20:30 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner30609102007-12-29 20:37:13 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell01d45822003-10-20 20:20:30 +00008//===----------------------------------------------------------------------===//
Chris Lattner45872072003-08-07 05:38:11 +00009//
Chris Lattner803a5f62004-08-01 04:04:35 +000010// 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 Lattner45872072003-08-07 05:38:11 +000014//
15//===----------------------------------------------------------------------===//
16
Chris Lattner803a5f62004-08-01 04:04:35 +000017#ifndef CODEGEN_TARGET_H
18#define CODEGEN_TARGET_H
Chris Lattner45872072003-08-07 05:38:11 +000019
Chris Lattner26693112004-08-16 01:10:21 +000020#include "CodeGenRegisters.h"
Chris Lattnerec352402004-08-01 05:04:00 +000021#include "CodeGenInstruction.h"
Dan Gohman8a178702009-04-13 15:24:11 +000022#include <algorithm>
Chris Lattner45872072003-08-07 05:38:11 +000023#include <iosfwd>
Chris Lattnerec352402004-08-01 05:04:00 +000024#include <map>
Brian Gaeked0fde302003-11-11 22:41:34 +000025
26namespace llvm {
27
Chris Lattner45872072003-08-07 05:38:11 +000028class Record;
29class RecordKeeper;
Chris Lattner1fca5ff2004-10-27 16:14:51 +000030struct CodeGenRegister;
Chris Lattner8850a1b2006-03-27 22:48:18 +000031class CodeGenTarget;
Chris Lattner45872072003-08-07 05:38:11 +000032
Evan Cheng94b30402006-10-11 21:02:01 +000033// SelectionDAG node properties.
Mon P Wang28873102008-06-25 08:15:39 +000034// SDNPMemOperand: indicates that a node touches memory and therefore must
35// have an associated memory operand that describes the access.
Chris Lattnerc8478d82008-01-06 06:44:58 +000036enum SDNP {
37 SDNPCommutative,
38 SDNPAssociative,
39 SDNPHasChain,
40 SDNPOutFlag,
41 SDNPInFlag,
42 SDNPOptInFlag,
Chris Lattner710e9952008-01-10 04:38:57 +000043 SDNPMayLoad,
Chris Lattnerbc0b9f72008-01-10 05:39:30 +000044 SDNPMayStore,
Mon P Wang28873102008-06-25 08:15:39 +000045 SDNPSideEffect,
Dale Johannesen4150d832009-06-01 23:27:20 +000046 SDNPMemOperand,
47 SDNPInI1,
48 SDNPOutI1
Chris Lattnerc8478d82008-01-06 06:44:58 +000049};
Evan Cheng94b30402006-10-11 21:02:01 +000050
Christopher Lamb85356242008-01-31 07:27:46 +000051// ComplexPattern attributes.
52enum CPAttr { CPAttrParentAsRoot };
53
Duncan Sands83ec4b62008-06-06 12:08:01 +000054/// getValueType - Return the MVT::SimpleValueType that the specified TableGen
55/// record corresponds to.
56MVT::SimpleValueType getValueType(Record *Rec);
Chris Lattner45872072003-08-07 05:38:11 +000057
Duncan Sands83ec4b62008-06-06 12:08:01 +000058std::string getName(MVT::SimpleValueType T);
59std::string getEnumName(MVT::SimpleValueType T);
Chris Lattner45872072003-08-07 05:38:11 +000060
Chris Lattner6cefb772008-01-05 22:25:12 +000061/// getQualifiedName - Return the name of the specified record, with a
62/// namespace qualifier if the record contains one.
63std::string getQualifiedName(const Record *R);
64
Chris Lattner45872072003-08-07 05:38:11 +000065/// CodeGenTarget - This class corresponds to the Target class in the .td files.
66///
67class CodeGenTarget {
68 Record *TargetRec;
Chris Lattner45872072003-08-07 05:38:11 +000069
Chris Lattnerec352402004-08-01 05:04:00 +000070 mutable std::map<std::string, CodeGenInstruction> Instructions;
Chris Lattner26693112004-08-16 01:10:21 +000071 mutable std::vector<CodeGenRegister> Registers;
Chris Lattner056afef2004-08-21 04:05:00 +000072 mutable std::vector<CodeGenRegisterClass> RegisterClasses;
Duncan Sands83ec4b62008-06-06 12:08:01 +000073 mutable std::vector<MVT::SimpleValueType> LegalValueTypes;
Chris Lattner26693112004-08-16 01:10:21 +000074 void ReadRegisters() const;
Chris Lattner056afef2004-08-21 04:05:00 +000075 void ReadRegisterClasses() const;
76 void ReadInstructions() const;
Chris Lattnere9f4ba82005-09-08 21:43:21 +000077 void ReadLegalValueTypes() const;
Chris Lattner45872072003-08-07 05:38:11 +000078public:
79 CodeGenTarget();
80
81 Record *getTargetRecord() const { return TargetRec; }
82 const std::string &getName() const;
83
Dan Gohman1e0ee4b2008-08-20 21:45:57 +000084 /// getInstNamespace - Return the target-specific instruction namespace.
85 ///
86 std::string getInstNamespace() const;
87
Chris Lattner175580c2004-08-14 22:50:53 +000088 /// getInstructionSet - Return the InstructionSet object.
Chris Lattnerec352402004-08-01 05:04:00 +000089 ///
Chris Lattner45872072003-08-07 05:38:11 +000090 Record *getInstructionSet() const;
91
Chris Lattner175580c2004-08-14 22:50:53 +000092 /// getAsmWriter - Return the AssemblyWriter definition for this target.
93 ///
94 Record *getAsmWriter() const;
95
Chris Lattnere9f4ba82005-09-08 21:43:21 +000096 const std::vector<CodeGenRegister> &getRegisters() const {
Chris Lattner26693112004-08-16 01:10:21 +000097 if (Registers.empty()) ReadRegisters();
98 return Registers;
99 }
Chris Lattnerec352402004-08-01 05:04:00 +0000100
Chris Lattnere9f4ba82005-09-08 21:43:21 +0000101 const std::vector<CodeGenRegisterClass> &getRegisterClasses() const {
Chris Lattner056afef2004-08-21 04:05:00 +0000102 if (RegisterClasses.empty()) ReadRegisterClasses();
103 return RegisterClasses;
104 }
Nate Begemanddb39542005-12-01 00:06:14 +0000105
106 const CodeGenRegisterClass &getRegisterClass(Record *R) const {
107 const std::vector<CodeGenRegisterClass> &RC = getRegisterClasses();
108 for (unsigned i = 0, e = RC.size(); i != e; ++i)
109 if (RC[i].TheDef == R)
110 return RC[i];
111 assert(0 && "Didn't find the register class");
112 abort();
113 }
Chris Lattner5c4736a2005-12-05 02:35:08 +0000114
115 /// getRegisterClassForRegister - Find the register class that contains the
Dan Gohman8a178702009-04-13 15:24:11 +0000116 /// specified physical register. If the register is not in a register
117 /// class, return null. If the register is in multiple classes, and the
118 /// classes have a superset-subset relationship and the same set of
119 /// types, return the superclass. Otherwise return null.
Chris Lattner5c4736a2005-12-05 02:35:08 +0000120 const CodeGenRegisterClass *getRegisterClassForRegister(Record *R) const {
121 const std::vector<CodeGenRegisterClass> &RCs = getRegisterClasses();
122 const CodeGenRegisterClass *FoundRC = 0;
123 for (unsigned i = 0, e = RCs.size(); i != e; ++i) {
124 const CodeGenRegisterClass &RC = RegisterClasses[i];
125 for (unsigned ei = 0, ee = RC.Elements.size(); ei != ee; ++ei) {
Dan Gohman8a178702009-04-13 15:24:11 +0000126 if (R != RC.Elements[ei])
127 continue;
128
129 // If a register's classes have different types, return null.
130 if (FoundRC && RC.getValueTypes() != FoundRC->getValueTypes())
131 return 0;
132
133 // If this is the first class that contains the register,
134 // make a note of it and go on to the next class.
135 if (!FoundRC) {
Chris Lattner5c4736a2005-12-05 02:35:08 +0000136 FoundRC = &RC;
137 break;
138 }
Dan Gohman8a178702009-04-13 15:24:11 +0000139
140 std::vector<Record *> Elements(RC.Elements);
141 std::vector<Record *> FoundElements(FoundRC->Elements);
142 std::sort(Elements.begin(), Elements.end());
143 std::sort(FoundElements.begin(), FoundElements.end());
144
145 // Check to see if the previously found class that contains
146 // the register is a subclass of the current class. If so,
147 // prefer the superclass.
148 if (std::includes(Elements.begin(), Elements.end(),
149 FoundElements.begin(), FoundElements.end())) {
150 FoundRC = &RC;
151 break;
152 }
153
154 // Check to see if the previously found class that contains
155 // the register is a superclass of the current class. If so,
156 // prefer the superclass.
157 if (std::includes(FoundElements.begin(), FoundElements.end(),
158 Elements.begin(), Elements.end()))
159 break;
160
161 // Multiple classes, and neither is a superclass of the other.
162 // Return null.
163 return 0;
Chris Lattner5c4736a2005-12-05 02:35:08 +0000164 }
165 }
166 return FoundRC;
167 }
Evan Cheng44a65fa2006-05-16 07:05:30 +0000168
Duncan Sands83ec4b62008-06-06 12:08:01 +0000169 /// getRegisterVTs - Find the union of all possible SimpleValueTypes for the
Evan Cheng44a65fa2006-05-16 07:05:30 +0000170 /// specified physical register.
171 std::vector<unsigned char> getRegisterVTs(Record *R) const;
Chris Lattner5c4736a2005-12-05 02:35:08 +0000172
Duncan Sands83ec4b62008-06-06 12:08:01 +0000173 const std::vector<MVT::SimpleValueType> &getLegalValueTypes() const {
Chris Lattnere9f4ba82005-09-08 21:43:21 +0000174 if (LegalValueTypes.empty()) ReadLegalValueTypes();
175 return LegalValueTypes;
176 }
177
178 /// isLegalValueType - Return true if the specified value type is natively
179 /// supported by the target (i.e. there are registers that directly hold it).
Duncan Sands83ec4b62008-06-06 12:08:01 +0000180 bool isLegalValueType(MVT::SimpleValueType VT) const {
181 const std::vector<MVT::SimpleValueType> &LegalVTs = getLegalValueTypes();
Chris Lattnere9f4ba82005-09-08 21:43:21 +0000182 for (unsigned i = 0, e = LegalVTs.size(); i != e; ++i)
183 if (LegalVTs[i] == VT) return true;
184 return false;
185 }
Chris Lattner056afef2004-08-21 04:05:00 +0000186
Chris Lattnerec352402004-08-01 05:04:00 +0000187 /// getInstructions - Return all of the instructions defined for this target.
188 ///
189 const std::map<std::string, CodeGenInstruction> &getInstructions() const {
190 if (Instructions.empty()) ReadInstructions();
191 return Instructions;
192 }
Dan Gohmanee4fa192008-04-03 00:02:49 +0000193 std::map<std::string, CodeGenInstruction> &getInstructions() {
194 if (Instructions.empty()) ReadInstructions();
195 return Instructions;
196 }
Chris Lattnerec352402004-08-01 05:04:00 +0000197
Chris Lattnera974b202005-09-14 18:02:53 +0000198 CodeGenInstruction &getInstruction(const std::string &Name) const {
199 const std::map<std::string, CodeGenInstruction> &Insts = getInstructions();
200 assert(Insts.count(Name) && "Not an instruction!");
201 return const_cast<CodeGenInstruction&>(Insts.find(Name)->second);
202 }
203
Chris Lattnerec352402004-08-01 05:04:00 +0000204 typedef std::map<std::string,
205 CodeGenInstruction>::const_iterator inst_iterator;
206 inst_iterator inst_begin() const { return getInstructions().begin(); }
207 inst_iterator inst_end() const { return Instructions.end(); }
Chris Lattner26693112004-08-16 01:10:21 +0000208
Chris Lattnerd6488672005-01-22 18:58:51 +0000209 /// getInstructionsByEnumValue - Return all of the instructions defined by the
210 /// target, ordered by their enum value.
211 void getInstructionsByEnumValue(std::vector<const CodeGenInstruction*>
212 &NumberedInstructions);
213
Misha Brukman35e83cc2004-10-14 05:50:43 +0000214 /// isLittleEndianEncoding - are instruction bit patterns defined as [0..n]?
215 ///
216 bool isLittleEndianEncoding() const;
Dale Johannesen4150d832009-06-01 23:27:20 +0000217
218 /// supportsHasI1 - does this target understand HasI1 for ADDE and ADDC?
219 bool supportsHasI1() const;
Chris Lattner45872072003-08-07 05:38:11 +0000220};
221
Evan Cheng0fc71982005-12-08 02:00:36 +0000222/// ComplexPattern - ComplexPattern info, corresponding to the ComplexPattern
223/// tablegen class in TargetSelectionDAG.td
224class ComplexPattern {
Duncan Sands83ec4b62008-06-06 12:08:01 +0000225 MVT::SimpleValueType Ty;
Evan Cheng0fc71982005-12-08 02:00:36 +0000226 unsigned NumOperands;
227 std::string SelectFunc;
Evan Cheng3aa39f42005-12-08 02:14:08 +0000228 std::vector<Record*> RootNodes;
Christopher Lamb85356242008-01-31 07:27:46 +0000229 unsigned Properties; // Node properties
230 unsigned Attributes; // Pattern attributes
Evan Cheng0fc71982005-12-08 02:00:36 +0000231public:
232 ComplexPattern() : NumOperands(0) {};
233 ComplexPattern(Record *R);
234
Duncan Sands83ec4b62008-06-06 12:08:01 +0000235 MVT::SimpleValueType getValueType() const { return Ty; }
Evan Cheng0fc71982005-12-08 02:00:36 +0000236 unsigned getNumOperands() const { return NumOperands; }
237 const std::string &getSelectFunc() const { return SelectFunc; }
Evan Cheng3aa39f42005-12-08 02:14:08 +0000238 const std::vector<Record*> &getRootNodes() const {
239 return RootNodes;
Evan Cheng0fc71982005-12-08 02:00:36 +0000240 }
Evan Cheng94b30402006-10-11 21:02:01 +0000241 bool hasProperty(enum SDNP Prop) const { return Properties & (1 << Prop); }
Christopher Lamb85356242008-01-31 07:27:46 +0000242 bool hasAttribute(enum CPAttr Attr) const { return Attributes & (1 << Attr); }
Evan Cheng0fc71982005-12-08 02:00:36 +0000243};
244
Brian Gaeked0fde302003-11-11 22:41:34 +0000245} // End llvm namespace
246
Chris Lattner45872072003-08-07 05:38:11 +0000247#endif