| //===- CodeGenTarget.cpp - CodeGen Target Class Wrapper -------------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This class wraps target description classes used by the various code |
| // generation TableGen backends. This makes it easier to access the data and |
| // provides a single place that needs to check it for validity. All of these |
| // classes throw exceptions on error conditions. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "CodeGenTarget.h" |
| #include "CodeGenIntrinsics.h" |
| #include "Record.h" |
| #include "llvm/ADT/StringExtras.h" |
| #include "llvm/ADT/STLExtras.h" |
| #include "llvm/Support/CommandLine.h" |
| #include <algorithm> |
| using namespace llvm; |
| |
| static cl::opt<unsigned> |
| AsmParserNum("asmparsernum", cl::init(0), |
| cl::desc("Make -gen-asm-parser emit assembly parser #N")); |
| |
| static cl::opt<unsigned> |
| AsmWriterNum("asmwriternum", cl::init(0), |
| cl::desc("Make -gen-asm-writer emit assembly writer #N")); |
| |
| /// getValueType - Return the MVT::SimpleValueType that the specified TableGen |
| /// record corresponds to. |
| MVT::SimpleValueType llvm::getValueType(Record *Rec) { |
| return (MVT::SimpleValueType)Rec->getValueAsInt("Value"); |
| } |
| |
| std::string llvm::getName(MVT::SimpleValueType T) { |
| switch (T) { |
| case MVT::Other: return "UNKNOWN"; |
| case MVT::iPTR: return "TLI.getPointerTy()"; |
| case MVT::iPTRAny: return "TLI.getPointerTy()"; |
| default: return getEnumName(T); |
| } |
| } |
| |
| std::string llvm::getEnumName(MVT::SimpleValueType T) { |
| switch (T) { |
| case MVT::Other: return "MVT::Other"; |
| case MVT::i1: return "MVT::i1"; |
| case MVT::i8: return "MVT::i8"; |
| case MVT::i16: return "MVT::i16"; |
| case MVT::i32: return "MVT::i32"; |
| case MVT::i64: return "MVT::i64"; |
| case MVT::i128: return "MVT::i128"; |
| case MVT::iAny: return "MVT::iAny"; |
| case MVT::fAny: return "MVT::fAny"; |
| case MVT::vAny: return "MVT::vAny"; |
| case MVT::f32: return "MVT::f32"; |
| case MVT::f64: return "MVT::f64"; |
| case MVT::f80: return "MVT::f80"; |
| case MVT::f128: return "MVT::f128"; |
| case MVT::ppcf128: return "MVT::ppcf128"; |
| case MVT::x86mmx: return "MVT::x86mmx"; |
| case MVT::Glue: return "MVT::Glue"; |
| case MVT::isVoid: return "MVT::isVoid"; |
| case MVT::v2i8: return "MVT::v2i8"; |
| case MVT::v4i8: return "MVT::v4i8"; |
| case MVT::v8i8: return "MVT::v8i8"; |
| case MVT::v16i8: return "MVT::v16i8"; |
| case MVT::v32i8: return "MVT::v32i8"; |
| case MVT::v2i16: return "MVT::v2i16"; |
| case MVT::v4i16: return "MVT::v4i16"; |
| case MVT::v8i16: return "MVT::v8i16"; |
| case MVT::v16i16: return "MVT::v16i16"; |
| case MVT::v2i32: return "MVT::v2i32"; |
| case MVT::v4i32: return "MVT::v4i32"; |
| case MVT::v8i32: return "MVT::v8i32"; |
| case MVT::v1i64: return "MVT::v1i64"; |
| case MVT::v2i64: return "MVT::v2i64"; |
| case MVT::v4i64: return "MVT::v4i64"; |
| case MVT::v8i64: return "MVT::v8i64"; |
| case MVT::v2f32: return "MVT::v2f32"; |
| case MVT::v4f32: return "MVT::v4f32"; |
| case MVT::v8f32: return "MVT::v8f32"; |
| case MVT::v2f64: return "MVT::v2f64"; |
| case MVT::v4f64: return "MVT::v4f64"; |
| case MVT::Metadata: return "MVT::Metadata"; |
| case MVT::iPTR: return "MVT::iPTR"; |
| case MVT::iPTRAny: return "MVT::iPTRAny"; |
| case MVT::untyped: return "MVT::untyped"; |
| default: assert(0 && "ILLEGAL VALUE TYPE!"); return ""; |
| } |
| } |
| |
| /// getQualifiedName - Return the name of the specified record, with a |
| /// namespace qualifier if the record contains one. |
| /// |
| std::string llvm::getQualifiedName(const Record *R) { |
| std::string Namespace; |
| if (R->getValue("Namespace")) |
| Namespace = R->getValueAsString("Namespace"); |
| if (Namespace.empty()) return R->getName(); |
| return Namespace + "::" + R->getName(); |
| } |
| |
| |
| /// getTarget - Return the current instance of the Target class. |
| /// |
| CodeGenTarget::CodeGenTarget(RecordKeeper &records) |
| : Records(records), RegBank(0) { |
| std::vector<Record*> Targets = Records.getAllDerivedDefinitions("Target"); |
| if (Targets.size() == 0) |
| throw std::string("ERROR: No 'Target' subclasses defined!"); |
| if (Targets.size() != 1) |
| throw std::string("ERROR: Multiple subclasses of Target defined!"); |
| TargetRec = Targets[0]; |
| } |
| |
| |
| const std::string &CodeGenTarget::getName() const { |
| return TargetRec->getName(); |
| } |
| |
| std::string CodeGenTarget::getInstNamespace() const { |
| for (inst_iterator i = inst_begin(), e = inst_end(); i != e; ++i) { |
| // Make sure not to pick up "TargetOpcode" by accidentally getting |
| // the namespace off the PHI instruction or something. |
| if ((*i)->Namespace != "TargetOpcode") |
| return (*i)->Namespace; |
| } |
| |
| return ""; |
| } |
| |
| Record *CodeGenTarget::getInstructionSet() const { |
| return TargetRec->getValueAsDef("InstructionSet"); |
| } |
| |
| |
| /// getAsmParser - Return the AssemblyParser definition for this target. |
| /// |
| Record *CodeGenTarget::getAsmParser() const { |
| std::vector<Record*> LI = TargetRec->getValueAsListOfDefs("AssemblyParsers"); |
| if (AsmParserNum >= LI.size()) |
| throw "Target does not have an AsmParser #" + utostr(AsmParserNum) + "!"; |
| return LI[AsmParserNum]; |
| } |
| |
| /// getAsmWriter - Return the AssemblyWriter definition for this target. |
| /// |
| Record *CodeGenTarget::getAsmWriter() const { |
| std::vector<Record*> LI = TargetRec->getValueAsListOfDefs("AssemblyWriters"); |
| if (AsmWriterNum >= LI.size()) |
| throw "Target does not have an AsmWriter #" + utostr(AsmWriterNum) + "!"; |
| return LI[AsmWriterNum]; |
| } |
| |
| CodeGenRegBank &CodeGenTarget::getRegBank() const { |
| if (!RegBank) |
| RegBank = new CodeGenRegBank(Records); |
| return *RegBank; |
| } |
| |
| /// getRegisterByName - If there is a register with the specific AsmName, |
| /// return it. |
| const CodeGenRegister *CodeGenTarget::getRegisterByName(StringRef Name) const { |
| const std::vector<CodeGenRegister*> &Regs = getRegBank().getRegisters(); |
| for (unsigned i = 0, e = Regs.size(); i != e; ++i) |
| if (Regs[i]->TheDef->getValueAsString("AsmName") == Name) |
| return Regs[i]; |
| |
| return 0; |
| } |
| |
| std::vector<MVT::SimpleValueType> CodeGenTarget:: |
| getRegisterVTs(Record *R) const { |
| const CodeGenRegister *Reg = getRegBank().getReg(R); |
| std::vector<MVT::SimpleValueType> Result; |
| const std::vector<CodeGenRegisterClass> &RCs = getRegisterClasses(); |
| for (unsigned i = 0, e = RCs.size(); i != e; ++i) { |
| const CodeGenRegisterClass &RC = RCs[i]; |
| if (RC.contains(Reg)) { |
| const std::vector<MVT::SimpleValueType> &InVTs = RC.getValueTypes(); |
| Result.insert(Result.end(), InVTs.begin(), InVTs.end()); |
| } |
| } |
| |
| // Remove duplicates. |
| array_pod_sort(Result.begin(), Result.end()); |
| Result.erase(std::unique(Result.begin(), Result.end()), Result.end()); |
| return Result; |
| } |
| |
| |
| void CodeGenTarget::ReadLegalValueTypes() const { |
| const std::vector<CodeGenRegisterClass> &RCs = getRegisterClasses(); |
| for (unsigned i = 0, e = RCs.size(); i != e; ++i) |
| for (unsigned ri = 0, re = RCs[i].VTs.size(); ri != re; ++ri) |
| LegalValueTypes.push_back(RCs[i].VTs[ri]); |
| |
| // Remove duplicates. |
| std::sort(LegalValueTypes.begin(), LegalValueTypes.end()); |
| LegalValueTypes.erase(std::unique(LegalValueTypes.begin(), |
| LegalValueTypes.end()), |
| LegalValueTypes.end()); |
| } |
| |
| |
| void CodeGenTarget::ReadInstructions() const { |
| std::vector<Record*> Insts = Records.getAllDerivedDefinitions("Instruction"); |
| if (Insts.size() <= 2) |
| throw std::string("No 'Instruction' subclasses defined!"); |
| |
| // Parse the instructions defined in the .td file. |
| for (unsigned i = 0, e = Insts.size(); i != e; ++i) |
| Instructions[Insts[i]] = new CodeGenInstruction(Insts[i]); |
| } |
| |
| static const CodeGenInstruction * |
| GetInstByName(const char *Name, |
| const DenseMap<const Record*, CodeGenInstruction*> &Insts, |
| RecordKeeper &Records) { |
| const Record *Rec = Records.getDef(Name); |
| |
| DenseMap<const Record*, CodeGenInstruction*>::const_iterator |
| I = Insts.find(Rec); |
| if (Rec == 0 || I == Insts.end()) |
| throw std::string("Could not find '") + Name + "' instruction!"; |
| return I->second; |
| } |
| |
| namespace { |
| /// SortInstByName - Sorting predicate to sort instructions by name. |
| /// |
| struct SortInstByName { |
| bool operator()(const CodeGenInstruction *Rec1, |
| const CodeGenInstruction *Rec2) const { |
| return Rec1->TheDef->getName() < Rec2->TheDef->getName(); |
| } |
| }; |
| } |
| |
| /// getInstructionsByEnumValue - Return all of the instructions defined by the |
| /// target, ordered by their enum value. |
| void CodeGenTarget::ComputeInstrsByEnum() const { |
| // The ordering here must match the ordering in TargetOpcodes.h. |
| const char *const FixedInstrs[] = { |
| "PHI", |
| "INLINEASM", |
| "PROLOG_LABEL", |
| "EH_LABEL", |
| "GC_LABEL", |
| "KILL", |
| "EXTRACT_SUBREG", |
| "INSERT_SUBREG", |
| "IMPLICIT_DEF", |
| "SUBREG_TO_REG", |
| "COPY_TO_REGCLASS", |
| "DBG_VALUE", |
| "REG_SEQUENCE", |
| "COPY", |
| 0 |
| }; |
| const DenseMap<const Record*, CodeGenInstruction*> &Insts = getInstructions(); |
| for (const char *const *p = FixedInstrs; *p; ++p) { |
| const CodeGenInstruction *Instr = GetInstByName(*p, Insts, Records); |
| assert(Instr && "Missing target independent instruction"); |
| assert(Instr->Namespace == "TargetOpcode" && "Bad namespace"); |
| InstrsByEnum.push_back(Instr); |
| } |
| unsigned EndOfPredefines = InstrsByEnum.size(); |
| |
| for (DenseMap<const Record*, CodeGenInstruction*>::const_iterator |
| I = Insts.begin(), E = Insts.end(); I != E; ++I) { |
| const CodeGenInstruction *CGI = I->second; |
| if (CGI->Namespace != "TargetOpcode") |
| InstrsByEnum.push_back(CGI); |
| } |
| |
| assert(InstrsByEnum.size() == Insts.size() && "Missing predefined instr"); |
| |
| // All of the instructions are now in random order based on the map iteration. |
| // Sort them by name. |
| std::sort(InstrsByEnum.begin()+EndOfPredefines, InstrsByEnum.end(), |
| SortInstByName()); |
| } |
| |
| |
| /// isLittleEndianEncoding - Return whether this target encodes its instruction |
| /// in little-endian format, i.e. bits laid out in the order [0..n] |
| /// |
| bool CodeGenTarget::isLittleEndianEncoding() const { |
| return getInstructionSet()->getValueAsBit("isLittleEndianEncoding"); |
| } |
| |
| //===----------------------------------------------------------------------===// |
| // ComplexPattern implementation |
| // |
| ComplexPattern::ComplexPattern(Record *R) { |
| Ty = ::getValueType(R->getValueAsDef("Ty")); |
| NumOperands = R->getValueAsInt("NumOperands"); |
| SelectFunc = R->getValueAsString("SelectFunc"); |
| RootNodes = R->getValueAsListOfDefs("RootNodes"); |
| |
| // Parse the properties. |
| Properties = 0; |
| std::vector<Record*> PropList = R->getValueAsListOfDefs("Properties"); |
| for (unsigned i = 0, e = PropList.size(); i != e; ++i) |
| if (PropList[i]->getName() == "SDNPHasChain") { |
| Properties |= 1 << SDNPHasChain; |
| } else if (PropList[i]->getName() == "SDNPOptInGlue") { |
| Properties |= 1 << SDNPOptInGlue; |
| } else if (PropList[i]->getName() == "SDNPMayStore") { |
| Properties |= 1 << SDNPMayStore; |
| } else if (PropList[i]->getName() == "SDNPMayLoad") { |
| Properties |= 1 << SDNPMayLoad; |
| } else if (PropList[i]->getName() == "SDNPSideEffect") { |
| Properties |= 1 << SDNPSideEffect; |
| } else if (PropList[i]->getName() == "SDNPMemOperand") { |
| Properties |= 1 << SDNPMemOperand; |
| } else if (PropList[i]->getName() == "SDNPVariadic") { |
| Properties |= 1 << SDNPVariadic; |
| } else if (PropList[i]->getName() == "SDNPWantRoot") { |
| Properties |= 1 << SDNPWantRoot; |
| } else if (PropList[i]->getName() == "SDNPWantParent") { |
| Properties |= 1 << SDNPWantParent; |
| } else { |
| errs() << "Unsupported SD Node property '" << PropList[i]->getName() |
| << "' on ComplexPattern '" << R->getName() << "'!\n"; |
| exit(1); |
| } |
| } |
| |
| //===----------------------------------------------------------------------===// |
| // CodeGenIntrinsic Implementation |
| //===----------------------------------------------------------------------===// |
| |
| std::vector<CodeGenIntrinsic> llvm::LoadIntrinsics(const RecordKeeper &RC, |
| bool TargetOnly) { |
| std::vector<Record*> I = RC.getAllDerivedDefinitions("Intrinsic"); |
| |
| std::vector<CodeGenIntrinsic> Result; |
| |
| for (unsigned i = 0, e = I.size(); i != e; ++i) { |
| bool isTarget = I[i]->getValueAsBit("isTarget"); |
| if (isTarget == TargetOnly) |
| Result.push_back(CodeGenIntrinsic(I[i])); |
| } |
| return Result; |
| } |
| |
| CodeGenIntrinsic::CodeGenIntrinsic(Record *R) { |
| TheDef = R; |
| std::string DefName = R->getName(); |
| ModRef = ReadWriteMem; |
| isOverloaded = false; |
| isCommutative = false; |
| canThrow = false; |
| |
| if (DefName.size() <= 4 || |
| std::string(DefName.begin(), DefName.begin() + 4) != "int_") |
| throw "Intrinsic '" + DefName + "' does not start with 'int_'!"; |
| |
| EnumName = std::string(DefName.begin()+4, DefName.end()); |
| |
| if (R->getValue("GCCBuiltinName")) // Ignore a missing GCCBuiltinName field. |
| GCCBuiltinName = R->getValueAsString("GCCBuiltinName"); |
| |
| TargetPrefix = R->getValueAsString("TargetPrefix"); |
| Name = R->getValueAsString("LLVMName"); |
| |
| if (Name == "") { |
| // If an explicit name isn't specified, derive one from the DefName. |
| Name = "llvm."; |
| |
| for (unsigned i = 0, e = EnumName.size(); i != e; ++i) |
| Name += (EnumName[i] == '_') ? '.' : EnumName[i]; |
| } else { |
| // Verify it starts with "llvm.". |
| if (Name.size() <= 5 || |
| std::string(Name.begin(), Name.begin() + 5) != "llvm.") |
| throw "Intrinsic '" + DefName + "'s name does not start with 'llvm.'!"; |
| } |
| |
| // If TargetPrefix is specified, make sure that Name starts with |
| // "llvm.<targetprefix>.". |
| if (!TargetPrefix.empty()) { |
| if (Name.size() < 6+TargetPrefix.size() || |
| std::string(Name.begin() + 5, Name.begin() + 6 + TargetPrefix.size()) |
| != (TargetPrefix + ".")) |
| throw "Intrinsic '" + DefName + "' does not start with 'llvm." + |
| TargetPrefix + ".'!"; |
| } |
| |
| // Parse the list of return types. |
| std::vector<MVT::SimpleValueType> OverloadedVTs; |
| ListInit *TypeList = R->getValueAsListInit("RetTypes"); |
| for (unsigned i = 0, e = TypeList->getSize(); i != e; ++i) { |
| Record *TyEl = TypeList->getElementAsRecord(i); |
| assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!"); |
| MVT::SimpleValueType VT; |
| if (TyEl->isSubClassOf("LLVMMatchType")) { |
| unsigned MatchTy = TyEl->getValueAsInt("Number"); |
| assert(MatchTy < OverloadedVTs.size() && |
| "Invalid matching number!"); |
| VT = OverloadedVTs[MatchTy]; |
| // It only makes sense to use the extended and truncated vector element |
| // variants with iAny types; otherwise, if the intrinsic is not |
| // overloaded, all the types can be specified directly. |
| assert(((!TyEl->isSubClassOf("LLVMExtendedElementVectorType") && |
| !TyEl->isSubClassOf("LLVMTruncatedElementVectorType")) || |
| VT == MVT::iAny || VT == MVT::vAny) && |
| "Expected iAny or vAny type"); |
| } else { |
| VT = getValueType(TyEl->getValueAsDef("VT")); |
| } |
| if (EVT(VT).isOverloaded()) { |
| OverloadedVTs.push_back(VT); |
| isOverloaded = true; |
| } |
| |
| // Reject invalid types. |
| if (VT == MVT::isVoid) |
| throw "Intrinsic '" + DefName + " has void in result type list!"; |
| |
| IS.RetVTs.push_back(VT); |
| IS.RetTypeDefs.push_back(TyEl); |
| } |
| |
| // Parse the list of parameter types. |
| TypeList = R->getValueAsListInit("ParamTypes"); |
| for (unsigned i = 0, e = TypeList->getSize(); i != e; ++i) { |
| Record *TyEl = TypeList->getElementAsRecord(i); |
| assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!"); |
| MVT::SimpleValueType VT; |
| if (TyEl->isSubClassOf("LLVMMatchType")) { |
| unsigned MatchTy = TyEl->getValueAsInt("Number"); |
| assert(MatchTy < OverloadedVTs.size() && |
| "Invalid matching number!"); |
| VT = OverloadedVTs[MatchTy]; |
| // It only makes sense to use the extended and truncated vector element |
| // variants with iAny types; otherwise, if the intrinsic is not |
| // overloaded, all the types can be specified directly. |
| assert(((!TyEl->isSubClassOf("LLVMExtendedElementVectorType") && |
| !TyEl->isSubClassOf("LLVMTruncatedElementVectorType")) || |
| VT == MVT::iAny || VT == MVT::vAny) && |
| "Expected iAny or vAny type"); |
| } else |
| VT = getValueType(TyEl->getValueAsDef("VT")); |
| |
| if (EVT(VT).isOverloaded()) { |
| OverloadedVTs.push_back(VT); |
| isOverloaded = true; |
| } |
| |
| // Reject invalid types. |
| if (VT == MVT::isVoid && i != e-1 /*void at end means varargs*/) |
| throw "Intrinsic '" + DefName + " has void in result type list!"; |
| |
| IS.ParamVTs.push_back(VT); |
| IS.ParamTypeDefs.push_back(TyEl); |
| } |
| |
| // Parse the intrinsic properties. |
| ListInit *PropList = R->getValueAsListInit("Properties"); |
| for (unsigned i = 0, e = PropList->getSize(); i != e; ++i) { |
| Record *Property = PropList->getElementAsRecord(i); |
| assert(Property->isSubClassOf("IntrinsicProperty") && |
| "Expected a property!"); |
| |
| if (Property->getName() == "IntrNoMem") |
| ModRef = NoMem; |
| else if (Property->getName() == "IntrReadArgMem") |
| ModRef = ReadArgMem; |
| else if (Property->getName() == "IntrReadMem") |
| ModRef = ReadMem; |
| else if (Property->getName() == "IntrReadWriteArgMem") |
| ModRef = ReadWriteArgMem; |
| else if (Property->getName() == "Commutative") |
| isCommutative = true; |
| else if (Property->getName() == "Throws") |
| canThrow = true; |
| else if (Property->isSubClassOf("NoCapture")) { |
| unsigned ArgNo = Property->getValueAsInt("ArgNo"); |
| ArgumentAttributes.push_back(std::make_pair(ArgNo, NoCapture)); |
| } else |
| assert(0 && "Unknown property!"); |
| } |
| |
| // Sort the argument attributes for later benefit. |
| std::sort(ArgumentAttributes.begin(), ArgumentAttributes.end()); |
| } |