13#ifndef LLVM_CLANG_AST_INTERP_EVALEMITTER_H
14#define LLVM_CLANG_AST_INTERP_EVALEMITTER_H
19#include "llvm/Support/Error.h"
73 llvm::DenseMap<const ParmVarDecl *, ParamOffset>
Params;
92 llvm::DenseMap<unsigned, std::unique_ptr<char[]>> Locals;
94 Block *getLocal(
unsigned Index)
const {
95 auto It = Locals.find(Index);
96 assert(It != Locals.end() &&
"Missing local variable");
97 return reinterpret_cast<Block *
>(It->second.get());
104 std::optional<SourceLocation> BailLocation;
117 bool isActive()
const {
return CurrentLabel == ActiveLabel; }
120#define GET_EVAL_PROTO
121#include "Opcodes.inc"
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Decl - This represents one declaration (or definition), e.g.
SourceLocation getBeginLoc() const LLVM_READONLY
This represents one expression.
Encodes a location in the source.
Stmt - This represents one statement.
Represents a variable declaration or definition.
A memory block, either on the stack or in the heap.
Pointer into the code segment.
Holds all information required to evaluate constexpr code in a module.
An emitter which evaluates opcodes as they are emitted.
bool jump(const LabelTy &Label)
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 fallthrough(const LabelTy &Label)
LabelTy getLabel()
Create a label.
llvm::Expected< bool > interpretDecl(const VarDecl *VD)
llvm::DenseMap< const ValueDecl *, ParamOffset > LambdaCaptures
Lambda captures.
llvm::Expected< bool > interpretExpr(const Expr *E)
llvm::DenseMap< const ParmVarDecl *, ParamOffset > Params
Parameter indices.
unsigned LambdaThisCapture
Offset of the This parameter in a lambda record.
SourceInfo getSource(const Function *F, CodePtr PC) const override
Returns the source location of the current opcode.
llvm::SmallVector< SmallVector< Local, 8 >, 2 > Descriptors
Local descriptors.
virtual bool visitDecl(const VarDecl *VD)=0
bool jumpTrue(const LabelTy &Label)
Emits jumps.
bool hasBody() const
Checks if the function already has a body attached.
SourceInfo getSource(CodePtr PC) const
Returns the source information at a given PC.
Stack frame storing temporaries and parameters.
The program contains and links the bytecode for all functions.
Describes the statement/declaration an opcode was generated from.
Interface for classes which map locations to sources.
Interface for the VM to interact with the AST walker's context.
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
Describes a memory block created by an allocation site.
Information about a local's storage.