blob: 1df74af36220be6b194d7b90a251365e153f275b [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- CodeGenTarget.h - Target Class Wrapper -------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerfd6c2f02007-12-29 20:37:13 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
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.
14//
15//===----------------------------------------------------------------------===//
16
17#ifndef CODEGEN_TARGET_H
18#define CODEGEN_TARGET_H
19
Daniel Dunbard4287062009-07-03 00:10:29 +000020#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000021#include "CodeGenRegisters.h"
22#include "CodeGenInstruction.h"
Dan Gohmana9fddc22009-04-13 15:24:11 +000023#include <algorithm>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000024#include <map>
25
26namespace llvm {
27
28class Record;
29class RecordKeeper;
30struct CodeGenRegister;
31class CodeGenTarget;
32
33// SelectionDAG node properties.
Mon P Wang6bde9ec2008-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 Lattneref8d6082008-01-06 06:44:58 +000036enum SDNP {
37 SDNPCommutative,
38 SDNPAssociative,
39 SDNPHasChain,
40 SDNPOutFlag,
41 SDNPInFlag,
42 SDNPOptInFlag,
Chris Lattner22d33772008-01-10 04:38:57 +000043 SDNPMayLoad,
Chris Lattner84631222008-01-10 05:39:30 +000044 SDNPMayStore,
Mon P Wang6bde9ec2008-06-25 08:15:39 +000045 SDNPSideEffect,
Dale Johannesen747fe522009-06-02 03:12:52 +000046 SDNPMemOperand
Chris Lattneref8d6082008-01-06 06:44:58 +000047};
Dan Gohmanf17a25c2007-07-18 16:29:46 +000048
Owen Anderson36e3a6e2009-08-11 20:47:22 +000049/// getValueType - Return the MVT::SimpleValueType that the specified TableGen
Duncan Sands92c43912008-06-06 12:08:01 +000050/// record corresponds to.
Owen Anderson36e3a6e2009-08-11 20:47:22 +000051MVT::SimpleValueType getValueType(Record *Rec);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000052
Owen Anderson36e3a6e2009-08-11 20:47:22 +000053std::string getName(MVT::SimpleValueType T);
54std::string getEnumName(MVT::SimpleValueType T);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000055
Chris Lattner4ca8ff02008-01-05 22:25:12 +000056/// getQualifiedName - Return the name of the specified record, with a
57/// namespace qualifier if the record contains one.
58std::string getQualifiedName(const Record *R);
59
Dan Gohmanf17a25c2007-07-18 16:29:46 +000060/// CodeGenTarget - This class corresponds to the Target class in the .td files.
61///
62class CodeGenTarget {
63 Record *TargetRec;
64
65 mutable std::map<std::string, CodeGenInstruction> Instructions;
66 mutable std::vector<CodeGenRegister> Registers;
67 mutable std::vector<CodeGenRegisterClass> RegisterClasses;
Owen Anderson36e3a6e2009-08-11 20:47:22 +000068 mutable std::vector<MVT::SimpleValueType> LegalValueTypes;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000069 void ReadRegisters() const;
70 void ReadRegisterClasses() const;
71 void ReadInstructions() const;
72 void ReadLegalValueTypes() const;
73public:
74 CodeGenTarget();
75
76 Record *getTargetRecord() const { return TargetRec; }
77 const std::string &getName() const;
78
Dan Gohman6a36cc92008-08-20 21:45:57 +000079 /// getInstNamespace - Return the target-specific instruction namespace.
80 ///
81 std::string getInstNamespace() const;
82
Dan Gohmanf17a25c2007-07-18 16:29:46 +000083 /// getInstructionSet - Return the InstructionSet object.
84 ///
85 Record *getInstructionSet() const;
86
Daniel Dunbar85f1b392009-07-29 00:02:19 +000087 /// getAsmParser - Return the AssemblyParser definition for this target.
88 ///
89 Record *getAsmParser() const;
90
Dan Gohmanf17a25c2007-07-18 16:29:46 +000091 /// getAsmWriter - Return the AssemblyWriter definition for this target.
92 ///
93 Record *getAsmWriter() const;
94
95 const std::vector<CodeGenRegister> &getRegisters() const {
96 if (Registers.empty()) ReadRegisters();
97 return Registers;
98 }
99
100 const std::vector<CodeGenRegisterClass> &getRegisterClasses() const {
101 if (RegisterClasses.empty()) ReadRegisterClasses();
102 return RegisterClasses;
103 }
104
105 const CodeGenRegisterClass &getRegisterClass(Record *R) const {
106 const std::vector<CodeGenRegisterClass> &RC = getRegisterClasses();
107 for (unsigned i = 0, e = RC.size(); i != e; ++i)
108 if (RC[i].TheDef == R)
109 return RC[i];
110 assert(0 && "Didn't find the register class");
111 abort();
112 }
113
114 /// getRegisterClassForRegister - Find the register class that contains the
Dan Gohmana9fddc22009-04-13 15:24:11 +0000115 /// specified physical register. If the register is not in a register
116 /// class, return null. If the register is in multiple classes, and the
117 /// classes have a superset-subset relationship and the same set of
118 /// types, return the superclass. Otherwise return null.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000119 const CodeGenRegisterClass *getRegisterClassForRegister(Record *R) const {
120 const std::vector<CodeGenRegisterClass> &RCs = getRegisterClasses();
121 const CodeGenRegisterClass *FoundRC = 0;
122 for (unsigned i = 0, e = RCs.size(); i != e; ++i) {
123 const CodeGenRegisterClass &RC = RegisterClasses[i];
124 for (unsigned ei = 0, ee = RC.Elements.size(); ei != ee; ++ei) {
Dan Gohmana9fddc22009-04-13 15:24:11 +0000125 if (R != RC.Elements[ei])
126 continue;
127
128 // If a register's classes have different types, return null.
129 if (FoundRC && RC.getValueTypes() != FoundRC->getValueTypes())
130 return 0;
131
132 // If this is the first class that contains the register,
133 // make a note of it and go on to the next class.
134 if (!FoundRC) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000135 FoundRC = &RC;
136 break;
137 }
Dan Gohmana9fddc22009-04-13 15:24:11 +0000138
139 std::vector<Record *> Elements(RC.Elements);
140 std::vector<Record *> FoundElements(FoundRC->Elements);
141 std::sort(Elements.begin(), Elements.end());
142 std::sort(FoundElements.begin(), FoundElements.end());
143
144 // Check to see if the previously found class that contains
145 // the register is a subclass of the current class. If so,
146 // prefer the superclass.
147 if (std::includes(Elements.begin(), Elements.end(),
148 FoundElements.begin(), FoundElements.end())) {
149 FoundRC = &RC;
150 break;
151 }
152
153 // Check to see if the previously found class that contains
154 // the register is a superclass of the current class. If so,
155 // prefer the superclass.
156 if (std::includes(FoundElements.begin(), FoundElements.end(),
157 Elements.begin(), Elements.end()))
158 break;
159
160 // Multiple classes, and neither is a superclass of the other.
161 // Return null.
162 return 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000163 }
164 }
165 return FoundRC;
166 }
167
Duncan Sands92c43912008-06-06 12:08:01 +0000168 /// getRegisterVTs - Find the union of all possible SimpleValueTypes for the
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000169 /// specified physical register.
Chris Lattner3f9bead2010-03-15 06:00:16 +0000170 std::vector<MVT::SimpleValueType> getRegisterVTs(Record *R) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000171
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000172 const std::vector<MVT::SimpleValueType> &getLegalValueTypes() const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000173 if (LegalValueTypes.empty()) ReadLegalValueTypes();
174 return LegalValueTypes;
175 }
176
177 /// isLegalValueType - Return true if the specified value type is natively
178 /// supported by the target (i.e. there are registers that directly hold it).
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000179 bool isLegalValueType(MVT::SimpleValueType VT) const {
180 const std::vector<MVT::SimpleValueType> &LegalVTs = getLegalValueTypes();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000181 for (unsigned i = 0, e = LegalVTs.size(); i != e; ++i)
182 if (LegalVTs[i] == VT) return true;
183 return false;
184 }
185
186 /// getInstructions - Return all of the instructions defined for this target.
187 ///
188 const std::map<std::string, CodeGenInstruction> &getInstructions() const {
189 if (Instructions.empty()) ReadInstructions();
190 return Instructions;
191 }
Dan Gohman907df572008-04-03 00:02:49 +0000192 std::map<std::string, CodeGenInstruction> &getInstructions() {
193 if (Instructions.empty()) ReadInstructions();
194 return Instructions;
195 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000196
197 CodeGenInstruction &getInstruction(const std::string &Name) const {
198 const std::map<std::string, CodeGenInstruction> &Insts = getInstructions();
199 assert(Insts.count(Name) && "Not an instruction!");
200 return const_cast<CodeGenInstruction&>(Insts.find(Name)->second);
201 }
202
203 typedef std::map<std::string,
204 CodeGenInstruction>::const_iterator inst_iterator;
205 inst_iterator inst_begin() const { return getInstructions().begin(); }
206 inst_iterator inst_end() const { return Instructions.end(); }
207
208 /// getInstructionsByEnumValue - Return all of the instructions defined by the
209 /// target, ordered by their enum value.
210 void getInstructionsByEnumValue(std::vector<const CodeGenInstruction*>
211 &NumberedInstructions);
212
Dale Johannesen747fe522009-06-02 03:12:52 +0000213
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000214 /// isLittleEndianEncoding - are instruction bit patterns defined as [0..n]?
215 ///
216 bool isLittleEndianEncoding() const;
217};
218
219/// ComplexPattern - ComplexPattern info, corresponding to the ComplexPattern
220/// tablegen class in TargetSelectionDAG.td
221class ComplexPattern {
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000222 MVT::SimpleValueType Ty;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000223 unsigned NumOperands;
224 std::string SelectFunc;
225 std::vector<Record*> RootNodes;
Christopher Lamb059c7c92008-01-31 07:27:46 +0000226 unsigned Properties; // Node properties
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000227public:
Chris Lattnerd71e0312009-11-06 06:33:01 +0000228 ComplexPattern() : NumOperands(0) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000229 ComplexPattern(Record *R);
230
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000231 MVT::SimpleValueType getValueType() const { return Ty; }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000232 unsigned getNumOperands() const { return NumOperands; }
233 const std::string &getSelectFunc() const { return SelectFunc; }
234 const std::vector<Record*> &getRootNodes() const {
235 return RootNodes;
236 }
237 bool hasProperty(enum SDNP Prop) const { return Properties & (1 << Prop); }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000238};
239
240} // End llvm namespace
241
242#endif