22 #include "llvm/IR/IntrinsicInst.h" 23 #include "llvm/Support/Format.h" 24 #include "llvm/Transforms/Utils/Cloning.h" 28 using namespace clang;
29 using namespace CodeGen;
32 : CGM(CGM), VTContext(CGM.getContext().getVTableContext()) {}
36 return GetOrCreateLLVMFunction(Name, FnTy, GD,
true,
41 llvm::Function *ThunkFn,
bool ForVTable,
51 ThunkFn->setDLLStorageClass(llvm::GlobalValue::DefaultStorageClass);
52 ThunkFn->setDSOLocal(
true);
56 ThunkFn->setComdat(CGM.
getModule().getOrInsertComdat(ThunkFn->getName()));
64 (isa<PointerType>(typeL) && isa<PointerType>(typeR)) ||
65 (isa<ReferenceType>(typeL) && isa<ReferenceType>(typeR))));
75 llvm::BasicBlock *AdjustNull =
nullptr;
76 llvm::BasicBlock *AdjustNotNull =
nullptr;
77 llvm::BasicBlock *AdjustEnd =
nullptr;
87 CGF.
Builder.CreateCondBr(IsNull, AdjustNull, AdjustNotNull);
94 Address(ReturnValue, ClassAlign),
98 CGF.
Builder.CreateBr(AdjustEnd);
100 CGF.
Builder.CreateBr(AdjustEnd);
103 llvm::PHINode *PHI = CGF.
Builder.CreatePHI(ReturnValue->getType(), 2);
104 PHI->addIncoming(ReturnValue, AdjustNotNull);
105 PHI->addIncoming(llvm::Constant::getNullValue(ReturnValue->getType()),
119 llvm::ValueToValueMapTy &VMap) {
121 auto *DIS = Fn->getSubprogram();
124 auto *NewDIS = DIS->replaceWithDistinct(DIS->clone());
125 VMap.MD()[DIS].reset(NewDIS);
129 for (
auto &BB : Fn->getBasicBlockList()) {
131 if (
auto *DII = dyn_cast<llvm::DbgInfoIntrinsic>(&I)) {
132 auto *DILocal = DII->getVariable();
133 if (!DILocal->isResolved())
162 QualType ResultType = FPT->getReturnType();
168 llvm::Function *BaseFn = cast<llvm::Function>(Callee);
171 llvm::ValueToValueMapTy VMap;
176 llvm::Function *NewFn = llvm::CloneFunction(BaseFn, VMap);
177 Fn->replaceAllUsesWith(NewFn);
179 Fn->eraseFromParent();
186 llvm::Function::arg_iterator AI = Fn->arg_begin();
193 llvm::BasicBlock *EntryBB = &Fn->front();
194 llvm::BasicBlock::iterator ThisStore =
195 std::find_if(EntryBB->begin(), EntryBB->end(), [&](llvm::Instruction &I) {
196 return isa<llvm::StoreInst>(I) &&
199 assert(ThisStore != EntryBB->end() &&
200 "Store of this should be in entry block?");
202 Builder.SetInsertPoint(&*ThisStore);
205 ThisStore->setOperand(0, AdjustedThisPtr);
209 for (llvm::BasicBlock &BB : *Fn) {
210 llvm::Instruction *T = BB.getTerminator();
211 if (isa<llvm::ReturnInst>(T)) {
213 T->eraseFromParent();
214 Builder.SetInsertPoint(&BB);
227 bool IsUnprototyped) {
228 assert(!CurGD.getDecl() &&
"CurGD was already set!");
230 CurFuncIsThunk =
true;
240 ResultType = ThisType;
251 if (!IsUnprototyped) {
254 if (isa<CXXDestructorDecl>(MD))
261 StartFunction(
GlobalDecl(), ResultType, Fn, FnInfo, FunctionArgs,
268 CXXThisValue = CXXABIThisValue;
276 CurCodeDecl =
nullptr;
277 CurFuncDecl =
nullptr;
284 bool IsUnprototyped) {
285 assert(isa<CXXMethodDecl>(CurGD.getDecl()) &&
286 "Please use a new CGF for this thunk");
287 const CXXMethodDecl *MD = cast<CXXMethodDecl>(CurGD.getDecl());
292 *
this, LoadCXXThisAddress(), Thunk->
This)
295 if (CurFnInfo->usesInAlloca() || IsUnprototyped) {
302 MD,
"return-adjusting thunk with incomplete parameter type");
305 MD,
"non-trivial argument copy for return-adjusting thunk");
307 EmitMustTailThunk(MD, AdjustedThisPtr, CalleePtr);
316 if (isa<CXXDestructorDecl>(MD))
320 unsigned PrefixArgs = CallArgs.size() - 1;
331 assert(CallFnInfo.getRegParm() == CurFnInfo->getRegParm() &&
332 CallFnInfo.isNoReturn() == CurFnInfo->isNoReturn() &&
333 CallFnInfo.getCallingConvention() == CurFnInfo->getCallingConvention());
334 assert(isa<CXXDestructorDecl>(MD) ||
335 similar(CallFnInfo.getReturnInfo(), CallFnInfo.getReturnType(),
336 CurFnInfo->getReturnInfo(), CurFnInfo->getReturnType()));
337 assert(CallFnInfo.arg_size() == CurFnInfo->arg_size());
338 for (
unsigned i = 0, e = CurFnInfo->arg_size(); i != e; ++i)
339 assert(
similar(CallFnInfo.arg_begin()[i].info,
340 CallFnInfo.arg_begin()[i].type,
341 CurFnInfo->arg_begin()[i].info,
342 CurFnInfo->arg_begin()[i].type));
354 !hasScalarEvaluationKind(CurFnInfo->getReturnType()))
358 llvm::Instruction *CallOrInvoke;
360 RValue RV = EmitCall(*CurFnInfo, Callee, Slot, CallArgs, &CallOrInvoke);
365 else if (llvm::CallInst* Call = dyn_cast<llvm::CallInst>(CallOrInvoke))
366 Call->setTailCallKind(llvm::CallInst::TCK_Tail);
373 AutoreleaseResult =
false;
386 for (llvm::Argument &A : CurFn->args())
390 const ABIArgInfo &ThisAI = CurFnInfo->arg_begin()->info;
392 const ABIArgInfo &RetAI = CurFnInfo->getReturnInfo();
394 llvm::Type *ThisType = Args[ThisArgNo]->getType();
395 if (ThisType != AdjustedThisPtr->getType())
396 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr, ThisType);
397 Args[ThisArgNo] = AdjustedThisPtr;
399 assert(ThisAI.
isInAlloca() &&
"this is passed directly or inalloca");
400 Address ThisAddr = GetAddrOfLocalVar(CXXABIThisDecl);
401 llvm::Type *ThisType = ThisAddr.getElementType();
402 if (ThisType != AdjustedThisPtr->getType())
403 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr, ThisType);
404 Builder.CreateStore(AdjustedThisPtr, ThisAddr);
409 llvm::CallInst *Call = Builder.CreateCall(CalleePtr, Args);
410 Call->setTailCallKind(llvm::CallInst::TCK_MustTail);
414 llvm::AttributeList Attrs;
417 Call->setAttributes(Attrs);
418 Call->setCallingConv(static_cast<llvm::CallingConv::ID>(CallingConv));
420 if (Call->getType()->isVoidTy())
421 Builder.CreateRetVoid();
423 Builder.CreateRet(Call);
427 EmitBlock(createBasicBlock());
434 bool IsUnprototyped) {
435 StartThunk(Fn, GD, FnInfo, IsUnprototyped);
443 Ty = llvm::StructType::get(getLLVMContext());
451 Callee = llvm::ConstantExpr::getBitCast(Callee, Fn->getType());
454 EmitCallAndReturnForThunk(Callee, &Thunk, IsUnprototyped);
458 bool IsUnprototyped,
bool ForVTable) {
475 llvm::Constant *CodeGenVTables::maybeEmitThunk(
GlobalDecl GD,
485 llvm::raw_svector_ostream Out(Name);
491 llvm::Constant *Thunk = CGM.
GetAddrOfThunk(Name, ThunkVTableTy, GD);
508 llvm::Function *ThunkFn = cast<llvm::Function>(Thunk->stripPointerCasts());
509 if (ThunkFn->getFunctionType() != ThunkFnTy) {
510 llvm::GlobalValue *OldThunkFn = ThunkFn;
512 assert(OldThunkFn->isDeclaration() &&
"Shouldn't replace non-declaration");
515 OldThunkFn->setName(StringRef());
521 if (!OldThunkFn->use_empty()) {
522 llvm::Constant *NewPtrForOldDecl =
523 llvm::ConstantExpr::getBitCast(ThunkFn, OldThunkFn->getType());
524 OldThunkFn->replaceAllUsesWith(NewPtrForOldDecl);
528 OldThunkFn->eraseFromParent();
532 bool UseAvailableExternallyLinkage = ForVTable && ABIHasKeyFunctions;
534 if (!ThunkFn->isDeclaration()) {
535 if (!ABIHasKeyFunctions || UseAvailableExternallyLinkage) {
549 ThunkFn->addFnAttr(
"thunk");
553 if (!IsUnprototyped && ThunkFn->isVarArg()) {
559 if (UseAvailableExternallyLinkage)
583 if (!ThunkInfoVector)
586 for (
const ThunkInfo& Thunk : *ThunkInfoVector)
587 maybeEmitThunk(GD, Thunk,
false);
590 void CodeGenVTables::addVTableComponent(
592 unsigned idx, llvm::Constant *rtti,
unsigned &nextVTableThunkIndex) {
595 auto addOffsetConstant = [&](
CharUnits offset) {
596 builder.add(llvm::ConstantExpr::getIntToPtr(
597 llvm::ConstantInt::get(CGM.
PtrDiffTy, offset.getQuantity()),
601 switch (component.getKind()) {
603 return addOffsetConstant(component.getVCallOffset());
606 return addOffsetConstant(component.getVBaseOffset());
609 return addOffsetConstant(component.getOffsetToTop());
612 return builder.add(llvm::ConstantExpr::getBitCast(rtti, CGM.
Int8PtrTy));
620 switch (component.getKind()) {
622 llvm_unreachable(
"Unexpected vtable component kind");
624 GD = component.getFunctionDecl();
643 ? MD->
hasAttr<CUDADeviceAttr>()
644 : (MD->
hasAttr<CUDAHostAttr>() || !MD->
hasAttr<CUDADeviceAttr>());
646 return builder.addNullPointer(CGM.
Int8PtrTy);
650 auto getSpecialVirtualFn = [&](StringRef name) {
651 llvm::FunctionType *fnTy =
652 llvm::FunctionType::get(CGM.
VoidTy,
false);
654 if (
auto f = dyn_cast<llvm::Function>(fn))
655 f->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
656 return llvm::ConstantExpr::getBitCast(fn, CGM.
Int8PtrTy);
659 llvm::Constant *fnPtr;
662 if (cast<CXXMethodDecl>(GD.
getDecl())->isPure()) {
666 fnPtr = PureVirtualFn;
669 }
else if (cast<CXXMethodDecl>(GD.
getDecl())->isDeleted()) {
670 if (!DeletedVirtualFn)
673 fnPtr = DeletedVirtualFn;
676 }
else if (nextVTableThunkIndex < layout.
vtable_thunks().size() &&
678 auto &thunkInfo = layout.
vtable_thunks()[nextVTableThunkIndex].second;
680 nextVTableThunkIndex++;
681 fnPtr = maybeEmitThunk(GD, thunkInfo,
true);
689 fnPtr = llvm::ConstantExpr::getBitCast(fnPtr, CGM.
Int8PtrTy);
695 return builder.addNullPointer(CGM.
Int8PtrTy);
698 llvm_unreachable(
"Unexpected vtable component kind");
703 for (
unsigned i = 0, e = layout.
getNumVTables(); i != e; ++i) {
712 llvm::Constant *rtti) {
713 unsigned nextVTableThunkIndex = 0;
714 for (
unsigned i = 0, e = layout.
getNumVTables(); i != e; ++i) {
718 for (
unsigned i = thisIndex; i != nextIndex; ++i) {
719 addVTableComponent(vtableElem, layout, i, rtti, nextVTableThunkIndex);
721 vtableElem.finishAndAddTo(builder);
725 llvm::GlobalVariable *
729 llvm::GlobalVariable::LinkageTypes
Linkage,
730 VTableAddressPointsMapTy& AddressPoints) {
732 DI->completeClassData(Base.
getBase());
734 std::unique_ptr<VTableLayout> VTLayout(
739 AddressPoints = VTLayout->getAddressPoints();
743 llvm::raw_svector_ostream Out(OutName);
747 StringRef Name = OutName.str();
756 if (Linkage == llvm::GlobalVariable::AvailableExternallyLinkage)
760 llvm::GlobalVariable *VTable =
765 VTable->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
774 components.finishAndSetAsInitializer(VTable);
790 llvm::GlobalVariable::LinkageTypes
798 if (keyFunction && !RD->
hasAttr<DLLImportAttr>()) {
803 keyFunction = cast<CXXMethodDecl>(def);
808 assert((def || CodeGenOpts.OptimizationLevel > 0 ||
810 "Shouldn't query vtable linkage without key function, " 811 "optimizations, or debug info");
812 if (!def && CodeGenOpts.OptimizationLevel > 0)
813 return llvm::GlobalVariable::AvailableExternallyLinkage;
817 llvm::GlobalVariable::LinkOnceODRLinkage :
824 llvm::GlobalVariable::LinkOnceODRLinkage :
829 llvm::GlobalVariable::WeakODRLinkage :
833 llvm_unreachable(
"Should not have been asked to emit this");
842 llvm::GlobalVariable::LinkageTypes DiscardableODRLinkage =
843 llvm::GlobalValue::LinkOnceODRLinkage;
844 llvm::GlobalVariable::LinkageTypes NonDiscardableODRLinkage =
845 llvm::GlobalValue::WeakODRLinkage;
846 if (RD->
hasAttr<DLLExportAttr>()) {
848 DiscardableODRLinkage = NonDiscardableODRLinkage;
849 }
else if (RD->
hasAttr<DLLImportAttr>()) {
851 DiscardableODRLinkage = llvm::GlobalVariable::AvailableExternallyLinkage;
852 NonDiscardableODRLinkage = llvm::GlobalVariable::AvailableExternallyLinkage;
859 return DiscardableODRLinkage;
864 if (getTarget().getCXXABI().isMicrosoft())
865 return DiscardableODRLinkage;
867 ? llvm::GlobalVariable::AvailableExternallyLinkage
871 return NonDiscardableODRLinkage;
874 llvm_unreachable(
"Invalid TemplateSpecializationKind!");
884 VTables.GenerateClassData(theClass);
890 DI->completeClassData(RD);
909 assert(RD->
isDynamicClass() &&
"Non-dynamic classes have no VTable.");
936 return !keyFunction->
hasBody();
955 void CodeGenModule::EmitDeferredVTables() {
959 size_t savedSize = DeferredVTables.size();
964 VTables.GenerateClassData(RD);
965 else if (shouldOpportunisticallyEmitVTables())
966 OpportunisticVTables.push_back(RD);
968 assert(savedSize == DeferredVTables.size() &&
969 "deferred extra vtables during vtable emission?");
970 DeferredVTables.clear();
978 if (RD->
hasAttr<LTOVisibilityPublicAttr>() || RD->
hasAttr<UuidAttr>())
981 if (getTriple().isOSBinFormatCOFF()) {
989 if (getCodeGenOpts().LTOVisibilityPublicStd) {
992 auto *D = cast<Decl>(DC);
994 if (isa<TranslationUnitDecl>(DC->getRedeclContext())) {
995 if (
auto *ND = dyn_cast<NamespaceDecl>(D))
997 if (II->isStr(
"std") || II->isStr(
"stdext"))
1009 if (!getCodeGenOpts().LTOUnit)
1015 typedef std::pair<const CXXRecordDecl *, unsigned> AddressPoint;
1016 std::vector<AddressPoint> AddressPoints;
1018 AddressPoints.push_back(std::make_pair(
1020 AP.second.AddressPointIndex));
1023 llvm::sort(AddressPoints.begin(), AddressPoints.end(),
1024 [
this](
const AddressPoint &AP1,
const AddressPoint &AP2) {
1029 llvm::raw_string_ostream O1(S1);
1030 getCXXABI().getMangleContext().mangleTypeName(
1031 QualType(AP1.first->getTypeForDecl(), 0), O1);
1035 llvm::raw_string_ostream O2(S2);
1036 getCXXABI().getMangleContext().mangleTypeName(
1037 QualType(AP2.first->getTypeForDecl(), 0), O2);
1045 return AP1.second < AP2.second;
1049 for (
auto AP : AddressPoints) {
1051 AddVTableTypeMetadata(VTable, PointerWidth * AP.second, AP.first);
1057 for (
unsigned I = 0; I != Comps.size(); ++I) {
1060 llvm::Metadata *MD = CreateMetadataIdentifierForVirtualMemPtrType(
1062 Comps[I].getFunctionDecl()->getType(),
1064 VTable->addTypeMetadata((PointerWidth * I).getQuantity(), MD);
size_t getNumVTables() const
ReturnValueSlot - Contains the address where the return value of a function can be stored...
static const Decl * getCanonicalDecl(const Decl *D)
Represents a function declaration or definition.
External linkage, which indicates that the entity can be referred to from other translation units...
A (possibly-)qualified type.
bool ReturnTypeUsesSRet(const CGFunctionInfo &FI)
Return true iff the given type uses 'sret' when used as a return type.
CodeGenTypes & getTypes()
const CodeGenOptions & getCodeGenOpts() const
const AddressPointsMapTy & getAddressPoints() const
virtual void EmitReturnFromThunk(CodeGenFunction &CGF, RValue RV, QualType ResultType)
llvm::LLVMContext & getLLVMContext()
CXXDtorType getDtorType() const
virtual void addImplicitStructorParams(CodeGenFunction &CGF, QualType &ResTy, FunctionArgList &Params)=0
Insert any ABI-specific implicit parameters into the parameter list for a function.
The standard implementation of ConstantInitBuilder used in Clang.
CharUnits getClassPointerAlignment(const CXXRecordDecl *CD)
Returns the assumed alignment of an opaque pointer to the given class.
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee...
unsigned getNumVBases() const
Retrieves the number of virtual base classes of this class.
virtual const ThunkInfoVectorTy * getThunkInfo(GlobalDecl GD)
virtual llvm::Value * performThisAdjustment(CodeGenFunction &CGF, Address This, const ThisAdjustment &TA)=0
void setFunctionLinkage(GlobalDecl GD, llvm::Function *F)
virtual StringRef GetDeletedVirtualCallName()=0
Gets the deleted virtual member call name.
const TargetInfo & getTargetInfo() const
llvm::Function * GenerateVarArgsThunk(llvm::Function *Fn, const CGFunctionInfo &FnInfo, GlobalDecl GD, const ThunkInfo &Thunk)
bool isFuncTypeConvertible(const FunctionType *FT)
isFuncTypeConvertible - Utility to check whether a function type can be converted to an LLVM type (i...
bool HasHiddenLTOVisibility(const CXXRecordDecl *RD)
Returns whether the given record has hidden LTO visibility and therefore may participate in (single-m...
void StartThunk(llvm::Function *Fn, GlobalDecl GD, const CGFunctionInfo &FnInfo, bool IsUnprototyped)
Objects with "hidden" visibility are not seen by the dynamic linker.
const T * getAs() const
Member-template getAs<specific type>'.
Visibility getVisibility() const
CGDebugInfo * getModuleDebugInfo()
bool supportsCOMDAT() const
This class gathers all debug information during compilation and is responsible for emitting to llvm g...
QualType getMemberPointerType(QualType T, const Type *Cls) const
Return the uniqued reference to the type for a member pointer to the specified type in the specified ...
llvm::Value * getPointer() const
Represents a parameter to a function.
Linkage
Describes the different kinds of linkage (C++ [basic.link], C99 6.2.2) that an entity may have...
void add(RValue rvalue, QualType type)
CharUnits getBaseOffset() const
getBaseOffset - Returns the base class offset.
uint64_t getPointerWidth(unsigned AddrSpace) const
Return the width of pointers on this target, for the specified address space.
One of these records is kept for each identifier that is lexed.
TargetCXXABI getCXXABI() const
Get the C++ ABI currently in use.
void generateThunk(llvm::Function *Fn, const CGFunctionInfo &FnInfo, GlobalDecl GD, const ThunkInfo &Thunk, bool IsUnprototyped)
Generate a thunk for the given method.
Indirect - Pass the argument indirectly via a hidden pointer with the specified alignment (0 indicate...
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
static bool shouldEmitAvailableExternallyVTable(const CodeGenModule &CGM, const CXXRecordDecl *RD)
bool isReferenceType() const
static void resolveTopLevelMetadata(llvm::Function *Fn, llvm::ValueToValueMapTy &VMap)
This function clones a function's DISubprogram node and enters it into a value map with the intent th...
llvm::Type * getVTableType(const VTableLayout &layout)
Returns the type of a vtable with the given layout.
The this pointer adjustment as well as an optional return adjustment for a thunk. ...
static ApplyDebugLocation CreateArtificial(CodeGenFunction &CGF)
Apply TemporaryLocation if it is valid.
ArrayRef< ParmVarDecl * > parameters() const
virtual void EmitInstanceFunctionProlog(CodeGenFunction &CGF)=0
Emit the ABI-specific prolog for the function.
ArrayRef< VTableComponent > vtable_components() const
QualType getThisType(ASTContext &C) const
Returns the type of the this pointer.
virtual void emitVTableDefinitions(CodeGenVTables &CGVT, const CXXRecordDecl *RD)=0
Emits the VTable definitions required for the given record type.
CharUnits - This is an opaque type for sizes expressed in character units.
virtual bool hasMostDerivedReturn(GlobalDecl GD) const
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
void ConstructAttributeList(StringRef Name, const CGFunctionInfo &Info, CGCalleeInfo CalleeInfo, llvm::AttributeList &Attrs, unsigned &CallingConv, bool AttrOnCallSite)
Get the LLVM attributes and calling convention to use for a particular function type.
ABIArgInfo - Helper class to encapsulate information about how a specific C type should be passed to ...
virtual bool canSpeculativelyEmitVTable(const CXXRecordDecl *RD) const =0
Determine whether it's possible to emit a vtable for RD, even though we do not know that the vtable h...
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
llvm::BasicBlock * createBasicBlock(const Twine &name="", llvm::Function *parent=nullptr, llvm::BasicBlock *before=nullptr)
createBasicBlock - Create an LLVM basic block.
ItaniumVTableContext & getItaniumVTableContext()
static bool shouldEmitVTableThunk(CodeGenModule &CGM, const CXXMethodDecl *MD, bool IsUnprototyped, bool ForVTable)
const CGFunctionInfo & arrangeGlobalDeclaration(GlobalDecl GD)
param_iterator param_begin()
llvm::Constant * CreateRuntimeFunction(llvm::FunctionType *Ty, StringRef Name, llvm::AttributeList ExtraAttrs=llvm::AttributeList(), bool Local=false)
Create a new runtime function with the specified type and name.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
Represents a prototype with parameter type info, e.g.
bool isDynamicClass() const
ArrayBuilder beginArray(llvm::Type *eltTy=nullptr)
TemplateSpecializationKind getTemplateSpecializationKind() const
Determine whether this particular class is a specialization or instantiation of a class template or m...
RValue - This trivial value class is used to represent the result of an expression that is evaluated...
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
bool isVTableExternal(const CXXRecordDecl *RD)
At this point in the translation unit, does it appear that can we rely on the vtable being defined el...
virtual bool HasThisReturn(GlobalDecl GD) const
Returns true if the given constructor or destructor is one of the kinds that the ABI says returns 'th...
bool hasKeyFunctions() const
Does this ABI use key functions? If so, class data such as the vtable is emitted with strong linkage ...
void SetLLVMFunctionAttributes(const Decl *D, const CGFunctionInfo &Info, llvm::Function *F)
Set the LLVM function attributes (sext, zext, etc).
static void setThunkProperties(CodeGenModule &CGM, const ThunkInfo &Thunk, llvm::Function *ThunkFn, bool ForVTable, GlobalDecl GD)
static bool similar(const ABIArgInfo &infoL, CanQualType typeL, const ABIArgInfo &infoR, CanQualType typeR)
const T * castAs() const
Member-template castAs<specific type>.
static CGCallee forDirect(llvm::Constant *functionPtr, const CGCalleeInfo &abstractInfo=CGCalleeInfo())
Represents a C++ destructor within a class.
virtual bool exportThunk()=0
QualType getTagDeclType(const TagDecl *Decl) const
Return the unique reference to the type for the specified TagDecl (struct/union/class/enum) decl...
virtual StringRef GetPureVirtualCallName()=0
Gets the pure virtual member call function.
Linkage getLinkage() const
const CXXRecordDecl * getBase() const
getBase - Returns the base class declaration.
void EmitCallAndReturnForThunk(llvm::Constant *Callee, const ThunkInfo *Thunk, bool IsUnprototyped)
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
const CGFunctionInfo & arrangeUnprototypedMustTailThunk(const CXXMethodDecl *MD)
Arrange a thunk that takes 'this' as the first parameter followed by varargs.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
bool isExternallyVisible(Linkage L)
QualType getRecordType(const RecordDecl *Decl) const
const TargetInfo & getTarget() const
This template specialization was implicitly instantiated from a template.
const LangOptions & getLangOpts() const
ASTContext & getContext() const
virtual void adjustCallArgsForDestructorThunk(CodeGenFunction &CGF, GlobalDecl GD, CallArgList &CallArgs)
CallingConv
CallingConv - Specifies the calling convention that a function uses.
GlobalDecl - represents a global declaration.
llvm::GlobalVariable * CreateOrReplaceCXXRuntimeVariable(StringRef Name, llvm::Type *Ty, llvm::GlobalValue::LinkageTypes Linkage)
Will return a global variable of the given type.
The l-value was considered opaque, so the alignment was determined from a type.
ArrayRef< VTableThunkTy > vtable_thunks() const
virtual void mangleCXXDtorThunk(const CXXDestructorDecl *DD, CXXDtorType Type, const ThisAdjustment &ThisAdjustment, raw_ostream &)=0
llvm::Constant * GetAddrOfThunk(StringRef Name, llvm::Type *FnTy, GlobalDecl GD)
Get the address of the thunk for the given global decl.
Encodes a location in the source.
QualType getReturnType() const
bool isSRetAfterThis() const
void setGVProperties(llvm::GlobalValue *GV, GlobalDecl GD) const
Set visibility, dllimport/dllexport and dso_local.
const Decl * getDecl() const
MangleContext - Context for tracking state which persists across multiple calls to the C++ name mangl...
Represents a static or instance method of a struct/union/class.
llvm::Constant * GetAddrOfRTTIDescriptor(QualType Ty, bool ForEH=false)
Get the address of the RTTI descriptor for the given type.
CodeGenVTables(CodeGenModule &CGM)
void createVTableInitializer(ConstantStructBuilder &builder, const VTableLayout &layout, llvm::Constant *rtti)
Add vtable components for the given vtable layout to the given global initializer.
void SetLLVMFunctionAttributesForDefinition(const Decl *D, llvm::Function *F)
Set the LLVM function attributes which only apply to a function definition.
virtual void emitVirtualInheritanceTables(const CXXRecordDecl *RD)=0
Emit any tables needed to implement virtual inheritance.
All available information about a concrete callee.
MangleContext & getMangleContext()
Gets the mangle context.
This template specialization was instantiated from a template due to an explicit instantiation defini...
This template specialization was formed from a template-id but has not yet been declared, defined, or instantiated.
llvm::GlobalVariable * GenerateConstructionVTable(const CXXRecordDecl *RD, const BaseSubobject &Base, bool BaseIsVirtual, llvm::GlobalVariable::LinkageTypes Linkage, VTableAddressPointsMapTy &AddressPoints)
GenerateConstructionVTable - Generate a construction vtable for the given base subobject.
FunctionArgList - Type for representing both the decl and type of parameters to a function...
llvm::Value * getScalarVal() const
getScalarVal() - Return the Value* of this scalar value.
void ErrorUnsupported(const Stmt *S, const char *Type)
Print out an error that codegen doesn't support the specified stmt yet.
CGFunctionInfo - Class to encapsulate the information about a function definition.
This class organizes the cross-function state that is used while generating LLVM code.
Dataflow Directional Tag Classes.
ThisAdjustment This
The this pointer adjustment.
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
TemplateSpecializationKind getTemplateSpecializationKind() const
Determine what kind of template instantiation this function represents.
void EmitVTableTypeMetadata(llvm::GlobalVariable *VTable, const VTableLayout &VTLayout)
Emit type metadata for the given vtable using the given layout.
This template specialization was instantiated from a template due to an explicit instantiation declar...
const CXXRecordDecl * getParent() const
Returns the parent of this method declaration, which is the class in which this method is defined...
void buildThisParam(CodeGenFunction &CGF, FunctionArgList &Params)
Build a parameter variable suitable for 'this'.
TemplateSpecializationKind
Describes the kind of template specialization that a particular template specialization declaration r...
llvm::Module & getModule() const
void EmitThunks(GlobalDecl GD)
EmitThunks - Emit the associated thunks for the given global decl.
param_iterator param_end()
llvm::GlobalVariable::LinkageTypes getVTableLinkage(const CXXRecordDecl *RD)
Return the appropriate linkage for the vtable, VTT, and type information of the given class...
LinkageInfo getLinkageAndVisibility() const
Determines the linkage and visibility of this entity.
StructBuilder beginStruct(llvm::StructType *structTy=nullptr)
This template specialization was declared or defined by an explicit specialization (C++ [temp...
llvm::PointerType * Int8PtrTy
static bool shouldEmitVTableAtEndOfTranslationUnit(CodeGenModule &CGM, const CXXRecordDecl *RD)
Given that we're currently at the end of the translation unit, and we've emitted a reference to the v...
void GenerateClassData(const CXXRecordDecl *RD)
GenerateClassData - Generate all the class data required to be generated upon definition of a KeyFunc...
ReturnAdjustment Return
The return adjustment.
llvm::Constant * GetAddrOfFunction(GlobalDecl GD, llvm::Type *Ty=nullptr, bool ForVTable=false, bool DontDefer=false, ForDefinition_t IsForDefinition=NotForDefinition)
Return the address of the given function.
Internal linkage, which indicates that the entity can be referred to from within the translation unit...
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false)
EmitBlock - Emit the given block.
bool isInlined() const
Determine whether this function should be inlined, because it is either marked "inline" or "constexpr...
llvm::Type * GetFunctionTypeForVTable(GlobalDecl GD)
GetFunctionTypeForVTable - Get the LLVM function type for use in a vtable, given a CXXMethodDecl...
llvm::IntegerType * PtrDiffTy
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
static RValue PerformReturnAdjustment(CodeGenFunction &CGF, QualType ResultType, RValue RV, const ThunkInfo &Thunk)
const CXXMethodDecl * getCurrentKeyFunction(const CXXRecordDecl *RD)
Get our current best idea for the key function of the given record decl, or nullptr if there isn't on...
Represents a C++ struct/union/class.
virtual void mangleThunk(const CXXMethodDecl *MD, const ThunkInfo &Thunk, raw_ostream &)=0
A helper class of ConstantInitBuilder, used for building constant struct initializers.
size_t getVTableSize(size_t i) const
bool isMicrosoft() const
Is this ABI an MSVC-compatible ABI?
A pointer to the deleting destructor.
CGCXXABI & getCXXABI() const
static Decl::Kind getKind(const Decl *D)
static RValue get(llvm::Value *V)
static RequiredArgs forPrototypePlus(const FunctionProtoType *prototype, unsigned additional, const FunctionDecl *FD)
Compute the arguments required by the given formal prototype, given that there may be some additional...
virtual llvm::Value * performReturnAdjustment(CodeGenFunction &CGF, Address Ret, const ReturnAdjustment &RA)=0
static ApplyDebugLocation CreateEmpty(CodeGenFunction &CGF)
Set the IRBuilder to not attach debug locations.
CodeGenVTables & getVTables()
CallArgList - Type for representing both the value and type of arguments in a call.
const CGFunctionInfo & arrangeCXXMethodCall(const CallArgList &args, const FunctionProtoType *type, RequiredArgs required, unsigned numPrefixArgs)
Arrange a call to a C++ method, passing the given arguments.
const LangOptions & getLangOpts() const
A pointer to the complete destructor.
A helper class of ConstantInitBuilder, used for building constant array initializers.
size_t getVTableOffset(size_t i) const
An entry that is never used.
virtual void setThunkLinkage(llvm::Function *Thunk, bool ForVTable, GlobalDecl GD, bool ReturnAdjustment)=0
SourceLocation getLocation() const
bool isExternallyVisible() const
void EmitVTable(CXXRecordDecl *Class)
This is a callback from Sema to tell us that a particular vtable is required to be emitted in this tr...
static OMPLinearClause * Create(const ASTContext &C, SourceLocation StartLoc, SourceLocation LParenLoc, OpenMPLinearClauseKind Modifier, SourceLocation ModifierLoc, SourceLocation ColonLoc, SourceLocation EndLoc, ArrayRef< Expr *> VL, ArrayRef< Expr *> PL, ArrayRef< Expr *> IL, Expr *Step, Expr *CalcStep, Stmt *PreInit, Expr *PostUpdate)
Creates clause with a list of variables VL and a linear step Step.
void EmitMustTailThunk(const CXXMethodDecl *MD, llvm::Value *AdjustedThisPtr, llvm::Value *Callee)
Emit a musttail call for a thunk with a potentially adjusted this pointer.
llvm::FunctionType * GetFunctionType(const CGFunctionInfo &Info)
GetFunctionType - Get the LLVM function type for.