CGCXXABI.cpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356
  1. //===----- CGCXXABI.cpp - Interface to C++ ABIs ---------------------------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. //
  9. // This provides an abstract class for C++ code generation. Concrete subclasses
  10. // of this implement code generation for specific C++ ABIs.
  11. //
  12. //===----------------------------------------------------------------------===//
  13. #include "CGCXXABI.h"
  14. #include "CGCleanup.h"
  15. #include "clang/AST/Attr.h"
  16. using namespace clang;
  17. using namespace CodeGen;
  18. CGCXXABI::~CGCXXABI() { }
  19. void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) {
  20. DiagnosticsEngine &Diags = CGF.CGM.getDiags();
  21. unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error,
  22. "cannot yet compile %0 in this ABI");
  23. Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()),
  24. DiagID)
  25. << S;
  26. }
  27. llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
  28. return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
  29. }
  30. llvm::Type *
  31. CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
  32. return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
  33. }
  34. CGCallee CGCXXABI::EmitLoadOfMemberFunctionPointer(
  35. CodeGenFunction &CGF, const Expr *E, Address This,
  36. llvm::Value *&ThisPtrForCall,
  37. llvm::Value *MemPtr, const MemberPointerType *MPT) {
  38. ErrorUnsupportedABI(CGF, "calls through member pointers");
  39. ThisPtrForCall = This.getPointer();
  40. const auto *FPT = MPT->getPointeeType()->castAs<FunctionProtoType>();
  41. const auto *RD =
  42. cast<CXXRecordDecl>(MPT->getClass()->castAs<RecordType>()->getDecl());
  43. llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
  44. CGM.getTypes().arrangeCXXMethodType(RD, FPT, /*FD=*/nullptr));
  45. llvm::Constant *FnPtr = llvm::Constant::getNullValue(FTy->getPointerTo());
  46. return CGCallee::forDirect(FnPtr, FPT);
  47. }
  48. llvm::Value *
  49. CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
  50. Address Base, llvm::Value *MemPtr,
  51. const MemberPointerType *MPT) {
  52. ErrorUnsupportedABI(CGF, "loads of member pointers");
  53. llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())
  54. ->getPointerTo(Base.getAddressSpace());
  55. return llvm::Constant::getNullValue(Ty);
  56. }
  57. llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
  58. const CastExpr *E,
  59. llvm::Value *Src) {
  60. ErrorUnsupportedABI(CGF, "member function pointer conversions");
  61. return GetBogusMemberPointer(E->getType());
  62. }
  63. llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
  64. llvm::Constant *Src) {
  65. return GetBogusMemberPointer(E->getType());
  66. }
  67. llvm::Value *
  68. CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
  69. llvm::Value *L,
  70. llvm::Value *R,
  71. const MemberPointerType *MPT,
  72. bool Inequality) {
  73. ErrorUnsupportedABI(CGF, "member function pointer comparison");
  74. return CGF.Builder.getFalse();
  75. }
  76. llvm::Value *
  77. CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
  78. llvm::Value *MemPtr,
  79. const MemberPointerType *MPT) {
  80. ErrorUnsupportedABI(CGF, "member function pointer null testing");
  81. return CGF.Builder.getFalse();
  82. }
  83. llvm::Constant *
  84. CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
  85. return GetBogusMemberPointer(QualType(MPT, 0));
  86. }
  87. llvm::Constant *CGCXXABI::EmitMemberFunctionPointer(const CXXMethodDecl *MD) {
  88. return GetBogusMemberPointer(CGM.getContext().getMemberPointerType(
  89. MD->getType(), MD->getParent()->getTypeForDecl()));
  90. }
  91. llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
  92. CharUnits offset) {
  93. return GetBogusMemberPointer(QualType(MPT, 0));
  94. }
  95. llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
  96. return GetBogusMemberPointer(MPT);
  97. }
  98. bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
  99. // Fake answer.
  100. return true;
  101. }
  102. void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
  103. const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl());
  104. // FIXME: I'm not entirely sure I like using a fake decl just for code
  105. // generation. Maybe we can come up with a better way?
  106. auto *ThisDecl = ImplicitParamDecl::Create(
  107. CGM.getContext(), nullptr, MD->getLocation(),
  108. &CGM.getContext().Idents.get("this"), MD->getThisType(),
  109. ImplicitParamDecl::CXXThis);
  110. params.push_back(ThisDecl);
  111. CGF.CXXABIThisDecl = ThisDecl;
  112. // Compute the presumed alignment of 'this', which basically comes
  113. // down to whether we know it's a complete object or not.
  114. auto &Layout = CGF.getContext().getASTRecordLayout(MD->getParent());
  115. if (MD->getParent()->getNumVBases() == 0 || // avoid vcall in common case
  116. MD->getParent()->isEffectivelyFinal() ||
  117. isThisCompleteObject(CGF.CurGD)) {
  118. CGF.CXXABIThisAlignment = Layout.getAlignment();
  119. } else {
  120. CGF.CXXABIThisAlignment = Layout.getNonVirtualAlignment();
  121. }
  122. }
  123. llvm::Value *CGCXXABI::loadIncomingCXXThis(CodeGenFunction &CGF) {
  124. return CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)),
  125. "this");
  126. }
  127. void CGCXXABI::setCXXABIThisValue(CodeGenFunction &CGF, llvm::Value *ThisPtr) {
  128. /// Initialize the 'this' slot.
  129. assert(getThisDecl(CGF) && "no 'this' variable for function");
  130. CGF.CXXABIThisValue = ThisPtr;
  131. }
  132. bool CGCXXABI::mayNeedDestruction(const VarDecl *VD) const {
  133. if (VD->needsDestruction(getContext()))
  134. return true;
  135. // If the variable has an incomplete class type (or array thereof), it
  136. // might need destruction.
  137. const Type *T = VD->getType()->getBaseElementTypeUnsafe();
  138. if (T->getAs<RecordType>() && T->isIncompleteType())
  139. return true;
  140. return false;
  141. }
  142. bool CGCXXABI::isEmittedWithConstantInitializer(
  143. const VarDecl *VD, bool InspectInitForWeakDef) const {
  144. VD = VD->getMostRecentDecl();
  145. if (VD->hasAttr<ConstInitAttr>())
  146. return true;
  147. // All later checks examine the initializer specified on the variable. If
  148. // the variable is weak, such examination would not be correct.
  149. if (!InspectInitForWeakDef && (VD->isWeak() || VD->hasAttr<SelectAnyAttr>()))
  150. return false;
  151. const VarDecl *InitDecl = VD->getInitializingDeclaration();
  152. if (!InitDecl)
  153. return false;
  154. // If there's no initializer to run, this is constant initialization.
  155. if (!InitDecl->hasInit())
  156. return true;
  157. // If we have the only definition, we don't need a thread wrapper if we
  158. // will emit the value as a constant.
  159. if (isUniqueGVALinkage(getContext().GetGVALinkageForVariable(VD)))
  160. return !mayNeedDestruction(VD) && InitDecl->evaluateValue();
  161. // Otherwise, we need a thread wrapper unless we know that every
  162. // translation unit will emit the value as a constant. We rely on the
  163. // variable being constant-initialized in every translation unit if it's
  164. // constant-initialized in any translation unit, which isn't actually
  165. // guaranteed by the standard but is necessary for sanity.
  166. return InitDecl->hasConstantInitialization();
  167. }
  168. void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
  169. RValue RV, QualType ResultType) {
  170. assert(!CGF.hasAggregateEvaluationKind(ResultType) &&
  171. "cannot handle aggregates");
  172. CGF.EmitReturnOfRValue(RV, ResultType);
  173. }
  174. CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
  175. if (!requiresArrayCookie(expr))
  176. return CharUnits::Zero();
  177. return getArrayCookieSizeImpl(expr->getAllocatedType());
  178. }
  179. CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
  180. // BOGUS
  181. return CharUnits::Zero();
  182. }
  183. Address CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
  184. Address NewPtr,
  185. llvm::Value *NumElements,
  186. const CXXNewExpr *expr,
  187. QualType ElementType) {
  188. // Should never be called.
  189. ErrorUnsupportedABI(CGF, "array cookie initialization");
  190. return Address::invalid();
  191. }
  192. bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr,
  193. QualType elementType) {
  194. // If the class's usual deallocation function takes two arguments,
  195. // it needs a cookie.
  196. if (expr->doesUsualArrayDeleteWantSize())
  197. return true;
  198. return elementType.isDestructedType();
  199. }
  200. bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) {
  201. // If the class's usual deallocation function takes two arguments,
  202. // it needs a cookie.
  203. if (expr->doesUsualArrayDeleteWantSize())
  204. return true;
  205. return expr->getAllocatedType().isDestructedType();
  206. }
  207. void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, Address ptr,
  208. const CXXDeleteExpr *expr, QualType eltTy,
  209. llvm::Value *&numElements,
  210. llvm::Value *&allocPtr, CharUnits &cookieSize) {
  211. // Derive a char* in the same address space as the pointer.
  212. ptr = CGF.Builder.CreateElementBitCast(ptr, CGF.Int8Ty);
  213. // If we don't need an array cookie, bail out early.
  214. if (!requiresArrayCookie(expr, eltTy)) {
  215. allocPtr = ptr.getPointer();
  216. numElements = nullptr;
  217. cookieSize = CharUnits::Zero();
  218. return;
  219. }
  220. cookieSize = getArrayCookieSizeImpl(eltTy);
  221. Address allocAddr =
  222. CGF.Builder.CreateConstInBoundsByteGEP(ptr, -cookieSize);
  223. allocPtr = allocAddr.getPointer();
  224. numElements = readArrayCookieImpl(CGF, allocAddr, cookieSize);
  225. }
  226. llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
  227. Address ptr,
  228. CharUnits cookieSize) {
  229. ErrorUnsupportedABI(CGF, "reading a new[] cookie");
  230. return llvm::ConstantInt::get(CGF.SizeTy, 0);
  231. }
  232. /// Returns the adjustment, in bytes, required for the given
  233. /// member-pointer operation. Returns null if no adjustment is
  234. /// required.
  235. llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) {
  236. assert(E->getCastKind() == CK_DerivedToBaseMemberPointer ||
  237. E->getCastKind() == CK_BaseToDerivedMemberPointer);
  238. QualType derivedType;
  239. if (E->getCastKind() == CK_DerivedToBaseMemberPointer)
  240. derivedType = E->getSubExpr()->getType();
  241. else
  242. derivedType = E->getType();
  243. const CXXRecordDecl *derivedClass =
  244. derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl();
  245. return CGM.GetNonVirtualBaseClassOffset(derivedClass,
  246. E->path_begin(),
  247. E->path_end());
  248. }
  249. llvm::BasicBlock *
  250. CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
  251. const CXXRecordDecl *RD) {
  252. if (CGM.getTarget().getCXXABI().hasConstructorVariants())
  253. llvm_unreachable("shouldn't be called in this ABI");
  254. ErrorUnsupportedABI(CGF, "complete object detection in ctor");
  255. return nullptr;
  256. }
  257. void CGCXXABI::setCXXDestructorDLLStorage(llvm::GlobalValue *GV,
  258. const CXXDestructorDecl *Dtor,
  259. CXXDtorType DT) const {
  260. // Assume the base C++ ABI has no special rules for destructor variants.
  261. CGM.setDLLImportDLLExport(GV, Dtor);
  262. }
  263. llvm::GlobalValue::LinkageTypes CGCXXABI::getCXXDestructorLinkage(
  264. GVALinkage Linkage, const CXXDestructorDecl *Dtor, CXXDtorType DT) const {
  265. // Delegate back to CGM by default.
  266. return CGM.getLLVMLinkageForDeclarator(Dtor, Linkage,
  267. /*IsConstantVariable=*/false);
  268. }
  269. bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
  270. return false;
  271. }
  272. llvm::CallInst *
  273. CGCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
  274. llvm::Value *Exn) {
  275. // Just call std::terminate and ignore the violating exception.
  276. return CGF.EmitNounwindRuntimeCall(CGF.CGM.getTerminateFn());
  277. }
  278. CatchTypeInfo CGCXXABI::getCatchAllTypeInfo() {
  279. return CatchTypeInfo{nullptr, 0};
  280. }
  281. std::vector<CharUnits> CGCXXABI::getVBPtrOffsets(const CXXRecordDecl *RD) {
  282. return std::vector<CharUnits>();
  283. }
  284. CGCXXABI::AddedStructorArgCounts CGCXXABI::addImplicitConstructorArgs(
  285. CodeGenFunction &CGF, const CXXConstructorDecl *D, CXXCtorType Type,
  286. bool ForVirtualBase, bool Delegating, CallArgList &Args) {
  287. AddedStructorArgs AddedArgs =
  288. getImplicitConstructorArgs(CGF, D, Type, ForVirtualBase, Delegating);
  289. for (size_t i = 0; i < AddedArgs.Prefix.size(); ++i) {
  290. Args.insert(Args.begin() + 1 + i,
  291. CallArg(RValue::get(AddedArgs.Prefix[i].Value),
  292. AddedArgs.Prefix[i].Type));
  293. }
  294. for (const auto &arg : AddedArgs.Suffix) {
  295. Args.add(RValue::get(arg.Value), arg.Type);
  296. }
  297. return AddedStructorArgCounts(AddedArgs.Prefix.size(),
  298. AddedArgs.Suffix.size());
  299. }