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