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