blob: 292861755bace8a945ea3647aa9818464ede6658 [file] [log] [blame]
Sebastian Redld6522cf2010-08-18 23:56:31 +00001//===--- ASTWriterDecl.cpp - Declaration Serialization --------------------===//
Chris Lattner7099dbc2009-04-27 06:16:06 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements serialization for Declarations.
11//
12//===----------------------------------------------------------------------===//
13
Sebastian Redlfa1f3702011-04-24 16:28:13 +000014#include "ASTCommon.h"
Chris Lattnerca025db2010-05-07 21:43:38 +000015#include "clang/AST/DeclCXX.h"
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +000016#include "clang/AST/DeclContextInternals.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000017#include "clang/AST/DeclTemplate.h"
18#include "clang/AST/DeclVisitor.h"
19#include "clang/AST/Expr.h"
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +000020#include "clang/Basic/SourceManager.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000021#include "clang/Serialization/ASTReader.h"
Mehdi Amini9670f842016-07-18 19:02:11 +000022#include "clang/Serialization/ASTWriter.h"
Chris Lattner7099dbc2009-04-27 06:16:06 +000023#include "llvm/Bitcode/BitstreamWriter.h"
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +000024#include "llvm/Support/ErrorHandling.h"
Chris Lattner7099dbc2009-04-27 06:16:06 +000025using namespace clang;
Sebastian Redlfa1f3702011-04-24 16:28:13 +000026using namespace serialization;
Chris Lattner7099dbc2009-04-27 06:16:06 +000027
28//===----------------------------------------------------------------------===//
29// Declaration serialization
30//===----------------------------------------------------------------------===//
31
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +000032namespace clang {
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000033 class ASTDeclWriter : public DeclVisitor<ASTDeclWriter, void> {
Sebastian Redl55c0ad52010-08-18 23:56:21 +000034 ASTWriter &Writer;
Chris Lattner7099dbc2009-04-27 06:16:06 +000035 ASTContext &Context;
Richard Smith69c82bf2016-04-01 22:52:03 +000036 ASTRecordWriter Record;
Chris Lattner7099dbc2009-04-27 06:16:06 +000037
Sebastian Redl539c5062010-08-18 23:57:32 +000038 serialization::DeclCode Code;
Chris Lattner258172e2009-04-27 07:35:58 +000039 unsigned AbbrevToUse;
Chris Lattner7099dbc2009-04-27 06:16:06 +000040
Richard Smith69c82bf2016-04-01 22:52:03 +000041 public:
42 ASTDeclWriter(ASTWriter &Writer, ASTContext &Context,
43 ASTWriter::RecordDataImpl &Record)
44 : Writer(Writer), Context(Context), Record(Writer, Record),
45 Code((serialization::DeclCode)0), AbbrevToUse(0) {}
46
47 uint64_t Emit(Decl *D) {
48 if (!Code)
49 llvm::report_fatal_error(StringRef("unexpected declaration kind '") +
50 D->getDeclKindName() + "'");
Richard Smith645d2cf2016-04-14 00:29:55 +000051 return Record.Emit(Code, AbbrevToUse);
Chris Lattner258172e2009-04-27 07:35:58 +000052 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000053
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +000054 void Visit(Decl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000055
56 void VisitDecl(Decl *D);
Nico Weber66220292016-03-02 17:28:48 +000057 void VisitPragmaCommentDecl(PragmaCommentDecl *D);
Nico Webercbbaeb12016-03-02 19:28:54 +000058 void VisitPragmaDetectMismatchDecl(PragmaDetectMismatchDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000059 void VisitTranslationUnitDecl(TranslationUnitDecl *D);
60 void VisitNamedDecl(NamedDecl *D);
Chris Lattnerc8e630e2011-02-17 07:39:24 +000061 void VisitLabelDecl(LabelDecl *LD);
Douglas Gregore31bbd92010-02-21 18:22:14 +000062 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000063 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
64 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000065 void VisitTypeDecl(TypeDecl *D);
Douglas Gregor1f179062011-12-19 14:40:25 +000066 void VisitTypedefNameDecl(TypedefNameDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000067 void VisitTypedefDecl(TypedefDecl *D);
Richard Smithdda56e42011-04-15 14:24:37 +000068 void VisitTypeAliasDecl(TypeAliasDecl *D);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000069 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000070 void VisitTagDecl(TagDecl *D);
71 void VisitEnumDecl(EnumDecl *D);
72 void VisitRecordDecl(RecordDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000073 void VisitCXXRecordDecl(CXXRecordDecl *D);
74 void VisitClassTemplateSpecializationDecl(
75 ClassTemplateSpecializationDecl *D);
76 void VisitClassTemplatePartialSpecializationDecl(
77 ClassTemplatePartialSpecializationDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +000078 void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D);
79 void VisitVarTemplatePartialSpecializationDecl(
80 VarTemplatePartialSpecializationDecl *D);
Fariborz Jahanian3a039e32011-08-27 20:50:59 +000081 void VisitClassScopeFunctionSpecializationDecl(
82 ClassScopeFunctionSpecializationDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000083 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000084 void VisitValueDecl(ValueDecl *D);
85 void VisitEnumConstantDecl(EnumConstantDecl *D);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000086 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +000087 void VisitDeclaratorDecl(DeclaratorDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000088 void VisitFunctionDecl(FunctionDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000089 void VisitCXXMethodDecl(CXXMethodDecl *D);
90 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
91 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
92 void VisitCXXConversionDecl(CXXConversionDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000093 void VisitFieldDecl(FieldDecl *D);
John McCall5e77d762013-04-16 07:28:30 +000094 void VisitMSPropertyDecl(MSPropertyDecl *D);
Francois Pichet783dd6e2010-11-21 06:08:52 +000095 void VisitIndirectFieldDecl(IndirectFieldDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000096 void VisitVarDecl(VarDecl *D);
97 void VisitImplicitParamDecl(ImplicitParamDecl *D);
98 void VisitParmVarDecl(ParmVarDecl *D);
Richard Smith7b76d812016-08-12 02:21:25 +000099 void VisitDecompositionDecl(DecompositionDecl *D);
100 void VisitBindingDecl(BindingDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000101 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
102 void VisitTemplateDecl(TemplateDecl *D);
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000103 void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000104 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +0000105 void VisitVarTemplateDecl(VarTemplateDecl *D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000106 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000107 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Richard Smith3f1b5d02011-05-05 21:57:07 +0000108 void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000109 void VisitUsingDecl(UsingDecl *D);
Richard Smith151c4562016-12-20 21:35:28 +0000110 void VisitUsingPackDecl(UsingPackDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000111 void VisitUsingShadowDecl(UsingShadowDecl *D);
Richard Smith5179eb72016-06-28 19:03:57 +0000112 void VisitConstructorUsingShadowDecl(ConstructorUsingShadowDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000113 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Richard Smith8df390f2016-09-08 23:14:54 +0000114 void VisitExportDecl(ExportDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000115 void VisitFileScopeAsmDecl(FileScopeAsmDecl *D);
Douglas Gregorba345522011-12-02 23:23:56 +0000116 void VisitImportDecl(ImportDecl *D);
Abramo Bagnarad7340582010-06-05 05:09:32 +0000117 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000118 void VisitFriendDecl(FriendDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000119 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
120 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000121 void VisitBlockDecl(BlockDecl *D);
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +0000122 void VisitCapturedDecl(CapturedDecl *D);
Michael Han84324352013-02-22 17:15:32 +0000123 void VisitEmptyDecl(EmptyDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000124
Richard Smithf1c23dc2016-04-13 02:12:03 +0000125 void VisitDeclContext(DeclContext *DC);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000126 template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000127
128
Alexis Hunted053252010-05-30 07:21:58 +0000129 // FIXME: Put in the same order is DeclNodes.td?
Chris Lattner7099dbc2009-04-27 06:16:06 +0000130 void VisitObjCMethodDecl(ObjCMethodDecl *D);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000131 void VisitObjCTypeParamDecl(ObjCTypeParamDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000132 void VisitObjCContainerDecl(ObjCContainerDecl *D);
133 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
134 void VisitObjCIvarDecl(ObjCIvarDecl *D);
135 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
136 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000137 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
138 void VisitObjCImplDecl(ObjCImplDecl *D);
139 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
140 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
141 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
142 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
143 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
Alexey Bataeva769e072013-03-22 06:34:35 +0000144 void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000145 void VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D);
Alexey Bataev4244be22016-02-11 05:35:55 +0000146 void VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D);
Richard Smithd28ac5b2014-03-22 23:33:22 +0000147
Douglas Gregor85f3f952015-07-07 03:57:15 +0000148 /// Add an Objective-C type parameter list to the given record.
149 void AddObjCTypeParamList(ObjCTypeParamList *typeParams) {
150 // Empty type parameter list.
151 if (!typeParams) {
152 Record.push_back(0);
153 return;
154 }
155
156 Record.push_back(typeParams->size());
157 for (auto typeParam : *typeParams) {
Richard Smith69c82bf2016-04-01 22:52:03 +0000158 Record.AddDeclRef(typeParam);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000159 }
Richard Smith69c82bf2016-04-01 22:52:03 +0000160 Record.AddSourceLocation(typeParams->getLAngleLoc());
161 Record.AddSourceLocation(typeParams->getRAngleLoc());
Douglas Gregor85f3f952015-07-07 03:57:15 +0000162 }
163
Richard Smithd8a83712015-08-22 01:47:18 +0000164 /// Add to the record the first declaration from each module file that
165 /// provides a declaration of D. The intent is to provide a sufficient
166 /// set such that reloading this set will load all current redeclarations.
167 void AddFirstDeclFromEachModule(const Decl *D, bool IncludeLocal) {
168 llvm::MapVector<ModuleFile*, const Decl*> Firsts;
169 // FIXME: We can skip entries that we know are implied by others.
Richard Smith5f55d932015-08-27 21:38:25 +0000170 for (const Decl *R = D->getMostRecentDecl(); R; R = R->getPreviousDecl()) {
171 if (R->isFromASTFile())
Richard Smithd8a83712015-08-22 01:47:18 +0000172 Firsts[Writer.Chain->getOwningModuleFile(R)] = R;
Richard Smith5f55d932015-08-27 21:38:25 +0000173 else if (IncludeLocal)
174 Firsts[nullptr] = R;
175 }
Richard Smithd8a83712015-08-22 01:47:18 +0000176 for (const auto &F : Firsts)
Richard Smith69c82bf2016-04-01 22:52:03 +0000177 Record.AddDeclRef(F.second);
Richard Smithd8a83712015-08-22 01:47:18 +0000178 }
179
Richard Smith509fc852015-02-27 23:05:10 +0000180 /// Get the specialization decl from an entry in the specialization list.
181 template <typename EntryType>
182 typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType *
183 getSpecializationDecl(EntryType &T) {
184 return RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::getDecl(&T);
185 }
186
187 /// Get the list of partial specializations from a template's common ptr.
188 template<typename T>
189 decltype(T::PartialSpecializations) &getPartialSpecializations(T *Common) {
190 return Common->PartialSpecializations;
191 }
192 ArrayRef<Decl> getPartialSpecializations(FunctionTemplateDecl::Common *) {
193 return None;
194 }
195
Richard Smith8ab0cfd2016-02-24 21:59:10 +0000196 template<typename DeclTy>
197 void AddTemplateSpecializations(DeclTy *D) {
Richard Smith509fc852015-02-27 23:05:10 +0000198 auto *Common = D->getCommonPtr();
199
200 // If we have any lazy specializations, and the external AST source is
201 // our chained AST reader, we can just write out the DeclIDs. Otherwise,
202 // we need to resolve them to actual declarations.
203 if (Writer.Chain != Writer.Context->getExternalSource() &&
204 Common->LazySpecializations) {
205 D->LoadLazySpecializations();
206 assert(!Common->LazySpecializations);
207 }
208
Richard Smith509fc852015-02-27 23:05:10 +0000209 ArrayRef<DeclID> LazySpecializations;
210 if (auto *LS = Common->LazySpecializations)
Craig Topper55e39a72015-09-29 04:53:28 +0000211 LazySpecializations = llvm::makeArrayRef(LS + 1, LS[0]);
Richard Smith509fc852015-02-27 23:05:10 +0000212
Richard Smithd8a83712015-08-22 01:47:18 +0000213 // Add a slot to the record for the number of specializations.
214 unsigned I = Record.size();
215 Record.push_back(0);
216
Richard Smith8ab0cfd2016-02-24 21:59:10 +0000217 // AddFirstDeclFromEachModule might trigger deserialization, invalidating
218 // *Specializations iterators.
219 llvm::SmallVector<const Decl*, 16> Specs;
220 for (auto &Entry : Common->Specializations)
221 Specs.push_back(getSpecializationDecl(Entry));
222 for (auto &Entry : getPartialSpecializations(Common))
223 Specs.push_back(getSpecializationDecl(Entry));
224
225 for (auto *D : Specs) {
Richard Smith509fc852015-02-27 23:05:10 +0000226 assert(D->isCanonicalDecl() && "non-canonical decl in set");
Richard Smithd8a83712015-08-22 01:47:18 +0000227 AddFirstDeclFromEachModule(D, /*IncludeLocal*/true);
Richard Smith509fc852015-02-27 23:05:10 +0000228 }
Benjamin Kramerf367dd92015-06-12 15:31:50 +0000229 Record.append(LazySpecializations.begin(), LazySpecializations.end());
Richard Smithd8a83712015-08-22 01:47:18 +0000230
231 // Update the size entry we added earlier.
232 Record[I] = Record.size() - I - 1;
233 }
234
235 /// Ensure that this template specialization is associated with the specified
236 /// template on reload.
237 void RegisterTemplateSpecialization(const Decl *Template,
238 const Decl *Specialization) {
239 Template = Template->getCanonicalDecl();
240
241 // If the canonical template is local, we'll write out this specialization
242 // when we emit it.
243 // FIXME: We can do the same thing if there is any local declaration of
244 // the template, to avoid emitting an update record.
245 if (!Template->isFromASTFile())
246 return;
247
248 // We only need to associate the first local declaration of the
249 // specialization. The other declarations will get pulled in by it.
250 if (Writer.getFirstLocalDecl(Specialization) != Specialization)
251 return;
252
253 Writer.DeclUpdates[Template].push_back(ASTWriter::DeclUpdate(
254 UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION, Specialization));
Richard Smith509fc852015-02-27 23:05:10 +0000255 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000256 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000257}
Chris Lattner7099dbc2009-04-27 06:16:06 +0000258
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000259void ASTDeclWriter::Visit(Decl *D) {
260 DeclVisitor<ASTDeclWriter>::Visit(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000261
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000262 // Source locations require array (variable-length) abbreviations. The
263 // abbreviation infrastructure requires that arrays are encoded last, so
264 // we handle it here in the case of those classes derived from DeclaratorDecl
Nick Lewycky4b81fc872015-10-18 20:32:12 +0000265 if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)) {
Richard Smith69c82bf2016-04-01 22:52:03 +0000266 Record.AddTypeSourceInfo(DD->getTypeSourceInfo());
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000267 }
268
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000269 // Handle FunctionDecl's body here and write it after all other Stmts/Exprs
270 // have been written. We want it last because we will not read it back when
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000271 // retrieving it from the AST, we'll just lazily set the offset.
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000272 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Alexis Hunt4a8ea102011-05-06 20:44:56 +0000273 Record.push_back(FD->doesThisDeclarationHaveABody());
274 if (FD->doesThisDeclarationHaveABody())
Richard Smith290d8012016-04-06 17:06:00 +0000275 Record.AddFunctionDefinition(FD);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000276 }
Richard Smithf1c23dc2016-04-13 02:12:03 +0000277
278 // If this declaration is also a DeclContext, write blocks for the
279 // declarations that lexically stored inside its context and those
280 // declarations that are visible from its context.
281 if (DeclContext *DC = dyn_cast<DeclContext>(D))
282 VisitDeclContext(DC);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000283}
284
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000285void ASTDeclWriter::VisitDecl(Decl *D) {
Richard Smith69c82bf2016-04-01 22:52:03 +0000286 Record.AddDeclRef(cast_or_null<Decl>(D->getDeclContext()));
Richard Smith8aed4222015-12-11 22:41:00 +0000287 if (D->getDeclContext() != D->getLexicalDeclContext())
Richard Smith69c82bf2016-04-01 22:52:03 +0000288 Record.AddDeclRef(cast_or_null<Decl>(D->getLexicalDeclContext()));
Richard Smith8aed4222015-12-11 22:41:00 +0000289 else
290 Record.push_back(0);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000291 Record.push_back(D->isInvalidDecl());
292 Record.push_back(D->hasAttrs());
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000293 if (D->hasAttrs())
Richard Smith69c82bf2016-04-01 22:52:03 +0000294 Record.AddAttributes(D->getAttrs());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000295 Record.push_back(D->isImplicit());
Douglas Gregorebada0772010-06-17 23:14:26 +0000296 Record.push_back(D->isUsed(false));
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +0000297 Record.push_back(D->isReferenced());
Douglas Gregor781f7132012-01-06 16:59:53 +0000298 Record.push_back(D->isTopLevelDeclInObjCContainer());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000299 Record.push_back(D->getAccess());
Douglas Gregor781f7132012-01-06 16:59:53 +0000300 Record.push_back(D->isModulePrivate());
Douglas Gregora28bcdd2011-12-01 02:07:58 +0000301 Record.push_back(Writer.inferSubmoduleIDFromLocation(D->getLocation()));
Richard Smithc264d352014-03-23 02:30:01 +0000302
303 // If this declaration injected a name into a context different from its
304 // lexical context, and that context is an imported namespace, we need to
305 // update its visible declarations to include this name.
306 //
307 // This happens when we instantiate a class with a friend declaration or a
308 // function with a local extern declaration, for instance.
Richard Smith5fc18a92015-07-12 23:43:21 +0000309 //
310 // FIXME: Can we handle this in AddedVisibleDecl instead?
Richard Smithc264d352014-03-23 02:30:01 +0000311 if (D->isOutOfLine()) {
Richard Smithe3a97022014-03-23 20:41:56 +0000312 auto *DC = D->getDeclContext();
313 while (auto *NS = dyn_cast<NamespaceDecl>(DC->getRedeclContext())) {
314 if (!NS->isFromASTFile())
315 break;
Chandler Carruth8a3d24d2015-03-26 04:27:10 +0000316 Writer.UpdatedDeclContexts.insert(NS->getPrimaryContext());
Richard Smithe3a97022014-03-23 20:41:56 +0000317 if (!NS->isInlineNamespace())
318 break;
319 DC = NS->getParent();
320 }
Richard Smithc264d352014-03-23 02:30:01 +0000321 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000322}
323
Nico Weber66220292016-03-02 17:28:48 +0000324void ASTDeclWriter::VisitPragmaCommentDecl(PragmaCommentDecl *D) {
325 StringRef Arg = D->getArg();
326 Record.push_back(Arg.size());
327 VisitDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000328 Record.AddSourceLocation(D->getLocStart());
Nico Weber66220292016-03-02 17:28:48 +0000329 Record.push_back(D->getCommentKind());
Richard Smith69c82bf2016-04-01 22:52:03 +0000330 Record.AddString(Arg);
Nico Weber66220292016-03-02 17:28:48 +0000331 Code = serialization::DECL_PRAGMA_COMMENT;
332}
333
Nico Webercbbaeb12016-03-02 19:28:54 +0000334void ASTDeclWriter::VisitPragmaDetectMismatchDecl(
335 PragmaDetectMismatchDecl *D) {
336 StringRef Name = D->getName();
337 StringRef Value = D->getValue();
338 Record.push_back(Name.size() + 1 + Value.size());
339 VisitDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000340 Record.AddSourceLocation(D->getLocStart());
341 Record.AddString(Name);
342 Record.AddString(Value);
Nico Webercbbaeb12016-03-02 19:28:54 +0000343 Code = serialization::DECL_PRAGMA_DETECT_MISMATCH;
344}
345
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000346void ASTDeclWriter::VisitTranslationUnitDecl(TranslationUnitDecl *D) {
Douglas Gregordab42432011-08-12 00:15:20 +0000347 llvm_unreachable("Translation units aren't directly serialized");
Chris Lattner7099dbc2009-04-27 06:16:06 +0000348}
349
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000350void ASTDeclWriter::VisitNamedDecl(NamedDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000351 VisitDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000352 Record.AddDeclarationName(D->getDeclName());
Richard Smith2b560572015-02-07 03:11:11 +0000353 Record.push_back(needsAnonymousDeclarationNumber(D)
354 ? Writer.getAnonymousDeclarationNumber(D)
355 : 0);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000356}
357
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000358void ASTDeclWriter::VisitTypeDecl(TypeDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000359 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000360 Record.AddSourceLocation(D->getLocStart());
361 Record.AddTypeRef(QualType(D->getTypeForDecl(), 0));
Chris Lattner7099dbc2009-04-27 06:16:06 +0000362}
363
Douglas Gregor1f179062011-12-19 14:40:25 +0000364void ASTDeclWriter::VisitTypedefNameDecl(TypedefNameDecl *D) {
Douglas Gregor05f10352011-12-17 23:38:30 +0000365 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000366 VisitTypeDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000367 Record.AddTypeSourceInfo(D->getTypeSourceInfo());
Enea Zaffanellaa86d88c2013-06-20 12:46:19 +0000368 Record.push_back(D->isModed());
369 if (D->isModed())
Richard Smith69c82bf2016-04-01 22:52:03 +0000370 Record.AddTypeRef(D->getUnderlyingType());
Richard Smithc0ca4c22017-01-26 22:39:55 +0000371 Record.AddDeclRef(D->getAnonDeclWithTypedefName(false));
Douglas Gregor1f179062011-12-19 14:40:25 +0000372}
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000373
Douglas Gregor1f179062011-12-19 14:40:25 +0000374void ASTDeclWriter::VisitTypedefDecl(TypedefDecl *D) {
375 VisitTypedefNameDecl(D);
Richard Smith8aed4222015-12-11 22:41:00 +0000376 if (D->getDeclContext() == D->getLexicalDeclContext() &&
377 !D->hasAttrs() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000378 !D->isImplicit() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000379 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000380 !D->isInvalidDecl() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000381 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000382 !D->isModulePrivate() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000383 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000384 D->getDeclName().getNameKind() == DeclarationName::Identifier)
385 AbbrevToUse = Writer.getDeclTypedefAbbrev();
386
Sebastian Redl539c5062010-08-18 23:57:32 +0000387 Code = serialization::DECL_TYPEDEF;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000388}
389
Richard Smithdda56e42011-04-15 14:24:37 +0000390void ASTDeclWriter::VisitTypeAliasDecl(TypeAliasDecl *D) {
Douglas Gregor1f179062011-12-19 14:40:25 +0000391 VisitTypedefNameDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000392 Record.AddDeclRef(D->getDescribedAliasTemplate());
Richard Smithdda56e42011-04-15 14:24:37 +0000393 Code = serialization::DECL_TYPEALIAS;
394}
395
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000396void ASTDeclWriter::VisitTagDecl(TagDecl *D) {
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000397 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000398 VisitTypeDecl(D);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000399 Record.push_back(D->getIdentifierNamespace());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000400 Record.push_back((unsigned)D->getTagKind()); // FIXME: stable encoding
Richard Smith2c381642014-08-27 23:11:59 +0000401 if (!isa<CXXRecordDecl>(D))
402 Record.push_back(D->isCompleteDefinition());
Douglas Gregor5089c762010-02-12 17:40:34 +0000403 Record.push_back(D->isEmbeddedInDeclarator());
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +0000404 Record.push_back(D->isFreeStanding());
David Blaikiea8d23ce2013-07-14 01:07:41 +0000405 Record.push_back(D->isCompleteDefinitionRequired());
Argyrios Kyrtzidisd798c052016-07-15 18:11:33 +0000406 Record.AddSourceRange(D->getBraceRange());
Richard Smith70d58502014-08-30 00:04:23 +0000407
408 if (D->hasExtInfo()) {
409 Record.push_back(1);
Richard Smith69c82bf2016-04-01 22:52:03 +0000410 Record.AddQualifierInfo(*D->getExtInfo());
Richard Smith70d58502014-08-30 00:04:23 +0000411 } else if (auto *TD = D->getTypedefNameForAnonDecl()) {
412 Record.push_back(2);
Richard Smith69c82bf2016-04-01 22:52:03 +0000413 Record.AddDeclRef(TD);
414 Record.AddIdentifierRef(TD->getDeclName().getAsIdentifierInfo());
Richard Smith70d58502014-08-30 00:04:23 +0000415 } else {
416 Record.push_back(0);
417 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000418}
419
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000420void ASTDeclWriter::VisitEnumDecl(EnumDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000421 VisitTagDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000422 Record.AddTypeSourceInfo(D->getIntegerTypeSourceInfo());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000423 if (!D->getIntegerTypeSourceInfo())
Richard Smith69c82bf2016-04-01 22:52:03 +0000424 Record.AddTypeRef(D->getIntegerType());
425 Record.AddTypeRef(D->getPromotionType());
John McCall9aa35be2010-05-06 08:49:23 +0000426 Record.push_back(D->getNumPositiveBits());
427 Record.push_back(D->getNumNegativeBits());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000428 Record.push_back(D->isScoped());
Abramo Bagnara0e05e242010-12-03 18:54:17 +0000429 Record.push_back(D->isScopedUsingClassTag());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000430 Record.push_back(D->isFixed());
Richard Smith4b38ded2012-03-14 23:13:10 +0000431 if (MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo()) {
Richard Smith69c82bf2016-04-01 22:52:03 +0000432 Record.AddDeclRef(MemberInfo->getInstantiatedFrom());
Richard Smith4b38ded2012-03-14 23:13:10 +0000433 Record.push_back(MemberInfo->getTemplateSpecializationKind());
Richard Smith69c82bf2016-04-01 22:52:03 +0000434 Record.AddSourceLocation(MemberInfo->getPointOfInstantiation());
Richard Smith4b38ded2012-03-14 23:13:10 +0000435 } else {
Richard Smith69c82bf2016-04-01 22:52:03 +0000436 Record.AddDeclRef(nullptr);
Richard Smith4b38ded2012-03-14 23:13:10 +0000437 }
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000438
Richard Smith8aed4222015-12-11 22:41:00 +0000439 if (D->getDeclContext() == D->getLexicalDeclContext() &&
440 !D->hasAttrs() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000441 !D->isImplicit() &&
442 !D->isUsed(false) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000443 !D->hasExtInfo() &&
Richard Smith70d58502014-08-30 00:04:23 +0000444 !D->getTypedefNameForAnonDecl() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000445 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000446 !D->isInvalidDecl() &&
447 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000448 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000449 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000450 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000451 !CXXRecordDecl::classofKind(D->getKind()) &&
452 !D->getIntegerTypeSourceInfo() &&
Argyrios Kyrtzidisca370b0d2013-03-18 22:23:49 +0000453 !D->getMemberSpecializationInfo() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000454 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000455 D->getDeclName().getNameKind() == DeclarationName::Identifier)
456 AbbrevToUse = Writer.getDeclEnumAbbrev();
457
Sebastian Redl539c5062010-08-18 23:57:32 +0000458 Code = serialization::DECL_ENUM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000459}
460
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000461void ASTDeclWriter::VisitRecordDecl(RecordDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000462 VisitTagDecl(D);
463 Record.push_back(D->hasFlexibleArrayMember());
464 Record.push_back(D->isAnonymousStructOrUnion());
Fariborz Jahanian8e0d0422009-07-08 16:37:44 +0000465 Record.push_back(D->hasObjectMember());
Fariborz Jahanian78652202013-01-25 23:57:05 +0000466 Record.push_back(D->hasVolatileMember());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000467
Richard Smith8aed4222015-12-11 22:41:00 +0000468 if (D->getDeclContext() == D->getLexicalDeclContext() &&
469 !D->hasAttrs() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000470 !D->isImplicit() &&
471 !D->isUsed(false) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000472 !D->hasExtInfo() &&
Richard Smith70d58502014-08-30 00:04:23 +0000473 !D->getTypedefNameForAnonDecl() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000474 D->getFirstDecl() == D->getMostRecentDecl() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000475 !D->isInvalidDecl() &&
476 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000477 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000478 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000479 !D->isModulePrivate() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000480 !CXXRecordDecl::classofKind(D->getKind()) &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000481 !needsAnonymousDeclarationNumber(D) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000482 D->getDeclName().getNameKind() == DeclarationName::Identifier)
Douglas Gregor03412ba2011-06-03 02:27:19 +0000483 AbbrevToUse = Writer.getDeclRecordAbbrev();
484
Sebastian Redl539c5062010-08-18 23:57:32 +0000485 Code = serialization::DECL_RECORD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000486}
487
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000488void ASTDeclWriter::VisitValueDecl(ValueDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000489 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000490 Record.AddTypeRef(D->getType());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000491}
492
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000493void ASTDeclWriter::VisitEnumConstantDecl(EnumConstantDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000494 VisitValueDecl(D);
495 Record.push_back(D->getInitExpr()? 1 : 0);
496 if (D->getInitExpr())
Richard Smith290d8012016-04-06 17:06:00 +0000497 Record.AddStmt(D->getInitExpr());
Richard Smith69c82bf2016-04-01 22:52:03 +0000498 Record.AddAPSInt(D->getInitVal());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000499
Sebastian Redl539c5062010-08-18 23:57:32 +0000500 Code = serialization::DECL_ENUM_CONSTANT;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000501}
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000502
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000503void ASTDeclWriter::VisitDeclaratorDecl(DeclaratorDecl *D) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000504 VisitValueDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000505 Record.AddSourceLocation(D->getInnerLocStart());
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000506 Record.push_back(D->hasExtInfo());
507 if (D->hasExtInfo())
Richard Smith69c82bf2016-04-01 22:52:03 +0000508 Record.AddQualifierInfo(*D->getExtInfo());
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000509}
Chris Lattner7099dbc2009-04-27 06:16:06 +0000510
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000511void ASTDeclWriter::VisitFunctionDecl(FunctionDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000512 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000513 VisitDeclaratorDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000514 Record.AddDeclarationNameLoc(D->DNLoc, D->getDeclName());
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000515 Record.push_back(D->getIdentifierNamespace());
Douglas Gregorb2585692012-01-04 17:13:46 +0000516
517 // FunctionDecl's body is handled last at ASTWriterDecl::Visit,
518 // after everything else is written.
519
Richard Smith72625c22015-02-06 23:20:21 +0000520 Record.push_back((int)D->SClass); // FIXME: stable encoding
Douglas Gregorb2585692012-01-04 17:13:46 +0000521 Record.push_back(D->IsInline);
Richard Smith72625c22015-02-06 23:20:21 +0000522 Record.push_back(D->IsInlineSpecified);
523 Record.push_back(D->IsVirtualAsWritten);
524 Record.push_back(D->IsPure);
525 Record.push_back(D->HasInheritedPrototype);
526 Record.push_back(D->HasWrittenPrototype);
527 Record.push_back(D->IsDeleted);
528 Record.push_back(D->IsTrivial);
529 Record.push_back(D->IsDefaulted);
530 Record.push_back(D->IsExplicitlyDefaulted);
531 Record.push_back(D->HasImplicitReturnZero);
532 Record.push_back(D->IsConstexpr);
Reid Kleckner0d157382017-01-10 21:27:03 +0000533 Record.push_back(D->UsesSEHTry);
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000534 Record.push_back(D->HasSkippedBody);
Richard Smith72625c22015-02-06 23:20:21 +0000535 Record.push_back(D->IsLateTemplateParsed);
Rafael Espindola3ae00052013-05-13 00:12:11 +0000536 Record.push_back(D->getLinkageInternal());
Richard Smith69c82bf2016-04-01 22:52:03 +0000537 Record.AddSourceLocation(D->getLocEnd());
Douglas Gregorb2585692012-01-04 17:13:46 +0000538
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000539 Record.push_back(D->getTemplatedKind());
540 switch (D->getTemplatedKind()) {
541 case FunctionDecl::TK_NonTemplate:
542 break;
543 case FunctionDecl::TK_FunctionTemplate:
Richard Smith69c82bf2016-04-01 22:52:03 +0000544 Record.AddDeclRef(D->getDescribedFunctionTemplate());
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000545 break;
546 case FunctionDecl::TK_MemberSpecialization: {
547 MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo();
Richard Smith69c82bf2016-04-01 22:52:03 +0000548 Record.AddDeclRef(MemberInfo->getInstantiatedFrom());
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000549 Record.push_back(MemberInfo->getTemplateSpecializationKind());
Richard Smith69c82bf2016-04-01 22:52:03 +0000550 Record.AddSourceLocation(MemberInfo->getPointOfInstantiation());
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000551 break;
552 }
553 case FunctionDecl::TK_FunctionTemplateSpecialization: {
554 FunctionTemplateSpecializationInfo *
555 FTSInfo = D->getTemplateSpecializationInfo();
Richard Smithd8a83712015-08-22 01:47:18 +0000556
557 RegisterTemplateSpecialization(FTSInfo->getTemplate(), D);
558
Richard Smith69c82bf2016-04-01 22:52:03 +0000559 Record.AddDeclRef(FTSInfo->getTemplate());
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000560 Record.push_back(FTSInfo->getTemplateSpecializationKind());
561
562 // Template arguments.
Richard Smith69c82bf2016-04-01 22:52:03 +0000563 Record.AddTemplateArgumentList(FTSInfo->TemplateArguments);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000564
565 // Template args as written.
Craig Toppera13603a2014-05-22 05:54:18 +0000566 Record.push_back(FTSInfo->TemplateArgumentsAsWritten != nullptr);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000567 if (FTSInfo->TemplateArgumentsAsWritten) {
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000568 Record.push_back(FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs);
569 for (int i=0, e = FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs;
570 i!=e; ++i)
Richard Smith69c82bf2016-04-01 22:52:03 +0000571 Record.AddTemplateArgumentLoc(
572 (*FTSInfo->TemplateArgumentsAsWritten)[i]);
573 Record.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->LAngleLoc);
574 Record.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->RAngleLoc);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000575 }
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000576
Richard Smith69c82bf2016-04-01 22:52:03 +0000577 Record.AddSourceLocation(FTSInfo->getPointOfInstantiation());
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000578
579 if (D->isCanonicalDecl()) {
580 // Write the template that contains the specializations set. We will
581 // add a FunctionTemplateSpecializationInfo to it when reading.
Richard Smith69c82bf2016-04-01 22:52:03 +0000582 Record.AddDeclRef(FTSInfo->getTemplate()->getCanonicalDecl());
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000583 }
Argyrios Kyrtzidisdc9ca0a2010-06-25 16:24:51 +0000584 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000585 }
586 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
587 DependentFunctionTemplateSpecializationInfo *
588 DFTSInfo = D->getDependentSpecializationInfo();
589
590 // Templates.
591 Record.push_back(DFTSInfo->getNumTemplates());
592 for (int i=0, e = DFTSInfo->getNumTemplates(); i != e; ++i)
Richard Smith69c82bf2016-04-01 22:52:03 +0000593 Record.AddDeclRef(DFTSInfo->getTemplate(i));
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000594
595 // Templates args.
596 Record.push_back(DFTSInfo->getNumTemplateArgs());
597 for (int i=0, e = DFTSInfo->getNumTemplateArgs(); i != e; ++i)
Richard Smith69c82bf2016-04-01 22:52:03 +0000598 Record.AddTemplateArgumentLoc(DFTSInfo->getTemplateArg(i));
599 Record.AddSourceLocation(DFTSInfo->getLAngleLoc());
600 Record.AddSourceLocation(DFTSInfo->getRAngleLoc());
Argyrios Kyrtzidisdc9ca0a2010-06-25 16:24:51 +0000601 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000602 }
603 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000604
Chris Lattner7099dbc2009-04-27 06:16:06 +0000605 Record.push_back(D->param_size());
David Majnemer59f77922016-06-24 04:05:48 +0000606 for (auto P : D->parameters())
Richard Smith69c82bf2016-04-01 22:52:03 +0000607 Record.AddDeclRef(P);
Sebastian Redl539c5062010-08-18 23:57:32 +0000608 Code = serialization::DECL_FUNCTION;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000609}
610
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000611void ASTDeclWriter::VisitObjCMethodDecl(ObjCMethodDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000612 VisitNamedDecl(D);
613 // FIXME: convert to LazyStmtPtr?
Mike Stump11289f42009-09-09 15:08:12 +0000614 // Unlike C/C++, method bodies will never be in header files.
Craig Toppera13603a2014-05-22 05:54:18 +0000615 bool HasBodyStuff = D->getBody() != nullptr ||
616 D->getSelfDecl() != nullptr || D->getCmdDecl() != nullptr;
Argyrios Kyrtzidisa8607772010-08-09 10:54:37 +0000617 Record.push_back(HasBodyStuff);
618 if (HasBodyStuff) {
Richard Smith290d8012016-04-06 17:06:00 +0000619 Record.AddStmt(D->getBody());
Richard Smith69c82bf2016-04-01 22:52:03 +0000620 Record.AddDeclRef(D->getSelfDecl());
621 Record.AddDeclRef(D->getCmdDecl());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000622 }
623 Record.push_back(D->isInstanceMethod());
624 Record.push_back(D->isVariadic());
Jordan Rosed01e83a2012-10-10 16:42:25 +0000625 Record.push_back(D->isPropertyAccessor());
Fariborz Jahanian6e7e8cc2010-07-22 18:24:20 +0000626 Record.push_back(D->isDefined());
Argyrios Kyrtzidis08f96a92012-05-09 16:12:57 +0000627 Record.push_back(D->IsOverriding);
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000628 Record.push_back(D->HasSkippedBody);
Argyrios Kyrtzidisdb215962011-10-14 17:41:52 +0000629
630 Record.push_back(D->IsRedeclaration);
631 Record.push_back(D->HasRedeclaration);
632 if (D->HasRedeclaration) {
633 assert(Context.getObjCMethodRedeclaration(D));
Richard Smith69c82bf2016-04-01 22:52:03 +0000634 Record.AddDeclRef(Context.getObjCMethodRedeclaration(D));
Argyrios Kyrtzidisdb215962011-10-14 17:41:52 +0000635 }
636
Chris Lattner7099dbc2009-04-27 06:16:06 +0000637 // FIXME: stable encoding for @required/@optional
Mike Stump11289f42009-09-09 15:08:12 +0000638 Record.push_back(D->getImplementationControl());
Douglas Gregor813a0662015-06-19 18:14:38 +0000639 // FIXME: stable encoding for in/out/inout/bycopy/byref/oneway/nullability
Mike Stump11289f42009-09-09 15:08:12 +0000640 Record.push_back(D->getObjCDeclQualifier());
Douglas Gregor33823722011-06-11 01:09:30 +0000641 Record.push_back(D->hasRelatedResultType());
Richard Smith69c82bf2016-04-01 22:52:03 +0000642 Record.AddTypeRef(D->getReturnType());
643 Record.AddTypeSourceInfo(D->getReturnTypeSourceInfo());
644 Record.AddSourceLocation(D->getLocEnd());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000645 Record.push_back(D->param_size());
David Majnemer59f77922016-06-24 04:05:48 +0000646 for (const auto *P : D->parameters())
Richard Smith69c82bf2016-04-01 22:52:03 +0000647 Record.AddDeclRef(P);
Argyrios Kyrtzidisb8c3aaf2011-10-03 06:37:04 +0000648
649 Record.push_back(D->SelLocsKind);
650 unsigned NumStoredSelLocs = D->getNumStoredSelLocs();
651 SourceLocation *SelLocs = D->getStoredSelLocs();
652 Record.push_back(NumStoredSelLocs);
653 for (unsigned i = 0; i != NumStoredSelLocs; ++i)
Richard Smith69c82bf2016-04-01 22:52:03 +0000654 Record.AddSourceLocation(SelLocs[i]);
Argyrios Kyrtzidisb8c3aaf2011-10-03 06:37:04 +0000655
Sebastian Redl539c5062010-08-18 23:57:32 +0000656 Code = serialization::DECL_OBJC_METHOD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000657}
658
Douglas Gregor85f3f952015-07-07 03:57:15 +0000659void ASTDeclWriter::VisitObjCTypeParamDecl(ObjCTypeParamDecl *D) {
660 VisitTypedefNameDecl(D);
Douglas Gregor1ac1b632015-07-07 03:58:54 +0000661 Record.push_back(D->Variance);
Douglas Gregore83b9562015-07-07 03:57:53 +0000662 Record.push_back(D->Index);
Richard Smith69c82bf2016-04-01 22:52:03 +0000663 Record.AddSourceLocation(D->VarianceLoc);
664 Record.AddSourceLocation(D->ColonLoc);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000665
666 Code = serialization::DECL_OBJC_TYPE_PARAM;
667}
668
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000669void ASTDeclWriter::VisitObjCContainerDecl(ObjCContainerDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000670 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000671 Record.AddSourceLocation(D->getAtStartLoc());
672 Record.AddSourceRange(D->getAtEndRange());
Sebastian Redl539c5062010-08-18 23:57:32 +0000673 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner7099dbc2009-04-27 06:16:06 +0000674}
675
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000676void ASTDeclWriter::VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
Douglas Gregor66b310c2011-12-15 18:03:09 +0000677 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000678 VisitObjCContainerDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000679 Record.AddTypeRef(QualType(D->getTypeForDecl(), 0));
Douglas Gregor85f3f952015-07-07 03:57:15 +0000680 AddObjCTypeParamList(D->TypeParamList);
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000681
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000682 Record.push_back(D->isThisDeclarationADefinition());
683 if (D->isThisDeclarationADefinition()) {
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000684 // Write the DefinitionData
685 ObjCInterfaceDecl::DefinitionData &Data = D->data();
686
Richard Smith69c82bf2016-04-01 22:52:03 +0000687 Record.AddTypeSourceInfo(D->getSuperClassTInfo());
688 Record.AddSourceLocation(D->getEndOfDefinitionLoc());
Argyrios Kyrtzidis9ed9e5f2013-12-03 21:11:30 +0000689 Record.push_back(Data.HasDesignatedInitializers);
Douglas Gregor16408322011-12-15 22:34:59 +0000690
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000691 // Write out the protocols that are directly referenced by the @interface.
692 Record.push_back(Data.ReferencedProtocols.size());
Aaron Ballmana49c5062014-03-13 20:29:09 +0000693 for (const auto *P : D->protocols())
Richard Smith69c82bf2016-04-01 22:52:03 +0000694 Record.AddDeclRef(P);
Aaron Ballmane9378882014-03-13 20:34:24 +0000695 for (const auto &PL : D->protocol_locs())
Richard Smith69c82bf2016-04-01 22:52:03 +0000696 Record.AddSourceLocation(PL);
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000697
698 // Write out the protocols that are transitively referenced.
699 Record.push_back(Data.AllReferencedProtocols.size());
700 for (ObjCList<ObjCProtocolDecl>::iterator
701 P = Data.AllReferencedProtocols.begin(),
702 PEnd = Data.AllReferencedProtocols.end();
703 P != PEnd; ++P)
Richard Smith69c82bf2016-04-01 22:52:03 +0000704 Record.AddDeclRef(*P);
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000705
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000706
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000707 if (ObjCCategoryDecl *Cat = D->getCategoryListRaw()) {
Douglas Gregor404cdde2012-01-27 01:47:08 +0000708 // Ensure that we write out the set of categories for this class.
709 Writer.ObjCClassesWithCategories.insert(D);
710
711 // Make sure that the categories get serialized.
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000712 for (; Cat; Cat = Cat->getNextClassCategoryRaw())
Douglas Gregor404cdde2012-01-27 01:47:08 +0000713 (void)Writer.GetDeclRef(Cat);
714 }
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000715 }
716
Sebastian Redl539c5062010-08-18 23:57:32 +0000717 Code = serialization::DECL_OBJC_INTERFACE;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000718}
719
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000720void ASTDeclWriter::VisitObjCIvarDecl(ObjCIvarDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000721 VisitFieldDecl(D);
722 // FIXME: stable encoding for @public/@private/@protected/@package
Mike Stump11289f42009-09-09 15:08:12 +0000723 Record.push_back(D->getAccessControl());
Fariborz Jahanianaea8e1e2010-07-17 18:35:47 +0000724 Record.push_back(D->getSynthesize());
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000725
Richard Smith8aed4222015-12-11 22:41:00 +0000726 if (D->getDeclContext() == D->getLexicalDeclContext() &&
727 !D->hasAttrs() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000728 !D->isImplicit() &&
729 !D->isUsed(false) &&
730 !D->isInvalidDecl() &&
731 !D->isReferenced() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000732 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000733 !D->getBitWidth() &&
734 !D->hasExtInfo() &&
735 D->getDeclName())
736 AbbrevToUse = Writer.getDeclObjCIvarAbbrev();
737
Sebastian Redl539c5062010-08-18 23:57:32 +0000738 Code = serialization::DECL_OBJC_IVAR;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000739}
740
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000741void ASTDeclWriter::VisitObjCProtocolDecl(ObjCProtocolDecl *D) {
Douglas Gregora715bff2012-01-01 19:51:50 +0000742 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000743 VisitObjCContainerDecl(D);
Douglas Gregore6e48b12012-01-01 19:29:29 +0000744
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000745 Record.push_back(D->isThisDeclarationADefinition());
746 if (D->isThisDeclarationADefinition()) {
Douglas Gregore6e48b12012-01-01 19:29:29 +0000747 Record.push_back(D->protocol_size());
Aaron Ballman0f6e64d2014-03-13 22:58:06 +0000748 for (const auto *I : D->protocols())
Richard Smith69c82bf2016-04-01 22:52:03 +0000749 Record.AddDeclRef(I);
Aaron Ballmana964ec12014-03-14 12:38:50 +0000750 for (const auto &PL : D->protocol_locs())
Richard Smith69c82bf2016-04-01 22:52:03 +0000751 Record.AddSourceLocation(PL);
Douglas Gregore6e48b12012-01-01 19:29:29 +0000752 }
753
Sebastian Redl539c5062010-08-18 23:57:32 +0000754 Code = serialization::DECL_OBJC_PROTOCOL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000755}
756
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000757void ASTDeclWriter::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000758 VisitFieldDecl(D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000759 Code = serialization::DECL_OBJC_AT_DEFS_FIELD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000760}
761
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000762void ASTDeclWriter::VisitObjCCategoryDecl(ObjCCategoryDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000763 VisitObjCContainerDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000764 Record.AddSourceLocation(D->getCategoryNameLoc());
765 Record.AddSourceLocation(D->getIvarLBraceLoc());
766 Record.AddSourceLocation(D->getIvarRBraceLoc());
767 Record.AddDeclRef(D->getClassInterface());
Douglas Gregor85f3f952015-07-07 03:57:15 +0000768 AddObjCTypeParamList(D->TypeParamList);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000769 Record.push_back(D->protocol_size());
Aaron Ballman19a41762014-03-14 12:55:57 +0000770 for (const auto *I : D->protocols())
Richard Smith69c82bf2016-04-01 22:52:03 +0000771 Record.AddDeclRef(I);
Aaron Ballmana73c8572014-03-14 13:03:32 +0000772 for (const auto &PL : D->protocol_locs())
Richard Smith69c82bf2016-04-01 22:52:03 +0000773 Record.AddSourceLocation(PL);
Sebastian Redl539c5062010-08-18 23:57:32 +0000774 Code = serialization::DECL_OBJC_CATEGORY;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000775}
776
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000777void ASTDeclWriter::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000778 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000779 Record.AddDeclRef(D->getClassInterface());
Sebastian Redl539c5062010-08-18 23:57:32 +0000780 Code = serialization::DECL_OBJC_COMPATIBLE_ALIAS;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000781}
782
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000783void ASTDeclWriter::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000784 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000785 Record.AddSourceLocation(D->getAtLoc());
786 Record.AddSourceLocation(D->getLParenLoc());
787 Record.AddTypeRef(D->getType());
788 Record.AddTypeSourceInfo(D->getTypeSourceInfo());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000789 // FIXME: stable encoding
790 Record.push_back((unsigned)D->getPropertyAttributes());
Fariborz Jahanian3bf0ded2010-06-22 23:20:40 +0000791 Record.push_back((unsigned)D->getPropertyAttributesAsWritten());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000792 // FIXME: stable encoding
793 Record.push_back((unsigned)D->getPropertyImplementation());
Richard Smith69c82bf2016-04-01 22:52:03 +0000794 Record.AddDeclarationName(D->getGetterName());
795 Record.AddDeclarationName(D->getSetterName());
796 Record.AddDeclRef(D->getGetterMethodDecl());
797 Record.AddDeclRef(D->getSetterMethodDecl());
798 Record.AddDeclRef(D->getPropertyIvarDecl());
Sebastian Redl539c5062010-08-18 23:57:32 +0000799 Code = serialization::DECL_OBJC_PROPERTY;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000800}
801
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000802void ASTDeclWriter::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidis067c4072009-07-27 19:04:32 +0000803 VisitObjCContainerDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000804 Record.AddDeclRef(D->getClassInterface());
Sebastian Redl539c5062010-08-18 23:57:32 +0000805 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner7099dbc2009-04-27 06:16:06 +0000806}
807
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000808void ASTDeclWriter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000809 VisitObjCImplDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000810 Record.AddIdentifierRef(D->getIdentifier());
811 Record.AddSourceLocation(D->getCategoryNameLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000812 Code = serialization::DECL_OBJC_CATEGORY_IMPL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000813}
814
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000815void ASTDeclWriter::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000816 VisitObjCImplDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000817 Record.AddDeclRef(D->getSuperClass());
818 Record.AddSourceLocation(D->getSuperClassLoc());
819 Record.AddSourceLocation(D->getIvarLBraceLoc());
820 Record.AddSourceLocation(D->getIvarRBraceLoc());
John McCall0d54a172012-10-17 04:53:31 +0000821 Record.push_back(D->hasNonZeroConstructors());
822 Record.push_back(D->hasDestructors());
Richard Smithc2bb8182015-03-24 06:36:48 +0000823 Record.push_back(D->NumIvarInitializers);
824 if (D->NumIvarInitializers)
Richard Smithaa165cf2016-04-13 21:57:08 +0000825 Record.AddCXXCtorInitializers(
Richard Smith69c82bf2016-04-01 22:52:03 +0000826 llvm::makeArrayRef(D->init_begin(), D->init_end()));
Sebastian Redl539c5062010-08-18 23:57:32 +0000827 Code = serialization::DECL_OBJC_IMPLEMENTATION;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000828}
829
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000830void ASTDeclWriter::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000831 VisitDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000832 Record.AddSourceLocation(D->getLocStart());
833 Record.AddDeclRef(D->getPropertyDecl());
834 Record.AddDeclRef(D->getPropertyIvarDecl());
835 Record.AddSourceLocation(D->getPropertyIvarDeclLoc());
Richard Smith290d8012016-04-06 17:06:00 +0000836 Record.AddStmt(D->getGetterCXXConstructor());
837 Record.AddStmt(D->getSetterCXXAssignment());
Sebastian Redl539c5062010-08-18 23:57:32 +0000838 Code = serialization::DECL_OBJC_PROPERTY_IMPL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000839}
840
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000841void ASTDeclWriter::VisitFieldDecl(FieldDecl *D) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000842 VisitDeclaratorDecl(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000843 Record.push_back(D->isMutable());
John McCallc90c1492014-10-10 18:44:34 +0000844 if (D->InitStorage.getInt() == FieldDecl::ISK_BitWidthOrNothing &&
845 D->InitStorage.getPointer() == nullptr) {
846 Record.push_back(0);
847 } else if (D->InitStorage.getInt() == FieldDecl::ISK_CapturedVLAType) {
848 Record.push_back(D->InitStorage.getInt() + 1);
Richard Smith69c82bf2016-04-01 22:52:03 +0000849 Record.AddTypeRef(
850 QualType(static_cast<Type *>(D->InitStorage.getPointer()), 0));
Richard Smith2b013182012-06-10 03:12:00 +0000851 } else {
John McCallc90c1492014-10-10 18:44:34 +0000852 Record.push_back(D->InitStorage.getInt() + 1);
Richard Smith290d8012016-04-06 17:06:00 +0000853 Record.AddStmt(static_cast<Expr *>(D->InitStorage.getPointer()));
Richard Smith2b013182012-06-10 03:12:00 +0000854 }
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000855 if (!D->getDeclName())
Richard Smith69c82bf2016-04-01 22:52:03 +0000856 Record.AddDeclRef(Context.getInstantiatedFromUnnamedFieldDecl(D));
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000857
Richard Smith8aed4222015-12-11 22:41:00 +0000858 if (D->getDeclContext() == D->getLexicalDeclContext() &&
859 !D->hasAttrs() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000860 !D->isImplicit() &&
861 !D->isUsed(false) &&
862 !D->isInvalidDecl() &&
863 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000864 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000865 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000866 !D->getBitWidth() &&
Richard Smith938f40b2011-06-11 17:19:42 +0000867 !D->hasInClassInitializer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000868 !D->hasExtInfo() &&
869 !ObjCIvarDecl::classofKind(D->getKind()) &&
870 !ObjCAtDefsFieldDecl::classofKind(D->getKind()) &&
871 D->getDeclName())
872 AbbrevToUse = Writer.getDeclFieldAbbrev();
873
Sebastian Redl539c5062010-08-18 23:57:32 +0000874 Code = serialization::DECL_FIELD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000875}
876
John McCall5e77d762013-04-16 07:28:30 +0000877void ASTDeclWriter::VisitMSPropertyDecl(MSPropertyDecl *D) {
878 VisitDeclaratorDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +0000879 Record.AddIdentifierRef(D->getGetterId());
880 Record.AddIdentifierRef(D->getSetterId());
John McCall5e77d762013-04-16 07:28:30 +0000881 Code = serialization::DECL_MS_PROPERTY;
882}
883
Francois Pichet783dd6e2010-11-21 06:08:52 +0000884void ASTDeclWriter::VisitIndirectFieldDecl(IndirectFieldDecl *D) {
885 VisitValueDecl(D);
886 Record.push_back(D->getChainingSize());
887
Aaron Ballman29c94602014-03-07 18:36:15 +0000888 for (const auto *P : D->chain())
Richard Smith69c82bf2016-04-01 22:52:03 +0000889 Record.AddDeclRef(P);
Francois Pichet783dd6e2010-11-21 06:08:52 +0000890 Code = serialization::DECL_INDIRECTFIELD;
891}
892
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000893void ASTDeclWriter::VisitVarDecl(VarDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000894 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000895 VisitDeclaratorDecl(D);
Rafael Espindola6ae7e502013-04-03 19:27:57 +0000896 Record.push_back(D->getStorageClass());
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +0000897 Record.push_back(D->getTSCSpec());
Sebastian Redla9351792012-02-11 23:51:47 +0000898 Record.push_back(D->getInitStyle());
David Majnemerfa7bc782015-05-19 00:57:16 +0000899 if (!isa<ParmVarDecl>(D)) {
Richard Smithedbc6e92016-10-14 21:41:24 +0000900 Record.push_back(D->isThisDeclarationADemotedDefinition());
David Majnemerfa7bc782015-05-19 00:57:16 +0000901 Record.push_back(D->isExceptionVariable());
902 Record.push_back(D->isNRVOVariable());
903 Record.push_back(D->isCXXForRangeDecl());
904 Record.push_back(D->isARCPseudoStrong());
Richard Smith62f19e72016-06-25 00:15:56 +0000905 Record.push_back(D->isInline());
906 Record.push_back(D->isInlineSpecified());
David Majnemerfa7bc782015-05-19 00:57:16 +0000907 Record.push_back(D->isConstexpr());
908 Record.push_back(D->isInitCapture());
909 Record.push_back(D->isPreviousDeclInSameBlockScope());
910 }
Rafael Espindola3ae00052013-05-13 00:12:11 +0000911 Record.push_back(D->getLinkageInternal());
Douglas Gregor12cda632012-09-20 23:43:29 +0000912
Richard Smithd0b4dd62011-12-19 06:19:21 +0000913 if (D->getInit()) {
914 Record.push_back(!D->isInitKnownICE() ? 1 : (D->isInitICE() ? 3 : 2));
Richard Smith290d8012016-04-06 17:06:00 +0000915 Record.AddStmt(D->getInit());
Richard Smithd0b4dd62011-12-19 06:19:21 +0000916 } else {
917 Record.push_back(0);
918 }
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000919
920 enum {
921 VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
922 };
923 if (VarTemplateDecl *TemplD = D->getDescribedVarTemplate()) {
924 Record.push_back(VarTemplate);
Richard Smith69c82bf2016-04-01 22:52:03 +0000925 Record.AddDeclRef(TemplD);
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000926 } else if (MemberSpecializationInfo *SpecInfo
927 = D->getMemberSpecializationInfo()) {
928 Record.push_back(StaticDataMemberSpecialization);
Richard Smith69c82bf2016-04-01 22:52:03 +0000929 Record.AddDeclRef(SpecInfo->getInstantiatedFrom());
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000930 Record.push_back(SpecInfo->getTemplateSpecializationKind());
Richard Smith69c82bf2016-04-01 22:52:03 +0000931 Record.AddSourceLocation(SpecInfo->getPointOfInstantiation());
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000932 } else {
933 Record.push_back(VarNotTemplate);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000934 }
935
Richard Smith8aed4222015-12-11 22:41:00 +0000936 if (D->getDeclContext() == D->getLexicalDeclContext() &&
937 !D->hasAttrs() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000938 !D->isImplicit() &&
939 !D->isUsed(false) &&
940 !D->isInvalidDecl() &&
941 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000942 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000943 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000944 !D->isModulePrivate() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000945 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000946 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
947 !D->hasExtInfo() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000948 D->getFirstDecl() == D->getMostRecentDecl() &&
Richard Smith7b76d812016-08-12 02:21:25 +0000949 D->getKind() == Decl::Var &&
Richard Smith62f19e72016-06-25 00:15:56 +0000950 !D->isInline() &&
Douglas Gregor12cda632012-09-20 23:43:29 +0000951 !D->isConstexpr() &&
Richard Smithbb13c9a2013-09-28 04:02:39 +0000952 !D->isInitCapture() &&
Richard Smith1c34fb72013-08-13 18:18:50 +0000953 !D->isPreviousDeclInSameBlockScope() &&
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000954 !D->getMemberSpecializationInfo())
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000955 AbbrevToUse = Writer.getDeclVarAbbrev();
956
Sebastian Redl539c5062010-08-18 23:57:32 +0000957 Code = serialization::DECL_VAR;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000958}
959
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000960void ASTDeclWriter::VisitImplicitParamDecl(ImplicitParamDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000961 VisitVarDecl(D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000962 Code = serialization::DECL_IMPLICIT_PARAM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000963}
964
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000965void ASTDeclWriter::VisitParmVarDecl(ParmVarDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000966 VisitVarDecl(D);
John McCall82490832011-05-02 00:30:12 +0000967 Record.push_back(D->isObjCMethodParameter());
John McCall8fb0d9d2011-05-01 22:35:37 +0000968 Record.push_back(D->getFunctionScopeDepth());
969 Record.push_back(D->getFunctionScopeIndex());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000970 Record.push_back(D->getObjCDeclQualifier()); // FIXME: stable encoding
John McCall6a014d52011-03-09 04:22:44 +0000971 Record.push_back(D->isKNRPromoted());
John McCallf3cd6652010-03-12 18:31:32 +0000972 Record.push_back(D->hasInheritedDefaultArg());
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000973 Record.push_back(D->hasUninstantiatedDefaultArg());
974 if (D->hasUninstantiatedDefaultArg())
Richard Smith290d8012016-04-06 17:06:00 +0000975 Record.AddStmt(D->getUninstantiatedDefaultArg());
Sebastian Redl539c5062010-08-18 23:57:32 +0000976 Code = serialization::DECL_PARM_VAR;
Mike Stump11289f42009-09-09 15:08:12 +0000977
John McCalld4631322011-06-17 06:42:21 +0000978 assert(!D->isARCPseudoStrong()); // can be true of ImplicitParamDecl
979
Chris Lattner258172e2009-04-27 07:35:58 +0000980 // If the assumptions about the DECL_PARM_VAR abbrev are true, use it. Here
981 // we dynamically check for the properties that we optimize for, but don't
982 // know are true of all PARM_VAR_DECLs.
Richard Smith8aed4222015-12-11 22:41:00 +0000983 if (D->getDeclContext() == D->getLexicalDeclContext() &&
984 !D->hasAttrs() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000985 !D->hasExtInfo() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000986 !D->isImplicit() &&
Douglas Gregorebada0772010-06-17 23:14:26 +0000987 !D->isUsed(false) &&
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +0000988 !D->isInvalidDecl() &&
Eli Friedmanc09e0552012-01-13 23:41:25 +0000989 !D->isReferenced() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000990 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000991 !D->isModulePrivate() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000992 D->getStorageClass() == 0 &&
Sebastian Redla9351792012-02-11 23:51:47 +0000993 D->getInitStyle() == VarDecl::CInit && // Can params have anything else?
John McCall82490832011-05-02 00:30:12 +0000994 D->getFunctionScopeDepth() == 0 &&
John McCallf3cd6652010-03-12 18:31:32 +0000995 D->getObjCDeclQualifier() == 0 &&
John McCall6a014d52011-03-09 04:22:44 +0000996 !D->isKNRPromoted() &&
Chris Lattnere2437f42010-05-09 06:40:08 +0000997 !D->hasInheritedDefaultArg() &&
Craig Toppera13603a2014-05-22 05:54:18 +0000998 D->getInit() == nullptr &&
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000999 !D->hasUninstantiatedDefaultArg()) // No default expr.
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001000 AbbrevToUse = Writer.getDeclParmVarAbbrev();
Chris Lattner258172e2009-04-27 07:35:58 +00001001
1002 // Check things we know are true of *every* PARM_VAR_DECL, which is more than
1003 // just us assuming it.
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +00001004 assert(!D->getTSCSpec() && "PARM_VAR_DECL can't use TLS");
Richard Smithedbc6e92016-10-14 21:41:24 +00001005 assert(!D->isThisDeclarationADemotedDefinition()
1006 && "PARM_VAR_DECL can't be demoted definition.");
Chris Lattner258172e2009-04-27 07:35:58 +00001007 assert(D->getAccess() == AS_none && "PARM_VAR_DECL can't be public/private");
Douglas Gregor3f324d562010-05-03 18:51:14 +00001008 assert(!D->isExceptionVariable() && "PARM_VAR_DECL can't be exception var");
Craig Toppera13603a2014-05-22 05:54:18 +00001009 assert(D->getPreviousDecl() == nullptr && "PARM_VAR_DECL can't be redecl");
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +00001010 assert(!D->isStaticDataMember() &&
1011 "PARM_VAR_DECL can't be static data member");
Chris Lattner7099dbc2009-04-27 06:16:06 +00001012}
1013
Richard Smith7b76d812016-08-12 02:21:25 +00001014void ASTDeclWriter::VisitDecompositionDecl(DecompositionDecl *D) {
1015 // Record the number of bindings first to simplify deserialization.
1016 Record.push_back(D->bindings().size());
1017
1018 VisitVarDecl(D);
1019 for (auto *B : D->bindings())
1020 Record.AddDeclRef(B);
1021 Code = serialization::DECL_DECOMPOSITION;
1022}
1023
1024void ASTDeclWriter::VisitBindingDecl(BindingDecl *D) {
1025 VisitValueDecl(D);
1026 Record.AddStmt(D->getBinding());
1027 Code = serialization::DECL_BINDING;
1028}
1029
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001030void ASTDeclWriter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +00001031 VisitDecl(D);
Richard Smith290d8012016-04-06 17:06:00 +00001032 Record.AddStmt(D->getAsmString());
Richard Smith69c82bf2016-04-01 22:52:03 +00001033 Record.AddSourceLocation(D->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001034 Code = serialization::DECL_FILE_SCOPE_ASM;
Chris Lattner7099dbc2009-04-27 06:16:06 +00001035}
1036
Michael Han84324352013-02-22 17:15:32 +00001037void ASTDeclWriter::VisitEmptyDecl(EmptyDecl *D) {
1038 VisitDecl(D);
1039 Code = serialization::DECL_EMPTY;
1040}
1041
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001042void ASTDeclWriter::VisitBlockDecl(BlockDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +00001043 VisitDecl(D);
Richard Smith290d8012016-04-06 17:06:00 +00001044 Record.AddStmt(D->getBody());
Richard Smith69c82bf2016-04-01 22:52:03 +00001045 Record.AddTypeSourceInfo(D->getSignatureAsWritten());
Chris Lattner7099dbc2009-04-27 06:16:06 +00001046 Record.push_back(D->param_size());
David Majnemera3debed2016-06-24 05:33:44 +00001047 for (ParmVarDecl *P : D->parameters())
1048 Record.AddDeclRef(P);
John McCallcf6ce282012-04-13 17:33:29 +00001049 Record.push_back(D->isVariadic());
1050 Record.push_back(D->blockMissingReturnType());
1051 Record.push_back(D->isConversionFromLambda());
John McCallc63de662011-02-02 13:00:07 +00001052 Record.push_back(D->capturesCXXThis());
John McCall351762c2011-02-07 10:33:21 +00001053 Record.push_back(D->getNumCaptures());
Aaron Ballman9371dd22014-03-14 18:34:04 +00001054 for (const auto &capture : D->captures()) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001055 Record.AddDeclRef(capture.getVariable());
John McCall351762c2011-02-07 10:33:21 +00001056
1057 unsigned flags = 0;
1058 if (capture.isByRef()) flags |= 1;
1059 if (capture.isNested()) flags |= 2;
1060 if (capture.hasCopyExpr()) flags |= 4;
1061 Record.push_back(flags);
1062
Richard Smith290d8012016-04-06 17:06:00 +00001063 if (capture.hasCopyExpr()) Record.AddStmt(capture.getCopyExpr());
John McCall351762c2011-02-07 10:33:21 +00001064 }
John McCallc63de662011-02-02 13:00:07 +00001065
Sebastian Redl539c5062010-08-18 23:57:32 +00001066 Code = serialization::DECL_BLOCK;
Chris Lattner7099dbc2009-04-27 06:16:06 +00001067}
1068
Ben Langmuirce914fc2013-05-03 19:20:19 +00001069void ASTDeclWriter::VisitCapturedDecl(CapturedDecl *CD) {
1070 Record.push_back(CD->getNumParams());
1071 VisitDecl(CD);
Alexey Bataev9959db52014-05-06 10:08:46 +00001072 Record.push_back(CD->getContextParamPosition());
1073 Record.push_back(CD->isNothrow() ? 1 : 0);
Ben Langmuirce914fc2013-05-03 19:20:19 +00001074 // Body is stored by VisitCapturedStmt.
Alexey Bataev9959db52014-05-06 10:08:46 +00001075 for (unsigned I = 0; I < CD->getNumParams(); ++I)
Richard Smith69c82bf2016-04-01 22:52:03 +00001076 Record.AddDeclRef(CD->getParam(I));
Ben Langmuirce914fc2013-05-03 19:20:19 +00001077 Code = serialization::DECL_CAPTURED;
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001078}
1079
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001080void ASTDeclWriter::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001081 VisitDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001082 Record.push_back(D->getLanguage());
Richard Smith69c82bf2016-04-01 22:52:03 +00001083 Record.AddSourceLocation(D->getExternLoc());
1084 Record.AddSourceLocation(D->getRBraceLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001085 Code = serialization::DECL_LINKAGE_SPEC;
Chris Lattnerca025db2010-05-07 21:43:38 +00001086}
1087
Richard Smith8df390f2016-09-08 23:14:54 +00001088void ASTDeclWriter::VisitExportDecl(ExportDecl *D) {
1089 VisitDecl(D);
1090 Record.AddSourceLocation(D->getRBraceLoc());
1091 Code = serialization::DECL_EXPORT;
1092}
1093
Chris Lattnerc8e630e2011-02-17 07:39:24 +00001094void ASTDeclWriter::VisitLabelDecl(LabelDecl *D) {
1095 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001096 Record.AddSourceLocation(D->getLocStart());
Chris Lattnerc8e630e2011-02-17 07:39:24 +00001097 Code = serialization::DECL_LABEL;
1098}
1099
1100
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001101void ASTDeclWriter::VisitNamespaceDecl(NamespaceDecl *D) {
Douglas Gregore57e7522012-01-07 09:11:48 +00001102 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001103 VisitNamedDecl(D);
Douglas Gregor44e5c1f2010-10-05 20:41:58 +00001104 Record.push_back(D->isInline());
Richard Smith69c82bf2016-04-01 22:52:03 +00001105 Record.AddSourceLocation(D->getLocStart());
1106 Record.AddSourceLocation(D->getRBraceLoc());
Chris Lattnerca025db2010-05-07 21:43:38 +00001107
Chris Lattnerca025db2010-05-07 21:43:38 +00001108 if (D->isOriginalNamespace())
Richard Smith69c82bf2016-04-01 22:52:03 +00001109 Record.AddDeclRef(D->getAnonymousNamespace());
Sebastian Redl539c5062010-08-18 23:57:32 +00001110 Code = serialization::DECL_NAMESPACE;
Sebastian Redlf03cdc52010-08-05 21:22:19 +00001111
Douglas Gregore57e7522012-01-07 09:11:48 +00001112 if (Writer.hasChain() && D->isAnonymousNamespace() &&
Douglas Gregorec9fd132012-01-14 16:38:05 +00001113 D == D->getMostRecentDecl()) {
Sebastian Redl010288f2011-04-24 16:28:21 +00001114 // This is a most recent reopening of the anonymous namespace. If its parent
1115 // is in a previous PCH (or is the TU), mark that parent for update, because
1116 // the original namespace always points to the latest re-opening of its
1117 // anonymous namespace.
1118 Decl *Parent = cast<Decl>(
1119 D->getParent()->getRedeclContext()->getPrimaryContext());
Douglas Gregorb3722e22011-09-09 23:01:35 +00001120 if (Parent->isFromASTFile() || isa<TranslationUnitDecl>(Parent)) {
Richard Smith6ef42932014-03-20 21:02:00 +00001121 Writer.DeclUpdates[Parent].push_back(
Aaron Ballman4f45b712014-03-21 15:22:56 +00001122 ASTWriter::DeclUpdate(UPD_CXX_ADDED_ANONYMOUS_NAMESPACE, D));
Sebastian Redlfa1f3702011-04-24 16:28:13 +00001123 }
1124 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001125}
1126
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001127void ASTDeclWriter::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Richard Smithf4634362014-09-03 23:11:22 +00001128 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001129 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001130 Record.AddSourceLocation(D->getNamespaceLoc());
1131 Record.AddSourceLocation(D->getTargetNameLoc());
1132 Record.AddNestedNameSpecifierLoc(D->getQualifierLoc());
1133 Record.AddDeclRef(D->getNamespace());
Sebastian Redl539c5062010-08-18 23:57:32 +00001134 Code = serialization::DECL_NAMESPACE_ALIAS;
Chris Lattnerca025db2010-05-07 21:43:38 +00001135}
1136
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001137void ASTDeclWriter::VisitUsingDecl(UsingDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001138 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001139 Record.AddSourceLocation(D->getUsingLoc());
1140 Record.AddNestedNameSpecifierLoc(D->getQualifierLoc());
1141 Record.AddDeclarationNameLoc(D->DNLoc, D->getDeclName());
1142 Record.AddDeclRef(D->FirstUsingShadow.getPointer());
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +00001143 Record.push_back(D->hasTypename());
Richard Smith69c82bf2016-04-01 22:52:03 +00001144 Record.AddDeclRef(Context.getInstantiatedFromUsingDecl(D));
Sebastian Redl539c5062010-08-18 23:57:32 +00001145 Code = serialization::DECL_USING;
Chris Lattnerca025db2010-05-07 21:43:38 +00001146}
1147
Richard Smith151c4562016-12-20 21:35:28 +00001148void ASTDeclWriter::VisitUsingPackDecl(UsingPackDecl *D) {
1149 Record.push_back(D->NumExpansions);
1150 VisitNamedDecl(D);
1151 Record.AddDeclRef(D->getInstantiatedFromUsingDecl());
1152 for (auto *E : D->expansions())
1153 Record.AddDeclRef(E);
1154 Code = serialization::DECL_USING_PACK;
1155}
1156
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001157void ASTDeclWriter::VisitUsingShadowDecl(UsingShadowDecl *D) {
Richard Smithfd8634a2013-10-23 02:17:46 +00001158 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001159 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001160 Record.AddDeclRef(D->getTargetDecl());
1161 Record.AddDeclRef(D->UsingOrNextShadow);
1162 Record.AddDeclRef(Context.getInstantiatedFromUsingShadowDecl(D));
Sebastian Redl539c5062010-08-18 23:57:32 +00001163 Code = serialization::DECL_USING_SHADOW;
Chris Lattnerca025db2010-05-07 21:43:38 +00001164}
1165
Richard Smith5179eb72016-06-28 19:03:57 +00001166void ASTDeclWriter::VisitConstructorUsingShadowDecl(
1167 ConstructorUsingShadowDecl *D) {
1168 VisitUsingShadowDecl(D);
1169 Record.AddDeclRef(D->NominatedBaseClassShadowDecl);
1170 Record.AddDeclRef(D->ConstructedBaseClassShadowDecl);
1171 Record.push_back(D->IsVirtual);
1172 Code = serialization::DECL_CONSTRUCTOR_USING_SHADOW;
1173}
1174
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001175void ASTDeclWriter::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001176 VisitNamedDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001177 Record.AddSourceLocation(D->getUsingLoc());
1178 Record.AddSourceLocation(D->getNamespaceKeyLocation());
1179 Record.AddNestedNameSpecifierLoc(D->getQualifierLoc());
1180 Record.AddDeclRef(D->getNominatedNamespace());
1181 Record.AddDeclRef(dyn_cast<Decl>(D->getCommonAncestor()));
Sebastian Redl539c5062010-08-18 23:57:32 +00001182 Code = serialization::DECL_USING_DIRECTIVE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001183}
1184
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001185void ASTDeclWriter::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001186 VisitValueDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001187 Record.AddSourceLocation(D->getUsingLoc());
1188 Record.AddNestedNameSpecifierLoc(D->getQualifierLoc());
1189 Record.AddDeclarationNameLoc(D->DNLoc, D->getDeclName());
Richard Smith151c4562016-12-20 21:35:28 +00001190 Record.AddSourceLocation(D->getEllipsisLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001191 Code = serialization::DECL_UNRESOLVED_USING_VALUE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001192}
1193
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001194void ASTDeclWriter::VisitUnresolvedUsingTypenameDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001195 UnresolvedUsingTypenameDecl *D) {
1196 VisitTypeDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001197 Record.AddSourceLocation(D->getTypenameLoc());
1198 Record.AddNestedNameSpecifierLoc(D->getQualifierLoc());
Richard Smith151c4562016-12-20 21:35:28 +00001199 Record.AddSourceLocation(D->getEllipsisLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001200 Code = serialization::DECL_UNRESOLVED_USING_TYPENAME;
Chris Lattnerca025db2010-05-07 21:43:38 +00001201}
1202
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001203void ASTDeclWriter::VisitCXXRecordDecl(CXXRecordDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001204 VisitRecordDecl(D);
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +00001205
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001206 enum {
1207 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1208 };
1209 if (ClassTemplateDecl *TemplD = D->getDescribedClassTemplate()) {
1210 Record.push_back(CXXRecTemplate);
Richard Smith69c82bf2016-04-01 22:52:03 +00001211 Record.AddDeclRef(TemplD);
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001212 } else if (MemberSpecializationInfo *MSInfo
1213 = D->getMemberSpecializationInfo()) {
1214 Record.push_back(CXXRecMemberSpecialization);
Richard Smith69c82bf2016-04-01 22:52:03 +00001215 Record.AddDeclRef(MSInfo->getInstantiatedFrom());
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001216 Record.push_back(MSInfo->getTemplateSpecializationKind());
Richard Smith69c82bf2016-04-01 22:52:03 +00001217 Record.AddSourceLocation(MSInfo->getPointOfInstantiation());
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001218 } else {
1219 Record.push_back(CXXRecNotTemplate);
1220 }
1221
Richard Smithcd45dbc2014-04-19 03:48:30 +00001222 Record.push_back(D->isThisDeclarationADefinition());
1223 if (D->isThisDeclarationADefinition())
Richard Smith69c82bf2016-04-01 22:52:03 +00001224 Record.AddCXXDefinitionData(D);
Richard Smithcd45dbc2014-04-19 03:48:30 +00001225
John McCall6bd2a892013-01-25 22:31:03 +00001226 // Store (what we currently believe to be) the key function to avoid
1227 // deserializing every method so we can compute it.
John McCallf937c022011-10-07 06:10:15 +00001228 if (D->IsCompleteDefinition)
Richard Smith69c82bf2016-04-01 22:52:03 +00001229 Record.AddDeclRef(Context.getCurrentKeyFunction(D));
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +00001230
Sebastian Redl539c5062010-08-18 23:57:32 +00001231 Code = serialization::DECL_CXX_RECORD;
Chris Lattnerca025db2010-05-07 21:43:38 +00001232}
1233
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001234void ASTDeclWriter::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001235 VisitFunctionDecl(D);
Argyrios Kyrtzidis3b1a7792012-10-12 05:31:40 +00001236 if (D->isCanonicalDecl()) {
1237 Record.push_back(D->size_overridden_methods());
1238 for (CXXMethodDecl::method_iterator
1239 I = D->begin_overridden_methods(), E = D->end_overridden_methods();
1240 I != E; ++I)
Richard Smith69c82bf2016-04-01 22:52:03 +00001241 Record.AddDeclRef(*I);
Argyrios Kyrtzidis3b1a7792012-10-12 05:31:40 +00001242 } else {
1243 // We only need to record overridden methods once for the canonical decl.
1244 Record.push_back(0);
1245 }
Richard Smith01b2cb42014-07-26 06:37:51 +00001246
Richard Smith8aed4222015-12-11 22:41:00 +00001247 if (D->getDeclContext() == D->getLexicalDeclContext() &&
1248 D->getFirstDecl() == D->getMostRecentDecl() &&
Richard Smith01b2cb42014-07-26 06:37:51 +00001249 !D->isInvalidDecl() &&
1250 !D->hasAttrs() &&
1251 !D->isTopLevelDeclInObjCContainer() &&
1252 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
1253 !D->hasExtInfo() &&
1254 !D->hasInheritedPrototype() &&
1255 D->hasWrittenPrototype())
1256 AbbrevToUse = Writer.getDeclCXXMethodAbbrev();
1257
Sebastian Redl539c5062010-08-18 23:57:32 +00001258 Code = serialization::DECL_CXX_METHOD;
Chris Lattnerca025db2010-05-07 21:43:38 +00001259}
1260
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001261void ASTDeclWriter::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Richard Smith5179eb72016-06-28 19:03:57 +00001262 if (auto Inherited = D->getInheritedConstructor()) {
1263 Record.AddDeclRef(Inherited.getShadowDecl());
1264 Record.AddDeclRef(Inherited.getConstructor());
1265 Code = serialization::DECL_CXX_INHERITED_CONSTRUCTOR;
1266 } else {
1267 Code = serialization::DECL_CXX_CONSTRUCTOR;
1268 }
1269
Chris Lattnerca025db2010-05-07 21:43:38 +00001270 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001271
1272 Record.push_back(D->IsExplicitSpecified);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001273
Richard Smith5179eb72016-06-28 19:03:57 +00001274 Code = D->isInheritingConstructor()
1275 ? serialization::DECL_CXX_INHERITED_CONSTRUCTOR
1276 : serialization::DECL_CXX_CONSTRUCTOR;
Chris Lattnerca025db2010-05-07 21:43:38 +00001277}
1278
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001279void ASTDeclWriter::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001280 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001281
Richard Smith69c82bf2016-04-01 22:52:03 +00001282 Record.AddDeclRef(D->getOperatorDelete());
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001283
Sebastian Redl539c5062010-08-18 23:57:32 +00001284 Code = serialization::DECL_CXX_DESTRUCTOR;
Chris Lattnerca025db2010-05-07 21:43:38 +00001285}
1286
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001287void ASTDeclWriter::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001288 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001289 Record.push_back(D->IsExplicitSpecified);
Sebastian Redl539c5062010-08-18 23:57:32 +00001290 Code = serialization::DECL_CXX_CONVERSION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001291}
1292
Douglas Gregorba345522011-12-02 23:23:56 +00001293void ASTDeclWriter::VisitImportDecl(ImportDecl *D) {
1294 VisitDecl(D);
Argyrios Kyrtzidis7b8e5552012-10-03 01:58:45 +00001295 Record.push_back(Writer.getSubmoduleID(D->getImportedModule()));
Douglas Gregorba345522011-12-02 23:23:56 +00001296 ArrayRef<SourceLocation> IdentifierLocs = D->getIdentifierLocs();
1297 Record.push_back(!IdentifierLocs.empty());
1298 if (IdentifierLocs.empty()) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001299 Record.AddSourceLocation(D->getLocEnd());
Douglas Gregorba345522011-12-02 23:23:56 +00001300 Record.push_back(1);
1301 } else {
1302 for (unsigned I = 0, N = IdentifierLocs.size(); I != N; ++I)
Richard Smith69c82bf2016-04-01 22:52:03 +00001303 Record.AddSourceLocation(IdentifierLocs[I]);
Douglas Gregorba345522011-12-02 23:23:56 +00001304 Record.push_back(IdentifierLocs.size());
1305 }
1306 // Note: the number of source locations must always be the last element in
1307 // the record.
1308 Code = serialization::DECL_IMPORT;
1309}
1310
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001311void ASTDeclWriter::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnarad7340582010-06-05 05:09:32 +00001312 VisitDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001313 Record.AddSourceLocation(D->getColonLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001314 Code = serialization::DECL_ACCESS_SPEC;
Abramo Bagnarad7340582010-06-05 05:09:32 +00001315}
1316
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001317void ASTDeclWriter::VisitFriendDecl(FriendDecl *D) {
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001318 // Record the number of friend type template parameter lists here
1319 // so as to simplify memory allocation during deserialization.
1320 Record.push_back(D->NumTPLists);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +00001321 VisitDecl(D);
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001322 bool hasFriendDecl = D->Friend.is<NamedDecl*>();
1323 Record.push_back(hasFriendDecl);
1324 if (hasFriendDecl)
Richard Smith69c82bf2016-04-01 22:52:03 +00001325 Record.AddDeclRef(D->getFriendDecl());
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001326 else
Richard Smith69c82bf2016-04-01 22:52:03 +00001327 Record.AddTypeSourceInfo(D->getFriendType());
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001328 for (unsigned i = 0; i < D->NumTPLists; ++i)
Richard Smith69c82bf2016-04-01 22:52:03 +00001329 Record.AddTemplateParameterList(D->getFriendTypeTemplateParameterList(i));
1330 Record.AddDeclRef(D->getNextFriend());
John McCall2c2eb122010-10-16 06:59:13 +00001331 Record.push_back(D->UnsupportedFriend);
Richard Smith69c82bf2016-04-01 22:52:03 +00001332 Record.AddSourceLocation(D->FriendLoc);
Sebastian Redl539c5062010-08-18 23:57:32 +00001333 Code = serialization::DECL_FRIEND;
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001334}
1335
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001336void ASTDeclWriter::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001337 VisitDecl(D);
1338 Record.push_back(D->getNumTemplateParameters());
1339 for (unsigned i = 0, e = D->getNumTemplateParameters(); i != e; ++i)
Richard Smith69c82bf2016-04-01 22:52:03 +00001340 Record.AddTemplateParameterList(D->getTemplateParameterList(i));
Craig Toppera13603a2014-05-22 05:54:18 +00001341 Record.push_back(D->getFriendDecl() != nullptr);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001342 if (D->getFriendDecl())
Richard Smith69c82bf2016-04-01 22:52:03 +00001343 Record.AddDeclRef(D->getFriendDecl());
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001344 else
Richard Smith69c82bf2016-04-01 22:52:03 +00001345 Record.AddTypeSourceInfo(D->getFriendType());
1346 Record.AddSourceLocation(D->getFriendLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001347 Code = serialization::DECL_FRIEND_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001348}
1349
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001350void ASTDeclWriter::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001351 VisitNamedDecl(D);
1352
Richard Smith69c82bf2016-04-01 22:52:03 +00001353 Record.AddDeclRef(D->getTemplatedDecl());
1354 Record.AddTemplateParameterList(D->getTemplateParameters());
Chris Lattnerca025db2010-05-07 21:43:38 +00001355}
1356
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001357void ASTDeclWriter::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Douglas Gregor68444de2012-01-14 15:13:49 +00001358 VisitRedeclarable(D);
1359
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001360 // Emit data to initialize CommonOrPrev before VisitTemplateDecl so that
1361 // getCommonPtr() can be used while this is still initializing.
Rafael Espindola8db352d2013-10-17 15:37:26 +00001362 if (D->isFirstDecl()) {
Douglas Gregor074a4092011-12-19 18:19:24 +00001363 // This declaration owns the 'common' pointer, so serialize that data now.
Richard Smith69c82bf2016-04-01 22:52:03 +00001364 Record.AddDeclRef(D->getInstantiatedFromMemberTemplate());
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001365 if (D->getInstantiatedFromMemberTemplate())
1366 Record.push_back(D->isMemberSpecialization());
Douglas Gregor074a4092011-12-19 18:19:24 +00001367 }
1368
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001369 VisitTemplateDecl(D);
1370 Record.push_back(D->getIdentifierNamespace());
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001371}
1372
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001373void ASTDeclWriter::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001374 VisitRedeclarableTemplateDecl(D);
1375
Richard Smith509fc852015-02-27 23:05:10 +00001376 if (D->isFirstDecl())
1377 AddTemplateSpecializations(D);
Sebastian Redl539c5062010-08-18 23:57:32 +00001378 Code = serialization::DECL_CLASS_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001379}
1380
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001381void ASTDeclWriter::VisitClassTemplateSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001382 ClassTemplateSpecializationDecl *D) {
Richard Smithd8a83712015-08-22 01:47:18 +00001383 RegisterTemplateSpecialization(D->getSpecializedTemplate(), D);
1384
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001385 VisitCXXRecordDecl(D);
1386
1387 llvm::PointerUnion<ClassTemplateDecl *,
1388 ClassTemplatePartialSpecializationDecl *> InstFrom
1389 = D->getSpecializedTemplateOrPartial();
Argyrios Kyrtzidisd5553f12011-08-17 21:35:28 +00001390 if (Decl *InstFromD = InstFrom.dyn_cast<ClassTemplateDecl *>()) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001391 Record.AddDeclRef(InstFromD);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001392 } else {
Richard Smith69c82bf2016-04-01 22:52:03 +00001393 Record.AddDeclRef(InstFrom.get<ClassTemplatePartialSpecializationDecl *>());
1394 Record.AddTemplateArgumentList(&D->getTemplateInstantiationArgs());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001395 }
1396
Richard Smith69c82bf2016-04-01 22:52:03 +00001397 Record.AddTemplateArgumentList(&D->getTemplateArgs());
1398 Record.AddSourceLocation(D->getPointOfInstantiation());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001399 Record.push_back(D->getSpecializationKind());
Axel Naumanna31dee22012-10-01 07:34:47 +00001400 Record.push_back(D->isCanonicalDecl());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001401
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001402 if (D->isCanonicalDecl()) {
1403 // When reading, we'll add it to the folding set of the following template.
Richard Smith69c82bf2016-04-01 22:52:03 +00001404 Record.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl());
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001405 }
1406
Richard Smithd55889a2013-09-09 16:55:27 +00001407 // Explicit info.
Richard Smith69c82bf2016-04-01 22:52:03 +00001408 Record.AddTypeSourceInfo(D->getTypeAsWritten());
Richard Smithd55889a2013-09-09 16:55:27 +00001409 if (D->getTypeAsWritten()) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001410 Record.AddSourceLocation(D->getExternLoc());
1411 Record.AddSourceLocation(D->getTemplateKeywordLoc());
Richard Smithd55889a2013-09-09 16:55:27 +00001412 }
1413
Sebastian Redl539c5062010-08-18 23:57:32 +00001414 Code = serialization::DECL_CLASS_TEMPLATE_SPECIALIZATION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001415}
1416
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001417void ASTDeclWriter::VisitClassTemplatePartialSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001418 ClassTemplatePartialSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001419 VisitClassTemplateSpecializationDecl(D);
1420
Richard Smith69c82bf2016-04-01 22:52:03 +00001421 Record.AddTemplateParameterList(D->getTemplateParameters());
1422 Record.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001423
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001424 // These are read/set from/to the first declaration.
Craig Toppera13603a2014-05-22 05:54:18 +00001425 if (D->getPreviousDecl() == nullptr) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001426 Record.AddDeclRef(D->getInstantiatedFromMember());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001427 Record.push_back(D->isMemberSpecialization());
1428 }
1429
Sebastian Redl539c5062010-08-18 23:57:32 +00001430 Code = serialization::DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001431}
1432
Larisse Voufo39a1e502013-08-06 01:03:05 +00001433void ASTDeclWriter::VisitVarTemplateDecl(VarTemplateDecl *D) {
1434 VisitRedeclarableTemplateDecl(D);
1435
Richard Smith509fc852015-02-27 23:05:10 +00001436 if (D->isFirstDecl())
1437 AddTemplateSpecializations(D);
Larisse Voufo39a1e502013-08-06 01:03:05 +00001438 Code = serialization::DECL_VAR_TEMPLATE;
1439}
1440
1441void ASTDeclWriter::VisitVarTemplateSpecializationDecl(
1442 VarTemplateSpecializationDecl *D) {
Richard Smithd8a83712015-08-22 01:47:18 +00001443 RegisterTemplateSpecialization(D->getSpecializedTemplate(), D);
1444
Larisse Voufo39a1e502013-08-06 01:03:05 +00001445 VisitVarDecl(D);
1446
1447 llvm::PointerUnion<VarTemplateDecl *, VarTemplatePartialSpecializationDecl *>
1448 InstFrom = D->getSpecializedTemplateOrPartial();
1449 if (Decl *InstFromD = InstFrom.dyn_cast<VarTemplateDecl *>()) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001450 Record.AddDeclRef(InstFromD);
Larisse Voufo39a1e502013-08-06 01:03:05 +00001451 } else {
Richard Smith69c82bf2016-04-01 22:52:03 +00001452 Record.AddDeclRef(InstFrom.get<VarTemplatePartialSpecializationDecl *>());
1453 Record.AddTemplateArgumentList(&D->getTemplateInstantiationArgs());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001454 }
1455
1456 // Explicit info.
Richard Smith69c82bf2016-04-01 22:52:03 +00001457 Record.AddTypeSourceInfo(D->getTypeAsWritten());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001458 if (D->getTypeAsWritten()) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001459 Record.AddSourceLocation(D->getExternLoc());
1460 Record.AddSourceLocation(D->getTemplateKeywordLoc());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001461 }
1462
Richard Smith69c82bf2016-04-01 22:52:03 +00001463 Record.AddTemplateArgumentList(&D->getTemplateArgs());
1464 Record.AddSourceLocation(D->getPointOfInstantiation());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001465 Record.push_back(D->getSpecializationKind());
1466 Record.push_back(D->isCanonicalDecl());
1467
1468 if (D->isCanonicalDecl()) {
1469 // When reading, we'll add it to the folding set of the following template.
Richard Smith69c82bf2016-04-01 22:52:03 +00001470 Record.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001471 }
1472
1473 Code = serialization::DECL_VAR_TEMPLATE_SPECIALIZATION;
1474}
1475
1476void ASTDeclWriter::VisitVarTemplatePartialSpecializationDecl(
1477 VarTemplatePartialSpecializationDecl *D) {
1478 VisitVarTemplateSpecializationDecl(D);
1479
Richard Smith69c82bf2016-04-01 22:52:03 +00001480 Record.AddTemplateParameterList(D->getTemplateParameters());
1481 Record.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001482
1483 // These are read/set from/to the first declaration.
Craig Toppera13603a2014-05-22 05:54:18 +00001484 if (D->getPreviousDecl() == nullptr) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001485 Record.AddDeclRef(D->getInstantiatedFromMember());
Larisse Voufo39a1e502013-08-06 01:03:05 +00001486 Record.push_back(D->isMemberSpecialization());
1487 }
1488
1489 Code = serialization::DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION;
1490}
1491
Fariborz Jahanian3a039e32011-08-27 20:50:59 +00001492void ASTDeclWriter::VisitClassScopeFunctionSpecializationDecl(
1493 ClassScopeFunctionSpecializationDecl *D) {
Francois Pichet09af8c32011-08-17 01:06:54 +00001494 VisitDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001495 Record.AddDeclRef(D->getSpecialization());
Francois Pichet09af8c32011-08-17 01:06:54 +00001496 Code = serialization::DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION;
1497}
1498
1499
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001500void ASTDeclWriter::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001501 VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001502
Richard Smith509fc852015-02-27 23:05:10 +00001503 if (D->isFirstDecl())
1504 AddTemplateSpecializations(D);
Sebastian Redl539c5062010-08-18 23:57:32 +00001505 Code = serialization::DECL_FUNCTION_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001506}
1507
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001508void ASTDeclWriter::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001509 VisitTypeDecl(D);
1510
1511 Record.push_back(D->wasDeclaredWithTypename());
Richard Smith8346e522015-06-10 01:47:58 +00001512
1513 bool OwnsDefaultArg = D->hasDefaultArgument() &&
1514 !D->defaultArgumentWasInherited();
1515 Record.push_back(OwnsDefaultArg);
1516 if (OwnsDefaultArg)
Richard Smith69c82bf2016-04-01 22:52:03 +00001517 Record.AddTypeSourceInfo(D->getDefaultArgumentInfo());
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001518
Sebastian Redl539c5062010-08-18 23:57:32 +00001519 Code = serialization::DECL_TEMPLATE_TYPE_PARM;
Chris Lattnerca025db2010-05-07 21:43:38 +00001520}
1521
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001522void ASTDeclWriter::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001523 // For an expanded parameter pack, record the number of expansion types here
Richard Smith1fde8ec2012-09-07 02:06:42 +00001524 // so that it's easier for deserialization to allocate the right amount of
1525 // memory.
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001526 if (D->isExpandedParameterPack())
1527 Record.push_back(D->getNumExpansionTypes());
1528
John McCallf4cd4f92011-02-09 01:13:10 +00001529 VisitDeclaratorDecl(D);
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001530 // TemplateParmPosition.
1531 Record.push_back(D->getDepth());
1532 Record.push_back(D->getPosition());
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001533
1534 if (D->isExpandedParameterPack()) {
1535 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
Richard Smith69c82bf2016-04-01 22:52:03 +00001536 Record.AddTypeRef(D->getExpansionType(I));
1537 Record.AddTypeSourceInfo(D->getExpansionTypeSourceInfo(I));
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001538 }
1539
1540 Code = serialization::DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK;
1541 } else {
1542 // Rest of NonTypeTemplateParmDecl.
1543 Record.push_back(D->isParameterPack());
Richard Smith8346e522015-06-10 01:47:58 +00001544 bool OwnsDefaultArg = D->hasDefaultArgument() &&
1545 !D->defaultArgumentWasInherited();
1546 Record.push_back(OwnsDefaultArg);
1547 if (OwnsDefaultArg)
Richard Smith290d8012016-04-06 17:06:00 +00001548 Record.AddStmt(D->getDefaultArgument());
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001549 Code = serialization::DECL_NON_TYPE_TEMPLATE_PARM;
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001550 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001551}
1552
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001553void ASTDeclWriter::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Richard Smith1fde8ec2012-09-07 02:06:42 +00001554 // For an expanded parameter pack, record the number of expansion types here
1555 // so that it's easier for deserialization to allocate the right amount of
1556 // memory.
1557 if (D->isExpandedParameterPack())
1558 Record.push_back(D->getNumExpansionTemplateParameters());
1559
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001560 VisitTemplateDecl(D);
1561 // TemplateParmPosition.
1562 Record.push_back(D->getDepth());
1563 Record.push_back(D->getPosition());
Richard Smith1fde8ec2012-09-07 02:06:42 +00001564
1565 if (D->isExpandedParameterPack()) {
1566 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
1567 I != N; ++I)
Richard Smith69c82bf2016-04-01 22:52:03 +00001568 Record.AddTemplateParameterList(D->getExpansionTemplateParameters(I));
Richard Smith1fde8ec2012-09-07 02:06:42 +00001569 Code = serialization::DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK;
1570 } else {
1571 // Rest of TemplateTemplateParmDecl.
Richard Smith1fde8ec2012-09-07 02:06:42 +00001572 Record.push_back(D->isParameterPack());
Richard Smith8346e522015-06-10 01:47:58 +00001573 bool OwnsDefaultArg = D->hasDefaultArgument() &&
1574 !D->defaultArgumentWasInherited();
1575 Record.push_back(OwnsDefaultArg);
1576 if (OwnsDefaultArg)
Richard Smith69c82bf2016-04-01 22:52:03 +00001577 Record.AddTemplateArgumentLoc(D->getDefaultArgument());
Richard Smith1fde8ec2012-09-07 02:06:42 +00001578 Code = serialization::DECL_TEMPLATE_TEMPLATE_PARM;
1579 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001580}
1581
Richard Smith3f1b5d02011-05-05 21:57:07 +00001582void ASTDeclWriter::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1583 VisitRedeclarableTemplateDecl(D);
1584 Code = serialization::DECL_TYPE_ALIAS_TEMPLATE;
1585}
1586
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001587void ASTDeclWriter::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001588 VisitDecl(D);
Richard Smith290d8012016-04-06 17:06:00 +00001589 Record.AddStmt(D->getAssertExpr());
Richard Smithded9c2e2012-07-11 22:37:56 +00001590 Record.push_back(D->isFailed());
Richard Smith290d8012016-04-06 17:06:00 +00001591 Record.AddStmt(D->getMessage());
Richard Smith69c82bf2016-04-01 22:52:03 +00001592 Record.AddSourceLocation(D->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001593 Code = serialization::DECL_STATIC_ASSERT;
Chris Lattnerca025db2010-05-07 21:43:38 +00001594}
1595
Chris Lattner7099dbc2009-04-27 06:16:06 +00001596/// \brief Emit the DeclContext part of a declaration context decl.
Richard Smithf1c23dc2016-04-13 02:12:03 +00001597void ASTDeclWriter::VisitDeclContext(DeclContext *DC) {
1598 Record.AddOffset(Writer.WriteDeclContextLexicalBlock(Context, DC));
1599 Record.AddOffset(Writer.WriteDeclContextVisibleBlock(Context, DC));
Chris Lattner7099dbc2009-04-27 06:16:06 +00001600}
1601
Richard Smithd8a83712015-08-22 01:47:18 +00001602const Decl *ASTWriter::getFirstLocalDecl(const Decl *D) {
Richard Smith3864be72015-09-11 02:22:03 +00001603 assert(IsLocalDecl(D) && "expected a local declaration");
Richard Smithd8a83712015-08-22 01:47:18 +00001604
1605 const Decl *Canon = D->getCanonicalDecl();
Richard Smith3864be72015-09-11 02:22:03 +00001606 if (IsLocalDecl(Canon))
Richard Smithd8a83712015-08-22 01:47:18 +00001607 return Canon;
1608
1609 const Decl *&CacheEntry = FirstLocalDeclCache[Canon];
1610 if (CacheEntry)
1611 return CacheEntry;
1612
1613 for (const Decl *Redecl = D; Redecl; Redecl = Redecl->getPreviousDecl())
Richard Smith3864be72015-09-11 02:22:03 +00001614 if (IsLocalDecl(Redecl))
Richard Smithd8a83712015-08-22 01:47:18 +00001615 D = Redecl;
1616 return CacheEntry = D;
Richard Smith5fc18a92015-07-12 23:43:21 +00001617}
1618
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001619template <typename T>
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001620void ASTDeclWriter::VisitRedeclarable(Redeclarable<T> *D) {
Rafael Espindola8db352d2013-10-17 15:37:26 +00001621 T *First = D->getFirstDecl();
Richard Smith5a4737c2015-02-06 02:42:59 +00001622 T *MostRecent = First->getMostRecentDecl();
Richard Smithd8a83712015-08-22 01:47:18 +00001623 T *DAsT = static_cast<T *>(D);
Richard Smith5a4737c2015-02-06 02:42:59 +00001624 if (MostRecent != First) {
Richard Smithd8a83712015-08-22 01:47:18 +00001625 assert(isRedeclarableDeclKind(DAsT->getKind()) &&
Douglas Gregorfe732d52013-01-21 16:16:40 +00001626 "Not considered redeclarable?");
Richard Smith5a4737c2015-02-06 02:42:59 +00001627
Richard Smith69c82bf2016-04-01 22:52:03 +00001628 Record.AddDeclRef(First);
Richard Smithfe620d22015-03-05 23:24:12 +00001629
Richard Smithd8a83712015-08-22 01:47:18 +00001630 // Write out a list of local redeclarations of this declaration if it's the
1631 // first local declaration in the chain.
1632 const Decl *FirstLocal = Writer.getFirstLocalDecl(DAsT);
1633 if (DAsT == FirstLocal) {
Richard Smithd8a83712015-08-22 01:47:18 +00001634 // Emit a list of all imported first declarations so that we can be sure
1635 // that all redeclarations visible to this module are before D in the
1636 // redecl chain.
1637 unsigned I = Record.size();
1638 Record.push_back(0);
1639 if (Writer.Chain)
1640 AddFirstDeclFromEachModule(DAsT, /*IncludeLocal*/false);
1641 // This is the number of imported first declarations + 1.
1642 Record[I] = Record.size() - I;
Richard Smithd61d4ac2015-08-22 20:13:39 +00001643
1644 // Collect the set of local redeclarations of this declaration, from
1645 // newest to oldest.
Richard Smith69c82bf2016-04-01 22:52:03 +00001646 ASTWriter::RecordData LocalRedecls;
1647 ASTRecordWriter LocalRedeclWriter(Record, LocalRedecls);
Richard Smithd61d4ac2015-08-22 20:13:39 +00001648 for (const Decl *Prev = FirstLocal->getMostRecentDecl();
1649 Prev != FirstLocal; Prev = Prev->getPreviousDecl())
1650 if (!Prev->isFromASTFile())
Richard Smith69c82bf2016-04-01 22:52:03 +00001651 LocalRedeclWriter.AddDeclRef(Prev);
Richard Smithd61d4ac2015-08-22 20:13:39 +00001652
1653 // If we have any redecls, write them now as a separate record preceding
1654 // the declaration itself.
1655 if (LocalRedecls.empty())
1656 Record.push_back(0);
Richard Smithf1c23dc2016-04-13 02:12:03 +00001657 else
1658 Record.AddOffset(LocalRedeclWriter.Emit(LOCAL_REDECLARATIONS));
Richard Smithd8a83712015-08-22 01:47:18 +00001659 } else {
1660 Record.push_back(0);
Richard Smith69c82bf2016-04-01 22:52:03 +00001661 Record.AddDeclRef(FirstLocal);
Richard Smithfe620d22015-03-05 23:24:12 +00001662 }
Douglas Gregor358cd442012-01-15 16:58:34 +00001663
1664 // Make sure that we serialize both the previous and the most-recent
1665 // declarations, which (transitively) ensures that all declarations in the
1666 // chain get serialized.
Richard Smith5a4737c2015-02-06 02:42:59 +00001667 //
1668 // FIXME: This is not correct; when we reach an imported declaration we
1669 // won't emit its previous declaration.
Richard Smith5fc18a92015-07-12 23:43:21 +00001670 (void)Writer.GetDeclRef(D->getPreviousDecl());
Richard Smith5a4737c2015-02-06 02:42:59 +00001671 (void)Writer.GetDeclRef(MostRecent);
Douglas Gregor358cd442012-01-15 16:58:34 +00001672 } else {
1673 // We use the sentinel value 0 to indicate an only declaration.
1674 Record.push_back(0);
Douglas Gregor9f562c82011-12-19 15:27:36 +00001675 }
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001676}
Chris Lattner7099dbc2009-04-27 06:16:06 +00001677
Alexey Bataeva769e072013-03-22 06:34:35 +00001678void ASTDeclWriter::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
1679 Record.push_back(D->varlist_size());
1680 VisitDecl(D);
Aaron Ballman2205d2a2014-03-14 15:55:35 +00001681 for (auto *I : D->varlists())
Richard Smith290d8012016-04-06 17:06:00 +00001682 Record.AddStmt(I);
Alexey Bataeva769e072013-03-22 06:34:35 +00001683 Code = serialization::DECL_OMP_THREADPRIVATE;
1684}
1685
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001686void ASTDeclWriter::VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D) {
Alexey Bataevc5b1d322016-03-04 09:22:22 +00001687 VisitValueDecl(D);
Richard Smith69c82bf2016-04-01 22:52:03 +00001688 Record.AddSourceLocation(D->getLocStart());
Richard Smith290d8012016-04-06 17:06:00 +00001689 Record.AddStmt(D->getCombiner());
1690 Record.AddStmt(D->getInitializer());
Richard Smith69c82bf2016-04-01 22:52:03 +00001691 Record.AddDeclRef(D->getPrevDeclInScope());
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001692 Code = serialization::DECL_OMP_DECLARE_REDUCTION;
1693}
1694
Alexey Bataev4244be22016-02-11 05:35:55 +00001695void ASTDeclWriter::VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D) {
Alexey Bataev90c228f2016-02-08 09:29:13 +00001696 VisitVarDecl(D);
Alexey Bataev4244be22016-02-11 05:35:55 +00001697 Code = serialization::DECL_OMP_CAPTUREDEXPR;
Alexey Bataev90c228f2016-02-08 09:29:13 +00001698}
1699
Chris Lattner7099dbc2009-04-27 06:16:06 +00001700//===----------------------------------------------------------------------===//
Sebastian Redl55c0ad52010-08-18 23:56:21 +00001701// ASTWriter Implementation
Chris Lattner7099dbc2009-04-27 06:16:06 +00001702//===----------------------------------------------------------------------===//
1703
Richard Smith01b2cb42014-07-26 06:37:51 +00001704void ASTWriter::WriteDeclAbbrevs() {
Chris Lattner258172e2009-04-27 07:35:58 +00001705 using namespace llvm;
Chris Lattner258172e2009-04-27 07:35:58 +00001706
David Blaikieb44f0bf2017-01-04 22:36:43 +00001707 std::shared_ptr<BitCodeAbbrev> Abv;
Douglas Gregor03412ba2011-06-03 02:27:19 +00001708
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001709 // Abbreviation for DECL_FIELD
David Blaikieb44f0bf2017-01-04 22:36:43 +00001710 Abv = std::make_shared<BitCodeAbbrev>();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001711 Abv->Add(BitCodeAbbrevOp(serialization::DECL_FIELD));
1712 // Decl
1713 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001714 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001715 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001716 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1717 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1718 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1719 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001720 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001721 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001722 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001723 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001724 // NamedDecl
1725 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1726 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001727 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001728 // ValueDecl
1729 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1730 // DeclaratorDecl
1731 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1732 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1733 // FieldDecl
1734 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1735 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1736 // Type Source Info
1737 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1738 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1739 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
David Blaikieb44f0bf2017-01-04 22:36:43 +00001740 DeclFieldAbbrev = Stream.EmitAbbrev(std::move(Abv));
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001741
1742 // Abbreviation for DECL_OBJC_IVAR
David Blaikieb44f0bf2017-01-04 22:36:43 +00001743 Abv = std::make_shared<BitCodeAbbrev>();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001744 Abv->Add(BitCodeAbbrevOp(serialization::DECL_OBJC_IVAR));
1745 // Decl
1746 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001747 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001748 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001749 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1750 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1751 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1752 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001753 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001754 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001755 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001756 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001757 // NamedDecl
1758 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1759 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001760 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001761 // ValueDecl
1762 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1763 // DeclaratorDecl
1764 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1765 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1766 // FieldDecl
1767 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1768 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1769 // ObjC Ivar
1770 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getAccessControl
1771 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getSynthesize
1772 // Type Source Info
1773 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1774 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1775 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
David Blaikieb44f0bf2017-01-04 22:36:43 +00001776 DeclObjCIvarAbbrev = Stream.EmitAbbrev(std::move(Abv));
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001777
1778 // Abbreviation for DECL_ENUM
David Blaikieb44f0bf2017-01-04 22:36:43 +00001779 Abv = std::make_shared<BitCodeAbbrev>();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001780 Abv->Add(BitCodeAbbrevOp(serialization::DECL_ENUM));
Douglas Gregor3e300102011-10-26 17:53:41 +00001781 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001782 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Chris Lattner258172e2009-04-27 07:35:58 +00001783 // Decl
1784 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001785 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001786 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Chris Lattner258172e2009-04-27 07:35:58 +00001787 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1788 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Douglas Gregorc9c02ed2009-06-19 23:52:42 +00001789 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +00001790 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001791 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Chris Lattner258172e2009-04-27 07:35:58 +00001792 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001793 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001794 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregor03412ba2011-06-03 02:27:19 +00001795 // NamedDecl
1796 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1797 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001798 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001799 // TypeDecl
1800 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1801 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001802 // TagDecl
1803 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1804 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCallf937c022011-10-07 06:10:15 +00001805 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001806 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +00001807 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiea8d23ce2013-07-14 01:07:41 +00001808 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001809 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Argyrios Kyrtzidisd798c052016-07-15 18:11:33 +00001810 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Richard Smith70d58502014-08-30 00:04:23 +00001811 Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001812 // EnumDecl
1813 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // AddTypeRef
1814 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IntegerType
1815 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getPromotionType
1816 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumPositiveBits
1817 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumNegativeBits
1818 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScoped
1819 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScopedUsingClassTag
1820 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isFixed
1821 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InstantiatedMembEnum
1822 // DC
1823 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1824 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
David Blaikieb44f0bf2017-01-04 22:36:43 +00001825 DeclEnumAbbrev = Stream.EmitAbbrev(std::move(Abv));
Mike Stump11289f42009-09-09 15:08:12 +00001826
Douglas Gregor03412ba2011-06-03 02:27:19 +00001827 // Abbreviation for DECL_RECORD
David Blaikieb44f0bf2017-01-04 22:36:43 +00001828 Abv = std::make_shared<BitCodeAbbrev>();
Douglas Gregor03412ba2011-06-03 02:27:19 +00001829 Abv->Add(BitCodeAbbrevOp(serialization::DECL_RECORD));
Douglas Gregor3e300102011-10-26 17:53:41 +00001830 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001831 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregor03412ba2011-06-03 02:27:19 +00001832 // Decl
1833 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001834 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001835 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregor03412ba2011-06-03 02:27:19 +00001836 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1837 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1838 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1839 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001840 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregor03412ba2011-06-03 02:27:19 +00001841 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001842 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001843 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregor03412ba2011-06-03 02:27:19 +00001844 // NamedDecl
1845 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1846 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001847 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Douglas Gregor03412ba2011-06-03 02:27:19 +00001848 // TypeDecl
1849 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1850 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Douglas Gregor03412ba2011-06-03 02:27:19 +00001851 // TagDecl
1852 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1853 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCallf937c022011-10-07 06:10:15 +00001854 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Douglas Gregor03412ba2011-06-03 02:27:19 +00001855 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +00001856 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiea8d23ce2013-07-14 01:07:41 +00001857 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Douglas Gregor03412ba2011-06-03 02:27:19 +00001858 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Argyrios Kyrtzidisd798c052016-07-15 18:11:33 +00001859 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Richard Smith70d58502014-08-30 00:04:23 +00001860 Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
Douglas Gregor03412ba2011-06-03 02:27:19 +00001861 // RecordDecl
1862 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // FlexibleArrayMember
1863 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // AnonymousStructUnion
1864 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasObjectMember
Fariborz Jahanian78652202013-01-25 23:57:05 +00001865 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasVolatileMember
Douglas Gregor03412ba2011-06-03 02:27:19 +00001866 // DC
1867 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1868 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
David Blaikieb44f0bf2017-01-04 22:36:43 +00001869 DeclRecordAbbrev = Stream.EmitAbbrev(std::move(Abv));
Douglas Gregor03412ba2011-06-03 02:27:19 +00001870
1871 // Abbreviation for DECL_PARM_VAR
David Blaikieb44f0bf2017-01-04 22:36:43 +00001872 Abv = std::make_shared<BitCodeAbbrev>();
Douglas Gregor03412ba2011-06-03 02:27:19 +00001873 Abv->Add(BitCodeAbbrevOp(serialization::DECL_PARM_VAR));
Douglas Gregor3e300102011-10-26 17:53:41 +00001874 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001875 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregor03412ba2011-06-03 02:27:19 +00001876 // Decl
1877 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001878 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001879 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregor03412ba2011-06-03 02:27:19 +00001880 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1881 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1882 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1883 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001884 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregor03412ba2011-06-03 02:27:19 +00001885 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001886 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001887 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Chris Lattner258172e2009-04-27 07:35:58 +00001888 // NamedDecl
1889 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1890 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001891 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Chris Lattner258172e2009-04-27 07:35:58 +00001892 // ValueDecl
1893 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +00001894 // DeclaratorDecl
Abramo Bagnaradff19302011-03-08 08:55:46 +00001895 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001896 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
Chris Lattner258172e2009-04-27 07:35:58 +00001897 // VarDecl
Vassil Vassilevd1a88132016-10-06 13:04:54 +00001898 Abv->Add(BitCodeAbbrevOp(0)); // SClass
1899 Abv->Add(BitCodeAbbrevOp(0)); // TSCSpec
1900 Abv->Add(BitCodeAbbrevOp(0)); // InitStyle
Richard Smith88581592013-02-12 05:48:23 +00001901 Abv->Add(BitCodeAbbrevOp(0)); // Linkage
Chris Lattner258172e2009-04-27 07:35:58 +00001902 Abv->Add(BitCodeAbbrevOp(0)); // HasInit
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +00001903 Abv->Add(BitCodeAbbrevOp(0)); // HasMemberSpecializationInfo
Chris Lattner258172e2009-04-27 07:35:58 +00001904 // ParmVarDecl
John McCall82490832011-05-02 00:30:12 +00001905 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsObjCMethodParameter
John McCall8fb0d9d2011-05-01 22:35:37 +00001906 Abv->Add(BitCodeAbbrevOp(0)); // ScopeDepth
1907 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // ScopeIndex
Chris Lattner258172e2009-04-27 07:35:58 +00001908 Abv->Add(BitCodeAbbrevOp(0)); // ObjCDeclQualifier
John McCall6a014d52011-03-09 04:22:44 +00001909 Abv->Add(BitCodeAbbrevOp(0)); // KNRPromoted
John McCallf3cd6652010-03-12 18:31:32 +00001910 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedDefaultArg
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +00001911 Abv->Add(BitCodeAbbrevOp(0)); // HasUninstantiatedDefaultArg
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001912 // Type Source Info
1913 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1914 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1915 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
David Blaikieb44f0bf2017-01-04 22:36:43 +00001916 DeclParmVarAbbrev = Stream.EmitAbbrev(std::move(Abv));
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001917
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001918 // Abbreviation for DECL_TYPEDEF
David Blaikieb44f0bf2017-01-04 22:36:43 +00001919 Abv = std::make_shared<BitCodeAbbrev>();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001920 Abv->Add(BitCodeAbbrevOp(serialization::DECL_TYPEDEF));
Douglas Gregor05f10352011-12-17 23:38:30 +00001921 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001922 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001923 // Decl
1924 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001925 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001926 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001927 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1928 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Richard Smith01b2cb42014-07-26 06:37:51 +00001929 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isUsed
1930 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001931 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Richard Smith01b2cb42014-07-26 06:37:51 +00001932 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001933 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001934 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001935 // NamedDecl
1936 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1937 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001938 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001939 // TypeDecl
1940 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1941 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
1942 // TypedefDecl
1943 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1944 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
David Blaikieb44f0bf2017-01-04 22:36:43 +00001945 DeclTypedefAbbrev = Stream.EmitAbbrev(std::move(Abv));
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001946
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001947 // Abbreviation for DECL_VAR
David Blaikieb44f0bf2017-01-04 22:36:43 +00001948 Abv = std::make_shared<BitCodeAbbrev>();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001949 Abv->Add(BitCodeAbbrevOp(serialization::DECL_VAR));
Douglas Gregor3e300102011-10-26 17:53:41 +00001950 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001951 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001952 // Decl
1953 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00001954 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001955 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001956 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1957 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1958 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1959 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001960 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001961 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001962 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001963 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001964 // NamedDecl
1965 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1966 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001967 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001968 // ValueDecl
1969 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1970 // DeclaratorDecl
1971 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1972 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1973 // VarDecl
Vassil Vassilevd1a88132016-10-06 13:04:54 +00001974 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // SClass
1975 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // TSCSpec
1976 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // InitStyle
Richard Smithedbc6e92016-10-14 21:41:24 +00001977 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsThisDeclarationADemotedDefinition
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001978 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isExceptionVariable
1979 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isNRVOVariable
1980 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCXXForRangeDecl
John McCalld4631322011-06-17 06:42:21 +00001981 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isARCPseudoStrong
Richard Smith62f19e72016-06-25 00:15:56 +00001982 Abv->Add(BitCodeAbbrevOp(0)); // isInline
1983 Abv->Add(BitCodeAbbrevOp(0)); // isInlineSpecified
Douglas Gregor12cda632012-09-20 23:43:29 +00001984 Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
Richard Smithbb13c9a2013-09-28 04:02:39 +00001985 Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
Richard Smith1c34fb72013-08-13 18:18:50 +00001986 Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
Rafael Espindola50df3a02013-05-25 17:16:20 +00001987 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
Vassil Vassilevd1a88132016-10-06 13:04:54 +00001988 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // IsInitICE (local)
1989 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // VarKind (local enum)
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001990 // Type Source Info
1991 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1992 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1993 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
David Blaikieb44f0bf2017-01-04 22:36:43 +00001994 DeclVarAbbrev = Stream.EmitAbbrev(std::move(Abv));
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001995
Richard Smith01b2cb42014-07-26 06:37:51 +00001996 // Abbreviation for DECL_CXX_METHOD
David Blaikieb44f0bf2017-01-04 22:36:43 +00001997 Abv = std::make_shared<BitCodeAbbrev>();
Richard Smith01b2cb42014-07-26 06:37:51 +00001998 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CXX_METHOD));
1999 // RedeclarableDecl
2000 Abv->Add(BitCodeAbbrevOp(0)); // CanonicalDecl
2001 // Decl
2002 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
Richard Smith8aed4222015-12-11 22:41:00 +00002003 Abv->Add(BitCodeAbbrevOp(0)); // LexicalDeclContext
Richard Smith01b2cb42014-07-26 06:37:51 +00002004 Abv->Add(BitCodeAbbrevOp(0)); // Invalid
2005 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
2006 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Implicit
2007 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Used
2008 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Referenced
2009 Abv->Add(BitCodeAbbrevOp(0)); // InObjCContainer
2010 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // Access
2011 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ModulePrivate
2012 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
2013 // NamedDecl
2014 Abv->Add(BitCodeAbbrevOp(DeclarationName::Identifier)); // NameKind
2015 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Identifier
Richard Smith2b560572015-02-07 03:11:11 +00002016 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Richard Smith01b2cb42014-07-26 06:37:51 +00002017 // ValueDecl
2018 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
2019 // DeclaratorDecl
2020 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerLocStart
2021 Abv->Add(BitCodeAbbrevOp(0)); // HasExtInfo
2022 // FunctionDecl
2023 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 11)); // IDNS
2024 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // StorageClass
2025 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Inline
2026 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // InlineSpecified
2027 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // VirtualAsWritten
2028 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Pure
2029 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedProto
2030 Abv->Add(BitCodeAbbrevOp(1)); // HasWrittenProto
Richard Smith72625c22015-02-06 23:20:21 +00002031 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Deleted
Richard Smith01b2cb42014-07-26 06:37:51 +00002032 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Trivial
2033 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Defaulted
2034 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ExplicitlyDefaulted
2035 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ImplicitReturnZero
2036 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Constexpr
Reid Kleckner0d157382017-01-10 21:27:03 +00002037 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // UsesSEHTry
Richard Smith01b2cb42014-07-26 06:37:51 +00002038 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // SkippedBody
2039 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // LateParsed
2040 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
2041 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LocEnd
2042 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // TemplateKind
2043 // This Array slurps the rest of the record. Fortunately we want to encode
2044 // (nearly) all the remaining (variable number of) fields in the same way.
2045 //
2046 // This is the function template information if any, then
2047 // NumParams and Params[] from FunctionDecl, and
2048 // NumOverriddenMethods, OverriddenMethods[] from CXXMethodDecl.
2049 //
2050 // Add an AbbrevOp for 'size then elements' and use it here.
2051 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
2052 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
David Blaikieb44f0bf2017-01-04 22:36:43 +00002053 DeclCXXMethodAbbrev = Stream.EmitAbbrev(std::move(Abv));
Richard Smith01b2cb42014-07-26 06:37:51 +00002054
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00002055 // Abbreviation for EXPR_DECL_REF
David Blaikieb44f0bf2017-01-04 22:36:43 +00002056 Abv = std::make_shared<BitCodeAbbrev>();
Douglas Gregor03412ba2011-06-03 02:27:19 +00002057 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_DECL_REF));
2058 //Stmt
2059 //Expr
2060 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00002061 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2062 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2063 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00002064 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2065 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2066 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
2067 //DeclRefExpr
2068 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HasQualifier
2069 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //GetDeclFound
2070 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ExplicitTemplateArgs
Abramo Bagnara635ed24e2011-10-05 07:56:41 +00002071 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HadMultipleCandidates
Alexey Bataev19acc3d2015-01-12 10:17:46 +00002072 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed,
2073 1)); // RefersToEnclosingVariableOrCapture
Douglas Gregor03412ba2011-06-03 02:27:19 +00002074 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclRef
2075 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
David Blaikieb44f0bf2017-01-04 22:36:43 +00002076 DeclRefExprAbbrev = Stream.EmitAbbrev(std::move(Abv));
Douglas Gregor03412ba2011-06-03 02:27:19 +00002077
2078 // Abbreviation for EXPR_INTEGER_LITERAL
David Blaikieb44f0bf2017-01-04 22:36:43 +00002079 Abv = std::make_shared<BitCodeAbbrev>();
Douglas Gregor03412ba2011-06-03 02:27:19 +00002080 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_INTEGER_LITERAL));
2081 //Stmt
2082 //Expr
2083 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00002084 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2085 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2086 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00002087 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2088 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2089 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
2090 //Integer Literal
2091 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
2092 Abv->Add(BitCodeAbbrevOp(32)); // Bit Width
2093 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Value
David Blaikieb44f0bf2017-01-04 22:36:43 +00002094 IntegerLiteralAbbrev = Stream.EmitAbbrev(std::move(Abv));
Douglas Gregor03412ba2011-06-03 02:27:19 +00002095
2096 // Abbreviation for EXPR_CHARACTER_LITERAL
David Blaikieb44f0bf2017-01-04 22:36:43 +00002097 Abv = std::make_shared<BitCodeAbbrev>();
Douglas Gregor03412ba2011-06-03 02:27:19 +00002098 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_CHARACTER_LITERAL));
2099 //Stmt
2100 //Expr
2101 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00002102 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2103 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2104 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00002105 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2106 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2107 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
Jonathan D. Turnerd09655f2011-06-03 21:46:44 +00002108 //Character Literal
Douglas Gregor03412ba2011-06-03 02:27:19 +00002109 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getValue
2110 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
Aaron Ballman9a17c852016-01-07 20:59:26 +00002111 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // getKind
David Blaikieb44f0bf2017-01-04 22:36:43 +00002112 CharacterLiteralAbbrev = Stream.EmitAbbrev(std::move(Abv));
Douglas Gregor03412ba2011-06-03 02:27:19 +00002113
Richard Smitha27c26e2014-07-27 04:19:32 +00002114 // Abbreviation for EXPR_IMPLICIT_CAST
David Blaikieb44f0bf2017-01-04 22:36:43 +00002115 Abv = std::make_shared<BitCodeAbbrev>();
Richard Smitha27c26e2014-07-27 04:19:32 +00002116 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_IMPLICIT_CAST));
2117 // Stmt
2118 // Expr
2119 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
2120 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2121 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2122 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
2123 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2124 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2125 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
2126 // CastExpr
2127 Abv->Add(BitCodeAbbrevOp(0)); // PathSize
2128 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 6)); // CastKind
2129 // ImplicitCastExpr
David Blaikieb44f0bf2017-01-04 22:36:43 +00002130 ExprImplicitCastAbbrev = Stream.EmitAbbrev(std::move(Abv));
Richard Smitha27c26e2014-07-27 04:19:32 +00002131
David Blaikieb44f0bf2017-01-04 22:36:43 +00002132 Abv = std::make_shared<BitCodeAbbrev>();
Sebastian Redl539c5062010-08-18 23:57:32 +00002133 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_LEXICAL));
Sebastian Redl66c5eef2010-07-27 00:17:23 +00002134 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
David Blaikieb44f0bf2017-01-04 22:36:43 +00002135 DeclContextLexicalAbbrev = Stream.EmitAbbrev(std::move(Abv));
Argyrios Kyrtzidisba88bfa2010-08-20 16:04:35 +00002136
David Blaikieb44f0bf2017-01-04 22:36:43 +00002137 Abv = std::make_shared<BitCodeAbbrev>();
Argyrios Kyrtzidisba88bfa2010-08-20 16:04:35 +00002138 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_VISIBLE));
Argyrios Kyrtzidisba88bfa2010-08-20 16:04:35 +00002139 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
David Blaikieb44f0bf2017-01-04 22:36:43 +00002140 DeclContextVisibleLookupAbbrev = Stream.EmitAbbrev(std::move(Abv));
Chris Lattner258172e2009-04-27 07:35:58 +00002141}
2142
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002143/// isRequiredDecl - Check if this is a "required" Decl, which must be seen by
2144/// consumers of the AST.
2145///
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00002146/// Such decls will always be deserialized from the AST file, so we would like
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002147/// this to be as restrictive as possible. Currently the predicate is driven by
2148/// code generation requirements, if other clients have a different notion of
2149/// what is "required" then we may have to consider an alternate scheme where
2150/// clients can iterate over the top-level decls and get information on them,
2151/// without necessary deserializing them. We could explicitly require such
2152/// clients to use a separate API call to "realize" the decl. This should be
2153/// relatively painless since they would presumably only do it for top-level
2154/// decls.
Richard Smithc52efa72015-08-19 02:30:28 +00002155static bool isRequiredDecl(const Decl *D, ASTContext &Context,
2156 bool WritingModule) {
Argyrios Kyrtzidisa98e8612011-09-13 21:35:00 +00002157 // An ObjCMethodDecl is never considered as "required" because its
2158 // implementation container always is.
2159
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00002160 // File scoped assembly or obj-c or OMP declare target implementation must be
2161 // seen.
2162 if (isa<FileScopeAsmDecl>(D) || isa<ObjCImplDecl>(D) ||
2163 D->hasAttr<OMPDeclareTargetDeclAttr>())
Richard Smithc52efa72015-08-19 02:30:28 +00002164 return true;
2165
Richard Smithdc1f0422016-07-20 19:10:16 +00002166 if (WritingModule && (isa<VarDecl>(D) || isa<ImportDecl>(D))) {
2167 // These declarations are part of the module initializer, and are emitted
2168 // if and when the module is imported, rather than being emitted eagerly.
2169 return false;
2170 }
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002171
Argyrios Kyrtzidisc9049332010-07-29 20:08:05 +00002172 return Context.DeclMustBeEmitted(D);
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002173}
2174
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002175void ASTWriter::WriteDecl(ASTContext &Context, Decl *D) {
Douglas Gregorb3163e52012-01-05 22:33:30 +00002176 // Determine the ID for this declaration.
2177 serialization::DeclID ID;
Douglas Gregor7dd37e52015-11-03 01:20:54 +00002178 assert(!D->isFromASTFile() && "should not be emitting imported decl");
2179 serialization::DeclID &IDR = DeclIDs[D];
2180 if (IDR == 0)
2181 IDR = NextDeclID++;
Douglas Gregorb3163e52012-01-05 22:33:30 +00002182
Douglas Gregor7dd37e52015-11-03 01:20:54 +00002183 ID = IDR;
Argyrios Kyrtzidisbf6c3392012-03-22 16:08:04 +00002184
Richard Smith34da7512016-03-27 05:52:25 +00002185 assert(ID >= FirstDeclID && "invalid decl ID");
Douglas Gregorb3163e52012-01-05 22:33:30 +00002186
Richard Smith69c82bf2016-04-01 22:52:03 +00002187 RecordData Record;
2188 ASTDeclWriter W(*this, Context, Record);
2189
Richard Smithd61d4ac2015-08-22 20:13:39 +00002190 // Build a record for this declaration
Richard Smithd61d4ac2015-08-22 20:13:39 +00002191 W.Visit(D);
Richard Smithd61d4ac2015-08-22 20:13:39 +00002192
Richard Smith69c82bf2016-04-01 22:52:03 +00002193 // Emit this declaration to the bitstream.
2194 uint64_t Offset = W.Emit(D);
Douglas Gregor12bfa382009-10-17 00:13:19 +00002195
Richard Smith34da7512016-03-27 05:52:25 +00002196 // Record the offset for this declaration
2197 SourceLocation Loc = D->getLocation();
Richard Smith69c82bf2016-04-01 22:52:03 +00002198 unsigned Index = ID - FirstDeclID;
Richard Smith34da7512016-03-27 05:52:25 +00002199 if (DeclOffsets.size() == Index)
Richard Smith69c82bf2016-04-01 22:52:03 +00002200 DeclOffsets.push_back(DeclOffset(Loc, Offset));
Richard Smith34da7512016-03-27 05:52:25 +00002201 else if (DeclOffsets.size() < Index) {
Richard Smith69c82bf2016-04-01 22:52:03 +00002202 // FIXME: Can/should this happen?
Richard Smith34da7512016-03-27 05:52:25 +00002203 DeclOffsets.resize(Index+1);
2204 DeclOffsets[Index].setLocation(Loc);
Richard Smith69c82bf2016-04-01 22:52:03 +00002205 DeclOffsets[Index].BitOffset = Offset;
2206 } else {
2207 llvm_unreachable("declarations should be emitted in ID order");
Douglas Gregor12bfa382009-10-17 00:13:19 +00002208 }
2209
Richard Smith34da7512016-03-27 05:52:25 +00002210 SourceManager &SM = Context.getSourceManager();
2211 if (Loc.isValid() && SM.isLocalSourceLocation(Loc))
2212 associateDeclWithFile(D, ID);
2213
Ben Langmuir332aafe2014-01-31 01:06:56 +00002214 // Note declarations that should be deserialized eagerly so that we can add
2215 // them to a record in the AST file later.
Richard Smithc52efa72015-08-19 02:30:28 +00002216 if (isRequiredDecl(D, Context, WritingModule))
Ben Langmuir332aafe2014-01-31 01:06:56 +00002217 EagerlyDeserializedDecls.push_back(ID);
Chris Lattner7099dbc2009-04-27 06:16:06 +00002218}
Richard Smithd28ac5b2014-03-22 23:33:22 +00002219
Richard Smith290d8012016-04-06 17:06:00 +00002220void ASTRecordWriter::AddFunctionDefinition(const FunctionDecl *FD) {
2221 // Switch case IDs are per function body.
2222 Writer->ClearSwitchCaseIDs();
Richard Smithd28ac5b2014-03-22 23:33:22 +00002223
Richard Smith290d8012016-04-06 17:06:00 +00002224 assert(FD->doesThisDeclarationHaveABody());
2225 if (auto *CD = dyn_cast<CXXConstructorDecl>(FD)) {
2226 Record->push_back(CD->getNumCtorInitializers());
2227 if (CD->getNumCtorInitializers())
Richard Smithaa165cf2016-04-13 21:57:08 +00002228 AddCXXCtorInitializers(
Richard Smith290d8012016-04-06 17:06:00 +00002229 llvm::makeArrayRef(CD->init_begin(), CD->init_end()));
2230 }
2231 AddStmt(FD->getBody());
Richard Smithd28ac5b2014-03-22 23:33:22 +00002232}