clang
19.0.0git
|
Holds all information required to evaluate constexpr code in a module. More...
#include "/home/runner/work/llvm/llvm/repo/clang/lib/AST/Interp/Context.h"
Public Member Functions | |
Context (ASTContext &Ctx) | |
Initialises the constexpr VM. More... | |
~Context () | |
Cleans up the constexpr VM. More... | |
bool | isPotentialConstantExpr (State &Parent, const FunctionDecl *FnDecl) |
Checks if a function is a potential constant expression. More... | |
bool | evaluateAsRValue (State &Parent, const Expr *E, APValue &Result) |
Evaluates a toplevel expression as an rvalue. More... | |
bool | evaluate (State &Parent, const Expr *E, APValue &Result) |
Like evaluateAsRvalue(), but does no implicit lvalue-to-rvalue conversion. More... | |
bool | evaluateAsInitializer (State &Parent, const VarDecl *VD, APValue &Result) |
Evaluates a toplevel initializer. More... | |
ASTContext & | getASTContext () const |
Returns the AST context. More... | |
const LangOptions & | getLangOpts () const |
Returns the language options. More... | |
InterpStack & | getStack () |
Returns the interpreter stack. More... | |
unsigned | getCharBit () const |
Returns CHAR_BIT. More... | |
const llvm::fltSemantics & | getFloatSemantics (QualType T) const |
Return the floating-point semantics for T. More... | |
uint32_t | getBitWidth (QualType T) const |
Return the size of T in bits. More... | |
std::optional< PrimType > | classify (QualType T) const |
Classifies a type. More... | |
std::optional< PrimType > | classify (const Expr *E) const |
Classifies an expression. More... | |
const CXXMethodDecl * | getOverridingFunction (const CXXRecordDecl *DynamicDecl, const CXXRecordDecl *StaticDecl, const CXXMethodDecl *InitialFunction) const |
const Function * | getOrCreateFunction (const FunctionDecl *FD) |
Program & | getProgram () const |
Returns the program. This is only needed for unittests. More... | |
unsigned | collectBaseOffset (const RecordDecl *BaseDecl, const RecordDecl *DerivedDecl) const |
Static Public Member Functions | |
static bool | shouldBeGloballyIndexed (const ValueDecl *VD) |
Returns whether we should create a global variable for the given ValueDecl. More... | |
Holds all information required to evaluate constexpr code in a module.
Context::Context | ( | ASTContext & | Ctx | ) |
Initialises the constexpr VM.
Definition at line 25 of file Context.cpp.
Context::~Context | ( | ) |
Cleans up the constexpr VM.
Definition at line 27 of file Context.cpp.
Classifies an expression.
Definition at line 77 of file Context.h.
References classify(), clang::Expr::getType(), clang::Type::isFunctionType(), clang::Expr::isGLValue(), clang::interp::PT_FnPtr, and clang::interp::PT_Ptr.
Classifies a type.
Definition at line 119 of file Context.cpp.
References clang::Type::getAs(), clang::ASTContext::getIntWidth(), clang::Type::isAnyComplexType(), clang::Type::isBooleanType(), clang::Type::isFloatingType(), clang::Type::isFunctionPointerType(), clang::Type::isFunctionReferenceType(), clang::Type::isFunctionType(), clang::Type::isNullPtrType(), clang::Type::isObjCObjectPointerType(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::Type::isSignedIntegerOrEnumerationType(), clang::Type::isSpecificBuiltinType(), clang::Type::isUnsignedIntegerOrEnumerationType(), clang::Type::isVectorType(), clang::interp::PT_Bool, clang::interp::PT_Float, clang::interp::PT_FnPtr, clang::interp::PT_IntAP, clang::interp::PT_IntAPS, clang::interp::PT_Ptr, clang::interp::PT_Sint16, clang::interp::PT_Sint32, clang::interp::PT_Sint64, clang::interp::PT_Sint8, clang::interp::PT_Uint16, clang::interp::PT_Uint32, clang::interp::PT_Uint64, clang::interp::PT_Uint8, and clang::T.
Referenced by clang::interp::ByteCodeExprGen< Emitter >::classify(), classify(), clang::interp::ByteCodeEmitter::compileFunc(), clang::interp::Program::createDescriptor(), clang::interp::InterpFrame::describe(), clang::interp::Program::getOrCreateDummy(), clang::interp::Program::getOrCreateRecord(), and clang::interp::Pointer::toRValue().
unsigned Context::collectBaseOffset | ( | const RecordDecl * | BaseDecl, |
const RecordDecl * | DerivedDecl | ||
) | const |
Definition at line 267 of file Context.cpp.
References clang::interp::Record::bases(), and clang::interp::Record::getNumBases().
Like evaluateAsRvalue(), but does no implicit lvalue-to-rvalue conversion.
Definition at line 67 of file Context.cpp.
References clang::interp::InterpStack::clear(), clang::interp::InterpStack::empty(), and Parent.
Evaluates a toplevel initializer.
Definition at line 90 of file Context.cpp.
References clang::interp::CheckGlobalInitialized(), clang::interp::InterpStack::clear(), clang::interp::InterpStack::empty(), clang::ValueDecl::getType(), clang::Type::isArrayType(), clang::Type::isRecordType(), Parent, and shouldBeGloballyIndexed().
Evaluates a toplevel expression as an rvalue.
Definition at line 42 of file Context.cpp.
References clang::interp::InterpStack::clear(), clang::interp::InterpStack::empty(), clang::Expr::isGLValue(), and Parent.
|
inline |
Returns the AST context.
Definition at line 61 of file Context.h.
Referenced by clang::interp::EvaluationResult::dump(), and clang::interp::Pointer::toRValue().
|
inline |
Return the size of T in bits.
Definition at line 71 of file Context.h.
References clang::ASTContext::getIntWidth(), and clang::T.
unsigned Context::getCharBit | ( | ) | const |
Returns CHAR_BIT.
Definition at line 183 of file Context.cpp.
References clang::TargetInfo::getCharWidth(), and clang::ASTContext::getTargetInfo().
const llvm::fltSemantics & Context::getFloatSemantics | ( | QualType | T | ) | const |
Return the floating-point semantics for T.
Simple wrapper around getFloatTypeSemantics() to make code a little shorter.
Definition at line 189 of file Context.cpp.
References clang::ASTContext::getFloatTypeSemantics(), and clang::T.
const LangOptions & Context::getLangOpts | ( | ) | const |
Returns the language options.
Definition at line 117 of file Context.cpp.
References clang::ASTContext::getLangOpts().
const Function * Context::getOrCreateFunction | ( | const FunctionDecl * | FD | ) |
Definition at line 250 of file Context.cpp.
References clang::Func.
const CXXMethodDecl * Context::getOverridingFunction | ( | const CXXRecordDecl * | DynamicDecl, |
const CXXRecordDecl * | StaticDecl, | ||
const CXXMethodDecl * | InitialFunction | ||
) | const |
|
inline |
|
inline |
bool Context::isPotentialConstantExpr | ( | State & | Parent, |
const FunctionDecl * | FnDecl | ||
) |
Checks if a function is a potential constant expression.
Definition at line 29 of file Context.cpp.
References clang::interp::InterpStack::empty(), clang::Func, and Parent.
Returns whether we should create a global variable for the given ValueDecl.
Definition at line 97 of file Context.h.
References V.
Referenced by clang::interp::Program::createGlobal(), clang::interp::DeclScope< Emitter >::DeclScope(), evaluateAsInitializer(), and clang::interp::ByteCodeExprGen< Emitter >::visitVarDecl().