blob: 29264189b745a835912eff7bc2552b5a888aeeaf [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
20#include "CodeGenRegisters.h"
21#include "CodeGenInstruction.h"
Chris Lattner95127fb2010-03-19 01:07:44 +000022#include "llvm/Support/raw_ostream.h"
23#include "llvm/ADT/DenseMap.h"
Dan Gohmana9fddc22009-04-13 15:24:11 +000024#include <algorithm>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025
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,
Chris Lattnerd7e53fb2010-03-19 05:07:09 +000046 SDNPMemOperand,
47 SDNPVariadic
Chris Lattneref8d6082008-01-06 06:44:58 +000048};
Dan Gohmanf17a25c2007-07-18 16:29:46 +000049
Owen Anderson36e3a6e2009-08-11 20:47:22 +000050/// getValueType - Return the MVT::SimpleValueType that the specified TableGen
Duncan Sands92c43912008-06-06 12:08:01 +000051/// record corresponds to.
Owen Anderson36e3a6e2009-08-11 20:47:22 +000052MVT::SimpleValueType getValueType(Record *Rec);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000053
Owen Anderson36e3a6e2009-08-11 20:47:22 +000054std::string getName(MVT::SimpleValueType T);
55std::string getEnumName(MVT::SimpleValueType T);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000056
Chris Lattner4ca8ff02008-01-05 22:25:12 +000057/// getQualifiedName - Return the name of the specified record, with a
58/// namespace qualifier if the record contains one.
59std::string getQualifiedName(const Record *R);
60
Dan Gohmanf17a25c2007-07-18 16:29:46 +000061/// CodeGenTarget - This class corresponds to the Target class in the .td files.
62///
63class CodeGenTarget {
64 Record *TargetRec;
65
Chris Lattner95127fb2010-03-19 01:07:44 +000066 mutable DenseMap<const Record*, CodeGenInstruction*> Instructions;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000067 mutable std::vector<CodeGenRegister> Registers;
68 mutable std::vector<CodeGenRegisterClass> RegisterClasses;
Owen Anderson36e3a6e2009-08-11 20:47:22 +000069 mutable std::vector<MVT::SimpleValueType> LegalValueTypes;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000070 void ReadRegisters() const;
71 void ReadRegisterClasses() const;
72 void ReadInstructions() const;
73 void ReadLegalValueTypes() const;
Chris Lattnera2e1d002010-03-19 00:34:35 +000074
Chris Lattnerd268a352010-03-19 01:00:55 +000075 mutable std::vector<const CodeGenInstruction*> InstrsByEnum;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000076public:
77 CodeGenTarget();
78
79 Record *getTargetRecord() const { return TargetRec; }
80 const std::string &getName() const;
81
Dan Gohman6a36cc92008-08-20 21:45:57 +000082 /// getInstNamespace - Return the target-specific instruction namespace.
83 ///
84 std::string getInstNamespace() const;
85
Dan Gohmanf17a25c2007-07-18 16:29:46 +000086 /// getInstructionSet - Return the InstructionSet object.
87 ///
88 Record *getInstructionSet() const;
89
Daniel Dunbar85f1b392009-07-29 00:02:19 +000090 /// getAsmParser - Return the AssemblyParser definition for this target.
91 ///
92 Record *getAsmParser() const;
93
Dan Gohmanf17a25c2007-07-18 16:29:46 +000094 /// getAsmWriter - Return the AssemblyWriter definition for this target.
95 ///
96 Record *getAsmWriter() const;
97
98 const std::vector<CodeGenRegister> &getRegisters() const {
99 if (Registers.empty()) ReadRegisters();
100 return Registers;
101 }
102
103 const std::vector<CodeGenRegisterClass> &getRegisterClasses() const {
104 if (RegisterClasses.empty()) ReadRegisterClasses();
105 return RegisterClasses;
106 }
107
108 const CodeGenRegisterClass &getRegisterClass(Record *R) const {
109 const std::vector<CodeGenRegisterClass> &RC = getRegisterClasses();
110 for (unsigned i = 0, e = RC.size(); i != e; ++i)
111 if (RC[i].TheDef == R)
112 return RC[i];
113 assert(0 && "Didn't find the register class");
114 abort();
115 }
116
117 /// getRegisterClassForRegister - Find the register class that contains the
Dan Gohmana9fddc22009-04-13 15:24:11 +0000118 /// specified physical register. If the register is not in a register
119 /// class, return null. If the register is in multiple classes, and the
120 /// classes have a superset-subset relationship and the same set of
121 /// types, return the superclass. Otherwise return null.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000122 const CodeGenRegisterClass *getRegisterClassForRegister(Record *R) const {
123 const std::vector<CodeGenRegisterClass> &RCs = getRegisterClasses();
124 const CodeGenRegisterClass *FoundRC = 0;
125 for (unsigned i = 0, e = RCs.size(); i != e; ++i) {
126 const CodeGenRegisterClass &RC = RegisterClasses[i];
127 for (unsigned ei = 0, ee = RC.Elements.size(); ei != ee; ++ei) {
Dan Gohmana9fddc22009-04-13 15:24:11 +0000128 if (R != RC.Elements[ei])
129 continue;
130
131 // If a register's classes have different types, return null.
132 if (FoundRC && RC.getValueTypes() != FoundRC->getValueTypes())
133 return 0;
134
135 // If this is the first class that contains the register,
136 // make a note of it and go on to the next class.
137 if (!FoundRC) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000138 FoundRC = &RC;
139 break;
140 }
Dan Gohmana9fddc22009-04-13 15:24:11 +0000141
142 std::vector<Record *> Elements(RC.Elements);
143 std::vector<Record *> FoundElements(FoundRC->Elements);
144 std::sort(Elements.begin(), Elements.end());
145 std::sort(FoundElements.begin(), FoundElements.end());
146
147 // Check to see if the previously found class that contains
148 // the register is a subclass of the current class. If so,
149 // prefer the superclass.
150 if (std::includes(Elements.begin(), Elements.end(),
151 FoundElements.begin(), FoundElements.end())) {
152 FoundRC = &RC;
153 break;
154 }
155
156 // Check to see if the previously found class that contains
157 // the register is a superclass of the current class. If so,
158 // prefer the superclass.
159 if (std::includes(FoundElements.begin(), FoundElements.end(),
160 Elements.begin(), Elements.end()))
161 break;
162
163 // Multiple classes, and neither is a superclass of the other.
164 // Return null.
165 return 0;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000166 }
167 }
168 return FoundRC;
169 }
170
Duncan Sands92c43912008-06-06 12:08:01 +0000171 /// getRegisterVTs - Find the union of all possible SimpleValueTypes for the
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000172 /// specified physical register.
Chris Lattner3f9bead2010-03-15 06:00:16 +0000173 std::vector<MVT::SimpleValueType> getRegisterVTs(Record *R) const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000174
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000175 const std::vector<MVT::SimpleValueType> &getLegalValueTypes() const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000176 if (LegalValueTypes.empty()) ReadLegalValueTypes();
177 return LegalValueTypes;
178 }
179
180 /// isLegalValueType - Return true if the specified value type is natively
181 /// supported by the target (i.e. there are registers that directly hold it).
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000182 bool isLegalValueType(MVT::SimpleValueType VT) const {
183 const std::vector<MVT::SimpleValueType> &LegalVTs = getLegalValueTypes();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000184 for (unsigned i = 0, e = LegalVTs.size(); i != e; ++i)
185 if (LegalVTs[i] == VT) return true;
186 return false;
187 }
188
Chris Lattnera67d23d2010-03-19 00:18:23 +0000189private:
Chris Lattner95127fb2010-03-19 01:07:44 +0000190 DenseMap<const Record*, CodeGenInstruction*> &getInstructions() const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000191 if (Instructions.empty()) ReadInstructions();
192 return Instructions;
193 }
Chris Lattner82d9a642010-03-19 00:07:20 +0000194public:
195
Chris Lattner95127fb2010-03-19 01:07:44 +0000196 CodeGenInstruction &getInstruction(const Record *InstRec) const {
197 if (Instructions.empty()) ReadInstructions();
198 DenseMap<const Record*, CodeGenInstruction*>::iterator I =
199 Instructions.find(InstRec);
200 assert(I != Instructions.end() && "Not an instruction");
201 return *I->second;
202 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000203
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000204 /// getInstructionsByEnumValue - Return all of the instructions defined by the
205 /// target, ordered by their enum value.
Chris Lattnerd268a352010-03-19 01:00:55 +0000206 const std::vector<const CodeGenInstruction*> &
207 getInstructionsByEnumValue() const {
Chris Lattnera2e1d002010-03-19 00:34:35 +0000208 if (InstrsByEnum.empty()) ComputeInstrsByEnum();
209 return InstrsByEnum;
210 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000211
Chris Lattnerd268a352010-03-19 01:00:55 +0000212 typedef std::vector<const CodeGenInstruction*>::const_iterator inst_iterator;
213 inst_iterator inst_begin() const{return getInstructionsByEnumValue().begin();}
214 inst_iterator inst_end() const { return getInstructionsByEnumValue().end(); }
215
216
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000217 /// isLittleEndianEncoding - are instruction bit patterns defined as [0..n]?
218 ///
219 bool isLittleEndianEncoding() const;
Chris Lattnera2e1d002010-03-19 00:34:35 +0000220
221private:
Chris Lattnerd268a352010-03-19 01:00:55 +0000222 void ComputeInstrsByEnum() const;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000223};
224
225/// ComplexPattern - ComplexPattern info, corresponding to the ComplexPattern
226/// tablegen class in TargetSelectionDAG.td
227class ComplexPattern {
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000228 MVT::SimpleValueType Ty;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000229 unsigned NumOperands;
230 std::string SelectFunc;
231 std::vector<Record*> RootNodes;
Christopher Lamb059c7c92008-01-31 07:27:46 +0000232 unsigned Properties; // Node properties
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000233public:
Chris Lattnerd71e0312009-11-06 06:33:01 +0000234 ComplexPattern() : NumOperands(0) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000235 ComplexPattern(Record *R);
236
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000237 MVT::SimpleValueType getValueType() const { return Ty; }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000238 unsigned getNumOperands() const { return NumOperands; }
239 const std::string &getSelectFunc() const { return SelectFunc; }
240 const std::vector<Record*> &getRootNodes() const {
241 return RootNodes;
242 }
243 bool hasProperty(enum SDNP Prop) const { return Properties & (1 << Prop); }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000244};
245
246} // End llvm namespace
247
248#endif