blob: fdc00e389350f4c0d4e8abf66b7a2e0b89f53d10 [file] [log] [blame]
Peter Collingbourne0ff0b372011-01-13 18:57:25 +00001//===--- 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//===----------------------------------------------------------------------===//
Rafael Espindola002667c2013-10-16 01:40:34 +000013#include "clang/AST/Attr.h"
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000014#include "clang/AST/ASTContext.h"
15#include "clang/AST/Decl.h"
16#include "clang/AST/DeclCXX.h"
17#include "clang/AST/DeclObjC.h"
18#include "clang/AST/DeclTemplate.h"
19#include "clang/AST/ExprCXX.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000020#include "clang/AST/Mangle.h"
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000021#include "clang/Basic/ABI.h"
22#include "clang/Basic/SourceManager.h"
Rafael Espindola002667c2013-10-16 01:40:34 +000023#include "clang/Basic/TargetInfo.h"
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000024#include "llvm/ADT/StringExtras.h"
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000025#include "llvm/Support/ErrorHandling.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000026#include "llvm/Support/raw_ostream.h"
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000027
28#define MANGLE_CHECKER 0
29
30#if MANGLE_CHECKER
31#include <cxxabi.h>
32#endif
33
34using 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
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000039static void mangleFunctionBlock(MangleContext &Context,
Chris Lattner0e62c1c2011-07-23 10:55:15 +000040 StringRef Outer,
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000041 const BlockDecl *BD,
Chris Lattner0e62c1c2011-07-23 10:55:15 +000042 raw_ostream &Out) {
Fariborz Jahanian63628032012-06-26 16:06:38 +000043 unsigned discriminator = Context.getBlockId(BD, true);
44 if (discriminator == 0)
45 Out << "__" << Outer << "_block_invoke";
46 else
47 Out << "__" << Outer << "_block_invoke_" << discriminator+1;
Peter Collingbourne0ff0b372011-01-13 18:57:25 +000048}
49
David Blaikie68e081d2011-12-20 02:48:34 +000050void MangleContext::anchor() { }
51
Rafael Espindola002667c2013-10-16 01:40:34 +000052enum StdOrFastCC {
53 SOF_OTHER,
54 SOF_FAST,
55 SOF_STD
56};
57
58static 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
64static StdOrFastCC getStdOrFastCallMangling(const ASTContext &Context,
65 const NamedDecl *ND) {
66 const TargetInfo &TI = Context.getTargetInfo();
Benjamin Kramer9299637dc2014-03-04 19:31:42 +000067 const llvm::Triple &Triple = TI.getTriple();
Rafael Espindola002667c2013-10-16 01:40:34 +000068 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
93bool 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
112void 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;
Aaron Ballman40bd0aa2014-03-17 15:23:01 +0000166 for (const auto &AT : Proto->param_types())
Rafael Espindola002667c2013-10-16 01:40:34 +0000167 // Size should be aligned to DWORD boundary
168 ArgWords += llvm::RoundUpToAlignment(ASTContext.getTypeSize(AT), 32) / 32;
Rafael Espindola002667c2013-10-16 01:40:34 +0000169 Out << 4 * ArgWords;
170}
171
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000172void MangleContext::mangleGlobalBlock(const BlockDecl *BD,
Fariborz Jahanian63628032012-06-26 16:06:38 +0000173 const NamedDecl *ID,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000174 raw_ostream &Out) {
Fariborz Jahanian63628032012-06-26 16:06:38 +0000175 unsigned discriminator = getBlockId(BD, false);
176 if (ID) {
177 if (shouldMangleDeclName(ID))
178 mangleName(ID, Out);
179 else {
180 Out << ID->getIdentifier()->getName();
181 }
182 }
183 if (discriminator == 0)
184 Out << "_block_invoke";
185 else
186 Out << "_block_invoke_" << discriminator+1;
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000187}
188
189void MangleContext::mangleCtorBlock(const CXXConstructorDecl *CD,
190 CXXCtorType CT, const BlockDecl *BD,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000191 raw_ostream &ResStream) {
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000192 SmallString<64> Buffer;
Rafael Espindolaac00f5d2011-02-10 23:59:36 +0000193 llvm::raw_svector_ostream Out(Buffer);
194 mangleCXXCtor(CD, CT, Out);
195 Out.flush();
196 mangleFunctionBlock(*this, Buffer, BD, ResStream);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000197}
198
199void MangleContext::mangleDtorBlock(const CXXDestructorDecl *DD,
200 CXXDtorType DT, const BlockDecl *BD,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000201 raw_ostream &ResStream) {
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000202 SmallString<64> Buffer;
Rafael Espindolaac00f5d2011-02-10 23:59:36 +0000203 llvm::raw_svector_ostream Out(Buffer);
204 mangleCXXDtor(DD, DT, Out);
205 Out.flush();
206 mangleFunctionBlock(*this, Buffer, BD, ResStream);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000207}
208
209void MangleContext::mangleBlock(const DeclContext *DC, const BlockDecl *BD,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000210 raw_ostream &Out) {
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000211 assert(!isa<CXXConstructorDecl>(DC) && !isa<CXXDestructorDecl>(DC));
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000212
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000213 SmallString<64> Buffer;
Rafael Espindola3968cd02011-02-11 02:52:17 +0000214 llvm::raw_svector_ostream Stream(Buffer);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000215 if (const ObjCMethodDecl *Method = dyn_cast<ObjCMethodDecl>(DC)) {
Rafael Espindola3968cd02011-02-11 02:52:17 +0000216 mangleObjCMethodName(Method, Stream);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000217 } else {
218 const NamedDecl *ND = cast<NamedDecl>(DC);
Fariborz Jahanian63628032012-06-26 16:06:38 +0000219 if (!shouldMangleDeclName(ND) && ND->getIdentifier())
220 Stream << ND->getIdentifier()->getName();
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000221 else {
222 // FIXME: We were doing a mangleUnqualifiedName() before, but that's
223 // a private member of a class that will soon itself be private to the
224 // Itanium C++ ABI object. What should we do now? Right now, I'm just
225 // calling the mangleName() method on the MangleContext; is there a
226 // better way?
Rafael Espindola3968cd02011-02-11 02:52:17 +0000227 mangleName(ND, Stream);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000228 }
229 }
Rafael Espindola3968cd02011-02-11 02:52:17 +0000230 Stream.flush();
Rafael Espindolaac00f5d2011-02-10 23:59:36 +0000231 mangleFunctionBlock(*this, Buffer, BD, Out);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000232}
233
234void MangleContext::mangleObjCMethodName(const ObjCMethodDecl *MD,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000235 raw_ostream &Out) {
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000236 SmallString<64> Name;
Rafael Espindola3968cd02011-02-11 02:52:17 +0000237 llvm::raw_svector_ostream OS(Name);
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000238
239 const ObjCContainerDecl *CD =
240 dyn_cast<ObjCContainerDecl>(MD->getDeclContext());
241 assert (CD && "Missing container decl in GetNameForMethod");
242 OS << (MD->isInstanceMethod() ? '-' : '+') << '[' << CD->getName();
243 if (const ObjCCategoryImplDecl *CID = dyn_cast<ObjCCategoryImplDecl>(CD))
Benjamin Kramer2f569922012-02-07 11:57:45 +0000244 OS << '(' << *CID << ')';
Aaron Ballmanb190f972014-01-03 17:59:55 +0000245 OS << ' ';
246 MD->getSelector().print(OS);
247 OS << ']';
Peter Collingbourne0ff0b372011-01-13 18:57:25 +0000248
249 Out << OS.str().size() << OS.str();
250}