clang::interp::EvalEmitter Class Reference

An emitter which evaluates opcodes as they are emitted. More...

#include "/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/AST/Interp/EvalEmitter.h"

Inheritance diagram for clang::interp::EvalEmitter:

Public Types
using	LabelTy = uint32_t
using	AddrTy = uintptr_t
using	Local = Scope::Local

Public Member Functions
EvaluationResult	interpretExpr (const Expr *E, bool ConvertResultToRValue=false)
EvaluationResult	interpretDecl (const VarDecl *VD, bool CheckFullyInitialized)
InterpState &	getState ()
Public Member Functions inherited from clang::interp::SourceMapper
virtual	~SourceMapper ()
virtual SourceInfo	getSource (const Function *F, CodePtr PC) const =0
	Returns source information for a given PC in a function.
const Expr *	getExpr (const Function *F, CodePtr PC) const
	Returns the expression if an opcode belongs to one, null otherwise.
SourceLocation	getLocation (const Function *F, CodePtr PC) const
	Returns the location from which an opcode originates.
SourceRange	getRange (const Function *F, CodePtr PC) const

Protected Member Functions
	EvalEmitter (Context &Ctx, Program &P, State &Parent, InterpStack &Stk)
virtual	~EvalEmitter ()
void	emitLabel (LabelTy Label)
	Define a label.
LabelTy	getLabel ()
	Create a label.
virtual bool	visitExpr (const Expr *E)=0
	Methods implemented by the compiler.
virtual bool	visitDecl (const VarDecl *VD)=0
bool	jumpTrue (const LabelTy &Label)
	Emits jumps.
bool	jumpFalse (const LabelTy &Label)
bool	jump (const LabelTy &Label)
bool	fallthrough (const LabelTy &Label)
Local	createLocal (Descriptor *D)
	Callback for registering a local.
SourceInfo	getSource (const Function *F, CodePtr PC) const override
	Returns the source location of the current opcode.

Protected Attributes
llvm::DenseMap< const ParmVarDecl *, ParamOffset >	Params
	Parameter indices.
llvm::DenseMap< const ValueDecl *, ParamOffset >	LambdaCaptures
	Lambda captures.
ParamOffset	LambdaThisCapture {0, false}
	Offset of the This parameter in a lambda record.
llvm::SmallVector< SmallVector< Local, 8 >, 2 >	Descriptors
	Local descriptors.

Detailed Description

An emitter which evaluates opcodes as they are emitted.

Definition at line 31 of file EvalEmitter.h.

Member Typedef Documentation

AddrTy

using clang::interp::EvalEmitter::AddrTy = uintptr_t

Definition at line 34 of file EvalEmitter.h.

LabelTy

using clang::interp::EvalEmitter::LabelTy = uint32_t

Definition at line 33 of file EvalEmitter.h.

Local

using clang::interp::EvalEmitter::Local = Scope::Local

Definition at line 35 of file EvalEmitter.h.

Constructor & Destructor Documentation

EvalEmitter()

EvalEmitter::EvalEmitter ( Context &  Ctx, Program &  P, State &  Parent, InterpStack &  Stk  )

protected

Definition at line 19 of file EvalEmitter.cpp.

References clang::interp::InterpState::Current.

~EvalEmitter()

EvalEmitter::~EvalEmitter ( )

protectedvirtual

Definition at line 27 of file EvalEmitter.cpp.

References clang::interp::Block::invokeDtor(), clang::interp::Block::isInitialized(), and V.

Member Function Documentation

createLocal()

Scope::Local EvalEmitter::createLocal ( Descriptor *  D )

protected

Callback for registering a local.

Definition at line 70 of file EvalEmitter.cpp.

References clang::interp::InlineDescriptor::Desc, clang::interp::Descriptor::getAllocSize(), clang::interp::Block::invokeCtor(), clang::interp::InlineDescriptor::IsActive, clang::interp::InlineDescriptor::IsBase, clang::interp::InlineDescriptor::IsConst, clang::interp::InlineDescriptor::IsFieldMutable, clang::interp::InlineDescriptor::IsInitialized, and clang::interp::InlineDescriptor::Offset.

emitLabel()

void EvalEmitter::emitLabel ( LabelTy  Label )

protected

Define a label.

Definition at line 64 of file EvalEmitter.cpp.

References Label.

fallthrough()

bool EvalEmitter::fallthrough ( const LabelTy &  Label )

protected

Definition at line 114 of file EvalEmitter.cpp.

References Label.

getLabel()

EvalEmitter::LabelTy EvalEmitter::getLabel ( )

protected

Create a label.

Definition at line 68 of file EvalEmitter.cpp.

getSource()

SourceInfo clang::interp::EvalEmitter::getSource ( const Function *  F, CodePtr  PC  ) const

inlineoverrideprotectedvirtual

Returns the source location of the current opcode.

Implements clang::interp::SourceMapper.

Definition at line 67 of file EvalEmitter.h.

References clang::interp::Function::getSource(), and clang::interp::Function::hasBody().

getState()

InterpState & clang::interp::EvalEmitter::getState ( )

inline

Definition at line 41 of file EvalEmitter.h.

interpretDecl()

EvaluationResult EvalEmitter::interpretDecl	(	const VarDecl *	VD,
		bool	CheckFullyInitialized
	)

Definition at line 49 of file EvalEmitter.cpp.

References clang::interp::EvaluationResult::empty(), clang::VarDecl::getAnyInitializer(), clang::Expr::getType(), clang::Type::isAnyComplexType(), clang::Type::isVectorType(), and visitDecl().

interpretExpr()

EvaluationResult EvalEmitter::interpretExpr	(	const Expr *	E,
		bool	ConvertResultToRValue = false
	)

Definition at line 35 of file EvalEmitter.cpp.

References visitExpr().

jump()

bool EvalEmitter::jump ( const LabelTy &  Label )

protected

Definition at line 108 of file EvalEmitter.cpp.

References Label.

jumpFalse()

bool EvalEmitter::jumpFalse ( const LabelTy &  Label )

protected

Definition at line 100 of file EvalEmitter.cpp.

References Label, clang::interp::InterpStack::pop(), and clang::interp::InterpState::Stk.

jumpTrue()

bool EvalEmitter::jumpTrue ( const LabelTy &  Label )

protected

Emits jumps.

Definition at line 92 of file EvalEmitter.cpp.

References Label, clang::interp::InterpStack::pop(), and clang::interp::InterpState::Stk.

visitDecl()

virtual bool clang::interp::EvalEmitter::visitDecl ( const VarDecl *  VD )

protectedpure virtual

Referenced by interpretDecl().

visitExpr()

virtual bool clang::interp::EvalEmitter::visitExpr ( const Expr *  E )

protectedpure virtual

Methods implemented by the compiler.

Referenced by interpretExpr().

Member Data Documentation

Descriptors

llvm::SmallVector<SmallVector<Local, 8>, 2> clang::interp::EvalEmitter::Descriptors

protected

Local descriptors.

Definition at line 78 of file EvalEmitter.h.

LambdaCaptures

llvm::DenseMap<const ValueDecl *, ParamOffset> clang::interp::EvalEmitter::LambdaCaptures

protected

Lambda captures.

Definition at line 74 of file EvalEmitter.h.

LambdaThisCapture

ParamOffset clang::interp::EvalEmitter::LambdaThisCapture {0, false}

protected

Offset of the This parameter in a lambda record.

Definition at line 76 of file EvalEmitter.h.

Params

llvm::DenseMap<const ParmVarDecl *, ParamOffset> clang::interp::EvalEmitter::Params

protected

Parameter indices.

Definition at line 72 of file EvalEmitter.h.

---

The documentation for this class was generated from the following files:

• lib/AST/Interp/EvalEmitter.h
• lib/AST/Interp/EvalEmitter.cpp