xref: /aosp_15_r20/external/clang/utils/TableGen/ClangASTNodesEmitter.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
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