xref: /openbsd-src/gnu/llvm/clang/lib/AST/Mangle.cpp (revision 12c855180aad702bbcca06e0398d774beeafb155)
1e5dd7070Spatrick //===--- Mangle.cpp - Mangle C++ Names --------------------------*- C++ -*-===//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick //
9e5dd7070Spatrick // Implements generic name mangling support for blocks and Objective-C.
10e5dd7070Spatrick //
11e5dd7070Spatrick //===----------------------------------------------------------------------===//
12e5dd7070Spatrick #include "clang/AST/Attr.h"
13e5dd7070Spatrick #include "clang/AST/ASTContext.h"
14e5dd7070Spatrick #include "clang/AST/Decl.h"
15e5dd7070Spatrick #include "clang/AST/DeclCXX.h"
16e5dd7070Spatrick #include "clang/AST/DeclObjC.h"
17e5dd7070Spatrick #include "clang/AST/DeclTemplate.h"
18e5dd7070Spatrick #include "clang/AST/ExprCXX.h"
19e5dd7070Spatrick #include "clang/AST/Mangle.h"
20e5dd7070Spatrick #include "clang/AST/VTableBuilder.h"
21e5dd7070Spatrick #include "clang/Basic/ABI.h"
22e5dd7070Spatrick #include "clang/Basic/SourceManager.h"
23e5dd7070Spatrick #include "clang/Basic/TargetInfo.h"
24e5dd7070Spatrick #include "llvm/ADT/StringExtras.h"
25e5dd7070Spatrick #include "llvm/IR/DataLayout.h"
26e5dd7070Spatrick #include "llvm/IR/Mangler.h"
27e5dd7070Spatrick #include "llvm/Support/ErrorHandling.h"
28ec727ea7Spatrick #include "llvm/Support/Format.h"
29e5dd7070Spatrick #include "llvm/Support/raw_ostream.h"
30e5dd7070Spatrick 
31e5dd7070Spatrick using namespace clang;
32e5dd7070Spatrick 
33e5dd7070Spatrick // FIXME: For blocks we currently mimic GCC's mangling scheme, which leaves
34e5dd7070Spatrick // much to be desired. Come up with a better mangling scheme.
35e5dd7070Spatrick 
mangleFunctionBlock(MangleContext & Context,StringRef Outer,const BlockDecl * BD,raw_ostream & Out)36e5dd7070Spatrick static void mangleFunctionBlock(MangleContext &Context,
37e5dd7070Spatrick                                 StringRef Outer,
38e5dd7070Spatrick                                 const BlockDecl *BD,
39e5dd7070Spatrick                                 raw_ostream &Out) {
40e5dd7070Spatrick   unsigned discriminator = Context.getBlockId(BD, true);
41e5dd7070Spatrick   if (discriminator == 0)
42e5dd7070Spatrick     Out << "__" << Outer << "_block_invoke";
43e5dd7070Spatrick   else
44e5dd7070Spatrick     Out << "__" << Outer << "_block_invoke_" << discriminator+1;
45e5dd7070Spatrick }
46e5dd7070Spatrick 
anchor()47e5dd7070Spatrick void MangleContext::anchor() { }
48e5dd7070Spatrick 
49e5dd7070Spatrick enum CCMangling {
50e5dd7070Spatrick   CCM_Other,
51e5dd7070Spatrick   CCM_Fast,
52e5dd7070Spatrick   CCM_RegCall,
53e5dd7070Spatrick   CCM_Vector,
54ec727ea7Spatrick   CCM_Std,
55ec727ea7Spatrick   CCM_WasmMainArgcArgv
56e5dd7070Spatrick };
57e5dd7070Spatrick 
isExternC(const NamedDecl * ND)58e5dd7070Spatrick static bool isExternC(const NamedDecl *ND) {
59e5dd7070Spatrick   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND))
60e5dd7070Spatrick     return FD->isExternC();
61ec727ea7Spatrick   if (const VarDecl *VD = dyn_cast<VarDecl>(ND))
62ec727ea7Spatrick     return VD->isExternC();
63ec727ea7Spatrick   return false;
64e5dd7070Spatrick }
65e5dd7070Spatrick 
getCallingConvMangling(const ASTContext & Context,const NamedDecl * ND)66e5dd7070Spatrick static CCMangling getCallingConvMangling(const ASTContext &Context,
67e5dd7070Spatrick                                          const NamedDecl *ND) {
68e5dd7070Spatrick   const TargetInfo &TI = Context.getTargetInfo();
69e5dd7070Spatrick   const llvm::Triple &Triple = TI.getTriple();
70ec727ea7Spatrick 
71ec727ea7Spatrick   // On wasm, the argc/argv form of "main" is renamed so that the startup code
72ec727ea7Spatrick   // can call it with the correct function signature.
73*12c85518Srobert   if (Triple.isWasm())
74ec727ea7Spatrick     if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND))
75*12c85518Srobert       if (FD->isMain() && FD->getNumParams() == 2)
76ec727ea7Spatrick         return CCM_WasmMainArgcArgv;
77ec727ea7Spatrick 
78e5dd7070Spatrick   if (!Triple.isOSWindows() || !Triple.isX86())
79e5dd7070Spatrick     return CCM_Other;
80e5dd7070Spatrick 
81e5dd7070Spatrick   if (Context.getLangOpts().CPlusPlus && !isExternC(ND) &&
82e5dd7070Spatrick       TI.getCXXABI() == TargetCXXABI::Microsoft)
83e5dd7070Spatrick     return CCM_Other;
84e5dd7070Spatrick 
85e5dd7070Spatrick   const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND);
86e5dd7070Spatrick   if (!FD)
87e5dd7070Spatrick     return CCM_Other;
88e5dd7070Spatrick   QualType T = FD->getType();
89e5dd7070Spatrick 
90e5dd7070Spatrick   const FunctionType *FT = T->castAs<FunctionType>();
91e5dd7070Spatrick 
92e5dd7070Spatrick   CallingConv CC = FT->getCallConv();
93e5dd7070Spatrick   switch (CC) {
94e5dd7070Spatrick   default:
95e5dd7070Spatrick     return CCM_Other;
96e5dd7070Spatrick   case CC_X86FastCall:
97e5dd7070Spatrick     return CCM_Fast;
98e5dd7070Spatrick   case CC_X86StdCall:
99e5dd7070Spatrick     return CCM_Std;
100e5dd7070Spatrick   case CC_X86VectorCall:
101e5dd7070Spatrick     return CCM_Vector;
102e5dd7070Spatrick   }
103e5dd7070Spatrick }
104e5dd7070Spatrick 
shouldMangleDeclName(const NamedDecl * D)105e5dd7070Spatrick bool MangleContext::shouldMangleDeclName(const NamedDecl *D) {
106e5dd7070Spatrick   const ASTContext &ASTContext = getASTContext();
107e5dd7070Spatrick 
108e5dd7070Spatrick   CCMangling CC = getCallingConvMangling(ASTContext, D);
109e5dd7070Spatrick   if (CC != CCM_Other)
110e5dd7070Spatrick     return true;
111e5dd7070Spatrick 
112e5dd7070Spatrick   // If the declaration has an owning module for linkage purposes that needs to
113e5dd7070Spatrick   // be mangled, we must mangle its name.
114e5dd7070Spatrick   if (!D->hasExternalFormalLinkage() && D->getOwningModuleForLinkage())
115e5dd7070Spatrick     return true;
116e5dd7070Spatrick 
117a9ac8606Spatrick   // C functions with internal linkage have to be mangled with option
118a9ac8606Spatrick   // -funique-internal-linkage-names.
119a9ac8606Spatrick   if (!getASTContext().getLangOpts().CPlusPlus &&
120a9ac8606Spatrick       isUniqueInternalLinkageDecl(D))
121a9ac8606Spatrick     return true;
122a9ac8606Spatrick 
123e5dd7070Spatrick   // In C, functions with no attributes never need to be mangled. Fastpath them.
124e5dd7070Spatrick   if (!getASTContext().getLangOpts().CPlusPlus && !D->hasAttrs())
125e5dd7070Spatrick     return false;
126e5dd7070Spatrick 
127e5dd7070Spatrick   // Any decl can be declared with __asm("foo") on it, and this takes precedence
128e5dd7070Spatrick   // over all other naming in the .o file.
129e5dd7070Spatrick   if (D->hasAttr<AsmLabelAttr>())
130e5dd7070Spatrick     return true;
131e5dd7070Spatrick 
132ec727ea7Spatrick   // Declarations that don't have identifier names always need to be mangled.
133ec727ea7Spatrick   if (isa<MSGuidDecl>(D))
134ec727ea7Spatrick     return true;
135ec727ea7Spatrick 
136e5dd7070Spatrick   return shouldMangleCXXName(D);
137e5dd7070Spatrick }
138e5dd7070Spatrick 
mangleName(GlobalDecl GD,raw_ostream & Out)139ec727ea7Spatrick void MangleContext::mangleName(GlobalDecl GD, raw_ostream &Out) {
140a9ac8606Spatrick   const ASTContext &ASTContext = getASTContext();
141ec727ea7Spatrick   const NamedDecl *D = cast<NamedDecl>(GD.getDecl());
142a9ac8606Spatrick 
143e5dd7070Spatrick   // Any decl can be declared with __asm("foo") on it, and this takes precedence
144e5dd7070Spatrick   // over all other naming in the .o file.
145e5dd7070Spatrick   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
146e5dd7070Spatrick     // If we have an asm name, then we use it as the mangling.
147e5dd7070Spatrick 
148e5dd7070Spatrick     // If the label isn't literal, or if this is an alias for an LLVM intrinsic,
149e5dd7070Spatrick     // do not add a "\01" prefix.
150e5dd7070Spatrick     if (!ALA->getIsLiteralLabel() || ALA->getLabel().startswith("llvm.")) {
151e5dd7070Spatrick       Out << ALA->getLabel();
152e5dd7070Spatrick       return;
153e5dd7070Spatrick     }
154e5dd7070Spatrick 
155e5dd7070Spatrick     // Adding the prefix can cause problems when one file has a "foo" and
156e5dd7070Spatrick     // another has a "\01foo". That is known to happen on ELF with the
157e5dd7070Spatrick     // tricks normally used for producing aliases (PR9177). Fortunately the
158e5dd7070Spatrick     // llvm mangler on ELF is a nop, so we can just avoid adding the \01
159e5dd7070Spatrick     // marker.
160a9ac8606Spatrick     StringRef UserLabelPrefix =
161a9ac8606Spatrick         getASTContext().getTargetInfo().getUserLabelPrefix();
162a9ac8606Spatrick #ifndef NDEBUG
163e5dd7070Spatrick     char GlobalPrefix =
164a9ac8606Spatrick         llvm::DataLayout(getASTContext().getTargetInfo().getDataLayoutString())
165a9ac8606Spatrick             .getGlobalPrefix();
166a9ac8606Spatrick     assert((UserLabelPrefix.empty() && !GlobalPrefix) ||
167a9ac8606Spatrick            (UserLabelPrefix.size() == 1 && UserLabelPrefix[0] == GlobalPrefix));
168a9ac8606Spatrick #endif
169a9ac8606Spatrick     if (!UserLabelPrefix.empty())
170e5dd7070Spatrick       Out << '\01'; // LLVM IR Marker for __asm("foo")
171e5dd7070Spatrick 
172e5dd7070Spatrick     Out << ALA->getLabel();
173e5dd7070Spatrick     return;
174e5dd7070Spatrick   }
175e5dd7070Spatrick 
176ec727ea7Spatrick   if (auto *GD = dyn_cast<MSGuidDecl>(D))
177ec727ea7Spatrick     return mangleMSGuidDecl(GD, Out);
178ec727ea7Spatrick 
179e5dd7070Spatrick   CCMangling CC = getCallingConvMangling(ASTContext, D);
180ec727ea7Spatrick 
181ec727ea7Spatrick   if (CC == CCM_WasmMainArgcArgv) {
182ec727ea7Spatrick     Out << "__main_argc_argv";
183ec727ea7Spatrick     return;
184ec727ea7Spatrick   }
185ec727ea7Spatrick 
186e5dd7070Spatrick   bool MCXX = shouldMangleCXXName(D);
187e5dd7070Spatrick   const TargetInfo &TI = Context.getTargetInfo();
188e5dd7070Spatrick   if (CC == CCM_Other || (MCXX && TI.getCXXABI() == TargetCXXABI::Microsoft)) {
189e5dd7070Spatrick     if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D))
190a9ac8606Spatrick       mangleObjCMethodNameAsSourceName(OMD, Out);
191e5dd7070Spatrick     else
192ec727ea7Spatrick       mangleCXXName(GD, Out);
193e5dd7070Spatrick     return;
194e5dd7070Spatrick   }
195e5dd7070Spatrick 
196e5dd7070Spatrick   Out << '\01';
197e5dd7070Spatrick   if (CC == CCM_Std)
198e5dd7070Spatrick     Out << '_';
199e5dd7070Spatrick   else if (CC == CCM_Fast)
200e5dd7070Spatrick     Out << '@';
201e5dd7070Spatrick   else if (CC == CCM_RegCall)
202e5dd7070Spatrick     Out << "__regcall3__";
203e5dd7070Spatrick 
204e5dd7070Spatrick   if (!MCXX)
205e5dd7070Spatrick     Out << D->getIdentifier()->getName();
206e5dd7070Spatrick   else if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D))
207a9ac8606Spatrick     mangleObjCMethodNameAsSourceName(OMD, Out);
208e5dd7070Spatrick   else
209ec727ea7Spatrick     mangleCXXName(GD, Out);
210e5dd7070Spatrick 
211e5dd7070Spatrick   const FunctionDecl *FD = cast<FunctionDecl>(D);
212e5dd7070Spatrick   const FunctionType *FT = FD->getType()->castAs<FunctionType>();
213e5dd7070Spatrick   const FunctionProtoType *Proto = dyn_cast<FunctionProtoType>(FT);
214e5dd7070Spatrick   if (CC == CCM_Vector)
215e5dd7070Spatrick     Out << '@';
216e5dd7070Spatrick   Out << '@';
217e5dd7070Spatrick   if (!Proto) {
218e5dd7070Spatrick     Out << '0';
219e5dd7070Spatrick     return;
220e5dd7070Spatrick   }
221e5dd7070Spatrick   assert(!Proto->isVariadic());
222e5dd7070Spatrick   unsigned ArgWords = 0;
223e5dd7070Spatrick   if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(FD))
224e5dd7070Spatrick     if (!MD->isStatic())
225e5dd7070Spatrick       ++ArgWords;
226*12c85518Srobert   uint64_t DefaultPtrWidth = TI.getPointerWidth(LangAS::Default);
227*12c85518Srobert   for (const auto &AT : Proto->param_types()) {
228*12c85518Srobert     // If an argument type is incomplete there is no way to get its size to
229*12c85518Srobert     // correctly encode into the mangling scheme.
230*12c85518Srobert     // Follow GCCs behaviour by simply breaking out of the loop.
231*12c85518Srobert     if (AT->isIncompleteType())
232*12c85518Srobert       break;
233e5dd7070Spatrick     // Size should be aligned to pointer size.
234*12c85518Srobert     ArgWords += llvm::alignTo(ASTContext.getTypeSize(AT), DefaultPtrWidth) /
235*12c85518Srobert                 DefaultPtrWidth;
236*12c85518Srobert   }
237*12c85518Srobert   Out << ((DefaultPtrWidth / 8) * ArgWords);
238e5dd7070Spatrick }
239e5dd7070Spatrick 
mangleMSGuidDecl(const MSGuidDecl * GD,raw_ostream & Out)240ec727ea7Spatrick void MangleContext::mangleMSGuidDecl(const MSGuidDecl *GD, raw_ostream &Out) {
241ec727ea7Spatrick   // For now, follow the MSVC naming convention for GUID objects on all
242ec727ea7Spatrick   // targets.
243ec727ea7Spatrick   MSGuidDecl::Parts P = GD->getParts();
244ec727ea7Spatrick   Out << llvm::format("_GUID_%08" PRIx32 "_%04" PRIx32 "_%04" PRIx32 "_",
245ec727ea7Spatrick                       P.Part1, P.Part2, P.Part3);
246ec727ea7Spatrick   unsigned I = 0;
247ec727ea7Spatrick   for (uint8_t C : P.Part4And5) {
248ec727ea7Spatrick     Out << llvm::format("%02" PRIx8, C);
249ec727ea7Spatrick     if (++I == 2)
250ec727ea7Spatrick       Out << "_";
251ec727ea7Spatrick   }
252ec727ea7Spatrick }
253ec727ea7Spatrick 
mangleGlobalBlock(const BlockDecl * BD,const NamedDecl * ID,raw_ostream & Out)254e5dd7070Spatrick void MangleContext::mangleGlobalBlock(const BlockDecl *BD,
255e5dd7070Spatrick                                       const NamedDecl *ID,
256e5dd7070Spatrick                                       raw_ostream &Out) {
257e5dd7070Spatrick   unsigned discriminator = getBlockId(BD, false);
258e5dd7070Spatrick   if (ID) {
259e5dd7070Spatrick     if (shouldMangleDeclName(ID))
260e5dd7070Spatrick       mangleName(ID, Out);
261e5dd7070Spatrick     else {
262e5dd7070Spatrick       Out << ID->getIdentifier()->getName();
263e5dd7070Spatrick     }
264e5dd7070Spatrick   }
265e5dd7070Spatrick   if (discriminator == 0)
266e5dd7070Spatrick     Out << "_block_invoke";
267e5dd7070Spatrick   else
268e5dd7070Spatrick     Out << "_block_invoke_" << discriminator+1;
269e5dd7070Spatrick }
270e5dd7070Spatrick 
mangleCtorBlock(const CXXConstructorDecl * CD,CXXCtorType CT,const BlockDecl * BD,raw_ostream & ResStream)271e5dd7070Spatrick void MangleContext::mangleCtorBlock(const CXXConstructorDecl *CD,
272e5dd7070Spatrick                                     CXXCtorType CT, const BlockDecl *BD,
273e5dd7070Spatrick                                     raw_ostream &ResStream) {
274e5dd7070Spatrick   SmallString<64> Buffer;
275e5dd7070Spatrick   llvm::raw_svector_ostream Out(Buffer);
276ec727ea7Spatrick   mangleName(GlobalDecl(CD, CT), Out);
277e5dd7070Spatrick   mangleFunctionBlock(*this, Buffer, BD, ResStream);
278e5dd7070Spatrick }
279e5dd7070Spatrick 
mangleDtorBlock(const CXXDestructorDecl * DD,CXXDtorType DT,const BlockDecl * BD,raw_ostream & ResStream)280e5dd7070Spatrick void MangleContext::mangleDtorBlock(const CXXDestructorDecl *DD,
281e5dd7070Spatrick                                     CXXDtorType DT, const BlockDecl *BD,
282e5dd7070Spatrick                                     raw_ostream &ResStream) {
283e5dd7070Spatrick   SmallString<64> Buffer;
284e5dd7070Spatrick   llvm::raw_svector_ostream Out(Buffer);
285ec727ea7Spatrick   mangleName(GlobalDecl(DD, DT), Out);
286e5dd7070Spatrick   mangleFunctionBlock(*this, Buffer, BD, ResStream);
287e5dd7070Spatrick }
288e5dd7070Spatrick 
mangleBlock(const DeclContext * DC,const BlockDecl * BD,raw_ostream & Out)289e5dd7070Spatrick void MangleContext::mangleBlock(const DeclContext *DC, const BlockDecl *BD,
290e5dd7070Spatrick                                 raw_ostream &Out) {
291e5dd7070Spatrick   assert(!isa<CXXConstructorDecl>(DC) && !isa<CXXDestructorDecl>(DC));
292e5dd7070Spatrick 
293e5dd7070Spatrick   SmallString<64> Buffer;
294e5dd7070Spatrick   llvm::raw_svector_ostream Stream(Buffer);
295e5dd7070Spatrick   if (const ObjCMethodDecl *Method = dyn_cast<ObjCMethodDecl>(DC)) {
296a9ac8606Spatrick     mangleObjCMethodNameAsSourceName(Method, Stream);
297e5dd7070Spatrick   } else {
298e5dd7070Spatrick     assert((isa<NamedDecl>(DC) || isa<BlockDecl>(DC)) &&
299e5dd7070Spatrick            "expected a NamedDecl or BlockDecl");
300e5dd7070Spatrick     if (isa<BlockDecl>(DC))
301e5dd7070Spatrick       for (; DC && isa<BlockDecl>(DC); DC = DC->getParent())
302e5dd7070Spatrick         (void) getBlockId(cast<BlockDecl>(DC), true);
303e5dd7070Spatrick     assert((isa<TranslationUnitDecl>(DC) || isa<NamedDecl>(DC)) &&
304e5dd7070Spatrick            "expected a TranslationUnitDecl or a NamedDecl");
305e5dd7070Spatrick     if (const auto *CD = dyn_cast<CXXConstructorDecl>(DC))
306e5dd7070Spatrick       mangleCtorBlock(CD, /*CT*/ Ctor_Complete, BD, Out);
307e5dd7070Spatrick     else if (const auto *DD = dyn_cast<CXXDestructorDecl>(DC))
308e5dd7070Spatrick       mangleDtorBlock(DD, /*DT*/ Dtor_Complete, BD, Out);
309e5dd7070Spatrick     else if (auto ND = dyn_cast<NamedDecl>(DC)) {
310e5dd7070Spatrick       if (!shouldMangleDeclName(ND) && ND->getIdentifier())
311e5dd7070Spatrick         Stream << ND->getIdentifier()->getName();
312e5dd7070Spatrick       else {
313e5dd7070Spatrick         // FIXME: We were doing a mangleUnqualifiedName() before, but that's
314e5dd7070Spatrick         // a private member of a class that will soon itself be private to the
315e5dd7070Spatrick         // Itanium C++ ABI object. What should we do now? Right now, I'm just
316e5dd7070Spatrick         // calling the mangleName() method on the MangleContext; is there a
317e5dd7070Spatrick         // better way?
318e5dd7070Spatrick         mangleName(ND, Stream);
319e5dd7070Spatrick       }
320e5dd7070Spatrick     }
321e5dd7070Spatrick   }
322e5dd7070Spatrick   mangleFunctionBlock(*this, Buffer, BD, Out);
323e5dd7070Spatrick }
324e5dd7070Spatrick 
mangleObjCMethodName(const ObjCMethodDecl * MD,raw_ostream & OS,bool includePrefixByte,bool includeCategoryNamespace)325a9ac8606Spatrick void MangleContext::mangleObjCMethodName(const ObjCMethodDecl *MD,
326a9ac8606Spatrick                                          raw_ostream &OS,
327a9ac8606Spatrick                                          bool includePrefixByte,
328a9ac8606Spatrick                                          bool includeCategoryNamespace) {
329a9ac8606Spatrick   if (getASTContext().getLangOpts().ObjCRuntime.isGNUFamily()) {
330a9ac8606Spatrick     // This is the mangling we've always used on the GNU runtimes, but it
331a9ac8606Spatrick     // has obvious collisions in the face of underscores within class
332a9ac8606Spatrick     // names, category names, and selectors; maybe we should improve it.
333a9ac8606Spatrick 
334a9ac8606Spatrick     OS << (MD->isClassMethod() ? "_c_" : "_i_")
335a9ac8606Spatrick        << MD->getClassInterface()->getName() << '_';
336a9ac8606Spatrick 
337a9ac8606Spatrick     if (includeCategoryNamespace) {
338a9ac8606Spatrick       if (auto category = MD->getCategory())
339a9ac8606Spatrick         OS << category->getName();
340a9ac8606Spatrick     }
341a9ac8606Spatrick     OS << '_';
342a9ac8606Spatrick 
343a9ac8606Spatrick     auto selector = MD->getSelector();
344a9ac8606Spatrick     for (unsigned slotIndex = 0,
345a9ac8606Spatrick                   numArgs = selector.getNumArgs(),
346a9ac8606Spatrick                   slotEnd = std::max(numArgs, 1U);
347a9ac8606Spatrick            slotIndex != slotEnd; ++slotIndex) {
348a9ac8606Spatrick       if (auto name = selector.getIdentifierInfoForSlot(slotIndex))
349a9ac8606Spatrick         OS << name->getName();
350a9ac8606Spatrick 
351a9ac8606Spatrick       // Replace all the positions that would've been ':' with '_'.
352a9ac8606Spatrick       // That's after each slot except that a unary selector doesn't
353a9ac8606Spatrick       // end in ':'.
354a9ac8606Spatrick       if (numArgs)
355a9ac8606Spatrick         OS << '_';
356a9ac8606Spatrick     }
357a9ac8606Spatrick 
358a9ac8606Spatrick     return;
359a9ac8606Spatrick   }
360a9ac8606Spatrick 
361a9ac8606Spatrick   // \01+[ContainerName(CategoryName) SelectorName]
362a9ac8606Spatrick   if (includePrefixByte) {
363a9ac8606Spatrick     OS << '\01';
364a9ac8606Spatrick   }
365e5dd7070Spatrick   OS << (MD->isInstanceMethod() ? '-' : '+') << '[';
366a9ac8606Spatrick   if (const auto *CID = MD->getCategory()) {
367e5dd7070Spatrick     OS << CID->getClassInterface()->getName();
368a9ac8606Spatrick     if (includeCategoryNamespace) {
369e5dd7070Spatrick       OS << '(' << *CID << ')';
370a9ac8606Spatrick     }
371a9ac8606Spatrick   } else if (const auto *CD =
372a9ac8606Spatrick                  dyn_cast<ObjCContainerDecl>(MD->getDeclContext())) {
373e5dd7070Spatrick     OS << CD->getName();
374a9ac8606Spatrick   } else {
375a9ac8606Spatrick     llvm_unreachable("Unexpected ObjC method decl context");
376e5dd7070Spatrick   }
377e5dd7070Spatrick   OS << ' ';
378e5dd7070Spatrick   MD->getSelector().print(OS);
379e5dd7070Spatrick   OS << ']';
380e5dd7070Spatrick }
381e5dd7070Spatrick 
mangleObjCMethodNameAsSourceName(const ObjCMethodDecl * MD,raw_ostream & Out)382a9ac8606Spatrick void MangleContext::mangleObjCMethodNameAsSourceName(const ObjCMethodDecl *MD,
383e5dd7070Spatrick                                                      raw_ostream &Out) {
384e5dd7070Spatrick   SmallString<64> Name;
385e5dd7070Spatrick   llvm::raw_svector_ostream OS(Name);
386e5dd7070Spatrick 
387a9ac8606Spatrick   mangleObjCMethodName(MD, OS, /*includePrefixByte=*/false,
388a9ac8606Spatrick                        /*includeCategoryNamespace=*/true);
389e5dd7070Spatrick   Out << OS.str().size() << OS.str();
390e5dd7070Spatrick }
391e5dd7070Spatrick 
392e5dd7070Spatrick class ASTNameGenerator::Implementation {
393e5dd7070Spatrick   std::unique_ptr<MangleContext> MC;
394e5dd7070Spatrick   llvm::DataLayout DL;
395e5dd7070Spatrick 
396e5dd7070Spatrick public:
Implementation(ASTContext & Ctx)397e5dd7070Spatrick   explicit Implementation(ASTContext &Ctx)
398a9ac8606Spatrick       : MC(Ctx.createMangleContext()),
399a9ac8606Spatrick         DL(Ctx.getTargetInfo().getDataLayoutString()) {}
400e5dd7070Spatrick 
writeName(const Decl * D,raw_ostream & OS)401e5dd7070Spatrick   bool writeName(const Decl *D, raw_ostream &OS) {
402e5dd7070Spatrick     // First apply frontend mangling.
403e5dd7070Spatrick     SmallString<128> FrontendBuf;
404e5dd7070Spatrick     llvm::raw_svector_ostream FrontendBufOS(FrontendBuf);
405e5dd7070Spatrick     if (auto *FD = dyn_cast<FunctionDecl>(D)) {
406e5dd7070Spatrick       if (FD->isDependentContext())
407e5dd7070Spatrick         return true;
408e5dd7070Spatrick       if (writeFuncOrVarName(FD, FrontendBufOS))
409e5dd7070Spatrick         return true;
410e5dd7070Spatrick     } else if (auto *VD = dyn_cast<VarDecl>(D)) {
411e5dd7070Spatrick       if (writeFuncOrVarName(VD, FrontendBufOS))
412e5dd7070Spatrick         return true;
413e5dd7070Spatrick     } else if (auto *MD = dyn_cast<ObjCMethodDecl>(D)) {
414a9ac8606Spatrick       MC->mangleObjCMethodName(MD, OS, /*includePrefixByte=*/false,
415a9ac8606Spatrick                                /*includeCategoryNamespace=*/true);
416e5dd7070Spatrick       return false;
417e5dd7070Spatrick     } else if (auto *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
418e5dd7070Spatrick       writeObjCClassName(ID, FrontendBufOS);
419e5dd7070Spatrick     } else {
420e5dd7070Spatrick       return true;
421e5dd7070Spatrick     }
422e5dd7070Spatrick 
423e5dd7070Spatrick     // Now apply backend mangling.
424e5dd7070Spatrick     llvm::Mangler::getNameWithPrefix(OS, FrontendBufOS.str(), DL);
425e5dd7070Spatrick     return false;
426e5dd7070Spatrick   }
427e5dd7070Spatrick 
getName(const Decl * D)428e5dd7070Spatrick   std::string getName(const Decl *D) {
429e5dd7070Spatrick     std::string Name;
430e5dd7070Spatrick     {
431e5dd7070Spatrick       llvm::raw_string_ostream OS(Name);
432e5dd7070Spatrick       writeName(D, OS);
433e5dd7070Spatrick     }
434e5dd7070Spatrick     return Name;
435e5dd7070Spatrick   }
436e5dd7070Spatrick 
437e5dd7070Spatrick   enum ObjCKind {
438e5dd7070Spatrick     ObjCClass,
439e5dd7070Spatrick     ObjCMetaclass,
440e5dd7070Spatrick   };
441e5dd7070Spatrick 
getClassSymbolPrefix(ObjCKind Kind,const ASTContext & Context)442e5dd7070Spatrick   static StringRef getClassSymbolPrefix(ObjCKind Kind,
443e5dd7070Spatrick                                         const ASTContext &Context) {
444e5dd7070Spatrick     if (Context.getLangOpts().ObjCRuntime.isGNUFamily())
445e5dd7070Spatrick       return Kind == ObjCMetaclass ? "_OBJC_METACLASS_" : "_OBJC_CLASS_";
446e5dd7070Spatrick     return Kind == ObjCMetaclass ? "OBJC_METACLASS_$_" : "OBJC_CLASS_$_";
447e5dd7070Spatrick   }
448e5dd7070Spatrick 
getAllManglings(const ObjCContainerDecl * OCD)449e5dd7070Spatrick   std::vector<std::string> getAllManglings(const ObjCContainerDecl *OCD) {
450e5dd7070Spatrick     StringRef ClassName;
451e5dd7070Spatrick     if (const auto *OID = dyn_cast<ObjCInterfaceDecl>(OCD))
452e5dd7070Spatrick       ClassName = OID->getObjCRuntimeNameAsString();
453e5dd7070Spatrick     else if (const auto *OID = dyn_cast<ObjCImplementationDecl>(OCD))
454e5dd7070Spatrick       ClassName = OID->getObjCRuntimeNameAsString();
455e5dd7070Spatrick 
456e5dd7070Spatrick     if (ClassName.empty())
457e5dd7070Spatrick       return {};
458e5dd7070Spatrick 
459e5dd7070Spatrick     auto Mangle = [&](ObjCKind Kind, StringRef ClassName) -> std::string {
460e5dd7070Spatrick       SmallString<40> Mangled;
461e5dd7070Spatrick       auto Prefix = getClassSymbolPrefix(Kind, OCD->getASTContext());
462e5dd7070Spatrick       llvm::Mangler::getNameWithPrefix(Mangled, Prefix + ClassName, DL);
463ec727ea7Spatrick       return std::string(Mangled.str());
464e5dd7070Spatrick     };
465e5dd7070Spatrick 
466e5dd7070Spatrick     return {
467e5dd7070Spatrick         Mangle(ObjCClass, ClassName),
468e5dd7070Spatrick         Mangle(ObjCMetaclass, ClassName),
469e5dd7070Spatrick     };
470e5dd7070Spatrick   }
471e5dd7070Spatrick 
getAllManglings(const Decl * D)472e5dd7070Spatrick   std::vector<std::string> getAllManglings(const Decl *D) {
473e5dd7070Spatrick     if (const auto *OCD = dyn_cast<ObjCContainerDecl>(D))
474e5dd7070Spatrick       return getAllManglings(OCD);
475e5dd7070Spatrick 
476e5dd7070Spatrick     if (!(isa<CXXRecordDecl>(D) || isa<CXXMethodDecl>(D)))
477e5dd7070Spatrick       return {};
478e5dd7070Spatrick 
479e5dd7070Spatrick     const NamedDecl *ND = cast<NamedDecl>(D);
480e5dd7070Spatrick 
481e5dd7070Spatrick     ASTContext &Ctx = ND->getASTContext();
482e5dd7070Spatrick     std::unique_ptr<MangleContext> M(Ctx.createMangleContext());
483e5dd7070Spatrick 
484e5dd7070Spatrick     std::vector<std::string> Manglings;
485e5dd7070Spatrick 
486e5dd7070Spatrick     auto hasDefaultCXXMethodCC = [](ASTContext &C, const CXXMethodDecl *MD) {
487e5dd7070Spatrick       auto DefaultCC = C.getDefaultCallingConvention(/*IsVariadic=*/false,
488e5dd7070Spatrick                                                      /*IsCXXMethod=*/true);
489e5dd7070Spatrick       auto CC = MD->getType()->castAs<FunctionProtoType>()->getCallConv();
490e5dd7070Spatrick       return CC == DefaultCC;
491e5dd7070Spatrick     };
492e5dd7070Spatrick 
493e5dd7070Spatrick     if (const auto *CD = dyn_cast_or_null<CXXConstructorDecl>(ND)) {
494e5dd7070Spatrick       Manglings.emplace_back(getMangledStructor(CD, Ctor_Base));
495e5dd7070Spatrick 
496e5dd7070Spatrick       if (Ctx.getTargetInfo().getCXXABI().isItaniumFamily())
497e5dd7070Spatrick         if (!CD->getParent()->isAbstract())
498e5dd7070Spatrick           Manglings.emplace_back(getMangledStructor(CD, Ctor_Complete));
499e5dd7070Spatrick 
500e5dd7070Spatrick       if (Ctx.getTargetInfo().getCXXABI().isMicrosoft())
501e5dd7070Spatrick         if (CD->hasAttr<DLLExportAttr>() && CD->isDefaultConstructor())
502e5dd7070Spatrick           if (!(hasDefaultCXXMethodCC(Ctx, CD) && CD->getNumParams() == 0))
503e5dd7070Spatrick             Manglings.emplace_back(getMangledStructor(CD, Ctor_DefaultClosure));
504e5dd7070Spatrick     } else if (const auto *DD = dyn_cast_or_null<CXXDestructorDecl>(ND)) {
505e5dd7070Spatrick       Manglings.emplace_back(getMangledStructor(DD, Dtor_Base));
506e5dd7070Spatrick       if (Ctx.getTargetInfo().getCXXABI().isItaniumFamily()) {
507e5dd7070Spatrick         Manglings.emplace_back(getMangledStructor(DD, Dtor_Complete));
508e5dd7070Spatrick         if (DD->isVirtual())
509e5dd7070Spatrick           Manglings.emplace_back(getMangledStructor(DD, Dtor_Deleting));
510e5dd7070Spatrick       }
511e5dd7070Spatrick     } else if (const auto *MD = dyn_cast_or_null<CXXMethodDecl>(ND)) {
512e5dd7070Spatrick       Manglings.emplace_back(getName(ND));
513e5dd7070Spatrick       if (MD->isVirtual())
514e5dd7070Spatrick         if (const auto *TIV = Ctx.getVTableContext()->getThunkInfo(MD))
515e5dd7070Spatrick           for (const auto &T : *TIV)
516e5dd7070Spatrick             Manglings.emplace_back(getMangledThunk(MD, T));
517e5dd7070Spatrick     }
518e5dd7070Spatrick 
519e5dd7070Spatrick     return Manglings;
520e5dd7070Spatrick   }
521e5dd7070Spatrick 
522e5dd7070Spatrick private:
writeFuncOrVarName(const NamedDecl * D,raw_ostream & OS)523e5dd7070Spatrick   bool writeFuncOrVarName(const NamedDecl *D, raw_ostream &OS) {
524e5dd7070Spatrick     if (MC->shouldMangleDeclName(D)) {
525ec727ea7Spatrick       GlobalDecl GD;
526e5dd7070Spatrick       if (const auto *CtorD = dyn_cast<CXXConstructorDecl>(D))
527ec727ea7Spatrick         GD = GlobalDecl(CtorD, Ctor_Complete);
528e5dd7070Spatrick       else if (const auto *DtorD = dyn_cast<CXXDestructorDecl>(D))
529ec727ea7Spatrick         GD = GlobalDecl(DtorD, Dtor_Complete);
530ec727ea7Spatrick       else if (D->hasAttr<CUDAGlobalAttr>())
531ec727ea7Spatrick         GD = GlobalDecl(cast<FunctionDecl>(D));
532e5dd7070Spatrick       else
533ec727ea7Spatrick         GD = GlobalDecl(D);
534ec727ea7Spatrick       MC->mangleName(GD, OS);
535e5dd7070Spatrick       return false;
536e5dd7070Spatrick     } else {
537e5dd7070Spatrick       IdentifierInfo *II = D->getIdentifier();
538e5dd7070Spatrick       if (!II)
539e5dd7070Spatrick         return true;
540e5dd7070Spatrick       OS << II->getName();
541e5dd7070Spatrick       return false;
542e5dd7070Spatrick     }
543e5dd7070Spatrick   }
544e5dd7070Spatrick 
writeObjCClassName(const ObjCInterfaceDecl * D,raw_ostream & OS)545e5dd7070Spatrick   void writeObjCClassName(const ObjCInterfaceDecl *D, raw_ostream &OS) {
546e5dd7070Spatrick     OS << getClassSymbolPrefix(ObjCClass, D->getASTContext());
547e5dd7070Spatrick     OS << D->getObjCRuntimeNameAsString();
548e5dd7070Spatrick   }
549e5dd7070Spatrick 
getMangledStructor(const NamedDecl * ND,unsigned StructorType)550e5dd7070Spatrick   std::string getMangledStructor(const NamedDecl *ND, unsigned StructorType) {
551e5dd7070Spatrick     std::string FrontendBuf;
552e5dd7070Spatrick     llvm::raw_string_ostream FOS(FrontendBuf);
553e5dd7070Spatrick 
554ec727ea7Spatrick     GlobalDecl GD;
555e5dd7070Spatrick     if (const auto *CD = dyn_cast_or_null<CXXConstructorDecl>(ND))
556ec727ea7Spatrick       GD = GlobalDecl(CD, static_cast<CXXCtorType>(StructorType));
557e5dd7070Spatrick     else if (const auto *DD = dyn_cast_or_null<CXXDestructorDecl>(ND))
558ec727ea7Spatrick       GD = GlobalDecl(DD, static_cast<CXXDtorType>(StructorType));
559ec727ea7Spatrick     MC->mangleName(GD, FOS);
560e5dd7070Spatrick 
561e5dd7070Spatrick     std::string BackendBuf;
562e5dd7070Spatrick     llvm::raw_string_ostream BOS(BackendBuf);
563e5dd7070Spatrick 
564e5dd7070Spatrick     llvm::Mangler::getNameWithPrefix(BOS, FOS.str(), DL);
565e5dd7070Spatrick 
566e5dd7070Spatrick     return BOS.str();
567e5dd7070Spatrick   }
568e5dd7070Spatrick 
getMangledThunk(const CXXMethodDecl * MD,const ThunkInfo & T)569e5dd7070Spatrick   std::string getMangledThunk(const CXXMethodDecl *MD, const ThunkInfo &T) {
570e5dd7070Spatrick     std::string FrontendBuf;
571e5dd7070Spatrick     llvm::raw_string_ostream FOS(FrontendBuf);
572e5dd7070Spatrick 
573e5dd7070Spatrick     MC->mangleThunk(MD, T, FOS);
574e5dd7070Spatrick 
575e5dd7070Spatrick     std::string BackendBuf;
576e5dd7070Spatrick     llvm::raw_string_ostream BOS(BackendBuf);
577e5dd7070Spatrick 
578e5dd7070Spatrick     llvm::Mangler::getNameWithPrefix(BOS, FOS.str(), DL);
579e5dd7070Spatrick 
580e5dd7070Spatrick     return BOS.str();
581e5dd7070Spatrick   }
582e5dd7070Spatrick };
583e5dd7070Spatrick 
ASTNameGenerator(ASTContext & Ctx)584e5dd7070Spatrick ASTNameGenerator::ASTNameGenerator(ASTContext &Ctx)
585e5dd7070Spatrick     : Impl(std::make_unique<Implementation>(Ctx)) {}
586e5dd7070Spatrick 
~ASTNameGenerator()587e5dd7070Spatrick ASTNameGenerator::~ASTNameGenerator() {}
588e5dd7070Spatrick 
writeName(const Decl * D,raw_ostream & OS)589e5dd7070Spatrick bool ASTNameGenerator::writeName(const Decl *D, raw_ostream &OS) {
590e5dd7070Spatrick   return Impl->writeName(D, OS);
591e5dd7070Spatrick }
592e5dd7070Spatrick 
getName(const Decl * D)593e5dd7070Spatrick std::string ASTNameGenerator::getName(const Decl *D) {
594e5dd7070Spatrick   return Impl->getName(D);
595e5dd7070Spatrick }
596e5dd7070Spatrick 
getAllManglings(const Decl * D)597e5dd7070Spatrick std::vector<std::string> ASTNameGenerator::getAllManglings(const Decl *D) {
598e5dd7070Spatrick   return Impl->getAllManglings(D);
599e5dd7070Spatrick }
600