15#ifndef LLVM_CLANG_AST_INTERP_FUNCTION_H
16#define LLVM_CLANG_AST_INTERP_FUNCTION_H
23#include "llvm/ADT/PointerUnion.h"
24#include "llvm/Support/raw_ostream.h"
52 llvm::iterator_range<LocalVectorTy::const_iterator>
locals()
const {
53 return llvm::make_range(Descriptors.begin(), Descriptors.end());
56 llvm::iterator_range<LocalVectorTy::const_reverse_iterator>
58 return llvm::reverse(Descriptors);
67 llvm::PointerUnion<const FunctionDecl *, const BlockExpr *>;
135 return dyn_cast<const FunctionDecl *>(Source);
138 return dyn_cast<const BlockExpr *>(Source);
152 return ParamDescriptors[Index];
161 llvm::iterator_range<llvm::SmallVector<Scope, 2>::const_iterator>
163 return llvm::make_range(Scopes.begin(), Scopes.end());
170 return llvm::reverse(ParamDescriptors);
217 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(
218 dyn_cast<const FunctionDecl *>(Source)))
244 return ParamDescriptors.size();
251 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(
252 dyn_cast<const FunctionDecl *>(Source)))
253 return MD->isExplicitObjectMemberFunction();
261 bool HasThisPointer,
bool HasRVO,
bool IsLambdaStaticInvoker);
268 this->Source = Source;
269 FrameSize = NewFrameSize;
270 Code = std::move(NewCode);
271 SrcMap = std::move(NewSrcMap);
272 Scopes = std::move(NewScopes);
273 IsValid = NewIsValid;
274 HasBody = NewHasBody;
277 void setIsFullyCompiled(
bool FC) { IsFullyCompiled = FC; }
278 void setDefined(
bool D) { Defined = D; }
292 unsigned FrameSize = 0;
304 LLVM_PREFERRED_TYPE(
bool)
305 unsigned IsValid : 1;
308 LLVM_PREFERRED_TYPE(
bool)
309 unsigned IsFullyCompiled : 1;
312 LLVM_PREFERRED_TYPE(
bool)
313 unsigned HasThisPointer : 1;
317 LLVM_PREFERRED_TYPE(
bool)
320 LLVM_PREFERRED_TYPE(
bool)
321 unsigned HasBody : 1;
322 LLVM_PREFERRED_TYPE(
bool)
323 unsigned Defined : 1;
324 LLVM_PREFERRED_TYPE(
bool)
325 unsigned Variadic : 1;
326 LLVM_PREFERRED_TYPE(
bool)
327 unsigned Virtual : 1;
328 LLVM_PREFERRED_TYPE(
bool)
329 unsigned Immediate : 1;
330 LLVM_PREFERRED_TYPE(
bool)
331 unsigned Constexpr : 1;
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
Represents a C++ struct/union/class.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
Represents a function declaration or definition.
std::string getQualifiedNameAsString() const
An emitter which links the program to bytecode for later use.
Pointer into the code segment.
Scope & getScope(unsigned Idx)
Returns a specific scope.
CodePtr getCodeBegin() const
Returns a pointer to the start of the code.
bool isDestructor() const
Checks if the function is a destructor.
CodePtr getCodeEnd() const
Returns a pointer to the end of the code.
friend class ByteCodeEmitter
std::string getName() const
Returns the name of the function decl this code was generated for.
bool isVirtual() const
Checks if the function is virtual.
unsigned getNumParams() const
bool isDefined() const
Checks if the function is defined.
bool hasNonNullAttr() const
const CXXRecordDecl * getParentDecl() const
Returns the parent record decl, if any.
unsigned getFrameSize() const
Returns the size of the function's local stack.
bool isLambdaCallOperator() const
Returns whether this function is the call operator of a lambda record decl.
const BlockExpr * getExpr() const
bool isFullyCompiled() const
Checks if the function is fully done compiling.
bool isConstructor() const
Checks if the function is a constructor.
const FunctionDecl * getDecl() const
Returns the original FunctionDecl.
bool hasBody() const
Checks if the function already has a body attached.
bool hasThisPointer() const
void dump(llvm::raw_ostream &OS, CodePtr PC={}) const
llvm::iterator_range< arg_reverse_iterator > args_reverse() const
const Scope & getScope(unsigned Idx) const
bool isThisPointerExplicit() const
unsigned getNumWrittenParams() const
Returns the number of parameter this function takes when it's called, i.e excluding the instance poin...
unsigned getWrittenArgSize() const
unsigned getArgSize() const
Returns the size of the argument stack.
bool isLambdaStaticInvoker() const
Returns whether this function is a lambda static invoker, which we generate custom byte code for.
ParamDescriptor getParamDescriptor(unsigned Index) const
Returns a parameter descriptor.
SourceInfo getSource(CodePtr PC) const
Returns the source information at a given PC.
bool isValid() const
Checks if the function is valid to call.
void dump() const
Dumps the disassembled bytecode to llvm::errs().
bool isCopyOrMoveConstructor() const
bool isCopyOrMoveOperator() const
Checks if the function is copy or move operator.
llvm::iterator_range< llvm::SmallVector< Scope, 2 >::const_iterator > scopes() const
Range over the scope blocks.
bool hasRVO() const
Checks if the first argument is a RVO pointer.
SmallVectorImpl< ParamDescriptor >::const_reverse_iterator arg_reverse_iterator
Range over argument types.
A pointer to a memory block, live or dead.
The program contains and links the bytecode for all functions.
llvm::SmallVector< Local, 8 > LocalVectorTy
llvm::iterator_range< LocalVectorTy::const_iterator > locals() const
Scope(LocalVectorTy &&Descriptors)
llvm::iterator_range< LocalVectorTy::const_reverse_iterator > locals_reverse() const
Describes the statement/declaration an opcode was generated from.
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
llvm::PointerUnion< const FunctionDecl *, const BlockExpr * > FunctionDeclTy
PrimType
Enumeration of the primitive types of the VM.
std::vector< std::pair< unsigned, SourceInfo > > SourceMap
size_t primSize(PrimType Type)
Returns the size of a primitive type in bytes.
The JSON file list parser is used to communicate input to InstallAPI.
Describes a memory block created by an allocation site.
unsigned BlockOffset
Offset in the InterpFrame.
unsigned Offset
Offset on the stack.
ParamDescriptor(const Descriptor *Desc, unsigned Offset, unsigned BlockOffset, PrimType T)
Information about a local's storage.
unsigned Offset
Offset of the local in frame.
bool EnabledByDefault
If the cleanup for this local should be emitted.
Descriptor * Desc
Descriptor of the local.