clang 22.0.0git
AbstractBasicReader.h
Go to the documentation of this file.
1//==--- AbstractBasicReader.h - Abstract basic value deserialization -----===//
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#ifndef LLVM_CLANG_AST_ABSTRACTBASICREADER_H
10#define LLVM_CLANG_AST_ABSTRACTBASICREADER_H
11
13#include <optional>
14
15namespace clang {
16namespace serialization {
17
18template <class T>
19inline T makeNullableFromOptional(const std::optional<T> &value) {
20 return (value ? *value : T());
21}
22
23template <class T> inline T *makePointerFromOptional(std::optional<T *> value) {
24 return value.value_or(nullptr);
25}
26
27// PropertyReader is a class concept that requires the following method:
28// BasicReader find(llvm::StringRef propertyName);
29// where BasicReader is some class conforming to the BasicReader concept.
30// An abstract AST-node reader is created with a PropertyReader and
31// performs a sequence of calls like so:
32// propertyReader.find(propertyName).read##TypeName()
33// to read the properties of the node it is deserializing.
34
35// BasicReader is a class concept that requires methods like:
36// ValueType read##TypeName();
37// where TypeName is the name of a PropertyType node from PropertiesBase.td
38// and ValueType is the corresponding C++ type name. The read method may
39// require one or more buffer arguments.
40//
41// In addition to the concrete type names, BasicReader is expected to
42// implement these methods:
43//
44// template <class EnumType>
45// void writeEnum(T value);
46//
47// Reads an enum value from the current property. EnumType will always
48// be an enum type. Only necessary if the BasicReader doesn't provide
49// type-specific readers for all the enum types.
50//
51// template <class ValueType>
52// std::optional<ValueType> writeOptional();
53//
54// Reads an optional value from the current property.
55//
56// template <class ValueType>
57// ArrayRef<ValueType> readArray(llvm::SmallVectorImpl<ValueType> &buffer);
58//
59// Reads an array of values from the current property.
60//
61// PropertyReader readObject();
62//
63// Reads an object from the current property; the returned property
64// reader will be subjected to a sequence of property reads and then
65// discarded before any other properties are reader from the "outer"
66// property reader (which need not be the same type). The sub-reader
67// will be used as if with the following code:
68//
69// {
70// auto &&widget = W.find("widget").readObject();
71// auto kind = widget.find("kind").readWidgetKind();
72// auto declaration = widget.find("declaration").readDeclRef();
73// return Widget(kind, declaration);
74// }
75
76// ReadDispatcher does type-based forwarding to one of the read methods
77// on the BasicReader passed in:
78//
79// template <class ValueType>
80// struct ReadDispatcher {
81// template <class BasicReader, class... BufferTypes>
82// static ValueType read(BasicReader &R, BufferTypes &&...);
83// };
84
85// BasicReaderBase provides convenience implementations of the read methods
86// for EnumPropertyType and SubclassPropertyType types that just defer to
87// the "underlying" implementations (for UInt32 and the base class,
88// respectively).
89//
90// template <class Impl>
91// class BasicReaderBase {
92// protected:
93// BasicReaderBase(ASTContext &ctx);
94// Impl &asImpl();
95// public:
96// ASTContext &getASTContext();
97// ...
98// };
99
100// The actual classes are auto-generated; see ClangASTPropertiesEmitter.cpp.
101#include "clang/AST/AbstractBasicReader.inc"
102
103/// DataStreamBasicReader provides convenience implementations for many
104/// BasicReader methods based on the assumption that the
105/// ultimate reader implementation is based on a variable-length stream
106/// of unstructured data (like Clang's module files). It is designed
107/// to pair with DataStreamBasicWriter.
108///
109/// This class can also act as a PropertyReader, implementing find("...")
110/// by simply forwarding to itself.
111///
112/// Unimplemented methods:
113/// readBool
114/// readUInt32
115/// readUInt64
116/// readIdentifier
117/// readSelector
118/// readSourceLocation
119/// readQualType
120/// readStmtRef
121/// readDeclRef
122template <class Impl>
124protected:
125 using BasicReaderBase<Impl>::asImpl;
127
128public:
129 using BasicReaderBase<Impl>::getASTContext;
130
131 /// Implement property-find by ignoring it. We rely on properties being
132 /// serialized and deserialized in a reliable order instead.
133 Impl &find(const char *propertyName) {
134 return asImpl();
135 }
136
137 template <class T>
139 return T(asImpl().readUInt32());
140 }
141
142 // Implement object reading by forwarding to this, collapsing the
143 // structure into a single data stream.
144 Impl &readObject() { return asImpl(); }
145
146 template <class T> ArrayRef<T> readArray(llvm::SmallVectorImpl<T> &buffer) {
147 assert(buffer.empty());
148
149 uint32_t size = asImpl().readUInt32();
150 buffer.reserve(size);
151
152 for (uint32_t i = 0; i != size; ++i) {
153 buffer.push_back(ReadDispatcher<T>::read(asImpl()));
154 }
155 return buffer;
156 }
157
158 template <class T, class... Args>
159 std::optional<T> readOptional(Args &&...args) {
160 return UnpackOptionalValue<T>::unpack(
161 ReadDispatcher<T>::read(asImpl(), std::forward<Args>(args)...));
162 }
163
164 llvm::APSInt readAPSInt() {
165 bool isUnsigned = asImpl().readBool();
166 llvm::APInt value = asImpl().readAPInt();
167 return llvm::APSInt(std::move(value), isUnsigned);
168 }
169
170 llvm::APInt readAPInt() {
171 unsigned bitWidth = asImpl().readUInt32();
172 unsigned numWords = llvm::APInt::getNumWords(bitWidth);
174 for (uint32_t i = 0; i != numWords; ++i)
175 data.push_back(asImpl().readUInt64());
176 return llvm::APInt(bitWidth, numWords, &data[0]);
177 }
178
179 llvm::FixedPointSemantics readFixedPointSemantics() {
180 unsigned width = asImpl().readUInt32();
181 unsigned scale = asImpl().readUInt32();
182 unsigned tmp = asImpl().readUInt32();
183 bool isSigned = tmp & 0x1;
184 bool isSaturated = tmp & 0x2;
185 bool hasUnsignedPadding = tmp & 0x4;
186 return llvm::FixedPointSemantics(width, scale, isSigned, isSaturated,
187 hasUnsignedPadding);
188 }
189
192 auto origTy = asImpl().readQualType();
193 auto elemTy = origTy;
194 unsigned pathLength = asImpl().readUInt32();
195 for (unsigned i = 0; i < pathLength; ++i) {
196 if (elemTy->isRecordType()) {
197 unsigned int_ = asImpl().readUInt32();
198 Decl *decl = asImpl().template readDeclAs<Decl>();
199 if (auto *recordDecl = dyn_cast<CXXRecordDecl>(decl))
200 elemTy = getASTContext().getCanonicalTagType(recordDecl);
201 else
202 elemTy = cast<ValueDecl>(decl)->getType();
203 path.push_back(
205 } else {
206 elemTy = getASTContext().getAsArrayType(elemTy)->getElementType();
207 path.push_back(
208 APValue::LValuePathEntry::ArrayIndex(asImpl().readUInt32()));
209 }
210 }
211 return APValue::LValuePathSerializationHelper(path, origTy);
212 }
213
215 static_assert(sizeof(Qualifiers().getAsOpaqueValue()) <= sizeof(uint64_t),
216 "update this if the value size changes");
217 uint64_t value = asImpl().readUInt64();
218 return Qualifiers::fromOpaqueValue(value);
219 }
220
224 esi.Type = ExceptionSpecificationType(asImpl().readUInt32());
225 if (esi.Type == EST_Dynamic) {
226 esi.Exceptions = asImpl().template readArray<QualType>(buffer);
227 } else if (isComputedNoexcept(esi.Type)) {
228 esi.NoexceptExpr = asImpl().readExprRef();
229 } else if (esi.Type == EST_Uninstantiated) {
230 esi.SourceDecl = asImpl().readFunctionDeclRef();
231 esi.SourceTemplate = asImpl().readFunctionDeclRef();
232 } else if (esi.Type == EST_Unevaluated) {
233 esi.SourceDecl = asImpl().readFunctionDeclRef();
234 }
235 return esi;
236 }
237
240 <= sizeof(uint32_t),
241 "opaque value doesn't fit into uint32_t");
242 uint32_t value = asImpl().readUInt32();
243 return FunctionProtoType::ExtParameterInfo::getFromOpaqueValue(value);
244 }
245
247 uint32_t value = asImpl().readUInt32();
249 }
250
252 return EffectConditionExpr{asImpl().readExprRef()};
253 }
254
256 auto &ctx = getASTContext();
257
258 // We build this up iteratively.
259 NestedNameSpecifier cur = std::nullopt;
260
261 uint32_t depth = asImpl().readUInt32();
262 for (uint32_t i = 0; i != depth; ++i) {
263 auto kind = asImpl().readNestedNameSpecifierKind();
264 switch (kind) {
266 cur =
267 NestedNameSpecifier(ctx, asImpl().readNamespaceBaseDeclRef(), cur);
268 continue;
270 assert(!cur);
271 cur = NestedNameSpecifier(asImpl().readQualType().getTypePtr());
272 continue;
274 assert(!cur);
276 continue;
278 assert(!cur);
279 cur = NestedNameSpecifier(asImpl().readCXXRecordDeclRef());
280 continue;
282 llvm_unreachable("unexpected null nested name specifier");
283 }
284 llvm_unreachable("bad nested name specifier kind");
285 }
286
287 return cur;
288 }
289};
290
291} // end namespace serialization
292} // end namespace clang
293
294#endif
static bool isUnsigned(SValBuilder &SVB, NonLoc Value)
Defines the C++ template declaration subclasses.
A non-discriminated union of a base, field, or array index.
Definition: APValue.h:207
static LValuePathEntry ArrayIndex(uint64_t Index)
Definition: APValue.h:215
llvm::PointerIntPair< const Decl *, 1, bool > BaseOrMemberType
A FieldDecl or CXXRecordDecl, along with a flag indicating whether we mean a virtual or non-virtual b...
Definition: APValue.h:204
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:188
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
Wrap a function effect's condition expression in another struct so that FunctionProtoType's TrailingO...
Definition: TypeBase.h:5002
Represents an abstract function effect, using just an enumeration describing its kind.
Definition: TypeBase.h:4895
static FunctionEffect fromOpaqueInt32(uint32_t Value)
Definition: TypeBase.h:4941
Interesting information about a specific parameter that can't simply be reflected in parameter's type...
Definition: TypeBase.h:4504
unsigned char getOpaqueValue() const
Definition: TypeBase.h:4553
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
static constexpr NestedNameSpecifier getGlobal()
@ MicrosoftSuper
Microsoft's '__super' specifier, stored as a CXXRecordDecl* of the class it appeared in.
@ Global
The global specifier '::'. There is no stored value.
@ Type
A type, stored as a Type*.
@ Namespace
A namespace-like entity, stored as a NamespaceBaseDecl*.
The collection of all-type qualifiers we support.
Definition: TypeBase.h:331
uint64_t getAsOpaqueValue() const
Definition: TypeBase.h:455
static Qualifiers fromOpaqueValue(uint64_t opaque)
Definition: TypeBase.h:448
DataStreamBasicReader provides convenience implementations for many BasicReader methods based on the ...
FunctionProtoType::ExceptionSpecInfo readExceptionSpecInfo(llvm::SmallVectorImpl< QualType > &buffer)
FunctionProtoType::ExtParameterInfo readExtParameterInfo()
APValue::LValuePathSerializationHelper readLValuePathSerializationHelper(SmallVectorImpl< APValue::LValuePathEntry > &path)
std::optional< T > readOptional(Args &&...args)
ArrayRef< T > readArray(llvm::SmallVectorImpl< T > &buffer)
Impl & find(const char *propertyName)
Implement property-find by ignoring it.
llvm::FixedPointSemantics readFixedPointSemantics()
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > recordDecl
Matches class, struct, and union declarations.
T * makePointerFromOptional(std::optional< T * > value)
T makeNullableFromOptional(const std::optional< T > &value)
The JSON file list parser is used to communicate input to InstallAPI.
bool isComputedNoexcept(ExceptionSpecificationType ESpecType)
const FunctionProtoType * T
ExceptionSpecificationType
The various types of exception specifications that exist in C++11.
@ EST_Uninstantiated
not instantiated yet
@ EST_Unevaluated
not evaluated yet, for special member function
@ EST_Dynamic
throw(T1, T2)
Holds information about the various types of exception specification.
Definition: TypeBase.h:5339
FunctionDecl * SourceDecl
The function whose exception specification this is, for EST_Unevaluated and EST_Uninstantiated.
Definition: TypeBase.h:5351
FunctionDecl * SourceTemplate
The function template whose exception specification this is instantiated from, for EST_Uninstantiated...
Definition: TypeBase.h:5355
ExceptionSpecificationType Type
The kind of exception specification this is.
Definition: TypeBase.h:5341
ArrayRef< QualType > Exceptions
Explicitly-specified list of exception types.
Definition: TypeBase.h:5344
Expr * NoexceptExpr
Noexcept expression, if this is a computed noexcept specification.
Definition: TypeBase.h:5347