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();
265 bool HasThisPointer,
bool HasRVO,
bool IsLambdaStaticInvoker);
272 this->Source = Source;
273 FrameSize = NewFrameSize;
274 Code = std::move(NewCode);
275 SrcMap = std::move(NewSrcMap);
276 Scopes = std::move(NewScopes);
277 IsValid = NewIsValid;
278 HasBody = NewHasBody;
281 void setIsFullyCompiled(
bool FC) { IsFullyCompiled = FC; }
282 void setDefined(
bool D) { Defined = D; }
296 unsigned FrameSize = 0;
308 LLVM_PREFERRED_TYPE(
bool)
309 unsigned IsValid : 1;
312 LLVM_PREFERRED_TYPE(
bool)
313 unsigned IsFullyCompiled : 1;
316 LLVM_PREFERRED_TYPE(
bool)
317 unsigned HasThisPointer : 1;
321 LLVM_PREFERRED_TYPE(
bool)
324 LLVM_PREFERRED_TYPE(
bool)
325 unsigned HasBody : 1;
326 LLVM_PREFERRED_TYPE(
bool)
327 unsigned Defined : 1;
328 LLVM_PREFERRED_TYPE(
bool)
329 unsigned Variadic : 1;
330 LLVM_PREFERRED_TYPE(
bool)
331 unsigned Virtual : 1;
332 LLVM_PREFERRED_TYPE(
bool)
333 unsigned Immediate : 1;
334 LLVM_PREFERRED_TYPE(
bool)
335 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
bool hasImplicitThisParam() 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.