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