Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- Ownership.h - Parser ownership helpers -------------------*- 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 contains classes for managing ownership of Stmt and Expr nodes. |
||
10 | // |
||
11 | //===----------------------------------------------------------------------===// |
||
12 | |||
13 | #ifndef LLVM_CLANG_SEMA_OWNERSHIP_H |
||
14 | #define LLVM_CLANG_SEMA_OWNERSHIP_H |
||
15 | |||
16 | #include "clang/AST/Expr.h" |
||
17 | #include "clang/Basic/LLVM.h" |
||
18 | #include "llvm/ADT/ArrayRef.h" |
||
19 | #include "llvm/Support/PointerLikeTypeTraits.h" |
||
20 | #include "llvm/Support/type_traits.h" |
||
21 | #include <cassert> |
||
22 | #include <cstddef> |
||
23 | #include <cstdint> |
||
24 | |||
25 | //===----------------------------------------------------------------------===// |
||
26 | // OpaquePtr |
||
27 | //===----------------------------------------------------------------------===// |
||
28 | |||
29 | namespace clang { |
||
30 | |||
31 | class CXXBaseSpecifier; |
||
32 | class CXXCtorInitializer; |
||
33 | class Decl; |
||
34 | class Expr; |
||
35 | class ParsedTemplateArgument; |
||
36 | class QualType; |
||
37 | class Stmt; |
||
38 | class TemplateName; |
||
39 | class TemplateParameterList; |
||
40 | |||
41 | /// Wrapper for void* pointer. |
||
42 | /// \tparam PtrTy Either a pointer type like 'T*' or a type that behaves like |
||
43 | /// a pointer. |
||
44 | /// |
||
45 | /// This is a very simple POD type that wraps a pointer that the Parser |
||
46 | /// doesn't know about but that Sema or another client does. The PtrTy |
||
47 | /// template argument is used to make sure that "Decl" pointers are not |
||
48 | /// compatible with "Type" pointers for example. |
||
49 | template <class PtrTy> |
||
50 | class OpaquePtr { |
||
51 | void *Ptr = nullptr; |
||
52 | |||
53 | explicit OpaquePtr(void *Ptr) : Ptr(Ptr) {} |
||
54 | |||
55 | using Traits = llvm::PointerLikeTypeTraits<PtrTy>; |
||
56 | |||
57 | public: |
||
58 | OpaquePtr(std::nullptr_t = nullptr) {} |
||
59 | |||
60 | static OpaquePtr make(PtrTy P) { OpaquePtr OP; OP.set(P); return OP; } |
||
61 | |||
62 | /// Returns plain pointer to the entity pointed by this wrapper. |
||
63 | /// \tparam PointeeT Type of pointed entity. |
||
64 | /// |
||
65 | /// It is identical to getPtrAs<PointeeT*>. |
||
66 | template <typename PointeeT> PointeeT* getPtrTo() const { |
||
67 | return get(); |
||
68 | } |
||
69 | |||
70 | /// Returns pointer converted to the specified type. |
||
71 | /// \tparam PtrT Result pointer type. There must be implicit conversion |
||
72 | /// from PtrTy to PtrT. |
||
73 | /// |
||
74 | /// In contrast to getPtrTo, this method allows the return type to be |
||
75 | /// a smart pointer. |
||
76 | template <typename PtrT> PtrT getPtrAs() const { |
||
77 | return get(); |
||
78 | } |
||
79 | |||
80 | PtrTy get() const { |
||
81 | return Traits::getFromVoidPointer(Ptr); |
||
82 | } |
||
83 | |||
84 | void set(PtrTy P) { |
||
85 | Ptr = Traits::getAsVoidPointer(P); |
||
86 | } |
||
87 | |||
88 | explicit operator bool() const { return Ptr != nullptr; } |
||
89 | |||
90 | void *getAsOpaquePtr() const { return Ptr; } |
||
91 | static OpaquePtr getFromOpaquePtr(void *P) { return OpaquePtr(P); } |
||
92 | }; |
||
93 | |||
94 | /// UnionOpaquePtr - A version of OpaquePtr suitable for membership |
||
95 | /// in a union. |
||
96 | template <class T> struct UnionOpaquePtr { |
||
97 | void *Ptr; |
||
98 | |||
99 | static UnionOpaquePtr make(OpaquePtr<T> P) { |
||
100 | UnionOpaquePtr OP = { P.getAsOpaquePtr() }; |
||
101 | return OP; |
||
102 | } |
||
103 | |||
104 | OpaquePtr<T> get() const { return OpaquePtr<T>::getFromOpaquePtr(Ptr); } |
||
105 | operator OpaquePtr<T>() const { return get(); } |
||
106 | |||
107 | UnionOpaquePtr &operator=(OpaquePtr<T> P) { |
||
108 | Ptr = P.getAsOpaquePtr(); |
||
109 | return *this; |
||
110 | } |
||
111 | }; |
||
112 | |||
113 | } // namespace clang |
||
114 | |||
115 | namespace llvm { |
||
116 | |||
117 | template <class T> |
||
118 | struct PointerLikeTypeTraits<clang::OpaquePtr<T>> { |
||
119 | static constexpr int NumLowBitsAvailable = 0; |
||
120 | |||
121 | static inline void *getAsVoidPointer(clang::OpaquePtr<T> P) { |
||
122 | // FIXME: Doesn't work? return P.getAs< void >(); |
||
123 | return P.getAsOpaquePtr(); |
||
124 | } |
||
125 | |||
126 | static inline clang::OpaquePtr<T> getFromVoidPointer(void *P) { |
||
127 | return clang::OpaquePtr<T>::getFromOpaquePtr(P); |
||
128 | } |
||
129 | }; |
||
130 | |||
131 | } // namespace llvm |
||
132 | |||
133 | namespace clang { |
||
134 | |||
135 | // Basic |
||
136 | class StreamingDiagnostic; |
||
137 | |||
138 | // Determines whether the low bit of the result pointer for the |
||
139 | // given UID is always zero. If so, ActionResult will use that bit |
||
140 | // for it's "invalid" flag. |
||
141 | template <class Ptr> struct IsResultPtrLowBitFree { |
||
142 | static const bool value = false; |
||
143 | }; |
||
144 | |||
145 | /// ActionResult - This structure is used while parsing/acting on |
||
146 | /// expressions, stmts, etc. It encapsulates both the object returned by |
||
147 | /// the action, plus a sense of whether or not it is valid. |
||
148 | /// When CompressInvalid is true, the "invalid" flag will be |
||
149 | /// stored in the low bit of the Val pointer. |
||
150 | template<class PtrTy, |
||
151 | bool CompressInvalid = IsResultPtrLowBitFree<PtrTy>::value> |
||
152 | class ActionResult { |
||
153 | PtrTy Val; |
||
154 | bool Invalid; |
||
155 | |||
156 | public: |
||
157 | ActionResult(bool Invalid = false) : Val(PtrTy()), Invalid(Invalid) {} |
||
158 | ActionResult(PtrTy val) : Val(val), Invalid(false) {} |
||
159 | ActionResult(const DiagnosticBuilder &) : Val(PtrTy()), Invalid(true) {} |
||
160 | |||
161 | // These two overloads prevent void* -> bool conversions. |
||
162 | ActionResult(const void *) = delete; |
||
163 | ActionResult(volatile void *) = delete; |
||
164 | |||
165 | bool isInvalid() const { return Invalid; } |
||
166 | bool isUsable() const { return !Invalid && Val; } |
||
167 | bool isUnset() const { return !Invalid && !Val; } |
||
168 | |||
169 | PtrTy get() const { return Val; } |
||
170 | template <typename T> T *getAs() { return static_cast<T*>(get()); } |
||
171 | |||
172 | void set(PtrTy V) { Val = V; } |
||
173 | |||
174 | const ActionResult &operator=(PtrTy RHS) { |
||
175 | Val = RHS; |
||
176 | Invalid = false; |
||
177 | return *this; |
||
178 | } |
||
179 | }; |
||
180 | |||
181 | // This ActionResult partial specialization places the "invalid" |
||
182 | // flag into the low bit of the pointer. |
||
183 | template<typename PtrTy> |
||
184 | class ActionResult<PtrTy, true> { |
||
185 | // A pointer whose low bit is 1 if this result is invalid, 0 |
||
186 | // otherwise. |
||
187 | uintptr_t PtrWithInvalid; |
||
188 | |||
189 | using PtrTraits = llvm::PointerLikeTypeTraits<PtrTy>; |
||
190 | |||
191 | public: |
||
192 | ActionResult(bool Invalid = false) |
||
193 | : PtrWithInvalid(static_cast<uintptr_t>(Invalid)) {} |
||
194 | |||
195 | ActionResult(PtrTy V) { |
||
196 | void *VP = PtrTraits::getAsVoidPointer(V); |
||
197 | PtrWithInvalid = reinterpret_cast<uintptr_t>(VP); |
||
198 | assert((PtrWithInvalid & 0x01) == 0 && "Badly aligned pointer"); |
||
199 | } |
||
200 | |||
201 | ActionResult(const DiagnosticBuilder &) : PtrWithInvalid(0x01) {} |
||
202 | |||
203 | // These two overloads prevent void* -> bool conversions. |
||
204 | ActionResult(const void *) = delete; |
||
205 | ActionResult(volatile void *) = delete; |
||
206 | |||
207 | bool isInvalid() const { return PtrWithInvalid & 0x01; } |
||
208 | bool isUsable() const { return PtrWithInvalid > 0x01; } |
||
209 | bool isUnset() const { return PtrWithInvalid == 0; } |
||
210 | |||
211 | PtrTy get() const { |
||
212 | void *VP = reinterpret_cast<void *>(PtrWithInvalid & ~0x01); |
||
213 | return PtrTraits::getFromVoidPointer(VP); |
||
214 | } |
||
215 | |||
216 | template <typename T> T *getAs() { return static_cast<T*>(get()); } |
||
217 | |||
218 | void set(PtrTy V) { |
||
219 | void *VP = PtrTraits::getAsVoidPointer(V); |
||
220 | PtrWithInvalid = reinterpret_cast<uintptr_t>(VP); |
||
221 | assert((PtrWithInvalid & 0x01) == 0 && "Badly aligned pointer"); |
||
222 | } |
||
223 | |||
224 | const ActionResult &operator=(PtrTy RHS) { |
||
225 | void *VP = PtrTraits::getAsVoidPointer(RHS); |
||
226 | PtrWithInvalid = reinterpret_cast<uintptr_t>(VP); |
||
227 | assert((PtrWithInvalid & 0x01) == 0 && "Badly aligned pointer"); |
||
228 | return *this; |
||
229 | } |
||
230 | |||
231 | // For types where we can fit a flag in with the pointer, provide |
||
232 | // conversions to/from pointer type. |
||
233 | static ActionResult getFromOpaquePointer(void *P) { |
||
234 | ActionResult Result; |
||
235 | Result.PtrWithInvalid = (uintptr_t)P; |
||
236 | return Result; |
||
237 | } |
||
238 | void *getAsOpaquePointer() const { return (void*)PtrWithInvalid; } |
||
239 | }; |
||
240 | |||
241 | /// An opaque type for threading parsed type information through the |
||
242 | /// parser. |
||
243 | using ParsedType = OpaquePtr<QualType>; |
||
244 | using UnionParsedType = UnionOpaquePtr<QualType>; |
||
245 | |||
246 | // We can re-use the low bit of expression, statement, base, and |
||
247 | // member-initializer pointers for the "invalid" flag of |
||
248 | // ActionResult. |
||
249 | template<> struct IsResultPtrLowBitFree<Expr*> { |
||
250 | static const bool value = true; |
||
251 | }; |
||
252 | template<> struct IsResultPtrLowBitFree<Stmt*> { |
||
253 | static const bool value = true; |
||
254 | }; |
||
255 | template<> struct IsResultPtrLowBitFree<CXXBaseSpecifier*> { |
||
256 | static const bool value = true; |
||
257 | }; |
||
258 | template<> struct IsResultPtrLowBitFree<CXXCtorInitializer*> { |
||
259 | static const bool value = true; |
||
260 | }; |
||
261 | |||
262 | using ExprResult = ActionResult<Expr *>; |
||
263 | using StmtResult = ActionResult<Stmt *>; |
||
264 | using TypeResult = ActionResult<ParsedType>; |
||
265 | using BaseResult = ActionResult<CXXBaseSpecifier *>; |
||
266 | using MemInitResult = ActionResult<CXXCtorInitializer *>; |
||
267 | |||
268 | using DeclResult = ActionResult<Decl *>; |
||
269 | using ParsedTemplateTy = OpaquePtr<TemplateName>; |
||
270 | using UnionParsedTemplateTy = UnionOpaquePtr<TemplateName>; |
||
271 | |||
272 | using MultiExprArg = MutableArrayRef<Expr *>; |
||
273 | using MultiStmtArg = MutableArrayRef<Stmt *>; |
||
274 | using ASTTemplateArgsPtr = MutableArrayRef<ParsedTemplateArgument>; |
||
275 | using MultiTypeArg = MutableArrayRef<ParsedType>; |
||
276 | using MultiTemplateParamsArg = MutableArrayRef<TemplateParameterList *>; |
||
277 | |||
278 | inline ExprResult ExprError() { return ExprResult(true); } |
||
279 | inline StmtResult StmtError() { return StmtResult(true); } |
||
280 | inline TypeResult TypeError() { return TypeResult(true); } |
||
281 | |||
282 | inline ExprResult ExprError(const StreamingDiagnostic &) { |
||
283 | return ExprError(); |
||
284 | } |
||
285 | inline StmtResult StmtError(const StreamingDiagnostic &) { |
||
286 | return StmtError(); |
||
287 | } |
||
288 | |||
289 | inline ExprResult ExprEmpty() { return ExprResult(false); } |
||
290 | inline StmtResult StmtEmpty() { return StmtResult(false); } |
||
291 | |||
292 | inline Expr *AssertSuccess(ExprResult R) { |
||
293 | assert(!R.isInvalid() && "operation was asserted to never fail!"); |
||
294 | return R.get(); |
||
295 | } |
||
296 | |||
297 | inline Stmt *AssertSuccess(StmtResult R) { |
||
298 | assert(!R.isInvalid() && "operation was asserted to never fail!"); |
||
299 | return R.get(); |
||
300 | } |
||
301 | |||
302 | } // namespace clang |
||
303 | |||
304 | #endif // LLVM_CLANG_SEMA_OWNERSHIP_H |