1*67e74705SXin Li //=== ClangASTNodesEmitter.cpp - Generate Clang AST node tables -*- C++ -*-===//
2*67e74705SXin Li //
3*67e74705SXin Li // The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li // These tablegen backends emit Clang AST node tables
11*67e74705SXin Li //
12*67e74705SXin Li //===----------------------------------------------------------------------===//
13*67e74705SXin Li
14*67e74705SXin Li #include "llvm/TableGen/Record.h"
15*67e74705SXin Li #include "llvm/TableGen/TableGenBackend.h"
16*67e74705SXin Li #include <cctype>
17*67e74705SXin Li #include <map>
18*67e74705SXin Li #include <set>
19*67e74705SXin Li #include <string>
20*67e74705SXin Li using namespace llvm;
21*67e74705SXin Li
22*67e74705SXin Li /// ClangASTNodesEmitter - The top-level class emits .inc files containing
23*67e74705SXin Li /// declarations of Clang statements.
24*67e74705SXin Li ///
25*67e74705SXin Li namespace {
26*67e74705SXin Li class ClangASTNodesEmitter {
27*67e74705SXin Li // A map from a node to each of its derived nodes.
28*67e74705SXin Li typedef std::multimap<Record*, Record*> ChildMap;
29*67e74705SXin Li typedef ChildMap::const_iterator ChildIterator;
30*67e74705SXin Li
31*67e74705SXin Li RecordKeeper &Records;
32*67e74705SXin Li Record Root;
33*67e74705SXin Li const std::string &BaseSuffix;
34*67e74705SXin Li
35*67e74705SXin Li // Create a macro-ized version of a name
macroName(std::string S)36*67e74705SXin Li static std::string macroName(std::string S) {
37*67e74705SXin Li for (unsigned i = 0; i < S.size(); ++i)
38*67e74705SXin Li S[i] = std::toupper(S[i]);
39*67e74705SXin Li
40*67e74705SXin Li return S;
41*67e74705SXin Li }
42*67e74705SXin Li
43*67e74705SXin Li // Return the name to be printed in the base field. Normally this is
44*67e74705SXin Li // the record's name plus the base suffix, but if it is the root node and
45*67e74705SXin Li // the suffix is non-empty, it's just the suffix.
baseName(Record & R)46*67e74705SXin Li std::string baseName(Record &R) {
47*67e74705SXin Li if (&R == &Root && !BaseSuffix.empty())
48*67e74705SXin Li return BaseSuffix;
49*67e74705SXin Li
50*67e74705SXin Li return R.getName() + BaseSuffix;
51*67e74705SXin Li }
52*67e74705SXin Li
53*67e74705SXin Li std::pair<Record *, Record *> EmitNode (const ChildMap &Tree, raw_ostream& OS,
54*67e74705SXin Li Record *Base);
55*67e74705SXin Li public:
ClangASTNodesEmitter(RecordKeeper & R,const std::string & N,const std::string & S)56*67e74705SXin Li explicit ClangASTNodesEmitter(RecordKeeper &R, const std::string &N,
57*67e74705SXin Li const std::string &S)
58*67e74705SXin Li : Records(R), Root(N, SMLoc(), R), BaseSuffix(S)
59*67e74705SXin Li {}
60*67e74705SXin Li
61*67e74705SXin Li // run - Output the .inc file contents
62*67e74705SXin Li void run(raw_ostream &OS);
63*67e74705SXin Li };
64*67e74705SXin Li } // end anonymous namespace
65*67e74705SXin Li
66*67e74705SXin Li //===----------------------------------------------------------------------===//
67*67e74705SXin Li // Statement Node Tables (.inc file) generation.
68*67e74705SXin Li //===----------------------------------------------------------------------===//
69*67e74705SXin Li
70*67e74705SXin Li // Returns the first and last non-abstract subrecords
71*67e74705SXin Li // Called recursively to ensure that nodes remain contiguous
EmitNode(const ChildMap & Tree,raw_ostream & OS,Record * Base)72*67e74705SXin Li std::pair<Record *, Record *> ClangASTNodesEmitter::EmitNode(
73*67e74705SXin Li const ChildMap &Tree,
74*67e74705SXin Li raw_ostream &OS,
75*67e74705SXin Li Record *Base) {
76*67e74705SXin Li std::string BaseName = macroName(Base->getName());
77*67e74705SXin Li
78*67e74705SXin Li ChildIterator i = Tree.lower_bound(Base), e = Tree.upper_bound(Base);
79*67e74705SXin Li
80*67e74705SXin Li Record *First = nullptr, *Last = nullptr;
81*67e74705SXin Li // This might be the pseudo-node for Stmt; don't assume it has an Abstract
82*67e74705SXin Li // bit
83*67e74705SXin Li if (Base->getValue("Abstract") && !Base->getValueAsBit("Abstract"))
84*67e74705SXin Li First = Last = Base;
85*67e74705SXin Li
86*67e74705SXin Li for (; i != e; ++i) {
87*67e74705SXin Li Record *R = i->second;
88*67e74705SXin Li bool Abstract = R->getValueAsBit("Abstract");
89*67e74705SXin Li std::string NodeName = macroName(R->getName());
90*67e74705SXin Li
91*67e74705SXin Li OS << "#ifndef " << NodeName << "\n";
92*67e74705SXin Li OS << "# define " << NodeName << "(Type, Base) "
93*67e74705SXin Li << BaseName << "(Type, Base)\n";
94*67e74705SXin Li OS << "#endif\n";
95*67e74705SXin Li
96*67e74705SXin Li if (Abstract)
97*67e74705SXin Li OS << "ABSTRACT_" << macroName(Root.getName()) << "(" << NodeName << "("
98*67e74705SXin Li << R->getName() << ", " << baseName(*Base) << "))\n";
99*67e74705SXin Li else
100*67e74705SXin Li OS << NodeName << "(" << R->getName() << ", "
101*67e74705SXin Li << baseName(*Base) << ")\n";
102*67e74705SXin Li
103*67e74705SXin Li if (Tree.find(R) != Tree.end()) {
104*67e74705SXin Li const std::pair<Record *, Record *> &Result
105*67e74705SXin Li = EmitNode(Tree, OS, R);
106*67e74705SXin Li if (!First && Result.first)
107*67e74705SXin Li First = Result.first;
108*67e74705SXin Li if (Result.second)
109*67e74705SXin Li Last = Result.second;
110*67e74705SXin Li } else {
111*67e74705SXin Li if (!Abstract) {
112*67e74705SXin Li Last = R;
113*67e74705SXin Li
114*67e74705SXin Li if (!First)
115*67e74705SXin Li First = R;
116*67e74705SXin Li }
117*67e74705SXin Li }
118*67e74705SXin Li
119*67e74705SXin Li OS << "#undef " << NodeName << "\n\n";
120*67e74705SXin Li }
121*67e74705SXin Li
122*67e74705SXin Li if (First) {
123*67e74705SXin Li assert (Last && "Got a first node but not a last node for a range!");
124*67e74705SXin Li if (Base == &Root)
125*67e74705SXin Li OS << "LAST_" << macroName(Root.getName()) << "_RANGE(";
126*67e74705SXin Li else
127*67e74705SXin Li OS << macroName(Root.getName()) << "_RANGE(";
128*67e74705SXin Li OS << Base->getName() << ", " << First->getName() << ", "
129*67e74705SXin Li << Last->getName() << ")\n\n";
130*67e74705SXin Li }
131*67e74705SXin Li
132*67e74705SXin Li return std::make_pair(First, Last);
133*67e74705SXin Li }
134*67e74705SXin Li
run(raw_ostream & OS)135*67e74705SXin Li void ClangASTNodesEmitter::run(raw_ostream &OS) {
136*67e74705SXin Li emitSourceFileHeader("List of AST nodes of a particular kind", OS);
137*67e74705SXin Li
138*67e74705SXin Li // Write the preamble
139*67e74705SXin Li OS << "#ifndef ABSTRACT_" << macroName(Root.getName()) << "\n";
140*67e74705SXin Li OS << "# define ABSTRACT_" << macroName(Root.getName()) << "(Type) Type\n";
141*67e74705SXin Li OS << "#endif\n";
142*67e74705SXin Li
143*67e74705SXin Li OS << "#ifndef " << macroName(Root.getName()) << "_RANGE\n";
144*67e74705SXin Li OS << "# define "
145*67e74705SXin Li << macroName(Root.getName()) << "_RANGE(Base, First, Last)\n";
146*67e74705SXin Li OS << "#endif\n\n";
147*67e74705SXin Li
148*67e74705SXin Li OS << "#ifndef LAST_" << macroName(Root.getName()) << "_RANGE\n";
149*67e74705SXin Li OS << "# define LAST_"
150*67e74705SXin Li << macroName(Root.getName()) << "_RANGE(Base, First, Last) "
151*67e74705SXin Li << macroName(Root.getName()) << "_RANGE(Base, First, Last)\n";
152*67e74705SXin Li OS << "#endif\n\n";
153*67e74705SXin Li
154*67e74705SXin Li // Emit statements
155*67e74705SXin Li const std::vector<Record*> Stmts
156*67e74705SXin Li = Records.getAllDerivedDefinitions(Root.getName());
157*67e74705SXin Li
158*67e74705SXin Li ChildMap Tree;
159*67e74705SXin Li
160*67e74705SXin Li for (unsigned i = 0, e = Stmts.size(); i != e; ++i) {
161*67e74705SXin Li Record *R = Stmts[i];
162*67e74705SXin Li
163*67e74705SXin Li if (R->getValue("Base"))
164*67e74705SXin Li Tree.insert(std::make_pair(R->getValueAsDef("Base"), R));
165*67e74705SXin Li else
166*67e74705SXin Li Tree.insert(std::make_pair(&Root, R));
167*67e74705SXin Li }
168*67e74705SXin Li
169*67e74705SXin Li EmitNode(Tree, OS, &Root);
170*67e74705SXin Li
171*67e74705SXin Li OS << "#undef " << macroName(Root.getName()) << "\n";
172*67e74705SXin Li OS << "#undef " << macroName(Root.getName()) << "_RANGE\n";
173*67e74705SXin Li OS << "#undef LAST_" << macroName(Root.getName()) << "_RANGE\n";
174*67e74705SXin Li OS << "#undef ABSTRACT_" << macroName(Root.getName()) << "\n";
175*67e74705SXin Li }
176*67e74705SXin Li
177*67e74705SXin Li namespace clang {
EmitClangASTNodes(RecordKeeper & RK,raw_ostream & OS,const std::string & N,const std::string & S)178*67e74705SXin Li void EmitClangASTNodes(RecordKeeper &RK, raw_ostream &OS,
179*67e74705SXin Li const std::string &N, const std::string &S) {
180*67e74705SXin Li ClangASTNodesEmitter(RK, N, S).run(OS);
181*67e74705SXin Li }
182*67e74705SXin Li
183*67e74705SXin Li // Emits and addendum to a .inc file to enumerate the clang declaration
184*67e74705SXin Li // contexts.
EmitClangDeclContext(RecordKeeper & Records,raw_ostream & OS)185*67e74705SXin Li void EmitClangDeclContext(RecordKeeper &Records, raw_ostream &OS) {
186*67e74705SXin Li // FIXME: Find a .td file format to allow for this to be represented better.
187*67e74705SXin Li
188*67e74705SXin Li emitSourceFileHeader("List of AST Decl nodes", OS);
189*67e74705SXin Li
190*67e74705SXin Li OS << "#ifndef DECL_CONTEXT\n";
191*67e74705SXin Li OS << "# define DECL_CONTEXT(DECL)\n";
192*67e74705SXin Li OS << "#endif\n";
193*67e74705SXin Li
194*67e74705SXin Li OS << "#ifndef DECL_CONTEXT_BASE\n";
195*67e74705SXin Li OS << "# define DECL_CONTEXT_BASE(DECL) DECL_CONTEXT(DECL)\n";
196*67e74705SXin Li OS << "#endif\n";
197*67e74705SXin Li
198*67e74705SXin Li typedef std::set<Record*> RecordSet;
199*67e74705SXin Li typedef std::vector<Record*> RecordVector;
200*67e74705SXin Li
201*67e74705SXin Li RecordVector DeclContextsVector
202*67e74705SXin Li = Records.getAllDerivedDefinitions("DeclContext");
203*67e74705SXin Li RecordVector Decls = Records.getAllDerivedDefinitions("Decl");
204*67e74705SXin Li RecordSet DeclContexts (DeclContextsVector.begin(), DeclContextsVector.end());
205*67e74705SXin Li
206*67e74705SXin Li for (RecordVector::iterator i = Decls.begin(), e = Decls.end(); i != e; ++i) {
207*67e74705SXin Li Record *R = *i;
208*67e74705SXin Li
209*67e74705SXin Li if (R->getValue("Base")) {
210*67e74705SXin Li Record *B = R->getValueAsDef("Base");
211*67e74705SXin Li if (DeclContexts.find(B) != DeclContexts.end()) {
212*67e74705SXin Li OS << "DECL_CONTEXT_BASE(" << B->getName() << ")\n";
213*67e74705SXin Li DeclContexts.erase(B);
214*67e74705SXin Li }
215*67e74705SXin Li }
216*67e74705SXin Li }
217*67e74705SXin Li
218*67e74705SXin Li // To keep identical order, RecordVector may be used
219*67e74705SXin Li // instead of RecordSet.
220*67e74705SXin Li for (RecordVector::iterator
221*67e74705SXin Li i = DeclContextsVector.begin(), e = DeclContextsVector.end();
222*67e74705SXin Li i != e; ++i)
223*67e74705SXin Li if (DeclContexts.find(*i) != DeclContexts.end())
224*67e74705SXin Li OS << "DECL_CONTEXT(" << (*i)->getName() << ")\n";
225*67e74705SXin Li
226*67e74705SXin Li OS << "#undef DECL_CONTEXT\n";
227*67e74705SXin Li OS << "#undef DECL_CONTEXT_BASE\n";
228*67e74705SXin Li }
229*67e74705SXin Li } // end namespace clang
230