33#include "llvm/IR/DataLayout.h"
34#include "llvm/IR/GlobalValue.h"
35#include "llvm/IR/Instructions.h"
36#include "llvm/IR/Intrinsics.h"
37#include "llvm/IR/Value.h"
38#include "llvm/Support/ScopedPrinter.h"
48 llvm::DenseMap<const CXXRecordDecl *, llvm::GlobalVariable *> VTables;
51 llvm::SmallVector<std::pair<const VarDecl *, llvm::Function *>, 8>
55 bool UseARMMethodPtrABI;
56 bool UseARMGuardVarABI;
57 bool Use32BitVTableOffsetABI;
59 ItaniumMangleContext &getMangleContext() {
64 ItaniumCXXABI(CodeGen::CodeGenModule &CGM,
65 bool UseARMMethodPtrABI =
false,
66 bool UseARMGuardVarABI =
false) :
67 CGCXXABI(CGM), UseARMMethodPtrABI(UseARMMethodPtrABI),
68 UseARMGuardVarABI(UseARMGuardVarABI),
69 Use32BitVTableOffsetABI(
false) { }
80 bool isThisCompleteObject(GlobalDecl GD)
const override {
93 llvm_unreachable(
"emitting dtor comdat as function?");
95 llvm_unreachable(
"emitting unified dtor as function?");
97 llvm_unreachable(
"unexpected dtor kind for this ABI");
99 llvm_unreachable(
"bad dtor kind");
111 llvm_unreachable(
"closure ctors in Itanium ABI?");
114 llvm_unreachable(
"emitting ctor comdat as function?");
117 llvm_unreachable(
"emitting unified ctor as function?");
119 llvm_unreachable(
"bad dtor kind");
126 bool isZeroInitializable(
const MemberPointerType *MPT)
override;
128 llvm::Type *ConvertMemberPointerType(
const MemberPointerType *MPT)
override;
131 EmitLoadOfMemberFunctionPointer(CodeGenFunction &CGF,
134 llvm::Value *&ThisPtrForCall,
135 llvm::Value *MemFnPtr,
136 const MemberPointerType *MPT)
override;
138 llvm::Value *EmitMemberDataPointerAddress(CodeGenFunction &CGF,
const Expr *E,
139 Address Base, llvm::Value *MemPtr,
140 const MemberPointerType *MPT,
141 bool IsInBounds)
override;
143 llvm::Value *EmitMemberPointerConversion(CodeGenFunction &CGF,
145 llvm::Value *Src)
override;
146 llvm::Constant *EmitMemberPointerConversion(
const CastExpr *E,
147 llvm::Constant *Src)
override;
149 llvm::Constant *EmitNullMemberPointer(
const MemberPointerType *MPT)
override;
151 llvm::Constant *EmitMemberFunctionPointer(
const CXXMethodDecl *MD)
override;
152 llvm::Constant *EmitMemberDataPointer(
const MemberPointerType *MPT,
153 CharUnits offset)
override;
154 llvm::Constant *EmitMemberPointer(
const APValue &MP, QualType MPT)
override;
155 llvm::Constant *BuildMemberPointer(
const CXXMethodDecl *MD,
156 CharUnits ThisAdjustment);
158 llvm::Value *EmitMemberPointerComparison(CodeGenFunction &CGF,
159 llvm::Value *L, llvm::Value *R,
160 const MemberPointerType *MPT,
161 bool Inequality)
override;
163 llvm::Value *EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
165 const MemberPointerType *MPT)
override;
167 void emitVirtualObjectDelete(CodeGenFunction &CGF,
const CXXDeleteExpr *DE,
168 Address Ptr, QualType ElementType,
169 const CXXDestructorDecl *Dtor)
override;
171 void emitRethrow(CodeGenFunction &CGF,
bool isNoReturn)
override;
172 void emitThrow(CodeGenFunction &CGF,
const CXXThrowExpr *E)
override;
174 void emitBeginCatch(CodeGenFunction &CGF,
const CXXCatchStmt *
C)
override;
177 emitTerminateForUnexpectedException(CodeGenFunction &CGF,
178 llvm::Value *Exn)
override;
180 void EmitFundamentalRTTIDescriptors(
const CXXRecordDecl *RD);
181 llvm::Constant *getAddrOfRTTIDescriptor(QualType Ty)
override;
183 getAddrOfCXXCatchHandlerType(QualType Ty,
184 QualType CatchHandlerType)
override {
185 return CatchTypeInfo{getAddrOfRTTIDescriptor(Ty), 0};
188 bool shouldTypeidBeNullChecked(QualType SrcRecordTy)
override;
189 void EmitBadTypeidCall(CodeGenFunction &CGF)
override;
190 llvm::Value *EmitTypeid(CodeGenFunction &CGF, QualType SrcRecordTy,
192 llvm::Type *StdTypeInfoPtrTy)
override;
194 bool shouldDynamicCastCallBeNullChecked(
bool SrcIsPtr,
195 QualType SrcRecordTy)
override;
201 bool hasUniqueVTablePointer(QualType RecordTy) {
206 if (!CGM.getCodeGenOpts().AssumeUniqueVTables ||
207 getContext().getLangOpts().AppleKext)
212 if (!CGM.shouldEmitRTTI())
217 if (!llvm::GlobalValue::isWeakForLinker(CGM.getVTableLinkage(RD)))
226 llvm::GlobalValue::DefaultVisibility)
232 bool shouldEmitExactDynamicCast(QualType DestRecordTy)
override {
233 return hasUniqueVTablePointer(DestRecordTy);
236 std::optional<ExactDynamicCastInfo>
237 getExactDynamicCastInfo(QualType SrcRecordTy, QualType DestTy,
238 QualType DestRecordTy)
override;
240 llvm::Value *emitDynamicCastCall(CodeGenFunction &CGF, Address
Value,
241 QualType SrcRecordTy, QualType DestTy,
242 QualType DestRecordTy,
243 llvm::BasicBlock *CastEnd)
override;
246 QualType SrcRecordTy, QualType DestTy,
247 QualType DestRecordTy,
248 const ExactDynamicCastInfo &CastInfo,
249 llvm::BasicBlock *CastSuccess,
250 llvm::BasicBlock *CastFail)
override;
253 QualType SrcRecordTy)
override;
255 bool EmitBadCastCall(CodeGenFunction &CGF)
override;
258 GetVirtualBaseClassOffset(CodeGenFunction &CGF, Address This,
259 const CXXRecordDecl *ClassDecl,
260 const CXXRecordDecl *BaseClassDecl)
override;
262 void EmitCXXConstructors(
const CXXConstructorDecl *D)
override;
264 AddedStructorArgCounts
265 buildStructorSignature(GlobalDecl GD,
266 SmallVectorImpl<CanQualType> &ArgTys)
override;
268 bool useThunkForDtorVariant(
const CXXDestructorDecl *Dtor,
276 void EmitCXXDestructors(
const CXXDestructorDecl *D)
override;
278 void addImplicitStructorParams(CodeGenFunction &CGF, QualType &ResTy,
279 FunctionArgList &Params)
override;
281 void EmitInstanceFunctionProlog(CodeGenFunction &CGF)
override;
283 AddedStructorArgs getImplicitConstructorArgs(CodeGenFunction &CGF,
284 const CXXConstructorDecl *D,
290 const CXXDestructorDecl *DD,
295 void EmitDestructorCall(CodeGenFunction &CGF,
const CXXDestructorDecl *DD,
298 QualType ThisTy)
override;
300 void emitVTableDefinitions(CodeGenVTables &CGVT,
301 const CXXRecordDecl *RD)
override;
303 bool isVirtualOffsetNeededForVTableField(CodeGenFunction &CGF,
304 CodeGenFunction::VPtr Vptr)
override;
306 bool doStructorsInitializeVPtrs(
const CXXRecordDecl *VTableClass)
override {
311 getVTableAddressPoint(BaseSubobject Base,
312 const CXXRecordDecl *VTableClass)
override;
314 llvm::Value *getVTableAddressPointInStructor(
315 CodeGenFunction &CGF,
const CXXRecordDecl *VTableClass,
316 BaseSubobject Base,
const CXXRecordDecl *NearestVBase)
override;
318 llvm::Value *getVTableAddressPointInStructorWithVTT(
319 CodeGenFunction &CGF,
const CXXRecordDecl *VTableClass,
320 BaseSubobject Base,
const CXXRecordDecl *NearestVBase);
322 llvm::GlobalVariable *getAddrOfVTable(
const CXXRecordDecl *RD,
323 CharUnits VPtrOffset)
override;
325 CGCallee getVirtualFunctionPointer(CodeGenFunction &CGF, GlobalDecl GD,
326 Address This, llvm::Type *Ty,
327 SourceLocation Loc)
override;
330 EmitVirtualDestructorCall(CodeGenFunction &CGF,
const CXXDestructorDecl *Dtor,
332 DeleteOrMemberCallExpr E,
333 llvm::CallBase **CallOrInvoke)
override;
335 void emitVirtualInheritanceTables(
const CXXRecordDecl *RD)
override;
337 bool canSpeculativelyEmitVTable(
const CXXRecordDecl *RD)
const override;
338 bool canSpeculativelyEmitVTableAsBaseClass(
const CXXRecordDecl *RD)
const;
340 void setThunkLinkage(llvm::Function *Thunk,
bool ForVTable, GlobalDecl GD,
341 bool ReturnAdjustment)
override {
344 if (ForVTable && !Thunk->hasLocalLinkage())
345 Thunk->setLinkage(llvm::GlobalValue::AvailableExternallyLinkage);
346 CGM.setGVProperties(Thunk, GD);
349 bool exportThunk()
override {
return true; }
351 llvm::Value *performThisAdjustment(CodeGenFunction &CGF, Address This,
352 const CXXRecordDecl *UnadjustedThisClass,
353 const ThunkInfo &TI)
override;
355 llvm::Value *performReturnAdjustment(CodeGenFunction &CGF, Address Ret,
356 const CXXRecordDecl *UnadjustedRetClass,
357 const ReturnAdjustment &RA)
override;
359 size_t getSrcArgforCopyCtor(
const CXXConstructorDecl *,
360 FunctionArgList &Args)
const override {
361 assert(!Args.empty() &&
"expected the arglist to not be empty!");
362 return Args.size() - 1;
365 StringRef GetPureVirtualCallName()
override {
return "__cxa_pure_virtual"; }
366 StringRef GetDeletedVirtualCallName()
override
367 {
return "__cxa_deleted_virtual"; }
369 CharUnits getArrayCookieSizeImpl(QualType elementType)
override;
370 Address InitializeArrayCookie(CodeGenFunction &CGF,
372 llvm::Value *NumElements,
373 const CXXNewExpr *
expr,
374 QualType ElementType)
override;
375 llvm::Value *readArrayCookieImpl(CodeGenFunction &CGF,
377 CharUnits cookieSize)
override;
379 void EmitGuardedInit(CodeGenFunction &CGF,
const VarDecl &D,
380 llvm::GlobalVariable *DeclPtr,
381 bool PerformInit)
override;
382 void registerGlobalDtor(CodeGenFunction &CGF,
const VarDecl &D,
383 llvm::FunctionCallee dtor,
384 llvm::Constant *addr)
override;
386 llvm::Function *getOrCreateThreadLocalWrapper(
const VarDecl *VD,
388 void EmitThreadLocalInitFuncs(
390 ArrayRef<const VarDecl *> CXXThreadLocals,
391 ArrayRef<llvm::Function *> CXXThreadLocalInits,
392 ArrayRef<const VarDecl *> CXXThreadLocalInitVars)
override;
394 bool usesThreadWrapperFunction(
const VarDecl *VD)
const override {
395 return !isEmittedWithConstantInitializer(VD) ||
396 mayNeedDestruction(VD);
398 LValue EmitThreadLocalVarDeclLValue(CodeGenFunction &CGF,
const VarDecl *VD,
399 QualType LValType)
override;
401 bool NeedsVTTParameter(GlobalDecl GD)
override;
404 getOrCreateVirtualFunctionPointerThunk(
const CXXMethodDecl *MD);
411 virtual bool shouldRTTIBeUnique()
const {
return true; }
415 enum RTTIUniquenessKind {
433 classifyRTTIUniqueness(QualType CanTy,
434 llvm::GlobalValue::LinkageTypes
Linkage)
const;
435 friend class ItaniumRTTIBuilder;
437 void emitCXXStructor(GlobalDecl GD)
override;
439 std::pair<llvm::Value *, const CXXRecordDecl *>
440 LoadVTablePtr(CodeGenFunction &CGF, Address This,
441 const CXXRecordDecl *RD)
override;
445 getSignedVirtualMemberFunctionPointer(
const CXXMethodDecl *MD);
447 bool hasAnyUnusedVirtualInlineFunction(
const CXXRecordDecl *RD)
const {
448 const auto &VtableLayout =
449 CGM.getItaniumVTableContext().getVTableLayout(RD);
451 for (
const auto &VtableComponent : VtableLayout.vtable_components()) {
453 if (!VtableComponent.isUsedFunctionPointerKind())
456 const CXXMethodDecl *
Method = VtableComponent.getFunctionDecl();
457 const FunctionDecl *FD =
Method->getDefinition();
458 const bool IsInlined =
463 StringRef Name = CGM.getMangledName(
464 VtableComponent.getGlobalDecl(
false));
465 auto *Entry = CGM.GetGlobalValue(Name);
471 if (!Entry || Entry->isDeclaration())
477 bool isVTableHidden(
const CXXRecordDecl *RD)
const {
478 const auto &VtableLayout =
479 CGM.getItaniumVTableContext().getVTableLayout(RD);
481 for (
const auto &VtableComponent : VtableLayout.vtable_components()) {
482 if (VtableComponent.isRTTIKind()) {
483 const CXXRecordDecl *RTTIDecl = VtableComponent.getRTTIDecl();
484 if (RTTIDecl->
getVisibility() == Visibility::HiddenVisibility)
486 }
else if (VtableComponent.isUsedFunctionPointerKind()) {
487 const CXXMethodDecl *
Method = VtableComponent.getFunctionDecl();
488 if (
Method->getVisibility() == Visibility::HiddenVisibility &&
497class ARMCXXABI :
public ItaniumCXXABI {
499 ARMCXXABI(CodeGen::CodeGenModule &CGM) :
500 ItaniumCXXABI(CGM,
true,
503 bool constructorsAndDestructorsReturnThis()
const override {
return true; }
505 void EmitReturnFromThunk(CodeGenFunction &CGF, RValue RV,
506 QualType ResTy)
override;
508 CharUnits getArrayCookieSizeImpl(QualType elementType)
override;
509 Address InitializeArrayCookie(CodeGenFunction &CGF,
511 llvm::Value *NumElements,
512 const CXXNewExpr *
expr,
513 QualType ElementType)
override;
514 llvm::Value *readArrayCookieImpl(CodeGenFunction &CGF, Address allocPtr,
515 CharUnits cookieSize)
override;
518class AppleARM64CXXABI :
public ARMCXXABI {
520 AppleARM64CXXABI(CodeGen::CodeGenModule &CGM) : ARMCXXABI(CGM) {
521 Use32BitVTableOffsetABI =
true;
525 bool shouldRTTIBeUnique()
const override {
return false; }
528class FuchsiaCXXABI final :
public ItaniumCXXABI {
530 explicit FuchsiaCXXABI(CodeGen::CodeGenModule &CGM)
531 : ItaniumCXXABI(CGM) {}
534 bool constructorsAndDestructorsReturnThis()
const override {
return true; }
537class WebAssemblyCXXABI final :
public ItaniumCXXABI {
539 explicit WebAssemblyCXXABI(CodeGen::CodeGenModule &CGM)
540 : ItaniumCXXABI(CGM,
true,
542 void emitBeginCatch(CodeGenFunction &CGF,
const CXXCatchStmt *
C)
override;
544 emitTerminateForUnexpectedException(CodeGenFunction &CGF,
545 llvm::Value *Exn)
override;
548 bool constructorsAndDestructorsReturnThis()
const override {
return true; }
549 bool canCallMismatchedFunctionType()
const override {
return false; }
552class XLCXXABI final :
public ItaniumCXXABI {
554 explicit XLCXXABI(CodeGen::CodeGenModule &CGM)
555 : ItaniumCXXABI(CGM) {}
557 void registerGlobalDtor(CodeGenFunction &CGF,
const VarDecl &D,
558 llvm::FunctionCallee dtor,
559 llvm::Constant *addr)
override;
561 bool useSinitAndSterm()
const override {
return true; }
564 void emitCXXStermFinalizer(
const VarDecl &D, llvm::Function *dtorStub,
565 llvm::Constant *addr);
573 case TargetCXXABI::GenericARM:
574 case TargetCXXABI::iOS:
575 case TargetCXXABI::WatchOS:
576 return new ARMCXXABI(CGM);
578 case TargetCXXABI::AppleARM64:
579 return new AppleARM64CXXABI(CGM);
581 case TargetCXXABI::Fuchsia:
582 return new FuchsiaCXXABI(CGM);
587 case TargetCXXABI::GenericAArch64:
588 return new ItaniumCXXABI(CGM,
true,
591 case TargetCXXABI::GenericMIPS:
592 return new ItaniumCXXABI(CGM,
true);
594 case TargetCXXABI::WebAssembly:
595 return new WebAssemblyCXXABI(CGM);
597 case TargetCXXABI::XL:
598 return new XLCXXABI(CGM);
600 case TargetCXXABI::GenericItanium:
601 return new ItaniumCXXABI(CGM);
603 case TargetCXXABI::Microsoft:
604 llvm_unreachable(
"Microsoft ABI is not Itanium-based");
606 llvm_unreachable(
"bad ABI kind");
612 return CGM.PtrDiffTy;
613 return llvm::StructType::get(CGM.PtrDiffTy, CGM.PtrDiffTy);
636CGCallee ItaniumCXXABI::EmitLoadOfMemberFunctionPointer(
638 llvm::Value *&ThisPtrForCall,
646 llvm::Constant *ptrdiff_1 = llvm::ConstantInt::get(CGM.PtrDiffTy, 1);
653 llvm::Value *RawAdj = Builder.CreateExtractValue(MemFnPtr, 1,
"memptr.adj");
656 llvm::Value *Adj = RawAdj;
657 if (UseARMMethodPtrABI)
658 Adj = Builder.CreateAShr(Adj, ptrdiff_1,
"memptr.adj.shifted");
663 This = Builder.CreateInBoundsGEP(Builder.getInt8Ty(),
This, Adj);
664 ThisPtrForCall =
This;
667 llvm::Value *FnAsInt = Builder.CreateExtractValue(MemFnPtr, 0,
"memptr.ptr");
671 llvm::Value *IsVirtual;
672 if (UseARMMethodPtrABI)
673 IsVirtual = Builder.CreateAnd(RawAdj, ptrdiff_1);
675 IsVirtual = Builder.CreateAnd(FnAsInt, ptrdiff_1);
676 IsVirtual = Builder.CreateIsNotNull(IsVirtual,
"memptr.isvirtual");
677 Builder.CreateCondBr(IsVirtual, FnVirtual, FnNonVirtual);
695 llvm::Value *VTableOffset = FnAsInt;
696 if (!UseARMMethodPtrABI)
697 VTableOffset = Builder.CreateSub(VTableOffset, ptrdiff_1);
698 if (Use32BitVTableOffsetABI) {
699 VTableOffset = Builder.CreateTrunc(VTableOffset, CGF.
Int32Ty);
700 VTableOffset = Builder.CreateZExt(VTableOffset, CGM.PtrDiffTy);
705 llvm::Constant *CheckSourceLocation;
706 llvm::Constant *CheckTypeDesc;
707 bool ShouldEmitCFICheck = CGF.
SanOpts.
has(SanitizerKind::CFIMFCall) &&
708 CGM.HasHiddenLTOVisibility(RD);
710 if (ShouldEmitCFICheck) {
711 if (
const auto *BinOp = dyn_cast<BinaryOperator>(E)) {
712 if (BinOp->isPtrMemOp() &&
715 ->hasPointeeToCFIUncheckedCalleeFunctionType())
716 ShouldEmitCFICheck =
false;
720 bool ShouldEmitVFEInfo = CGM.getCodeGenOpts().VirtualFunctionElimination &&
721 CGM.HasHiddenLTOVisibility(RD);
725 bool ShouldEmitWPDInfo =
726 (CGM.getCodeGenOpts().WholeProgramVTables &&
728 !CGM.AlwaysHasLTOVisibilityPublic(RD)) ||
729 CGM.getCodeGenOpts().DevirtualizeSpeculatively;
730 llvm::Value *VirtualFn =
nullptr;
733 auto CheckOrdinal = SanitizerKind::SO_CFIMFCall;
734 auto CheckHandler = SanitizerHandler::CFICheckFail;
735 SanitizerDebugLocation SanScope(&CGF, {CheckOrdinal}, CheckHandler);
737 llvm::Value *TypeId =
nullptr;
738 llvm::Value *CheckResult =
nullptr;
740 if (ShouldEmitCFICheck || ShouldEmitVFEInfo || ShouldEmitWPDInfo) {
744 CGM.CreateMetadataIdentifierForVirtualMemPtrType(QualType(MPT, 0));
748 if (ShouldEmitVFEInfo) {
749 llvm::Value *VFPAddr =
750 Builder.CreateGEP(CGF.
Int8Ty, VTable, VTableOffset);
757 llvm::Value *CheckedLoad = Builder.CreateCall(
758 CGM.getIntrinsic(llvm::Intrinsic::type_checked_load),
759 {VFPAddr, llvm::ConstantInt::get(CGM.Int32Ty, 0), TypeId});
760 CheckResult = Builder.CreateExtractValue(CheckedLoad, 1);
761 VirtualFn = Builder.CreateExtractValue(CheckedLoad, 0);
765 if (ShouldEmitCFICheck || ShouldEmitWPDInfo) {
766 llvm::Value *VFPAddr =
767 Builder.CreateGEP(CGF.
Int8Ty, VTable, VTableOffset);
768 llvm::Intrinsic::ID IID = CGM.HasHiddenLTOVisibility(RD)
769 ? llvm::Intrinsic::type_test
770 : llvm::Intrinsic::public_type_test;
773 Builder.CreateCall(CGM.getIntrinsic(IID), {VFPAddr, TypeId});
776 if (CGM.getItaniumVTableContext().isRelativeLayout()) {
777 VirtualFn = CGF.
Builder.CreateCall(
778 CGM.getIntrinsic(llvm::Intrinsic::load_relative,
779 {VTableOffset->getType()}),
780 {VTable, VTableOffset});
782 llvm::Value *VFPAddr =
789 assert(VirtualFn &&
"Virtual fuction pointer not created!");
790 assert((!ShouldEmitCFICheck || !ShouldEmitVFEInfo || !ShouldEmitWPDInfo ||
792 "Check result required but not created!");
794 if (ShouldEmitCFICheck) {
798 llvm::Constant *StaticData[] = {
804 if (CGM.getCodeGenOpts().SanitizeTrap.has(SanitizerKind::CFIMFCall)) {
807 llvm::Value *AllVtables = llvm::MetadataAsValue::get(
808 CGM.getLLVMContext(),
809 llvm::MDString::get(CGM.getLLVMContext(),
"all-vtables"));
810 llvm::Value *ValidVtable = Builder.CreateCall(
811 CGM.getIntrinsic(llvm::Intrinsic::type_test), {VTable, AllVtables});
812 CGF.
EmitCheck(std::make_pair(CheckResult, CheckOrdinal), CheckHandler,
813 StaticData, {VTable, ValidVtable});
816 FnVirtual = Builder.GetInsertBlock();
825 llvm::Value *NonVirtualFn =
826 Builder.CreateIntToPtr(FnAsInt, CGF.
DefaultPtrTy,
"memptr.nonvirtualfn");
829 if (ShouldEmitCFICheck) {
832 auto CheckOrdinal = SanitizerKind::SO_CFIMFCall;
833 auto CheckHandler = SanitizerHandler::CFICheckFail;
834 SanitizerDebugLocation SanScope(&CGF, {CheckOrdinal}, CheckHandler);
836 llvm::Constant *StaticData[] = {
842 llvm::Value *Bit = Builder.getFalse();
843 for (
const CXXRecordDecl *Base : CGM.getMostBaseClasses(RD)) {
844 llvm::Metadata *MD = CGM.CreateMetadataIdentifierForType(
847 Base->getCanonicalDecl()));
848 llvm::Value *TypeId =
851 llvm::Value *TypeTest =
852 Builder.CreateCall(CGM.getIntrinsic(llvm::Intrinsic::type_test),
853 {NonVirtualFn, TypeId});
854 Bit = Builder.CreateOr(Bit, TypeTest);
857 CGF.
EmitCheck(std::make_pair(Bit, CheckOrdinal), CheckHandler, StaticData,
858 {NonVirtualFn, llvm::UndefValue::get(CGF.
IntPtrTy)});
860 FnNonVirtual = Builder.GetInsertBlock();
866 llvm::PHINode *CalleePtr = Builder.CreatePHI(CGF.
DefaultPtrTy, 2);
867 CalleePtr->addIncoming(VirtualFn, FnVirtual);
868 CalleePtr->addIncoming(NonVirtualFn, FnNonVirtual);
870 CGPointerAuthInfo PointerAuth;
872 if (
const auto &Schema =
873 CGM.getCodeGenOpts().PointerAuth.CXXMemberFunctionPointers) {
874 llvm::PHINode *DiscriminatorPHI = Builder.CreatePHI(CGF.
IntPtrTy, 2);
875 DiscriminatorPHI->addIncoming(llvm::ConstantInt::get(CGF.
IntPtrTy, 0),
877 const auto &AuthInfo =
878 CGM.getMemberFunctionPointerAuthInfo(QualType(MPT, 0));
879 assert(Schema.getKey() == AuthInfo.getKey() &&
880 "Keys for virtual and non-virtual member functions must match");
881 auto *NonVirtualDiscriminator = AuthInfo.getDiscriminator();
882 DiscriminatorPHI->addIncoming(NonVirtualDiscriminator, FnNonVirtual);
883 PointerAuth = CGPointerAuthInfo(
884 Schema.getKey(), Schema.getAuthenticationMode(), Schema.isIsaPointer(),
885 Schema.authenticatesNullValues(), DiscriminatorPHI);
888 CGCallee
Callee(FPT, CalleePtr, PointerAuth);
894llvm::Value *ItaniumCXXABI::EmitMemberDataPointerAddress(
895 CodeGenFunction &CGF,
const Expr *E, Address Base, llvm::Value *MemPtr,
896 const MemberPointerType *MPT,
bool IsInBounds) {
897 assert(MemPtr->getType() == CGM.PtrDiffTy);
899 CGBuilderTy &Builder = CGF.
Builder;
902 llvm::Value *BaseAddr =
Base.emitRawPointer(CGF);
903 return Builder.CreateGEP(CGF.
Int8Ty, BaseAddr, MemPtr,
"memptr.offset",
904 IsInBounds ? llvm::GEPNoWrapFlags::inBounds()
905 : llvm::GEPNoWrapFlags::none());
912 const auto *CPA = dyn_cast<llvm::ConstantPtrAuth>(Ptr);
917 assert(CPA->getKey()->getZExtValue() == CurAuthInfo.
getKey() &&
918 CPA->getAddrDiscriminator()->isZeroValue() &&
920 "unexpected key or discriminators");
923 CPA->getPointer(), NewAuthInfo.
getKey(),
nullptr,
951ItaniumCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
958 assert(E->
getCastKind() == CK_DerivedToBaseMemberPointer ||
959 E->
getCastKind() == CK_BaseToDerivedMemberPointer ||
962 CGBuilderTy &Builder = CGF.
Builder;
963 QualType DstType = E->
getType();
966 if (
const auto &NewAuthInfo =
967 CGM.getMemberFunctionPointerAuthInfo(DstType)) {
970 const auto &CurAuthInfo = CGM.getMemberFunctionPointerAuthInfo(SrcType);
971 llvm::Value *MemFnPtr = Builder.CreateExtractValue(src, 0,
"memptr.ptr");
972 llvm::Type *OrigTy = MemFnPtr->getType();
974 llvm::BasicBlock *StartBB = Builder.GetInsertBlock();
979 assert(UseARMMethodPtrABI &&
"ARM ABI expected");
980 llvm::Value *Adj = Builder.CreateExtractValue(src, 1,
"memptr.adj");
981 llvm::Constant *Ptrdiff_1 = llvm::ConstantInt::get(CGM.PtrDiffTy, 1);
982 llvm::Value *AndVal = Builder.CreateAnd(Adj, Ptrdiff_1);
983 llvm::Value *IsVirtualOffset =
984 Builder.CreateIsNotNull(AndVal,
"is.virtual.offset");
985 Builder.CreateCondBr(IsVirtualOffset, MergeBB, ResignBB);
988 llvm::Type *PtrTy = llvm::PointerType::getUnqual(CGM.getLLVMContext());
989 MemFnPtr = Builder.CreateIntToPtr(MemFnPtr, PtrTy);
993 MemFnPtr = Builder.CreatePtrToInt(MemFnPtr, OrigTy);
994 llvm::Value *ResignedVal = Builder.CreateInsertValue(src, MemFnPtr, 0);
995 ResignBB = Builder.GetInsertBlock();
998 llvm::PHINode *NewSrc = Builder.CreatePHI(src->getType(), 2);
999 NewSrc->addIncoming(src, StartBB);
1000 NewSrc->addIncoming(ResignedVal, ResignBB);
1006 if (E->
getCastKind() == CK_ReinterpretMemberPointer)
return src;
1008 llvm::Constant *adj = getMemberPointerAdjustment(E);
1009 if (!adj)
return src;
1011 bool isDerivedToBase = (E->
getCastKind() == CK_DerivedToBaseMemberPointer);
1013 const MemberPointerType *destTy =
1020 if (isDerivedToBase)
1021 dst = Builder.CreateNSWSub(src, adj,
"adj");
1023 dst = Builder.CreateNSWAdd(src, adj,
"adj");
1026 llvm::Value *null = llvm::Constant::getAllOnesValue(src->getType());
1027 llvm::Value *isNull = Builder.CreateICmpEQ(src, null,
"memptr.isnull");
1028 return Builder.CreateSelect(isNull, src, dst);
1032 if (UseARMMethodPtrABI) {
1035 adj = llvm::ConstantInt::get(adj->getType(), offset);
1038 llvm::Value *srcAdj = Builder.CreateExtractValue(src, 1,
"src.adj");
1039 llvm::Value *dstAdj;
1040 if (isDerivedToBase)
1041 dstAdj = Builder.CreateNSWSub(srcAdj, adj,
"adj");
1043 dstAdj = Builder.CreateNSWAdd(srcAdj, adj,
"adj");
1045 return Builder.CreateInsertValue(src, dstAdj, 1);
1048static llvm::Constant *
1053 "member function pointers expected");
1054 if (DestType == SrcType)
1060 if (!NewAuthInfo && !CurAuthInfo)
1063 llvm::Constant *MemFnPtr = Src->getAggregateElement(0u);
1064 if (MemFnPtr->getNumOperands() == 0) {
1072 ConstPtr = llvm::ConstantExpr::getPtrToInt(ConstPtr, MemFnPtr->getType());
1073 return ConstantFoldInsertValueInstruction(Src, ConstPtr, 0);
1077ItaniumCXXABI::EmitMemberPointerConversion(
const CastExpr *E,
1078 llvm::Constant *src) {
1079 assert(E->
getCastKind() == CK_DerivedToBaseMemberPointer ||
1080 E->
getCastKind() == CK_BaseToDerivedMemberPointer ||
1083 QualType DstType = E->
getType();
1090 if (E->
getCastKind() == CK_ReinterpretMemberPointer)
return src;
1093 llvm::Constant *adj = getMemberPointerAdjustment(E);
1094 if (!adj)
return src;
1096 bool isDerivedToBase = (E->
getCastKind() == CK_DerivedToBaseMemberPointer);
1098 const MemberPointerType *destTy =
1105 if (src->isAllOnesValue())
return src;
1107 if (isDerivedToBase)
1108 return llvm::ConstantExpr::getNSWSub(src, adj);
1110 return llvm::ConstantExpr::getNSWAdd(src, adj);
1114 if (UseARMMethodPtrABI) {
1117 adj = llvm::ConstantInt::get(adj->getType(), offset);
1120 llvm::Constant *srcAdj = src->getAggregateElement(1);
1121 llvm::Constant *dstAdj;
1122 if (isDerivedToBase)
1123 dstAdj = llvm::ConstantExpr::getNSWSub(srcAdj, adj);
1125 dstAdj = llvm::ConstantExpr::getNSWAdd(srcAdj, adj);
1127 llvm::Constant *res = ConstantFoldInsertValueInstruction(src, dstAdj, 1);
1128 assert(res !=
nullptr &&
"Folding must succeed");
1133ItaniumCXXABI::EmitNullMemberPointer(
const MemberPointerType *MPT) {
1137 return llvm::ConstantInt::get(CGM.PtrDiffTy, -1ULL,
true);
1139 llvm::Constant *
Zero = llvm::ConstantInt::get(CGM.PtrDiffTy, 0);
1140 llvm::Constant *Values[2] = {
Zero,
Zero };
1141 return llvm::ConstantStruct::getAnon(Values);
1145ItaniumCXXABI::EmitMemberDataPointer(
const MemberPointerType *MPT,
1150 return llvm::ConstantInt::get(CGM.PtrDiffTy, offset.
getQuantity());
1154ItaniumCXXABI::EmitMemberFunctionPointer(
const CXXMethodDecl *MD) {
1158llvm::Constant *ItaniumCXXABI::BuildMemberPointer(
const CXXMethodDecl *MD,
1159 CharUnits ThisAdjustment) {
1160 assert(MD->
isInstance() &&
"Member function must not be static!");
1162 CodeGenTypes &Types = CGM.getTypes();
1165 llvm::Constant *MemPtr[2];
1167 uint64_t Index = CGM.getItaniumVTableContext().getMethodVTableIndex(MD);
1169 if (CGM.getItaniumVTableContext().isRelativeLayout()) {
1171 VTableOffset = Index * 4;
1173 const ASTContext &Context = getContext();
1176 VTableOffset = Index * PointerWidth.
getQuantity();
1179 if (UseARMMethodPtrABI) {
1201 const auto &Schema =
1202 CGM.getCodeGenOpts().PointerAuth.CXXMemberFunctionPointers;
1204 MemPtr[0] = llvm::ConstantExpr::getPtrToInt(
1205 getSignedVirtualMemberFunctionPointer(MD), CGM.PtrDiffTy);
1207 MemPtr[0] = llvm::ConstantInt::get(CGM.PtrDiffTy, VTableOffset);
1210 MemPtr[1] = llvm::ConstantInt::get(
1211 CGM.PtrDiffTy, 2 * ThisAdjustment.
getQuantity() + !Schema);
1217 MemPtr[0] = llvm::ConstantInt::get(CGM.PtrDiffTy, VTableOffset + 1);
1218 MemPtr[1] = llvm::ConstantInt::get(CGM.PtrDiffTy,
1222 const FunctionProtoType *FPT = MD->
getType()->
castAs<FunctionProtoType>();
1233 llvm::Constant *addr = CGM.getMemberFunctionPointer(MD, Ty);
1235 MemPtr[0] = llvm::ConstantExpr::getPtrToInt(addr, CGM.PtrDiffTy);
1236 MemPtr[1] = llvm::ConstantInt::get(CGM.PtrDiffTy,
1237 (UseARMMethodPtrABI ? 2 : 1) *
1241 return llvm::ConstantStruct::getAnon(MemPtr);
1244llvm::Constant *ItaniumCXXABI::EmitMemberPointer(
const APValue &MP,
1246 const MemberPointerType *MPT = MPType->
castAs<MemberPointerType>();
1249 return EmitNullMemberPointer(MPT);
1251 CharUnits ThisAdjustment = getContext().getMemberPointerPathAdjustment(MP);
1253 if (
const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(MPD)) {
1254 llvm::Constant *Src = BuildMemberPointer(MD, ThisAdjustment);
1255 QualType SrcType = getContext().getMemberPointerType(
1260 CharUnits FieldOffset =
1261 getContext().toCharUnitsFromBits(getContext().
getFieldOffset(MPD));
1262 return EmitMemberDataPointer(MPT, ThisAdjustment + FieldOffset);
1270ItaniumCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
1273 const MemberPointerType *MPT,
1275 CGBuilderTy &Builder = CGF.
Builder;
1277 llvm::ICmpInst::Predicate Eq;
1278 llvm::Instruction::BinaryOps
And,
Or;
1280 Eq = llvm::ICmpInst::ICMP_NE;
1281 And = llvm::Instruction::Or;
1282 Or = llvm::Instruction::And;
1284 Eq = llvm::ICmpInst::ICMP_EQ;
1285 And = llvm::Instruction::And;
1286 Or = llvm::Instruction::Or;
1292 return Builder.CreateICmp(Eq, L, R);
1304 llvm::Value *LPtr = Builder.CreateExtractValue(L, 0,
"lhs.memptr.ptr");
1305 llvm::Value *RPtr = Builder.CreateExtractValue(R, 0,
"rhs.memptr.ptr");
1309 llvm::Value *PtrEq = Builder.CreateICmp(Eq, LPtr, RPtr,
"cmp.ptr");
1314 llvm::Value *
Zero = llvm::Constant::getNullValue(LPtr->getType());
1315 llvm::Value *EqZero = Builder.CreateICmp(Eq, LPtr,
Zero,
"cmp.ptr.null");
1319 llvm::Value *LAdj = Builder.CreateExtractValue(L, 1,
"lhs.memptr.adj");
1320 llvm::Value *RAdj = Builder.CreateExtractValue(R, 1,
"rhs.memptr.adj");
1321 llvm::Value *AdjEq = Builder.CreateICmp(Eq, LAdj, RAdj,
"cmp.adj");
1325 if (UseARMMethodPtrABI) {
1326 llvm::Value *One = llvm::ConstantInt::get(LPtr->getType(), 1);
1329 llvm::Value *OrAdj = Builder.CreateOr(LAdj, RAdj,
"or.adj");
1330 llvm::Value *OrAdjAnd1 = Builder.CreateAnd(OrAdj, One);
1331 llvm::Value *OrAdjAnd1EqZero = Builder.CreateICmp(Eq, OrAdjAnd1,
Zero,
1333 EqZero = Builder.CreateBinOp(
And, EqZero, OrAdjAnd1EqZero);
1337 llvm::Value *
Result = Builder.CreateBinOp(
Or, EqZero, AdjEq);
1339 Inequality ?
"memptr.ne" :
"memptr.eq");
1344ItaniumCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
1345 llvm::Value *MemPtr,
1346 const MemberPointerType *MPT) {
1347 CGBuilderTy &Builder = CGF.
Builder;
1351 assert(MemPtr->getType() == CGM.PtrDiffTy);
1352 llvm::Value *NegativeOne =
1353 llvm::Constant::getAllOnesValue(MemPtr->getType());
1354 return Builder.CreateICmpNE(MemPtr, NegativeOne,
"memptr.tobool");
1358 llvm::Value *Ptr = Builder.CreateExtractValue(MemPtr, 0,
"memptr.ptr");
1360 llvm::Constant *
Zero = llvm::ConstantInt::get(Ptr->getType(), 0);
1361 llvm::Value *
Result = Builder.CreateICmpNE(Ptr,
Zero,
"memptr.tobool");
1365 if (UseARMMethodPtrABI) {
1366 llvm::Constant *One = llvm::ConstantInt::get(Ptr->getType(), 1);
1367 llvm::Value *Adj = Builder.CreateExtractValue(MemPtr, 1,
"memptr.adj");
1368 llvm::Value *VirtualBit = Builder.CreateAnd(Adj, One,
"memptr.virtualbit");
1369 llvm::Value *IsVirtual = Builder.CreateICmpNE(VirtualBit,
Zero,
1370 "memptr.isvirtual");
1377bool ItaniumCXXABI::classifyReturnType(CGFunctionInfo &FI)
const {
1378 const CXXRecordDecl *RD = FI.
getReturnType()->getAsCXXRecordDecl();
1384 auto Align = CGM.getContext().getTypeAlignInChars(FI.
getReturnType());
1386 Align, CGM.getDataLayout().getAllocaAddrSpace(),
1395bool ItaniumCXXABI::isZeroInitializable(
const MemberPointerType *MPT) {
1401void ItaniumCXXABI::emitVirtualObjectDelete(CodeGenFunction &CGF,
1402 const CXXDeleteExpr *DE,
1404 QualType ElementType,
1405 const CXXDestructorDecl *Dtor) {
1407 if (UseGlobalDelete) {
1416 llvm::Value *OffsetPtr = CGF.
Builder.CreateConstInBoundsGEP1_64(
1417 CGF.
IntPtrTy, VTable, -2,
"complete-offset.ptr");
1435 EmitVirtualDestructorCall(CGF, Dtor, DtorType, Ptr, DE,
1438 if (UseGlobalDelete)
1442void ItaniumCXXABI::emitRethrow(CodeGenFunction &CGF,
bool isNoReturn) {
1445 llvm::FunctionType *FTy =
1446 llvm::FunctionType::get(CGM.VoidTy,
false);
1448 llvm::FunctionCallee
Fn = CGM.CreateRuntimeFunction(FTy,
"__cxa_rethrow");
1459 llvm::FunctionType *FTy =
1470 llvm::FunctionType *FTy =
1471 llvm::FunctionType::get(CGM.
VoidTy, Args,
false);
1476void ItaniumCXXABI::emitThrow(CodeGenFunction &CGF,
const CXXThrowExpr *E) {
1479 llvm::Type *SizeTy = CGF.
ConvertType(getContext().getSizeType());
1480 uint64_t TypeSize = getContext().getTypeSizeInChars(ThrowType).getQuantity();
1484 AllocExceptionFn, llvm::ConstantInt::get(SizeTy, TypeSize),
"exception");
1488 E->
getSubExpr(), Address(ExceptionPtr, CGM.Int8Ty, ExnAlign));
1491 llvm::Constant *TypeInfo = CGM.GetAddrOfRTTIDescriptor(ThrowType,
1496 llvm::Constant *Dtor =
nullptr;
1502 const ASTContext &Ctx = getContext();
1504 FunctionProtoType::ExtProtoInfo());
1506 CXXDestructorDecl *DtorD =
Record->getDestructor();
1507 Dtor = CGM.getAddrOfCXXStructor(GlobalDecl(DtorD,
Dtor_Complete));
1508 Dtor = CGM.getFunctionPointer(Dtor, DtorTy);
1510 if (!Dtor) Dtor = llvm::Constant::getNullValue(CGM.Int8PtrTy);
1512 llvm::Value *args[] = { ExceptionPtr, TypeInfo, Dtor };
1524 llvm::Type *PtrDiffTy =
1527 llvm::Type *Args[4] = { Int8PtrTy, GlobInt8PtrTy, GlobInt8PtrTy, PtrDiffTy };
1529 llvm::FunctionType *FTy = llvm::FunctionType::get(Int8PtrTy, Args,
false);
1533 FuncAttrs.addAttribute(llvm::Attribute::NoUnwind);
1534 FuncAttrs.addAttribute(llvm::Attribute::WillReturn);
1535 FuncAttrs.addMemoryAttr(llvm::MemoryEffects::readOnly());
1536 llvm::AttributeList Attrs = llvm::AttributeList::get(
1537 CGF.
getLLVMContext(), llvm::AttributeList::FunctionIndex, FuncAttrs);
1544 llvm::FunctionType *FTy = llvm::FunctionType::get(CGF.
VoidTy,
false);
1561 unsigned NumPublicPaths = 0;
1574 if (PathElement.Base->isVirtual())
1577 if (NumPublicPaths > 1)
1581 const ASTRecordLayout &L = Context.getASTRecordLayout(PathElement.Class);
1583 PathElement.Base->getType()->getAsCXXRecordDecl());
1588 if (NumPublicPaths == 0)
1592 if (NumPublicPaths > 1)
1602 llvm::FunctionType *FTy = llvm::FunctionType::get(CGF.
VoidTy,
false);
1607bool ItaniumCXXABI::shouldTypeidBeNullChecked(QualType SrcRecordTy) {
1611void ItaniumCXXABI::EmitBadTypeidCall(CodeGenFunction &CGF) {
1614 Call->setDoesNotReturn();
1615 CGF.
Builder.CreateUnreachable();
1618llvm::Value *ItaniumCXXABI::EmitTypeid(CodeGenFunction &CGF,
1619 QualType SrcRecordTy,
1621 llvm::Type *StdTypeInfoPtrTy) {
1626 if (CGM.getItaniumVTableContext().isRelativeLayout()) {
1629 CGM.getIntrinsic(llvm::Intrinsic::load_relative, {CGM.Int32Ty}),
1630 {Value, llvm::ConstantInt::get(CGM.Int32Ty, -4)});
1634 CGF.
Builder.CreateConstInBoundsGEP1_64(StdTypeInfoPtrTy,
Value, -1ULL);
1640bool ItaniumCXXABI::shouldDynamicCastCallBeNullChecked(
bool SrcIsPtr,
1641 QualType SrcRecordTy) {
1645llvm::Value *ItaniumCXXABI::emitDynamicCastCall(
1646 CodeGenFunction &CGF, Address ThisAddr, QualType SrcRecordTy,
1647 QualType DestTy, QualType DestRecordTy, llvm::BasicBlock *CastEnd) {
1648 llvm::Type *PtrDiffLTy =
1651 llvm::Value *SrcRTTI =
1653 llvm::Value *DestRTTI =
1659 llvm::Value *OffsetHint = llvm::ConstantInt::get(
1665 if (CGM.getCodeGenOpts().PointerAuth.CXXVTablePointers) {
1671 llvm::Value *Vtable =
1673 CodeGenFunction::VTableAuthMode::MustTrap);
1678 llvm::Value *args[] = {
Value, SrcRTTI, DestRTTI, OffsetHint};
1684 llvm::BasicBlock *BadCastBlock =
1691 EmitBadCastCall(CGF);
1697std::optional<CGCXXABI::ExactDynamicCastInfo>
1698ItaniumCXXABI::getExactDynamicCastInfo(QualType SrcRecordTy, QualType DestTy,
1699 QualType DestRecordTy) {
1700 assert(shouldEmitExactDynamicCast(DestRecordTy));
1702 ASTContext &Context = getContext();
1707 CXXBasePaths Paths(
true,
true,
1713 std::optional<CharUnits> Offset;
1714 for (
const CXXBasePath &Path : Paths) {
1719 CharUnits PathOffset;
1720 for (
const CXXBasePathElement &PathElement : Path) {
1722 const CXXRecordDecl *
Base =
1723 PathElement.Base->getType()->getAsCXXRecordDecl();
1724 if (PathElement.Base->isVirtual()) {
1730 const ASTRecordLayout &L =
1737 Offset = PathOffset;
1738 else if (Offset != PathOffset) {
1740 return ExactDynamicCastInfo{
true,
1745 return std::nullopt;
1746 return ExactDynamicCastInfo{
false, *Offset};
1749llvm::Value *ItaniumCXXABI::emitExactDynamicCast(
1750 CodeGenFunction &CGF, Address ThisAddr, QualType SrcRecordTy,
1751 QualType DestTy, QualType DestRecordTy,
1752 const ExactDynamicCastInfo &ExactCastInfo, llvm::BasicBlock *CastSuccess,
1753 llvm::BasicBlock *CastFail) {
1756 auto AuthenticateVTable = [&](Address ThisAddr,
const CXXRecordDecl *
Decl) {
1760 CodeGenFunction::VTableAuthMode::MustTrap);
1763 bool PerformPostCastAuthentication =
false;
1764 llvm::Value *VTable =
nullptr;
1765 if (ExactCastInfo.RequiresCastToPrimaryBase) {
1770 llvm::Value *PrimaryBase =
1777 PerformPostCastAuthentication = CGF.
getLangOpts().PointerAuthCalls;
1778 CGPointerAuthInfo StrippingAuthInfo(0, PointerAuthenticationMode::Strip,
1779 false,
false,
nullptr);
1782 if (PerformPostCastAuthentication)
1789 llvm::Constant *ExpectedVTable = getVTableAddressPoint(
1790 BaseSubobject(SrcDecl, ExactCastInfo.Offset), DestDecl);
1791 llvm::Value *
Success = CGF.
Builder.CreateICmpEQ(VTable, ExpectedVTable);
1794 if (!ExactCastInfo.Offset.isZero()) {
1796 llvm::Constant *OffsetConstant =
1797 llvm::ConstantInt::get(CGF.
PtrDiffTy, -Offset);
1800 PerformPostCastAuthentication = CGF.
getLangOpts().PointerAuthCalls;
1803 if (PerformPostCastAuthentication) {
1806 llvm::BasicBlock *NonNullBlock = CGF.
Builder.GetInsertBlock();
1807 llvm::BasicBlock *PostCastAuthSuccess =
1809 llvm::BasicBlock *PostCastAuthComplete =
1812 PostCastAuthComplete);
1814 Address AdjustedThisAddr =
1816 AuthenticateVTable(AdjustedThisAddr, DestDecl);
1819 llvm::PHINode *PHI = CGF.
Builder.CreatePHI(AdjustedThisPtr->getType(), 2);
1820 PHI->addIncoming(AdjustedThisPtr, PostCastAuthSuccess);
1821 llvm::Value *NullValue =
1822 llvm::Constant::getNullValue(AdjustedThisPtr->getType());
1823 PHI->addIncoming(NullValue, NonNullBlock);
1824 AdjustedThisPtr = PHI;
1827 return AdjustedThisPtr;
1830llvm::Value *ItaniumCXXABI::emitDynamicCastToVoid(CodeGenFunction &CGF,
1832 QualType SrcRecordTy) {
1834 llvm::Value *OffsetToTop;
1835 if (CGM.getItaniumVTableContext().isRelativeLayout()) {
1837 llvm::Value *VTable =
1842 CGF.
Builder.CreateConstInBoundsGEP1_32(CGM.Int32Ty, VTable, -2U);
1846 llvm::Type *PtrDiffLTy =
1850 llvm::Value *VTable =
1855 CGF.
Builder.CreateConstInBoundsGEP1_64(PtrDiffLTy, VTable, -2ULL);
1864bool ItaniumCXXABI::EmitBadCastCall(CodeGenFunction &CGF) {
1867 Call->setDoesNotReturn();
1868 CGF.
Builder.CreateUnreachable();
1873ItaniumCXXABI::GetVirtualBaseClassOffset(CodeGenFunction &CGF,
1875 const CXXRecordDecl *ClassDecl,
1876 const CXXRecordDecl *BaseClassDecl) {
1877 llvm::Value *VTablePtr = CGF.
GetVTablePtr(This, CGM.Int8PtrTy, ClassDecl);
1878 CharUnits VBaseOffsetOffset =
1879 CGM.getItaniumVTableContext().getVirtualBaseOffsetOffset(ClassDecl,
1881 llvm::Value *VBaseOffsetPtr =
1882 CGF.
Builder.CreateConstGEP1_64(
1884 "vbase.offset.ptr");
1886 llvm::Value *VBaseOffset;
1887 if (CGM.getItaniumVTableContext().isRelativeLayout()) {
1893 CGM.PtrDiffTy, VBaseOffsetPtr, CGF.
getPointerAlign(),
"vbase.offset");
1898void ItaniumCXXABI::EmitCXXConstructors(
const CXXConstructorDecl *D) {
1900 assert(CGM.getTarget().getCXXABI().hasConstructorVariants());
1904 CGM.EmitGlobal(GlobalDecl(D,
Ctor_Base));
1914CGCXXABI::AddedStructorArgCounts
1915ItaniumCXXABI::buildStructorSignature(GlobalDecl GD,
1916 SmallVectorImpl<CanQualType> &ArgTys) {
1917 ASTContext &Context = getContext();
1926 LangAS AS = CGM.GetGlobalVarAddressSpace(
nullptr);
1928 ArgTys.insert(ArgTys.begin() + 1,
1930 return AddedStructorArgCounts::prefix(1);
1932 return AddedStructorArgCounts{};
1935void ItaniumCXXABI::EmitCXXDestructors(
const CXXDestructorDecl *D) {
1938 CGM.EmitGlobal(GlobalDecl(D,
Dtor_Base));
1951void ItaniumCXXABI::addImplicitStructorParams(CodeGenFunction &CGF,
1953 FunctionArgList &Params) {
1958 if (NeedsVTTParameter(CGF.
CurGD)) {
1959 ASTContext &Context = getContext();
1962 LangAS AS = CGM.GetGlobalVarAddressSpace(
nullptr);
1967 T, ImplicitParamKind::CXXVTT);
1968 Params.insert(Params.begin() + 1, VTTDecl);
1969 getStructorImplicitParamDecl(CGF) = VTTDecl;
1973void ItaniumCXXABI::EmitInstanceFunctionProlog(CodeGenFunction &CGF) {
1980 setCXXABIThisValue(CGF, loadIncomingCXXThis(CGF));
1983 if (getStructorImplicitParamDecl(CGF)) {
1996 if (HasThisReturn(CGF.
CurGD))
2000CGCXXABI::AddedStructorArgs ItaniumCXXABI::getImplicitConstructorArgs(
2003 if (!NeedsVTTParameter(GlobalDecl(D,
Type)))
2004 return AddedStructorArgs{};
2011 LangAS AS = CGM.GetGlobalVarAddressSpace(
nullptr);
2012 QualType Q = getContext().getAddrSpaceQualType(getContext().VoidPtrTy, AS);
2013 QualType VTTTy = getContext().getPointerType(Q);
2014 return AddedStructorArgs::prefix({{VTT, VTTTy}});
2017llvm::Value *ItaniumCXXABI::getCXXDestructorImplicitParam(
2020 GlobalDecl GD(DD,
Type);
2024void ItaniumCXXABI::EmitDestructorCall(CodeGenFunction &CGF,
2025 const CXXDestructorDecl *DD,
2029 GlobalDecl GD(DD,
Type);
2032 QualType VTTTy = getContext().getPointerType(getContext().VoidPtrTy);
2035 if (getContext().getLangOpts().AppleKext &&
2042 ThisTy, VTT, VTTTy,
nullptr);
2046template <
typename T>
2049 if (
const auto *FD = dyn_cast<FunctionDecl>(D)) {
2062 llvm::GlobalVariable *VTable,
2064 if (VTable->getDLLStorageClass() !=
2065 llvm::GlobalVariable::DefaultStorageClass ||
2071 VTable->setDLLStorageClass(llvm::GlobalValue::DLLImportStorageClass);
2073 VTable->setDLLStorageClass(llvm::GlobalValue::DLLExportStorageClass);
2076void ItaniumCXXABI::emitVTableDefinitions(CodeGenVTables &CGVT,
2077 const CXXRecordDecl *RD) {
2078 llvm::GlobalVariable *VTable = getAddrOfVTable(RD, CharUnits());
2079 if (VTable->hasInitializer())
2082 ItaniumVTableContext &VTContext = CGM.getItaniumVTableContext();
2084 llvm::GlobalVariable::LinkageTypes
Linkage = CGM.getVTableLinkage(RD);
2085 llvm::Constant *RTTI =
2086 CGM.GetAddrOfRTTIDescriptor(CGM.getContext().getCanonicalTagType(RD));
2089 ConstantInitBuilder builder(CGM);
2090 auto components = builder.beginStruct();
2092 llvm::GlobalValue::isLocalLinkage(
Linkage));
2093 components.finishAndSetAsInitializer(VTable);
2098 if (CGM.supportsCOMDAT() && VTable->isWeakForLinker())
2099 VTable->setComdat(CGM.getModule().getOrInsertComdat(VTable->getName()));
2101 if (CGM.getTarget().hasPS4DLLImportExport())
2105 CGM.setGVProperties(VTable, RD);
2116 EmitFundamentalRTTIDescriptors(RD);
2124 if (!VTable->isDeclarationForLinker() ||
2125 CGM.getCodeGenOpts().WholeProgramVTables ||
2126 CGM.getCodeGenOpts().DevirtualizeSpeculatively) {
2127 CGM.EmitVTableTypeMetadata(RD, VTable, VTLayout);
2131 if (VTable->isDeclarationForLinker()) {
2132 assert(CGM.getCodeGenOpts().WholeProgramVTables ||
2133 CGM.getCodeGenOpts().DevirtualizeSpeculatively);
2134 CGM.addCompilerUsedGlobal(VTable);
2140 if (!VTable->isDSOLocal())
2145 if (CGDebugInfo *DI = CGM.getModuleDebugInfo())
2146 DI->emitVTableSymbol(VTable, RD);
2149bool ItaniumCXXABI::isVirtualOffsetNeededForVTableField(
2150 CodeGenFunction &CGF, CodeGenFunction::VPtr Vptr) {
2153 return NeedsVTTParameter(CGF.
CurGD);
2156llvm::Value *ItaniumCXXABI::getVTableAddressPointInStructor(
2157 CodeGenFunction &CGF,
const CXXRecordDecl *VTableClass, BaseSubobject Base,
2158 const CXXRecordDecl *NearestVBase) {
2160 if ((
Base.getBase()->getNumVBases() || NearestVBase !=
nullptr) &&
2161 NeedsVTTParameter(CGF.
CurGD)) {
2162 return getVTableAddressPointInStructorWithVTT(CGF, VTableClass, Base,
2165 return getVTableAddressPoint(Base, VTableClass);
2169ItaniumCXXABI::getVTableAddressPoint(BaseSubobject Base,
2170 const CXXRecordDecl *VTableClass) {
2171 llvm::GlobalValue *VTable = getAddrOfVTable(VTableClass, CharUnits());
2175 const VTableLayout &Layout =
2176 CGM.getItaniumVTableContext().getVTableLayout(VTableClass);
2177 VTableLayout::AddressPointLocation AddressPoint =
2179 llvm::Value *Indices[] = {
2180 llvm::ConstantInt::get(CGM.Int32Ty, 0),
2181 llvm::ConstantInt::get(CGM.Int32Ty, AddressPoint.
VTableIndex),
2187 unsigned ComponentSize =
2188 CGM.getDataLayout().getTypeAllocSize(CGM.getVTableComponentType());
2189 unsigned VTableSize =
2192 llvm::ConstantRange InRange(
2193 llvm::APInt(32, (
int)-Offset,
true),
2194 llvm::APInt(32, (
int)(VTableSize - Offset),
true));
2195 return llvm::ConstantExpr::getGetElementPtr(
2196 VTable->getValueType(), VTable, Indices,
true, InRange);
2199llvm::Value *ItaniumCXXABI::getVTableAddressPointInStructorWithVTT(
2200 CodeGenFunction &CGF,
const CXXRecordDecl *VTableClass, BaseSubobject Base,
2201 const CXXRecordDecl *NearestVBase) {
2202 assert((
Base.getBase()->getNumVBases() || NearestVBase !=
nullptr) &&
2203 NeedsVTTParameter(CGF.
CurGD) &&
"This class doesn't have VTT");
2207 CGM.getVTables().getSecondaryVirtualPointerIndex(VTableClass, Base);
2211 if (VirtualPointerIndex)
2213 VirtualPointerIndex);
2230llvm::GlobalVariable *ItaniumCXXABI::getAddrOfVTable(
const CXXRecordDecl *RD,
2231 CharUnits VPtrOffset) {
2232 assert(VPtrOffset.
isZero() &&
"Itanium ABI only supports zero vptr offsets");
2234 llvm::GlobalVariable *&VTable = VTables[RD];
2239 CGM.addDeferredVTable(RD);
2241 SmallString<256> Name;
2242 llvm::raw_svector_ostream
Out(Name);
2243 getMangleContext().mangleCXXVTable(RD, Out);
2245 const VTableLayout &VTLayout =
2246 CGM.getItaniumVTableContext().getVTableLayout(RD);
2247 llvm::Type *VTableType = CGM.getVTables().getVTableType(VTLayout);
2252 unsigned PAlign = CGM.getVtableGlobalVarAlignment();
2254 VTable = CGM.CreateOrReplaceCXXRuntimeVariable(
2255 Name, VTableType, llvm::GlobalValue::ExternalLinkage,
2256 getContext().toCharUnitsFromBits(PAlign).getAsAlign());
2257 VTable->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
2259 if (CGM.getTarget().hasPS4DLLImportExport())
2262 CGM.setGVProperties(VTable, RD);
2266CGCallee ItaniumCXXABI::getVirtualFunctionPointer(CodeGenFunction &CGF,
2270 SourceLocation Loc) {
2271 llvm::Type *PtrTy = CGM.GlobalsInt8PtrTy;
2273 llvm::Value *VTable = CGF.
GetVTablePtr(This, PtrTy, MethodDecl->getParent());
2275 uint64_t VTableIndex = CGM.getItaniumVTableContext().getMethodVTableIndex(GD);
2276 llvm::Value *VFunc, *VTableSlotPtr =
nullptr;
2277 auto &Schema = CGM.getCodeGenOpts().PointerAuth.CXXVirtualFunctionPointers;
2279 llvm::Type *ComponentTy = CGM.getVTables().getVTableComponentType();
2281 VTableIndex * CGM.getDataLayout().getTypeSizeInBits(ComponentTy) / 8;
2289 llvm::Value *VFuncLoad;
2290 if (CGM.getItaniumVTableContext().isRelativeLayout()) {
2291 VFuncLoad = CGF.
Builder.CreateCall(
2292 CGM.getIntrinsic(llvm::Intrinsic::load_relative, {CGM.Int32Ty}),
2293 {VTable, llvm::ConstantInt::get(CGM.Int32Ty, ByteOffset)});
2295 VTableSlotPtr = CGF.
Builder.CreateConstInBoundsGEP1_64(
2296 PtrTy, VTable, VTableIndex,
"vfn");
2307 if (CGM.getCodeGenOpts().OptimizationLevel > 0 &&
2308 CGM.getCodeGenOpts().StrictVTablePointers) {
2309 if (
auto *VFuncLoadInstr = dyn_cast<llvm::Instruction>(VFuncLoad)) {
2310 VFuncLoadInstr->setMetadata(
2311 llvm::LLVMContext::MD_invariant_load,
2312 llvm::MDNode::get(CGM.getLLVMContext(),
2313 llvm::ArrayRef<llvm::Metadata *>()));
2319 CGPointerAuthInfo PointerAuth;
2321 assert(VTableSlotPtr &&
"virtual function pointer not set");
2322 GD = CGM.getItaniumVTableContext().findOriginalMethod(GD.
getCanonicalDecl());
2325 CGCallee
Callee(GD, VFunc, PointerAuth);
2329llvm::Value *ItaniumCXXABI::EmitVirtualDestructorCall(
2330 CodeGenFunction &CGF,
const CXXDestructorDecl *Dtor,
CXXDtorType DtorType,
2331 Address This, DeleteOrMemberCallExpr E, llvm::CallBase **CallOrInvoke) {
2332 auto *CE = dyn_cast<const CXXMemberCallExpr *>(E);
2333 auto *D = dyn_cast<const CXXDeleteExpr *>(E);
2334 assert((CE !=
nullptr) ^ (D !=
nullptr));
2335 assert(CE ==
nullptr || CE->arguments().empty());
2338 GlobalDecl GD(Dtor, DtorType);
2339 const CGFunctionInfo *FInfo =
2340 &CGM.getTypes().arrangeCXXStructorDeclaration(GD);
2346 ThisTy = CE->getObjectType();
2348 ThisTy = D->getDestroyedType();
2352 nullptr, QualType(),
nullptr, CallOrInvoke);
2356void ItaniumCXXABI::emitVirtualInheritanceTables(
const CXXRecordDecl *RD) {
2357 CodeGenVTables &VTables = CGM.getVTables();
2362bool ItaniumCXXABI::canSpeculativelyEmitVTableAsBaseClass(
2363 const CXXRecordDecl *RD)
const {
2366 if (CGM.getLangOpts().AppleKext)
2371 if (isVTableHidden(RD))
2374 if (CGM.getCodeGenOpts().ForceEmitVTables)
2391 if (hasAnyUnusedVirtualInlineFunction(RD))
2399 for (
const auto &B : RD->
bases()) {
2400 auto *BRD = B.getType()->getAsCXXRecordDecl();
2401 assert(BRD &&
"no class for base specifier");
2402 if (B.isVirtual() || !BRD->isDynamicClass())
2404 if (!canSpeculativelyEmitVTableAsBaseClass(BRD))
2412bool ItaniumCXXABI::canSpeculativelyEmitVTable(
const CXXRecordDecl *RD)
const {
2413 if (!canSpeculativelyEmitVTableAsBaseClass(RD))
2421 for (
const auto &B : RD->
vbases()) {
2422 auto *BRD = B.getType()->getAsCXXRecordDecl();
2423 assert(BRD &&
"no class for base specifier");
2424 if (!BRD->isDynamicClass())
2426 if (!canSpeculativelyEmitVTableAsBaseClass(BRD))
2435 int64_t NonVirtualAdjustment,
2436 int64_t VirtualAdjustment,
2437 bool IsReturnAdjustment) {
2438 if (!NonVirtualAdjustment && !VirtualAdjustment)
2444 if (NonVirtualAdjustment && !IsReturnAdjustment) {
2450 llvm::Value *ResultPtr;
2451 if (VirtualAdjustment) {
2452 llvm::Value *VTablePtr =
2455 llvm::Value *Offset;
2456 llvm::Value *OffsetPtr = CGF.
Builder.CreateConstInBoundsGEP1_64(
2457 CGF.
Int8Ty, VTablePtr, VirtualAdjustment);
2464 llvm::Type *PtrDiffTy =
2473 V.emitRawPointer(CGF), Offset);
2475 ResultPtr =
V.emitRawPointer(CGF);
2480 if (NonVirtualAdjustment && IsReturnAdjustment) {
2481 ResultPtr = CGF.
Builder.CreateConstInBoundsGEP1_64(CGF.
Int8Ty, ResultPtr,
2482 NonVirtualAdjustment);
2489ItaniumCXXABI::performThisAdjustment(CodeGenFunction &CGF, Address This,
2490 const CXXRecordDecl *UnadjustedClass,
2491 const ThunkInfo &TI) {
2498ItaniumCXXABI::performReturnAdjustment(CodeGenFunction &CGF, Address Ret,
2499 const CXXRecordDecl *UnadjustedClass,
2500 const ReturnAdjustment &RA) {
2506void ARMCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
2507 RValue RV, QualType ResultType) {
2509 return ItaniumCXXABI::EmitReturnFromThunk(CGF, RV, ResultType);
2514 return ItaniumCXXABI::EmitReturnFromThunk(CGF, Undef, ResultType);
2519CharUnits ItaniumCXXABI::getArrayCookieSizeImpl(QualType elementType) {
2523 CGM.getContext().getPreferredTypeAlignInChars(elementType));
2526Address ItaniumCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
2528 llvm::Value *NumElements,
2529 const CXXNewExpr *
expr,
2530 QualType ElementType) {
2531 assert(requiresArrayCookie(
expr));
2535 ASTContext &Ctx = getContext();
2539 CharUnits CookieSize =
2541 assert(CookieSize == getArrayCookieSizeImpl(ElementType));
2544 Address CookiePtr = NewPtr;
2545 CharUnits CookieOffset = CookieSize - SizeSize;
2546 if (!CookieOffset.
isZero())
2554 if (CGM.getLangOpts().Sanitize.has(SanitizerKind::Address) && AS == 0 &&
2555 (
expr->getOperatorNew()->isReplaceableGlobalAllocationFunction() ||
2556 CGM.getCodeGenOpts().SanitizeAddressPoisonCustomArrayCookie)) {
2558 SI->setNoSanitizeMetadata();
2559 llvm::FunctionType *FTy =
2560 llvm::FunctionType::get(CGM.VoidTy, NumElementsPtr.
getType(),
false);
2561 llvm::FunctionCallee F =
2562 CGM.CreateRuntimeFunction(FTy,
"__asan_poison_cxx_array_cookie");
2571llvm::Value *ItaniumCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
2573 CharUnits cookieSize) {
2575 Address numElementsPtr = allocPtr;
2576 CharUnits numElementsOffset = cookieSize - CGF.
getSizeSize();
2577 if (!numElementsOffset.
isZero())
2583 if (!CGM.getLangOpts().Sanitize.has(SanitizerKind::Address) || AS != 0)
2590 llvm::FunctionType *FTy =
2592 llvm::FunctionCallee F =
2593 CGM.CreateRuntimeFunction(FTy,
"__asan_load_cxx_array_cookie");
2597CharUnits ARMCXXABI::getArrayCookieSizeImpl(QualType elementType) {
2607 CGM.getContext().getTypeAlignInChars(elementType));
2610Address ARMCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
2612 llvm::Value *numElements,
2613 const CXXNewExpr *
expr,
2614 QualType elementType) {
2615 assert(requiresArrayCookie(
expr));
2618 Address cookie = newPtr;
2622 llvm::Value *elementSize = llvm::ConstantInt::get(CGF.
SizeTy,
2623 getContext().getTypeSizeInChars(elementType).getQuantity());
2632 CharUnits cookieSize = ARMCXXABI::getArrayCookieSizeImpl(elementType);
2636llvm::Value *ARMCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
2638 CharUnits cookieSize) {
2641 Address numElementsPtr
2651 llvm::PointerType *GuardPtrTy) {
2653 llvm::FunctionType *FTy =
2657 FTy,
"__cxa_guard_acquire",
2659 llvm::AttributeList::FunctionIndex,
2660 llvm::Attribute::NoUnwind));
2664 llvm::PointerType *GuardPtrTy) {
2666 llvm::FunctionType *FTy =
2667 llvm::FunctionType::get(CGM.
VoidTy, GuardPtrTy,
false);
2669 FTy,
"__cxa_guard_release",
2671 llvm::AttributeList::FunctionIndex,
2672 llvm::Attribute::NoUnwind));
2676 llvm::PointerType *GuardPtrTy) {
2678 llvm::FunctionType *FTy =
2679 llvm::FunctionType::get(CGM.
VoidTy, GuardPtrTy,
false);
2681 FTy,
"__cxa_guard_abort",
2683 llvm::AttributeList::FunctionIndex,
2684 llvm::Attribute::NoUnwind));
2688 struct CallGuardAbort final : EHScopeStack::Cleanup {
2689 llvm::GlobalVariable *Guard;
2690 CallGuardAbort(llvm::GlobalVariable *Guard) : Guard(Guard) {}
2692 void Emit(CodeGenFunction &CGF, Flags flags)
override {
2701void ItaniumCXXABI::EmitGuardedInit(CodeGenFunction &CGF,
2703 llvm::GlobalVariable *var,
2704 bool shouldPerformInit) {
2705 CGBuilderTy &Builder = CGF.
Builder;
2709 bool NonTemplateInline =
2716 bool threadsafe = getContext().getLangOpts().ThreadsafeStatics &&
2722 bool useInt8GuardVariable = !threadsafe &&
var->hasInternalLinkage();
2724 llvm::IntegerType *guardTy;
2725 CharUnits guardAlignment;
2726 if (useInt8GuardVariable) {
2732 if (UseARMGuardVarABI) {
2741 llvm::PointerType *guardPtrTy = llvm::PointerType::get(
2747 llvm::GlobalVariable *guard = CGM.getStaticLocalDeclGuardAddress(&D);
2750 SmallString<256> guardName;
2752 llvm::raw_svector_ostream
out(guardName);
2753 getMangleContext().mangleStaticGuardVariable(&D,
out);
2759 guard =
new llvm::GlobalVariable(CGM.getModule(), guardTy,
2760 false,
var->getLinkage(),
2761 llvm::ConstantInt::get(guardTy, 0),
2763 guard->setDSOLocal(
var->isDSOLocal());
2764 guard->setVisibility(
var->getVisibility());
2765 guard->setDLLStorageClass(
var->getDLLStorageClass());
2767 guard->setThreadLocalMode(
var->getThreadLocalMode());
2768 guard->setAlignment(guardAlignment.
getAsAlign());
2773 llvm::Comdat *
C =
var->getComdat();
2775 (CGM.getTarget().getTriple().isOSBinFormatELF() ||
2776 CGM.getTarget().getTriple().isOSBinFormatWasm())) {
2777 guard->setComdat(
C);
2778 }
else if (CGM.supportsCOMDAT() && guard->isWeakForLinker()) {
2779 guard->setComdat(CGM.getModule().getOrInsertComdat(guard->getName()));
2782 CGM.setStaticLocalDeclGuardAddress(&D, guard);
2785 Address guardAddr = Address(guard, guard->getValueType(), guardAlignment);
2810 if (!threadsafe || MaxInlineWidthInBits) {
2812 llvm::LoadInst *LI =
2822 LI->setAtomic(llvm::AtomicOrdering::Acquire);
2845 (UseARMGuardVarABI && !useInt8GuardVariable)
2846 ? Builder.CreateAnd(LI, llvm::ConstantInt::get(CGM.Int8Ty, 1))
2848 llvm::Value *NeedsInit = Builder.CreateIsNull(
V,
"guard.uninitialized");
2854 CodeGenFunction::GuardKind::VariableGuard, &D);
2882 Builder.CreateCondBr(Builder.CreateIsNotNull(
V,
"tobool"),
2883 InitBlock, EndBlock);
2893 Builder.CreateStore(llvm::ConstantInt::get(CGM.Int8Ty, 1),
2911 Builder.CreateStore(llvm::ConstantInt::get(CGM.Int8Ty, 1),
2920 llvm::FunctionCallee dtor,
2921 llvm::Constant *addr,
bool TLS) {
2923 "unexpected call to emitGlobalDtorWithCXAAtExit");
2925 "__cxa_atexit is disabled");
2926 const char *Name =
"__cxa_atexit";
2929 Name =
T.isOSDarwin() ?
"_tlv_atexit" :
"__cxa_thread_atexit";
2937 auto AddrAS = addr ? addr->getType()->getPointerAddressSpace() : 0;
2938 auto AddrPtrTy = AddrAS ? llvm::PointerType::get(CGF.
getLLVMContext(), AddrAS)
2942 llvm::Constant *handle =
2945 GV->setVisibility(llvm::GlobalValue::HiddenVisibility);
2948 llvm::Type *paramTys[] = {
dtorTy, AddrPtrTy, handle->getType()};
2949 llvm::FunctionType *atexitTy =
2950 llvm::FunctionType::get(CGF.
IntTy, paramTys,
false);
2954 if (llvm::Function *fn = dyn_cast<llvm::Function>(atexit.getCallee()))
2955 fn->setDoesNotThrow();
2961 Context.getFunctionType(Context.VoidTy, {Context.VoidPtrTy}, EPI);
2970 addr = llvm::Constant::getNullValue(CGF.
Int8PtrTy);
2972 llvm::Value *args[] = {dtorCallee, addr, handle};
2980 llvm::FunctionType *FTy = llvm::FunctionType::get(CGM.
VoidTy,
false);
2984 return GlobalInitOrCleanupFn;
2987void CodeGenModule::unregisterGlobalDtorsWithUnAtExit() {
2988 for (
const auto &I : DtorsUsingAtExit) {
2989 int Priority = I.first;
2990 std::string GlobalCleanupFnName =
2991 std::string(
"__GLOBAL_cleanup_") + llvm::to_string(Priority);
2993 llvm::Function *GlobalCleanupFn =
2996 CodeGenFunction CGF(*
this);
2997 CGF.
StartFunction(GlobalDecl(), getContext().VoidTy, GlobalCleanupFn,
2998 getTypes().arrangeNullaryFunction(), FunctionArgList(),
2999 SourceLocation(), SourceLocation());
3003 llvm::FunctionType *dtorFuncTy = llvm::FunctionType::get(CGF.
VoidTy,
false);
3007 const llvm::TinyPtrVector<llvm::Function *> &Dtors = I.second;
3008 auto itv = Dtors.rbegin();
3009 while (itv != Dtors.rend()) {
3010 llvm::Function *Dtor = *itv;
3015 llvm::Value *NeedsDestruct =
3018 llvm::BasicBlock *DestructCallBlock =
3021 (itv + 1) != Dtors.rend() ?
"unatexit.call" :
"destruct.end");
3024 CGF.
Builder.CreateCondBr(NeedsDestruct, DestructCallBlock, EndBlock);
3029 llvm::CallInst *CI = CGF.
Builder.CreateCall(dtorFuncTy, Dtor);
3031 CI->setCallingConv(Dtor->getCallingConv());
3039 AddGlobalDtor(GlobalCleanupFn, Priority);
3043void CodeGenModule::registerGlobalDtorsWithAtExit() {
3044 for (
const auto &I : DtorsUsingAtExit) {
3045 int Priority = I.first;
3046 std::string GlobalInitFnName =
3047 std::string(
"__GLOBAL_init_") + llvm::to_string(Priority);
3048 llvm::Function *GlobalInitFn =
3051 CodeGenFunction CGF(*
this);
3052 CGF.
StartFunction(GlobalDecl(), getContext().VoidTy, GlobalInitFn,
3053 getTypes().arrangeNullaryFunction(), FunctionArgList(),
3054 SourceLocation(), SourceLocation());
3062 const llvm::TinyPtrVector<llvm::Function *> &Dtors = I.second;
3063 for (
auto *Dtor : Dtors) {
3066 if (getCodeGenOpts().CXAAtExit) {
3076 AddGlobalCtor(GlobalInitFn, Priority);
3079 if (getCXXABI().useSinitAndSterm())
3080 unregisterGlobalDtorsWithUnAtExit();
3084void ItaniumCXXABI::registerGlobalDtor(CodeGenFunction &CGF,
const VarDecl &D,
3085 llvm::FunctionCallee dtor,
3086 llvm::Constant *addr) {
3091 if (CGM.getLangOpts().HLSL)
3092 return CGM.AddCXXDtorEntry(dtor, addr);
3106 if (CGM.getCodeGenOpts().CXAAtExit || D.
getTLSKind())
3111 if (CGM.getLangOpts().AppleKext) {
3113 return CGM.AddCXXDtorEntry(dtor, addr);
3121 assert(!VD->
isStaticLocal() &&
"static local VarDecls don't need wrappers!");
3131static llvm::GlobalValue::LinkageTypes
3133 llvm::GlobalValue::LinkageTypes VarLinkage =
3137 if (llvm::GlobalValue::isLocalLinkage(VarLinkage))
3142 if (!llvm::GlobalVariable::isLinkOnceLinkage(VarLinkage) &&
3143 !llvm::GlobalVariable::isWeakODRLinkage(VarLinkage))
3145 return llvm::GlobalValue::WeakODRLinkage;
3149ItaniumCXXABI::getOrCreateThreadLocalWrapper(
const VarDecl *VD,
3152 SmallString<256> WrapperName;
3154 llvm::raw_svector_ostream
Out(WrapperName);
3155 getMangleContext().mangleItaniumThreadLocalWrapper(VD, Out);
3160 if (llvm::Value *
V = CGM.getModule().getNamedValue(WrapperName))
3163 QualType RetQT = VD->
getType();
3167 const CGFunctionInfo &FI = CGM.getTypes().arrangeBuiltinFunctionDeclaration(
3168 getContext().getPointerType(RetQT), FunctionArgList());
3170 llvm::FunctionType *FnTy = CGM.getTypes().GetFunctionType(FI);
3171 llvm::Function *Wrapper =
3173 WrapperName.str(), &CGM.getModule());
3175 if (CGM.supportsCOMDAT() && Wrapper->isWeakForLinker())
3176 Wrapper->setComdat(CGM.getModule().getOrInsertComdat(Wrapper->getName()));
3178 CGM.SetLLVMFunctionAttributes(GlobalDecl(), FI, Wrapper,
false);
3181 if (!Wrapper->hasLocalLinkage())
3183 llvm::GlobalVariable::isLinkOnceLinkage(Wrapper->getLinkage()) ||
3184 llvm::GlobalVariable::isWeakODRLinkage(Wrapper->getLinkage()) ||
3186 Wrapper->setVisibility(llvm::GlobalValue::HiddenVisibility);
3189 Wrapper->setCallingConv(llvm::CallingConv::CXX_FAST_TLS);
3190 Wrapper->addFnAttr(llvm::Attribute::NoUnwind);
3193 ThreadWrappers.push_back({VD, Wrapper});
3197void ItaniumCXXABI::EmitThreadLocalInitFuncs(
3198 CodeGenModule &CGM, ArrayRef<const VarDecl *> CXXThreadLocals,
3199 ArrayRef<llvm::Function *> CXXThreadLocalInits,
3200 ArrayRef<const VarDecl *> CXXThreadLocalInitVars) {
3201 llvm::Function *InitFunc =
nullptr;
3205 llvm::SmallVector<llvm::Function *, 8> OrderedInits;
3206 llvm::SmallDenseMap<const VarDecl *, llvm::Function *> UnorderedInits;
3207 for (
unsigned I = 0; I != CXXThreadLocalInits.size(); ++I) {
3210 UnorderedInits[CXXThreadLocalInitVars[I]->getCanonicalDecl()] =
3211 CXXThreadLocalInits[I];
3213 OrderedInits.push_back(CXXThreadLocalInits[I]);
3216 if (!OrderedInits.empty()) {
3218 llvm::FunctionType *FTy =
3219 llvm::FunctionType::get(CGM.
VoidTy,
false);
3224 llvm::GlobalVariable *Guard =
new llvm::GlobalVariable(
3226 llvm::GlobalVariable::InternalLinkage,
3227 llvm::ConstantInt::get(CGM.
Int8Ty, 0),
"__tls_guard");
3228 Guard->setThreadLocal(
true);
3232 Guard->setAlignment(GuardAlign.
getAsAlign());
3234 CodeGenFunction(CGM).GenerateCXXGlobalInitFunc(
3235 InitFunc, OrderedInits, ConstantAddress(Guard, CGM.
Int8Ty, GuardAlign));
3238 InitFunc->setCallingConv(llvm::CallingConv::CXX_FAST_TLS);
3239 InitFunc->addFnAttr(llvm::Attribute::NoUnwind);
3245 for (
const VarDecl *VD : CXXThreadLocals) {
3249 getOrCreateThreadLocalWrapper(VD, GV);
3254 for (
auto VDAndWrapper : ThreadWrappers) {
3255 const VarDecl *VD = VDAndWrapper.first;
3256 llvm::GlobalVariable *Var =
3258 llvm::Function *Wrapper = VDAndWrapper.second;
3265 Wrapper->setLinkage(llvm::Function::ExternalLinkage);
3271 if (Wrapper->getLinkage() == llvm::Function::WeakODRLinkage)
3272 Wrapper->setLinkage(llvm::Function::LinkOnceODRLinkage);
3278 SmallString<256> InitFnName;
3280 llvm::raw_svector_ostream
Out(InitFnName);
3281 getMangleContext().mangleItaniumThreadLocalInit(VD, Out);
3284 llvm::FunctionType *InitFnTy = llvm::FunctionType::get(CGM.
VoidTy,
false);
3289 llvm::GlobalValue *
Init =
nullptr;
3290 bool InitIsInitFunc =
false;
3291 bool HasConstantInitialization =
false;
3292 if (!usesThreadWrapperFunction(VD)) {
3293 HasConstantInitialization =
true;
3295 InitIsInitFunc =
true;
3296 llvm::Function *InitFuncToUse = InitFunc;
3300 Init = llvm::GlobalAlias::create(Var->getLinkage(), InitFnName.str(),
3307 Init = llvm::Function::Create(InitFnTy,
3308 llvm::GlobalVariable::ExternalWeakLinkage,
3316 Init->setVisibility(Var->getVisibility());
3318 if (!CGM.
getTriple().isOSWindows() || !
Init->hasExternalWeakLinkage())
3319 Init->setDSOLocal(Var->isDSOLocal());
3322 llvm::LLVMContext &Context = CGM.
getModule().getContext();
3330 isEmittedWithConstantInitializer(VD,
true) &&
3331 !mayNeedDestruction(VD)) {
3336 assert(
Init ==
nullptr &&
"Expected Init to be null.");
3338 llvm::Function *
Func = llvm::Function::Create(
3339 InitFnTy, Var->getLinkage(), InitFnName.str(), &CGM.
getModule());
3345 llvm::BasicBlock *Entry = llvm::BasicBlock::Create(Context,
"",
Func);
3346 CGBuilderTy Builder(CGM, Entry);
3347 Builder.CreateRetVoid();
3350 llvm::BasicBlock *Entry = llvm::BasicBlock::Create(Context,
"", Wrapper);
3351 CGBuilderTy Builder(CGM, Entry);
3352 if (HasConstantInitialization) {
3354 }
else if (InitIsInitFunc) {
3356 llvm::CallInst *CallVal = Builder.CreateCall(InitFnTy,
Init);
3358 CallVal->setCallingConv(llvm::CallingConv::CXX_FAST_TLS);
3359 llvm::Function *
Fn =
3361 Fn->setCallingConv(llvm::CallingConv::CXX_FAST_TLS);
3372 Builder.CreateCall(InitFnTy,
Init);
3375 llvm::Value *Have = Builder.CreateIsNotNull(
Init);
3376 llvm::BasicBlock *InitBB = llvm::BasicBlock::Create(Context,
"", Wrapper);
3377 llvm::BasicBlock *ExitBB = llvm::BasicBlock::Create(Context,
"", Wrapper);
3378 Builder.CreateCondBr(Have, InitBB, ExitBB);
3380 Builder.SetInsertPoint(InitBB);
3381 Builder.CreateCall(InitFnTy,
Init);
3382 Builder.CreateBr(ExitBB);
3384 Builder.SetInsertPoint(ExitBB);
3389 llvm::Value *Val = Builder.CreateThreadLocalAddress(Var);
3393 Val = Builder.CreateAlignedLoad(Var->getValueType(), Val, Align);
3395 Val = Builder.CreateAddrSpaceCast(Val, Wrapper->getReturnType());
3397 Builder.CreateRet(Val);
3401LValue ItaniumCXXABI::EmitThreadLocalVarDeclLValue(CodeGenFunction &CGF,
3403 QualType LValType) {
3405 llvm::Function *Wrapper = getOrCreateThreadLocalWrapper(VD, Val);
3407 llvm::CallInst *CallVal = CGF.
Builder.CreateCall(Wrapper);
3408 CallVal->setCallingConv(Wrapper->getCallingConv());
3422bool ItaniumCXXABI::NeedsVTTParameter(GlobalDecl GD) {
3441ItaniumCXXABI::getOrCreateVirtualFunctionPointerThunk(
const CXXMethodDecl *MD) {
3442 SmallString<256> MethodName;
3443 llvm::raw_svector_ostream
Out(MethodName);
3444 getMangleContext().mangleCXXName(MD, Out);
3445 MethodName +=
"_vfpthunk_";
3446 StringRef ThunkName = MethodName.str();
3447 llvm::Function *ThunkFn;
3448 if ((ThunkFn = cast_or_null<llvm::Function>(
3449 CGM.
getModule().getNamedValue(ThunkName))))
3454 llvm::GlobalValue::LinkageTypes
Linkage =
3456 : llvm::GlobalValue::InternalLinkage;
3459 if (
Linkage == llvm::GlobalValue::LinkOnceODRLinkage)
3460 ThunkFn->setVisibility(llvm::GlobalValue::HiddenVisibility);
3461 assert(ThunkFn->getName() == ThunkName &&
"name was uniqued!");
3467 ThunkFn->removeFnAttr(llvm::Attribute::StackProtect);
3468 ThunkFn->removeFnAttr(llvm::Attribute::StackProtectStrong);
3469 ThunkFn->removeFnAttr(llvm::Attribute::StackProtectReq);
3472 CodeGenFunction CGF(CGM);
3473 CGF.
CurGD = GlobalDecl(MD);
3477 FunctionArgList FunctionArgs;
3481 FunctionArgs, MD->
getLocation(), SourceLocation());
3482 llvm::Value *ThisVal = loadIncomingCXXThis(CGF);
3483 setCXXABIThisValue(CGF, ThisVal);
3485 CallArgList CallArgs;
3486 for (
const VarDecl *VD : FunctionArgs)
3489 const FunctionProtoType *FPT = MD->
getType()->
getAs<FunctionProtoType>();
3491 const CGFunctionInfo &CallInfo =
3494 getThisAddress(CGF), ThunkTy);
3495 llvm::CallBase *CallOrInvoke;
3496 CGF.
EmitCall(CallInfo, Callee, ReturnValueSlot(), CallArgs, &CallOrInvoke,
3497 true, SourceLocation(),
true);
3499 Call->setTailCallKind(llvm::CallInst::TCK_MustTail);
3500 if (
Call->getType()->isVoidTy())
3513class ItaniumRTTIBuilder {
3515 llvm::LLVMContext &VMContext;
3516 const ItaniumCXXABI &
CXXABI;
3519 SmallVector<llvm::Constant *, 16> Fields;
3522 llvm::GlobalVariable *
3523 GetAddrOfTypeName(QualType Ty, llvm::GlobalVariable::LinkageTypes
Linkage);
3527 llvm::Constant *GetAddrOfExternalRTTIDescriptor(QualType Ty);
3530 void BuildVTablePointer(
const Type *Ty, llvm::Constant *StorageAddress);
3534 void BuildSIClassTypeInfo(
const CXXRecordDecl *RD);
3539 void BuildVMIClassTypeInfo(
const CXXRecordDecl *RD);
3543 void BuildPointerTypeInfo(QualType PointeeTy);
3547 void BuildObjCObjectTypeInfo(
const ObjCObjectType *Ty);
3551 void BuildPointerToMemberTypeInfo(
const MemberPointerType *Ty);
3554 ItaniumRTTIBuilder(
const ItaniumCXXABI &ABI)
3555 : CGM(ABI.CGM), VMContext(CGM.getModule().getContext()),
CXXABI(ABI) {}
3569 PTI_Incomplete = 0x8,
3573 PTI_ContainingClassIncomplete = 0x10,
3579 PTI_Noexcept = 0x40,
3585 VMI_NonDiamondRepeat = 0x1,
3588 VMI_DiamondShaped = 0x2
3602 llvm::Constant *BuildTypeInfo(QualType Ty);
3605 llvm::Constant *BuildTypeInfo(
3607 llvm::GlobalVariable::LinkageTypes
Linkage,
3608 llvm::GlobalValue::VisibilityTypes
Visibility,
3609 llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass);
3613llvm::GlobalVariable *ItaniumRTTIBuilder::GetAddrOfTypeName(
3614 QualType Ty, llvm::GlobalVariable::LinkageTypes
Linkage) {
3615 SmallString<256> Name;
3616 llvm::raw_svector_ostream
Out(Name);
3622 llvm::Constant *
Init = llvm::ConstantDataArray::getString(VMContext,
3629 GV->setInitializer(
Init);
3635ItaniumRTTIBuilder::GetAddrOfExternalRTTIDescriptor(QualType Ty) {
3637 SmallString<256> Name;
3638 llvm::raw_svector_ostream
Out(Name);
3642 llvm::GlobalVariable *GV = CGM.
getModule().getNamedGlobal(Name);
3649 GV =
new llvm::GlobalVariable(
3651 true, llvm::GlobalValue::ExternalLinkage,
nullptr, Name);
3658 GV->setDLLStorageClass(llvm::GlobalVariable::DLLImportStorageClass);
3685 case BuiltinType::Void:
3686 case BuiltinType::NullPtr:
3687 case BuiltinType::Bool:
3688 case BuiltinType::WChar_S:
3689 case BuiltinType::WChar_U:
3690 case BuiltinType::Char_U:
3691 case BuiltinType::Char_S:
3692 case BuiltinType::UChar:
3693 case BuiltinType::SChar:
3694 case BuiltinType::Short:
3695 case BuiltinType::UShort:
3696 case BuiltinType::Int:
3697 case BuiltinType::UInt:
3698 case BuiltinType::Long:
3699 case BuiltinType::ULong:
3700 case BuiltinType::LongLong:
3701 case BuiltinType::ULongLong:
3702 case BuiltinType::Half:
3703 case BuiltinType::Float:
3704 case BuiltinType::Double:
3705 case BuiltinType::LongDouble:
3706 case BuiltinType::Float16:
3707 case BuiltinType::Float128:
3708 case BuiltinType::Ibm128:
3709 case BuiltinType::Char8:
3710 case BuiltinType::Char16:
3711 case BuiltinType::Char32:
3712 case BuiltinType::Int128:
3713 case BuiltinType::UInt128:
3716#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \
3717 case BuiltinType::Id:
3718#include "clang/Basic/OpenCLImageTypes.def"
3719#define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
3720 case BuiltinType::Id:
3721#include "clang/Basic/OpenCLExtensionTypes.def"
3722 case BuiltinType::OCLSampler:
3723 case BuiltinType::OCLEvent:
3724 case BuiltinType::OCLClkEvent:
3725 case BuiltinType::OCLQueue:
3726 case BuiltinType::OCLReserveID:
3727#define SVE_TYPE(Name, Id, SingletonId) \
3728 case BuiltinType::Id:
3729#include "clang/Basic/AArch64ACLETypes.def"
3730#define PPC_VECTOR_TYPE(Name, Id, Size) \
3731 case BuiltinType::Id:
3732#include "clang/Basic/PPCTypes.def"
3733#define RVV_TYPE(Name, Id, SingletonId) case BuiltinType::Id:
3734#include "clang/Basic/RISCVVTypes.def"
3735#define WASM_TYPE(Name, Id, SingletonId) case BuiltinType::Id:
3736#include "clang/Basic/WebAssemblyReferenceTypes.def"
3737#define AMDGPU_TYPE(Name, Id, SingletonId, Width, Align) case BuiltinType::Id:
3738#include "clang/Basic/AMDGPUTypes.def"
3739#define HLSL_INTANGIBLE_TYPE(Name, Id, SingletonId) case BuiltinType::Id:
3740#include "clang/Basic/HLSLIntangibleTypes.def"
3741 case BuiltinType::ShortAccum:
3742 case BuiltinType::Accum:
3743 case BuiltinType::LongAccum:
3744 case BuiltinType::UShortAccum:
3745 case BuiltinType::UAccum:
3746 case BuiltinType::ULongAccum:
3747 case BuiltinType::ShortFract:
3748 case BuiltinType::Fract:
3749 case BuiltinType::LongFract:
3750 case BuiltinType::UShortFract:
3751 case BuiltinType::UFract:
3752 case BuiltinType::ULongFract:
3753 case BuiltinType::SatShortAccum:
3754 case BuiltinType::SatAccum:
3755 case BuiltinType::SatLongAccum:
3756 case BuiltinType::SatUShortAccum:
3757 case BuiltinType::SatUAccum:
3758 case BuiltinType::SatULongAccum:
3759 case BuiltinType::SatShortFract:
3760 case BuiltinType::SatFract:
3761 case BuiltinType::SatLongFract:
3762 case BuiltinType::SatUShortFract:
3763 case BuiltinType::SatUFract:
3764 case BuiltinType::SatULongFract:
3765 case BuiltinType::BFloat16:
3768 case BuiltinType::Dependent:
3769#define BUILTIN_TYPE(Id, SingletonId)
3770#define PLACEHOLDER_TYPE(Id, SingletonId) \
3771 case BuiltinType::Id:
3772#include "clang/AST/BuiltinTypes.def"
3773 llvm_unreachable(
"asking for RRTI for a placeholder type!");
3775 case BuiltinType::ObjCId:
3776 case BuiltinType::ObjCClass:
3777 case BuiltinType::ObjCSel:
3778 llvm_unreachable(
"FIXME: Objective-C types are unsupported!");
3781 llvm_unreachable(
"Invalid BuiltinType Kind!");
3786 const BuiltinType *BuiltinTy = dyn_cast<BuiltinType>(PointeeTy);
3804 if (
const BuiltinType *BuiltinTy = dyn_cast<BuiltinType>(Ty))
3809 if (
const PointerType *PointerTy = dyn_cast<PointerType>(Ty))
3825 if (!Context.getLangOpts().RTTI)
return false;
3827 if (
const RecordType *RecordTy = dyn_cast<RecordType>(Ty)) {
3840 bool IsDLLImport = RD->
hasAttr<DLLImportAttr>();
3850 return IsDLLImport && !CGM.
getTriple().isWindowsItaniumEnvironment()
3863 return !RecordTy->getDecl()->getDefinitionOrSelf()->isCompleteDefinition();
3878 if (
const RecordType *RecordTy = dyn_cast<RecordType>(Ty)) {
3883 if (
const PointerType *PointerTy = dyn_cast<PointerType>(Ty))
3887 dyn_cast<MemberPointerType>(Ty)) {
3889 if (!MemberPointerTy->getMostRecentCXXRecordDecl()->hasDefinition())
3910 if (
Base->isVirtual())
3918 auto *BaseDecl =
Base->getType()->castAsCXXRecordDecl();
3919 if (!BaseDecl->isEmpty() &&
3926void ItaniumRTTIBuilder::BuildVTablePointer(
const Type *Ty,
3927 llvm::Constant *StorageAddress) {
3929 static const char *
const ClassTypeInfo =
3930 "_ZTVN10__cxxabiv117__class_type_infoE";
3932 static const char *
const SIClassTypeInfo =
3933 "_ZTVN10__cxxabiv120__si_class_type_infoE";
3935 static const char *
const VMIClassTypeInfo =
3936 "_ZTVN10__cxxabiv121__vmi_class_type_infoE";
3938 const char *VTableName =
nullptr;
3941#define TYPE(Class, Base)
3942#define ABSTRACT_TYPE(Class, Base)
3943#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) case Type::Class:
3944#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
3945#define DEPENDENT_TYPE(Class, Base) case Type::Class:
3946#include "clang/AST/TypeNodes.inc"
3947 llvm_unreachable(
"Non-canonical and dependent types shouldn't get here");
3949 case Type::LValueReference:
3950 case Type::RValueReference:
3951 llvm_unreachable(
"References shouldn't get here");
3954 case Type::DeducedTemplateSpecialization:
3955 llvm_unreachable(
"Undeduced type shouldn't get here");
3958 llvm_unreachable(
"Pipe types shouldn't get here");
3960 case Type::ArrayParameter:
3961 llvm_unreachable(
"Array Parameter types should not get here.");
3967 case Type::ExtVector:
3968 case Type::ConstantMatrix:
3972 case Type::BlockPointer:
3974 VTableName =
"_ZTVN10__cxxabiv123__fundamental_type_infoE";
3977 case Type::ConstantArray:
3978 case Type::IncompleteArray:
3979 case Type::VariableArray:
3981 VTableName =
"_ZTVN10__cxxabiv117__array_type_infoE";
3984 case Type::FunctionNoProto:
3985 case Type::FunctionProto:
3987 VTableName =
"_ZTVN10__cxxabiv120__function_type_infoE";
3992 VTableName =
"_ZTVN10__cxxabiv116__enum_type_infoE";
3995 case Type::Record: {
3997 ->getDefinitionOrSelf();
4000 VTableName = ClassTypeInfo;
4002 VTableName = SIClassTypeInfo;
4004 VTableName = VMIClassTypeInfo;
4010 case Type::ObjCObject:
4016 VTableName = ClassTypeInfo;
4023 case Type::ObjCInterface:
4025 VTableName = SIClassTypeInfo;
4027 VTableName = ClassTypeInfo;
4031 case Type::ObjCObjectPointer:
4034 VTableName =
"_ZTVN10__cxxabiv119__pointer_type_infoE";
4037 case Type::MemberPointer:
4039 VTableName =
"_ZTVN10__cxxabiv129__pointer_to_member_type_infoE";
4042 case Type::HLSLAttributedResource:
4043 case Type::HLSLInlineSpirv:
4044 llvm_unreachable(
"HLSL doesn't support virtual functions");
4047 llvm::Constant *VTable =
nullptr;
4051 VTable = CGM.
getModule().getNamedAlias(VTableName);
4054 VTable = CGM.
getModule().getOrInsertGlobal(VTableName, Ty);
4059 llvm::Type *PtrDiffTy =
4066 llvm::Constant *Eight = llvm::ConstantInt::get(CGM.
Int32Ty, 8);
4068 llvm::ConstantExpr::getInBoundsGetElementPtr(CGM.
Int8Ty, VTable, Eight);
4070 llvm::Constant *Two = llvm::ConstantInt::get(PtrDiffTy, 2);
4071 VTable = llvm::ConstantExpr::getInBoundsGetElementPtr(CGM.
GlobalsInt8PtrTy,
4075 if (
const auto &Schema =
4079 Schema.isAddressDiscriminated() ? StorageAddress :
nullptr,
4080 GlobalDecl(), QualType(Ty, 0));
4082 Fields.push_back(VTable);
4099 return llvm::GlobalValue::InternalLinkage;
4103 llvm_unreachable(
"Linkage hasn't been computed!");
4108 return llvm::GlobalValue::InternalLinkage;
4116 return llvm::GlobalValue::LinkOnceODRLinkage;
4118 if (
const RecordType *
Record = dyn_cast<RecordType>(Ty)) {
4122 return llvm::GlobalValue::WeakODRLinkage;
4123 if (CGM.
getTriple().isWindowsItaniumEnvironment())
4124 if (RD->
hasAttr<DLLImportAttr>() &&
4126 return llvm::GlobalValue::ExternalLinkage;
4133 return llvm::GlobalValue::LinkOnceODRLinkage;
4136 llvm_unreachable(
"Invalid linkage!");
4139llvm::Constant *ItaniumRTTIBuilder::BuildTypeInfo(QualType Ty) {
4144 SmallString<256> Name;
4145 llvm::raw_svector_ostream
Out(Name);
4148 llvm::GlobalVariable *OldGV = CGM.
getModule().getNamedGlobal(Name);
4149 if (OldGV && !OldGV->isDeclaration()) {
4150 assert(!OldGV->hasAvailableExternallyLinkage() &&
4151 "available_externally typeinfos not yet implemented");
4159 return GetAddrOfExternalRTTIDescriptor(Ty);
4166 llvm::GlobalValue::VisibilityTypes llvmVisibility;
4167 if (llvm::GlobalValue::isLocalLinkage(
Linkage))
4169 llvmVisibility = llvm::GlobalValue::DefaultVisibility;
4171 ItaniumCXXABI::RUK_NonUniqueHidden)
4172 llvmVisibility = llvm::GlobalValue::HiddenVisibility;
4176 llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass =
4177 llvm::GlobalValue::DefaultStorageClass;
4179 if ((CGM.
getTriple().isWindowsItaniumEnvironment() &&
4180 RD->
hasAttr<DLLExportAttr>()) ||
4182 !llvm::GlobalValue::isLocalLinkage(
Linkage) &&
4183 llvmVisibility == llvm::GlobalValue::DefaultVisibility))
4184 DLLStorageClass = llvm::GlobalValue::DLLExportStorageClass;
4186 return BuildTypeInfo(Ty,
Linkage, llvmVisibility, DLLStorageClass);
4189llvm::Constant *ItaniumRTTIBuilder::BuildTypeInfo(
4191 llvm::GlobalVariable::LinkageTypes
Linkage,
4192 llvm::GlobalValue::VisibilityTypes
Visibility,
4193 llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass) {
4194 SmallString<256> Name;
4195 llvm::raw_svector_ostream
Out(Name);
4198 llvm::GlobalVariable *OldGV = M.getNamedGlobal(Name);
4200 llvm::GlobalVariable *GV =
4209 llvm::Constant *TypeNameField;
4213 ItaniumCXXABI::RTTIUniquenessKind RTTIUniqueness =
4215 if (RTTIUniqueness != ItaniumCXXABI::RUK_Unique) {
4218 TypeNameField = llvm::ConstantExpr::getPtrToInt(TypeName, CGM.
Int64Ty);
4219 llvm::Constant *flag =
4220 llvm::ConstantInt::get(CGM.
Int64Ty, ((uint64_t)1) << 63);
4221 TypeNameField = llvm::ConstantExpr::getAdd(TypeNameField, flag);
4227 Fields.push_back(TypeNameField);
4230#define TYPE(Class, Base)
4231#define ABSTRACT_TYPE(Class, Base)
4232#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) case Type::Class:
4233#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
4234#define DEPENDENT_TYPE(Class, Base) case Type::Class:
4235#include "clang/AST/TypeNodes.inc"
4236 llvm_unreachable(
"Non-canonical and dependent types shouldn't get here");
4241 case Type::ExtVector:
4242 case Type::ConstantMatrix:
4244 case Type::BlockPointer:
4249 case Type::LValueReference:
4250 case Type::RValueReference:
4251 llvm_unreachable(
"References shouldn't get here");
4254 case Type::DeducedTemplateSpecialization:
4255 llvm_unreachable(
"Undeduced type shouldn't get here");
4263 case Type::ConstantArray:
4264 case Type::IncompleteArray:
4265 case Type::VariableArray:
4266 case Type::ArrayParameter:
4271 case Type::FunctionNoProto:
4272 case Type::FunctionProto:
4282 case Type::Record: {
4284 ->getDefinitionOrSelf();
4291 BuildSIClassTypeInfo(RD);
4293 BuildVMIClassTypeInfo(RD);
4298 case Type::ObjCObject:
4299 case Type::ObjCInterface:
4303 case Type::ObjCObjectPointer:
4311 case Type::MemberPointer:
4319 case Type::HLSLAttributedResource:
4320 case Type::HLSLInlineSpirv:
4321 llvm_unreachable(
"HLSL doesn't support RTTI");
4324 GV->replaceInitializer(llvm::ConstantStruct::getAnon(Fields));
4327 auto GVDLLStorageClass = DLLStorageClass;
4329 GVDLLStorageClass != llvm::GlobalVariable::DLLExportStorageClass) {
4330 if (
const RecordType *RecordTy = dyn_cast<RecordType>(Ty)) {
4333 if (RD->
hasAttr<DLLExportAttr>() ||
4335 GVDLLStorageClass = llvm::GlobalVariable::DLLExportStorageClass;
4341 GV->takeName(OldGV);
4342 OldGV->replaceAllUsesWith(GV);
4343 OldGV->eraseFromParent();
4347 GV->setComdat(M.getOrInsertComdat(GV->getName()));
4374 TypeName->setDLLStorageClass(DLLStorageClass);
4375 GV->setDLLStorageClass(GVDLLStorageClass);
4385void ItaniumRTTIBuilder::BuildObjCObjectTypeInfo(
const ObjCObjectType *OT) {
4387 const Type *
T = OT->getBaseType().getTypePtr();
4395 ObjCInterfaceDecl *Super =
Class->getSuperClass();
4403 llvm::Constant *BaseTypeInfo =
4404 ItaniumRTTIBuilder(
CXXABI).BuildTypeInfo(SuperTy);
4405 Fields.push_back(BaseTypeInfo);
4410void ItaniumRTTIBuilder::BuildSIClassTypeInfo(
const CXXRecordDecl *RD) {
4414 llvm::Constant *BaseTypeInfo =
4416 Fields.push_back(BaseTypeInfo);
4423 llvm::SmallPtrSet<const CXXRecordDecl *, 16> NonVirtualBases;
4424 llvm::SmallPtrSet<const CXXRecordDecl *, 16> VirtualBases;
4436 auto *BaseDecl =
Base->getType()->castAsCXXRecordDecl();
4437 if (
Base->isVirtual()) {
4439 if (!Bases.VirtualBases.insert(BaseDecl).second) {
4442 Flags |= ItaniumRTTIBuilder::VMI_DiamondShaped;
4444 if (Bases.NonVirtualBases.count(BaseDecl))
4445 Flags |= ItaniumRTTIBuilder::VMI_NonDiamondRepeat;
4449 if (!Bases.NonVirtualBases.insert(BaseDecl).second) {
4452 Flags |= ItaniumRTTIBuilder::VMI_NonDiamondRepeat;
4454 if (Bases.VirtualBases.count(BaseDecl))
4455 Flags |= ItaniumRTTIBuilder::VMI_NonDiamondRepeat;
4460 for (
const auto &I : BaseDecl->bases())
4471 for (
const auto &I : RD->
bases())
4480void ItaniumRTTIBuilder::BuildVMIClassTypeInfo(
const CXXRecordDecl *RD) {
4481 llvm::Type *UnsignedIntLTy =
4489 Fields.push_back(llvm::ConstantInt::get(UnsignedIntLTy, Flags));
4494 Fields.push_back(llvm::ConstantInt::get(UnsignedIntLTy, RD->
getNumBases()));
4527 llvm::Type *OffsetFlagsLTy =
4530 for (
const auto &Base : RD->
bases()) {
4532 Fields.push_back(ItaniumRTTIBuilder(
CXXABI).BuildTypeInfo(
Base.getType()));
4534 auto *BaseDecl =
Base.getType()->castAsCXXRecordDecl();
4542 if (
Base.isVirtual())
4554 if (
Base.isVirtual())
4555 OffsetFlags |= BCTI_Virtual;
4557 OffsetFlags |= BCTI_Public;
4559 Fields.push_back(llvm::ConstantInt::get(OffsetFlagsLTy, OffsetFlags));
4568 if (
Type.isConstQualified())
4569 Flags |= ItaniumRTTIBuilder::PTI_Const;
4570 if (
Type.isVolatileQualified())
4571 Flags |= ItaniumRTTIBuilder::PTI_Volatile;
4572 if (
Type.isRestrictQualified())
4573 Flags |= ItaniumRTTIBuilder::PTI_Restrict;
4580 Flags |= ItaniumRTTIBuilder::PTI_Incomplete;
4583 if (Proto->isNothrow()) {
4584 Flags |= ItaniumRTTIBuilder::PTI_Noexcept;
4594void ItaniumRTTIBuilder::BuildPointerTypeInfo(QualType PointeeTy) {
4600 llvm::Type *UnsignedIntLTy =
4602 Fields.push_back(llvm::ConstantInt::get(UnsignedIntLTy, Flags));
4607 llvm::Constant *PointeeTypeInfo =
4608 ItaniumRTTIBuilder(
CXXABI).BuildTypeInfo(PointeeTy);
4609 Fields.push_back(PointeeTypeInfo);
4615ItaniumRTTIBuilder::BuildPointerToMemberTypeInfo(
const MemberPointerType *Ty) {
4625 Flags |= PTI_ContainingClassIncomplete;
4627 llvm::Type *UnsignedIntLTy =
4629 Fields.push_back(llvm::ConstantInt::get(UnsignedIntLTy, Flags));
4634 llvm::Constant *PointeeTypeInfo =
4635 ItaniumRTTIBuilder(
CXXABI).BuildTypeInfo(PointeeTy);
4636 Fields.push_back(PointeeTypeInfo);
4643 Fields.push_back(ItaniumRTTIBuilder(
CXXABI).BuildTypeInfo(
T));
4646llvm::Constant *ItaniumCXXABI::getAddrOfRTTIDescriptor(QualType Ty) {
4647 return ItaniumRTTIBuilder(*this).BuildTypeInfo(Ty);
4650void ItaniumCXXABI::EmitFundamentalRTTIDescriptors(
const CXXRecordDecl *RD) {
4652 QualType FundamentalTypes[] = {
4653 getContext().VoidTy, getContext().NullPtrTy,
4654 getContext().BoolTy, getContext().WCharTy,
4655 getContext().CharTy, getContext().UnsignedCharTy,
4656 getContext().SignedCharTy, getContext().ShortTy,
4657 getContext().UnsignedShortTy, getContext().IntTy,
4658 getContext().UnsignedIntTy, getContext().LongTy,
4659 getContext().UnsignedLongTy, getContext().LongLongTy,
4660 getContext().UnsignedLongLongTy, getContext().Int128Ty,
4661 getContext().UnsignedInt128Ty, getContext().HalfTy,
4662 getContext().FloatTy, getContext().DoubleTy,
4663 getContext().LongDoubleTy, getContext().Float128Ty,
4664 getContext().Char8Ty, getContext().Char16Ty,
4665 getContext().Char32Ty
4667 llvm::GlobalValue::DLLStorageClassTypes DLLStorageClass =
4669 ? llvm::GlobalValue::DLLExportStorageClass
4670 : llvm::GlobalValue::DefaultStorageClass;
4671 llvm::GlobalValue::VisibilityTypes
Visibility =
4673 for (
const QualType &FundamentalType : FundamentalTypes) {
4674 QualType PointerType = getContext().getPointerType(FundamentalType);
4675 QualType PointerTypeConst = getContext().getPointerType(
4676 FundamentalType.withConst());
4677 for (QualType
Type : {FundamentalType, PointerType, PointerTypeConst})
4678 ItaniumRTTIBuilder(*this).BuildTypeInfo(
4679 Type, llvm::GlobalValue::ExternalLinkage,
4686ItaniumCXXABI::RTTIUniquenessKind ItaniumCXXABI::classifyRTTIUniqueness(
4687 QualType CanTy, llvm::GlobalValue::LinkageTypes
Linkage)
const {
4688 if (shouldRTTIBeUnique())
4692 if (
Linkage != llvm::GlobalValue::LinkOnceODRLinkage &&
4693 Linkage != llvm::GlobalValue::WeakODRLinkage)
4701 if (
Linkage == llvm::GlobalValue::LinkOnceODRLinkage)
4702 return RUK_NonUniqueHidden;
4707 assert(
Linkage == llvm::GlobalValue::WeakODRLinkage);
4708 return RUK_NonUniqueVisible;
4713enum class StructorCodegen { Emit, RAUW, Alias, COMDAT };
4718 return StructorCodegen::Emit;
4723 return StructorCodegen::Emit;
4726 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(MD)) {
4734 if (llvm::GlobalValue::isDiscardableIfUnused(
Linkage))
4735 return StructorCodegen::RAUW;
4738 if (!llvm::GlobalAlias::isValidLinkage(
Linkage))
4739 return StructorCodegen::RAUW;
4741 if (llvm::GlobalValue::isWeakForLinker(
Linkage)) {
4745 return StructorCodegen::COMDAT;
4746 return StructorCodegen::Emit;
4749 return StructorCodegen::Alias;
4759 if (Entry && !Entry->isDeclaration())
4765 auto *Alias = llvm::GlobalAlias::create(
Linkage,
"", Aliasee);
4768 Alias->setUnnamedAddr(llvm::GlobalValue::UnnamedAddr::Global);
4772 assert(Entry->getType() == Aliasee->getType() &&
4773 "declaration exists with different type");
4774 Alias->takeName(Entry);
4775 Entry->replaceAllUsesWith(Alias);
4776 Entry->eraseFromParent();
4778 Alias->setName(MangledName);
4785void ItaniumCXXABI::emitCXXStructor(GlobalDecl GD) {
4787 auto *CD = dyn_cast<CXXConstructorDecl>(MD);
4794 GlobalDecl BaseDecl;
4800 if (CGType == StructorCodegen::Alias || CGType == StructorCodegen::COMDAT) {
4805 if (CGType == StructorCodegen::RAUW) {
4818 CGType != StructorCodegen::COMDAT &&
4836 if (CGType == StructorCodegen::COMDAT) {
4837 SmallString<256> Buffer;
4838 llvm::raw_svector_ostream
Out(Buffer);
4840 getMangleContext().mangleCXXDtorComdat(DD, Out);
4842 getMangleContext().mangleCXXCtorComdat(CD, Out);
4843 llvm::Comdat *
C = CGM.
getModule().getOrInsertComdat(
Out.str());
4852 llvm::FunctionType *FTy = llvm::FunctionType::get(
4860 llvm::FunctionType *FTy =
4861 llvm::FunctionType::get(CGM.
VoidTy,
false);
4868 llvm::FunctionType *FTy = llvm::FunctionType::get(
4887 struct CallEndCatch final : EHScopeStack::Cleanup {
4888 CallEndCatch(
bool MightThrow) : MightThrow(MightThrow) {}
4891 void Emit(CodeGenFunction &CGF, Flags flags)
override {
4910 bool EndMightThrow) {
4911 llvm::CallInst *call =
4914 CGF.
EHStack.pushCleanup<CallEndCatch>(
4916 EndMightThrow && !CGF.
CGM.
getLangOpts().AssumeNothrowExceptionDtor);
4941 llvm::Value *AdjustedExn =
CallBeginCatch(CGF, Exn, EndCatchMightThrow);
4946 if (
const PointerType *PT = dyn_cast<PointerType>(CaughtType)) {
4955 unsigned HeaderSize =
4958 CGF.
Builder.CreateConstGEP1_32(CGF.
Int8Ty, Exn, HeaderSize);
4981 llvm::Value *Casted = CGF.
Builder.CreateBitCast(AdjustedExn, PtrTy);
4989 llvm::Value *ExnCast =
4990 CGF.
Builder.CreateBitCast(AdjustedExn, LLVMCatchTy,
"exn.byref");
5002 if (CatchType->hasPointerRepresentation()) {
5003 llvm::Value *CastExn =
5004 CGF.
Builder.CreateBitCast(AdjustedExn, LLVMCatchTy,
"exn.casted");
5021 llvm_unreachable(
"bad ownership qualifier!");
5039 llvm_unreachable(
"evaluation kind filtered out!");
5041 llvm_unreachable(
"bad evaluation kind");
5045 auto catchRD = CatchType->getAsCXXRecordDecl();
5055 Address adjustedExn(CGF.
Builder.CreateBitCast(rawAdjustedExn, PtrTy),
5056 LLVMCatchTy, caughtExnAlignment);
5065 llvm::CallInst *rawAdjustedExn =
5069 Address adjustedExn(CGF.
Builder.CreateBitCast(rawAdjustedExn, PtrTy),
5070 LLVMCatchTy, caughtExnAlignment);
5101void ItaniumCXXABI::emitBeginCatch(CodeGenFunction &CGF,
5102 const CXXCatchStmt *S) {
5149 C.VoidTy, {C.getPointerType(C.CharTy)});
5152 fnTy,
"__clang_call_terminate", llvm::AttributeList(),
true);
5153 llvm::Function *fn =
5158 fn->setDoesNotThrow();
5159 fn->setDoesNotReturn();
5164 fn->addFnAttr(llvm::Attribute::NoInline);
5168 fn->setLinkage(llvm::Function::LinkOnceODRLinkage);
5169 fn->setVisibility(llvm::Function::HiddenVisibility);
5171 fn->setComdat(CGM.
getModule().getOrInsertComdat(fn->getName()));
5174 llvm::BasicBlock *entry =
5179 llvm::Value *exn = &*fn->arg_begin();
5182 llvm::CallInst *catchCall = builder.CreateCall(
getBeginCatchFn(CGM), exn);
5183 catchCall->setDoesNotThrow();
5187 llvm::CallInst *termCall = builder.CreateCall(CGM.
getTerminateFn());
5188 termCall->setDoesNotThrow();
5189 termCall->setDoesNotReturn();
5193 builder.CreateUnreachable();
5199ItaniumCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
5209std::pair<llvm::Value *, const CXXRecordDecl *>
5210ItaniumCXXABI::LoadVTablePtr(CodeGenFunction &CGF, Address This,
5211 const CXXRecordDecl *RD) {
5216ItaniumCXXABI::getSignedVirtualMemberFunctionPointer(
const CXXMethodDecl *MD) {
5217 const CXXMethodDecl *origMD =
5221 llvm::Constant *thunk = getOrCreateVirtualFunctionPointerThunk(origMD);
5227void WebAssemblyCXXABI::emitBeginCatch(CodeGenFunction &CGF,
5228 const CXXCatchStmt *
C) {
5230 CGF.
EHStack.pushCleanup<CatchRetScope>(
5232 ItaniumCXXABI::emitBeginCatch(CGF,
C);
5236WebAssemblyCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
5253void XLCXXABI::registerGlobalDtor(CodeGenFunction &CGF,
const VarDecl &D,
5254 llvm::FunctionCallee Dtor,
5255 llvm::Constant *
Addr) {
5260 llvm::FunctionType *AtExitTy =
5261 llvm::FunctionType::get(CGM.
IntTy, {CGM.IntTy, PtrTy},
true);
5264 llvm::FunctionCallee
AtExit =
5272 llvm::Value *NV = llvm::Constant::getNullValue(CGM.
IntTy);
5280 llvm::Function *DtorStub =
5288 emitCXXStermFinalizer(D, DtorStub,
Addr);
5291void XLCXXABI::emitCXXStermFinalizer(
const VarDecl &D, llvm::Function *dtorStub,
5292 llvm::Constant *addr) {
5293 llvm::FunctionType *FTy = llvm::FunctionType::get(CGM.
VoidTy,
false);
5294 SmallString<256> FnName;
5296 llvm::raw_svector_ostream
Out(FnName);
5297 getMangleContext().mangleDynamicStermFinalizer(&D, Out);
5305 CodeGenFunction CGF(CGM);
5319 llvm::BasicBlock *DestructCallBlock = CGF.
createBasicBlock(
"destruct.call");
5324 CGF.
Builder.CreateCondBr(NeedsDestruct, DestructCallBlock, EndBlock);
5329 llvm::CallInst *CI = CGF.
Builder.CreateCall(dtorStub);
5332 CI->setCallingConv(dtorStub->getCallingConv());
5338 if (
auto *IPA = D.
getAttr<InitPriorityAttr>()) {
5340 IPA->getPriority());
static void emitConstructorDestructorAlias(CIRGenModule &cgm, GlobalDecl aliasDecl, GlobalDecl targetDecl)
static CharUnits computeOffsetHint(ASTContext &astContext, const CXXRecordDecl *src, const CXXRecordDecl *dst)
static Address emitDynamicCastToVoid(CIRGenFunction &cgf, mlir::Location loc, QualType srcRecordTy, Address src)
static cir::GlobalLinkageKind getTypeInfoLinkage(CIRGenModule &cgm, QualType ty)
Return the linkage that the type info and type info name constants should have for the given type.
static mlir::Value emitExactDynamicCast(CIRGenItaniumCXXABI &abi, CIRGenFunction &cgf, mlir::Location loc, QualType srcRecordTy, QualType destRecordTy, cir::PointerType destCIRTy, bool isRefCast, Address src)
static cir::FuncOp getItaniumDynamicCastFn(CIRGenFunction &cgf)
static cir::FuncOp getBadCastFn(CIRGenFunction &cgf)
static StructorCodegen getCodegenToUse(CodeGenModule &CGM, const CXXMethodDecl *MD)
static llvm::FunctionCallee getClangCallTerminateFn(CodeGenModule &CGM)
Get or define the following function: void @__clang_call_terminate(i8* exn) nounwind noreturn This co...
static bool CXXRecordNonInlineHasAttr(const CXXRecordDecl *RD)
static unsigned extractPBaseFlags(ASTContext &Ctx, QualType &Type)
Compute the flags for a __pbase_type_info, and remove the corresponding pieces from Type.
static bool ShouldUseExternalRTTIDescriptor(CodeGenModule &CGM, QualType Ty)
ShouldUseExternalRTTIDescriptor - Returns whether the type information for the given type exists some...
static bool IsIncompleteClassType(const RecordType *RecordTy)
IsIncompleteClassType - Returns whether the given record type is incomplete.
static unsigned ComputeVMIClassTypeInfoFlags(const CXXBaseSpecifier *Base, SeenBases &Bases)
ComputeVMIClassTypeInfoFlags - Compute the value of the flags member in abi::__vmi_class_type_info.
static llvm::FunctionCallee getBadTypeidFn(CodeGenFunction &CGF)
static void emitGlobalDtorWithCXAAtExit(CodeGenFunction &CGF, llvm::FunctionCallee dtor, llvm::Constant *addr, bool TLS)
Register a global destructor using __cxa_atexit.
static llvm::FunctionCallee getBeginCatchFn(CodeGenModule &CGM)
static llvm::Constant * pointerAuthResignMemberFunctionPointer(llvm::Constant *Src, QualType DestType, QualType SrcType, CodeGenModule &CGM)
static llvm::FunctionCallee getGuardReleaseFn(CodeGenModule &CGM, llvm::PointerType *GuardPtrTy)
static llvm::Value * performTypeAdjustment(CodeGenFunction &CGF, Address InitialPtr, const CXXRecordDecl *UnadjustedClass, int64_t NonVirtualAdjustment, int64_t VirtualAdjustment, bool IsReturnAdjustment)
static llvm::Function * createGlobalInitOrCleanupFn(CodeGen::CodeGenModule &CGM, StringRef FnName)
static llvm::FunctionCallee getAllocateExceptionFn(CodeGenModule &CGM)
static bool IsStandardLibraryRTTIDescriptor(QualType Ty)
IsStandardLibraryRTTIDescriptor - Returns whether the type information for the given type exists in t...
static llvm::Value * CallBeginCatch(CodeGenFunction &CGF, llvm::Value *Exn, bool EndMightThrow)
Emits a call to __cxa_begin_catch and enters a cleanup to call __cxa_end_catch.
static llvm::FunctionCallee getGuardAbortFn(CodeGenModule &CGM, llvm::PointerType *GuardPtrTy)
static bool isThreadWrapperReplaceable(const VarDecl *VD, CodeGen::CodeGenModule &CGM)
static void InitCatchParam(CodeGenFunction &CGF, const VarDecl &CatchParam, Address ParamAddr, SourceLocation Loc)
A "special initializer" callback for initializing a catch parameter during catch initialization.
static bool TypeInfoIsInStandardLibrary(const BuiltinType *Ty)
TypeInfoIsInStandardLibrary - Given a builtin type, returns whether the type info for that type is de...
static bool CanUseSingleInheritance(const CXXRecordDecl *RD)
static llvm::FunctionCallee getEndCatchFn(CodeGenModule &CGM)
static llvm::GlobalValue::LinkageTypes getThreadLocalWrapperLinkage(const VarDecl *VD, CodeGen::CodeGenModule &CGM)
Get the appropriate linkage for the wrapper function.
static llvm::FunctionCallee getThrowFn(CodeGenModule &CGM)
static void setVTableSelectiveDLLImportExport(CodeGenModule &CGM, llvm::GlobalVariable *VTable, const CXXRecordDecl *RD)
static llvm::FunctionCallee getGuardAcquireFn(CodeGenModule &CGM, llvm::PointerType *GuardPtrTy)
static bool ContainsIncompleteClassType(QualType Ty)
ContainsIncompleteClassType - Returns whether the given type contains an incomplete class type.
static llvm::Constant * pointerAuthResignConstant(llvm::Value *Ptr, const CGPointerAuthInfo &CurAuthInfo, const CGPointerAuthInfo &NewAuthInfo, CodeGenModule &CGM)
static llvm::FunctionCallee getGetExceptionPtrFn(CodeGenModule &CGM)
static void dtorTy(Block *, std::byte *Ptr, const Descriptor *)
llvm::MachO::Record Record
static uint64_t getFieldOffset(const ASTContext &C, const FieldDecl *FD)
static TemplateSpecializationKind getTemplateSpecializationKind(Decl *D)
Determine what kind of template specialization the given declaration is.
static QualType getPointeeType(const MemRegion *R)
#define CXXABI(Name, Str)
C Language Family Type Representation.
a trap message and trap category.
const ValueDecl * getMemberPointerDecl() const
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
QualType getObjCInterfaceType(const ObjCInterfaceDecl *Decl, ObjCInterfaceDecl *PrevDecl=nullptr) const
getObjCInterfaceType - Return the unique reference to the type for the specified ObjC interface decl.
static CanQualType getCanonicalType(QualType T)
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
QualType getFunctionTypeWithExceptionSpec(QualType Orig, const FunctionProtoType::ExceptionSpecInfo &ESI) const
Get a function type and produce the equivalent function type with the specified exception specificati...
QualType getPointerDiffType() const
Return the unique type for "ptrdiff_t" (C99 7.17) defined in <stddef.h>.
CharUnits getExnObjectAlignment() const
Return the alignment (in bytes) of the thrown exception object.
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
CharUnits getPreferredTypeAlignInChars(QualType T) const
Return the PreferredAlignment of a (complete) type T, in characters.
CanQualType UnsignedIntTy
QualType getFunctionType(QualType ResultTy, ArrayRef< QualType > Args, const FunctionProtoType::ExtProtoInfo &EPI) const
Return a normal function type with a typed argument list.
QualType getMemberPointerType(QualType T, NestedNameSpecifier Qualifier, const CXXRecordDecl *Cls) const
Return the uniqued reference to the type for a member pointer to the specified type in the specified ...
const TargetInfo & getTargetInfo() const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
TargetCXXABI::Kind getCXXABIKind() const
Return the C++ ABI kind that should be used.
QualType getAddrSpaceQualType(QualType T, LangAS AddressSpace) const
Return the uniqued reference to the type for an address space qualified type with the specified type ...
CanQualType getCanonicalTagType(const TagDecl *TD) const
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
CharUnits getBaseClassOffset(const CXXRecordDecl *Base) const
getBaseClassOffset - Get the offset, in chars, for the given base class.
CharUnits getVBaseClassOffset(const CXXRecordDecl *VBase) const
getVBaseClassOffset - Get the offset, in chars, for the given base class.
This class is used for builtin types like 'int'.
Represents a path from a specific derived class (which is not represented as part of the path) to a p...
BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...
Represents a base class of a C++ class.
QualType getType() const
Retrieves the type of the base class.
SourceLocation getBeginLoc() const LLVM_READONLY
VarDecl * getExceptionDecl() const
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
CXXMethodDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Represents a C++ struct/union/class.
bool hasTrivialDestructor() const
Determine whether this class has a trivial destructor (C++ [class.dtor]p3)
unsigned getNumBases() const
Retrieves the number of base classes of this class.
base_class_iterator bases_begin()
const CXXBaseSpecifier * base_class_const_iterator
Iterator that traverses the base classes of a class.
base_class_range vbases()
bool isAbstract() const
Determine whether this class has a pure virtual function.
bool isDynamicClass() const
bool hasDefinition() const
unsigned getNumVBases() const
Retrieves the number of virtual base classes of this class.
bool isDerivedFrom(const CXXRecordDecl *Base) const
Determine whether this class is derived from the class Base.
const Expr * getSubExpr() const
static CanQual< Type > CreateUnsafe(QualType Other)
Qualifiers getQualifiers() const
Retrieve all qualifiers.
CastKind getCastKind() const
CharUnits - This is an opaque type for sizes expressed in character units.
bool isZero() const
isZero - Test whether the quantity equals zero.
llvm::Align getAsAlign() const
getAsAlign - Returns Quantity as a valid llvm::Align, Beware llvm::Align assumes power of two 8-bit b...
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
static CharUnits fromQuantity(QuantityType Quantity)
fromQuantity - Construct a CharUnits quantity from a raw integer type.
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
PointerAuthOptions PointerAuth
Configuration for pointer-signing.
std::string SymbolPartition
The name of the partition that symbols are assigned to, specified with -fsymbol-partition (see https:...
static ABIArgInfo getIndirect(CharUnits Alignment, unsigned AddrSpace, bool ByVal=true, bool Realign=false, llvm::Type *Padding=nullptr)
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
Return the pointer contained in this class after authenticating it and adding offset to it if necessa...
CharUnits getAlignment() const
llvm::Type * getElementType() const
Return the type of the values stored in this address.
Address withElementType(llvm::Type *ElemTy) const
Return address with different element type, but same pointer and alignment.
unsigned getAddressSpace() const
Return the address space that this address resides in.
llvm::PointerType * getType() const
Return the type of the pointer value.
static AggValueSlot forAddr(Address addr, Qualifiers quals, IsDestructed_t isDestructed, NeedsGCBarriers_t needsGC, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed, IsSanitizerChecked_t isChecked=IsNotSanitizerChecked)
forAddr - Make a slot for an aggregate value.
static ApplyDebugLocation CreateArtificial(CodeGenFunction &CGF)
Apply TemporaryLocation if it is valid.
llvm::StoreInst * CreateStore(llvm::Value *Val, Address Addr, bool IsVolatile=false)
Address CreateConstInBoundsByteGEP(Address Addr, CharUnits Offset, const llvm::Twine &Name="")
Given a pointer to i8, adjust it by a given constant offset.
llvm::Value * CreateIsNull(Address Addr, const Twine &Name="")
Address CreateGEP(CodeGenFunction &CGF, Address Addr, llvm::Value *Index, const llvm::Twine &Name="")
llvm::LoadInst * CreateLoad(Address Addr, const llvm::Twine &Name="")
llvm::LoadInst * CreateAlignedLoad(llvm::Type *Ty, llvm::Value *Addr, CharUnits Align, const llvm::Twine &Name="")
Address CreateConstInBoundsGEP(Address Addr, uint64_t Index, const llvm::Twine &Name="")
Given addr = T* ... produce name = getelementptr inbounds addr, i64 index where i64 is actually the t...
Address CreateInBoundsGEP(Address Addr, ArrayRef< llvm::Value * > IdxList, llvm::Type *ElementType, CharUnits Align, const Twine &Name="")
Implements C++ ABI-specific code generation functions.
virtual llvm::CallInst * emitTerminateForUnexpectedException(CodeGenFunction &CGF, llvm::Value *Exn)
MangleContext & getMangleContext()
Gets the mangle context.
All available information about a concrete callee.
static CGCallee forVirtual(const CallExpr *CE, GlobalDecl MD, Address Addr, llvm::FunctionType *FTy)
static CGCallee forDirect(llvm::Constant *functionPtr, const CGCalleeInfo &abstractInfo=CGCalleeInfo())
CGFunctionInfo - Class to encapsulate the information about a function definition.
ABIArgInfo & getReturnInfo()
CanQualType getReturnType() const
llvm::Value * getDiscriminator() const
An RAII object to set (and then clear) a mapping for an OpaqueValueExpr.
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
llvm::Value * GetVTablePtr(Address This, llvm::Type *VTableTy, const CXXRecordDecl *VTableClass, VTableAuthMode AuthMode=VTableAuthMode::Authenticate)
GetVTablePtr - Return the Value of the vtable pointer member pointed to by This.
GlobalDecl CurGD
CurGD - The GlobalDecl for the current function being compiled.
llvm::Constant * createAtExitStub(const VarDecl &VD, llvm::FunctionCallee Dtor, llvm::Constant *Addr)
Create a stub function, suitable for being passed to atexit, which passes the given address to the gi...
llvm::Function * createTLSAtExitStub(const VarDecl &VD, llvm::FunctionCallee Dtor, llvm::Constant *Addr, llvm::FunctionCallee &AtExit)
Create a stub function, suitable for being passed to __pt_atexit_np, which passes the given address t...
SanitizerSet SanOpts
Sanitizers enabled for this function.
void EmitARCInitWeak(Address addr, llvm::Value *value)
i8* @objc_initWeak(i8** addr, i8* value) Returns value.
llvm::Value * getExceptionFromSlot()
Returns the contents of the function's exception object and selector slots.
llvm::Type * ConvertType(QualType T)
void EmitNoreturnRuntimeCallOrInvoke(llvm::FunctionCallee callee, ArrayRef< llvm::Value * > args)
Emits a call or invoke to the given noreturn runtime function.
llvm::CallBase * EmitRuntimeCallOrInvoke(llvm::FunctionCallee callee, ArrayRef< llvm::Value * > args, const Twine &name="")
Emits a call or invoke instruction to the given runtime function.
ComplexPairTy EmitLoadOfComplex(LValue src, SourceLocation loc)
EmitLoadOfComplex - Load a complex number from the specified l-value.
bool CurFuncIsThunk
In C++, whether we are code generating a thunk.
void registerGlobalDtorWithAtExit(const VarDecl &D, llvm::FunctionCallee fn, llvm::Constant *addr)
Call atexit() with a function that passes the given argument to the given function.
llvm::Constant * EmitCheckSourceLocation(SourceLocation Loc)
Emit a description of a source location in a format suitable for passing to a runtime sanitizer handl...
llvm::Value * getAsNaturalPointerTo(Address Addr, QualType PointeeType)
void EmitDelegateCallArg(CallArgList &args, const VarDecl *param, SourceLocation loc)
EmitDelegateCallArg - We are performing a delegate call; that is, the current function is delegating ...
llvm::BasicBlock * createBasicBlock(const Twine &name="", llvm::Function *parent=nullptr, llvm::BasicBlock *before=nullptr)
createBasicBlock - Create an LLVM basic block.
const LangOptions & getLangOpts() const
LValue MakeNaturalAlignAddrLValue(llvm::Value *V, QualType T, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
AutoVarEmission EmitAutoVarAlloca(const VarDecl &var)
EmitAutoVarAlloca - Emit the alloca and debug information for a local variable.
void EmitCXXDestructorCall(const CXXDestructorDecl *D, CXXDtorType Type, bool ForVirtualBase, bool Delegating, Address This, QualType ThisTy)
void EmitCXXGlobalVarDeclInit(const VarDecl &D, llvm::GlobalVariable *GV, bool PerformInit)
EmitCXXGlobalVarDeclInit - Create the initializer for a C++ variable with global storage.
void pushCallObjectDeleteCleanup(const FunctionDecl *OperatorDelete, llvm::Value *CompletePtr, QualType ElementType)
llvm::Constant * EmitCheckTypeDescriptor(QualType T)
Emit a description of a type in a format suitable for passing to a runtime sanitizer handler.
void EmitAnyExprToExn(const Expr *E, Address Addr)
void EmitAggregateCopy(LValue Dest, LValue Src, QualType EltTy, AggValueSlot::Overlap_t MayOverlap, bool isVolatile=false)
EmitAggregateCopy - Emit an aggregate copy.
const TargetInfo & getTarget() const
CGCallee BuildAppleKextVirtualDestructorCall(const CXXDestructorDecl *DD, CXXDtorType Type, const CXXRecordDecl *RD)
BuildVirtualCall - This routine makes indirect vtable call for call to virtual destructors.
void StartFunction(GlobalDecl GD, QualType RetTy, llvm::Function *Fn, const CGFunctionInfo &FnInfo, const FunctionArgList &Args, SourceLocation Loc=SourceLocation(), SourceLocation StartLoc=SourceLocation())
Emit code for the start of a function.
void EmitCheck(ArrayRef< std::pair< llvm::Value *, SanitizerKind::SanitizerOrdinal > > Checked, SanitizerHandler Check, ArrayRef< llvm::Constant * > StaticArgs, ArrayRef< llvm::Value * > DynamicArgs, const TrapReason *TR=nullptr)
Create a basic block that will either trap or call a handler function in the UBSan runtime with the p...
void EmitCXXGuardedInitBranch(llvm::Value *NeedsInit, llvm::BasicBlock *InitBlock, llvm::BasicBlock *NoInitBlock, GuardKind Kind, const VarDecl *D)
Emit a branch to select whether or not to perform guarded initialization.
CGDebugInfo * getDebugInfo()
LValue MakeRawAddrLValue(llvm::Value *V, QualType T, CharUnits Alignment, AlignmentSource Source=AlignmentSource::Type)
Same as MakeAddrLValue above except that the pointer is known to be unsigned.
llvm::AllocaInst * CreateTempAlloca(llvm::Type *Ty, const Twine &Name="tmp", llvm::Value *ArraySize=nullptr)
CreateTempAlloca - This creates an alloca and inserts it into the entry block if ArraySize is nullptr...
RValue EmitCall(const CGFunctionInfo &CallInfo, const CGCallee &Callee, ReturnValueSlot ReturnValue, const CallArgList &Args, llvm::CallBase **CallOrInvoke, bool IsMustTail, SourceLocation Loc, bool IsVirtualFunctionPointerThunk=false)
EmitCall - Generate a call of the given function, expecting the given result type,...
CGPointerAuthInfo EmitPointerAuthInfo(const PointerAuthSchema &Schema, llvm::Value *StorageAddress, GlobalDecl SchemaDecl, QualType SchemaType)
Emit the concrete pointer authentication informaton for the given authentication schema.
void EmitTypeMetadataCodeForVCall(const CXXRecordDecl *RD, llvm::Value *VTable, SourceLocation Loc)
If whole-program virtual table optimization is enabled, emit an assumption that VTable is a member of...
llvm::Value * unregisterGlobalDtorWithUnAtExit(llvm::Constant *dtorStub)
Call unatexit() with function dtorStub.
llvm::Value * emitPointerAuthResign(llvm::Value *Pointer, QualType PointerType, const CGPointerAuthInfo &CurAuthInfo, const CGPointerAuthInfo &NewAuthInfo, bool IsKnownNonNull)
llvm::CallInst * EmitNounwindRuntimeCall(llvm::FunctionCallee callee, const Twine &name="")
ASTContext & getContext() const
llvm::Value * EmitLoadOfScalar(Address Addr, bool Volatile, QualType Ty, SourceLocation Loc, AlignmentSource Source=AlignmentSource::Type, bool isNontemporal=false)
EmitLoadOfScalar - Load a scalar value from an address, taking care to appropriately convert from the...
void EmitStoreOfComplex(ComplexPairTy V, LValue dest, bool isInit)
EmitStoreOfComplex - Store a complex number into the specified l-value.
const Decl * CurFuncDecl
CurFuncDecl - Holds the Decl for the current outermost non-closure context.
void EmitAutoVarCleanups(const AutoVarEmission &emission)
void registerGlobalDtorWithLLVM(const VarDecl &D, llvm::FunctionCallee fn, llvm::Constant *addr)
Registers the dtor using 'llvm.global_dtors' for platforms that do not support an 'atexit()' function...
llvm::Value * LoadCXXVTT()
LoadCXXVTT - Load the VTT parameter to base constructors/destructors have virtual bases.
llvm::Value * EmitARCRetainNonBlock(llvm::Value *value)
Retain the given object, with normal retain semantics.
llvm::Type * ConvertTypeForMem(QualType T)
CodeGenTypes & getTypes() const
static TypeEvaluationKind getEvaluationKind(QualType T)
getEvaluationKind - Return the TypeEvaluationKind of QualType T.
void EmitBranch(llvm::BasicBlock *Block)
EmitBranch - Emit a branch to the specified basic block from the current insert block,...
void EmitAggExpr(const Expr *E, AggValueSlot AS)
EmitAggExpr - Emit the computation of the specified expression of aggregate type.
llvm::Value * GetVTTParameter(GlobalDecl GD, bool ForVirtualBase, bool Delegating)
GetVTTParameter - Return the VTT parameter that should be passed to a base constructor/destructor wit...
LValue MakeAddrLValue(Address Addr, QualType T, AlignmentSource Source=AlignmentSource::Type)
void EmitTrapCheck(llvm::Value *Checked, SanitizerHandler CheckHandlerID, bool NoMerge=false, const TrapReason *TR=nullptr)
Create a basic block that will call the trap intrinsic, and emit a conditional branch to it,...
void FinishFunction(SourceLocation EndLoc=SourceLocation())
FinishFunction - Complete IR generation of the current function.
Address GetAddrOfLocalVar(const VarDecl *VD)
GetAddrOfLocalVar - Return the address of a local variable.
llvm::Value * EmitVTableTypeCheckedLoad(const CXXRecordDecl *RD, llvm::Value *VTable, llvm::Type *VTableTy, uint64_t VTableByteOffset)
Emit a type checked load from the given vtable.
Address ReturnValue
ReturnValue - The temporary alloca to hold the return value.
llvm::Instruction * CurrentFuncletPad
bool ShouldEmitVTableTypeCheckedLoad(const CXXRecordDecl *RD)
Returns whether we should perform a type checked load when loading a virtual function for virtual cal...
llvm::LLVMContext & getLLVMContext()
void PopCleanupBlock(bool FallThroughIsBranchThrough=false, bool ForDeactivation=false)
PopCleanupBlock - Will pop the cleanup entry on the stack and process all branch fixups.
void EmitStoreOfScalar(llvm::Value *Value, Address Addr, bool Volatile, QualType Ty, AlignmentSource Source=AlignmentSource::Type, bool isInit=false, bool isNontemporal=false)
EmitStoreOfScalar - Store a scalar value to an address, taking care to appropriately convert from the...
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false)
EmitBlock - Emit the given block.
LValue MakeNaturalAlignRawAddrLValue(llvm::Value *V, QualType T)
QualType BuildFunctionArgList(GlobalDecl GD, FunctionArgList &Args)
llvm::Value * EmitPointerAuthAuth(const CGPointerAuthInfo &Info, llvm::Value *Pointer)
This class organizes the cross-function state that is used while generating LLVM code.
void AddCXXPrioritizedStermFinalizerEntry(llvm::Function *StermFinalizer, int Priority)
void setGVProperties(llvm::GlobalValue *GV, GlobalDecl GD) const
Set visibility, dllimport/dllexport and dso_local.
void AddCXXStermFinalizerToGlobalDtor(llvm::Function *StermFinalizer, int Priority)
Add an sterm finalizer to its own llvm.global_dtors entry.
llvm::GlobalVariable::ThreadLocalMode GetDefaultLLVMTLSModel() const
Get LLVM TLS mode from CodeGenOptions.
void setDSOLocal(llvm::GlobalValue *GV) const
llvm::Module & getModule() const
llvm::FunctionCallee CreateRuntimeFunction(llvm::FunctionType *Ty, StringRef Name, llvm::AttributeList ExtraAttrs=llvm::AttributeList(), bool Local=false, bool AssumeConvergent=false)
Create or return a runtime function declaration with the specified type and name.
CodeGenVTables & getVTables()
void AddCXXStermFinalizerEntry(llvm::FunctionCallee DtorFn)
Add an sterm finalizer to the C++ global cleanup function.
llvm::Constant * GetAddrOfRTTIDescriptor(QualType Ty, bool ForEH=false)
Get the address of the RTTI descriptor for the given type.
llvm::Constant * getFunctionPointer(GlobalDecl GD, llvm::Type *Ty=nullptr)
Return the ABI-correct function pointer value for a reference to the given function.
CGPointerAuthInfo getMemberFunctionPointerAuthInfo(QualType FT)
const LangOptions & getLangOpts() const
CodeGenTypes & getTypes()
bool shouldMapVisibilityToDLLExport(const NamedDecl *D) const
const TargetInfo & getTarget() const
bool TryEmitBaseDestructorAsAlias(const CXXDestructorDecl *D)
Try to emit a base destructor as an alias to its primary base-class destructor.
llvm::GlobalValue::LinkageTypes getLLVMLinkageVarDefinition(const VarDecl *VD)
Returns LLVM linkage for a declarator.
const llvm::DataLayout & getDataLayout() const
CGCXXABI & getCXXABI() const
static llvm::GlobalValue::VisibilityTypes GetLLVMVisibility(Visibility V)
llvm::Constant * getMemberFunctionPointer(const FunctionDecl *FD, llvm::Type *Ty=nullptr)
llvm::Function * codegenCXXStructor(GlobalDecl GD)
CharUnits getClassPointerAlignment(const CXXRecordDecl *CD)
Returns the assumed alignment of an opaque pointer to the given class.
const llvm::Triple & getTriple() const
llvm::GlobalVariable::LinkageTypes getFunctionLinkage(GlobalDecl GD)
llvm::Constant * CreateRuntimeVariable(llvm::Type *Ty, StringRef Name)
Create a new runtime global variable with the specified type and name.
CharUnits getDynamicOffsetAlignment(CharUnits ActualAlign, const CXXRecordDecl *Class, CharUnits ExpectedTargetAlign)
Given a class pointer with an actual known alignment, and the expected alignment of an object at a dy...
llvm::Constant * GetAddrOfGlobal(GlobalDecl GD, ForDefinition_t IsForDefinition=NotForDefinition)
ItaniumVTableContext & getItaniumVTableContext()
ASTContext & getContext() const
llvm::Constant * GetAddrOfGlobalVar(const VarDecl *D, llvm::Type *Ty=nullptr, ForDefinition_t IsForDefinition=NotForDefinition)
Return the llvm::Constant for the address of the given global variable.
bool supportsCOMDAT() const
const TargetCodeGenInfo & getTargetCodeGenInfo()
const CodeGenOptions & getCodeGenOpts() const
StringRef getMangledName(GlobalDecl GD)
void SetCommonAttributes(GlobalDecl GD, llvm::GlobalValue *GV)
Set attributes which are common to any form of a global definition (alias, Objective-C method,...
llvm::GlobalVariable * CreateOrReplaceCXXRuntimeVariable(StringRef Name, llvm::Type *Ty, llvm::GlobalValue::LinkageTypes Linkage, llvm::Align Alignment)
Will return a global variable of the given type.
llvm::FunctionCallee getTerminateFn()
Get the declaration of std::terminate for the platform.
llvm::LLVMContext & getLLVMContext()
llvm::GlobalValue * GetGlobalValue(StringRef Ref)
void maybeSetTrivialComdat(const Decl &D, llvm::GlobalObject &GO)
LangAS GetGlobalVarAddressSpace(const VarDecl *D)
Return the AST address space of the underlying global variable for D, as determined by its declaratio...
llvm::GlobalVariable::LinkageTypes getVTableLinkage(const CXXRecordDecl *RD)
Return the appropriate linkage for the vtable, VTT, and type information of the given class.
void SetLLVMFunctionAttributes(GlobalDecl GD, const CGFunctionInfo &Info, llvm::Function *F, bool IsThunk)
Set the LLVM function attributes (sext, zext, etc).
void addReplacement(StringRef Name, llvm::Constant *C)
llvm::Constant * getConstantSignedPointer(llvm::Constant *Pointer, const PointerAuthSchema &Schema, llvm::Constant *StorageAddress, GlobalDecl SchemaDecl, QualType SchemaType)
Sign a constant pointer using the given scheme, producing a constant with the same IR type.
void SetLLVMFunctionAttributesForDefinition(const Decl *D, llvm::Function *F)
Set the LLVM function attributes which only apply to a function definition.
llvm::Function * CreateGlobalInitOrCleanUpFunction(llvm::FunctionType *ty, const Twine &name, const CGFunctionInfo &FI, SourceLocation Loc=SourceLocation(), bool TLS=false, llvm::GlobalVariable::LinkageTypes Linkage=llvm::GlobalVariable::InternalLinkage)
llvm::Type * ConvertType(QualType T)
ConvertType - Convert type T into a llvm::Type.
const CGFunctionInfo & arrangeCXXMethodDeclaration(const CXXMethodDecl *MD)
C++ methods have some special rules and also have implicit parameters.
const CodeGenOptions & getCodeGenOpts() const
llvm::FunctionType * GetFunctionType(const CGFunctionInfo &Info)
GetFunctionType - Get the LLVM function type for.
bool isFuncTypeConvertible(const FunctionType *FT)
isFuncTypeConvertible - Utility to check whether a function type can be converted to an LLVM type (i....
const CGFunctionInfo & arrangeBuiltinFunctionDeclaration(QualType resultType, const FunctionArgList &args)
A builtin function is a freestanding function using the default C conventions.
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 CGFunctionInfo & arrangeNullaryFunction()
A nullary function is a freestanding function of type 'void ()'.
llvm::GlobalVariable * GetAddrOfVTT(const CXXRecordDecl *RD)
GetAddrOfVTT - Get the address of the VTT for the given record decl.
void createVTableInitializer(ConstantStructBuilder &builder, const VTableLayout &layout, llvm::Constant *rtti, bool vtableHasLocalLinkage)
Add vtable components for the given vtable layout to the given global initializer.
void GenerateRelativeVTableAlias(llvm::GlobalVariable *VTable, llvm::StringRef AliasNameRef)
Generate a public facing alias for the vtable and make the vtable either hidden or private.
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...
void RemoveHwasanMetadata(llvm::GlobalValue *GV) const
Specify a global should not be instrumented with hwasan.
void EmitVTTDefinition(llvm::GlobalVariable *VTT, llvm::GlobalVariable::LinkageTypes Linkage, const CXXRecordDecl *RD)
EmitVTTDefinition - Emit the definition of the given vtable.
void pushTerminate()
Push a terminate handler on the stack.
void popTerminate()
Pops a terminate handler off the stack.
static RValue get(llvm::Value *V)
static RequiredArgs forPrototypePlus(const FunctionProtoType *prototype, unsigned additional)
Compute the arguments required by the given formal prototype, given that there may be some additional...
virtual unsigned getSizeOfUnwindException() const
Determines the size of struct _Unwind_Exception on this platform, in 8-bit units.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
bool isTranslationUnit() const
decl_range noload_decls() const
noload_decls_begin/end - Iterate over the declarations stored in this context that are currently load...
SourceLocation getLocation() const
DeclContext * getDeclContext()
bool shouldEmitInExternalSource() const
Whether the definition of the declaration should be emitted in external sources.
This represents one expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
bool isInlined() const
Determine whether this function should be inlined, because it is either marked "inline" or "constexpr...
bool doesThisDeclarationHaveABody() const
Returns whether this specific declaration of the function has a body.
bool isPureVirtual() const
Whether this virtual function is pure, i.e.
Represents a prototype with parameter type info, e.g.
GlobalDecl - represents a global declaration.
GlobalDecl getWithCtorType(CXXCtorType Type)
CXXCtorType getCtorType() const
GlobalDecl getCanonicalDecl() const
GlobalDecl getWithDtorType(CXXDtorType Type)
CXXDtorType getDtorType() const
const Decl * getDecl() const
bool isStr(const char(&Str)[StrLen]) const
Return true if this is the identifier for the specified string.
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
static ImplicitParamDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation IdLoc, IdentifierInfo *Id, QualType T, ImplicitParamKind ParamKind)
Create implicit parameter.
bool isRelativeLayout() const
const VTableLayout & getVTableLayout(const CXXRecordDecl *RD)
CharUnits getVirtualBaseOffsetOffset(const CXXRecordDecl *RD, const CXXRecordDecl *VBase)
Return the offset in chars (relative to the vtable address point) where the offset of the virtual bas...
GlobalDecl findOriginalMethod(GlobalDecl GD)
Return the method that added the v-table slot that will be used to call the given method.
virtual void mangleCXXRTTI(QualType T, raw_ostream &)=0
virtual void mangleCXXRTTIName(QualType T, raw_ostream &, bool NormalizeIntegers=false)=0
A pointer to member type per C++ 8.3.3 - Pointers to members.
CXXRecordDecl * getMostRecentCXXRecordDecl() const
Note: this can trigger extra deserialization when external AST sources are used.
QualType getPointeeType() const
bool isMemberFunctionPointer() const
Returns true if the member type (i.e.
bool isMemberDataPointer() const
Returns true if the member type (i.e.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Visibility getVisibility() const
Determines the visibility of this entity.
bool isExternallyVisible() const
static const OpaqueValueExpr * findInCopyConstruct(const Expr *expr)
Given an expression which invokes a copy constructor — i.e.
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
A (possibly-)qualified type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
QualType getCanonicalType() const
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
The collection of all-type qualifiers we support.
@ OCL_Strong
Assigning into this object requires the old value to be released and the new value to be retained.
@ OCL_ExplicitNone
This object can be modified without requiring retains or releases.
@ OCL_None
There is no lifetime qualification on this type.
@ OCL_Weak
Reading or writing from this object requires a barrier call.
@ OCL_Autoreleasing
Assigning into this object requires a lifetime extension.
ObjCLifetime getObjCLifetime() const
bool canPassInRegisters() const
Determine whether this class can be passed in registers.
Encodes a location in the source.
SourceLocation getBeginLoc() const LLVM_READONLY
const llvm::Triple & getTriple() const
Returns the target triple of the primary target.
unsigned getMaxAtomicInlineWidth() const
Return the maximum width lock-free atomic operation which can be inlined given the supported features...
uint64_t getPointerWidth(LangAS AddrSpace) const
Return the width of pointers on this target, for the specified address space.
virtual bool hasPS4DLLImportExport() const
uint64_t getPointerAlign(LangAS AddrSpace) const
unsigned getLongWidth() const
getLongWidth/Align - Return the size of 'signed long' and 'unsigned long' for this target,...
virtual bool hasFeature(StringRef Feature) const
Determine whether the given target has the given feature.
The base class of the type hierarchy.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
CXXRecordDecl * castAsCXXRecordDecl() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Visibility getVisibility() const
Determine the visibility of this type.
bool isMemberFunctionPointerType() const
Linkage getLinkage() const
Determine the linkage of this type.
TypeClass getTypeClass() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
AddressPointLocation getAddressPoint(BaseSubobject Base) const
size_t getVTableSize(size_t i) const
Represents a variable declaration or definition.
TLSKind getTLSKind() const
VarDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
bool isNoDestroy(const ASTContext &) const
Is destruction of this variable entirely suppressed?
bool isStaticLocal() const
Returns true if a variable with function scope is a static local variable.
bool isInline() const
Whether this variable is (C++1z) inline.
const Expr * getInit() const
@ TLS_Dynamic
TLS with a dynamic initializer.
@ TLS_None
Not a TLS variable.
DefinitionKind hasDefinition(ASTContext &) const
Check whether this variable is defined in this translation unit.
bool isLocalVarDecl() const
Returns true for local variable declarations other than parameters.
TemplateSpecializationKind getTemplateSpecializationKind() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
llvm::Value * getCXXDestructorImplicitParam(CodeGenModule &CGM, llvm::BasicBlock *InsertBlock, llvm::BasicBlock::iterator InsertPoint, const CXXDestructorDecl *D, CXXDtorType Type, bool ForVirtualBase, bool Delegating)
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
CGCXXABI::RecordArgABI getRecordArgABI(const RecordType *RT, CGCXXABI &CXXABI)
bool classifyReturnType(const CGCXXABI &CXXABI, CGFunctionInfo &FI, const ABIInfo &Info)
TypeEvaluationKind
The kind of evaluation to perform on values of a particular type.
@ NormalCleanup
Denotes a cleanup that should run when a scope is exited using normal control flow (falling off the e...
@ EHCleanup
Denotes a cleanup that should run when a scope is exited using exceptional control flow (a throw stat...
CGCXXABI * CreateItaniumCXXABI(CodeGenModule &CGM)
Creates an Itanium-family ABI.
const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr
Matches expressions.
constexpr Variable var(Literal L)
Returns the variable of L.
bool This(InterpState &S, CodePtr OpPC)
The JSON file list parser is used to communicate input to InstallAPI.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
CXXCtorType
C++ constructor types.
@ Ctor_Base
Base object ctor.
@ Ctor_DefaultClosure
Default closure variant of a ctor.
@ Ctor_CopyingClosure
Copying closure variant of a ctor.
@ Ctor_Complete
Complete object ctor.
@ Ctor_Comdat
The COMDAT used for ctors.
@ Ctor_Unified
GCC-style unified dtor.
bool isa(CodeGen::Address addr)
bool isTemplateInstantiation(TemplateSpecializationKind Kind)
Determine whether this template specialization kind refers to an instantiation of an entity (as oppos...
@ Success
Annotation was successful.
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
Linkage
Describes the different kinds of linkage (C++ [basic.link], C99 6.2.2) that an entity may have.
@ VisibleNone
No linkage according to the standard, but is visible from other translation units because of types de...
@ None
No linkage, which means that the entity is unique and can only be referred to from within its scope.
@ UniqueExternal
External linkage within a unique namespace.
@ Internal
Internal linkage, which indicates that the entity can be referred to from within the translation unit...
@ External
External linkage, which indicates that the entity can be referred to from other translation units.
@ Module
Module linkage, which indicates that the entity can be referred to from other translation units withi...
@ Result
The result type of a method or function.
const FunctionProtoType * T
CXXDtorType
C++ destructor types.
@ Dtor_VectorDeleting
Vector deleting dtor.
@ Dtor_Comdat
The COMDAT used for dtors.
@ Dtor_Unified
GCC-style unified dtor.
@ Dtor_Base
Base object dtor.
@ Dtor_Complete
Complete object dtor.
@ Dtor_Deleting
Deleting dtor.
bool isDiscardableGVALinkage(GVALinkage L)
@ Type
The name was classified as a type.
LangAS
Defines the address space values used by the address space qualifier of QualType.
U cast(CodeGen::Address addr)
@ Class
The "class" keyword introduces the elaborated-type-specifier.
@ EST_None
no exception specification
Visibility
Describes the different kinds of visibility that a declaration may have.
@ HiddenVisibility
Objects with "hidden" visibility are not seen by the dynamic linker.
@ DefaultVisibility
Objects with "default" visibility are seen by the dynamic linker and act like normal objects.
const half4 dst(half4 Src0, half4 Src1)
Represents an element in a path from a derived class to a base class.
const CXXRecordDecl * NearestVBase
llvm::PointerType * VoidPtrTy
llvm::IntegerType * Int64Ty
llvm::PointerType * GlobalsVoidPtrTy
llvm::IntegerType * Int8Ty
i8, i16, i32, and i64
llvm::IntegerType * CharTy
char
llvm::CallingConv::ID getRuntimeCC() const
llvm::IntegerType * SizeTy
llvm::PointerType * VoidPtrPtrTy
llvm::PointerType * GlobalsInt8PtrTy
llvm::IntegerType * Int32Ty
llvm::IntegerType * IntPtrTy
llvm::IntegerType * IntTy
int
CharUnits getSizeSize() const
CharUnits getSizeAlign() const
llvm::PointerType * Int8PtrTy
llvm::IntegerType * PtrDiffTy
CharUnits getPointerAlign() const
llvm::PointerType * DefaultPtrTy
static const EHPersonality & get(CodeGenModule &CGM, const FunctionDecl *FD)
Extra information about a function prototype.
PointerAuthSchema CXXVTTVTablePointers
The ABI for C++ virtual table pointers as installed in a VTT.
PointerAuthSchema CXXTypeInfoVTablePointer
TypeInfo has external ABI requirements and is emitted without actually having parsed the libcxx defin...
union clang::ReturnAdjustment::VirtualAdjustment Virtual
int64_t NonVirtual
The non-virtual adjustment from the derived object to its nearest virtual base.
bool has(SanitizerMask K) const
Check if a certain (single) sanitizer is enabled.
union clang::ThisAdjustment::VirtualAdjustment Virtual
int64_t NonVirtual
The non-virtual adjustment from the derived object to its nearest virtual base.
ThisAdjustment This
The this pointer adjustment.
unsigned AddressPointIndex
struct clang::ReturnAdjustment::VirtualAdjustment::@103031170252120233124322035264172076254313213024 Itanium
int64_t VBaseOffsetOffset
The offset (in bytes), relative to the address point of the virtual base class offset.
struct clang::ThisAdjustment::VirtualAdjustment::@106065375072164260365214033034320247050276346205 Itanium
int64_t VCallOffsetOffset
The offset (in bytes), relative to the address point, of the virtual call offset.