blob: 84d4ca94c3dac339b212b01b1e3599134d8d698e [file] [log] [blame]
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001//===-- DeclarationName.cpp - Declaration names implementation --*- 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// This file implements the DeclarationName and DeclarationNameTable
11// classes.
12//
13//===----------------------------------------------------------------------===//
Ted Kremenekac9590e2010-05-10 20:40:08 +000014#include "clang/AST/ASTContext.h"
15#include "clang/AST/Decl.h"
Douglas Gregor2e1cd422008-11-17 14:58:09 +000016#include "clang/AST/DeclarationName.h"
Douglas Gregor10bd3682008-11-17 22:58:34 +000017#include "clang/AST/Type.h"
Abramo Bagnara25777432010-08-11 22:01:17 +000018#include "clang/AST/TypeLoc.h"
Douglas Gregord6b5f132009-11-04 22:24:30 +000019#include "clang/AST/TypeOrdering.h"
Douglas Gregor2e1cd422008-11-17 14:58:09 +000020#include "clang/Basic/IdentifierTable.h"
Douglas Gregor370187c2009-04-22 21:45:53 +000021#include "llvm/ADT/DenseMap.h"
Douglas Gregor2e1cd422008-11-17 14:58:09 +000022#include "llvm/ADT/FoldingSet.h"
Chandler Carruthf24e54a2010-12-15 07:29:18 +000023#include "llvm/Support/ErrorHandling.h"
Benjamin Kramerf6cde772010-04-17 09:56:45 +000024#include "llvm/Support/raw_ostream.h"
Douglas Gregor2e1cd422008-11-17 14:58:09 +000025using namespace clang;
26
27namespace clang {
28/// CXXSpecialName - Records the type associated with one of the
29/// "special" kinds of declaration names in C++, e.g., constructors,
30/// destructors, and conversion functions.
Mike Stump1eb44332009-09-09 15:08:12 +000031class CXXSpecialName
Douglas Gregor2e1cd422008-11-17 14:58:09 +000032 : public DeclarationNameExtra, public llvm::FoldingSetNode {
33public:
Douglas Gregor2def4832008-11-17 20:34:05 +000034 /// Type - The type associated with this declaration name.
Douglas Gregor2e1cd422008-11-17 14:58:09 +000035 QualType Type;
36
Douglas Gregor2def4832008-11-17 20:34:05 +000037 /// FETokenInfo - Extra information associated with this declaration
38 /// name that can be used by the front end.
39 void *FETokenInfo;
40
Douglas Gregor2e1cd422008-11-17 14:58:09 +000041 void Profile(llvm::FoldingSetNodeID &ID) {
42 ID.AddInteger(ExtraKindOrNumArgs);
43 ID.AddPointer(Type.getAsOpaquePtr());
44 }
45};
46
Douglas Gregore94ca9e42008-11-18 14:39:36 +000047/// CXXOperatorIdName - Contains extra information for the name of an
Mike Stump1eb44332009-09-09 15:08:12 +000048/// overloaded operator in C++, such as "operator+.
Douglas Gregore94ca9e42008-11-18 14:39:36 +000049class CXXOperatorIdName : public DeclarationNameExtra {
50public:
51 /// FETokenInfo - Extra information associated with this operator
52 /// name that can be used by the front end.
53 void *FETokenInfo;
54};
55
Sean Hunt3e518bd2009-11-29 07:34:05 +000056/// CXXLiberalOperatorName - Contains the actual identifier that makes up the
57/// name.
58///
59/// This identifier is stored here rather than directly in DeclarationName so as
60/// to allow Objective-C selectors, which are about a million times more common,
61/// to consume minimal memory.
Sean Hunta6c058d2010-01-13 09:01:02 +000062class CXXLiteralOperatorIdName
63 : public DeclarationNameExtra, public llvm::FoldingSetNode {
Sean Hunt3e518bd2009-11-29 07:34:05 +000064public:
65 IdentifierInfo *ID;
Sean Hunta6c058d2010-01-13 09:01:02 +000066
67 void Profile(llvm::FoldingSetNodeID &FSID) {
68 FSID.AddPointer(ID);
69 }
Sean Hunt3e518bd2009-11-29 07:34:05 +000070};
71
John McCall7fe0b9e2010-02-13 01:04:05 +000072static int compareInt(unsigned A, unsigned B) {
73 return (A < B ? -1 : (A > B ? 1 : 0));
74}
75
76int DeclarationName::compare(DeclarationName LHS, DeclarationName RHS) {
Douglas Gregord6b5f132009-11-04 22:24:30 +000077 if (LHS.getNameKind() != RHS.getNameKind())
John McCall7fe0b9e2010-02-13 01:04:05 +000078 return (LHS.getNameKind() < RHS.getNameKind() ? -1 : 1);
Douglas Gregord6b5f132009-11-04 22:24:30 +000079
80 switch (LHS.getNameKind()) {
John McCall7fe0b9e2010-02-13 01:04:05 +000081 case DeclarationName::Identifier: {
82 IdentifierInfo *LII = LHS.getAsIdentifierInfo();
83 IdentifierInfo *RII = RHS.getAsIdentifierInfo();
84 if (!LII) return RII ? -1 : 0;
85 if (!RII) return 1;
86
87 return LII->getName().compare(RII->getName());
88 }
Douglas Gregor2e1cd422008-11-17 14:58:09 +000089
Douglas Gregord6b5f132009-11-04 22:24:30 +000090 case DeclarationName::ObjCZeroArgSelector:
91 case DeclarationName::ObjCOneArgSelector:
92 case DeclarationName::ObjCMultiArgSelector: {
93 Selector LHSSelector = LHS.getObjCSelector();
94 Selector RHSSelector = RHS.getObjCSelector();
John McCall7fe0b9e2010-02-13 01:04:05 +000095 unsigned LN = LHSSelector.getNumArgs(), RN = RHSSelector.getNumArgs();
96 for (unsigned I = 0, N = std::min(LN, RN); I != N; ++I) {
Douglas Gregor813d8342011-02-18 22:29:55 +000097 switch (LHSSelector.getNameForSlot(I).compare(
98 RHSSelector.getNameForSlot(I))) {
Douglas Gregord6b5f132009-11-04 22:24:30 +000099 case -1: return true;
100 case 1: return false;
101 default: break;
102 }
103 }
John McCall7fe0b9e2010-02-13 01:04:05 +0000104
105 return compareInt(LN, RN);
Douglas Gregord6b5f132009-11-04 22:24:30 +0000106 }
107
108 case DeclarationName::CXXConstructorName:
109 case DeclarationName::CXXDestructorName:
110 case DeclarationName::CXXConversionFunctionName:
John McCall7fe0b9e2010-02-13 01:04:05 +0000111 if (QualTypeOrdering()(LHS.getCXXNameType(), RHS.getCXXNameType()))
112 return -1;
113 if (QualTypeOrdering()(RHS.getCXXNameType(), LHS.getCXXNameType()))
114 return 1;
115 return 0;
Douglas Gregord6b5f132009-11-04 22:24:30 +0000116
117 case DeclarationName::CXXOperatorName:
John McCall7fe0b9e2010-02-13 01:04:05 +0000118 return compareInt(LHS.getCXXOverloadedOperator(),
119 RHS.getCXXOverloadedOperator());
Sean Hunt3e518bd2009-11-29 07:34:05 +0000120
121 case DeclarationName::CXXLiteralOperatorName:
John McCall7fe0b9e2010-02-13 01:04:05 +0000122 return LHS.getCXXLiteralIdentifier()->getName().compare(
123 RHS.getCXXLiteralIdentifier()->getName());
Douglas Gregord6b5f132009-11-04 22:24:30 +0000124
125 case DeclarationName::CXXUsingDirective:
John McCall7fe0b9e2010-02-13 01:04:05 +0000126 return 0;
Douglas Gregord6b5f132009-11-04 22:24:30 +0000127 }
128
John McCall7fe0b9e2010-02-13 01:04:05 +0000129 return 0;
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000130}
131
132} // end namespace clang
133
134DeclarationName::DeclarationName(Selector Sel) {
Douglas Gregor319ac892009-04-23 22:29:11 +0000135 if (!Sel.getAsOpaquePtr()) {
Douglas Gregor813a97b2009-10-17 17:25:45 +0000136 Ptr = 0;
Douglas Gregor319ac892009-04-23 22:29:11 +0000137 return;
138 }
139
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000140 switch (Sel.getNumArgs()) {
141 case 0:
142 Ptr = reinterpret_cast<uintptr_t>(Sel.getAsIdentifierInfo());
Ted Kremenek3eb8dd72009-03-14 00:27:40 +0000143 assert((Ptr & PtrMask) == 0 && "Improperly aligned IdentifierInfo");
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000144 Ptr |= StoredObjCZeroArgSelector;
145 break;
146
147 case 1:
148 Ptr = reinterpret_cast<uintptr_t>(Sel.getAsIdentifierInfo());
Ted Kremenek3eb8dd72009-03-14 00:27:40 +0000149 assert((Ptr & PtrMask) == 0 && "Improperly aligned IdentifierInfo");
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000150 Ptr |= StoredObjCOneArgSelector;
151 break;
152
153 default:
154 Ptr = Sel.InfoPtr & ~Selector::ArgFlags;
Ted Kremenek3eb8dd72009-03-14 00:27:40 +0000155 assert((Ptr & PtrMask) == 0 && "Improperly aligned MultiKeywordSelector");
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000156 Ptr |= StoredDeclarationNameExtra;
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000157 break;
158 }
159}
160
161DeclarationName::NameKind DeclarationName::getNameKind() const {
162 switch (getStoredNameKind()) {
163 case StoredIdentifier: return Identifier;
164 case StoredObjCZeroArgSelector: return ObjCZeroArgSelector;
165 case StoredObjCOneArgSelector: return ObjCOneArgSelector;
166
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000167 case StoredDeclarationNameExtra:
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000168 switch (getExtra()->ExtraKindOrNumArgs) {
Mike Stump1eb44332009-09-09 15:08:12 +0000169 case DeclarationNameExtra::CXXConstructor:
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000170 return CXXConstructorName;
171
Mike Stump1eb44332009-09-09 15:08:12 +0000172 case DeclarationNameExtra::CXXDestructor:
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000173 return CXXDestructorName;
174
Mike Stump1eb44332009-09-09 15:08:12 +0000175 case DeclarationNameExtra::CXXConversionFunction:
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000176 return CXXConversionFunctionName;
177
Sean Hunt3e518bd2009-11-29 07:34:05 +0000178 case DeclarationNameExtra::CXXLiteralOperator:
179 return CXXLiteralOperatorName;
180
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000181 case DeclarationNameExtra::CXXUsingDirective:
182 return CXXUsingDirective;
183
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000184 default:
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000185 // Check if we have one of the CXXOperator* enumeration values.
Mike Stump1eb44332009-09-09 15:08:12 +0000186 if (getExtra()->ExtraKindOrNumArgs <
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000187 DeclarationNameExtra::CXXUsingDirective)
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000188 return CXXOperatorName;
189
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000190 return ObjCMultiArgSelector;
191 }
192 break;
193 }
194
195 // Can't actually get here.
David Blaikieb219cfc2011-09-23 05:06:16 +0000196 llvm_unreachable("This should be unreachable!");
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000197 return Identifier;
198}
199
Douglas Gregor48026d22010-01-11 18:40:55 +0000200bool DeclarationName::isDependentName() const {
201 QualType T = getCXXNameType();
202 return !T.isNull() && T->isDependentType();
203}
204
Douglas Gregor10bd3682008-11-17 22:58:34 +0000205std::string DeclarationName::getAsString() const {
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000206 std::string Result;
207 llvm::raw_string_ostream OS(Result);
208 printName(OS);
209 return OS.str();
210}
211
Chris Lattner5f9e2722011-07-23 10:55:15 +0000212void DeclarationName::printName(raw_ostream &OS) const {
Douglas Gregor10bd3682008-11-17 22:58:34 +0000213 switch (getNameKind()) {
214 case Identifier:
215 if (const IdentifierInfo *II = getAsIdentifierInfo())
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000216 OS << II->getName();
217 return;
Douglas Gregor10bd3682008-11-17 22:58:34 +0000218
219 case ObjCZeroArgSelector:
220 case ObjCOneArgSelector:
221 case ObjCMultiArgSelector:
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000222 OS << getObjCSelector().getAsString();
223 return;
Douglas Gregor10bd3682008-11-17 22:58:34 +0000224
225 case CXXConstructorName: {
226 QualType ClassType = getCXXNameType();
Ted Kremenek6217b802009-07-29 21:53:49 +0000227 if (const RecordType *ClassRec = ClassType->getAs<RecordType>())
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000228 OS << ClassRec->getDecl();
229 else
230 OS << ClassType.getAsString();
231 return;
Douglas Gregor10bd3682008-11-17 22:58:34 +0000232 }
233
234 case CXXDestructorName: {
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000235 OS << '~';
Douglas Gregor10bd3682008-11-17 22:58:34 +0000236 QualType Type = getCXXNameType();
Ted Kremenek6217b802009-07-29 21:53:49 +0000237 if (const RecordType *Rec = Type->getAs<RecordType>())
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000238 OS << Rec->getDecl();
Douglas Gregor10bd3682008-11-17 22:58:34 +0000239 else
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000240 OS << Type.getAsString();
241 return;
Douglas Gregor10bd3682008-11-17 22:58:34 +0000242 }
243
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000244 case CXXOperatorName: {
Nuno Lopes2550d702009-12-23 17:49:57 +0000245 static const char* const OperatorNames[NUM_OVERLOADED_OPERATORS] = {
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000246 0,
247#define OVERLOADED_OPERATOR(Name,Spelling,Token,Unary,Binary,MemberOnly) \
248 Spelling,
249#include "clang/Basic/OperatorKinds.def"
250 };
251 const char *OpName = OperatorNames[getCXXOverloadedOperator()];
252 assert(OpName && "not an overloaded operator");
Mike Stump1eb44332009-09-09 15:08:12 +0000253
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000254 OS << "operator";
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000255 if (OpName[0] >= 'a' && OpName[0] <= 'z')
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000256 OS << ' ';
257 OS << OpName;
258 return;
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000259 }
260
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000261 case CXXLiteralOperatorName:
262 OS << "operator \"\" " << getCXXLiteralIdentifier()->getName();
263 return;
Sean Hunt3e518bd2009-11-29 07:34:05 +0000264
Douglas Gregor10bd3682008-11-17 22:58:34 +0000265 case CXXConversionFunctionName: {
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000266 OS << "operator ";
Douglas Gregor10bd3682008-11-17 22:58:34 +0000267 QualType Type = getCXXNameType();
Ted Kremenek6217b802009-07-29 21:53:49 +0000268 if (const RecordType *Rec = Type->getAs<RecordType>())
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000269 OS << Rec->getDecl();
Douglas Gregor10bd3682008-11-17 22:58:34 +0000270 else
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000271 OS << Type.getAsString();
272 return;
Douglas Gregor10bd3682008-11-17 22:58:34 +0000273 }
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000274 case CXXUsingDirective:
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000275 OS << "<using-directive>";
276 return;
Douglas Gregor10bd3682008-11-17 22:58:34 +0000277 }
278
David Blaikieb219cfc2011-09-23 05:06:16 +0000279 llvm_unreachable("Unexpected declaration name kind");
Douglas Gregor10bd3682008-11-17 22:58:34 +0000280}
281
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000282QualType DeclarationName::getCXXNameType() const {
283 if (CXXSpecialName *CXXName = getAsCXXSpecialName())
284 return CXXName->Type;
285 else
286 return QualType();
287}
288
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000289OverloadedOperatorKind DeclarationName::getCXXOverloadedOperator() const {
290 if (CXXOperatorIdName *CXXOp = getAsCXXOperatorIdName()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000291 unsigned value
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000292 = CXXOp->ExtraKindOrNumArgs - DeclarationNameExtra::CXXConversionFunction;
293 return static_cast<OverloadedOperatorKind>(value);
294 } else {
295 return OO_None;
296 }
297}
298
Sean Hunt3e518bd2009-11-29 07:34:05 +0000299IdentifierInfo *DeclarationName::getCXXLiteralIdentifier() const {
300 if (CXXLiteralOperatorIdName *CXXLit = getAsCXXLiteralOperatorIdName())
301 return CXXLit->ID;
302 else
303 return 0;
304}
305
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000306Selector DeclarationName::getObjCSelector() const {
307 switch (getNameKind()) {
308 case ObjCZeroArgSelector:
309 return Selector(reinterpret_cast<IdentifierInfo *>(Ptr & ~PtrMask), 0);
310
311 case ObjCOneArgSelector:
312 return Selector(reinterpret_cast<IdentifierInfo *>(Ptr & ~PtrMask), 1);
313
314 case ObjCMultiArgSelector:
315 return Selector(reinterpret_cast<MultiKeywordSelector *>(Ptr & ~PtrMask));
316
317 default:
318 break;
319 }
320
321 return Selector();
322}
323
Douglas Gregor2def4832008-11-17 20:34:05 +0000324void *DeclarationName::getFETokenInfoAsVoid() const {
325 switch (getNameKind()) {
326 case Identifier:
327 return getAsIdentifierInfo()->getFETokenInfo<void>();
328
329 case CXXConstructorName:
330 case CXXDestructorName:
331 case CXXConversionFunctionName:
332 return getAsCXXSpecialName()->FETokenInfo;
333
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000334 case CXXOperatorName:
335 return getAsCXXOperatorIdName()->FETokenInfo;
336
Sean Hunt3e518bd2009-11-29 07:34:05 +0000337 case CXXLiteralOperatorName:
338 return getCXXLiteralIdentifier()->getFETokenInfo<void>();
339
Douglas Gregor2def4832008-11-17 20:34:05 +0000340 default:
David Blaikieb219cfc2011-09-23 05:06:16 +0000341 llvm_unreachable("Declaration name has no FETokenInfo");
Douglas Gregor2def4832008-11-17 20:34:05 +0000342 }
343 return 0;
344}
345
346void DeclarationName::setFETokenInfo(void *T) {
347 switch (getNameKind()) {
348 case Identifier:
349 getAsIdentifierInfo()->setFETokenInfo(T);
350 break;
351
352 case CXXConstructorName:
353 case CXXDestructorName:
354 case CXXConversionFunctionName:
355 getAsCXXSpecialName()->FETokenInfo = T;
356 break;
357
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000358 case CXXOperatorName:
359 getAsCXXOperatorIdName()->FETokenInfo = T;
360 break;
361
Sean Hunt3e518bd2009-11-29 07:34:05 +0000362 case CXXLiteralOperatorName:
363 getCXXLiteralIdentifier()->setFETokenInfo(T);
364 break;
365
Douglas Gregor2def4832008-11-17 20:34:05 +0000366 default:
David Blaikieb219cfc2011-09-23 05:06:16 +0000367 llvm_unreachable("Declaration name has no FETokenInfo");
Douglas Gregor2def4832008-11-17 20:34:05 +0000368 }
369}
370
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000371DeclarationName DeclarationName::getUsingDirectiveName() {
372 // Single instance of DeclarationNameExtra for using-directive
Nuno Lopes68f7a242009-12-10 00:07:02 +0000373 static const DeclarationNameExtra UDirExtra =
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000374 { DeclarationNameExtra::CXXUsingDirective };
375
376 uintptr_t Ptr = reinterpret_cast<uintptr_t>(&UDirExtra);
377 Ptr |= StoredDeclarationNameExtra;
378
379 return DeclarationName(Ptr);
380}
381
Anders Carlsson70f5bc72009-11-15 22:30:43 +0000382void DeclarationName::dump() const {
Benjamin Kramerf6cde772010-04-17 09:56:45 +0000383 printName(llvm::errs());
384 llvm::errs() << '\n';
Anders Carlsson70f5bc72009-11-15 22:30:43 +0000385}
386
Jay Foad4ba2a172011-01-12 09:06:06 +0000387DeclarationNameTable::DeclarationNameTable(const ASTContext &C) : Ctx(C) {
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000388 CXXSpecialNamesImpl = new llvm::FoldingSet<CXXSpecialName>;
Sean Hunta6c058d2010-01-13 09:01:02 +0000389 CXXLiteralOperatorNames = new llvm::FoldingSet<CXXLiteralOperatorIdName>;
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000390
391 // Initialize the overloaded operator names.
Ted Kremenek45d9c2d2010-05-10 20:56:10 +0000392 CXXOperatorNames = new (Ctx) CXXOperatorIdName[NUM_OVERLOADED_OPERATORS];
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000393 for (unsigned Op = 0; Op < NUM_OVERLOADED_OPERATORS; ++Op) {
Mike Stump1eb44332009-09-09 15:08:12 +0000394 CXXOperatorNames[Op].ExtraKindOrNumArgs
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000395 = Op + DeclarationNameExtra::CXXConversionFunction;
396 CXXOperatorNames[Op].FETokenInfo = 0;
397 }
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000398}
399
400DeclarationNameTable::~DeclarationNameTable() {
Sean Hunta6c058d2010-01-13 09:01:02 +0000401 llvm::FoldingSet<CXXSpecialName> *SpecialNames =
Nuno Lopes6d34ae52008-12-14 17:27:25 +0000402 static_cast<llvm::FoldingSet<CXXSpecialName>*>(CXXSpecialNamesImpl);
Sean Hunta6c058d2010-01-13 09:01:02 +0000403 llvm::FoldingSet<CXXLiteralOperatorIdName> *LiteralNames
404 = static_cast<llvm::FoldingSet<CXXLiteralOperatorIdName>*>
Ted Kremenek45d9c2d2010-05-10 20:56:10 +0000405 (CXXLiteralOperatorNames);
Sean Hunta6c058d2010-01-13 09:01:02 +0000406
Sean Hunta6c058d2010-01-13 09:01:02 +0000407 delete SpecialNames;
408 delete LiteralNames;
Ted Kremenekac9590e2010-05-10 20:40:08 +0000409}
410
Mike Stump1eb44332009-09-09 15:08:12 +0000411DeclarationName
412DeclarationNameTable::getCXXSpecialName(DeclarationName::NameKind Kind,
Douglas Gregor50d62d12009-08-05 05:36:45 +0000413 CanQualType Ty) {
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000414 assert(Kind >= DeclarationName::CXXConstructorName &&
415 Kind <= DeclarationName::CXXConversionFunctionName &&
416 "Kind must be a C++ special name kind");
Mike Stump1eb44332009-09-09 15:08:12 +0000417 llvm::FoldingSet<CXXSpecialName> *SpecialNames
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000418 = static_cast<llvm::FoldingSet<CXXSpecialName>*>(CXXSpecialNamesImpl);
419
420 DeclarationNameExtra::ExtraKind EKind;
421 switch (Kind) {
Mike Stump1eb44332009-09-09 15:08:12 +0000422 case DeclarationName::CXXConstructorName:
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000423 EKind = DeclarationNameExtra::CXXConstructor;
John McCall0953e762009-09-24 19:53:00 +0000424 assert(!Ty.hasQualifiers() &&"Constructor type must be unqualified");
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000425 break;
426 case DeclarationName::CXXDestructorName:
427 EKind = DeclarationNameExtra::CXXDestructor;
John McCall0953e762009-09-24 19:53:00 +0000428 assert(!Ty.hasQualifiers() && "Destructor type must be unqualified");
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000429 break;
430 case DeclarationName::CXXConversionFunctionName:
431 EKind = DeclarationNameExtra::CXXConversionFunction;
432 break;
433 default:
434 return DeclarationName();
435 }
436
437 // Unique selector, to guarantee there is one per name.
438 llvm::FoldingSetNodeID ID;
439 ID.AddInteger(EKind);
440 ID.AddPointer(Ty.getAsOpaquePtr());
441
442 void *InsertPos = 0;
443 if (CXXSpecialName *Name = SpecialNames->FindNodeOrInsertPos(ID, InsertPos))
444 return DeclarationName(Name);
445
Ted Kremenek45d9c2d2010-05-10 20:56:10 +0000446 CXXSpecialName *SpecialName = new (Ctx) CXXSpecialName;
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000447 SpecialName->ExtraKindOrNumArgs = EKind;
448 SpecialName->Type = Ty;
Douglas Gregor2def4832008-11-17 20:34:05 +0000449 SpecialName->FETokenInfo = 0;
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000450
451 SpecialNames->InsertNode(SpecialName, InsertPos);
452 return DeclarationName(SpecialName);
453}
454
Mike Stump1eb44332009-09-09 15:08:12 +0000455DeclarationName
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000456DeclarationNameTable::getCXXOperatorName(OverloadedOperatorKind Op) {
457 return DeclarationName(&CXXOperatorNames[(unsigned)Op]);
458}
459
Sean Hunt3e518bd2009-11-29 07:34:05 +0000460DeclarationName
461DeclarationNameTable::getCXXLiteralOperatorName(IdentifierInfo *II) {
Sean Hunta6c058d2010-01-13 09:01:02 +0000462 llvm::FoldingSet<CXXLiteralOperatorIdName> *LiteralNames
463 = static_cast<llvm::FoldingSet<CXXLiteralOperatorIdName>*>
464 (CXXLiteralOperatorNames);
465
466 llvm::FoldingSetNodeID ID;
467 ID.AddPointer(II);
468
469 void *InsertPos = 0;
470 if (CXXLiteralOperatorIdName *Name =
471 LiteralNames->FindNodeOrInsertPos(ID, InsertPos))
472 return DeclarationName (Name);
473
Ted Kremenek45d9c2d2010-05-10 20:56:10 +0000474 CXXLiteralOperatorIdName *LiteralName = new (Ctx) CXXLiteralOperatorIdName;
Sean Hunt3e518bd2009-11-29 07:34:05 +0000475 LiteralName->ExtraKindOrNumArgs = DeclarationNameExtra::CXXLiteralOperator;
476 LiteralName->ID = II;
Sean Hunta6c058d2010-01-13 09:01:02 +0000477
478 LiteralNames->InsertNode(LiteralName, InsertPos);
Sean Hunt3e518bd2009-11-29 07:34:05 +0000479 return DeclarationName(LiteralName);
480}
481
Mike Stump1eb44332009-09-09 15:08:12 +0000482unsigned
Douglas Gregor44b43212008-12-11 16:49:14 +0000483llvm::DenseMapInfo<clang::DeclarationName>::
484getHashValue(clang::DeclarationName N) {
485 return DenseMapInfo<void*>::getHashValue(N.getAsOpaquePtr());
486}
487
Abramo Bagnara25777432010-08-11 22:01:17 +0000488DeclarationNameLoc::DeclarationNameLoc(DeclarationName Name) {
489 switch (Name.getNameKind()) {
490 case DeclarationName::Identifier:
491 break;
492 case DeclarationName::CXXConstructorName:
493 case DeclarationName::CXXDestructorName:
494 case DeclarationName::CXXConversionFunctionName:
495 NamedType.TInfo = 0;
496 break;
497 case DeclarationName::CXXOperatorName:
498 CXXOperatorName.BeginOpNameLoc = SourceLocation().getRawEncoding();
499 CXXOperatorName.EndOpNameLoc = SourceLocation().getRawEncoding();
500 break;
501 case DeclarationName::CXXLiteralOperatorName:
502 CXXLiteralOperatorName.OpNameLoc = SourceLocation().getRawEncoding();
503 break;
504 case DeclarationName::ObjCZeroArgSelector:
505 case DeclarationName::ObjCOneArgSelector:
506 case DeclarationName::ObjCMultiArgSelector:
507 // FIXME: ?
508 break;
509 case DeclarationName::CXXUsingDirective:
510 break;
511 }
512}
513
Douglas Gregorbebbe0d2010-12-15 01:34:56 +0000514bool DeclarationNameInfo::containsUnexpandedParameterPack() const {
515 switch (Name.getNameKind()) {
516 case DeclarationName::Identifier:
517 case DeclarationName::ObjCZeroArgSelector:
518 case DeclarationName::ObjCOneArgSelector:
519 case DeclarationName::ObjCMultiArgSelector:
520 case DeclarationName::CXXOperatorName:
521 case DeclarationName::CXXLiteralOperatorName:
522 case DeclarationName::CXXUsingDirective:
523 return false;
524
525 case DeclarationName::CXXConstructorName:
526 case DeclarationName::CXXDestructorName:
527 case DeclarationName::CXXConversionFunctionName:
528 if (TypeSourceInfo *TInfo = LocInfo.NamedType.TInfo)
529 return TInfo->getType()->containsUnexpandedParameterPack();
530
531 return Name.getCXXNameType()->containsUnexpandedParameterPack();
532 }
Chandler Carruthf24e54a2010-12-15 07:29:18 +0000533 llvm_unreachable("All name kinds handled.");
Douglas Gregorbebbe0d2010-12-15 01:34:56 +0000534}
535
Douglas Gregor561f8122011-07-01 01:22:09 +0000536bool DeclarationNameInfo::isInstantiationDependent() const {
537 switch (Name.getNameKind()) {
538 case DeclarationName::Identifier:
539 case DeclarationName::ObjCZeroArgSelector:
540 case DeclarationName::ObjCOneArgSelector:
541 case DeclarationName::ObjCMultiArgSelector:
542 case DeclarationName::CXXOperatorName:
543 case DeclarationName::CXXLiteralOperatorName:
544 case DeclarationName::CXXUsingDirective:
545 return false;
546
547 case DeclarationName::CXXConstructorName:
548 case DeclarationName::CXXDestructorName:
549 case DeclarationName::CXXConversionFunctionName:
550 if (TypeSourceInfo *TInfo = LocInfo.NamedType.TInfo)
551 return TInfo->getType()->isInstantiationDependentType();
552
553 return Name.getCXXNameType()->isInstantiationDependentType();
554 }
555 llvm_unreachable("All name kinds handled.");
556}
557
Abramo Bagnara25777432010-08-11 22:01:17 +0000558std::string DeclarationNameInfo::getAsString() const {
559 std::string Result;
560 llvm::raw_string_ostream OS(Result);
561 printName(OS);
562 return OS.str();
563}
564
Chris Lattner5f9e2722011-07-23 10:55:15 +0000565void DeclarationNameInfo::printName(raw_ostream &OS) const {
Abramo Bagnara25777432010-08-11 22:01:17 +0000566 switch (Name.getNameKind()) {
567 case DeclarationName::Identifier:
568 case DeclarationName::ObjCZeroArgSelector:
569 case DeclarationName::ObjCOneArgSelector:
570 case DeclarationName::ObjCMultiArgSelector:
571 case DeclarationName::CXXOperatorName:
572 case DeclarationName::CXXLiteralOperatorName:
573 case DeclarationName::CXXUsingDirective:
574 Name.printName(OS);
575 return;
576
577 case DeclarationName::CXXConstructorName:
578 case DeclarationName::CXXDestructorName:
579 case DeclarationName::CXXConversionFunctionName:
580 if (TypeSourceInfo *TInfo = LocInfo.NamedType.TInfo) {
581 if (Name.getNameKind() == DeclarationName::CXXDestructorName)
582 OS << '~';
583 else if (Name.getNameKind() == DeclarationName::CXXConversionFunctionName)
584 OS << "operator ";
585 OS << TInfo->getType().getAsString();
586 }
587 else
588 Name.printName(OS);
589 return;
590 }
David Blaikieb219cfc2011-09-23 05:06:16 +0000591 llvm_unreachable("Unexpected declaration name kind");
Abramo Bagnara25777432010-08-11 22:01:17 +0000592}
593
594SourceLocation DeclarationNameInfo::getEndLoc() const {
595 switch (Name.getNameKind()) {
596 case DeclarationName::Identifier:
597 return NameLoc;
598
599 case DeclarationName::CXXOperatorName: {
600 unsigned raw = LocInfo.CXXOperatorName.EndOpNameLoc;
601 return SourceLocation::getFromRawEncoding(raw);
602 }
603
604 case DeclarationName::CXXLiteralOperatorName: {
605 unsigned raw = LocInfo.CXXLiteralOperatorName.OpNameLoc;
606 return SourceLocation::getFromRawEncoding(raw);
607 }
608
609 case DeclarationName::CXXConstructorName:
610 case DeclarationName::CXXDestructorName:
611 case DeclarationName::CXXConversionFunctionName:
612 if (TypeSourceInfo *TInfo = LocInfo.NamedType.TInfo)
613 return TInfo->getTypeLoc().getEndLoc();
614 else
615 return NameLoc;
616
617 // DNInfo work in progress: FIXME.
618 case DeclarationName::ObjCZeroArgSelector:
619 case DeclarationName::ObjCOneArgSelector:
620 case DeclarationName::ObjCMultiArgSelector:
621 case DeclarationName::CXXUsingDirective:
622 return NameLoc;
623 }
David Blaikieb219cfc2011-09-23 05:06:16 +0000624 llvm_unreachable("Unexpected declaration name kind");
Abramo Bagnara25777432010-08-11 22:01:17 +0000625 return SourceLocation();
626}