An emitter which links the program to bytecode for later use. More...

#include "/work/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/AST/ByteCode/ByteCodeEmitter.h"

Public Types
using	LabelTy = uint32_t

Public Member Functions
void	compileFunc (const FunctionDecl FuncDecl, Function Func=nullptr)
	Compiles the function into the module.

Protected Types
using	AddrTy = uintptr_t
using	Local = Scope::Local

Protected Member Functions
	ByteCodeEmitter (Context &Ctx, Program &P)
virtual	~ByteCodeEmitter ()
void	emitLabel (LabelTy Label)
	Define a label.
LabelTy	getLabel ()
	Create a label.
virtual bool	visitFunc (const FunctionDecl *E)=0
	Methods implemented by the compiler.
virtual bool	visitExpr (const Expr *E, bool DestroyToplevelScope)=0
virtual bool	visitDeclAndReturn (const VarDecl VD, const Expr Init, bool ConstantContext)=0
virtual bool	visit (const Expr *E)=0
virtual bool	emitBool (bool V, const Expr *E)=0
bool	jumpTrue (const LabelTy &Label, SourceInfo SI)
	Emits jumps.
bool	jumpFalse (const LabelTy &Label, SourceInfo SI)
bool	jump (const LabelTy &Label, SourceInfo SI)
bool	fallthrough (const LabelTy &Label)
bool	speculate (const CallExpr *E, const LabelTy &EndLabel)
	Speculative execution.
bool	isActive () const
	We're always emitting bytecode.
bool	checkingForUndefinedBehavior () const
Local	createLocal (Descriptor *D)
	Callback for local registration.

Protected Attributes
llvm::DenseMap< const ParmVarDecl *, FuncParam >	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.
std::optional< SourceInfo >	LocOverride = std::nullopt

Detailed Description

An emitter which links the program to bytecode for later use.

Definition at line 26 of file ByteCodeEmitter.h.

Member Typedef Documentation

◆ AddrTy

using clang::interp::ByteCodeEmitter::AddrTy = uintptr_t

protected

Definition at line 28 of file ByteCodeEmitter.h.

◆ LabelTy

using clang::interp::ByteCodeEmitter::LabelTy = uint32_t

Definition at line 32 of file ByteCodeEmitter.h.

◆ Local

using clang::interp::ByteCodeEmitter::Local = Scope::Local

protected

Definition at line 29 of file ByteCodeEmitter.h.

Constructor & Destructor Documentation

◆ ByteCodeEmitter()

clang::interp::ByteCodeEmitter::ByteCodeEmitter	(	Context &	Ctx,
		Program &	P )

inlineprotected

Definition at line 37 of file ByteCodeEmitter.h.

◆ ~ByteCodeEmitter()

virtual clang::interp::ByteCodeEmitter::~ByteCodeEmitter ( )

inlineprotectedvirtual

Definition at line 39 of file ByteCodeEmitter.h.

Member Function Documentation

◆ checkingForUndefinedBehavior()

bool clang::interp::ByteCodeEmitter::checkingForUndefinedBehavior ( ) const

inlineprotected

Definition at line 64 of file ByteCodeEmitter.h.

◆ compileFunc()

void ByteCodeEmitter::compileFunc	(	const FunctionDecl *	FuncDecl,
		Function *	Func = nullptr )

Compiles the function into the module.

Definition at line 23 of file ByteCodeEmitter.cpp.

References Descriptors, clang::Func, clang::CXXRecordDecl::getCaptureFields(), clang::FunctionDecl::getParamDecl(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::FunctionDecl::hasBody(), clang::FunctionDecl::isConstexpr(), clang::Decl::isInvalidDecl(), clang::Type::isPointerOrReferenceType(), clang::FunctionDecl::isThisDeclarationADefinition(), LambdaCaptures, LambdaThisCapture, clang::FunctionDecl::param_begin(), clang::FunctionDecl::param_empty(), Params, and visitFunc().

◆ createLocal()

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

protected

Callback for local registration.

Definition at line 92 of file ByteCodeEmitter.cpp.

References clang::interp::align(), and clang::interp::Descriptor::getAllocSize().

◆ emitBool()

virtual bool clang::interp::ByteCodeEmitter::emitBool	(	bool	V,
		const Expr *	E )

protectedpure virtual

References V.

◆ emitLabel()

void ByteCodeEmitter::emitLabel ( LabelTy Label )

protected

Define a label.

Definition at line 99 of file ByteCodeEmitter.cpp.

References clang::interp::align(), clang::interp::aligned(), and clang::Target.

Referenced by fallthrough().

◆ fallthrough()

bool ByteCodeEmitter::fallthrough ( const LabelTy & Label )

protected

Definition at line 236 of file ByteCodeEmitter.cpp.

References emitLabel().

◆ getLabel()

LabelTy clang::interp::ByteCodeEmitter::getLabel ( )

inlineprotected

Create a label.

Definition at line 44 of file ByteCodeEmitter.h.

◆ isActive()

bool clang::interp::ByteCodeEmitter::isActive ( ) const

inlineprotected

We're always emitting bytecode.

Definition at line 63 of file ByteCodeEmitter.h.

◆ jump()

bool ByteCodeEmitter::jump	(	const LabelTy &	Label,
		SourceInfo	SI )

protected

Definition at line 232 of file ByteCodeEmitter.cpp.

◆ jumpFalse()

bool ByteCodeEmitter::jumpFalse	(	const LabelTy &	Label,
		SourceInfo	SI )

protected

Definition at line 228 of file ByteCodeEmitter.cpp.

◆ jumpTrue()

bool ByteCodeEmitter::jumpTrue	(	const LabelTy &	Label,
		SourceInfo	SI )

protected

Emits jumps.

Definition at line 224 of file ByteCodeEmitter.cpp.

◆ speculate()

bool ByteCodeEmitter::speculate	(	const CallExpr *	E,
		const LabelTy &	EndLabel )

protected

Speculative execution.

Definition at line 241 of file ByteCodeEmitter.cpp.

References clang::CallExpr::getArg(), clang::Expr::getType(), clang::interp::PT_Ptr, and visit().

◆ visit()

virtual bool clang::interp::ByteCodeEmitter::visit ( const Expr * E )

protectedpure virtual

Referenced by speculate().

◆ visitDeclAndReturn()

virtual bool clang::interp::ByteCodeEmitter::visitDeclAndReturn	(	const VarDecl *	VD,
		const Expr *	Init,
		bool	ConstantContext )

protectedpure virtual

References clang::interp::Init().

◆ visitExpr()

virtual bool clang::interp::ByteCodeEmitter::visitExpr	(	const Expr *	E,
		bool	DestroyToplevelScope )

protectedpure virtual

◆ visitFunc()

virtual bool clang::interp::ByteCodeEmitter::visitFunc ( const FunctionDecl * E )

protectedpure virtual

Methods implemented by the compiler.

Referenced by compileFunc().

Member Data Documentation

◆ Descriptors

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

protected

Local descriptors.

Definition at line 76 of file ByteCodeEmitter.h.

Referenced by compileFunc().

◆ LambdaCaptures

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

protected

Lambda captures.

Definition at line 72 of file ByteCodeEmitter.h.

Referenced by compileFunc().

◆ LambdaThisCapture

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

protected

Offset of the This parameter in a lambda record.

Definition at line 74 of file ByteCodeEmitter.h.

Referenced by compileFunc().

◆ LocOverride

std::optional<SourceInfo> clang::interp::ByteCodeEmitter::LocOverride = std::nullopt

protected

Definition at line 77 of file ByteCodeEmitter.h.

◆ Params

llvm::DenseMap<const ParmVarDecl *, FuncParam> clang::interp::ByteCodeEmitter::Params

protected

Parameter indices.

Definition at line 70 of file ByteCodeEmitter.h.

Referenced by compileFunc().

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

lib/AST/ByteCode/ByteCodeEmitter.h
lib/AST/ByteCode/ByteCodeEmitter.cpp

Public Types

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ AddrTy

◆ LabelTy

◆ Local

Constructor & Destructor Documentation

◆ ByteCodeEmitter()

◆ ~ByteCodeEmitter()

Member Function Documentation

◆ checkingForUndefinedBehavior()

◆ compileFunc()

◆ createLocal()

◆ emitBool()

◆ emitLabel()

◆ fallthrough()

◆ getLabel()

◆ isActive()

◆ jump()

◆ jumpFalse()

◆ jumpTrue()

◆ speculate()

◆ visit()

◆ visitDeclAndReturn()

◆ visitExpr()

◆ visitFunc()

Member Data Documentation

◆ Descriptors

◆ LambdaCaptures

◆ LambdaThisCapture

◆ LocOverride

◆ Params