blob: d03761ea2431f64cd0d3b0eff84fb55ca804773b [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/Compiler.h"
27#include "llvm/Support/raw_ostream.h"
John McCallefe6aee2009-09-05 07:56:18 +000028#include "llvm/Support/ErrorHandling.h"
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000029using namespace clang;
30
31namespace {
Daniel Dunbar1b077112009-11-21 09:06:10 +000032/// CXXNameMangler - Manage the mangling of a single name.
33class VISIBILITY_HIDDEN CXXNameMangler {
34 MangleContext &Context;
Daniel Dunbar94fd26d2009-11-21 09:06:22 +000035 llvm::raw_svector_ostream Out;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000036
Daniel Dunbar1b077112009-11-21 09:06:10 +000037 const CXXMethodDecl *Structor;
38 unsigned StructorType;
39 CXXCtorType CtorType;
Mike Stump1eb44332009-09-09 15:08:12 +000040
Daniel Dunbar1b077112009-11-21 09:06:10 +000041 llvm::DenseMap<uintptr_t, unsigned> Substitutions;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000042
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000043 public:
Daniel Dunbar94fd26d2009-11-21 09:06:22 +000044 CXXNameMangler(MangleContext &C, llvm::SmallVectorImpl<char> &Res)
45 : Context(C), Out(Res), Structor(0), StructorType(0) { }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000046
Daniel Dunbar1b077112009-11-21 09:06:10 +000047 bool mangle(const NamedDecl *D);
48 void mangleCalloffset(int64_t nv, int64_t v);
49 void mangleThunk(const FunctionDecl *FD, int64_t nv, int64_t v);
50 void mangleCovariantThunk(const FunctionDecl *FD,
51 int64_t nv_t, int64_t v_t,
52 int64_t nv_r, int64_t v_r);
53 void mangleGuardVariable(const VarDecl *D);
Mike Stump1eb44332009-09-09 15:08:12 +000054
Daniel Dunbar1b077112009-11-21 09:06:10 +000055 void mangleCXXVtable(const CXXRecordDecl *RD);
56 void mangleCXXVTT(const CXXRecordDecl *RD);
57 void mangleCXXCtorVtable(const CXXRecordDecl *RD, int64_t Offset,
58 const CXXRecordDecl *Type);
59 void mangleCXXRtti(QualType Ty);
60 void mangleCXXRttiName(QualType Ty);
61 void mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type);
62 void mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type);
Anders Carlsson3ac86b52009-04-15 05:36:58 +000063
Anders Carlsson43f17402009-04-02 15:51:53 +000064 private:
Daniel Dunbar1b077112009-11-21 09:06:10 +000065 bool mangleSubstitution(const NamedDecl *ND);
66 bool mangleSubstitution(QualType T);
67 bool mangleSubstitution(uintptr_t Ptr);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000068
Daniel Dunbar1b077112009-11-21 09:06:10 +000069 bool mangleStandardSubstitution(const NamedDecl *ND);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000070
Daniel Dunbar1b077112009-11-21 09:06:10 +000071 void addSubstitution(const NamedDecl *ND) {
72 ND = cast<NamedDecl>(ND->getCanonicalDecl());
Anders Carlsson433d1372009-11-07 04:26:04 +000073
Daniel Dunbar1b077112009-11-21 09:06:10 +000074 addSubstitution(reinterpret_cast<uintptr_t>(ND));
75 }
76 void addSubstitution(QualType T);
77 void addSubstitution(uintptr_t Ptr);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +000078
Daniel Dunbar1b077112009-11-21 09:06:10 +000079 bool mangleFunctionDecl(const FunctionDecl *FD);
Mike Stump1eb44332009-09-09 15:08:12 +000080
Daniel Dunbar1b077112009-11-21 09:06:10 +000081 void mangleFunctionEncoding(const FunctionDecl *FD);
82 void mangleName(const NamedDecl *ND);
83 void mangleName(const TemplateDecl *TD,
84 const TemplateArgument *TemplateArgs,
85 unsigned NumTemplateArgs);
86 void mangleUnqualifiedName(const NamedDecl *ND);
87 void mangleUnscopedName(const NamedDecl *ND);
88 void mangleUnscopedTemplateName(const TemplateDecl *ND);
89 void mangleSourceName(const IdentifierInfo *II);
90 void mangleLocalName(const NamedDecl *ND);
91 void mangleNestedName(const NamedDecl *ND);
92 void mangleNestedName(const TemplateDecl *TD,
93 const TemplateArgument *TemplateArgs,
94 unsigned NumTemplateArgs);
95 void manglePrefix(const DeclContext *DC);
96 void mangleTemplatePrefix(const TemplateDecl *ND);
97 void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity);
98 void mangleQualifiers(Qualifiers Quals);
99 void mangleType(QualType T);
John McCallefe6aee2009-09-05 07:56:18 +0000100
Daniel Dunbar1b077112009-11-21 09:06:10 +0000101 // Declare manglers for every type class.
John McCallefe6aee2009-09-05 07:56:18 +0000102#define ABSTRACT_TYPE(CLASS, PARENT)
103#define NON_CANONICAL_TYPE(CLASS, PARENT)
104#define TYPE(CLASS, PARENT) void mangleType(const CLASS##Type *T);
105#include "clang/AST/TypeNodes.def"
106
Daniel Dunbar1b077112009-11-21 09:06:10 +0000107 void mangleType(const TagType*);
108 void mangleBareFunctionType(const FunctionType *T,
109 bool MangleReturnType);
110 void mangleExpression(const Expr *E);
111 void mangleCXXCtorType(CXXCtorType T);
112 void mangleCXXDtorType(CXXDtorType T);
Mike Stump1eb44332009-09-09 15:08:12 +0000113
Daniel Dunbar1b077112009-11-21 09:06:10 +0000114 void mangleTemplateArgs(const TemplateArgument *TemplateArgs,
115 unsigned NumTemplateArgs);
116 void mangleTemplateArgumentList(const TemplateArgumentList &L);
117 void mangleTemplateArgument(const TemplateArgument &A);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000118
Daniel Dunbar1b077112009-11-21 09:06:10 +0000119 void mangleTemplateParameter(unsigned Index);
120};
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000121}
122
Anders Carlsson43f17402009-04-02 15:51:53 +0000123static bool isInCLinkageSpecification(const Decl *D) {
Douglas Gregor457e2812009-10-28 16:31:34 +0000124 D = D->getCanonicalDecl();
Mike Stump1eb44332009-09-09 15:08:12 +0000125 for (const DeclContext *DC = D->getDeclContext();
Anders Carlsson43f17402009-04-02 15:51:53 +0000126 !DC->isTranslationUnit(); DC = DC->getParent()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000127 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))
Anders Carlsson43f17402009-04-02 15:51:53 +0000128 return Linkage->getLanguage() == LinkageSpecDecl::lang_c;
129 }
Mike Stump1eb44332009-09-09 15:08:12 +0000130
Anders Carlsson43f17402009-04-02 15:51:53 +0000131 return false;
132}
133
134bool CXXNameMangler::mangleFunctionDecl(const FunctionDecl *FD) {
Mike Stump141c5af2009-09-02 00:25:38 +0000135 // Clang's "overloadable" attribute extension to C/C++ implies name mangling
Anders Carlssona1e16222009-11-07 07:15:03 +0000136 // (always) as does passing a C++ member function and a function
137 // whose name is not a simple identifier.
138 if (!FD->hasAttr<OverloadableAttr>() && !isa<CXXMethodDecl>(FD) &&
139 FD->getDeclName().isIdentifier()) {
Chris Lattner783601d2009-06-13 23:34:16 +0000140 // C functions are not mangled, and "main" is never mangled.
Anders Carlssonb5404912009-10-07 01:06:45 +0000141 if (!Context.getASTContext().getLangOptions().CPlusPlus || FD->isMain())
Chris Lattner783601d2009-06-13 23:34:16 +0000142 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000143
144 // No mangling in an "implicit extern C" header.
Chris Lattner783601d2009-06-13 23:34:16 +0000145 if (FD->getLocation().isValid() &&
Anders Carlssonb5404912009-10-07 01:06:45 +0000146 Context.getASTContext().getSourceManager().
147 isInExternCSystemHeader(FD->getLocation()))
Chris Lattner783601d2009-06-13 23:34:16 +0000148 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000149
Chris Lattner783601d2009-06-13 23:34:16 +0000150 // No name mangling in a C linkage specification.
Anders Carlssona1e16222009-11-07 07:15:03 +0000151 if (isInCLinkageSpecification(FD))
Chris Lattner783601d2009-06-13 23:34:16 +0000152 return false;
153 }
Anders Carlsson43f17402009-04-02 15:51:53 +0000154
155 // If we get here, mangle the decl name!
156 Out << "_Z";
157 mangleFunctionEncoding(FD);
158 return true;
159}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000160
161bool CXXNameMangler::mangle(const NamedDecl *D) {
Mike Stump141c5af2009-09-02 00:25:38 +0000162 // Any decl can be declared with __asm("foo") on it, and this takes precedence
163 // over all other naming in the .o file.
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000164 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000165 // If we have an asm name, then we use it as the mangling.
166 Out << '\01'; // LLVM IR Marker for __asm("foo")
167 Out << ALA->getLabel();
168 return true;
169 }
Mike Stump1eb44332009-09-09 15:08:12 +0000170
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000171 // <mangled-name> ::= _Z <encoding>
172 // ::= <data name>
173 // ::= <special-name>
174
175 // FIXME: Actually use a visitor to decode these?
Anders Carlsson43f17402009-04-02 15:51:53 +0000176 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
177 return mangleFunctionDecl(FD);
Mike Stump1eb44332009-09-09 15:08:12 +0000178
Anders Carlsson329749c2009-04-02 16:05:20 +0000179 if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
Anders Carlssonb5404912009-10-07 01:06:45 +0000180 if (!Context.getASTContext().getLangOptions().CPlusPlus ||
Anders Carlsson9ccb0652009-04-11 01:19:45 +0000181 isInCLinkageSpecification(D) ||
182 D->getDeclContext()->isTranslationUnit())
Anders Carlsson329749c2009-04-02 16:05:20 +0000183 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000184
Anders Carlsson329749c2009-04-02 16:05:20 +0000185 Out << "_Z";
186 mangleName(VD);
187 return true;
188 }
Mike Stump1eb44332009-09-09 15:08:12 +0000189
Anders Carlsson43f17402009-04-02 15:51:53 +0000190 return false;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000191}
192
Mike Stump1eb44332009-09-09 15:08:12 +0000193void CXXNameMangler::mangleCXXCtor(const CXXConstructorDecl *D,
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000194 CXXCtorType Type) {
Anders Carlsson27ae5362009-04-17 01:58:57 +0000195 assert(!Structor && "Structor already set!");
196 Structor = D;
197 StructorType = Type;
Mike Stump1eb44332009-09-09 15:08:12 +0000198
Anders Carlsson27ae5362009-04-17 01:58:57 +0000199 mangle(D);
200}
201
Mike Stump1eb44332009-09-09 15:08:12 +0000202void CXXNameMangler::mangleCXXDtor(const CXXDestructorDecl *D,
Anders Carlsson27ae5362009-04-17 01:58:57 +0000203 CXXDtorType Type) {
204 assert(!Structor && "Structor already set!");
205 Structor = D;
206 StructorType = Type;
Mike Stump1eb44332009-09-09 15:08:12 +0000207
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000208 mangle(D);
209}
210
Anders Carlssonfc3bf4d2009-10-11 21:24:51 +0000211void CXXNameMangler::mangleCXXVtable(const CXXRecordDecl *RD) {
Mike Stumpf1216772009-07-31 18:25:34 +0000212 // <special-name> ::= TV <type> # virtual table
213 Out << "_ZTV";
Anders Carlssonfc3bf4d2009-10-11 21:24:51 +0000214 mangleName(RD);
Mike Stumpf1216772009-07-31 18:25:34 +0000215}
216
Mike Stump88e91712009-10-28 01:51:46 +0000217void CXXNameMangler::mangleCXXVTT(const CXXRecordDecl *RD) {
218 // <special-name> ::= TT <type> # VTT structure
219 Out << "_ZTT";
220 mangleName(RD);
221}
222
Mike Stumpab3f7e92009-11-10 01:41:59 +0000223void CXXNameMangler::mangleCXXCtorVtable(const CXXRecordDecl *RD,
224 int64_t Offset,
225 const CXXRecordDecl *Type) {
226 // <special-name> ::= TC <type> <offset number> _ <base type>
227 Out << "_ZTC";
228 mangleName(RD);
229 Out << Offset;
230 Out << "_";
231 mangleName(Type);
232}
233
Anders Carlssond313e402009-10-30 01:52:02 +0000234void CXXNameMangler::mangleCXXRtti(QualType Ty) {
Mike Stump738f8c22009-07-31 23:15:31 +0000235 // <special-name> ::= TI <type> # typeinfo structure
236 Out << "_ZTI";
Anders Carlsson731f7f92009-10-30 01:26:12 +0000237
Anders Carlssond313e402009-10-30 01:52:02 +0000238 mangleType(Ty);
Mike Stump738f8c22009-07-31 23:15:31 +0000239}
240
Mike Stump67795982009-11-14 00:14:13 +0000241void CXXNameMangler::mangleCXXRttiName(QualType Ty) {
242 // <special-name> ::= TS <type> # typeinfo name (null terminated byte string)
243 Out << "_ZTS";
244
245 mangleType(Ty);
246}
247
Mike Stump1eb44332009-09-09 15:08:12 +0000248void CXXNameMangler::mangleGuardVariable(const VarDecl *D) {
249 // <special-name> ::= GV <object name> # Guard variable for one-time
Mike Stumpf1216772009-07-31 18:25:34 +0000250 // # initialization
Anders Carlsson41aa8c12009-04-13 18:02:10 +0000251
252 Out << "_ZGV";
253 mangleName(D);
254}
255
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000256void CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) {
257 // <encoding> ::= <function name> <bare-function-type>
258 mangleName(FD);
Mike Stump1eb44332009-09-09 15:08:12 +0000259
Mike Stump141c5af2009-09-02 00:25:38 +0000260 // Whether the mangling of a function type includes the return type depends on
261 // the context and the nature of the function. The rules for deciding whether
262 // the return type is included are:
Mike Stump1eb44332009-09-09 15:08:12 +0000263 //
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000264 // 1. Template functions (names or types) have return types encoded, with
265 // the exceptions listed below.
Mike Stump1eb44332009-09-09 15:08:12 +0000266 // 2. Function types not appearing as part of a function name mangling,
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000267 // e.g. parameters, pointer types, etc., have return type encoded, with the
268 // exceptions listed below.
269 // 3. Non-template function names do not have return types encoded.
270 //
Mike Stump141c5af2009-09-02 00:25:38 +0000271 // The exceptions mentioned in (1) and (2) above, for which the return type is
272 // never included, are
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000273 // 1. Constructors.
274 // 2. Destructors.
275 // 3. Conversion operator functions, e.g. operator int.
276 bool MangleReturnType = false;
Anders Carlsson9234b7f2009-09-17 03:46:43 +0000277 if (FunctionTemplateDecl *PrimaryTemplate = FD->getPrimaryTemplate()) {
278 if (!(isa<CXXConstructorDecl>(FD) || isa<CXXDestructorDecl>(FD) ||
279 isa<CXXConversionDecl>(FD)))
280 MangleReturnType = true;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000281
Anders Carlsson9234b7f2009-09-17 03:46:43 +0000282 // Mangle the type of the primary template.
283 FD = PrimaryTemplate->getTemplatedDecl();
284 }
285
John McCall54e14c42009-10-22 22:37:11 +0000286 // Do the canonicalization out here because parameter types can
287 // undergo additional canonicalization (e.g. array decay).
288 FunctionType *FT = cast<FunctionType>(Context.getASTContext()
289 .getCanonicalType(FD->getType()));
290
291 mangleBareFunctionType(FT, MangleReturnType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000292}
293
294static bool isStdNamespace(const DeclContext *DC) {
295 if (!DC->isNamespace() || !DC->getParent()->isTranslationUnit())
296 return false;
297
298 const NamespaceDecl *NS = cast<NamespaceDecl>(DC);
John McCall9aeed322009-10-01 00:25:31 +0000299 const IdentifierInfo *II = NS->getOriginalNamespace()->getIdentifier();
300 return II && II->isStr("std");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000301}
302
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000303static const TemplateDecl *
304isTemplate(const NamedDecl *ND, const TemplateArgumentList *&TemplateArgs) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000305 // Check if we have a function template.
306 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND)){
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000307 if (const TemplateDecl *TD = FD->getPrimaryTemplate()) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000308 TemplateArgs = FD->getTemplateSpecializationArgs();
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000309 return TD;
Anders Carlsson2744a062009-09-18 19:00:18 +0000310 }
311 }
312
Anders Carlssoneafc6dc2009-09-18 19:44:50 +0000313 // Check if we have a class template.
314 if (const ClassTemplateSpecializationDecl *Spec =
315 dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
316 TemplateArgs = &Spec->getTemplateArgs();
Anders Carlssonbb36ba42009-09-26 03:24:57 +0000317 return Spec->getSpecializedTemplate();
Anders Carlssoneafc6dc2009-09-18 19:44:50 +0000318 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000319
Anders Carlsson2744a062009-09-18 19:00:18 +0000320 return 0;
321}
322
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000323void CXXNameMangler::mangleName(const NamedDecl *ND) {
324 // <name> ::= <nested-name>
325 // ::= <unscoped-name>
326 // ::= <unscoped-template-name> <template-args>
Anders Carlsson201ce742009-09-17 03:17:01 +0000327 // ::= <local-name>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000328 //
Anders Carlssond58d6f72009-09-17 16:12:20 +0000329 const DeclContext *DC = ND->getDeclContext();
Anders Carlsson5cc58c62009-09-22 17:23:30 +0000330 while (isa<LinkageSpecDecl>(DC))
Anders Carlssond58d6f72009-09-17 16:12:20 +0000331 DC = DC->getParent();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000332
Anders Carlssond58d6f72009-09-17 16:12:20 +0000333 if (DC->isTranslationUnit() || isStdNamespace(DC)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000334 // Check if we have a template.
335 const TemplateArgumentList *TemplateArgs = 0;
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000336 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000337 mangleUnscopedTemplateName(TD);
338 mangleTemplateArgumentList(*TemplateArgs);
339 return;
Anders Carlsson7482e242009-09-18 04:29:09 +0000340 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000341
Anders Carlsson7482e242009-09-18 04:29:09 +0000342 mangleUnscopedName(ND);
343 return;
344 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000345
Anders Carlsson7482e242009-09-18 04:29:09 +0000346 if (isa<FunctionDecl>(DC)) {
347 mangleLocalName(ND);
348 return;
349 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000350
Anders Carlsson7482e242009-09-18 04:29:09 +0000351 mangleNestedName(ND);
352}
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000353void CXXNameMangler::mangleName(const TemplateDecl *TD,
Anders Carlsson7624f212009-09-18 02:42:01 +0000354 const TemplateArgument *TemplateArgs,
355 unsigned NumTemplateArgs) {
356 const DeclContext *DC = TD->getDeclContext();
357 while (isa<LinkageSpecDecl>(DC)) {
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000358 assert(cast<LinkageSpecDecl>(DC)->getLanguage() ==
Anders Carlsson7624f212009-09-18 02:42:01 +0000359 LinkageSpecDecl::lang_cxx && "Unexpected linkage decl!");
360 DC = DC->getParent();
361 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000362
Anders Carlsson7624f212009-09-18 02:42:01 +0000363 if (DC->isTranslationUnit() || isStdNamespace(DC)) {
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000364 mangleUnscopedTemplateName(TD);
Anders Carlsson7624f212009-09-18 02:42:01 +0000365 mangleTemplateArgs(TemplateArgs, NumTemplateArgs);
366 } else {
367 mangleNestedName(TD, TemplateArgs, NumTemplateArgs);
368 }
369}
370
Anders Carlsson201ce742009-09-17 03:17:01 +0000371void CXXNameMangler::mangleUnscopedName(const NamedDecl *ND) {
372 // <unscoped-name> ::= <unqualified-name>
373 // ::= St <unqualified-name> # ::std::
374 if (isStdNamespace(ND->getDeclContext()))
375 Out << "St";
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000376
Anders Carlsson201ce742009-09-17 03:17:01 +0000377 mangleUnqualifiedName(ND);
378}
379
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000380void CXXNameMangler::mangleUnscopedTemplateName(const TemplateDecl *ND) {
Anders Carlsson201ce742009-09-17 03:17:01 +0000381 // <unscoped-template-name> ::= <unscoped-name>
382 // ::= <substitution>
Anders Carlsson7624f212009-09-18 02:42:01 +0000383 if (mangleSubstitution(ND))
Anders Carlsson03c9d532009-09-17 04:02:31 +0000384 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000385
Anders Carlsson1668f202009-09-26 20:13:56 +0000386 mangleUnscopedName(ND->getTemplatedDecl());
Anders Carlsson7624f212009-09-18 02:42:01 +0000387 addSubstitution(ND);
Anders Carlsson201ce742009-09-17 03:17:01 +0000388}
389
Mike Stump77ca8f62009-09-05 07:20:32 +0000390void CXXNameMangler::mangleCalloffset(int64_t nv, int64_t v) {
Mike Stump141c5af2009-09-02 00:25:38 +0000391 // <call-offset> ::= h <nv-offset> _
392 // ::= v <v-offset> _
393 // <nv-offset> ::= <offset number> # non-virtual base override
394 // <v-offset> ::= <offset nubmer> _ <virtual offset number>
395 // # virtual base override, with vcall offset
Mike Stump77ca8f62009-09-05 07:20:32 +0000396 if (v == 0) {
Mike Stump9124bcc2009-09-02 00:56:18 +0000397 Out << "h";
Mike Stump141c5af2009-09-02 00:25:38 +0000398 if (nv < 0) {
399 Out << "n";
400 nv = -nv;
401 }
402 Out << nv;
403 } else {
Mike Stump9124bcc2009-09-02 00:56:18 +0000404 Out << "v";
Mike Stump141c5af2009-09-02 00:25:38 +0000405 if (nv < 0) {
406 Out << "n";
407 nv = -nv;
408 }
409 Out << nv;
410 Out << "_";
411 if (v < 0) {
412 Out << "n";
413 v = -v;
414 }
415 Out << v;
416 }
417 Out << "_";
Mike Stump9124bcc2009-09-02 00:56:18 +0000418}
419
Mike Stumpdec025b2009-09-07 04:27:52 +0000420void CXXNameMangler::mangleThunk(const FunctionDecl *FD, int64_t nv,
421 int64_t v) {
Mike Stump9124bcc2009-09-02 00:56:18 +0000422 // <special-name> ::= T <call-offset> <base encoding>
423 // # base is the nominal target function of thunk
Mike Stumpdec025b2009-09-07 04:27:52 +0000424 Out << "_ZT";
Mike Stump77ca8f62009-09-05 07:20:32 +0000425 mangleCalloffset(nv, v);
Mike Stumpdec025b2009-09-07 04:27:52 +0000426 mangleFunctionEncoding(FD);
Mike Stump9124bcc2009-09-02 00:56:18 +0000427}
428
Daniel Dunbar1b077112009-11-21 09:06:10 +0000429void CXXNameMangler::mangleCovariantThunk(const FunctionDecl *FD,
430 int64_t nv_t, int64_t v_t,
431 int64_t nv_r, int64_t v_r) {
Mike Stump9124bcc2009-09-02 00:56:18 +0000432 // <special-name> ::= Tc <call-offset> <call-offset> <base encoding>
433 // # base is the nominal target function of thunk
434 // # first call-offset is 'this' adjustment
435 // # second call-offset is result adjustment
Mike Stumpdec025b2009-09-07 04:27:52 +0000436 Out << "_ZTc";
Mike Stump77ca8f62009-09-05 07:20:32 +0000437 mangleCalloffset(nv_t, v_t);
438 mangleCalloffset(nv_r, v_r);
Mike Stumpdec025b2009-09-07 04:27:52 +0000439 mangleFunctionEncoding(FD);
Mike Stump141c5af2009-09-02 00:25:38 +0000440}
441
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000442void CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND) {
443 // <unqualified-name> ::= <operator-name>
Mike Stump1eb44332009-09-09 15:08:12 +0000444 // ::= <ctor-dtor-name>
445 // ::= <source-name>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000446 DeclarationName Name = ND->getDeclName();
447 switch (Name.getNameKind()) {
Anders Carlssonc4355b62009-10-07 01:45:02 +0000448 case DeclarationName::Identifier: {
449 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) {
John McCall9aeed322009-10-01 00:25:31 +0000450 if (NS->isAnonymousNamespace()) {
451 // This is how gcc mangles these names. It's apparently
452 // always '1', no matter how many different anonymous
453 // namespaces appear in a context.
454 Out << "12_GLOBAL__N_1";
455 break;
456 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000457 }
Anders Carlssonc4355b62009-10-07 01:45:02 +0000458
459 if (const IdentifierInfo *II = Name.getAsIdentifierInfo()) {
460 mangleSourceName(II);
461 break;
462 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000463
Anders Carlssonc4355b62009-10-07 01:45:02 +0000464 // We must have an anonymous struct.
465 const TagDecl *TD = cast<TagDecl>(ND);
466 if (const TypedefDecl *D = TD->getTypedefForAnonDecl()) {
467 assert(TD->getDeclContext() == D->getDeclContext() &&
468 "Typedef should not be in another decl context!");
469 assert(D->getDeclName().getAsIdentifierInfo() &&
470 "Typedef was not named!");
471 mangleSourceName(D->getDeclName().getAsIdentifierInfo());
472 break;
473 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000474
Anders Carlssonc4355b62009-10-07 01:45:02 +0000475 // Get a unique id for the anonymous struct.
476 uint64_t AnonStructId = Context.getAnonymousStructId(TD);
477
478 // Mangle it as a source name in the form
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000479 // [n] $_<id>
Anders Carlssonc4355b62009-10-07 01:45:02 +0000480 // where n is the length of the string.
481 llvm::SmallString<8> Str;
482 Str += "$_";
483 Str += llvm::utostr(AnonStructId);
484
485 Out << Str.size();
486 Out << Str.str();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000487 break;
Anders Carlssonc4355b62009-10-07 01:45:02 +0000488 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000489
490 case DeclarationName::ObjCZeroArgSelector:
491 case DeclarationName::ObjCOneArgSelector:
492 case DeclarationName::ObjCMultiArgSelector:
493 assert(false && "Can't mangle Objective-C selector names here!");
494 break;
495
496 case DeclarationName::CXXConstructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000497 if (ND == Structor)
Mike Stump141c5af2009-09-02 00:25:38 +0000498 // If the named decl is the C++ constructor we're mangling, use the type
499 // we were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000500 mangleCXXCtorType(static_cast<CXXCtorType>(StructorType));
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000501 else
502 // Otherwise, use the complete constructor name. This is relevant if a
503 // class with a constructor is declared within a constructor.
504 mangleCXXCtorType(Ctor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000505 break;
506
507 case DeclarationName::CXXDestructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000508 if (ND == Structor)
Mike Stump141c5af2009-09-02 00:25:38 +0000509 // If the named decl is the C++ destructor we're mangling, use the type we
510 // were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000511 mangleCXXDtorType(static_cast<CXXDtorType>(StructorType));
512 else
513 // Otherwise, use the complete destructor name. This is relevant if a
514 // class with a destructor is declared within a destructor.
515 mangleCXXDtorType(Dtor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000516 break;
517
518 case DeclarationName::CXXConversionFunctionName:
Mike Stump1eb44332009-09-09 15:08:12 +0000519 // <operator-name> ::= cv <type> # (cast)
Douglas Gregor219cc612009-02-13 01:28:03 +0000520 Out << "cv";
Anders Carlssonb5404912009-10-07 01:06:45 +0000521 mangleType(Context.getASTContext().getCanonicalType(Name.getCXXNameType()));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000522 break;
523
524 case DeclarationName::CXXOperatorName:
525 mangleOperatorName(Name.getCXXOverloadedOperator(),
526 cast<FunctionDecl>(ND)->getNumParams());
527 break;
528
529 case DeclarationName::CXXUsingDirective:
530 assert(false && "Can't mangle a using directive name!");
Douglas Gregor219cc612009-02-13 01:28:03 +0000531 break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000532 }
533}
534
535void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) {
536 // <source-name> ::= <positive length number> <identifier>
537 // <number> ::= [n] <non-negative decimal integer>
538 // <identifier> ::= <unqualified source code identifier>
539 Out << II->getLength() << II->getName();
540}
541
542void CXXNameMangler::mangleNestedName(const NamedDecl *ND) {
543 // <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
544 // ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
Anders Carlssond99edc42009-09-26 03:55:37 +0000545
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000546 Out << 'N';
547 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND))
John McCall0953e762009-09-24 19:53:00 +0000548 mangleQualifiers(Qualifiers::fromCVRMask(Method->getTypeQualifiers()));
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000549
Anders Carlsson2744a062009-09-18 19:00:18 +0000550 // Check if we have a template.
551 const TemplateArgumentList *TemplateArgs = 0;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000552 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) {
Anders Carlsson2744a062009-09-18 19:00:18 +0000553 mangleTemplatePrefix(TD);
554 mangleTemplateArgumentList(*TemplateArgs);
Anders Carlsson7482e242009-09-18 04:29:09 +0000555 } else {
556 manglePrefix(ND->getDeclContext());
557 mangleUnqualifiedName(ND);
558 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000559
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000560 Out << 'E';
561}
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000562void CXXNameMangler::mangleNestedName(const TemplateDecl *TD,
Anders Carlsson7624f212009-09-18 02:42:01 +0000563 const TemplateArgument *TemplateArgs,
564 unsigned NumTemplateArgs) {
Anders Carlssone45117b2009-09-27 19:53:49 +0000565 // <nested-name> ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
566
Anders Carlsson7624f212009-09-18 02:42:01 +0000567 Out << 'N';
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000568
Anders Carlssone45117b2009-09-27 19:53:49 +0000569 mangleTemplatePrefix(TD);
Anders Carlsson7624f212009-09-18 02:42:01 +0000570 mangleTemplateArgs(TemplateArgs, NumTemplateArgs);
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000571
Anders Carlsson7624f212009-09-18 02:42:01 +0000572 Out << 'E';
573}
574
Anders Carlsson1b42c792009-04-02 16:24:45 +0000575void CXXNameMangler::mangleLocalName(const NamedDecl *ND) {
576 // <local-name> := Z <function encoding> E <entity name> [<discriminator>]
577 // := Z <function encoding> E s [<discriminator>]
Mike Stump1eb44332009-09-09 15:08:12 +0000578 // <discriminator> := _ <non-negative number>
Anders Carlsson1b42c792009-04-02 16:24:45 +0000579 Out << 'Z';
580 mangleFunctionEncoding(cast<FunctionDecl>(ND->getDeclContext()));
581 Out << 'E';
582 mangleSourceName(ND->getIdentifier());
583}
584
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000585void CXXNameMangler::manglePrefix(const DeclContext *DC) {
586 // <prefix> ::= <prefix> <unqualified-name>
587 // ::= <template-prefix> <template-args>
588 // ::= <template-param>
589 // ::= # empty
590 // ::= <substitution>
591 // FIXME: We only handle mangling of namespaces and classes at the moment.
Anders Carlsson6862fc72009-09-17 04:16:28 +0000592
Anders Carlssonadd28822009-09-22 20:33:31 +0000593 while (isa<LinkageSpecDecl>(DC))
594 DC = DC->getParent();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000595
Anders Carlsson9263e912009-09-18 18:39:58 +0000596 if (DC->isTranslationUnit())
597 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000598
Anders Carlsson6862fc72009-09-17 04:16:28 +0000599 if (mangleSubstitution(cast<NamedDecl>(DC)))
600 return;
Anders Carlsson7482e242009-09-18 04:29:09 +0000601
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000602 // Check if we have a template.
603 const TemplateArgumentList *TemplateArgs = 0;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000604 if (const TemplateDecl *TD = isTemplate(cast<NamedDecl>(DC), TemplateArgs)) {
Anders Carlsson2ee3fca2009-09-18 20:11:09 +0000605 mangleTemplatePrefix(TD);
606 mangleTemplateArgumentList(*TemplateArgs);
607 } else {
608 manglePrefix(DC->getParent());
609 mangleUnqualifiedName(cast<NamedDecl>(DC));
610 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000611
Anders Carlsson6862fc72009-09-17 04:16:28 +0000612 addSubstitution(cast<NamedDecl>(DC));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000613}
614
Anders Carlsson0fa6df42009-09-26 19:45:45 +0000615void CXXNameMangler::mangleTemplatePrefix(const TemplateDecl *ND) {
Anders Carlsson7482e242009-09-18 04:29:09 +0000616 // <template-prefix> ::= <prefix> <template unqualified-name>
617 // ::= <template-param>
618 // ::= <substitution>
619
Anders Carlssonaeb85372009-09-26 22:18:22 +0000620 if (mangleSubstitution(ND))
621 return;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000622
Anders Carlssonaeb85372009-09-26 22:18:22 +0000623 // FIXME: <template-param>
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000624
Anders Carlssonaa73ab12009-09-18 18:47:07 +0000625 manglePrefix(ND->getDeclContext());
Anders Carlsson1668f202009-09-26 20:13:56 +0000626 mangleUnqualifiedName(ND->getTemplatedDecl());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000627
Anders Carlssonaeb85372009-09-26 22:18:22 +0000628 addSubstitution(ND);
Anders Carlsson7482e242009-09-18 04:29:09 +0000629}
630
Mike Stump1eb44332009-09-09 15:08:12 +0000631void
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000632CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) {
633 switch (OO) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000634 // <operator-name> ::= nw # new
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000635 case OO_New: Out << "nw"; break;
636 // ::= na # new[]
637 case OO_Array_New: Out << "na"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000638 // ::= dl # delete
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000639 case OO_Delete: Out << "dl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000640 // ::= da # delete[]
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000641 case OO_Array_Delete: Out << "da"; break;
642 // ::= ps # + (unary)
643 // ::= pl # +
644 case OO_Plus: Out << (Arity == 1? "ps" : "pl"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000645 // ::= ng # - (unary)
646 // ::= mi # -
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000647 case OO_Minus: Out << (Arity == 1? "ng" : "mi"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000648 // ::= ad # & (unary)
649 // ::= an # &
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000650 case OO_Amp: Out << (Arity == 1? "ad" : "an"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000651 // ::= de # * (unary)
652 // ::= ml # *
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000653 case OO_Star: Out << (Arity == 1? "de" : "ml"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000654 // ::= co # ~
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000655 case OO_Tilde: Out << "co"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000656 // ::= dv # /
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000657 case OO_Slash: Out << "dv"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000658 // ::= rm # %
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000659 case OO_Percent: Out << "rm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000660 // ::= or # |
661 case OO_Pipe: Out << "or"; break;
662 // ::= eo # ^
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000663 case OO_Caret: Out << "eo"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000664 // ::= aS # =
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000665 case OO_Equal: Out << "aS"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000666 // ::= pL # +=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000667 case OO_PlusEqual: Out << "pL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000668 // ::= mI # -=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000669 case OO_MinusEqual: Out << "mI"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000670 // ::= mL # *=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000671 case OO_StarEqual: Out << "mL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000672 // ::= dV # /=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000673 case OO_SlashEqual: Out << "dV"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000674 // ::= rM # %=
675 case OO_PercentEqual: Out << "rM"; break;
676 // ::= aN # &=
677 case OO_AmpEqual: Out << "aN"; break;
678 // ::= oR # |=
679 case OO_PipeEqual: Out << "oR"; break;
680 // ::= eO # ^=
681 case OO_CaretEqual: Out << "eO"; break;
682 // ::= ls # <<
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000683 case OO_LessLess: Out << "ls"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000684 // ::= rs # >>
685 case OO_GreaterGreater: Out << "rs"; break;
686 // ::= lS # <<=
687 case OO_LessLessEqual: Out << "lS"; break;
688 // ::= rS # >>=
689 case OO_GreaterGreaterEqual: Out << "rS"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000690 // ::= eq # ==
691 case OO_EqualEqual: Out << "eq"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000692 // ::= ne # !=
693 case OO_ExclaimEqual: Out << "ne"; break;
694 // ::= lt # <
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000695 case OO_Less: Out << "lt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000696 // ::= gt # >
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000697 case OO_Greater: Out << "gt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000698 // ::= le # <=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000699 case OO_LessEqual: Out << "le"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000700 // ::= ge # >=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000701 case OO_GreaterEqual: Out << "ge"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000702 // ::= nt # !
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000703 case OO_Exclaim: Out << "nt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000704 // ::= aa # &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000705 case OO_AmpAmp: Out << "aa"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000706 // ::= oo # ||
707 case OO_PipePipe: Out << "oo"; break;
708 // ::= pp # ++
709 case OO_PlusPlus: Out << "pp"; break;
710 // ::= mm # --
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000711 case OO_MinusMinus: Out << "mm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000712 // ::= cm # ,
713 case OO_Comma: Out << "cm"; break;
714 // ::= pm # ->*
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000715 case OO_ArrowStar: Out << "pm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000716 // ::= pt # ->
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000717 case OO_Arrow: Out << "pt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000718 // ::= cl # ()
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000719 case OO_Call: Out << "cl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000720 // ::= ix # []
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000721 case OO_Subscript: Out << "ix"; break;
722 // UNSUPPORTED: ::= qu # ?
723
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000724 case OO_None:
725 case OO_Conditional:
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000726 case NUM_OVERLOADED_OPERATORS:
Mike Stump1eb44332009-09-09 15:08:12 +0000727 assert(false && "Not an overloaded operator");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000728 break;
729 }
730}
731
John McCall0953e762009-09-24 19:53:00 +0000732void CXXNameMangler::mangleQualifiers(Qualifiers Quals) {
Mike Stump1eb44332009-09-09 15:08:12 +0000733 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const
John McCall0953e762009-09-24 19:53:00 +0000734 if (Quals.hasRestrict())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000735 Out << 'r';
John McCall0953e762009-09-24 19:53:00 +0000736 if (Quals.hasVolatile())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000737 Out << 'V';
John McCall0953e762009-09-24 19:53:00 +0000738 if (Quals.hasConst())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000739 Out << 'K';
John McCall0953e762009-09-24 19:53:00 +0000740
741 // FIXME: For now, just drop all extension qualifiers on the floor.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000742}
743
744void CXXNameMangler::mangleType(QualType T) {
Anders Carlsson4843e582009-03-10 17:07:44 +0000745 // Only operate on the canonical type!
Anders Carlssonb5404912009-10-07 01:06:45 +0000746 T = Context.getASTContext().getCanonicalType(T);
Anders Carlsson4843e582009-03-10 17:07:44 +0000747
Douglas Gregora4923eb2009-11-16 21:35:15 +0000748 bool IsSubstitutable = T.hasLocalQualifiers() || !isa<BuiltinType>(T);
Anders Carlsson76967372009-09-17 00:43:46 +0000749 if (IsSubstitutable && mangleSubstitution(T))
750 return;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000751
Douglas Gregora4923eb2009-11-16 21:35:15 +0000752 if (Qualifiers Quals = T.getLocalQualifiers()) {
John McCall0953e762009-09-24 19:53:00 +0000753 mangleQualifiers(Quals);
754 // Recurse: even if the qualified type isn't yet substitutable,
755 // the unqualified type might be.
Douglas Gregora4923eb2009-11-16 21:35:15 +0000756 mangleType(T.getLocalUnqualifiedType());
Anders Carlsson76967372009-09-17 00:43:46 +0000757 } else {
758 switch (T->getTypeClass()) {
John McCallefe6aee2009-09-05 07:56:18 +0000759#define ABSTRACT_TYPE(CLASS, PARENT)
760#define NON_CANONICAL_TYPE(CLASS, PARENT) \
Anders Carlsson76967372009-09-17 00:43:46 +0000761 case Type::CLASS: \
762 llvm::llvm_unreachable("can't mangle non-canonical type " #CLASS "Type"); \
763 return;
John McCallefe6aee2009-09-05 07:56:18 +0000764#define TYPE(CLASS, PARENT) \
Anders Carlsson76967372009-09-17 00:43:46 +0000765 case Type::CLASS: \
John McCall0953e762009-09-24 19:53:00 +0000766 mangleType(static_cast<const CLASS##Type*>(T.getTypePtr())); \
Anders Carlsson76967372009-09-17 00:43:46 +0000767 break;
John McCallefe6aee2009-09-05 07:56:18 +0000768#include "clang/AST/TypeNodes.def"
Anders Carlsson76967372009-09-17 00:43:46 +0000769 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000770 }
Anders Carlsson76967372009-09-17 00:43:46 +0000771
772 // Add the substitution.
773 if (IsSubstitutable)
774 addSubstitution(T);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000775}
776
777void CXXNameMangler::mangleType(const BuiltinType *T) {
John McCallefe6aee2009-09-05 07:56:18 +0000778 // <type> ::= <builtin-type>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000779 // <builtin-type> ::= v # void
780 // ::= w # wchar_t
781 // ::= b # bool
782 // ::= c # char
783 // ::= a # signed char
784 // ::= h # unsigned char
785 // ::= s # short
786 // ::= t # unsigned short
787 // ::= i # int
788 // ::= j # unsigned int
789 // ::= l # long
790 // ::= m # unsigned long
791 // ::= x # long long, __int64
792 // ::= y # unsigned long long, __int64
793 // ::= n # __int128
794 // UNSUPPORTED: ::= o # unsigned __int128
795 // ::= f # float
796 // ::= d # double
797 // ::= e # long double, __float80
798 // UNSUPPORTED: ::= g # __float128
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000799 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
800 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
801 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)
802 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits)
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000803 // ::= Di # char32_t
804 // ::= Ds # char16_t
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000805 // ::= u <source-name> # vendor extended type
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000806 // From our point of view, std::nullptr_t is a builtin, but as far as mangling
807 // is concerned, it's a type called std::nullptr_t.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000808 switch (T->getKind()) {
809 case BuiltinType::Void: Out << 'v'; break;
810 case BuiltinType::Bool: Out << 'b'; break;
811 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break;
812 case BuiltinType::UChar: Out << 'h'; break;
813 case BuiltinType::UShort: Out << 't'; break;
814 case BuiltinType::UInt: Out << 'j'; break;
815 case BuiltinType::ULong: Out << 'm'; break;
816 case BuiltinType::ULongLong: Out << 'y'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000817 case BuiltinType::UInt128: Out << 'o'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000818 case BuiltinType::SChar: Out << 'a'; break;
819 case BuiltinType::WChar: Out << 'w'; break;
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000820 case BuiltinType::Char16: Out << "Ds"; break;
821 case BuiltinType::Char32: Out << "Di"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000822 case BuiltinType::Short: Out << 's'; break;
823 case BuiltinType::Int: Out << 'i'; break;
824 case BuiltinType::Long: Out << 'l'; break;
825 case BuiltinType::LongLong: Out << 'x'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000826 case BuiltinType::Int128: Out << 'n'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000827 case BuiltinType::Float: Out << 'f'; break;
828 case BuiltinType::Double: Out << 'd'; break;
829 case BuiltinType::LongDouble: Out << 'e'; break;
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000830 case BuiltinType::NullPtr: Out << "St9nullptr_t"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000831
832 case BuiltinType::Overload:
833 case BuiltinType::Dependent:
Mike Stump1eb44332009-09-09 15:08:12 +0000834 assert(false &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000835 "Overloaded and dependent types shouldn't get to name mangling");
836 break;
Anders Carlssone89d1592009-06-26 18:41:36 +0000837 case BuiltinType::UndeducedAuto:
838 assert(0 && "Should not see undeduced auto here");
839 break;
Steve Naroff9533a7f2009-07-22 17:14:51 +0000840 case BuiltinType::ObjCId: Out << "11objc_object"; break;
841 case BuiltinType::ObjCClass: Out << "10objc_class"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000842 }
843}
844
John McCallefe6aee2009-09-05 07:56:18 +0000845// <type> ::= <function-type>
846// <function-type> ::= F [Y] <bare-function-type> E
847void CXXNameMangler::mangleType(const FunctionProtoType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000848 Out << 'F';
Mike Stumpf5408fe2009-05-16 07:57:57 +0000849 // FIXME: We don't have enough information in the AST to produce the 'Y'
850 // encoding for extern "C" function types.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000851 mangleBareFunctionType(T, /*MangleReturnType=*/true);
852 Out << 'E';
853}
John McCallefe6aee2009-09-05 07:56:18 +0000854void CXXNameMangler::mangleType(const FunctionNoProtoType *T) {
855 llvm::llvm_unreachable("Can't mangle K&R function prototypes");
856}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000857void CXXNameMangler::mangleBareFunctionType(const FunctionType *T,
858 bool MangleReturnType) {
John McCallefe6aee2009-09-05 07:56:18 +0000859 // We should never be mangling something without a prototype.
860 const FunctionProtoType *Proto = cast<FunctionProtoType>(T);
861
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000862 // <bare-function-type> ::= <signature type>+
863 if (MangleReturnType)
John McCallefe6aee2009-09-05 07:56:18 +0000864 mangleType(Proto->getResultType());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000865
Anders Carlssonc6c91bc2009-04-01 00:15:23 +0000866 if (Proto->getNumArgs() == 0) {
867 Out << 'v';
868 return;
869 }
Mike Stump1eb44332009-09-09 15:08:12 +0000870
Douglas Gregor72564e72009-02-26 23:50:07 +0000871 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(),
Mike Stump1eb44332009-09-09 15:08:12 +0000872 ArgEnd = Proto->arg_type_end();
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000873 Arg != ArgEnd; ++Arg)
874 mangleType(*Arg);
Douglas Gregor219cc612009-02-13 01:28:03 +0000875
876 // <builtin-type> ::= z # ellipsis
877 if (Proto->isVariadic())
878 Out << 'z';
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000879}
880
John McCallefe6aee2009-09-05 07:56:18 +0000881// <type> ::= <class-enum-type>
Mike Stump1eb44332009-09-09 15:08:12 +0000882// <class-enum-type> ::= <name>
John McCallefe6aee2009-09-05 07:56:18 +0000883void CXXNameMangler::mangleType(const EnumType *T) {
884 mangleType(static_cast<const TagType*>(T));
885}
886void CXXNameMangler::mangleType(const RecordType *T) {
887 mangleType(static_cast<const TagType*>(T));
888}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000889void CXXNameMangler::mangleType(const TagType *T) {
Anders Carlsson4843e582009-03-10 17:07:44 +0000890 if (!T->getDecl()->getIdentifier())
891 mangleName(T->getDecl()->getTypedefForAnonDecl());
892 else
893 mangleName(T->getDecl());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000894}
895
John McCallefe6aee2009-09-05 07:56:18 +0000896// <type> ::= <array-type>
897// <array-type> ::= A <positive dimension number> _ <element type>
898// ::= A [<dimension expression>] _ <element type>
899void CXXNameMangler::mangleType(const ConstantArrayType *T) {
900 Out << 'A' << T->getSize() << '_';
901 mangleType(T->getElementType());
902}
903void CXXNameMangler::mangleType(const VariableArrayType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000904 Out << 'A';
John McCallefe6aee2009-09-05 07:56:18 +0000905 mangleExpression(T->getSizeExpr());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000906 Out << '_';
907 mangleType(T->getElementType());
908}
John McCallefe6aee2009-09-05 07:56:18 +0000909void CXXNameMangler::mangleType(const DependentSizedArrayType *T) {
910 Out << 'A';
911 mangleExpression(T->getSizeExpr());
912 Out << '_';
913 mangleType(T->getElementType());
914}
915void CXXNameMangler::mangleType(const IncompleteArrayType *T) {
916 Out << 'A' << '_';
917 mangleType(T->getElementType());
918}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000919
John McCallefe6aee2009-09-05 07:56:18 +0000920// <type> ::= <pointer-to-member-type>
921// <pointer-to-member-type> ::= M <class type> <member type>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000922void CXXNameMangler::mangleType(const MemberPointerType *T) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000923 Out << 'M';
924 mangleType(QualType(T->getClass(), 0));
Anders Carlsson0e650012009-05-17 17:41:20 +0000925 QualType PointeeType = T->getPointeeType();
926 if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(PointeeType)) {
John McCall0953e762009-09-24 19:53:00 +0000927 mangleQualifiers(Qualifiers::fromCVRMask(FPT->getTypeQuals()));
Anders Carlsson0e650012009-05-17 17:41:20 +0000928 mangleType(FPT);
Mike Stump1eb44332009-09-09 15:08:12 +0000929 } else
Anders Carlsson0e650012009-05-17 17:41:20 +0000930 mangleType(PointeeType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000931}
932
John McCallefe6aee2009-09-05 07:56:18 +0000933// <type> ::= <template-param>
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000934void CXXNameMangler::mangleType(const TemplateTypeParmType *T) {
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +0000935 mangleTemplateParameter(T->getIndex());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000936}
937
John McCallefe6aee2009-09-05 07:56:18 +0000938// FIXME: <type> ::= <template-template-param> <template-args>
John McCallefe6aee2009-09-05 07:56:18 +0000939
940// <type> ::= P <type> # pointer-to
941void CXXNameMangler::mangleType(const PointerType *T) {
942 Out << 'P';
943 mangleType(T->getPointeeType());
944}
945void CXXNameMangler::mangleType(const ObjCObjectPointerType *T) {
946 Out << 'P';
947 mangleType(T->getPointeeType());
948}
949
950// <type> ::= R <type> # reference-to
951void CXXNameMangler::mangleType(const LValueReferenceType *T) {
952 Out << 'R';
953 mangleType(T->getPointeeType());
954}
955
956// <type> ::= O <type> # rvalue reference-to (C++0x)
957void CXXNameMangler::mangleType(const RValueReferenceType *T) {
958 Out << 'O';
959 mangleType(T->getPointeeType());
960}
961
962// <type> ::= C <type> # complex pair (C 2000)
963void CXXNameMangler::mangleType(const ComplexType *T) {
964 Out << 'C';
965 mangleType(T->getElementType());
966}
967
968// GNU extension: vector types
969void CXXNameMangler::mangleType(const VectorType *T) {
970 Out << "U8__vector";
971 mangleType(T->getElementType());
972}
973void CXXNameMangler::mangleType(const ExtVectorType *T) {
974 mangleType(static_cast<const VectorType*>(T));
975}
976void CXXNameMangler::mangleType(const DependentSizedExtVectorType *T) {
977 Out << "U8__vector";
978 mangleType(T->getElementType());
979}
980
Anders Carlssona40c5e42009-03-07 22:03:21 +0000981void CXXNameMangler::mangleType(const ObjCInterfaceType *T) {
982 mangleSourceName(T->getDecl()->getIdentifier());
983}
984
John McCallefe6aee2009-09-05 07:56:18 +0000985void CXXNameMangler::mangleType(const BlockPointerType *T) {
986 assert(false && "can't mangle block pointer types yet");
987}
988
989void CXXNameMangler::mangleType(const FixedWidthIntType *T) {
990 assert(false && "can't mangle arbitary-precision integer type yet");
991}
992
993void CXXNameMangler::mangleType(const TemplateSpecializationType *T) {
Anders Carlsson7624f212009-09-18 02:42:01 +0000994 TemplateDecl *TD = T->getTemplateName().getAsTemplateDecl();
995 assert(TD && "FIXME: Support dependent template names!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +0000996
Anders Carlsson7624f212009-09-18 02:42:01 +0000997 mangleName(TD, T->getArgs(), T->getNumArgs());
John McCallefe6aee2009-09-05 07:56:18 +0000998}
999
1000void CXXNameMangler::mangleType(const TypenameType *T) {
Anders Carlssonae352482009-09-26 02:26:02 +00001001 // Typename types are always nested
1002 Out << 'N';
1003
1004 const Type *QTy = T->getQualifier()->getAsType();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001005 if (const TemplateSpecializationType *TST =
Anders Carlssonae352482009-09-26 02:26:02 +00001006 dyn_cast<TemplateSpecializationType>(QTy)) {
Anders Carlsson88599172009-09-27 01:06:07 +00001007 if (!mangleSubstitution(QualType(TST, 0))) {
1008 TemplateDecl *TD = TST->getTemplateName().getAsTemplateDecl();
Anders Carlssonae352482009-09-26 02:26:02 +00001009
Anders Carlsson88599172009-09-27 01:06:07 +00001010 mangleTemplatePrefix(TD);
1011 mangleTemplateArgs(TST->getArgs(), TST->getNumArgs());
1012 addSubstitution(QualType(TST, 0));
1013 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001014 } else if (const TemplateTypeParmType *TTPT =
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001015 dyn_cast<TemplateTypeParmType>(QTy)) {
1016 // We use the QualType mangle type variant here because it handles
1017 // substitutions.
1018 mangleType(QualType(TTPT, 0));
Anders Carlssonae352482009-09-26 02:26:02 +00001019 } else
1020 assert(false && "Unhandled type!");
1021
1022 mangleSourceName(T->getIdentifier());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001023
Anders Carlssonae352482009-09-26 02:26:02 +00001024 Out << 'E';
John McCallefe6aee2009-09-05 07:56:18 +00001025}
1026
Anders Carlssond553f8c2009-09-21 01:21:10 +00001027void CXXNameMangler::mangleExpression(const Expr *E) {
1028 // <expression> ::= <unary operator-name> <expression>
1029 // ::= <binary operator-name> <expression> <expression>
1030 // ::= <trinary operator-name> <expression> <expression> <expression>
1031 // ::= cl <expression>* E # call
1032 // ::= cv <type> expression # conversion with one argument
1033 // ::= cv <type> _ <expression>* E # conversion with a different number of arguments
1034 // ::= st <type> # sizeof (a type)
1035 // ::= at <type> # alignof (a type)
1036 // ::= <template-param>
1037 // ::= <function-param>
1038 // ::= sr <type> <unqualified-name> # dependent name
1039 // ::= sr <type> <unqualified-name> <template-args> # dependent template-id
1040 // ::= sZ <template-param> # size of a parameter pack
1041 // ::= <expr-primary>
1042 switch (E->getStmtClass()) {
1043 default: assert(false && "Unhandled expression kind!");
Anders Carlssona7694082009-11-06 02:50:19 +00001044
1045 case Expr::ParenExprClass:
1046 mangleExpression(cast<ParenExpr>(E)->getSubExpr());
1047 break;
1048
Anders Carlssond553f8c2009-09-21 01:21:10 +00001049 case Expr::DeclRefExprClass: {
1050 const Decl *D = cast<DeclRefExpr>(E)->getDecl();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001051
Anders Carlssond553f8c2009-09-21 01:21:10 +00001052 switch (D->getKind()) {
1053 default: assert(false && "Unhandled decl kind!");
1054 case Decl::NonTypeTemplateParm: {
1055 const NonTypeTemplateParmDecl *PD = cast<NonTypeTemplateParmDecl>(D);
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001056 mangleTemplateParameter(PD->getIndex());
Anders Carlssond553f8c2009-09-21 01:21:10 +00001057 break;
1058 }
1059
1060 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001061
Anders Carlsson50755b02009-09-27 20:11:34 +00001062 break;
Anders Carlssond553f8c2009-09-21 01:21:10 +00001063 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001064
John McCall865d4472009-11-19 22:55:06 +00001065 case Expr::DependentScopeDeclRefExprClass: {
1066 const DependentScopeDeclRefExpr *DRE = cast<DependentScopeDeclRefExpr>(E);
Anders Carlsson50755b02009-09-27 20:11:34 +00001067 const Type *QTy = DRE->getQualifier()->getAsType();
1068 assert(QTy && "Qualifier was not type!");
1069
1070 // ::= sr <type> <unqualified-name> # dependent name
1071 Out << "sr";
1072 mangleType(QualType(QTy, 0));
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001073
Anders Carlsson50755b02009-09-27 20:11:34 +00001074 assert(DRE->getDeclName().getNameKind() == DeclarationName::Identifier &&
1075 "Unhandled decl name kind!");
1076 mangleSourceName(DRE->getDeclName().getAsIdentifierInfo());
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001077
Anders Carlsson50755b02009-09-27 20:11:34 +00001078 break;
1079 }
1080
Anders Carlssond553f8c2009-09-21 01:21:10 +00001081 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00001082}
1083
John McCallefe6aee2009-09-05 07:56:18 +00001084// FIXME: <type> ::= G <type> # imaginary (C 2000)
1085// FIXME: <type> ::= U <source-name> <type> # vendor extended type qualifier
1086
Anders Carlsson3ac86b52009-04-15 05:36:58 +00001087void CXXNameMangler::mangleCXXCtorType(CXXCtorType T) {
1088 // <ctor-dtor-name> ::= C1 # complete object constructor
1089 // ::= C2 # base object constructor
1090 // ::= C3 # complete object allocating constructor
1091 //
1092 switch (T) {
1093 case Ctor_Complete:
1094 Out << "C1";
1095 break;
1096 case Ctor_Base:
1097 Out << "C2";
1098 break;
1099 case Ctor_CompleteAllocating:
1100 Out << "C3";
1101 break;
1102 }
1103}
1104
Anders Carlsson27ae5362009-04-17 01:58:57 +00001105void CXXNameMangler::mangleCXXDtorType(CXXDtorType T) {
1106 // <ctor-dtor-name> ::= D0 # deleting destructor
1107 // ::= D1 # complete object destructor
1108 // ::= D2 # base object destructor
1109 //
1110 switch (T) {
1111 case Dtor_Deleting:
1112 Out << "D0";
1113 break;
1114 case Dtor_Complete:
1115 Out << "D1";
1116 break;
1117 case Dtor_Base:
1118 Out << "D2";
1119 break;
1120 }
1121}
1122
Anders Carlsson068f3472009-09-17 05:31:47 +00001123void CXXNameMangler::mangleTemplateArgumentList(const TemplateArgumentList &L) {
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001124 // <template-args> ::= I <template-arg>+ E
1125 Out << "I";
Mike Stump1eb44332009-09-09 15:08:12 +00001126
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001127 for (unsigned i = 0, e = L.size(); i != e; ++i) {
1128 const TemplateArgument &A = L[i];
Mike Stump1eb44332009-09-09 15:08:12 +00001129
Anders Carlsson068f3472009-09-17 05:31:47 +00001130 mangleTemplateArgument(A);
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001131 }
Mike Stump1eb44332009-09-09 15:08:12 +00001132
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001133 Out << "E";
1134}
1135
Anders Carlsson7624f212009-09-18 02:42:01 +00001136void CXXNameMangler::mangleTemplateArgs(const TemplateArgument *TemplateArgs,
1137 unsigned NumTemplateArgs) {
1138 // <template-args> ::= I <template-arg>+ E
1139 Out << "I";
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001140
Anders Carlsson7624f212009-09-18 02:42:01 +00001141 for (unsigned i = 0; i != NumTemplateArgs; ++i) {
1142 mangleTemplateArgument(TemplateArgs[i]);
1143 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001144
Anders Carlsson7624f212009-09-18 02:42:01 +00001145 Out << "E";
1146}
1147
Anders Carlsson068f3472009-09-17 05:31:47 +00001148void CXXNameMangler::mangleTemplateArgument(const TemplateArgument &A) {
Mike Stump1eb44332009-09-09 15:08:12 +00001149 // <template-arg> ::= <type> # type or template
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001150 // ::= X <expression> E # expression
1151 // ::= <expr-primary> # simple expressions
1152 // ::= I <template-arg>* E # argument pack
1153 // ::= sp <expression> # pack expansion of (C++0x)
1154 switch (A.getKind()) {
1155 default:
1156 assert(0 && "Unknown template argument kind!");
1157 case TemplateArgument::Type:
1158 mangleType(A.getAsType());
1159 break;
Anders Carlssond553f8c2009-09-21 01:21:10 +00001160 case TemplateArgument::Expression:
1161 Out << 'X';
1162 mangleExpression(A.getAsExpr());
1163 Out << 'E';
1164 break;
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001165 case TemplateArgument::Integral:
1166 // <expr-primary> ::= L <type> <value number> E # integer literal
1167
1168 Out << 'L';
Mike Stump1eb44332009-09-09 15:08:12 +00001169
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001170 mangleType(A.getIntegralType());
Mike Stump1eb44332009-09-09 15:08:12 +00001171
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001172 const llvm::APSInt *Integral = A.getAsIntegral();
1173 if (A.getIntegralType()->isBooleanType()) {
1174 // Boolean values are encoded as 0/1.
1175 Out << (Integral->getBoolValue() ? '1' : '0');
1176 } else {
1177 if (Integral->isNegative())
1178 Out << 'n';
1179 Integral->abs().print(Out, false);
1180 }
Mike Stump1eb44332009-09-09 15:08:12 +00001181
Anders Carlsson7a0ba872009-05-15 16:09:15 +00001182 Out << 'E';
1183 break;
1184 }
1185}
1186
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +00001187void CXXNameMangler::mangleTemplateParameter(unsigned Index) {
1188 // <template-param> ::= T_ # first template parameter
1189 // ::= T <parameter-2 non-negative number> _
1190 if (Index == 0)
1191 Out << "T_";
1192 else
1193 Out << 'T' << (Index - 1) << '_';
1194}
1195
Anders Carlsson76967372009-09-17 00:43:46 +00001196// <substitution> ::= S <seq-id> _
1197// ::= S_
Anders Carlsson6862fc72009-09-17 04:16:28 +00001198bool CXXNameMangler::mangleSubstitution(const NamedDecl *ND) {
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001199 // Try one of the standard substitutions first.
1200 if (mangleStandardSubstitution(ND))
1201 return true;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001202
Anders Carlsson433d1372009-11-07 04:26:04 +00001203 ND = cast<NamedDecl>(ND->getCanonicalDecl());
Anders Carlsson6862fc72009-09-17 04:16:28 +00001204 return mangleSubstitution(reinterpret_cast<uintptr_t>(ND));
1205}
1206
Anders Carlsson76967372009-09-17 00:43:46 +00001207bool CXXNameMangler::mangleSubstitution(QualType T) {
Anders Carlssond99edc42009-09-26 03:55:37 +00001208 if (!T.getCVRQualifiers()) {
1209 if (const RecordType *RT = T->getAs<RecordType>())
1210 return mangleSubstitution(RT->getDecl());
1211 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001212
Anders Carlsson76967372009-09-17 00:43:46 +00001213 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr());
1214
Anders Carlssond3a932a2009-09-17 03:53:28 +00001215 return mangleSubstitution(TypePtr);
1216}
1217
1218bool CXXNameMangler::mangleSubstitution(uintptr_t Ptr) {
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001219 llvm::DenseMap<uintptr_t, unsigned>::iterator I =
Anders Carlssond3a932a2009-09-17 03:53:28 +00001220 Substitutions.find(Ptr);
Anders Carlsson76967372009-09-17 00:43:46 +00001221 if (I == Substitutions.end())
1222 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001223
Anders Carlsson76967372009-09-17 00:43:46 +00001224 unsigned SeqID = I->second;
1225 if (SeqID == 0)
1226 Out << "S_";
1227 else {
1228 SeqID--;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001229
Anders Carlsson76967372009-09-17 00:43:46 +00001230 // <seq-id> is encoded in base-36, using digits and upper case letters.
1231 char Buffer[10];
1232 char *BufferPtr = Buffer + 9;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001233
Anders Carlsson76967372009-09-17 00:43:46 +00001234 *BufferPtr = 0;
1235 if (SeqID == 0) *--BufferPtr = '0';
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001236
Anders Carlsson76967372009-09-17 00:43:46 +00001237 while (SeqID) {
1238 assert(BufferPtr > Buffer && "Buffer overflow!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001239
Anders Carlsson76967372009-09-17 00:43:46 +00001240 unsigned char c = static_cast<unsigned char>(SeqID) % 36;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001241
Anders Carlsson76967372009-09-17 00:43:46 +00001242 *--BufferPtr = (c < 10 ? '0' + c : 'A' + c - 10);
1243 SeqID /= 36;
1244 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001245
Anders Carlsson76967372009-09-17 00:43:46 +00001246 Out << 'S' << BufferPtr << '_';
1247 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001248
Anders Carlsson76967372009-09-17 00:43:46 +00001249 return true;
1250}
1251
Anders Carlssonf514b542009-09-27 00:12:57 +00001252static bool isCharType(QualType T) {
1253 if (T.isNull())
1254 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001255
Anders Carlssonf514b542009-09-27 00:12:57 +00001256 return T->isSpecificBuiltinType(BuiltinType::Char_S) ||
1257 T->isSpecificBuiltinType(BuiltinType::Char_U);
1258}
1259
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001260/// isCharSpecialization - Returns whether a given type is a template
Anders Carlssonf514b542009-09-27 00:12:57 +00001261/// specialization of a given name with a single argument of type char.
1262static bool isCharSpecialization(QualType T, const char *Name) {
1263 if (T.isNull())
1264 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001265
Anders Carlssonf514b542009-09-27 00:12:57 +00001266 const RecordType *RT = T->getAs<RecordType>();
1267 if (!RT)
1268 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001269
1270 const ClassTemplateSpecializationDecl *SD =
Anders Carlssonf514b542009-09-27 00:12:57 +00001271 dyn_cast<ClassTemplateSpecializationDecl>(RT->getDecl());
1272 if (!SD)
1273 return false;
1274
1275 if (!isStdNamespace(SD->getDeclContext()))
1276 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001277
Anders Carlssonf514b542009-09-27 00:12:57 +00001278 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
1279 if (TemplateArgs.size() != 1)
1280 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001281
Anders Carlssonf514b542009-09-27 00:12:57 +00001282 if (!isCharType(TemplateArgs[0].getAsType()))
1283 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001284
Daniel Dunbar01eb9b92009-10-18 21:17:35 +00001285 return SD->getIdentifier()->getName() == Name;
Anders Carlssonf514b542009-09-27 00:12:57 +00001286}
1287
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001288bool CXXNameMangler::mangleStandardSubstitution(const NamedDecl *ND) {
1289 // <substitution> ::= St # ::std::
Mike Stumpc2e84ae2009-11-15 08:09:41 +00001290 // FIXME: type_info == comes out as __ZNK3std9type_infoeqERKS0_ instead of
1291 // __ZNKSt9type_infoeqERKS_
Anders Carlsson8c031552009-09-26 23:10:05 +00001292 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) {
John McCall9aeed322009-10-01 00:25:31 +00001293 if (isStdNamespace(NS)) {
Anders Carlsson8c031552009-09-26 23:10:05 +00001294 Out << "St";
1295 return true;
1296 }
1297 }
1298
1299 if (const ClassTemplateDecl *TD = dyn_cast<ClassTemplateDecl>(ND)) {
1300 if (!isStdNamespace(TD->getDeclContext()))
1301 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001302
Anders Carlsson8c031552009-09-26 23:10:05 +00001303 // <substitution> ::= Sa # ::std::allocator
1304 if (TD->getIdentifier()->isStr("allocator")) {
1305 Out << "Sa";
1306 return true;
1307 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001308
Anders Carlsson189d59c2009-09-26 23:14:39 +00001309 // <<substitution> ::= Sb # ::std::basic_string
1310 if (TD->getIdentifier()->isStr("basic_string")) {
1311 Out << "Sb";
1312 return true;
1313 }
Anders Carlsson8c031552009-09-26 23:10:05 +00001314 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001315
1316 if (const ClassTemplateSpecializationDecl *SD =
Anders Carlssonf514b542009-09-27 00:12:57 +00001317 dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
1318 // <substitution> ::= Ss # ::std::basic_string<char,
1319 // ::std::char_traits<char>,
1320 // ::std::allocator<char> >
1321 if (SD->getIdentifier()->isStr("basic_string")) {
1322 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001323
Anders Carlssonf514b542009-09-27 00:12:57 +00001324 if (TemplateArgs.size() != 3)
1325 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001326
Anders Carlssonf514b542009-09-27 00:12:57 +00001327 if (!isCharType(TemplateArgs[0].getAsType()))
1328 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001329
Anders Carlssonf514b542009-09-27 00:12:57 +00001330 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits"))
1331 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001332
Anders Carlssonf514b542009-09-27 00:12:57 +00001333 if (!isCharSpecialization(TemplateArgs[2].getAsType(), "allocator"))
1334 return false;
1335
1336 Out << "Ss";
1337 return true;
1338 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001339
1340 // <substitution> ::= So # ::std::basic_ostream<char,
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001341 // ::std::char_traits<char> >
1342 if (SD->getIdentifier()->isStr("basic_ostream")) {
1343 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001344
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001345 if (TemplateArgs.size() != 2)
1346 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001347
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001348 if (!isCharType(TemplateArgs[0].getAsType()))
1349 return false;
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001350
Anders Carlsson8f8fd8e2009-10-08 17:20:26 +00001351 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits"))
1352 return false;
1353
1354 Out << "So";
1355 return true;
1356 }
Anders Carlssonf514b542009-09-27 00:12:57 +00001357 }
Anders Carlsson8c031552009-09-26 23:10:05 +00001358 return false;
Anders Carlssone7c8cb62009-09-26 20:53:44 +00001359}
1360
Anders Carlsson76967372009-09-17 00:43:46 +00001361void CXXNameMangler::addSubstitution(QualType T) {
Anders Carlssond99edc42009-09-26 03:55:37 +00001362 if (!T.getCVRQualifiers()) {
1363 if (const RecordType *RT = T->getAs<RecordType>()) {
1364 addSubstitution(RT->getDecl());
1365 return;
1366 }
1367 }
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001368
Anders Carlsson76967372009-09-17 00:43:46 +00001369 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr());
Anders Carlssond3a932a2009-09-17 03:53:28 +00001370 addSubstitution(TypePtr);
1371}
1372
1373void CXXNameMangler::addSubstitution(uintptr_t Ptr) {
Anders Carlsson76967372009-09-17 00:43:46 +00001374 unsigned SeqID = Substitutions.size();
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001375
Anders Carlssond3a932a2009-09-17 03:53:28 +00001376 assert(!Substitutions.count(Ptr) && "Substitution already exists!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001377 Substitutions[Ptr] = SeqID;
Anders Carlsson76967372009-09-17 00:43:46 +00001378}
1379
Daniel Dunbar1b077112009-11-21 09:06:10 +00001380//
Mike Stump1eb44332009-09-09 15:08:12 +00001381
Daniel Dunbar1b077112009-11-21 09:06:10 +00001382/// \brief Mangles the name of the declaration D and emits that name to the
1383/// given output stream.
1384///
1385/// If the declaration D requires a mangled name, this routine will emit that
1386/// mangled name to \p os and return true. Otherwise, \p os will be unchanged
1387/// and this routine will return false. In this case, the caller should just
1388/// emit the identifier of the declaration (\c D->getIdentifier()) as its
1389/// name.
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001390bool MangleContext::mangleName(const NamedDecl *D,
1391 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar1b077112009-11-21 09:06:10 +00001392 assert(!isa<CXXConstructorDecl>(D) &&
1393 "Use mangleCXXCtor for constructor decls!");
1394 assert(!isa<CXXDestructorDecl>(D) &&
1395 "Use mangleCXXDtor for destructor decls!");
Daniel Dunbar3c9e4632009-11-21 09:05:47 +00001396
Daniel Dunbar1b077112009-11-21 09:06:10 +00001397 PrettyStackTraceDecl CrashInfo(D, SourceLocation(),
1398 getASTContext().getSourceManager(),
1399 "Mangling declaration");
Mike Stump1eb44332009-09-09 15:08:12 +00001400
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001401 CXXNameMangler Mangler(*this, Res);
1402 return Mangler.mangle(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001403}
Mike Stump1eb44332009-09-09 15:08:12 +00001404
Daniel Dunbar1b077112009-11-21 09:06:10 +00001405/// \brief Mangles the a thunk with the offset n for the declaration D and
1406/// emits that name to the given output stream.
1407void MangleContext::mangleThunk(const FunctionDecl *FD, int64_t nv, int64_t v,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001408 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar1b077112009-11-21 09:06:10 +00001409 // FIXME: Hum, we might have to thunk these, fix.
1410 assert(!isa<CXXDestructorDecl>(FD) &&
1411 "Use mangleCXXDtor for destructor decls!");
Mike Stump1eb44332009-09-09 15:08:12 +00001412
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001413 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001414 Mangler.mangleThunk(FD, nv, v);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001415}
Mike Stump1eb44332009-09-09 15:08:12 +00001416
Daniel Dunbar1b077112009-11-21 09:06:10 +00001417/// \brief Mangles the a covariant thunk for the declaration D and emits that
1418/// name to the given output stream.
1419void MangleContext::mangleCovariantThunk(const FunctionDecl *FD, int64_t nv_t,
1420 int64_t v_t, int64_t nv_r, int64_t v_r,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001421 llvm::SmallVectorImpl<char> &Res) {
Daniel Dunbar1b077112009-11-21 09:06:10 +00001422 // FIXME: Hum, we might have to thunk these, fix.
1423 assert(!isa<CXXDestructorDecl>(FD) &&
1424 "Use mangleCXXDtor for destructor decls!");
Mike Stump1eb44332009-09-09 15:08:12 +00001425
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001426 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001427 Mangler.mangleCovariantThunk(FD, nv_t, v_t, nv_r, v_r);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001428}
Anders Carlsson41aa8c12009-04-13 18:02:10 +00001429
Daniel Dunbar1b077112009-11-21 09:06:10 +00001430/// mangleGuardVariable - Returns the mangled name for a guard variable
1431/// for the passed in VarDecl.
1432void MangleContext::mangleGuardVariable(const VarDecl *D,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001433 llvm::SmallVectorImpl<char> &Res) {
1434 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001435 Mangler.mangleGuardVariable(D);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001436}
Mike Stump1eb44332009-09-09 15:08:12 +00001437
Daniel Dunbar1b077112009-11-21 09:06:10 +00001438void MangleContext::mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001439 llvm::SmallVectorImpl<char> &Res) {
1440 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001441 Mangler.mangleCXXCtor(D, Type);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001442}
Mike Stump1eb44332009-09-09 15:08:12 +00001443
Daniel Dunbar1b077112009-11-21 09:06:10 +00001444void MangleContext::mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001445 llvm::SmallVectorImpl<char> &Res) {
1446 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001447 Mangler.mangleCXXDtor(D, Type);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001448}
Mike Stumpf1216772009-07-31 18:25:34 +00001449
Daniel Dunbar1b077112009-11-21 09:06:10 +00001450void MangleContext::mangleCXXVtable(const CXXRecordDecl *RD,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001451 llvm::SmallVectorImpl<char> &Res) {
1452 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001453 Mangler.mangleCXXVtable(RD);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001454}
Mike Stump82d75b02009-11-10 01:58:37 +00001455
Daniel Dunbar1b077112009-11-21 09:06:10 +00001456void MangleContext::mangleCXXVTT(const CXXRecordDecl *RD,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001457 llvm::SmallVectorImpl<char> &Res) {
1458 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001459 Mangler.mangleCXXVTT(RD);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001460}
Mike Stumpab3f7e92009-11-10 01:41:59 +00001461
Daniel Dunbar1b077112009-11-21 09:06:10 +00001462void MangleContext::mangleCXXCtorVtable(const CXXRecordDecl *RD, int64_t Offset,
1463 const CXXRecordDecl *Type,
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001464 llvm::SmallVectorImpl<char> &Res) {
1465 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001466 Mangler.mangleCXXCtorVtable(RD, Offset, Type);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001467}
Mike Stump738f8c22009-07-31 23:15:31 +00001468
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001469void MangleContext::mangleCXXRtti(QualType Ty,
1470 llvm::SmallVectorImpl<char> &Res) {
1471 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001472 Mangler.mangleCXXRtti(Ty);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001473}
Mike Stump67795982009-11-14 00:14:13 +00001474
Daniel Dunbar94fd26d2009-11-21 09:06:22 +00001475void MangleContext::mangleCXXRttiName(QualType Ty,
1476 llvm::SmallVectorImpl<char> &Res) {
1477 CXXNameMangler Mangler(*this, Res);
Daniel Dunbar1b077112009-11-21 09:06:10 +00001478 Mangler.mangleCXXRttiName(Ty);
Mike Stumpf1216772009-07-31 18:25:34 +00001479}