Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- ASTRecordWriter.h - Helper classes for writing AST -------*- C++ -*-===// |
2 | // |
||
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
4 | // See https://llvm.org/LICENSE.txt for license information. |
||
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
6 | // |
||
7 | //===----------------------------------------------------------------------===// |
||
8 | // |
||
9 | // This file defines the ASTRecordWriter class, a helper class useful |
||
10 | // when serializing AST. |
||
11 | // |
||
12 | //===----------------------------------------------------------------------===// |
||
13 | |||
14 | #ifndef LLVM_CLANG_SERIALIZATION_ASTRECORDWRITER_H |
||
15 | #define LLVM_CLANG_SERIALIZATION_ASTRECORDWRITER_H |
||
16 | |||
17 | #include "clang/AST/AbstractBasicWriter.h" |
||
18 | #include "clang/AST/OpenMPClause.h" |
||
19 | #include "clang/Serialization/ASTWriter.h" |
||
20 | #include "clang/Serialization/SourceLocationEncoding.h" |
||
21 | |||
22 | namespace clang { |
||
23 | |||
24 | class TypeLoc; |
||
25 | |||
26 | /// An object for streaming information to a record. |
||
27 | class ASTRecordWriter |
||
28 | : public serialization::DataStreamBasicWriter<ASTRecordWriter> { |
||
29 | using LocSeq = SourceLocationSequence; |
||
30 | |||
31 | ASTWriter *Writer; |
||
32 | ASTWriter::RecordDataImpl *Record; |
||
33 | |||
34 | /// Statements that we've encountered while serializing a |
||
35 | /// declaration or type. |
||
36 | SmallVector<Stmt *, 16> StmtsToEmit; |
||
37 | |||
38 | /// Indices of record elements that describe offsets within the |
||
39 | /// bitcode. These will be converted to offsets relative to the current |
||
40 | /// record when emitted. |
||
41 | SmallVector<unsigned, 8> OffsetIndices; |
||
42 | |||
43 | /// Flush all of the statements and expressions that have |
||
44 | /// been added to the queue via AddStmt(). |
||
45 | void FlushStmts(); |
||
46 | void FlushSubStmts(); |
||
47 | |||
48 | void PrepareToEmit(uint64_t MyOffset) { |
||
49 | // Convert offsets into relative form. |
||
50 | for (unsigned I : OffsetIndices) { |
||
51 | auto &StoredOffset = (*Record)[I]; |
||
52 | assert(StoredOffset < MyOffset && "invalid offset"); |
||
53 | if (StoredOffset) |
||
54 | StoredOffset = MyOffset - StoredOffset; |
||
55 | } |
||
56 | OffsetIndices.clear(); |
||
57 | } |
||
58 | |||
59 | public: |
||
60 | /// Construct a ASTRecordWriter that uses the default encoding scheme. |
||
61 | ASTRecordWriter(ASTWriter &W, ASTWriter::RecordDataImpl &Record) |
||
62 | : DataStreamBasicWriter(W.getASTContext()), Writer(&W), Record(&Record) {} |
||
63 | |||
64 | /// Construct a ASTRecordWriter that uses the same encoding scheme as another |
||
65 | /// ASTRecordWriter. |
||
66 | ASTRecordWriter(ASTRecordWriter &Parent, ASTWriter::RecordDataImpl &Record) |
||
67 | : DataStreamBasicWriter(Parent.getASTContext()), Writer(Parent.Writer), |
||
68 | Record(&Record) {} |
||
69 | |||
70 | /// Copying an ASTRecordWriter is almost certainly a bug. |
||
71 | ASTRecordWriter(const ASTRecordWriter &) = delete; |
||
72 | ASTRecordWriter &operator=(const ASTRecordWriter &) = delete; |
||
73 | |||
74 | /// Extract the underlying record storage. |
||
75 | ASTWriter::RecordDataImpl &getRecordData() const { return *Record; } |
||
76 | |||
77 | /// Minimal vector-like interface. |
||
78 | /// @{ |
||
79 | void push_back(uint64_t N) { Record->push_back(N); } |
||
80 | template<typename InputIterator> |
||
81 | void append(InputIterator begin, InputIterator end) { |
||
82 | Record->append(begin, end); |
||
83 | } |
||
84 | bool empty() const { return Record->empty(); } |
||
85 | size_t size() const { return Record->size(); } |
||
86 | uint64_t &operator[](size_t N) { return (*Record)[N]; } |
||
87 | /// @} |
||
88 | |||
89 | /// Emit the record to the stream, followed by its substatements, and |
||
90 | /// return its offset. |
||
91 | // FIXME: Allow record producers to suggest Abbrevs. |
||
92 | uint64_t Emit(unsigned Code, unsigned Abbrev = 0) { |
||
93 | uint64_t Offset = Writer->Stream.GetCurrentBitNo(); |
||
94 | PrepareToEmit(Offset); |
||
95 | Writer->Stream.EmitRecord(Code, *Record, Abbrev); |
||
96 | FlushStmts(); |
||
97 | return Offset; |
||
98 | } |
||
99 | |||
100 | /// Emit the record to the stream, preceded by its substatements. |
||
101 | uint64_t EmitStmt(unsigned Code, unsigned Abbrev = 0) { |
||
102 | FlushSubStmts(); |
||
103 | PrepareToEmit(Writer->Stream.GetCurrentBitNo()); |
||
104 | Writer->Stream.EmitRecord(Code, *Record, Abbrev); |
||
105 | return Writer->Stream.GetCurrentBitNo(); |
||
106 | } |
||
107 | |||
108 | /// Add a bit offset into the record. This will be converted into an |
||
109 | /// offset relative to the current record when emitted. |
||
110 | void AddOffset(uint64_t BitOffset) { |
||
111 | OffsetIndices.push_back(Record->size()); |
||
112 | Record->push_back(BitOffset); |
||
113 | } |
||
114 | |||
115 | /// Add the given statement or expression to the queue of |
||
116 | /// statements to emit. |
||
117 | /// |
||
118 | /// This routine should be used when emitting types and declarations |
||
119 | /// that have expressions as part of their formulation. Once the |
||
120 | /// type or declaration has been written, Emit() will write |
||
121 | /// the corresponding statements just after the record. |
||
122 | void AddStmt(Stmt *S) { |
||
123 | StmtsToEmit.push_back(S); |
||
124 | } |
||
125 | void writeStmtRef(const Stmt *S) { |
||
126 | AddStmt(const_cast<Stmt*>(S)); |
||
127 | } |
||
128 | |||
129 | /// Write an BTFTypeTagAttr object. |
||
130 | void writeBTFTypeTagAttr(const BTFTypeTagAttr *A) { AddAttr(A); } |
||
131 | |||
132 | /// Add a definition for the given function to the queue of statements |
||
133 | /// to emit. |
||
134 | void AddFunctionDefinition(const FunctionDecl *FD); |
||
135 | |||
136 | /// Emit a source location. |
||
137 | void AddSourceLocation(SourceLocation Loc, LocSeq *Seq = nullptr) { |
||
138 | return Writer->AddSourceLocation(Loc, *Record, Seq); |
||
139 | } |
||
140 | void writeSourceLocation(SourceLocation Loc) { |
||
141 | AddSourceLocation(Loc); |
||
142 | } |
||
143 | |||
144 | /// Emit a source range. |
||
145 | void AddSourceRange(SourceRange Range, LocSeq *Seq = nullptr) { |
||
146 | return Writer->AddSourceRange(Range, *Record, Seq); |
||
147 | } |
||
148 | |||
149 | void writeBool(bool Value) { |
||
150 | Record->push_back(Value); |
||
151 | } |
||
152 | |||
153 | void writeUInt32(uint32_t Value) { |
||
154 | Record->push_back(Value); |
||
155 | } |
||
156 | |||
157 | void writeUInt64(uint64_t Value) { |
||
158 | Record->push_back(Value); |
||
159 | } |
||
160 | |||
161 | /// Emit an integral value. |
||
162 | void AddAPInt(const llvm::APInt &Value) { |
||
163 | writeAPInt(Value); |
||
164 | } |
||
165 | |||
166 | /// Emit a signed integral value. |
||
167 | void AddAPSInt(const llvm::APSInt &Value) { |
||
168 | writeAPSInt(Value); |
||
169 | } |
||
170 | |||
171 | /// Emit a floating-point value. |
||
172 | void AddAPFloat(const llvm::APFloat &Value); |
||
173 | |||
174 | /// Emit an APvalue. |
||
175 | void AddAPValue(const APValue &Value) { writeAPValue(Value); } |
||
176 | |||
177 | /// Emit a reference to an identifier. |
||
178 | void AddIdentifierRef(const IdentifierInfo *II) { |
||
179 | return Writer->AddIdentifierRef(II, *Record); |
||
180 | } |
||
181 | void writeIdentifier(const IdentifierInfo *II) { |
||
182 | AddIdentifierRef(II); |
||
183 | } |
||
184 | |||
185 | /// Emit a Selector (which is a smart pointer reference). |
||
186 | void AddSelectorRef(Selector S); |
||
187 | void writeSelector(Selector sel) { |
||
188 | AddSelectorRef(sel); |
||
189 | } |
||
190 | |||
191 | /// Emit a CXXTemporary. |
||
192 | void AddCXXTemporary(const CXXTemporary *Temp); |
||
193 | |||
194 | /// Emit a C++ base specifier. |
||
195 | void AddCXXBaseSpecifier(const CXXBaseSpecifier &Base); |
||
196 | |||
197 | /// Emit a set of C++ base specifiers. |
||
198 | void AddCXXBaseSpecifiers(ArrayRef<CXXBaseSpecifier> Bases); |
||
199 | |||
200 | /// Emit a reference to a type. |
||
201 | void AddTypeRef(QualType T) { |
||
202 | return Writer->AddTypeRef(T, *Record); |
||
203 | } |
||
204 | void writeQualType(QualType T) { |
||
205 | AddTypeRef(T); |
||
206 | } |
||
207 | |||
208 | /// Emits a reference to a declarator info. |
||
209 | void AddTypeSourceInfo(TypeSourceInfo *TInfo); |
||
210 | |||
211 | /// Emits source location information for a type. Does not emit the type. |
||
212 | void AddTypeLoc(TypeLoc TL, LocSeq *Seq = nullptr); |
||
213 | |||
214 | /// Emits a template argument location info. |
||
215 | void AddTemplateArgumentLocInfo(TemplateArgument::ArgKind Kind, |
||
216 | const TemplateArgumentLocInfo &Arg); |
||
217 | |||
218 | /// Emits a template argument location. |
||
219 | void AddTemplateArgumentLoc(const TemplateArgumentLoc &Arg); |
||
220 | |||
221 | /// Emits an AST template argument list info. |
||
222 | void AddASTTemplateArgumentListInfo( |
||
223 | const ASTTemplateArgumentListInfo *ASTTemplArgList); |
||
224 | |||
225 | /// Emit a reference to a declaration. |
||
226 | void AddDeclRef(const Decl *D) { |
||
227 | return Writer->AddDeclRef(D, *Record); |
||
228 | } |
||
229 | void writeDeclRef(const Decl *D) { |
||
230 | AddDeclRef(D); |
||
231 | } |
||
232 | |||
233 | /// Emit a declaration name. |
||
234 | void AddDeclarationName(DeclarationName Name) { |
||
235 | writeDeclarationName(Name); |
||
236 | } |
||
237 | |||
238 | void AddDeclarationNameLoc(const DeclarationNameLoc &DNLoc, |
||
239 | DeclarationName Name); |
||
240 | void AddDeclarationNameInfo(const DeclarationNameInfo &NameInfo); |
||
241 | |||
242 | void AddQualifierInfo(const QualifierInfo &Info); |
||
243 | |||
244 | /// Emit a nested name specifier. |
||
245 | void AddNestedNameSpecifier(NestedNameSpecifier *NNS) { |
||
246 | writeNestedNameSpecifier(NNS); |
||
247 | } |
||
248 | |||
249 | /// Emit a nested name specifier with source-location information. |
||
250 | void AddNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS); |
||
251 | |||
252 | /// Emit a template name. |
||
253 | void AddTemplateName(TemplateName Name) { |
||
254 | writeTemplateName(Name); |
||
255 | } |
||
256 | |||
257 | /// Emit a template argument. |
||
258 | void AddTemplateArgument(const TemplateArgument &Arg) { |
||
259 | writeTemplateArgument(Arg); |
||
260 | } |
||
261 | |||
262 | /// Emit a template parameter list. |
||
263 | void AddTemplateParameterList(const TemplateParameterList *TemplateParams); |
||
264 | |||
265 | /// Emit a template argument list. |
||
266 | void AddTemplateArgumentList(const TemplateArgumentList *TemplateArgs); |
||
267 | |||
268 | /// Emit a UnresolvedSet structure. |
||
269 | void AddUnresolvedSet(const ASTUnresolvedSet &Set); |
||
270 | |||
271 | /// Emit a CXXCtorInitializer array. |
||
272 | void AddCXXCtorInitializers(ArrayRef<CXXCtorInitializer *> CtorInits); |
||
273 | |||
274 | void AddCXXDefinitionData(const CXXRecordDecl *D); |
||
275 | |||
276 | /// Emit information about the initializer of a VarDecl. |
||
277 | void AddVarDeclInit(const VarDecl *VD); |
||
278 | |||
279 | /// Write an OMPTraitInfo object. |
||
280 | void writeOMPTraitInfo(const OMPTraitInfo *TI); |
||
281 | |||
282 | void writeOMPClause(OMPClause *C); |
||
283 | |||
284 | /// Writes data related to the OpenMP directives. |
||
285 | void writeOMPChildren(OMPChildren *Data); |
||
286 | |||
287 | /// Emit a string. |
||
288 | void AddString(StringRef Str) { |
||
289 | return Writer->AddString(Str, *Record); |
||
290 | } |
||
291 | |||
292 | /// Emit a path. |
||
293 | void AddPath(StringRef Path) { |
||
294 | return Writer->AddPath(Path, *Record); |
||
295 | } |
||
296 | |||
297 | /// Emit a version tuple. |
||
298 | void AddVersionTuple(const VersionTuple &Version) { |
||
299 | return Writer->AddVersionTuple(Version, *Record); |
||
300 | } |
||
301 | |||
302 | // Emit an attribute. |
||
303 | void AddAttr(const Attr *A); |
||
304 | |||
305 | /// Emit a list of attributes. |
||
306 | void AddAttributes(ArrayRef<const Attr*> Attrs); |
||
307 | }; |
||
308 | |||
309 | } // end namespace clang |
||
310 | |||
311 | #endif |