blob: cd0e2eae7dc8dd2f1e120e61e567de3c4c727919 [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"
Douglas Gregor6ec36682009-02-18 23:53:56 +000023#include "clang/Basic/SourceManager.h"
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000024#include "llvm/Support/Compiler.h"
25#include "llvm/Support/raw_ostream.h"
26using namespace clang;
27
28namespace {
29 class VISIBILITY_HIDDEN CXXNameMangler {
30 ASTContext &Context;
31 llvm::raw_ostream &Out;
32
Anders Carlsson27ae5362009-04-17 01:58:57 +000033 const CXXMethodDecl *Structor;
34 unsigned StructorType;
Anders Carlsson3ac86b52009-04-15 05:36:58 +000035 CXXCtorType CtorType;
36
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000037 public:
38 CXXNameMangler(ASTContext &C, llvm::raw_ostream &os)
Anders Carlsson27ae5362009-04-17 01:58:57 +000039 : Context(C), Out(os), Structor(0), StructorType(0) { }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000040
41 bool mangle(const NamedDecl *D);
Anders Carlsson41aa8c12009-04-13 18:02:10 +000042 void mangleGuardVariable(const VarDecl *D);
Anders Carlsson27ae5362009-04-17 01:58:57 +000043
Anders Carlsson3ac86b52009-04-15 05:36:58 +000044 void mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type);
Anders Carlsson27ae5362009-04-17 01:58:57 +000045 void mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type);
Anders Carlsson3ac86b52009-04-15 05:36:58 +000046
Anders Carlsson43f17402009-04-02 15:51:53 +000047 private:
48 bool mangleFunctionDecl(const FunctionDecl *FD);
49
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000050 void mangleFunctionEncoding(const FunctionDecl *FD);
51 void mangleName(const NamedDecl *ND);
52 void mangleUnqualifiedName(const NamedDecl *ND);
53 void mangleSourceName(const IdentifierInfo *II);
Anders Carlsson1b42c792009-04-02 16:24:45 +000054 void mangleLocalName(const NamedDecl *ND);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000055 void mangleNestedName(const NamedDecl *ND);
56 void manglePrefix(const DeclContext *DC);
57 void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity);
58 void mangleCVQualifiers(unsigned Quals);
59 void mangleType(QualType T);
60 void mangleType(const BuiltinType *T);
61 void mangleType(const FunctionType *T);
62 void mangleBareFunctionType(const FunctionType *T, bool MangleReturnType);
63 void mangleType(const TagType *T);
64 void mangleType(const ArrayType *T);
65 void mangleType(const MemberPointerType *T);
66 void mangleType(const TemplateTypeParmType *T);
Anders Carlssona40c5e42009-03-07 22:03:21 +000067 void mangleType(const ObjCInterfaceType *T);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000068 void mangleExpression(Expr *E);
Anders Carlsson3ac86b52009-04-15 05:36:58 +000069 void mangleCXXCtorType(CXXCtorType T);
Anders Carlsson27ae5362009-04-17 01:58:57 +000070 void mangleCXXDtorType(CXXDtorType T);
Anders Carlsson7a0ba872009-05-15 16:09:15 +000071
72 void mangleTemplateArgumentList(const TemplateArgumentList &L);
73 void mangleTemplateArgument(const TemplateArgument &A);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000074 };
75}
76
Anders Carlsson43f17402009-04-02 15:51:53 +000077static bool isInCLinkageSpecification(const Decl *D) {
78 for (const DeclContext *DC = D->getDeclContext();
79 !DC->isTranslationUnit(); DC = DC->getParent()) {
80 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))
81 return Linkage->getLanguage() == LinkageSpecDecl::lang_c;
82 }
83
84 return false;
85}
86
87bool CXXNameMangler::mangleFunctionDecl(const FunctionDecl *FD) {
88 // Clang's "overloadable" attribute extension to C/C++ implies
89 // name mangling (always).
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +000090 if (!FD->hasAttr<OverloadableAttr>()) {
Chris Lattner783601d2009-06-13 23:34:16 +000091 // C functions are not mangled, and "main" is never mangled.
92 if (!Context.getLangOptions().CPlusPlus || FD->isMain())
93 return false;
94
95 // No mangling in an "implicit extern C" header.
96 if (FD->getLocation().isValid() &&
97 Context.getSourceManager().isInExternCSystemHeader(FD->getLocation()))
98 return false;
99
100 // No name mangling in a C linkage specification.
101 if (isInCLinkageSpecification(FD))
102 return false;
103 }
Anders Carlsson43f17402009-04-02 15:51:53 +0000104
105 // If we get here, mangle the decl name!
106 Out << "_Z";
107 mangleFunctionEncoding(FD);
108 return true;
109}
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000110
111bool CXXNameMangler::mangle(const NamedDecl *D) {
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000112 // Any decl can be declared with __asm("foo") on it, and this takes
113 // precedence over all other naming in the .o file.
Argyrios Kyrtzidis40b598e2009-06-30 02:34:44 +0000114 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
Chris Lattnerca3f25c2009-03-21 08:24:40 +0000115 // If we have an asm name, then we use it as the mangling.
116 Out << '\01'; // LLVM IR Marker for __asm("foo")
117 Out << ALA->getLabel();
118 return true;
119 }
120
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000121 // <mangled-name> ::= _Z <encoding>
122 // ::= <data name>
123 // ::= <special-name>
124
125 // FIXME: Actually use a visitor to decode these?
Anders Carlsson43f17402009-04-02 15:51:53 +0000126 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
127 return mangleFunctionDecl(FD);
Chris Lattnerbc7a0292009-03-21 06:19:20 +0000128
Anders Carlsson329749c2009-04-02 16:05:20 +0000129 if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
130 if (!Context.getLangOptions().CPlusPlus ||
Anders Carlsson9ccb0652009-04-11 01:19:45 +0000131 isInCLinkageSpecification(D) ||
132 D->getDeclContext()->isTranslationUnit())
Anders Carlsson329749c2009-04-02 16:05:20 +0000133 return false;
134
135 Out << "_Z";
136 mangleName(VD);
137 return true;
138 }
139
Anders Carlsson43f17402009-04-02 15:51:53 +0000140 return false;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000141}
142
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000143void CXXNameMangler::mangleCXXCtor(const CXXConstructorDecl *D,
144 CXXCtorType Type) {
Anders Carlsson27ae5362009-04-17 01:58:57 +0000145 assert(!Structor && "Structor already set!");
146 Structor = D;
147 StructorType = Type;
148
149 mangle(D);
150}
151
152void CXXNameMangler::mangleCXXDtor(const CXXDestructorDecl *D,
153 CXXDtorType Type) {
154 assert(!Structor && "Structor already set!");
155 Structor = D;
156 StructorType = Type;
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000157
158 mangle(D);
159}
160
Anders Carlsson41aa8c12009-04-13 18:02:10 +0000161void CXXNameMangler::mangleGuardVariable(const VarDecl *D)
162{
163 // <special-name> ::= GV <object name> # Guard variable for one-time
164 // # initialization
165
166 Out << "_ZGV";
167 mangleName(D);
168}
169
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000170void CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) {
171 // <encoding> ::= <function name> <bare-function-type>
172 mangleName(FD);
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000173
174 // Whether the mangling of a function type includes the return type depends
175 // on the context and the nature of the function. The rules for deciding
176 // whether the return type is included are:
177 //
178 // 1. Template functions (names or types) have return types encoded, with
179 // the exceptions listed below.
180 // 2. Function types not appearing as part of a function name mangling,
181 // e.g. parameters, pointer types, etc., have return type encoded, with the
182 // exceptions listed below.
183 // 3. Non-template function names do not have return types encoded.
184 //
185 // The exceptions mentioned in (1) and (2) above, for which the return
186 // type is never included, are
187 // 1. Constructors.
188 // 2. Destructors.
189 // 3. Conversion operator functions, e.g. operator int.
190 bool MangleReturnType = false;
191 if (FD->getPrimaryTemplate() &&
192 !(isa<CXXConstructorDecl>(FD) || isa<CXXDestructorDecl>(FD) ||
193 isa<CXXConversionDecl>(FD)))
194 MangleReturnType = true;
195 mangleBareFunctionType(FD->getType()->getAsFunctionType(), MangleReturnType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000196}
197
198static bool isStdNamespace(const DeclContext *DC) {
199 if (!DC->isNamespace() || !DC->getParent()->isTranslationUnit())
200 return false;
201
202 const NamespaceDecl *NS = cast<NamespaceDecl>(DC);
Douglas Gregor6ec36682009-02-18 23:53:56 +0000203 return NS->getOriginalNamespace()->getIdentifier()->isStr("std");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000204}
205
206void CXXNameMangler::mangleName(const NamedDecl *ND) {
207 // <name> ::= <nested-name>
208 // ::= <unscoped-name>
209 // ::= <unscoped-template-name> <template-args>
210 // ::= <local-name> # See Scope Encoding below
211 //
212 // <unscoped-name> ::= <unqualified-name>
213 // ::= St <unqualified-name> # ::std::
214 if (ND->getDeclContext()->isTranslationUnit())
215 mangleUnqualifiedName(ND);
216 else if (isStdNamespace(ND->getDeclContext())) {
217 Out << "St";
218 mangleUnqualifiedName(ND);
Anders Carlsson1b42c792009-04-02 16:24:45 +0000219 } else if (isa<FunctionDecl>(ND->getDeclContext()))
220 mangleLocalName(ND);
221 else
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000222 mangleNestedName(ND);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000223}
224
225void CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND) {
226 // <unqualified-name> ::= <operator-name>
227 // ::= <ctor-dtor-name>
228 // ::= <source-name>
229 DeclarationName Name = ND->getDeclName();
230 switch (Name.getNameKind()) {
231 case DeclarationName::Identifier:
232 mangleSourceName(Name.getAsIdentifierInfo());
233 break;
234
235 case DeclarationName::ObjCZeroArgSelector:
236 case DeclarationName::ObjCOneArgSelector:
237 case DeclarationName::ObjCMultiArgSelector:
238 assert(false && "Can't mangle Objective-C selector names here!");
239 break;
240
241 case DeclarationName::CXXConstructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000242 if (ND == Structor)
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000243 // If the named decl is the C++ constructor we're mangling, use the
244 // type we were given.
Anders Carlsson27ae5362009-04-17 01:58:57 +0000245 mangleCXXCtorType(static_cast<CXXCtorType>(StructorType));
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000246 else
247 // Otherwise, use the complete constructor name. This is relevant if a
248 // class with a constructor is declared within a constructor.
249 mangleCXXCtorType(Ctor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000250 break;
251
252 case DeclarationName::CXXDestructorName:
Anders Carlsson27ae5362009-04-17 01:58:57 +0000253 if (ND == Structor)
254 // If the named decl is the C++ destructor we're mangling, use the
255 // type we were given.
256 mangleCXXDtorType(static_cast<CXXDtorType>(StructorType));
257 else
258 // Otherwise, use the complete destructor name. This is relevant if a
259 // class with a destructor is declared within a destructor.
260 mangleCXXDtorType(Dtor_Complete);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000261 break;
262
263 case DeclarationName::CXXConversionFunctionName:
Douglas Gregor219cc612009-02-13 01:28:03 +0000264 // <operator-name> ::= cv <type> # (cast)
265 Out << "cv";
266 mangleType(Context.getCanonicalType(Name.getCXXNameType()));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000267 break;
268
269 case DeclarationName::CXXOperatorName:
270 mangleOperatorName(Name.getCXXOverloadedOperator(),
271 cast<FunctionDecl>(ND)->getNumParams());
272 break;
273
274 case DeclarationName::CXXUsingDirective:
275 assert(false && "Can't mangle a using directive name!");
Douglas Gregor219cc612009-02-13 01:28:03 +0000276 break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000277 }
Douglas Gregor1fd2dd12009-06-29 22:39:32 +0000278
279 if (const FunctionDecl *Function = dyn_cast<FunctionDecl>(ND)) {
280 if (const TemplateArgumentList *TemplateArgs
281 = Function->getTemplateSpecializationArgs())
282 mangleTemplateArgumentList(*TemplateArgs);
283 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000284}
285
286void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) {
287 // <source-name> ::= <positive length number> <identifier>
288 // <number> ::= [n] <non-negative decimal integer>
289 // <identifier> ::= <unqualified source code identifier>
290 Out << II->getLength() << II->getName();
291}
292
293void CXXNameMangler::mangleNestedName(const NamedDecl *ND) {
294 // <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
295 // ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
296 // FIXME: no template support
297 Out << 'N';
298 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND))
299 mangleCVQualifiers(Method->getTypeQualifiers());
300 manglePrefix(ND->getDeclContext());
301 mangleUnqualifiedName(ND);
302 Out << 'E';
303}
304
Anders Carlsson1b42c792009-04-02 16:24:45 +0000305void CXXNameMangler::mangleLocalName(const NamedDecl *ND) {
306 // <local-name> := Z <function encoding> E <entity name> [<discriminator>]
307 // := Z <function encoding> E s [<discriminator>]
308 // <discriminator> := _ <non-negative number>
309 Out << 'Z';
310 mangleFunctionEncoding(cast<FunctionDecl>(ND->getDeclContext()));
311 Out << 'E';
312 mangleSourceName(ND->getIdentifier());
313}
314
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000315void CXXNameMangler::manglePrefix(const DeclContext *DC) {
316 // <prefix> ::= <prefix> <unqualified-name>
317 // ::= <template-prefix> <template-args>
318 // ::= <template-param>
319 // ::= # empty
320 // ::= <substitution>
321 // FIXME: We only handle mangling of namespaces and classes at the moment.
Anders Carlssonc8dee9c2009-04-01 00:42:16 +0000322 if (!DC->getParent()->isTranslationUnit())
323 manglePrefix(DC->getParent());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000324
325 if (const NamespaceDecl *Namespace = dyn_cast<NamespaceDecl>(DC))
326 mangleSourceName(Namespace->getIdentifier());
Anders Carlsson7a0ba872009-05-15 16:09:15 +0000327 else if (const RecordDecl *Record = dyn_cast<RecordDecl>(DC)) {
328 if (const ClassTemplateSpecializationDecl *D =
329 dyn_cast<ClassTemplateSpecializationDecl>(Record)) {
330 mangleType(QualType(D->getTypeForDecl(), 0));
331 } else
332 mangleSourceName(Record->getIdentifier());
333 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000334}
335
336void
337CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) {
338 switch (OO) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000339 // <operator-name> ::= nw # new
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000340 case OO_New: Out << "nw"; break;
341 // ::= na # new[]
342 case OO_Array_New: Out << "na"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000343 // ::= dl # delete
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000344 case OO_Delete: Out << "dl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000345 // ::= da # delete[]
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000346 case OO_Array_Delete: Out << "da"; break;
347 // ::= ps # + (unary)
348 // ::= pl # +
349 case OO_Plus: Out << (Arity == 1? "ps" : "pl"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000350 // ::= ng # - (unary)
351 // ::= mi # -
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000352 case OO_Minus: Out << (Arity == 1? "ng" : "mi"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000353 // ::= ad # & (unary)
354 // ::= an # &
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000355 case OO_Amp: Out << (Arity == 1? "ad" : "an"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000356 // ::= de # * (unary)
357 // ::= ml # *
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000358 case OO_Star: Out << (Arity == 1? "de" : "ml"); break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000359 // ::= co # ~
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000360 case OO_Tilde: Out << "co"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000361 // ::= dv # /
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000362 case OO_Slash: Out << "dv"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000363 // ::= rm # %
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000364 case OO_Percent: Out << "rm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000365 // ::= or # |
366 case OO_Pipe: Out << "or"; break;
367 // ::= eo # ^
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000368 case OO_Caret: Out << "eo"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000369 // ::= aS # =
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000370 case OO_Equal: Out << "aS"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000371 // ::= pL # +=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000372 case OO_PlusEqual: Out << "pL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000373 // ::= mI # -=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000374 case OO_MinusEqual: Out << "mI"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000375 // ::= mL # *=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000376 case OO_StarEqual: Out << "mL"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000377 // ::= dV # /=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000378 case OO_SlashEqual: Out << "dV"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000379 // ::= rM # %=
380 case OO_PercentEqual: Out << "rM"; break;
381 // ::= aN # &=
382 case OO_AmpEqual: Out << "aN"; break;
383 // ::= oR # |=
384 case OO_PipeEqual: Out << "oR"; break;
385 // ::= eO # ^=
386 case OO_CaretEqual: Out << "eO"; break;
387 // ::= ls # <<
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000388 case OO_LessLess: Out << "ls"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000389 // ::= rs # >>
390 case OO_GreaterGreater: Out << "rs"; break;
391 // ::= lS # <<=
392 case OO_LessLessEqual: Out << "lS"; break;
393 // ::= rS # >>=
394 case OO_GreaterGreaterEqual: Out << "rS"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000395 // ::= eq # ==
396 case OO_EqualEqual: Out << "eq"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000397 // ::= ne # !=
398 case OO_ExclaimEqual: Out << "ne"; break;
399 // ::= lt # <
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000400 case OO_Less: Out << "lt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000401 // ::= gt # >
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000402 case OO_Greater: Out << "gt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000403 // ::= le # <=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000404 case OO_LessEqual: Out << "le"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000405 // ::= ge # >=
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000406 case OO_GreaterEqual: Out << "ge"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000407 // ::= nt # !
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000408 case OO_Exclaim: Out << "nt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000409 // ::= aa # &&
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000410 case OO_AmpAmp: Out << "aa"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000411 // ::= oo # ||
412 case OO_PipePipe: Out << "oo"; break;
413 // ::= pp # ++
414 case OO_PlusPlus: Out << "pp"; break;
415 // ::= mm # --
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000416 case OO_MinusMinus: Out << "mm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000417 // ::= cm # ,
418 case OO_Comma: Out << "cm"; break;
419 // ::= pm # ->*
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000420 case OO_ArrowStar: Out << "pm"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000421 // ::= pt # ->
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000422 case OO_Arrow: Out << "pt"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000423 // ::= cl # ()
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000424 case OO_Call: Out << "cl"; break;
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000425 // ::= ix # []
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000426 case OO_Subscript: Out << "ix"; break;
427 // UNSUPPORTED: ::= qu # ?
428
Sebastian Redl3201f6b2009-04-16 17:51:27 +0000429 case OO_None:
430 case OO_Conditional:
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000431 case NUM_OVERLOADED_OPERATORS:
Douglas Gregor6ec36682009-02-18 23:53:56 +0000432 assert(false && "Not an overloaded operator");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000433 break;
434 }
435}
436
437void CXXNameMangler::mangleCVQualifiers(unsigned Quals) {
438 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const
439 if (Quals & QualType::Restrict)
440 Out << 'r';
441 if (Quals & QualType::Volatile)
442 Out << 'V';
443 if (Quals & QualType::Const)
444 Out << 'K';
445}
446
447void CXXNameMangler::mangleType(QualType T) {
Anders Carlsson4843e582009-03-10 17:07:44 +0000448 // Only operate on the canonical type!
449 T = Context.getCanonicalType(T);
450
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000451 // FIXME: Should we have a TypeNodes.def to make this easier? (YES!)
452
453 // <type> ::= <CV-qualifiers> <type>
454 mangleCVQualifiers(T.getCVRQualifiers());
455
456 // ::= <builtin-type>
Anders Carlsson4843e582009-03-10 17:07:44 +0000457 if (const BuiltinType *BT = dyn_cast<BuiltinType>(T.getTypePtr()))
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000458 mangleType(BT);
459 // ::= <function-type>
460 else if (const FunctionType *FT = dyn_cast<FunctionType>(T.getTypePtr()))
461 mangleType(FT);
462 // ::= <class-enum-type>
463 else if (const TagType *TT = dyn_cast<TagType>(T.getTypePtr()))
464 mangleType(TT);
465 // ::= <array-type>
466 else if (const ArrayType *AT = dyn_cast<ArrayType>(T.getTypePtr()))
467 mangleType(AT);
468 // ::= <pointer-to-member-type>
469 else if (const MemberPointerType *MPT
470 = dyn_cast<MemberPointerType>(T.getTypePtr()))
471 mangleType(MPT);
472 // ::= <template-param>
473 else if (const TemplateTypeParmType *TypeParm
474 = dyn_cast<TemplateTypeParmType>(T.getTypePtr()))
475 mangleType(TypeParm);
476 // FIXME: ::= <template-template-param> <template-args>
477 // FIXME: ::= <substitution> # See Compression below
478 // ::= P <type> # pointer-to
479 else if (const PointerType *PT = dyn_cast<PointerType>(T.getTypePtr())) {
480 Out << 'P';
481 mangleType(PT->getPointeeType());
482 }
Steve Naroff14108da2009-07-10 23:34:53 +0000483 else if (const ObjCObjectPointerType *PT =
484 dyn_cast<ObjCObjectPointerType>(T.getTypePtr())) {
485 Out << 'P';
486 mangleType(PT->getPointeeType());
487 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000488 // ::= R <type> # reference-to
Sebastian Redl7c80bd62009-03-16 23:22:08 +0000489 else if (const LValueReferenceType *RT =
490 dyn_cast<LValueReferenceType>(T.getTypePtr())) {
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000491 Out << 'R';
492 mangleType(RT->getPointeeType());
493 }
Sebastian Redl7c80bd62009-03-16 23:22:08 +0000494 // ::= O <type> # rvalue reference-to (C++0x)
495 else if (const RValueReferenceType *RT =
496 dyn_cast<RValueReferenceType>(T.getTypePtr())) {
497 Out << 'O';
498 mangleType(RT->getPointeeType());
499 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000500 // ::= C <type> # complex pair (C 2000)
501 else if (const ComplexType *CT = dyn_cast<ComplexType>(T.getTypePtr())) {
502 Out << 'C';
503 mangleType(CT->getElementType());
504 } else if (const VectorType *VT = dyn_cast<VectorType>(T.getTypePtr())) {
505 // GNU extension: vector types
506 Out << "U8__vector";
507 mangleType(VT->getElementType());
Anders Carlssona40c5e42009-03-07 22:03:21 +0000508 } else if (const ObjCInterfaceType *IT =
509 dyn_cast<ObjCInterfaceType>(T.getTypePtr())) {
510 mangleType(IT);
Anders Carlsson4843e582009-03-10 17:07:44 +0000511 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000512 // FIXME: ::= G <type> # imaginary (C 2000)
513 // FIXME: ::= U <source-name> <type> # vendor extended type qualifier
514 else
515 assert(false && "Cannot mangle unknown type");
516}
517
518void CXXNameMangler::mangleType(const BuiltinType *T) {
519 // <builtin-type> ::= v # void
520 // ::= w # wchar_t
521 // ::= b # bool
522 // ::= c # char
523 // ::= a # signed char
524 // ::= h # unsigned char
525 // ::= s # short
526 // ::= t # unsigned short
527 // ::= i # int
528 // ::= j # unsigned int
529 // ::= l # long
530 // ::= m # unsigned long
531 // ::= x # long long, __int64
532 // ::= y # unsigned long long, __int64
533 // ::= n # __int128
534 // UNSUPPORTED: ::= o # unsigned __int128
535 // ::= f # float
536 // ::= d # double
537 // ::= e # long double, __float80
538 // UNSUPPORTED: ::= g # __float128
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000539 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
540 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
541 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)
542 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits)
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000543 // ::= Di # char32_t
544 // ::= Ds # char16_t
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000545 // ::= u <source-name> # vendor extended type
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000546 // From our point of view, std::nullptr_t is a builtin, but as far as mangling
547 // is concerned, it's a type called std::nullptr_t.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000548 switch (T->getKind()) {
549 case BuiltinType::Void: Out << 'v'; break;
550 case BuiltinType::Bool: Out << 'b'; break;
551 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break;
552 case BuiltinType::UChar: Out << 'h'; break;
553 case BuiltinType::UShort: Out << 't'; break;
554 case BuiltinType::UInt: Out << 'j'; break;
555 case BuiltinType::ULong: Out << 'm'; break;
556 case BuiltinType::ULongLong: Out << 'y'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000557 case BuiltinType::UInt128: Out << 'o'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000558 case BuiltinType::SChar: Out << 'a'; break;
559 case BuiltinType::WChar: Out << 'w'; break;
Alisdair Meredithf5c209d2009-07-14 06:30:34 +0000560 case BuiltinType::Char16: Out << "Ds"; break;
561 case BuiltinType::Char32: Out << "Di"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000562 case BuiltinType::Short: Out << 's'; break;
563 case BuiltinType::Int: Out << 'i'; break;
564 case BuiltinType::Long: Out << 'l'; break;
565 case BuiltinType::LongLong: Out << 'x'; break;
Chris Lattner2df9ced2009-04-30 02:43:43 +0000566 case BuiltinType::Int128: Out << 'n'; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000567 case BuiltinType::Float: Out << 'f'; break;
568 case BuiltinType::Double: Out << 'd'; break;
569 case BuiltinType::LongDouble: Out << 'e'; break;
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000570 case BuiltinType::NullPtr: Out << "St9nullptr_t"; break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000571
572 case BuiltinType::Overload:
573 case BuiltinType::Dependent:
574 assert(false &&
575 "Overloaded and dependent types shouldn't get to name mangling");
576 break;
Anders Carlssone89d1592009-06-26 18:41:36 +0000577 case BuiltinType::UndeducedAuto:
578 assert(0 && "Should not see undeduced auto here");
579 break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000580 }
581}
582
583void CXXNameMangler::mangleType(const FunctionType *T) {
584 // <function-type> ::= F [Y] <bare-function-type> E
585 Out << 'F';
Mike Stumpf5408fe2009-05-16 07:57:57 +0000586 // FIXME: We don't have enough information in the AST to produce the 'Y'
587 // encoding for extern "C" function types.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000588 mangleBareFunctionType(T, /*MangleReturnType=*/true);
589 Out << 'E';
590}
591
592void CXXNameMangler::mangleBareFunctionType(const FunctionType *T,
593 bool MangleReturnType) {
594 // <bare-function-type> ::= <signature type>+
595 if (MangleReturnType)
596 mangleType(T->getResultType());
597
Douglas Gregor72564e72009-02-26 23:50:07 +0000598 const FunctionProtoType *Proto = dyn_cast<FunctionProtoType>(T);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000599 assert(Proto && "Can't mangle K&R function prototypes");
600
Anders Carlssonc6c91bc2009-04-01 00:15:23 +0000601 if (Proto->getNumArgs() == 0) {
602 Out << 'v';
603 return;
604 }
605
Douglas Gregor72564e72009-02-26 23:50:07 +0000606 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(),
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000607 ArgEnd = Proto->arg_type_end();
608 Arg != ArgEnd; ++Arg)
609 mangleType(*Arg);
Douglas Gregor219cc612009-02-13 01:28:03 +0000610
611 // <builtin-type> ::= z # ellipsis
612 if (Proto->isVariadic())
613 Out << 'z';
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000614}
615
616void CXXNameMangler::mangleType(const TagType *T) {
617 // <class-enum-type> ::= <name>
Anders Carlsson4843e582009-03-10 17:07:44 +0000618
619 if (!T->getDecl()->getIdentifier())
620 mangleName(T->getDecl()->getTypedefForAnonDecl());
621 else
622 mangleName(T->getDecl());
Anders Carlsson7a0ba872009-05-15 16:09:15 +0000623
624 // If this is a class template specialization, mangle the template
625 // arguments.
626 if (ClassTemplateSpecializationDecl *Spec
627 = dyn_cast<ClassTemplateSpecializationDecl>(T->getDecl()))
628 mangleTemplateArgumentList(Spec->getTemplateArgs());
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000629}
630
631void CXXNameMangler::mangleType(const ArrayType *T) {
632 // <array-type> ::= A <positive dimension number> _ <element type>
633 // ::= A [<dimension expression>] _ <element type>
634 Out << 'A';
635 if (const ConstantArrayType *CAT = dyn_cast<ConstantArrayType>(T))
636 Out << CAT->getSize();
637 else if (const VariableArrayType *VAT = dyn_cast<VariableArrayType>(T))
638 mangleExpression(VAT->getSizeExpr());
639 else if (const DependentSizedArrayType *DSAT
640 = dyn_cast<DependentSizedArrayType>(T))
641 mangleExpression(DSAT->getSizeExpr());
642
643 Out << '_';
644 mangleType(T->getElementType());
645}
646
647void CXXNameMangler::mangleType(const MemberPointerType *T) {
648 // <pointer-to-member-type> ::= M <class type> <member type>
649 Out << 'M';
650 mangleType(QualType(T->getClass(), 0));
Anders Carlsson0e650012009-05-17 17:41:20 +0000651 QualType PointeeType = T->getPointeeType();
652 if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(PointeeType)) {
653 mangleCVQualifiers(FPT->getTypeQuals());
654 mangleType(FPT);
655 } else
656 mangleType(PointeeType);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000657}
658
659void CXXNameMangler::mangleType(const TemplateTypeParmType *T) {
660 // <template-param> ::= T_ # first template parameter
661 // ::= T <parameter-2 non-negative number> _
662 if (T->getIndex() == 0)
663 Out << "T_";
664 else
665 Out << 'T' << (T->getIndex() - 1) << '_';
666}
667
Anders Carlssona40c5e42009-03-07 22:03:21 +0000668void CXXNameMangler::mangleType(const ObjCInterfaceType *T) {
669 mangleSourceName(T->getDecl()->getIdentifier());
670}
671
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000672void CXXNameMangler::mangleExpression(Expr *E) {
673 assert(false && "Cannot mangle expressions yet");
674}
675
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000676void CXXNameMangler::mangleCXXCtorType(CXXCtorType T) {
677 // <ctor-dtor-name> ::= C1 # complete object constructor
678 // ::= C2 # base object constructor
679 // ::= C3 # complete object allocating constructor
680 //
681 switch (T) {
682 case Ctor_Complete:
683 Out << "C1";
684 break;
685 case Ctor_Base:
686 Out << "C2";
687 break;
688 case Ctor_CompleteAllocating:
689 Out << "C3";
690 break;
691 }
692}
693
Anders Carlsson27ae5362009-04-17 01:58:57 +0000694void CXXNameMangler::mangleCXXDtorType(CXXDtorType T) {
695 // <ctor-dtor-name> ::= D0 # deleting destructor
696 // ::= D1 # complete object destructor
697 // ::= D2 # base object destructor
698 //
699 switch (T) {
700 case Dtor_Deleting:
701 Out << "D0";
702 break;
703 case Dtor_Complete:
704 Out << "D1";
705 break;
706 case Dtor_Base:
707 Out << "D2";
708 break;
709 }
710}
711
Anders Carlsson7a0ba872009-05-15 16:09:15 +0000712void CXXNameMangler::mangleTemplateArgumentList(const TemplateArgumentList &L) {
713 // <template-args> ::= I <template-arg>+ E
714 Out << "I";
715
716 for (unsigned i = 0, e = L.size(); i != e; ++i) {
717 const TemplateArgument &A = L[i];
718
719 mangleTemplateArgument(A);
720 }
721
722 Out << "E";
723}
724
725void CXXNameMangler::mangleTemplateArgument(const TemplateArgument &A) {
726 // <template-arg> ::= <type> # type or template
727 // ::= X <expression> E # expression
728 // ::= <expr-primary> # simple expressions
729 // ::= I <template-arg>* E # argument pack
730 // ::= sp <expression> # pack expansion of (C++0x)
731 switch (A.getKind()) {
732 default:
733 assert(0 && "Unknown template argument kind!");
734 case TemplateArgument::Type:
735 mangleType(A.getAsType());
736 break;
737 case TemplateArgument::Integral:
738 // <expr-primary> ::= L <type> <value number> E # integer literal
739
740 Out << 'L';
741
742 mangleType(A.getIntegralType());
743
744 const llvm::APSInt *Integral = A.getAsIntegral();
745 if (A.getIntegralType()->isBooleanType()) {
746 // Boolean values are encoded as 0/1.
747 Out << (Integral->getBoolValue() ? '1' : '0');
748 } else {
749 if (Integral->isNegative())
750 Out << 'n';
751 Integral->abs().print(Out, false);
752 }
753
754 Out << 'E';
755 break;
756 }
757}
758
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000759namespace clang {
760 /// \brief Mangles the name of the declaration D and emits that name
761 /// to the given output stream.
762 ///
763 /// If the declaration D requires a mangled name, this routine will
764 /// emit that mangled name to \p os and return true. Otherwise, \p
765 /// os will be unchanged and this routine will return false. In this
766 /// case, the caller should just emit the identifier of the declaration
767 /// (\c D->getIdentifier()) as its name.
768 bool mangleName(const NamedDecl *D, ASTContext &Context,
769 llvm::raw_ostream &os) {
Anders Carlsson578aa642009-05-03 16:51:04 +0000770 assert(!isa<CXXConstructorDecl>(D) &&
771 "Use mangleCXXCtor for constructor decls!");
772 assert(!isa<CXXDestructorDecl>(D) &&
773 "Use mangleCXXDtor for destructor decls!");
774
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000775 CXXNameMangler Mangler(Context, os);
Douglas Gregor6ec36682009-02-18 23:53:56 +0000776 if (!Mangler.mangle(D))
777 return false;
778
779 os.flush();
780 return true;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000781 }
Anders Carlsson41aa8c12009-04-13 18:02:10 +0000782
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000783 /// mangleGuardVariable - Returns the mangled name for a guard variable
784 /// for the passed in VarDecl.
Anders Carlsson41aa8c12009-04-13 18:02:10 +0000785 void mangleGuardVariable(const VarDecl *D, ASTContext &Context,
786 llvm::raw_ostream &os) {
787 CXXNameMangler Mangler(Context, os);
788 Mangler.mangleGuardVariable(D);
789
790 os.flush();
791 }
Anders Carlsson3ac86b52009-04-15 05:36:58 +0000792
793 void mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type,
794 ASTContext &Context, llvm::raw_ostream &os) {
795 CXXNameMangler Mangler(Context, os);
796 Mangler.mangleCXXCtor(D, Type);
797
798 os.flush();
799 }
Anders Carlsson27ae5362009-04-17 01:58:57 +0000800
801 void mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type,
802 ASTContext &Context, llvm::raw_ostream &os) {
803 CXXNameMangler Mangler(Context, os);
804 Mangler.mangleCXXDtor(D, Type);
805
806 os.flush();
807 }
808
809
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000810}
811