16a8c6cadSSimon Tatham //===- JSONBackend.cpp - Generate a JSON dump of all records. -*- C++ -*-=====//
26a8c6cadSSimon Tatham //
36a8c6cadSSimon Tatham //                     The LLVM Compiler Infrastructure
46a8c6cadSSimon Tatham //
56a8c6cadSSimon Tatham // This file is distributed under the University of Illinois Open Source
66a8c6cadSSimon Tatham // License. See LICENSE.TXT for details.
76a8c6cadSSimon Tatham //
86a8c6cadSSimon Tatham //===----------------------------------------------------------------------===//
96a8c6cadSSimon Tatham //
106a8c6cadSSimon Tatham // This TableGen back end generates a machine-readable representation
116a8c6cadSSimon Tatham // of all the classes and records defined by the input, in JSON format.
126a8c6cadSSimon Tatham //
136a8c6cadSSimon Tatham //===----------------------------------------------------------------------===//
146a8c6cadSSimon Tatham 
156a8c6cadSSimon Tatham #include "llvm/ADT/BitVector.h"
166a8c6cadSSimon Tatham #include "llvm/Support/Debug.h"
176a8c6cadSSimon Tatham #include "llvm/TableGen/Error.h"
186a8c6cadSSimon Tatham #include "llvm/TableGen/Record.h"
196a8c6cadSSimon Tatham #include "llvm/TableGen/TableGenBackend.h"
206a8c6cadSSimon Tatham #include "llvm/Support/JSON.h"
216a8c6cadSSimon Tatham 
226a8c6cadSSimon Tatham #define DEBUG_TYPE "json-emitter"
236a8c6cadSSimon Tatham 
246a8c6cadSSimon Tatham using namespace llvm;
256a8c6cadSSimon Tatham 
266a8c6cadSSimon Tatham namespace {
276a8c6cadSSimon Tatham 
286a8c6cadSSimon Tatham class JSONEmitter {
296a8c6cadSSimon Tatham private:
306a8c6cadSSimon Tatham   RecordKeeper &Records;
316a8c6cadSSimon Tatham 
326a8c6cadSSimon Tatham   json::Value translateInit(const Init &I);
336a8c6cadSSimon Tatham   json::Array listSuperclasses(const Record &R);
346a8c6cadSSimon Tatham 
356a8c6cadSSimon Tatham public:
366a8c6cadSSimon Tatham   JSONEmitter(RecordKeeper &R);
376a8c6cadSSimon Tatham 
386a8c6cadSSimon Tatham   void run(raw_ostream &OS);
396a8c6cadSSimon Tatham };
406a8c6cadSSimon Tatham 
416a8c6cadSSimon Tatham } // end anonymous namespace
426a8c6cadSSimon Tatham 
436a8c6cadSSimon Tatham JSONEmitter::JSONEmitter(RecordKeeper &R) : Records(R) {}
446a8c6cadSSimon Tatham 
456a8c6cadSSimon Tatham json::Value JSONEmitter::translateInit(const Init &I) {
466a8c6cadSSimon Tatham 
476a8c6cadSSimon Tatham   // Init subclasses that we return as JSON primitive values of one
486a8c6cadSSimon Tatham   // kind or another.
496a8c6cadSSimon Tatham 
506a8c6cadSSimon Tatham   if (isa<UnsetInit>(&I)) {
516a8c6cadSSimon Tatham     return nullptr;
526a8c6cadSSimon Tatham   } else if (auto *Bit = dyn_cast<BitInit>(&I)) {
536a8c6cadSSimon Tatham     return Bit->getValue() ? 1 : 0;
546a8c6cadSSimon Tatham   } else if (auto *Bits = dyn_cast<BitsInit>(&I)) {
556a8c6cadSSimon Tatham     json::Array array;
566a8c6cadSSimon Tatham     for (unsigned i = 0, limit = Bits->getNumBits(); i < limit; i++)
576a8c6cadSSimon Tatham       array.push_back(translateInit(*Bits->getBit(i)));
58*09f25657SSimon Tatham     return std::move(array);
596a8c6cadSSimon Tatham   } else if (auto *Int = dyn_cast<IntInit>(&I)) {
606a8c6cadSSimon Tatham     return Int->getValue();
616a8c6cadSSimon Tatham   } else if (auto *Str = dyn_cast<StringInit>(&I)) {
626a8c6cadSSimon Tatham     return Str->getValue();
636a8c6cadSSimon Tatham   } else if (auto *Code = dyn_cast<CodeInit>(&I)) {
646a8c6cadSSimon Tatham     return Code->getValue();
656a8c6cadSSimon Tatham   } else if (auto *List = dyn_cast<ListInit>(&I)) {
666a8c6cadSSimon Tatham     json::Array array;
676a8c6cadSSimon Tatham     for (auto val : *List)
686a8c6cadSSimon Tatham       array.push_back(translateInit(*val));
69*09f25657SSimon Tatham     return std::move(array);
706a8c6cadSSimon Tatham   }
716a8c6cadSSimon Tatham 
726a8c6cadSSimon Tatham   // Init subclasses that we return as JSON objects containing a
736a8c6cadSSimon Tatham   // 'kind' discriminator. For these, we also provide the same
746a8c6cadSSimon Tatham   // translation back into TableGen input syntax that -print-records
756a8c6cadSSimon Tatham   // would give.
766a8c6cadSSimon Tatham 
776a8c6cadSSimon Tatham   json::Object obj;
786a8c6cadSSimon Tatham   obj["printable"] = I.getAsString();
796a8c6cadSSimon Tatham 
806a8c6cadSSimon Tatham   if (auto *Def = dyn_cast<DefInit>(&I)) {
816a8c6cadSSimon Tatham     obj["kind"] = "def";
826a8c6cadSSimon Tatham     obj["def"] = Def->getDef()->getName();
83*09f25657SSimon Tatham     return std::move(obj);
846a8c6cadSSimon Tatham   } else if (auto *Var = dyn_cast<VarInit>(&I)) {
856a8c6cadSSimon Tatham     obj["kind"] = "var";
866a8c6cadSSimon Tatham     obj["var"] = Var->getName();
87*09f25657SSimon Tatham     return std::move(obj);
886a8c6cadSSimon Tatham   } else if (auto *VarBit = dyn_cast<VarBitInit>(&I)) {
896a8c6cadSSimon Tatham     if (auto *Var = dyn_cast<VarInit>(VarBit->getBitVar())) {
906a8c6cadSSimon Tatham       obj["kind"] = "varbit";
916a8c6cadSSimon Tatham       obj["var"] = Var->getName();
926a8c6cadSSimon Tatham       obj["index"] = VarBit->getBitNum();
93*09f25657SSimon Tatham       return std::move(obj);
946a8c6cadSSimon Tatham     }
956a8c6cadSSimon Tatham   } else if (auto *Dag = dyn_cast<DagInit>(&I)) {
966a8c6cadSSimon Tatham     obj["kind"] = "dag";
976a8c6cadSSimon Tatham     obj["operator"] = translateInit(*Dag->getOperator());
986a8c6cadSSimon Tatham     if (auto name = Dag->getName())
996a8c6cadSSimon Tatham       obj["name"] = name->getAsUnquotedString();
1006a8c6cadSSimon Tatham     json::Array args;
1016a8c6cadSSimon Tatham     for (unsigned i = 0, limit = Dag->getNumArgs(); i < limit; ++i) {
1026a8c6cadSSimon Tatham       json::Array arg;
1036a8c6cadSSimon Tatham       arg.push_back(translateInit(*Dag->getArg(i)));
1046a8c6cadSSimon Tatham       if (auto argname = Dag->getArgName(i))
1056a8c6cadSSimon Tatham         arg.push_back(argname->getAsUnquotedString());
1066a8c6cadSSimon Tatham       else
1076a8c6cadSSimon Tatham         arg.push_back(nullptr);
1086a8c6cadSSimon Tatham       args.push_back(std::move(arg));
1096a8c6cadSSimon Tatham     }
1106a8c6cadSSimon Tatham     obj["args"] = std::move(args);
111*09f25657SSimon Tatham     return std::move(obj);
1126a8c6cadSSimon Tatham   }
1136a8c6cadSSimon Tatham 
1146a8c6cadSSimon Tatham   // Final fallback: anything that gets past here is simply given a
1156a8c6cadSSimon Tatham   // kind field of 'complex', and the only other field is the standard
1166a8c6cadSSimon Tatham   // 'printable' representation.
1176a8c6cadSSimon Tatham 
1186a8c6cadSSimon Tatham   assert(!I.isConcrete());
1196a8c6cadSSimon Tatham   obj["kind"] = "complex";
120*09f25657SSimon Tatham   return std::move(obj);
1216a8c6cadSSimon Tatham }
1226a8c6cadSSimon Tatham 
1236a8c6cadSSimon Tatham void JSONEmitter::run(raw_ostream &OS) {
1246a8c6cadSSimon Tatham   json::Object root;
1256a8c6cadSSimon Tatham 
1266a8c6cadSSimon Tatham   root["!tablegen_json_version"] = 1;
1276a8c6cadSSimon Tatham 
1286a8c6cadSSimon Tatham   // Prepare the arrays that will list the instances of every class.
1296a8c6cadSSimon Tatham   // We mostly fill those in by iterating over the superclasses of
1306a8c6cadSSimon Tatham   // each def, but we also want to ensure we store an empty list for a
1316a8c6cadSSimon Tatham   // class with no instances at all, so we do a preliminary iteration
1326a8c6cadSSimon Tatham   // over the classes, invoking std::map::operator[] to default-
1336a8c6cadSSimon Tatham   // construct the array for each one.
1346a8c6cadSSimon Tatham   std::map<std::string, json::Array> instance_lists;
1356a8c6cadSSimon Tatham   for (const auto &C : Records.getClasses()) {
1366a8c6cadSSimon Tatham     auto &Name = C.second->getNameInitAsString();
1376a8c6cadSSimon Tatham     (void)instance_lists[Name];
1386a8c6cadSSimon Tatham   }
1396a8c6cadSSimon Tatham 
1406a8c6cadSSimon Tatham   // Main iteration over the defs.
1416a8c6cadSSimon Tatham   for (const auto &D : Records.getDefs()) {
1426a8c6cadSSimon Tatham     auto &Name = D.second->getNameInitAsString();
1436a8c6cadSSimon Tatham     auto &Def = *D.second;
1446a8c6cadSSimon Tatham 
1456a8c6cadSSimon Tatham     json::Object obj;
1466a8c6cadSSimon Tatham     json::Array fields;
1476a8c6cadSSimon Tatham 
1486a8c6cadSSimon Tatham     for (const RecordVal &RV : Def.getValues()) {
1496a8c6cadSSimon Tatham       if (!Def.isTemplateArg(RV.getNameInit())) {
1506a8c6cadSSimon Tatham         auto Name = RV.getNameInitAsString();
1516a8c6cadSSimon Tatham         if (RV.getPrefix())
1526a8c6cadSSimon Tatham           fields.push_back(Name);
1536a8c6cadSSimon Tatham         obj[Name] = translateInit(*RV.getValue());
1546a8c6cadSSimon Tatham       }
1556a8c6cadSSimon Tatham     }
1566a8c6cadSSimon Tatham 
1576a8c6cadSSimon Tatham     obj["!fields"] = std::move(fields);
1586a8c6cadSSimon Tatham 
1596a8c6cadSSimon Tatham     json::Array superclasses;
1606a8c6cadSSimon Tatham     for (const auto &SuperPair : Def.getSuperClasses())
1616a8c6cadSSimon Tatham       superclasses.push_back(SuperPair.first->getNameInitAsString());
1626a8c6cadSSimon Tatham     obj["!superclasses"] = std::move(superclasses);
1636a8c6cadSSimon Tatham 
1646a8c6cadSSimon Tatham     obj["!name"] = Name;
1656a8c6cadSSimon Tatham     obj["!anonymous"] = Def.isAnonymous();
1666a8c6cadSSimon Tatham 
1676a8c6cadSSimon Tatham     root[Name] = std::move(obj);
1686a8c6cadSSimon Tatham 
1696a8c6cadSSimon Tatham     // Add this def to the instance list for each of its superclasses.
1706a8c6cadSSimon Tatham     for (const auto &SuperPair : Def.getSuperClasses()) {
1716a8c6cadSSimon Tatham       auto SuperName = SuperPair.first->getNameInitAsString();
1726a8c6cadSSimon Tatham       instance_lists[SuperName].push_back(Name);
1736a8c6cadSSimon Tatham     }
1746a8c6cadSSimon Tatham   }
1756a8c6cadSSimon Tatham 
1766a8c6cadSSimon Tatham   // Make a JSON object from the std::map of instance lists.
1776a8c6cadSSimon Tatham   json::Object instanceof;
1786a8c6cadSSimon Tatham   for (auto kv: instance_lists)
1796a8c6cadSSimon Tatham     instanceof[kv.first] = std::move(kv.second);
1806a8c6cadSSimon Tatham   root["!instanceof"] = std::move(instanceof);
1816a8c6cadSSimon Tatham 
1826a8c6cadSSimon Tatham   // Done. Write the output.
1836a8c6cadSSimon Tatham   OS << json::Value(std::move(root)) << "\n";
1846a8c6cadSSimon Tatham }
1856a8c6cadSSimon Tatham 
1866a8c6cadSSimon Tatham namespace llvm {
1876a8c6cadSSimon Tatham 
1886a8c6cadSSimon Tatham void EmitJSON(RecordKeeper &RK, raw_ostream &OS) { JSONEmitter(RK).run(OS); }
1896a8c6cadSSimon Tatham } // end namespace llvm
190