123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257 |
- //===- InstrInfoEmitter.cpp - Generate a Instruction Set Desc. --*- C++ -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This tablegen backend is responsible for emitting a description of the target
- // instruction set for the code generator.
- //
- //===----------------------------------------------------------------------===//
- #include "CodeGenDAGPatterns.h"
- #include "CodeGenInstruction.h"
- #include "CodeGenSchedule.h"
- #include "CodeGenTarget.h"
- #include "PredicateExpander.h"
- #include "SequenceToOffsetTable.h"
- #include "SubtargetFeatureInfo.h"
- #include "TableGenBackends.h"
- #include "Types.h"
- #include "llvm/ADT/ArrayRef.h"
- #include "llvm/ADT/STLExtras.h"
- #include "llvm/ADT/StringExtras.h"
- #include "llvm/Support/Casting.h"
- #include "llvm/Support/raw_ostream.h"
- #include "llvm/TableGen/Error.h"
- #include "llvm/TableGen/Record.h"
- #include "llvm/TableGen/TableGenBackend.h"
- #include <cassert>
- #include <cstdint>
- #include <iterator>
- #include <map>
- #include <string>
- #include <utility>
- #include <vector>
- using namespace llvm;
- cl::OptionCategory InstrInfoEmitterCat("Options for -gen-instr-info");
- static cl::opt<bool> ExpandMIOperandInfo(
- "instr-info-expand-mi-operand-info",
- cl::desc("Expand operand's MIOperandInfo DAG into suboperands"),
- cl::cat(InstrInfoEmitterCat), cl::init(true));
- namespace {
- class InstrInfoEmitter {
- RecordKeeper &Records;
- CodeGenDAGPatterns CDP;
- const CodeGenSchedModels &SchedModels;
- public:
- InstrInfoEmitter(RecordKeeper &R):
- Records(R), CDP(R), SchedModels(CDP.getTargetInfo().getSchedModels()) {}
- // run - Output the instruction set description.
- void run(raw_ostream &OS);
- private:
- void emitEnums(raw_ostream &OS);
- typedef std::map<std::vector<std::string>, unsigned> OperandInfoMapTy;
- /// The keys of this map are maps which have OpName enum values as their keys
- /// and instruction operand indices as their values. The values of this map
- /// are lists of instruction names.
- typedef std::map<std::map<unsigned, unsigned>,
- std::vector<std::string>> OpNameMapTy;
- typedef std::map<std::string, unsigned>::iterator StrUintMapIter;
- /// Generate member functions in the target-specific GenInstrInfo class.
- ///
- /// This method is used to custom expand TIIPredicate definitions.
- /// See file llvm/Target/TargetInstPredicates.td for a description of what is
- /// a TIIPredicate and how to use it.
- void emitTIIHelperMethods(raw_ostream &OS, StringRef TargetName,
- bool ExpandDefinition = true);
- /// Expand TIIPredicate definitions to functions that accept a const MCInst
- /// reference.
- void emitMCIIHelperMethods(raw_ostream &OS, StringRef TargetName);
- /// Write verifyInstructionPredicates methods.
- void emitFeatureVerifier(raw_ostream &OS, const CodeGenTarget &Target);
- void emitRecord(const CodeGenInstruction &Inst, unsigned Num,
- Record *InstrInfo,
- std::map<std::vector<Record*>, unsigned> &EL,
- const OperandInfoMapTy &OpInfo,
- raw_ostream &OS);
- void emitOperandTypeMappings(
- raw_ostream &OS, const CodeGenTarget &Target,
- ArrayRef<const CodeGenInstruction *> NumberedInstructions);
- void initOperandMapData(
- ArrayRef<const CodeGenInstruction *> NumberedInstructions,
- StringRef Namespace,
- std::map<std::string, unsigned> &Operands,
- OpNameMapTy &OperandMap);
- void emitOperandNameMappings(raw_ostream &OS, const CodeGenTarget &Target,
- ArrayRef<const CodeGenInstruction*> NumberedInstructions);
- void emitLogicalOperandSizeMappings(
- raw_ostream &OS, StringRef Namespace,
- ArrayRef<const CodeGenInstruction *> NumberedInstructions);
- void emitLogicalOperandTypeMappings(
- raw_ostream &OS, StringRef Namespace,
- ArrayRef<const CodeGenInstruction *> NumberedInstructions);
- // Operand information.
- void EmitOperandInfo(raw_ostream &OS, OperandInfoMapTy &OperandInfoIDs);
- std::vector<std::string> GetOperandInfo(const CodeGenInstruction &Inst);
- };
- } // end anonymous namespace
- static void PrintDefList(const std::vector<Record*> &Uses,
- unsigned Num, raw_ostream &OS) {
- OS << "static const MCPhysReg ImplicitList" << Num << "[] = { ";
- for (auto [Idx, U] : enumerate(Uses))
- OS << (Idx ? ", " : "") << getQualifiedName(U);
- OS << " };\n";
- }
- //===----------------------------------------------------------------------===//
- // Operand Info Emission.
- //===----------------------------------------------------------------------===//
- std::vector<std::string>
- InstrInfoEmitter::GetOperandInfo(const CodeGenInstruction &Inst) {
- std::vector<std::string> Result;
- for (auto &Op : Inst.Operands) {
- // Handle aggregate operands and normal operands the same way by expanding
- // either case into a list of operands for this op.
- std::vector<CGIOperandList::OperandInfo> OperandList;
- // This might be a multiple operand thing. Targets like X86 have
- // registers in their multi-operand operands. It may also be an anonymous
- // operand, which has a single operand, but no declared class for the
- // operand.
- DagInit *MIOI = Op.MIOperandInfo;
- if (!MIOI || MIOI->getNumArgs() == 0) {
- // Single, anonymous, operand.
- OperandList.push_back(Op);
- } else {
- for (unsigned j = 0, e = Op.MINumOperands; j != e; ++j) {
- OperandList.push_back(Op);
- auto *OpR = cast<DefInit>(MIOI->getArg(j))->getDef();
- OperandList.back().Rec = OpR;
- }
- }
- for (unsigned j = 0, e = OperandList.size(); j != e; ++j) {
- Record *OpR = OperandList[j].Rec;
- std::string Res;
- if (OpR->isSubClassOf("RegisterOperand"))
- OpR = OpR->getValueAsDef("RegClass");
- if (OpR->isSubClassOf("RegisterClass"))
- Res += getQualifiedName(OpR) + "RegClassID, ";
- else if (OpR->isSubClassOf("PointerLikeRegClass"))
- Res += utostr(OpR->getValueAsInt("RegClassKind")) + ", ";
- else
- // -1 means the operand does not have a fixed register class.
- Res += "-1, ";
- // Fill in applicable flags.
- Res += "0";
- // Ptr value whose register class is resolved via callback.
- if (OpR->isSubClassOf("PointerLikeRegClass"))
- Res += "|(1<<MCOI::LookupPtrRegClass)";
- // Predicate operands. Check to see if the original unexpanded operand
- // was of type PredicateOp.
- if (Op.Rec->isSubClassOf("PredicateOp"))
- Res += "|(1<<MCOI::Predicate)";
- // Optional def operands. Check to see if the original unexpanded operand
- // was of type OptionalDefOperand.
- if (Op.Rec->isSubClassOf("OptionalDefOperand"))
- Res += "|(1<<MCOI::OptionalDef)";
- // Branch target operands. Check to see if the original unexpanded
- // operand was of type BranchTargetOperand.
- if (Op.Rec->isSubClassOf("BranchTargetOperand"))
- Res += "|(1<<MCOI::BranchTarget)";
- // Fill in operand type.
- Res += ", ";
- assert(!Op.OperandType.empty() && "Invalid operand type.");
- Res += Op.OperandType;
- // Fill in constraint info.
- Res += ", ";
- const CGIOperandList::ConstraintInfo &Constraint =
- Op.Constraints[j];
- if (Constraint.isNone())
- Res += "0";
- else if (Constraint.isEarlyClobber())
- Res += "MCOI_EARLY_CLOBBER";
- else {
- assert(Constraint.isTied());
- Res += "MCOI_TIED_TO(" + utostr(Constraint.getTiedOperand()) + ")";
- }
- Result.push_back(Res);
- }
- }
- return Result;
- }
- void InstrInfoEmitter::EmitOperandInfo(raw_ostream &OS,
- OperandInfoMapTy &OperandInfoIDs) {
- // ID #0 is for no operand info.
- unsigned OperandListNum = 0;
- OperandInfoIDs[std::vector<std::string>()] = ++OperandListNum;
- OS << "\n";
- const CodeGenTarget &Target = CDP.getTargetInfo();
- for (const CodeGenInstruction *Inst : Target.getInstructionsByEnumValue()) {
- std::vector<std::string> OperandInfo = GetOperandInfo(*Inst);
- unsigned &N = OperandInfoIDs[OperandInfo];
- if (N != 0) continue;
- N = ++OperandListNum;
- OS << "static const MCOperandInfo OperandInfo" << N << "[] = { ";
- for (const std::string &Info : OperandInfo)
- OS << "{ " << Info << " }, ";
- OS << "};\n";
- }
- }
- /// Initialize data structures for generating operand name mappings.
- ///
- /// \param Operands [out] A map used to generate the OpName enum with operand
- /// names as its keys and operand enum values as its values.
- /// \param OperandMap [out] A map for representing the operand name mappings for
- /// each instructions. This is used to generate the OperandMap table as
- /// well as the getNamedOperandIdx() function.
- void InstrInfoEmitter::initOperandMapData(
- ArrayRef<const CodeGenInstruction *> NumberedInstructions,
- StringRef Namespace,
- std::map<std::string, unsigned> &Operands,
- OpNameMapTy &OperandMap) {
- unsigned NumOperands = 0;
- for (const CodeGenInstruction *Inst : NumberedInstructions) {
- if (!Inst->TheDef->getValueAsBit("UseNamedOperandTable"))
- continue;
- std::map<unsigned, unsigned> OpList;
- for (const auto &Info : Inst->Operands) {
- StrUintMapIter I = Operands.find(Info.Name);
- if (I == Operands.end()) {
- I = Operands.insert(Operands.begin(),
- std::pair<std::string, unsigned>(Info.Name, NumOperands++));
- }
- OpList[I->second] = Info.MIOperandNo;
- }
- OperandMap[OpList].push_back(Namespace.str() + "::" +
- Inst->TheDef->getName().str());
- }
- }
- /// Generate a table and function for looking up the indices of operands by
- /// name.
- ///
- /// This code generates:
- /// - An enum in the llvm::TargetNamespace::OpName namespace, with one entry
- /// for each operand name.
- /// - A 2-dimensional table called OperandMap for mapping OpName enum values to
- /// operand indices.
- /// - A function called getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIdx)
- /// for looking up the operand index for an instruction, given a value from
- /// OpName enum
- void InstrInfoEmitter::emitOperandNameMappings(raw_ostream &OS,
- const CodeGenTarget &Target,
- ArrayRef<const CodeGenInstruction*> NumberedInstructions) {
- StringRef Namespace = Target.getInstNamespace();
- std::string OpNameNS = "OpName";
- // Map of operand names to their enumeration value. This will be used to
- // generate the OpName enum.
- std::map<std::string, unsigned> Operands;
- OpNameMapTy OperandMap;
- initOperandMapData(NumberedInstructions, Namespace, Operands, OperandMap);
- OS << "#ifdef GET_INSTRINFO_OPERAND_ENUM\n";
- OS << "#undef GET_INSTRINFO_OPERAND_ENUM\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "namespace " << OpNameNS << " {\n";
- OS << "enum {\n";
- for (const auto &Op : Operands)
- OS << " " << Op.first << " = " << Op.second << ",\n";
- OS << " OPERAND_LAST";
- OS << "\n};\n";
- OS << "} // end namespace OpName\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif //GET_INSTRINFO_OPERAND_ENUM\n\n";
- OS << "#ifdef GET_INSTRINFO_NAMED_OPS\n";
- OS << "#undef GET_INSTRINFO_NAMED_OPS\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "LLVM_READONLY\n";
- OS << "int16_t getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIdx) {\n";
- if (!Operands.empty()) {
- OS << " static const int16_t OperandMap [][" << Operands.size()
- << "] = {\n";
- for (const auto &Entry : OperandMap) {
- const std::map<unsigned, unsigned> &OpList = Entry.first;
- OS << "{";
- // Emit a row of the OperandMap table
- for (unsigned i = 0, e = Operands.size(); i != e; ++i)
- OS << (OpList.count(i) == 0 ? -1 : (int)OpList.find(i)->second) << ", ";
- OS << "},\n";
- }
- OS << "};\n";
- OS << " switch(Opcode) {\n";
- unsigned TableIndex = 0;
- for (const auto &Entry : OperandMap) {
- for (const std::string &Name : Entry.second)
- OS << " case " << Name << ":\n";
- OS << " return OperandMap[" << TableIndex++ << "][NamedIdx];\n";
- }
- OS << " default: return -1;\n";
- OS << " }\n";
- } else {
- // There are no operands, so no need to emit anything
- OS << " return -1;\n";
- }
- OS << "}\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif //GET_INSTRINFO_NAMED_OPS\n\n";
- }
- /// Generate an enum for all the operand types for this target, under the
- /// llvm::TargetNamespace::OpTypes namespace.
- /// Operand types are all definitions derived of the Operand Target.td class.
- void InstrInfoEmitter::emitOperandTypeMappings(
- raw_ostream &OS, const CodeGenTarget &Target,
- ArrayRef<const CodeGenInstruction *> NumberedInstructions) {
- StringRef Namespace = Target.getInstNamespace();
- std::vector<Record *> Operands = Records.getAllDerivedDefinitions("Operand");
- std::vector<Record *> RegisterOperands =
- Records.getAllDerivedDefinitions("RegisterOperand");
- std::vector<Record *> RegisterClasses =
- Records.getAllDerivedDefinitions("RegisterClass");
- OS << "#ifdef GET_INSTRINFO_OPERAND_TYPES_ENUM\n";
- OS << "#undef GET_INSTRINFO_OPERAND_TYPES_ENUM\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "namespace OpTypes {\n";
- OS << "enum OperandType {\n";
- unsigned EnumVal = 0;
- for (const std::vector<Record *> *RecordsToAdd :
- {&Operands, &RegisterOperands, &RegisterClasses}) {
- for (const Record *Op : *RecordsToAdd) {
- if (!Op->isAnonymous())
- OS << " " << Op->getName() << " = " << EnumVal << ",\n";
- ++EnumVal;
- }
- }
- OS << " OPERAND_TYPE_LIST_END" << "\n};\n";
- OS << "} // end namespace OpTypes\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_OPERAND_TYPES_ENUM\n\n";
- OS << "#ifdef GET_INSTRINFO_OPERAND_TYPE\n";
- OS << "#undef GET_INSTRINFO_OPERAND_TYPE\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "LLVM_READONLY\n";
- OS << "static int getOperandType(uint16_t Opcode, uint16_t OpIdx) {\n";
- auto getInstrName = [&](int I) -> StringRef {
- return NumberedInstructions[I]->TheDef->getName();
- };
- // TODO: Factor out duplicate operand lists to compress the tables.
- if (!NumberedInstructions.empty()) {
- std::vector<int> OperandOffsets;
- std::vector<Record *> OperandRecords;
- int CurrentOffset = 0;
- for (const CodeGenInstruction *Inst : NumberedInstructions) {
- OperandOffsets.push_back(CurrentOffset);
- for (const auto &Op : Inst->Operands) {
- const DagInit *MIOI = Op.MIOperandInfo;
- if (!ExpandMIOperandInfo || !MIOI || MIOI->getNumArgs() == 0) {
- // Single, anonymous, operand.
- OperandRecords.push_back(Op.Rec);
- ++CurrentOffset;
- } else {
- for (Init *Arg : MIOI->getArgs()) {
- OperandRecords.push_back(cast<DefInit>(Arg)->getDef());
- ++CurrentOffset;
- }
- }
- }
- }
- // Emit the table of offsets (indexes) into the operand type table.
- // Size the unsigned integer offset to save space.
- assert(OperandRecords.size() <= UINT32_MAX &&
- "Too many operands for offset table");
- OS << ((OperandRecords.size() <= UINT16_MAX) ? " const uint16_t"
- : " const uint32_t");
- OS << " Offsets[] = {\n";
- for (int I = 0, E = OperandOffsets.size(); I != E; ++I) {
- OS << " /* " << getInstrName(I) << " */\n";
- OS << " " << OperandOffsets[I] << ",\n";
- }
- OS << " };\n";
- // Add an entry for the end so that we don't need to special case it below.
- OperandOffsets.push_back(OperandRecords.size());
- // Emit the actual operand types in a flat table.
- // Size the signed integer operand type to save space.
- assert(EnumVal <= INT16_MAX &&
- "Too many operand types for operand types table");
- OS << "\n using namespace OpTypes;\n";
- OS << ((EnumVal <= INT8_MAX) ? " const int8_t" : " const int16_t");
- OS << " OpcodeOperandTypes[] = {\n ";
- for (int I = 0, E = OperandRecords.size(), CurOffset = 0; I != E; ++I) {
- // We print each Opcode's operands in its own row.
- if (I == OperandOffsets[CurOffset]) {
- OS << "\n /* " << getInstrName(CurOffset) << " */\n ";
- while (OperandOffsets[++CurOffset] == I)
- OS << "/* " << getInstrName(CurOffset) << " */\n ";
- }
- Record *OpR = OperandRecords[I];
- if ((OpR->isSubClassOf("Operand") ||
- OpR->isSubClassOf("RegisterOperand") ||
- OpR->isSubClassOf("RegisterClass")) &&
- !OpR->isAnonymous())
- OS << OpR->getName();
- else
- OS << -1;
- OS << ", ";
- }
- OS << "\n };\n";
- OS << " return OpcodeOperandTypes[Offsets[Opcode] + OpIdx];\n";
- } else {
- OS << " llvm_unreachable(\"No instructions defined\");\n";
- }
- OS << "}\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_OPERAND_TYPE\n\n";
- OS << "#ifdef GET_INSTRINFO_MEM_OPERAND_SIZE\n";
- OS << "#undef GET_INSTRINFO_MEM_OPERAND_SIZE\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "LLVM_READONLY\n";
- OS << "static int getMemOperandSize(int OpType) {\n";
- OS << " switch (OpType) {\n";
- std::map<int, std::vector<StringRef>> SizeToOperandName;
- for (const Record *Op : Operands) {
- if (!Op->isSubClassOf("X86MemOperand"))
- continue;
- if (int Size = Op->getValueAsInt("Size"))
- SizeToOperandName[Size].push_back(Op->getName());
- }
- OS << " default: return 0;\n";
- for (auto KV : SizeToOperandName) {
- for (const StringRef &OperandName : KV.second)
- OS << " case OpTypes::" << OperandName << ":\n";
- OS << " return " << KV.first << ";\n\n";
- }
- OS << " }\n}\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_MEM_OPERAND_SIZE\n\n";
- }
- void InstrInfoEmitter::emitLogicalOperandSizeMappings(
- raw_ostream &OS, StringRef Namespace,
- ArrayRef<const CodeGenInstruction *> NumberedInstructions) {
- std::map<std::vector<unsigned>, unsigned> LogicalOpSizeMap;
- std::map<unsigned, std::vector<std::string>> InstMap;
- size_t LogicalOpListSize = 0U;
- std::vector<unsigned> LogicalOpList;
- for (const auto *Inst : NumberedInstructions) {
- if (!Inst->TheDef->getValueAsBit("UseLogicalOperandMappings"))
- continue;
- LogicalOpList.clear();
- llvm::transform(Inst->Operands, std::back_inserter(LogicalOpList),
- [](const CGIOperandList::OperandInfo &Op) -> unsigned {
- auto *MIOI = Op.MIOperandInfo;
- if (!MIOI || MIOI->getNumArgs() == 0)
- return 1;
- return MIOI->getNumArgs();
- });
- LogicalOpListSize = std::max(LogicalOpList.size(), LogicalOpListSize);
- auto I =
- LogicalOpSizeMap.insert({LogicalOpList, LogicalOpSizeMap.size()}).first;
- InstMap[I->second].push_back(
- (Namespace + "::" + Inst->TheDef->getName()).str());
- }
- OS << "#ifdef GET_INSTRINFO_LOGICAL_OPERAND_SIZE_MAP\n";
- OS << "#undef GET_INSTRINFO_LOGICAL_OPERAND_SIZE_MAP\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "LLVM_READONLY static unsigned\n";
- OS << "getLogicalOperandSize(uint16_t Opcode, uint16_t LogicalOpIdx) {\n";
- if (!InstMap.empty()) {
- std::vector<const std::vector<unsigned> *> LogicalOpSizeList(
- LogicalOpSizeMap.size());
- for (auto &P : LogicalOpSizeMap) {
- LogicalOpSizeList[P.second] = &P.first;
- }
- OS << " static const unsigned SizeMap[][" << LogicalOpListSize
- << "] = {\n";
- for (auto &R : LogicalOpSizeList) {
- const auto &Row = *R;
- OS << " {";
- int i;
- for (i = 0; i < static_cast<int>(Row.size()); ++i) {
- OS << Row[i] << ", ";
- }
- for (; i < static_cast<int>(LogicalOpListSize); ++i) {
- OS << "0, ";
- }
- OS << "}, ";
- OS << "\n";
- }
- OS << " };\n";
- OS << " switch (Opcode) {\n";
- OS << " default: return LogicalOpIdx;\n";
- for (auto &P : InstMap) {
- auto OpMapIdx = P.first;
- const auto &Insts = P.second;
- for (const auto &Inst : Insts) {
- OS << " case " << Inst << ":\n";
- }
- OS << " return SizeMap[" << OpMapIdx << "][LogicalOpIdx];\n";
- }
- OS << " }\n";
- } else {
- OS << " return LogicalOpIdx;\n";
- }
- OS << "}\n";
- OS << "LLVM_READONLY static inline unsigned\n";
- OS << "getLogicalOperandIdx(uint16_t Opcode, uint16_t LogicalOpIdx) {\n";
- OS << " auto S = 0U;\n";
- OS << " for (auto i = 0U; i < LogicalOpIdx; ++i)\n";
- OS << " S += getLogicalOperandSize(Opcode, i);\n";
- OS << " return S;\n";
- OS << "}\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_LOGICAL_OPERAND_SIZE_MAP\n\n";
- }
- void InstrInfoEmitter::emitLogicalOperandTypeMappings(
- raw_ostream &OS, StringRef Namespace,
- ArrayRef<const CodeGenInstruction *> NumberedInstructions) {
- std::map<std::vector<std::string>, unsigned> LogicalOpTypeMap;
- std::map<unsigned, std::vector<std::string>> InstMap;
- size_t OpTypeListSize = 0U;
- std::vector<std::string> LogicalOpTypeList;
- for (const auto *Inst : NumberedInstructions) {
- if (!Inst->TheDef->getValueAsBit("UseLogicalOperandMappings"))
- continue;
- LogicalOpTypeList.clear();
- for (const auto &Op : Inst->Operands) {
- auto *OpR = Op.Rec;
- if ((OpR->isSubClassOf("Operand") ||
- OpR->isSubClassOf("RegisterOperand") ||
- OpR->isSubClassOf("RegisterClass")) &&
- !OpR->isAnonymous()) {
- LogicalOpTypeList.push_back(
- (Namespace + "::OpTypes::" + Op.Rec->getName()).str());
- } else {
- LogicalOpTypeList.push_back("-1");
- }
- }
- OpTypeListSize = std::max(LogicalOpTypeList.size(), OpTypeListSize);
- auto I =
- LogicalOpTypeMap.insert({LogicalOpTypeList, LogicalOpTypeMap.size()})
- .first;
- InstMap[I->second].push_back(
- (Namespace + "::" + Inst->TheDef->getName()).str());
- }
- OS << "#ifdef GET_INSTRINFO_LOGICAL_OPERAND_TYPE_MAP\n";
- OS << "#undef GET_INSTRINFO_LOGICAL_OPERAND_TYPE_MAP\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "LLVM_READONLY static int\n";
- OS << "getLogicalOperandType(uint16_t Opcode, uint16_t LogicalOpIdx) {\n";
- if (!InstMap.empty()) {
- std::vector<const std::vector<std::string> *> LogicalOpTypeList(
- LogicalOpTypeMap.size());
- for (auto &P : LogicalOpTypeMap) {
- LogicalOpTypeList[P.second] = &P.first;
- }
- OS << " static const int TypeMap[][" << OpTypeListSize << "] = {\n";
- for (int r = 0, rs = LogicalOpTypeList.size(); r < rs; ++r) {
- const auto &Row = *LogicalOpTypeList[r];
- OS << " {";
- int i, s = Row.size();
- for (i = 0; i < s; ++i) {
- if (i > 0)
- OS << ", ";
- OS << Row[i];
- }
- for (; i < static_cast<int>(OpTypeListSize); ++i) {
- if (i > 0)
- OS << ", ";
- OS << "-1";
- }
- OS << "}";
- if (r != rs - 1)
- OS << ",";
- OS << "\n";
- }
- OS << " };\n";
- OS << " switch (Opcode) {\n";
- OS << " default: return -1;\n";
- for (auto &P : InstMap) {
- auto OpMapIdx = P.first;
- const auto &Insts = P.second;
- for (const auto &Inst : Insts) {
- OS << " case " << Inst << ":\n";
- }
- OS << " return TypeMap[" << OpMapIdx << "][LogicalOpIdx];\n";
- }
- OS << " }\n";
- } else {
- OS << " return -1;\n";
- }
- OS << "}\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_LOGICAL_OPERAND_TYPE_MAP\n\n";
- }
- void InstrInfoEmitter::emitMCIIHelperMethods(raw_ostream &OS,
- StringRef TargetName) {
- RecVec TIIPredicates = Records.getAllDerivedDefinitions("TIIPredicate");
- OS << "#ifdef GET_INSTRINFO_MC_HELPER_DECLS\n";
- OS << "#undef GET_INSTRINFO_MC_HELPER_DECLS\n\n";
- OS << "namespace llvm {\n";
- OS << "class MCInst;\n";
- OS << "class FeatureBitset;\n\n";
- OS << "namespace " << TargetName << "_MC {\n\n";
- for (const Record *Rec : TIIPredicates) {
- OS << "bool " << Rec->getValueAsString("FunctionName")
- << "(const MCInst &MI);\n";
- }
- OS << "void verifyInstructionPredicates(unsigned Opcode, const FeatureBitset "
- "&Features);\n";
- OS << "\n} // end namespace " << TargetName << "_MC\n";
- OS << "} // end namespace llvm\n\n";
- OS << "#endif // GET_INSTRINFO_MC_HELPER_DECLS\n\n";
- OS << "#ifdef GET_INSTRINFO_MC_HELPERS\n";
- OS << "#undef GET_INSTRINFO_MC_HELPERS\n\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << TargetName << "_MC {\n\n";
- PredicateExpander PE(TargetName);
- PE.setExpandForMC(true);
- for (const Record *Rec : TIIPredicates) {
- OS << "bool " << Rec->getValueAsString("FunctionName");
- OS << "(const MCInst &MI) {\n";
- OS.indent(PE.getIndentLevel() * 2);
- PE.expandStatement(OS, Rec->getValueAsDef("Body"));
- OS << "\n}\n\n";
- }
- OS << "} // end namespace " << TargetName << "_MC\n";
- OS << "} // end namespace llvm\n\n";
- OS << "#endif // GET_GENISTRINFO_MC_HELPERS\n\n";
- }
- static std::string
- getNameForFeatureBitset(const std::vector<Record *> &FeatureBitset) {
- std::string Name = "CEFBS";
- for (const auto &Feature : FeatureBitset)
- Name += ("_" + Feature->getName()).str();
- return Name;
- }
- void InstrInfoEmitter::emitFeatureVerifier(raw_ostream &OS,
- const CodeGenTarget &Target) {
- const auto &All = SubtargetFeatureInfo::getAll(Records);
- std::map<Record *, SubtargetFeatureInfo, LessRecordByID> SubtargetFeatures;
- SubtargetFeatures.insert(All.begin(), All.end());
- OS << "#ifdef ENABLE_INSTR_PREDICATE_VERIFIER\n"
- << "#undef ENABLE_INSTR_PREDICATE_VERIFIER\n"
- << "#include <_llvm_sstream.h>\n\n";
- OS << "namespace llvm {\n";
- OS << "namespace " << Target.getName() << "_MC {\n\n";
- // Emit the subtarget feature enumeration.
- SubtargetFeatureInfo::emitSubtargetFeatureBitEnumeration(SubtargetFeatures,
- OS);
- // Emit the name table for error messages.
- OS << "#ifndef NDEBUG\n";
- SubtargetFeatureInfo::emitNameTable(SubtargetFeatures, OS);
- OS << "#endif // NDEBUG\n\n";
- // Emit the available features compute function.
- SubtargetFeatureInfo::emitComputeAssemblerAvailableFeatures(
- Target.getName(), "", "computeAvailableFeatures", SubtargetFeatures, OS);
- std::vector<std::vector<Record *>> FeatureBitsets;
- for (const CodeGenInstruction *Inst : Target.getInstructionsByEnumValue()) {
- FeatureBitsets.emplace_back();
- for (Record *Predicate : Inst->TheDef->getValueAsListOfDefs("Predicates")) {
- const auto &I = SubtargetFeatures.find(Predicate);
- if (I != SubtargetFeatures.end())
- FeatureBitsets.back().push_back(I->second.TheDef);
- }
- }
- llvm::sort(FeatureBitsets, [&](const std::vector<Record *> &A,
- const std::vector<Record *> &B) {
- if (A.size() < B.size())
- return true;
- if (A.size() > B.size())
- return false;
- for (auto Pair : zip(A, B)) {
- if (std::get<0>(Pair)->getName() < std::get<1>(Pair)->getName())
- return true;
- if (std::get<0>(Pair)->getName() > std::get<1>(Pair)->getName())
- return false;
- }
- return false;
- });
- FeatureBitsets.erase(
- std::unique(FeatureBitsets.begin(), FeatureBitsets.end()),
- FeatureBitsets.end());
- OS << "#ifndef NDEBUG\n"
- << "// Feature bitsets.\n"
- << "enum : " << getMinimalTypeForRange(FeatureBitsets.size()) << " {\n"
- << " CEFBS_None,\n";
- for (const auto &FeatureBitset : FeatureBitsets) {
- if (FeatureBitset.empty())
- continue;
- OS << " " << getNameForFeatureBitset(FeatureBitset) << ",\n";
- }
- OS << "};\n\n"
- << "static constexpr FeatureBitset FeatureBitsets[] = {\n"
- << " {}, // CEFBS_None\n";
- for (const auto &FeatureBitset : FeatureBitsets) {
- if (FeatureBitset.empty())
- continue;
- OS << " {";
- for (const auto &Feature : FeatureBitset) {
- const auto &I = SubtargetFeatures.find(Feature);
- assert(I != SubtargetFeatures.end() && "Didn't import predicate?");
- OS << I->second.getEnumBitName() << ", ";
- }
- OS << "},\n";
- }
- OS << "};\n"
- << "#endif // NDEBUG\n\n";
- // Emit the predicate verifier.
- OS << "void verifyInstructionPredicates(\n"
- << " unsigned Opcode, const FeatureBitset &Features) {\n"
- << "#ifndef NDEBUG\n"
- << " static " << getMinimalTypeForRange(FeatureBitsets.size())
- << " RequiredFeaturesRefs[] = {\n";
- unsigned InstIdx = 0;
- for (const CodeGenInstruction *Inst : Target.getInstructionsByEnumValue()) {
- OS << " CEFBS";
- unsigned NumPredicates = 0;
- for (Record *Predicate : Inst->TheDef->getValueAsListOfDefs("Predicates")) {
- const auto &I = SubtargetFeatures.find(Predicate);
- if (I != SubtargetFeatures.end()) {
- OS << '_' << I->second.TheDef->getName();
- NumPredicates++;
- }
- }
- if (!NumPredicates)
- OS << "_None";
- OS << ", // " << Inst->TheDef->getName() << " = " << InstIdx << "\n";
- InstIdx++;
- }
- OS << " };\n\n";
- OS << " assert(Opcode < " << InstIdx << ");\n";
- OS << " FeatureBitset AvailableFeatures = "
- "computeAvailableFeatures(Features);\n";
- OS << " const FeatureBitset &RequiredFeatures = "
- "FeatureBitsets[RequiredFeaturesRefs[Opcode]];\n";
- OS << " FeatureBitset MissingFeatures =\n"
- << " (AvailableFeatures & RequiredFeatures) ^\n"
- << " RequiredFeatures;\n"
- << " if (MissingFeatures.any()) {\n"
- << " std::ostringstream Msg;\n"
- << " Msg << \"Attempting to emit \" << &" << Target.getName()
- << "InstrNameData[" << Target.getName() << "InstrNameIndices[Opcode]]\n"
- << " << \" instruction but the \";\n"
- << " for (unsigned i = 0, e = MissingFeatures.size(); i != e; ++i)\n"
- << " if (MissingFeatures.test(i))\n"
- << " Msg << SubtargetFeatureNames[i] << \" \";\n"
- << " Msg << \"predicate(s) are not met\";\n"
- << " report_fatal_error(Msg.str().c_str());\n"
- << " }\n"
- << "#endif // NDEBUG\n";
- OS << "}\n";
- OS << "} // end namespace " << Target.getName() << "_MC\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // ENABLE_INSTR_PREDICATE_VERIFIER\n\n";
- }
- void InstrInfoEmitter::emitTIIHelperMethods(raw_ostream &OS,
- StringRef TargetName,
- bool ExpandDefinition) {
- RecVec TIIPredicates = Records.getAllDerivedDefinitions("TIIPredicate");
- if (TIIPredicates.empty())
- return;
- PredicateExpander PE(TargetName);
- PE.setExpandForMC(false);
- for (const Record *Rec : TIIPredicates) {
- OS << (ExpandDefinition ? "" : "static ") << "bool ";
- if (ExpandDefinition)
- OS << TargetName << "InstrInfo::";
- OS << Rec->getValueAsString("FunctionName");
- OS << "(const MachineInstr &MI)";
- if (!ExpandDefinition) {
- OS << ";\n";
- continue;
- }
- OS << " {\n";
- OS.indent(PE.getIndentLevel() * 2);
- PE.expandStatement(OS, Rec->getValueAsDef("Body"));
- OS << "\n}\n\n";
- }
- }
- //===----------------------------------------------------------------------===//
- // Main Output.
- //===----------------------------------------------------------------------===//
- // run - Emit the main instruction description records for the target...
- void InstrInfoEmitter::run(raw_ostream &OS) {
- emitSourceFileHeader("Target Instruction Enum Values and Descriptors", OS);
- emitEnums(OS);
- OS << "#ifdef GET_INSTRINFO_MC_DESC\n";
- OS << "#undef GET_INSTRINFO_MC_DESC\n";
- OS << "namespace llvm {\n\n";
- CodeGenTarget &Target = CDP.getTargetInfo();
- const std::string &TargetName = std::string(Target.getName());
- Record *InstrInfo = Target.getInstructionSet();
- // Keep track of all of the def lists we have emitted already.
- std::map<std::vector<Record*>, unsigned> EmittedLists;
- unsigned ListNumber = 0;
- // Emit all of the instruction's implicit uses and defs.
- Records.startTimer("Emit uses/defs");
- for (const CodeGenInstruction *II : Target.getInstructionsByEnumValue()) {
- std::vector<Record *> ImplicitOps = II->ImplicitUses;
- llvm::append_range(ImplicitOps, II->ImplicitDefs);
- if (!ImplicitOps.empty()) {
- unsigned &IL = EmittedLists[ImplicitOps];
- if (!IL) {
- IL = ++ListNumber;
- PrintDefList(ImplicitOps, IL, OS);
- }
- }
- }
- OperandInfoMapTy OperandInfoIDs;
- // Emit all of the operand info records.
- Records.startTimer("Emit operand info");
- EmitOperandInfo(OS, OperandInfoIDs);
- // Emit all of the MCInstrDesc records in reverse ENUM ordering.
- Records.startTimer("Emit InstrDesc records");
- OS << "\nextern const MCInstrDesc " << TargetName << "Insts[] = {\n";
- ArrayRef<const CodeGenInstruction*> NumberedInstructions =
- Target.getInstructionsByEnumValue();
- SequenceToOffsetTable<std::string> InstrNames;
- unsigned Num = NumberedInstructions.size();
- for (const CodeGenInstruction *Inst : reverse(NumberedInstructions)) {
- // Keep a list of the instruction names.
- InstrNames.add(std::string(Inst->TheDef->getName()));
- // Emit the record into the table.
- emitRecord(*Inst, --Num, InstrInfo, EmittedLists, OperandInfoIDs, OS);
- }
- OS << "};\n\n";
- // Emit the array of instruction names.
- Records.startTimer("Emit instruction names");
- InstrNames.layout();
- InstrNames.emitStringLiteralDef(OS, Twine("extern const char ") + TargetName +
- "InstrNameData[]");
- OS << "extern const unsigned " << TargetName <<"InstrNameIndices[] = {";
- Num = 0;
- for (const CodeGenInstruction *Inst : NumberedInstructions) {
- // Newline every eight entries.
- if (Num % 8 == 0)
- OS << "\n ";
- OS << InstrNames.get(std::string(Inst->TheDef->getName())) << "U, ";
- ++Num;
- }
- OS << "\n};\n\n";
- bool HasDeprecationFeatures =
- llvm::any_of(NumberedInstructions, [](const CodeGenInstruction *Inst) {
- return !Inst->HasComplexDeprecationPredicate &&
- !Inst->DeprecatedReason.empty();
- });
- if (HasDeprecationFeatures) {
- OS << "extern const uint8_t " << TargetName
- << "InstrDeprecationFeatures[] = {";
- Num = 0;
- for (const CodeGenInstruction *Inst : NumberedInstructions) {
- if (Num % 8 == 0)
- OS << "\n ";
- if (!Inst->HasComplexDeprecationPredicate &&
- !Inst->DeprecatedReason.empty())
- OS << Target.getInstNamespace() << "::" << Inst->DeprecatedReason
- << ", ";
- else
- OS << "uint8_t(-1), ";
- ++Num;
- }
- OS << "\n};\n\n";
- }
- bool HasComplexDeprecationInfos =
- llvm::any_of(NumberedInstructions, [](const CodeGenInstruction *Inst) {
- return Inst->HasComplexDeprecationPredicate;
- });
- if (HasComplexDeprecationInfos) {
- OS << "extern const MCInstrInfo::ComplexDeprecationPredicate " << TargetName
- << "InstrComplexDeprecationInfos[] = {";
- Num = 0;
- for (const CodeGenInstruction *Inst : NumberedInstructions) {
- if (Num % 8 == 0)
- OS << "\n ";
- if (Inst->HasComplexDeprecationPredicate)
- // Emit a function pointer to the complex predicate method.
- OS << "&get" << Inst->DeprecatedReason << "DeprecationInfo, ";
- else
- OS << "nullptr, ";
- ++Num;
- }
- OS << "\n};\n\n";
- }
- // MCInstrInfo initialization routine.
- Records.startTimer("Emit initialization routine");
- OS << "static inline void Init" << TargetName
- << "MCInstrInfo(MCInstrInfo *II) {\n";
- OS << " II->InitMCInstrInfo(" << TargetName << "Insts, " << TargetName
- << "InstrNameIndices, " << TargetName << "InstrNameData, ";
- if (HasDeprecationFeatures)
- OS << TargetName << "InstrDeprecationFeatures, ";
- else
- OS << "nullptr, ";
- if (HasComplexDeprecationInfos)
- OS << TargetName << "InstrComplexDeprecationInfos, ";
- else
- OS << "nullptr, ";
- OS << NumberedInstructions.size() << ");\n}\n\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_MC_DESC\n\n";
- // Create a TargetInstrInfo subclass to hide the MC layer initialization.
- OS << "#ifdef GET_INSTRINFO_HEADER\n";
- OS << "#undef GET_INSTRINFO_HEADER\n";
- std::string ClassName = TargetName + "GenInstrInfo";
- OS << "namespace llvm {\n";
- OS << "struct " << ClassName << " : public TargetInstrInfo {\n"
- << " explicit " << ClassName
- << "(unsigned CFSetupOpcode = ~0u, unsigned CFDestroyOpcode = ~0u, "
- "unsigned CatchRetOpcode = ~0u, unsigned ReturnOpcode = ~0u);\n"
- << " ~" << ClassName << "() override = default;\n";
- OS << "\n};\n} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_HEADER\n\n";
- OS << "#ifdef GET_INSTRINFO_HELPER_DECLS\n";
- OS << "#undef GET_INSTRINFO_HELPER_DECLS\n\n";
- emitTIIHelperMethods(OS, TargetName, /* ExpandDefinition = */ false);
- OS << "\n";
- OS << "#endif // GET_INSTRINFO_HELPER_DECLS\n\n";
- OS << "#ifdef GET_INSTRINFO_HELPERS\n";
- OS << "#undef GET_INSTRINFO_HELPERS\n\n";
- emitTIIHelperMethods(OS, TargetName, /* ExpandDefinition = */ true);
- OS << "#endif // GET_INSTRINFO_HELPERS\n\n";
- OS << "#ifdef GET_INSTRINFO_CTOR_DTOR\n";
- OS << "#undef GET_INSTRINFO_CTOR_DTOR\n";
- OS << "namespace llvm {\n";
- OS << "extern const MCInstrDesc " << TargetName << "Insts[];\n";
- OS << "extern const unsigned " << TargetName << "InstrNameIndices[];\n";
- OS << "extern const char " << TargetName << "InstrNameData[];\n";
- if (HasDeprecationFeatures)
- OS << "extern const uint8_t " << TargetName
- << "InstrDeprecationFeatures[];\n";
- if (HasComplexDeprecationInfos)
- OS << "extern const MCInstrInfo::ComplexDeprecationPredicate " << TargetName
- << "InstrComplexDeprecationInfos[];\n";
- OS << ClassName << "::" << ClassName
- << "(unsigned CFSetupOpcode, unsigned CFDestroyOpcode, unsigned "
- "CatchRetOpcode, unsigned ReturnOpcode)\n"
- << " : TargetInstrInfo(CFSetupOpcode, CFDestroyOpcode, CatchRetOpcode, "
- "ReturnOpcode) {\n"
- << " InitMCInstrInfo(" << TargetName << "Insts, " << TargetName
- << "InstrNameIndices, " << TargetName << "InstrNameData, ";
- if (HasDeprecationFeatures)
- OS << TargetName << "InstrDeprecationFeatures, ";
- else
- OS << "nullptr, ";
- if (HasComplexDeprecationInfos)
- OS << TargetName << "InstrComplexDeprecationInfos, ";
- else
- OS << "nullptr, ";
- OS << NumberedInstructions.size() << ");\n}\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_CTOR_DTOR\n\n";
- Records.startTimer("Emit operand name mappings");
- emitOperandNameMappings(OS, Target, NumberedInstructions);
- Records.startTimer("Emit operand type mappings");
- emitOperandTypeMappings(OS, Target, NumberedInstructions);
- Records.startTimer("Emit logical operand size mappings");
- emitLogicalOperandSizeMappings(OS, TargetName, NumberedInstructions);
- Records.startTimer("Emit logical operand type mappings");
- emitLogicalOperandTypeMappings(OS, TargetName, NumberedInstructions);
- Records.startTimer("Emit helper methods");
- emitMCIIHelperMethods(OS, TargetName);
- Records.startTimer("Emit verifier methods");
- emitFeatureVerifier(OS, Target);
- }
- void InstrInfoEmitter::emitRecord(const CodeGenInstruction &Inst, unsigned Num,
- Record *InstrInfo,
- std::map<std::vector<Record*>, unsigned> &EmittedLists,
- const OperandInfoMapTy &OpInfo,
- raw_ostream &OS) {
- int MinOperands = 0;
- if (!Inst.Operands.empty())
- // Each logical operand can be multiple MI operands.
- MinOperands = Inst.Operands.back().MIOperandNo +
- Inst.Operands.back().MINumOperands;
- OS << " { ";
- OS << Num << ",\t" << MinOperands << ",\t"
- << Inst.Operands.NumDefs << ",\t"
- << Inst.TheDef->getValueAsInt("Size") << ",\t"
- << SchedModels.getSchedClassIdx(Inst) << ",\t"
- << Inst.ImplicitUses.size() << ",\t"
- << Inst.ImplicitDefs.size() << ",\t0";
- CodeGenTarget &Target = CDP.getTargetInfo();
- // Emit all of the target independent flags...
- if (Inst.isPreISelOpcode) OS << "|(1ULL<<MCID::PreISelOpcode)";
- if (Inst.isPseudo) OS << "|(1ULL<<MCID::Pseudo)";
- if (Inst.isMeta) OS << "|(1ULL<<MCID::Meta)";
- if (Inst.isReturn) OS << "|(1ULL<<MCID::Return)";
- if (Inst.isEHScopeReturn) OS << "|(1ULL<<MCID::EHScopeReturn)";
- if (Inst.isBranch) OS << "|(1ULL<<MCID::Branch)";
- if (Inst.isIndirectBranch) OS << "|(1ULL<<MCID::IndirectBranch)";
- if (Inst.isCompare) OS << "|(1ULL<<MCID::Compare)";
- if (Inst.isMoveImm) OS << "|(1ULL<<MCID::MoveImm)";
- if (Inst.isMoveReg) OS << "|(1ULL<<MCID::MoveReg)";
- if (Inst.isBitcast) OS << "|(1ULL<<MCID::Bitcast)";
- if (Inst.isAdd) OS << "|(1ULL<<MCID::Add)";
- if (Inst.isTrap) OS << "|(1ULL<<MCID::Trap)";
- if (Inst.isSelect) OS << "|(1ULL<<MCID::Select)";
- if (Inst.isBarrier) OS << "|(1ULL<<MCID::Barrier)";
- if (Inst.hasDelaySlot) OS << "|(1ULL<<MCID::DelaySlot)";
- if (Inst.isCall) OS << "|(1ULL<<MCID::Call)";
- if (Inst.canFoldAsLoad) OS << "|(1ULL<<MCID::FoldableAsLoad)";
- if (Inst.mayLoad) OS << "|(1ULL<<MCID::MayLoad)";
- if (Inst.mayStore) OS << "|(1ULL<<MCID::MayStore)";
- if (Inst.mayRaiseFPException) OS << "|(1ULL<<MCID::MayRaiseFPException)";
- if (Inst.isPredicable) OS << "|(1ULL<<MCID::Predicable)";
- if (Inst.isConvertibleToThreeAddress) OS << "|(1ULL<<MCID::ConvertibleTo3Addr)";
- if (Inst.isCommutable) OS << "|(1ULL<<MCID::Commutable)";
- if (Inst.isTerminator) OS << "|(1ULL<<MCID::Terminator)";
- if (Inst.isReMaterializable) OS << "|(1ULL<<MCID::Rematerializable)";
- if (Inst.isNotDuplicable) OS << "|(1ULL<<MCID::NotDuplicable)";
- if (Inst.Operands.hasOptionalDef) OS << "|(1ULL<<MCID::HasOptionalDef)";
- if (Inst.usesCustomInserter) OS << "|(1ULL<<MCID::UsesCustomInserter)";
- if (Inst.hasPostISelHook) OS << "|(1ULL<<MCID::HasPostISelHook)";
- if (Inst.Operands.isVariadic)OS << "|(1ULL<<MCID::Variadic)";
- if (Inst.hasSideEffects) OS << "|(1ULL<<MCID::UnmodeledSideEffects)";
- if (Inst.isAsCheapAsAMove) OS << "|(1ULL<<MCID::CheapAsAMove)";
- if (!Target.getAllowRegisterRenaming() || Inst.hasExtraSrcRegAllocReq)
- OS << "|(1ULL<<MCID::ExtraSrcRegAllocReq)";
- if (!Target.getAllowRegisterRenaming() || Inst.hasExtraDefRegAllocReq)
- OS << "|(1ULL<<MCID::ExtraDefRegAllocReq)";
- if (Inst.isRegSequence) OS << "|(1ULL<<MCID::RegSequence)";
- if (Inst.isExtractSubreg) OS << "|(1ULL<<MCID::ExtractSubreg)";
- if (Inst.isInsertSubreg) OS << "|(1ULL<<MCID::InsertSubreg)";
- if (Inst.isConvergent) OS << "|(1ULL<<MCID::Convergent)";
- if (Inst.variadicOpsAreDefs) OS << "|(1ULL<<MCID::VariadicOpsAreDefs)";
- if (Inst.isAuthenticated) OS << "|(1ULL<<MCID::Authenticated)";
- // Emit all of the target-specific flags...
- BitsInit *TSF = Inst.TheDef->getValueAsBitsInit("TSFlags");
- if (!TSF)
- PrintFatalError(Inst.TheDef->getLoc(), "no TSFlags?");
- uint64_t Value = 0;
- for (unsigned i = 0, e = TSF->getNumBits(); i != e; ++i) {
- if (const auto *Bit = dyn_cast<BitInit>(TSF->getBit(i)))
- Value |= uint64_t(Bit->getValue()) << i;
- else
- PrintFatalError(Inst.TheDef->getLoc(),
- "Invalid TSFlags bit in " + Inst.TheDef->getName());
- }
- OS << ", 0x";
- OS.write_hex(Value);
- OS << "ULL, ";
- // Emit the implicit use/def list...
- std::vector<Record *> ImplicitOps = Inst.ImplicitUses;
- llvm::append_range(ImplicitOps, Inst.ImplicitDefs);
- if (ImplicitOps.empty())
- OS << "nullptr, ";
- else
- OS << "ImplicitList" << EmittedLists[ImplicitOps] << ", ";
- // Emit the operand info.
- std::vector<std::string> OperandInfo = GetOperandInfo(Inst);
- if (OperandInfo.empty())
- OS << "nullptr";
- else
- OS << "OperandInfo" << OpInfo.find(OperandInfo)->second;
- OS << " }, // Inst #" << Num << " = " << Inst.TheDef->getName() << "\n";
- }
- // emitEnums - Print out enum values for all of the instructions.
- void InstrInfoEmitter::emitEnums(raw_ostream &OS) {
- OS << "#ifdef GET_INSTRINFO_ENUM\n";
- OS << "#undef GET_INSTRINFO_ENUM\n";
- OS << "namespace llvm {\n\n";
- const CodeGenTarget &Target = CDP.getTargetInfo();
- // We must emit the PHI opcode first...
- StringRef Namespace = Target.getInstNamespace();
- if (Namespace.empty())
- PrintFatalError("No instructions defined!");
- OS << "namespace " << Namespace << " {\n";
- OS << " enum {\n";
- unsigned Num = 0;
- for (const CodeGenInstruction *Inst : Target.getInstructionsByEnumValue())
- OS << " " << Inst->TheDef->getName() << "\t= " << Num++ << ",\n";
- OS << " INSTRUCTION_LIST_END = " << Num << "\n";
- OS << " };\n\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_ENUM\n\n";
- OS << "#ifdef GET_INSTRINFO_SCHED_ENUM\n";
- OS << "#undef GET_INSTRINFO_SCHED_ENUM\n";
- OS << "namespace llvm {\n\n";
- OS << "namespace " << Namespace << " {\n";
- OS << "namespace Sched {\n";
- OS << " enum {\n";
- Num = 0;
- for (const auto &Class : SchedModels.explicit_classes())
- OS << " " << Class.Name << "\t= " << Num++ << ",\n";
- OS << " SCHED_LIST_END = " << Num << "\n";
- OS << " };\n";
- OS << "} // end namespace Sched\n";
- OS << "} // end namespace " << Namespace << "\n";
- OS << "} // end namespace llvm\n";
- OS << "#endif // GET_INSTRINFO_SCHED_ENUM\n\n";
- }
- namespace llvm {
- void EmitInstrInfo(RecordKeeper &RK, raw_ostream &OS) {
- RK.startTimer("Analyze DAG patterns");
- InstrInfoEmitter(RK).run(OS);
- RK.startTimer("Emit map table");
- EmitMapTable(RK, OS);
- }
- } // end namespace llvm
|