blob: 3a0b9094307f7cd086f092d6e0a56adf9ca408c6 [file] [log] [blame]
Peter Collingbourne14110472011-01-13 18:57:25 +00001//===--- Mangle.cpp - Mangle C++ Names --------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Implements generic name mangling support for blocks and Objective-C.
11//
12//===----------------------------------------------------------------------===//
13#include "clang/AST/Mangle.h"
14#include "clang/AST/ASTContext.h"
15#include "clang/AST/Decl.h"
16#include "clang/AST/DeclCXX.h"
17#include "clang/AST/DeclObjC.h"
18#include "clang/AST/DeclTemplate.h"
19#include "clang/AST/ExprCXX.h"
20#include "clang/Basic/ABI.h"
21#include "clang/Basic/SourceManager.h"
22#include "llvm/ADT/StringExtras.h"
23#include "llvm/Support/raw_ostream.h"
24#include "llvm/Support/ErrorHandling.h"
25
26#define MANGLE_CHECKER 0
27
28#if MANGLE_CHECKER
29#include <cxxabi.h>
30#endif
31
32using namespace clang;
33
34// FIXME: For blocks we currently mimic GCC's mangling scheme, which leaves
35// much to be desired. Come up with a better mangling scheme.
36
37namespace {
38
39static void mangleFunctionBlock(MangleContext &Context,
40 llvm::StringRef Outer,
41 const BlockDecl *BD,
Rafael Espindola0e376a02011-02-11 01:41:00 +000042 llvm::raw_ostream &Out) {
Peter Collingbourne14110472011-01-13 18:57:25 +000043 Out << "__" << Outer << "_block_invoke_" << Context.getBlockId(BD, true);
44}
45
46static void checkMangleDC(const DeclContext *DC, const BlockDecl *BD) {
47#ifndef NDEBUG
48 const DeclContext *ExpectedDC = BD->getDeclContext();
49 while (isa<BlockDecl>(ExpectedDC) || isa<EnumDecl>(ExpectedDC))
50 ExpectedDC = ExpectedDC->getParent();
51 assert(DC == ExpectedDC && "Given decl context did not match expected!");
52#endif
53}
54
55}
56
57void MangleContext::mangleGlobalBlock(const BlockDecl *BD,
Rafael Espindola0e376a02011-02-11 01:41:00 +000058 llvm::raw_ostream &Out) {
Peter Collingbourne14110472011-01-13 18:57:25 +000059 Out << "__block_global_" << getBlockId(BD, false);
60}
61
62void MangleContext::mangleCtorBlock(const CXXConstructorDecl *CD,
63 CXXCtorType CT, const BlockDecl *BD,
Rafael Espindola0e376a02011-02-11 01:41:00 +000064 llvm::raw_ostream &ResStream) {
Peter Collingbourne14110472011-01-13 18:57:25 +000065 checkMangleDC(CD, BD);
66 llvm::SmallString<64> Buffer;
Rafael Espindolac4850c22011-02-10 23:59:36 +000067 llvm::raw_svector_ostream Out(Buffer);
68 mangleCXXCtor(CD, CT, Out);
69 Out.flush();
70 mangleFunctionBlock(*this, Buffer, BD, ResStream);
Peter Collingbourne14110472011-01-13 18:57:25 +000071}
72
73void MangleContext::mangleDtorBlock(const CXXDestructorDecl *DD,
74 CXXDtorType DT, const BlockDecl *BD,
Rafael Espindola0e376a02011-02-11 01:41:00 +000075 llvm::raw_ostream &ResStream) {
Peter Collingbourne14110472011-01-13 18:57:25 +000076 checkMangleDC(DD, BD);
77 llvm::SmallString<64> Buffer;
Rafael Espindolac4850c22011-02-10 23:59:36 +000078 llvm::raw_svector_ostream Out(Buffer);
79 mangleCXXDtor(DD, DT, Out);
80 Out.flush();
81 mangleFunctionBlock(*this, Buffer, BD, ResStream);
Peter Collingbourne14110472011-01-13 18:57:25 +000082}
83
84void MangleContext::mangleBlock(const DeclContext *DC, const BlockDecl *BD,
Rafael Espindola0e376a02011-02-11 01:41:00 +000085 llvm::raw_ostream &Out) {
Peter Collingbourne14110472011-01-13 18:57:25 +000086 assert(!isa<CXXConstructorDecl>(DC) && !isa<CXXDestructorDecl>(DC));
87 checkMangleDC(DC, BD);
88
89 llvm::SmallString<64> Buffer;
Rafael Espindolaf0be9792011-02-11 02:52:17 +000090 llvm::raw_svector_ostream Stream(Buffer);
Peter Collingbourne14110472011-01-13 18:57:25 +000091 if (const ObjCMethodDecl *Method = dyn_cast<ObjCMethodDecl>(DC)) {
Rafael Espindolaf0be9792011-02-11 02:52:17 +000092 mangleObjCMethodName(Method, Stream);
Peter Collingbourne14110472011-01-13 18:57:25 +000093 } else {
94 const NamedDecl *ND = cast<NamedDecl>(DC);
95 if (IdentifierInfo *II = ND->getIdentifier())
Rafael Espindolaf0be9792011-02-11 02:52:17 +000096 Stream << II->getName();
Peter Collingbourne14110472011-01-13 18:57:25 +000097 else {
98 // FIXME: We were doing a mangleUnqualifiedName() before, but that's
99 // a private member of a class that will soon itself be private to the
100 // Itanium C++ ABI object. What should we do now? Right now, I'm just
101 // calling the mangleName() method on the MangleContext; is there a
102 // better way?
Rafael Espindolaf0be9792011-02-11 02:52:17 +0000103 mangleName(ND, Stream);
Peter Collingbourne14110472011-01-13 18:57:25 +0000104 }
105 }
Rafael Espindolaf0be9792011-02-11 02:52:17 +0000106 Stream.flush();
Rafael Espindolac4850c22011-02-10 23:59:36 +0000107 mangleFunctionBlock(*this, Buffer, BD, Out);
Peter Collingbourne14110472011-01-13 18:57:25 +0000108}
109
110void MangleContext::mangleObjCMethodName(const ObjCMethodDecl *MD,
Rafael Espindolaf0be9792011-02-11 02:52:17 +0000111 llvm::raw_ostream &Out) {
Peter Collingbourne14110472011-01-13 18:57:25 +0000112 llvm::SmallString<64> Name;
Rafael Espindolaf0be9792011-02-11 02:52:17 +0000113 llvm::raw_svector_ostream OS(Name);
Peter Collingbourne14110472011-01-13 18:57:25 +0000114
115 const ObjCContainerDecl *CD =
116 dyn_cast<ObjCContainerDecl>(MD->getDeclContext());
117 assert (CD && "Missing container decl in GetNameForMethod");
118 OS << (MD->isInstanceMethod() ? '-' : '+') << '[' << CD->getName();
119 if (const ObjCCategoryImplDecl *CID = dyn_cast<ObjCCategoryImplDecl>(CD))
120 OS << '(' << CID << ')';
121 OS << ' ' << MD->getSelector().getAsString() << ']';
122
123 Out << OS.str().size() << OS.str();
124}
125
126void MangleContext::mangleBlock(const BlockDecl *BD,
Rafael Espindola0e376a02011-02-11 01:41:00 +0000127 llvm::raw_ostream &Out) {
Peter Collingbourne14110472011-01-13 18:57:25 +0000128 const DeclContext *DC = BD->getDeclContext();
129 while (isa<BlockDecl>(DC) || isa<EnumDecl>(DC))
130 DC = DC->getParent();
131 if (DC->isFunctionOrMethod())
Rafael Espindolac4850c22011-02-10 23:59:36 +0000132 mangleBlock(DC, BD, Out);
Peter Collingbourne14110472011-01-13 18:57:25 +0000133 else
Rafael Espindolac4850c22011-02-10 23:59:36 +0000134 mangleGlobalBlock(BD, Out);
Peter Collingbourne14110472011-01-13 18:57:25 +0000135}