21 : Ctx(Ctx),
P(
P), S(
Parent,
P, Stk, Ctx, this), EvalResult(&Ctx) {
28 for (
auto &[K,
V] : Locals) {
41 bool ConvertResultToRValue) {
43 this->ConvertResultToRValue = ConvertResultToRValue && !isa<ConstantExpr>(
E);
44 this->CheckFullyInitialized = isa<ConstantExpr>(
E);
45 EvalResult.setSource(
E);
50 EvalResult.setInvalid();
53 return std::move(this->EvalResult);
58 this->CheckFullyInitialized = CheckFullyInitialized;
60 EvalResult.setSource(VD);
67 this->ConvertResultToRValue =
false;
69 EvalResult.setSource(VD);
72 EvalResult.setInvalid();
75 updateGlobalTemporaries();
76 return std::move(this->EvalResult);
87 auto Memory = std::make_unique<char[]>(
sizeof(
Block) +
D->getAllocSize());
102 unsigned Off = Locals.size();
103 Locals.insert({Off, std::move(Memory)});
125 CurrentLabel = ActiveLabel =
Label;
132 CurrentLabel =
Label;
137 return S.maybeDiagnoseDanglingAllocations();
140template <PrimType OpType>
bool EvalEmitter::emitRet(
const SourceInfo &Info) {
152template <>
bool EvalEmitter::emitRet<PT_Ptr>(
const SourceInfo &Info) {
167 if (ConvertResultToRValue) {
177 if (std::optional<APValue>
V =
179 EvalResult.setValue(*
V);
189template <>
bool EvalEmitter::emitRet<PT_FnPtr>(
const SourceInfo &Info) {
200bool EvalEmitter::emitRetVoid(
const SourceInfo &Info) {
203 EvalResult.setValid();
207bool EvalEmitter::emitRetValue(
const SourceInfo &Info) {
218 if (std::optional<APValue> APV =
220 EvalResult.setValue(*APV);
224 EvalResult.setInvalid();
228bool EvalEmitter::emitGetPtrLocal(uint32_t I,
const SourceInfo &Info) {
232 Block *B = getLocal(I);
237template <PrimType OpType>
238bool EvalEmitter::emitGetLocal(uint32_t I,
const SourceInfo &Info) {
244 Block *B = getLocal(I);
249template <PrimType OpType>
250bool EvalEmitter::emitSetLocal(uint32_t I,
const SourceInfo &Info) {
256 Block *B = getLocal(I);
264bool EvalEmitter::emitDestroy(uint32_t I,
const SourceInfo &Info) {
281void EvalEmitter::updateGlobalTemporaries() {
283 if (std::optional<unsigned> GlobalIndex = P.
getGlobal(
E)) {
285 APValue *Cached = Temp->getOrCreateValue(
true);
291 if (std::optional<APValue> APV =
292 Ptr.
toRValue(Ctx, Temp->getTemporaryExpr()->getType()))
305#include "Opcodes.inc"
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
static bool checkReturnState(InterpState &S)
static bool CheckFullyInitialized(EvalInfo &Info, SourceLocation DiagLoc, QualType Type, const APValue &Value)
Check that this evaluated value is fully-initialized and can be loaded by an lvalue-to-rvalue convers...
#define TYPE_SWITCH(Expr, B)
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
This represents one expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
A (possibly-)qualified type.
bool isPointerType() const
bool isObjCObjectPointerType() const
Represents a variable declaration or definition.
const Expr * getAnyInitializer() const
Get the initializer for this variable, no matter which declaration it is attached to.
A memory block, either on the stack or in the heap.
void invokeDtor()
Invokes the Destructor.
std::byte * data()
Returns a pointer to the stored data.
void invokeCtor()
Invokes the constructor.
std::byte * rawData()
Returns a pointer to the raw data, including metadata.
bool isInitialized() const
Returns whether the data of this block has been initialized via invoking the Ctor func.
unsigned getEvalID() const
The Evaluation ID this block was created in.
Pointer into the code segment.
Holds all information required to evaluate constexpr code in a module.
ASTContext & getASTContext() const
Returns the AST context.
std::optional< PrimType > classify(QualType T) const
Classifies a type.
unsigned getEvalID() const
bool jump(const LabelTy &Label)
EvaluationResult interpretExpr(const Expr *E, bool ConvertResultToRValue=false)
EvaluationResult interpretDecl(const VarDecl *VD, bool CheckFullyInitialized)
virtual bool visitExpr(const Expr *E)=0
Methods implemented by the compiler.
bool jumpFalse(const LabelTy &Label)
Local createLocal(Descriptor *D)
Callback for registering a local.
void emitLabel(LabelTy Label)
Define a label.
bool isActive() const
Since expressions can only jump forward, predicated execution is used to deal with if-else statements...
bool fallthrough(const LabelTy &Label)
void cleanup()
Clean up all resources.
LabelTy getLabel()
Create a label.
EvalEmitter(Context &Ctx, Program &P, State &Parent, InterpStack &Stk)
virtual bool visitDeclAndReturn(const VarDecl *VD, bool ConstantContext)=0
llvm::SmallVector< SmallVector< Local, 8 >, 2 > Descriptors
Local descriptors.
bool jumpTrue(const LabelTy &Label)
Emits jumps.
Defines the result of an evaluation.
QualType getSourceType() const
bool checkReturnValue(InterpState &S, const Context &Ctx, const Pointer &Ptr, const SourceInfo &Info)
Check that none of the blocks the given pointer (transitively) points to are dynamically allocated.
bool checkFullyInitialized(InterpState &S, const Pointer &Ptr) const
Check that all subobjects of the given pointer have been initialized.
Frame storing local variables.
Stack frame storing temporaries and parameters.
T pop()
Returns the value from the top of the stack and removes it.
void push(Tys &&... Args)
Constructs a value in place on the top of the stack.
llvm::SmallVector< std::pair< const Expr *, const LifetimeExtendedTemporaryDecl * > > SeenGlobalTemporaries
InterpStack & Stk
Temporary stack.
bool inConstantContext() const
const VarDecl * EvaluatingDecl
Declaration we're initializing/evaluting, if any.
InterpFrame * Current
The current frame.
void deallocate(Block *B)
Deallocates a pointer.
ASTContext & getCtx() const override
void setEvalLocation(SourceLocation SL)
A pointer to a memory block, live or dead.
bool isConst() const
Checks if an object or a subfield is mutable.
T & deref() const
Dereferences the pointer, if it's live.
bool isZero() const
Checks if the pointer is null.
APValue toAPValue(const ASTContext &ASTCtx) const
Converts the pointer to an APValue.
bool isDereferencable() const
Whether this block can be read from at all.
bool isBlockPointer() const
std::optional< APValue > toRValue(const Context &Ctx, QualType ResultType) const
Converts the pointer to an APValue that is an rvalue.
const Block * block() const
The program contains and links the bytecode for all functions.
Block * getGlobal(unsigned Idx)
Returns the value of a global.
Pointer getPtrGlobal(unsigned Idx) const
Returns a pointer to a global.
Describes the statement/declaration an opcode was generated from.
Interface for the VM to interact with the AST walker's context.
bool CheckLoad(InterpState &S, CodePtr OpPC, const Pointer &Ptr, AccessKinds AK)
Checks if a value can be loaded from a block.
The JSON file list parser is used to communicate input to InstallAPI.
const FunctionProtoType * T
Describes a memory block created by an allocation site.
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).
Mapping from primitive types to their representation.
Information about a local's storage.
unsigned Offset
Offset of the local in frame.