clang 17.0.0git
|
Holds all information required to evaluate constexpr code in a module. More...
#include "/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/AST/Interp/Context.h"
Public Member Functions | |
Context (ASTContext &Ctx) | |
Initialises the constexpr VM. | |
~Context () | |
Cleans up the constexpr VM. | |
bool | isPotentialConstantExpr (State &Parent, const FunctionDecl *FnDecl) |
Checks if a function is a potential constant expression. | |
bool | evaluateAsRValue (State &Parent, const Expr *E, APValue &Result) |
Evaluates a toplevel expression as an rvalue. | |
bool | evaluateAsInitializer (State &Parent, const VarDecl *VD, APValue &Result) |
Evaluates a toplevel initializer. | |
ASTContext & | getASTContext () const |
Returns the AST context. | |
const LangOptions & | getLangOpts () const |
Returns the language options. | |
InterpStack & | getStack () |
Returns the interpreter stack. | |
unsigned | getCharBit () const |
Returns CHAR_BIT. | |
std::optional< PrimType > | classify (QualType T) const |
Classifies an expression. | |
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 80 of file Context.cpp.
References classify(), clang::ASTContext::getIntWidth(), clang::Type::isBooleanType(), clang::Type::isFloatingType(), clang::Type::isNullPtrType(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::Type::isSignedIntegerOrEnumerationType(), clang::Type::isUnsignedIntegerOrEnumerationType(), clang::interp::PT_Bool, clang::interp::PT_Float, 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, and clang::interp::PT_Uint8.
Referenced by classify(), clang::interp::ByteCodeExprGen< Emitter >::classify(), clang::interp::ByteCodeEmitter::compileFunc(), clang::interp::Program::createDescriptor(), clang::interp::InterpFrame::describe(), and clang::interp::Program::getOrCreateRecord().
Evaluates a toplevel initializer.
Definition at line 65 of file Context.cpp.
References clang::C, clang::interp::InterpStack::clear(), clang::interp::InterpStack::empty(), Parent, and clang::Result.
Evaluates a toplevel expression as an rvalue.
Definition at line 53 of file Context.cpp.
References clang::C, clang::interp::InterpStack::clear(), clang::interp::InterpStack::empty(), Parent, and clang::Result.
|
inline |
Returns the AST context.
Definition at line 53 of file Context.h.
Referenced by clang::interp::Program::getOrCreateDummy().
unsigned Context::getCharBit | ( | ) | const |
Returns CHAR_BIT.
Definition at line 130 of file Context.cpp.
References clang::TargetInfo::getCharWidth(), and clang::ASTContext::getTargetInfo().
Referenced by clang::interp::Program::createGlobalString().
const LangOptions & Context::getLangOpts | ( | ) | const |
Returns the language options.
Definition at line 78 of file Context.cpp.
References clang::ASTContext::getLangOpts().
|
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::interp::Function::hasBody(), clang::interp::Function::isConstexpr(), and Parent.