clang 23.0.0git
Public Types | Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
clang::interp::ByteCodeEmitter Class Referenceabstract

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)
 Emits jumps.
bool jumpFalse (const LabelTy &Label)
bool jump (const LabelTy &Label)
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 *, 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.
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 clang::interp::Record::Field::Decl, Descriptors, clang::Func, clang::interp::Record::getField(), clang::FieldDecl::getParent(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::FunctionDecl::hasBody(), clang::FunctionDecl::isConstexpr(), clang::Decl::isInvalidDecl(), clang::isLambdaCallOperator(), clang::Type::isPointerOrReferenceType(), clang::FunctionDecl::isThisDeclarationADefinition(), LambdaCaptures, LambdaThisCapture, clang::interp::Record::Field::Offset, clang::FunctionDecl::param_begin(), clang::FunctionDecl::param_empty(), clang::FunctionDecl::parameters(), Params, clang::T, and visitFunc().

◆ createLocal()

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

Callback for local registration.

Definition at line 96 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 103 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 240 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)
protected

Definition at line 236 of file ByteCodeEmitter.cpp.

◆ jumpFalse()

bool ByteCodeEmitter::jumpFalse ( const LabelTy & Label)
protected

Definition at line 232 of file ByteCodeEmitter.cpp.

◆ jumpTrue()

bool ByteCodeEmitter::jumpTrue ( const LabelTy & Label)
protected

Emits jumps.

Definition at line 228 of file ByteCodeEmitter.cpp.

◆ speculate()

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

Speculative execution.

Definition at line 245 of file ByteCodeEmitter.cpp.

References clang::CallExpr::getArg(), clang::Expr::getType(), clang::interp::PT_Ptr, clang::T, 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 *, ParamOffset> 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:
Generated on for clang by doxygen 1.14.0