13#ifndef LLVM_CLANG_AST_INTERP_DESCRIPTOR_H
14#define LLVM_CLANG_AST_INTERP_DESCRIPTOR_H
27using DeclTy = llvm::PointerUnion<const Decl *, const Expr *>;
28using InitMapPtr = std::optional<std::pair<bool, std::shared_ptr<InitMap>>>;
34 bool IsMutable,
bool IsActive,
47 std::byte *DstFieldPtr,
84 const unsigned ElemSize;
88 const unsigned MDSize;
90 const unsigned AllocSize;
93 static constexpr unsigned UnknownSizeMark = (
unsigned)-1;
154 return dyn_cast_if_present<ValueDecl>(
asDecl());
158 return dyn_cast_if_present<FieldDecl>(
asDecl());
162 return dyn_cast_if_present<RecordDecl>(
asDecl());
209 static constexpr uint64_t PER_FIELD =
sizeof(T) *
CHAR_BIT;
219 T *data() {
return Data.get(); }
220 const T *data()
const {
return Data.get(); }
223 bool initializeElement(
unsigned I);
226 bool isElementInitialized(
unsigned I)
const;
228 static constexpr size_t numFields(
unsigned N) {
229 return (N + PER_FIELD - 1) / PER_FIELD;
232 unsigned UninitFields;
233 std::unique_ptr<T[]>
Data;
Decl - This represents one declaration (or definition), e.g.
This represents one expression.
Represents a member of a struct/union/class.
A (possibly-)qualified type.
Represents a struct/union/class.
Encodes a location in the source.
The base class of the type hierarchy.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
A memory block, either on the stack or in the heap.
A pointer to a memory block, live or dead.
Structure/Class descriptor.
std::optional< std::pair< bool, std::shared_ptr< InitMap > > > InitMapPtr
void(*)(Block *Storage, std::byte *FieldPtr, const Descriptor *FieldDesc) BlockDtorFn
Invoked when a block is destroyed.
PrimType
Enumeration of the primitive types of the VM.
void(*)(Block *Storage, const std::byte *SrcFieldPtr, std::byte *DstFieldPtr, const Descriptor *FieldDesc) BlockMoveFn
Invoked when a block with pointers referencing it goes out of scope.
void(*)(Block *Storage, std::byte *FieldPtr, bool IsConst, bool IsMutable, bool IsActive, const Descriptor *FieldDesc) BlockCtorFn
Invoked whenever a block is created.
llvm::PointerUnion< const Decl *, const Expr * > DeclTy
Token to denote structures of unknown size.
Describes a memory block created by an allocation site.
const bool IsConst
Flag indicating if the block is mutable.
unsigned getAllocSize() const
Returns the allocated size, including metadata.
unsigned getNumElems() const
Returns the number of elements stored in the block.
unsigned getSize() const
Returns the size of the object without metadata.
bool isPrimitive() const
Checks if the descriptor is of a primitive.
QualType getElemQualType() const
const RecordDecl * asRecordDecl() const
bool isCompositeArray() const
Checks if the descriptor is of an array of composites.
const ValueDecl * asValueDecl() const
const BlockCtorFn CtorFn
Storage management methods.
const Decl * asDecl() const
const Descriptor *const ElemDesc
Descriptor of the array element.
bool isDummy() const
Checks if this is a dummy descriptor.
unsigned getMetadataSize() const
Returns the size of the metadata.
SourceLocation getLocation() const
const bool IsMutable
Flag indicating if a field is mutable.
static constexpr MetadataSize InlineDescMD
std::optional< unsigned > MetadataSize
bool isUnknownSizeArray() const
Checks if the descriptor is of an array of unknown size.
unsigned getElemSize() const
returns the size of an element when the structure is viewed as an array.
const bool IsArray
Flag indicating if the block is an array.
bool isPrimitiveArray() const
Checks if the descriptor is of an array of primitives.
bool isZeroSizeArray() const
Checks if the descriptor is of an array of zero size.
const FieldDecl * asFieldDecl() const
const bool IsDummy
Flag indicating if this is a dummy descriptor.
bool isRecord() const
Checks if the descriptor is of a record.
const bool IsTemporary
Flag indicating if the block is a temporary.
const Expr * asExpr() const
Record *const ElemRecord
Pointer to the record, if block contains records.
bool isArray() const
Checks if the descriptor is of an array.
Bitfield tracking the initialisation status of elements of primitive arrays.
Inline descriptor embedded in structures and arrays.
unsigned IsActive
Flag indicating if the field is the active member of a union.
unsigned IsBase
Flag indicating if the field is an embedded base class.
unsigned Offset
Offset inside the structure/array.
unsigned IsInitialized
For primitive fields, it indicates if the field was initialized.
unsigned IsConst
Flag indicating if the storage is constant or not.
unsigned IsFieldMutable
Flag indicating if the field is mutable (if in a record).