blob: d6f7808c4073d06b0f2939dd5baf01682c2705c5 [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"
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000029using namespace clang;
Anders Carlssonb73a5be2009-11-26 02:49:32 +000030using namespace CodeGen;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000031
32namespace {
Anders Carlsson7e120032009-11-24 05:36:32 +000033
34static const CXXMethodDecl *getStructor(const CXXMethodDecl *MD) {
35 assert((isa<CXXConstructorDecl>(MD) || isa<CXXDestructorDecl>(MD)) &&
36 "Passed in decl is not a ctor or dtor!");
37
38 if (const TemplateDecl *TD = MD->getPrimaryTemplate()) {
39 MD = cast<CXXMethodDecl>(TD->getTemplatedDecl());
40
41 assert((isa<CXXConstructorDecl>(MD) || isa<CXXDestructorDecl>(MD)) &&
42 "Templated decl is not a ctor or dtor!");
43 }
44
45 return MD;
46}
47
Daniel Dunbar1b077112009-11-21 09:06:10 +000048/// CXXNameMangler - Manage the mangling of a single name.
Daniel Dunbarc0747712009-11-21 09:12:13 +000049class CXXNameMangler {
Daniel Dunbar1b077112009-11-21 09:06:10 +000050 MangleContext &Context;
Daniel Dunbar94fd26d2009-11-21 09:06:22 +000051 llvm::raw_svector_ostream Out;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000052
Daniel Dunbar1b077112009-11-21 09:06:10 +000053 const CXXMethodDecl *Structor;
54 unsigned StructorType;
Mike Stump1eb44332009-09-09 15:08:12 +000055
Daniel Dunbar1b077112009-11-21 09:06:10 +000056 llvm::DenseMap<uintptr_t, unsigned> Substitutions;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000057
Daniel Dunbarc0747712009-11-21 09:12:13 +000058public:
Daniel Dunbar94fd26d2009-11-21 09:06:22 +000059 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res)
60 : Context(C), Out(Res), Structor(0), StructorType(0) { }
Daniel Dunbar77939c92009-11-21 09:06:31 +000061 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res,
62 const CXXConstructorDecl *D, CXXCtorType Type)
Anders Carlsson7e120032009-11-24 05:36:32 +000063 : Context(C), Out(Res), Structor(getStructor(D)), StructorType(Type) { }
Daniel Dunbar77939c92009-11-21 09:06:31 +000064 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res,
65 const CXXDestructorDecl *D, CXXDtorType Type)
Anders Carlsson7e120032009-11-24 05:36:32 +000066 : Context(C), Out(Res), Structor(getStructor(D)), StructorType(Type) { }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000067
Daniel Dunbarc0747712009-11-21 09:12:13 +000068 llvm::raw_svector_ostream &getStream() { return Out; }
69
Daniel Dunbar7e0c1952009-11-21 09:17:15 +000070 void mangle(const NamedDecl *D, llvm::StringRef Prefix = "_Z");
Anders Carlssonb73a5be2009-11-26 02:49:32 +000071 void mangleCallOffset(const ThunkAdjustment &Adjustment);
Anders Carlssona94822e2009-11-26 02:32:05 +000072 void mangleNumber(int64_t Number);
Daniel Dunbarc0747712009-11-21 09:12:13 +000073 void mangleFunctionEncoding(const FunctionDecl *FD);
74 void mangleName(const NamedDecl *ND);
75 void mangleType(QualType T);
Mike Stump1eb44332009-09-09 15:08:12 +000076
Daniel Dunbarc0747712009-11-21 09:12:13 +000077private:
Daniel Dunbar1b077112009-11-21 09:06:10 +000078 bool mangleSubstitution(const NamedDecl *ND);
79 bool mangleSubstitution(QualType T);
80 bool mangleSubstitution(uintptr_t Ptr);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000081
Daniel Dunbar1b077112009-11-21 09:06:10 +000082 bool mangleStandardSubstitution(const NamedDecl *ND);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000083
Daniel Dunbar1b077112009-11-21 09:06:10 +000084 void addSubstitution(const NamedDecl *ND) {
85 ND = cast<NamedDecl>(ND->getCanonicalDecl());
Anders Carlsson433d1372009-11-07 04:26:04 +000086
Daniel Dunbar1b077112009-11-21 09:06:10 +000087 addSubstitution(reinterpret_cast<uintptr_t>(ND));
88 }
89 void addSubstitution(QualType T);
90 void addSubstitution(uintptr_t Ptr);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000091
Daniel Dunbar1b077112009-11-21 09:06:10 +000092 bool mangleFunctionDecl(const FunctionDecl *FD);
Mike Stump1eb44332009-09-09 15:08:12 +000093
Daniel Dunbar1b077112009-11-21 09:06:10 +000094 void mangleName(const TemplateDecl *TD,
95 const TemplateArgument *TemplateArgs,
96 unsigned NumTemplateArgs);
97 void mangleUnqualifiedName(const NamedDecl *ND);
98 void mangleUnscopedName(const NamedDecl *ND);
99 void mangleUnscopedTemplateName(const TemplateDecl *ND);
100 void mangleSourceName(const IdentifierInfo *II);
101 void mangleLocalName(const NamedDecl *ND);
102 void mangleNestedName(const NamedDecl *ND);
103 void mangleNestedName(const TemplateDecl *TD,
104 const TemplateArgument *TemplateArgs,
105 unsigned NumTemplateArgs);
106 void manglePrefix(const DeclContext *DC);
107 void mangleTemplatePrefix(const TemplateDecl *ND);
108 void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity);
109 void mangleQualifiers(Qualifiers Quals);
John McCallefe6aee2009-09-05 07:56:18 +0000110
Daniel Dunbar1b077112009-11-21 09:06:10 +0000111 // Declare manglers for every type class.
John McCallefe6aee2009-09-05 07:56:18 +0000112#define ABSTRACT_TYPE(CLASS, PARENT)
113#define NON_CANONICAL_TYPE(CLASS, PARENT)
114#define TYPE(CLASS, PARENT) void mangleType(const CLASS##Type *T);
115#include "clang/AST/TypeNodes.def"
116
Daniel Dunbar1b077112009-11-21 09:06:10 +0000117 void mangleType(const TagType*);
118 void mangleBareFunctionType(const FunctionType *T,
119 bool MangleReturnType);
120 void mangleExpression(const Expr *E);
121 void mangleCXXCtorType(CXXCtorType T);
122 void mangleCXXDtorType(CXXDtorType T);
Mike Stump1eb44332009-09-09 15:08:12 +0000123
Daniel Dunbar1b077112009-11-21 09:06:10 +0000124 void mangleTemplateArgs(const TemplateArgument *TemplateArgs,
125 unsigned NumTemplateArgs);
126 void mangleTemplateArgumentList(const TemplateArgumentList &L);
127 void mangleTemplateArgument(const TemplateArgument &A);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000128
Daniel Dunbar1b077112009-11-21 09:06:10 +0000129 void mangleTemplateParameter(unsigned Index);
130};
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000131}
132
Anders Carlsson43f17402009-04-02 15:51:53 +0000133static bool isInCLinkageSpecification(const Decl *D) {
Douglas Gregor457e2812009-10-28 16:31:34 +0000134 D = D->getCanonicalDecl();
Mike Stump1eb44332009-09-09 15:08:12 +0000135 for (const DeclContext *DC = D->getDeclContext();
Anders Carlsson43f17402009-04-02 15:51:53 +0000136 !DC->isTranslationUnit(); DC = DC->getParent()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000137 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))
Anders Carlsson43f17402009-04-02 15:51:53 +0000138 return Linkage->getLanguage() == LinkageSpecDecl::lang_c;
139 }
Mike Stump1eb44332009-09-09 15:08:12 +0000140
Anders Carlsson43f17402009-04-02 15:51:53 +0000141 return false;
142}
143
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000144bool MangleContext::shouldMangleDeclName(const NamedDecl *D) {
145 // In C, functions with no attributes never need to be mangled. Fastpath them.
146 if (!getASTContext().getLangOptions().CPlusPlus && !D->hasAttrs())
147 return false;
148
149 // Any decl can be declared with __asm("foo") on it, and this takes precedence
150 // over all other naming in the .o file.
151 if (D->hasAttr<AsmLabelAttr>())
152 return true;
153
Mike Stump141c5af2009-09-02 00:25:38 +0000154 // Clang's "overloadable" attribute extension to C/C++ implies name mangling
Anders Carlssona1e16222009-11-07 07:15:03 +0000155 // (always) as does passing a C++ member function and a function
156 // whose name is not a simple identifier.
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000157 const FunctionDecl *FD = dyn_cast<FunctionDecl>(D);
158 if (FD && (FD->hasAttr<OverloadableAttr>() || isa<CXXMethodDecl>(FD) ||
159 !FD->getDeclName().isIdentifier()))
160 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000161
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000162 // Otherwise, no mangling is done outside C++ mode.
163 if (!getASTContext().getLangOptions().CPlusPlus)
164 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000165
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000166 // No mangling in an "implicit extern C" header.
167 if (D->getLocation().isValid() &&
168 getASTContext().getSourceManager().
169 isInExternCSystemHeader(D->getLocation()))
170 return false;
Anders Carlsson43f17402009-04-02 15:51:53 +0000171
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000172 // C functions, "main", and variables at global scope are not
173 // mangled.
174 if ((FD && FD->isMain()) ||
175 (!FD && D->getDeclContext()->isTranslationUnit()) ||
176 isInCLinkageSpecification(D))
177 return false;
178
Anders Carlsson43f17402009-04-02 15:51:53 +0000179 return true;
180}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000181
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000182void CXXNameMangler::mangle(const NamedDecl *D, llvm::StringRef Prefix) {
Mike Stump141c5af2009-09-02 00:25:38 +0000183 // Any decl can be declared with __asm("foo") on it, and this takes precedence
184 // over all other naming in the .o file.
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000185 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000186 // If we have an asm name, then we use it as the mangling.
187 Out << '\01'; // LLVM IR Marker for __asm("foo")
188 Out << ALA->getLabel();
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000189 return;
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000190 }
Mike Stump1eb44332009-09-09 15:08:12 +0000191
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000192 // <mangled-name> ::= _Z <encoding>
193 // ::= <data name>
194 // ::= <special-name>
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000195 Out << Prefix;
196 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
Daniel Dunbarf981bf82009-11-21 09:14:52 +0000197 mangleFunctionEncoding(FD);
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000198 else
199 mangleName(cast<VarDecl>(D));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000200}
201
202void CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) {
203 // <encoding> ::= <function name> <bare-function-type>
204 mangleName(FD);
Mike Stump1eb44332009-09-09 15:08:12 +0000205
Daniel Dunbar7e0c1952009-11-21 09:17:15 +0000206 // Don't mangle in the type if this isn't a decl we should typically mangle.
207 if (!Context.shouldMangleDeclName(FD))
208 return;
209
Mike Stump141c5af2009-09-02 00:25:38 +0000210 // Whether the mangling of a function type includes the return type depends on
211 // the context and the nature of the function. The rules for deciding whether
212 // the return type is included are:
Mike Stump1eb44332009-09-09 15:08:12 +0000213 //
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000214 // 1. Template functions (names or types) have return types encoded, with
215 // the exceptions listed below.
Mike Stump1eb44332009-09-09 15:08:12 +0000216 // 2. Function types not appearing as part of a function name mangling,
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000217 // e.g. parameters, pointer types, etc., have return type encoded, with the
218 // exceptions listed below.
219 // 3. Non-template function names do not have return types encoded.
220 //
Mike Stump141c5af2009-09-02 00:25:38 +0000221 // The exceptions mentioned in (1) and (2) above, for which the return type is
222 // never included, are
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000223 // 1. Constructors.
224 // 2. Destructors.
225 // 3. Conversion operator functions, e.g. operator int.
226 bool MangleReturnType = false;
Anders Carlsson9234b7f2009-09-17 03:46:43 +0000227 if (FunctionTemplateDecl *PrimaryTemplate = FD->getPrimaryTemplate()) {
228 if (!(isa<CXXConstructorDecl>(FD) || isa<CXXDestructorDecl>(FD) ||
229 isa<CXXConversionDecl>(FD)))
230 MangleReturnType = true;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000231
Anders Carlsson9234b7f2009-09-17 03:46:43 +0000232 // Mangle the type of the primary template.
233 FD = PrimaryTemplate->getTemplatedDecl();
234 }
235
John McCall54e14c42009-10-22 22:37:11 +0000236 // Do the canonicalization out here because parameter types can
237 // undergo additional canonicalization (e.g. array decay).
238 FunctionType *FT = cast<FunctionType>(Context.getASTContext()
239 .getCanonicalType(FD->getType()));
240
241 mangleBareFunctionType(FT, MangleReturnType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000242}
243
Daniel Dunbar1308af92009-11-21 09:11:45 +0000244static bool isStdNamespace(const NamespaceDecl *NS) {
John McCall9aeed322009-10-01 00:25:31 +0000245 const IdentifierInfo *II = NS->getOriginalNamespace()->getIdentifier();
246 return II && II->isStr("std");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000247}
248
Daniel Dunbar1308af92009-11-21 09:11:45 +0000249static bool isStdNamespace(const DeclContext *DC) {
250 return DC->isNamespace() && DC->getParent()->isTranslationUnit() &&
251 isStdNamespace(cast<NamespaceDecl>(DC));
252}
253
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000254static const TemplateDecl *
255isTemplate(const NamedDecl *ND, const TemplateArgumentList *&TemplateArgs) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000256 // Check if we have a function template.
257 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND)){
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000258 if (const TemplateDecl *TD = FD->getPrimaryTemplate()) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000259 TemplateArgs = FD->getTemplateSpecializationArgs();
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000260 return TD;
Anders Carlsson2744a062009-09-18 19:00:18 +0000261 }
262 }
263
Anders Carlssoneafc6dc2009-09-18 19:44:50 +0000264 // Check if we have a class template.
265 if (const ClassTemplateSpecializationDecl *Spec =
266 dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
267 TemplateArgs = &Spec->getTemplateArgs();
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000268 return Spec->getSpecializedTemplate();
Anders Carlssoneafc6dc2009-09-18 19:44:50 +0000269 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000270
Anders Carlsson2744a062009-09-18 19:00:18 +0000271 return 0;
272}
273
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000274void CXXNameMangler::mangleName(const NamedDecl *ND) {
275 // <name> ::= <nested-name>
276 // ::= <unscoped-name>
277 // ::= <unscoped-template-name> <template-args>
Anders Carlsson201ce742009-09-17 03:17:01 +0000278 // ::= <local-name>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000279 //
Anders Carlssond58d6f72009-09-17 16:12:20 +0000280 const DeclContext *DC = ND->getDeclContext();
Anders Carlsson5cc58c62009-09-22 17:23:30 +0000281 while (isa<LinkageSpecDecl>(DC))
Anders Carlssond58d6f72009-09-17 16:12:20 +0000282 DC = DC->getParent();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000283
Anders Carlssond58d6f72009-09-17 16:12:20 +0000284 if (DC->isTranslationUnit() || isStdNamespace(DC)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000285 // Check if we have a template.
286 const TemplateArgumentList *TemplateArgs = 0;
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000287 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000288 mangleUnscopedTemplateName(TD);
289 mangleTemplateArgumentList(*TemplateArgs);
290 return;
Anders Carlsson7482e242009-09-18 04:29:09 +0000291 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000292
Anders Carlsson7482e242009-09-18 04:29:09 +0000293 mangleUnscopedName(ND);
294 return;
295 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000296
Anders Carlsson7482e242009-09-18 04:29:09 +0000297 if (isa<FunctionDecl>(DC)) {
298 mangleLocalName(ND);
299 return;
300 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000301
Anders Carlsson7482e242009-09-18 04:29:09 +0000302 mangleNestedName(ND);
303}
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000304void CXXNameMangler::mangleName(const TemplateDecl *TD,
Anders Carlsson7624f212009-09-18 02:42:01 +0000305 const TemplateArgument *TemplateArgs,
306 unsigned NumTemplateArgs) {
307 const DeclContext *DC = TD->getDeclContext();
308 while (isa<LinkageSpecDecl>(DC)) {
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000309 assert(cast<LinkageSpecDecl>(DC)->getLanguage() ==
Anders Carlsson7624f212009-09-18 02:42:01 +0000310 LinkageSpecDecl::lang_cxx && "Unexpected linkage decl!");
311 DC = DC->getParent();
312 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000313
Anders Carlsson7624f212009-09-18 02:42:01 +0000314 if (DC->isTranslationUnit() || isStdNamespace(DC)) {
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000315 mangleUnscopedTemplateName(TD);
Anders Carlsson7624f212009-09-18 02:42:01 +0000316 mangleTemplateArgs(TemplateArgs, NumTemplateArgs);
317 } else {
318 mangleNestedName(TD, TemplateArgs, NumTemplateArgs);
319 }
320}
321
Anders Carlsson201ce742009-09-17 03:17:01 +0000322void CXXNameMangler::mangleUnscopedName(const NamedDecl *ND) {
323 // <unscoped-name> ::= <unqualified-name>
324 // ::= St <unqualified-name> # ::std::
325 if (isStdNamespace(ND->getDeclContext()))
326 Out << "St";
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000327
Anders Carlsson201ce742009-09-17 03:17:01 +0000328 mangleUnqualifiedName(ND);
329}
330
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000331void CXXNameMangler::mangleUnscopedTemplateName(const TemplateDecl *ND) {
Anders Carlsson201ce742009-09-17 03:17:01 +0000332 // <unscoped-template-name> ::= <unscoped-name>
333 // ::= <substitution>
Anders Carlsson7624f212009-09-18 02:42:01 +0000334 if (mangleSubstitution(ND))
Anders Carlsson03c9d532009-09-17 04:02:31 +0000335 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000336
Anders Carlsson1668f202009-09-26 20:13:56 +0000337 mangleUnscopedName(ND->getTemplatedDecl());
Anders Carlsson7624f212009-09-18 02:42:01 +0000338 addSubstitution(ND);
Anders Carlsson201ce742009-09-17 03:17:01 +0000339}
340
Anders Carlssona94822e2009-11-26 02:32:05 +0000341void CXXNameMangler::mangleNumber(int64_t Number) {
342 // <number> ::= [n] <non-negative decimal integer>
343 if (Number < 0) {
344 Out << 'n';
345 Number = -Number;
346 }
347
348 Out << Number;
349}
350
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000351void CXXNameMangler::mangleCallOffset(const ThunkAdjustment &Adjustment) {
Mike Stump141c5af2009-09-02 00:25:38 +0000352 // <call-offset> ::= h <nv-offset> _
353 // ::= v <v-offset> _
354 // <nv-offset> ::= <offset number> # non-virtual base override
Anders Carlssona94822e2009-11-26 02:32:05 +0000355 // <v-offset> ::= <offset number> _ <virtual offset number>
Mike Stump141c5af2009-09-02 00:25:38 +0000356 // # virtual base override, with vcall offset
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000357 if (!Adjustment.Virtual) {
Anders Carlssona94822e2009-11-26 02:32:05 +0000358 Out << 'h';
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000359 mangleNumber(Adjustment.NonVirtual);
Anders Carlssona94822e2009-11-26 02:32:05 +0000360 Out << '_';
361 return;
Mike Stump141c5af2009-09-02 00:25:38 +0000362 }
Anders Carlssona94822e2009-11-26 02:32:05 +0000363
364 Out << 'v';
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000365 mangleNumber(Adjustment.NonVirtual);
Anders Carlssona94822e2009-11-26 02:32:05 +0000366 Out << '_';
Anders Carlssonb73a5be2009-11-26 02:49:32 +0000367 mangleNumber(Adjustment.Virtual);
Anders Carlssona94822e2009-11-26 02:32:05 +0000368 Out << '_';
Mike Stump9124bcc2009-09-02 00:56:18 +0000369}
370
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000371void CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND) {
372 // <unqualified-name> ::= <operator-name>
Mike Stump1eb44332009-09-09 15:08:12 +0000373 // ::= <ctor-dtor-name>
374 // ::= <source-name>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000375 DeclarationName Name = ND->getDeclName();
376 switch (Name.getNameKind()) {
Anders Carlssonc4355b62009-10-07 01:45:02 +0000377 case DeclarationName::Identifier: {
378 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) {
John McCall9aeed322009-10-01 00:25:31 +0000379 if (NS->isAnonymousNamespace()) {
380 // This is how gcc mangles these names. It's apparently
381 // always '1', no matter how many different anonymous
382 // namespaces appear in a context.
383 Out << "12_GLOBAL__N_1";
384 break;
385 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000386 }
Anders Carlssonc4355b62009-10-07 01:45:02 +0000387
388 if (const IdentifierInfo *II = Name.getAsIdentifierInfo()) {
389 mangleSourceName(II);
390 break;
391 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000392
Anders Carlssonc4355b62009-10-07 01:45:02 +0000393 // We must have an anonymous struct.
394 const TagDecl *TD = cast<TagDecl>(ND);
395 if (const TypedefDecl *D = TD->getTypedefForAnonDecl()) {
396 assert(TD->getDeclContext() == D->getDeclContext() &&
397 "Typedef should not be in another decl context!");
398 assert(D->getDeclName().getAsIdentifierInfo() &&
399 "Typedef was not named!");
400 mangleSourceName(D->getDeclName().getAsIdentifierInfo());
401 break;
402 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000403
Anders Carlssonc4355b62009-10-07 01:45:02 +0000404 // Get a unique id for the anonymous struct.
405 uint64_t AnonStructId = Context.getAnonymousStructId(TD);
406
407 // Mangle it as a source name in the form
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000408 // [n] $_<id>
Anders Carlssonc4355b62009-10-07 01:45:02 +0000409 // where n is the length of the string.
410 llvm::SmallString<8> Str;
411 Str += "$_";
412 Str += llvm::utostr(AnonStructId);
413
414 Out << Str.size();
415 Out << Str.str();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000416 break;
Anders Carlssonc4355b62009-10-07 01:45:02 +0000417 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000418
419 case DeclarationName::ObjCZeroArgSelector:
420 case DeclarationName::ObjCOneArgSelector:
421 case DeclarationName::ObjCMultiArgSelector:
422 assert(false && "Can't mangle Objective-C selector names here!");
423 break;
424
425 case DeclarationName::CXXConstructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000426 if (ND == Structor)
Mike Stump141c5af2009-09-02 00:25:38 +0000427 // If the named decl is the C++ constructor we're mangling, use the type
428 // we were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000429 mangleCXXCtorType(static_cast<CXXCtorType>(StructorType));
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000430 else
431 // Otherwise, use the complete constructor name. This is relevant if a
432 // class with a constructor is declared within a constructor.
433 mangleCXXCtorType(Ctor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000434 break;
435
436 case DeclarationName::CXXDestructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000437 if (ND == Structor)
Mike Stump141c5af2009-09-02 00:25:38 +0000438 // If the named decl is the C++ destructor we're mangling, use the type we
439 // were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000440 mangleCXXDtorType(static_cast<CXXDtorType>(StructorType));
441 else
442 // Otherwise, use the complete destructor name. This is relevant if a
443 // class with a destructor is declared within a destructor.
444 mangleCXXDtorType(Dtor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000445 break;
446
447 case DeclarationName::CXXConversionFunctionName:
Mike Stump1eb44332009-09-09 15:08:12 +0000448 // <operator-name> ::= cv <type> # (cast)
Douglas Gregor219cc612009-02-13 01:28:03 +0000449 Out << "cv";
Anders Carlssonb5404912009-10-07 01:06:45 +0000450 mangleType(Context.getASTContext().getCanonicalType(Name.getCXXNameType()));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000451 break;
452
453 case DeclarationName::CXXOperatorName:
454 mangleOperatorName(Name.getCXXOverloadedOperator(),
455 cast<FunctionDecl>(ND)->getNumParams());
456 break;
457
Sean Hunt3e518bd2009-11-29 07:34:05 +0000458 case DeclarationName::CXXLiteralOperatorName:
459 // Guessing based on existing ABI.
460 Out << "ul";
461 mangleSourceName(Name.getCXXLiteralIdentifier());
462 break;
463
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000464 case DeclarationName::CXXUsingDirective:
465 assert(false && "Can't mangle a using directive name!");
Douglas Gregor219cc612009-02-13 01:28:03 +0000466 break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000467 }
468}
469
470void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) {
471 // <source-name> ::= <positive length number> <identifier>
472 // <number> ::= [n] <non-negative decimal integer>
473 // <identifier> ::= <unqualified source code identifier>
474 Out << II->getLength() << II->getName();
475}
476
477void CXXNameMangler::mangleNestedName(const NamedDecl *ND) {
478 // <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
479 // ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
Anders Carlssond99edc42009-09-26 03:55:37 +0000480
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000481 Out << 'N';
482 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND))
John McCall0953e762009-09-24 19:53:00 +0000483 mangleQualifiers(Qualifiers::fromCVRMask(Method->getTypeQualifiers()));
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000484
Anders Carlsson2744a062009-09-18 19:00:18 +0000485 // Check if we have a template.
486 const TemplateArgumentList *TemplateArgs = 0;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000487 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000488 mangleTemplatePrefix(TD);
489 mangleTemplateArgumentList(*TemplateArgs);
Anders Carlsson7482e242009-09-18 04:29:09 +0000490 } else {
491 manglePrefix(ND->getDeclContext());
492 mangleUnqualifiedName(ND);
493 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000494
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000495 Out << 'E';
496}
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000497void CXXNameMangler::mangleNestedName(const TemplateDecl *TD,
Anders Carlsson7624f212009-09-18 02:42:01 +0000498 const TemplateArgument *TemplateArgs,
499 unsigned NumTemplateArgs) {
Anders Carlssone45117b2009-09-27 19:53:49 +0000500 // <nested-name> ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
501
Anders Carlsson7624f212009-09-18 02:42:01 +0000502 Out << 'N';
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000503
Anders Carlssone45117b2009-09-27 19:53:49 +0000504 mangleTemplatePrefix(TD);
Anders Carlsson7624f212009-09-18 02:42:01 +0000505 mangleTemplateArgs(TemplateArgs, NumTemplateArgs);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000506
Anders Carlsson7624f212009-09-18 02:42:01 +0000507 Out << 'E';
508}
509
Anders Carlsson1b42c792009-04-02 16:24:45 +0000510void CXXNameMangler::mangleLocalName(const NamedDecl *ND) {
511 // <local-name> := Z <function encoding> E <entity name> [<discriminator>]
512 // := Z <function encoding> E s [<discriminator>]
Mike Stump1eb44332009-09-09 15:08:12 +0000513 // <discriminator> := _ <non-negative number>
Anders Carlsson1b42c792009-04-02 16:24:45 +0000514 Out << 'Z';
515 mangleFunctionEncoding(cast<FunctionDecl>(ND->getDeclContext()));
516 Out << 'E';
517 mangleSourceName(ND->getIdentifier());
518}
519
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000520void CXXNameMangler::manglePrefix(const DeclContext *DC) {
521 // <prefix> ::= <prefix> <unqualified-name>
522 // ::= <template-prefix> <template-args>
523 // ::= <template-param>
524 // ::= # empty
525 // ::= <substitution>
526 // FIXME: We only handle mangling of namespaces and classes at the moment.
Anders Carlsson6862fc72009-09-17 04:16:28 +0000527
Anders Carlssonadd28822009-09-22 20:33:31 +0000528 while (isa<LinkageSpecDecl>(DC))
529 DC = DC->getParent();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000530
Anders Carlsson9263e912009-09-18 18:39:58 +0000531 if (DC->isTranslationUnit())
532 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000533
Anders Carlsson6862fc72009-09-17 04:16:28 +0000534 if (mangleSubstitution(cast<NamedDecl>(DC)))
535 return;
Anders Carlsson7482e242009-09-18 04:29:09 +0000536
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000537 // Check if we have a template.
538 const TemplateArgumentList *TemplateArgs = 0;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000539 if (const TemplateDecl *TD = isTemplate(cast<NamedDecl>(DC), TemplateArgs)) {
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000540 mangleTemplatePrefix(TD);
541 mangleTemplateArgumentList(*TemplateArgs);
542 } else {
543 manglePrefix(DC->getParent());
544 mangleUnqualifiedName(cast<NamedDecl>(DC));
545 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000546
Anders Carlsson6862fc72009-09-17 04:16:28 +0000547 addSubstitution(cast<NamedDecl>(DC));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000548}
549
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000550void CXXNameMangler::mangleTemplatePrefix(const TemplateDecl *ND) {
Anders Carlsson7482e242009-09-18 04:29:09 +0000551 // <template-prefix> ::= <prefix> <template unqualified-name>
552 // ::= <template-param>
553 // ::= <substitution>
554
Anders Carlssonaeb85372009-09-26 22:18:22 +0000555 if (mangleSubstitution(ND))
556 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000557
Anders Carlssonaeb85372009-09-26 22:18:22 +0000558 // FIXME: <template-param>
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000559
Anders Carlssonaa73ab12009-09-18 18:47:07 +0000560 manglePrefix(ND->getDeclContext());
Anders Carlsson1668f202009-09-26 20:13:56 +0000561 mangleUnqualifiedName(ND->getTemplatedDecl());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000562
Anders Carlssonaeb85372009-09-26 22:18:22 +0000563 addSubstitution(ND);
Anders Carlsson7482e242009-09-18 04:29:09 +0000564}
565
Mike Stump1eb44332009-09-09 15:08:12 +0000566void
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000567CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) {
568 switch (OO) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000569 // <operator-name> ::= nw # new
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000570 case OO_New: Out << "nw"; break;
571 // ::= na # new[]
572 case OO_Array_New: Out << "na"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000573 // ::= dl # delete
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000574 case OO_Delete: Out << "dl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000575 // ::= da # delete[]
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000576 case OO_Array_Delete: Out << "da"; break;
577 // ::= ps # + (unary)
578 // ::= pl # +
579 case OO_Plus: Out << (Arity == 1? "ps" : "pl"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000580 // ::= ng # - (unary)
581 // ::= mi # -
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000582 case OO_Minus: Out << (Arity == 1? "ng" : "mi"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000583 // ::= ad # & (unary)
584 // ::= an # &
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000585 case OO_Amp: Out << (Arity == 1? "ad" : "an"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000586 // ::= de # * (unary)
587 // ::= ml # *
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000588 case OO_Star: Out << (Arity == 1? "de" : "ml"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000589 // ::= co # ~
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000590 case OO_Tilde: Out << "co"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000591 // ::= dv # /
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000592 case OO_Slash: Out << "dv"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000593 // ::= rm # %
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000594 case OO_Percent: Out << "rm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000595 // ::= or # |
596 case OO_Pipe: Out << "or"; break;
597 // ::= eo # ^
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000598 case OO_Caret: Out << "eo"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000599 // ::= aS # =
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000600 case OO_Equal: Out << "aS"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000601 // ::= pL # +=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000602 case OO_PlusEqual: Out << "pL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000603 // ::= mI # -=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000604 case OO_MinusEqual: Out << "mI"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000605 // ::= mL # *=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000606 case OO_StarEqual: Out << "mL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000607 // ::= dV # /=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000608 case OO_SlashEqual: Out << "dV"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000609 // ::= rM # %=
610 case OO_PercentEqual: Out << "rM"; break;
611 // ::= aN # &=
612 case OO_AmpEqual: Out << "aN"; break;
613 // ::= oR # |=
614 case OO_PipeEqual: Out << "oR"; break;
615 // ::= eO # ^=
616 case OO_CaretEqual: Out << "eO"; break;
617 // ::= ls # <<
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000618 case OO_LessLess: Out << "ls"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000619 // ::= rs # >>
620 case OO_GreaterGreater: Out << "rs"; break;
621 // ::= lS # <<=
622 case OO_LessLessEqual: Out << "lS"; break;
623 // ::= rS # >>=
624 case OO_GreaterGreaterEqual: Out << "rS"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000625 // ::= eq # ==
626 case OO_EqualEqual: Out << "eq"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000627 // ::= ne # !=
628 case OO_ExclaimEqual: Out << "ne"; break;
629 // ::= lt # <
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000630 case OO_Less: Out << "lt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000631 // ::= gt # >
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000632 case OO_Greater: Out << "gt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000633 // ::= le # <=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000634 case OO_LessEqual: Out << "le"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000635 // ::= ge # >=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000636 case OO_GreaterEqual: Out << "ge"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000637 // ::= nt # !
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000638 case OO_Exclaim: Out << "nt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000639 // ::= aa # &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000640 case OO_AmpAmp: Out << "aa"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000641 // ::= oo # ||
642 case OO_PipePipe: Out << "oo"; break;
643 // ::= pp # ++
644 case OO_PlusPlus: Out << "pp"; break;
645 // ::= mm # --
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000646 case OO_MinusMinus: Out << "mm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000647 // ::= cm # ,
648 case OO_Comma: Out << "cm"; break;
649 // ::= pm # ->*
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000650 case OO_ArrowStar: Out << "pm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000651 // ::= pt # ->
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000652 case OO_Arrow: Out << "pt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000653 // ::= cl # ()
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000654 case OO_Call: Out << "cl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000655 // ::= ix # []
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000656 case OO_Subscript: Out << "ix"; break;
657 // UNSUPPORTED: ::= qu # ?
658
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000659 case OO_None:
660 case OO_Conditional:
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000661 case NUM_OVERLOADED_OPERATORS:
Mike Stump1eb44332009-09-09 15:08:12 +0000662 assert(false && "Not an overloaded operator");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000663 break;
664 }
665}
666
John McCall0953e762009-09-24 19:53:00 +0000667void CXXNameMangler::mangleQualifiers(Qualifiers Quals) {
Mike Stump1eb44332009-09-09 15:08:12 +0000668 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const
John McCall0953e762009-09-24 19:53:00 +0000669 if (Quals.hasRestrict())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000670 Out << 'r';
John McCall0953e762009-09-24 19:53:00 +0000671 if (Quals.hasVolatile())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000672 Out << 'V';
John McCall0953e762009-09-24 19:53:00 +0000673 if (Quals.hasConst())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000674 Out << 'K';
John McCall0953e762009-09-24 19:53:00 +0000675
676 // FIXME: For now, just drop all extension qualifiers on the floor.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000677}
678
679void CXXNameMangler::mangleType(QualType T) {
Anders Carlsson4843e582009-03-10 17:07:44 +0000680 // Only operate on the canonical type!
Anders Carlssonb5404912009-10-07 01:06:45 +0000681 T = Context.getASTContext().getCanonicalType(T);
Anders Carlsson4843e582009-03-10 17:07:44 +0000682
Douglas Gregora4923eb2009-11-16 21:35:15 +0000683 bool IsSubstitutable = T.hasLocalQualifiers() || !isa<BuiltinType>(T);
Anders Carlsson76967372009-09-17 00:43:46 +0000684 if (IsSubstitutable && mangleSubstitution(T))
685 return;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000686
Douglas Gregora4923eb2009-11-16 21:35:15 +0000687 if (Qualifiers Quals = T.getLocalQualifiers()) {
John McCall0953e762009-09-24 19:53:00 +0000688 mangleQualifiers(Quals);
689 // Recurse: even if the qualified type isn't yet substitutable,
690 // the unqualified type might be.
Douglas Gregora4923eb2009-11-16 21:35:15 +0000691 mangleType(T.getLocalUnqualifiedType());
Anders Carlsson76967372009-09-17 00:43:46 +0000692 } else {
693 switch (T->getTypeClass()) {
John McCallefe6aee2009-09-05 07:56:18 +0000694#define ABSTRACT_TYPE(CLASS, PARENT)
695#define NON_CANONICAL_TYPE(CLASS, PARENT) \
Anders Carlsson76967372009-09-17 00:43:46 +0000696 case Type::CLASS: \
697 llvm::llvm_unreachable("can't mangle non-canonical type " #CLASS "Type"); \
698 return;
John McCallefe6aee2009-09-05 07:56:18 +0000699#define TYPE(CLASS, PARENT) \
Anders Carlsson76967372009-09-17 00:43:46 +0000700 case Type::CLASS: \
John McCall0953e762009-09-24 19:53:00 +0000701 mangleType(static_cast<const CLASS##Type*>(T.getTypePtr())); \
Anders Carlsson76967372009-09-17 00:43:46 +0000702 break;
John McCallefe6aee2009-09-05 07:56:18 +0000703#include "clang/AST/TypeNodes.def"
Anders Carlsson76967372009-09-17 00:43:46 +0000704 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000705 }
Anders Carlsson76967372009-09-17 00:43:46 +0000706
707 // Add the substitution.
708 if (IsSubstitutable)
709 addSubstitution(T);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000710}
711
712void CXXNameMangler::mangleType(const BuiltinType *T) {
John McCallefe6aee2009-09-05 07:56:18 +0000713 // <type> ::= <builtin-type>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000714 // <builtin-type> ::= v # void
715 // ::= w # wchar_t
716 // ::= b # bool
717 // ::= c # char
718 // ::= a # signed char
719 // ::= h # unsigned char
720 // ::= s # short
721 // ::= t # unsigned short
722 // ::= i # int
723 // ::= j # unsigned int
724 // ::= l # long
725 // ::= m # unsigned long
726 // ::= x # long long, __int64
727 // ::= y # unsigned long long, __int64
728 // ::= n # __int128
729 // UNSUPPORTED: ::= o # unsigned __int128
730 // ::= f # float
731 // ::= d # double
732 // ::= e # long double, __float80
733 // UNSUPPORTED: ::= g # __float128
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000734 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
735 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
736 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)
737 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits)
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000738 // ::= Di # char32_t
739 // ::= Ds # char16_t
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000740 // ::= u <source-name> # vendor extended type
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000741 // From our point of view, std::nullptr_t is a builtin, but as far as mangling
742 // is concerned, it's a type called std::nullptr_t.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000743 switch (T->getKind()) {
744 case BuiltinType::Void: Out << 'v'; break;
745 case BuiltinType::Bool: Out << 'b'; break;
746 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break;
747 case BuiltinType::UChar: Out << 'h'; break;
748 case BuiltinType::UShort: Out << 't'; break;
749 case BuiltinType::UInt: Out << 'j'; break;
750 case BuiltinType::ULong: Out << 'm'; break;
751 case BuiltinType::ULongLong: Out << 'y'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000752 case BuiltinType::UInt128: Out << 'o'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000753 case BuiltinType::SChar: Out << 'a'; break;
754 case BuiltinType::WChar: Out << 'w'; break;
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000755 case BuiltinType::Char16: Out << "Ds"; break;
756 case BuiltinType::Char32: Out << "Di"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000757 case BuiltinType::Short: Out << 's'; break;
758 case BuiltinType::Int: Out << 'i'; break;
759 case BuiltinType::Long: Out << 'l'; break;
760 case BuiltinType::LongLong: Out << 'x'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000761 case BuiltinType::Int128: Out << 'n'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000762 case BuiltinType::Float: Out << 'f'; break;
763 case BuiltinType::Double: Out << 'd'; break;
764 case BuiltinType::LongDouble: Out << 'e'; break;
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000765 case BuiltinType::NullPtr: Out << "St9nullptr_t"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000766
767 case BuiltinType::Overload:
768 case BuiltinType::Dependent:
Mike Stump1eb44332009-09-09 15:08:12 +0000769 assert(false &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000770 "Overloaded and dependent types shouldn't get to name mangling");
771 break;
Anders Carlssone89d1592009-06-26 18:41:36 +0000772 case BuiltinType::UndeducedAuto:
773 assert(0 && "Should not see undeduced auto here");
774 break;
Steve Naroff9533a7f2009-07-22 17:14:51 +0000775 case BuiltinType::ObjCId: Out << "11objc_object"; break;
776 case BuiltinType::ObjCClass: Out << "10objc_class"; break;
Fariborz Jahanian13dcd002009-11-21 19:53:08 +0000777 case BuiltinType::ObjCSel: Out << "13objc_selector"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000778 }
779}
780
John McCallefe6aee2009-09-05 07:56:18 +0000781// <type> ::= <function-type>
782// <function-type> ::= F [Y] <bare-function-type> E
783void CXXNameMangler::mangleType(const FunctionProtoType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000784 Out << 'F';
Mike Stumpf5408fe2009-05-16 07:57:57 +0000785 // FIXME: We don't have enough information in the AST to produce the 'Y'
786 // encoding for extern "C" function types.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000787 mangleBareFunctionType(T, /*MangleReturnType=*/true);
788 Out << 'E';
789}
John McCallefe6aee2009-09-05 07:56:18 +0000790void CXXNameMangler::mangleType(const FunctionNoProtoType *T) {
791 llvm::llvm_unreachable("Can't mangle K&R function prototypes");
792}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000793void CXXNameMangler::mangleBareFunctionType(const FunctionType *T,
794 bool MangleReturnType) {
John McCallefe6aee2009-09-05 07:56:18 +0000795 // We should never be mangling something without a prototype.
796 const FunctionProtoType *Proto = cast<FunctionProtoType>(T);
797
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000798 // <bare-function-type> ::= <signature type>+
799 if (MangleReturnType)
John McCallefe6aee2009-09-05 07:56:18 +0000800 mangleType(Proto->getResultType());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000801
Anders Carlssonc6c91bc2009-04-01 00:15:23 +0000802 if (Proto->getNumArgs() == 0) {
803 Out << 'v';
804 return;
805 }
Mike Stump1eb44332009-09-09 15:08:12 +0000806
Douglas Gregor72564e72009-02-26 23:50:07 +0000807 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(),
Mike Stump1eb44332009-09-09 15:08:12 +0000808 ArgEnd = Proto->arg_type_end();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000809 Arg != ArgEnd; ++Arg)
810 mangleType(*Arg);
Douglas Gregor219cc612009-02-13 01:28:03 +0000811
812 // <builtin-type> ::= z # ellipsis
813 if (Proto->isVariadic())
814 Out << 'z';
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000815}
816
John McCallefe6aee2009-09-05 07:56:18 +0000817// <type> ::= <class-enum-type>
Mike Stump1eb44332009-09-09 15:08:12 +0000818// <class-enum-type> ::= <name>
John McCallefe6aee2009-09-05 07:56:18 +0000819void CXXNameMangler::mangleType(const EnumType *T) {
820 mangleType(static_cast<const TagType*>(T));
821}
822void CXXNameMangler::mangleType(const RecordType *T) {
823 mangleType(static_cast<const TagType*>(T));
824}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000825void CXXNameMangler::mangleType(const TagType *T) {
Anders Carlsson4843e582009-03-10 17:07:44 +0000826 if (!T->getDecl()->getIdentifier())
827 mangleName(T->getDecl()->getTypedefForAnonDecl());
828 else
829 mangleName(T->getDecl());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000830}
831
John McCallefe6aee2009-09-05 07:56:18 +0000832// <type> ::= <array-type>
833// <array-type> ::= A <positive dimension number> _ <element type>
834// ::= A [<dimension expression>] _ <element type>
835void CXXNameMangler::mangleType(const ConstantArrayType *T) {
836 Out << 'A' << T->getSize() << '_';
837 mangleType(T->getElementType());
838}
839void CXXNameMangler::mangleType(const VariableArrayType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000840 Out << 'A';
John McCallefe6aee2009-09-05 07:56:18 +0000841 mangleExpression(T->getSizeExpr());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000842 Out << '_';
843 mangleType(T->getElementType());
844}
John McCallefe6aee2009-09-05 07:56:18 +0000845void CXXNameMangler::mangleType(const DependentSizedArrayType *T) {
846 Out << 'A';
847 mangleExpression(T->getSizeExpr());
848 Out << '_';
849 mangleType(T->getElementType());
850}
851void CXXNameMangler::mangleType(const IncompleteArrayType *T) {
852 Out << 'A' << '_';
853 mangleType(T->getElementType());
854}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000855
John McCallefe6aee2009-09-05 07:56:18 +0000856// <type> ::= <pointer-to-member-type>
857// <pointer-to-member-type> ::= M <class type> <member type>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000858void CXXNameMangler::mangleType(const MemberPointerType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000859 Out << 'M';
860 mangleType(QualType(T->getClass(), 0));
Anders Carlsson0e650012009-05-17 17:41:20 +0000861 QualType PointeeType = T->getPointeeType();
862 if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(PointeeType)) {
John McCall0953e762009-09-24 19:53:00 +0000863 mangleQualifiers(Qualifiers::fromCVRMask(FPT->getTypeQuals()));
Anders Carlsson0e650012009-05-17 17:41:20 +0000864 mangleType(FPT);
Mike Stump1eb44332009-09-09 15:08:12 +0000865 } else
Anders Carlsson0e650012009-05-17 17:41:20 +0000866 mangleType(PointeeType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000867}
868
John McCallefe6aee2009-09-05 07:56:18 +0000869// <type> ::= <template-param>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000870void CXXNameMangler::mangleType(const TemplateTypeParmType *T) {
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +0000871 mangleTemplateParameter(T->getIndex());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000872}
873
John McCallefe6aee2009-09-05 07:56:18 +0000874// FIXME: <type> ::= <template-template-param> <template-args>
John McCallefe6aee2009-09-05 07:56:18 +0000875
876// <type> ::= P <type> # pointer-to
877void CXXNameMangler::mangleType(const PointerType *T) {
878 Out << 'P';
879 mangleType(T->getPointeeType());
880}
881void CXXNameMangler::mangleType(const ObjCObjectPointerType *T) {
882 Out << 'P';
883 mangleType(T->getPointeeType());
884}
885
886// <type> ::= R <type> # reference-to
887void CXXNameMangler::mangleType(const LValueReferenceType *T) {
888 Out << 'R';
889 mangleType(T->getPointeeType());
890}
891
892// <type> ::= O <type> # rvalue reference-to (C++0x)
893void CXXNameMangler::mangleType(const RValueReferenceType *T) {
894 Out << 'O';
895 mangleType(T->getPointeeType());
896}
897
898// <type> ::= C <type> # complex pair (C 2000)
899void CXXNameMangler::mangleType(const ComplexType *T) {
900 Out << 'C';
901 mangleType(T->getElementType());
902}
903
904// GNU extension: vector types
905void CXXNameMangler::mangleType(const VectorType *T) {
906 Out << "U8__vector";
907 mangleType(T->getElementType());
908}
909void CXXNameMangler::mangleType(const ExtVectorType *T) {
910 mangleType(static_cast<const VectorType*>(T));
911}
912void CXXNameMangler::mangleType(const DependentSizedExtVectorType *T) {
913 Out << "U8__vector";
914 mangleType(T->getElementType());
915}
916
Anders Carlssona40c5e42009-03-07 22:03:21 +0000917void CXXNameMangler::mangleType(const ObjCInterfaceType *T) {
918 mangleSourceName(T->getDecl()->getIdentifier());
919}
920
John McCallefe6aee2009-09-05 07:56:18 +0000921void CXXNameMangler::mangleType(const BlockPointerType *T) {
922 assert(false && "can't mangle block pointer types yet");
923}
924
925void CXXNameMangler::mangleType(const FixedWidthIntType *T) {
926 assert(false && "can't mangle arbitary-precision integer type yet");
927}
928
929void CXXNameMangler::mangleType(const TemplateSpecializationType *T) {
Anders Carlsson7624f212009-09-18 02:42:01 +0000930 TemplateDecl *TD = T->getTemplateName().getAsTemplateDecl();
931 assert(TD && "FIXME: Support dependent template names!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000932
Anders Carlsson7624f212009-09-18 02:42:01 +0000933 mangleName(TD, T->getArgs(), T->getNumArgs());
John McCallefe6aee2009-09-05 07:56:18 +0000934}
935
936void CXXNameMangler::mangleType(const TypenameType *T) {
Anders Carlssonae352482009-09-26 02:26:02 +0000937 // Typename types are always nested
938 Out << 'N';
939
940 const Type *QTy = T->getQualifier()->getAsType();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000941 if (const TemplateSpecializationType *TST =
Anders Carlssonae352482009-09-26 02:26:02 +0000942 dyn_cast<TemplateSpecializationType>(QTy)) {
Anders Carlsson88599172009-09-27 01:06:07 +0000943 if (!mangleSubstitution(QualType(TST, 0))) {
944 TemplateDecl *TD = TST->getTemplateName().getAsTemplateDecl();
Anders Carlssonae352482009-09-26 02:26:02 +0000945
Anders Carlsson88599172009-09-27 01:06:07 +0000946 mangleTemplatePrefix(TD);
947 mangleTemplateArgs(TST->getArgs(), TST->getNumArgs());
948 addSubstitution(QualType(TST, 0));
949 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000950 } else if (const TemplateTypeParmType *TTPT =
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +0000951 dyn_cast<TemplateTypeParmType>(QTy)) {
952 // We use the QualType mangle type variant here because it handles
953 // substitutions.
954 mangleType(QualType(TTPT, 0));
Anders Carlssonae352482009-09-26 02:26:02 +0000955 } else
956 assert(false && "Unhandled type!");
957
958 mangleSourceName(T->getIdentifier());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000959
Anders Carlssonae352482009-09-26 02:26:02 +0000960 Out << 'E';
John McCallefe6aee2009-09-05 07:56:18 +0000961}
962
Anders Carlssond553f8c2009-09-21 01:21:10 +0000963void CXXNameMangler::mangleExpression(const Expr *E) {
964 // <expression> ::= <unary operator-name> <expression>
965 // ::= <binary operator-name> <expression> <expression>
966 // ::= <trinary operator-name> <expression> <expression> <expression>
967 // ::= cl <expression>* E # call
968 // ::= cv <type> expression # conversion with one argument
969 // ::= cv <type> _ <expression>* E # conversion with a different number of arguments
970 // ::= st <type> # sizeof (a type)
971 // ::= at <type> # alignof (a type)
972 // ::= <template-param>
973 // ::= <function-param>
974 // ::= sr <type> <unqualified-name> # dependent name
975 // ::= sr <type> <unqualified-name> <template-args> # dependent template-id
976 // ::= sZ <template-param> # size of a parameter pack
977 // ::= <expr-primary>
978 switch (E->getStmtClass()) {
979 default: assert(false && "Unhandled expression kind!");
Anders Carlssona7694082009-11-06 02:50:19 +0000980
981 case Expr::ParenExprClass:
982 mangleExpression(cast<ParenExpr>(E)->getSubExpr());
983 break;
984
Anders Carlssond553f8c2009-09-21 01:21:10 +0000985 case Expr::DeclRefExprClass: {
986 const Decl *D = cast<DeclRefExpr>(E)->getDecl();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000987
Anders Carlssond553f8c2009-09-21 01:21:10 +0000988 switch (D->getKind()) {
989 default: assert(false && "Unhandled decl kind!");
990 case Decl::NonTypeTemplateParm: {
991 const NonTypeTemplateParmDecl *PD = cast<NonTypeTemplateParmDecl>(D);
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +0000992 mangleTemplateParameter(PD->getIndex());
Anders Carlssond553f8c2009-09-21 01:21:10 +0000993 break;
994 }
995
996 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000997
Anders Carlsson50755b02009-09-27 20:11:34 +0000998 break;
Anders Carlssond553f8c2009-09-21 01:21:10 +0000999 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001000
John McCall865d4472009-11-19 22:55:06 +00001001 case Expr::DependentScopeDeclRefExprClass: {
1002 const DependentScopeDeclRefExpr *DRE = cast<DependentScopeDeclRefExpr>(E);
Anders Carlsson50755b02009-09-27 20:11:34 +00001003 const Type *QTy = DRE->getQualifier()->getAsType();
1004 assert(QTy && "Qualifier was not type!");
1005
1006 // ::= sr <type> <unqualified-name> # dependent name
1007 Out << "sr";
1008 mangleType(QualType(QTy, 0));
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001009
Anders Carlsson50755b02009-09-27 20:11:34 +00001010 assert(DRE->getDeclName().getNameKind() == DeclarationName::Identifier &&
1011 "Unhandled decl name kind!");
1012 mangleSourceName(DRE->getDeclName().getAsIdentifierInfo());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001013
Anders Carlsson50755b02009-09-27 20:11:34 +00001014 break;
1015 }
1016
Anders Carlssond553f8c2009-09-21 01:21:10 +00001017 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001018}
1019
John McCallefe6aee2009-09-05 07:56:18 +00001020// FIXME: <type> ::= G <type> # imaginary (C 2000)
1021// FIXME: <type> ::= U <source-name> <type> # vendor extended type qualifier
1022
Anders Carlsson3ac86b52009-04-15 05:36:58 +00001023void CXXNameMangler::mangleCXXCtorType(CXXCtorType T) {
1024 // <ctor-dtor-name> ::= C1 # complete object constructor
1025 // ::= C2 # base object constructor
1026 // ::= C3 # complete object allocating constructor
1027 //
1028 switch (T) {
1029 case Ctor_Complete:
1030 Out << "C1";
1031 break;
1032 case Ctor_Base:
1033 Out << "C2";
1034 break;
1035 case Ctor_CompleteAllocating:
1036 Out << "C3";
1037 break;
1038 }
1039}
1040
Anders Carlsson27ae5362009-04-17 01:58:57 +00001041void CXXNameMangler::mangleCXXDtorType(CXXDtorType T) {
1042 // <ctor-dtor-name> ::= D0 # deleting destructor
1043 // ::= D1 # complete object destructor
1044 // ::= D2 # base object destructor
1045 //
1046 switch (T) {
1047 case Dtor_Deleting:
1048 Out << "D0";
1049 break;
1050 case Dtor_Complete:
1051 Out << "D1";
1052 break;
1053 case Dtor_Base:
1054 Out << "D2";
1055 break;
1056 }
1057}
1058
Anders Carlsson068f3472009-09-17 05:31:47 +00001059void CXXNameMangler::mangleTemplateArgumentList(const TemplateArgumentList &L) {
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001060 // <template-args> ::= I <template-arg>+ E
1061 Out << "I";
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001062 for (unsigned i = 0, e = L.size(); i != e; ++i)
1063 mangleTemplateArgument(L[i]);
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001064 Out << "E";
1065}
1066
Anders Carlsson7624f212009-09-18 02:42:01 +00001067void CXXNameMangler::mangleTemplateArgs(const TemplateArgument *TemplateArgs,
1068 unsigned NumTemplateArgs) {
1069 // <template-args> ::= I <template-arg>+ E
1070 Out << "I";
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001071 for (unsigned i = 0; i != NumTemplateArgs; ++i)
Anders Carlsson7624f212009-09-18 02:42:01 +00001072 mangleTemplateArgument(TemplateArgs[i]);
Anders Carlsson7624f212009-09-18 02:42:01 +00001073 Out << "E";
1074}
1075
Anders Carlsson068f3472009-09-17 05:31:47 +00001076void CXXNameMangler::mangleTemplateArgument(const TemplateArgument &A) {
Mike Stump1eb44332009-09-09 15:08:12 +00001077 // <template-arg> ::= <type> # type or template
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001078 // ::= X <expression> E # expression
1079 // ::= <expr-primary> # simple expressions
1080 // ::= I <template-arg>* E # argument pack
1081 // ::= sp <expression> # pack expansion of (C++0x)
1082 switch (A.getKind()) {
1083 default:
1084 assert(0 && "Unknown template argument kind!");
1085 case TemplateArgument::Type:
1086 mangleType(A.getAsType());
1087 break;
Anders Carlssond553f8c2009-09-21 01:21:10 +00001088 case TemplateArgument::Expression:
1089 Out << 'X';
1090 mangleExpression(A.getAsExpr());
1091 Out << 'E';
1092 break;
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001093 case TemplateArgument::Integral: {
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001094 // <expr-primary> ::= L <type> <value number> E # integer literal
1095
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001096 const llvm::APSInt *Integral = A.getAsIntegral();
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001097 Out << 'L';
1098 mangleType(A.getIntegralType());
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001099 if (A.getIntegralType()->isBooleanType()) {
1100 // Boolean values are encoded as 0/1.
1101 Out << (Integral->getBoolValue() ? '1' : '0');
1102 } else {
1103 if (Integral->isNegative())
1104 Out << 'n';
1105 Integral->abs().print(Out, false);
1106 }
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001107 Out << 'E';
1108 break;
1109 }
Daniel Dunbar7e0c1952009-11-21 09:17:15 +00001110 case TemplateArgument::Declaration: {
1111 // <expr-primary> ::= L <mangled-name> E # external name
1112
1113 // FIXME: Clang produces AST's where pointer-to-member-function expressions
1114 // and pointer-to-function expressions are represented as a declaration not
1115 // an expression; this is not how gcc represents them and this changes the
1116 // mangling.
1117 Out << 'L';
1118 // References to external entities use the mangled name; if the name would
1119 // not normally be manged then mangle it as unqualified.
1120 //
1121 // FIXME: The ABI specifies that external names here should have _Z, but
1122 // gcc leaves this off.
1123 mangle(cast<NamedDecl>(A.getAsDecl()), "Z");
1124 Out << 'E';
1125 break;
1126 }
1127 }
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001128}
1129
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001130void CXXNameMangler::mangleTemplateParameter(unsigned Index) {
1131 // <template-param> ::= T_ # first template parameter
1132 // ::= T <parameter-2 non-negative number> _
1133 if (Index == 0)
1134 Out << "T_";
1135 else
1136 Out << 'T' << (Index - 1) << '_';
1137}
1138
Anders Carlsson76967372009-09-17 00:43:46 +00001139// <substitution> ::= S <seq-id> _
1140// ::= S_
Anders Carlsson6862fc72009-09-17 04:16:28 +00001141bool CXXNameMangler::mangleSubstitution(const NamedDecl *ND) {
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001142 // Try one of the standard substitutions first.
1143 if (mangleStandardSubstitution(ND))
1144 return true;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001145
Anders Carlsson433d1372009-11-07 04:26:04 +00001146 ND = cast<NamedDecl>(ND->getCanonicalDecl());
Anders Carlsson6862fc72009-09-17 04:16:28 +00001147 return mangleSubstitution(reinterpret_cast<uintptr_t>(ND));
1148}
1149
Anders Carlsson76967372009-09-17 00:43:46 +00001150bool CXXNameMangler::mangleSubstitution(QualType T) {
Anders Carlssond99edc42009-09-26 03:55:37 +00001151 if (!T.getCVRQualifiers()) {
1152 if (const RecordType *RT = T->getAs<RecordType>())
1153 return mangleSubstitution(RT->getDecl());
1154 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001155
Anders Carlsson76967372009-09-17 00:43:46 +00001156 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr());
1157
Anders Carlssond3a932a2009-09-17 03:53:28 +00001158 return mangleSubstitution(TypePtr);
1159}
1160
1161bool CXXNameMangler::mangleSubstitution(uintptr_t Ptr) {
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001162 llvm::DenseMap<uintptr_t, unsigned>::iterator I =
Anders Carlssond3a932a2009-09-17 03:53:28 +00001163 Substitutions.find(Ptr);
Anders Carlsson76967372009-09-17 00:43:46 +00001164 if (I == Substitutions.end())
1165 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001166
Anders Carlsson76967372009-09-17 00:43:46 +00001167 unsigned SeqID = I->second;
1168 if (SeqID == 0)
1169 Out << "S_";
1170 else {
1171 SeqID--;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001172
Anders Carlsson76967372009-09-17 00:43:46 +00001173 // <seq-id> is encoded in base-36, using digits and upper case letters.
1174 char Buffer[10];
1175 char *BufferPtr = Buffer + 9;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001176
Anders Carlsson76967372009-09-17 00:43:46 +00001177 *BufferPtr = 0;
1178 if (SeqID == 0) *--BufferPtr = '0';
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001179
Anders Carlsson76967372009-09-17 00:43:46 +00001180 while (SeqID) {
1181 assert(BufferPtr > Buffer && "Buffer overflow!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001182
Anders Carlsson76967372009-09-17 00:43:46 +00001183 unsigned char c = static_cast<unsigned char>(SeqID) % 36;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001184
Anders Carlsson76967372009-09-17 00:43:46 +00001185 *--BufferPtr = (c < 10 ? '0' + c : 'A' + c - 10);
1186 SeqID /= 36;
1187 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001188
Anders Carlsson76967372009-09-17 00:43:46 +00001189 Out << 'S' << BufferPtr << '_';
1190 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001191
Anders Carlsson76967372009-09-17 00:43:46 +00001192 return true;
1193}
1194
Anders Carlssonf514b542009-09-27 00:12:57 +00001195static bool isCharType(QualType T) {
1196 if (T.isNull())
1197 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001198
Anders Carlssonf514b542009-09-27 00:12:57 +00001199 return T->isSpecificBuiltinType(BuiltinType::Char_S) ||
1200 T->isSpecificBuiltinType(BuiltinType::Char_U);
1201}
1202
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001203/// isCharSpecialization - Returns whether a given type is a template
Anders Carlssonf514b542009-09-27 00:12:57 +00001204/// specialization of a given name with a single argument of type char.
1205static bool isCharSpecialization(QualType T, const char *Name) {
1206 if (T.isNull())
1207 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001208
Anders Carlssonf514b542009-09-27 00:12:57 +00001209 const RecordType *RT = T->getAs<RecordType>();
1210 if (!RT)
1211 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001212
1213 const ClassTemplateSpecializationDecl *SD =
Anders Carlssonf514b542009-09-27 00:12:57 +00001214 dyn_cast<ClassTemplateSpecializationDecl>(RT->getDecl());
1215 if (!SD)
1216 return false;
1217
1218 if (!isStdNamespace(SD->getDeclContext()))
1219 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001220
Anders Carlssonf514b542009-09-27 00:12:57 +00001221 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
1222 if (TemplateArgs.size() != 1)
1223 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001224
Anders Carlssonf514b542009-09-27 00:12:57 +00001225 if (!isCharType(TemplateArgs[0].getAsType()))
1226 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001227
Daniel Dunbar01eb9b92009-10-18 21:17:35 +00001228 return SD->getIdentifier()->getName() == Name;
Anders Carlssonf514b542009-09-27 00:12:57 +00001229}
1230
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001231bool CXXNameMangler::mangleStandardSubstitution(const NamedDecl *ND) {
1232 // <substitution> ::= St # ::std::
Mike Stumpc2e84ae2009-11-15 08:09:41 +00001233 // FIXME: type_info == comes out as __ZNK3std9type_infoeqERKS0_ instead of
1234 // __ZNKSt9type_infoeqERKS_
Anders Carlsson8c031552009-09-26 23:10:05 +00001235 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) {
John McCall9aeed322009-10-01 00:25:31 +00001236 if (isStdNamespace(NS)) {
Anders Carlsson8c031552009-09-26 23:10:05 +00001237 Out << "St";
1238 return true;
1239 }
1240 }
1241
1242 if (const ClassTemplateDecl *TD = dyn_cast<ClassTemplateDecl>(ND)) {
1243 if (!isStdNamespace(TD->getDeclContext()))
1244 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001245
Anders Carlsson8c031552009-09-26 23:10:05 +00001246 // <substitution> ::= Sa # ::std::allocator
1247 if (TD->getIdentifier()->isStr("allocator")) {
1248 Out << "Sa";
1249 return true;
1250 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001251
Anders Carlsson189d59c2009-09-26 23:14:39 +00001252 // <<substitution> ::= Sb # ::std::basic_string
1253 if (TD->getIdentifier()->isStr("basic_string")) {
1254 Out << "Sb";
1255 return true;
1256 }
Anders Carlsson8c031552009-09-26 23:10:05 +00001257 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001258
1259 if (const ClassTemplateSpecializationDecl *SD =
Anders Carlssonf514b542009-09-27 00:12:57 +00001260 dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
1261 // <substitution> ::= Ss # ::std::basic_string<char,
1262 // ::std::char_traits<char>,
1263 // ::std::allocator<char> >
1264 if (SD->getIdentifier()->isStr("basic_string")) {
1265 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001266
Anders Carlssonf514b542009-09-27 00:12:57 +00001267 if (TemplateArgs.size() != 3)
1268 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001269
Anders Carlssonf514b542009-09-27 00:12:57 +00001270 if (!isCharType(TemplateArgs[0].getAsType()))
1271 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001272
Anders Carlssonf514b542009-09-27 00:12:57 +00001273 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits"))
1274 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001275
Anders Carlssonf514b542009-09-27 00:12:57 +00001276 if (!isCharSpecialization(TemplateArgs[2].getAsType(), "allocator"))
1277 return false;
1278
1279 Out << "Ss";
1280 return true;
1281 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001282
1283 // <substitution> ::= So # ::std::basic_ostream<char,
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001284 // ::std::char_traits<char> >
1285 if (SD->getIdentifier()->isStr("basic_ostream")) {
1286 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001287
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001288 if (TemplateArgs.size() != 2)
1289 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001290
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001291 if (!isCharType(TemplateArgs[0].getAsType()))
1292 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001293
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001294 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits"))
1295 return false;
1296
1297 Out << "So";
1298 return true;
1299 }
Anders Carlssonf514b542009-09-27 00:12:57 +00001300 }
Anders Carlsson8c031552009-09-26 23:10:05 +00001301 return false;
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001302}
1303
Anders Carlsson76967372009-09-17 00:43:46 +00001304void CXXNameMangler::addSubstitution(QualType T) {
Anders Carlssond99edc42009-09-26 03:55:37 +00001305 if (!T.getCVRQualifiers()) {
1306 if (const RecordType *RT = T->getAs<RecordType>()) {
1307 addSubstitution(RT->getDecl());
1308 return;
1309 }
1310 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001311
Anders Carlsson76967372009-09-17 00:43:46 +00001312 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr());
Anders Carlssond3a932a2009-09-17 03:53:28 +00001313 addSubstitution(TypePtr);
1314}
1315
1316void CXXNameMangler::addSubstitution(uintptr_t Ptr) {
Anders Carlsson76967372009-09-17 00:43:46 +00001317 unsigned SeqID = Substitutions.size();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001318
Anders Carlssond3a932a2009-09-17 03:53:28 +00001319 assert(!Substitutions.count(Ptr) && "Substitution already exists!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001320 Substitutions[Ptr] = SeqID;
Anders Carlsson76967372009-09-17 00:43:46 +00001321}
1322
Daniel Dunbar1b077112009-11-21 09:06:10 +00001323//
Mike Stump1eb44332009-09-09 15:08:12 +00001324
Daniel Dunbar1b077112009-11-21 09:06:10 +00001325/// \brief Mangles the name of the declaration D and emits that name to the
1326/// given output stream.
1327///
1328/// If the declaration D requires a mangled name, this routine will emit that
1329/// mangled name to \p os and return true. Otherwise, \p os will be unchanged
1330/// and this routine will return false. In this case, the caller should just
1331/// emit the identifier of the declaration (\c D->getIdentifier()) as its
1332/// name.
Daniel Dunbarf981bf82009-11-21 09:14:52 +00001333void MangleContext::mangleName(const NamedDecl *D,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001334 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc02ab4c2009-11-21 09:14:44 +00001335 assert((isa<FunctionDecl>(D) || isa<VarDecl>(D)) &&
1336 "Invalid mangleName() call, argument is not a variable or function!");
1337 assert(!isa<CXXConstructorDecl>(D) && !isa<CXXDestructorDecl>(D) &&
1338 "Invalid mangleName() call on 'structor decl!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001339
Daniel Dunbar1b077112009-11-21 09:06:10 +00001340 PrettyStackTraceDecl CrashInfo(D, SourceLocation(),
1341 getASTContext().getSourceManager(),
1342 "Mangling declaration");
Mike Stump1eb44332009-09-09 15:08:12 +00001343
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001344 CXXNameMangler Mangler(*this, Res);
1345 return Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001346}
Mike Stump1eb44332009-09-09 15:08:12 +00001347
Daniel Dunbar1b077112009-11-21 09:06:10 +00001348void MangleContext::mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001349 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar77939c92009-11-21 09:06:31 +00001350 CXXNameMangler Mangler(*this, Res, D, Type);
1351 Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001352}
Mike Stump1eb44332009-09-09 15:08:12 +00001353
Daniel Dunbar1b077112009-11-21 09:06:10 +00001354void MangleContext::mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001355 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar77939c92009-11-21 09:06:31 +00001356 CXXNameMangler Mangler(*this, Res, D, Type);
1357 Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001358}
Mike Stumpf1216772009-07-31 18:25:34 +00001359
Daniel Dunbarc0747712009-11-21 09:12:13 +00001360/// \brief Mangles the a thunk with the offset n for the declaration D and
1361/// emits that name to the given output stream.
Anders Carlssona94822e2009-11-26 02:32:05 +00001362void MangleContext::mangleThunk(const FunctionDecl *FD,
Anders Carlssonb73a5be2009-11-26 02:49:32 +00001363 const ThunkAdjustment &ThisAdjustment,
Daniel Dunbarc0747712009-11-21 09:12:13 +00001364 llvm::SmallVectorImpl<char> &Res) {
1365 // FIXME: Hum, we might have to thunk these, fix.
1366 assert(!isa<CXXDestructorDecl>(FD) &&
1367 "Use mangleCXXDtor for destructor decls!");
1368
1369 // <special-name> ::= T <call-offset> <base encoding>
1370 // # base is the nominal target function of thunk
1371 CXXNameMangler Mangler(*this, Res);
1372 Mangler.getStream() << "_ZT";
Anders Carlssonb73a5be2009-11-26 02:49:32 +00001373 Mangler.mangleCallOffset(ThisAdjustment);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001374 Mangler.mangleFunctionEncoding(FD);
1375}
1376
1377/// \brief Mangles the a covariant thunk for the declaration D and emits that
1378/// name to the given output stream.
Anders Carlsson7622cd32009-11-26 03:09:37 +00001379void
1380MangleContext::mangleCovariantThunk(const FunctionDecl *FD,
1381 const CovariantThunkAdjustment& Adjustment,
1382 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001383 // FIXME: Hum, we might have to thunk these, fix.
1384 assert(!isa<CXXDestructorDecl>(FD) &&
1385 "Use mangleCXXDtor for destructor decls!");
1386
1387 // <special-name> ::= Tc <call-offset> <call-offset> <base encoding>
1388 // # base is the nominal target function of thunk
1389 // # first call-offset is 'this' adjustment
1390 // # second call-offset is result adjustment
1391 CXXNameMangler Mangler(*this, Res);
1392 Mangler.getStream() << "_ZTc";
Anders Carlsson7622cd32009-11-26 03:09:37 +00001393 Mangler.mangleCallOffset(Adjustment.ThisAdjustment);
1394 Mangler.mangleCallOffset(Adjustment.ReturnAdjustment);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001395 Mangler.mangleFunctionEncoding(FD);
1396}
1397
1398/// mangleGuardVariable - Returns the mangled name for a guard variable
1399/// for the passed in VarDecl.
1400void MangleContext::mangleGuardVariable(const VarDecl *D,
1401 llvm::SmallVectorImpl<char> &Res) {
1402 // <special-name> ::= GV <object name> # Guard variable for one-time
1403 // # initialization
1404 CXXNameMangler Mangler(*this, Res);
1405 Mangler.getStream() << "_ZGV";
1406 Mangler.mangleName(D);
1407}
1408
Daniel Dunbar1b077112009-11-21 09:06:10 +00001409void MangleContext::mangleCXXVtable(const CXXRecordDecl *RD,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001410 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001411 // <special-name> ::= TV <type> # virtual table
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001412 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001413 Mangler.getStream() << "_ZTV";
1414 Mangler.mangleName(RD);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001415}
Mike Stump82d75b02009-11-10 01:58:37 +00001416
Daniel Dunbar1b077112009-11-21 09:06:10 +00001417void MangleContext::mangleCXXVTT(const CXXRecordDecl *RD,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001418 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001419 // <special-name> ::= TT <type> # VTT structure
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001420 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001421 Mangler.getStream() << "_ZTT";
1422 Mangler.mangleName(RD);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001423}
Mike Stumpab3f7e92009-11-10 01:41:59 +00001424
Daniel Dunbar1b077112009-11-21 09:06:10 +00001425void MangleContext::mangleCXXCtorVtable(const CXXRecordDecl *RD, int64_t Offset,
1426 const CXXRecordDecl *Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001427 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001428 // <special-name> ::= TC <type> <offset number> _ <base type>
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001429 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001430 Mangler.getStream() << "_ZTC";
1431 Mangler.mangleName(RD);
1432 Mangler.getStream() << Offset;
1433 Mangler.getStream() << "_";
1434 Mangler.mangleName(Type);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001435}
Mike Stump738f8c22009-07-31 23:15:31 +00001436
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001437void MangleContext::mangleCXXRtti(QualType Ty,
1438 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001439 // <special-name> ::= TI <type> # typeinfo structure
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001440 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001441 Mangler.getStream() << "_ZTI";
1442 Mangler.mangleType(Ty);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001443}
Mike Stump67795982009-11-14 00:14:13 +00001444
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001445void MangleContext::mangleCXXRttiName(QualType Ty,
1446 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbarc0747712009-11-21 09:12:13 +00001447 // <special-name> ::= TS <type> # typeinfo name (null terminated byte string)
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001448 CXXNameMangler Mangler(*this, Res);
Daniel Dunbarc0747712009-11-21 09:12:13 +00001449 Mangler.getStream() << "_ZTS";
1450 Mangler.mangleType(Ty);
Mike Stumpf1216772009-07-31 18:25:34 +00001451}