21 #include "llvm/IR/IntrinsicInst.h" 22 #include "llvm/Support/Format.h" 23 #include "llvm/Transforms/Utils/Cloning.h" 27 using namespace clang;
28 using namespace CodeGen;
31 : CGM(CGM), VTContext(CGM.getContext().getVTableContext()) {}
35 return GetOrCreateLLVMFunction(Name, FnTy, GD,
true,
40 llvm::Function *ThunkFn,
bool ForVTable,
50 ThunkFn->setDLLStorageClass(llvm::GlobalValue::DefaultStorageClass);
51 ThunkFn->setDSOLocal(
true);
55 ThunkFn->setComdat(CGM.
getModule().getOrInsertComdat(ThunkFn->getName()));
63 (isa<PointerType>(typeL) && isa<PointerType>(typeR)) ||
64 (isa<ReferenceType>(typeL) && isa<ReferenceType>(typeR))));
74 llvm::BasicBlock *AdjustNull =
nullptr;
75 llvm::BasicBlock *AdjustNotNull =
nullptr;
76 llvm::BasicBlock *AdjustEnd =
nullptr;
86 CGF.
Builder.CreateCondBr(IsNull, AdjustNull, AdjustNotNull);
93 Address(ReturnValue, ClassAlign),
97 CGF.
Builder.CreateBr(AdjustEnd);
99 CGF.
Builder.CreateBr(AdjustEnd);
102 llvm::PHINode *PHI = CGF.
Builder.CreatePHI(ReturnValue->getType(), 2);
103 PHI->addIncoming(ReturnValue, AdjustNotNull);
104 PHI->addIncoming(llvm::Constant::getNullValue(ReturnValue->getType()),
118 llvm::ValueToValueMapTy &VMap) {
120 auto *DIS = Fn->getSubprogram();
123 auto *NewDIS = DIS->replaceWithDistinct(DIS->clone());
124 VMap.MD()[DIS].reset(NewDIS);
128 for (
auto &BB : Fn->getBasicBlockList()) {
130 if (
auto *DII = dyn_cast<llvm::DbgVariableIntrinsic>(&I)) {
131 auto *DILocal = DII->getVariable();
132 if (!DILocal->isResolved())
161 QualType ResultType = FPT->getReturnType();
167 llvm::Function *BaseFn = cast<llvm::Function>(Callee);
176 assert(!BaseFn->isDeclaration() &&
"cannot clone undefined variadic method");
179 llvm::ValueToValueMapTy VMap;
184 llvm::Function *NewFn = llvm::CloneFunction(BaseFn, VMap);
185 Fn->replaceAllUsesWith(NewFn);
187 Fn->eraseFromParent();
194 llvm::Function::arg_iterator AI = Fn->arg_begin();
201 llvm::BasicBlock *EntryBB = &Fn->front();
202 llvm::BasicBlock::iterator ThisStore =
203 std::find_if(EntryBB->begin(), EntryBB->end(), [&](llvm::Instruction &I) {
204 return isa<llvm::StoreInst>(I) &&
207 assert(ThisStore != EntryBB->end() &&
208 "Store of this should be in entry block?");
210 Builder.SetInsertPoint(&*ThisStore);
213 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr,
214 ThisStore->getOperand(0)->getType());
215 ThisStore->setOperand(0, AdjustedThisPtr);
219 for (llvm::BasicBlock &BB : *Fn) {
220 llvm::Instruction *T = BB.getTerminator();
221 if (isa<llvm::ReturnInst>(T)) {
223 T->eraseFromParent();
224 Builder.SetInsertPoint(&BB);
237 bool IsUnprototyped) {
238 assert(!CurGD.getDecl() &&
"CurGD was already set!");
240 CurFuncIsThunk =
true;
249 ResultType = ThisType;
260 if (!IsUnprototyped) {
263 if (isa<CXXDestructorDecl>(MD))
270 StartFunction(
GlobalDecl(), ResultType, Fn, FnInfo, FunctionArgs,
277 CXXThisValue = CXXABIThisValue;
285 CurCodeDecl =
nullptr;
286 CurFuncDecl =
nullptr;
293 bool IsUnprototyped) {
294 assert(isa<CXXMethodDecl>(CurGD.getDecl()) &&
295 "Please use a new CGF for this thunk");
296 const CXXMethodDecl *MD = cast<CXXMethodDecl>(CurGD.getDecl());
301 *
this, LoadCXXThisAddress(), Thunk->
This)
307 if (CurFnInfo->usesInAlloca() || CurFnInfo->isVariadic() || IsUnprototyped) {
311 MD,
"return-adjusting thunk with incomplete parameter type");
312 else if (CurFnInfo->isVariadic())
313 llvm_unreachable(
"shouldn't try to emit musttail return-adjusting " 314 "thunks for variadic functions");
317 MD,
"non-trivial argument copy for return-adjusting thunk");
319 EmitMustTailThunk(CurGD, AdjustedThisPtr, Callee);
328 if (isa<CXXDestructorDecl>(MD))
332 unsigned PrefixArgs = CallArgs.size() - 1;
343 assert(CallFnInfo.getRegParm() == CurFnInfo->getRegParm() &&
344 CallFnInfo.isNoReturn() == CurFnInfo->isNoReturn() &&
345 CallFnInfo.getCallingConvention() == CurFnInfo->getCallingConvention());
346 assert(isa<CXXDestructorDecl>(MD) ||
347 similar(CallFnInfo.getReturnInfo(), CallFnInfo.getReturnType(),
348 CurFnInfo->getReturnInfo(), CurFnInfo->getReturnType()));
349 assert(CallFnInfo.arg_size() == CurFnInfo->arg_size());
350 for (
unsigned i = 0, e = CurFnInfo->arg_size(); i != e; ++i)
351 assert(
similar(CallFnInfo.arg_begin()[i].info,
352 CallFnInfo.arg_begin()[i].type,
353 CurFnInfo->arg_begin()[i].info,
354 CurFnInfo->arg_begin()[i].type));
369 llvm::CallBase *CallOrInvoke;
371 CallArgs, &CallOrInvoke);
376 else if (llvm::CallInst* Call = dyn_cast<llvm::CallInst>(CallOrInvoke))
377 Call->setTailCallKind(llvm::CallInst::TCK_Tail);
384 AutoreleaseResult =
false;
391 llvm::FunctionCallee Callee) {
397 for (llvm::Argument &A : CurFn->args())
401 const ABIArgInfo &ThisAI = CurFnInfo->arg_begin()->info;
403 const ABIArgInfo &RetAI = CurFnInfo->getReturnInfo();
405 llvm::Type *ThisType = Args[ThisArgNo]->getType();
406 if (ThisType != AdjustedThisPtr->getType())
407 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr, ThisType);
408 Args[ThisArgNo] = AdjustedThisPtr;
410 assert(ThisAI.
isInAlloca() &&
"this is passed directly or inalloca");
411 Address ThisAddr = GetAddrOfLocalVar(CXXABIThisDecl);
412 llvm::Type *ThisType = ThisAddr.getElementType();
413 if (ThisType != AdjustedThisPtr->getType())
414 AdjustedThisPtr = Builder.CreateBitCast(AdjustedThisPtr, ThisType);
415 Builder.CreateStore(AdjustedThisPtr, ThisAddr);
420 llvm::CallInst *Call = Builder.CreateCall(Callee, Args);
421 Call->setTailCallKind(llvm::CallInst::TCK_MustTail);
425 llvm::AttributeList Attrs;
428 Call->setAttributes(Attrs);
429 Call->setCallingConv(static_cast<llvm::CallingConv::ID>(CallingConv));
431 if (Call->getType()->isVoidTy())
432 Builder.CreateRetVoid();
434 Builder.CreateRet(Call);
438 EmitBlock(createBasicBlock());
445 bool IsUnprototyped) {
446 StartThunk(Fn, GD, FnInfo, IsUnprototyped);
454 Ty = llvm::StructType::get(getLLVMContext());
462 Callee = llvm::ConstantExpr::getBitCast(Callee, Fn->getType());
465 EmitCallAndReturnForThunk(llvm::FunctionCallee(Fn->getFunctionType(), Callee),
466 &Thunk, IsUnprototyped);
470 bool IsUnprototyped,
bool ForVTable) {
487 llvm::Constant *CodeGenVTables::maybeEmitThunk(
GlobalDecl GD,
497 llvm::raw_svector_ostream Out(Name);
503 llvm::Constant *Thunk = CGM.
GetAddrOfThunk(Name, ThunkVTableTy, GD);
520 llvm::Function *ThunkFn = cast<llvm::Function>(Thunk->stripPointerCasts());
521 if (ThunkFn->getFunctionType() != ThunkFnTy) {
522 llvm::GlobalValue *OldThunkFn = ThunkFn;
524 assert(OldThunkFn->isDeclaration() &&
"Shouldn't replace non-declaration");
527 OldThunkFn->setName(StringRef());
533 if (!OldThunkFn->use_empty()) {
534 llvm::Constant *NewPtrForOldDecl =
535 llvm::ConstantExpr::getBitCast(ThunkFn, OldThunkFn->getType());
536 OldThunkFn->replaceAllUsesWith(NewPtrForOldDecl);
540 OldThunkFn->eraseFromParent();
544 bool UseAvailableExternallyLinkage = ForVTable && ABIHasKeyFunctions;
546 if (!ThunkFn->isDeclaration()) {
547 if (!ABIHasKeyFunctions || UseAvailableExternallyLinkage) {
561 ThunkFn->addFnAttr(
"thunk");
570 bool ShouldCloneVarArgs =
false;
571 if (!IsUnprototyped && ThunkFn->isVarArg()) {
572 ShouldCloneVarArgs =
true;
575 case llvm::Triple::x86_64:
576 case llvm::Triple::x86:
577 case llvm::Triple::aarch64:
578 ShouldCloneVarArgs =
false;
586 if (ShouldCloneVarArgs) {
587 if (UseAvailableExternallyLinkage)
611 if (!ThunkInfoVector)
614 for (
const ThunkInfo& Thunk : *ThunkInfoVector)
615 maybeEmitThunk(GD, Thunk,
false);
618 void CodeGenVTables::addVTableComponent(
620 unsigned idx, llvm::Constant *rtti,
unsigned &nextVTableThunkIndex) {
623 auto addOffsetConstant = [&](
CharUnits offset) {
624 builder.add(llvm::ConstantExpr::getIntToPtr(
625 llvm::ConstantInt::get(CGM.
PtrDiffTy, offset.getQuantity()),
629 switch (component.getKind()) {
631 return addOffsetConstant(component.getVCallOffset());
634 return addOffsetConstant(component.getVBaseOffset());
637 return addOffsetConstant(component.getOffsetToTop());
640 return builder.add(llvm::ConstantExpr::getBitCast(rtti, CGM.
Int8PtrTy));
648 switch (component.getKind()) {
650 llvm_unreachable(
"Unexpected vtable component kind");
652 GD = component.getFunctionDecl();
671 ? MD->
hasAttr<CUDADeviceAttr>()
672 : (MD->
hasAttr<CUDAHostAttr>() || !MD->
hasAttr<CUDADeviceAttr>());
674 return builder.addNullPointer(CGM.
Int8PtrTy);
678 auto getSpecialVirtualFn = [&](StringRef
name) {
679 llvm::FunctionType *fnTy =
680 llvm::FunctionType::get(CGM.
VoidTy,
false);
681 llvm::Constant *fn = cast<llvm::Constant>(
683 if (
auto f = dyn_cast<llvm::Function>(fn))
684 f->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
685 return llvm::ConstantExpr::getBitCast(fn, CGM.
Int8PtrTy);
688 llvm::Constant *fnPtr;
691 if (cast<CXXMethodDecl>(GD.
getDecl())->isPure()) {
695 fnPtr = PureVirtualFn;
698 }
else if (cast<CXXMethodDecl>(GD.
getDecl())->isDeleted()) {
699 if (!DeletedVirtualFn)
702 fnPtr = DeletedVirtualFn;
705 }
else if (nextVTableThunkIndex < layout.
vtable_thunks().size() &&
707 auto &thunkInfo = layout.
vtable_thunks()[nextVTableThunkIndex].second;
709 nextVTableThunkIndex++;
710 fnPtr = maybeEmitThunk(GD, thunkInfo,
true);
718 fnPtr = llvm::ConstantExpr::getBitCast(fnPtr, CGM.
Int8PtrTy);
724 return builder.addNullPointer(CGM.
Int8PtrTy);
727 llvm_unreachable(
"Unexpected vtable component kind");
732 for (
unsigned i = 0, e = layout.
getNumVTables(); i != e; ++i) {
741 llvm::Constant *rtti) {
742 unsigned nextVTableThunkIndex = 0;
743 for (
unsigned i = 0, e = layout.
getNumVTables(); i != e; ++i) {
747 for (
unsigned i = thisIndex; i != nextIndex; ++i) {
748 addVTableComponent(vtableElem, layout, i, rtti, nextVTableThunkIndex);
750 vtableElem.finishAndAddTo(builder);
754 llvm::GlobalVariable *
758 llvm::GlobalVariable::LinkageTypes
Linkage,
759 VTableAddressPointsMapTy& AddressPoints) {
761 DI->completeClassData(Base.
getBase());
763 std::unique_ptr<VTableLayout> VTLayout(
768 AddressPoints = VTLayout->getAddressPoints();
772 llvm::raw_svector_ostream Out(OutName);
776 StringRef Name = OutName.str();
785 if (Linkage == llvm::GlobalVariable::AvailableExternallyLinkage)
788 unsigned Align = CGM.
getDataLayout().getABITypeAlignment(VTType);
791 llvm::GlobalVariable *VTable =
795 VTable->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
804 components.finishAndSetAsInitializer(VTable);
808 assert(!VTable->isDeclaration() &&
"Shouldn't set properties on declaration");
825 llvm::GlobalVariable::LinkageTypes
833 if (keyFunction && !RD->
hasAttr<DLLImportAttr>()) {
838 keyFunction = cast<CXXMethodDecl>(def);
843 assert((def || CodeGenOpts.OptimizationLevel > 0 ||
845 "Shouldn't query vtable linkage without key function, " 846 "optimizations, or debug info");
847 if (!def && CodeGenOpts.OptimizationLevel > 0)
848 return llvm::GlobalVariable::AvailableExternallyLinkage;
852 llvm::GlobalVariable::LinkOnceODRLinkage :
859 llvm::GlobalVariable::LinkOnceODRLinkage :
864 llvm::GlobalVariable::WeakODRLinkage :
868 llvm_unreachable(
"Should not have been asked to emit this");
877 llvm::GlobalVariable::LinkageTypes DiscardableODRLinkage =
878 llvm::GlobalValue::LinkOnceODRLinkage;
879 llvm::GlobalVariable::LinkageTypes NonDiscardableODRLinkage =
880 llvm::GlobalValue::WeakODRLinkage;
881 if (RD->
hasAttr<DLLExportAttr>()) {
883 DiscardableODRLinkage = NonDiscardableODRLinkage;
884 }
else if (RD->
hasAttr<DLLImportAttr>()) {
886 DiscardableODRLinkage = llvm::GlobalVariable::AvailableExternallyLinkage;
887 NonDiscardableODRLinkage = llvm::GlobalVariable::AvailableExternallyLinkage;
894 return DiscardableODRLinkage;
899 if (getTarget().getCXXABI().isMicrosoft())
900 return DiscardableODRLinkage;
902 ? llvm::GlobalVariable::AvailableExternallyLinkage
906 return NonDiscardableODRLinkage;
909 llvm_unreachable(
"Invalid TemplateSpecializationKind!");
919 VTables.GenerateClassData(theClass);
925 DI->completeClassData(RD);
944 assert(RD->
isDynamicClass() &&
"Non-dynamic classes have no VTable.");
971 return !keyFunction->
hasBody();
990 void CodeGenModule::EmitDeferredVTables() {
994 size_t savedSize = DeferredVTables.size();
999 VTables.GenerateClassData(RD);
1000 else if (shouldOpportunisticallyEmitVTables())
1001 OpportunisticVTables.push_back(RD);
1003 assert(savedSize == DeferredVTables.size() &&
1004 "deferred extra vtables during vtable emission?");
1005 DeferredVTables.clear();
1013 if (RD->
hasAttr<LTOVisibilityPublicAttr>() || RD->
hasAttr<UuidAttr>())
1016 if (getTriple().isOSBinFormatCOFF()) {
1017 if (RD->
hasAttr<DLLExportAttr>() || RD->
hasAttr<DLLImportAttr>())
1024 if (getCodeGenOpts().LTOVisibilityPublicStd) {
1027 auto *D = cast<Decl>(DC);
1029 if (isa<TranslationUnitDecl>(DC->getRedeclContext())) {
1030 if (
auto *ND = dyn_cast<NamespaceDecl>(D))
1032 if (II->isStr(
"std") || II->isStr(
"stdext"))
1042 llvm::GlobalObject::VCallVisibility
1045 llvm::GlobalObject::VCallVisibility TypeVis;
1047 TypeVis = llvm::GlobalObject::VCallVisibilityTranslationUnit;
1048 else if (HasHiddenLTOVisibility(RD))
1049 TypeVis = llvm::GlobalObject::VCallVisibilityLinkageUnit;
1051 TypeVis = llvm::GlobalObject::VCallVisibilityPublic;
1053 for (
auto B : RD->
bases())
1054 if (B.getType()->getAsCXXRecordDecl()->isDynamicClass())
1056 GetVCallVisibilityLevel(B.getType()->getAsCXXRecordDecl()));
1058 for (
auto B : RD->
vbases())
1059 if (B.getType()->getAsCXXRecordDecl()->isDynamicClass())
1061 GetVCallVisibilityLevel(B.getType()->getAsCXXRecordDecl()));
1067 llvm::GlobalVariable *VTable,
1069 if (!getCodeGenOpts().LTOUnit)
1075 typedef std::pair<const CXXRecordDecl *, unsigned> AddressPoint;
1076 std::vector<AddressPoint> AddressPoints;
1078 AddressPoints.push_back(std::make_pair(
1080 AP.second.AddressPointIndex));
1083 llvm::sort(AddressPoints, [
this](
const AddressPoint &AP1,
1084 const AddressPoint &AP2) {
1089 llvm::raw_string_ostream O1(S1);
1090 getCXXABI().getMangleContext().mangleTypeName(
1091 QualType(AP1.first->getTypeForDecl(), 0), O1);
1095 llvm::raw_string_ostream O2(S2);
1096 getCXXABI().getMangleContext().mangleTypeName(
1097 QualType(AP2.first->getTypeForDecl(), 0), O2);
1105 return AP1.second < AP2.second;
1109 for (
auto AP : AddressPoints) {
1111 AddVTableTypeMetadata(VTable, PointerWidth * AP.second, AP.first);
1117 for (
unsigned I = 0; I != Comps.size(); ++I) {
1120 llvm::Metadata *MD = CreateMetadataIdentifierForVirtualMemPtrType(
1122 Comps[I].getFunctionDecl()->getType(),
1124 VTable->addTypeMetadata((PointerWidth * I).getQuantity(), MD);
1128 if (getCodeGenOpts().VirtualFunctionElimination) {
1129 llvm::GlobalObject::VCallVisibility TypeVis = GetVCallVisibilityLevel(RD);
1130 if (TypeVis != llvm::GlobalObject::VCallVisibilityPublic)
1131 VTable->addVCallVisibilityMetadata(TypeVis);
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
Return 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...
bool isDefined(const FunctionDecl *&Definition) const
Returns true if the function has a definition that does not need to be instantiated.
void StartThunk(llvm::Function *Fn, GlobalDecl GD, const CGFunctionInfo &FnInfo, bool IsUnprototyped)
bool ReturnValue(const T &V, APValue &R)
Convers a value to an APValue.
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
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()
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.
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.
void EmitCallAndReturnForThunk(llvm::FunctionCallee Callee, const ThunkInfo *Thunk, bool IsUnprototyped)
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.
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.
This template specialization was instantiated from a template due to an explicit instantiation declar...
const CXXRecordDecl * getParent() const
Return 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...
static RequiredArgs forPrototypePlus(const FunctionProtoType *prototype, unsigned additional)
Compute the arguments required by the given formal prototype, given that there may be some additional...
void EmitVTableTypeMetadata(const CXXRecordDecl *RD, llvm::GlobalVariable *VTable, const VTableLayout &VTLayout)
Emit type metadata for the given vtable using the given layout.
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...
llvm::FunctionCallee CreateRuntimeFunction(llvm::FunctionType *Ty, StringRef Name, llvm::AttributeList ExtraAttrs=llvm::AttributeList(), bool Local=false)
Create or return a runtime function declaration with the specified type and name. ...
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::GlobalObject::VCallVisibility GetVCallVisibilityLevel(const CXXRecordDecl *RD)
Returns the vcall visibility of the given type.
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
__DEVICE__ int min(int __a, int __b)
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)
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()
void EmitMustTailThunk(GlobalDecl GD, llvm::Value *AdjustedThisPtr, llvm::FunctionCallee Callee)
Emit a musttail call for a thunk with a potentially adjusted this pointer.
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
base_class_range vbases()
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.
const llvm::Triple & getTriple() const