blob: 6e62fcfc2e67ccafcf0fc14466fdbc0bdfe4e4a8 [file] [log] [blame]
Douglas Gregor3c3c4542009-02-18 23:53:56 +00001//===--- Mangle.cpp - Mangle C++ Names --------------------------*- C++ -*-===//
Douglas Gregor3556bc72009-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 Carlssonfae45862009-03-07 22:03:21 +000021#include "clang/AST/DeclObjC.h"
Douglas Gregor3c3c4542009-02-18 23:53:56 +000022#include "clang/Basic/SourceManager.h"
Douglas Gregor3556bc72009-02-13 00:10:09 +000023#include "llvm/Support/Compiler.h"
24#include "llvm/Support/raw_ostream.h"
25using namespace clang;
26
27namespace {
28 class VISIBILITY_HIDDEN CXXNameMangler {
29 ASTContext &Context;
30 llvm::raw_ostream &Out;
31
32 public:
33 CXXNameMangler(ASTContext &C, llvm::raw_ostream &os)
34 : Context(C), Out(os) { }
35
36 bool mangle(const NamedDecl *D);
Anders Carlsson70cc0d22009-04-02 15:51:53 +000037
38 private:
39 bool mangleFunctionDecl(const FunctionDecl *FD);
40
Douglas Gregor3556bc72009-02-13 00:10:09 +000041 void mangleFunctionEncoding(const FunctionDecl *FD);
42 void mangleName(const NamedDecl *ND);
43 void mangleUnqualifiedName(const NamedDecl *ND);
44 void mangleSourceName(const IdentifierInfo *II);
45 void mangleNestedName(const NamedDecl *ND);
46 void manglePrefix(const DeclContext *DC);
47 void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity);
48 void mangleCVQualifiers(unsigned Quals);
49 void mangleType(QualType T);
50 void mangleType(const BuiltinType *T);
51 void mangleType(const FunctionType *T);
52 void mangleBareFunctionType(const FunctionType *T, bool MangleReturnType);
53 void mangleType(const TagType *T);
54 void mangleType(const ArrayType *T);
55 void mangleType(const MemberPointerType *T);
56 void mangleType(const TemplateTypeParmType *T);
Anders Carlssonfae45862009-03-07 22:03:21 +000057 void mangleType(const ObjCInterfaceType *T);
Douglas Gregor3556bc72009-02-13 00:10:09 +000058 void mangleExpression(Expr *E);
59 };
60}
61
Anders Carlsson70cc0d22009-04-02 15:51:53 +000062static bool isInCLinkageSpecification(const Decl *D) {
63 for (const DeclContext *DC = D->getDeclContext();
64 !DC->isTranslationUnit(); DC = DC->getParent()) {
65 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))
66 return Linkage->getLanguage() == LinkageSpecDecl::lang_c;
67 }
68
69 return false;
70}
71
72bool CXXNameMangler::mangleFunctionDecl(const FunctionDecl *FD) {
73 // Clang's "overloadable" attribute extension to C/C++ implies
74 // name mangling (always).
75 if (FD->getAttr<OverloadableAttr>()) {
76 ; // fall into mangling code unconditionally.
77 } else if (// C functions are not mangled
78 !Context.getLangOptions().CPlusPlus ||
79 // "main" is not mangled in C++
80 FD->isMain() ||
81 // No mangling in an "implicit extern C" header.
82 Context.getSourceManager().getFileCharacteristic(FD->getLocation())
83 == SrcMgr::C_ExternCSystem ||
84 // No name mangling in a C linkage specification.
85 isInCLinkageSpecification(FD))
86 return false;
87
88 // If we get here, mangle the decl name!
89 Out << "_Z";
90 mangleFunctionEncoding(FD);
91 return true;
92}
Douglas Gregor3556bc72009-02-13 00:10:09 +000093
94bool CXXNameMangler::mangle(const NamedDecl *D) {
Chris Lattner8af0e262009-03-21 08:24:40 +000095 // Any decl can be declared with __asm("foo") on it, and this takes
96 // precedence over all other naming in the .o file.
97 if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) {
98 // If we have an asm name, then we use it as the mangling.
99 Out << '\01'; // LLVM IR Marker for __asm("foo")
100 Out << ALA->getLabel();
101 return true;
102 }
103
Douglas Gregor3556bc72009-02-13 00:10:09 +0000104 // <mangled-name> ::= _Z <encoding>
105 // ::= <data name>
106 // ::= <special-name>
107
108 // FIXME: Actually use a visitor to decode these?
Anders Carlsson70cc0d22009-04-02 15:51:53 +0000109 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
110 return mangleFunctionDecl(FD);
Chris Lattner5cbf5882009-03-21 06:19:20 +0000111
Anders Carlssonaf6bb352009-04-02 16:05:20 +0000112 if (const VarDecl *VD = dyn_cast<VarDecl>(D)) {
113 if (!Context.getLangOptions().CPlusPlus ||
114 isInCLinkageSpecification(D))
115 return false;
116
117 Out << "_Z";
118 mangleName(VD);
119 return true;
120 }
121
Anders Carlsson70cc0d22009-04-02 15:51:53 +0000122 return false;
Douglas Gregor3556bc72009-02-13 00:10:09 +0000123}
124
125void CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) {
126 // <encoding> ::= <function name> <bare-function-type>
127 mangleName(FD);
128 mangleBareFunctionType(FD->getType()->getAsFunctionType(), false);
129}
130
131static bool isStdNamespace(const DeclContext *DC) {
132 if (!DC->isNamespace() || !DC->getParent()->isTranslationUnit())
133 return false;
134
135 const NamespaceDecl *NS = cast<NamespaceDecl>(DC);
Douglas Gregor3c3c4542009-02-18 23:53:56 +0000136 return NS->getOriginalNamespace()->getIdentifier()->isStr("std");
Douglas Gregor3556bc72009-02-13 00:10:09 +0000137}
138
139void CXXNameMangler::mangleName(const NamedDecl *ND) {
140 // <name> ::= <nested-name>
141 // ::= <unscoped-name>
142 // ::= <unscoped-template-name> <template-args>
143 // ::= <local-name> # See Scope Encoding below
144 //
145 // <unscoped-name> ::= <unqualified-name>
146 // ::= St <unqualified-name> # ::std::
147 if (ND->getDeclContext()->isTranslationUnit())
148 mangleUnqualifiedName(ND);
149 else if (isStdNamespace(ND->getDeclContext())) {
150 Out << "St";
151 mangleUnqualifiedName(ND);
152 } else {
153 mangleNestedName(ND);
154 }
155}
156
157void CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND) {
158 // <unqualified-name> ::= <operator-name>
159 // ::= <ctor-dtor-name>
160 // ::= <source-name>
161 DeclarationName Name = ND->getDeclName();
162 switch (Name.getNameKind()) {
163 case DeclarationName::Identifier:
164 mangleSourceName(Name.getAsIdentifierInfo());
165 break;
166
167 case DeclarationName::ObjCZeroArgSelector:
168 case DeclarationName::ObjCOneArgSelector:
169 case DeclarationName::ObjCMultiArgSelector:
170 assert(false && "Can't mangle Objective-C selector names here!");
171 break;
172
173 case DeclarationName::CXXConstructorName:
174 // <ctor-dtor-name> ::= C1 # complete object constructor
175 // ::= C2 # base object constructor
176 // ::= C3 # complete object allocating constructor
177 //
178 // FIXME: We don't even have all of these constructors
179 // in the AST yet.
180 Out << "C1";
181 break;
182
183 case DeclarationName::CXXDestructorName:
184 // <ctor-dtor-name> ::= D0 # deleting destructor
185 // ::= D1 # complete object destructor
186 // ::= D2 # base object destructor
187 //
188 // FIXME: We don't even have all of these destructors in the AST
189 // yet.
190 Out << "D0";
191 break;
192
193 case DeclarationName::CXXConversionFunctionName:
Douglas Gregor77cfb3c2009-02-13 01:28:03 +0000194 // <operator-name> ::= cv <type> # (cast)
195 Out << "cv";
196 mangleType(Context.getCanonicalType(Name.getCXXNameType()));
Douglas Gregor3556bc72009-02-13 00:10:09 +0000197 break;
198
199 case DeclarationName::CXXOperatorName:
200 mangleOperatorName(Name.getCXXOverloadedOperator(),
201 cast<FunctionDecl>(ND)->getNumParams());
202 break;
203
204 case DeclarationName::CXXUsingDirective:
205 assert(false && "Can't mangle a using directive name!");
Douglas Gregor77cfb3c2009-02-13 01:28:03 +0000206 break;
Douglas Gregor3556bc72009-02-13 00:10:09 +0000207 }
208}
209
210void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) {
211 // <source-name> ::= <positive length number> <identifier>
212 // <number> ::= [n] <non-negative decimal integer>
213 // <identifier> ::= <unqualified source code identifier>
214 Out << II->getLength() << II->getName();
215}
216
217void CXXNameMangler::mangleNestedName(const NamedDecl *ND) {
218 // <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
219 // ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
220 // FIXME: no template support
221 Out << 'N';
222 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND))
223 mangleCVQualifiers(Method->getTypeQualifiers());
224 manglePrefix(ND->getDeclContext());
225 mangleUnqualifiedName(ND);
226 Out << 'E';
227}
228
229void CXXNameMangler::manglePrefix(const DeclContext *DC) {
230 // <prefix> ::= <prefix> <unqualified-name>
231 // ::= <template-prefix> <template-args>
232 // ::= <template-param>
233 // ::= # empty
234 // ::= <substitution>
235 // FIXME: We only handle mangling of namespaces and classes at the moment.
Anders Carlsson8c4c12a2009-04-01 00:42:16 +0000236 if (!DC->getParent()->isTranslationUnit())
237 manglePrefix(DC->getParent());
Douglas Gregor3556bc72009-02-13 00:10:09 +0000238
239 if (const NamespaceDecl *Namespace = dyn_cast<NamespaceDecl>(DC))
240 mangleSourceName(Namespace->getIdentifier());
241 else if (const RecordDecl *Record = dyn_cast<RecordDecl>(DC))
242 mangleSourceName(Record->getIdentifier());
243}
244
245void
246CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) {
247 switch (OO) {
248 // <operator-name> ::= nw # new
249 case OO_New: Out << "nw"; break;
250 // ::= na # new[]
251 case OO_Array_New: Out << "na"; break;
252 // ::= dl # delete
253 case OO_Delete: Out << "dl"; break;
254 // ::= da # delete[]
255 case OO_Array_Delete: Out << "da"; break;
256 // ::= ps # + (unary)
257 // ::= pl # +
258 case OO_Plus: Out << (Arity == 1? "ps" : "pl"); break;
259 // ::= ng # - (unary)
260 // ::= mi # -
261 case OO_Minus: Out << (Arity == 1? "ng" : "mi"); break;
262 // ::= ad # & (unary)
263 // ::= an # &
264 case OO_Amp: Out << (Arity == 1? "ad" : "an"); break;
265 // ::= de # * (unary)
266 // ::= ml # *
267 case OO_Star: Out << (Arity == 1? "de" : "ml"); break;
268 // ::= co # ~
269 case OO_Tilde: Out << "co"; break;
270 // ::= dv # /
271 case OO_Slash: Out << "dv"; break;
272 // ::= rm # %
273 case OO_Percent: Out << "rm"; break;
274 // ::= or # |
275 case OO_Pipe: Out << "or"; break;
276 // ::= eo # ^
277 case OO_Caret: Out << "eo"; break;
278 // ::= aS # =
279 case OO_Equal: Out << "aS"; break;
280 // ::= pL # +=
281 case OO_PlusEqual: Out << "pL"; break;
282 // ::= mI # -=
283 case OO_MinusEqual: Out << "mI"; break;
284 // ::= mL # *=
285 case OO_StarEqual: Out << "mL"; break;
286 // ::= dV # /=
287 case OO_SlashEqual: Out << "dV"; break;
288 // ::= rM # %=
289 case OO_PercentEqual: Out << "rM"; break;
290 // ::= aN # &=
291 case OO_AmpEqual: Out << "aN"; break;
292 // ::= oR # |=
293 case OO_PipeEqual: Out << "oR"; break;
294 // ::= eO # ^=
295 case OO_CaretEqual: Out << "eO"; break;
296 // ::= ls # <<
297 case OO_LessLess: Out << "ls"; break;
298 // ::= rs # >>
299 case OO_GreaterGreater: Out << "rs"; break;
300 // ::= lS # <<=
301 case OO_LessLessEqual: Out << "lS"; break;
302 // ::= rS # >>=
303 case OO_GreaterGreaterEqual: Out << "rS"; break;
304 // ::= eq # ==
305 case OO_EqualEqual: Out << "eq"; break;
306 // ::= ne # !=
307 case OO_ExclaimEqual: Out << "ne"; break;
308 // ::= lt # <
309 case OO_Less: Out << "lt"; break;
310 // ::= gt # >
311 case OO_Greater: Out << "gt"; break;
312 // ::= le # <=
313 case OO_LessEqual: Out << "le"; break;
314 // ::= ge # >=
315 case OO_GreaterEqual: Out << "ge"; break;
316 // ::= nt # !
317 case OO_Exclaim: Out << "nt"; break;
318 // ::= aa # &&
319 case OO_AmpAmp: Out << "aa"; break;
320 // ::= oo # ||
321 case OO_PipePipe: Out << "oo"; break;
322 // ::= pp # ++
323 case OO_PlusPlus: Out << "pp"; break;
324 // ::= mm # --
325 case OO_MinusMinus: Out << "mm"; break;
326 // ::= cm # ,
327 case OO_Comma: Out << "cm"; break;
328 // ::= pm # ->*
329 case OO_ArrowStar: Out << "pm"; break;
330 // ::= pt # ->
331 case OO_Arrow: Out << "pt"; break;
332 // ::= cl # ()
333 case OO_Call: Out << "cl"; break;
334 // ::= ix # []
335 case OO_Subscript: Out << "ix"; break;
336 // UNSUPPORTED: ::= qu # ?
337
338 case OO_None:
339 case NUM_OVERLOADED_OPERATORS:
Douglas Gregor3c3c4542009-02-18 23:53:56 +0000340 assert(false && "Not an overloaded operator");
Douglas Gregor3556bc72009-02-13 00:10:09 +0000341 break;
342 }
343}
344
345void CXXNameMangler::mangleCVQualifiers(unsigned Quals) {
346 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const
347 if (Quals & QualType::Restrict)
348 Out << 'r';
349 if (Quals & QualType::Volatile)
350 Out << 'V';
351 if (Quals & QualType::Const)
352 Out << 'K';
353}
354
355void CXXNameMangler::mangleType(QualType T) {
Anders Carlssonfdaed4c2009-03-10 17:07:44 +0000356 // Only operate on the canonical type!
357 T = Context.getCanonicalType(T);
358
Douglas Gregor3556bc72009-02-13 00:10:09 +0000359 // FIXME: Should we have a TypeNodes.def to make this easier? (YES!)
360
361 // <type> ::= <CV-qualifiers> <type>
362 mangleCVQualifiers(T.getCVRQualifiers());
363
364 // ::= <builtin-type>
Anders Carlssonfdaed4c2009-03-10 17:07:44 +0000365 if (const BuiltinType *BT = dyn_cast<BuiltinType>(T.getTypePtr()))
Douglas Gregor3556bc72009-02-13 00:10:09 +0000366 mangleType(BT);
367 // ::= <function-type>
368 else if (const FunctionType *FT = dyn_cast<FunctionType>(T.getTypePtr()))
369 mangleType(FT);
370 // ::= <class-enum-type>
371 else if (const TagType *TT = dyn_cast<TagType>(T.getTypePtr()))
372 mangleType(TT);
373 // ::= <array-type>
374 else if (const ArrayType *AT = dyn_cast<ArrayType>(T.getTypePtr()))
375 mangleType(AT);
376 // ::= <pointer-to-member-type>
377 else if (const MemberPointerType *MPT
378 = dyn_cast<MemberPointerType>(T.getTypePtr()))
379 mangleType(MPT);
380 // ::= <template-param>
381 else if (const TemplateTypeParmType *TypeParm
382 = dyn_cast<TemplateTypeParmType>(T.getTypePtr()))
383 mangleType(TypeParm);
384 // FIXME: ::= <template-template-param> <template-args>
385 // FIXME: ::= <substitution> # See Compression below
386 // ::= P <type> # pointer-to
387 else if (const PointerType *PT = dyn_cast<PointerType>(T.getTypePtr())) {
388 Out << 'P';
389 mangleType(PT->getPointeeType());
390 }
391 // ::= R <type> # reference-to
Sebastian Redlce6fff02009-03-16 23:22:08 +0000392 else if (const LValueReferenceType *RT =
393 dyn_cast<LValueReferenceType>(T.getTypePtr())) {
Douglas Gregor3556bc72009-02-13 00:10:09 +0000394 Out << 'R';
395 mangleType(RT->getPointeeType());
396 }
Sebastian Redlce6fff02009-03-16 23:22:08 +0000397 // ::= O <type> # rvalue reference-to (C++0x)
398 else if (const RValueReferenceType *RT =
399 dyn_cast<RValueReferenceType>(T.getTypePtr())) {
400 Out << 'O';
401 mangleType(RT->getPointeeType());
402 }
Douglas Gregor3556bc72009-02-13 00:10:09 +0000403 // ::= C <type> # complex pair (C 2000)
404 else if (const ComplexType *CT = dyn_cast<ComplexType>(T.getTypePtr())) {
405 Out << 'C';
406 mangleType(CT->getElementType());
407 } else if (const VectorType *VT = dyn_cast<VectorType>(T.getTypePtr())) {
408 // GNU extension: vector types
409 Out << "U8__vector";
410 mangleType(VT->getElementType());
Anders Carlssonfae45862009-03-07 22:03:21 +0000411 } else if (const ObjCInterfaceType *IT =
412 dyn_cast<ObjCInterfaceType>(T.getTypePtr())) {
413 mangleType(IT);
Anders Carlssonfdaed4c2009-03-10 17:07:44 +0000414 }
Douglas Gregor3556bc72009-02-13 00:10:09 +0000415 // FIXME: ::= G <type> # imaginary (C 2000)
416 // FIXME: ::= U <source-name> <type> # vendor extended type qualifier
417 else
418 assert(false && "Cannot mangle unknown type");
419}
420
421void CXXNameMangler::mangleType(const BuiltinType *T) {
422 // <builtin-type> ::= v # void
423 // ::= w # wchar_t
424 // ::= b # bool
425 // ::= c # char
426 // ::= a # signed char
427 // ::= h # unsigned char
428 // ::= s # short
429 // ::= t # unsigned short
430 // ::= i # int
431 // ::= j # unsigned int
432 // ::= l # long
433 // ::= m # unsigned long
434 // ::= x # long long, __int64
435 // ::= y # unsigned long long, __int64
436 // ::= n # __int128
437 // UNSUPPORTED: ::= o # unsigned __int128
438 // ::= f # float
439 // ::= d # double
440 // ::= e # long double, __float80
441 // UNSUPPORTED: ::= g # __float128
Douglas Gregor3556bc72009-02-13 00:10:09 +0000442 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
443 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
444 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)
445 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits)
446 // UNSUPPORTED: ::= Di # char32_t
447 // UNSUPPORTED: ::= Ds # char16_t
448 // ::= u <source-name> # vendor extended type
449 switch (T->getKind()) {
450 case BuiltinType::Void: Out << 'v'; break;
451 case BuiltinType::Bool: Out << 'b'; break;
452 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break;
453 case BuiltinType::UChar: Out << 'h'; break;
454 case BuiltinType::UShort: Out << 't'; break;
455 case BuiltinType::UInt: Out << 'j'; break;
456 case BuiltinType::ULong: Out << 'm'; break;
457 case BuiltinType::ULongLong: Out << 'y'; break;
458 case BuiltinType::SChar: Out << 'a'; break;
459 case BuiltinType::WChar: Out << 'w'; break;
460 case BuiltinType::Short: Out << 's'; break;
461 case BuiltinType::Int: Out << 'i'; break;
462 case BuiltinType::Long: Out << 'l'; break;
463 case BuiltinType::LongLong: Out << 'x'; break;
464 case BuiltinType::Float: Out << 'f'; break;
465 case BuiltinType::Double: Out << 'd'; break;
466 case BuiltinType::LongDouble: Out << 'e'; break;
467
468 case BuiltinType::Overload:
469 case BuiltinType::Dependent:
470 assert(false &&
471 "Overloaded and dependent types shouldn't get to name mangling");
472 break;
473 }
474}
475
476void CXXNameMangler::mangleType(const FunctionType *T) {
477 // <function-type> ::= F [Y] <bare-function-type> E
478 Out << 'F';
479 // FIXME: We don't have enough information in the AST to produce the
480 // 'Y' encoding for extern "C" function types.
481 mangleBareFunctionType(T, /*MangleReturnType=*/true);
482 Out << 'E';
483}
484
485void CXXNameMangler::mangleBareFunctionType(const FunctionType *T,
486 bool MangleReturnType) {
487 // <bare-function-type> ::= <signature type>+
488 if (MangleReturnType)
489 mangleType(T->getResultType());
490
Douglas Gregor4fa58902009-02-26 23:50:07 +0000491 const FunctionProtoType *Proto = dyn_cast<FunctionProtoType>(T);
Douglas Gregor3556bc72009-02-13 00:10:09 +0000492 assert(Proto && "Can't mangle K&R function prototypes");
493
Anders Carlsson51e65522009-04-01 00:15:23 +0000494 if (Proto->getNumArgs() == 0) {
495 Out << 'v';
496 return;
497 }
498
Douglas Gregor4fa58902009-02-26 23:50:07 +0000499 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(),
Douglas Gregor3556bc72009-02-13 00:10:09 +0000500 ArgEnd = Proto->arg_type_end();
501 Arg != ArgEnd; ++Arg)
502 mangleType(*Arg);
Douglas Gregor77cfb3c2009-02-13 01:28:03 +0000503
504 // <builtin-type> ::= z # ellipsis
505 if (Proto->isVariadic())
506 Out << 'z';
Douglas Gregor3556bc72009-02-13 00:10:09 +0000507}
508
509void CXXNameMangler::mangleType(const TagType *T) {
510 // <class-enum-type> ::= <name>
Anders Carlssonfdaed4c2009-03-10 17:07:44 +0000511
512 if (!T->getDecl()->getIdentifier())
513 mangleName(T->getDecl()->getTypedefForAnonDecl());
514 else
515 mangleName(T->getDecl());
Douglas Gregor3556bc72009-02-13 00:10:09 +0000516}
517
518void CXXNameMangler::mangleType(const ArrayType *T) {
519 // <array-type> ::= A <positive dimension number> _ <element type>
520 // ::= A [<dimension expression>] _ <element type>
521 Out << 'A';
522 if (const ConstantArrayType *CAT = dyn_cast<ConstantArrayType>(T))
523 Out << CAT->getSize();
524 else if (const VariableArrayType *VAT = dyn_cast<VariableArrayType>(T))
525 mangleExpression(VAT->getSizeExpr());
526 else if (const DependentSizedArrayType *DSAT
527 = dyn_cast<DependentSizedArrayType>(T))
528 mangleExpression(DSAT->getSizeExpr());
529
530 Out << '_';
531 mangleType(T->getElementType());
532}
533
534void CXXNameMangler::mangleType(const MemberPointerType *T) {
535 // <pointer-to-member-type> ::= M <class type> <member type>
536 Out << 'M';
537 mangleType(QualType(T->getClass(), 0));
538 mangleType(T->getPointeeType());
539}
540
541void CXXNameMangler::mangleType(const TemplateTypeParmType *T) {
542 // <template-param> ::= T_ # first template parameter
543 // ::= T <parameter-2 non-negative number> _
544 if (T->getIndex() == 0)
545 Out << "T_";
546 else
547 Out << 'T' << (T->getIndex() - 1) << '_';
548}
549
Anders Carlssonfae45862009-03-07 22:03:21 +0000550void CXXNameMangler::mangleType(const ObjCInterfaceType *T) {
551 mangleSourceName(T->getDecl()->getIdentifier());
552}
553
Douglas Gregor3556bc72009-02-13 00:10:09 +0000554void CXXNameMangler::mangleExpression(Expr *E) {
555 assert(false && "Cannot mangle expressions yet");
556}
557
558namespace clang {
559 /// \brief Mangles the name of the declaration D and emits that name
560 /// to the given output stream.
561 ///
562 /// If the declaration D requires a mangled name, this routine will
563 /// emit that mangled name to \p os and return true. Otherwise, \p
564 /// os will be unchanged and this routine will return false. In this
565 /// case, the caller should just emit the identifier of the declaration
566 /// (\c D->getIdentifier()) as its name.
567 bool mangleName(const NamedDecl *D, ASTContext &Context,
568 llvm::raw_ostream &os) {
569 CXXNameMangler Mangler(Context, os);
Douglas Gregor3c3c4542009-02-18 23:53:56 +0000570 if (!Mangler.mangle(D))
571 return false;
572
573 os.flush();
574 return true;
Douglas Gregor3556bc72009-02-13 00:10:09 +0000575 }
576}
577