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