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