xref: /freebsd-src/contrib/llvm-project/clang/lib/AST/Interp/Pointer.h (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
1a7dea167SDimitry Andric //===--- Pointer.h - Types for the constexpr VM -----------------*- C++ -*-===//
2a7dea167SDimitry Andric //
3a7dea167SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4a7dea167SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5a7dea167SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6a7dea167SDimitry Andric //
7a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
8a7dea167SDimitry Andric //
9a7dea167SDimitry Andric // Defines the classes responsible for pointer tracking.
10a7dea167SDimitry Andric //
11a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
12a7dea167SDimitry Andric 
13a7dea167SDimitry Andric #ifndef LLVM_CLANG_AST_INTERP_POINTER_H
14a7dea167SDimitry Andric #define LLVM_CLANG_AST_INTERP_POINTER_H
15a7dea167SDimitry Andric 
16a7dea167SDimitry Andric #include "Descriptor.h"
17*5ffd83dbSDimitry Andric #include "InterpBlock.h"
18*5ffd83dbSDimitry Andric #include "clang/AST/ComparisonCategories.h"
19a7dea167SDimitry Andric #include "clang/AST/Decl.h"
20a7dea167SDimitry Andric #include "clang/AST/DeclCXX.h"
21a7dea167SDimitry Andric #include "clang/AST/Expr.h"
22a7dea167SDimitry Andric #include "llvm/ADT/PointerUnion.h"
23a7dea167SDimitry Andric #include "llvm/Support/raw_ostream.h"
24a7dea167SDimitry Andric 
25a7dea167SDimitry Andric namespace clang {
26a7dea167SDimitry Andric namespace interp {
27a7dea167SDimitry Andric class Block;
28a7dea167SDimitry Andric class DeadBlock;
29a7dea167SDimitry Andric class Context;
30a7dea167SDimitry Andric class InterpState;
31a7dea167SDimitry Andric class Pointer;
32a7dea167SDimitry Andric class Function;
33a7dea167SDimitry Andric enum PrimType : unsigned;
34a7dea167SDimitry Andric 
35a7dea167SDimitry Andric /// A pointer to a memory block, live or dead.
36a7dea167SDimitry Andric ///
37a7dea167SDimitry Andric /// This object can be allocated into interpreter stack frames. If pointing to
38a7dea167SDimitry Andric /// a live block, it is a link in the chain of pointers pointing to the block.
39a7dea167SDimitry Andric class Pointer {
40a7dea167SDimitry Andric private:
41a7dea167SDimitry Andric   static constexpr unsigned PastEndMark = (unsigned)-1;
42a7dea167SDimitry Andric   static constexpr unsigned RootPtrMark = (unsigned)-1;
43a7dea167SDimitry Andric 
44a7dea167SDimitry Andric public:
45a7dea167SDimitry Andric   Pointer() {}
46a7dea167SDimitry Andric   Pointer(Block *B);
47a7dea167SDimitry Andric   Pointer(const Pointer &P);
48a7dea167SDimitry Andric   Pointer(Pointer &&P);
49a7dea167SDimitry Andric   ~Pointer();
50a7dea167SDimitry Andric 
51a7dea167SDimitry Andric   void operator=(const Pointer &P);
52a7dea167SDimitry Andric   void operator=(Pointer &&P);
53a7dea167SDimitry Andric 
54a7dea167SDimitry Andric   /// Converts the pointer to an APValue.
55a7dea167SDimitry Andric   APValue toAPValue() const;
56a7dea167SDimitry Andric 
57a7dea167SDimitry Andric   /// Offsets a pointer inside an array.
58a7dea167SDimitry Andric   Pointer atIndex(unsigned Idx) const {
59a7dea167SDimitry Andric     if (Base == RootPtrMark)
60a7dea167SDimitry Andric       return Pointer(Pointee, RootPtrMark, getDeclDesc()->getSize());
61a7dea167SDimitry Andric     unsigned Off = Idx * elemSize();
62a7dea167SDimitry Andric     if (getFieldDesc()->ElemDesc)
63a7dea167SDimitry Andric       Off += sizeof(InlineDescriptor);
64a7dea167SDimitry Andric     else
65a7dea167SDimitry Andric       Off += sizeof(InitMap *);
66a7dea167SDimitry Andric     return Pointer(Pointee, Base, Base + Off);
67a7dea167SDimitry Andric   }
68a7dea167SDimitry Andric 
69a7dea167SDimitry Andric   /// Creates a pointer to a field.
70a7dea167SDimitry Andric   Pointer atField(unsigned Off) const {
71a7dea167SDimitry Andric     unsigned Field = Offset + Off;
72a7dea167SDimitry Andric     return Pointer(Pointee, Field, Field);
73a7dea167SDimitry Andric   }
74a7dea167SDimitry Andric 
75a7dea167SDimitry Andric   /// Restricts the scope of an array element pointer.
76a7dea167SDimitry Andric   Pointer narrow() const {
77a7dea167SDimitry Andric     // Null pointers cannot be narrowed.
78a7dea167SDimitry Andric     if (isZero() || isUnknownSizeArray())
79a7dea167SDimitry Andric       return *this;
80a7dea167SDimitry Andric 
81a7dea167SDimitry Andric     // Pointer to an array of base types - enter block.
82a7dea167SDimitry Andric     if (Base == RootPtrMark)
83a7dea167SDimitry Andric       return Pointer(Pointee, 0, Offset == 0 ? Offset : PastEndMark);
84a7dea167SDimitry Andric 
85a7dea167SDimitry Andric     // Pointer is one past end - magic offset marks that.
86a7dea167SDimitry Andric     if (isOnePastEnd())
87a7dea167SDimitry Andric       return Pointer(Pointee, Base, PastEndMark);
88a7dea167SDimitry Andric 
89a7dea167SDimitry Andric     // Primitive arrays are a bit special since they do not have inline
90a7dea167SDimitry Andric     // descriptors. If Offset != Base, then the pointer already points to
91a7dea167SDimitry Andric     // an element and there is nothing to do. Otherwise, the pointer is
92a7dea167SDimitry Andric     // adjusted to the first element of the array.
93a7dea167SDimitry Andric     if (inPrimitiveArray()) {
94a7dea167SDimitry Andric       if (Offset != Base)
95a7dea167SDimitry Andric         return *this;
96a7dea167SDimitry Andric       return Pointer(Pointee, Base, Offset + sizeof(InitMap *));
97a7dea167SDimitry Andric     }
98a7dea167SDimitry Andric 
99a7dea167SDimitry Andric     // Pointer is to a field or array element - enter it.
100a7dea167SDimitry Andric     if (Offset != Base)
101a7dea167SDimitry Andric       return Pointer(Pointee, Offset, Offset);
102a7dea167SDimitry Andric 
103a7dea167SDimitry Andric     // Enter the first element of an array.
104a7dea167SDimitry Andric     if (!getFieldDesc()->isArray())
105a7dea167SDimitry Andric       return *this;
106a7dea167SDimitry Andric 
107a7dea167SDimitry Andric     const unsigned NewBase = Base + sizeof(InlineDescriptor);
108a7dea167SDimitry Andric     return Pointer(Pointee, NewBase, NewBase);
109a7dea167SDimitry Andric   }
110a7dea167SDimitry Andric 
111a7dea167SDimitry Andric   /// Expands a pointer to the containing array, undoing narrowing.
112a7dea167SDimitry Andric   Pointer expand() const {
113a7dea167SDimitry Andric     if (isElementPastEnd()) {
114a7dea167SDimitry Andric       // Revert to an outer one-past-end pointer.
115a7dea167SDimitry Andric       unsigned Adjust;
116a7dea167SDimitry Andric       if (inPrimitiveArray())
117a7dea167SDimitry Andric         Adjust = sizeof(InitMap *);
118a7dea167SDimitry Andric       else
119a7dea167SDimitry Andric         Adjust = sizeof(InlineDescriptor);
120a7dea167SDimitry Andric       return Pointer(Pointee, Base, Base + getSize() + Adjust);
121a7dea167SDimitry Andric     }
122a7dea167SDimitry Andric 
123a7dea167SDimitry Andric     // Do not step out of array elements.
124a7dea167SDimitry Andric     if (Base != Offset)
125a7dea167SDimitry Andric       return *this;
126a7dea167SDimitry Andric 
127a7dea167SDimitry Andric     // If at base, point to an array of base types.
128a7dea167SDimitry Andric     if (Base == 0)
129a7dea167SDimitry Andric       return Pointer(Pointee, RootPtrMark, 0);
130a7dea167SDimitry Andric 
131a7dea167SDimitry Andric     // Step into the containing array, if inside one.
132a7dea167SDimitry Andric     unsigned Next = Base - getInlineDesc()->Offset;
133a7dea167SDimitry Andric     Descriptor *Desc = Next == 0 ? getDeclDesc() : getDescriptor(Next)->Desc;
134a7dea167SDimitry Andric     if (!Desc->IsArray)
135a7dea167SDimitry Andric       return *this;
136a7dea167SDimitry Andric     return Pointer(Pointee, Next, Offset);
137a7dea167SDimitry Andric   }
138a7dea167SDimitry Andric 
139a7dea167SDimitry Andric   /// Checks if the pointer is null.
140a7dea167SDimitry Andric   bool isZero() const { return Pointee == nullptr; }
141a7dea167SDimitry Andric   /// Checks if the pointer is live.
142a7dea167SDimitry Andric   bool isLive() const { return Pointee && !Pointee->IsDead; }
143a7dea167SDimitry Andric   /// Checks if the item is a field in an object.
144a7dea167SDimitry Andric   bool isField() const { return Base != 0 && Base != RootPtrMark; }
145a7dea167SDimitry Andric 
146a7dea167SDimitry Andric   /// Accessor for information about the declaration site.
147a7dea167SDimitry Andric   Descriptor *getDeclDesc() const { return Pointee->Desc; }
148a7dea167SDimitry Andric   SourceLocation getDeclLoc() const { return getDeclDesc()->getLocation(); }
149a7dea167SDimitry Andric 
150a7dea167SDimitry Andric   /// Returns a pointer to the object of which this pointer is a field.
151a7dea167SDimitry Andric   Pointer getBase() const {
152a7dea167SDimitry Andric     if (Base == RootPtrMark) {
153a7dea167SDimitry Andric       assert(Offset == PastEndMark && "cannot get base of a block");
154a7dea167SDimitry Andric       return Pointer(Pointee, Base, 0);
155a7dea167SDimitry Andric     }
156a7dea167SDimitry Andric     assert(Offset == Base && "not an inner field");
157a7dea167SDimitry Andric     unsigned NewBase = Base - getInlineDesc()->Offset;
158a7dea167SDimitry Andric     return Pointer(Pointee, NewBase, NewBase);
159a7dea167SDimitry Andric   }
160a7dea167SDimitry Andric   /// Returns the parent array.
161a7dea167SDimitry Andric   Pointer getArray() const {
162a7dea167SDimitry Andric     if (Base == RootPtrMark) {
163a7dea167SDimitry Andric       assert(Offset != 0 && Offset != PastEndMark && "not an array element");
164a7dea167SDimitry Andric       return Pointer(Pointee, Base, 0);
165a7dea167SDimitry Andric     }
166a7dea167SDimitry Andric     assert(Offset != Base && "not an array element");
167a7dea167SDimitry Andric     return Pointer(Pointee, Base, Base);
168a7dea167SDimitry Andric   }
169a7dea167SDimitry Andric 
170a7dea167SDimitry Andric   /// Accessors for information about the innermost field.
171a7dea167SDimitry Andric   Descriptor *getFieldDesc() const {
172a7dea167SDimitry Andric     if (Base == 0 || Base == RootPtrMark)
173a7dea167SDimitry Andric       return getDeclDesc();
174a7dea167SDimitry Andric     return getInlineDesc()->Desc;
175a7dea167SDimitry Andric   }
176a7dea167SDimitry Andric 
177a7dea167SDimitry Andric   /// Returns the type of the innermost field.
178a7dea167SDimitry Andric   QualType getType() const { return getFieldDesc()->getType(); }
179a7dea167SDimitry Andric 
180a7dea167SDimitry Andric   /// Returns the element size of the innermost field.
181a7dea167SDimitry Andric   size_t elemSize() const {
182a7dea167SDimitry Andric     if (Base == RootPtrMark)
183a7dea167SDimitry Andric       return getDeclDesc()->getSize();
184a7dea167SDimitry Andric     return getFieldDesc()->getElemSize();
185a7dea167SDimitry Andric   }
186a7dea167SDimitry Andric   /// Returns the total size of the innermost field.
187a7dea167SDimitry Andric   size_t getSize() const { return getFieldDesc()->getSize(); }
188a7dea167SDimitry Andric 
189a7dea167SDimitry Andric   /// Returns the offset into an array.
190a7dea167SDimitry Andric   unsigned getOffset() const {
191a7dea167SDimitry Andric     assert(Offset != PastEndMark && "invalid offset");
192a7dea167SDimitry Andric     if (Base == RootPtrMark)
193a7dea167SDimitry Andric       return Offset;
194a7dea167SDimitry Andric 
195a7dea167SDimitry Andric     unsigned Adjust = 0;
196a7dea167SDimitry Andric     if (Offset != Base) {
197a7dea167SDimitry Andric       if (getFieldDesc()->ElemDesc)
198a7dea167SDimitry Andric         Adjust = sizeof(InlineDescriptor);
199a7dea167SDimitry Andric       else
200a7dea167SDimitry Andric         Adjust = sizeof(InitMap *);
201a7dea167SDimitry Andric     }
202a7dea167SDimitry Andric     return Offset - Base - Adjust;
203a7dea167SDimitry Andric   }
204a7dea167SDimitry Andric 
205a7dea167SDimitry Andric   /// Checks if the innermost field is an array.
206a7dea167SDimitry Andric   bool inArray() const { return getFieldDesc()->IsArray; }
207a7dea167SDimitry Andric   /// Checks if the structure is a primitive array.
208a7dea167SDimitry Andric   bool inPrimitiveArray() const { return getFieldDesc()->isPrimitiveArray(); }
209a7dea167SDimitry Andric   /// Checks if the structure is an array of unknown size.
210a7dea167SDimitry Andric   bool isUnknownSizeArray() const {
211a7dea167SDimitry Andric     return getFieldDesc()->isUnknownSizeArray();
212a7dea167SDimitry Andric   }
213a7dea167SDimitry Andric   /// Checks if the pointer points to an array.
214a7dea167SDimitry Andric   bool isArrayElement() const { return Base != Offset; }
215a7dea167SDimitry Andric   /// Pointer points directly to a block.
216a7dea167SDimitry Andric   bool isRoot() const {
217a7dea167SDimitry Andric     return (Base == 0 || Base == RootPtrMark) && Offset == 0;
218a7dea167SDimitry Andric   }
219a7dea167SDimitry Andric 
220a7dea167SDimitry Andric   /// Returns the record descriptor of a class.
221a7dea167SDimitry Andric   Record *getRecord() const { return getFieldDesc()->ElemRecord; }
222a7dea167SDimitry Andric   /// Returns the field information.
223a7dea167SDimitry Andric   const FieldDecl *getField() const { return getFieldDesc()->asFieldDecl(); }
224a7dea167SDimitry Andric 
225a7dea167SDimitry Andric   /// Checks if the object is a union.
226a7dea167SDimitry Andric   bool isUnion() const;
227a7dea167SDimitry Andric 
228a7dea167SDimitry Andric   /// Checks if the storage is extern.
229a7dea167SDimitry Andric   bool isExtern() const { return Pointee->isExtern(); }
230a7dea167SDimitry Andric   /// Checks if the storage is static.
231a7dea167SDimitry Andric   bool isStatic() const { return Pointee->isStatic(); }
232a7dea167SDimitry Andric   /// Checks if the storage is temporary.
233a7dea167SDimitry Andric   bool isTemporary() const { return Pointee->isTemporary(); }
234a7dea167SDimitry Andric   /// Checks if the storage is a static temporary.
235a7dea167SDimitry Andric   bool isStaticTemporary() const { return isStatic() && isTemporary(); }
236a7dea167SDimitry Andric 
237a7dea167SDimitry Andric   /// Checks if the field is mutable.
238a7dea167SDimitry Andric   bool isMutable() const { return Base != 0 && getInlineDesc()->IsMutable; }
239a7dea167SDimitry Andric   /// Checks if an object was initialized.
240a7dea167SDimitry Andric   bool isInitialized() const;
241a7dea167SDimitry Andric   /// Checks if the object is active.
242a7dea167SDimitry Andric   bool isActive() const { return Base == 0 || getInlineDesc()->IsActive; }
243a7dea167SDimitry Andric   /// Checks if a structure is a base class.
244a7dea167SDimitry Andric   bool isBaseClass() const { return isField() && getInlineDesc()->IsBase; }
245a7dea167SDimitry Andric 
246a7dea167SDimitry Andric   /// Checks if an object or a subfield is mutable.
247a7dea167SDimitry Andric   bool isConst() const {
248a7dea167SDimitry Andric     return Base == 0 ? getDeclDesc()->IsConst : getInlineDesc()->IsConst;
249a7dea167SDimitry Andric   }
250a7dea167SDimitry Andric 
251a7dea167SDimitry Andric   /// Returns the declaration ID.
252a7dea167SDimitry Andric   llvm::Optional<unsigned> getDeclID() const { return Pointee->getDeclID(); }
253a7dea167SDimitry Andric 
254a7dea167SDimitry Andric   /// Returns the byte offset from the start.
255a7dea167SDimitry Andric   unsigned getByteOffset() const {
256a7dea167SDimitry Andric     return Offset;
257a7dea167SDimitry Andric   }
258a7dea167SDimitry Andric 
259a7dea167SDimitry Andric   /// Returns the number of elements.
260a7dea167SDimitry Andric   unsigned getNumElems() const { return getSize() / elemSize(); }
261a7dea167SDimitry Andric 
262a7dea167SDimitry Andric   /// Returns the index into an array.
263a7dea167SDimitry Andric   int64_t getIndex() const {
264a7dea167SDimitry Andric     if (isElementPastEnd())
265a7dea167SDimitry Andric       return 1;
266a7dea167SDimitry Andric     if (auto ElemSize = elemSize())
267a7dea167SDimitry Andric       return getOffset() / ElemSize;
268a7dea167SDimitry Andric     return 0;
269a7dea167SDimitry Andric   }
270a7dea167SDimitry Andric 
271a7dea167SDimitry Andric   /// Checks if the index is one past end.
272a7dea167SDimitry Andric   bool isOnePastEnd() const {
273a7dea167SDimitry Andric     return isElementPastEnd() || getSize() == getOffset();
274a7dea167SDimitry Andric   }
275a7dea167SDimitry Andric 
276a7dea167SDimitry Andric   /// Checks if the pointer is an out-of-bounds element pointer.
277a7dea167SDimitry Andric   bool isElementPastEnd() const { return Offset == PastEndMark; }
278a7dea167SDimitry Andric 
279a7dea167SDimitry Andric   /// Dereferences the pointer, if it's live.
280a7dea167SDimitry Andric   template <typename T> T &deref() const {
281a7dea167SDimitry Andric     assert(isLive() && "Invalid pointer");
282a7dea167SDimitry Andric     return *reinterpret_cast<T *>(Pointee->data() + Offset);
283a7dea167SDimitry Andric   }
284a7dea167SDimitry Andric 
285a7dea167SDimitry Andric   /// Dereferences a primitive element.
286a7dea167SDimitry Andric   template <typename T> T &elem(unsigned I) const {
287a7dea167SDimitry Andric     return reinterpret_cast<T *>(Pointee->data())[I];
288a7dea167SDimitry Andric   }
289a7dea167SDimitry Andric 
290a7dea167SDimitry Andric   /// Initializes a field.
291a7dea167SDimitry Andric   void initialize() const;
292a7dea167SDimitry Andric   /// Activats a field.
293a7dea167SDimitry Andric   void activate() const;
294a7dea167SDimitry Andric   /// Deactivates an entire strurcutre.
295a7dea167SDimitry Andric   void deactivate() const;
296a7dea167SDimitry Andric 
297a7dea167SDimitry Andric   /// Checks if two pointers are comparable.
298a7dea167SDimitry Andric   static bool hasSameBase(const Pointer &A, const Pointer &B);
299a7dea167SDimitry Andric   /// Checks if two pointers can be subtracted.
300a7dea167SDimitry Andric   static bool hasSameArray(const Pointer &A, const Pointer &B);
301a7dea167SDimitry Andric 
302a7dea167SDimitry Andric   /// Prints the pointer.
303a7dea167SDimitry Andric   void print(llvm::raw_ostream &OS) const {
304a7dea167SDimitry Andric     OS << "{" << Base << ", " << Offset << ", ";
305a7dea167SDimitry Andric     if (Pointee)
306a7dea167SDimitry Andric       OS << Pointee->getSize();
307a7dea167SDimitry Andric     else
308a7dea167SDimitry Andric       OS << "nullptr";
309a7dea167SDimitry Andric     OS << "}";
310a7dea167SDimitry Andric   }
311a7dea167SDimitry Andric 
312a7dea167SDimitry Andric private:
313a7dea167SDimitry Andric   friend class Block;
314a7dea167SDimitry Andric   friend class DeadBlock;
315a7dea167SDimitry Andric 
316a7dea167SDimitry Andric   Pointer(Block *Pointee, unsigned Base, unsigned Offset);
317a7dea167SDimitry Andric 
318a7dea167SDimitry Andric   /// Returns the embedded descriptor preceding a field.
319a7dea167SDimitry Andric   InlineDescriptor *getInlineDesc() const { return getDescriptor(Base); }
320a7dea167SDimitry Andric 
321a7dea167SDimitry Andric   /// Returns a descriptor at a given offset.
322a7dea167SDimitry Andric   InlineDescriptor *getDescriptor(unsigned Offset) const {
323a7dea167SDimitry Andric     assert(Offset != 0 && "Not a nested pointer");
324a7dea167SDimitry Andric     return reinterpret_cast<InlineDescriptor *>(Pointee->data() + Offset) - 1;
325a7dea167SDimitry Andric   }
326a7dea167SDimitry Andric 
327a7dea167SDimitry Andric   /// Returns a reference to the pointer which stores the initialization map.
328a7dea167SDimitry Andric   InitMap *&getInitMap() const {
329a7dea167SDimitry Andric     return *reinterpret_cast<InitMap **>(Pointee->data() + Base);
330a7dea167SDimitry Andric   }
331a7dea167SDimitry Andric 
332a7dea167SDimitry Andric   /// The block the pointer is pointing to.
333a7dea167SDimitry Andric   Block *Pointee = nullptr;
334a7dea167SDimitry Andric   /// Start of the current subfield.
335a7dea167SDimitry Andric   unsigned Base = 0;
336a7dea167SDimitry Andric   /// Offset into the block.
337a7dea167SDimitry Andric   unsigned Offset = 0;
338a7dea167SDimitry Andric 
339a7dea167SDimitry Andric   /// Previous link in the pointer chain.
340a7dea167SDimitry Andric   Pointer *Prev = nullptr;
341a7dea167SDimitry Andric   /// Next link in the pointer chain.
342a7dea167SDimitry Andric   Pointer *Next = nullptr;
343a7dea167SDimitry Andric };
344a7dea167SDimitry Andric 
345a7dea167SDimitry Andric inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const Pointer &P) {
346a7dea167SDimitry Andric   P.print(OS);
347a7dea167SDimitry Andric   return OS;
348a7dea167SDimitry Andric }
349a7dea167SDimitry Andric 
350a7dea167SDimitry Andric } // namespace interp
351a7dea167SDimitry Andric } // namespace clang
352a7dea167SDimitry Andric 
353a7dea167SDimitry Andric #endif
354