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::DbgVariableIntrinsic>(&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(CurGD, 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));
357 llvm::Instruction *CallOrInvoke;
359 RValue RV = EmitCall(*CurFnInfo, Callee, Slot, CallArgs, &CallOrInvoke);
364 else if (llvm::CallInst* Call = dyn_cast<llvm::CallInst>(CallOrInvoke))
365 Call->setTailCallKind(llvm::CallInst::TCK_Tail);
372 AutoreleaseResult =
false;
385 for (llvm::Argument &A : CurFn->args())
389 const ABIArgInfo &ThisAI = CurFnInfo->arg_begin()->info;
391 const ABIArgInfo &RetAI = CurFnInfo->getReturnInfo();
393 llvm::Type *ThisType = Args[ThisArgNo]->getType();
394 if (ThisType != AdjustedThisPtr->getType())
395 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr, ThisType);
396 Args[ThisArgNo] = AdjustedThisPtr;
398 assert(ThisAI.
isInAlloca() &&
"this is passed directly or inalloca");
399 Address ThisAddr = GetAddrOfLocalVar(CXXABIThisDecl);
400 llvm::Type *ThisType = ThisAddr.getElementType();
401 if (ThisType != AdjustedThisPtr->getType())
402 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr, ThisType);
403 Builder.CreateStore(AdjustedThisPtr, ThisAddr);
408 llvm::CallInst *Call = Builder.CreateCall(CalleePtr, Args);
409 Call->setTailCallKind(llvm::CallInst::TCK_MustTail);
413 llvm::AttributeList Attrs;
416 Call->setAttributes(Attrs);
417 Call->setCallingConv(static_cast<llvm::CallingConv::ID>(CallingConv));
419 if (Call->getType()->isVoidTy())
420 Builder.CreateRetVoid();
422 Builder.CreateRet(Call);
426 EmitBlock(createBasicBlock());
433 bool IsUnprototyped) {
434 StartThunk(Fn, GD, FnInfo, IsUnprototyped);
442 Ty = llvm::StructType::get(getLLVMContext());
450 Callee = llvm::ConstantExpr::getBitCast(Callee, Fn->getType());
453 EmitCallAndReturnForThunk(Callee, &Thunk, IsUnprototyped);
457 bool IsUnprototyped,
bool ForVTable) {
474 llvm::Constant *CodeGenVTables::maybeEmitThunk(
GlobalDecl GD,
484 llvm::raw_svector_ostream Out(Name);
490 llvm::Constant *Thunk = CGM.
GetAddrOfThunk(Name, ThunkVTableTy, GD);
507 llvm::Function *ThunkFn = cast<llvm::Function>(Thunk->stripPointerCasts());
508 if (ThunkFn->getFunctionType() != ThunkFnTy) {
509 llvm::GlobalValue *OldThunkFn = ThunkFn;
511 assert(OldThunkFn->isDeclaration() &&
"Shouldn't replace non-declaration");
514 OldThunkFn->setName(StringRef());
520 if (!OldThunkFn->use_empty()) {
521 llvm::Constant *NewPtrForOldDecl =
522 llvm::ConstantExpr::getBitCast(ThunkFn, OldThunkFn->getType());
523 OldThunkFn->replaceAllUsesWith(NewPtrForOldDecl);
527 OldThunkFn->eraseFromParent();
531 bool UseAvailableExternallyLinkage = ForVTable && ABIHasKeyFunctions;
533 if (!ThunkFn->isDeclaration()) {
534 if (!ABIHasKeyFunctions || UseAvailableExternallyLinkage) {
548 ThunkFn->addFnAttr(
"thunk");
552 if (!IsUnprototyped && ThunkFn->isVarArg()) {
558 if (UseAvailableExternallyLinkage)
582 if (!ThunkInfoVector)
585 for (
const ThunkInfo& Thunk : *ThunkInfoVector)
586 maybeEmitThunk(GD, Thunk,
false);
589 void CodeGenVTables::addVTableComponent(
591 unsigned idx, llvm::Constant *rtti,
unsigned &nextVTableThunkIndex) {
594 auto addOffsetConstant = [&](
CharUnits offset) {
595 builder.add(llvm::ConstantExpr::getIntToPtr(
596 llvm::ConstantInt::get(CGM.
PtrDiffTy, offset.getQuantity()),
600 switch (component.getKind()) {
602 return addOffsetConstant(component.getVCallOffset());
605 return addOffsetConstant(component.getVBaseOffset());
608 return addOffsetConstant(component.getOffsetToTop());
611 return builder.add(llvm::ConstantExpr::getBitCast(rtti, CGM.
Int8PtrTy));
619 switch (component.getKind()) {
621 llvm_unreachable(
"Unexpected vtable component kind");
623 GD = component.getFunctionDecl();
642 ? MD->
hasAttr<CUDADeviceAttr>()
643 : (MD->
hasAttr<CUDAHostAttr>() || !MD->
hasAttr<CUDADeviceAttr>());
645 return builder.addNullPointer(CGM.
Int8PtrTy);
649 auto getSpecialVirtualFn = [&](StringRef name) {
650 llvm::FunctionType *fnTy =
651 llvm::FunctionType::get(CGM.
VoidTy,
false);
653 if (
auto f = dyn_cast<llvm::Function>(fn))
654 f->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
655 return llvm::ConstantExpr::getBitCast(fn, CGM.
Int8PtrTy);
658 llvm::Constant *fnPtr;
661 if (cast<CXXMethodDecl>(GD.
getDecl())->isPure()) {
665 fnPtr = PureVirtualFn;
668 }
else if (cast<CXXMethodDecl>(GD.
getDecl())->isDeleted()) {
669 if (!DeletedVirtualFn)
672 fnPtr = DeletedVirtualFn;
675 }
else if (nextVTableThunkIndex < layout.
vtable_thunks().size() &&
677 auto &thunkInfo = layout.
vtable_thunks()[nextVTableThunkIndex].second;
679 nextVTableThunkIndex++;
680 fnPtr = maybeEmitThunk(GD, thunkInfo,
true);
688 fnPtr = llvm::ConstantExpr::getBitCast(fnPtr, CGM.
Int8PtrTy);
694 return builder.addNullPointer(CGM.
Int8PtrTy);
697 llvm_unreachable(
"Unexpected vtable component kind");
702 for (
unsigned i = 0, e = layout.
getNumVTables(); i != e; ++i) {
711 llvm::Constant *rtti) {
712 unsigned nextVTableThunkIndex = 0;
713 for (
unsigned i = 0, e = layout.
getNumVTables(); i != e; ++i) {
717 for (
unsigned i = thisIndex; i != nextIndex; ++i) {
718 addVTableComponent(vtableElem, layout, i, rtti, nextVTableThunkIndex);
720 vtableElem.finishAndAddTo(builder);
724 llvm::GlobalVariable *
728 llvm::GlobalVariable::LinkageTypes
Linkage,
729 VTableAddressPointsMapTy& AddressPoints) {
731 DI->completeClassData(Base.
getBase());
733 std::unique_ptr<VTableLayout> VTLayout(
738 AddressPoints = VTLayout->getAddressPoints();
742 llvm::raw_svector_ostream Out(OutName);
746 StringRef Name = OutName.str();
755 if (Linkage == llvm::GlobalVariable::AvailableExternallyLinkage)
758 unsigned Align = CGM.
getDataLayout().getABITypeAlignment(VTType);
761 llvm::GlobalVariable *VTable =
766 VTable->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
775 components.finishAndSetAsInitializer(VTable);
791 llvm::GlobalVariable::LinkageTypes
799 if (keyFunction && !RD->
hasAttr<DLLImportAttr>()) {
804 keyFunction = cast<CXXMethodDecl>(def);
809 assert((def || CodeGenOpts.OptimizationLevel > 0 ||
811 "Shouldn't query vtable linkage without key function, " 812 "optimizations, or debug info");
813 if (!def && CodeGenOpts.OptimizationLevel > 0)
814 return llvm::GlobalVariable::AvailableExternallyLinkage;
818 llvm::GlobalVariable::LinkOnceODRLinkage :
825 llvm::GlobalVariable::LinkOnceODRLinkage :
830 llvm::GlobalVariable::WeakODRLinkage :
834 llvm_unreachable(
"Should not have been asked to emit this");
843 llvm::GlobalVariable::LinkageTypes DiscardableODRLinkage =
844 llvm::GlobalValue::LinkOnceODRLinkage;
845 llvm::GlobalVariable::LinkageTypes NonDiscardableODRLinkage =
846 llvm::GlobalValue::WeakODRLinkage;
847 if (RD->
hasAttr<DLLExportAttr>()) {
849 DiscardableODRLinkage = NonDiscardableODRLinkage;
850 }
else if (RD->
hasAttr<DLLImportAttr>()) {
852 DiscardableODRLinkage = llvm::GlobalVariable::AvailableExternallyLinkage;
853 NonDiscardableODRLinkage = llvm::GlobalVariable::AvailableExternallyLinkage;
860 return DiscardableODRLinkage;
865 if (getTarget().getCXXABI().isMicrosoft())
866 return DiscardableODRLinkage;
868 ? llvm::GlobalVariable::AvailableExternallyLinkage
872 return NonDiscardableODRLinkage;
875 llvm_unreachable(
"Invalid TemplateSpecializationKind!");
885 VTables.GenerateClassData(theClass);
891 DI->completeClassData(RD);
910 assert(RD->
isDynamicClass() &&
"Non-dynamic classes have no VTable.");
937 return !keyFunction->
hasBody();
956 void CodeGenModule::EmitDeferredVTables() {
960 size_t savedSize = DeferredVTables.size();
965 VTables.GenerateClassData(RD);
966 else if (shouldOpportunisticallyEmitVTables())
967 OpportunisticVTables.push_back(RD);
969 assert(savedSize == DeferredVTables.size() &&
970 "deferred extra vtables during vtable emission?");
971 DeferredVTables.clear();
979 if (RD->
hasAttr<LTOVisibilityPublicAttr>() || RD->
hasAttr<UuidAttr>())
982 if (getTriple().isOSBinFormatCOFF()) {
990 if (getCodeGenOpts().LTOVisibilityPublicStd) {
993 auto *D = cast<Decl>(DC);
995 if (isa<TranslationUnitDecl>(DC->getRedeclContext())) {
996 if (
auto *ND = dyn_cast<NamespaceDecl>(D))
998 if (II->isStr(
"std") || II->isStr(
"stdext"))
1010 if (!getCodeGenOpts().LTOUnit)
1016 typedef std::pair<const CXXRecordDecl *, unsigned> AddressPoint;
1017 std::vector<AddressPoint> AddressPoints;
1019 AddressPoints.push_back(std::make_pair(
1021 AP.second.AddressPointIndex));
1024 llvm::sort(AddressPoints, [
this](
const AddressPoint &AP1,
1025 const AddressPoint &AP2) {
1030 llvm::raw_string_ostream O1(S1);
1031 getCXXABI().getMangleContext().mangleTypeName(
1032 QualType(AP1.first->getTypeForDecl(), 0), O1);
1036 llvm::raw_string_ostream O2(S2);
1037 getCXXABI().getMangleContext().mangleTypeName(
1038 QualType(AP2.first->getTypeForDecl(), 0), O2);
1046 return AP1.second < AP2.second;
1050 for (
auto AP : AddressPoints) {
1052 AddVTableTypeMetadata(VTable, PointerWidth * AP.second, AP.first);
1058 for (
unsigned I = 0; I != Comps.size(); ++I) {
1061 llvm::Metadata *MD = CreateMetadataIdentifierForVirtualMemPtrType(
1063 Comps[I].getFunctionDecl()->getType(),
1065 VTable->addTypeMetadata((PointerWidth * I).getQuantity(), MD);
const llvm::DataLayout & getDataLayout() const
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...
void SetLLVMFunctionAttributes(GlobalDecl GD, const CGFunctionInfo &Info, llvm::Function *F)
Set the LLVM function attributes (sext, zext, etc).
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.
QualType getThisType() const
Returns the type of the this pointer.
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
void EmitMustTailThunk(GlobalDecl GD, llvm::Value *AdjustedThisPtr, llvm::Value *Callee)
Emit a musttail call for a thunk with a potentially adjusted this pointer.
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
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 ...
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.
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
llvm::GlobalVariable * CreateOrReplaceCXXRuntimeVariable(StringRef Name, llvm::Type *Ty, llvm::GlobalValue::LinkageTypes Linkage, unsigned Alignment)
Will return a global variable of the given type.
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.
llvm::FunctionType * GetFunctionType(const CGFunctionInfo &Info)
GetFunctionType - Get the LLVM function type for.