blob: f2a73f1c2d12cd5d67c551a41c1e2e55f8cd671d [file] [log] [blame]
Douglas Gregor6ec36682009-02-18 23:53:56 +00001//===--- Mangle.cpp - Mangle C++ Names --------------------------*- C++ -*-===//
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00002//
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 C++ name mangling according to the Itanium C++ ABI,
11// which is used in GCC 3.2 and newer (and many compilers that are
12// ABI-compatible with GCC):
13//
14// http://www.codesourcery.com/public/cxx-abi/abi.html
15//
16//===----------------------------------------------------------------------===//
17#include "Mangle.h"
18#include "clang/AST/ASTContext.h"
19#include "clang/AST/Decl.h"
20#include "clang/AST/DeclCXX.h"
Anders Carlssona40c5e42009-03-07 22:03:21 +000021#include "clang/AST/DeclObjC.h"
Anders Carlsson7a0ba872009-05-15 16:09:15 +000022#include "clang/AST/DeclTemplate.h"
Anders Carlsson50755b02009-09-27 20:11:34 +000023#include "clang/AST/ExprCXX.h"
Douglas Gregor6ec36682009-02-18 23:53:56 +000024#include "clang/Basic/SourceManager.h"
Anders Carlssonc4355b62009-10-07 01:45:02 +000025#include "llvm/ADT/StringExtras.h"
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000026#include "llvm/Support/raw_ostream.h"
John McCallefe6aee2009-09-05 07:56:18 +000027#include "llvm/Support/ErrorHandling.h"
Anders Carlssonb73a5be2009-11-26 02:49:32 +000028#include "CGVtable.h"
Anders Carlssonf98574b2010-02-05 07:31:37 +000029
30#define MANGLE_CHECKER 0
31
32#if MANGLE_CHECKER
33#include <cxxabi.h>
34#endif
35
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000036using namespace clang;
Anders Carlssonb73a5be2009-11-26 02:49:32 +000037using namespace CodeGen;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000038
39namespace {
Fariborz Jahanian57058532010-03-03 19:41:08 +000040
41static const DeclContext *GetLocalClassFunctionDeclContext(
42 const DeclContext *DC) {
43 if (isa<CXXRecordDecl>(DC)) {
44 while (!DC->isNamespace() && !DC->isTranslationUnit() &&
45 !isa<FunctionDecl>(DC))
46 DC = DC->getParent();
47 if (isa<FunctionDecl>(DC))
48 return DC;
49 }
50 return 0;
51}
52
Anders Carlsson7e120032009-11-24 05:36:32 +000053static const CXXMethodDecl *getStructor(const CXXMethodDecl *MD) {
54 assert((isa<CXXConstructorDecl>(MD) || isa<CXXDestructorDecl>(MD)) &&
55 "Passed in decl is not a ctor or dtor!");
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +000056
Anders Carlsson7e120032009-11-24 05:36:32 +000057 if (const TemplateDecl *TD = MD->getPrimaryTemplate()) {
58 MD = cast<CXXMethodDecl>(TD->getTemplatedDecl());
59
60 assert((isa<CXXConstructorDecl>(MD) || isa<CXXDestructorDecl>(MD)) &&
61 "Templated decl is not a ctor or dtor!");
62 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +000063
Anders Carlsson7e120032009-11-24 05:36:32 +000064 return MD;
65}
John McCall1dd73832010-02-04 01:42:13 +000066
67static const unsigned UnknownArity = ~0U;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +000068
Daniel Dunbar1b077112009-11-21 09:06:10 +000069/// CXXNameMangler - Manage the mangling of a single name.
Daniel Dunbarc0747712009-11-21 09:12:13 +000070class CXXNameMangler {
Daniel Dunbar1b077112009-11-21 09:06:10 +000071 MangleContext &Context;
Daniel Dunbar94fd26d2009-11-21 09:06:22 +000072 llvm::raw_svector_ostream Out;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000073
Daniel Dunbar1b077112009-11-21 09:06:10 +000074 const CXXMethodDecl *Structor;
75 unsigned StructorType;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +000076
Daniel Dunbar1b077112009-11-21 09:06:10 +000077 llvm::DenseMap<uintptr_t, unsigned> Substitutions;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000078
John McCall1dd73832010-02-04 01:42:13 +000079 ASTContext &getASTContext() const { return Context.getASTContext(); }
80
Daniel Dunbarc0747712009-11-21 09:12:13 +000081public:
Daniel Dunbar94fd26d2009-11-21 09:06:22 +000082 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res)
83 : Context(C), Out(Res), Structor(0), StructorType(0) { }
Daniel Dunbar77939c92009-11-21 09:06:31 +000084 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res,
85 const CXXConstructorDecl *D, CXXCtorType Type)
Anders Carlsson7e120032009-11-24 05:36:32 +000086 : Context(C), Out(Res), Structor(getStructor(D)), StructorType(Type) { }
Daniel Dunbar77939c92009-11-21 09:06:31 +000087 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res,
88 const CXXDestructorDecl *D, CXXDtorType Type)
Anders Carlsson7e120032009-11-24 05:36:32 +000089 : Context(C), Out(Res), Structor(getStructor(D)), StructorType(Type) { }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000090
Anders Carlssonf98574b2010-02-05 07:31:37 +000091#if MANGLE_CHECKER
92 ~CXXNameMangler() {
93 if (Out.str()[0] == '\01')
94 return;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +000095
Anders Carlssonf98574b2010-02-05 07:31:37 +000096 int status = 0;
97 char *result = abi::__cxa_demangle(Out.str().str().c_str(), 0, 0, &status);
98 assert(status == 0 && "Could not demangle mangled name!");
99 free(result);
100 }
101#endif
Daniel Dunbarc0747712009-11-21 09:12:13 +0000102 llvm::raw_svector_ostream &getStream() { return Out; }
103
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000104 void mangle(const NamedDecl *D, llvm::StringRef Prefix = "_Z");
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000105 void mangleCallOffset(const ThunkAdjustment &Adjustment);
Anders Carlssona94822e2009-11-26 02:32:05 +0000106 void mangleNumber(int64_t Number);
Daniel Dunbarc0747712009-11-21 09:12:13 +0000107 void mangleFunctionEncoding(const FunctionDecl *FD);
108 void mangleName(const NamedDecl *ND);
109 void mangleType(QualType T);
Mike Stump1eb44332009-09-09 15:08:12 +0000110
Daniel Dunbarc0747712009-11-21 09:12:13 +0000111private:
Daniel Dunbar1b077112009-11-21 09:06:10 +0000112 bool mangleSubstitution(const NamedDecl *ND);
113 bool mangleSubstitution(QualType T);
114 bool mangleSubstitution(uintptr_t Ptr);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000115
Daniel Dunbar1b077112009-11-21 09:06:10 +0000116 bool mangleStandardSubstitution(const NamedDecl *ND);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000117
Daniel Dunbar1b077112009-11-21 09:06:10 +0000118 void addSubstitution(const NamedDecl *ND) {
119 ND = cast<NamedDecl>(ND->getCanonicalDecl());
Anders Carlsson433d1372009-11-07 04:26:04 +0000120
Daniel Dunbar1b077112009-11-21 09:06:10 +0000121 addSubstitution(reinterpret_cast<uintptr_t>(ND));
122 }
123 void addSubstitution(QualType T);
124 void addSubstitution(uintptr_t Ptr);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000125
John McCall1dd73832010-02-04 01:42:13 +0000126 void mangleUnresolvedScope(NestedNameSpecifier *Qualifier);
127 void mangleUnresolvedName(NestedNameSpecifier *Qualifier,
128 DeclarationName Name,
129 unsigned KnownArity = UnknownArity);
130
Daniel Dunbar1b077112009-11-21 09:06:10 +0000131 void mangleName(const TemplateDecl *TD,
132 const TemplateArgument *TemplateArgs,
133 unsigned NumTemplateArgs);
John McCall1dd73832010-02-04 01:42:13 +0000134 void mangleUnqualifiedName(const NamedDecl *ND) {
135 mangleUnqualifiedName(ND, ND->getDeclName(), UnknownArity);
136 }
137 void mangleUnqualifiedName(const NamedDecl *ND, DeclarationName Name,
138 unsigned KnownArity);
Daniel Dunbar1b077112009-11-21 09:06:10 +0000139 void mangleUnscopedName(const NamedDecl *ND);
140 void mangleUnscopedTemplateName(const TemplateDecl *ND);
141 void mangleSourceName(const IdentifierInfo *II);
142 void mangleLocalName(const NamedDecl *ND);
Fariborz Jahanian57058532010-03-03 19:41:08 +0000143 void mangleNestedName(const NamedDecl *ND, const DeclContext *DC,
144 bool NoFunction=false);
Daniel Dunbar1b077112009-11-21 09:06:10 +0000145 void mangleNestedName(const TemplateDecl *TD,
146 const TemplateArgument *TemplateArgs,
147 unsigned NumTemplateArgs);
Fariborz Jahanian57058532010-03-03 19:41:08 +0000148 void manglePrefix(const DeclContext *DC, bool NoFunction=false);
Daniel Dunbar1b077112009-11-21 09:06:10 +0000149 void mangleTemplatePrefix(const TemplateDecl *ND);
150 void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity);
151 void mangleQualifiers(Qualifiers Quals);
John McCallefe6aee2009-09-05 07:56:18 +0000152
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000153 void mangleObjCMethodName(const ObjCMethodDecl *MD);
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000154
Daniel Dunbar1b077112009-11-21 09:06:10 +0000155 // Declare manglers for every type class.
John McCallefe6aee2009-09-05 07:56:18 +0000156#define ABSTRACT_TYPE(CLASS, PARENT)
157#define NON_CANONICAL_TYPE(CLASS, PARENT)
158#define TYPE(CLASS, PARENT) void mangleType(const CLASS##Type *T);
159#include "clang/AST/TypeNodes.def"
160
Daniel Dunbar1b077112009-11-21 09:06:10 +0000161 void mangleType(const TagType*);
162 void mangleBareFunctionType(const FunctionType *T,
163 bool MangleReturnType);
Anders Carlssone170ba72009-12-14 01:45:37 +0000164
165 void mangleIntegerLiteral(QualType T, const llvm::APSInt &Value);
John McCall2f27bf82010-02-04 02:56:29 +0000166 void mangleMemberExpr(const Expr *Base, bool IsArrow,
167 NestedNameSpecifier *Qualifier,
168 DeclarationName Name,
169 unsigned KnownArity);
John McCall1dd73832010-02-04 01:42:13 +0000170 void mangleCalledExpression(const Expr *E, unsigned KnownArity);
Daniel Dunbar1b077112009-11-21 09:06:10 +0000171 void mangleExpression(const Expr *E);
172 void mangleCXXCtorType(CXXCtorType T);
173 void mangleCXXDtorType(CXXDtorType T);
Mike Stump1eb44332009-09-09 15:08:12 +0000174
Rafael Espindolad9800722010-03-11 14:07:00 +0000175 void mangleTemplateArgs(const TemplateParameterList &PL,
176 const TemplateArgument *TemplateArgs,
Daniel Dunbar1b077112009-11-21 09:06:10 +0000177 unsigned NumTemplateArgs);
Rafael Espindolad9800722010-03-11 14:07:00 +0000178 void mangleTemplateArgs(const TemplateParameterList &PL,
179 const TemplateArgumentList &AL);
180 void mangleTemplateArg(const NamedDecl *P, const TemplateArgument &A);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000181
Daniel Dunbar1b077112009-11-21 09:06:10 +0000182 void mangleTemplateParameter(unsigned Index);
183};
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000184}
185
Anders Carlsson43f17402009-04-02 15:51:53 +0000186static bool isInCLinkageSpecification(const Decl *D) {
Douglas Gregor457e2812009-10-28 16:31:34 +0000187 D = D->getCanonicalDecl();
Mike Stump1eb44332009-09-09 15:08:12 +0000188 for (const DeclContext *DC = D->getDeclContext();
Anders Carlsson43f17402009-04-02 15:51:53 +0000189 !DC->isTranslationUnit(); DC = DC->getParent()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000190 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))
Anders Carlsson43f17402009-04-02 15:51:53 +0000191 return Linkage->getLanguage() == LinkageSpecDecl::lang_c;
192 }
Mike Stump1eb44332009-09-09 15:08:12 +0000193
Anders Carlsson43f17402009-04-02 15:51:53 +0000194 return false;
195}
196
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000197bool MangleContext::shouldMangleDeclName(const NamedDecl *D) {
198 // In C, functions with no attributes never need to be mangled. Fastpath them.
199 if (!getASTContext().getLangOptions().CPlusPlus && !D->hasAttrs())
200 return false;
201
202 // Any decl can be declared with __asm("foo") on it, and this takes precedence
203 // over all other naming in the .o file.
204 if (D->hasAttr<AsmLabelAttr>())
205 return true;
206
Mike Stump141c5af2009-09-02 00:25:38 +0000207 // Clang's "overloadable" attribute extension to C/C++ implies name mangling
Anders Carlssona1e16222009-11-07 07:15:03 +0000208 // (always) as does passing a C++ member function and a function
209 // whose name is not a simple identifier.
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000210 const FunctionDecl *FD = dyn_cast<FunctionDecl>(D);
211 if (FD && (FD->hasAttr<OverloadableAttr>() || isa<CXXMethodDecl>(FD) ||
212 !FD->getDeclName().isIdentifier()))
213 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000214
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000215 // Otherwise, no mangling is done outside C++ mode.
216 if (!getASTContext().getLangOptions().CPlusPlus)
217 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000218
Sean Hunt31455252010-01-24 03:04:27 +0000219 // Variables at global scope with non-internal linkage are not mangled
Eli Friedman7facf842009-12-02 20:32:49 +0000220 if (!FD) {
221 const DeclContext *DC = D->getDeclContext();
222 // Check for extern variable declared locally.
223 if (isa<FunctionDecl>(DC) && D->hasLinkage())
224 while (!DC->isNamespace() && !DC->isTranslationUnit())
225 DC = DC->getParent();
Douglas Gregor0b6bc8b2010-02-03 09:33:45 +0000226 if (DC->isTranslationUnit() && D->getLinkage() != InternalLinkage)
Eli Friedman7facf842009-12-02 20:32:49 +0000227 return false;
228 }
229
230 // C functions and "main" are not mangled.
231 if ((FD && FD->isMain()) || isInCLinkageSpecification(D))
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000232 return false;
233
Anders Carlsson43f17402009-04-02 15:51:53 +0000234 return true;
235}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000236
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000237void CXXNameMangler::mangle(const NamedDecl *D, llvm::StringRef Prefix) {
Mike Stump141c5af2009-09-02 00:25:38 +0000238 // Any decl can be declared with __asm("foo") on it, and this takes precedence
239 // over all other naming in the .o file.
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000240 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000241 // If we have an asm name, then we use it as the mangling.
242 Out << '\01'; // LLVM IR Marker for __asm("foo")
243 Out << ALA->getLabel();
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000244 return;
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000245 }
Mike Stump1eb44332009-09-09 15:08:12 +0000246
Sean Hunt31455252010-01-24 03:04:27 +0000247 // <mangled-name> ::= _Z <encoding>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000248 // ::= <data name>
249 // ::= <special-name>
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000250 Out << Prefix;
251 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000252 mangleFunctionEncoding(FD);
Rafael Espindolad9800722010-03-11 14:07:00 +0000253 else if (const VarDecl *VD = dyn_cast<VarDecl>(D))
254 mangleName(VD);
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000255 else
Rafael Espindolad9800722010-03-11 14:07:00 +0000256 mangleName(cast<FieldDecl>(D));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000257}
258
259void CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) {
260 // <encoding> ::= <function name> <bare-function-type>
261 mangleName(FD);
Mike Stump1eb44332009-09-09 15:08:12 +0000262
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000263 // Don't mangle in the type if this isn't a decl we should typically mangle.
264 if (!Context.shouldMangleDeclName(FD))
265 return;
266
Mike Stump141c5af2009-09-02 00:25:38 +0000267 // Whether the mangling of a function type includes the return type depends on
268 // the context and the nature of the function. The rules for deciding whether
269 // the return type is included are:
Mike Stump1eb44332009-09-09 15:08:12 +0000270 //
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000271 // 1. Template functions (names or types) have return types encoded, with
272 // the exceptions listed below.
Mike Stump1eb44332009-09-09 15:08:12 +0000273 // 2. Function types not appearing as part of a function name mangling,
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000274 // e.g. parameters, pointer types, etc., have return type encoded, with the
275 // exceptions listed below.
276 // 3. Non-template function names do not have return types encoded.
277 //
Mike Stump141c5af2009-09-02 00:25:38 +0000278 // The exceptions mentioned in (1) and (2) above, for which the return type is
279 // never included, are
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000280 // 1. Constructors.
281 // 2. Destructors.
282 // 3. Conversion operator functions, e.g. operator int.
283 bool MangleReturnType = false;
Anders Carlsson9234b7f2009-09-17 03:46:43 +0000284 if (FunctionTemplateDecl *PrimaryTemplate = FD->getPrimaryTemplate()) {
285 if (!(isa<CXXConstructorDecl>(FD) || isa<CXXDestructorDecl>(FD) ||
286 isa<CXXConversionDecl>(FD)))
287 MangleReturnType = true;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000288
Anders Carlsson9234b7f2009-09-17 03:46:43 +0000289 // Mangle the type of the primary template.
290 FD = PrimaryTemplate->getTemplatedDecl();
291 }
292
John McCall54e14c42009-10-22 22:37:11 +0000293 // Do the canonicalization out here because parameter types can
294 // undergo additional canonicalization (e.g. array decay).
295 FunctionType *FT = cast<FunctionType>(Context.getASTContext()
296 .getCanonicalType(FD->getType()));
297
298 mangleBareFunctionType(FT, MangleReturnType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000299}
300
Anders Carlsson47846d22009-12-04 06:23:23 +0000301/// isStd - Return whether a given namespace is the 'std' namespace.
302static bool isStd(const NamespaceDecl *NS) {
John McCall9aeed322009-10-01 00:25:31 +0000303 const IdentifierInfo *II = NS->getOriginalNamespace()->getIdentifier();
304 return II && II->isStr("std");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000305}
306
Anders Carlsson47846d22009-12-04 06:23:23 +0000307static const DeclContext *IgnoreLinkageSpecDecls(const DeclContext *DC) {
308 while (isa<LinkageSpecDecl>(DC)) {
309 assert(cast<LinkageSpecDecl>(DC)->getLanguage() ==
310 LinkageSpecDecl::lang_cxx && "Unexpected linkage decl!");
311 DC = DC->getParent();
312 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000313
Anders Carlsson47846d22009-12-04 06:23:23 +0000314 return DC;
315}
316
317// isStdNamespace - Return whether a given decl context is a toplevel 'std'
318// namespace.
Daniel Dunbar1308af92009-11-21 09:11:45 +0000319static bool isStdNamespace(const DeclContext *DC) {
Anders Carlsson47846d22009-12-04 06:23:23 +0000320 if (!DC->isNamespace())
321 return false;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000322
Anders Carlsson47846d22009-12-04 06:23:23 +0000323 if (!IgnoreLinkageSpecDecls(DC->getParent())->isTranslationUnit())
324 return false;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000325
Anders Carlsson47846d22009-12-04 06:23:23 +0000326 return isStd(cast<NamespaceDecl>(DC));
Daniel Dunbar1308af92009-11-21 09:11:45 +0000327}
328
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000329static const TemplateDecl *
330isTemplate(const NamedDecl *ND, const TemplateArgumentList *&TemplateArgs) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000331 // Check if we have a function template.
332 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND)){
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000333 if (const TemplateDecl *TD = FD->getPrimaryTemplate()) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000334 TemplateArgs = FD->getTemplateSpecializationArgs();
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000335 return TD;
Anders Carlsson2744a062009-09-18 19:00:18 +0000336 }
337 }
338
Anders Carlssoneafc6dc2009-09-18 19:44:50 +0000339 // Check if we have a class template.
340 if (const ClassTemplateSpecializationDecl *Spec =
341 dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
342 TemplateArgs = &Spec->getTemplateArgs();
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000343 return Spec->getSpecializedTemplate();
Anders Carlssoneafc6dc2009-09-18 19:44:50 +0000344 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000345
Anders Carlsson2744a062009-09-18 19:00:18 +0000346 return 0;
347}
348
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000349void CXXNameMangler::mangleName(const NamedDecl *ND) {
350 // <name> ::= <nested-name>
351 // ::= <unscoped-name>
352 // ::= <unscoped-template-name> <template-args>
Anders Carlsson201ce742009-09-17 03:17:01 +0000353 // ::= <local-name>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000354 //
Anders Carlssond58d6f72009-09-17 16:12:20 +0000355 const DeclContext *DC = ND->getDeclContext();
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000356
Fariborz Jahanian57058532010-03-03 19:41:08 +0000357 if (GetLocalClassFunctionDeclContext(DC)) {
358 mangleLocalName(ND);
359 return;
360 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000361
Eli Friedman7facf842009-12-02 20:32:49 +0000362 // If this is an extern variable declared locally, the relevant DeclContext
363 // is that of the containing namespace, or the translation unit.
364 if (isa<FunctionDecl>(DC) && ND->hasLinkage())
365 while (!DC->isNamespace() && !DC->isTranslationUnit())
366 DC = DC->getParent();
367
Anders Carlsson5cc58c62009-09-22 17:23:30 +0000368 while (isa<LinkageSpecDecl>(DC))
Anders Carlssond58d6f72009-09-17 16:12:20 +0000369 DC = DC->getParent();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000370
Anders Carlssond58d6f72009-09-17 16:12:20 +0000371 if (DC->isTranslationUnit() || isStdNamespace(DC)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000372 // Check if we have a template.
373 const TemplateArgumentList *TemplateArgs = 0;
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000374 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000375 mangleUnscopedTemplateName(TD);
Rafael Espindolad9800722010-03-11 14:07:00 +0000376 TemplateParameterList *TemplateParameters = TD->getTemplateParameters();
377 mangleTemplateArgs(*TemplateParameters, *TemplateArgs);
Anders Carlsson2744a062009-09-18 19:00:18 +0000378 return;
Anders Carlsson7482e242009-09-18 04:29:09 +0000379 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000380
Anders Carlsson7482e242009-09-18 04:29:09 +0000381 mangleUnscopedName(ND);
382 return;
383 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000384
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000385 if (isa<FunctionDecl>(DC) || isa<ObjCMethodDecl>(DC)) {
Anders Carlsson7482e242009-09-18 04:29:09 +0000386 mangleLocalName(ND);
387 return;
388 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000389
Eli Friedman7facf842009-12-02 20:32:49 +0000390 mangleNestedName(ND, DC);
Anders Carlsson7482e242009-09-18 04:29:09 +0000391}
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000392void CXXNameMangler::mangleName(const TemplateDecl *TD,
Anders Carlsson7624f212009-09-18 02:42:01 +0000393 const TemplateArgument *TemplateArgs,
394 unsigned NumTemplateArgs) {
Anders Carlsson47846d22009-12-04 06:23:23 +0000395 const DeclContext *DC = IgnoreLinkageSpecDecls(TD->getDeclContext());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000396
Anders Carlsson7624f212009-09-18 02:42:01 +0000397 if (DC->isTranslationUnit() || isStdNamespace(DC)) {
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000398 mangleUnscopedTemplateName(TD);
Rafael Espindolad9800722010-03-11 14:07:00 +0000399 TemplateParameterList *TemplateParameters = TD->getTemplateParameters();
400 mangleTemplateArgs(*TemplateParameters, TemplateArgs, NumTemplateArgs);
Anders Carlsson7624f212009-09-18 02:42:01 +0000401 } else {
402 mangleNestedName(TD, TemplateArgs, NumTemplateArgs);
403 }
404}
405
Anders Carlsson201ce742009-09-17 03:17:01 +0000406void CXXNameMangler::mangleUnscopedName(const NamedDecl *ND) {
407 // <unscoped-name> ::= <unqualified-name>
408 // ::= St <unqualified-name> # ::std::
409 if (isStdNamespace(ND->getDeclContext()))
410 Out << "St";
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000411
Anders Carlsson201ce742009-09-17 03:17:01 +0000412 mangleUnqualifiedName(ND);
413}
414
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000415void CXXNameMangler::mangleUnscopedTemplateName(const TemplateDecl *ND) {
Anders Carlsson201ce742009-09-17 03:17:01 +0000416 // <unscoped-template-name> ::= <unscoped-name>
417 // ::= <substitution>
Anders Carlsson7624f212009-09-18 02:42:01 +0000418 if (mangleSubstitution(ND))
Anders Carlsson03c9d532009-09-17 04:02:31 +0000419 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000420
Douglas Gregor32fb4e12010-02-05 20:45:00 +0000421 // <template-template-param> ::= <template-param>
422 if (const TemplateTemplateParmDecl *TTP
423 = dyn_cast<TemplateTemplateParmDecl>(ND)) {
424 mangleTemplateParameter(TTP->getIndex());
425 return;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000426 }
Douglas Gregor32fb4e12010-02-05 20:45:00 +0000427
Anders Carlsson1668f202009-09-26 20:13:56 +0000428 mangleUnscopedName(ND->getTemplatedDecl());
Anders Carlsson7624f212009-09-18 02:42:01 +0000429 addSubstitution(ND);
Anders Carlsson201ce742009-09-17 03:17:01 +0000430}
431
Anders Carlssona94822e2009-11-26 02:32:05 +0000432void CXXNameMangler::mangleNumber(int64_t Number) {
433 // <number> ::= [n] <non-negative decimal integer>
434 if (Number < 0) {
435 Out << 'n';
436 Number = -Number;
437 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000438
Anders Carlssona94822e2009-11-26 02:32:05 +0000439 Out << Number;
440}
441
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000442void CXXNameMangler::mangleCallOffset(const ThunkAdjustment &Adjustment) {
Mike Stump141c5af2009-09-02 00:25:38 +0000443 // <call-offset> ::= h <nv-offset> _
444 // ::= v <v-offset> _
445 // <nv-offset> ::= <offset number> # non-virtual base override
Anders Carlssona94822e2009-11-26 02:32:05 +0000446 // <v-offset> ::= <offset number> _ <virtual offset number>
Mike Stump141c5af2009-09-02 00:25:38 +0000447 // # virtual base override, with vcall offset
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000448 if (!Adjustment.Virtual) {
Anders Carlssona94822e2009-11-26 02:32:05 +0000449 Out << 'h';
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000450 mangleNumber(Adjustment.NonVirtual);
Anders Carlssona94822e2009-11-26 02:32:05 +0000451 Out << '_';
452 return;
Mike Stump141c5af2009-09-02 00:25:38 +0000453 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000454
Anders Carlssona94822e2009-11-26 02:32:05 +0000455 Out << 'v';
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000456 mangleNumber(Adjustment.NonVirtual);
Anders Carlssona94822e2009-11-26 02:32:05 +0000457 Out << '_';
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000458 mangleNumber(Adjustment.Virtual);
Anders Carlssona94822e2009-11-26 02:32:05 +0000459 Out << '_';
Mike Stump9124bcc2009-09-02 00:56:18 +0000460}
461
John McCall1dd73832010-02-04 01:42:13 +0000462void CXXNameMangler::mangleUnresolvedScope(NestedNameSpecifier *Qualifier) {
463 Qualifier = getASTContext().getCanonicalNestedNameSpecifier(Qualifier);
464 switch (Qualifier->getKind()) {
465 case NestedNameSpecifier::Global:
466 // nothing
467 break;
468 case NestedNameSpecifier::Namespace:
469 mangleName(Qualifier->getAsNamespace());
470 break;
471 case NestedNameSpecifier::TypeSpec:
Rafael Espindola9b35b252010-03-17 04:28:11 +0000472 case NestedNameSpecifier::TypeSpecWithTemplate: {
473 const Type *QTy = Qualifier->getAsType();
474
475 if (const TemplateSpecializationType *TST =
476 dyn_cast<TemplateSpecializationType>(QTy)) {
477 if (!mangleSubstitution(QualType(TST, 0))) {
478 TemplateDecl *TD = TST->getTemplateName().getAsTemplateDecl();
479 assert(TD && "FIXME: Support dependent template names");
480 mangleTemplatePrefix(TD);
481 TemplateParameterList *TemplateParameters = TD->getTemplateParameters();
482 mangleTemplateArgs(*TemplateParameters, TST->getArgs(),
483 TST->getNumArgs());
484 addSubstitution(QualType(TST, 0));
485 }
486 } else {
487 // We use the QualType mangle type variant here because it handles
488 // substitutions.
489 mangleType(QualType(QTy, 0));
490 }
491 }
John McCall1dd73832010-02-04 01:42:13 +0000492 break;
493 case NestedNameSpecifier::Identifier:
John McCallad5e7382010-03-01 23:49:17 +0000494 // Member expressions can have these without prefixes.
495 if (Qualifier->getPrefix())
496 mangleUnresolvedScope(Qualifier->getPrefix());
John McCall1dd73832010-02-04 01:42:13 +0000497 mangleSourceName(Qualifier->getAsIdentifier());
498 break;
499 }
500}
501
502/// Mangles a name which was not resolved to a specific entity.
503void CXXNameMangler::mangleUnresolvedName(NestedNameSpecifier *Qualifier,
504 DeclarationName Name,
505 unsigned KnownArity) {
506 if (Qualifier)
507 mangleUnresolvedScope(Qualifier);
508 // FIXME: ambiguity of unqualified lookup with ::
509
510 mangleUnqualifiedName(0, Name, KnownArity);
511}
512
513void CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND,
514 DeclarationName Name,
515 unsigned KnownArity) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000516 // <unqualified-name> ::= <operator-name>
Mike Stump1eb44332009-09-09 15:08:12 +0000517 // ::= <ctor-dtor-name>
518 // ::= <source-name>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000519 switch (Name.getNameKind()) {
Anders Carlssonc4355b62009-10-07 01:45:02 +0000520 case DeclarationName::Identifier: {
Anders Carlssonc4355b62009-10-07 01:45:02 +0000521 if (const IdentifierInfo *II = Name.getAsIdentifierInfo()) {
Sean Hunt31455252010-01-24 03:04:27 +0000522 // We must avoid conflicts between internally- and externally-
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000523 // linked variable declaration names in the same TU.
Anders Carlssonaec25232010-02-06 04:52:27 +0000524 // This naming convention is the same as that followed by GCC, though it
525 // shouldn't actually matter.
526 if (ND && isa<VarDecl>(ND) && ND->getLinkage() == InternalLinkage &&
Sean Hunt31455252010-01-24 03:04:27 +0000527 ND->getDeclContext()->isFileContext())
528 Out << 'L';
529
Anders Carlssonc4355b62009-10-07 01:45:02 +0000530 mangleSourceName(II);
531 break;
532 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000533
John McCall1dd73832010-02-04 01:42:13 +0000534 // Otherwise, an anonymous entity. We must have a declaration.
535 assert(ND && "mangling empty name without declaration");
536
537 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) {
538 if (NS->isAnonymousNamespace()) {
539 // This is how gcc mangles these names.
540 Out << "12_GLOBAL__N_1";
541 break;
542 }
543 }
544
Anders Carlssonc4355b62009-10-07 01:45:02 +0000545 // We must have an anonymous struct.
546 const TagDecl *TD = cast<TagDecl>(ND);
547 if (const TypedefDecl *D = TD->getTypedefForAnonDecl()) {
548 assert(TD->getDeclContext() == D->getDeclContext() &&
549 "Typedef should not be in another decl context!");
550 assert(D->getDeclName().getAsIdentifierInfo() &&
551 "Typedef was not named!");
552 mangleSourceName(D->getDeclName().getAsIdentifierInfo());
553 break;
554 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000555
Anders Carlssonc4355b62009-10-07 01:45:02 +0000556 // Get a unique id for the anonymous struct.
557 uint64_t AnonStructId = Context.getAnonymousStructId(TD);
558
559 // Mangle it as a source name in the form
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000560 // [n] $_<id>
Anders Carlssonc4355b62009-10-07 01:45:02 +0000561 // where n is the length of the string.
562 llvm::SmallString<8> Str;
563 Str += "$_";
564 Str += llvm::utostr(AnonStructId);
565
566 Out << Str.size();
567 Out << Str.str();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000568 break;
Anders Carlssonc4355b62009-10-07 01:45:02 +0000569 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000570
571 case DeclarationName::ObjCZeroArgSelector:
572 case DeclarationName::ObjCOneArgSelector:
573 case DeclarationName::ObjCMultiArgSelector:
574 assert(false && "Can't mangle Objective-C selector names here!");
575 break;
576
577 case DeclarationName::CXXConstructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000578 if (ND == Structor)
Mike Stump141c5af2009-09-02 00:25:38 +0000579 // If the named decl is the C++ constructor we're mangling, use the type
580 // we were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000581 mangleCXXCtorType(static_cast<CXXCtorType>(StructorType));
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000582 else
583 // Otherwise, use the complete constructor name. This is relevant if a
584 // class with a constructor is declared within a constructor.
585 mangleCXXCtorType(Ctor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000586 break;
587
588 case DeclarationName::CXXDestructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000589 if (ND == Structor)
Mike Stump141c5af2009-09-02 00:25:38 +0000590 // If the named decl is the C++ destructor we're mangling, use the type we
591 // were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000592 mangleCXXDtorType(static_cast<CXXDtorType>(StructorType));
593 else
594 // Otherwise, use the complete destructor name. This is relevant if a
595 // class with a destructor is declared within a destructor.
596 mangleCXXDtorType(Dtor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000597 break;
598
599 case DeclarationName::CXXConversionFunctionName:
Mike Stump1eb44332009-09-09 15:08:12 +0000600 // <operator-name> ::= cv <type> # (cast)
Douglas Gregor219cc612009-02-13 01:28:03 +0000601 Out << "cv";
Anders Carlssonb5404912009-10-07 01:06:45 +0000602 mangleType(Context.getASTContext().getCanonicalType(Name.getCXXNameType()));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000603 break;
604
Anders Carlsson8257d412009-12-22 06:36:32 +0000605 case DeclarationName::CXXOperatorName: {
John McCall1dd73832010-02-04 01:42:13 +0000606 unsigned Arity;
607 if (ND) {
608 Arity = cast<FunctionDecl>(ND)->getNumParams();
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000609
John McCall1dd73832010-02-04 01:42:13 +0000610 // If we have a C++ member function, we need to include the 'this' pointer.
611 // FIXME: This does not make sense for operators that are static, but their
612 // names stay the same regardless of the arity (operator new for instance).
613 if (isa<CXXMethodDecl>(ND))
614 Arity++;
615 } else
616 Arity = KnownArity;
617
Anders Carlsson8257d412009-12-22 06:36:32 +0000618 mangleOperatorName(Name.getCXXOverloadedOperator(), Arity);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000619 break;
Anders Carlsson8257d412009-12-22 06:36:32 +0000620 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000621
Sean Hunt3e518bd2009-11-29 07:34:05 +0000622 case DeclarationName::CXXLiteralOperatorName:
Sean Hunt5dd6b392009-12-04 21:11:13 +0000623 // FIXME: This mangling is not yet official.
Sean Hunt2421f662009-12-04 21:01:37 +0000624 Out << "li";
Sean Hunt3e518bd2009-11-29 07:34:05 +0000625 mangleSourceName(Name.getCXXLiteralIdentifier());
626 break;
627
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000628 case DeclarationName::CXXUsingDirective:
629 assert(false && "Can't mangle a using directive name!");
Douglas Gregor219cc612009-02-13 01:28:03 +0000630 break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000631 }
632}
633
634void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) {
635 // <source-name> ::= <positive length number> <identifier>
636 // <number> ::= [n] <non-negative decimal integer>
637 // <identifier> ::= <unqualified source code identifier>
638 Out << II->getLength() << II->getName();
639}
640
Eli Friedman7facf842009-12-02 20:32:49 +0000641void CXXNameMangler::mangleNestedName(const NamedDecl *ND,
Fariborz Jahanian57058532010-03-03 19:41:08 +0000642 const DeclContext *DC,
643 bool NoFunction) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000644 // <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
645 // ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
Anders Carlssond99edc42009-09-26 03:55:37 +0000646
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000647 Out << 'N';
648 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND))
John McCall0953e762009-09-24 19:53:00 +0000649 mangleQualifiers(Qualifiers::fromCVRMask(Method->getTypeQualifiers()));
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000650
Anders Carlsson2744a062009-09-18 19:00:18 +0000651 // Check if we have a template.
652 const TemplateArgumentList *TemplateArgs = 0;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000653 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000654 mangleTemplatePrefix(TD);
Rafael Espindolad9800722010-03-11 14:07:00 +0000655 TemplateParameterList *TemplateParameters = TD->getTemplateParameters();
656 mangleTemplateArgs(*TemplateParameters, *TemplateArgs);
Fariborz Jahanian57058532010-03-03 19:41:08 +0000657 }
658 else {
659 manglePrefix(DC, NoFunction);
Anders Carlsson7482e242009-09-18 04:29:09 +0000660 mangleUnqualifiedName(ND);
661 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000662
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000663 Out << 'E';
664}
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000665void CXXNameMangler::mangleNestedName(const TemplateDecl *TD,
Anders Carlsson7624f212009-09-18 02:42:01 +0000666 const TemplateArgument *TemplateArgs,
667 unsigned NumTemplateArgs) {
Anders Carlssone45117b2009-09-27 19:53:49 +0000668 // <nested-name> ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
669
Anders Carlsson7624f212009-09-18 02:42:01 +0000670 Out << 'N';
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000671
Anders Carlssone45117b2009-09-27 19:53:49 +0000672 mangleTemplatePrefix(TD);
Rafael Espindolad9800722010-03-11 14:07:00 +0000673 TemplateParameterList *TemplateParameters = TD->getTemplateParameters();
674 mangleTemplateArgs(*TemplateParameters, TemplateArgs, NumTemplateArgs);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000675
Anders Carlsson7624f212009-09-18 02:42:01 +0000676 Out << 'E';
677}
678
Anders Carlsson1b42c792009-04-02 16:24:45 +0000679void CXXNameMangler::mangleLocalName(const NamedDecl *ND) {
680 // <local-name> := Z <function encoding> E <entity name> [<discriminator>]
681 // := Z <function encoding> E s [<discriminator>]
Mike Stump1eb44332009-09-09 15:08:12 +0000682 // <discriminator> := _ <non-negative number>
Fariborz Jahanian57058532010-03-03 19:41:08 +0000683 const DeclContext *DC = ND->getDeclContext();
Anders Carlsson1b42c792009-04-02 16:24:45 +0000684 Out << 'Z';
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000685
Fariborz Jahanian57058532010-03-03 19:41:08 +0000686 if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(DC))
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000687 mangleObjCMethodName(MD);
Fariborz Jahanian57058532010-03-03 19:41:08 +0000688 else if (const DeclContext *CDC = GetLocalClassFunctionDeclContext(DC)) {
689 mangleFunctionEncoding(cast<FunctionDecl>(CDC));
690 Out << 'E';
691 mangleNestedName(ND, DC, true /*NoFunction*/);
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000692
Fariborz Jahanian4819ac42010-03-04 01:02:03 +0000693 // FIXME. This still does not cover all cases.
694 unsigned disc;
695 if (Context.getNextDiscriminator(ND, disc)) {
696 if (disc < 10)
697 Out << '_' << disc;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000698 else
Fariborz Jahanian4819ac42010-03-04 01:02:03 +0000699 Out << "__" << disc << '_';
700 }
Fariborz Jahanian57058532010-03-03 19:41:08 +0000701
702 return;
703 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000704 else
Fariborz Jahanian57058532010-03-03 19:41:08 +0000705 mangleFunctionEncoding(cast<FunctionDecl>(DC));
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000706
Anders Carlsson1b42c792009-04-02 16:24:45 +0000707 Out << 'E';
Eli Friedman6f9f25d2009-12-11 20:21:38 +0000708 mangleUnqualifiedName(ND);
Anders Carlsson1b42c792009-04-02 16:24:45 +0000709}
710
Fariborz Jahanian57058532010-03-03 19:41:08 +0000711void CXXNameMangler::manglePrefix(const DeclContext *DC, bool NoFunction) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000712 // <prefix> ::= <prefix> <unqualified-name>
713 // ::= <template-prefix> <template-args>
714 // ::= <template-param>
715 // ::= # empty
716 // ::= <substitution>
Anders Carlsson6862fc72009-09-17 04:16:28 +0000717
Anders Carlssonadd28822009-09-22 20:33:31 +0000718 while (isa<LinkageSpecDecl>(DC))
719 DC = DC->getParent();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000720
Anders Carlsson9263e912009-09-18 18:39:58 +0000721 if (DC->isTranslationUnit())
722 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000723
Anders Carlsson6862fc72009-09-17 04:16:28 +0000724 if (mangleSubstitution(cast<NamedDecl>(DC)))
725 return;
Anders Carlsson7482e242009-09-18 04:29:09 +0000726
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000727 // Check if we have a template.
728 const TemplateArgumentList *TemplateArgs = 0;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000729 if (const TemplateDecl *TD = isTemplate(cast<NamedDecl>(DC), TemplateArgs)) {
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000730 mangleTemplatePrefix(TD);
Rafael Espindolad9800722010-03-11 14:07:00 +0000731 TemplateParameterList *TemplateParameters = TD->getTemplateParameters();
732 mangleTemplateArgs(*TemplateParameters, *TemplateArgs);
Fariborz Jahanian57058532010-03-03 19:41:08 +0000733 }
734 else if(NoFunction && isa<FunctionDecl>(DC))
735 return;
736 else {
737 manglePrefix(DC->getParent(), NoFunction);
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000738 mangleUnqualifiedName(cast<NamedDecl>(DC));
739 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000740
Anders Carlsson6862fc72009-09-17 04:16:28 +0000741 addSubstitution(cast<NamedDecl>(DC));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000742}
743
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000744void CXXNameMangler::mangleTemplatePrefix(const TemplateDecl *ND) {
Anders Carlsson7482e242009-09-18 04:29:09 +0000745 // <template-prefix> ::= <prefix> <template unqualified-name>
746 // ::= <template-param>
747 // ::= <substitution>
Douglas Gregor32fb4e12010-02-05 20:45:00 +0000748 // <template-template-param> ::= <template-param>
749 // <substitution>
Anders Carlsson7482e242009-09-18 04:29:09 +0000750
Anders Carlssonaeb85372009-09-26 22:18:22 +0000751 if (mangleSubstitution(ND))
752 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000753
Douglas Gregor32fb4e12010-02-05 20:45:00 +0000754 // <template-template-param> ::= <template-param>
755 if (const TemplateTemplateParmDecl *TTP
756 = dyn_cast<TemplateTemplateParmDecl>(ND)) {
757 mangleTemplateParameter(TTP->getIndex());
758 return;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000759 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000760
Anders Carlssonaa73ab12009-09-18 18:47:07 +0000761 manglePrefix(ND->getDeclContext());
Anders Carlsson1668f202009-09-26 20:13:56 +0000762 mangleUnqualifiedName(ND->getTemplatedDecl());
Anders Carlssonaeb85372009-09-26 22:18:22 +0000763 addSubstitution(ND);
Anders Carlsson7482e242009-09-18 04:29:09 +0000764}
765
Mike Stump1eb44332009-09-09 15:08:12 +0000766void
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000767CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) {
768 switch (OO) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000769 // <operator-name> ::= nw # new
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000770 case OO_New: Out << "nw"; break;
771 // ::= na # new[]
772 case OO_Array_New: Out << "na"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000773 // ::= dl # delete
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000774 case OO_Delete: Out << "dl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000775 // ::= da # delete[]
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000776 case OO_Array_Delete: Out << "da"; break;
777 // ::= ps # + (unary)
778 // ::= pl # +
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000779 case OO_Plus:
Anders Carlsson8257d412009-12-22 06:36:32 +0000780 assert((Arity == 1 || Arity == 2) && "Invalid arity!");
781 Out << (Arity == 1? "ps" : "pl"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000782 // ::= ng # - (unary)
783 // ::= mi # -
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000784 case OO_Minus:
Anders Carlsson8257d412009-12-22 06:36:32 +0000785 assert((Arity == 1 || Arity == 2) && "Invalid arity!");
786 Out << (Arity == 1? "ng" : "mi"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000787 // ::= ad # & (unary)
788 // ::= an # &
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000789 case OO_Amp:
Anders Carlsson8257d412009-12-22 06:36:32 +0000790 assert((Arity == 1 || Arity == 2) && "Invalid arity!");
791 Out << (Arity == 1? "ad" : "an"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000792 // ::= de # * (unary)
793 // ::= ml # *
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000794 case OO_Star:
Anders Carlsson8257d412009-12-22 06:36:32 +0000795 assert((Arity == 1 || Arity == 2) && "Invalid arity!");
796 Out << (Arity == 1? "de" : "ml"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000797 // ::= co # ~
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000798 case OO_Tilde: Out << "co"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000799 // ::= dv # /
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000800 case OO_Slash: Out << "dv"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000801 // ::= rm # %
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000802 case OO_Percent: Out << "rm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000803 // ::= or # |
804 case OO_Pipe: Out << "or"; break;
805 // ::= eo # ^
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000806 case OO_Caret: Out << "eo"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000807 // ::= aS # =
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000808 case OO_Equal: Out << "aS"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000809 // ::= pL # +=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000810 case OO_PlusEqual: Out << "pL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000811 // ::= mI # -=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000812 case OO_MinusEqual: Out << "mI"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000813 // ::= mL # *=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000814 case OO_StarEqual: Out << "mL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000815 // ::= dV # /=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000816 case OO_SlashEqual: Out << "dV"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000817 // ::= rM # %=
818 case OO_PercentEqual: Out << "rM"; break;
819 // ::= aN # &=
820 case OO_AmpEqual: Out << "aN"; break;
821 // ::= oR # |=
822 case OO_PipeEqual: Out << "oR"; break;
823 // ::= eO # ^=
824 case OO_CaretEqual: Out << "eO"; break;
825 // ::= ls # <<
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000826 case OO_LessLess: Out << "ls"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000827 // ::= rs # >>
828 case OO_GreaterGreater: Out << "rs"; break;
829 // ::= lS # <<=
830 case OO_LessLessEqual: Out << "lS"; break;
831 // ::= rS # >>=
832 case OO_GreaterGreaterEqual: Out << "rS"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000833 // ::= eq # ==
834 case OO_EqualEqual: Out << "eq"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000835 // ::= ne # !=
836 case OO_ExclaimEqual: Out << "ne"; break;
837 // ::= lt # <
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000838 case OO_Less: Out << "lt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000839 // ::= gt # >
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000840 case OO_Greater: Out << "gt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000841 // ::= le # <=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000842 case OO_LessEqual: Out << "le"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000843 // ::= ge # >=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000844 case OO_GreaterEqual: Out << "ge"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000845 // ::= nt # !
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000846 case OO_Exclaim: Out << "nt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000847 // ::= aa # &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000848 case OO_AmpAmp: Out << "aa"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000849 // ::= oo # ||
850 case OO_PipePipe: Out << "oo"; break;
851 // ::= pp # ++
852 case OO_PlusPlus: Out << "pp"; break;
853 // ::= mm # --
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000854 case OO_MinusMinus: Out << "mm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000855 // ::= cm # ,
856 case OO_Comma: Out << "cm"; break;
857 // ::= pm # ->*
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000858 case OO_ArrowStar: Out << "pm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000859 // ::= pt # ->
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000860 case OO_Arrow: Out << "pt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000861 // ::= cl # ()
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000862 case OO_Call: Out << "cl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000863 // ::= ix # []
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000864 case OO_Subscript: Out << "ix"; break;
Anders Carlssone170ba72009-12-14 01:45:37 +0000865
866 // ::= qu # ?
867 // The conditional operator can't be overloaded, but we still handle it when
868 // mangling expressions.
869 case OO_Conditional: Out << "qu"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000870
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000871 case OO_None:
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000872 case NUM_OVERLOADED_OPERATORS:
Mike Stump1eb44332009-09-09 15:08:12 +0000873 assert(false && "Not an overloaded operator");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000874 break;
875 }
876}
877
John McCall0953e762009-09-24 19:53:00 +0000878void CXXNameMangler::mangleQualifiers(Qualifiers Quals) {
Mike Stump1eb44332009-09-09 15:08:12 +0000879 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const
John McCall0953e762009-09-24 19:53:00 +0000880 if (Quals.hasRestrict())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000881 Out << 'r';
John McCall0953e762009-09-24 19:53:00 +0000882 if (Quals.hasVolatile())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000883 Out << 'V';
John McCall0953e762009-09-24 19:53:00 +0000884 if (Quals.hasConst())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000885 Out << 'K';
John McCall0953e762009-09-24 19:53:00 +0000886
887 // FIXME: For now, just drop all extension qualifiers on the floor.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000888}
889
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000890void CXXNameMangler::mangleObjCMethodName(const ObjCMethodDecl *MD) {
891 llvm::SmallString<64> Name;
892 llvm::raw_svector_ostream OS(Name);
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000893
894 const ObjCContainerDecl *CD =
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000895 dyn_cast<ObjCContainerDecl>(MD->getDeclContext());
896 assert (CD && "Missing container decl in GetNameForMethod");
897 OS << (MD->isInstanceMethod() ? '-' : '+') << '[' << CD->getName();
898 if (const ObjCCategoryImplDecl *CID = dyn_cast<ObjCCategoryImplDecl>(CD))
899 OS << '(' << CID->getNameAsString() << ')';
900 OS << ' ' << MD->getSelector().getAsString() << ']';
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +0000901
Anders Carlsson7b06f6c2009-12-10 03:14:39 +0000902 Out << OS.str().size() << OS.str();
903}
904
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000905void CXXNameMangler::mangleType(QualType T) {
Anders Carlsson4843e582009-03-10 17:07:44 +0000906 // Only operate on the canonical type!
Anders Carlssonb5404912009-10-07 01:06:45 +0000907 T = Context.getASTContext().getCanonicalType(T);
Anders Carlsson4843e582009-03-10 17:07:44 +0000908
Douglas Gregora4923eb2009-11-16 21:35:15 +0000909 bool IsSubstitutable = T.hasLocalQualifiers() || !isa<BuiltinType>(T);
Anders Carlsson76967372009-09-17 00:43:46 +0000910 if (IsSubstitutable && mangleSubstitution(T))
911 return;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000912
Douglas Gregora4923eb2009-11-16 21:35:15 +0000913 if (Qualifiers Quals = T.getLocalQualifiers()) {
John McCall0953e762009-09-24 19:53:00 +0000914 mangleQualifiers(Quals);
915 // Recurse: even if the qualified type isn't yet substitutable,
916 // the unqualified type might be.
Douglas Gregora4923eb2009-11-16 21:35:15 +0000917 mangleType(T.getLocalUnqualifiedType());
Anders Carlsson76967372009-09-17 00:43:46 +0000918 } else {
919 switch (T->getTypeClass()) {
John McCallefe6aee2009-09-05 07:56:18 +0000920#define ABSTRACT_TYPE(CLASS, PARENT)
921#define NON_CANONICAL_TYPE(CLASS, PARENT) \
Anders Carlsson76967372009-09-17 00:43:46 +0000922 case Type::CLASS: \
Jeffrey Yasskin9f61aa92009-12-12 05:05:38 +0000923 llvm_unreachable("can't mangle non-canonical type " #CLASS "Type"); \
Anders Carlsson76967372009-09-17 00:43:46 +0000924 return;
John McCallefe6aee2009-09-05 07:56:18 +0000925#define TYPE(CLASS, PARENT) \
Anders Carlsson76967372009-09-17 00:43:46 +0000926 case Type::CLASS: \
John McCall0953e762009-09-24 19:53:00 +0000927 mangleType(static_cast<const CLASS##Type*>(T.getTypePtr())); \
Anders Carlsson76967372009-09-17 00:43:46 +0000928 break;
John McCallefe6aee2009-09-05 07:56:18 +0000929#include "clang/AST/TypeNodes.def"
Anders Carlsson76967372009-09-17 00:43:46 +0000930 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000931 }
Anders Carlsson76967372009-09-17 00:43:46 +0000932
933 // Add the substitution.
934 if (IsSubstitutable)
935 addSubstitution(T);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000936}
937
938void CXXNameMangler::mangleType(const BuiltinType *T) {
John McCallefe6aee2009-09-05 07:56:18 +0000939 // <type> ::= <builtin-type>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000940 // <builtin-type> ::= v # void
941 // ::= w # wchar_t
942 // ::= b # bool
943 // ::= c # char
944 // ::= a # signed char
945 // ::= h # unsigned char
946 // ::= s # short
947 // ::= t # unsigned short
948 // ::= i # int
949 // ::= j # unsigned int
950 // ::= l # long
951 // ::= m # unsigned long
952 // ::= x # long long, __int64
953 // ::= y # unsigned long long, __int64
954 // ::= n # __int128
955 // UNSUPPORTED: ::= o # unsigned __int128
956 // ::= f # float
957 // ::= d # double
958 // ::= e # long double, __float80
959 // UNSUPPORTED: ::= g # __float128
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000960 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
961 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
962 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)
963 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits)
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000964 // ::= Di # char32_t
965 // ::= Ds # char16_t
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000966 // ::= u <source-name> # vendor extended type
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000967 // From our point of view, std::nullptr_t is a builtin, but as far as mangling
968 // is concerned, it's a type called std::nullptr_t.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000969 switch (T->getKind()) {
970 case BuiltinType::Void: Out << 'v'; break;
971 case BuiltinType::Bool: Out << 'b'; break;
972 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break;
973 case BuiltinType::UChar: Out << 'h'; break;
974 case BuiltinType::UShort: Out << 't'; break;
975 case BuiltinType::UInt: Out << 'j'; break;
976 case BuiltinType::ULong: Out << 'm'; break;
977 case BuiltinType::ULongLong: Out << 'y'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000978 case BuiltinType::UInt128: Out << 'o'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000979 case BuiltinType::SChar: Out << 'a'; break;
980 case BuiltinType::WChar: Out << 'w'; break;
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000981 case BuiltinType::Char16: Out << "Ds"; break;
982 case BuiltinType::Char32: Out << "Di"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000983 case BuiltinType::Short: Out << 's'; break;
984 case BuiltinType::Int: Out << 'i'; break;
985 case BuiltinType::Long: Out << 'l'; break;
986 case BuiltinType::LongLong: Out << 'x'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000987 case BuiltinType::Int128: Out << 'n'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000988 case BuiltinType::Float: Out << 'f'; break;
989 case BuiltinType::Double: Out << 'd'; break;
990 case BuiltinType::LongDouble: Out << 'e'; break;
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000991 case BuiltinType::NullPtr: Out << "St9nullptr_t"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000992
993 case BuiltinType::Overload:
994 case BuiltinType::Dependent:
Mike Stump1eb44332009-09-09 15:08:12 +0000995 assert(false &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000996 "Overloaded and dependent types shouldn't get to name mangling");
997 break;
Anders Carlssone89d1592009-06-26 18:41:36 +0000998 case BuiltinType::UndeducedAuto:
999 assert(0 && "Should not see undeduced auto here");
1000 break;
Steve Naroff9533a7f2009-07-22 17:14:51 +00001001 case BuiltinType::ObjCId: Out << "11objc_object"; break;
1002 case BuiltinType::ObjCClass: Out << "10objc_class"; break;
Fariborz Jahanian13dcd002009-11-21 19:53:08 +00001003 case BuiltinType::ObjCSel: Out << "13objc_selector"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001004 }
1005}
1006
John McCallefe6aee2009-09-05 07:56:18 +00001007// <type> ::= <function-type>
1008// <function-type> ::= F [Y] <bare-function-type> E
1009void CXXNameMangler::mangleType(const FunctionProtoType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001010 Out << 'F';
Mike Stumpf5408fe2009-05-16 07:57:57 +00001011 // FIXME: We don't have enough information in the AST to produce the 'Y'
1012 // encoding for extern "C" function types.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001013 mangleBareFunctionType(T, /*MangleReturnType=*/true);
1014 Out << 'E';
1015}
John McCallefe6aee2009-09-05 07:56:18 +00001016void CXXNameMangler::mangleType(const FunctionNoProtoType *T) {
Jeffrey Yasskin9f61aa92009-12-12 05:05:38 +00001017 llvm_unreachable("Can't mangle K&R function prototypes");
John McCallefe6aee2009-09-05 07:56:18 +00001018}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001019void CXXNameMangler::mangleBareFunctionType(const FunctionType *T,
1020 bool MangleReturnType) {
John McCallefe6aee2009-09-05 07:56:18 +00001021 // We should never be mangling something without a prototype.
1022 const FunctionProtoType *Proto = cast<FunctionProtoType>(T);
1023
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001024 // <bare-function-type> ::= <signature type>+
1025 if (MangleReturnType)
John McCallefe6aee2009-09-05 07:56:18 +00001026 mangleType(Proto->getResultType());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001027
Anders Carlssonc6c91bc2009-04-01 00:15:23 +00001028 if (Proto->getNumArgs() == 0) {
1029 Out << 'v';
1030 return;
1031 }
Mike Stump1eb44332009-09-09 15:08:12 +00001032
Douglas Gregor72564e72009-02-26 23:50:07 +00001033 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(),
Mike Stump1eb44332009-09-09 15:08:12 +00001034 ArgEnd = Proto->arg_type_end();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001035 Arg != ArgEnd; ++Arg)
1036 mangleType(*Arg);
Douglas Gregor219cc612009-02-13 01:28:03 +00001037
1038 // <builtin-type> ::= z # ellipsis
1039 if (Proto->isVariadic())
1040 Out << 'z';
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001041}
1042
John McCallefe6aee2009-09-05 07:56:18 +00001043// <type> ::= <class-enum-type>
Mike Stump1eb44332009-09-09 15:08:12 +00001044// <class-enum-type> ::= <name>
John McCalled976492009-12-04 22:46:56 +00001045void CXXNameMangler::mangleType(const UnresolvedUsingType *T) {
1046 mangleName(T->getDecl());
1047}
1048
1049// <type> ::= <class-enum-type>
1050// <class-enum-type> ::= <name>
John McCallefe6aee2009-09-05 07:56:18 +00001051void CXXNameMangler::mangleType(const EnumType *T) {
1052 mangleType(static_cast<const TagType*>(T));
1053}
1054void CXXNameMangler::mangleType(const RecordType *T) {
1055 mangleType(static_cast<const TagType*>(T));
1056}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001057void CXXNameMangler::mangleType(const TagType *T) {
Eli Friedmanecb7e932009-12-11 18:00:57 +00001058 mangleName(T->getDecl());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001059}
1060
John McCallefe6aee2009-09-05 07:56:18 +00001061// <type> ::= <array-type>
1062// <array-type> ::= A <positive dimension number> _ <element type>
1063// ::= A [<dimension expression>] _ <element type>
1064void CXXNameMangler::mangleType(const ConstantArrayType *T) {
1065 Out << 'A' << T->getSize() << '_';
1066 mangleType(T->getElementType());
1067}
1068void CXXNameMangler::mangleType(const VariableArrayType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001069 Out << 'A';
John McCallefe6aee2009-09-05 07:56:18 +00001070 mangleExpression(T->getSizeExpr());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001071 Out << '_';
1072 mangleType(T->getElementType());
1073}
John McCallefe6aee2009-09-05 07:56:18 +00001074void CXXNameMangler::mangleType(const DependentSizedArrayType *T) {
1075 Out << 'A';
1076 mangleExpression(T->getSizeExpr());
1077 Out << '_';
1078 mangleType(T->getElementType());
1079}
1080void CXXNameMangler::mangleType(const IncompleteArrayType *T) {
1081 Out << 'A' << '_';
1082 mangleType(T->getElementType());
1083}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001084
John McCallefe6aee2009-09-05 07:56:18 +00001085// <type> ::= <pointer-to-member-type>
1086// <pointer-to-member-type> ::= M <class type> <member type>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001087void CXXNameMangler::mangleType(const MemberPointerType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001088 Out << 'M';
1089 mangleType(QualType(T->getClass(), 0));
Anders Carlsson0e650012009-05-17 17:41:20 +00001090 QualType PointeeType = T->getPointeeType();
1091 if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(PointeeType)) {
John McCall0953e762009-09-24 19:53:00 +00001092 mangleQualifiers(Qualifiers::fromCVRMask(FPT->getTypeQuals()));
Anders Carlsson0e650012009-05-17 17:41:20 +00001093 mangleType(FPT);
Mike Stump1eb44332009-09-09 15:08:12 +00001094 } else
Anders Carlsson0e650012009-05-17 17:41:20 +00001095 mangleType(PointeeType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001096}
1097
John McCallefe6aee2009-09-05 07:56:18 +00001098// <type> ::= <template-param>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001099void CXXNameMangler::mangleType(const TemplateTypeParmType *T) {
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001100 mangleTemplateParameter(T->getIndex());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001101}
1102
John McCallefe6aee2009-09-05 07:56:18 +00001103// FIXME: <type> ::= <template-template-param> <template-args>
John McCallefe6aee2009-09-05 07:56:18 +00001104
1105// <type> ::= P <type> # pointer-to
1106void CXXNameMangler::mangleType(const PointerType *T) {
1107 Out << 'P';
1108 mangleType(T->getPointeeType());
1109}
1110void CXXNameMangler::mangleType(const ObjCObjectPointerType *T) {
1111 Out << 'P';
1112 mangleType(T->getPointeeType());
1113}
1114
1115// <type> ::= R <type> # reference-to
1116void CXXNameMangler::mangleType(const LValueReferenceType *T) {
1117 Out << 'R';
1118 mangleType(T->getPointeeType());
1119}
1120
1121// <type> ::= O <type> # rvalue reference-to (C++0x)
1122void CXXNameMangler::mangleType(const RValueReferenceType *T) {
1123 Out << 'O';
1124 mangleType(T->getPointeeType());
1125}
1126
1127// <type> ::= C <type> # complex pair (C 2000)
1128void CXXNameMangler::mangleType(const ComplexType *T) {
1129 Out << 'C';
1130 mangleType(T->getElementType());
1131}
1132
1133// GNU extension: vector types
1134void CXXNameMangler::mangleType(const VectorType *T) {
1135 Out << "U8__vector";
1136 mangleType(T->getElementType());
1137}
1138void CXXNameMangler::mangleType(const ExtVectorType *T) {
1139 mangleType(static_cast<const VectorType*>(T));
1140}
1141void CXXNameMangler::mangleType(const DependentSizedExtVectorType *T) {
1142 Out << "U8__vector";
1143 mangleType(T->getElementType());
1144}
1145
Anders Carlssona40c5e42009-03-07 22:03:21 +00001146void CXXNameMangler::mangleType(const ObjCInterfaceType *T) {
1147 mangleSourceName(T->getDecl()->getIdentifier());
1148}
1149
John McCallefe6aee2009-09-05 07:56:18 +00001150void CXXNameMangler::mangleType(const BlockPointerType *T) {
Anders Carlssonf28c6872009-12-23 22:31:44 +00001151 Out << "U13block_pointer";
1152 mangleType(T->getPointeeType());
John McCallefe6aee2009-09-05 07:56:18 +00001153}
1154
John McCallefe6aee2009-09-05 07:56:18 +00001155void CXXNameMangler::mangleType(const TemplateSpecializationType *T) {
Anders Carlsson7624f212009-09-18 02:42:01 +00001156 TemplateDecl *TD = T->getTemplateName().getAsTemplateDecl();
1157 assert(TD && "FIXME: Support dependent template names!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001158
Anders Carlsson7624f212009-09-18 02:42:01 +00001159 mangleName(TD, T->getArgs(), T->getNumArgs());
John McCallefe6aee2009-09-05 07:56:18 +00001160}
1161
1162void CXXNameMangler::mangleType(const TypenameType *T) {
Anders Carlssonae352482009-09-26 02:26:02 +00001163 // Typename types are always nested
1164 Out << 'N';
Rafael Espindola9b35b252010-03-17 04:28:11 +00001165 mangleUnresolvedScope(T->getQualifier());
Anders Carlssonae352482009-09-26 02:26:02 +00001166 mangleSourceName(T->getIdentifier());
Anders Carlssonae352482009-09-26 02:26:02 +00001167 Out << 'E';
John McCallefe6aee2009-09-05 07:56:18 +00001168}
1169
John McCallad5e7382010-03-01 23:49:17 +00001170void CXXNameMangler::mangleType(const TypeOfType *T) {
1171 // FIXME: this is pretty unsatisfactory, but there isn't an obvious
1172 // "extension with parameters" mangling.
1173 Out << "u6typeof";
1174}
1175
1176void CXXNameMangler::mangleType(const TypeOfExprType *T) {
1177 // FIXME: this is pretty unsatisfactory, but there isn't an obvious
1178 // "extension with parameters" mangling.
1179 Out << "u6typeof";
1180}
1181
1182void CXXNameMangler::mangleType(const DecltypeType *T) {
1183 Expr *E = T->getUnderlyingExpr();
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001184
John McCallad5e7382010-03-01 23:49:17 +00001185 // type ::= Dt <expression> E # decltype of an id-expression
1186 // # or class member access
1187 // ::= DT <expression> E # decltype of an expression
1188
1189 // This purports to be an exhaustive list of id-expressions and
1190 // class member accesses. Note that we do not ignore parentheses;
1191 // parentheses change the semantics of decltype for these
1192 // expressions (and cause the mangler to use the other form).
1193 if (isa<DeclRefExpr>(E) ||
1194 isa<MemberExpr>(E) ||
1195 isa<UnresolvedLookupExpr>(E) ||
1196 isa<DependentScopeDeclRefExpr>(E) ||
1197 isa<CXXDependentScopeMemberExpr>(E) ||
1198 isa<UnresolvedMemberExpr>(E))
1199 Out << "Dt";
1200 else
1201 Out << "DT";
1202 mangleExpression(E);
1203 Out << 'E';
1204}
1205
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001206void CXXNameMangler::mangleIntegerLiteral(QualType T,
Anders Carlssone170ba72009-12-14 01:45:37 +00001207 const llvm::APSInt &Value) {
1208 // <expr-primary> ::= L <type> <value number> E # integer literal
1209 Out << 'L';
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001210
Anders Carlssone170ba72009-12-14 01:45:37 +00001211 mangleType(T);
1212 if (T->isBooleanType()) {
1213 // Boolean values are encoded as 0/1.
1214 Out << (Value.getBoolValue() ? '1' : '0');
1215 } else {
1216 if (Value.isNegative())
1217 Out << 'n';
1218 Value.abs().print(Out, false);
1219 }
1220 Out << 'E';
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001221
Anders Carlssone170ba72009-12-14 01:45:37 +00001222}
1223
John McCall1dd73832010-02-04 01:42:13 +00001224void CXXNameMangler::mangleCalledExpression(const Expr *E, unsigned Arity) {
1225 if (E->getType() != getASTContext().OverloadTy)
1226 mangleExpression(E);
John McCall2f27bf82010-02-04 02:56:29 +00001227 // propagate arity to dependent overloads?
John McCall1dd73832010-02-04 01:42:13 +00001228
1229 llvm::PointerIntPair<OverloadExpr*,1> R
1230 = OverloadExpr::find(const_cast<Expr*>(E));
1231 if (R.getInt())
1232 Out << "an"; // &
1233 const OverloadExpr *Ovl = R.getPointer();
John McCall2f27bf82010-02-04 02:56:29 +00001234 if (const UnresolvedMemberExpr *ME = dyn_cast<UnresolvedMemberExpr>(Ovl)) {
1235 mangleMemberExpr(ME->getBase(), ME->isArrow(), ME->getQualifier(),
1236 ME->getMemberName(), Arity);
1237 return;
1238 }
John McCall1dd73832010-02-04 01:42:13 +00001239
1240 mangleUnresolvedName(Ovl->getQualifier(), Ovl->getName(), Arity);
1241}
1242
John McCall2f27bf82010-02-04 02:56:29 +00001243/// Mangles a member expression. Implicit accesses are not handled,
1244/// but that should be okay, because you shouldn't be able to
1245/// make an implicit access in a function template declaration.
John McCall2f27bf82010-02-04 02:56:29 +00001246void CXXNameMangler::mangleMemberExpr(const Expr *Base,
1247 bool IsArrow,
1248 NestedNameSpecifier *Qualifier,
1249 DeclarationName Member,
1250 unsigned Arity) {
John McCalle1e342f2010-03-01 19:12:25 +00001251 // gcc-4.4 uses 'dt' for dot expressions, which is reasonable.
1252 // OTOH, gcc also mangles the name as an expression.
1253 Out << (IsArrow ? "pt" : "dt");
John McCall2f27bf82010-02-04 02:56:29 +00001254 mangleExpression(Base);
1255 mangleUnresolvedName(Qualifier, Member, Arity);
1256}
1257
Anders Carlssond553f8c2009-09-21 01:21:10 +00001258void CXXNameMangler::mangleExpression(const Expr *E) {
1259 // <expression> ::= <unary operator-name> <expression>
John McCall09cc1412010-02-03 00:55:45 +00001260 // ::= <binary operator-name> <expression> <expression>
1261 // ::= <trinary operator-name> <expression> <expression> <expression>
1262 // ::= cl <expression>* E # call
Anders Carlssond553f8c2009-09-21 01:21:10 +00001263 // ::= cv <type> expression # conversion with one argument
1264 // ::= cv <type> _ <expression>* E # conversion with a different number of arguments
John McCall09cc1412010-02-03 00:55:45 +00001265 // ::= st <type> # sizeof (a type)
Anders Carlssond553f8c2009-09-21 01:21:10 +00001266 // ::= at <type> # alignof (a type)
1267 // ::= <template-param>
1268 // ::= <function-param>
1269 // ::= sr <type> <unqualified-name> # dependent name
1270 // ::= sr <type> <unqualified-name> <template-args> # dependent template-id
1271 // ::= sZ <template-param> # size of a parameter pack
John McCall09cc1412010-02-03 00:55:45 +00001272 // ::= <expr-primary>
John McCall1dd73832010-02-04 01:42:13 +00001273 // <expr-primary> ::= L <type> <value number> E # integer literal
1274 // ::= L <type <value float> E # floating literal
1275 // ::= L <mangled-name> E # external name
Anders Carlssond553f8c2009-09-21 01:21:10 +00001276 switch (E->getStmtClass()) {
John McCall09cc1412010-02-03 00:55:45 +00001277 default:
1278 llvm_unreachable("unexpected statement kind");
1279 break;
1280
John McCall1dd73832010-02-04 01:42:13 +00001281 case Expr::CallExprClass: {
1282 const CallExpr *CE = cast<CallExpr>(E);
1283 Out << "cl";
1284 mangleCalledExpression(CE->getCallee(), CE->getNumArgs());
1285 for (unsigned I = 0, N = CE->getNumArgs(); I != N; ++I)
1286 mangleExpression(CE->getArg(I));
1287 Out << "E";
John McCall09cc1412010-02-03 00:55:45 +00001288 break;
John McCall1dd73832010-02-04 01:42:13 +00001289 }
John McCall09cc1412010-02-03 00:55:45 +00001290
John McCall2f27bf82010-02-04 02:56:29 +00001291 case Expr::MemberExprClass: {
1292 const MemberExpr *ME = cast<MemberExpr>(E);
1293 mangleMemberExpr(ME->getBase(), ME->isArrow(),
1294 ME->getQualifier(), ME->getMemberDecl()->getDeclName(),
1295 UnknownArity);
1296 break;
1297 }
1298
1299 case Expr::UnresolvedMemberExprClass: {
1300 const UnresolvedMemberExpr *ME = cast<UnresolvedMemberExpr>(E);
1301 mangleMemberExpr(ME->getBase(), ME->isArrow(),
1302 ME->getQualifier(), ME->getMemberName(),
1303 UnknownArity);
1304 break;
1305 }
1306
1307 case Expr::CXXDependentScopeMemberExprClass: {
1308 const CXXDependentScopeMemberExpr *ME
1309 = cast<CXXDependentScopeMemberExpr>(E);
1310 mangleMemberExpr(ME->getBase(), ME->isArrow(),
1311 ME->getQualifier(), ME->getMember(),
1312 UnknownArity);
1313 break;
1314 }
1315
John McCall1dd73832010-02-04 01:42:13 +00001316 case Expr::UnresolvedLookupExprClass: {
John McCalla3218e72010-02-04 01:48:38 +00001317 // The ABI doesn't cover how to mangle overload sets, so we mangle
1318 // using something as close as possible to the original lookup
1319 // expression.
John McCall1dd73832010-02-04 01:42:13 +00001320 const UnresolvedLookupExpr *ULE = cast<UnresolvedLookupExpr>(E);
1321 mangleUnresolvedName(ULE->getQualifier(), ULE->getName(), UnknownArity);
1322 break;
1323 }
1324
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001325 case Expr::CXXUnresolvedConstructExprClass: {
John McCall1dd73832010-02-04 01:42:13 +00001326 const CXXUnresolvedConstructExpr *CE = cast<CXXUnresolvedConstructExpr>(E);
1327 unsigned N = CE->arg_size();
1328
1329 Out << "cv";
1330 mangleType(CE->getType());
1331 if (N != 1) Out << "_";
1332 for (unsigned I = 0; I != N; ++I) mangleExpression(CE->getArg(I));
1333 if (N != 1) Out << "E";
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001334 break;
John McCall1dd73832010-02-04 01:42:13 +00001335 }
John McCall09cc1412010-02-03 00:55:45 +00001336
John McCall1dd73832010-02-04 01:42:13 +00001337 case Expr::CXXTemporaryObjectExprClass:
1338 case Expr::CXXConstructExprClass: {
1339 const CXXConstructExpr *CE = cast<CXXConstructExpr>(E);
1340 unsigned N = CE->getNumArgs();
1341
1342 Out << "cv";
1343 mangleType(CE->getType());
1344 if (N != 1) Out << "_";
1345 for (unsigned I = 0; I != N; ++I) mangleExpression(CE->getArg(I));
1346 if (N != 1) Out << "E";
John McCall09cc1412010-02-03 00:55:45 +00001347 break;
John McCall1dd73832010-02-04 01:42:13 +00001348 }
1349
1350 case Expr::SizeOfAlignOfExprClass: {
1351 const SizeOfAlignOfExpr *SAE = cast<SizeOfAlignOfExpr>(E);
1352 if (SAE->isSizeOf()) Out << "s";
1353 else Out << "a";
1354 if (SAE->isArgumentType()) {
1355 Out << "t";
1356 mangleType(SAE->getArgumentType());
1357 } else {
1358 Out << "z";
1359 mangleExpression(SAE->getArgumentExpr());
1360 }
1361 break;
1362 }
Anders Carlssona7694082009-11-06 02:50:19 +00001363
Anders Carlssone170ba72009-12-14 01:45:37 +00001364 case Expr::UnaryOperatorClass: {
1365 const UnaryOperator *UO = cast<UnaryOperator>(E);
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001366 mangleOperatorName(UnaryOperator::getOverloadedOperator(UO->getOpcode()),
Anders Carlssone170ba72009-12-14 01:45:37 +00001367 /*Arity=*/1);
1368 mangleExpression(UO->getSubExpr());
1369 break;
1370 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001371
Anders Carlssone170ba72009-12-14 01:45:37 +00001372 case Expr::BinaryOperatorClass: {
1373 const BinaryOperator *BO = cast<BinaryOperator>(E);
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001374 mangleOperatorName(BinaryOperator::getOverloadedOperator(BO->getOpcode()),
Anders Carlssone170ba72009-12-14 01:45:37 +00001375 /*Arity=*/2);
1376 mangleExpression(BO->getLHS());
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001377 mangleExpression(BO->getRHS());
Anders Carlssone170ba72009-12-14 01:45:37 +00001378 break;
John McCall2f27bf82010-02-04 02:56:29 +00001379 }
Anders Carlssone170ba72009-12-14 01:45:37 +00001380
1381 case Expr::ConditionalOperatorClass: {
1382 const ConditionalOperator *CO = cast<ConditionalOperator>(E);
1383 mangleOperatorName(OO_Conditional, /*Arity=*/3);
1384 mangleExpression(CO->getCond());
1385 mangleExpression(CO->getLHS());
1386 mangleExpression(CO->getRHS());
1387 break;
1388 }
1389
Douglas Gregor46287c72010-01-29 16:37:09 +00001390 case Expr::ImplicitCastExprClass: {
1391 mangleExpression(cast<ImplicitCastExpr>(E)->getSubExpr());
1392 break;
1393 }
1394
1395 case Expr::CStyleCastExprClass:
1396 case Expr::CXXStaticCastExprClass:
1397 case Expr::CXXDynamicCastExprClass:
1398 case Expr::CXXReinterpretCastExprClass:
1399 case Expr::CXXConstCastExprClass:
1400 case Expr::CXXFunctionalCastExprClass: {
1401 const ExplicitCastExpr *ECE = cast<ExplicitCastExpr>(E);
1402 Out << "cv";
1403 mangleType(ECE->getType());
1404 mangleExpression(ECE->getSubExpr());
1405 break;
1406 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001407
Anders Carlsson58040a52009-12-16 05:48:46 +00001408 case Expr::CXXOperatorCallExprClass: {
1409 const CXXOperatorCallExpr *CE = cast<CXXOperatorCallExpr>(E);
1410 unsigned NumArgs = CE->getNumArgs();
1411 mangleOperatorName(CE->getOperator(), /*Arity=*/NumArgs);
1412 // Mangle the arguments.
1413 for (unsigned i = 0; i != NumArgs; ++i)
1414 mangleExpression(CE->getArg(i));
1415 break;
1416 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001417
Anders Carlssona7694082009-11-06 02:50:19 +00001418 case Expr::ParenExprClass:
1419 mangleExpression(cast<ParenExpr>(E)->getSubExpr());
1420 break;
1421
Anders Carlssond553f8c2009-09-21 01:21:10 +00001422 case Expr::DeclRefExprClass: {
Douglas Gregor5ed1bc32010-02-28 21:40:32 +00001423 const NamedDecl *D = cast<DeclRefExpr>(E)->getDecl();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001424
Anders Carlssond553f8c2009-09-21 01:21:10 +00001425 switch (D->getKind()) {
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001426 default:
Douglas Gregor5ed1bc32010-02-28 21:40:32 +00001427 // <expr-primary> ::= L <mangled-name> E # external name
1428 Out << 'L';
1429 mangle(D, "_Z");
1430 Out << 'E';
1431 break;
1432
Anders Carlssond553f8c2009-09-21 01:21:10 +00001433 case Decl::NonTypeTemplateParm: {
1434 const NonTypeTemplateParmDecl *PD = cast<NonTypeTemplateParmDecl>(D);
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001435 mangleTemplateParameter(PD->getIndex());
Anders Carlssond553f8c2009-09-21 01:21:10 +00001436 break;
1437 }
1438
1439 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001440
Anders Carlsson50755b02009-09-27 20:11:34 +00001441 break;
Anders Carlssond553f8c2009-09-21 01:21:10 +00001442 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001443
John McCall865d4472009-11-19 22:55:06 +00001444 case Expr::DependentScopeDeclRefExprClass: {
1445 const DependentScopeDeclRefExpr *DRE = cast<DependentScopeDeclRefExpr>(E);
Douglas Gregor4b2ccfc2010-02-28 22:05:49 +00001446 NestedNameSpecifier *NNS = DRE->getQualifier();
1447 const Type *QTy = NNS->getAsType();
1448
1449 // When we're dealing with a nested-name-specifier that has just a
1450 // dependent identifier in it, mangle that as a typename. FIXME:
1451 // It isn't clear that we ever actually want to have such a
1452 // nested-name-specifier; why not just represent it as a typename type?
1453 if (!QTy && NNS->getAsIdentifier() && NNS->getPrefix()) {
1454 QTy = getASTContext().getTypenameType(NNS->getPrefix(),
1455 NNS->getAsIdentifier())
1456 .getTypePtr();
1457 }
Anders Carlsson50755b02009-09-27 20:11:34 +00001458 assert(QTy && "Qualifier was not type!");
1459
1460 // ::= sr <type> <unqualified-name> # dependent name
1461 Out << "sr";
1462 mangleType(QualType(QTy, 0));
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001463
Anders Carlsson50755b02009-09-27 20:11:34 +00001464 assert(DRE->getDeclName().getNameKind() == DeclarationName::Identifier &&
1465 "Unhandled decl name kind!");
1466 mangleSourceName(DRE->getDeclName().getAsIdentifierInfo());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001467
Anders Carlsson50755b02009-09-27 20:11:34 +00001468 break;
1469 }
1470
John McCall1dd73832010-02-04 01:42:13 +00001471 case Expr::FloatingLiteralClass: {
1472 const FloatingLiteral *FL = cast<FloatingLiteral>(E);
1473 Out << "L";
1474 mangleType(FL->getType());
1475
1476 // TODO: avoid this copy with careful stream management.
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001477 llvm::SmallString<20> Buffer;
John McCall1dd73832010-02-04 01:42:13 +00001478 FL->getValue().bitcastToAPInt().toString(Buffer, 16, false);
1479 Out.write(Buffer.data(), Buffer.size());
1480
1481 Out << "E";
1482 break;
1483 }
1484
Anders Carlssone170ba72009-12-14 01:45:37 +00001485 case Expr::IntegerLiteralClass:
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001486 mangleIntegerLiteral(E->getType(),
Anders Carlssone170ba72009-12-14 01:45:37 +00001487 llvm::APSInt(cast<IntegerLiteral>(E)->getValue()));
1488 break;
1489
Anders Carlssond553f8c2009-09-21 01:21:10 +00001490 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001491}
1492
John McCallefe6aee2009-09-05 07:56:18 +00001493// FIXME: <type> ::= G <type> # imaginary (C 2000)
1494// FIXME: <type> ::= U <source-name> <type> # vendor extended type qualifier
1495
Anders Carlsson3ac86b52009-04-15 05:36:58 +00001496void CXXNameMangler::mangleCXXCtorType(CXXCtorType T) {
1497 // <ctor-dtor-name> ::= C1 # complete object constructor
1498 // ::= C2 # base object constructor
1499 // ::= C3 # complete object allocating constructor
1500 //
1501 switch (T) {
1502 case Ctor_Complete:
1503 Out << "C1";
1504 break;
1505 case Ctor_Base:
1506 Out << "C2";
1507 break;
1508 case Ctor_CompleteAllocating:
1509 Out << "C3";
1510 break;
1511 }
1512}
1513
Anders Carlsson27ae5362009-04-17 01:58:57 +00001514void CXXNameMangler::mangleCXXDtorType(CXXDtorType T) {
1515 // <ctor-dtor-name> ::= D0 # deleting destructor
1516 // ::= D1 # complete object destructor
1517 // ::= D2 # base object destructor
1518 //
1519 switch (T) {
1520 case Dtor_Deleting:
1521 Out << "D0";
1522 break;
1523 case Dtor_Complete:
1524 Out << "D1";
1525 break;
1526 case Dtor_Base:
1527 Out << "D2";
1528 break;
1529 }
1530}
1531
Rafael Espindolad9800722010-03-11 14:07:00 +00001532void CXXNameMangler::mangleTemplateArgs(const TemplateParameterList &PL,
1533 const TemplateArgumentList &AL) {
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001534 // <template-args> ::= I <template-arg>+ E
1535 Out << "I";
Rafael Espindolad9800722010-03-11 14:07:00 +00001536 for (unsigned i = 0, e = AL.size(); i != e; ++i)
1537 mangleTemplateArg(PL.getParam(i), AL[i]);
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001538 Out << "E";
1539}
1540
Rafael Espindolad9800722010-03-11 14:07:00 +00001541void CXXNameMangler::mangleTemplateArgs(const TemplateParameterList &PL,
1542 const TemplateArgument *TemplateArgs,
Anders Carlsson7624f212009-09-18 02:42:01 +00001543 unsigned NumTemplateArgs) {
1544 // <template-args> ::= I <template-arg>+ E
1545 Out << "I";
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001546 for (unsigned i = 0; i != NumTemplateArgs; ++i)
Rafael Espindolad9800722010-03-11 14:07:00 +00001547 mangleTemplateArg(PL.getParam(i), TemplateArgs[i]);
Anders Carlsson7624f212009-09-18 02:42:01 +00001548 Out << "E";
1549}
1550
Rafael Espindolad9800722010-03-11 14:07:00 +00001551void CXXNameMangler::mangleTemplateArg(const NamedDecl *P,
1552 const TemplateArgument &A) {
Mike Stump1eb44332009-09-09 15:08:12 +00001553 // <template-arg> ::= <type> # type or template
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001554 // ::= X <expression> E # expression
1555 // ::= <expr-primary> # simple expressions
1556 // ::= I <template-arg>* E # argument pack
1557 // ::= sp <expression> # pack expansion of (C++0x)
1558 switch (A.getKind()) {
1559 default:
1560 assert(0 && "Unknown template argument kind!");
1561 case TemplateArgument::Type:
1562 mangleType(A.getAsType());
1563 break;
Anders Carlsson9e85c742009-12-23 19:30:55 +00001564 case TemplateArgument::Template:
Douglas Gregor2d565b32010-02-06 01:09:36 +00001565 assert(A.getAsTemplate().getAsTemplateDecl() &&
1566 "FIXME: Support dependent template names");
Anders Carlsson9e85c742009-12-23 19:30:55 +00001567 mangleName(A.getAsTemplate().getAsTemplateDecl());
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001568 break;
Anders Carlssond553f8c2009-09-21 01:21:10 +00001569 case TemplateArgument::Expression:
1570 Out << 'X';
1571 mangleExpression(A.getAsExpr());
1572 Out << 'E';
1573 break;
Anders Carlssone170ba72009-12-14 01:45:37 +00001574 case TemplateArgument::Integral:
1575 mangleIntegerLiteral(A.getIntegralType(), *A.getAsIntegral());
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001576 break;
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001577 case TemplateArgument::Declaration: {
1578 // <expr-primary> ::= L <mangled-name> E # external name
1579
Rafael Espindolad9800722010-03-11 14:07:00 +00001580 // Clang produces AST's where pointer-to-member-function expressions
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001581 // and pointer-to-function expressions are represented as a declaration not
Rafael Espindolad9800722010-03-11 14:07:00 +00001582 // an expression. We compensate for it here to produce the correct mangling.
1583 NamedDecl *D = cast<NamedDecl>(A.getAsDecl());
1584 const NonTypeTemplateParmDecl *Parameter = cast<NonTypeTemplateParmDecl>(P);
1585 bool compensateMangling = D->isCXXClassMember() &&
1586 !Parameter->getType()->isReferenceType();
1587 if (compensateMangling) {
1588 Out << 'X';
1589 mangleOperatorName(OO_Amp, 1);
1590 }
1591
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001592 Out << 'L';
1593 // References to external entities use the mangled name; if the name would
1594 // not normally be manged then mangle it as unqualified.
1595 //
1596 // FIXME: The ABI specifies that external names here should have _Z, but
1597 // gcc leaves this off.
Rafael Espindolad9800722010-03-11 14:07:00 +00001598 if (compensateMangling)
1599 mangle(D, "_Z");
1600 else
1601 mangle(D, "Z");
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001602 Out << 'E';
Rafael Espindolad9800722010-03-11 14:07:00 +00001603
1604 if (compensateMangling)
1605 Out << 'E';
1606
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001607 break;
1608 }
1609 }
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001610}
1611
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001612void CXXNameMangler::mangleTemplateParameter(unsigned Index) {
1613 // <template-param> ::= T_ # first template parameter
1614 // ::= T <parameter-2 non-negative number> _
1615 if (Index == 0)
1616 Out << "T_";
1617 else
1618 Out << 'T' << (Index - 1) << '_';
1619}
1620
Anders Carlsson76967372009-09-17 00:43:46 +00001621// <substitution> ::= S <seq-id> _
1622// ::= S_
Anders Carlsson6862fc72009-09-17 04:16:28 +00001623bool CXXNameMangler::mangleSubstitution(const NamedDecl *ND) {
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001624 // Try one of the standard substitutions first.
1625 if (mangleStandardSubstitution(ND))
1626 return true;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001627
Anders Carlsson433d1372009-11-07 04:26:04 +00001628 ND = cast<NamedDecl>(ND->getCanonicalDecl());
Anders Carlsson6862fc72009-09-17 04:16:28 +00001629 return mangleSubstitution(reinterpret_cast<uintptr_t>(ND));
1630}
1631
Anders Carlsson76967372009-09-17 00:43:46 +00001632bool CXXNameMangler::mangleSubstitution(QualType T) {
Anders Carlssond99edc42009-09-26 03:55:37 +00001633 if (!T.getCVRQualifiers()) {
1634 if (const RecordType *RT = T->getAs<RecordType>())
1635 return mangleSubstitution(RT->getDecl());
1636 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001637
Anders Carlsson76967372009-09-17 00:43:46 +00001638 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr());
1639
Anders Carlssond3a932a2009-09-17 03:53:28 +00001640 return mangleSubstitution(TypePtr);
1641}
1642
1643bool CXXNameMangler::mangleSubstitution(uintptr_t Ptr) {
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001644 llvm::DenseMap<uintptr_t, unsigned>::iterator I =
Anders Carlssond3a932a2009-09-17 03:53:28 +00001645 Substitutions.find(Ptr);
Anders Carlsson76967372009-09-17 00:43:46 +00001646 if (I == Substitutions.end())
1647 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001648
Anders Carlsson76967372009-09-17 00:43:46 +00001649 unsigned SeqID = I->second;
1650 if (SeqID == 0)
1651 Out << "S_";
1652 else {
1653 SeqID--;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001654
Anders Carlsson76967372009-09-17 00:43:46 +00001655 // <seq-id> is encoded in base-36, using digits and upper case letters.
1656 char Buffer[10];
1657 char *BufferPtr = Buffer + 9;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001658
Anders Carlsson76967372009-09-17 00:43:46 +00001659 *BufferPtr = 0;
1660 if (SeqID == 0) *--BufferPtr = '0';
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001661
Anders Carlsson76967372009-09-17 00:43:46 +00001662 while (SeqID) {
1663 assert(BufferPtr > Buffer && "Buffer overflow!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001664
Anders Carlsson76967372009-09-17 00:43:46 +00001665 unsigned char c = static_cast<unsigned char>(SeqID) % 36;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001666
Anders Carlsson76967372009-09-17 00:43:46 +00001667 *--BufferPtr = (c < 10 ? '0' + c : 'A' + c - 10);
1668 SeqID /= 36;
1669 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001670
Anders Carlsson76967372009-09-17 00:43:46 +00001671 Out << 'S' << BufferPtr << '_';
1672 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001673
Anders Carlsson76967372009-09-17 00:43:46 +00001674 return true;
1675}
1676
Anders Carlssonf514b542009-09-27 00:12:57 +00001677static bool isCharType(QualType T) {
1678 if (T.isNull())
1679 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001680
Anders Carlssonf514b542009-09-27 00:12:57 +00001681 return T->isSpecificBuiltinType(BuiltinType::Char_S) ||
1682 T->isSpecificBuiltinType(BuiltinType::Char_U);
1683}
1684
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001685/// isCharSpecialization - Returns whether a given type is a template
Anders Carlssonf514b542009-09-27 00:12:57 +00001686/// specialization of a given name with a single argument of type char.
1687static bool isCharSpecialization(QualType T, const char *Name) {
1688 if (T.isNull())
1689 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001690
Anders Carlssonf514b542009-09-27 00:12:57 +00001691 const RecordType *RT = T->getAs<RecordType>();
1692 if (!RT)
1693 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001694
1695 const ClassTemplateSpecializationDecl *SD =
Anders Carlssonf514b542009-09-27 00:12:57 +00001696 dyn_cast<ClassTemplateSpecializationDecl>(RT->getDecl());
1697 if (!SD)
1698 return false;
1699
1700 if (!isStdNamespace(SD->getDeclContext()))
1701 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001702
Anders Carlssonf514b542009-09-27 00:12:57 +00001703 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
1704 if (TemplateArgs.size() != 1)
1705 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001706
Anders Carlssonf514b542009-09-27 00:12:57 +00001707 if (!isCharType(TemplateArgs[0].getAsType()))
1708 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001709
Daniel Dunbar01eb9b92009-10-18 21:17:35 +00001710 return SD->getIdentifier()->getName() == Name;
Anders Carlssonf514b542009-09-27 00:12:57 +00001711}
1712
Anders Carlsson91f88602009-12-07 19:56:42 +00001713template <std::size_t StrLen>
1714bool isStreamCharSpecialization(const ClassTemplateSpecializationDecl *SD,
1715 const char (&Str)[StrLen]) {
1716 if (!SD->getIdentifier()->isStr(Str))
1717 return false;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001718
Anders Carlsson91f88602009-12-07 19:56:42 +00001719 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
1720 if (TemplateArgs.size() != 2)
1721 return false;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001722
Anders Carlsson91f88602009-12-07 19:56:42 +00001723 if (!isCharType(TemplateArgs[0].getAsType()))
1724 return false;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001725
Anders Carlsson91f88602009-12-07 19:56:42 +00001726 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits"))
1727 return false;
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001728
Anders Carlsson91f88602009-12-07 19:56:42 +00001729 return true;
1730}
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001731
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001732bool CXXNameMangler::mangleStandardSubstitution(const NamedDecl *ND) {
1733 // <substitution> ::= St # ::std::
Anders Carlsson8c031552009-09-26 23:10:05 +00001734 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) {
Anders Carlsson47846d22009-12-04 06:23:23 +00001735 if (isStd(NS)) {
Anders Carlsson8c031552009-09-26 23:10:05 +00001736 Out << "St";
1737 return true;
1738 }
1739 }
1740
1741 if (const ClassTemplateDecl *TD = dyn_cast<ClassTemplateDecl>(ND)) {
1742 if (!isStdNamespace(TD->getDeclContext()))
1743 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001744
Anders Carlsson8c031552009-09-26 23:10:05 +00001745 // <substitution> ::= Sa # ::std::allocator
1746 if (TD->getIdentifier()->isStr("allocator")) {
1747 Out << "Sa";
1748 return true;
1749 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001750
Anders Carlsson189d59c2009-09-26 23:14:39 +00001751 // <<substitution> ::= Sb # ::std::basic_string
1752 if (TD->getIdentifier()->isStr("basic_string")) {
1753 Out << "Sb";
1754 return true;
1755 }
Anders Carlsson8c031552009-09-26 23:10:05 +00001756 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001757
1758 if (const ClassTemplateSpecializationDecl *SD =
Anders Carlssonf514b542009-09-27 00:12:57 +00001759 dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
Eli Friedman5370ee22010-02-23 18:25:09 +00001760 if (!isStdNamespace(SD->getDeclContext()))
1761 return false;
1762
Anders Carlssonf514b542009-09-27 00:12:57 +00001763 // <substitution> ::= Ss # ::std::basic_string<char,
1764 // ::std::char_traits<char>,
1765 // ::std::allocator<char> >
1766 if (SD->getIdentifier()->isStr("basic_string")) {
1767 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001768
Anders Carlssonf514b542009-09-27 00:12:57 +00001769 if (TemplateArgs.size() != 3)
1770 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001771
Anders Carlssonf514b542009-09-27 00:12:57 +00001772 if (!isCharType(TemplateArgs[0].getAsType()))
1773 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001774
Anders Carlssonf514b542009-09-27 00:12:57 +00001775 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits"))
1776 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001777
Anders Carlssonf514b542009-09-27 00:12:57 +00001778 if (!isCharSpecialization(TemplateArgs[2].getAsType(), "allocator"))
1779 return false;
1780
1781 Out << "Ss";
1782 return true;
1783 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001784
Anders Carlsson91f88602009-12-07 19:56:42 +00001785 // <substitution> ::= Si # ::std::basic_istream<char,
1786 // ::std::char_traits<char> >
1787 if (isStreamCharSpecialization(SD, "basic_istream")) {
1788 Out << "Si";
1789 return true;
1790 }
1791
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001792 // <substitution> ::= So # ::std::basic_ostream<char,
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001793 // ::std::char_traits<char> >
Anders Carlsson91f88602009-12-07 19:56:42 +00001794 if (isStreamCharSpecialization(SD, "basic_ostream")) {
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001795 Out << "So";
1796 return true;
1797 }
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001798
Anders Carlsson91f88602009-12-07 19:56:42 +00001799 // <substitution> ::= Sd # ::std::basic_iostream<char,
1800 // ::std::char_traits<char> >
1801 if (isStreamCharSpecialization(SD, "basic_iostream")) {
1802 Out << "Sd";
1803 return true;
1804 }
Anders Carlssonf514b542009-09-27 00:12:57 +00001805 }
Anders Carlsson8c031552009-09-26 23:10:05 +00001806 return false;
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001807}
1808
Anders Carlsson76967372009-09-17 00:43:46 +00001809void CXXNameMangler::addSubstitution(QualType T) {
Anders Carlssond99edc42009-09-26 03:55:37 +00001810 if (!T.getCVRQualifiers()) {
1811 if (const RecordType *RT = T->getAs<RecordType>()) {
1812 addSubstitution(RT->getDecl());
1813 return;
1814 }
1815 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001816
Anders Carlsson76967372009-09-17 00:43:46 +00001817 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr());
Anders Carlssond3a932a2009-09-17 03:53:28 +00001818 addSubstitution(TypePtr);
1819}
1820
1821void CXXNameMangler::addSubstitution(uintptr_t Ptr) {
Anders Carlsson76967372009-09-17 00:43:46 +00001822 unsigned SeqID = Substitutions.size();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001823
Anders Carlssond3a932a2009-09-17 03:53:28 +00001824 assert(!Substitutions.count(Ptr) && "Substitution already exists!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001825 Substitutions[Ptr] = SeqID;
Anders Carlsson76967372009-09-17 00:43:46 +00001826}
1827
Daniel Dunbar1b077112009-11-21 09:06:10 +00001828//
Mike Stump1eb44332009-09-09 15:08:12 +00001829
Daniel Dunbar1b077112009-11-21 09:06:10 +00001830/// \brief Mangles the name of the declaration D and emits that name to the
1831/// given output stream.
1832///
1833/// If the declaration D requires a mangled name, this routine will emit that
1834/// mangled name to \p os and return true. Otherwise, \p os will be unchanged
1835/// and this routine will return false. In this case, the caller should just
1836/// emit the identifier of the declaration (\c D->getIdentifier()) as its
1837/// name.
Daniel Dunbarf981bf82009-11-21 09:14:52 +00001838void MangleContext::mangleName(const NamedDecl *D,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001839 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc02ab4c2009-11-21 09:14:44 +00001840 assert((isa<FunctionDecl>(D) || isa<VarDecl>(D)) &&
1841 "Invalid mangleName() call, argument is not a variable or function!");
1842 assert(!isa<CXXConstructorDecl>(D) && !isa<CXXDestructorDecl>(D) &&
1843 "Invalid mangleName() call on 'structor decl!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001844
Daniel Dunbar1b077112009-11-21 09:06:10 +00001845 PrettyStackTraceDecl CrashInfo(D, SourceLocation(),
1846 getASTContext().getSourceManager(),
1847 "Mangling declaration");
Mike Stump1eb44332009-09-09 15:08:12 +00001848
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001849 CXXNameMangler Mangler(*this, Res);
1850 return Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001851}
Mike Stump1eb44332009-09-09 15:08:12 +00001852
Daniel Dunbar1b077112009-11-21 09:06:10 +00001853void MangleContext::mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001854 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar77939c92009-11-21 09:06:31 +00001855 CXXNameMangler Mangler(*this, Res, D, Type);
1856 Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001857}
Mike Stump1eb44332009-09-09 15:08:12 +00001858
Daniel Dunbar1b077112009-11-21 09:06:10 +00001859void MangleContext::mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001860 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar77939c92009-11-21 09:06:31 +00001861 CXXNameMangler Mangler(*this, Res, D, Type);
1862 Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001863}
Mike Stumpf1216772009-07-31 18:25:34 +00001864
Daniel Dunbarc0747712009-11-21 09:12:13 +00001865/// \brief Mangles the a thunk with the offset n for the declaration D and
1866/// emits that name to the given output stream.
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001867void MangleContext::mangleThunk(const FunctionDecl *FD,
Anders Carlssonb73a5be2009-11-26 02:49:32 +00001868 const ThunkAdjustment &ThisAdjustment,
Daniel Dunbarc0747712009-11-21 09:12:13 +00001869 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001870 assert(!isa<CXXDestructorDecl>(FD) &&
1871 "Use mangleCXXDtor for destructor decls!");
1872
1873 // <special-name> ::= T <call-offset> <base encoding>
1874 // # base is the nominal target function of thunk
1875 CXXNameMangler Mangler(*this, Res);
1876 Mangler.getStream() << "_ZT";
Anders Carlssonb73a5be2009-11-26 02:49:32 +00001877 Mangler.mangleCallOffset(ThisAdjustment);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001878 Mangler.mangleFunctionEncoding(FD);
1879}
1880
Eli Friedman61d89b62009-12-03 00:03:05 +00001881void MangleContext::mangleCXXDtorThunk(const CXXDestructorDecl *D,
1882 CXXDtorType Type,
1883 const ThunkAdjustment &ThisAdjustment,
1884 llvm::SmallVectorImpl<char> &Res) {
1885 // <special-name> ::= T <call-offset> <base encoding>
1886 // # base is the nominal target function of thunk
1887 CXXNameMangler Mangler(*this, Res, D, Type);
1888 Mangler.getStream() << "_ZT";
1889 Mangler.mangleCallOffset(ThisAdjustment);
1890 Mangler.mangleFunctionEncoding(D);
1891}
1892
Daniel Dunbarc0747712009-11-21 09:12:13 +00001893/// \brief Mangles the a covariant thunk for the declaration D and emits that
1894/// name to the given output stream.
Kovarththanan Rajaratnam19357542010-03-13 10:17:05 +00001895void
Anders Carlsson7622cd32009-11-26 03:09:37 +00001896MangleContext::mangleCovariantThunk(const FunctionDecl *FD,
1897 const CovariantThunkAdjustment& Adjustment,
1898 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001899 assert(!isa<CXXDestructorDecl>(FD) &&
Eli Friedman61d89b62009-12-03 00:03:05 +00001900 "No such thing as a covariant thunk for a destructor!");
Daniel Dunbarc0747712009-11-21 09:12:13 +00001901
1902 // <special-name> ::= Tc <call-offset> <call-offset> <base encoding>
1903 // # base is the nominal target function of thunk
1904 // # first call-offset is 'this' adjustment
1905 // # second call-offset is result adjustment
1906 CXXNameMangler Mangler(*this, Res);
1907 Mangler.getStream() << "_ZTc";
Anders Carlsson7622cd32009-11-26 03:09:37 +00001908 Mangler.mangleCallOffset(Adjustment.ThisAdjustment);
1909 Mangler.mangleCallOffset(Adjustment.ReturnAdjustment);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001910 Mangler.mangleFunctionEncoding(FD);
1911}
1912
1913/// mangleGuardVariable - Returns the mangled name for a guard variable
1914/// for the passed in VarDecl.
1915void MangleContext::mangleGuardVariable(const VarDecl *D,
1916 llvm::SmallVectorImpl<char> &Res) {
1917 // <special-name> ::= GV <object name> # Guard variable for one-time
1918 // # initialization
1919 CXXNameMangler Mangler(*this, Res);
1920 Mangler.getStream() << "_ZGV";
1921 Mangler.mangleName(D);
1922}
1923
Daniel Dunbar1b077112009-11-21 09:06:10 +00001924void MangleContext::mangleCXXVtable(const CXXRecordDecl *RD,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001925 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001926 // <special-name> ::= TV <type> # virtual table
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001927 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001928 Mangler.getStream() << "_ZTV";
1929 Mangler.mangleName(RD);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001930}
Mike Stump82d75b02009-11-10 01:58:37 +00001931
Daniel Dunbar1b077112009-11-21 09:06:10 +00001932void MangleContext::mangleCXXVTT(const CXXRecordDecl *RD,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001933 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001934 // <special-name> ::= TT <type> # VTT structure
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001935 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001936 Mangler.getStream() << "_ZTT";
1937 Mangler.mangleName(RD);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001938}
Mike Stumpab3f7e92009-11-10 01:41:59 +00001939
Daniel Dunbar1b077112009-11-21 09:06:10 +00001940void MangleContext::mangleCXXCtorVtable(const CXXRecordDecl *RD, int64_t Offset,
1941 const CXXRecordDecl *Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001942 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001943 // <special-name> ::= TC <type> <offset number> _ <base type>
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001944 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001945 Mangler.getStream() << "_ZTC";
1946 Mangler.mangleName(RD);
1947 Mangler.getStream() << Offset;
1948 Mangler.getStream() << "_";
1949 Mangler.mangleName(Type);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001950}
Mike Stump738f8c22009-07-31 23:15:31 +00001951
Mike Stumpde050572009-12-02 18:57:08 +00001952void MangleContext::mangleCXXRTTI(QualType Ty,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001953 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001954 // <special-name> ::= TI <type> # typeinfo structure
Douglas Gregor154fe982009-12-23 22:04:40 +00001955 assert(!Ty.hasQualifiers() && "RTTI info cannot have top-level qualifiers");
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001956 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001957 Mangler.getStream() << "_ZTI";
1958 Mangler.mangleType(Ty);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001959}
Mike Stump67795982009-11-14 00:14:13 +00001960
Mike Stumpde050572009-12-02 18:57:08 +00001961void MangleContext::mangleCXXRTTIName(QualType Ty,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001962 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001963 // <special-name> ::= TS <type> # typeinfo name (null terminated byte string)
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001964 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001965 Mangler.getStream() << "_ZTS";
1966 Mangler.mangleType(Ty);
Mike Stumpf1216772009-07-31 18:25:34 +00001967}