clang 22.0.0git
Program.cpp
Go to the documentation of this file.
1//===--- Program.cpp - Bytecode for the constexpr VM ------------*- 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#include "Program.h"
10#include "Context.h"
11#include "Function.h"
12#include "Integral.h"
13#include "PrimType.h"
14#include "clang/AST/Decl.h"
15#include "clang/AST/DeclCXX.h"
17
18using namespace clang;
19using namespace clang::interp;
20
21unsigned Program::getOrCreateNativePointer(const void *Ptr) {
22 auto [It, Inserted] =
23 NativePointerIndices.try_emplace(Ptr, NativePointers.size());
24 if (Inserted)
25 NativePointers.push_back(Ptr);
26
27 return It->second;
28}
29
30const void *Program::getNativePointer(unsigned Idx) {
31 return NativePointers[Idx];
32}
33
35 const size_t CharWidth = S->getCharByteWidth();
36 const size_t BitWidth = CharWidth * Ctx.getCharBit();
37 unsigned StringLength = S->getLength();
38
39 PrimType CharType;
40 switch (CharWidth) {
41 case 1:
42 CharType = PT_Sint8;
43 break;
44 case 2:
45 CharType = PT_Uint16;
46 break;
47 case 4:
48 CharType = PT_Uint32;
49 break;
50 default:
51 llvm_unreachable("unsupported character width");
52 }
53
54 if (!Base)
55 Base = S;
56
57 // Create a descriptor for the string.
58 Descriptor *Desc =
59 allocateDescriptor(Base, CharType, Descriptor::GlobalMD, StringLength + 1,
60 /*isConst=*/true,
61 /*isTemporary=*/false,
62 /*isMutable=*/false);
63
64 // Allocate storage for the string.
65 // The byte length does not include the null terminator.
66 unsigned GlobalIndex = Globals.size();
67 unsigned Sz = Desc->getAllocSize();
68 auto *G = new (Allocator, Sz) Global(Ctx.getEvalID(), Desc, /*isStatic=*/true,
69 /*isExtern=*/false);
70 G->block()->invokeCtor();
71
72 new (G->block()->rawData())
74 Globals.push_back(G);
75
76 const Pointer Ptr(G->block());
77 if (CharWidth == 1) {
78 std::memcpy(&Ptr.elem<char>(0), S->getString().data(), StringLength);
79 } else {
80 // Construct the string in storage.
81 for (unsigned I = 0; I <= StringLength; ++I) {
82 const uint32_t CodePoint = I == StringLength ? 0 : S->getCodeUnit(I);
83 switch (CharType) {
84 case PT_Sint8: {
86 Ptr.elem<T>(I) = T::from(CodePoint, BitWidth);
87 break;
88 }
89 case PT_Uint16: {
91 Ptr.elem<T>(I) = T::from(CodePoint, BitWidth);
92 break;
93 }
94 case PT_Uint32: {
96 Ptr.elem<T>(I) = T::from(CodePoint, BitWidth);
97 break;
98 }
99 default:
100 llvm_unreachable("unsupported character type");
101 }
102 }
103 }
105
106 return GlobalIndex;
107}
108
109Pointer Program::getPtrGlobal(unsigned Idx) const {
110 assert(Idx < Globals.size());
111 return Pointer(Globals[Idx]->block());
112}
113
115 if (auto It = GlobalIndices.find(VD); It != GlobalIndices.end())
116 return It->second;
117
118 // Find any previous declarations which were already evaluated.
119 std::optional<unsigned> Index;
120 for (const Decl *P = VD->getPreviousDecl(); P; P = P->getPreviousDecl()) {
121 if (auto It = GlobalIndices.find(P); It != GlobalIndices.end()) {
122 Index = It->second;
123 break;
124 }
125 }
126
127 // Map the decl to the existing index.
128 if (Index)
129 GlobalIndices[VD] = *Index;
130
131 return std::nullopt;
132}
133
135 if (auto It = GlobalIndices.find(E); It != GlobalIndices.end())
136 return It->second;
137 return std::nullopt;
138}
139
141 const Expr *Init) {
142 if (auto Idx = getGlobal(VD))
143 return Idx;
144
145 if (auto Idx = createGlobal(VD, Init)) {
146 GlobalIndices[VD] = *Idx;
147 return Idx;
148 }
149 return std::nullopt;
150}
151
153 assert(D);
154 // Dedup blocks since they are immutable and pointers cannot be compared.
155 if (auto It = DummyVariables.find(D.getOpaqueValue());
156 It != DummyVariables.end())
157 return It->second;
158
159 QualType QT;
160 bool IsWeak = false;
161 if (const auto *E = dyn_cast<const Expr *>(D)) {
162 QT = E->getType();
163 } else {
164 const auto *VD = cast<ValueDecl>(cast<const Decl *>(D));
165 IsWeak = VD->isWeak();
166 QT = VD->getType();
167 if (QT->isPointerOrReferenceType())
168 QT = QT->getPointeeType();
169 }
170 assert(!QT.isNull());
171
172 Descriptor *Desc;
173 if (OptPrimType T = Ctx.classify(QT))
174 Desc = createDescriptor(D, *T, /*SourceTy=*/nullptr, std::nullopt,
175 /*IsConst=*/QT.isConstQualified());
176 else
177 Desc = createDescriptor(D, QT.getTypePtr(), std::nullopt,
178 /*IsConst=*/QT.isConstQualified());
179 if (!Desc)
180 Desc = allocateDescriptor(D);
181
182 assert(Desc);
183
184 // Allocate a block for storage.
185 unsigned I = Globals.size();
186
187 auto *G = new (Allocator, Desc->getAllocSize())
188 Global(Ctx.getEvalID(), getCurrentDecl(), Desc, /*IsStatic=*/true,
189 /*IsExtern=*/false, IsWeak, /*IsDummy=*/true);
190 G->block()->invokeCtor();
191 assert(G->block()->isDummy());
192
193 Globals.push_back(G);
194 DummyVariables[D.getOpaqueValue()] = I;
195 return I;
196}
197
199 bool IsStatic, IsExtern;
200 bool IsWeak = VD->isWeak();
201 if (const auto *Var = dyn_cast<VarDecl>(VD)) {
203 IsExtern = Var->hasExternalStorage();
206 IsStatic = true;
207 IsExtern = false;
208 } else {
209 IsStatic = false;
210 IsExtern = true;
211 }
212
213 // Register all previous declarations as well. For extern blocks, just replace
214 // the index with the new variable.
215 UnsignedOrNone Idx =
216 createGlobal(VD, VD->getType(), IsStatic, IsExtern, IsWeak, Init);
217 if (!Idx)
218 return std::nullopt;
219
220 Global *NewGlobal = Globals[*Idx];
221 for (const Decl *Redecl : VD->redecls()) {
222 unsigned &PIdx = GlobalIndices[Redecl];
223 if (Redecl != VD) {
224 if (Block *RedeclBlock = Globals[PIdx]->block();
225 RedeclBlock->isExtern()) {
226 Globals[PIdx] = NewGlobal;
227 // All pointers pointing to the previous extern decl now point to the
228 // new decl.
229 for (Pointer *Ptr = RedeclBlock->Pointers; Ptr; Ptr = Ptr->BS.Next) {
230 RedeclBlock->removePointer(Ptr);
231 Ptr->BS.Pointee = NewGlobal->block();
232 NewGlobal->block()->addPointer(Ptr);
233 }
234 }
235 }
236 PIdx = *Idx;
237 }
238
239 return *Idx;
240}
241
243 if (auto Idx = getGlobal(E))
244 return Idx;
245 if (auto Idx = createGlobal(E, E->getType(), /*isStatic=*/true,
246 /*isExtern=*/false, /*IsWeak=*/false)) {
247 GlobalIndices[E] = *Idx;
248 return *Idx;
249 }
250 return std::nullopt;
251}
252
254 bool IsStatic, bool IsExtern, bool IsWeak,
255 const Expr *Init) {
256 // Create a descriptor for the global.
257 Descriptor *Desc;
258 const bool IsConst = Ty.isConstQualified();
259 const bool IsTemporary = D.dyn_cast<const Expr *>();
260 const bool IsVolatile = Ty.isVolatileQualified();
261 if (OptPrimType T = Ctx.classify(Ty))
262 Desc = createDescriptor(D, *T, nullptr, Descriptor::GlobalMD, IsConst,
263 IsTemporary, /*IsMutable=*/false, IsVolatile);
264 else
265 Desc = createDescriptor(D, Ty.getTypePtr(), Descriptor::GlobalMD, IsConst,
266 IsTemporary, /*IsMutable=*/false, IsVolatile);
267
268 if (!Desc)
269 return std::nullopt;
270
271 // Allocate a block for storage.
272 unsigned I = Globals.size();
273
274 auto *G = new (Allocator, Desc->getAllocSize()) Global(
275 Ctx.getEvalID(), getCurrentDecl(), Desc, IsStatic, IsExtern, IsWeak);
276 G->block()->invokeCtor();
277
278 // Initialize GlobalInlineDescriptor fields.
279 auto *GD = new (G->block()->rawData()) GlobalInlineDescriptor();
280 if (!Init)
281 GD->InitState = GlobalInitState::NoInitializer;
282 Globals.push_back(G);
283
284 return I;
285}
286
288 F = F->getCanonicalDecl();
289 assert(F);
290 auto It = Funcs.find(F);
291 return It == Funcs.end() ? nullptr : It->second.get();
292}
293
295 // Use the actual definition as a key.
296 RD = RD->getDefinition();
297 if (!RD)
298 return nullptr;
299
300 if (!RD->isCompleteDefinition())
301 return nullptr;
302
303 // Return an existing record if available. Otherwise, we insert nullptr now
304 // and replace that later, so recursive calls to this function with the same
305 // RecordDecl don't run into infinite recursion.
306 auto [It, Inserted] = Records.try_emplace(RD);
307 if (!Inserted)
308 return It->second;
309
310 // Number of bytes required by fields and base classes.
311 unsigned BaseSize = 0;
312 // Number of bytes required by virtual base.
313 unsigned VirtSize = 0;
314
315 // Helper to get a base descriptor.
316 auto GetBaseDesc = [this](const RecordDecl *BD,
317 const Record *BR) -> const Descriptor * {
318 if (!BR)
319 return nullptr;
320 return allocateDescriptor(BD, BR, std::nullopt, /*isConst=*/false,
321 /*isTemporary=*/false,
322 /*isMutable=*/false, /*IsVolatile=*/false);
323 };
324
325 // Reserve space for base classes.
326 Record::BaseList Bases;
327 Record::VirtualBaseList VirtBases;
328 if (const auto *CD = dyn_cast<CXXRecordDecl>(RD)) {
329 for (const CXXBaseSpecifier &Spec : CD->bases()) {
330 if (Spec.isVirtual())
331 continue;
332
333 // In error cases, the base might not be a RecordType.
334 const auto *BD = Spec.getType()->getAsCXXRecordDecl();
335 if (!BD)
336 return nullptr;
337 const Record *BR = getOrCreateRecord(BD);
338
339 const Descriptor *Desc = GetBaseDesc(BD, BR);
340 if (!Desc)
341 return nullptr;
342
343 BaseSize += align(sizeof(InlineDescriptor));
344 Bases.push_back({BD, BaseSize, Desc, BR});
345 BaseSize += align(BR->getSize());
346 }
347
348 for (const CXXBaseSpecifier &Spec : CD->vbases()) {
349 const auto *BD = Spec.getType()->castAsCXXRecordDecl();
350 const Record *BR = getOrCreateRecord(BD);
351
352 const Descriptor *Desc = GetBaseDesc(BD, BR);
353 if (!Desc)
354 return nullptr;
355
356 VirtSize += align(sizeof(InlineDescriptor));
357 VirtBases.push_back({BD, VirtSize, Desc, BR});
358 VirtSize += align(BR->getSize());
359 }
360 }
361
362 // Reserve space for fields.
363 Record::FieldList Fields;
364 for (const FieldDecl *FD : RD->fields()) {
365 FD = FD->getFirstDecl();
366 // Note that we DO create fields and descriptors
367 // for unnamed bitfields here, even though we later ignore
368 // them everywhere. That's so the FieldDecl's getFieldIndex() matches.
369
370 // Reserve space for the field's descriptor and the offset.
371 BaseSize += align(sizeof(InlineDescriptor));
372
373 // Classify the field and add its metadata.
374 QualType FT = FD->getType();
375 const bool IsConst = FT.isConstQualified();
376 const bool IsMutable = FD->isMutable();
377 const bool IsVolatile = FT.isVolatileQualified();
378 const Descriptor *Desc;
379 if (OptPrimType T = Ctx.classify(FT)) {
380 Desc = createDescriptor(FD, *T, nullptr, std::nullopt, IsConst,
381 /*isTemporary=*/false, IsMutable, IsVolatile);
382 } else {
383 Desc = createDescriptor(FD, FT.getTypePtr(), std::nullopt, IsConst,
384 /*isTemporary=*/false, IsMutable, IsVolatile);
385 }
386 if (!Desc)
387 return nullptr;
388 Fields.push_back({FD, BaseSize, Desc});
389 BaseSize += align(Desc->getAllocSize());
390 }
391
392 Record *R = new (Allocator) Record(RD, std::move(Bases), std::move(Fields),
393 std::move(VirtBases), VirtSize, BaseSize);
394 Records[RD] = R;
395 return R;
396}
397
400 bool IsConst, bool IsTemporary,
401 bool IsMutable, bool IsVolatile,
402 const Expr *Init) {
403
404 // Classes and structures.
405 if (const auto *RD = Ty->getAsRecordDecl()) {
406 if (const auto *Record = getOrCreateRecord(RD))
407 return allocateDescriptor(D, Record, MDSize, IsConst, IsTemporary,
408 IsMutable, IsVolatile);
409 return allocateDescriptor(D, MDSize);
410 }
411
412 // Arrays.
413 if (const auto *ArrayType = Ty->getAsArrayTypeUnsafe()) {
415 // Array of well-known bounds.
416 if (const auto *CAT = dyn_cast<ConstantArrayType>(ArrayType)) {
417 size_t NumElems = CAT->getZExtSize();
418 if (OptPrimType T = Ctx.classify(ElemTy)) {
419 // Arrays of primitives.
420 unsigned ElemSize = primSize(*T);
421 if (std::numeric_limits<unsigned>::max() / ElemSize <= NumElems) {
422 return {};
423 }
424 return allocateDescriptor(D, *T, MDSize, NumElems, IsConst, IsTemporary,
425 IsMutable);
426 }
427 // Arrays of composites. In this case, the array is a list of pointers,
428 // followed by the actual elements.
429 const Descriptor *ElemDesc = createDescriptor(
430 D, ElemTy.getTypePtr(), std::nullopt, IsConst, IsTemporary);
431 if (!ElemDesc)
432 return nullptr;
433 unsigned ElemSize = ElemDesc->getAllocSize() + sizeof(InlineDescriptor);
434 if (std::numeric_limits<unsigned>::max() / ElemSize <= NumElems)
435 return {};
436 return allocateDescriptor(D, Ty, ElemDesc, MDSize, NumElems, IsConst,
437 IsTemporary, IsMutable);
438 }
439
440 // Array of unknown bounds - cannot be accessed and pointer arithmetic
441 // is forbidden on pointers to such objects.
444 if (OptPrimType T = Ctx.classify(ElemTy)) {
445 return allocateDescriptor(D, *T, MDSize, IsConst, IsTemporary,
447 }
448 const Descriptor *Desc = createDescriptor(
449 D, ElemTy.getTypePtr(), std::nullopt, IsConst, IsTemporary);
450 if (!Desc)
451 return nullptr;
452 return allocateDescriptor(D, Desc, MDSize, IsTemporary,
454 }
455 }
456
457 // Atomic types.
458 if (const auto *AT = Ty->getAs<AtomicType>()) {
459 const Type *InnerTy = AT->getValueType().getTypePtr();
460 return createDescriptor(D, InnerTy, MDSize, IsConst, IsTemporary,
461 IsMutable);
462 }
463
464 // Complex types - represented as arrays of elements.
465 if (const auto *CT = Ty->getAs<ComplexType>()) {
466 OptPrimType ElemTy = Ctx.classify(CT->getElementType());
467 if (!ElemTy)
468 return nullptr;
469
470 return allocateDescriptor(D, *ElemTy, MDSize, 2, IsConst, IsTemporary,
471 IsMutable);
472 }
473
474 // Same with vector types.
475 if (const auto *VT = Ty->getAs<VectorType>()) {
476 OptPrimType ElemTy = Ctx.classify(VT->getElementType());
477 if (!ElemTy)
478 return nullptr;
479
480 return allocateDescriptor(D, *ElemTy, MDSize, VT->getNumElements(), IsConst,
481 IsTemporary, IsMutable);
482 }
483
484 return nullptr;
485}
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
llvm::MachO::Record Record
Definition MachO.h:31
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition TypeBase.h:3738
QualType getElementType() const
Definition TypeBase.h:3750
Represents a base class of a C++ class.
Definition DeclCXX.h:146
Complex values, per C99 6.2.5p11.
Definition TypeBase.h:3293
Decl - This represents one declaration (or definition), e.g.
Definition DeclBase.h:86
Decl * getPreviousDecl()
Retrieve the previous declaration that declares the same entity as this declaration,...
Definition DeclBase.h:1061
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
Definition DeclBase.h:1049
This represents one expression.
Definition Expr.h:112
QualType getType() const
Definition Expr.h:144
Represents a member of a struct/union/class.
Definition Decl.h:3157
Represents a function declaration or definition.
Definition Decl.h:1999
FunctionDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Definition Decl.cpp:3688
A global _GUID constant.
Definition DeclCXX.h:4392
A (possibly-)qualified type.
Definition TypeBase.h:937
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
Definition TypeBase.h:8427
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Definition TypeBase.h:1004
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
Definition TypeBase.h:8343
bool isConstQualified() const
Determine whether this type is const-qualified.
Definition TypeBase.h:8416
Represents a struct/union/class.
Definition Decl.h:4309
field_range fields() const
Definition Decl.h:4512
RecordDecl * getDefinition() const
Returns the RecordDecl that actually defines this struct/union/class.
Definition Decl.h:4493
StringLiteral - This represents a string literal expression, e.g.
Definition Expr.h:1801
unsigned getLength() const
Definition Expr.h:1911
uint32_t getCodeUnit(size_t i) const
Definition Expr.h:1884
StringRef getString() const
Definition Expr.h:1869
unsigned getCharByteWidth() const
Definition Expr.h:1912
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Definition Decl.h:3809
A template parameter object.
The base class of the type hierarchy.
Definition TypeBase.h:1833
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
Definition Type.h:41
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Definition Type.cpp:752
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
Definition TypeBase.h:9212
bool isPointerOrReferenceType() const
Definition TypeBase.h:8584
const T * getAs() const
Member-template getAs<specific type>'.
Definition TypeBase.h:9159
An artificial decl, representing a global anonymous constant value which is uniquified by value withi...
Definition DeclCXX.h:4449
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition Decl.h:711
QualType getType() const
Definition Decl.h:722
bool isWeak() const
Determine whether this symbol is weakly-imported, or declared with the weak or weak-ref attr.
Definition Decl.cpp:5449
Represents a GCC generic vector type.
Definition TypeBase.h:4191
A memory block, either on the stack or in the heap.
Definition InterpBlock.h:44
bool isExtern() const
Checks if the block is extern.
Definition InterpBlock.h:77
static bool shouldBeGloballyIndexed(const ValueDecl *VD)
Returns whether we should create a global variable for the given ValueDecl.
Definition Context.h:125
OptPrimType classify(QualType T) const
Classifies a type.
Definition Context.cpp:310
unsigned getEvalID() const
Definition Context.h:140
Bytecode function.
Definition Function.h:86
A pointer to a memory block, live or dead.
Definition Pointer.h:90
void initializeAllElements() const
Initialize all elements of a primitive array at once.
Definition Pointer.cpp:530
T & elem(unsigned I) const
Dereferences the element at index I.
Definition Pointer.h:675
BlockPointer BS
Definition Pointer.h:819
Function * getFunction(const FunctionDecl *F)
Returns a function.
Definition Program.cpp:287
Block * getGlobal(unsigned Idx)
Returns the value of a global.
Definition Program.h:71
UnsignedOrNone getOrCreateGlobal(const ValueDecl *VD, const Expr *Init=nullptr)
Returns or creates a global an creates an index to it.
Definition Program.cpp:140
const void * getNativePointer(unsigned Idx)
Returns the value of a marshalled native pointer.
Definition Program.cpp:30
unsigned getOrCreateNativePointer(const void *Ptr)
Marshals a native pointer to an ID for embedding in bytecode.
Definition Program.cpp:21
Pointer getPtrGlobal(unsigned Idx) const
Returns a pointer to a global.
Definition Program.cpp:109
unsigned getOrCreateDummy(const DeclTy &D)
Returns or creates a dummy value for unknown declarations.
Definition Program.cpp:152
UnsignedOrNone createGlobal(const ValueDecl *VD, const Expr *Init)
Creates a global and returns its index.
Definition Program.cpp:198
Descriptor * createDescriptor(const DeclTy &D, PrimType T, const Type *SourceTy=nullptr, Descriptor::MetadataSize MDSize=std::nullopt, bool IsConst=false, bool IsTemporary=false, bool IsMutable=false, bool IsVolatile=false)
Creates a descriptor for a primitive type.
Definition Program.h:119
unsigned createGlobalString(const StringLiteral *S, const Expr *Base=nullptr)
Emits a string literal among global data.
Definition Program.cpp:34
UnsignedOrNone getCurrentDecl() const
Returns the current declaration ID.
Definition Program.h:159
Record * getOrCreateRecord(const RecordDecl *RD)
Returns a record or creates one if it does not exist.
Definition Program.cpp:294
Structure/Class descriptor.
Definition Record.h:25
unsigned getSize() const
Returns the size of the record.
Definition Record.h:61
llvm::PointerUnion< const Decl *, const Expr * > DeclTy
Definition Descriptor.h:29
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
Definition PrimType.h:185
PrimType
Enumeration of the primitive types of the VM.
Definition PrimType.h:34
bool Init(InterpState &S, CodePtr OpPC)
Definition Interp.h:2107
size_t primSize(PrimType Type)
Returns the size of a primitive type in bytes.
Definition PrimType.cpp:23
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
Definition Address.h:330
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
const FunctionProtoType * T
U cast(CodeGen::Address addr)
Definition Address.h:327
Pointer * Next
Next link in the pointer chain.
Definition Pointer.h:43
Token to denote structures of unknown size.
Definition Descriptor.h:141
Describes a memory block created by an allocation site.
Definition Descriptor.h:122
unsigned getAllocSize() const
Returns the allocated size, including metadata.
Definition Descriptor.h:242
static constexpr MetadataSize GlobalMD
Definition Descriptor.h:145
std::optional< unsigned > MetadataSize
Definition Descriptor.h:143
Descriptor used for global variables.
Definition Descriptor.h:51
Inline descriptor embedded in structures and arrays.
Definition Descriptor.h:67
Mapping from primitive types to their representation.
Definition PrimType.h:134