annotate clang/utils/TableGen/ClangASTNodesEmitter.cpp @ 225:f7655407a6ba

remove unnecessary files
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 19 Jul 2021 03:48:36 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //=== ClangASTNodesEmitter.cpp - Generate Clang AST node tables -*- C++ -*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // These tablegen backends emit Clang AST node tables
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #include "ASTTableGen.h"
anatofuz
parents:
diff changeset
14 #include "TableGenBackends.h"
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #include "llvm/TableGen/Error.h"
anatofuz
parents:
diff changeset
17 #include "llvm/TableGen/Record.h"
anatofuz
parents:
diff changeset
18 #include "llvm/TableGen/TableGenBackend.h"
anatofuz
parents:
diff changeset
19 #include <cctype>
anatofuz
parents:
diff changeset
20 #include <map>
anatofuz
parents:
diff changeset
21 #include <set>
anatofuz
parents:
diff changeset
22 #include <string>
anatofuz
parents:
diff changeset
23 using namespace llvm;
anatofuz
parents:
diff changeset
24 using namespace clang;
anatofuz
parents:
diff changeset
25 using namespace clang::tblgen;
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 /// ClangASTNodesEmitter - The top-level class emits .inc files containing
anatofuz
parents:
diff changeset
28 /// declarations of Clang statements.
anatofuz
parents:
diff changeset
29 ///
anatofuz
parents:
diff changeset
30 namespace {
anatofuz
parents:
diff changeset
31 class ClangASTNodesEmitter {
anatofuz
parents:
diff changeset
32 // A map from a node to each of its derived nodes.
anatofuz
parents:
diff changeset
33 typedef std::multimap<ASTNode, ASTNode> ChildMap;
anatofuz
parents:
diff changeset
34 typedef ChildMap::const_iterator ChildIterator;
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 RecordKeeper &Records;
anatofuz
parents:
diff changeset
37 ASTNode Root;
anatofuz
parents:
diff changeset
38 const std::string &NodeClassName;
anatofuz
parents:
diff changeset
39 const std::string &BaseSuffix;
anatofuz
parents:
diff changeset
40 std::string MacroHierarchyName;
anatofuz
parents:
diff changeset
41 ChildMap Tree;
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 // Create a macro-ized version of a name
anatofuz
parents:
diff changeset
44 static std::string macroName(std::string S) {
anatofuz
parents:
diff changeset
45 for (unsigned i = 0; i < S.size(); ++i)
anatofuz
parents:
diff changeset
46 S[i] = std::toupper(S[i]);
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 return S;
anatofuz
parents:
diff changeset
49 }
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 const std::string &macroHierarchyName() {
anatofuz
parents:
diff changeset
52 assert(Root && "root node not yet derived!");
anatofuz
parents:
diff changeset
53 if (MacroHierarchyName.empty())
anatofuz
parents:
diff changeset
54 MacroHierarchyName = macroName(std::string(Root.getName()));
anatofuz
parents:
diff changeset
55 return MacroHierarchyName;
anatofuz
parents:
diff changeset
56 }
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 // Return the name to be printed in the base field. Normally this is
anatofuz
parents:
diff changeset
59 // the record's name plus the base suffix, but if it is the root node and
anatofuz
parents:
diff changeset
60 // the suffix is non-empty, it's just the suffix.
anatofuz
parents:
diff changeset
61 std::string baseName(ASTNode node) {
anatofuz
parents:
diff changeset
62 if (node == Root && !BaseSuffix.empty())
anatofuz
parents:
diff changeset
63 return BaseSuffix;
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 return node.getName().str() + BaseSuffix;
anatofuz
parents:
diff changeset
66 }
anatofuz
parents:
diff changeset
67
anatofuz
parents:
diff changeset
68 void deriveChildTree();
anatofuz
parents:
diff changeset
69
anatofuz
parents:
diff changeset
70 std::pair<ASTNode, ASTNode> EmitNode(raw_ostream& OS, ASTNode Base);
anatofuz
parents:
diff changeset
71 public:
anatofuz
parents:
diff changeset
72 explicit ClangASTNodesEmitter(RecordKeeper &R, const std::string &N,
anatofuz
parents:
diff changeset
73 const std::string &S)
anatofuz
parents:
diff changeset
74 : Records(R), NodeClassName(N), BaseSuffix(S) {}
anatofuz
parents:
diff changeset
75
anatofuz
parents:
diff changeset
76 // run - Output the .inc file contents
anatofuz
parents:
diff changeset
77 void run(raw_ostream &OS);
anatofuz
parents:
diff changeset
78 };
anatofuz
parents:
diff changeset
79 } // end anonymous namespace
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
82 // Statement Node Tables (.inc file) generation.
anatofuz
parents:
diff changeset
83 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
84
anatofuz
parents:
diff changeset
85 // Returns the first and last non-abstract subrecords
anatofuz
parents:
diff changeset
86 // Called recursively to ensure that nodes remain contiguous
anatofuz
parents:
diff changeset
87 std::pair<ASTNode, ASTNode> ClangASTNodesEmitter::EmitNode(raw_ostream &OS,
anatofuz
parents:
diff changeset
88 ASTNode Base) {
anatofuz
parents:
diff changeset
89 std::string BaseName = macroName(std::string(Base.getName()));
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 ChildIterator i = Tree.lower_bound(Base), e = Tree.upper_bound(Base);
anatofuz
parents:
diff changeset
92 bool HasChildren = (i != e);
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 ASTNode First, Last;
anatofuz
parents:
diff changeset
95 if (!Base.isAbstract())
anatofuz
parents:
diff changeset
96 First = Last = Base;
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 for (; i != e; ++i) {
anatofuz
parents:
diff changeset
99 ASTNode Child = i->second;
anatofuz
parents:
diff changeset
100 bool Abstract = Child.isAbstract();
anatofuz
parents:
diff changeset
101 std::string NodeName = macroName(std::string(Child.getName()));
anatofuz
parents:
diff changeset
102
anatofuz
parents:
diff changeset
103 OS << "#ifndef " << NodeName << "\n";
anatofuz
parents:
diff changeset
104 OS << "# define " << NodeName << "(Type, Base) "
anatofuz
parents:
diff changeset
105 << BaseName << "(Type, Base)\n";
anatofuz
parents:
diff changeset
106 OS << "#endif\n";
anatofuz
parents:
diff changeset
107
anatofuz
parents:
diff changeset
108 if (Abstract) OS << "ABSTRACT_" << macroHierarchyName() << "(";
anatofuz
parents:
diff changeset
109 OS << NodeName << "(" << Child.getName() << ", " << baseName(Base) << ")";
anatofuz
parents:
diff changeset
110 if (Abstract) OS << ")";
anatofuz
parents:
diff changeset
111 OS << "\n";
anatofuz
parents:
diff changeset
112
anatofuz
parents:
diff changeset
113 auto Result = EmitNode(OS, Child);
anatofuz
parents:
diff changeset
114 assert(Result.first && Result.second && "node didn't have children?");
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 // Update the range of Base.
anatofuz
parents:
diff changeset
117 if (!First) First = Result.first;
anatofuz
parents:
diff changeset
118 Last = Result.second;
anatofuz
parents:
diff changeset
119
anatofuz
parents:
diff changeset
120 OS << "#undef " << NodeName << "\n\n";
anatofuz
parents:
diff changeset
121 }
anatofuz
parents:
diff changeset
122
anatofuz
parents:
diff changeset
123 // If there aren't first/last nodes, it must be because there were no
anatofuz
parents:
diff changeset
124 // children and this node was abstract, which is not a sensible combination.
anatofuz
parents:
diff changeset
125 if (!First) {
anatofuz
parents:
diff changeset
126 PrintFatalError(Base.getLoc(), "abstract node has no children");
anatofuz
parents:
diff changeset
127 }
anatofuz
parents:
diff changeset
128 assert(Last && "set First without Last");
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 if (HasChildren) {
anatofuz
parents:
diff changeset
131 // Use FOO_RANGE unless this is the last of the ranges, in which case
anatofuz
parents:
diff changeset
132 // use LAST_FOO_RANGE.
anatofuz
parents:
diff changeset
133 if (Base == Root)
anatofuz
parents:
diff changeset
134 OS << "LAST_" << macroHierarchyName() << "_RANGE(";
anatofuz
parents:
diff changeset
135 else
anatofuz
parents:
diff changeset
136 OS << macroHierarchyName() << "_RANGE(";
anatofuz
parents:
diff changeset
137 OS << Base.getName() << ", " << First.getName() << ", "
anatofuz
parents:
diff changeset
138 << Last.getName() << ")\n\n";
anatofuz
parents:
diff changeset
139 }
anatofuz
parents:
diff changeset
140
anatofuz
parents:
diff changeset
141 return std::make_pair(First, Last);
anatofuz
parents:
diff changeset
142 }
anatofuz
parents:
diff changeset
143
anatofuz
parents:
diff changeset
144 void ClangASTNodesEmitter::deriveChildTree() {
anatofuz
parents:
diff changeset
145 assert(!Root && "already computed tree");
anatofuz
parents:
diff changeset
146
anatofuz
parents:
diff changeset
147 // Emit statements
anatofuz
parents:
diff changeset
148 const std::vector<Record*> Stmts
anatofuz
parents:
diff changeset
149 = Records.getAllDerivedDefinitions(NodeClassName);
anatofuz
parents:
diff changeset
150
anatofuz
parents:
diff changeset
151 for (unsigned i = 0, e = Stmts.size(); i != e; ++i) {
anatofuz
parents:
diff changeset
152 Record *R = Stmts[i];
anatofuz
parents:
diff changeset
153
anatofuz
parents:
diff changeset
154 if (auto B = R->getValueAsOptionalDef(BaseFieldName))
anatofuz
parents:
diff changeset
155 Tree.insert(std::make_pair(B, R));
anatofuz
parents:
diff changeset
156 else if (Root)
anatofuz
parents:
diff changeset
157 PrintFatalError(R->getLoc(),
anatofuz
parents:
diff changeset
158 Twine("multiple root nodes in \"") + NodeClassName
anatofuz
parents:
diff changeset
159 + "\" hierarchy");
anatofuz
parents:
diff changeset
160 else
anatofuz
parents:
diff changeset
161 Root = R;
anatofuz
parents:
diff changeset
162 }
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 if (!Root)
anatofuz
parents:
diff changeset
165 PrintFatalError(Twine("didn't find root node in \"") + NodeClassName
anatofuz
parents:
diff changeset
166 + "\" hierarchy");
anatofuz
parents:
diff changeset
167 }
anatofuz
parents:
diff changeset
168
anatofuz
parents:
diff changeset
169 void ClangASTNodesEmitter::run(raw_ostream &OS) {
anatofuz
parents:
diff changeset
170 deriveChildTree();
anatofuz
parents:
diff changeset
171
anatofuz
parents:
diff changeset
172 emitSourceFileHeader("List of AST nodes of a particular kind", OS);
anatofuz
parents:
diff changeset
173
anatofuz
parents:
diff changeset
174 // Write the preamble
anatofuz
parents:
diff changeset
175 OS << "#ifndef ABSTRACT_" << macroHierarchyName() << "\n";
anatofuz
parents:
diff changeset
176 OS << "# define ABSTRACT_" << macroHierarchyName() << "(Type) Type\n";
anatofuz
parents:
diff changeset
177 OS << "#endif\n";
anatofuz
parents:
diff changeset
178
anatofuz
parents:
diff changeset
179 OS << "#ifndef " << macroHierarchyName() << "_RANGE\n";
anatofuz
parents:
diff changeset
180 OS << "# define "
anatofuz
parents:
diff changeset
181 << macroHierarchyName() << "_RANGE(Base, First, Last)\n";
anatofuz
parents:
diff changeset
182 OS << "#endif\n\n";
anatofuz
parents:
diff changeset
183
anatofuz
parents:
diff changeset
184 OS << "#ifndef LAST_" << macroHierarchyName() << "_RANGE\n";
anatofuz
parents:
diff changeset
185 OS << "# define LAST_"
anatofuz
parents:
diff changeset
186 << macroHierarchyName() << "_RANGE(Base, First, Last) "
anatofuz
parents:
diff changeset
187 << macroHierarchyName() << "_RANGE(Base, First, Last)\n";
anatofuz
parents:
diff changeset
188 OS << "#endif\n\n";
anatofuz
parents:
diff changeset
189
anatofuz
parents:
diff changeset
190 EmitNode(OS, Root);
anatofuz
parents:
diff changeset
191
anatofuz
parents:
diff changeset
192 OS << "#undef " << macroHierarchyName() << "\n";
anatofuz
parents:
diff changeset
193 OS << "#undef " << macroHierarchyName() << "_RANGE\n";
anatofuz
parents:
diff changeset
194 OS << "#undef LAST_" << macroHierarchyName() << "_RANGE\n";
anatofuz
parents:
diff changeset
195 OS << "#undef ABSTRACT_" << macroHierarchyName() << "\n";
anatofuz
parents:
diff changeset
196 }
anatofuz
parents:
diff changeset
197
anatofuz
parents:
diff changeset
198 void clang::EmitClangASTNodes(RecordKeeper &RK, raw_ostream &OS,
anatofuz
parents:
diff changeset
199 const std::string &N, const std::string &S) {
anatofuz
parents:
diff changeset
200 ClangASTNodesEmitter(RK, N, S).run(OS);
anatofuz
parents:
diff changeset
201 }
anatofuz
parents:
diff changeset
202
anatofuz
parents:
diff changeset
203 // Emits and addendum to a .inc file to enumerate the clang declaration
anatofuz
parents:
diff changeset
204 // contexts.
anatofuz
parents:
diff changeset
205 void clang::EmitClangDeclContext(RecordKeeper &Records, raw_ostream &OS) {
anatofuz
parents:
diff changeset
206 // FIXME: Find a .td file format to allow for this to be represented better.
anatofuz
parents:
diff changeset
207
anatofuz
parents:
diff changeset
208 emitSourceFileHeader("List of AST Decl nodes", OS);
anatofuz
parents:
diff changeset
209
anatofuz
parents:
diff changeset
210 OS << "#ifndef DECL_CONTEXT\n";
anatofuz
parents:
diff changeset
211 OS << "# define DECL_CONTEXT(DECL)\n";
anatofuz
parents:
diff changeset
212 OS << "#endif\n";
anatofuz
parents:
diff changeset
213
anatofuz
parents:
diff changeset
214 OS << "#ifndef DECL_CONTEXT_BASE\n";
anatofuz
parents:
diff changeset
215 OS << "# define DECL_CONTEXT_BASE(DECL) DECL_CONTEXT(DECL)\n";
anatofuz
parents:
diff changeset
216 OS << "#endif\n";
anatofuz
parents:
diff changeset
217
anatofuz
parents:
diff changeset
218 typedef std::set<Record*> RecordSet;
anatofuz
parents:
diff changeset
219 typedef std::vector<Record*> RecordVector;
anatofuz
parents:
diff changeset
220
anatofuz
parents:
diff changeset
221 RecordVector DeclContextsVector
anatofuz
parents:
diff changeset
222 = Records.getAllDerivedDefinitions(DeclContextNodeClassName);
anatofuz
parents:
diff changeset
223 RecordVector Decls = Records.getAllDerivedDefinitions(DeclNodeClassName);
anatofuz
parents:
diff changeset
224 RecordSet DeclContexts (DeclContextsVector.begin(), DeclContextsVector.end());
anatofuz
parents:
diff changeset
225
anatofuz
parents:
diff changeset
226 for (RecordVector::iterator i = Decls.begin(), e = Decls.end(); i != e; ++i) {
anatofuz
parents:
diff changeset
227 Record *R = *i;
anatofuz
parents:
diff changeset
228
anatofuz
parents:
diff changeset
229 if (Record *B = R->getValueAsOptionalDef(BaseFieldName)) {
anatofuz
parents:
diff changeset
230 if (DeclContexts.find(B) != DeclContexts.end()) {
anatofuz
parents:
diff changeset
231 OS << "DECL_CONTEXT_BASE(" << B->getName() << ")\n";
anatofuz
parents:
diff changeset
232 DeclContexts.erase(B);
anatofuz
parents:
diff changeset
233 }
anatofuz
parents:
diff changeset
234 }
anatofuz
parents:
diff changeset
235 }
anatofuz
parents:
diff changeset
236
anatofuz
parents:
diff changeset
237 // To keep identical order, RecordVector may be used
anatofuz
parents:
diff changeset
238 // instead of RecordSet.
anatofuz
parents:
diff changeset
239 for (RecordVector::iterator
anatofuz
parents:
diff changeset
240 i = DeclContextsVector.begin(), e = DeclContextsVector.end();
anatofuz
parents:
diff changeset
241 i != e; ++i)
anatofuz
parents:
diff changeset
242 if (DeclContexts.find(*i) != DeclContexts.end())
anatofuz
parents:
diff changeset
243 OS << "DECL_CONTEXT(" << (*i)->getName() << ")\n";
anatofuz
parents:
diff changeset
244
anatofuz
parents:
diff changeset
245 OS << "#undef DECL_CONTEXT\n";
anatofuz
parents:
diff changeset
246 OS << "#undef DECL_CONTEXT_BASE\n";
anatofuz
parents:
diff changeset
247 }