blob: 525f0fe1d62207b98eb7f0a36626d428b17ee58c [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"
Douglas Gregor6ec36682009-02-18 23:53:56 +000021#include "clang/Basic/SourceManager.h"
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000022#include "llvm/Support/Compiler.h"
23#include "llvm/Support/raw_ostream.h"
24using namespace clang;
25
26namespace {
27 class VISIBILITY_HIDDEN CXXNameMangler {
28 ASTContext &Context;
29 llvm::raw_ostream &Out;
30
31 public:
32 CXXNameMangler(ASTContext &C, llvm::raw_ostream &os)
33 : Context(C), Out(os) { }
34
35 bool mangle(const NamedDecl *D);
36 void mangleFunctionEncoding(const FunctionDecl *FD);
37 void mangleName(const NamedDecl *ND);
38 void mangleUnqualifiedName(const NamedDecl *ND);
39 void mangleSourceName(const IdentifierInfo *II);
40 void mangleNestedName(const NamedDecl *ND);
41 void manglePrefix(const DeclContext *DC);
42 void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity);
43 void mangleCVQualifiers(unsigned Quals);
44 void mangleType(QualType T);
45 void mangleType(const BuiltinType *T);
46 void mangleType(const FunctionType *T);
47 void mangleBareFunctionType(const FunctionType *T, bool MangleReturnType);
48 void mangleType(const TagType *T);
49 void mangleType(const ArrayType *T);
50 void mangleType(const MemberPointerType *T);
51 void mangleType(const TemplateTypeParmType *T);
52 void mangleExpression(Expr *E);
53 };
54}
55
56
57bool CXXNameMangler::mangle(const NamedDecl *D) {
58 // <mangled-name> ::= _Z <encoding>
59 // ::= <data name>
60 // ::= <special-name>
61
62 // FIXME: Actually use a visitor to decode these?
63 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
64 bool RequiresMangling = false;
Douglas Gregor6ec36682009-02-18 23:53:56 +000065 // Clang's "overloadable" attribute extension to C/C++ implies
66 // name mangling (always).
Daniel Dunbar524ed952009-02-20 23:09:27 +000067 if (FD->getAttr<OverloadableAttr>())
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000068 RequiresMangling = true;
Daniel Dunbar524ed952009-02-20 23:09:27 +000069 // No mangled in an "implicit extern C" header.
70 else if (Context.getSourceManager().getFileCharacteristic(FD->getLocation())
71 == SrcMgr::C_ExternCSystem)
72 RequiresMangling = false;
Douglas Gregor04495c82009-02-24 01:23:02 +000073 else if (Context.getLangOptions().CPlusPlus && !FD->isMain()) {
Douglas Gregor6ec36682009-02-18 23:53:56 +000074 // C++ requires name mangling, unless we're in a C linkage
75 // specification.
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000076 RequiresMangling = true;
Douglas Gregor6ec36682009-02-18 23:53:56 +000077
78 for (const DeclContext *DC = FD->getDeclContext();
79 !DC->isTranslationUnit(); DC = DC->getParent()) {
80 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC)) {
81 // extern "C" functions don't use name mangling
82 if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
83 RequiresMangling = false;
84 break;
85 }
86 }
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000087 }
88
89 if (RequiresMangling) {
90 Out << "_Z";
91 mangleFunctionEncoding(FD);
92 return true;
93 }
94 }
95
96 return false;
97}
98
99void CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) {
100 // <encoding> ::= <function name> <bare-function-type>
101 mangleName(FD);
102 mangleBareFunctionType(FD->getType()->getAsFunctionType(), false);
103}
104
105static bool isStdNamespace(const DeclContext *DC) {
106 if (!DC->isNamespace() || !DC->getParent()->isTranslationUnit())
107 return false;
108
109 const NamespaceDecl *NS = cast<NamespaceDecl>(DC);
Douglas Gregor6ec36682009-02-18 23:53:56 +0000110 return NS->getOriginalNamespace()->getIdentifier()->isStr("std");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000111}
112
113void CXXNameMangler::mangleName(const NamedDecl *ND) {
114 // <name> ::= <nested-name>
115 // ::= <unscoped-name>
116 // ::= <unscoped-template-name> <template-args>
117 // ::= <local-name> # See Scope Encoding below
118 //
119 // <unscoped-name> ::= <unqualified-name>
120 // ::= St <unqualified-name> # ::std::
121 if (ND->getDeclContext()->isTranslationUnit())
122 mangleUnqualifiedName(ND);
123 else if (isStdNamespace(ND->getDeclContext())) {
124 Out << "St";
125 mangleUnqualifiedName(ND);
126 } else {
127 mangleNestedName(ND);
128 }
129}
130
131void CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND) {
132 // <unqualified-name> ::= <operator-name>
133 // ::= <ctor-dtor-name>
134 // ::= <source-name>
135 DeclarationName Name = ND->getDeclName();
136 switch (Name.getNameKind()) {
137 case DeclarationName::Identifier:
138 mangleSourceName(Name.getAsIdentifierInfo());
139 break;
140
141 case DeclarationName::ObjCZeroArgSelector:
142 case DeclarationName::ObjCOneArgSelector:
143 case DeclarationName::ObjCMultiArgSelector:
144 assert(false && "Can't mangle Objective-C selector names here!");
145 break;
146
147 case DeclarationName::CXXConstructorName:
148 // <ctor-dtor-name> ::= C1 # complete object constructor
149 // ::= C2 # base object constructor
150 // ::= C3 # complete object allocating constructor
151 //
152 // FIXME: We don't even have all of these constructors
153 // in the AST yet.
154 Out << "C1";
155 break;
156
157 case DeclarationName::CXXDestructorName:
158 // <ctor-dtor-name> ::= D0 # deleting destructor
159 // ::= D1 # complete object destructor
160 // ::= D2 # base object destructor
161 //
162 // FIXME: We don't even have all of these destructors in the AST
163 // yet.
164 Out << "D0";
165 break;
166
167 case DeclarationName::CXXConversionFunctionName:
Douglas Gregor219cc612009-02-13 01:28:03 +0000168 // <operator-name> ::= cv <type> # (cast)
169 Out << "cv";
170 mangleType(Context.getCanonicalType(Name.getCXXNameType()));
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000171 break;
172
173 case DeclarationName::CXXOperatorName:
174 mangleOperatorName(Name.getCXXOverloadedOperator(),
175 cast<FunctionDecl>(ND)->getNumParams());
176 break;
177
178 case DeclarationName::CXXUsingDirective:
179 assert(false && "Can't mangle a using directive name!");
Douglas Gregor219cc612009-02-13 01:28:03 +0000180 break;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000181 }
182}
183
184void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) {
185 // <source-name> ::= <positive length number> <identifier>
186 // <number> ::= [n] <non-negative decimal integer>
187 // <identifier> ::= <unqualified source code identifier>
188 Out << II->getLength() << II->getName();
189}
190
191void CXXNameMangler::mangleNestedName(const NamedDecl *ND) {
192 // <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
193 // ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
194 // FIXME: no template support
195 Out << 'N';
196 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND))
197 mangleCVQualifiers(Method->getTypeQualifiers());
198 manglePrefix(ND->getDeclContext());
199 mangleUnqualifiedName(ND);
200 Out << 'E';
201}
202
203void CXXNameMangler::manglePrefix(const DeclContext *DC) {
204 // <prefix> ::= <prefix> <unqualified-name>
205 // ::= <template-prefix> <template-args>
206 // ::= <template-param>
207 // ::= # empty
208 // ::= <substitution>
209 // FIXME: We only handle mangling of namespaces and classes at the moment.
210 if (DC->getParent() != DC)
211 manglePrefix(DC);
212
213 if (const NamespaceDecl *Namespace = dyn_cast<NamespaceDecl>(DC))
214 mangleSourceName(Namespace->getIdentifier());
215 else if (const RecordDecl *Record = dyn_cast<RecordDecl>(DC))
216 mangleSourceName(Record->getIdentifier());
217}
218
219void
220CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) {
221 switch (OO) {
222 // <operator-name> ::= nw # new
223 case OO_New: Out << "nw"; break;
224 // ::= na # new[]
225 case OO_Array_New: Out << "na"; break;
226 // ::= dl # delete
227 case OO_Delete: Out << "dl"; break;
228 // ::= da # delete[]
229 case OO_Array_Delete: Out << "da"; break;
230 // ::= ps # + (unary)
231 // ::= pl # +
232 case OO_Plus: Out << (Arity == 1? "ps" : "pl"); break;
233 // ::= ng # - (unary)
234 // ::= mi # -
235 case OO_Minus: Out << (Arity == 1? "ng" : "mi"); break;
236 // ::= ad # & (unary)
237 // ::= an # &
238 case OO_Amp: Out << (Arity == 1? "ad" : "an"); break;
239 // ::= de # * (unary)
240 // ::= ml # *
241 case OO_Star: Out << (Arity == 1? "de" : "ml"); break;
242 // ::= co # ~
243 case OO_Tilde: Out << "co"; break;
244 // ::= dv # /
245 case OO_Slash: Out << "dv"; break;
246 // ::= rm # %
247 case OO_Percent: Out << "rm"; break;
248 // ::= or # |
249 case OO_Pipe: Out << "or"; break;
250 // ::= eo # ^
251 case OO_Caret: Out << "eo"; break;
252 // ::= aS # =
253 case OO_Equal: Out << "aS"; break;
254 // ::= pL # +=
255 case OO_PlusEqual: Out << "pL"; break;
256 // ::= mI # -=
257 case OO_MinusEqual: Out << "mI"; break;
258 // ::= mL # *=
259 case OO_StarEqual: Out << "mL"; break;
260 // ::= dV # /=
261 case OO_SlashEqual: Out << "dV"; break;
262 // ::= rM # %=
263 case OO_PercentEqual: Out << "rM"; break;
264 // ::= aN # &=
265 case OO_AmpEqual: Out << "aN"; break;
266 // ::= oR # |=
267 case OO_PipeEqual: Out << "oR"; break;
268 // ::= eO # ^=
269 case OO_CaretEqual: Out << "eO"; break;
270 // ::= ls # <<
271 case OO_LessLess: Out << "ls"; break;
272 // ::= rs # >>
273 case OO_GreaterGreater: Out << "rs"; break;
274 // ::= lS # <<=
275 case OO_LessLessEqual: Out << "lS"; break;
276 // ::= rS # >>=
277 case OO_GreaterGreaterEqual: Out << "rS"; break;
278 // ::= eq # ==
279 case OO_EqualEqual: Out << "eq"; break;
280 // ::= ne # !=
281 case OO_ExclaimEqual: Out << "ne"; break;
282 // ::= lt # <
283 case OO_Less: Out << "lt"; break;
284 // ::= gt # >
285 case OO_Greater: Out << "gt"; break;
286 // ::= le # <=
287 case OO_LessEqual: Out << "le"; break;
288 // ::= ge # >=
289 case OO_GreaterEqual: Out << "ge"; break;
290 // ::= nt # !
291 case OO_Exclaim: Out << "nt"; break;
292 // ::= aa # &&
293 case OO_AmpAmp: Out << "aa"; break;
294 // ::= oo # ||
295 case OO_PipePipe: Out << "oo"; break;
296 // ::= pp # ++
297 case OO_PlusPlus: Out << "pp"; break;
298 // ::= mm # --
299 case OO_MinusMinus: Out << "mm"; break;
300 // ::= cm # ,
301 case OO_Comma: Out << "cm"; break;
302 // ::= pm # ->*
303 case OO_ArrowStar: Out << "pm"; break;
304 // ::= pt # ->
305 case OO_Arrow: Out << "pt"; break;
306 // ::= cl # ()
307 case OO_Call: Out << "cl"; break;
308 // ::= ix # []
309 case OO_Subscript: Out << "ix"; break;
310 // UNSUPPORTED: ::= qu # ?
311
312 case OO_None:
313 case NUM_OVERLOADED_OPERATORS:
Douglas Gregor6ec36682009-02-18 23:53:56 +0000314 assert(false && "Not an overloaded operator");
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000315 break;
316 }
317}
318
319void CXXNameMangler::mangleCVQualifiers(unsigned Quals) {
320 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const
321 if (Quals & QualType::Restrict)
322 Out << 'r';
323 if (Quals & QualType::Volatile)
324 Out << 'V';
325 if (Quals & QualType::Const)
326 Out << 'K';
327}
328
329void CXXNameMangler::mangleType(QualType T) {
330 // Only operate on the canonical type!
331 T = Context.getCanonicalType(T);
332
333 // FIXME: Should we have a TypeNodes.def to make this easier? (YES!)
334
335 // <type> ::= <CV-qualifiers> <type>
336 mangleCVQualifiers(T.getCVRQualifiers());
337
338 // ::= <builtin-type>
339 if (const BuiltinType *BT = dyn_cast<BuiltinType>(T.getTypePtr()))
340 mangleType(BT);
341 // ::= <function-type>
342 else if (const FunctionType *FT = dyn_cast<FunctionType>(T.getTypePtr()))
343 mangleType(FT);
344 // ::= <class-enum-type>
345 else if (const TagType *TT = dyn_cast<TagType>(T.getTypePtr()))
346 mangleType(TT);
347 // ::= <array-type>
348 else if (const ArrayType *AT = dyn_cast<ArrayType>(T.getTypePtr()))
349 mangleType(AT);
350 // ::= <pointer-to-member-type>
351 else if (const MemberPointerType *MPT
352 = dyn_cast<MemberPointerType>(T.getTypePtr()))
353 mangleType(MPT);
354 // ::= <template-param>
355 else if (const TemplateTypeParmType *TypeParm
356 = dyn_cast<TemplateTypeParmType>(T.getTypePtr()))
357 mangleType(TypeParm);
358 // FIXME: ::= <template-template-param> <template-args>
359 // FIXME: ::= <substitution> # See Compression below
360 // ::= P <type> # pointer-to
361 else if (const PointerType *PT = dyn_cast<PointerType>(T.getTypePtr())) {
362 Out << 'P';
363 mangleType(PT->getPointeeType());
364 }
365 // ::= R <type> # reference-to
366 // ::= O <type> # rvalue reference-to (C++0x)
367 else if (const ReferenceType *RT = dyn_cast<ReferenceType>(T.getTypePtr())) {
368 // FIXME: rvalue references
369 Out << 'R';
370 mangleType(RT->getPointeeType());
371 }
372 // ::= C <type> # complex pair (C 2000)
373 else if (const ComplexType *CT = dyn_cast<ComplexType>(T.getTypePtr())) {
374 Out << 'C';
375 mangleType(CT->getElementType());
376 } else if (const VectorType *VT = dyn_cast<VectorType>(T.getTypePtr())) {
377 // GNU extension: vector types
378 Out << "U8__vector";
379 mangleType(VT->getElementType());
380 }
381 // FIXME: ::= G <type> # imaginary (C 2000)
382 // FIXME: ::= U <source-name> <type> # vendor extended type qualifier
383 else
384 assert(false && "Cannot mangle unknown type");
385}
386
387void CXXNameMangler::mangleType(const BuiltinType *T) {
388 // <builtin-type> ::= v # void
389 // ::= w # wchar_t
390 // ::= b # bool
391 // ::= c # char
392 // ::= a # signed char
393 // ::= h # unsigned char
394 // ::= s # short
395 // ::= t # unsigned short
396 // ::= i # int
397 // ::= j # unsigned int
398 // ::= l # long
399 // ::= m # unsigned long
400 // ::= x # long long, __int64
401 // ::= y # unsigned long long, __int64
402 // ::= n # __int128
403 // UNSUPPORTED: ::= o # unsigned __int128
404 // ::= f # float
405 // ::= d # double
406 // ::= e # long double, __float80
407 // UNSUPPORTED: ::= g # __float128
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000408 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
409 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
410 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)
411 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits)
412 // UNSUPPORTED: ::= Di # char32_t
413 // UNSUPPORTED: ::= Ds # char16_t
414 // ::= u <source-name> # vendor extended type
415 switch (T->getKind()) {
416 case BuiltinType::Void: Out << 'v'; break;
417 case BuiltinType::Bool: Out << 'b'; break;
418 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break;
419 case BuiltinType::UChar: Out << 'h'; break;
420 case BuiltinType::UShort: Out << 't'; break;
421 case BuiltinType::UInt: Out << 'j'; break;
422 case BuiltinType::ULong: Out << 'm'; break;
423 case BuiltinType::ULongLong: Out << 'y'; break;
424 case BuiltinType::SChar: Out << 'a'; break;
425 case BuiltinType::WChar: Out << 'w'; break;
426 case BuiltinType::Short: Out << 's'; break;
427 case BuiltinType::Int: Out << 'i'; break;
428 case BuiltinType::Long: Out << 'l'; break;
429 case BuiltinType::LongLong: Out << 'x'; break;
430 case BuiltinType::Float: Out << 'f'; break;
431 case BuiltinType::Double: Out << 'd'; break;
432 case BuiltinType::LongDouble: Out << 'e'; break;
433
434 case BuiltinType::Overload:
435 case BuiltinType::Dependent:
436 assert(false &&
437 "Overloaded and dependent types shouldn't get to name mangling");
438 break;
439 }
440}
441
442void CXXNameMangler::mangleType(const FunctionType *T) {
443 // <function-type> ::= F [Y] <bare-function-type> E
444 Out << 'F';
445 // FIXME: We don't have enough information in the AST to produce the
446 // 'Y' encoding for extern "C" function types.
447 mangleBareFunctionType(T, /*MangleReturnType=*/true);
448 Out << 'E';
449}
450
451void CXXNameMangler::mangleBareFunctionType(const FunctionType *T,
452 bool MangleReturnType) {
453 // <bare-function-type> ::= <signature type>+
454 if (MangleReturnType)
455 mangleType(T->getResultType());
456
Douglas Gregor72564e72009-02-26 23:50:07 +0000457 const FunctionProtoType *Proto = dyn_cast<FunctionProtoType>(T);
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000458 assert(Proto && "Can't mangle K&R function prototypes");
459
Douglas Gregor72564e72009-02-26 23:50:07 +0000460 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(),
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000461 ArgEnd = Proto->arg_type_end();
462 Arg != ArgEnd; ++Arg)
463 mangleType(*Arg);
Douglas Gregor219cc612009-02-13 01:28:03 +0000464
465 // <builtin-type> ::= z # ellipsis
466 if (Proto->isVariadic())
467 Out << 'z';
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000468}
469
470void CXXNameMangler::mangleType(const TagType *T) {
471 // <class-enum-type> ::= <name>
472 mangleName(T->getDecl());
473}
474
475void CXXNameMangler::mangleType(const ArrayType *T) {
476 // <array-type> ::= A <positive dimension number> _ <element type>
477 // ::= A [<dimension expression>] _ <element type>
478 Out << 'A';
479 if (const ConstantArrayType *CAT = dyn_cast<ConstantArrayType>(T))
480 Out << CAT->getSize();
481 else if (const VariableArrayType *VAT = dyn_cast<VariableArrayType>(T))
482 mangleExpression(VAT->getSizeExpr());
483 else if (const DependentSizedArrayType *DSAT
484 = dyn_cast<DependentSizedArrayType>(T))
485 mangleExpression(DSAT->getSizeExpr());
486
487 Out << '_';
488 mangleType(T->getElementType());
489}
490
491void CXXNameMangler::mangleType(const MemberPointerType *T) {
492 // <pointer-to-member-type> ::= M <class type> <member type>
493 Out << 'M';
494 mangleType(QualType(T->getClass(), 0));
495 mangleType(T->getPointeeType());
496}
497
498void CXXNameMangler::mangleType(const TemplateTypeParmType *T) {
499 // <template-param> ::= T_ # first template parameter
500 // ::= T <parameter-2 non-negative number> _
501 if (T->getIndex() == 0)
502 Out << "T_";
503 else
504 Out << 'T' << (T->getIndex() - 1) << '_';
505}
506
507void CXXNameMangler::mangleExpression(Expr *E) {
508 assert(false && "Cannot mangle expressions yet");
509}
510
511namespace clang {
512 /// \brief Mangles the name of the declaration D and emits that name
513 /// to the given output stream.
514 ///
515 /// If the declaration D requires a mangled name, this routine will
516 /// emit that mangled name to \p os and return true. Otherwise, \p
517 /// os will be unchanged and this routine will return false. In this
518 /// case, the caller should just emit the identifier of the declaration
519 /// (\c D->getIdentifier()) as its name.
520 bool mangleName(const NamedDecl *D, ASTContext &Context,
521 llvm::raw_ostream &os) {
522 CXXNameMangler Mangler(Context, os);
Douglas Gregor6ec36682009-02-18 23:53:56 +0000523 if (!Mangler.mangle(D))
524 return false;
525
526 os.flush();
527 return true;
Douglas Gregor5f2bfd42009-02-13 00:10:09 +0000528 }
529}
530