1803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner//===- CodeGenTarget.h - Target Class Wrapper -------------------*- C++ -*-===//
23da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman//
301d45827a1e512f3b19ba857772bf02baa3c0c4eJohn Criswell//                     The LLVM Compiler Infrastructure
401d45827a1e512f3b19ba857772bf02baa3c0c4eJohn Criswell//
53060910e290949a9ac5eda8726d030790c4d60ffChris Lattner// This file is distributed under the University of Illinois Open Source
63060910e290949a9ac5eda8726d030790c4d60ffChris Lattner// License. See LICENSE.TXT for details.
73da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman//
801d45827a1e512f3b19ba857772bf02baa3c0c4eJohn Criswell//===----------------------------------------------------------------------===//
945872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner//
10803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner// This file defines wrappers for the Target class and related global
11803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner// functionality.  This makes it easier to access the data and provides a single
12803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner// place that needs to check it for validity.  All of these classes throw
13803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner// exceptions on error conditions.
1445872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner//
1545872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner//===----------------------------------------------------------------------===//
1645872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
17803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner#ifndef CODEGEN_TARGET_H
18803a5f6ecb1823280f80e3c4459aa58627d0484cChris Lattner#define CODEGEN_TARGET_H
1945872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
2026693113201f4c9d441678e50d96f38d3288798eChris Lattner#include "CodeGenRegisters.h"
21ec3524064c57fbc2c5976ca301bbaadc94006d07Chris Lattner#include "CodeGenInstruction.h"
227c788888872233748da10a8177a9a1eb176c1bc8Peter Collingbourne#include "llvm/TableGen/Record.h"
23e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner#include "llvm/Support/raw_ostream.h"
248a17870da491b9598418fce180857515208b7393Dan Gohman#include <algorithm>
25d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
26d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm {
27d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
281fca5ff62bb2ecb5bfc8974f4dbfc56e9d3ca721Chris Lattnerstruct CodeGenRegister;
292661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trickclass CodeGenSchedModels;
308850a1bcef0c2a785f918395fe0a05054914b349Chris Lattnerclass CodeGenTarget;
3145872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
3294b3040fef9475c74b877fb32cb45200cea273bbEvan Cheng// SelectionDAG node properties.
3328873106309db515d58889a4c4fa3e0a92d1b60eMon P Wang//  SDNPMemOperand: indicates that a node touches memory and therefore must
3428873106309db515d58889a4c4fa3e0a92d1b60eMon P Wang//                  have an associated memory operand that describes the access.
35c8478d8b12c2d7e4cea32d0c9940f5cac2baa4ddChris Lattnerenum SDNP {
36510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach  SDNPCommutative,
37510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach  SDNPAssociative,
38c8478d8b12c2d7e4cea32d0c9940f5cac2baa4ddChris Lattner  SDNPHasChain,
39036609bd7d42ed1f57865969e059eb7d1eb6c392Chris Lattner  SDNPOutGlue,
40036609bd7d42ed1f57865969e059eb7d1eb6c392Chris Lattner  SDNPInGlue,
41036609bd7d42ed1f57865969e059eb7d1eb6c392Chris Lattner  SDNPOptInGlue,
42710e995889c71812743f3f33861c24273f4569a7Chris Lattner  SDNPMayLoad,
43bc0b9f70ae072d695e0eb7ceb729b3306b0679feChris Lattner  SDNPMayStore,
4428873106309db515d58889a4c4fa3e0a92d1b60eMon P Wang  SDNPSideEffect,
45e8cabf3c2eb835f9189a39c810654d9bd302f7eeChris Lattner  SDNPMemOperand,
4652a261b3c1391c5fec399ddeb3fc6ee9541e8790Chris Lattner  SDNPVariadic,
4752a261b3c1391c5fec399ddeb3fc6ee9541e8790Chris Lattner  SDNPWantRoot,
4852a261b3c1391c5fec399ddeb3fc6ee9541e8790Chris Lattner  SDNPWantParent
49c8478d8b12c2d7e4cea32d0c9940f5cac2baa4ddChris Lattner};
5094b3040fef9475c74b877fb32cb45200cea273bbEvan Cheng
51825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson/// getValueType - Return the MVT::SimpleValueType that the specified TableGen
5283ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands/// record corresponds to.
53825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen AndersonMVT::SimpleValueType getValueType(Record *Rec);
5445872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
55825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Andersonstd::string getName(MVT::SimpleValueType T);
56825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Andersonstd::string getEnumName(MVT::SimpleValueType T);
5745872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
586cefb77a7073057fecd721ae141140d75ce76512Chris Lattner/// getQualifiedName - Return the name of the specified record, with a
596cefb77a7073057fecd721ae141140d75ce76512Chris Lattner/// namespace qualifier if the record contains one.
606cefb77a7073057fecd721ae141140d75ce76512Chris Lattnerstd::string getQualifiedName(const Record *R);
61510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
6245872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner/// CodeGenTarget - This class corresponds to the Target class in the .td files.
6345872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner///
6445872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattnerclass CodeGenTarget {
6567db883487fca3472fdde51e931657e22d4d0495Chris Lattner  RecordKeeper &Records;
6645872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner  Record *TargetRec;
6745872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
68e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner  mutable DenseMap<const Record*, CodeGenInstruction*> Instructions;
69dc29c447136aabf05f48a7119e48065c3b4cee9bJakob Stoklund Olesen  mutable CodeGenRegBank *RegBank;
70bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson  mutable std::vector<Record*> RegAltNameIndices;
71825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  mutable std::vector<MVT::SimpleValueType> LegalValueTypes;
72bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson  void ReadRegAltNameIndices() const;
73056afeface2ac98664ed8fa4799b46178a4a6fe3Chris Lattner  void ReadInstructions() const;
74e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner  void ReadLegalValueTypes() const;
75510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
762661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trick  mutable CodeGenSchedModels *SchedModels;
772661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trick
786a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  mutable std::vector<const CodeGenInstruction*> InstrsByEnum;
7945872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattnerpublic:
8067db883487fca3472fdde51e931657e22d4d0495Chris Lattner  CodeGenTarget(RecordKeeper &Records);
812661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trick  ~CodeGenTarget();
8245872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
8345872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner  Record *getTargetRecord() const { return TargetRec; }
8445872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner  const std::string &getName() const;
8545872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
861e0ee4bc38e9cdc7e7ac49968527e2c05f927904Dan Gohman  /// getInstNamespace - Return the target-specific instruction namespace.
871e0ee4bc38e9cdc7e7ac49968527e2c05f927904Dan Gohman  ///
881e0ee4bc38e9cdc7e7ac49968527e2c05f927904Dan Gohman  std::string getInstNamespace() const;
891e0ee4bc38e9cdc7e7ac49968527e2c05f927904Dan Gohman
90175580c0f36b026daf9de0adabdb7ddcf7619db6Chris Lattner  /// getInstructionSet - Return the InstructionSet object.
91ec3524064c57fbc2c5976ca301bbaadc94006d07Chris Lattner  ///
9245872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner  Record *getInstructionSet() const;
9345872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
940e2771f4c4a6e1ffc664eb23487087f824340255Daniel Dunbar  /// getAsmParser - Return the AssemblyParser definition for this target.
950e2771f4c4a6e1ffc664eb23487087f824340255Daniel Dunbar  ///
960e2771f4c4a6e1ffc664eb23487087f824340255Daniel Dunbar  Record *getAsmParser() const;
970e2771f4c4a6e1ffc664eb23487087f824340255Daniel Dunbar
980dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  /// getAsmParserVariant - Return the AssmblyParserVariant definition for
990dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  /// this target.
1000dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  ///
1010dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  Record *getAsmParserVariant(unsigned i) const;
1020dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel
1032661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trick  /// getAsmParserVariantCount - Return the AssmblyParserVariant definition
1040dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  /// available for this target.
1050dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  ///
1060dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel  unsigned getAsmParserVariantCount() const;
1070dbcadaa2fdf7038431931bab090f4467d8e308fDevang Patel
108175580c0f36b026daf9de0adabdb7ddcf7619db6Chris Lattner  /// getAsmWriter - Return the AssemblyWriter definition for this target.
109175580c0f36b026daf9de0adabdb7ddcf7619db6Chris Lattner  ///
110175580c0f36b026daf9de0adabdb7ddcf7619db6Chris Lattner  Record *getAsmWriter() const;
111175580c0f36b026daf9de0adabdb7ddcf7619db6Chris Lattner
112dc29c447136aabf05f48a7119e48065c3b4cee9bJakob Stoklund Olesen  /// getRegBank - Return the register bank description.
113dc29c447136aabf05f48a7119e48065c3b4cee9bJakob Stoklund Olesen  CodeGenRegBank &getRegBank() const;
114dc29c447136aabf05f48a7119e48065c3b4cee9bJakob Stoklund Olesen
115ec6f096c36f4144ff9b3b24c2939720cdcbb7bccChris Lattner  /// getRegisterByName - If there is a register with the specific AsmName,
116ec6f096c36f4144ff9b3b24c2939720cdcbb7bccChris Lattner  /// return it.
117ec6f096c36f4144ff9b3b24c2939720cdcbb7bccChris Lattner  const CodeGenRegister *getRegisterByName(StringRef Name) const;
118ec3524064c57fbc2c5976ca301bbaadc94006d07Chris Lattner
119bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson  const std::vector<Record*> &getRegAltNameIndices() const {
120bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson    if (RegAltNameIndices.empty()) ReadRegAltNameIndices();
121bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson    return RegAltNameIndices;
122bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson  }
123bea6f615eefae279e53bbb63a31d2c3c67274c45Owen Anderson
124ddb395463c08b39090bbee4ed22433f5990a6331Nate Begeman  const CodeGenRegisterClass &getRegisterClass(Record *R) const {
1257b9cafde5e3faec22bbfbbc90cca0876968abad9Jakob Stoklund Olesen    return *getRegBank().getRegClass(R);
1265c4736a3da04795ba8d04e152e151afd6942e2f1Chris Lattner  }
12744a65fa552ed61cf9dba8f68f59b05e5137e6b01Evan Cheng
12883ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands  /// getRegisterVTs - Find the union of all possible SimpleValueTypes for the
12944a65fa552ed61cf9dba8f68f59b05e5137e6b01Evan Cheng  /// specified physical register.
1302cacec55f947c716b058a39038889550d7e39b3cChris Lattner  std::vector<MVT::SimpleValueType> getRegisterVTs(Record *R) const;
131510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
132825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  const std::vector<MVT::SimpleValueType> &getLegalValueTypes() const {
133e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner    if (LegalValueTypes.empty()) ReadLegalValueTypes();
134e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner    return LegalValueTypes;
135e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner  }
136510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
137e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner  /// isLegalValueType - Return true if the specified value type is natively
138e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner  /// supported by the target (i.e. there are registers that directly hold it).
139825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  bool isLegalValueType(MVT::SimpleValueType VT) const {
140825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson    const std::vector<MVT::SimpleValueType> &LegalVTs = getLegalValueTypes();
141e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner    for (unsigned i = 0, e = LegalVTs.size(); i != e; ++i)
142e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner      if (LegalVTs[i] == VT) return true;
143510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach    return false;
144e9f4ba8dd47de9da2a98db3bbe25b54d5a9607f1Chris Lattner  }
145056afeface2ac98664ed8fa4799b46178a4a6fe3Chris Lattner
1462661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trick  CodeGenSchedModels &getSchedModels() const;
1472661b411ccc81b1fe19194d3f43b2630cbef3f28Andrew Trick
148b61e09de6d0cd7241ddc6dee3efef416552eec3bChris Lattnerprivate:
149e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner  DenseMap<const Record*, CodeGenInstruction*> &getInstructions() const {
150ec3524064c57fbc2c5976ca301bbaadc94006d07Chris Lattner    if (Instructions.empty()) ReadInstructions();
151ec3524064c57fbc2c5976ca301bbaadc94006d07Chris Lattner    return Instructions;
152ec3524064c57fbc2c5976ca301bbaadc94006d07Chris Lattner  }
153f30187a36324fb75042d9ffd20c3fb70aff7763dChris Lattnerpublic:
154510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
155e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner  CodeGenInstruction &getInstruction(const Record *InstRec) const {
156e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner    if (Instructions.empty()) ReadInstructions();
157e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner    DenseMap<const Record*, CodeGenInstruction*>::iterator I =
158e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner      Instructions.find(InstRec);
159e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner    assert(I != Instructions.end() && "Not an instruction");
160e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner    return *I->second;
161e14d2e210dc7fe28009f44818a057622a73322e4Chris Lattner  }
162a974b20cae7691361f2be5b27fbc1658855ed96cChris Lattner
163d6488671736d0a5aaee1218748b94d8c68f33716Chris Lattner  /// getInstructionsByEnumValue - Return all of the instructions defined by the
164d6488671736d0a5aaee1218748b94d8c68f33716Chris Lattner  /// target, ordered by their enum value.
1656a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  const std::vector<const CodeGenInstruction*> &
1666a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  getInstructionsByEnumValue() const {
167f65027842e82027dd6e8020586a299aaa548e355Chris Lattner    if (InstrsByEnum.empty()) ComputeInstrsByEnum();
168f65027842e82027dd6e8020586a299aaa548e355Chris Lattner    return InstrsByEnum;
169f65027842e82027dd6e8020586a299aaa548e355Chris Lattner  }
170d6488671736d0a5aaee1218748b94d8c68f33716Chris Lattner
1716a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  typedef std::vector<const CodeGenInstruction*>::const_iterator inst_iterator;
1726a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  inst_iterator inst_begin() const{return getInstructionsByEnumValue().begin();}
1736a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  inst_iterator inst_end() const { return getInstructionsByEnumValue().end(); }
174510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
175510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
17635e83cc970e2ed99c8087e0c6b99f8a3618c279bMisha Brukman  /// isLittleEndianEncoding - are instruction bit patterns defined as  [0..n]?
17735e83cc970e2ed99c8087e0c6b99f8a3618c279bMisha Brukman  ///
17835e83cc970e2ed99c8087e0c6b99f8a3618c279bMisha Brukman  bool isLittleEndianEncoding() const;
179510207cb1e7427df711ac85002cab622f67bdf7cJim Grosbach
180f104bf65b9d748618d23caa37b2407fe9c2b174cJakob Stoklund Olesen  /// guessInstructionProperties - should we just guess unset instruction
181f104bf65b9d748618d23caa37b2407fe9c2b174cJakob Stoklund Olesen  /// properties?
182f104bf65b9d748618d23caa37b2407fe9c2b174cJakob Stoklund Olesen  bool guessInstructionProperties() const;
183f104bf65b9d748618d23caa37b2407fe9c2b174cJakob Stoklund Olesen
184f65027842e82027dd6e8020586a299aaa548e355Chris Lattnerprivate:
1856a91b18e5777f39e52e93221453abfa4553b6f93Chris Lattner  void ComputeInstrsByEnum() const;
18645872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner};
18745872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner
1880fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng/// ComplexPattern - ComplexPattern info, corresponding to the ComplexPattern
1890fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng/// tablegen class in TargetSelectionDAG.td
1900fc71988900e600f3ef5b13d9682e2bbab92811dEvan Chengclass ComplexPattern {
191825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  MVT::SimpleValueType Ty;
1920fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng  unsigned NumOperands;
1930fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng  std::string SelectFunc;
1943aa39f439a0971a2502b2c728a8006becaf96601Evan Cheng  std::vector<Record*> RootNodes;
1958535624739e55ab7424eadf792e1a3b4123421c7Christopher Lamb  unsigned Properties; // Node properties
1960fc71988900e600f3ef5b13d9682e2bbab92811dEvan Chengpublic:
197c128b3e74eaba34a8f6d2b8c3dc19861b9cbd901Chris Lattner  ComplexPattern() : NumOperands(0) {}
1980fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng  ComplexPattern(Record *R);
1990fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng
200825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  MVT::SimpleValueType getValueType() const { return Ty; }
2010fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng  unsigned getNumOperands() const { return NumOperands; }
2020fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng  const std::string &getSelectFunc() const { return SelectFunc; }
2033aa39f439a0971a2502b2c728a8006becaf96601Evan Cheng  const std::vector<Record*> &getRootNodes() const {
2043aa39f439a0971a2502b2c728a8006becaf96601Evan Cheng    return RootNodes;
2050fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng  }
20694b3040fef9475c74b877fb32cb45200cea273bbEvan Cheng  bool hasProperty(enum SDNP Prop) const { return Properties & (1 << Prop); }
2070fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng};
2080fc71988900e600f3ef5b13d9682e2bbab92811dEvan Cheng
209d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke} // End llvm namespace
210d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
21145872079672a4fb500fdcb9c77b23e3e550c8f97Chris Lattner#endif
212