xref: /aosp_15_r20/external/clang/lib/AST/Mangle.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li //===--- Mangle.cpp - Mangle C++ Names --------------------------*- C++ -*-===//
2*67e74705SXin Li //
3*67e74705SXin Li //                     The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li // Implements generic name mangling support for blocks and Objective-C.
11*67e74705SXin Li //
12*67e74705SXin Li //===----------------------------------------------------------------------===//
13*67e74705SXin Li #include "clang/AST/Attr.h"
14*67e74705SXin Li #include "clang/AST/ASTContext.h"
15*67e74705SXin Li #include "clang/AST/Decl.h"
16*67e74705SXin Li #include "clang/AST/DeclCXX.h"
17*67e74705SXin Li #include "clang/AST/DeclObjC.h"
18*67e74705SXin Li #include "clang/AST/DeclTemplate.h"
19*67e74705SXin Li #include "clang/AST/ExprCXX.h"
20*67e74705SXin Li #include "clang/AST/Mangle.h"
21*67e74705SXin Li #include "clang/Basic/ABI.h"
22*67e74705SXin Li #include "clang/Basic/SourceManager.h"
23*67e74705SXin Li #include "clang/Basic/TargetInfo.h"
24*67e74705SXin Li #include "llvm/ADT/StringExtras.h"
25*67e74705SXin Li #include "llvm/Support/ErrorHandling.h"
26*67e74705SXin Li #include "llvm/Support/raw_ostream.h"
27*67e74705SXin Li 
28*67e74705SXin Li #define MANGLE_CHECKER 0
29*67e74705SXin Li 
30*67e74705SXin Li #if MANGLE_CHECKER
31*67e74705SXin Li #include <cxxabi.h>
32*67e74705SXin Li #endif
33*67e74705SXin Li 
34*67e74705SXin Li using namespace clang;
35*67e74705SXin Li 
36*67e74705SXin Li // FIXME: For blocks we currently mimic GCC's mangling scheme, which leaves
37*67e74705SXin Li // much to be desired. Come up with a better mangling scheme.
38*67e74705SXin Li 
mangleFunctionBlock(MangleContext & Context,StringRef Outer,const BlockDecl * BD,raw_ostream & Out)39*67e74705SXin Li static void mangleFunctionBlock(MangleContext &Context,
40*67e74705SXin Li                                 StringRef Outer,
41*67e74705SXin Li                                 const BlockDecl *BD,
42*67e74705SXin Li                                 raw_ostream &Out) {
43*67e74705SXin Li   unsigned discriminator = Context.getBlockId(BD, true);
44*67e74705SXin Li   if (discriminator == 0)
45*67e74705SXin Li     Out << "__" << Outer << "_block_invoke";
46*67e74705SXin Li   else
47*67e74705SXin Li     Out << "__" << Outer << "_block_invoke_" << discriminator+1;
48*67e74705SXin Li }
49*67e74705SXin Li 
anchor()50*67e74705SXin Li void MangleContext::anchor() { }
51*67e74705SXin Li 
52*67e74705SXin Li enum CCMangling {
53*67e74705SXin Li   CCM_Other,
54*67e74705SXin Li   CCM_Fast,
55*67e74705SXin Li   CCM_Vector,
56*67e74705SXin Li   CCM_Std
57*67e74705SXin Li };
58*67e74705SXin Li 
isExternC(const NamedDecl * ND)59*67e74705SXin Li static bool isExternC(const NamedDecl *ND) {
60*67e74705SXin Li   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND))
61*67e74705SXin Li     return FD->isExternC();
62*67e74705SXin Li   return cast<VarDecl>(ND)->isExternC();
63*67e74705SXin Li }
64*67e74705SXin Li 
getCallingConvMangling(const ASTContext & Context,const NamedDecl * ND)65*67e74705SXin Li static CCMangling getCallingConvMangling(const ASTContext &Context,
66*67e74705SXin Li                                          const NamedDecl *ND) {
67*67e74705SXin Li   const TargetInfo &TI = Context.getTargetInfo();
68*67e74705SXin Li   const llvm::Triple &Triple = TI.getTriple();
69*67e74705SXin Li   if (!Triple.isOSWindows() ||
70*67e74705SXin Li       !(Triple.getArch() == llvm::Triple::x86 ||
71*67e74705SXin Li         Triple.getArch() == llvm::Triple::x86_64))
72*67e74705SXin Li     return CCM_Other;
73*67e74705SXin Li 
74*67e74705SXin Li   if (Context.getLangOpts().CPlusPlus && !isExternC(ND) &&
75*67e74705SXin Li       TI.getCXXABI() == TargetCXXABI::Microsoft)
76*67e74705SXin Li     return CCM_Other;
77*67e74705SXin Li 
78*67e74705SXin Li   const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND);
79*67e74705SXin Li   if (!FD)
80*67e74705SXin Li     return CCM_Other;
81*67e74705SXin Li   QualType T = FD->getType();
82*67e74705SXin Li 
83*67e74705SXin Li   const FunctionType *FT = T->castAs<FunctionType>();
84*67e74705SXin Li 
85*67e74705SXin Li   CallingConv CC = FT->getCallConv();
86*67e74705SXin Li   switch (CC) {
87*67e74705SXin Li   default:
88*67e74705SXin Li     return CCM_Other;
89*67e74705SXin Li   case CC_X86FastCall:
90*67e74705SXin Li     return CCM_Fast;
91*67e74705SXin Li   case CC_X86StdCall:
92*67e74705SXin Li     return CCM_Std;
93*67e74705SXin Li   case CC_X86VectorCall:
94*67e74705SXin Li     return CCM_Vector;
95*67e74705SXin Li   }
96*67e74705SXin Li }
97*67e74705SXin Li 
shouldMangleDeclName(const NamedDecl * D)98*67e74705SXin Li bool MangleContext::shouldMangleDeclName(const NamedDecl *D) {
99*67e74705SXin Li   const ASTContext &ASTContext = getASTContext();
100*67e74705SXin Li 
101*67e74705SXin Li   CCMangling CC = getCallingConvMangling(ASTContext, D);
102*67e74705SXin Li   if (CC != CCM_Other)
103*67e74705SXin Li     return true;
104*67e74705SXin Li 
105*67e74705SXin Li   // In C, functions with no attributes never need to be mangled. Fastpath them.
106*67e74705SXin Li   if (!getASTContext().getLangOpts().CPlusPlus && !D->hasAttrs())
107*67e74705SXin Li     return false;
108*67e74705SXin Li 
109*67e74705SXin Li   // Any decl can be declared with __asm("foo") on it, and this takes precedence
110*67e74705SXin Li   // over all other naming in the .o file.
111*67e74705SXin Li   if (D->hasAttr<AsmLabelAttr>())
112*67e74705SXin Li     return true;
113*67e74705SXin Li 
114*67e74705SXin Li   return shouldMangleCXXName(D);
115*67e74705SXin Li }
116*67e74705SXin Li 
mangleName(const NamedDecl * D,raw_ostream & Out)117*67e74705SXin Li void MangleContext::mangleName(const NamedDecl *D, raw_ostream &Out) {
118*67e74705SXin Li   // Any decl can be declared with __asm("foo") on it, and this takes precedence
119*67e74705SXin Li   // over all other naming in the .o file.
120*67e74705SXin Li   if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
121*67e74705SXin Li     // If we have an asm name, then we use it as the mangling.
122*67e74705SXin Li 
123*67e74705SXin Li     // Adding the prefix can cause problems when one file has a "foo" and
124*67e74705SXin Li     // another has a "\01foo". That is known to happen on ELF with the
125*67e74705SXin Li     // tricks normally used for producing aliases (PR9177). Fortunately the
126*67e74705SXin Li     // llvm mangler on ELF is a nop, so we can just avoid adding the \01
127*67e74705SXin Li     // marker.  We also avoid adding the marker if this is an alias for an
128*67e74705SXin Li     // LLVM intrinsic.
129*67e74705SXin Li     char GlobalPrefix =
130*67e74705SXin Li         getASTContext().getTargetInfo().getDataLayout().getGlobalPrefix();
131*67e74705SXin Li     if (GlobalPrefix && !ALA->getLabel().startswith("llvm."))
132*67e74705SXin Li       Out << '\01'; // LLVM IR Marker for __asm("foo")
133*67e74705SXin Li 
134*67e74705SXin Li     Out << ALA->getLabel();
135*67e74705SXin Li     return;
136*67e74705SXin Li   }
137*67e74705SXin Li 
138*67e74705SXin Li   const ASTContext &ASTContext = getASTContext();
139*67e74705SXin Li   CCMangling CC = getCallingConvMangling(ASTContext, D);
140*67e74705SXin Li   bool MCXX = shouldMangleCXXName(D);
141*67e74705SXin Li   const TargetInfo &TI = Context.getTargetInfo();
142*67e74705SXin Li   if (CC == CCM_Other || (MCXX && TI.getCXXABI() == TargetCXXABI::Microsoft)) {
143*67e74705SXin Li     if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D))
144*67e74705SXin Li       mangleObjCMethodName(OMD, Out);
145*67e74705SXin Li     else
146*67e74705SXin Li       mangleCXXName(D, Out);
147*67e74705SXin Li     return;
148*67e74705SXin Li   }
149*67e74705SXin Li 
150*67e74705SXin Li   Out << '\01';
151*67e74705SXin Li   if (CC == CCM_Std)
152*67e74705SXin Li     Out << '_';
153*67e74705SXin Li   else if (CC == CCM_Fast)
154*67e74705SXin Li     Out << '@';
155*67e74705SXin Li 
156*67e74705SXin Li   if (!MCXX)
157*67e74705SXin Li     Out << D->getIdentifier()->getName();
158*67e74705SXin Li   else if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D))
159*67e74705SXin Li     mangleObjCMethodName(OMD, Out);
160*67e74705SXin Li   else
161*67e74705SXin Li     mangleCXXName(D, Out);
162*67e74705SXin Li 
163*67e74705SXin Li   const FunctionDecl *FD = cast<FunctionDecl>(D);
164*67e74705SXin Li   const FunctionType *FT = FD->getType()->castAs<FunctionType>();
165*67e74705SXin Li   const FunctionProtoType *Proto = dyn_cast<FunctionProtoType>(FT);
166*67e74705SXin Li   if (CC == CCM_Vector)
167*67e74705SXin Li     Out << '@';
168*67e74705SXin Li   Out << '@';
169*67e74705SXin Li   if (!Proto) {
170*67e74705SXin Li     Out << '0';
171*67e74705SXin Li     return;
172*67e74705SXin Li   }
173*67e74705SXin Li   assert(!Proto->isVariadic());
174*67e74705SXin Li   unsigned ArgWords = 0;
175*67e74705SXin Li   if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(FD))
176*67e74705SXin Li     if (!MD->isStatic())
177*67e74705SXin Li       ++ArgWords;
178*67e74705SXin Li   for (const auto &AT : Proto->param_types())
179*67e74705SXin Li     // Size should be aligned to pointer size.
180*67e74705SXin Li     ArgWords +=
181*67e74705SXin Li         llvm::alignTo(ASTContext.getTypeSize(AT), TI.getPointerWidth(0)) /
182*67e74705SXin Li         TI.getPointerWidth(0);
183*67e74705SXin Li   Out << ((TI.getPointerWidth(0) / 8) * ArgWords);
184*67e74705SXin Li }
185*67e74705SXin Li 
mangleGlobalBlock(const BlockDecl * BD,const NamedDecl * ID,raw_ostream & Out)186*67e74705SXin Li void MangleContext::mangleGlobalBlock(const BlockDecl *BD,
187*67e74705SXin Li                                       const NamedDecl *ID,
188*67e74705SXin Li                                       raw_ostream &Out) {
189*67e74705SXin Li   unsigned discriminator = getBlockId(BD, false);
190*67e74705SXin Li   if (ID) {
191*67e74705SXin Li     if (shouldMangleDeclName(ID))
192*67e74705SXin Li       mangleName(ID, Out);
193*67e74705SXin Li     else {
194*67e74705SXin Li       Out << ID->getIdentifier()->getName();
195*67e74705SXin Li     }
196*67e74705SXin Li   }
197*67e74705SXin Li   if (discriminator == 0)
198*67e74705SXin Li     Out << "_block_invoke";
199*67e74705SXin Li   else
200*67e74705SXin Li     Out << "_block_invoke_" << discriminator+1;
201*67e74705SXin Li }
202*67e74705SXin Li 
mangleCtorBlock(const CXXConstructorDecl * CD,CXXCtorType CT,const BlockDecl * BD,raw_ostream & ResStream)203*67e74705SXin Li void MangleContext::mangleCtorBlock(const CXXConstructorDecl *CD,
204*67e74705SXin Li                                     CXXCtorType CT, const BlockDecl *BD,
205*67e74705SXin Li                                     raw_ostream &ResStream) {
206*67e74705SXin Li   SmallString<64> Buffer;
207*67e74705SXin Li   llvm::raw_svector_ostream Out(Buffer);
208*67e74705SXin Li   mangleCXXCtor(CD, CT, Out);
209*67e74705SXin Li   mangleFunctionBlock(*this, Buffer, BD, ResStream);
210*67e74705SXin Li }
211*67e74705SXin Li 
mangleDtorBlock(const CXXDestructorDecl * DD,CXXDtorType DT,const BlockDecl * BD,raw_ostream & ResStream)212*67e74705SXin Li void MangleContext::mangleDtorBlock(const CXXDestructorDecl *DD,
213*67e74705SXin Li                                     CXXDtorType DT, const BlockDecl *BD,
214*67e74705SXin Li                                     raw_ostream &ResStream) {
215*67e74705SXin Li   SmallString<64> Buffer;
216*67e74705SXin Li   llvm::raw_svector_ostream Out(Buffer);
217*67e74705SXin Li   mangleCXXDtor(DD, DT, Out);
218*67e74705SXin Li   mangleFunctionBlock(*this, Buffer, BD, ResStream);
219*67e74705SXin Li }
220*67e74705SXin Li 
mangleBlock(const DeclContext * DC,const BlockDecl * BD,raw_ostream & Out)221*67e74705SXin Li void MangleContext::mangleBlock(const DeclContext *DC, const BlockDecl *BD,
222*67e74705SXin Li                                 raw_ostream &Out) {
223*67e74705SXin Li   assert(!isa<CXXConstructorDecl>(DC) && !isa<CXXDestructorDecl>(DC));
224*67e74705SXin Li 
225*67e74705SXin Li   SmallString<64> Buffer;
226*67e74705SXin Li   llvm::raw_svector_ostream Stream(Buffer);
227*67e74705SXin Li   if (const ObjCMethodDecl *Method = dyn_cast<ObjCMethodDecl>(DC)) {
228*67e74705SXin Li     mangleObjCMethodName(Method, Stream);
229*67e74705SXin Li   } else {
230*67e74705SXin Li     assert((isa<NamedDecl>(DC) || isa<BlockDecl>(DC)) &&
231*67e74705SXin Li            "expected a NamedDecl or BlockDecl");
232*67e74705SXin Li     if (isa<BlockDecl>(DC))
233*67e74705SXin Li       for (; DC && isa<BlockDecl>(DC); DC = DC->getParent())
234*67e74705SXin Li         (void) getBlockId(cast<BlockDecl>(DC), true);
235*67e74705SXin Li     assert((isa<TranslationUnitDecl>(DC) || isa<NamedDecl>(DC)) &&
236*67e74705SXin Li            "expected a TranslationUnitDecl or a NamedDecl");
237*67e74705SXin Li     if (const auto *CD = dyn_cast<CXXConstructorDecl>(DC))
238*67e74705SXin Li       mangleCtorBlock(CD, /*CT*/ Ctor_Complete, BD, Out);
239*67e74705SXin Li     else if (const auto *DD = dyn_cast<CXXDestructorDecl>(DC))
240*67e74705SXin Li       mangleDtorBlock(DD, /*DT*/ Dtor_Complete, BD, Out);
241*67e74705SXin Li     else if (auto ND = dyn_cast<NamedDecl>(DC)) {
242*67e74705SXin Li       if (!shouldMangleDeclName(ND) && ND->getIdentifier())
243*67e74705SXin Li         Stream << ND->getIdentifier()->getName();
244*67e74705SXin Li       else {
245*67e74705SXin Li         // FIXME: We were doing a mangleUnqualifiedName() before, but that's
246*67e74705SXin Li         // a private member of a class that will soon itself be private to the
247*67e74705SXin Li         // Itanium C++ ABI object. What should we do now? Right now, I'm just
248*67e74705SXin Li         // calling the mangleName() method on the MangleContext; is there a
249*67e74705SXin Li         // better way?
250*67e74705SXin Li         mangleName(ND, Stream);
251*67e74705SXin Li       }
252*67e74705SXin Li     }
253*67e74705SXin Li   }
254*67e74705SXin Li   mangleFunctionBlock(*this, Buffer, BD, Out);
255*67e74705SXin Li }
256*67e74705SXin Li 
mangleObjCMethodNameWithoutSize(const ObjCMethodDecl * MD,raw_ostream & OS)257*67e74705SXin Li void MangleContext::mangleObjCMethodNameWithoutSize(const ObjCMethodDecl *MD,
258*67e74705SXin Li                                                     raw_ostream &OS) {
259*67e74705SXin Li   const ObjCContainerDecl *CD =
260*67e74705SXin Li   dyn_cast<ObjCContainerDecl>(MD->getDeclContext());
261*67e74705SXin Li   assert (CD && "Missing container decl in GetNameForMethod");
262*67e74705SXin Li   OS << (MD->isInstanceMethod() ? '-' : '+') << '[' << CD->getName();
263*67e74705SXin Li   if (const ObjCCategoryImplDecl *CID = dyn_cast<ObjCCategoryImplDecl>(CD))
264*67e74705SXin Li     OS << '(' << *CID << ')';
265*67e74705SXin Li   OS << ' ';
266*67e74705SXin Li   MD->getSelector().print(OS);
267*67e74705SXin Li   OS << ']';
268*67e74705SXin Li }
269*67e74705SXin Li 
mangleObjCMethodName(const ObjCMethodDecl * MD,raw_ostream & Out)270*67e74705SXin Li void MangleContext::mangleObjCMethodName(const ObjCMethodDecl *MD,
271*67e74705SXin Li                                          raw_ostream &Out) {
272*67e74705SXin Li   SmallString<64> Name;
273*67e74705SXin Li   llvm::raw_svector_ostream OS(Name);
274*67e74705SXin Li 
275*67e74705SXin Li   mangleObjCMethodNameWithoutSize(MD, OS);
276*67e74705SXin Li   Out << OS.str().size() << OS.str();
277*67e74705SXin Li }
278