10c1bb4f8SPaul C. Anagnostopoulos //===- DetailedRecordBackend.cpp - Detailed Records Report      -*- C++ -*-===//
20c1bb4f8SPaul C. Anagnostopoulos //
30c1bb4f8SPaul C. Anagnostopoulos // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40c1bb4f8SPaul C. Anagnostopoulos // See https://llvm.org/LICENSE.txt for license information.
50c1bb4f8SPaul C. Anagnostopoulos // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60c1bb4f8SPaul C. Anagnostopoulos //
70c1bb4f8SPaul C. Anagnostopoulos //===----------------------------------------------------------------------===//
80c1bb4f8SPaul C. Anagnostopoulos //
90c1bb4f8SPaul C. Anagnostopoulos // This Tablegen backend prints a report that includes all the global
100c1bb4f8SPaul C. Anagnostopoulos // variables, classes, and records in complete detail. It includes more
110c1bb4f8SPaul C. Anagnostopoulos // detail than the default TableGen printer backend.
120c1bb4f8SPaul C. Anagnostopoulos //
130c1bb4f8SPaul C. Anagnostopoulos //===----------------------------------------------------------------------===//
140c1bb4f8SPaul C. Anagnostopoulos 
150c1bb4f8SPaul C. Anagnostopoulos #include "llvm/ADT/ArrayRef.h"
16*92f49b89Sserge-sans-paille #include "llvm/ADT/StringRef.h"
17*92f49b89Sserge-sans-paille #include "llvm/Support/ErrorHandling.h"
180c1bb4f8SPaul C. Anagnostopoulos #include "llvm/Support/FormatVariadic.h"
19*92f49b89Sserge-sans-paille #include "llvm/Support/SMLoc.h"
200c1bb4f8SPaul C. Anagnostopoulos #include "llvm/Support/SourceMgr.h"
21*92f49b89Sserge-sans-paille #include "llvm/Support/raw_ostream.h"
220c1bb4f8SPaul C. Anagnostopoulos #include "llvm/TableGen/Error.h"
230c1bb4f8SPaul C. Anagnostopoulos #include "llvm/TableGen/Record.h"
24*92f49b89Sserge-sans-paille #include <map>
25*92f49b89Sserge-sans-paille #include <memory>
260c1bb4f8SPaul C. Anagnostopoulos #include <string>
27a03d09f4SSimon Pilgrim #include <utility>
280c1bb4f8SPaul C. Anagnostopoulos 
290c1bb4f8SPaul C. Anagnostopoulos #define DEBUG_TYPE "detailed-records-backend"
300c1bb4f8SPaul C. Anagnostopoulos 
310c1bb4f8SPaul C. Anagnostopoulos #define NL "\n"
320c1bb4f8SPaul C. Anagnostopoulos 
330c1bb4f8SPaul C. Anagnostopoulos using namespace llvm;
340c1bb4f8SPaul C. Anagnostopoulos 
350c1bb4f8SPaul C. Anagnostopoulos namespace {
360c1bb4f8SPaul C. Anagnostopoulos 
370c1bb4f8SPaul C. Anagnostopoulos class DetailedRecordsEmitter {
380c1bb4f8SPaul C. Anagnostopoulos private:
390c1bb4f8SPaul C. Anagnostopoulos   RecordKeeper &Records;
400c1bb4f8SPaul C. Anagnostopoulos 
410c1bb4f8SPaul C. Anagnostopoulos public:
DetailedRecordsEmitter(RecordKeeper & RK)420c1bb4f8SPaul C. Anagnostopoulos   DetailedRecordsEmitter(RecordKeeper &RK) : Records(RK) {}
430c1bb4f8SPaul C. Anagnostopoulos 
440c1bb4f8SPaul C. Anagnostopoulos   void run(raw_ostream &OS);
450c1bb4f8SPaul C. Anagnostopoulos   void printReportHeading(raw_ostream &OS);
460c1bb4f8SPaul C. Anagnostopoulos   void printVariables(raw_ostream &OS);
470c1bb4f8SPaul C. Anagnostopoulos   void printClasses(raw_ostream &OS);
480c1bb4f8SPaul C. Anagnostopoulos   void printRecords(raw_ostream &OS);
49d1b57086SSimon Pilgrim   void printSectionHeading(StringRef Title, int Count, raw_ostream &OS);
500c1bb4f8SPaul C. Anagnostopoulos   void printDefms(Record *Rec, raw_ostream &OS);
510c1bb4f8SPaul C. Anagnostopoulos   void printTemplateArgs(Record *Rec, raw_ostream &OS);
520c1bb4f8SPaul C. Anagnostopoulos   void printSuperclasses(Record *Rec, raw_ostream &OS);
530c1bb4f8SPaul C. Anagnostopoulos   void printFields(Record *Rec, raw_ostream &OS);
540c1bb4f8SPaul C. Anagnostopoulos }; // emitter class
550c1bb4f8SPaul C. Anagnostopoulos 
560c1bb4f8SPaul C. Anagnostopoulos } // anonymous namespace
570c1bb4f8SPaul C. Anagnostopoulos 
580c1bb4f8SPaul C. Anagnostopoulos // Print the report.
run(raw_ostream & OS)590c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::run(raw_ostream &OS) {
600c1bb4f8SPaul C. Anagnostopoulos   printReportHeading(OS);
610c1bb4f8SPaul C. Anagnostopoulos   printVariables(OS);
620c1bb4f8SPaul C. Anagnostopoulos   printClasses(OS);
630c1bb4f8SPaul C. Anagnostopoulos   printRecords(OS);
640c1bb4f8SPaul C. Anagnostopoulos }
650c1bb4f8SPaul C. Anagnostopoulos 
660c1bb4f8SPaul C. Anagnostopoulos // Print the report heading, including the source file name.
printReportHeading(raw_ostream & OS)670c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printReportHeading(raw_ostream &OS) {
680c1bb4f8SPaul C. Anagnostopoulos   OS << formatv("DETAILED RECORDS for file {0}\n", Records.getInputFilename());
690c1bb4f8SPaul C. Anagnostopoulos }
700c1bb4f8SPaul C. Anagnostopoulos 
710c1bb4f8SPaul C. Anagnostopoulos // Print the global variables.
printVariables(raw_ostream & OS)720c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printVariables(raw_ostream &OS) {
730c1bb4f8SPaul C. Anagnostopoulos   const auto GlobalList = Records.getGlobals();
740c1bb4f8SPaul C. Anagnostopoulos   printSectionHeading("Global Variables", GlobalList.size(), OS);
750c1bb4f8SPaul C. Anagnostopoulos 
760c1bb4f8SPaul C. Anagnostopoulos   OS << NL;
770c1bb4f8SPaul C. Anagnostopoulos   for (const auto &Var : GlobalList) {
780c1bb4f8SPaul C. Anagnostopoulos     OS << Var.first << " = " << Var.second->getAsString() << NL;
790c1bb4f8SPaul C. Anagnostopoulos   }
800c1bb4f8SPaul C. Anagnostopoulos }
810c1bb4f8SPaul C. Anagnostopoulos 
820c1bb4f8SPaul C. Anagnostopoulos // Print the classes, including the template arguments, superclasses,
830c1bb4f8SPaul C. Anagnostopoulos // and fields.
printClasses(raw_ostream & OS)840c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printClasses(raw_ostream &OS) {
850c1bb4f8SPaul C. Anagnostopoulos   const auto &ClassList = Records.getClasses();
860c1bb4f8SPaul C. Anagnostopoulos   printSectionHeading("Classes", ClassList.size(), OS);
870c1bb4f8SPaul C. Anagnostopoulos 
880c1bb4f8SPaul C. Anagnostopoulos   for (const auto &ClassPair : ClassList) {
890c1bb4f8SPaul C. Anagnostopoulos     auto *const Class = ClassPair.second.get();
900c1bb4f8SPaul C. Anagnostopoulos     OS << formatv("\n{0}  |{1}|\n", Class->getNameInitAsString(),
910c1bb4f8SPaul C. Anagnostopoulos                   SrcMgr.getFormattedLocationNoOffset(Class->getLoc().front()));
920c1bb4f8SPaul C. Anagnostopoulos     printTemplateArgs(Class, OS);
930c1bb4f8SPaul C. Anagnostopoulos     printSuperclasses(Class, OS);
940c1bb4f8SPaul C. Anagnostopoulos     printFields(Class, OS);
950c1bb4f8SPaul C. Anagnostopoulos   }
960c1bb4f8SPaul C. Anagnostopoulos }
970c1bb4f8SPaul C. Anagnostopoulos 
980c1bb4f8SPaul C. Anagnostopoulos // Print the records, including the defm sequences, supercasses,
990c1bb4f8SPaul C. Anagnostopoulos // and fields.
printRecords(raw_ostream & OS)1000c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printRecords(raw_ostream &OS) {
1010c1bb4f8SPaul C. Anagnostopoulos   const auto &RecordList = Records.getDefs();
1020c1bb4f8SPaul C. Anagnostopoulos   printSectionHeading("Records", RecordList.size(), OS);
1030c1bb4f8SPaul C. Anagnostopoulos 
1040c1bb4f8SPaul C. Anagnostopoulos   for (const auto &RecPair : RecordList) {
1050c1bb4f8SPaul C. Anagnostopoulos     auto *const Rec = RecPair.second.get();
106f3449ed6SPaul C. Anagnostopoulos     std::string Name = Rec->getNameInitAsString();
107f3449ed6SPaul C. Anagnostopoulos     OS << formatv("\n{0}  |{1}|\n", Name.empty() ? "\"\"" : Name,
1080c1bb4f8SPaul C. Anagnostopoulos                   SrcMgr.getFormattedLocationNoOffset(Rec->getLoc().front()));
1090c1bb4f8SPaul C. Anagnostopoulos     printDefms(Rec, OS);
1100c1bb4f8SPaul C. Anagnostopoulos     printSuperclasses(Rec, OS);
1110c1bb4f8SPaul C. Anagnostopoulos     printFields(Rec, OS);
1120c1bb4f8SPaul C. Anagnostopoulos   }
1130c1bb4f8SPaul C. Anagnostopoulos }
1140c1bb4f8SPaul C. Anagnostopoulos 
1150c1bb4f8SPaul C. Anagnostopoulos // Print a section heading with the name of the section and
1160c1bb4f8SPaul C. Anagnostopoulos // the item count.
printSectionHeading(StringRef Title,int Count,raw_ostream & OS)117d1b57086SSimon Pilgrim void DetailedRecordsEmitter::printSectionHeading(StringRef Title, int Count,
1180c1bb4f8SPaul C. Anagnostopoulos                                                  raw_ostream &OS) {
1190c1bb4f8SPaul C. Anagnostopoulos   OS << formatv("\n{0} {1} ({2}) {0}\n", "--------------------", Title, Count);
1200c1bb4f8SPaul C. Anagnostopoulos }
1210c1bb4f8SPaul C. Anagnostopoulos 
1220c1bb4f8SPaul C. Anagnostopoulos // Print the record's defm source locations, if any. Note that they
1230c1bb4f8SPaul C. Anagnostopoulos // are stored in the reverse order of their invocation.
printDefms(Record * Rec,raw_ostream & OS)1240c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printDefms(Record *Rec, raw_ostream &OS) {
1250c1bb4f8SPaul C. Anagnostopoulos   const auto &LocList = Rec->getLoc();
1260c1bb4f8SPaul C. Anagnostopoulos   if (LocList.size() < 2)
1270c1bb4f8SPaul C. Anagnostopoulos     return;
1280c1bb4f8SPaul C. Anagnostopoulos 
1290c1bb4f8SPaul C. Anagnostopoulos   OS << "  Defm sequence:";
1300c1bb4f8SPaul C. Anagnostopoulos   for (unsigned I = LocList.size() - 1; I >= 1; --I) {
1310c1bb4f8SPaul C. Anagnostopoulos     OS << formatv(" |{0}|", SrcMgr.getFormattedLocationNoOffset(LocList[I]));
1320c1bb4f8SPaul C. Anagnostopoulos   }
1330c1bb4f8SPaul C. Anagnostopoulos   OS << NL;
1340c1bb4f8SPaul C. Anagnostopoulos }
1350c1bb4f8SPaul C. Anagnostopoulos 
1360c1bb4f8SPaul C. Anagnostopoulos // Print the template arguments of a class.
printTemplateArgs(Record * Rec,raw_ostream & OS)1370c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printTemplateArgs(Record *Rec,
1380c1bb4f8SPaul C. Anagnostopoulos                                                raw_ostream &OS) {
1390c1bb4f8SPaul C. Anagnostopoulos   ArrayRef<Init *> Args = Rec->getTemplateArgs();
1400c1bb4f8SPaul C. Anagnostopoulos   if (Args.empty()) {
1410c1bb4f8SPaul C. Anagnostopoulos     OS << "  Template args: (none)\n";
1420c1bb4f8SPaul C. Anagnostopoulos     return;
1430c1bb4f8SPaul C. Anagnostopoulos   }
1440c1bb4f8SPaul C. Anagnostopoulos 
1450c1bb4f8SPaul C. Anagnostopoulos   OS << "  Template args:\n";
1460c1bb4f8SPaul C. Anagnostopoulos   for (const Init *ArgName : Args) {
1470c1bb4f8SPaul C. Anagnostopoulos     const RecordVal *Value = Rec->getValue(ArgName);
1480c1bb4f8SPaul C. Anagnostopoulos     assert(Value && "Template argument value not found.");
1490c1bb4f8SPaul C. Anagnostopoulos     OS << "    ";
1500c1bb4f8SPaul C. Anagnostopoulos     Value->print(OS, false);
1510c1bb4f8SPaul C. Anagnostopoulos     OS << formatv("  |{0}|", SrcMgr.getFormattedLocationNoOffset(Value->getLoc()));
1520c1bb4f8SPaul C. Anagnostopoulos     OS << NL;
1530c1bb4f8SPaul C. Anagnostopoulos   }
1540c1bb4f8SPaul C. Anagnostopoulos }
1550c1bb4f8SPaul C. Anagnostopoulos 
1560c1bb4f8SPaul C. Anagnostopoulos // Print the superclasses of a class or record. Indirect superclasses
1570c1bb4f8SPaul C. Anagnostopoulos // are enclosed in parentheses.
printSuperclasses(Record * Rec,raw_ostream & OS)1580c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printSuperclasses(Record *Rec, raw_ostream &OS) {
1590c1bb4f8SPaul C. Anagnostopoulos   ArrayRef<std::pair<Record *, SMRange>> Superclasses = Rec->getSuperClasses();
1600c1bb4f8SPaul C. Anagnostopoulos   if (Superclasses.empty()) {
1610c1bb4f8SPaul C. Anagnostopoulos     OS << "  Superclasses: (none)\n";
1620c1bb4f8SPaul C. Anagnostopoulos     return;
1630c1bb4f8SPaul C. Anagnostopoulos   }
1640c1bb4f8SPaul C. Anagnostopoulos 
1650c1bb4f8SPaul C. Anagnostopoulos   OS << "  Superclasses:";
1660c1bb4f8SPaul C. Anagnostopoulos   for (const auto &SuperclassPair : Superclasses) {
1670c1bb4f8SPaul C. Anagnostopoulos     auto *ClassRec = SuperclassPair.first;
1680c1bb4f8SPaul C. Anagnostopoulos     if (Rec->hasDirectSuperClass(ClassRec))
1690c1bb4f8SPaul C. Anagnostopoulos       OS << formatv(" {0}", ClassRec->getNameInitAsString());
1700c1bb4f8SPaul C. Anagnostopoulos     else
1710c1bb4f8SPaul C. Anagnostopoulos       OS << formatv(" ({0})", ClassRec->getNameInitAsString());
1720c1bb4f8SPaul C. Anagnostopoulos   }
1730c1bb4f8SPaul C. Anagnostopoulos   OS << NL;
1740c1bb4f8SPaul C. Anagnostopoulos }
1750c1bb4f8SPaul C. Anagnostopoulos 
1760c1bb4f8SPaul C. Anagnostopoulos // Print the fields of a class or record, including their source locations.
printFields(Record * Rec,raw_ostream & OS)1770c1bb4f8SPaul C. Anagnostopoulos void DetailedRecordsEmitter::printFields(Record *Rec, raw_ostream &OS) {
1780c1bb4f8SPaul C. Anagnostopoulos   const auto &ValueList = Rec->getValues();
1790c1bb4f8SPaul C. Anagnostopoulos   if (ValueList.empty()) {
1800c1bb4f8SPaul C. Anagnostopoulos     OS << "  Fields: (none)\n";
1810c1bb4f8SPaul C. Anagnostopoulos     return;
1820c1bb4f8SPaul C. Anagnostopoulos   }
1830c1bb4f8SPaul C. Anagnostopoulos 
1840c1bb4f8SPaul C. Anagnostopoulos   OS << "  Fields:\n";
1850c1bb4f8SPaul C. Anagnostopoulos   for (const RecordVal &Value : ValueList)
1860c1bb4f8SPaul C. Anagnostopoulos     if (!Rec->isTemplateArg(Value.getNameInit())) {
1870c1bb4f8SPaul C. Anagnostopoulos       OS << "    ";
1880c1bb4f8SPaul C. Anagnostopoulos       Value.print(OS, false);
1890c1bb4f8SPaul C. Anagnostopoulos       OS << formatv("  |{0}|\n",
1900c1bb4f8SPaul C. Anagnostopoulos                     SrcMgr.getFormattedLocationNoOffset(Value.getLoc()));
1910c1bb4f8SPaul C. Anagnostopoulos     }
1920c1bb4f8SPaul C. Anagnostopoulos }
1930c1bb4f8SPaul C. Anagnostopoulos 
1940c1bb4f8SPaul C. Anagnostopoulos namespace llvm {
1950c1bb4f8SPaul C. Anagnostopoulos 
1960c1bb4f8SPaul C. Anagnostopoulos // This function is called by TableGen after parsing the files.
1970c1bb4f8SPaul C. Anagnostopoulos 
EmitDetailedRecords(RecordKeeper & RK,raw_ostream & OS)1980c1bb4f8SPaul C. Anagnostopoulos void EmitDetailedRecords(RecordKeeper &RK, raw_ostream &OS) {
1990c1bb4f8SPaul C. Anagnostopoulos   // Instantiate the emitter class and invoke run().
2000c1bb4f8SPaul C. Anagnostopoulos   DetailedRecordsEmitter(RK).run(OS);
2010c1bb4f8SPaul C. Anagnostopoulos }
2020c1bb4f8SPaul C. Anagnostopoulos 
2030c1bb4f8SPaul C. Anagnostopoulos } // namespace llvm
204