1 //===------- MicrosoftCXXABI.cpp - AST support for the Microsoft C++ ABI --===//
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 C++ AST support targeting the Microsoft Visual C++
10 // ABI.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "CXXABI.h"
15 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/Attr.h"
17 #include "clang/AST/CXXInheritance.h"
18 #include "clang/AST/DeclCXX.h"
19 #include "clang/AST/Mangle.h"
20 #include "clang/AST/MangleNumberingContext.h"
21 #include "clang/AST/RecordLayout.h"
22 #include "clang/AST/Type.h"
23 #include "clang/Basic/TargetInfo.h"
24
25 using namespace clang;
26
27 namespace {
28
29 /// Numbers things which need to correspond across multiple TUs.
30 /// Typically these are things like static locals, lambdas, or blocks.
31 class MicrosoftNumberingContext : public MangleNumberingContext {
32 llvm::DenseMap<const Type *, unsigned> ManglingNumbers;
33 unsigned LambdaManglingNumber;
34 unsigned StaticLocalNumber;
35 unsigned StaticThreadlocalNumber;
36
37 public:
MicrosoftNumberingContext()38 MicrosoftNumberingContext()
39 : LambdaManglingNumber(0), StaticLocalNumber(0),
40 StaticThreadlocalNumber(0) {}
41
getManglingNumber(const CXXMethodDecl * CallOperator)42 unsigned getManglingNumber(const CXXMethodDecl *CallOperator) override {
43 return ++LambdaManglingNumber;
44 }
45
getManglingNumber(const BlockDecl * BD)46 unsigned getManglingNumber(const BlockDecl *BD) override {
47 const Type *Ty = nullptr;
48 return ++ManglingNumbers[Ty];
49 }
50
getStaticLocalNumber(const VarDecl * VD)51 unsigned getStaticLocalNumber(const VarDecl *VD) override {
52 if (VD->getTLSKind())
53 return ++StaticThreadlocalNumber;
54 return ++StaticLocalNumber;
55 }
56
getManglingNumber(const VarDecl * VD,unsigned MSLocalManglingNumber)57 unsigned getManglingNumber(const VarDecl *VD,
58 unsigned MSLocalManglingNumber) override {
59 return MSLocalManglingNumber;
60 }
61
getManglingNumber(const TagDecl * TD,unsigned MSLocalManglingNumber)62 unsigned getManglingNumber(const TagDecl *TD,
63 unsigned MSLocalManglingNumber) override {
64 return MSLocalManglingNumber;
65 }
66 };
67
68 class MSHIPNumberingContext : public MicrosoftNumberingContext {
69 std::unique_ptr<MangleNumberingContext> DeviceCtx;
70
71 public:
72 using MicrosoftNumberingContext::getManglingNumber;
MSHIPNumberingContext(MangleContext * DeviceMangler)73 MSHIPNumberingContext(MangleContext *DeviceMangler) {
74 DeviceCtx = createItaniumNumberingContext(DeviceMangler);
75 }
76
getDeviceManglingNumber(const CXXMethodDecl * CallOperator)77 unsigned getDeviceManglingNumber(const CXXMethodDecl *CallOperator) override {
78 return DeviceCtx->getManglingNumber(CallOperator);
79 }
80
getManglingNumber(const TagDecl * TD,unsigned MSLocalManglingNumber)81 unsigned getManglingNumber(const TagDecl *TD,
82 unsigned MSLocalManglingNumber) override {
83 unsigned DeviceN = DeviceCtx->getManglingNumber(TD, MSLocalManglingNumber);
84 unsigned HostN =
85 MicrosoftNumberingContext::getManglingNumber(TD, MSLocalManglingNumber);
86 if (DeviceN > 0xFFFF || HostN > 0xFFFF) {
87 DiagnosticsEngine &Diags = TD->getASTContext().getDiagnostics();
88 unsigned DiagID = Diags.getCustomDiagID(
89 DiagnosticsEngine::Error, "Mangling number exceeds limit (65535)");
90 Diags.Report(TD->getLocation(), DiagID);
91 }
92 return (DeviceN << 16) | HostN;
93 }
94 };
95
96 class MSSYCLNumberingContext : public MicrosoftNumberingContext {
97 std::unique_ptr<MangleNumberingContext> DeviceCtx;
98
99 public:
MSSYCLNumberingContext(MangleContext * DeviceMangler)100 MSSYCLNumberingContext(MangleContext *DeviceMangler) {
101 DeviceCtx = createItaniumNumberingContext(DeviceMangler);
102 }
103
getDeviceManglingNumber(const CXXMethodDecl * CallOperator)104 unsigned getDeviceManglingNumber(const CXXMethodDecl *CallOperator) override {
105 return DeviceCtx->getManglingNumber(CallOperator);
106 }
107 };
108
109 class MicrosoftCXXABI : public CXXABI {
110 ASTContext &Context;
111 llvm::SmallDenseMap<CXXRecordDecl *, CXXConstructorDecl *> RecordToCopyCtor;
112
113 llvm::SmallDenseMap<TagDecl *, DeclaratorDecl *>
114 UnnamedTagDeclToDeclaratorDecl;
115 llvm::SmallDenseMap<TagDecl *, TypedefNameDecl *>
116 UnnamedTagDeclToTypedefNameDecl;
117
118 // MangleContext for device numbering context, which is based on Itanium C++
119 // ABI.
120 std::unique_ptr<MangleContext> DeviceMangler;
121
122 public:
MicrosoftCXXABI(ASTContext & Ctx)123 MicrosoftCXXABI(ASTContext &Ctx) : Context(Ctx) {
124 if (Context.getLangOpts().CUDA && Context.getAuxTargetInfo()) {
125 assert(Context.getTargetInfo().getCXXABI().isMicrosoft() &&
126 Context.getAuxTargetInfo()->getCXXABI().isItaniumFamily() &&
127 "Unexpected combination of C++ ABIs.");
128 DeviceMangler.reset(
129 Context.createMangleContext(Context.getAuxTargetInfo()));
130 }
131 else if (Context.getLangOpts().isSYCL()) {
132 DeviceMangler.reset(
133 ItaniumMangleContext::create(Context, Context.getDiagnostics()));
134 }
135 }
136
137 MemberPointerInfo
138 getMemberPointerInfo(const MemberPointerType *MPT) const override;
139
getDefaultMethodCallConv(bool isVariadic) const140 CallingConv getDefaultMethodCallConv(bool isVariadic) const override {
141 if (!isVariadic &&
142 Context.getTargetInfo().getTriple().getArch() == llvm::Triple::x86)
143 return CC_X86ThisCall;
144 return Context.getTargetInfo().getDefaultCallingConv();
145 }
146
isNearlyEmpty(const CXXRecordDecl * RD) const147 bool isNearlyEmpty(const CXXRecordDecl *RD) const override {
148 llvm_unreachable("unapplicable to the MS ABI");
149 }
150
151 const CXXConstructorDecl *
getCopyConstructorForExceptionObject(CXXRecordDecl * RD)152 getCopyConstructorForExceptionObject(CXXRecordDecl *RD) override {
153 return RecordToCopyCtor[RD];
154 }
155
156 void
addCopyConstructorForExceptionObject(CXXRecordDecl * RD,CXXConstructorDecl * CD)157 addCopyConstructorForExceptionObject(CXXRecordDecl *RD,
158 CXXConstructorDecl *CD) override {
159 assert(CD != nullptr);
160 assert(RecordToCopyCtor[RD] == nullptr || RecordToCopyCtor[RD] == CD);
161 RecordToCopyCtor[RD] = CD;
162 }
163
addTypedefNameForUnnamedTagDecl(TagDecl * TD,TypedefNameDecl * DD)164 void addTypedefNameForUnnamedTagDecl(TagDecl *TD,
165 TypedefNameDecl *DD) override {
166 TD = TD->getCanonicalDecl();
167 DD = DD->getCanonicalDecl();
168 TypedefNameDecl *&I = UnnamedTagDeclToTypedefNameDecl[TD];
169 if (!I)
170 I = DD;
171 }
172
getTypedefNameForUnnamedTagDecl(const TagDecl * TD)173 TypedefNameDecl *getTypedefNameForUnnamedTagDecl(const TagDecl *TD) override {
174 return UnnamedTagDeclToTypedefNameDecl.lookup(
175 const_cast<TagDecl *>(TD->getCanonicalDecl()));
176 }
177
addDeclaratorForUnnamedTagDecl(TagDecl * TD,DeclaratorDecl * DD)178 void addDeclaratorForUnnamedTagDecl(TagDecl *TD,
179 DeclaratorDecl *DD) override {
180 TD = TD->getCanonicalDecl();
181 DD = cast<DeclaratorDecl>(DD->getCanonicalDecl());
182 DeclaratorDecl *&I = UnnamedTagDeclToDeclaratorDecl[TD];
183 if (!I)
184 I = DD;
185 }
186
getDeclaratorForUnnamedTagDecl(const TagDecl * TD)187 DeclaratorDecl *getDeclaratorForUnnamedTagDecl(const TagDecl *TD) override {
188 return UnnamedTagDeclToDeclaratorDecl.lookup(
189 const_cast<TagDecl *>(TD->getCanonicalDecl()));
190 }
191
192 std::unique_ptr<MangleNumberingContext>
createMangleNumberingContext() const193 createMangleNumberingContext() const override {
194 if (Context.getLangOpts().CUDA && Context.getAuxTargetInfo()) {
195 assert(DeviceMangler && "Missing device mangler");
196 return std::make_unique<MSHIPNumberingContext>(DeviceMangler.get());
197 } else if (Context.getLangOpts().isSYCL()) {
198 assert(DeviceMangler && "Missing device mangler");
199 return std::make_unique<MSSYCLNumberingContext>(DeviceMangler.get());
200 }
201
202 return std::make_unique<MicrosoftNumberingContext>();
203 }
204 };
205 }
206
207 // getNumBases() seems to only give us the number of direct bases, and not the
208 // total. This function tells us if we inherit from anybody that uses MI, or if
209 // we have a non-primary base class, which uses the multiple inheritance model.
usesMultipleInheritanceModel(const CXXRecordDecl * RD)210 static bool usesMultipleInheritanceModel(const CXXRecordDecl *RD) {
211 while (RD->getNumBases() > 0) {
212 if (RD->getNumBases() > 1)
213 return true;
214 assert(RD->getNumBases() == 1);
215 const CXXRecordDecl *Base =
216 RD->bases_begin()->getType()->getAsCXXRecordDecl();
217 if (RD->isPolymorphic() && !Base->isPolymorphic())
218 return true;
219 RD = Base;
220 }
221 return false;
222 }
223
calculateInheritanceModel() const224 MSInheritanceModel CXXRecordDecl::calculateInheritanceModel() const {
225 if (!hasDefinition() || isParsingBaseSpecifiers())
226 return MSInheritanceModel::Unspecified;
227 if (getNumVBases() > 0)
228 return MSInheritanceModel::Virtual;
229 if (usesMultipleInheritanceModel(this))
230 return MSInheritanceModel::Multiple;
231 return MSInheritanceModel::Single;
232 }
233
getMSInheritanceModel() const234 MSInheritanceModel CXXRecordDecl::getMSInheritanceModel() const {
235 MSInheritanceAttr *IA = getAttr<MSInheritanceAttr>();
236 assert(IA && "Expected MSInheritanceAttr on the CXXRecordDecl!");
237 return IA->getInheritanceModel();
238 }
239
nullFieldOffsetIsZero() const240 bool CXXRecordDecl::nullFieldOffsetIsZero() const {
241 return !inheritanceModelHasOnlyOneField(/*IsMemberFunction=*/false,
242 getMSInheritanceModel()) ||
243 (hasDefinition() && isPolymorphic());
244 }
245
getMSVtorDispMode() const246 MSVtorDispMode CXXRecordDecl::getMSVtorDispMode() const {
247 if (MSVtorDispAttr *VDA = getAttr<MSVtorDispAttr>())
248 return VDA->getVtorDispMode();
249 return getASTContext().getLangOpts().getVtorDispMode();
250 }
251
252 // Returns the number of pointer and integer slots used to represent a member
253 // pointer in the MS C++ ABI.
254 //
255 // Member function pointers have the following general form; however, fields
256 // are dropped as permitted (under the MSVC interpretation) by the inheritance
257 // model of the actual class.
258 //
259 // struct {
260 // // A pointer to the member function to call. If the member function is
261 // // virtual, this will be a thunk that forwards to the appropriate vftable
262 // // slot.
263 // void *FunctionPointerOrVirtualThunk;
264 //
265 // // An offset to add to the address of the vbtable pointer after
266 // // (possibly) selecting the virtual base but before resolving and calling
267 // // the function.
268 // // Only needed if the class has any virtual bases or bases at a non-zero
269 // // offset.
270 // int NonVirtualBaseAdjustment;
271 //
272 // // The offset of the vb-table pointer within the object. Only needed for
273 // // incomplete types.
274 // int VBPtrOffset;
275 //
276 // // An offset within the vb-table that selects the virtual base containing
277 // // the member. Loading from this offset produces a new offset that is
278 // // added to the address of the vb-table pointer to produce the base.
279 // int VirtualBaseAdjustmentOffset;
280 // };
281 static std::pair<unsigned, unsigned>
getMSMemberPointerSlots(const MemberPointerType * MPT)282 getMSMemberPointerSlots(const MemberPointerType *MPT) {
283 const CXXRecordDecl *RD = MPT->getMostRecentCXXRecordDecl();
284 MSInheritanceModel Inheritance = RD->getMSInheritanceModel();
285 unsigned Ptrs = 0;
286 unsigned Ints = 0;
287 if (MPT->isMemberFunctionPointer())
288 Ptrs = 1;
289 else
290 Ints = 1;
291 if (inheritanceModelHasNVOffsetField(MPT->isMemberFunctionPointer(),
292 Inheritance))
293 Ints++;
294 if (inheritanceModelHasVBPtrOffsetField(Inheritance))
295 Ints++;
296 if (inheritanceModelHasVBTableOffsetField(Inheritance))
297 Ints++;
298 return std::make_pair(Ptrs, Ints);
299 }
300
getMemberPointerInfo(const MemberPointerType * MPT) const301 CXXABI::MemberPointerInfo MicrosoftCXXABI::getMemberPointerInfo(
302 const MemberPointerType *MPT) const {
303 // The nominal struct is laid out with pointers followed by ints and aligned
304 // to a pointer width if any are present and an int width otherwise.
305 const TargetInfo &Target = Context.getTargetInfo();
306 unsigned PtrSize = Target.getPointerWidth(LangAS::Default);
307 unsigned IntSize = Target.getIntWidth();
308
309 unsigned Ptrs, Ints;
310 std::tie(Ptrs, Ints) = getMSMemberPointerSlots(MPT);
311 MemberPointerInfo MPI;
312 MPI.HasPadding = false;
313 MPI.Width = Ptrs * PtrSize + Ints * IntSize;
314
315 // When MSVC does x86_32 record layout, it aligns aggregate member pointers to
316 // 8 bytes. However, __alignof usually returns 4 for data memptrs and 8 for
317 // function memptrs.
318 if (Ptrs + Ints > 1 && Target.getTriple().isArch32Bit())
319 MPI.Align = 64;
320 else if (Ptrs)
321 MPI.Align = Target.getPointerAlign(LangAS::Default);
322 else
323 MPI.Align = Target.getIntAlign();
324
325 if (Target.getTriple().isArch64Bit()) {
326 MPI.Width = llvm::alignTo(MPI.Width, MPI.Align);
327 MPI.HasPadding = MPI.Width != (Ptrs * PtrSize + Ints * IntSize);
328 }
329 return MPI;
330 }
331
CreateMicrosoftCXXABI(ASTContext & Ctx)332 CXXABI *clang::CreateMicrosoftCXXABI(ASTContext &Ctx) {
333 return new MicrosoftCXXABI(Ctx);
334 }
335