blob: 2bed531ae3d79425b85d51591747174e00765973 [file] [log] [blame]
Eugene Zelenko918e0ca2017-11-03 22:35:27 +00001//===- IdentifierTable.cpp - Hash table for identifier lookup -------------===//
Chris Lattner22eb9722006-06-18 05:43:12 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner22eb9722006-06-18 05:43:12 +00007//
8//===----------------------------------------------------------------------===//
9//
Chris Lattnerc79f6fb2006-07-04 17:53:21 +000010// This file implements the IdentifierInfo, IdentifierVisitor, and
Chris Lattner91cbf112006-07-03 04:28:52 +000011// IdentifierTable interfaces.
Chris Lattner22eb9722006-06-18 05:43:12 +000012//
13//===----------------------------------------------------------------------===//
14
Benjamin Kramerf3ca26982014-05-10 16:31:55 +000015#include "clang/Basic/IdentifierTable.h"
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000016#include "clang/Basic/CharInfo.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000017#include "clang/Basic/LangOptions.h"
Benjamin Kramerf3ca26982014-05-10 16:31:55 +000018#include "clang/Basic/OperatorKinds.h"
Douglas Gregor813a0662015-06-19 18:14:38 +000019#include "clang/Basic/Specifiers.h"
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000020#include "clang/Basic/TokenKinds.h"
21#include "llvm/ADT/DenseMapInfo.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000022#include "llvm/ADT/FoldingSet.h"
Benjamin Kramerf3ca26982014-05-10 16:31:55 +000023#include "llvm/ADT/SmallString.h"
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000024#include "llvm/ADT/StringMap.h"
25#include "llvm/ADT/StringRef.h"
26#include "llvm/Support/Allocator.h"
David Blaikie8a40f702012-01-17 06:56:22 +000027#include "llvm/Support/ErrorHandling.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000028#include "llvm/Support/raw_ostream.h"
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000029#include <cassert>
Chris Lattnerc25d8a72009-03-02 22:20:04 +000030#include <cstdio>
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000031#include <cstring>
32#include <string>
Ted Kremenekf25f4a32007-10-23 22:18:37 +000033
Chris Lattner22eb9722006-06-18 05:43:12 +000034using namespace clang;
35
36//===----------------------------------------------------------------------===//
Chris Lattnerc79f6fb2006-07-04 17:53:21 +000037// IdentifierInfo Implementation
Chris Lattner22eb9722006-06-18 05:43:12 +000038//===----------------------------------------------------------------------===//
39
Ted Kremenek52f73ca2009-01-20 23:28:34 +000040IdentifierInfo::IdentifierInfo() {
Chris Lattner3bc804e2006-10-28 23:46:24 +000041 TokenID = tok::identifier;
Douglas Gregor2ad7ee92008-11-06 16:32:23 +000042 ObjCOrBuiltinID = 0;
Chris Lattnera441ca62007-10-07 07:09:52 +000043 HasMacro = false;
Alexander Kornienko1d26c022012-09-25 17:18:14 +000044 HadMacro = false;
Chris Lattner3bc804e2006-10-28 23:46:24 +000045 IsExtension = false;
Richard Smith31d51842015-05-14 04:00:59 +000046 IsFutureCompatKeyword = false;
Chris Lattner3bc804e2006-10-28 23:46:24 +000047 IsPoisoned = false;
Chris Lattner5b9f4892006-11-21 17:23:33 +000048 IsCPPOperatorKeyword = false;
Chris Lattnerad89ec02009-01-21 07:43:11 +000049 NeedsHandleIdentifier = false;
Sebastian Redld44cd6a2010-08-18 23:57:06 +000050 IsFromAST = false;
Douglas Gregor935bc7a22011-10-27 09:33:13 +000051 ChangedAfterLoad = false;
Richard Smithd79514e2016-02-05 19:03:40 +000052 FEChangedAfterLoad = false;
Argyrios Kyrtzidis3084a612010-08-11 22:55:12 +000053 RevertedTokenID = false;
Douglas Gregor935bc7a22011-10-27 09:33:13 +000054 OutOfDate = false;
Ted Kremenekc1e4dd02012-03-01 22:07:04 +000055 IsModulesImport = false;
Chris Lattner3bc804e2006-10-28 23:46:24 +000056}
57
Chris Lattner91cbf112006-07-03 04:28:52 +000058//===----------------------------------------------------------------------===//
Chris Lattner22eb9722006-06-18 05:43:12 +000059// IdentifierTable Implementation
60//===----------------------------------------------------------------------===//
61
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000062IdentifierIterator::~IdentifierIterator() = default;
Douglas Gregor57756ea2010-10-14 22:11:03 +000063
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000064IdentifierInfoLookup::~IdentifierInfoLookup() = default;
Ted Kremeneka705b042009-01-15 18:47:46 +000065
Douglas Gregor57756ea2010-10-14 22:11:03 +000066namespace {
Eugene Zelenko918e0ca2017-11-03 22:35:27 +000067
68/// \brief A simple identifier lookup iterator that represents an
69/// empty sequence of identifiers.
70class EmptyLookupIterator : public IdentifierIterator
71{
72public:
73 StringRef Next() override { return StringRef(); }
74};
75
76} // namespace
Douglas Gregor57756ea2010-10-14 22:11:03 +000077
Argyrios Kyrtzidis9aca3c62013-04-17 22:10:55 +000078IdentifierIterator *IdentifierInfoLookup::getIdentifiers() {
Douglas Gregor57756ea2010-10-14 22:11:03 +000079 return new EmptyLookupIterator();
80}
81
Ted Kremeneka705b042009-01-15 18:47:46 +000082IdentifierTable::IdentifierTable(const LangOptions &LangOpts,
83 IdentifierInfoLookup* externalLookup)
84 : HashTable(8192), // Start with space for 8K identifiers.
85 ExternalLookup(externalLookup) {
Chris Lattnerf2e3ac32006-10-27 03:59:10 +000086 // Populate the identifier table with info about keywords for the current
87 // language.
Chris Lattner25e0d542006-10-18 06:07:05 +000088 AddKeywords(LangOpts);
Ted Kremenek94666032012-03-01 22:53:32 +000089
90 // Add the '_experimental_modules_import' contextual keyword.
Douglas Gregorc50d4922012-12-11 22:11:52 +000091 get("import").setModulesImport(true);
Chris Lattner91cbf112006-07-03 04:28:52 +000092}
Chris Lattner22eb9722006-06-18 05:43:12 +000093
Chris Lattner25e0d542006-10-18 06:07:05 +000094//===----------------------------------------------------------------------===//
95// Language Keyword Implementation
96//===----------------------------------------------------------------------===//
97
Eli Friedman2b680b42009-04-28 03:13:54 +000098// Constants for TokenKinds.def
99namespace {
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000100
Eli Friedman2b680b42009-04-28 03:13:54 +0000101 enum {
Dylan Noblesmith92c07c22011-04-09 13:34:05 +0000102 KEYC99 = 0x1,
103 KEYCXX = 0x2,
Richard Smith89645bc2013-01-02 12:01:23 +0000104 KEYCXX11 = 0x4,
Dylan Noblesmith92c07c22011-04-09 13:34:05 +0000105 KEYGNU = 0x8,
106 KEYMS = 0x10,
107 BOOLSUPPORT = 0x20,
108 KEYALTIVEC = 0x40,
109 KEYNOCXX = 0x80,
110 KEYBORLAND = 0x100,
111 KEYOPENCL = 0x200,
Benjamin Kramere56f3932011-12-23 17:00:35 +0000112 KEYC11 = 0x400,
John McCall31168b02011-06-15 23:02:42 +0000113 KEYARC = 0x800,
David Majnemer28aae9c2015-03-18 04:15:23 +0000114 KEYNOMS18 = 0x01000,
Anastasia Stulovab1152f12015-03-18 12:55:29 +0000115 KEYNOOPENCL = 0x02000,
116 WCHARSUPPORT = 0x04000,
117 HALFSUPPORT = 0x08000,
Hubert Tong6e04f982015-06-05 01:10:24 +0000118 KEYCONCEPTS = 0x10000,
Douglas Gregorab209d82015-07-07 03:58:42 +0000119 KEYOBJC2 = 0x20000,
Ulrich Weigand3c5038a2015-07-30 14:08:36 +0000120 KEYZVECTOR = 0x40000,
Richard Smitheb7927e2015-10-22 03:52:15 +0000121 KEYCOROUTINES = 0x80000,
Richard Smithc7bf3802016-07-23 02:32:21 +0000122 KEYMODULES = 0x100000,
Richard Smith6c74e322017-08-13 21:32:33 +0000123 KEYCXX2A = 0x200000,
124 KEYALLCXX = KEYCXX | KEYCXX11 | KEYCXX2A,
125 KEYALL = (0x3fffff & ~KEYNOMS18 &
Anastasia Stulovab1152f12015-03-18 12:55:29 +0000126 ~KEYNOOPENCL) // KEYNOMS18 and KEYNOOPENCL are used to exclude.
Eli Friedman2b680b42009-04-28 03:13:54 +0000127 };
Serge Pavlov77af3812014-10-29 10:59:18 +0000128
129 /// \brief How a keyword is treated in the selected standard.
130 enum KeywordStatus {
131 KS_Disabled, // Disabled
132 KS_Extension, // Is an extension
133 KS_Enabled, // Enabled
134 KS_Future // Is a keyword in future standard
135 };
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000136
137} // namespace
Serge Pavlov77af3812014-10-29 10:59:18 +0000138
139/// \brief Translates flags as specified in TokenKinds.def into keyword status
140/// in the given language standard.
Serge Pavlov83cf0782014-12-11 12:18:08 +0000141static KeywordStatus getKeywordStatus(const LangOptions &LangOpts,
Serge Pavlov77af3812014-10-29 10:59:18 +0000142 unsigned Flags) {
143 if (Flags == KEYALL) return KS_Enabled;
144 if (LangOpts.CPlusPlus && (Flags & KEYCXX)) return KS_Enabled;
145 if (LangOpts.CPlusPlus11 && (Flags & KEYCXX11)) return KS_Enabled;
Richard Smith6c74e322017-08-13 21:32:33 +0000146 if (LangOpts.CPlusPlus2a && (Flags & KEYCXX2A)) return KS_Enabled;
Serge Pavlov77af3812014-10-29 10:59:18 +0000147 if (LangOpts.C99 && (Flags & KEYC99)) return KS_Enabled;
148 if (LangOpts.GNUKeywords && (Flags & KEYGNU)) return KS_Extension;
149 if (LangOpts.MicrosoftExt && (Flags & KEYMS)) return KS_Extension;
150 if (LangOpts.Borland && (Flags & KEYBORLAND)) return KS_Extension;
151 if (LangOpts.Bool && (Flags & BOOLSUPPORT)) return KS_Enabled;
152 if (LangOpts.Half && (Flags & HALFSUPPORT)) return KS_Enabled;
153 if (LangOpts.WChar && (Flags & WCHARSUPPORT)) return KS_Enabled;
154 if (LangOpts.AltiVec && (Flags & KEYALTIVEC)) return KS_Enabled;
155 if (LangOpts.OpenCL && (Flags & KEYOPENCL)) return KS_Enabled;
156 if (!LangOpts.CPlusPlus && (Flags & KEYNOCXX)) return KS_Enabled;
157 if (LangOpts.C11 && (Flags & KEYC11)) return KS_Enabled;
158 // We treat bridge casts as objective-C keywords so we can warn on them
159 // in non-arc mode.
160 if (LangOpts.ObjC2 && (Flags & KEYARC)) return KS_Enabled;
Douglas Gregorab209d82015-07-07 03:58:42 +0000161 if (LangOpts.ObjC2 && (Flags & KEYOBJC2)) return KS_Enabled;
Richard Smithc7bf3802016-07-23 02:32:21 +0000162 if (LangOpts.ConceptsTS && (Flags & KEYCONCEPTS)) return KS_Enabled;
Gor Nishanov4ffb4342016-10-02 03:31:58 +0000163 if (LangOpts.CoroutinesTS && (Flags & KEYCOROUTINES)) return KS_Enabled;
Richard Smithc7bf3802016-07-23 02:32:21 +0000164 if (LangOpts.ModulesTS && (Flags & KEYMODULES)) return KS_Enabled;
Richard Smith6c74e322017-08-13 21:32:33 +0000165 if (LangOpts.CPlusPlus && (Flags & KEYALLCXX)) return KS_Future;
Serge Pavlov77af3812014-10-29 10:59:18 +0000166 return KS_Disabled;
Eli Friedman2b680b42009-04-28 03:13:54 +0000167}
168
Chris Lattner25e0d542006-10-18 06:07:05 +0000169/// AddKeyword - This method is used to associate a token ID with specific
170/// identifiers because they are language keywords. This causes the lexer to
171/// automatically map matching identifiers to specialized token codes.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000172static void AddKeyword(StringRef Keyword,
Eli Friedman2b680b42009-04-28 03:13:54 +0000173 tok::TokenKind TokenCode, unsigned Flags,
Chris Lattner25e0d542006-10-18 06:07:05 +0000174 const LangOptions &LangOpts, IdentifierTable &Table) {
Serge Pavlov83cf0782014-12-11 12:18:08 +0000175 KeywordStatus AddResult = getKeywordStatus(LangOpts, Flags);
Richard Smith4dd85d62011-10-11 19:57:52 +0000176
Alp Tokerbfa39342014-01-14 12:51:41 +0000177 // Don't add this keyword under MSVCCompat.
David Majnemer28aae9c2015-03-18 04:15:23 +0000178 if (LangOpts.MSVCCompat && (Flags & KEYNOMS18) &&
David Majnemerb710a932015-05-11 03:57:49 +0000179 !LangOpts.isCompatibleWithMSVC(LangOptions::MSVC2015))
Anastasia Stulovab1152f12015-03-18 12:55:29 +0000180 return;
181
182 // Don't add this keyword under OpenCL.
183 if (LangOpts.OpenCL && (Flags & KEYNOOPENCL))
184 return;
185
Eli Friedman2b680b42009-04-28 03:13:54 +0000186 // Don't add this keyword if disabled in this language.
Serge Pavlov77af3812014-10-29 10:59:18 +0000187 if (AddResult == KS_Disabled) return;
Eli Friedman2b680b42009-04-28 03:13:54 +0000188
Richard Smith4dd85d62011-10-11 19:57:52 +0000189 IdentifierInfo &Info =
Serge Pavlov77af3812014-10-29 10:59:18 +0000190 Table.get(Keyword, AddResult == KS_Future ? tok::identifier : TokenCode);
191 Info.setIsExtensionToken(AddResult == KS_Extension);
Richard Smith31d51842015-05-14 04:00:59 +0000192 Info.setIsFutureCompatKeyword(AddResult == KS_Future);
Chris Lattner25e0d542006-10-18 06:07:05 +0000193}
194
Chris Lattner5b9f4892006-11-21 17:23:33 +0000195/// AddCXXOperatorKeyword - Register a C++ operator keyword alternative
196/// representations.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000197static void AddCXXOperatorKeyword(StringRef Keyword,
Chris Lattner5b9f4892006-11-21 17:23:33 +0000198 tok::TokenKind TokenCode,
199 IdentifierTable &Table) {
Argyrios Kyrtzidis3084a612010-08-11 22:55:12 +0000200 IdentifierInfo &Info = Table.get(Keyword, TokenCode);
Ted Kremenekf25f4a32007-10-23 22:18:37 +0000201 Info.setIsCPlusPlusOperatorKeyword();
Chris Lattner5b9f4892006-11-21 17:23:33 +0000202}
203
James Dennett0d8a3f82012-06-15 21:27:44 +0000204/// AddObjCKeyword - Register an Objective-C \@keyword like "class" "selector"
205/// or "property".
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000206static void AddObjCKeyword(StringRef Name,
Kovarththanan Rajaratnam00682a42010-03-12 11:27:37 +0000207 tok::ObjCKeywordKind ObjCID,
Chris Lattner25e0d542006-10-18 06:07:05 +0000208 IdentifierTable &Table) {
Kovarththanan Rajaratnam00682a42010-03-12 11:27:37 +0000209 Table.get(Name).setObjCKeywordID(ObjCID);
Chris Lattner25e0d542006-10-18 06:07:05 +0000210}
211
212/// AddKeywords - Add all keywords to the symbol table.
213///
214void IdentifierTable::AddKeywords(const LangOptions &LangOpts) {
Chris Lattner25e0d542006-10-18 06:07:05 +0000215 // Add keywords and tokens for the current language.
216#define KEYWORD(NAME, FLAGS) \
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000217 AddKeyword(StringRef(#NAME), tok::kw_ ## NAME, \
Eli Friedman2b680b42009-04-28 03:13:54 +0000218 FLAGS, LangOpts, *this);
219#define ALIAS(NAME, TOK, FLAGS) \
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000220 AddKeyword(StringRef(NAME), tok::kw_ ## TOK, \
Eli Friedman2b680b42009-04-28 03:13:54 +0000221 FLAGS, LangOpts, *this);
Chris Lattner5b9f4892006-11-21 17:23:33 +0000222#define CXX_KEYWORD_OPERATOR(NAME, ALIAS) \
Chris Lattner3e7592e2006-12-04 07:48:37 +0000223 if (LangOpts.CXXOperatorNames) \
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000224 AddCXXOperatorKeyword(StringRef(#NAME), tok::ALIAS, *this);
Chris Lattner25e0d542006-10-18 06:07:05 +0000225#define OBJC1_AT_KEYWORD(NAME) \
226 if (LangOpts.ObjC1) \
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000227 AddObjCKeyword(StringRef(#NAME), tok::objc_##NAME, *this);
Chris Lattner25e0d542006-10-18 06:07:05 +0000228#define OBJC2_AT_KEYWORD(NAME) \
229 if (LangOpts.ObjC2) \
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000230 AddObjCKeyword(StringRef(#NAME), tok::objc_##NAME, *this);
John McCall39439732011-04-09 22:50:59 +0000231#define TESTING_KEYWORD(NAME, FLAGS)
Chris Lattner25e0d542006-10-18 06:07:05 +0000232#include "clang/Basic/TokenKinds.def"
John McCall39439732011-04-09 22:50:59 +0000233
234 if (LangOpts.ParseUnknownAnytype)
235 AddKeyword("__unknown_anytype", tok::kw___unknown_anytype, KEYALL,
236 LangOpts, *this);
Aaron Ballman674cf262015-05-26 19:44:52 +0000237
Saleem Abdulrasoold170c4b2015-10-04 17:51:05 +0000238 if (LangOpts.DeclSpecKeyword)
Aaron Ballman674cf262015-05-26 19:44:52 +0000239 AddKeyword("__declspec", tok::kw___declspec, KEYALL, LangOpts, *this);
Chris Lattner25e0d542006-10-18 06:07:05 +0000240}
241
Serge Pavlov83cf0782014-12-11 12:18:08 +0000242/// \brief Checks if the specified token kind represents a keyword in the
243/// specified language.
244/// \returns Status of the keyword in the language.
245static KeywordStatus getTokenKwStatus(const LangOptions &LangOpts,
246 tok::TokenKind K) {
247 switch (K) {
248#define KEYWORD(NAME, FLAGS) \
249 case tok::kw_##NAME: return getKeywordStatus(LangOpts, FLAGS);
250#include "clang/Basic/TokenKinds.def"
251 default: return KS_Disabled;
252 }
253}
254
255/// \brief Returns true if the identifier represents a keyword in the
256/// specified language.
Alex Lorenzf1278212017-04-11 15:01:53 +0000257bool IdentifierInfo::isKeyword(const LangOptions &LangOpts) const {
Serge Pavlov83cf0782014-12-11 12:18:08 +0000258 switch (getTokenKwStatus(LangOpts, getTokenID())) {
259 case KS_Enabled:
260 case KS_Extension:
261 return true;
262 default:
263 return false;
264 }
265}
266
Alex Lorenzf1278212017-04-11 15:01:53 +0000267/// \brief Returns true if the identifier represents a C++ keyword in the
268/// specified language.
269bool IdentifierInfo::isCPlusPlusKeyword(const LangOptions &LangOpts) const {
270 if (!LangOpts.CPlusPlus || !isKeyword(LangOpts))
271 return false;
272 // This is a C++ keyword if this identifier is not a keyword when checked
273 // using LangOptions without C++ support.
274 LangOptions LangOptsNoCPP = LangOpts;
275 LangOptsNoCPP.CPlusPlus = false;
276 LangOptsNoCPP.CPlusPlus11 = false;
Richard Smith6c74e322017-08-13 21:32:33 +0000277 LangOptsNoCPP.CPlusPlus2a = false;
Alex Lorenzf1278212017-04-11 15:01:53 +0000278 return !isKeyword(LangOptsNoCPP);
279}
280
Chris Lattnerff067ce2007-10-07 07:52:34 +0000281tok::PPKeywordKind IdentifierInfo::getPPKeywordID() const {
282 // We use a perfect hash function here involving the length of the keyword,
283 // the first and third character. For preprocessor ID's there are no
284 // collisions (if there were, the switch below would complain about duplicate
285 // case values). Note that this depends on 'if' being null terminated.
Mike Stump11289f42009-09-09 15:08:12 +0000286
Chris Lattnerff067ce2007-10-07 07:52:34 +0000287#define HASH(LEN, FIRST, THIRD) \
288 (LEN << 5) + (((FIRST-'a') + (THIRD-'a')) & 31)
289#define CASE(LEN, FIRST, THIRD, NAME) \
290 case HASH(LEN, FIRST, THIRD): \
291 return memcmp(Name, #NAME, LEN) ? tok::pp_not_keyword : tok::pp_ ## NAME
Mike Stump11289f42009-09-09 15:08:12 +0000292
Chris Lattnerff067ce2007-10-07 07:52:34 +0000293 unsigned Len = getLength();
Chris Lattnerd2b8ce42007-10-10 20:59:57 +0000294 if (Len < 2) return tok::pp_not_keyword;
Daniel Dunbar1c0761d2009-10-17 18:13:02 +0000295 const char *Name = getNameStart();
Chris Lattnerff067ce2007-10-07 07:52:34 +0000296 switch (HASH(Len, Name[0], Name[2])) {
297 default: return tok::pp_not_keyword;
298 CASE( 2, 'i', '\0', if);
299 CASE( 4, 'e', 'i', elif);
300 CASE( 4, 'e', 's', else);
301 CASE( 4, 'l', 'n', line);
302 CASE( 4, 's', 'c', sccs);
303 CASE( 5, 'e', 'd', endif);
304 CASE( 5, 'e', 'r', error);
305 CASE( 5, 'i', 'e', ident);
306 CASE( 5, 'i', 'd', ifdef);
307 CASE( 5, 'u', 'd', undef);
308
309 CASE( 6, 'a', 's', assert);
310 CASE( 6, 'd', 'f', define);
311 CASE( 6, 'i', 'n', ifndef);
312 CASE( 6, 'i', 'p', import);
313 CASE( 6, 'p', 'a', pragma);
Douglas Gregor0bf886d2012-01-03 18:24:14 +0000314
Chris Lattnerff067ce2007-10-07 07:52:34 +0000315 CASE( 7, 'd', 'f', defined);
316 CASE( 7, 'i', 'c', include);
317 CASE( 7, 'w', 'r', warning);
318
319 CASE( 8, 'u', 'a', unassert);
320 CASE(12, 'i', 'c', include_next);
Mike Stump11289f42009-09-09 15:08:12 +0000321
Douglas Gregor663b48f2012-01-03 19:48:16 +0000322 CASE(14, '_', 'p', __public_macro);
323
324 CASE(15, '_', 'p', __private_macro);
325
Chris Lattner14a7f392009-04-08 18:24:34 +0000326 CASE(16, '_', 'i', __include_macros);
Chris Lattnerff067ce2007-10-07 07:52:34 +0000327#undef CASE
328#undef HASH
329 }
330}
Chris Lattner25e0d542006-10-18 06:07:05 +0000331
332//===----------------------------------------------------------------------===//
333// Stats Implementation
334//===----------------------------------------------------------------------===//
335
Chris Lattner22eb9722006-06-18 05:43:12 +0000336/// PrintStats - Print statistics about how well the identifier table is doing
337/// at hashing identifiers.
338void IdentifierTable::PrintStats() const {
Chris Lattner2b9e19b2006-10-29 23:43:13 +0000339 unsigned NumBuckets = HashTable.getNumBuckets();
340 unsigned NumIdentifiers = HashTable.getNumItems();
341 unsigned NumEmptyBuckets = NumBuckets-NumIdentifiers;
Chris Lattner22eb9722006-06-18 05:43:12 +0000342 unsigned AverageIdentifierSize = 0;
343 unsigned MaxIdentifierLength = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000344
Chris Lattner2b9e19b2006-10-29 23:43:13 +0000345 // TODO: Figure out maximum times an identifier had to probe for -stats.
Ted Kremenek52f73ca2009-01-20 23:28:34 +0000346 for (llvm::StringMap<IdentifierInfo*, llvm::BumpPtrAllocator>::const_iterator
Chris Lattnerb055f2d2007-02-11 08:19:57 +0000347 I = HashTable.begin(), E = HashTable.end(); I != E; ++I) {
348 unsigned IdLen = I->getKeyLength();
349 AverageIdentifierSize += IdLen;
350 if (MaxIdentifierLength < IdLen)
351 MaxIdentifierLength = IdLen;
352 }
Mike Stump11289f42009-09-09 15:08:12 +0000353
Chris Lattner23b7eb62007-06-15 23:05:46 +0000354 fprintf(stderr, "\n*** Identifier Table Stats:\n");
355 fprintf(stderr, "# Identifiers: %d\n", NumIdentifiers);
356 fprintf(stderr, "# Empty Buckets: %d\n", NumEmptyBuckets);
357 fprintf(stderr, "Hash density (#identifiers per bucket): %f\n",
358 NumIdentifiers/(double)NumBuckets);
359 fprintf(stderr, "Ave identifier length: %f\n",
360 (AverageIdentifierSize/(double)NumIdentifiers));
361 fprintf(stderr, "Max identifier length: %d\n", MaxIdentifierLength);
Mike Stump11289f42009-09-09 15:08:12 +0000362
Chris Lattner22eb9722006-06-18 05:43:12 +0000363 // Compute statistics about the memory allocated for identifiers.
Chris Lattner2b9e19b2006-10-29 23:43:13 +0000364 HashTable.getAllocator().PrintStats();
Chris Lattner22eb9722006-06-18 05:43:12 +0000365}
Steve Narofff73590d2007-09-27 14:38:14 +0000366
Steve Naroffe61bfa82007-10-05 18:42:47 +0000367//===----------------------------------------------------------------------===//
368// SelectorTable Implementation
369//===----------------------------------------------------------------------===//
370
Chris Lattnerdadc7622007-10-05 20:15:24 +0000371unsigned llvm::DenseMapInfo<clang::Selector>::getHashValue(clang::Selector S) {
372 return DenseMapInfo<void*>::getHashValue(S.getAsOpaquePtr());
373}
374
Douglas Gregor77324f32008-11-17 14:58:09 +0000375namespace clang {
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000376
Steve Naroffe61bfa82007-10-05 18:42:47 +0000377/// MultiKeywordSelector - One of these variable length records is kept for each
378/// selector containing more than one keyword. We use a folding set
Mike Stump11289f42009-09-09 15:08:12 +0000379/// to unique aggregate names (keyword selectors in ObjC parlance). Access to
Steve Naroffe61bfa82007-10-05 18:42:47 +0000380/// this class is provided strictly through Selector.
Mike Stump11289f42009-09-09 15:08:12 +0000381class MultiKeywordSelector
Douglas Gregor77324f32008-11-17 14:58:09 +0000382 : public DeclarationNameExtra, public llvm::FoldingSetNode {
Douglas Gregor77324f32008-11-17 14:58:09 +0000383 MultiKeywordSelector(unsigned nKeys) {
384 ExtraKindOrNumArgs = NUM_EXTRA_KINDS + nKeys;
385 }
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000386
Mike Stump11289f42009-09-09 15:08:12 +0000387public:
Steve Naroffe61bfa82007-10-05 18:42:47 +0000388 // Constructor for keyword selectors.
389 MultiKeywordSelector(unsigned nKeys, IdentifierInfo **IIV) {
390 assert((nKeys > 1) && "not a multi-keyword selector");
Douglas Gregor77324f32008-11-17 14:58:09 +0000391 ExtraKindOrNumArgs = NUM_EXTRA_KINDS + nKeys;
Mike Stump11289f42009-09-09 15:08:12 +0000392
Steve Naroffe61bfa82007-10-05 18:42:47 +0000393 // Fill in the trailing keyword array.
394 IdentifierInfo **KeyInfo = reinterpret_cast<IdentifierInfo **>(this+1);
395 for (unsigned i = 0; i != nKeys; ++i)
396 KeyInfo[i] = IIV[i];
Mike Stump11289f42009-09-09 15:08:12 +0000397 }
398
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000399 // getName - Derive the full selector name and return it.
400 std::string getName() const;
Mike Stump11289f42009-09-09 15:08:12 +0000401
Douglas Gregor77324f32008-11-17 14:58:09 +0000402 unsigned getNumArgs() const { return ExtraKindOrNumArgs - NUM_EXTRA_KINDS; }
Mike Stump11289f42009-09-09 15:08:12 +0000403
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000404 using keyword_iterator = IdentifierInfo *const *;
405
Steve Naroffe61bfa82007-10-05 18:42:47 +0000406 keyword_iterator keyword_begin() const {
407 return reinterpret_cast<keyword_iterator>(this+1);
408 }
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000409
Mike Stump11289f42009-09-09 15:08:12 +0000410 keyword_iterator keyword_end() const {
411 return keyword_begin()+getNumArgs();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000412 }
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000413
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000414 IdentifierInfo *getIdentifierInfoForSlot(unsigned i) const {
Douglas Gregor77324f32008-11-17 14:58:09 +0000415 assert(i < getNumArgs() && "getIdentifierInfoForSlot(): illegal index");
Steve Naroffe61bfa82007-10-05 18:42:47 +0000416 return keyword_begin()[i];
417 }
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000418
Mike Stump11289f42009-09-09 15:08:12 +0000419 static void Profile(llvm::FoldingSetNodeID &ID,
Steve Naroffe61bfa82007-10-05 18:42:47 +0000420 keyword_iterator ArgTys, unsigned NumArgs) {
421 ID.AddInteger(NumArgs);
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000422 for (unsigned i = 0; i != NumArgs; ++i)
423 ID.AddPointer(ArgTys[i]);
Steve Naroffe61bfa82007-10-05 18:42:47 +0000424 }
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000425
Steve Naroffe61bfa82007-10-05 18:42:47 +0000426 void Profile(llvm::FoldingSetNodeID &ID) {
Douglas Gregor77324f32008-11-17 14:58:09 +0000427 Profile(ID, keyword_begin(), getNumArgs());
Steve Naroffe61bfa82007-10-05 18:42:47 +0000428 }
429};
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000430
431} // namespace clang.
Steve Naroffe61bfa82007-10-05 18:42:47 +0000432
433unsigned Selector::getNumArgs() const {
434 unsigned IIF = getIdentifierInfoFlag();
Douglas Gregor93a586f2012-05-04 18:24:37 +0000435 if (IIF <= ZeroArg)
Steve Naroffe61bfa82007-10-05 18:42:47 +0000436 return 0;
437 if (IIF == OneArg)
438 return 1;
Douglas Gregor93a586f2012-05-04 18:24:37 +0000439 // We point to a MultiKeywordSelector.
440 MultiKeywordSelector *SI = getMultiKeywordSelector();
Mike Stump11289f42009-09-09 15:08:12 +0000441 return SI->getNumArgs();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000442}
443
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000444IdentifierInfo *Selector::getIdentifierInfoForSlot(unsigned argIndex) const {
Douglas Gregor93a586f2012-05-04 18:24:37 +0000445 if (getIdentifierInfoFlag() < MultiArg) {
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000446 assert(argIndex == 0 && "illegal keyword index");
Douglas Gregor70091b82009-04-26 22:20:50 +0000447 return getAsIdentifierInfo();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000448 }
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000449
Douglas Gregor93a586f2012-05-04 18:24:37 +0000450 // We point to a MultiKeywordSelector.
451 MultiKeywordSelector *SI = getMultiKeywordSelector();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000452 return SI->getIdentifierInfoForSlot(argIndex);
453}
454
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000455StringRef Selector::getNameForSlot(unsigned int argIndex) const {
Douglas Gregoraf2a6ae2011-02-18 22:29:55 +0000456 IdentifierInfo *II = getIdentifierInfoForSlot(argIndex);
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000457 return II? II->getName() : StringRef();
Douglas Gregoraf2a6ae2011-02-18 22:29:55 +0000458}
459
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000460std::string MultiKeywordSelector::getName() const {
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000461 SmallString<256> Str;
Daniel Dunbar1c0761d2009-10-17 18:13:02 +0000462 llvm::raw_svector_ostream OS(Str);
Chris Lattnerf7f34d02007-10-07 01:33:16 +0000463 for (keyword_iterator I = keyword_begin(), E = keyword_end(); I != E; ++I) {
464 if (*I)
Daniel Dunbar07d07852009-10-18 21:17:35 +0000465 OS << (*I)->getName();
Daniel Dunbar1c0761d2009-10-17 18:13:02 +0000466 OS << ':';
Steve Naroffe61bfa82007-10-05 18:42:47 +0000467 }
Mike Stump11289f42009-09-09 15:08:12 +0000468
Daniel Dunbar1c0761d2009-10-17 18:13:02 +0000469 return OS.str();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000470}
471
Chris Lattnere4b95692008-11-24 03:33:13 +0000472std::string Selector::getAsString() const {
Douglas Gregor70091b82009-04-26 22:20:50 +0000473 if (InfoPtr == 0)
474 return "<null selector>";
475
Douglas Gregor93a586f2012-05-04 18:24:37 +0000476 if (getIdentifierInfoFlag() < MultiArg) {
Ted Kremenek5f080b42009-03-06 23:36:28 +0000477 IdentifierInfo *II = getAsIdentifierInfo();
Mike Stump11289f42009-09-09 15:08:12 +0000478
Chandler Carruth59666772016-11-04 06:32:57 +0000479 if (getNumArgs() == 0) {
480 assert(II && "If the number of arguments is 0 then II is guaranteed to "
481 "not be null.");
Daniel Dunbar07d07852009-10-18 21:17:35 +0000482 return II->getName();
Chandler Carruth59666772016-11-04 06:32:57 +0000483 }
Ted Kremenek5f080b42009-03-06 23:36:28 +0000484
Daniel Dunbar1c0761d2009-10-17 18:13:02 +0000485 if (!II)
486 return ":";
487
Daniel Dunbar07d07852009-10-18 21:17:35 +0000488 return II->getName().str() + ":";
Steve Naroffe61bfa82007-10-05 18:42:47 +0000489 }
Mike Stump11289f42009-09-09 15:08:12 +0000490
Douglas Gregor93a586f2012-05-04 18:24:37 +0000491 // We have a multiple keyword selector.
492 return getMultiKeywordSelector()->getName();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000493}
494
Aaron Ballmanb190f972014-01-03 17:59:55 +0000495void Selector::print(llvm::raw_ostream &OS) const {
496 OS << getAsString();
497}
498
John McCallb4526252011-03-02 01:50:55 +0000499/// Interpreting the given string using the normal CamelCase
500/// conventions, determine whether the given string starts with the
501/// given "word", which is assumed to end in a lowercase letter.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000502static bool startsWithWord(StringRef name, StringRef word) {
John McCallb4526252011-03-02 01:50:55 +0000503 if (name.size() < word.size()) return false;
Jordan Rosea7d03842013-02-08 22:30:41 +0000504 return ((name.size() == word.size() || !isLowercase(name[word.size()])) &&
505 name.startswith(word));
John McCallb4526252011-03-02 01:50:55 +0000506}
507
508ObjCMethodFamily Selector::getMethodFamilyImpl(Selector sel) {
509 IdentifierInfo *first = sel.getIdentifierInfoForSlot(0);
510 if (!first) return OMF_None;
511
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000512 StringRef name = first->getName();
John McCallb4526252011-03-02 01:50:55 +0000513 if (sel.isUnarySelector()) {
514 if (name == "autorelease") return OMF_autorelease;
515 if (name == "dealloc") return OMF_dealloc;
Nico Weber1fb82662011-08-28 22:35:17 +0000516 if (name == "finalize") return OMF_finalize;
John McCallb4526252011-03-02 01:50:55 +0000517 if (name == "release") return OMF_release;
518 if (name == "retain") return OMF_retain;
519 if (name == "retainCount") return OMF_retainCount;
Douglas Gregor33823722011-06-11 01:09:30 +0000520 if (name == "self") return OMF_self;
Fariborz Jahanian78e9deb2014-08-22 16:57:26 +0000521 if (name == "initialize") return OMF_initialize;
John McCallb4526252011-03-02 01:50:55 +0000522 }
Alex Lorenz0e23c612017-03-06 15:58:34 +0000523
524 if (name == "performSelector" || name == "performSelectorInBackground" ||
525 name == "performSelectorOnMainThread")
526 return OMF_performSelector;
John McCallb4526252011-03-02 01:50:55 +0000527
528 // The other method families may begin with a prefix of underscores.
529 while (!name.empty() && name.front() == '_')
530 name = name.substr(1);
531
532 if (name.empty()) return OMF_None;
533 switch (name.front()) {
534 case 'a':
535 if (startsWithWord(name, "alloc")) return OMF_alloc;
536 break;
537 case 'c':
538 if (startsWithWord(name, "copy")) return OMF_copy;
539 break;
540 case 'i':
541 if (startsWithWord(name, "init")) return OMF_init;
542 break;
543 case 'm':
544 if (startsWithWord(name, "mutableCopy")) return OMF_mutableCopy;
545 break;
546 case 'n':
547 if (startsWithWord(name, "new")) return OMF_new;
548 break;
549 default:
550 break;
551 }
552
553 return OMF_None;
554}
Steve Naroffe61bfa82007-10-05 18:42:47 +0000555
Fariborz Jahanian71221352013-07-23 22:42:28 +0000556ObjCInstanceTypeFamily Selector::getInstTypeMethodFamily(Selector sel) {
Fariborz Jahanian4f3a64f2013-07-23 19:31:17 +0000557 IdentifierInfo *first = sel.getIdentifierInfoForSlot(0);
558 if (!first) return OIT_None;
559
560 StringRef name = first->getName();
561
562 if (name.empty()) return OIT_None;
563 switch (name.front()) {
564 case 'a':
Fariborz Jahanian4ccdc732013-08-29 16:22:26 +0000565 if (startsWithWord(name, "array")) return OIT_Array;
Fariborz Jahanian4f3a64f2013-07-23 19:31:17 +0000566 break;
567 case 'd':
Fariborz Jahanian7c87b432013-10-10 18:23:13 +0000568 if (startsWithWord(name, "default")) return OIT_ReturnsSelf;
Fariborz Jahanian4f3a64f2013-07-23 19:31:17 +0000569 if (startsWithWord(name, "dictionary")) return OIT_Dictionary;
570 break;
Fariborz Jahanian9275c682013-08-02 20:54:18 +0000571 case 's':
Fariborz Jahanian7c87b432013-10-10 18:23:13 +0000572 if (startsWithWord(name, "shared")) return OIT_ReturnsSelf;
573 if (startsWithWord(name, "standard")) return OIT_Singleton;
Galina Kistanovaddcd2812017-06-03 06:40:10 +0000574 break;
Fariborz Jahanian1c900bc2013-09-18 20:35:47 +0000575 case 'i':
576 if (startsWithWord(name, "init")) return OIT_Init;
Fariborz Jahanian4f3a64f2013-07-23 19:31:17 +0000577 default:
578 break;
579 }
580 return OIT_None;
581}
582
Fariborz Jahanian6485fe42014-09-09 23:10:54 +0000583ObjCStringFormatFamily Selector::getStringFormatFamilyImpl(Selector sel) {
584 IdentifierInfo *first = sel.getIdentifierInfoForSlot(0);
585 if (!first) return SFF_None;
586
587 StringRef name = first->getName();
588
589 switch (name.front()) {
590 case 'a':
591 if (name == "appendFormat") return SFF_NSString;
592 break;
593
594 case 'i':
595 if (name == "initWithFormat") return SFF_NSString;
596 break;
597
598 case 'l':
599 if (name == "localizedStringWithFormat") return SFF_NSString;
600 break;
601
602 case 's':
603 if (name == "stringByAppendingFormat" ||
604 name == "stringWithFormat") return SFF_NSString;
605 break;
606 }
607 return SFF_None;
608}
609
Chris Lattner1a849942009-03-04 05:35:38 +0000610namespace {
Eugene Zelenko918e0ca2017-11-03 22:35:27 +0000611
612struct SelectorTableImpl {
613 llvm::FoldingSet<MultiKeywordSelector> Table;
614 llvm::BumpPtrAllocator Allocator;
615};
616
617} // namespace
Chris Lattner1a849942009-03-04 05:35:38 +0000618
619static SelectorTableImpl &getSelectorTableImpl(void *P) {
620 return *static_cast<SelectorTableImpl*>(P);
621}
622
Adrian Prantl6e77c962013-06-10 21:36:55 +0000623SmallString<64>
Adrian Prantla4ce9062013-06-07 22:29:12 +0000624SelectorTable::constructSetterName(StringRef Name) {
Adrian Prantl6e77c962013-06-10 21:36:55 +0000625 SmallString<64> SetterName("set");
626 SetterName += Name;
627 SetterName[3] = toUppercase(SetterName[3]);
628 return SetterName;
Adrian Prantla4ce9062013-06-07 22:29:12 +0000629}
630
Adrian Prantl6e77c962013-06-10 21:36:55 +0000631Selector
Adrian Prantla4ce9062013-06-07 22:29:12 +0000632SelectorTable::constructSetterSelector(IdentifierTable &Idents,
633 SelectorTable &SelTable,
634 const IdentifierInfo *Name) {
635 IdentifierInfo *SetterName =
636 &Idents.get(constructSetterName(Name->getName()));
Benjamin Kramer49038022012-02-04 13:45:25 +0000637 return SelTable.getUnarySelector(SetterName);
638}
639
Ted Kremenek1c2239e2011-04-18 22:47:04 +0000640size_t SelectorTable::getTotalMemory() const {
641 SelectorTableImpl &SelTabImpl = getSelectorTableImpl(Impl);
642 return SelTabImpl.Allocator.getTotalMemory();
643}
Chris Lattner1a849942009-03-04 05:35:38 +0000644
Chris Lattner5700fab2007-10-07 02:00:24 +0000645Selector SelectorTable::getSelector(unsigned nKeys, IdentifierInfo **IIV) {
646 if (nKeys < 2)
647 return Selector(IIV[0], nKeys);
Mike Stump11289f42009-09-09 15:08:12 +0000648
Chris Lattner1a849942009-03-04 05:35:38 +0000649 SelectorTableImpl &SelTabImpl = getSelectorTableImpl(Impl);
Mike Stump11289f42009-09-09 15:08:12 +0000650
Steve Naroffe61bfa82007-10-05 18:42:47 +0000651 // Unique selector, to guarantee there is one per name.
652 llvm::FoldingSetNodeID ID;
653 MultiKeywordSelector::Profile(ID, IIV, nKeys);
654
Craig Topperf1186c52014-05-08 06:41:40 +0000655 void *InsertPos = nullptr;
Chris Lattner1a849942009-03-04 05:35:38 +0000656 if (MultiKeywordSelector *SI =
657 SelTabImpl.Table.FindNodeOrInsertPos(ID, InsertPos))
Steve Naroffe61bfa82007-10-05 18:42:47 +0000658 return Selector(SI);
Mike Stump11289f42009-09-09 15:08:12 +0000659
Steve Naroffe61bfa82007-10-05 18:42:47 +0000660 // MultiKeywordSelector objects are not allocated with new because they have a
661 // variable size array (for parameter types) at the end of them.
Chris Lattner1a849942009-03-04 05:35:38 +0000662 unsigned Size = sizeof(MultiKeywordSelector) + nKeys*sizeof(IdentifierInfo *);
663 MultiKeywordSelector *SI =
Benjamin Kramerc3f89252016-10-20 14:27:22 +0000664 (MultiKeywordSelector *)SelTabImpl.Allocator.Allocate(
665 Size, alignof(MultiKeywordSelector));
Steve Naroffe61bfa82007-10-05 18:42:47 +0000666 new (SI) MultiKeywordSelector(nKeys, IIV);
Chris Lattner1a849942009-03-04 05:35:38 +0000667 SelTabImpl.Table.InsertNode(SI, InsertPos);
Steve Naroffe61bfa82007-10-05 18:42:47 +0000668 return Selector(SI);
669}
670
Steve Naroffe61bfa82007-10-05 18:42:47 +0000671SelectorTable::SelectorTable() {
Chris Lattner1a849942009-03-04 05:35:38 +0000672 Impl = new SelectorTableImpl();
Steve Naroffe61bfa82007-10-05 18:42:47 +0000673}
674
675SelectorTable::~SelectorTable() {
Chris Lattner1a849942009-03-04 05:35:38 +0000676 delete &getSelectorTableImpl(Impl);
Steve Naroffe61bfa82007-10-05 18:42:47 +0000677}
678
Douglas Gregor71395fa2009-11-04 00:56:37 +0000679const char *clang::getOperatorSpelling(OverloadedOperatorKind Operator) {
680 switch (Operator) {
681 case OO_None:
682 case NUM_OVERLOADED_OPERATORS:
Craig Topperf1186c52014-05-08 06:41:40 +0000683 return nullptr;
Kovarththanan Rajaratnam00682a42010-03-12 11:27:37 +0000684
Douglas Gregor71395fa2009-11-04 00:56:37 +0000685#define OVERLOADED_OPERATOR(Name,Spelling,Token,Unary,Binary,MemberOnly) \
686 case OO_##Name: return Spelling;
687#include "clang/Basic/OperatorKinds.def"
688 }
Kovarththanan Rajaratnam00682a42010-03-12 11:27:37 +0000689
David Blaikie8a40f702012-01-17 06:56:22 +0000690 llvm_unreachable("Invalid OverloadedOperatorKind!");
Douglas Gregor71395fa2009-11-04 00:56:37 +0000691}
Douglas Gregor813a0662015-06-19 18:14:38 +0000692
Douglas Gregoraea7afd2015-06-24 22:02:08 +0000693StringRef clang::getNullabilitySpelling(NullabilityKind kind,
694 bool isContextSensitive) {
Douglas Gregor813a0662015-06-19 18:14:38 +0000695 switch (kind) {
696 case NullabilityKind::NonNull:
Douglas Gregoraea7afd2015-06-24 22:02:08 +0000697 return isContextSensitive ? "nonnull" : "_Nonnull";
Douglas Gregor813a0662015-06-19 18:14:38 +0000698
699 case NullabilityKind::Nullable:
Douglas Gregoraea7afd2015-06-24 22:02:08 +0000700 return isContextSensitive ? "nullable" : "_Nullable";
Douglas Gregor813a0662015-06-19 18:14:38 +0000701
702 case NullabilityKind::Unspecified:
Douglas Gregoraea7afd2015-06-24 22:02:08 +0000703 return isContextSensitive ? "null_unspecified" : "_Null_unspecified";
Douglas Gregor813a0662015-06-19 18:14:38 +0000704 }
Nico Weber708aabd2015-06-20 00:06:30 +0000705 llvm_unreachable("Unknown nullability kind.");
Douglas Gregor813a0662015-06-19 18:14:38 +0000706}