ItaniumMangle.cpp revision ca63c200346c0ca9e00194ec6e34a5a7b0ed9321
13ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar//===--- ItaniumMangle.cpp - Itanium C++ Name Mangling ----------*- C++ -*-===// 23ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// 33ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// The LLVM Compiler Infrastructure 43ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// 53ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// This file is distributed under the University of Illinois Open Source 63ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// License. See LICENSE.TXT for details. 73ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// 83ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar//===----------------------------------------------------------------------===// 93ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// 103ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// Implements C++ name mangling according to the Itanium C++ ABI, 113ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar// which is used in GCC 3.2 and newer (and many compilers that are 1253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar// ABI-compatible with GCC): 131b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar// 141b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar// http://www.codesourcery.com/public/cxx-abi/abi.html 151b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar// 164ad4b3ebbe5769143389dccfcfadb666a4ba5940Daniel Dunbar//===----------------------------------------------------------------------===// 17dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar#include "clang/AST/Mangle.h" 18f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar#include "clang/AST/ASTContext.h" 190648262df75d97b464c2be0ed867da3615659785Daniel Dunbar#include "clang/AST/Decl.h" 201b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar#include "clang/AST/DeclCXX.h" 21f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar#include "clang/AST/DeclObjC.h" 22f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar#include "clang/AST/DeclTemplate.h" 2353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar#include "clang/AST/ExprCXX.h" 240648262df75d97b464c2be0ed867da3615659785Daniel Dunbar#include "clang/AST/TypeLoc.h" 251368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar#include "clang/Basic/ABI.h" 268f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar#include "clang/Basic/SourceManager.h" 270648262df75d97b464c2be0ed867da3615659785Daniel Dunbar#include "clang/Basic/TargetInfo.h" 2853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar#include "llvm/ADT/StringExtras.h" 29632f50edc08c76ebc643a0d4871bae33a55d7b4eDaniel Dunbar#include "llvm/Support/raw_ostream.h" 30ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar#include "llvm/Support/ErrorHandling.h" 31f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 32f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar#define MANGLE_CHECKER 0 33ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar 34ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar#if MANGLE_CHECKER 351b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar#include <cxxabi.h> 361b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar#endif 37dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar 384ad4b3ebbe5769143389dccfcfadb666a4ba5940Daniel Dunbarusing namespace clang; 39f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 404ad4b3ebbe5769143389dccfcfadb666a4ba5940Daniel Dunbarnamespace { 414ad4b3ebbe5769143389dccfcfadb666a4ba5940Daniel Dunbar 42dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbarstatic const CXXRecordDecl *GetLocalClassDecl(const NamedDecl *ND) { 43f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar const DeclContext *DC = dyn_cast<DeclContext>(ND); 44dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar if (!DC) 455c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar DC = ND->getDeclContext(); 468b1604ece7bf6dc2ba811cd7d8767557e55e2ec2Daniel Dunbar while (!DC->isNamespace() && !DC->isTranslationUnit()) { 478b1604ece7bf6dc2ba811cd7d8767557e55e2ec2Daniel Dunbar if (isa<FunctionDecl>(DC->getParent())) 48365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar return dyn_cast<CXXRecordDecl>(DC); 493ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar DC = DC->getParent(); 503ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar } 513ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar return 0; 521b3bb6efc59a21f794b534078f9ae7e95393f510Daniel Dunbar} 537e4534d9c14febcdea30c057bb2a36e245776865Daniel Dunbar 543ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbarstatic const FunctionDecl *getStructor(const FunctionDecl *fn) { 553ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar if (const FunctionTemplateDecl *ftd = fn->getPrimaryTemplate()) 560648262df75d97b464c2be0ed867da3615659785Daniel Dunbar return ftd->getTemplatedDecl(); 578f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar 580648262df75d97b464c2be0ed867da3615659785Daniel Dunbar return fn; 590648262df75d97b464c2be0ed867da3615659785Daniel Dunbar} 60ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 61ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbarstatic const NamedDecl *getStructor(const NamedDecl *decl) { 620648262df75d97b464c2be0ed867da3615659785Daniel Dunbar const FunctionDecl *fn = dyn_cast_or_null<FunctionDecl>(decl); 630648262df75d97b464c2be0ed867da3615659785Daniel Dunbar return (fn ? getStructor(fn) : decl); 644139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar} 654139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar 664139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbarstatic const unsigned UnknownArity = ~0U; 674139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar 684139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbarclass ItaniumMangleContext : public MangleContext { 694139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar llvm::DenseMap<const TagDecl *, uint64_t> AnonStructIds; 704139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar unsigned Discriminator; 714139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar llvm::DenseMap<const NamedDecl*, unsigned> Uniquifier; 724139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbar 734139340644a0a41c2529c183c4b60bb55c3fdc79Daniel Dunbarpublic: 740648262df75d97b464c2be0ed867da3615659785Daniel Dunbar explicit ItaniumMangleContext(ASTContext &Context, 750648262df75d97b464c2be0ed867da3615659785Daniel Dunbar Diagnostic &Diags) 7653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar : MangleContext(Context, Diags) { } 7753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 78b897f5d3ebfb62c2745e2e2af7faa9920c882438Daniel Dunbar uint64_t getAnonymousStructId(const TagDecl *TD) { 7953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar std::pair<llvm::DenseMap<const TagDecl *, 8053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar uint64_t>::iterator, bool> Result = 8153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar AnonStructIds.insert(std::make_pair(TD, AnonStructIds.size())); 820648262df75d97b464c2be0ed867da3615659785Daniel Dunbar return Result.first->second; 8353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 840648262df75d97b464c2be0ed867da3615659785Daniel Dunbar 850648262df75d97b464c2be0ed867da3615659785Daniel Dunbar void startNewFunction() { 8670c168488b9cbadeb66e994c210a69ce4326adf2Daniel Dunbar MangleContext::startNewFunction(); 870648262df75d97b464c2be0ed867da3615659785Daniel Dunbar mangleInitDiscriminator(); 880648262df75d97b464c2be0ed867da3615659785Daniel Dunbar } 890648262df75d97b464c2be0ed867da3615659785Daniel Dunbar 900648262df75d97b464c2be0ed867da3615659785Daniel Dunbar /// @name Mangler Entry Points 910648262df75d97b464c2be0ed867da3615659785Daniel Dunbar /// @{ 923ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar 938f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar bool shouldMangleDeclName(const NamedDecl *D); 948f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar void mangleName(const NamedDecl *D, llvm::raw_ostream &); 95cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleThunk(const CXXMethodDecl *MD, 96cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar const ThunkInfo &Thunk, 97cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar llvm::raw_ostream &); 98cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleCXXDtorThunk(const CXXDestructorDecl *DD, CXXDtorType Type, 99cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar const ThisAdjustment &ThisAdjustment, 100cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar llvm::raw_ostream &); 101cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleReferenceTemporary(const VarDecl *D, 102cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar llvm::raw_ostream &); 103365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleCXXVTable(const CXXRecordDecl *RD, 104365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar llvm::raw_ostream &); 10553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar void mangleCXXVTT(const CXXRecordDecl *RD, 1060648262df75d97b464c2be0ed867da3615659785Daniel Dunbar llvm::raw_ostream &); 107365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleCXXCtorVTable(const CXXRecordDecl *RD, int64_t Offset, 108dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar const CXXRecordDecl *Type, 109365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar llvm::raw_ostream &); 110365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleCXXRTTI(QualType T, llvm::raw_ostream &); 111365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleCXXRTTIName(QualType T, llvm::raw_ostream &); 112365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleCXXCtor(const CXXConstructorDecl *D, CXXCtorType Type, 113365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar llvm::raw_ostream &); 114365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleCXXDtor(const CXXDestructorDecl *D, CXXDtorType Type, 115365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar llvm::raw_ostream &); 116365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 117365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleItaniumGuardVariable(const VarDecl *D, llvm::raw_ostream &); 118365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 119365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar void mangleInitDiscriminator() { 120365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar Discriminator = 0; 121365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar } 12253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 1235c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar bool getNextDiscriminator(const NamedDecl *ND, unsigned &disc) { 1245c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar unsigned &discriminator = Uniquifier[ND]; 125365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar if (!discriminator) 126365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar discriminator = ++Discriminator; 127365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar if (discriminator == 1) 128365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar return false; 129365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar disc = discriminator-2; 130365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar return true; 131365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar } 132365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar /// @} 133365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar}; 134365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 135365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar/// CXXNameMangler - Manage the mangling of a single name. 136365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbarclass CXXNameMangler { 137365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar ItaniumMangleContext &Context; 138365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar llvm::raw_ostream &Out; 139365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 140365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar /// The "structor" is the top-level declaration being mangled, if 141365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar /// that's not a template specialization; otherwise it's the pattern 142365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar /// for that specialization. 143365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar const NamedDecl *Structor; 144365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar unsigned StructorType; 145365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 146365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar /// SeqID - The next subsitution sequence number. 147365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar unsigned SeqID; 148365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 149365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar class FunctionTypeDepthState { 150365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar unsigned Bits; 151365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 152dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar enum { InResultTypeMask = 1 }; 153365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 154dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar public: 155365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar FunctionTypeDepthState() : Bits(0) {} 156365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 157365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar /// The number of function types we're inside. 158365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar unsigned getDepth() const { 159365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar return Bits >> 1; 160365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar } 161365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar 162dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar /// True if we're in the return type of the innermost function type. 163365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar bool isInResultType() const { 164365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar return Bits & InResultTypeMask; 165e504952bc89f79fc9ff54d5641ab30bb07ec435eDaniel Dunbar } 166cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar 16721549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar FunctionTypeDepthState push() { 168e530ad407af4a8904377592bfdb236acd320c6c2Daniel Dunbar FunctionTypeDepthState tmp = *this; 16921549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar Bits = (Bits & ~InResultTypeMask) + 2; 170365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar return tmp; 171365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar } 17221549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 17321549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar void enterResultType() { 174365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar Bits |= InResultTypeMask; 17553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 17621549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 17721549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar void leaveResultType() { 178cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar Bits &= ~InResultTypeMask; 17953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 18021549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 18121549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar void pop(FunctionTypeDepthState saved) { 18221549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar assert(getDepth() == saved.getDepth() + 1); 18353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar Bits = saved.Bits; 18421549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar } 18553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 18621549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar } FunctionTypeDepth; 18753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 18853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar llvm::DenseMap<uintptr_t, unsigned> Substitutions; 18910ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar 19021549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar ASTContext &getASTContext() const { return Context.getASTContext(); } 19153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 192ab835430b4f758dd49903251c7c7f21b95933c89Daniel Dunbarpublic: 19321549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar CXXNameMangler(ItaniumMangleContext &C, llvm::raw_ostream &Out_, 1948d2554a2c3201aa664cbf2108cf9d57aa0aa4b0aDaniel Dunbar const NamedDecl *D = 0) 1958d2554a2c3201aa664cbf2108cf9d57aa0aa4b0aDaniel Dunbar : Context(C), Out(Out_), Structor(getStructor(D)), StructorType(0), 196365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar SeqID(0) { 197365c02f65be026f90e67a8e00e7b827cee60e228Daniel Dunbar // These can't be mangled without a ctor type or dtor type. 198d65bddcbe1385a4de212ecbbdc8919c54b3efeb0Daniel Dunbar assert(!D || (!isa<CXXDestructorDecl>(D) && 1990648262df75d97b464c2be0ed867da3615659785Daniel Dunbar !isa<CXXConstructorDecl>(D))); 20053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 2010648262df75d97b464c2be0ed867da3615659785Daniel Dunbar CXXNameMangler(ItaniumMangleContext &C, llvm::raw_ostream &Out_, 2020648262df75d97b464c2be0ed867da3615659785Daniel Dunbar const CXXConstructorDecl *D, CXXCtorType Type) 2030648262df75d97b464c2be0ed867da3615659785Daniel Dunbar : Context(C), Out(Out_), Structor(getStructor(D)), StructorType(Type), 2040648262df75d97b464c2be0ed867da3615659785Daniel Dunbar SeqID(0) { } 2050648262df75d97b464c2be0ed867da3615659785Daniel Dunbar CXXNameMangler(ItaniumMangleContext &C, llvm::raw_ostream &Out_, 2060648262df75d97b464c2be0ed867da3615659785Daniel Dunbar const CXXDestructorDecl *D, CXXDtorType Type) 2070648262df75d97b464c2be0ed867da3615659785Daniel Dunbar : Context(C), Out(Out_), Structor(getStructor(D)), StructorType(Type), 2080648262df75d97b464c2be0ed867da3615659785Daniel Dunbar SeqID(0) { } 20953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 2100648262df75d97b464c2be0ed867da3615659785Daniel Dunbar#if MANGLE_CHECKER 2110648262df75d97b464c2be0ed867da3615659785Daniel Dunbar ~CXXNameMangler() { 2120648262df75d97b464c2be0ed867da3615659785Daniel Dunbar if (Out.str()[0] == '\01') 2133ede8d0a7d1813f678ccc6011a99a0834b1b6116Daniel Dunbar return; 214dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar 215cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar int status = 0; 2165d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump char *result = abi::__cxa_demangle(Out.str().str().c_str(), 0, 0, &status); 2175d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump assert(status == 0 && "Could not demangle mangled name!"); 2185d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump free(result); 2195d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump } 2205d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump#endif 2215d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump llvm::raw_ostream &getStream() { return Out; } 2225d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump 223e70295b5c99c29e5792649b87d8455dfef209ac8Mike Stump void mangle(const NamedDecl *D, llvm::StringRef Prefix = "_Z"); 2248944c38c2a14b038fee7d7ebfe8b9c851b51fd75Mike Stump void mangleCallOffset(int64_t NonVirtual, int64_t Virtual); 2258944c38c2a14b038fee7d7ebfe8b9c851b51fd75Mike Stump void mangleNumber(const llvm::APSInt &I); 2268944c38c2a14b038fee7d7ebfe8b9c851b51fd75Mike Stump void mangleNumber(int64_t Number); 2278944c38c2a14b038fee7d7ebfe8b9c851b51fd75Mike Stump void mangleFloat(const llvm::APFloat &F); 2288944c38c2a14b038fee7d7ebfe8b9c851b51fd75Mike Stump void mangleFunctionEncoding(const FunctionDecl *FD); 2298944c38c2a14b038fee7d7ebfe8b9c851b51fd75Mike Stump void mangleName(const NamedDecl *ND); 230cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleType(QualType T); 231cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleNameOrStandardSubstitution(const NamedDecl *ND); 232d227fe7ee0af4f96b96598d9b98bff66a25d06a2Mike Stump 2335d023c3edee981a70d4955ac0cb22bd01817c788Mike Stumpprivate: 2345d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump bool mangleSubstitution(const NamedDecl *ND); 2355d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump bool mangleSubstitution(QualType T); 2365d023c3edee981a70d4955ac0cb22bd01817c788Mike Stump bool mangleSubstitution(TemplateName Template); 237cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar bool mangleSubstitution(uintptr_t Ptr); 238cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar 23921549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar bool mangleStandardSubstitution(const NamedDecl *ND); 240cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar 241cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void addSubstitution(const NamedDecl *ND) { 242cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar ND = cast<NamedDecl>(ND->getCanonicalDecl()); 24321549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 24421549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar addSubstitution(reinterpret_cast<uintptr_t>(ND)); 245cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar } 246cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void addSubstitution(QualType T); 247cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void addSubstitution(TemplateName Template); 248cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void addSubstitution(uintptr_t Ptr); 24921549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 250cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleUnresolvedPrefix(NestedNameSpecifier *qualifier, 251cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar NamedDecl *firstQualifierLookup, 25221549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar bool recursive = false); 25321549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar void mangleUnresolvedName(NestedNameSpecifier *qualifier, 25421549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar NamedDecl *firstQualifierLookup, 255cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar DeclarationName name, 256cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar unsigned KnownArity = UnknownArity); 257cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar 25821549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar static bool isUnresolvedType(const Type *type); 25921549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar void mangleUnresolvedType(const Type *type); 26021549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 261cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleName(const TemplateDecl *TD, 262cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar const TemplateArgument *TemplateArgs, 263cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar unsigned NumTemplateArgs); 26421549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar void mangleUnqualifiedName(const NamedDecl *ND) { 26521549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar mangleUnqualifiedName(ND, ND->getDeclName(), UnknownArity); 266cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar } 267cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleUnqualifiedName(const NamedDecl *ND, DeclarationName Name, 268cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar unsigned KnownArity); 269cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleUnscopedName(const NamedDecl *ND); 270cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleUnscopedTemplateName(const TemplateDecl *ND); 271cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar void mangleUnscopedTemplateName(TemplateName); 27210ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar void mangleSourceName(const IdentifierInfo *II); 273ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleLocalName(const NamedDecl *ND); 274ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleNestedName(const NamedDecl *ND, const DeclContext *DC, 275ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar bool NoFunction=false); 276ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleNestedName(const TemplateDecl *TD, 277ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar const TemplateArgument *TemplateArgs, 278ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar unsigned NumTemplateArgs); 279ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void manglePrefix(NestedNameSpecifier *qualifier); 280ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void manglePrefix(const DeclContext *DC, bool NoFunction=false); 281ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void manglePrefix(QualType type); 282ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleTemplatePrefix(const TemplateDecl *ND); 28310ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar void mangleTemplatePrefix(TemplateName Template); 284ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity); 28510ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar void mangleQualifiers(Qualifiers Quals); 28610ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar void mangleRefQualifier(RefQualifierKind RefQualifier); 28710ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar 288ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleObjCMethodName(const ObjCMethodDecl *MD); 289ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar 290ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar // Declare manglers for every type class. 29110ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar#define ABSTRACT_TYPE(CLASS, PARENT) 292ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar#define NON_CANONICAL_TYPE(CLASS, PARENT) 293ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar#define TYPE(CLASS, PARENT) void mangleType(const CLASS##Type *T); 294ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar#include "clang/AST/TypeNodes.def" 295ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar 296ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleType(const TagType*); 297ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleType(TemplateName); 298ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleBareFunctionType(const FunctionType *T, 299ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar bool MangleReturnType); 300ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleNeonVectorType(const VectorType *T); 301b269c32596dadf9f653cfffae6981d27e6eebc2eDaniel Dunbar 302ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleIntegerLiteral(QualType T, const llvm::APSInt &Value); 303ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleMemberExpr(const Expr *base, bool isArrow, 304ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar NestedNameSpecifier *qualifier, 305ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar NamedDecl *firstQualifierLookup, 306ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar DeclarationName name, 30710ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar unsigned knownArity); 308ba1021388e6839b76c8968b931189361c7286674Daniel Dunbar void mangleExpression(const Expr *E, unsigned Arity = UnknownArity); 30910ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar void mangleCXXCtorType(CXXCtorType T); 31010ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar void mangleCXXDtorType(CXXDtorType T); 31110ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar 31253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar void mangleTemplateArgs(const ExplicitTemplateArgumentList &TemplateArgs); 31353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar void mangleTemplateArgs(TemplateName Template, 31421549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar const TemplateArgument *TemplateArgs, 31521549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar unsigned NumTemplateArgs); 3168f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar void mangleTemplateArgs(const TemplateParameterList &PL, 3171368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar const TemplateArgument *TemplateArgs, 3181368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar unsigned NumTemplateArgs); 3191368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar void mangleTemplateArgs(const TemplateParameterList &PL, 3201368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar const TemplateArgumentList &AL); 3212fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar void mangleTemplateArg(const NamedDecl *P, const TemplateArgument &A); 3222fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar void mangleUnresolvedTemplateArgs(const TemplateArgument *args, 3232fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar unsigned numArgs); 3242fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3252fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar void mangleTemplateParameter(unsigned Index); 3261368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar 3271368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar void mangleFunctionParam(const ParmVarDecl *parm); 3282fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar}; 3292fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3302fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar} 3311368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar 3321368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbarstatic bool isInCLinkageSpecification(const Decl *D) { 3332fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar D = D->getCanonicalDecl(); 3342fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar for (const DeclContext *DC = D->getDeclContext(); 3352fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar !DC->isTranslationUnit(); DC = DC->getParent()) { 33610ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC)) 33710ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar return Linkage->getLanguage() == LinkageSpecDecl::lang_c; 33810ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar } 33910ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar 34010ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar return false; 3412fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar} 3422fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3432fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbarbool ItaniumMangleContext::shouldMangleDeclName(const NamedDecl *D) { 3442fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // In C, functions with no attributes never need to be mangled. Fastpath them. 3452fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if (!getASTContext().getLangOptions().CPlusPlus && !D->hasAttrs()) 3462fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return false; 3472fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3482fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // Any decl can be declared with __asm("foo") on it, and this takes precedence 3492fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // over all other naming in the .o file. 3502fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if (D->hasAttr<AsmLabelAttr>()) 3512fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return true; 3522fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3532fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // Clang's "overloadable" attribute extension to C/C++ implies name mangling 3542fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // (always) as does passing a C++ member function and a function 3552fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // whose name is not a simple identifier. 3562fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar const FunctionDecl *FD = dyn_cast<FunctionDecl>(D); 3572fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if (FD && (FD->hasAttr<OverloadableAttr>() || isa<CXXMethodDecl>(FD) || 3582fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar !FD->getDeclName().isIdentifier())) 3592fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return true; 3602fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3612fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // Otherwise, no mangling is done outside C++ mode. 3622fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if (!getASTContext().getLangOptions().CPlusPlus) 3632fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return false; 3642fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3652fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // Variables at global scope with non-internal linkage are not mangled 3662fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if (!FD) { 3672fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar const DeclContext *DC = D->getDeclContext(); 3682fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // Check for extern variable declared locally. 3692fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if (DC->isFunctionOrMethod() && D->hasLinkage()) 3702fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar while (!DC->isNamespace() && !DC->isTranslationUnit()) 3712fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar DC = DC->getParent(); 3723dbd6c51bcd8a730c3fe58e29d7e0d999a94fa91Daniel Dunbar if (DC->isTranslationUnit() && D->getLinkage() != InternalLinkage) 3732fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return false; 3742fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar } 3752fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3762fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // Class members are always mangled. 3771368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar if (D->getDeclContext()->isRecord()) 3781368954db9ce2989ed8f03f5c65e8ee775a5229aDaniel Dunbar return true; 3792fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3802fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar // C functions and "main" are not mangled. 3812fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar if ((FD && FD->isMain()) || isInCLinkageSpecification(D)) 3822fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return false; 3832fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 3842fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar return true; 3852fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar} 3862fe63e6adac0b9e5f52bcc3100b545e379417e6eDaniel Dunbar 38753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbarvoid CXXNameMangler::mangle(const NamedDecl *D, llvm::StringRef Prefix) { 38853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // Any decl can be declared with __asm("foo") on it, and this takes precedence 38921549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar // over all other naming in the .o file. 3908f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar if (const AsmLabelAttr *ALA = D->getAttr<AsmLabelAttr>()) { 391af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // If we have an asm name, then we use it as the mangling. 392af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar 39383dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // Adding the prefix can cause problems when one file has a "foo" and 39483dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // another has a "\01foo". That is known to happen on ELF with the 39583dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // tricks normally used for producing aliases (PR9177). Fortunately the 39683dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // llvm mangler on ELF is a nop, so we can just avoid adding the \01 39783dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // marker. We also avoid adding the marker if this is an alias for an 39883dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // LLVM intrinsic. 39983dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar llvm::StringRef UserLabelPrefix = 40053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar getASTContext().Target.getUserLabelPrefix(); 40153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar if (!UserLabelPrefix.empty() && !ALA->getLabel().startswith("llvm.")) 40253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar Out << '\01'; // LLVM IR Marker for __asm("foo") 40353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 40453ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar Out << ALA->getLabel(); 40553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar return; 40653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 40753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 40853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // <mangled-name> ::= _Z <encoding> 40953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // ::= <data name> 41083dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar // ::= <special-name> 41183dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar Out << Prefix; 41283dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) 41383dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar mangleFunctionEncoding(FD); 41483dd21f6b4e6e109b893c0d42bc81e4883c342f7Daniel Dunbar else if (const VarDecl *VD = dyn_cast<VarDecl>(D)) 41553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar mangleName(VD); 41653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar else 41753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar mangleName(cast<FieldDecl>(D)); 41853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar} 41953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 42053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbarvoid CXXNameMangler::mangleFunctionEncoding(const FunctionDecl *FD) { 42153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // <encoding> ::= <function name> <bare-function-type> 42253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar mangleName(FD); 4238022fd46d45005de63306a7513aece20a1be16edDaniel Dunbar 424b897f5d3ebfb62c2745e2e2af7faa9920c882438Daniel Dunbar // Don't mangle in the type if this isn't a decl we should typically mangle. 42553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar if (!Context.shouldMangleDeclName(FD)) 42653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar return; 42753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 42853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // Whether the mangling of a function type includes the return type depends on 42953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // the context and the nature of the function. The rules for deciding whether 43053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // the return type is included are: 43153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 43253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 1. Template functions (names or types) have return types encoded, with 43353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // the exceptions listed below. 43453ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 2. Function types not appearing as part of a function name mangling, 43553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // e.g. parameters, pointer types, etc., have return type encoded, with the 43653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // exceptions listed below. 43753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 3. Non-template function names do not have return types encoded. 43853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 43953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // The exceptions mentioned in (1) and (2) above, for which the return type is 44053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // never included, are 44153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 1. Constructors. 44253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 2. Destructors. 44353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // 3. Conversion operator functions, e.g. operator int. 44453ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar bool MangleReturnType = false; 44553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar if (FunctionTemplateDecl *PrimaryTemplate = FD->getPrimaryTemplate()) { 44653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar if (!(isa<CXXConstructorDecl>(FD) || isa<CXXDestructorDecl>(FD) || 44753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar isa<CXXConversionDecl>(FD))) 44853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar MangleReturnType = true; 44953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 45053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // Mangle the type of the primary template. 45153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar FD = PrimaryTemplate->getTemplatedDecl(); 45253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 45353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 45453ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // Do the canonicalization out here because parameter types can 45553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar // undergo additional canonicalization (e.g. array decay). 45653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar const FunctionType *FT 45753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar = cast<FunctionType>(Context.getASTContext() 458b897f5d3ebfb62c2745e2e2af7faa9920c882438Daniel Dunbar .getCanonicalType(FD->getType())); 45953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 46053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar mangleBareFunctionType(FT, MangleReturnType); 46153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar} 46253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 46353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbarstatic const DeclContext *IgnoreLinkageSpecDecls(const DeclContext *DC) { 46453ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar while (isa<LinkageSpecDecl>(DC)) { 46553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar DC = DC->getParent(); 46653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar } 46753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 46853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar return DC; 46953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar} 47053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 47153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar/// isStd - Return whether a given namespace is the 'std' namespace. 47253ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbarstatic bool isStd(const NamespaceDecl *NS) { 47353ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar if (!IgnoreLinkageSpecDecls(NS->getParent())->isTranslationUnit()) 47453ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar return false; 47553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 476b897f5d3ebfb62c2745e2e2af7faa9920c882438Daniel Dunbar const IdentifierInfo *II = NS->getOriginalNamespace()->getIdentifier(); 47753ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar return II && II->isStr("std"); 47853ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar} 47953ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar 48053ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar// isStdNamespace - Return whether a given decl context is a toplevel 'std' 48153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar// namespace. 4828b1604ece7bf6dc2ba811cd7d8767557e55e2ec2Daniel Dunbarstatic bool isStdNamespace(const DeclContext *DC) { 483af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar if (!DC->isNamespace()) 484af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar return false; 485af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar 486af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar return isStd(cast<NamespaceDecl>(DC)); 487af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar} 488af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar 489af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbarstatic const TemplateDecl * 490ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel DunbarisTemplate(const NamedDecl *ND, const TemplateArgumentList *&TemplateArgs) { 491ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // Check if we have a function template. 492af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND)){ 493af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar if (const TemplateDecl *TD = FD->getPrimaryTemplate()) { 494ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar TemplateArgs = FD->getTemplateSpecializationArgs(); 495ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return TD; 496ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 497ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 498af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar 4998022fd46d45005de63306a7513aece20a1be16edDaniel Dunbar // Check if we have a class template. 5008022fd46d45005de63306a7513aece20a1be16edDaniel Dunbar if (const ClassTemplateSpecializationDecl *Spec = 5018022fd46d45005de63306a7513aece20a1be16edDaniel Dunbar dyn_cast<ClassTemplateSpecializationDecl>(ND)) { 5028022fd46d45005de63306a7513aece20a1be16edDaniel Dunbar TemplateArgs = &Spec->getTemplateArgs(); 503ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return Spec->getSpecializedTemplate(); 504ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 505af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar 506af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar return 0; 507ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar} 508ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 509af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbarvoid CXXNameMangler::mangleName(const NamedDecl *ND) { 510af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // <name> ::= <nested-name> 511af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // ::= <unscoped-name> 512ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // ::= <unscoped-template-name> <template-args> 513af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // ::= <local-name> 514af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // 515af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar const DeclContext *DC = ND->getDeclContext(); 516af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar 517af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // If this is an extern variable declared locally, the relevant DeclContext 518af61c71137d1f7239d6b9d7425ce083db7ba31dfDaniel Dunbar // is that of the containing namespace, or the translation unit. 519ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (isa<FunctionDecl>(DC) && ND->hasLinkage()) 520ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar while (!DC->isNamespace() && !DC->isTranslationUnit()) 52153ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar DC = DC->getParent(); 522ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar else if (GetLocalClassDecl(ND)) { 523ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleLocalName(ND); 524ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 525ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 526ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 527ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar while (isa<LinkageSpecDecl>(DC)) 528ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar DC = DC->getParent(); 529ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 530ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (DC->isTranslationUnit() || isStdNamespace(DC)) { 531ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // Check if we have a template. 532ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar const TemplateArgumentList *TemplateArgs = 0; 533ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) { 534ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleUnscopedTemplateName(TD); 535ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar TemplateParameterList *TemplateParameters = TD->getTemplateParameters(); 536ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleTemplateArgs(*TemplateParameters, *TemplateArgs); 537ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 538ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 539ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 540ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleUnscopedName(ND); 541ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 542ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 543ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 544ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (isa<FunctionDecl>(DC) || isa<ObjCMethodDecl>(DC)) { 545ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleLocalName(ND); 546ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 547ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 548ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 549ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleNestedName(ND, DC); 550ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar} 551ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbarvoid CXXNameMangler::mangleName(const TemplateDecl *TD, 552ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar const TemplateArgument *TemplateArgs, 553ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar unsigned NumTemplateArgs) { 554ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar const DeclContext *DC = IgnoreLinkageSpecDecls(TD->getDeclContext()); 555ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 556ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (DC->isTranslationUnit() || isStdNamespace(DC)) { 557ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleUnscopedTemplateName(TD); 558ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar TemplateParameterList *TemplateParameters = TD->getTemplateParameters(); 559ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleTemplateArgs(*TemplateParameters, TemplateArgs, NumTemplateArgs); 560ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } else { 561ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleNestedName(TD, TemplateArgs, NumTemplateArgs); 562ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 563ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar} 564ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 56553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbarvoid CXXNameMangler::mangleUnscopedName(const NamedDecl *ND) { 566ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // <unscoped-name> ::= <unqualified-name> 567ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // ::= St <unqualified-name> # ::std:: 568ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (isStdNamespace(ND->getDeclContext())) 569ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar Out << "St"; 570ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 571ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleUnqualifiedName(ND); 572ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar} 573ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 5748f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbarvoid CXXNameMangler::mangleUnscopedTemplateName(const TemplateDecl *ND) { 575ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // <unscoped-template-name> ::= <unscoped-name> 576ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // ::= <substitution> 577ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (mangleSubstitution(ND)) 578ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 579ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 580ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // <template-template-param> ::= <template-param> 581ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (const TemplateTemplateParmDecl *TTP 582ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar = dyn_cast<TemplateTemplateParmDecl>(ND)) { 583ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleTemplateParameter(TTP->getIndex()); 584ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 585ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar } 586ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 587ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar mangleUnscopedName(ND->getTemplatedDecl()); 588ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar addSubstitution(ND); 589ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar} 590ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 591ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbarvoid CXXNameMangler::mangleUnscopedTemplateName(TemplateName Template) { 592ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // <unscoped-template-name> ::= <unscoped-name> 593ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // ::= <substitution> 594ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (TemplateDecl *TD = Template.getAsTemplateDecl()) 595ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return mangleUnscopedTemplateName(TD); 596ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 597ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (mangleSubstitution(Template)) 598ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar return; 599ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar 600ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // FIXME: How to cope with operators here? 601ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar DependentTemplateName *Dependent = Template.getAsDependentTemplateName(); 602ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar assert(Dependent && "Not a dependent template name?"); 603ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar if (!Dependent->isIdentifier()) { 604ad2a9af666efdd9afe3bb5f886bcb0d1c9a0f0c3Daniel Dunbar // FIXME: We can't possibly know the arity of the operator here! 60553ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar Diagnostic &Diags = Context.getDiags(); 60653ec55215075c8f4ddd47ca6ed7d382f16beb670Daniel Dunbar unsigned DiagID = Diags.getCustomDiagID(Diagnostic::Error, 60721549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar "cannot mangle dependent operator name"); 6088f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar Diags.Report(DiagID); 609f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar return; 610f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } 611f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 612f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar mangleSourceName(Dependent->getIdentifier()); 613f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar addSubstitution(Template); 614f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 615f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 616f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbarvoid CXXNameMangler::mangleFloat(const llvm::APFloat &f) { 617f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // ABI: 618f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // Floating-point literals are encoded using a fixed-length 619f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // lowercase hexadecimal string corresponding to the internal 620f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // representation (IEEE on Itanium), high-order bytes first, 621f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // without leading zeroes. For example: "Lf bf800000 E" is -1.0f 622f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // on Itanium. 623f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // APInt::toString uses uppercase hexadecimal, and it's not really 62421549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar // worth embellishing that interface for this use case, so we just 62521549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar // do a second pass to lowercase things. 626f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar typedef llvm::SmallString<20> buffer_t; 627f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar buffer_t buffer; 628f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar f.bitcastToAPInt().toString(buffer, 16, false); 629f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 630f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar for (buffer_t::iterator i = buffer.begin(), e = buffer.end(); i != e; ++i) 631f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (isupper(*i)) *i = tolower(*i); 632f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 633f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Out.write(buffer.data(), buffer.size()); 634f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 63521549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 63621549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbarvoid CXXNameMangler::mangleNumber(const llvm::APSInt &Value) { 637f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (Value.isSigned() && Value.isNegative()) { 638f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Out << 'n'; 639f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Value.abs().print(Out, true); 640f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } else 641f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Value.print(Out, Value.isSigned()); 642f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 643f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 644f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbarvoid CXXNameMangler::mangleNumber(int64_t Number) { 645f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <number> ::= [n] <non-negative decimal integer> 646f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (Number < 0) { 647f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Out << 'n'; 648f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Number = -Number; 649f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } 650f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 651f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Out << Number; 652f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 653f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 654f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbarvoid CXXNameMangler::mangleCallOffset(int64_t NonVirtual, int64_t Virtual) { 65510ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar // <call-offset> ::= h <nv-offset> _ 656f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // ::= v <v-offset> _ 657f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <nv-offset> ::= <offset number> # non-virtual base override 658f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <v-offset> ::= <offset number> _ <virtual offset number> 659f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // # virtual base override, with vcall offset 660f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (!Virtual) { 661586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar Out << 'h'; 662af2e4baa2a75471e820030701225a1ca02c7308fDaniel Dunbar mangleNumber(NonVirtual); 663af2e4baa2a75471e820030701225a1ca02c7308fDaniel Dunbar Out << '_'; 664af2e4baa2a75471e820030701225a1ca02c7308fDaniel Dunbar return; 665af2e4baa2a75471e820030701225a1ca02c7308fDaniel Dunbar } 666586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar 667586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar Out << 'v'; 668586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar mangleNumber(NonVirtual); 669af2e4baa2a75471e820030701225a1ca02c7308fDaniel Dunbar Out << '_'; 670586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar mangleNumber(Virtual); 671586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar Out << '_'; 672586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar} 673586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar 674586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbarvoid CXXNameMangler::manglePrefix(QualType type) { 675586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar if (const TemplateSpecializationType *TST = 676586dc233bb88f2920c9f3638f69cef0ccd55dcedDaniel Dunbar type->getAs<TemplateSpecializationType>()) { 67757b704d8d8f49bcaf856a3e37941d5ac6456eb50Daniel Dunbar if (!mangleSubstitution(QualType(TST, 0))) { 67857b704d8d8f49bcaf856a3e37941d5ac6456eb50Daniel Dunbar mangleTemplatePrefix(TST->getTemplateName()); 679f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 680f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // FIXME: GCC does not appear to mangle the template arguments when 681f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // the template in question is a dependent template name. Should we 682f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // emulate that badness? 683f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar mangleTemplateArgs(TST->getTemplateName(), TST->getArgs(), 684f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar TST->getNumArgs()); 685f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar addSubstitution(QualType(TST, 0)); 6868f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar } 687f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } else if (const DependentTemplateSpecializationType *DTST 688d09986a6fb193d429863184bffac21340dc6eb11Daniel Dunbar = type->getAs<DependentTemplateSpecializationType>()) { 689d09986a6fb193d429863184bffac21340dc6eb11Daniel Dunbar TemplateName Template 690d09986a6fb193d429863184bffac21340dc6eb11Daniel Dunbar = getASTContext().getDependentTemplateName(DTST->getQualifier(), 6915ab483b2c88ba61c97e0e3cab3b1aaad77b26d26Daniel Dunbar DTST->getIdentifier()); 692f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar mangleTemplatePrefix(Template); 693f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 694f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // FIXME: GCC does not appear to mangle the template arguments when 695f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // the template in question is a dependent template name. Should we 696f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // emulate that badness? 697f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar mangleTemplateArgs(Template, DTST->getArgs(), DTST->getNumArgs()); 698f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } else { 69910ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar // We use the QualType mangle type variant here because it handles 70010ffa9a4887d9376e3eb3598e40523d1b58773c9Daniel Dunbar // substitutions. 701f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar mangleType(type); 702f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } 703f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 704f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 705f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// Returns true if the given type, appearing within an 706f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// unresolved-name, should be mangled as an unresolved-type. 707f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbarbool CXXNameMangler::isUnresolvedType(const Type *type) { 708f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <unresolved-type> ::= <template-param> 709f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // ::= <decltype> 710f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // ::= <template-template-param> <template-args> 711f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // (this last is not official yet) 712f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 713f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (isa<TemplateTypeParmType>(type)) return true; 714f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (isa<DecltypeType>(type)) return true; 715f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // typeof? 716f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (const TemplateSpecializationType *tst = 717f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar dyn_cast<TemplateSpecializationType>(type)) { 718f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar TemplateDecl *temp = tst->getTemplateName().getAsTemplateDecl(); 719f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (temp && isa<TemplateTemplateParmDecl>(temp)) 720f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar return true; 721f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar } 722f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar return false; 723f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 724f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 725f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbarvoid CXXNameMangler::mangleUnresolvedType(const Type *type) { 726f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // This seems to be do everything we want. 727f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar mangleType(QualType(type, 0)); 728f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar} 729f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 730f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// Mangle everything prior to the base-unresolved-name in an unresolved-name. 73147ac7d27c44bd64a7d0fc03d4babc196cf2b8230Daniel Dunbar/// 732f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// \param firstQualifierLookup - the entity found by unqualified lookup 733f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// for the first name in the qualifier, if this is for a member expression 734f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// \param recursive - true if this is being called recursively, 735f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar/// i.e. if there is more prefix "to the right". 736f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbarvoid CXXNameMangler::mangleUnresolvedPrefix(NestedNameSpecifier *qualifier, 737f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar NamedDecl *firstQualifierLookup, 738f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar bool recursive) { 739f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 740f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // x, ::x 741f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <unresolved-name> ::= [gs] <base-unresolved-name> 742f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 743f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // T::x / decltype(p)::x 744f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <unresolved-name> ::= sr <unresolved-type> <base-unresolved-name> 745f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 746f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // T::N::x /decltype(p)::N::x 747f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <unresolved-name> ::= srN <unresolved-type> <unresolved-qualifier-level>+ E 748f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <base-unresolved-name> 749f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 750f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // A::x, N::y, A<T>::z; "gs" means leading "::" 751f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <unresolved-name> ::= [gs] sr <unresolved-qualifier-level>+ E 752f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // <base-unresolved-name> 753f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 754f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar switch (qualifier->getKind()) { 755f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar case NestedNameSpecifier::Global: 756f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Out << "gs"; 757f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 758f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // We want an 'sr' unless this is the entire NNS. 759441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar if (recursive) 760f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar Out << "sr"; 761f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 762f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar // We never want an 'E' here. 763f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar return; 764f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 765f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar case NestedNameSpecifier::Namespace: 766441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar if (qualifier->getPrefix()) 767441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleUnresolvedPrefix(qualifier->getPrefix(), firstQualifierLookup, 768441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar /*recursive*/ true); 769441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar else 7705c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar Out << "sr"; 771441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(qualifier->getAsNamespace()->getIdentifier()); 772441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar break; 7735c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar case NestedNameSpecifier::NamespaceAlias: 7745c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar if (qualifier->getPrefix()) 7755c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar mangleUnresolvedPrefix(qualifier->getPrefix(), firstQualifierLookup, 7765c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar /*recursive*/ true); 777871adcf4e41285e3f4c3b62eaa1b2e05b60b92daDaniel Dunbar else 778441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar Out << "sr"; 7795c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar mangleSourceName(qualifier->getAsNamespaceAlias()->getIdentifier()); 780441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar break; 7815c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar 7825c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar case NestedNameSpecifier::TypeSpec: 783441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar case NestedNameSpecifier::TypeSpecWithTemplate: { 784441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar const Type *type = qualifier->getAsType(); 7855c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar 7865c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar // We only want to use an unresolved-type encoding if this is one of: 7875c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar // - a decltype 7885c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar // - a template type parameter 7895c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar // - a template template parameter with arguments 7905c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar // In all of these cases, we should have no prefix. 7915c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar if (qualifier->getPrefix()) { 7925c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar mangleUnresolvedPrefix(qualifier->getPrefix(), firstQualifierLookup, 7935c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar /*recursive*/ true); 79447ac7d27c44bd64a7d0fc03d4babc196cf2b8230Daniel Dunbar } else { 795871adcf4e41285e3f4c3b62eaa1b2e05b60b92daDaniel Dunbar // Otherwise, all the cases want this. 7965c3c1d7b494660ba5e8983ee4584622750725ac2Daniel Dunbar Out << "sr"; 797f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar 798f353c8cc2ee1cc16ff194b399a8d951f707fb129Daniel Dunbar if (isUnresolvedType(type)) { 799441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar // We only get here recursively if we're followed by identifiers. 800441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar if (recursive) Out << 'N'; 801441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleUnresolvedType(type); 802441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar 8038f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar // We never want to print 'E' directly after an unresolved-type, 804441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar // so we return directly. 805441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar return; 806441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } 807441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } 808441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar 809441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar assert(!isUnresolvedType(type)); 810441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar 811441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar // Only certain other types are valid as prefixes; enumerate them. 812214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar // FIXME: can we get ElaboratedTypes here? 813214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar // FIXME: SubstTemplateTypeParmType? 814214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar if (const TagType *t = dyn_cast<TagType>(type)) { 815441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(t->getDecl()->getIdentifier()); 816441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } else if (const TypedefType *t = dyn_cast<TypedefType>(type)) { 817441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(t->getDecl()->getIdentifier()); 8185796bf4913832bd1165c3ff5e04838d150de1c4cDaniel Dunbar } else if (const UnresolvedUsingType *t 819441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar = dyn_cast<UnresolvedUsingType>(type)) { 820441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(t->getDecl()->getIdentifier()); 821441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } else if (const DependentNameType *t 822441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar = dyn_cast<DependentNameType>(type)) { 823441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(t->getIdentifier()); 824441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } else if (const TemplateSpecializationType *tst 825441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar = dyn_cast<TemplateSpecializationType>(type)) { 826441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar TemplateDecl *temp = tst->getTemplateName().getAsTemplateDecl(); 827441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar assert(temp && "no template for template specialization type"); 828441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(temp->getIdentifier()); 829441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleUnresolvedTemplateArgs(tst->getArgs(), tst->getNumArgs()); 830441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } else if (const DependentTemplateSpecializationType *tst 831441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar = dyn_cast<DependentTemplateSpecializationType>(type)) { 832441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleSourceName(tst->getIdentifier()); 833441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar mangleUnresolvedTemplateArgs(tst->getArgs(), tst->getNumArgs()); 834441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } else { 835441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar llvm_unreachable("unexpected type in nested name specifier!"); 836441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } 837441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar break; 838441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } 839441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar 840441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar case NestedNameSpecifier::Identifier: 84156c5594515571eab0e02368ed05416b9dac20837Daniel Dunbar // Member expressions can have these without prefixes. 84256c5594515571eab0e02368ed05416b9dac20837Daniel Dunbar if (qualifier->getPrefix()) { 84356c5594515571eab0e02368ed05416b9dac20837Daniel Dunbar mangleUnresolvedPrefix(qualifier->getPrefix(), firstQualifierLookup, 84456c5594515571eab0e02368ed05416b9dac20837Daniel Dunbar /*recursive*/ true); 845441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar } else if (firstQualifierLookup) { 846441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar 847441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar // Try to make a proper qualifier out of the lookup result, and 848441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar // then just recurse on that. 849441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar NestedNameSpecifier *newQualifier; 850441d060838a5797691777dfcc992ff836b73dcd1Daniel Dunbar if (TypeDecl *typeDecl = dyn_cast<TypeDecl>(firstQualifierLookup)) { 8512ba38ba9a18b8ec88e2509fad622eeec01562769Daniel Dunbar QualType type = getASTContext().getTypeDeclType(typeDecl); 85221549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar 8530edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar // Pretend we had a different nested name specifier. 8540edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar newQualifier = NestedNameSpecifier::Create(getASTContext(), 8550edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar /*prefix*/ 0, 8560edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar /*template*/ false, 8570edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar type.getTypePtr()); 8580edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar } else if (NamespaceDecl *nspace = 8590edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar dyn_cast<NamespaceDecl>(firstQualifierLookup)) { 8600edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar newQualifier = NestedNameSpecifier::Create(getASTContext(), 8610edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar /*prefix*/ 0, 862cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar nspace); 863cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar } else if (NamespaceAliasDecl *alias = 864cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar dyn_cast<NamespaceAliasDecl>(firstQualifierLookup)) { 8652ba38ba9a18b8ec88e2509fad622eeec01562769Daniel Dunbar newQualifier = NestedNameSpecifier::Create(getASTContext(), 86621549237f14505cfc2a18a06416372a36229d0ceDaniel Dunbar /*prefix*/ 0, 8670edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar alias); 8680edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar } else { 8690edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar // No sensible mangling to do here. 8700edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar newQualifier = 0; 8710edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar } 8720edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar 8730edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar if (newQualifier) 8740edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar return mangleUnresolvedPrefix(newQualifier, /*lookup*/ 0, recursive); 8750edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar 8760edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar } else { 8770edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar Out << "sr"; 8780edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar } 8790edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar 8800edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar mangleSourceName(qualifier->getAsIdentifier()); 8810edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar break; 8820edefebc10fbc627d55d53936fc66178d1c08da1Daniel Dunbar } 883632f50edc08c76ebc643a0d4871bae33a55d7b4eDaniel Dunbar 884632f50edc08c76ebc643a0d4871bae33a55d7b4eDaniel Dunbar // If this was the innermost part of the NNS, and we fell out to 885632f50edc08c76ebc643a0d4871bae33a55d7b4eDaniel Dunbar // here, append an 'E'. 886632f50edc08c76ebc643a0d4871bae33a55d7b4eDaniel Dunbar if (!recursive) 887632f50edc08c76ebc643a0d4871bae33a55d7b4eDaniel Dunbar Out << 'E'; 888cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar} 889cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar 890cb881672c2c46142ec1bdfa401c9818ae805db0fDaniel Dunbar/// Mangle an unresolved-name, which is generally used for names which 891214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar/// weren't resolved to specific entities. 892214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbarvoid CXXNameMangler::mangleUnresolvedName(NestedNameSpecifier *qualifier, 893214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar NamedDecl *firstQualifierLookup, 894214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar DeclarationName name, 895214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar unsigned knownArity) { 896214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar if (qualifier) mangleUnresolvedPrefix(qualifier, firstQualifierLookup); 897214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar mangleUnqualifiedName(0, name, knownArity); 898214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar} 899214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar 900214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbarstatic const FieldDecl *FindFirstNamedDataMember(const RecordDecl *RD) { 901214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar assert(RD->isAnonymousStructOrUnion() && 902214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar "Expected anonymous struct or union!"); 903214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar 904214399ebd73545dde02b4a45872e7ca9e1d9e742Daniel Dunbar for (RecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end(); 905e504952bc89f79fc9ff54d5641ab30bb07ec435eDaniel Dunbar I != E; ++I) { 9068f25c79e59d88df41c5a3cabba1c58035d384a6eDaniel Dunbar const FieldDecl *FD = *I; 907dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar 908dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar if (FD->getIdentifier()) 909dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar return FD; 910dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar 911dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar if (const RecordType *RT = FD->getType()->getAs<RecordType>()) { 912dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar if (const FieldDecl *NamedDataMember = 913dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar FindFirstNamedDataMember(RT->getDecl())) 914dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar return NamedDataMember; 915dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar } 916dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar } 917dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar 918dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar // We didn't find a named data member. 919dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar return 0; 920dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar} 921dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar 922dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbarvoid CXXNameMangler::mangleUnqualifiedName(const NamedDecl *ND, 9231fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar DeclarationName Name, 9241fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar unsigned KnownArity) { 9251fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar // <unqualified-name> ::= <operator-name> 9261fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar // ::= <ctor-dtor-name> 9271fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar // ::= <source-name> 9281fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar switch (Name.getNameKind()) { 9291fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar case DeclarationName::Identifier: { 930c811b6c5e3ad403c535fba25a03c956599ff27a5Daniel Dunbar if (const IdentifierInfo *II = Name.getAsIdentifierInfo()) { 931c811b6c5e3ad403c535fba25a03c956599ff27a5Daniel Dunbar // We must avoid conflicts between internally- and externally- 9321fd6c4b8abbbdcbae0e221f35100102112dabff2Daniel Dunbar // linked variable and function declaration names in the same TU: 933a88162c1b3922f64914c55ebe2c558881e960426Daniel Dunbar // void test() { extern void foo(); } 934e504952bc89f79fc9ff54d5641ab30bb07ec435eDaniel Dunbar // static void foo(); 935e504952bc89f79fc9ff54d5641ab30bb07ec435eDaniel Dunbar // This naming convention is the same as that followed by GCC, 936dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar // though it shouldn't actually matter. 937e504952bc89f79fc9ff54d5641ab30bb07ec435eDaniel Dunbar if (ND && ND->getLinkage() == InternalLinkage && 938e504952bc89f79fc9ff54d5641ab30bb07ec435eDaniel Dunbar ND->getDeclContext()->isFileContext()) 939dd98e2cad165ca73c769e4f105a4e47c2216387aDaniel Dunbar Out << 'L'; 940 941 mangleSourceName(II); 942 break; 943 } 944 945 // Otherwise, an anonymous entity. We must have a declaration. 946 assert(ND && "mangling empty name without declaration"); 947 948 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) { 949 if (NS->isAnonymousNamespace()) { 950 // This is how gcc mangles these names. 951 Out << "12_GLOBAL__N_1"; 952 break; 953 } 954 } 955 956 if (const VarDecl *VD = dyn_cast<VarDecl>(ND)) { 957 // We must have an anonymous union or struct declaration. 958 const RecordDecl *RD = 959 cast<RecordDecl>(VD->getType()->getAs<RecordType>()->getDecl()); 960 961 // Itanium C++ ABI 5.1.2: 962 // 963 // For the purposes of mangling, the name of an anonymous union is 964 // considered to be the name of the first named data member found by a 965 // pre-order, depth-first, declaration-order walk of the data members of 966 // the anonymous union. If there is no such data member (i.e., if all of 967 // the data members in the union are unnamed), then there is no way for 968 // a program to refer to the anonymous union, and there is therefore no 969 // need to mangle its name. 970 const FieldDecl *FD = FindFirstNamedDataMember(RD); 971 972 // It's actually possible for various reasons for us to get here 973 // with an empty anonymous struct / union. Fortunately, it 974 // doesn't really matter what name we generate. 975 if (!FD) break; 976 assert(FD->getIdentifier() && "Data member name isn't an identifier!"); 977 978 mangleSourceName(FD->getIdentifier()); 979 break; 980 } 981 982 // We must have an anonymous struct. 983 const TagDecl *TD = cast<TagDecl>(ND); 984 if (const TypedefNameDecl *D = TD->getTypedefNameForAnonDecl()) { 985 assert(TD->getDeclContext() == D->getDeclContext() && 986 "Typedef should not be in another decl context!"); 987 assert(D->getDeclName().getAsIdentifierInfo() && 988 "Typedef was not named!"); 989 mangleSourceName(D->getDeclName().getAsIdentifierInfo()); 990 break; 991 } 992 993 // Get a unique id for the anonymous struct. 994 uint64_t AnonStructId = Context.getAnonymousStructId(TD); 995 996 // Mangle it as a source name in the form 997 // [n] $_<id> 998 // where n is the length of the string. 999 llvm::SmallString<8> Str; 1000 Str += "$_"; 1001 Str += llvm::utostr(AnonStructId); 1002 1003 Out << Str.size(); 1004 Out << Str.str(); 1005 break; 1006 } 1007 1008 case DeclarationName::ObjCZeroArgSelector: 1009 case DeclarationName::ObjCOneArgSelector: 1010 case DeclarationName::ObjCMultiArgSelector: 1011 assert(false && "Can't mangle Objective-C selector names here!"); 1012 break; 1013 1014 case DeclarationName::CXXConstructorName: 1015 if (ND == Structor) 1016 // If the named decl is the C++ constructor we're mangling, use the type 1017 // we were given. 1018 mangleCXXCtorType(static_cast<CXXCtorType>(StructorType)); 1019 else 1020 // Otherwise, use the complete constructor name. This is relevant if a 1021 // class with a constructor is declared within a constructor. 1022 mangleCXXCtorType(Ctor_Complete); 1023 break; 1024 1025 case DeclarationName::CXXDestructorName: 1026 if (ND == Structor) 1027 // If the named decl is the C++ destructor we're mangling, use the type we 1028 // were given. 1029 mangleCXXDtorType(static_cast<CXXDtorType>(StructorType)); 1030 else 1031 // Otherwise, use the complete destructor name. This is relevant if a 1032 // class with a destructor is declared within a destructor. 1033 mangleCXXDtorType(Dtor_Complete); 1034 break; 1035 1036 case DeclarationName::CXXConversionFunctionName: 1037 // <operator-name> ::= cv <type> # (cast) 1038 Out << "cv"; 1039 mangleType(Context.getASTContext().getCanonicalType(Name.getCXXNameType())); 1040 break; 1041 1042 case DeclarationName::CXXOperatorName: { 1043 unsigned Arity; 1044 if (ND) { 1045 Arity = cast<FunctionDecl>(ND)->getNumParams(); 1046 1047 // If we have a C++ member function, we need to include the 'this' pointer. 1048 // FIXME: This does not make sense for operators that are static, but their 1049 // names stay the same regardless of the arity (operator new for instance). 1050 if (isa<CXXMethodDecl>(ND)) 1051 Arity++; 1052 } else 1053 Arity = KnownArity; 1054 1055 mangleOperatorName(Name.getCXXOverloadedOperator(), Arity); 1056 break; 1057 } 1058 1059 case DeclarationName::CXXLiteralOperatorName: 1060 // FIXME: This mangling is not yet official. 1061 Out << "li"; 1062 mangleSourceName(Name.getCXXLiteralIdentifier()); 1063 break; 1064 1065 case DeclarationName::CXXUsingDirective: 1066 assert(false && "Can't mangle a using directive name!"); 1067 break; 1068 } 1069} 1070 1071void CXXNameMangler::mangleSourceName(const IdentifierInfo *II) { 1072 // <source-name> ::= <positive length number> <identifier> 1073 // <number> ::= [n] <non-negative decimal integer> 1074 // <identifier> ::= <unqualified source code identifier> 1075 Out << II->getLength() << II->getName(); 1076} 1077 1078void CXXNameMangler::mangleNestedName(const NamedDecl *ND, 1079 const DeclContext *DC, 1080 bool NoFunction) { 1081 // <nested-name> 1082 // ::= N [<CV-qualifiers>] [<ref-qualifier>] <prefix> <unqualified-name> E 1083 // ::= N [<CV-qualifiers>] [<ref-qualifier>] <template-prefix> 1084 // <template-args> E 1085 1086 Out << 'N'; 1087 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(ND)) { 1088 mangleQualifiers(Qualifiers::fromCVRMask(Method->getTypeQualifiers())); 1089 mangleRefQualifier(Method->getRefQualifier()); 1090 } 1091 1092 // Check if we have a template. 1093 const TemplateArgumentList *TemplateArgs = 0; 1094 if (const TemplateDecl *TD = isTemplate(ND, TemplateArgs)) { 1095 mangleTemplatePrefix(TD); 1096 TemplateParameterList *TemplateParameters = TD->getTemplateParameters(); 1097 mangleTemplateArgs(*TemplateParameters, *TemplateArgs); 1098 } 1099 else { 1100 manglePrefix(DC, NoFunction); 1101 mangleUnqualifiedName(ND); 1102 } 1103 1104 Out << 'E'; 1105} 1106void CXXNameMangler::mangleNestedName(const TemplateDecl *TD, 1107 const TemplateArgument *TemplateArgs, 1108 unsigned NumTemplateArgs) { 1109 // <nested-name> ::= N [<CV-qualifiers>] <template-prefix> <template-args> E 1110 1111 Out << 'N'; 1112 1113 mangleTemplatePrefix(TD); 1114 TemplateParameterList *TemplateParameters = TD->getTemplateParameters(); 1115 mangleTemplateArgs(*TemplateParameters, TemplateArgs, NumTemplateArgs); 1116 1117 Out << 'E'; 1118} 1119 1120void CXXNameMangler::mangleLocalName(const NamedDecl *ND) { 1121 // <local-name> := Z <function encoding> E <entity name> [<discriminator>] 1122 // := Z <function encoding> E s [<discriminator>] 1123 // <discriminator> := _ <non-negative number> 1124 const DeclContext *DC = ND->getDeclContext(); 1125 Out << 'Z'; 1126 1127 if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(DC)) { 1128 mangleObjCMethodName(MD); 1129 } else if (const CXXRecordDecl *RD = GetLocalClassDecl(ND)) { 1130 mangleFunctionEncoding(cast<FunctionDecl>(RD->getDeclContext())); 1131 Out << 'E'; 1132 1133 // Mangle the name relative to the closest enclosing function. 1134 if (ND == RD) // equality ok because RD derived from ND above 1135 mangleUnqualifiedName(ND); 1136 else 1137 mangleNestedName(ND, DC, true /*NoFunction*/); 1138 1139 unsigned disc; 1140 if (Context.getNextDiscriminator(RD, disc)) { 1141 if (disc < 10) 1142 Out << '_' << disc; 1143 else 1144 Out << "__" << disc << '_'; 1145 } 1146 1147 return; 1148 } 1149 else 1150 mangleFunctionEncoding(cast<FunctionDecl>(DC)); 1151 1152 Out << 'E'; 1153 mangleUnqualifiedName(ND); 1154} 1155 1156void CXXNameMangler::manglePrefix(NestedNameSpecifier *qualifier) { 1157 switch (qualifier->getKind()) { 1158 case NestedNameSpecifier::Global: 1159 // nothing 1160 return; 1161 1162 case NestedNameSpecifier::Namespace: 1163 mangleName(qualifier->getAsNamespace()); 1164 return; 1165 1166 case NestedNameSpecifier::NamespaceAlias: 1167 mangleName(qualifier->getAsNamespaceAlias()->getNamespace()); 1168 return; 1169 1170 case NestedNameSpecifier::TypeSpec: 1171 case NestedNameSpecifier::TypeSpecWithTemplate: 1172 manglePrefix(QualType(qualifier->getAsType(), 0)); 1173 return; 1174 1175 case NestedNameSpecifier::Identifier: 1176 // Member expressions can have these without prefixes, but that 1177 // should end up in mangleUnresolvedPrefix instead. 1178 assert(qualifier->getPrefix()); 1179 manglePrefix(qualifier->getPrefix()); 1180 1181 mangleSourceName(qualifier->getAsIdentifier()); 1182 return; 1183 } 1184 1185 llvm_unreachable("unexpected nested name specifier"); 1186} 1187 1188void CXXNameMangler::manglePrefix(const DeclContext *DC, bool NoFunction) { 1189 // <prefix> ::= <prefix> <unqualified-name> 1190 // ::= <template-prefix> <template-args> 1191 // ::= <template-param> 1192 // ::= # empty 1193 // ::= <substitution> 1194 1195 while (isa<LinkageSpecDecl>(DC)) 1196 DC = DC->getParent(); 1197 1198 if (DC->isTranslationUnit()) 1199 return; 1200 1201 if (const BlockDecl *Block = dyn_cast<BlockDecl>(DC)) { 1202 manglePrefix(DC->getParent(), NoFunction); 1203 llvm::SmallString<64> Name; 1204 llvm::raw_svector_ostream NameStream(Name); 1205 Context.mangleBlock(Block, NameStream); 1206 NameStream.flush(); 1207 Out << Name.size() << Name; 1208 return; 1209 } 1210 1211 if (mangleSubstitution(cast<NamedDecl>(DC))) 1212 return; 1213 1214 // Check if we have a template. 1215 const TemplateArgumentList *TemplateArgs = 0; 1216 if (const TemplateDecl *TD = isTemplate(cast<NamedDecl>(DC), TemplateArgs)) { 1217 mangleTemplatePrefix(TD); 1218 TemplateParameterList *TemplateParameters = TD->getTemplateParameters(); 1219 mangleTemplateArgs(*TemplateParameters, *TemplateArgs); 1220 } 1221 else if(NoFunction && (isa<FunctionDecl>(DC) || isa<ObjCMethodDecl>(DC))) 1222 return; 1223 else if (const ObjCMethodDecl *Method = dyn_cast<ObjCMethodDecl>(DC)) 1224 mangleObjCMethodName(Method); 1225 else { 1226 manglePrefix(DC->getParent(), NoFunction); 1227 mangleUnqualifiedName(cast<NamedDecl>(DC)); 1228 } 1229 1230 addSubstitution(cast<NamedDecl>(DC)); 1231} 1232 1233void CXXNameMangler::mangleTemplatePrefix(TemplateName Template) { 1234 // <template-prefix> ::= <prefix> <template unqualified-name> 1235 // ::= <template-param> 1236 // ::= <substitution> 1237 if (TemplateDecl *TD = Template.getAsTemplateDecl()) 1238 return mangleTemplatePrefix(TD); 1239 1240 if (QualifiedTemplateName *Qualified = Template.getAsQualifiedTemplateName()) 1241 manglePrefix(Qualified->getQualifier()); 1242 1243 if (OverloadedTemplateStorage *Overloaded 1244 = Template.getAsOverloadedTemplate()) { 1245 mangleUnqualifiedName(0, (*Overloaded->begin())->getDeclName(), 1246 UnknownArity); 1247 return; 1248 } 1249 1250 DependentTemplateName *Dependent = Template.getAsDependentTemplateName(); 1251 assert(Dependent && "Unknown template name kind?"); 1252 manglePrefix(Dependent->getQualifier()); 1253 mangleUnscopedTemplateName(Template); 1254} 1255 1256void CXXNameMangler::mangleTemplatePrefix(const TemplateDecl *ND) { 1257 // <template-prefix> ::= <prefix> <template unqualified-name> 1258 // ::= <template-param> 1259 // ::= <substitution> 1260 // <template-template-param> ::= <template-param> 1261 // <substitution> 1262 1263 if (mangleSubstitution(ND)) 1264 return; 1265 1266 // <template-template-param> ::= <template-param> 1267 if (const TemplateTemplateParmDecl *TTP 1268 = dyn_cast<TemplateTemplateParmDecl>(ND)) { 1269 mangleTemplateParameter(TTP->getIndex()); 1270 return; 1271 } 1272 1273 manglePrefix(ND->getDeclContext()); 1274 mangleUnqualifiedName(ND->getTemplatedDecl()); 1275 addSubstitution(ND); 1276} 1277 1278/// Mangles a template name under the production <type>. Required for 1279/// template template arguments. 1280/// <type> ::= <class-enum-type> 1281/// ::= <template-param> 1282/// ::= <substitution> 1283void CXXNameMangler::mangleType(TemplateName TN) { 1284 if (mangleSubstitution(TN)) 1285 return; 1286 1287 TemplateDecl *TD = 0; 1288 1289 switch (TN.getKind()) { 1290 case TemplateName::QualifiedTemplate: 1291 TD = TN.getAsQualifiedTemplateName()->getTemplateDecl(); 1292 goto HaveDecl; 1293 1294 case TemplateName::Template: 1295 TD = TN.getAsTemplateDecl(); 1296 goto HaveDecl; 1297 1298 HaveDecl: 1299 if (isa<TemplateTemplateParmDecl>(TD)) 1300 mangleTemplateParameter(cast<TemplateTemplateParmDecl>(TD)->getIndex()); 1301 else 1302 mangleName(TD); 1303 break; 1304 1305 case TemplateName::OverloadedTemplate: 1306 llvm_unreachable("can't mangle an overloaded template name as a <type>"); 1307 break; 1308 1309 case TemplateName::DependentTemplate: { 1310 const DependentTemplateName *Dependent = TN.getAsDependentTemplateName(); 1311 assert(Dependent->isIdentifier()); 1312 1313 // <class-enum-type> ::= <name> 1314 // <name> ::= <nested-name> 1315 mangleUnresolvedPrefix(Dependent->getQualifier(), 0); 1316 mangleSourceName(Dependent->getIdentifier()); 1317 break; 1318 } 1319 1320 case TemplateName::SubstTemplateTemplateParmPack: { 1321 SubstTemplateTemplateParmPackStorage *SubstPack 1322 = TN.getAsSubstTemplateTemplateParmPack(); 1323 mangleTemplateParameter(SubstPack->getParameterPack()->getIndex()); 1324 break; 1325 } 1326 } 1327 1328 addSubstitution(TN); 1329} 1330 1331void 1332CXXNameMangler::mangleOperatorName(OverloadedOperatorKind OO, unsigned Arity) { 1333 switch (OO) { 1334 // <operator-name> ::= nw # new 1335 case OO_New: Out << "nw"; break; 1336 // ::= na # new[] 1337 case OO_Array_New: Out << "na"; break; 1338 // ::= dl # delete 1339 case OO_Delete: Out << "dl"; break; 1340 // ::= da # delete[] 1341 case OO_Array_Delete: Out << "da"; break; 1342 // ::= ps # + (unary) 1343 // ::= pl # + (binary or unknown) 1344 case OO_Plus: 1345 Out << (Arity == 1? "ps" : "pl"); break; 1346 // ::= ng # - (unary) 1347 // ::= mi # - (binary or unknown) 1348 case OO_Minus: 1349 Out << (Arity == 1? "ng" : "mi"); break; 1350 // ::= ad # & (unary) 1351 // ::= an # & (binary or unknown) 1352 case OO_Amp: 1353 Out << (Arity == 1? "ad" : "an"); break; 1354 // ::= de # * (unary) 1355 // ::= ml # * (binary or unknown) 1356 case OO_Star: 1357 // Use binary when unknown. 1358 Out << (Arity == 1? "de" : "ml"); break; 1359 // ::= co # ~ 1360 case OO_Tilde: Out << "co"; break; 1361 // ::= dv # / 1362 case OO_Slash: Out << "dv"; break; 1363 // ::= rm # % 1364 case OO_Percent: Out << "rm"; break; 1365 // ::= or # | 1366 case OO_Pipe: Out << "or"; break; 1367 // ::= eo # ^ 1368 case OO_Caret: Out << "eo"; break; 1369 // ::= aS # = 1370 case OO_Equal: Out << "aS"; break; 1371 // ::= pL # += 1372 case OO_PlusEqual: Out << "pL"; break; 1373 // ::= mI # -= 1374 case OO_MinusEqual: Out << "mI"; break; 1375 // ::= mL # *= 1376 case OO_StarEqual: Out << "mL"; break; 1377 // ::= dV # /= 1378 case OO_SlashEqual: Out << "dV"; break; 1379 // ::= rM # %= 1380 case OO_PercentEqual: Out << "rM"; break; 1381 // ::= aN # &= 1382 case OO_AmpEqual: Out << "aN"; break; 1383 // ::= oR # |= 1384 case OO_PipeEqual: Out << "oR"; break; 1385 // ::= eO # ^= 1386 case OO_CaretEqual: Out << "eO"; break; 1387 // ::= ls # << 1388 case OO_LessLess: Out << "ls"; break; 1389 // ::= rs # >> 1390 case OO_GreaterGreater: Out << "rs"; break; 1391 // ::= lS # <<= 1392 case OO_LessLessEqual: Out << "lS"; break; 1393 // ::= rS # >>= 1394 case OO_GreaterGreaterEqual: Out << "rS"; break; 1395 // ::= eq # == 1396 case OO_EqualEqual: Out << "eq"; break; 1397 // ::= ne # != 1398 case OO_ExclaimEqual: Out << "ne"; break; 1399 // ::= lt # < 1400 case OO_Less: Out << "lt"; break; 1401 // ::= gt # > 1402 case OO_Greater: Out << "gt"; break; 1403 // ::= le # <= 1404 case OO_LessEqual: Out << "le"; break; 1405 // ::= ge # >= 1406 case OO_GreaterEqual: Out << "ge"; break; 1407 // ::= nt # ! 1408 case OO_Exclaim: Out << "nt"; break; 1409 // ::= aa # && 1410 case OO_AmpAmp: Out << "aa"; break; 1411 // ::= oo # || 1412 case OO_PipePipe: Out << "oo"; break; 1413 // ::= pp # ++ 1414 case OO_PlusPlus: Out << "pp"; break; 1415 // ::= mm # -- 1416 case OO_MinusMinus: Out << "mm"; break; 1417 // ::= cm # , 1418 case OO_Comma: Out << "cm"; break; 1419 // ::= pm # ->* 1420 case OO_ArrowStar: Out << "pm"; break; 1421 // ::= pt # -> 1422 case OO_Arrow: Out << "pt"; break; 1423 // ::= cl # () 1424 case OO_Call: Out << "cl"; break; 1425 // ::= ix # [] 1426 case OO_Subscript: Out << "ix"; break; 1427 1428 // ::= qu # ? 1429 // The conditional operator can't be overloaded, but we still handle it when 1430 // mangling expressions. 1431 case OO_Conditional: Out << "qu"; break; 1432 1433 case OO_None: 1434 case NUM_OVERLOADED_OPERATORS: 1435 assert(false && "Not an overloaded operator"); 1436 break; 1437 } 1438} 1439 1440void CXXNameMangler::mangleQualifiers(Qualifiers Quals) { 1441 // <CV-qualifiers> ::= [r] [V] [K] # restrict (C99), volatile, const 1442 if (Quals.hasRestrict()) 1443 Out << 'r'; 1444 if (Quals.hasVolatile()) 1445 Out << 'V'; 1446 if (Quals.hasConst()) 1447 Out << 'K'; 1448 1449 if (Quals.hasAddressSpace()) { 1450 // Extension: 1451 // 1452 // <type> ::= U <address-space-number> 1453 // 1454 // where <address-space-number> is a source name consisting of 'AS' 1455 // followed by the address space <number>. 1456 llvm::SmallString<64> ASString; 1457 ASString = "AS" + llvm::utostr_32(Quals.getAddressSpace()); 1458 Out << 'U' << ASString.size() << ASString; 1459 } 1460 1461 // FIXME: For now, just drop all extension qualifiers on the floor. 1462} 1463 1464void CXXNameMangler::mangleRefQualifier(RefQualifierKind RefQualifier) { 1465 // <ref-qualifier> ::= R # lvalue reference 1466 // ::= O # rvalue-reference 1467 // Proposal to Itanium C++ ABI list on 1/26/11 1468 switch (RefQualifier) { 1469 case RQ_None: 1470 break; 1471 1472 case RQ_LValue: 1473 Out << 'R'; 1474 break; 1475 1476 case RQ_RValue: 1477 Out << 'O'; 1478 break; 1479 } 1480} 1481 1482void CXXNameMangler::mangleObjCMethodName(const ObjCMethodDecl *MD) { 1483 Context.mangleObjCMethodName(MD, Out); 1484} 1485 1486void CXXNameMangler::mangleType(QualType nonCanon) { 1487 // Only operate on the canonical type! 1488 QualType canon = nonCanon.getCanonicalType(); 1489 1490 SplitQualType split = canon.split(); 1491 Qualifiers quals = split.second; 1492 const Type *ty = split.first; 1493 1494 bool isSubstitutable = quals || !isa<BuiltinType>(ty); 1495 if (isSubstitutable && mangleSubstitution(canon)) 1496 return; 1497 1498 // If we're mangling a qualified array type, push the qualifiers to 1499 // the element type. 1500 if (quals && isa<ArrayType>(ty)) { 1501 ty = Context.getASTContext().getAsArrayType(canon); 1502 quals = Qualifiers(); 1503 1504 // Note that we don't update canon: we want to add the 1505 // substitution at the canonical type. 1506 } 1507 1508 if (quals) { 1509 mangleQualifiers(quals); 1510 // Recurse: even if the qualified type isn't yet substitutable, 1511 // the unqualified type might be. 1512 mangleType(QualType(ty, 0)); 1513 } else { 1514 switch (ty->getTypeClass()) { 1515#define ABSTRACT_TYPE(CLASS, PARENT) 1516#define NON_CANONICAL_TYPE(CLASS, PARENT) \ 1517 case Type::CLASS: \ 1518 llvm_unreachable("can't mangle non-canonical type " #CLASS "Type"); \ 1519 return; 1520#define TYPE(CLASS, PARENT) \ 1521 case Type::CLASS: \ 1522 mangleType(static_cast<const CLASS##Type*>(ty)); \ 1523 break; 1524#include "clang/AST/TypeNodes.def" 1525 } 1526 } 1527 1528 // Add the substitution. 1529 if (isSubstitutable) 1530 addSubstitution(canon); 1531} 1532 1533void CXXNameMangler::mangleNameOrStandardSubstitution(const NamedDecl *ND) { 1534 if (!mangleStandardSubstitution(ND)) 1535 mangleName(ND); 1536} 1537 1538void CXXNameMangler::mangleType(const BuiltinType *T) { 1539 // <type> ::= <builtin-type> 1540 // <builtin-type> ::= v # void 1541 // ::= w # wchar_t 1542 // ::= b # bool 1543 // ::= c # char 1544 // ::= a # signed char 1545 // ::= h # unsigned char 1546 // ::= s # short 1547 // ::= t # unsigned short 1548 // ::= i # int 1549 // ::= j # unsigned int 1550 // ::= l # long 1551 // ::= m # unsigned long 1552 // ::= x # long long, __int64 1553 // ::= y # unsigned long long, __int64 1554 // ::= n # __int128 1555 // UNSUPPORTED: ::= o # unsigned __int128 1556 // ::= f # float 1557 // ::= d # double 1558 // ::= e # long double, __float80 1559 // UNSUPPORTED: ::= g # __float128 1560 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits) 1561 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits) 1562 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits) 1563 // UNSUPPORTED: ::= Dh # IEEE 754r half-precision floating point (16 bits) 1564 // ::= Di # char32_t 1565 // ::= Ds # char16_t 1566 // ::= Dn # std::nullptr_t (i.e., decltype(nullptr)) 1567 // ::= u <source-name> # vendor extended type 1568 switch (T->getKind()) { 1569 case BuiltinType::Void: Out << 'v'; break; 1570 case BuiltinType::Bool: Out << 'b'; break; 1571 case BuiltinType::Char_U: case BuiltinType::Char_S: Out << 'c'; break; 1572 case BuiltinType::UChar: Out << 'h'; break; 1573 case BuiltinType::UShort: Out << 't'; break; 1574 case BuiltinType::UInt: Out << 'j'; break; 1575 case BuiltinType::ULong: Out << 'm'; break; 1576 case BuiltinType::ULongLong: Out << 'y'; break; 1577 case BuiltinType::UInt128: Out << 'o'; break; 1578 case BuiltinType::SChar: Out << 'a'; break; 1579 case BuiltinType::WChar_S: 1580 case BuiltinType::WChar_U: Out << 'w'; break; 1581 case BuiltinType::Char16: Out << "Ds"; break; 1582 case BuiltinType::Char32: Out << "Di"; break; 1583 case BuiltinType::Short: Out << 's'; break; 1584 case BuiltinType::Int: Out << 'i'; break; 1585 case BuiltinType::Long: Out << 'l'; break; 1586 case BuiltinType::LongLong: Out << 'x'; break; 1587 case BuiltinType::Int128: Out << 'n'; break; 1588 case BuiltinType::Float: Out << 'f'; break; 1589 case BuiltinType::Double: Out << 'd'; break; 1590 case BuiltinType::LongDouble: Out << 'e'; break; 1591 case BuiltinType::NullPtr: Out << "Dn"; break; 1592 1593 case BuiltinType::Overload: 1594 case BuiltinType::Dependent: 1595 case BuiltinType::BoundMember: 1596 case BuiltinType::UnknownAny: 1597 llvm_unreachable("mangling a placeholder type"); 1598 break; 1599 case BuiltinType::ObjCId: Out << "11objc_object"; break; 1600 case BuiltinType::ObjCClass: Out << "10objc_class"; break; 1601 case BuiltinType::ObjCSel: Out << "13objc_selector"; break; 1602 } 1603} 1604 1605// <type> ::= <function-type> 1606// <function-type> ::= F [Y] <bare-function-type> E 1607void CXXNameMangler::mangleType(const FunctionProtoType *T) { 1608 Out << 'F'; 1609 // FIXME: We don't have enough information in the AST to produce the 'Y' 1610 // encoding for extern "C" function types. 1611 mangleBareFunctionType(T, /*MangleReturnType=*/true); 1612 Out << 'E'; 1613} 1614void CXXNameMangler::mangleType(const FunctionNoProtoType *T) { 1615 llvm_unreachable("Can't mangle K&R function prototypes"); 1616} 1617void CXXNameMangler::mangleBareFunctionType(const FunctionType *T, 1618 bool MangleReturnType) { 1619 // We should never be mangling something without a prototype. 1620 const FunctionProtoType *Proto = cast<FunctionProtoType>(T); 1621 1622 // Record that we're in a function type. See mangleFunctionParam 1623 // for details on what we're trying to achieve here. 1624 FunctionTypeDepthState saved = FunctionTypeDepth.push(); 1625 1626 // <bare-function-type> ::= <signature type>+ 1627 if (MangleReturnType) { 1628 FunctionTypeDepth.enterResultType(); 1629 mangleType(Proto->getResultType()); 1630 FunctionTypeDepth.leaveResultType(); 1631 } 1632 1633 if (Proto->getNumArgs() == 0 && !Proto->isVariadic()) { 1634 // <builtin-type> ::= v # void 1635 Out << 'v'; 1636 1637 FunctionTypeDepth.pop(saved); 1638 return; 1639 } 1640 1641 for (FunctionProtoType::arg_type_iterator Arg = Proto->arg_type_begin(), 1642 ArgEnd = Proto->arg_type_end(); 1643 Arg != ArgEnd; ++Arg) 1644 mangleType(*Arg); 1645 1646 FunctionTypeDepth.pop(saved); 1647 1648 // <builtin-type> ::= z # ellipsis 1649 if (Proto->isVariadic()) 1650 Out << 'z'; 1651} 1652 1653// <type> ::= <class-enum-type> 1654// <class-enum-type> ::= <name> 1655void CXXNameMangler::mangleType(const UnresolvedUsingType *T) { 1656 mangleName(T->getDecl()); 1657} 1658 1659// <type> ::= <class-enum-type> 1660// <class-enum-type> ::= <name> 1661void CXXNameMangler::mangleType(const EnumType *T) { 1662 mangleType(static_cast<const TagType*>(T)); 1663} 1664void CXXNameMangler::mangleType(const RecordType *T) { 1665 mangleType(static_cast<const TagType*>(T)); 1666} 1667void CXXNameMangler::mangleType(const TagType *T) { 1668 mangleName(T->getDecl()); 1669} 1670 1671// <type> ::= <array-type> 1672// <array-type> ::= A <positive dimension number> _ <element type> 1673// ::= A [<dimension expression>] _ <element type> 1674void CXXNameMangler::mangleType(const ConstantArrayType *T) { 1675 Out << 'A' << T->getSize() << '_'; 1676 mangleType(T->getElementType()); 1677} 1678void CXXNameMangler::mangleType(const VariableArrayType *T) { 1679 Out << 'A'; 1680 // decayed vla types (size 0) will just be skipped. 1681 if (T->getSizeExpr()) 1682 mangleExpression(T->getSizeExpr()); 1683 Out << '_'; 1684 mangleType(T->getElementType()); 1685} 1686void CXXNameMangler::mangleType(const DependentSizedArrayType *T) { 1687 Out << 'A'; 1688 mangleExpression(T->getSizeExpr()); 1689 Out << '_'; 1690 mangleType(T->getElementType()); 1691} 1692void CXXNameMangler::mangleType(const IncompleteArrayType *T) { 1693 Out << "A_"; 1694 mangleType(T->getElementType()); 1695} 1696 1697// <type> ::= <pointer-to-member-type> 1698// <pointer-to-member-type> ::= M <class type> <member type> 1699void CXXNameMangler::mangleType(const MemberPointerType *T) { 1700 Out << 'M'; 1701 mangleType(QualType(T->getClass(), 0)); 1702 QualType PointeeType = T->getPointeeType(); 1703 if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(PointeeType)) { 1704 mangleQualifiers(Qualifiers::fromCVRMask(FPT->getTypeQuals())); 1705 mangleRefQualifier(FPT->getRefQualifier()); 1706 mangleType(FPT); 1707 1708 // Itanium C++ ABI 5.1.8: 1709 // 1710 // The type of a non-static member function is considered to be different, 1711 // for the purposes of substitution, from the type of a namespace-scope or 1712 // static member function whose type appears similar. The types of two 1713 // non-static member functions are considered to be different, for the 1714 // purposes of substitution, if the functions are members of different 1715 // classes. In other words, for the purposes of substitution, the class of 1716 // which the function is a member is considered part of the type of 1717 // function. 1718 1719 // We increment the SeqID here to emulate adding an entry to the 1720 // substitution table. We can't actually add it because we don't want this 1721 // particular function type to be substituted. 1722 ++SeqID; 1723 } else 1724 mangleType(PointeeType); 1725} 1726 1727// <type> ::= <template-param> 1728void CXXNameMangler::mangleType(const TemplateTypeParmType *T) { 1729 mangleTemplateParameter(T->getIndex()); 1730} 1731 1732// <type> ::= <template-param> 1733void CXXNameMangler::mangleType(const SubstTemplateTypeParmPackType *T) { 1734 mangleTemplateParameter(T->getReplacedParameter()->getIndex()); 1735} 1736 1737// <type> ::= P <type> # pointer-to 1738void CXXNameMangler::mangleType(const PointerType *T) { 1739 Out << 'P'; 1740 mangleType(T->getPointeeType()); 1741} 1742void CXXNameMangler::mangleType(const ObjCObjectPointerType *T) { 1743 Out << 'P'; 1744 mangleType(T->getPointeeType()); 1745} 1746 1747// <type> ::= R <type> # reference-to 1748void CXXNameMangler::mangleType(const LValueReferenceType *T) { 1749 Out << 'R'; 1750 mangleType(T->getPointeeType()); 1751} 1752 1753// <type> ::= O <type> # rvalue reference-to (C++0x) 1754void CXXNameMangler::mangleType(const RValueReferenceType *T) { 1755 Out << 'O'; 1756 mangleType(T->getPointeeType()); 1757} 1758 1759// <type> ::= C <type> # complex pair (C 2000) 1760void CXXNameMangler::mangleType(const ComplexType *T) { 1761 Out << 'C'; 1762 mangleType(T->getElementType()); 1763} 1764 1765// ARM's ABI for Neon vector types specifies that they should be mangled as 1766// if they are structs (to match ARM's initial implementation). The 1767// vector type must be one of the special types predefined by ARM. 1768void CXXNameMangler::mangleNeonVectorType(const VectorType *T) { 1769 QualType EltType = T->getElementType(); 1770 assert(EltType->isBuiltinType() && "Neon vector element not a BuiltinType"); 1771 const char *EltName = 0; 1772 if (T->getVectorKind() == VectorType::NeonPolyVector) { 1773 switch (cast<BuiltinType>(EltType)->getKind()) { 1774 case BuiltinType::SChar: EltName = "poly8_t"; break; 1775 case BuiltinType::Short: EltName = "poly16_t"; break; 1776 default: llvm_unreachable("unexpected Neon polynomial vector element type"); 1777 } 1778 } else { 1779 switch (cast<BuiltinType>(EltType)->getKind()) { 1780 case BuiltinType::SChar: EltName = "int8_t"; break; 1781 case BuiltinType::UChar: EltName = "uint8_t"; break; 1782 case BuiltinType::Short: EltName = "int16_t"; break; 1783 case BuiltinType::UShort: EltName = "uint16_t"; break; 1784 case BuiltinType::Int: EltName = "int32_t"; break; 1785 case BuiltinType::UInt: EltName = "uint32_t"; break; 1786 case BuiltinType::LongLong: EltName = "int64_t"; break; 1787 case BuiltinType::ULongLong: EltName = "uint64_t"; break; 1788 case BuiltinType::Float: EltName = "float32_t"; break; 1789 default: llvm_unreachable("unexpected Neon vector element type"); 1790 } 1791 } 1792 const char *BaseName = 0; 1793 unsigned BitSize = (T->getNumElements() * 1794 getASTContext().getTypeSize(EltType)); 1795 if (BitSize == 64) 1796 BaseName = "__simd64_"; 1797 else { 1798 assert(BitSize == 128 && "Neon vector type not 64 or 128 bits"); 1799 BaseName = "__simd128_"; 1800 } 1801 Out << strlen(BaseName) + strlen(EltName); 1802 Out << BaseName << EltName; 1803} 1804 1805// GNU extension: vector types 1806// <type> ::= <vector-type> 1807// <vector-type> ::= Dv <positive dimension number> _ 1808// <extended element type> 1809// ::= Dv [<dimension expression>] _ <element type> 1810// <extended element type> ::= <element type> 1811// ::= p # AltiVec vector pixel 1812void CXXNameMangler::mangleType(const VectorType *T) { 1813 if ((T->getVectorKind() == VectorType::NeonVector || 1814 T->getVectorKind() == VectorType::NeonPolyVector)) { 1815 mangleNeonVectorType(T); 1816 return; 1817 } 1818 Out << "Dv" << T->getNumElements() << '_'; 1819 if (T->getVectorKind() == VectorType::AltiVecPixel) 1820 Out << 'p'; 1821 else if (T->getVectorKind() == VectorType::AltiVecBool) 1822 Out << 'b'; 1823 else 1824 mangleType(T->getElementType()); 1825} 1826void CXXNameMangler::mangleType(const ExtVectorType *T) { 1827 mangleType(static_cast<const VectorType*>(T)); 1828} 1829void CXXNameMangler::mangleType(const DependentSizedExtVectorType *T) { 1830 Out << "Dv"; 1831 mangleExpression(T->getSizeExpr()); 1832 Out << '_'; 1833 mangleType(T->getElementType()); 1834} 1835 1836void CXXNameMangler::mangleType(const PackExpansionType *T) { 1837 // <type> ::= Dp <type> # pack expansion (C++0x) 1838 Out << "Dp"; 1839 mangleType(T->getPattern()); 1840} 1841 1842void CXXNameMangler::mangleType(const ObjCInterfaceType *T) { 1843 mangleSourceName(T->getDecl()->getIdentifier()); 1844} 1845 1846void CXXNameMangler::mangleType(const ObjCObjectType *T) { 1847 // We don't allow overloading by different protocol qualification, 1848 // so mangling them isn't necessary. 1849 mangleType(T->getBaseType()); 1850} 1851 1852void CXXNameMangler::mangleType(const BlockPointerType *T) { 1853 Out << "U13block_pointer"; 1854 mangleType(T->getPointeeType()); 1855} 1856 1857void CXXNameMangler::mangleType(const InjectedClassNameType *T) { 1858 // Mangle injected class name types as if the user had written the 1859 // specialization out fully. It may not actually be possible to see 1860 // this mangling, though. 1861 mangleType(T->getInjectedSpecializationType()); 1862} 1863 1864void CXXNameMangler::mangleType(const TemplateSpecializationType *T) { 1865 if (TemplateDecl *TD = T->getTemplateName().getAsTemplateDecl()) { 1866 mangleName(TD, T->getArgs(), T->getNumArgs()); 1867 } else { 1868 if (mangleSubstitution(QualType(T, 0))) 1869 return; 1870 1871 mangleTemplatePrefix(T->getTemplateName()); 1872 1873 // FIXME: GCC does not appear to mangle the template arguments when 1874 // the template in question is a dependent template name. Should we 1875 // emulate that badness? 1876 mangleTemplateArgs(T->getTemplateName(), T->getArgs(), T->getNumArgs()); 1877 addSubstitution(QualType(T, 0)); 1878 } 1879} 1880 1881void CXXNameMangler::mangleType(const DependentNameType *T) { 1882 // Typename types are always nested 1883 Out << 'N'; 1884 manglePrefix(T->getQualifier()); 1885 mangleSourceName(T->getIdentifier()); 1886 Out << 'E'; 1887} 1888 1889void CXXNameMangler::mangleType(const DependentTemplateSpecializationType *T) { 1890 // Dependently-scoped template types are nested if they have a prefix. 1891 Out << 'N'; 1892 1893 // TODO: avoid making this TemplateName. 1894 TemplateName Prefix = 1895 getASTContext().getDependentTemplateName(T->getQualifier(), 1896 T->getIdentifier()); 1897 mangleTemplatePrefix(Prefix); 1898 1899 // FIXME: GCC does not appear to mangle the template arguments when 1900 // the template in question is a dependent template name. Should we 1901 // emulate that badness? 1902 mangleTemplateArgs(Prefix, T->getArgs(), T->getNumArgs()); 1903 Out << 'E'; 1904} 1905 1906void CXXNameMangler::mangleType(const TypeOfType *T) { 1907 // FIXME: this is pretty unsatisfactory, but there isn't an obvious 1908 // "extension with parameters" mangling. 1909 Out << "u6typeof"; 1910} 1911 1912void CXXNameMangler::mangleType(const TypeOfExprType *T) { 1913 // FIXME: this is pretty unsatisfactory, but there isn't an obvious 1914 // "extension with parameters" mangling. 1915 Out << "u6typeof"; 1916} 1917 1918void CXXNameMangler::mangleType(const DecltypeType *T) { 1919 Expr *E = T->getUnderlyingExpr(); 1920 1921 // type ::= Dt <expression> E # decltype of an id-expression 1922 // # or class member access 1923 // ::= DT <expression> E # decltype of an expression 1924 1925 // This purports to be an exhaustive list of id-expressions and 1926 // class member accesses. Note that we do not ignore parentheses; 1927 // parentheses change the semantics of decltype for these 1928 // expressions (and cause the mangler to use the other form). 1929 if (isa<DeclRefExpr>(E) || 1930 isa<MemberExpr>(E) || 1931 isa<UnresolvedLookupExpr>(E) || 1932 isa<DependentScopeDeclRefExpr>(E) || 1933 isa<CXXDependentScopeMemberExpr>(E) || 1934 isa<UnresolvedMemberExpr>(E)) 1935 Out << "Dt"; 1936 else 1937 Out << "DT"; 1938 mangleExpression(E); 1939 Out << 'E'; 1940} 1941 1942void CXXNameMangler::mangleType(const UnaryTransformType *T) { 1943 // If this is dependent, we need to record that. If not, we simply 1944 // mangle it as the underlying type since they are equivalent. 1945 if (T->isDependentType()) { 1946 Out << 'U'; 1947 1948 switch (T->getUTTKind()) { 1949 case UnaryTransformType::EnumUnderlyingType: 1950 Out << "3eut"; 1951 break; 1952 } 1953 } 1954 1955 mangleType(T->getUnderlyingType()); 1956} 1957 1958void CXXNameMangler::mangleType(const AutoType *T) { 1959 QualType D = T->getDeducedType(); 1960 // <builtin-type> ::= Da # dependent auto 1961 if (D.isNull()) 1962 Out << "Da"; 1963 else 1964 mangleType(D); 1965} 1966 1967void CXXNameMangler::mangleIntegerLiteral(QualType T, 1968 const llvm::APSInt &Value) { 1969 // <expr-primary> ::= L <type> <value number> E # integer literal 1970 Out << 'L'; 1971 1972 mangleType(T); 1973 if (T->isBooleanType()) { 1974 // Boolean values are encoded as 0/1. 1975 Out << (Value.getBoolValue() ? '1' : '0'); 1976 } else { 1977 mangleNumber(Value); 1978 } 1979 Out << 'E'; 1980 1981} 1982 1983/// Mangles a member expression. Implicit accesses are not handled, 1984/// but that should be okay, because you shouldn't be able to 1985/// make an implicit access in a function template declaration. 1986void CXXNameMangler::mangleMemberExpr(const Expr *base, 1987 bool isArrow, 1988 NestedNameSpecifier *qualifier, 1989 NamedDecl *firstQualifierLookup, 1990 DeclarationName member, 1991 unsigned arity) { 1992 // <expression> ::= dt <expression> <unresolved-name> 1993 // ::= pt <expression> <unresolved-name> 1994 Out << (isArrow ? "pt" : "dt"); 1995 mangleExpression(base); 1996 mangleUnresolvedName(qualifier, firstQualifierLookup, member, arity); 1997} 1998 1999/// Look at the callee of the given call expression and determine if 2000/// it's a parenthesized id-expression which would have triggered ADL 2001/// otherwise. 2002static bool isParenthesizedADLCallee(const CallExpr *call) { 2003 const Expr *callee = call->getCallee(); 2004 const Expr *fn = callee->IgnoreParens(); 2005 2006 // Must be parenthesized. IgnoreParens() skips __extension__ nodes, 2007 // too, but for those to appear in the callee, it would have to be 2008 // parenthesized. 2009 if (callee == fn) return false; 2010 2011 // Must be an unresolved lookup. 2012 const UnresolvedLookupExpr *lookup = dyn_cast<UnresolvedLookupExpr>(fn); 2013 if (!lookup) return false; 2014 2015 assert(!lookup->requiresADL()); 2016 2017 // Must be an unqualified lookup. 2018 if (lookup->getQualifier()) return false; 2019 2020 // Must not have found a class member. Note that if one is a class 2021 // member, they're all class members. 2022 if (lookup->getNumDecls() > 0 && 2023 (*lookup->decls_begin())->isCXXClassMember()) 2024 return false; 2025 2026 // Otherwise, ADL would have been triggered. 2027 return true; 2028} 2029 2030void CXXNameMangler::mangleExpression(const Expr *E, unsigned Arity) { 2031 // <expression> ::= <unary operator-name> <expression> 2032 // ::= <binary operator-name> <expression> <expression> 2033 // ::= <trinary operator-name> <expression> <expression> <expression> 2034 // ::= cv <type> expression # conversion with one argument 2035 // ::= cv <type> _ <expression>* E # conversion with a different number of arguments 2036 // ::= st <type> # sizeof (a type) 2037 // ::= at <type> # alignof (a type) 2038 // ::= <template-param> 2039 // ::= <function-param> 2040 // ::= sr <type> <unqualified-name> # dependent name 2041 // ::= sr <type> <unqualified-name> <template-args> # dependent template-id 2042 // ::= sZ <template-param> # size of a parameter pack 2043 // ::= sZ <function-param> # size of a function parameter pack 2044 // ::= <expr-primary> 2045 // <expr-primary> ::= L <type> <value number> E # integer literal 2046 // ::= L <type <value float> E # floating literal 2047 // ::= L <mangled-name> E # external name 2048 switch (E->getStmtClass()) { 2049 case Expr::NoStmtClass: 2050#define ABSTRACT_STMT(Type) 2051#define EXPR(Type, Base) 2052#define STMT(Type, Base) \ 2053 case Expr::Type##Class: 2054#include "clang/AST/StmtNodes.inc" 2055 // fallthrough 2056 2057 // These all can only appear in local or variable-initialization 2058 // contexts and so should never appear in a mangling. 2059 case Expr::AddrLabelExprClass: 2060 case Expr::BlockDeclRefExprClass: 2061 case Expr::CXXThisExprClass: 2062 case Expr::DesignatedInitExprClass: 2063 case Expr::ImplicitValueInitExprClass: 2064 case Expr::InitListExprClass: 2065 case Expr::ParenListExprClass: 2066 case Expr::CXXScalarValueInitExprClass: 2067 llvm_unreachable("unexpected statement kind"); 2068 break; 2069 2070 // FIXME: invent manglings for all these. 2071 case Expr::BlockExprClass: 2072 case Expr::CXXPseudoDestructorExprClass: 2073 case Expr::ChooseExprClass: 2074 case Expr::CompoundLiteralExprClass: 2075 case Expr::ExtVectorElementExprClass: 2076 case Expr::GenericSelectionExprClass: 2077 case Expr::ObjCEncodeExprClass: 2078 case Expr::ObjCIsaExprClass: 2079 case Expr::ObjCIvarRefExprClass: 2080 case Expr::ObjCMessageExprClass: 2081 case Expr::ObjCPropertyRefExprClass: 2082 case Expr::ObjCProtocolExprClass: 2083 case Expr::ObjCSelectorExprClass: 2084 case Expr::ObjCStringLiteralClass: 2085 case Expr::OffsetOfExprClass: 2086 case Expr::PredefinedExprClass: 2087 case Expr::ShuffleVectorExprClass: 2088 case Expr::StmtExprClass: 2089 case Expr::UnaryTypeTraitExprClass: 2090 case Expr::BinaryTypeTraitExprClass: 2091 case Expr::ArrayTypeTraitExprClass: 2092 case Expr::ExpressionTraitExprClass: 2093 case Expr::VAArgExprClass: 2094 case Expr::CXXUuidofExprClass: 2095 case Expr::CXXNoexceptExprClass: 2096 case Expr::CUDAKernelCallExprClass: { 2097 // As bad as this diagnostic is, it's better than crashing. 2098 Diagnostic &Diags = Context.getDiags(); 2099 unsigned DiagID = Diags.getCustomDiagID(Diagnostic::Error, 2100 "cannot yet mangle expression type %0"); 2101 Diags.Report(E->getExprLoc(), DiagID) 2102 << E->getStmtClassName() << E->getSourceRange(); 2103 break; 2104 } 2105 2106 // Even gcc-4.5 doesn't mangle this. 2107 case Expr::BinaryConditionalOperatorClass: { 2108 Diagnostic &Diags = Context.getDiags(); 2109 unsigned DiagID = 2110 Diags.getCustomDiagID(Diagnostic::Error, 2111 "?: operator with omitted middle operand cannot be mangled"); 2112 Diags.Report(E->getExprLoc(), DiagID) 2113 << E->getStmtClassName() << E->getSourceRange(); 2114 break; 2115 } 2116 2117 // These are used for internal purposes and cannot be meaningfully mangled. 2118 case Expr::OpaqueValueExprClass: 2119 llvm_unreachable("cannot mangle opaque value; mangling wrong thing?"); 2120 2121 case Expr::CXXDefaultArgExprClass: 2122 mangleExpression(cast<CXXDefaultArgExpr>(E)->getExpr(), Arity); 2123 break; 2124 2125 case Expr::CXXMemberCallExprClass: // fallthrough 2126 case Expr::CallExprClass: { 2127 const CallExpr *CE = cast<CallExpr>(E); 2128 2129 // <expression> ::= cp <simple-id> <expression>* E 2130 // We use this mangling only when the call would use ADL except 2131 // for being parenthesized. Per discussion with David 2132 // Vandervoorde, 2011.04.25. 2133 if (isParenthesizedADLCallee(CE)) { 2134 Out << "cp"; 2135 // The callee here is a parenthesized UnresolvedLookupExpr with 2136 // no qualifier and should always get mangled as a <simple-id> 2137 // anyway. 2138 2139 // <expression> ::= cl <expression>* E 2140 } else { 2141 Out << "cl"; 2142 } 2143 2144 mangleExpression(CE->getCallee(), CE->getNumArgs()); 2145 for (unsigned I = 0, N = CE->getNumArgs(); I != N; ++I) 2146 mangleExpression(CE->getArg(I)); 2147 Out << 'E'; 2148 break; 2149 } 2150 2151 case Expr::CXXNewExprClass: { 2152 // Proposal from David Vandervoorde, 2010.06.30 2153 const CXXNewExpr *New = cast<CXXNewExpr>(E); 2154 if (New->isGlobalNew()) Out << "gs"; 2155 Out << (New->isArray() ? "na" : "nw"); 2156 for (CXXNewExpr::const_arg_iterator I = New->placement_arg_begin(), 2157 E = New->placement_arg_end(); I != E; ++I) 2158 mangleExpression(*I); 2159 Out << '_'; 2160 mangleType(New->getAllocatedType()); 2161 if (New->hasInitializer()) { 2162 Out << "pi"; 2163 for (CXXNewExpr::const_arg_iterator I = New->constructor_arg_begin(), 2164 E = New->constructor_arg_end(); I != E; ++I) 2165 mangleExpression(*I); 2166 } 2167 Out << 'E'; 2168 break; 2169 } 2170 2171 case Expr::MemberExprClass: { 2172 const MemberExpr *ME = cast<MemberExpr>(E); 2173 mangleMemberExpr(ME->getBase(), ME->isArrow(), 2174 ME->getQualifier(), 0, ME->getMemberDecl()->getDeclName(), 2175 Arity); 2176 break; 2177 } 2178 2179 case Expr::UnresolvedMemberExprClass: { 2180 const UnresolvedMemberExpr *ME = cast<UnresolvedMemberExpr>(E); 2181 mangleMemberExpr(ME->getBase(), ME->isArrow(), 2182 ME->getQualifier(), 0, ME->getMemberName(), 2183 Arity); 2184 if (ME->hasExplicitTemplateArgs()) 2185 mangleTemplateArgs(ME->getExplicitTemplateArgs()); 2186 break; 2187 } 2188 2189 case Expr::CXXDependentScopeMemberExprClass: { 2190 const CXXDependentScopeMemberExpr *ME 2191 = cast<CXXDependentScopeMemberExpr>(E); 2192 mangleMemberExpr(ME->getBase(), ME->isArrow(), 2193 ME->getQualifier(), ME->getFirstQualifierFoundInScope(), 2194 ME->getMember(), Arity); 2195 if (ME->hasExplicitTemplateArgs()) 2196 mangleTemplateArgs(ME->getExplicitTemplateArgs()); 2197 break; 2198 } 2199 2200 case Expr::UnresolvedLookupExprClass: { 2201 const UnresolvedLookupExpr *ULE = cast<UnresolvedLookupExpr>(E); 2202 mangleUnresolvedName(ULE->getQualifier(), 0, ULE->getName(), Arity); 2203 if (ULE->hasExplicitTemplateArgs()) 2204 mangleTemplateArgs(ULE->getExplicitTemplateArgs()); 2205 break; 2206 } 2207 2208 case Expr::CXXUnresolvedConstructExprClass: { 2209 const CXXUnresolvedConstructExpr *CE = cast<CXXUnresolvedConstructExpr>(E); 2210 unsigned N = CE->arg_size(); 2211 2212 Out << "cv"; 2213 mangleType(CE->getType()); 2214 if (N != 1) Out << '_'; 2215 for (unsigned I = 0; I != N; ++I) mangleExpression(CE->getArg(I)); 2216 if (N != 1) Out << 'E'; 2217 break; 2218 } 2219 2220 case Expr::CXXTemporaryObjectExprClass: 2221 case Expr::CXXConstructExprClass: { 2222 const CXXConstructExpr *CE = cast<CXXConstructExpr>(E); 2223 unsigned N = CE->getNumArgs(); 2224 2225 Out << "cv"; 2226 mangleType(CE->getType()); 2227 if (N != 1) Out << '_'; 2228 for (unsigned I = 0; I != N; ++I) mangleExpression(CE->getArg(I)); 2229 if (N != 1) Out << 'E'; 2230 break; 2231 } 2232 2233 case Expr::UnaryExprOrTypeTraitExprClass: { 2234 const UnaryExprOrTypeTraitExpr *SAE = cast<UnaryExprOrTypeTraitExpr>(E); 2235 switch(SAE->getKind()) { 2236 case UETT_SizeOf: 2237 Out << 's'; 2238 break; 2239 case UETT_AlignOf: 2240 Out << 'a'; 2241 break; 2242 case UETT_VecStep: 2243 Diagnostic &Diags = Context.getDiags(); 2244 unsigned DiagID = Diags.getCustomDiagID(Diagnostic::Error, 2245 "cannot yet mangle vec_step expression"); 2246 Diags.Report(DiagID); 2247 return; 2248 } 2249 if (SAE->isArgumentType()) { 2250 Out << 't'; 2251 mangleType(SAE->getArgumentType()); 2252 } else { 2253 Out << 'z'; 2254 mangleExpression(SAE->getArgumentExpr()); 2255 } 2256 break; 2257 } 2258 2259 case Expr::CXXThrowExprClass: { 2260 const CXXThrowExpr *TE = cast<CXXThrowExpr>(E); 2261 2262 // Proposal from David Vandervoorde, 2010.06.30 2263 if (TE->getSubExpr()) { 2264 Out << "tw"; 2265 mangleExpression(TE->getSubExpr()); 2266 } else { 2267 Out << "tr"; 2268 } 2269 break; 2270 } 2271 2272 case Expr::CXXTypeidExprClass: { 2273 const CXXTypeidExpr *TIE = cast<CXXTypeidExpr>(E); 2274 2275 // Proposal from David Vandervoorde, 2010.06.30 2276 if (TIE->isTypeOperand()) { 2277 Out << "ti"; 2278 mangleType(TIE->getTypeOperand()); 2279 } else { 2280 Out << "te"; 2281 mangleExpression(TIE->getExprOperand()); 2282 } 2283 break; 2284 } 2285 2286 case Expr::CXXDeleteExprClass: { 2287 const CXXDeleteExpr *DE = cast<CXXDeleteExpr>(E); 2288 2289 // Proposal from David Vandervoorde, 2010.06.30 2290 if (DE->isGlobalDelete()) Out << "gs"; 2291 Out << (DE->isArrayForm() ? "da" : "dl"); 2292 mangleExpression(DE->getArgument()); 2293 break; 2294 } 2295 2296 case Expr::UnaryOperatorClass: { 2297 const UnaryOperator *UO = cast<UnaryOperator>(E); 2298 mangleOperatorName(UnaryOperator::getOverloadedOperator(UO->getOpcode()), 2299 /*Arity=*/1); 2300 mangleExpression(UO->getSubExpr()); 2301 break; 2302 } 2303 2304 case Expr::ArraySubscriptExprClass: { 2305 const ArraySubscriptExpr *AE = cast<ArraySubscriptExpr>(E); 2306 2307 // Array subscript is treated as a syntactically weird form of 2308 // binary operator. 2309 Out << "ix"; 2310 mangleExpression(AE->getLHS()); 2311 mangleExpression(AE->getRHS()); 2312 break; 2313 } 2314 2315 case Expr::CompoundAssignOperatorClass: // fallthrough 2316 case Expr::BinaryOperatorClass: { 2317 const BinaryOperator *BO = cast<BinaryOperator>(E); 2318 mangleOperatorName(BinaryOperator::getOverloadedOperator(BO->getOpcode()), 2319 /*Arity=*/2); 2320 mangleExpression(BO->getLHS()); 2321 mangleExpression(BO->getRHS()); 2322 break; 2323 } 2324 2325 case Expr::ConditionalOperatorClass: { 2326 const ConditionalOperator *CO = cast<ConditionalOperator>(E); 2327 mangleOperatorName(OO_Conditional, /*Arity=*/3); 2328 mangleExpression(CO->getCond()); 2329 mangleExpression(CO->getLHS(), Arity); 2330 mangleExpression(CO->getRHS(), Arity); 2331 break; 2332 } 2333 2334 case Expr::ImplicitCastExprClass: { 2335 mangleExpression(cast<ImplicitCastExpr>(E)->getSubExpr(), Arity); 2336 break; 2337 } 2338 2339 case Expr::CStyleCastExprClass: 2340 case Expr::CXXStaticCastExprClass: 2341 case Expr::CXXDynamicCastExprClass: 2342 case Expr::CXXReinterpretCastExprClass: 2343 case Expr::CXXConstCastExprClass: 2344 case Expr::CXXFunctionalCastExprClass: { 2345 const ExplicitCastExpr *ECE = cast<ExplicitCastExpr>(E); 2346 Out << "cv"; 2347 mangleType(ECE->getType()); 2348 mangleExpression(ECE->getSubExpr()); 2349 break; 2350 } 2351 2352 case Expr::CXXOperatorCallExprClass: { 2353 const CXXOperatorCallExpr *CE = cast<CXXOperatorCallExpr>(E); 2354 unsigned NumArgs = CE->getNumArgs(); 2355 mangleOperatorName(CE->getOperator(), /*Arity=*/NumArgs); 2356 // Mangle the arguments. 2357 for (unsigned i = 0; i != NumArgs; ++i) 2358 mangleExpression(CE->getArg(i)); 2359 break; 2360 } 2361 2362 case Expr::ParenExprClass: 2363 mangleExpression(cast<ParenExpr>(E)->getSubExpr(), Arity); 2364 break; 2365 2366 case Expr::DeclRefExprClass: { 2367 const NamedDecl *D = cast<DeclRefExpr>(E)->getDecl(); 2368 2369 switch (D->getKind()) { 2370 default: 2371 // <expr-primary> ::= L <mangled-name> E # external name 2372 Out << 'L'; 2373 mangle(D, "_Z"); 2374 Out << 'E'; 2375 break; 2376 2377 case Decl::ParmVar: 2378 mangleFunctionParam(cast<ParmVarDecl>(D)); 2379 break; 2380 2381 case Decl::EnumConstant: { 2382 const EnumConstantDecl *ED = cast<EnumConstantDecl>(D); 2383 mangleIntegerLiteral(ED->getType(), ED->getInitVal()); 2384 break; 2385 } 2386 2387 case Decl::NonTypeTemplateParm: { 2388 const NonTypeTemplateParmDecl *PD = cast<NonTypeTemplateParmDecl>(D); 2389 mangleTemplateParameter(PD->getIndex()); 2390 break; 2391 } 2392 2393 } 2394 2395 break; 2396 } 2397 2398 case Expr::SubstNonTypeTemplateParmPackExprClass: 2399 mangleTemplateParameter( 2400 cast<SubstNonTypeTemplateParmPackExpr>(E)->getParameterPack()->getIndex()); 2401 break; 2402 2403 case Expr::DependentScopeDeclRefExprClass: { 2404 const DependentScopeDeclRefExpr *DRE = cast<DependentScopeDeclRefExpr>(E); 2405 NestedNameSpecifier *NNS = DRE->getQualifier(); 2406 const Type *QTy = NNS->getAsType(); 2407 2408 // When we're dealing with a nested-name-specifier that has just a 2409 // dependent identifier in it, mangle that as a typename. FIXME: 2410 // It isn't clear that we ever actually want to have such a 2411 // nested-name-specifier; why not just represent it as a typename type? 2412 if (!QTy && NNS->getAsIdentifier() && NNS->getPrefix()) { 2413 QTy = getASTContext().getDependentNameType(ETK_Typename, 2414 NNS->getPrefix(), 2415 NNS->getAsIdentifier()) 2416 .getTypePtr(); 2417 } 2418 assert(QTy && "Qualifier was not type!"); 2419 2420 // ::= sr <type> <unqualified-name> # dependent name 2421 // ::= sr <type> <unqualified-name> <template-args> # dependent template-id 2422 Out << "sr"; 2423 mangleType(QualType(QTy, 0)); 2424 mangleUnqualifiedName(0, DRE->getDeclName(), Arity); 2425 if (DRE->hasExplicitTemplateArgs()) 2426 mangleTemplateArgs(DRE->getExplicitTemplateArgs()); 2427 2428 break; 2429 } 2430 2431 case Expr::CXXBindTemporaryExprClass: 2432 mangleExpression(cast<CXXBindTemporaryExpr>(E)->getSubExpr()); 2433 break; 2434 2435 case Expr::ExprWithCleanupsClass: 2436 mangleExpression(cast<ExprWithCleanups>(E)->getSubExpr(), Arity); 2437 break; 2438 2439 case Expr::FloatingLiteralClass: { 2440 const FloatingLiteral *FL = cast<FloatingLiteral>(E); 2441 Out << 'L'; 2442 mangleType(FL->getType()); 2443 mangleFloat(FL->getValue()); 2444 Out << 'E'; 2445 break; 2446 } 2447 2448 case Expr::CharacterLiteralClass: 2449 Out << 'L'; 2450 mangleType(E->getType()); 2451 Out << cast<CharacterLiteral>(E)->getValue(); 2452 Out << 'E'; 2453 break; 2454 2455 case Expr::CXXBoolLiteralExprClass: 2456 Out << "Lb"; 2457 Out << (cast<CXXBoolLiteralExpr>(E)->getValue() ? '1' : '0'); 2458 Out << 'E'; 2459 break; 2460 2461 case Expr::IntegerLiteralClass: { 2462 llvm::APSInt Value(cast<IntegerLiteral>(E)->getValue()); 2463 if (E->getType()->isSignedIntegerType()) 2464 Value.setIsSigned(true); 2465 mangleIntegerLiteral(E->getType(), Value); 2466 break; 2467 } 2468 2469 case Expr::ImaginaryLiteralClass: { 2470 const ImaginaryLiteral *IE = cast<ImaginaryLiteral>(E); 2471 // Mangle as if a complex literal. 2472 // Proposal from David Vandevoorde, 2010.06.30. 2473 Out << 'L'; 2474 mangleType(E->getType()); 2475 if (const FloatingLiteral *Imag = 2476 dyn_cast<FloatingLiteral>(IE->getSubExpr())) { 2477 // Mangle a floating-point zero of the appropriate type. 2478 mangleFloat(llvm::APFloat(Imag->getValue().getSemantics())); 2479 Out << '_'; 2480 mangleFloat(Imag->getValue()); 2481 } else { 2482 Out << "0_"; 2483 llvm::APSInt Value(cast<IntegerLiteral>(IE->getSubExpr())->getValue()); 2484 if (IE->getSubExpr()->getType()->isSignedIntegerType()) 2485 Value.setIsSigned(true); 2486 mangleNumber(Value); 2487 } 2488 Out << 'E'; 2489 break; 2490 } 2491 2492 case Expr::StringLiteralClass: { 2493 // Revised proposal from David Vandervoorde, 2010.07.15. 2494 Out << 'L'; 2495 assert(isa<ConstantArrayType>(E->getType())); 2496 mangleType(E->getType()); 2497 Out << 'E'; 2498 break; 2499 } 2500 2501 case Expr::GNUNullExprClass: 2502 // FIXME: should this really be mangled the same as nullptr? 2503 // fallthrough 2504 2505 case Expr::CXXNullPtrLiteralExprClass: { 2506 // Proposal from David Vandervoorde, 2010.06.30, as 2507 // modified by ABI list discussion. 2508 Out << "LDnE"; 2509 break; 2510 } 2511 2512 case Expr::PackExpansionExprClass: 2513 Out << "sp"; 2514 mangleExpression(cast<PackExpansionExpr>(E)->getPattern()); 2515 break; 2516 2517 case Expr::SizeOfPackExprClass: { 2518 Out << "sZ"; 2519 const NamedDecl *Pack = cast<SizeOfPackExpr>(E)->getPack(); 2520 if (const TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(Pack)) 2521 mangleTemplateParameter(TTP->getIndex()); 2522 else if (const NonTypeTemplateParmDecl *NTTP 2523 = dyn_cast<NonTypeTemplateParmDecl>(Pack)) 2524 mangleTemplateParameter(NTTP->getIndex()); 2525 else if (const TemplateTemplateParmDecl *TempTP 2526 = dyn_cast<TemplateTemplateParmDecl>(Pack)) 2527 mangleTemplateParameter(TempTP->getIndex()); 2528 else { 2529 // Note: proposed by Mike Herrick on 11/30/10 2530 // <expression> ::= sZ <function-param> # size of function parameter pack 2531 Diagnostic &Diags = Context.getDiags(); 2532 unsigned DiagID = Diags.getCustomDiagID(Diagnostic::Error, 2533 "cannot mangle sizeof...(function parameter pack)"); 2534 Diags.Report(DiagID); 2535 return; 2536 } 2537 break; 2538 } 2539 } 2540} 2541 2542/// Mangle an expression which refers to a parameter variable. 2543/// 2544/// <expression> ::= <function-param> 2545/// <function-param> ::= fp <top-level CV-qualifiers> _ # L == 0, I == 0 2546/// <function-param> ::= fp <top-level CV-qualifiers> 2547/// <parameter-2 non-negative number> _ # L == 0, I > 0 2548/// <function-param> ::= fL <L-1 non-negative number> 2549/// p <top-level CV-qualifiers> _ # L > 0, I == 0 2550/// <function-param> ::= fL <L-1 non-negative number> 2551/// p <top-level CV-qualifiers> 2552/// <I-1 non-negative number> _ # L > 0, I > 0 2553/// 2554/// L is the nesting depth of the parameter, defined as 1 if the 2555/// parameter comes from the innermost function prototype scope 2556/// enclosing the current context, 2 if from the next enclosing 2557/// function prototype scope, and so on, with one special case: if 2558/// we've processed the full parameter clause for the innermost 2559/// function type, then L is one less. This definition conveniently 2560/// makes it irrelevant whether a function's result type was written 2561/// trailing or leading, but is otherwise overly complicated; the 2562/// numbering was first designed without considering references to 2563/// parameter in locations other than return types, and then the 2564/// mangling had to be generalized without changing the existing 2565/// manglings. 2566/// 2567/// I is the zero-based index of the parameter within its parameter 2568/// declaration clause. Note that the original ABI document describes 2569/// this using 1-based ordinals. 2570void CXXNameMangler::mangleFunctionParam(const ParmVarDecl *parm) { 2571 unsigned parmDepth = parm->getFunctionScopeDepth(); 2572 unsigned parmIndex = parm->getFunctionScopeIndex(); 2573 2574 // Compute 'L'. 2575 // parmDepth does not include the declaring function prototype. 2576 // FunctionTypeDepth does account for that. 2577 assert(parmDepth < FunctionTypeDepth.getDepth()); 2578 unsigned nestingDepth = FunctionTypeDepth.getDepth() - parmDepth; 2579 if (FunctionTypeDepth.isInResultType()) 2580 nestingDepth--; 2581 2582 if (nestingDepth == 0) { 2583 Out << "fp"; 2584 } else { 2585 Out << "fL" << (nestingDepth - 1) << 'p'; 2586 } 2587 2588 // Top-level qualifiers. We don't have to worry about arrays here, 2589 // because parameters declared as arrays should already have been 2590 // tranformed to have pointer type. FIXME: apparently these don't 2591 // get mangled if used as an rvalue of a known non-class type? 2592 assert(!parm->getType()->isArrayType() 2593 && "parameter's type is still an array type?"); 2594 mangleQualifiers(parm->getType().getQualifiers()); 2595 2596 // Parameter index. 2597 if (parmIndex != 0) { 2598 Out << (parmIndex - 1); 2599 } 2600 Out << '_'; 2601} 2602 2603void CXXNameMangler::mangleCXXCtorType(CXXCtorType T) { 2604 // <ctor-dtor-name> ::= C1 # complete object constructor 2605 // ::= C2 # base object constructor 2606 // ::= C3 # complete object allocating constructor 2607 // 2608 switch (T) { 2609 case Ctor_Complete: 2610 Out << "C1"; 2611 break; 2612 case Ctor_Base: 2613 Out << "C2"; 2614 break; 2615 case Ctor_CompleteAllocating: 2616 Out << "C3"; 2617 break; 2618 } 2619} 2620 2621void CXXNameMangler::mangleCXXDtorType(CXXDtorType T) { 2622 // <ctor-dtor-name> ::= D0 # deleting destructor 2623 // ::= D1 # complete object destructor 2624 // ::= D2 # base object destructor 2625 // 2626 switch (T) { 2627 case Dtor_Deleting: 2628 Out << "D0"; 2629 break; 2630 case Dtor_Complete: 2631 Out << "D1"; 2632 break; 2633 case Dtor_Base: 2634 Out << "D2"; 2635 break; 2636 } 2637} 2638 2639void CXXNameMangler::mangleTemplateArgs( 2640 const ExplicitTemplateArgumentList &TemplateArgs) { 2641 // <template-args> ::= I <template-arg>+ E 2642 Out << 'I'; 2643 for (unsigned i = 0, e = TemplateArgs.NumTemplateArgs; i != e; ++i) 2644 mangleTemplateArg(0, TemplateArgs.getTemplateArgs()[i].getArgument()); 2645 Out << 'E'; 2646} 2647 2648void CXXNameMangler::mangleTemplateArgs(TemplateName Template, 2649 const TemplateArgument *TemplateArgs, 2650 unsigned NumTemplateArgs) { 2651 if (TemplateDecl *TD = Template.getAsTemplateDecl()) 2652 return mangleTemplateArgs(*TD->getTemplateParameters(), TemplateArgs, 2653 NumTemplateArgs); 2654 2655 mangleUnresolvedTemplateArgs(TemplateArgs, NumTemplateArgs); 2656} 2657 2658void CXXNameMangler::mangleUnresolvedTemplateArgs(const TemplateArgument *args, 2659 unsigned numArgs) { 2660 // <template-args> ::= I <template-arg>+ E 2661 Out << 'I'; 2662 for (unsigned i = 0; i != numArgs; ++i) 2663 mangleTemplateArg(0, args[i]); 2664 Out << 'E'; 2665} 2666 2667void CXXNameMangler::mangleTemplateArgs(const TemplateParameterList &PL, 2668 const TemplateArgumentList &AL) { 2669 // <template-args> ::= I <template-arg>+ E 2670 Out << 'I'; 2671 for (unsigned i = 0, e = AL.size(); i != e; ++i) 2672 mangleTemplateArg(PL.getParam(i), AL[i]); 2673 Out << 'E'; 2674} 2675 2676void CXXNameMangler::mangleTemplateArgs(const TemplateParameterList &PL, 2677 const TemplateArgument *TemplateArgs, 2678 unsigned NumTemplateArgs) { 2679 // <template-args> ::= I <template-arg>+ E 2680 Out << 'I'; 2681 for (unsigned i = 0; i != NumTemplateArgs; ++i) 2682 mangleTemplateArg(PL.getParam(i), TemplateArgs[i]); 2683 Out << 'E'; 2684} 2685 2686void CXXNameMangler::mangleTemplateArg(const NamedDecl *P, 2687 const TemplateArgument &A) { 2688 // <template-arg> ::= <type> # type or template 2689 // ::= X <expression> E # expression 2690 // ::= <expr-primary> # simple expressions 2691 // ::= J <template-arg>* E # argument pack 2692 // ::= sp <expression> # pack expansion of (C++0x) 2693 switch (A.getKind()) { 2694 case TemplateArgument::Null: 2695 llvm_unreachable("Cannot mangle NULL template argument"); 2696 2697 case TemplateArgument::Type: 2698 mangleType(A.getAsType()); 2699 break; 2700 case TemplateArgument::Template: 2701 // This is mangled as <type>. 2702 mangleType(A.getAsTemplate()); 2703 break; 2704 case TemplateArgument::TemplateExpansion: 2705 // <type> ::= Dp <type> # pack expansion (C++0x) 2706 Out << "Dp"; 2707 mangleType(A.getAsTemplateOrTemplatePattern()); 2708 break; 2709 case TemplateArgument::Expression: 2710 Out << 'X'; 2711 mangleExpression(A.getAsExpr()); 2712 Out << 'E'; 2713 break; 2714 case TemplateArgument::Integral: 2715 mangleIntegerLiteral(A.getIntegralType(), *A.getAsIntegral()); 2716 break; 2717 case TemplateArgument::Declaration: { 2718 assert(P && "Missing template parameter for declaration argument"); 2719 // <expr-primary> ::= L <mangled-name> E # external name 2720 2721 // Clang produces AST's where pointer-to-member-function expressions 2722 // and pointer-to-function expressions are represented as a declaration not 2723 // an expression. We compensate for it here to produce the correct mangling. 2724 NamedDecl *D = cast<NamedDecl>(A.getAsDecl()); 2725 const NonTypeTemplateParmDecl *Parameter = cast<NonTypeTemplateParmDecl>(P); 2726 bool compensateMangling = !Parameter->getType()->isReferenceType(); 2727 if (compensateMangling) { 2728 Out << 'X'; 2729 mangleOperatorName(OO_Amp, 1); 2730 } 2731 2732 Out << 'L'; 2733 // References to external entities use the mangled name; if the name would 2734 // not normally be manged then mangle it as unqualified. 2735 // 2736 // FIXME: The ABI specifies that external names here should have _Z, but 2737 // gcc leaves this off. 2738 if (compensateMangling) 2739 mangle(D, "_Z"); 2740 else 2741 mangle(D, "Z"); 2742 Out << 'E'; 2743 2744 if (compensateMangling) 2745 Out << 'E'; 2746 2747 break; 2748 } 2749 2750 case TemplateArgument::Pack: { 2751 // Note: proposal by Mike Herrick on 12/20/10 2752 Out << 'J'; 2753 for (TemplateArgument::pack_iterator PA = A.pack_begin(), 2754 PAEnd = A.pack_end(); 2755 PA != PAEnd; ++PA) 2756 mangleTemplateArg(P, *PA); 2757 Out << 'E'; 2758 } 2759 } 2760} 2761 2762void CXXNameMangler::mangleTemplateParameter(unsigned Index) { 2763 // <template-param> ::= T_ # first template parameter 2764 // ::= T <parameter-2 non-negative number> _ 2765 if (Index == 0) 2766 Out << "T_"; 2767 else 2768 Out << 'T' << (Index - 1) << '_'; 2769} 2770 2771// <substitution> ::= S <seq-id> _ 2772// ::= S_ 2773bool CXXNameMangler::mangleSubstitution(const NamedDecl *ND) { 2774 // Try one of the standard substitutions first. 2775 if (mangleStandardSubstitution(ND)) 2776 return true; 2777 2778 ND = cast<NamedDecl>(ND->getCanonicalDecl()); 2779 return mangleSubstitution(reinterpret_cast<uintptr_t>(ND)); 2780} 2781 2782bool CXXNameMangler::mangleSubstitution(QualType T) { 2783 if (!T.getCVRQualifiers()) { 2784 if (const RecordType *RT = T->getAs<RecordType>()) 2785 return mangleSubstitution(RT->getDecl()); 2786 } 2787 2788 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr()); 2789 2790 return mangleSubstitution(TypePtr); 2791} 2792 2793bool CXXNameMangler::mangleSubstitution(TemplateName Template) { 2794 if (TemplateDecl *TD = Template.getAsTemplateDecl()) 2795 return mangleSubstitution(TD); 2796 2797 Template = Context.getASTContext().getCanonicalTemplateName(Template); 2798 return mangleSubstitution( 2799 reinterpret_cast<uintptr_t>(Template.getAsVoidPointer())); 2800} 2801 2802bool CXXNameMangler::mangleSubstitution(uintptr_t Ptr) { 2803 llvm::DenseMap<uintptr_t, unsigned>::iterator I = Substitutions.find(Ptr); 2804 if (I == Substitutions.end()) 2805 return false; 2806 2807 unsigned SeqID = I->second; 2808 if (SeqID == 0) 2809 Out << "S_"; 2810 else { 2811 SeqID--; 2812 2813 // <seq-id> is encoded in base-36, using digits and upper case letters. 2814 char Buffer[10]; 2815 char *BufferPtr = llvm::array_endof(Buffer); 2816 2817 if (SeqID == 0) *--BufferPtr = '0'; 2818 2819 while (SeqID) { 2820 assert(BufferPtr > Buffer && "Buffer overflow!"); 2821 2822 char c = static_cast<char>(SeqID % 36); 2823 2824 *--BufferPtr = (c < 10 ? '0' + c : 'A' + c - 10); 2825 SeqID /= 36; 2826 } 2827 2828 Out << 'S' 2829 << llvm::StringRef(BufferPtr, llvm::array_endof(Buffer)-BufferPtr) 2830 << '_'; 2831 } 2832 2833 return true; 2834} 2835 2836static bool isCharType(QualType T) { 2837 if (T.isNull()) 2838 return false; 2839 2840 return T->isSpecificBuiltinType(BuiltinType::Char_S) || 2841 T->isSpecificBuiltinType(BuiltinType::Char_U); 2842} 2843 2844/// isCharSpecialization - Returns whether a given type is a template 2845/// specialization of a given name with a single argument of type char. 2846static bool isCharSpecialization(QualType T, const char *Name) { 2847 if (T.isNull()) 2848 return false; 2849 2850 const RecordType *RT = T->getAs<RecordType>(); 2851 if (!RT) 2852 return false; 2853 2854 const ClassTemplateSpecializationDecl *SD = 2855 dyn_cast<ClassTemplateSpecializationDecl>(RT->getDecl()); 2856 if (!SD) 2857 return false; 2858 2859 if (!isStdNamespace(SD->getDeclContext())) 2860 return false; 2861 2862 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs(); 2863 if (TemplateArgs.size() != 1) 2864 return false; 2865 2866 if (!isCharType(TemplateArgs[0].getAsType())) 2867 return false; 2868 2869 return SD->getIdentifier()->getName() == Name; 2870} 2871 2872template <std::size_t StrLen> 2873static bool isStreamCharSpecialization(const ClassTemplateSpecializationDecl*SD, 2874 const char (&Str)[StrLen]) { 2875 if (!SD->getIdentifier()->isStr(Str)) 2876 return false; 2877 2878 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs(); 2879 if (TemplateArgs.size() != 2) 2880 return false; 2881 2882 if (!isCharType(TemplateArgs[0].getAsType())) 2883 return false; 2884 2885 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits")) 2886 return false; 2887 2888 return true; 2889} 2890 2891bool CXXNameMangler::mangleStandardSubstitution(const NamedDecl *ND) { 2892 // <substitution> ::= St # ::std:: 2893 if (const NamespaceDecl *NS = dyn_cast<NamespaceDecl>(ND)) { 2894 if (isStd(NS)) { 2895 Out << "St"; 2896 return true; 2897 } 2898 } 2899 2900 if (const ClassTemplateDecl *TD = dyn_cast<ClassTemplateDecl>(ND)) { 2901 if (!isStdNamespace(TD->getDeclContext())) 2902 return false; 2903 2904 // <substitution> ::= Sa # ::std::allocator 2905 if (TD->getIdentifier()->isStr("allocator")) { 2906 Out << "Sa"; 2907 return true; 2908 } 2909 2910 // <<substitution> ::= Sb # ::std::basic_string 2911 if (TD->getIdentifier()->isStr("basic_string")) { 2912 Out << "Sb"; 2913 return true; 2914 } 2915 } 2916 2917 if (const ClassTemplateSpecializationDecl *SD = 2918 dyn_cast<ClassTemplateSpecializationDecl>(ND)) { 2919 if (!isStdNamespace(SD->getDeclContext())) 2920 return false; 2921 2922 // <substitution> ::= Ss # ::std::basic_string<char, 2923 // ::std::char_traits<char>, 2924 // ::std::allocator<char> > 2925 if (SD->getIdentifier()->isStr("basic_string")) { 2926 const TemplateArgumentList &TemplateArgs = SD->getTemplateArgs(); 2927 2928 if (TemplateArgs.size() != 3) 2929 return false; 2930 2931 if (!isCharType(TemplateArgs[0].getAsType())) 2932 return false; 2933 2934 if (!isCharSpecialization(TemplateArgs[1].getAsType(), "char_traits")) 2935 return false; 2936 2937 if (!isCharSpecialization(TemplateArgs[2].getAsType(), "allocator")) 2938 return false; 2939 2940 Out << "Ss"; 2941 return true; 2942 } 2943 2944 // <substitution> ::= Si # ::std::basic_istream<char, 2945 // ::std::char_traits<char> > 2946 if (isStreamCharSpecialization(SD, "basic_istream")) { 2947 Out << "Si"; 2948 return true; 2949 } 2950 2951 // <substitution> ::= So # ::std::basic_ostream<char, 2952 // ::std::char_traits<char> > 2953 if (isStreamCharSpecialization(SD, "basic_ostream")) { 2954 Out << "So"; 2955 return true; 2956 } 2957 2958 // <substitution> ::= Sd # ::std::basic_iostream<char, 2959 // ::std::char_traits<char> > 2960 if (isStreamCharSpecialization(SD, "basic_iostream")) { 2961 Out << "Sd"; 2962 return true; 2963 } 2964 } 2965 return false; 2966} 2967 2968void CXXNameMangler::addSubstitution(QualType T) { 2969 if (!T.getCVRQualifiers()) { 2970 if (const RecordType *RT = T->getAs<RecordType>()) { 2971 addSubstitution(RT->getDecl()); 2972 return; 2973 } 2974 } 2975 2976 uintptr_t TypePtr = reinterpret_cast<uintptr_t>(T.getAsOpaquePtr()); 2977 addSubstitution(TypePtr); 2978} 2979 2980void CXXNameMangler::addSubstitution(TemplateName Template) { 2981 if (TemplateDecl *TD = Template.getAsTemplateDecl()) 2982 return addSubstitution(TD); 2983 2984 Template = Context.getASTContext().getCanonicalTemplateName(Template); 2985 addSubstitution(reinterpret_cast<uintptr_t>(Template.getAsVoidPointer())); 2986} 2987 2988void CXXNameMangler::addSubstitution(uintptr_t Ptr) { 2989 assert(!Substitutions.count(Ptr) && "Substitution already exists!"); 2990 Substitutions[Ptr] = SeqID++; 2991} 2992 2993// 2994 2995/// \brief Mangles the name of the declaration D and emits that name to the 2996/// given output stream. 2997/// 2998/// If the declaration D requires a mangled name, this routine will emit that 2999/// mangled name to \p os and return true. Otherwise, \p os will be unchanged 3000/// and this routine will return false. In this case, the caller should just 3001/// emit the identifier of the declaration (\c D->getIdentifier()) as its 3002/// name. 3003void ItaniumMangleContext::mangleName(const NamedDecl *D, 3004 llvm::raw_ostream &Out) { 3005 assert((isa<FunctionDecl>(D) || isa<VarDecl>(D)) && 3006 "Invalid mangleName() call, argument is not a variable or function!"); 3007 assert(!isa<CXXConstructorDecl>(D) && !isa<CXXDestructorDecl>(D) && 3008 "Invalid mangleName() call on 'structor decl!"); 3009 3010 PrettyStackTraceDecl CrashInfo(D, SourceLocation(), 3011 getASTContext().getSourceManager(), 3012 "Mangling declaration"); 3013 3014 CXXNameMangler Mangler(*this, Out, D); 3015 return Mangler.mangle(D); 3016} 3017 3018void ItaniumMangleContext::mangleCXXCtor(const CXXConstructorDecl *D, 3019 CXXCtorType Type, 3020 llvm::raw_ostream &Out) { 3021 CXXNameMangler Mangler(*this, Out, D, Type); 3022 Mangler.mangle(D); 3023} 3024 3025void ItaniumMangleContext::mangleCXXDtor(const CXXDestructorDecl *D, 3026 CXXDtorType Type, 3027 llvm::raw_ostream &Out) { 3028 CXXNameMangler Mangler(*this, Out, D, Type); 3029 Mangler.mangle(D); 3030} 3031 3032void ItaniumMangleContext::mangleThunk(const CXXMethodDecl *MD, 3033 const ThunkInfo &Thunk, 3034 llvm::raw_ostream &Out) { 3035 // <special-name> ::= T <call-offset> <base encoding> 3036 // # base is the nominal target function of thunk 3037 // <special-name> ::= Tc <call-offset> <call-offset> <base encoding> 3038 // # base is the nominal target function of thunk 3039 // # first call-offset is 'this' adjustment 3040 // # second call-offset is result adjustment 3041 3042 assert(!isa<CXXDestructorDecl>(MD) && 3043 "Use mangleCXXDtor for destructor decls!"); 3044 CXXNameMangler Mangler(*this, Out); 3045 Mangler.getStream() << "_ZT"; 3046 if (!Thunk.Return.isEmpty()) 3047 Mangler.getStream() << 'c'; 3048 3049 // Mangle the 'this' pointer adjustment. 3050 Mangler.mangleCallOffset(Thunk.This.NonVirtual, Thunk.This.VCallOffsetOffset); 3051 3052 // Mangle the return pointer adjustment if there is one. 3053 if (!Thunk.Return.isEmpty()) 3054 Mangler.mangleCallOffset(Thunk.Return.NonVirtual, 3055 Thunk.Return.VBaseOffsetOffset); 3056 3057 Mangler.mangleFunctionEncoding(MD); 3058} 3059 3060void 3061ItaniumMangleContext::mangleCXXDtorThunk(const CXXDestructorDecl *DD, 3062 CXXDtorType Type, 3063 const ThisAdjustment &ThisAdjustment, 3064 llvm::raw_ostream &Out) { 3065 // <special-name> ::= T <call-offset> <base encoding> 3066 // # base is the nominal target function of thunk 3067 CXXNameMangler Mangler(*this, Out, DD, Type); 3068 Mangler.getStream() << "_ZT"; 3069 3070 // Mangle the 'this' pointer adjustment. 3071 Mangler.mangleCallOffset(ThisAdjustment.NonVirtual, 3072 ThisAdjustment.VCallOffsetOffset); 3073 3074 Mangler.mangleFunctionEncoding(DD); 3075} 3076 3077/// mangleGuardVariable - Returns the mangled name for a guard variable 3078/// for the passed in VarDecl. 3079void ItaniumMangleContext::mangleItaniumGuardVariable(const VarDecl *D, 3080 llvm::raw_ostream &Out) { 3081 // <special-name> ::= GV <object name> # Guard variable for one-time 3082 // # initialization 3083 CXXNameMangler Mangler(*this, Out); 3084 Mangler.getStream() << "_ZGV"; 3085 Mangler.mangleName(D); 3086} 3087 3088void ItaniumMangleContext::mangleReferenceTemporary(const VarDecl *D, 3089 llvm::raw_ostream &Out) { 3090 // We match the GCC mangling here. 3091 // <special-name> ::= GR <object name> 3092 CXXNameMangler Mangler(*this, Out); 3093 Mangler.getStream() << "_ZGR"; 3094 Mangler.mangleName(D); 3095} 3096 3097void ItaniumMangleContext::mangleCXXVTable(const CXXRecordDecl *RD, 3098 llvm::raw_ostream &Out) { 3099 // <special-name> ::= TV <type> # virtual table 3100 CXXNameMangler Mangler(*this, Out); 3101 Mangler.getStream() << "_ZTV"; 3102 Mangler.mangleNameOrStandardSubstitution(RD); 3103} 3104 3105void ItaniumMangleContext::mangleCXXVTT(const CXXRecordDecl *RD, 3106 llvm::raw_ostream &Out) { 3107 // <special-name> ::= TT <type> # VTT structure 3108 CXXNameMangler Mangler(*this, Out); 3109 Mangler.getStream() << "_ZTT"; 3110 Mangler.mangleNameOrStandardSubstitution(RD); 3111} 3112 3113void ItaniumMangleContext::mangleCXXCtorVTable(const CXXRecordDecl *RD, 3114 int64_t Offset, 3115 const CXXRecordDecl *Type, 3116 llvm::raw_ostream &Out) { 3117 // <special-name> ::= TC <type> <offset number> _ <base type> 3118 CXXNameMangler Mangler(*this, Out); 3119 Mangler.getStream() << "_ZTC"; 3120 Mangler.mangleNameOrStandardSubstitution(RD); 3121 Mangler.getStream() << Offset; 3122 Mangler.getStream() << '_'; 3123 Mangler.mangleNameOrStandardSubstitution(Type); 3124} 3125 3126void ItaniumMangleContext::mangleCXXRTTI(QualType Ty, 3127 llvm::raw_ostream &Out) { 3128 // <special-name> ::= TI <type> # typeinfo structure 3129 assert(!Ty.hasQualifiers() && "RTTI info cannot have top-level qualifiers"); 3130 CXXNameMangler Mangler(*this, Out); 3131 Mangler.getStream() << "_ZTI"; 3132 Mangler.mangleType(Ty); 3133} 3134 3135void ItaniumMangleContext::mangleCXXRTTIName(QualType Ty, 3136 llvm::raw_ostream &Out) { 3137 // <special-name> ::= TS <type> # typeinfo name (null terminated byte string) 3138 CXXNameMangler Mangler(*this, Out); 3139 Mangler.getStream() << "_ZTS"; 3140 Mangler.mangleType(Ty); 3141} 3142 3143MangleContext *clang::createItaniumMangleContext(ASTContext &Context, 3144 Diagnostic &Diags) { 3145 return new ItaniumMangleContext(Context, Diags); 3146} 3147