blob: d38e58766a2898df7b30415e70d3de2851f0effb [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 Redl1914c6f2010-08-18 23:56:37 +000014#include "clang/Serialization/ASTWriter.h"
Sebastian Redlfa1f3702011-04-24 16:28:13 +000015#include "ASTCommon.h"
Chris Lattnerca025db2010-05-07 21:43:38 +000016#include "clang/AST/DeclCXX.h"
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +000017#include "clang/AST/DeclContextInternals.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/AST/DeclTemplate.h"
19#include "clang/AST/DeclVisitor.h"
20#include "clang/AST/Expr.h"
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +000021#include "clang/Basic/SourceManager.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000022#include "clang/Serialization/ASTReader.h"
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +000023#include "llvm/ADT/Twine.h"
Chris Lattner7099dbc2009-04-27 06:16:06 +000024#include "llvm/Bitcode/BitstreamWriter.h"
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +000025#include "llvm/Support/ErrorHandling.h"
Chris Lattner7099dbc2009-04-27 06:16:06 +000026using namespace clang;
Sebastian Redlfa1f3702011-04-24 16:28:13 +000027using namespace serialization;
Chris Lattner7099dbc2009-04-27 06:16:06 +000028
29//===----------------------------------------------------------------------===//
30// Declaration serialization
31//===----------------------------------------------------------------------===//
32
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +000033namespace clang {
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000034 class ASTDeclWriter : public DeclVisitor<ASTDeclWriter, void> {
Chris Lattner7099dbc2009-04-27 06:16:06 +000035
Sebastian Redl55c0ad52010-08-18 23:56:21 +000036 ASTWriter &Writer;
Chris Lattner7099dbc2009-04-27 06:16:06 +000037 ASTContext &Context;
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000038 typedef ASTWriter::RecordData RecordData;
39 RecordData &Record;
Chris Lattner7099dbc2009-04-27 06:16:06 +000040
41 public:
Sebastian Redl539c5062010-08-18 23:57:32 +000042 serialization::DeclCode Code;
Chris Lattner258172e2009-04-27 07:35:58 +000043 unsigned AbbrevToUse;
Chris Lattner7099dbc2009-04-27 06:16:06 +000044
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000045 ASTDeclWriter(ASTWriter &Writer, ASTContext &Context, RecordData &Record)
Chris Lattner258172e2009-04-27 07:35:58 +000046 : Writer(Writer), Context(Context), Record(Record) {
47 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000048
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +000049 void Visit(Decl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000050
51 void VisitDecl(Decl *D);
52 void VisitTranslationUnitDecl(TranslationUnitDecl *D);
53 void VisitNamedDecl(NamedDecl *D);
Chris Lattnerc8e630e2011-02-17 07:39:24 +000054 void VisitLabelDecl(LabelDecl *LD);
Douglas Gregore31bbd92010-02-21 18:22:14 +000055 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000056 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
57 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000058 void VisitTypeDecl(TypeDecl *D);
Douglas Gregor1f179062011-12-19 14:40:25 +000059 void VisitTypedefNameDecl(TypedefNameDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000060 void VisitTypedefDecl(TypedefDecl *D);
Richard Smithdda56e42011-04-15 14:24:37 +000061 void VisitTypeAliasDecl(TypeAliasDecl *D);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000062 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000063 void VisitTagDecl(TagDecl *D);
64 void VisitEnumDecl(EnumDecl *D);
65 void VisitRecordDecl(RecordDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000066 void VisitCXXRecordDecl(CXXRecordDecl *D);
67 void VisitClassTemplateSpecializationDecl(
68 ClassTemplateSpecializationDecl *D);
69 void VisitClassTemplatePartialSpecializationDecl(
70 ClassTemplatePartialSpecializationDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +000071 void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D);
72 void VisitVarTemplatePartialSpecializationDecl(
73 VarTemplatePartialSpecializationDecl *D);
Fariborz Jahanian3a039e32011-08-27 20:50:59 +000074 void VisitClassScopeFunctionSpecializationDecl(
75 ClassScopeFunctionSpecializationDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000076 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000077 void VisitValueDecl(ValueDecl *D);
78 void VisitEnumConstantDecl(EnumConstantDecl *D);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000079 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +000080 void VisitDeclaratorDecl(DeclaratorDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000081 void VisitFunctionDecl(FunctionDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000082 void VisitCXXMethodDecl(CXXMethodDecl *D);
83 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
84 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
85 void VisitCXXConversionDecl(CXXConversionDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000086 void VisitFieldDecl(FieldDecl *D);
John McCall5e77d762013-04-16 07:28:30 +000087 void VisitMSPropertyDecl(MSPropertyDecl *D);
Francois Pichet783dd6e2010-11-21 06:08:52 +000088 void VisitIndirectFieldDecl(IndirectFieldDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000089 void VisitVarDecl(VarDecl *D);
90 void VisitImplicitParamDecl(ImplicitParamDecl *D);
91 void VisitParmVarDecl(ParmVarDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000092 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
93 void VisitTemplateDecl(TemplateDecl *D);
Peter Collingbourne91b25b72010-07-29 16:11:51 +000094 void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000095 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +000096 void VisitVarTemplateDecl(VarTemplateDecl *D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +000097 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000098 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Richard Smith3f1b5d02011-05-05 21:57:07 +000099 void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000100 void VisitUsingDecl(UsingDecl *D);
101 void VisitUsingShadowDecl(UsingShadowDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000102 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000103 void VisitFileScopeAsmDecl(FileScopeAsmDecl *D);
Douglas Gregorba345522011-12-02 23:23:56 +0000104 void VisitImportDecl(ImportDecl *D);
Abramo Bagnarad7340582010-06-05 05:09:32 +0000105 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000106 void VisitFriendDecl(FriendDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000107 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
108 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000109 void VisitBlockDecl(BlockDecl *D);
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +0000110 void VisitCapturedDecl(CapturedDecl *D);
Michael Han84324352013-02-22 17:15:32 +0000111 void VisitEmptyDecl(EmptyDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000112
Mike Stump11289f42009-09-09 15:08:12 +0000113 void VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
Chris Lattner7099dbc2009-04-27 06:16:06 +0000114 uint64_t VisibleOffset);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000115 template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000116
117
Alexis Hunted053252010-05-30 07:21:58 +0000118 // FIXME: Put in the same order is DeclNodes.td?
Chris Lattner7099dbc2009-04-27 06:16:06 +0000119 void VisitObjCMethodDecl(ObjCMethodDecl *D);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000120 void VisitObjCTypeParamDecl(ObjCTypeParamDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000121 void VisitObjCContainerDecl(ObjCContainerDecl *D);
122 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
123 void VisitObjCIvarDecl(ObjCIvarDecl *D);
124 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
125 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000126 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
127 void VisitObjCImplDecl(ObjCImplDecl *D);
128 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
129 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
130 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
131 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
132 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
Alexey Bataeva769e072013-03-22 06:34:35 +0000133 void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
Richard Smithd28ac5b2014-03-22 23:33:22 +0000134
Douglas Gregor85f3f952015-07-07 03:57:15 +0000135 /// Add an Objective-C type parameter list to the given record.
136 void AddObjCTypeParamList(ObjCTypeParamList *typeParams) {
137 // Empty type parameter list.
138 if (!typeParams) {
139 Record.push_back(0);
140 return;
141 }
142
143 Record.push_back(typeParams->size());
144 for (auto typeParam : *typeParams) {
145 Writer.AddDeclRef(typeParam, Record);
146 }
147 Writer.AddSourceLocation(typeParams->getLAngleLoc(), Record);
148 Writer.AddSourceLocation(typeParams->getRAngleLoc(), Record);
149 }
150
Richard Smithd28ac5b2014-03-22 23:33:22 +0000151 void AddFunctionDefinition(const FunctionDecl *FD) {
152 assert(FD->doesThisDeclarationHaveABody());
Richard Smithc2bb8182015-03-24 06:36:48 +0000153 if (auto *CD = dyn_cast<CXXConstructorDecl>(FD)) {
154 Record.push_back(CD->NumCtorInitializers);
155 if (CD->NumCtorInitializers)
156 Writer.AddCXXCtorInitializersRef(
157 llvm::makeArrayRef(CD->init_begin(), CD->init_end()), Record);
158 }
Richard Smithd28ac5b2014-03-22 23:33:22 +0000159 Writer.AddStmt(FD->getBody());
160 }
Richard Smith509fc852015-02-27 23:05:10 +0000161
Richard Smithd8a83712015-08-22 01:47:18 +0000162 /// Add to the record the first declaration from each module file that
163 /// provides a declaration of D. The intent is to provide a sufficient
164 /// set such that reloading this set will load all current redeclarations.
165 void AddFirstDeclFromEachModule(const Decl *D, bool IncludeLocal) {
166 llvm::MapVector<ModuleFile*, const Decl*> Firsts;
167 // FIXME: We can skip entries that we know are implied by others.
Richard Smith5f55d932015-08-27 21:38:25 +0000168 for (const Decl *R = D->getMostRecentDecl(); R; R = R->getPreviousDecl()) {
169 if (R->isFromASTFile())
Richard Smithd8a83712015-08-22 01:47:18 +0000170 Firsts[Writer.Chain->getOwningModuleFile(R)] = R;
Richard Smith5f55d932015-08-27 21:38:25 +0000171 else if (IncludeLocal)
172 Firsts[nullptr] = R;
173 }
Richard Smithd8a83712015-08-22 01:47:18 +0000174 for (const auto &F : Firsts)
175 Writer.AddDeclRef(F.second, Record);
176 }
177
Richard Smith509fc852015-02-27 23:05:10 +0000178 /// Get the specialization decl from an entry in the specialization list.
179 template <typename EntryType>
180 typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType *
181 getSpecializationDecl(EntryType &T) {
182 return RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::getDecl(&T);
183 }
184
185 /// Get the list of partial specializations from a template's common ptr.
186 template<typename T>
187 decltype(T::PartialSpecializations) &getPartialSpecializations(T *Common) {
188 return Common->PartialSpecializations;
189 }
190 ArrayRef<Decl> getPartialSpecializations(FunctionTemplateDecl::Common *) {
191 return None;
192 }
193
194 template<typename Decl>
195 void AddTemplateSpecializations(Decl *D) {
196 auto *Common = D->getCommonPtr();
197
198 // If we have any lazy specializations, and the external AST source is
199 // our chained AST reader, we can just write out the DeclIDs. Otherwise,
200 // we need to resolve them to actual declarations.
201 if (Writer.Chain != Writer.Context->getExternalSource() &&
202 Common->LazySpecializations) {
203 D->LoadLazySpecializations();
204 assert(!Common->LazySpecializations);
205 }
206
207 auto &Specializations = Common->Specializations;
208 auto &&PartialSpecializations = getPartialSpecializations(Common);
209 ArrayRef<DeclID> LazySpecializations;
210 if (auto *LS = Common->LazySpecializations)
211 LazySpecializations = ArrayRef<DeclID>(LS + 1, LS + 1 + LS[0]);
212
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 Smith509fc852015-02-27 23:05:10 +0000217 for (auto &Entry : Specializations) {
218 auto *D = getSpecializationDecl(Entry);
219 assert(D->isCanonicalDecl() && "non-canonical decl in set");
Richard Smithd8a83712015-08-22 01:47:18 +0000220 AddFirstDeclFromEachModule(D, /*IncludeLocal*/true);
Richard Smith509fc852015-02-27 23:05:10 +0000221 }
222 for (auto &Entry : PartialSpecializations) {
223 auto *D = getSpecializationDecl(Entry);
224 assert(D->isCanonicalDecl() && "non-canonical decl in set");
Richard Smithd8a83712015-08-22 01:47:18 +0000225 AddFirstDeclFromEachModule(D, /*IncludeLocal*/true);
Richard Smith509fc852015-02-27 23:05:10 +0000226 }
Benjamin Kramerf367dd92015-06-12 15:31:50 +0000227 Record.append(LazySpecializations.begin(), LazySpecializations.end());
Richard Smithd8a83712015-08-22 01:47:18 +0000228
229 // Update the size entry we added earlier.
230 Record[I] = Record.size() - I - 1;
231 }
232
233 /// Ensure that this template specialization is associated with the specified
234 /// template on reload.
235 void RegisterTemplateSpecialization(const Decl *Template,
236 const Decl *Specialization) {
237 Template = Template->getCanonicalDecl();
238
239 // If the canonical template is local, we'll write out this specialization
240 // when we emit it.
241 // FIXME: We can do the same thing if there is any local declaration of
242 // the template, to avoid emitting an update record.
243 if (!Template->isFromASTFile())
244 return;
245
246 // We only need to associate the first local declaration of the
247 // specialization. The other declarations will get pulled in by it.
248 if (Writer.getFirstLocalDecl(Specialization) != Specialization)
249 return;
250
251 Writer.DeclUpdates[Template].push_back(ASTWriter::DeclUpdate(
252 UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION, Specialization));
Richard Smith509fc852015-02-27 23:05:10 +0000253 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000254 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000255}
Chris Lattner7099dbc2009-04-27 06:16:06 +0000256
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000257void ASTDeclWriter::Visit(Decl *D) {
258 DeclVisitor<ASTDeclWriter>::Visit(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000259
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000260 // Source locations require array (variable-length) abbreviations. The
261 // abbreviation infrastructure requires that arrays are encoded last, so
262 // we handle it here in the case of those classes derived from DeclaratorDecl
263 if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)){
264 Writer.AddTypeSourceInfo(DD->getTypeSourceInfo(), Record);
265 }
266
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000267 // Handle FunctionDecl's body here and write it after all other Stmts/Exprs
268 // have been written. We want it last because we will not read it back when
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000269 // retrieving it from the AST, we'll just lazily set the offset.
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000270 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Alexis Hunt4a8ea102011-05-06 20:44:56 +0000271 Record.push_back(FD->doesThisDeclarationHaveABody());
272 if (FD->doesThisDeclarationHaveABody())
Richard Smithc2bb8182015-03-24 06:36:48 +0000273 AddFunctionDefinition(FD);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000274 }
275}
276
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000277void ASTDeclWriter::VisitDecl(Decl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000278 Writer.AddDeclRef(cast_or_null<Decl>(D->getDeclContext()), Record);
279 Writer.AddDeclRef(cast_or_null<Decl>(D->getLexicalDeclContext()), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000280 Record.push_back(D->isInvalidDecl());
281 Record.push_back(D->hasAttrs());
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000282 if (D->hasAttrs())
Craig Topper8c2a2a02014-08-30 16:55:39 +0000283 Writer.WriteAttributes(llvm::makeArrayRef(D->getAttrs().begin(),
284 D->getAttrs().size()), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000285 Record.push_back(D->isImplicit());
Douglas Gregorebada0772010-06-17 23:14:26 +0000286 Record.push_back(D->isUsed(false));
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +0000287 Record.push_back(D->isReferenced());
Douglas Gregor781f7132012-01-06 16:59:53 +0000288 Record.push_back(D->isTopLevelDeclInObjCContainer());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000289 Record.push_back(D->getAccess());
Douglas Gregor781f7132012-01-06 16:59:53 +0000290 Record.push_back(D->isModulePrivate());
Douglas Gregora28bcdd2011-12-01 02:07:58 +0000291 Record.push_back(Writer.inferSubmoduleIDFromLocation(D->getLocation()));
Richard Smithc264d352014-03-23 02:30:01 +0000292
293 // If this declaration injected a name into a context different from its
294 // lexical context, and that context is an imported namespace, we need to
295 // update its visible declarations to include this name.
296 //
297 // This happens when we instantiate a class with a friend declaration or a
298 // function with a local extern declaration, for instance.
Richard Smith5fc18a92015-07-12 23:43:21 +0000299 //
300 // FIXME: Can we handle this in AddedVisibleDecl instead?
Richard Smithc264d352014-03-23 02:30:01 +0000301 if (D->isOutOfLine()) {
Richard Smithe3a97022014-03-23 20:41:56 +0000302 auto *DC = D->getDeclContext();
303 while (auto *NS = dyn_cast<NamespaceDecl>(DC->getRedeclContext())) {
304 if (!NS->isFromASTFile())
305 break;
Chandler Carruth8a3d24d2015-03-26 04:27:10 +0000306 Writer.UpdatedDeclContexts.insert(NS->getPrimaryContext());
Richard Smithe3a97022014-03-23 20:41:56 +0000307 if (!NS->isInlineNamespace())
308 break;
309 DC = NS->getParent();
310 }
Richard Smithc264d352014-03-23 02:30:01 +0000311 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000312}
313
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000314void ASTDeclWriter::VisitTranslationUnitDecl(TranslationUnitDecl *D) {
Douglas Gregordab42432011-08-12 00:15:20 +0000315 llvm_unreachable("Translation units aren't directly serialized");
Chris Lattner7099dbc2009-04-27 06:16:06 +0000316}
317
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000318void ASTDeclWriter::VisitNamedDecl(NamedDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000319 VisitDecl(D);
320 Writer.AddDeclarationName(D->getDeclName(), Record);
Richard Smith2b560572015-02-07 03:11:11 +0000321 Record.push_back(needsAnonymousDeclarationNumber(D)
322 ? Writer.getAnonymousDeclarationNumber(D)
323 : 0);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000324}
325
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000326void ASTDeclWriter::VisitTypeDecl(TypeDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000327 VisitNamedDecl(D);
Abramo Bagnarab3185b02011-03-06 15:48:19 +0000328 Writer.AddSourceLocation(D->getLocStart(), Record);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000329 Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000330}
331
Douglas Gregor1f179062011-12-19 14:40:25 +0000332void ASTDeclWriter::VisitTypedefNameDecl(TypedefNameDecl *D) {
Douglas Gregor05f10352011-12-17 23:38:30 +0000333 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000334 VisitTypeDecl(D);
Enea Zaffanellaa86d88c2013-06-20 12:46:19 +0000335 Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
336 Record.push_back(D->isModed());
337 if (D->isModed())
338 Writer.AddTypeRef(D->getUnderlyingType(), Record);
Douglas Gregor1f179062011-12-19 14:40:25 +0000339}
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000340
Douglas Gregor1f179062011-12-19 14:40:25 +0000341void ASTDeclWriter::VisitTypedefDecl(TypedefDecl *D) {
342 VisitTypedefNameDecl(D);
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000343 if (!D->hasAttrs() &&
344 !D->isImplicit() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000345 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000346 !D->isInvalidDecl() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000347 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000348 !D->isModulePrivate() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000349 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000350 D->getDeclName().getNameKind() == DeclarationName::Identifier)
351 AbbrevToUse = Writer.getDeclTypedefAbbrev();
352
Sebastian Redl539c5062010-08-18 23:57:32 +0000353 Code = serialization::DECL_TYPEDEF;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000354}
355
Richard Smithdda56e42011-04-15 14:24:37 +0000356void ASTDeclWriter::VisitTypeAliasDecl(TypeAliasDecl *D) {
Douglas Gregor1f179062011-12-19 14:40:25 +0000357 VisitTypedefNameDecl(D);
Richard Smith43ccec8e2014-08-26 03:52:16 +0000358 Writer.AddDeclRef(D->getDescribedAliasTemplate(), Record);
Richard Smithdda56e42011-04-15 14:24:37 +0000359 Code = serialization::DECL_TYPEALIAS;
360}
361
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000362void ASTDeclWriter::VisitTagDecl(TagDecl *D) {
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000363 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000364 VisitTypeDecl(D);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000365 Record.push_back(D->getIdentifierNamespace());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000366 Record.push_back((unsigned)D->getTagKind()); // FIXME: stable encoding
Richard Smith2c381642014-08-27 23:11:59 +0000367 if (!isa<CXXRecordDecl>(D))
368 Record.push_back(D->isCompleteDefinition());
Douglas Gregor5089c762010-02-12 17:40:34 +0000369 Record.push_back(D->isEmbeddedInDeclarator());
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +0000370 Record.push_back(D->isFreeStanding());
David Blaikiea8d23ce2013-07-14 01:07:41 +0000371 Record.push_back(D->isCompleteDefinitionRequired());
Argyrios Kyrtzidis664b6902009-07-14 03:18:02 +0000372 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Richard Smith70d58502014-08-30 00:04:23 +0000373
374 if (D->hasExtInfo()) {
375 Record.push_back(1);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000376 Writer.AddQualifierInfo(*D->getExtInfo(), Record);
Richard Smith70d58502014-08-30 00:04:23 +0000377 } else if (auto *TD = D->getTypedefNameForAnonDecl()) {
378 Record.push_back(2);
379 Writer.AddDeclRef(TD, Record);
380 Writer.AddIdentifierRef(TD->getDeclName().getAsIdentifierInfo(), Record);
381 } else if (auto *DD = D->getDeclaratorForAnonDecl()) {
382 Record.push_back(3);
383 Writer.AddDeclRef(DD, Record);
384 } else {
385 Record.push_back(0);
386 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000387}
388
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000389void ASTDeclWriter::VisitEnumDecl(EnumDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000390 VisitTagDecl(D);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000391 Writer.AddTypeSourceInfo(D->getIntegerTypeSourceInfo(), Record);
392 if (!D->getIntegerTypeSourceInfo())
393 Writer.AddTypeRef(D->getIntegerType(), Record);
John McCall56774992009-12-09 09:09:27 +0000394 Writer.AddTypeRef(D->getPromotionType(), Record);
John McCall9aa35be2010-05-06 08:49:23 +0000395 Record.push_back(D->getNumPositiveBits());
396 Record.push_back(D->getNumNegativeBits());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000397 Record.push_back(D->isScoped());
Abramo Bagnara0e05e242010-12-03 18:54:17 +0000398 Record.push_back(D->isScopedUsingClassTag());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000399 Record.push_back(D->isFixed());
Richard Smith4b38ded2012-03-14 23:13:10 +0000400 if (MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo()) {
401 Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
402 Record.push_back(MemberInfo->getTemplateSpecializationKind());
403 Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
404 } else {
Craig Toppera13603a2014-05-22 05:54:18 +0000405 Writer.AddDeclRef(nullptr, Record);
Richard Smith4b38ded2012-03-14 23:13:10 +0000406 }
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000407
408 if (!D->hasAttrs() &&
409 !D->isImplicit() &&
410 !D->isUsed(false) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000411 !D->hasExtInfo() &&
Richard Smith70d58502014-08-30 00:04:23 +0000412 !D->getTypedefNameForAnonDecl() &&
413 !D->getDeclaratorForAnonDecl() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000414 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000415 !D->isInvalidDecl() &&
416 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000417 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000418 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000419 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000420 !CXXRecordDecl::classofKind(D->getKind()) &&
421 !D->getIntegerTypeSourceInfo() &&
Argyrios Kyrtzidisca370b0d2013-03-18 22:23:49 +0000422 !D->getMemberSpecializationInfo() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000423 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000424 D->getDeclName().getNameKind() == DeclarationName::Identifier)
425 AbbrevToUse = Writer.getDeclEnumAbbrev();
426
Sebastian Redl539c5062010-08-18 23:57:32 +0000427 Code = serialization::DECL_ENUM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000428}
429
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000430void ASTDeclWriter::VisitRecordDecl(RecordDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000431 VisitTagDecl(D);
432 Record.push_back(D->hasFlexibleArrayMember());
433 Record.push_back(D->isAnonymousStructOrUnion());
Fariborz Jahanian8e0d0422009-07-08 16:37:44 +0000434 Record.push_back(D->hasObjectMember());
Fariborz Jahanian78652202013-01-25 23:57:05 +0000435 Record.push_back(D->hasVolatileMember());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000436
437 if (!D->hasAttrs() &&
438 !D->isImplicit() &&
439 !D->isUsed(false) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000440 !D->hasExtInfo() &&
Richard Smith70d58502014-08-30 00:04:23 +0000441 !D->getTypedefNameForAnonDecl() &&
442 !D->getDeclaratorForAnonDecl() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000443 D->getFirstDecl() == D->getMostRecentDecl() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000444 !D->isInvalidDecl() &&
445 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000446 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000447 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000448 !D->isModulePrivate() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000449 !CXXRecordDecl::classofKind(D->getKind()) &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000450 !needsAnonymousDeclarationNumber(D) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000451 D->getDeclName().getNameKind() == DeclarationName::Identifier)
Douglas Gregor03412ba2011-06-03 02:27:19 +0000452 AbbrevToUse = Writer.getDeclRecordAbbrev();
453
Sebastian Redl539c5062010-08-18 23:57:32 +0000454 Code = serialization::DECL_RECORD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000455}
456
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000457void ASTDeclWriter::VisitValueDecl(ValueDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000458 VisitNamedDecl(D);
459 Writer.AddTypeRef(D->getType(), Record);
460}
461
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000462void ASTDeclWriter::VisitEnumConstantDecl(EnumConstantDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000463 VisitValueDecl(D);
464 Record.push_back(D->getInitExpr()? 1 : 0);
465 if (D->getInitExpr())
466 Writer.AddStmt(D->getInitExpr());
467 Writer.AddAPSInt(D->getInitVal(), Record);
Douglas Gregor03412ba2011-06-03 02:27:19 +0000468
Sebastian Redl539c5062010-08-18 23:57:32 +0000469 Code = serialization::DECL_ENUM_CONSTANT;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000470}
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000471
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000472void ASTDeclWriter::VisitDeclaratorDecl(DeclaratorDecl *D) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000473 VisitValueDecl(D);
Abramo Bagnaradff19302011-03-08 08:55:46 +0000474 Writer.AddSourceLocation(D->getInnerLocStart(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000475 Record.push_back(D->hasExtInfo());
476 if (D->hasExtInfo())
477 Writer.AddQualifierInfo(*D->getExtInfo(), Record);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000478}
Chris Lattner7099dbc2009-04-27 06:16:06 +0000479
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000480void ASTDeclWriter::VisitFunctionDecl(FunctionDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000481 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000482 VisitDeclaratorDecl(D);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000483 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000484 Record.push_back(D->getIdentifierNamespace());
Douglas Gregorb2585692012-01-04 17:13:46 +0000485
486 // FunctionDecl's body is handled last at ASTWriterDecl::Visit,
487 // after everything else is written.
488
Richard Smith72625c22015-02-06 23:20:21 +0000489 Record.push_back((int)D->SClass); // FIXME: stable encoding
Douglas Gregorb2585692012-01-04 17:13:46 +0000490 Record.push_back(D->IsInline);
Richard Smith72625c22015-02-06 23:20:21 +0000491 Record.push_back(D->IsInlineSpecified);
492 Record.push_back(D->IsVirtualAsWritten);
493 Record.push_back(D->IsPure);
494 Record.push_back(D->HasInheritedPrototype);
495 Record.push_back(D->HasWrittenPrototype);
496 Record.push_back(D->IsDeleted);
497 Record.push_back(D->IsTrivial);
498 Record.push_back(D->IsDefaulted);
499 Record.push_back(D->IsExplicitlyDefaulted);
500 Record.push_back(D->HasImplicitReturnZero);
501 Record.push_back(D->IsConstexpr);
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000502 Record.push_back(D->HasSkippedBody);
Richard Smith72625c22015-02-06 23:20:21 +0000503 Record.push_back(D->IsLateTemplateParsed);
Rafael Espindola3ae00052013-05-13 00:12:11 +0000504 Record.push_back(D->getLinkageInternal());
Douglas Gregorb2585692012-01-04 17:13:46 +0000505 Writer.AddSourceLocation(D->getLocEnd(), Record);
506
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000507 Record.push_back(D->getTemplatedKind());
508 switch (D->getTemplatedKind()) {
509 case FunctionDecl::TK_NonTemplate:
510 break;
511 case FunctionDecl::TK_FunctionTemplate:
512 Writer.AddDeclRef(D->getDescribedFunctionTemplate(), Record);
513 break;
514 case FunctionDecl::TK_MemberSpecialization: {
515 MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo();
516 Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
517 Record.push_back(MemberInfo->getTemplateSpecializationKind());
518 Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
519 break;
520 }
521 case FunctionDecl::TK_FunctionTemplateSpecialization: {
522 FunctionTemplateSpecializationInfo *
523 FTSInfo = D->getTemplateSpecializationInfo();
Richard Smithd8a83712015-08-22 01:47:18 +0000524
525 RegisterTemplateSpecialization(FTSInfo->getTemplate(), D);
526
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000527 Writer.AddDeclRef(FTSInfo->getTemplate(), Record);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000528 Record.push_back(FTSInfo->getTemplateSpecializationKind());
529
530 // Template arguments.
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +0000531 Writer.AddTemplateArgumentList(FTSInfo->TemplateArguments, Record);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000532
533 // Template args as written.
Craig Toppera13603a2014-05-22 05:54:18 +0000534 Record.push_back(FTSInfo->TemplateArgumentsAsWritten != nullptr);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000535 if (FTSInfo->TemplateArgumentsAsWritten) {
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000536 Record.push_back(FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs);
537 for (int i=0, e = FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs;
538 i!=e; ++i)
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000539 Writer.AddTemplateArgumentLoc((*FTSInfo->TemplateArgumentsAsWritten)[i],
540 Record);
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000541 Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->LAngleLoc,
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000542 Record);
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000543 Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->RAngleLoc,
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000544 Record);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000545 }
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000546
547 Writer.AddSourceLocation(FTSInfo->getPointOfInstantiation(), Record);
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000548
549 if (D->isCanonicalDecl()) {
550 // Write the template that contains the specializations set. We will
551 // add a FunctionTemplateSpecializationInfo to it when reading.
552 Writer.AddDeclRef(FTSInfo->getTemplate()->getCanonicalDecl(), Record);
553 }
Argyrios Kyrtzidisdc9ca0a2010-06-25 16:24:51 +0000554 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000555 }
556 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
557 DependentFunctionTemplateSpecializationInfo *
558 DFTSInfo = D->getDependentSpecializationInfo();
559
560 // Templates.
561 Record.push_back(DFTSInfo->getNumTemplates());
562 for (int i=0, e = DFTSInfo->getNumTemplates(); i != e; ++i)
563 Writer.AddDeclRef(DFTSInfo->getTemplate(i), Record);
564
565 // Templates args.
566 Record.push_back(DFTSInfo->getNumTemplateArgs());
567 for (int i=0, e = DFTSInfo->getNumTemplateArgs(); i != e; ++i)
568 Writer.AddTemplateArgumentLoc(DFTSInfo->getTemplateArg(i), Record);
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000569 Writer.AddSourceLocation(DFTSInfo->getLAngleLoc(), Record);
570 Writer.AddSourceLocation(DFTSInfo->getRAngleLoc(), Record);
Argyrios Kyrtzidisdc9ca0a2010-06-25 16:24:51 +0000571 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000572 }
573 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000574
Chris Lattner7099dbc2009-04-27 06:16:06 +0000575 Record.push_back(D->param_size());
Aaron Ballmanf6bf62e2014-03-07 15:12:56 +0000576 for (auto P : D->params())
577 Writer.AddDeclRef(P, Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000578 Code = serialization::DECL_FUNCTION;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000579}
580
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000581void ASTDeclWriter::VisitObjCMethodDecl(ObjCMethodDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000582 VisitNamedDecl(D);
583 // FIXME: convert to LazyStmtPtr?
Mike Stump11289f42009-09-09 15:08:12 +0000584 // Unlike C/C++, method bodies will never be in header files.
Craig Toppera13603a2014-05-22 05:54:18 +0000585 bool HasBodyStuff = D->getBody() != nullptr ||
586 D->getSelfDecl() != nullptr || D->getCmdDecl() != nullptr;
Argyrios Kyrtzidisa8607772010-08-09 10:54:37 +0000587 Record.push_back(HasBodyStuff);
588 if (HasBodyStuff) {
Argyrios Kyrtzidisddcd1322009-06-30 02:35:26 +0000589 Writer.AddStmt(D->getBody());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000590 Writer.AddDeclRef(D->getSelfDecl(), Record);
591 Writer.AddDeclRef(D->getCmdDecl(), Record);
592 }
593 Record.push_back(D->isInstanceMethod());
594 Record.push_back(D->isVariadic());
Jordan Rosed01e83a2012-10-10 16:42:25 +0000595 Record.push_back(D->isPropertyAccessor());
Fariborz Jahanian6e7e8cc2010-07-22 18:24:20 +0000596 Record.push_back(D->isDefined());
Argyrios Kyrtzidis08f96a92012-05-09 16:12:57 +0000597 Record.push_back(D->IsOverriding);
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000598 Record.push_back(D->HasSkippedBody);
Argyrios Kyrtzidisdb215962011-10-14 17:41:52 +0000599
600 Record.push_back(D->IsRedeclaration);
601 Record.push_back(D->HasRedeclaration);
602 if (D->HasRedeclaration) {
603 assert(Context.getObjCMethodRedeclaration(D));
604 Writer.AddDeclRef(Context.getObjCMethodRedeclaration(D), Record);
605 }
606
Chris Lattner7099dbc2009-04-27 06:16:06 +0000607 // FIXME: stable encoding for @required/@optional
Mike Stump11289f42009-09-09 15:08:12 +0000608 Record.push_back(D->getImplementationControl());
Douglas Gregor813a0662015-06-19 18:14:38 +0000609 // FIXME: stable encoding for in/out/inout/bycopy/byref/oneway/nullability
Mike Stump11289f42009-09-09 15:08:12 +0000610 Record.push_back(D->getObjCDeclQualifier());
Douglas Gregor33823722011-06-11 01:09:30 +0000611 Record.push_back(D->hasRelatedResultType());
Alp Toker314cc812014-01-25 16:55:45 +0000612 Writer.AddTypeRef(D->getReturnType(), Record);
613 Writer.AddTypeSourceInfo(D->getReturnTypeSourceInfo(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000614 Writer.AddSourceLocation(D->getLocEnd(), Record);
615 Record.push_back(D->param_size());
Aaron Ballman43b68be2014-03-07 17:50:17 +0000616 for (const auto *P : D->params())
617 Writer.AddDeclRef(P, Record);
Argyrios Kyrtzidisb8c3aaf2011-10-03 06:37:04 +0000618
619 Record.push_back(D->SelLocsKind);
620 unsigned NumStoredSelLocs = D->getNumStoredSelLocs();
621 SourceLocation *SelLocs = D->getStoredSelLocs();
622 Record.push_back(NumStoredSelLocs);
623 for (unsigned i = 0; i != NumStoredSelLocs; ++i)
624 Writer.AddSourceLocation(SelLocs[i], Record);
625
Sebastian Redl539c5062010-08-18 23:57:32 +0000626 Code = serialization::DECL_OBJC_METHOD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000627}
628
Douglas Gregor85f3f952015-07-07 03:57:15 +0000629void ASTDeclWriter::VisitObjCTypeParamDecl(ObjCTypeParamDecl *D) {
630 VisitTypedefNameDecl(D);
Douglas Gregor1ac1b632015-07-07 03:58:54 +0000631 Record.push_back(D->Variance);
Douglas Gregore83b9562015-07-07 03:57:53 +0000632 Record.push_back(D->Index);
Douglas Gregor1ac1b632015-07-07 03:58:54 +0000633 Writer.AddSourceLocation(D->VarianceLoc, Record);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000634 Writer.AddSourceLocation(D->ColonLoc, Record);
635
636 Code = serialization::DECL_OBJC_TYPE_PARAM;
637}
638
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000639void ASTDeclWriter::VisitObjCContainerDecl(ObjCContainerDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000640 VisitNamedDecl(D);
Argyrios Kyrtzidis52f53fb2011-10-04 04:48:02 +0000641 Writer.AddSourceLocation(D->getAtStartLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000642 Writer.AddSourceRange(D->getAtEndRange(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000643 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner7099dbc2009-04-27 06:16:06 +0000644}
645
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000646void ASTDeclWriter::VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
Douglas Gregor66b310c2011-12-15 18:03:09 +0000647 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000648 VisitObjCContainerDecl(D);
649 Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000650 AddObjCTypeParamList(D->TypeParamList);
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000651
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000652 Record.push_back(D->isThisDeclarationADefinition());
653 if (D->isThisDeclarationADefinition()) {
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000654 // Write the DefinitionData
655 ObjCInterfaceDecl::DefinitionData &Data = D->data();
656
Douglas Gregore9d95f12015-07-07 03:57:35 +0000657 Writer.AddTypeSourceInfo(D->getSuperClassTInfo(), Record);
Douglas Gregor16408322011-12-15 22:34:59 +0000658 Writer.AddSourceLocation(D->getEndOfDefinitionLoc(), Record);
Argyrios Kyrtzidis9ed9e5f2013-12-03 21:11:30 +0000659 Record.push_back(Data.HasDesignatedInitializers);
Douglas Gregor16408322011-12-15 22:34:59 +0000660
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000661 // Write out the protocols that are directly referenced by the @interface.
662 Record.push_back(Data.ReferencedProtocols.size());
Aaron Ballmana49c5062014-03-13 20:29:09 +0000663 for (const auto *P : D->protocols())
664 Writer.AddDeclRef(P, Record);
Aaron Ballmane9378882014-03-13 20:34:24 +0000665 for (const auto &PL : D->protocol_locs())
666 Writer.AddSourceLocation(PL, Record);
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000667
668 // Write out the protocols that are transitively referenced.
669 Record.push_back(Data.AllReferencedProtocols.size());
670 for (ObjCList<ObjCProtocolDecl>::iterator
671 P = Data.AllReferencedProtocols.begin(),
672 PEnd = Data.AllReferencedProtocols.end();
673 P != PEnd; ++P)
674 Writer.AddDeclRef(*P, Record);
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000675
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000676
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000677 if (ObjCCategoryDecl *Cat = D->getCategoryListRaw()) {
Douglas Gregor404cdde2012-01-27 01:47:08 +0000678 // Ensure that we write out the set of categories for this class.
679 Writer.ObjCClassesWithCategories.insert(D);
680
681 // Make sure that the categories get serialized.
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000682 for (; Cat; Cat = Cat->getNextClassCategoryRaw())
Douglas Gregor404cdde2012-01-27 01:47:08 +0000683 (void)Writer.GetDeclRef(Cat);
684 }
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000685 }
686
Sebastian Redl539c5062010-08-18 23:57:32 +0000687 Code = serialization::DECL_OBJC_INTERFACE;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000688}
689
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000690void ASTDeclWriter::VisitObjCIvarDecl(ObjCIvarDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000691 VisitFieldDecl(D);
692 // FIXME: stable encoding for @public/@private/@protected/@package
Mike Stump11289f42009-09-09 15:08:12 +0000693 Record.push_back(D->getAccessControl());
Fariborz Jahanianaea8e1e2010-07-17 18:35:47 +0000694 Record.push_back(D->getSynthesize());
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000695
696 if (!D->hasAttrs() &&
697 !D->isImplicit() &&
698 !D->isUsed(false) &&
699 !D->isInvalidDecl() &&
700 !D->isReferenced() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000701 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000702 !D->getBitWidth() &&
703 !D->hasExtInfo() &&
704 D->getDeclName())
705 AbbrevToUse = Writer.getDeclObjCIvarAbbrev();
706
Sebastian Redl539c5062010-08-18 23:57:32 +0000707 Code = serialization::DECL_OBJC_IVAR;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000708}
709
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000710void ASTDeclWriter::VisitObjCProtocolDecl(ObjCProtocolDecl *D) {
Douglas Gregora715bff2012-01-01 19:51:50 +0000711 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000712 VisitObjCContainerDecl(D);
Douglas Gregore6e48b12012-01-01 19:29:29 +0000713
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000714 Record.push_back(D->isThisDeclarationADefinition());
715 if (D->isThisDeclarationADefinition()) {
Douglas Gregore6e48b12012-01-01 19:29:29 +0000716 Record.push_back(D->protocol_size());
Aaron Ballman0f6e64d2014-03-13 22:58:06 +0000717 for (const auto *I : D->protocols())
718 Writer.AddDeclRef(I, Record);
Aaron Ballmana964ec12014-03-14 12:38:50 +0000719 for (const auto &PL : D->protocol_locs())
720 Writer.AddSourceLocation(PL, Record);
Douglas Gregore6e48b12012-01-01 19:29:29 +0000721 }
722
Sebastian Redl539c5062010-08-18 23:57:32 +0000723 Code = serialization::DECL_OBJC_PROTOCOL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000724}
725
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000726void ASTDeclWriter::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000727 VisitFieldDecl(D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000728 Code = serialization::DECL_OBJC_AT_DEFS_FIELD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000729}
730
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000731void ASTDeclWriter::VisitObjCCategoryDecl(ObjCCategoryDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000732 VisitObjCContainerDecl(D);
Douglas Gregor404cdde2012-01-27 01:47:08 +0000733 Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
Fariborz Jahaniana7765fe2012-02-20 20:09:20 +0000734 Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
735 Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000736 Writer.AddDeclRef(D->getClassInterface(), Record);
Douglas Gregor85f3f952015-07-07 03:57:15 +0000737 AddObjCTypeParamList(D->TypeParamList);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000738 Record.push_back(D->protocol_size());
Aaron Ballman19a41762014-03-14 12:55:57 +0000739 for (const auto *I : D->protocols())
740 Writer.AddDeclRef(I, Record);
Aaron Ballmana73c8572014-03-14 13:03:32 +0000741 for (const auto &PL : D->protocol_locs())
742 Writer.AddSourceLocation(PL, Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000743 Code = serialization::DECL_OBJC_CATEGORY;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000744}
745
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000746void ASTDeclWriter::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000747 VisitNamedDecl(D);
748 Writer.AddDeclRef(D->getClassInterface(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000749 Code = serialization::DECL_OBJC_COMPATIBLE_ALIAS;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000750}
751
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000752void ASTDeclWriter::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000753 VisitNamedDecl(D);
Fariborz Jahanianda8ec2b2010-01-21 17:36:00 +0000754 Writer.AddSourceLocation(D->getAtLoc(), Record);
Fariborz Jahanian86c2f5c2012-02-29 22:18:55 +0000755 Writer.AddSourceLocation(D->getLParenLoc(), Record);
Douglas Gregor813a0662015-06-19 18:14:38 +0000756 Writer.AddTypeRef(D->getType(), Record);
John McCall339bb662010-06-04 20:50:08 +0000757 Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000758 // FIXME: stable encoding
759 Record.push_back((unsigned)D->getPropertyAttributes());
Fariborz Jahanian3bf0ded2010-06-22 23:20:40 +0000760 Record.push_back((unsigned)D->getPropertyAttributesAsWritten());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000761 // FIXME: stable encoding
762 Record.push_back((unsigned)D->getPropertyImplementation());
763 Writer.AddDeclarationName(D->getGetterName(), Record);
764 Writer.AddDeclarationName(D->getSetterName(), Record);
765 Writer.AddDeclRef(D->getGetterMethodDecl(), Record);
766 Writer.AddDeclRef(D->getSetterMethodDecl(), Record);
767 Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000768 Code = serialization::DECL_OBJC_PROPERTY;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000769}
770
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000771void ASTDeclWriter::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidis067c4072009-07-27 19:04:32 +0000772 VisitObjCContainerDecl(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000773 Writer.AddDeclRef(D->getClassInterface(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000774 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner7099dbc2009-04-27 06:16:06 +0000775}
776
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000777void ASTDeclWriter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000778 VisitObjCImplDecl(D);
779 Writer.AddIdentifierRef(D->getIdentifier(), Record);
Argyrios Kyrtzidis4996f5f2011-12-09 00:31:40 +0000780 Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000781 Code = serialization::DECL_OBJC_CATEGORY_IMPL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000782}
783
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000784void ASTDeclWriter::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000785 VisitObjCImplDecl(D);
786 Writer.AddDeclRef(D->getSuperClass(), Record);
Argyrios Kyrtzidis5d2ce842013-05-03 22:31:26 +0000787 Writer.AddSourceLocation(D->getSuperClassLoc(), Record);
Fariborz Jahaniana7765fe2012-02-20 20:09:20 +0000788 Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
789 Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
John McCall0d54a172012-10-17 04:53:31 +0000790 Record.push_back(D->hasNonZeroConstructors());
791 Record.push_back(D->hasDestructors());
Richard Smithc2bb8182015-03-24 06:36:48 +0000792 Record.push_back(D->NumIvarInitializers);
793 if (D->NumIvarInitializers)
794 Writer.AddCXXCtorInitializersRef(
795 llvm::makeArrayRef(D->init_begin(), D->init_end()), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000796 Code = serialization::DECL_OBJC_IMPLEMENTATION;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000797}
798
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000799void ASTDeclWriter::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000800 VisitDecl(D);
801 Writer.AddSourceLocation(D->getLocStart(), Record);
802 Writer.AddDeclRef(D->getPropertyDecl(), Record);
803 Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
Douglas Gregorb1b71e52010-11-17 01:03:52 +0000804 Writer.AddSourceLocation(D->getPropertyIvarDeclLoc(), Record);
Argyrios Kyrtzidisa8607772010-08-09 10:54:37 +0000805 Writer.AddStmt(D->getGetterCXXConstructor());
806 Writer.AddStmt(D->getSetterCXXAssignment());
Sebastian Redl539c5062010-08-18 23:57:32 +0000807 Code = serialization::DECL_OBJC_PROPERTY_IMPL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000808}
809
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000810void ASTDeclWriter::VisitFieldDecl(FieldDecl *D) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000811 VisitDeclaratorDecl(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000812 Record.push_back(D->isMutable());
John McCallc90c1492014-10-10 18:44:34 +0000813 if (D->InitStorage.getInt() == FieldDecl::ISK_BitWidthOrNothing &&
814 D->InitStorage.getPointer() == nullptr) {
815 Record.push_back(0);
816 } else if (D->InitStorage.getInt() == FieldDecl::ISK_CapturedVLAType) {
817 Record.push_back(D->InitStorage.getInt() + 1);
Alexey Bataev39c81e22014-08-28 04:28:19 +0000818 Writer.AddTypeRef(
John McCallc90c1492014-10-10 18:44:34 +0000819 QualType(static_cast<Type *>(D->InitStorage.getPointer()), 0),
Alexey Bataev39c81e22014-08-28 04:28:19 +0000820 Record);
Richard Smith2b013182012-06-10 03:12:00 +0000821 } else {
John McCallc90c1492014-10-10 18:44:34 +0000822 Record.push_back(D->InitStorage.getInt() + 1);
823 Writer.AddStmt(static_cast<Expr *>(D->InitStorage.getPointer()));
Richard Smith2b013182012-06-10 03:12:00 +0000824 }
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000825 if (!D->getDeclName())
826 Writer.AddDeclRef(Context.getInstantiatedFromUnnamedFieldDecl(D), Record);
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000827
828 if (!D->hasAttrs() &&
829 !D->isImplicit() &&
830 !D->isUsed(false) &&
831 !D->isInvalidDecl() &&
832 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000833 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000834 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000835 !D->getBitWidth() &&
Richard Smith938f40b2011-06-11 17:19:42 +0000836 !D->hasInClassInitializer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000837 !D->hasExtInfo() &&
838 !ObjCIvarDecl::classofKind(D->getKind()) &&
839 !ObjCAtDefsFieldDecl::classofKind(D->getKind()) &&
840 D->getDeclName())
841 AbbrevToUse = Writer.getDeclFieldAbbrev();
842
Sebastian Redl539c5062010-08-18 23:57:32 +0000843 Code = serialization::DECL_FIELD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000844}
845
John McCall5e77d762013-04-16 07:28:30 +0000846void ASTDeclWriter::VisitMSPropertyDecl(MSPropertyDecl *D) {
847 VisitDeclaratorDecl(D);
848 Writer.AddIdentifierRef(D->getGetterId(), Record);
849 Writer.AddIdentifierRef(D->getSetterId(), Record);
850 Code = serialization::DECL_MS_PROPERTY;
851}
852
Francois Pichet783dd6e2010-11-21 06:08:52 +0000853void ASTDeclWriter::VisitIndirectFieldDecl(IndirectFieldDecl *D) {
854 VisitValueDecl(D);
855 Record.push_back(D->getChainingSize());
856
Aaron Ballman29c94602014-03-07 18:36:15 +0000857 for (const auto *P : D->chain())
Aaron Ballman13916082014-03-07 18:11:58 +0000858 Writer.AddDeclRef(P, Record);
Francois Pichet783dd6e2010-11-21 06:08:52 +0000859 Code = serialization::DECL_INDIRECTFIELD;
860}
861
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000862void ASTDeclWriter::VisitVarDecl(VarDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000863 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000864 VisitDeclaratorDecl(D);
Rafael Espindola6ae7e502013-04-03 19:27:57 +0000865 Record.push_back(D->getStorageClass());
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +0000866 Record.push_back(D->getTSCSpec());
Sebastian Redla9351792012-02-11 23:51:47 +0000867 Record.push_back(D->getInitStyle());
David Majnemerfa7bc782015-05-19 00:57:16 +0000868 if (!isa<ParmVarDecl>(D)) {
869 Record.push_back(D->isExceptionVariable());
870 Record.push_back(D->isNRVOVariable());
871 Record.push_back(D->isCXXForRangeDecl());
872 Record.push_back(D->isARCPseudoStrong());
873 Record.push_back(D->isConstexpr());
874 Record.push_back(D->isInitCapture());
875 Record.push_back(D->isPreviousDeclInSameBlockScope());
876 }
Rafael Espindola3ae00052013-05-13 00:12:11 +0000877 Record.push_back(D->getLinkageInternal());
Douglas Gregor12cda632012-09-20 23:43:29 +0000878
Richard Smithd0b4dd62011-12-19 06:19:21 +0000879 if (D->getInit()) {
880 Record.push_back(!D->isInitKnownICE() ? 1 : (D->isInitICE() ? 3 : 2));
Chris Lattner7099dbc2009-04-27 06:16:06 +0000881 Writer.AddStmt(D->getInit());
Richard Smithd0b4dd62011-12-19 06:19:21 +0000882 } else {
883 Record.push_back(0);
884 }
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000885
886 enum {
887 VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
888 };
889 if (VarTemplateDecl *TemplD = D->getDescribedVarTemplate()) {
890 Record.push_back(VarTemplate);
891 Writer.AddDeclRef(TemplD, Record);
892 } else if (MemberSpecializationInfo *SpecInfo
893 = D->getMemberSpecializationInfo()) {
894 Record.push_back(StaticDataMemberSpecialization);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000895 Writer.AddDeclRef(SpecInfo->getInstantiatedFrom(), Record);
896 Record.push_back(SpecInfo->getTemplateSpecializationKind());
897 Writer.AddSourceLocation(SpecInfo->getPointOfInstantiation(), Record);
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000898 } else {
899 Record.push_back(VarNotTemplate);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000900 }
901
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000902 if (!D->hasAttrs() &&
903 !D->isImplicit() &&
904 !D->isUsed(false) &&
905 !D->isInvalidDecl() &&
906 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000907 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000908 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000909 !D->isModulePrivate() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000910 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000911 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
912 !D->hasExtInfo() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000913 D->getFirstDecl() == D->getMostRecentDecl() &&
Sebastian Redla9351792012-02-11 23:51:47 +0000914 D->getInitStyle() == VarDecl::CInit &&
Craig Toppera13603a2014-05-22 05:54:18 +0000915 D->getInit() == nullptr &&
John McCalld4631322011-06-17 06:42:21 +0000916 !isa<ParmVarDecl>(D) &&
Larisse Voufoa11bd8a2013-08-13 02:02:26 +0000917 !isa<VarTemplateSpecializationDecl>(D) &&
Douglas Gregor12cda632012-09-20 23:43:29 +0000918 !D->isConstexpr() &&
Richard Smithbb13c9a2013-09-28 04:02:39 +0000919 !D->isInitCapture() &&
Richard Smith1c34fb72013-08-13 18:18:50 +0000920 !D->isPreviousDeclInSameBlockScope() &&
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000921 !D->getMemberSpecializationInfo())
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000922 AbbrevToUse = Writer.getDeclVarAbbrev();
923
Sebastian Redl539c5062010-08-18 23:57:32 +0000924 Code = serialization::DECL_VAR;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000925}
926
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000927void ASTDeclWriter::VisitImplicitParamDecl(ImplicitParamDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000928 VisitVarDecl(D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000929 Code = serialization::DECL_IMPLICIT_PARAM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000930}
931
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000932void ASTDeclWriter::VisitParmVarDecl(ParmVarDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000933 VisitVarDecl(D);
John McCall82490832011-05-02 00:30:12 +0000934 Record.push_back(D->isObjCMethodParameter());
John McCall8fb0d9d2011-05-01 22:35:37 +0000935 Record.push_back(D->getFunctionScopeDepth());
936 Record.push_back(D->getFunctionScopeIndex());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000937 Record.push_back(D->getObjCDeclQualifier()); // FIXME: stable encoding
John McCall6a014d52011-03-09 04:22:44 +0000938 Record.push_back(D->isKNRPromoted());
John McCallf3cd6652010-03-12 18:31:32 +0000939 Record.push_back(D->hasInheritedDefaultArg());
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000940 Record.push_back(D->hasUninstantiatedDefaultArg());
941 if (D->hasUninstantiatedDefaultArg())
942 Writer.AddStmt(D->getUninstantiatedDefaultArg());
Sebastian Redl539c5062010-08-18 23:57:32 +0000943 Code = serialization::DECL_PARM_VAR;
Mike Stump11289f42009-09-09 15:08:12 +0000944
John McCalld4631322011-06-17 06:42:21 +0000945 assert(!D->isARCPseudoStrong()); // can be true of ImplicitParamDecl
946
Chris Lattner258172e2009-04-27 07:35:58 +0000947 // If the assumptions about the DECL_PARM_VAR abbrev are true, use it. Here
948 // we dynamically check for the properties that we optimize for, but don't
949 // know are true of all PARM_VAR_DECLs.
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000950 if (!D->hasAttrs() &&
951 !D->hasExtInfo() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000952 !D->isImplicit() &&
Douglas Gregorebada0772010-06-17 23:14:26 +0000953 !D->isUsed(false) &&
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +0000954 !D->isInvalidDecl() &&
Eli Friedmanc09e0552012-01-13 23:41:25 +0000955 !D->isReferenced() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000956 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000957 !D->isModulePrivate() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000958 D->getStorageClass() == 0 &&
Sebastian Redla9351792012-02-11 23:51:47 +0000959 D->getInitStyle() == VarDecl::CInit && // Can params have anything else?
John McCall82490832011-05-02 00:30:12 +0000960 D->getFunctionScopeDepth() == 0 &&
John McCallf3cd6652010-03-12 18:31:32 +0000961 D->getObjCDeclQualifier() == 0 &&
John McCall6a014d52011-03-09 04:22:44 +0000962 !D->isKNRPromoted() &&
Chris Lattnere2437f42010-05-09 06:40:08 +0000963 !D->hasInheritedDefaultArg() &&
Craig Toppera13603a2014-05-22 05:54:18 +0000964 D->getInit() == nullptr &&
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000965 !D->hasUninstantiatedDefaultArg()) // No default expr.
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000966 AbbrevToUse = Writer.getDeclParmVarAbbrev();
Chris Lattner258172e2009-04-27 07:35:58 +0000967
968 // Check things we know are true of *every* PARM_VAR_DECL, which is more than
969 // just us assuming it.
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +0000970 assert(!D->getTSCSpec() && "PARM_VAR_DECL can't use TLS");
Chris Lattner258172e2009-04-27 07:35:58 +0000971 assert(D->getAccess() == AS_none && "PARM_VAR_DECL can't be public/private");
Douglas Gregor3f324d562010-05-03 18:51:14 +0000972 assert(!D->isExceptionVariable() && "PARM_VAR_DECL can't be exception var");
Craig Toppera13603a2014-05-22 05:54:18 +0000973 assert(D->getPreviousDecl() == nullptr && "PARM_VAR_DECL can't be redecl");
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000974 assert(!D->isStaticDataMember() &&
975 "PARM_VAR_DECL can't be static data member");
Chris Lattner7099dbc2009-04-27 06:16:06 +0000976}
977
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000978void ASTDeclWriter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000979 VisitDecl(D);
980 Writer.AddStmt(D->getAsmString());
Abramo Bagnara348823a2011-03-03 14:20:18 +0000981 Writer.AddSourceLocation(D->getRParenLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000982 Code = serialization::DECL_FILE_SCOPE_ASM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000983}
984
Michael Han84324352013-02-22 17:15:32 +0000985void ASTDeclWriter::VisitEmptyDecl(EmptyDecl *D) {
986 VisitDecl(D);
987 Code = serialization::DECL_EMPTY;
988}
989
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000990void ASTDeclWriter::VisitBlockDecl(BlockDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000991 VisitDecl(D);
992 Writer.AddStmt(D->getBody());
John McCalla3ccba02010-06-04 11:21:44 +0000993 Writer.AddTypeSourceInfo(D->getSignatureAsWritten(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000994 Record.push_back(D->param_size());
995 for (FunctionDecl::param_iterator P = D->param_begin(), PEnd = D->param_end();
996 P != PEnd; ++P)
997 Writer.AddDeclRef(*P, Record);
John McCallcf6ce282012-04-13 17:33:29 +0000998 Record.push_back(D->isVariadic());
999 Record.push_back(D->blockMissingReturnType());
1000 Record.push_back(D->isConversionFromLambda());
John McCallc63de662011-02-02 13:00:07 +00001001 Record.push_back(D->capturesCXXThis());
John McCall351762c2011-02-07 10:33:21 +00001002 Record.push_back(D->getNumCaptures());
Aaron Ballman9371dd22014-03-14 18:34:04 +00001003 for (const auto &capture : D->captures()) {
John McCall351762c2011-02-07 10:33:21 +00001004 Writer.AddDeclRef(capture.getVariable(), Record);
1005
1006 unsigned flags = 0;
1007 if (capture.isByRef()) flags |= 1;
1008 if (capture.isNested()) flags |= 2;
1009 if (capture.hasCopyExpr()) flags |= 4;
1010 Record.push_back(flags);
1011
1012 if (capture.hasCopyExpr()) Writer.AddStmt(capture.getCopyExpr());
1013 }
John McCallc63de662011-02-02 13:00:07 +00001014
Sebastian Redl539c5062010-08-18 23:57:32 +00001015 Code = serialization::DECL_BLOCK;
Chris Lattner7099dbc2009-04-27 06:16:06 +00001016}
1017
Ben Langmuirce914fc2013-05-03 19:20:19 +00001018void ASTDeclWriter::VisitCapturedDecl(CapturedDecl *CD) {
1019 Record.push_back(CD->getNumParams());
1020 VisitDecl(CD);
Alexey Bataev9959db52014-05-06 10:08:46 +00001021 Record.push_back(CD->getContextParamPosition());
1022 Record.push_back(CD->isNothrow() ? 1 : 0);
Ben Langmuirce914fc2013-05-03 19:20:19 +00001023 // Body is stored by VisitCapturedStmt.
Alexey Bataev9959db52014-05-06 10:08:46 +00001024 for (unsigned I = 0; I < CD->getNumParams(); ++I)
1025 Writer.AddDeclRef(CD->getParam(I), Record);
Ben Langmuirce914fc2013-05-03 19:20:19 +00001026 Code = serialization::DECL_CAPTURED;
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001027}
1028
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001029void ASTDeclWriter::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001030 VisitDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001031 Record.push_back(D->getLanguage());
Abramo Bagnaraea947882011-03-08 16:41:52 +00001032 Writer.AddSourceLocation(D->getExternLoc(), Record);
Abramo Bagnara4a8cda82011-03-03 14:52:38 +00001033 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001034 Code = serialization::DECL_LINKAGE_SPEC;
Chris Lattnerca025db2010-05-07 21:43:38 +00001035}
1036
Chris Lattnerc8e630e2011-02-17 07:39:24 +00001037void ASTDeclWriter::VisitLabelDecl(LabelDecl *D) {
1038 VisitNamedDecl(D);
Abramo Bagnara1c3af962011-03-05 18:21:20 +00001039 Writer.AddSourceLocation(D->getLocStart(), Record);
Chris Lattnerc8e630e2011-02-17 07:39:24 +00001040 Code = serialization::DECL_LABEL;
1041}
1042
1043
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001044void ASTDeclWriter::VisitNamespaceDecl(NamespaceDecl *D) {
Douglas Gregore57e7522012-01-07 09:11:48 +00001045 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001046 VisitNamedDecl(D);
Douglas Gregor44e5c1f2010-10-05 20:41:58 +00001047 Record.push_back(D->isInline());
Abramo Bagnarab5545be2011-03-08 12:38:20 +00001048 Writer.AddSourceLocation(D->getLocStart(), Record);
1049 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001050
Chris Lattnerca025db2010-05-07 21:43:38 +00001051 if (D->isOriginalNamespace())
1052 Writer.AddDeclRef(D->getAnonymousNamespace(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001053 Code = serialization::DECL_NAMESPACE;
Sebastian Redlf03cdc52010-08-05 21:22:19 +00001054
Douglas Gregore57e7522012-01-07 09:11:48 +00001055 if (Writer.hasChain() && D->isAnonymousNamespace() &&
Douglas Gregorec9fd132012-01-14 16:38:05 +00001056 D == D->getMostRecentDecl()) {
Sebastian Redl010288f2011-04-24 16:28:21 +00001057 // This is a most recent reopening of the anonymous namespace. If its parent
1058 // is in a previous PCH (or is the TU), mark that parent for update, because
1059 // the original namespace always points to the latest re-opening of its
1060 // anonymous namespace.
1061 Decl *Parent = cast<Decl>(
1062 D->getParent()->getRedeclContext()->getPrimaryContext());
Douglas Gregorb3722e22011-09-09 23:01:35 +00001063 if (Parent->isFromASTFile() || isa<TranslationUnitDecl>(Parent)) {
Richard Smith6ef42932014-03-20 21:02:00 +00001064 Writer.DeclUpdates[Parent].push_back(
Aaron Ballman4f45b712014-03-21 15:22:56 +00001065 ASTWriter::DeclUpdate(UPD_CXX_ADDED_ANONYMOUS_NAMESPACE, D));
Sebastian Redlfa1f3702011-04-24 16:28:13 +00001066 }
1067 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001068}
1069
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001070void ASTDeclWriter::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Richard Smithf4634362014-09-03 23:11:22 +00001071 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001072 VisitNamedDecl(D);
Douglas Gregorf9e43ce2010-09-01 00:08:19 +00001073 Writer.AddSourceLocation(D->getNamespaceLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001074 Writer.AddSourceLocation(D->getTargetNameLoc(), Record);
Douglas Gregorc05ba2e2011-02-25 17:08:07 +00001075 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001076 Writer.AddDeclRef(D->getNamespace(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001077 Code = serialization::DECL_NAMESPACE_ALIAS;
Chris Lattnerca025db2010-05-07 21:43:38 +00001078}
1079
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001080void ASTDeclWriter::VisitUsingDecl(UsingDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001081 VisitNamedDecl(D);
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +00001082 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Douglas Gregora9d87bc2011-02-25 00:36:19 +00001083 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001084 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Benjamin Kramere78f8ee2012-01-07 19:09:05 +00001085 Writer.AddDeclRef(D->FirstUsingShadow.getPointer(), Record);
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +00001086 Record.push_back(D->hasTypename());
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +00001087 Writer.AddDeclRef(Context.getInstantiatedFromUsingDecl(D), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001088 Code = serialization::DECL_USING;
Chris Lattnerca025db2010-05-07 21:43:38 +00001089}
1090
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001091void ASTDeclWriter::VisitUsingShadowDecl(UsingShadowDecl *D) {
Richard Smithfd8634a2013-10-23 02:17:46 +00001092 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001093 VisitNamedDecl(D);
1094 Writer.AddDeclRef(D->getTargetDecl(), Record);
Argyrios Kyrtzidis2703beb2010-11-10 05:40:41 +00001095 Writer.AddDeclRef(D->UsingOrNextShadow, Record);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +00001096 Writer.AddDeclRef(Context.getInstantiatedFromUsingShadowDecl(D), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001097 Code = serialization::DECL_USING_SHADOW;
Chris Lattnerca025db2010-05-07 21:43:38 +00001098}
1099
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001100void ASTDeclWriter::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001101 VisitNamedDecl(D);
Douglas Gregor01a430132010-09-01 03:07:18 +00001102 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001103 Writer.AddSourceLocation(D->getNamespaceKeyLocation(), Record);
Douglas Gregor12441b32011-02-25 16:33:46 +00001104 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001105 Writer.AddDeclRef(D->getNominatedNamespace(), Record);
1106 Writer.AddDeclRef(dyn_cast<Decl>(D->getCommonAncestor()), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001107 Code = serialization::DECL_USING_DIRECTIVE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001108}
1109
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001110void ASTDeclWriter::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001111 VisitValueDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001112 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Douglas Gregora9d87bc2011-02-25 00:36:19 +00001113 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001114 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001115 Code = serialization::DECL_UNRESOLVED_USING_VALUE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001116}
1117
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001118void ASTDeclWriter::VisitUnresolvedUsingTypenameDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001119 UnresolvedUsingTypenameDecl *D) {
1120 VisitTypeDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001121 Writer.AddSourceLocation(D->getTypenameLoc(), Record);
Douglas Gregora9d87bc2011-02-25 00:36:19 +00001122 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001123 Code = serialization::DECL_UNRESOLVED_USING_TYPENAME;
Chris Lattnerca025db2010-05-07 21:43:38 +00001124}
1125
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001126void ASTDeclWriter::VisitCXXRecordDecl(CXXRecordDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001127 VisitRecordDecl(D);
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +00001128
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001129 enum {
1130 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1131 };
1132 if (ClassTemplateDecl *TemplD = D->getDescribedClassTemplate()) {
1133 Record.push_back(CXXRecTemplate);
1134 Writer.AddDeclRef(TemplD, Record);
1135 } else if (MemberSpecializationInfo *MSInfo
1136 = D->getMemberSpecializationInfo()) {
1137 Record.push_back(CXXRecMemberSpecialization);
1138 Writer.AddDeclRef(MSInfo->getInstantiatedFrom(), Record);
1139 Record.push_back(MSInfo->getTemplateSpecializationKind());
1140 Writer.AddSourceLocation(MSInfo->getPointOfInstantiation(), Record);
1141 } else {
1142 Record.push_back(CXXRecNotTemplate);
1143 }
1144
Richard Smithcd45dbc2014-04-19 03:48:30 +00001145 Record.push_back(D->isThisDeclarationADefinition());
1146 if (D->isThisDeclarationADefinition())
1147 Writer.AddCXXDefinitionData(D, Record);
1148
John McCall6bd2a892013-01-25 22:31:03 +00001149 // Store (what we currently believe to be) the key function to avoid
1150 // deserializing every method so we can compute it.
John McCallf937c022011-10-07 06:10:15 +00001151 if (D->IsCompleteDefinition)
John McCall6bd2a892013-01-25 22:31:03 +00001152 Writer.AddDeclRef(Context.getCurrentKeyFunction(D), Record);
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +00001153
Sebastian Redl539c5062010-08-18 23:57:32 +00001154 Code = serialization::DECL_CXX_RECORD;
Chris Lattnerca025db2010-05-07 21:43:38 +00001155}
1156
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001157void ASTDeclWriter::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001158 VisitFunctionDecl(D);
Argyrios Kyrtzidis3b1a7792012-10-12 05:31:40 +00001159 if (D->isCanonicalDecl()) {
1160 Record.push_back(D->size_overridden_methods());
1161 for (CXXMethodDecl::method_iterator
1162 I = D->begin_overridden_methods(), E = D->end_overridden_methods();
1163 I != E; ++I)
1164 Writer.AddDeclRef(*I, Record);
1165 } else {
1166 // We only need to record overridden methods once for the canonical decl.
1167 Record.push_back(0);
1168 }
Richard Smith01b2cb42014-07-26 06:37:51 +00001169
1170 if (D->getFirstDecl() == D->getMostRecentDecl() &&
1171 !D->isInvalidDecl() &&
1172 !D->hasAttrs() &&
1173 !D->isTopLevelDeclInObjCContainer() &&
1174 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
1175 !D->hasExtInfo() &&
1176 !D->hasInheritedPrototype() &&
1177 D->hasWrittenPrototype())
1178 AbbrevToUse = Writer.getDeclCXXMethodAbbrev();
1179
Sebastian Redl539c5062010-08-18 23:57:32 +00001180 Code = serialization::DECL_CXX_METHOD;
Chris Lattnerca025db2010-05-07 21:43:38 +00001181}
1182
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001183void ASTDeclWriter::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001184 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001185
Stephan Tolksdorfa6a08632014-03-27 19:22:19 +00001186 Writer.AddDeclRef(D->getInheritedConstructor(), Record);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001187 Record.push_back(D->IsExplicitSpecified);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001188
Sebastian Redl539c5062010-08-18 23:57:32 +00001189 Code = serialization::DECL_CXX_CONSTRUCTOR;
Chris Lattnerca025db2010-05-07 21:43:38 +00001190}
1191
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001192void ASTDeclWriter::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001193 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001194
Richard Smithf8134002015-03-10 01:41:22 +00001195 Writer.AddDeclRef(D->getOperatorDelete(), Record);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001196
Sebastian Redl539c5062010-08-18 23:57:32 +00001197 Code = serialization::DECL_CXX_DESTRUCTOR;
Chris Lattnerca025db2010-05-07 21:43:38 +00001198}
1199
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001200void ASTDeclWriter::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001201 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001202 Record.push_back(D->IsExplicitSpecified);
Sebastian Redl539c5062010-08-18 23:57:32 +00001203 Code = serialization::DECL_CXX_CONVERSION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001204}
1205
Douglas Gregorba345522011-12-02 23:23:56 +00001206void ASTDeclWriter::VisitImportDecl(ImportDecl *D) {
1207 VisitDecl(D);
Argyrios Kyrtzidis7b8e5552012-10-03 01:58:45 +00001208 Record.push_back(Writer.getSubmoduleID(D->getImportedModule()));
Douglas Gregorba345522011-12-02 23:23:56 +00001209 ArrayRef<SourceLocation> IdentifierLocs = D->getIdentifierLocs();
1210 Record.push_back(!IdentifierLocs.empty());
1211 if (IdentifierLocs.empty()) {
1212 Writer.AddSourceLocation(D->getLocEnd(), Record);
1213 Record.push_back(1);
1214 } else {
1215 for (unsigned I = 0, N = IdentifierLocs.size(); I != N; ++I)
1216 Writer.AddSourceLocation(IdentifierLocs[I], Record);
1217 Record.push_back(IdentifierLocs.size());
1218 }
1219 // Note: the number of source locations must always be the last element in
1220 // the record.
1221 Code = serialization::DECL_IMPORT;
1222}
1223
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001224void ASTDeclWriter::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnarad7340582010-06-05 05:09:32 +00001225 VisitDecl(D);
1226 Writer.AddSourceLocation(D->getColonLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001227 Code = serialization::DECL_ACCESS_SPEC;
Abramo Bagnarad7340582010-06-05 05:09:32 +00001228}
1229
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001230void ASTDeclWriter::VisitFriendDecl(FriendDecl *D) {
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001231 // Record the number of friend type template parameter lists here
1232 // so as to simplify memory allocation during deserialization.
1233 Record.push_back(D->NumTPLists);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +00001234 VisitDecl(D);
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001235 bool hasFriendDecl = D->Friend.is<NamedDecl*>();
1236 Record.push_back(hasFriendDecl);
1237 if (hasFriendDecl)
1238 Writer.AddDeclRef(D->getFriendDecl(), Record);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001239 else
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001240 Writer.AddTypeSourceInfo(D->getFriendType(), Record);
1241 for (unsigned i = 0; i < D->NumTPLists; ++i)
1242 Writer.AddTemplateParameterList(D->getFriendTypeTemplateParameterList(i),
1243 Record);
Douglas Gregore0fb32c2010-10-27 20:23:41 +00001244 Writer.AddDeclRef(D->getNextFriend(), Record);
John McCall2c2eb122010-10-16 06:59:13 +00001245 Record.push_back(D->UnsupportedFriend);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001246 Writer.AddSourceLocation(D->FriendLoc, Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001247 Code = serialization::DECL_FRIEND;
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001248}
1249
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001250void ASTDeclWriter::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001251 VisitDecl(D);
1252 Record.push_back(D->getNumTemplateParameters());
1253 for (unsigned i = 0, e = D->getNumTemplateParameters(); i != e; ++i)
1254 Writer.AddTemplateParameterList(D->getTemplateParameterList(i), Record);
Craig Toppera13603a2014-05-22 05:54:18 +00001255 Record.push_back(D->getFriendDecl() != nullptr);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001256 if (D->getFriendDecl())
1257 Writer.AddDeclRef(D->getFriendDecl(), Record);
1258 else
1259 Writer.AddTypeSourceInfo(D->getFriendType(), Record);
1260 Writer.AddSourceLocation(D->getFriendLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001261 Code = serialization::DECL_FRIEND_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001262}
1263
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001264void ASTDeclWriter::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001265 VisitNamedDecl(D);
1266
1267 Writer.AddDeclRef(D->getTemplatedDecl(), Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001268 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001269}
1270
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001271void ASTDeclWriter::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Douglas Gregor68444de2012-01-14 15:13:49 +00001272 VisitRedeclarable(D);
1273
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001274 // Emit data to initialize CommonOrPrev before VisitTemplateDecl so that
1275 // getCommonPtr() can be used while this is still initializing.
Rafael Espindola8db352d2013-10-17 15:37:26 +00001276 if (D->isFirstDecl()) {
Douglas Gregor074a4092011-12-19 18:19:24 +00001277 // This declaration owns the 'common' pointer, so serialize that data now.
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001278 Writer.AddDeclRef(D->getInstantiatedFromMemberTemplate(), Record);
1279 if (D->getInstantiatedFromMemberTemplate())
1280 Record.push_back(D->isMemberSpecialization());
Douglas Gregor074a4092011-12-19 18:19:24 +00001281 }
1282
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001283 VisitTemplateDecl(D);
1284 Record.push_back(D->getIdentifierNamespace());
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001285}
1286
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001287void ASTDeclWriter::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001288 VisitRedeclarableTemplateDecl(D);
1289
Richard Smith509fc852015-02-27 23:05:10 +00001290 if (D->isFirstDecl())
1291 AddTemplateSpecializations(D);
Sebastian Redl539c5062010-08-18 23:57:32 +00001292 Code = serialization::DECL_CLASS_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001293}
1294
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001295void ASTDeclWriter::VisitClassTemplateSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001296 ClassTemplateSpecializationDecl *D) {
Richard Smithd8a83712015-08-22 01:47:18 +00001297 RegisterTemplateSpecialization(D->getSpecializedTemplate(), D);
1298
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001299 VisitCXXRecordDecl(D);
1300
1301 llvm::PointerUnion<ClassTemplateDecl *,
1302 ClassTemplatePartialSpecializationDecl *> InstFrom
1303 = D->getSpecializedTemplateOrPartial();
Argyrios Kyrtzidisd5553f12011-08-17 21:35:28 +00001304 if (Decl *InstFromD = InstFrom.dyn_cast<ClassTemplateDecl *>()) {
Sebastian Redl401b39a2010-08-24 22:50:24 +00001305 Writer.AddDeclRef(InstFromD, Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001306 } else {
Argyrios Kyrtzidisd5553f12011-08-17 21:35:28 +00001307 Writer.AddDeclRef(InstFrom.get<ClassTemplatePartialSpecializationDecl *>(),
1308 Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001309 Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
1310 }
1311
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001312 Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
1313 Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
1314 Record.push_back(D->getSpecializationKind());
Axel Naumanna31dee22012-10-01 07:34:47 +00001315 Record.push_back(D->isCanonicalDecl());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001316
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001317 if (D->isCanonicalDecl()) {
1318 // When reading, we'll add it to the folding set of the following template.
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001319 Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
1320 }
1321
Richard Smithd55889a2013-09-09 16:55:27 +00001322 // Explicit info.
1323 Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
1324 if (D->getTypeAsWritten()) {
1325 Writer.AddSourceLocation(D->getExternLoc(), Record);
1326 Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
1327 }
1328
Sebastian Redl539c5062010-08-18 23:57:32 +00001329 Code = serialization::DECL_CLASS_TEMPLATE_SPECIALIZATION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001330}
1331
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001332void ASTDeclWriter::VisitClassTemplatePartialSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001333 ClassTemplatePartialSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001334 VisitClassTemplateSpecializationDecl(D);
1335
1336 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Enea Zaffanella6dbe1872013-08-10 07:24:53 +00001337 Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001338
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001339 // These are read/set from/to the first declaration.
Craig Toppera13603a2014-05-22 05:54:18 +00001340 if (D->getPreviousDecl() == nullptr) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001341 Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
1342 Record.push_back(D->isMemberSpecialization());
1343 }
1344
Sebastian Redl539c5062010-08-18 23:57:32 +00001345 Code = serialization::DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001346}
1347
Larisse Voufo39a1e502013-08-06 01:03:05 +00001348void ASTDeclWriter::VisitVarTemplateDecl(VarTemplateDecl *D) {
1349 VisitRedeclarableTemplateDecl(D);
1350
Richard Smith509fc852015-02-27 23:05:10 +00001351 if (D->isFirstDecl())
1352 AddTemplateSpecializations(D);
Larisse Voufo39a1e502013-08-06 01:03:05 +00001353 Code = serialization::DECL_VAR_TEMPLATE;
1354}
1355
1356void ASTDeclWriter::VisitVarTemplateSpecializationDecl(
1357 VarTemplateSpecializationDecl *D) {
Richard Smithd8a83712015-08-22 01:47:18 +00001358 RegisterTemplateSpecialization(D->getSpecializedTemplate(), D);
1359
Larisse Voufo39a1e502013-08-06 01:03:05 +00001360 VisitVarDecl(D);
1361
1362 llvm::PointerUnion<VarTemplateDecl *, VarTemplatePartialSpecializationDecl *>
1363 InstFrom = D->getSpecializedTemplateOrPartial();
1364 if (Decl *InstFromD = InstFrom.dyn_cast<VarTemplateDecl *>()) {
1365 Writer.AddDeclRef(InstFromD, Record);
1366 } else {
1367 Writer.AddDeclRef(InstFrom.get<VarTemplatePartialSpecializationDecl *>(),
1368 Record);
1369 Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
1370 }
1371
1372 // Explicit info.
1373 Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
1374 if (D->getTypeAsWritten()) {
1375 Writer.AddSourceLocation(D->getExternLoc(), Record);
1376 Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
1377 }
1378
1379 Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
1380 Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
1381 Record.push_back(D->getSpecializationKind());
1382 Record.push_back(D->isCanonicalDecl());
1383
1384 if (D->isCanonicalDecl()) {
1385 // When reading, we'll add it to the folding set of the following template.
1386 Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
1387 }
1388
1389 Code = serialization::DECL_VAR_TEMPLATE_SPECIALIZATION;
1390}
1391
1392void ASTDeclWriter::VisitVarTemplatePartialSpecializationDecl(
1393 VarTemplatePartialSpecializationDecl *D) {
1394 VisitVarTemplateSpecializationDecl(D);
1395
1396 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Enea Zaffanella6dbe1872013-08-10 07:24:53 +00001397 Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
Larisse Voufo39a1e502013-08-06 01:03:05 +00001398
1399 // These are read/set from/to the first declaration.
Craig Toppera13603a2014-05-22 05:54:18 +00001400 if (D->getPreviousDecl() == nullptr) {
Larisse Voufo39a1e502013-08-06 01:03:05 +00001401 Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
1402 Record.push_back(D->isMemberSpecialization());
1403 }
1404
1405 Code = serialization::DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION;
1406}
1407
Fariborz Jahanian3a039e32011-08-27 20:50:59 +00001408void ASTDeclWriter::VisitClassScopeFunctionSpecializationDecl(
1409 ClassScopeFunctionSpecializationDecl *D) {
Francois Pichet09af8c32011-08-17 01:06:54 +00001410 VisitDecl(D);
1411 Writer.AddDeclRef(D->getSpecialization(), Record);
1412 Code = serialization::DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION;
1413}
1414
1415
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001416void ASTDeclWriter::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001417 VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001418
Richard Smith509fc852015-02-27 23:05:10 +00001419 if (D->isFirstDecl())
1420 AddTemplateSpecializations(D);
Sebastian Redl539c5062010-08-18 23:57:32 +00001421 Code = serialization::DECL_FUNCTION_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001422}
1423
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001424void ASTDeclWriter::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001425 VisitTypeDecl(D);
1426
1427 Record.push_back(D->wasDeclaredWithTypename());
Richard Smith8346e522015-06-10 01:47:58 +00001428
1429 bool OwnsDefaultArg = D->hasDefaultArgument() &&
1430 !D->defaultArgumentWasInherited();
1431 Record.push_back(OwnsDefaultArg);
1432 if (OwnsDefaultArg)
Richard Smith1469b912015-06-10 00:29:03 +00001433 Writer.AddTypeSourceInfo(D->getDefaultArgumentInfo(), Record);
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001434
Sebastian Redl539c5062010-08-18 23:57:32 +00001435 Code = serialization::DECL_TEMPLATE_TYPE_PARM;
Chris Lattnerca025db2010-05-07 21:43:38 +00001436}
1437
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001438void ASTDeclWriter::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001439 // For an expanded parameter pack, record the number of expansion types here
Richard Smith1fde8ec2012-09-07 02:06:42 +00001440 // so that it's easier for deserialization to allocate the right amount of
1441 // memory.
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001442 if (D->isExpandedParameterPack())
1443 Record.push_back(D->getNumExpansionTypes());
1444
John McCallf4cd4f92011-02-09 01:13:10 +00001445 VisitDeclaratorDecl(D);
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001446 // TemplateParmPosition.
1447 Record.push_back(D->getDepth());
1448 Record.push_back(D->getPosition());
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001449
1450 if (D->isExpandedParameterPack()) {
1451 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
1452 Writer.AddTypeRef(D->getExpansionType(I), Record);
1453 Writer.AddTypeSourceInfo(D->getExpansionTypeSourceInfo(I), Record);
1454 }
1455
1456 Code = serialization::DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK;
1457 } else {
1458 // Rest of NonTypeTemplateParmDecl.
1459 Record.push_back(D->isParameterPack());
Richard Smith8346e522015-06-10 01:47:58 +00001460 bool OwnsDefaultArg = D->hasDefaultArgument() &&
1461 !D->defaultArgumentWasInherited();
1462 Record.push_back(OwnsDefaultArg);
1463 if (OwnsDefaultArg)
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001464 Writer.AddStmt(D->getDefaultArgument());
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001465 Code = serialization::DECL_NON_TYPE_TEMPLATE_PARM;
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001466 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001467}
1468
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001469void ASTDeclWriter::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Richard Smith1fde8ec2012-09-07 02:06:42 +00001470 // For an expanded parameter pack, record the number of expansion types here
1471 // so that it's easier for deserialization to allocate the right amount of
1472 // memory.
1473 if (D->isExpandedParameterPack())
1474 Record.push_back(D->getNumExpansionTemplateParameters());
1475
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001476 VisitTemplateDecl(D);
1477 // TemplateParmPosition.
1478 Record.push_back(D->getDepth());
1479 Record.push_back(D->getPosition());
Richard Smith1fde8ec2012-09-07 02:06:42 +00001480
1481 if (D->isExpandedParameterPack()) {
1482 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
1483 I != N; ++I)
1484 Writer.AddTemplateParameterList(D->getExpansionTemplateParameters(I),
1485 Record);
1486 Code = serialization::DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK;
1487 } else {
1488 // Rest of TemplateTemplateParmDecl.
Richard Smith1fde8ec2012-09-07 02:06:42 +00001489 Record.push_back(D->isParameterPack());
Richard Smith8346e522015-06-10 01:47:58 +00001490 bool OwnsDefaultArg = D->hasDefaultArgument() &&
1491 !D->defaultArgumentWasInherited();
1492 Record.push_back(OwnsDefaultArg);
1493 if (OwnsDefaultArg)
Richard Smith1469b912015-06-10 00:29:03 +00001494 Writer.AddTemplateArgumentLoc(D->getDefaultArgument(), Record);
Richard Smith1fde8ec2012-09-07 02:06:42 +00001495 Code = serialization::DECL_TEMPLATE_TEMPLATE_PARM;
1496 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001497}
1498
Richard Smith3f1b5d02011-05-05 21:57:07 +00001499void ASTDeclWriter::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1500 VisitRedeclarableTemplateDecl(D);
1501 Code = serialization::DECL_TYPE_ALIAS_TEMPLATE;
1502}
1503
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001504void ASTDeclWriter::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001505 VisitDecl(D);
1506 Writer.AddStmt(D->getAssertExpr());
Richard Smithded9c2e2012-07-11 22:37:56 +00001507 Record.push_back(D->isFailed());
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001508 Writer.AddStmt(D->getMessage());
Abramo Bagnaraea947882011-03-08 16:41:52 +00001509 Writer.AddSourceLocation(D->getRParenLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001510 Code = serialization::DECL_STATIC_ASSERT;
Chris Lattnerca025db2010-05-07 21:43:38 +00001511}
1512
Chris Lattner7099dbc2009-04-27 06:16:06 +00001513/// \brief Emit the DeclContext part of a declaration context decl.
1514///
1515/// \param LexicalOffset the offset at which the DECL_CONTEXT_LEXICAL
1516/// block for this declaration context is stored. May be 0 to indicate
1517/// that there are no declarations stored within this context.
1518///
1519/// \param VisibleOffset the offset at which the DECL_CONTEXT_VISIBLE
1520/// block for this declaration context is stored. May be 0 to indicate
1521/// that there are no declarations visible from this context. Note
1522/// that this value will not be emitted for non-primary declaration
1523/// contexts.
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001524void ASTDeclWriter::VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
Chris Lattner7099dbc2009-04-27 06:16:06 +00001525 uint64_t VisibleOffset) {
1526 Record.push_back(LexicalOffset);
1527 Record.push_back(VisibleOffset);
1528}
1529
Richard Smithd8a83712015-08-22 01:47:18 +00001530/// \brief Is this a local declaration (that is, one that will be written to
1531/// our AST file)? This is the case for declarations that are neither imported
1532/// from another AST file nor predefined.
1533static bool isLocalDecl(ASTWriter &W, const Decl *D) {
1534 if (D->isFromASTFile())
1535 return false;
1536 return W.getDeclID(D) >= NUM_PREDEF_DECL_IDS;
1537}
1538
1539const Decl *ASTWriter::getFirstLocalDecl(const Decl *D) {
1540 assert(isLocalDecl(*this, D) && "expected a local declaration");
1541
1542 const Decl *Canon = D->getCanonicalDecl();
1543 if (isLocalDecl(*this, Canon))
1544 return Canon;
1545
1546 const Decl *&CacheEntry = FirstLocalDeclCache[Canon];
1547 if (CacheEntry)
1548 return CacheEntry;
1549
1550 for (const Decl *Redecl = D; Redecl; Redecl = Redecl->getPreviousDecl())
1551 if (isLocalDecl(*this, Redecl))
1552 D = Redecl;
1553 return CacheEntry = D;
Richard Smith5fc18a92015-07-12 23:43:21 +00001554}
1555
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001556template <typename T>
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001557void ASTDeclWriter::VisitRedeclarable(Redeclarable<T> *D) {
Rafael Espindola8db352d2013-10-17 15:37:26 +00001558 T *First = D->getFirstDecl();
Richard Smith5a4737c2015-02-06 02:42:59 +00001559 T *MostRecent = First->getMostRecentDecl();
Richard Smithd8a83712015-08-22 01:47:18 +00001560 T *DAsT = static_cast<T *>(D);
Richard Smith5a4737c2015-02-06 02:42:59 +00001561 if (MostRecent != First) {
Richard Smithd8a83712015-08-22 01:47:18 +00001562 assert(isRedeclarableDeclKind(DAsT->getKind()) &&
Douglas Gregorfe732d52013-01-21 16:16:40 +00001563 "Not considered redeclarable?");
Richard Smith5a4737c2015-02-06 02:42:59 +00001564
Richard Smithfe620d22015-03-05 23:24:12 +00001565 Writer.AddDeclRef(First, Record);
Richard Smithfe620d22015-03-05 23:24:12 +00001566
Richard Smithd8a83712015-08-22 01:47:18 +00001567 // Write out a list of local redeclarations of this declaration if it's the
1568 // first local declaration in the chain.
1569 const Decl *FirstLocal = Writer.getFirstLocalDecl(DAsT);
1570 if (DAsT == FirstLocal) {
Richard Smithd8a83712015-08-22 01:47:18 +00001571 // Emit a list of all imported first declarations so that we can be sure
1572 // that all redeclarations visible to this module are before D in the
1573 // redecl chain.
1574 unsigned I = Record.size();
1575 Record.push_back(0);
1576 if (Writer.Chain)
1577 AddFirstDeclFromEachModule(DAsT, /*IncludeLocal*/false);
1578 // This is the number of imported first declarations + 1.
1579 Record[I] = Record.size() - I;
Richard Smithd61d4ac2015-08-22 20:13:39 +00001580
1581 // Collect the set of local redeclarations of this declaration, from
1582 // newest to oldest.
1583 RecordData LocalRedecls;
1584 for (const Decl *Prev = FirstLocal->getMostRecentDecl();
1585 Prev != FirstLocal; Prev = Prev->getPreviousDecl())
1586 if (!Prev->isFromASTFile())
1587 Writer.AddDeclRef(Prev, LocalRedecls);
1588
1589 // If we have any redecls, write them now as a separate record preceding
1590 // the declaration itself.
1591 if (LocalRedecls.empty())
1592 Record.push_back(0);
1593 else {
1594 Record.push_back(Writer.Stream.GetCurrentBitNo());
1595 Writer.Stream.EmitRecord(LOCAL_REDECLARATIONS, LocalRedecls);
1596 }
Richard Smithd8a83712015-08-22 01:47:18 +00001597 } else {
1598 Record.push_back(0);
1599 Writer.AddDeclRef(FirstLocal, Record);
Richard Smithfe620d22015-03-05 23:24:12 +00001600 }
Douglas Gregor358cd442012-01-15 16:58:34 +00001601
1602 // Make sure that we serialize both the previous and the most-recent
1603 // declarations, which (transitively) ensures that all declarations in the
1604 // chain get serialized.
Richard Smith5a4737c2015-02-06 02:42:59 +00001605 //
1606 // FIXME: This is not correct; when we reach an imported declaration we
1607 // won't emit its previous declaration.
Richard Smith5fc18a92015-07-12 23:43:21 +00001608 (void)Writer.GetDeclRef(D->getPreviousDecl());
Richard Smith5a4737c2015-02-06 02:42:59 +00001609 (void)Writer.GetDeclRef(MostRecent);
Douglas Gregor358cd442012-01-15 16:58:34 +00001610 } else {
1611 // We use the sentinel value 0 to indicate an only declaration.
1612 Record.push_back(0);
Douglas Gregor9f562c82011-12-19 15:27:36 +00001613 }
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001614}
Chris Lattner7099dbc2009-04-27 06:16:06 +00001615
Alexey Bataeva769e072013-03-22 06:34:35 +00001616void ASTDeclWriter::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
1617 Record.push_back(D->varlist_size());
1618 VisitDecl(D);
Aaron Ballman2205d2a2014-03-14 15:55:35 +00001619 for (auto *I : D->varlists())
1620 Writer.AddStmt(I);
Alexey Bataeva769e072013-03-22 06:34:35 +00001621 Code = serialization::DECL_OMP_THREADPRIVATE;
1622}
1623
Chris Lattner7099dbc2009-04-27 06:16:06 +00001624//===----------------------------------------------------------------------===//
Sebastian Redl55c0ad52010-08-18 23:56:21 +00001625// ASTWriter Implementation
Chris Lattner7099dbc2009-04-27 06:16:06 +00001626//===----------------------------------------------------------------------===//
1627
Richard Smith01b2cb42014-07-26 06:37:51 +00001628void ASTWriter::WriteDeclAbbrevs() {
Chris Lattner258172e2009-04-27 07:35:58 +00001629 using namespace llvm;
Chris Lattner258172e2009-04-27 07:35:58 +00001630
Douglas Gregor03412ba2011-06-03 02:27:19 +00001631 BitCodeAbbrev *Abv;
1632
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001633 // Abbreviation for DECL_FIELD
1634 Abv = new BitCodeAbbrev();
1635 Abv->Add(BitCodeAbbrevOp(serialization::DECL_FIELD));
1636 // Decl
1637 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1638 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001639 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001640 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1641 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1642 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1643 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001644 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001645 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001646 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001647 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001648 // NamedDecl
1649 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1650 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001651 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001652 // ValueDecl
1653 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1654 // DeclaratorDecl
1655 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1656 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1657 // FieldDecl
1658 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1659 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1660 // Type Source Info
1661 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1662 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1663 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1664 DeclFieldAbbrev = Stream.EmitAbbrev(Abv);
1665
1666 // Abbreviation for DECL_OBJC_IVAR
1667 Abv = new BitCodeAbbrev();
1668 Abv->Add(BitCodeAbbrevOp(serialization::DECL_OBJC_IVAR));
1669 // Decl
1670 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1671 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001672 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001673 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1674 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1675 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1676 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001677 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001678 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001679 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001680 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001681 // NamedDecl
1682 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1683 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001684 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001685 // ValueDecl
1686 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1687 // DeclaratorDecl
1688 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1689 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1690 // FieldDecl
1691 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1692 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1693 // ObjC Ivar
1694 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getAccessControl
1695 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getSynthesize
1696 // Type Source Info
1697 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1698 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1699 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1700 DeclObjCIvarAbbrev = Stream.EmitAbbrev(Abv);
1701
1702 // Abbreviation for DECL_ENUM
1703 Abv = new BitCodeAbbrev();
1704 Abv->Add(BitCodeAbbrevOp(serialization::DECL_ENUM));
Douglas Gregor3e300102011-10-26 17:53:41 +00001705 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001706 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Chris Lattner258172e2009-04-27 07:35:58 +00001707 // Decl
1708 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1709 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001710 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Chris Lattner258172e2009-04-27 07:35:58 +00001711 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1712 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Douglas Gregorc9c02ed2009-06-19 23:52:42 +00001713 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +00001714 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001715 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Chris Lattner258172e2009-04-27 07:35:58 +00001716 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001717 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001718 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregor03412ba2011-06-03 02:27:19 +00001719 // NamedDecl
1720 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1721 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001722 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001723 // TypeDecl
1724 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1725 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001726 // TagDecl
1727 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1728 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCallf937c022011-10-07 06:10:15 +00001729 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001730 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +00001731 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiea8d23ce2013-07-14 01:07:41 +00001732 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001733 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Richard Smith70d58502014-08-30 00:04:23 +00001734 Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001735 // EnumDecl
1736 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // AddTypeRef
1737 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IntegerType
1738 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getPromotionType
1739 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumPositiveBits
1740 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumNegativeBits
1741 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScoped
1742 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScopedUsingClassTag
1743 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isFixed
1744 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InstantiatedMembEnum
1745 // DC
1746 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1747 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
1748 DeclEnumAbbrev = Stream.EmitAbbrev(Abv);
Mike Stump11289f42009-09-09 15:08:12 +00001749
Douglas Gregor03412ba2011-06-03 02:27:19 +00001750 // Abbreviation for DECL_RECORD
1751 Abv = new BitCodeAbbrev();
1752 Abv->Add(BitCodeAbbrevOp(serialization::DECL_RECORD));
Douglas Gregor3e300102011-10-26 17:53:41 +00001753 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001754 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregor03412ba2011-06-03 02:27:19 +00001755 // Decl
1756 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1757 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001758 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregor03412ba2011-06-03 02:27:19 +00001759 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1760 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1761 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1762 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001763 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregor03412ba2011-06-03 02:27:19 +00001764 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001765 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001766 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregor03412ba2011-06-03 02:27:19 +00001767 // NamedDecl
1768 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1769 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001770 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Douglas Gregor03412ba2011-06-03 02:27:19 +00001771 // TypeDecl
1772 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1773 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Douglas Gregor03412ba2011-06-03 02:27:19 +00001774 // TagDecl
1775 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1776 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCallf937c022011-10-07 06:10:15 +00001777 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Douglas Gregor03412ba2011-06-03 02:27:19 +00001778 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +00001779 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiea8d23ce2013-07-14 01:07:41 +00001780 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Douglas Gregor03412ba2011-06-03 02:27:19 +00001781 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Richard Smith70d58502014-08-30 00:04:23 +00001782 Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
Douglas Gregor03412ba2011-06-03 02:27:19 +00001783 // RecordDecl
1784 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // FlexibleArrayMember
1785 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // AnonymousStructUnion
1786 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasObjectMember
Fariborz Jahanian78652202013-01-25 23:57:05 +00001787 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasVolatileMember
Douglas Gregor03412ba2011-06-03 02:27:19 +00001788 // DC
1789 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1790 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
1791 DeclRecordAbbrev = Stream.EmitAbbrev(Abv);
1792
1793 // Abbreviation for DECL_PARM_VAR
1794 Abv = new BitCodeAbbrev();
1795 Abv->Add(BitCodeAbbrevOp(serialization::DECL_PARM_VAR));
Douglas Gregor3e300102011-10-26 17:53:41 +00001796 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001797 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregor03412ba2011-06-03 02:27:19 +00001798 // Decl
1799 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1800 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001801 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregor03412ba2011-06-03 02:27:19 +00001802 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1803 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1804 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1805 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001806 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregor03412ba2011-06-03 02:27:19 +00001807 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001808 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001809 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Chris Lattner258172e2009-04-27 07:35:58 +00001810 // NamedDecl
1811 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1812 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001813 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Chris Lattner258172e2009-04-27 07:35:58 +00001814 // ValueDecl
1815 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +00001816 // DeclaratorDecl
Abramo Bagnaradff19302011-03-08 08:55:46 +00001817 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001818 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
Chris Lattner258172e2009-04-27 07:35:58 +00001819 // VarDecl
1820 Abv->Add(BitCodeAbbrevOp(0)); // StorageClass
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +00001821 Abv->Add(BitCodeAbbrevOp(0)); // getTSCSpec
Chris Lattner258172e2009-04-27 07:35:58 +00001822 Abv->Add(BitCodeAbbrevOp(0)); // hasCXXDirectInitializer
Richard Smith88581592013-02-12 05:48:23 +00001823 Abv->Add(BitCodeAbbrevOp(0)); // Linkage
Chris Lattner258172e2009-04-27 07:35:58 +00001824 Abv->Add(BitCodeAbbrevOp(0)); // HasInit
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +00001825 Abv->Add(BitCodeAbbrevOp(0)); // HasMemberSpecializationInfo
Chris Lattner258172e2009-04-27 07:35:58 +00001826 // ParmVarDecl
John McCall82490832011-05-02 00:30:12 +00001827 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsObjCMethodParameter
John McCall8fb0d9d2011-05-01 22:35:37 +00001828 Abv->Add(BitCodeAbbrevOp(0)); // ScopeDepth
1829 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // ScopeIndex
Chris Lattner258172e2009-04-27 07:35:58 +00001830 Abv->Add(BitCodeAbbrevOp(0)); // ObjCDeclQualifier
John McCall6a014d52011-03-09 04:22:44 +00001831 Abv->Add(BitCodeAbbrevOp(0)); // KNRPromoted
John McCallf3cd6652010-03-12 18:31:32 +00001832 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedDefaultArg
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +00001833 Abv->Add(BitCodeAbbrevOp(0)); // HasUninstantiatedDefaultArg
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001834 // Type Source Info
1835 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1836 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1837 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1838 DeclParmVarAbbrev = Stream.EmitAbbrev(Abv);
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001839
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001840 // Abbreviation for DECL_TYPEDEF
Douglas Gregor03412ba2011-06-03 02:27:19 +00001841 Abv = new BitCodeAbbrev();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001842 Abv->Add(BitCodeAbbrevOp(serialization::DECL_TYPEDEF));
Douglas Gregor05f10352011-12-17 23:38:30 +00001843 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001844 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001845 // Decl
1846 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1847 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001848 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001849 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1850 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Richard Smith01b2cb42014-07-26 06:37:51 +00001851 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isUsed
1852 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001853 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Richard Smith01b2cb42014-07-26 06:37:51 +00001854 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001855 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001856 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001857 // NamedDecl
1858 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1859 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001860 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001861 // TypeDecl
1862 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1863 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
1864 // TypedefDecl
1865 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1866 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1867 DeclTypedefAbbrev = Stream.EmitAbbrev(Abv);
1868
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001869 // Abbreviation for DECL_VAR
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001870 Abv = new BitCodeAbbrev();
1871 Abv->Add(BitCodeAbbrevOp(serialization::DECL_VAR));
Douglas Gregor3e300102011-10-26 17:53:41 +00001872 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001873 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001874 // Decl
1875 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1876 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001877 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001878 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1879 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1880 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1881 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001882 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001883 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001884 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001885 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001886 // NamedDecl
1887 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1888 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Richard Smith2b560572015-02-07 03:11:11 +00001889 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001890 // ValueDecl
1891 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1892 // DeclaratorDecl
1893 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1894 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1895 // VarDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001896 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // StorageClass
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +00001897 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getTSCSpec
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001898 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // CXXDirectInitializer
1899 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isExceptionVariable
1900 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isNRVOVariable
1901 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCXXForRangeDecl
John McCalld4631322011-06-17 06:42:21 +00001902 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isARCPseudoStrong
Douglas Gregor12cda632012-09-20 23:43:29 +00001903 Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
Richard Smithbb13c9a2013-09-28 04:02:39 +00001904 Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
Richard Smith1c34fb72013-08-13 18:18:50 +00001905 Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
Rafael Espindola50df3a02013-05-25 17:16:20 +00001906 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001907 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasInit
1908 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasMemberSpecInfo
1909 // Type Source Info
1910 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1911 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1912 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1913 DeclVarAbbrev = Stream.EmitAbbrev(Abv);
1914
Richard Smith01b2cb42014-07-26 06:37:51 +00001915 // Abbreviation for DECL_CXX_METHOD
1916 Abv = new BitCodeAbbrev();
1917 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CXX_METHOD));
1918 // RedeclarableDecl
1919 Abv->Add(BitCodeAbbrevOp(0)); // CanonicalDecl
1920 // Decl
1921 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1922 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
1923 Abv->Add(BitCodeAbbrevOp(0)); // Invalid
1924 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1925 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Implicit
1926 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Used
1927 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Referenced
1928 Abv->Add(BitCodeAbbrevOp(0)); // InObjCContainer
1929 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // Access
1930 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ModulePrivate
1931 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
1932 // NamedDecl
1933 Abv->Add(BitCodeAbbrevOp(DeclarationName::Identifier)); // NameKind
1934 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Identifier
Richard Smith2b560572015-02-07 03:11:11 +00001935 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Richard Smith01b2cb42014-07-26 06:37:51 +00001936 // ValueDecl
1937 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1938 // DeclaratorDecl
1939 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerLocStart
1940 Abv->Add(BitCodeAbbrevOp(0)); // HasExtInfo
1941 // FunctionDecl
1942 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 11)); // IDNS
1943 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // StorageClass
1944 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Inline
1945 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // InlineSpecified
1946 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // VirtualAsWritten
1947 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Pure
1948 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedProto
1949 Abv->Add(BitCodeAbbrevOp(1)); // HasWrittenProto
Richard Smith72625c22015-02-06 23:20:21 +00001950 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Deleted
Richard Smith01b2cb42014-07-26 06:37:51 +00001951 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Trivial
1952 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Defaulted
1953 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ExplicitlyDefaulted
1954 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ImplicitReturnZero
1955 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Constexpr
1956 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // SkippedBody
1957 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // LateParsed
1958 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
1959 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LocEnd
1960 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // TemplateKind
1961 // This Array slurps the rest of the record. Fortunately we want to encode
1962 // (nearly) all the remaining (variable number of) fields in the same way.
1963 //
1964 // This is the function template information if any, then
1965 // NumParams and Params[] from FunctionDecl, and
1966 // NumOverriddenMethods, OverriddenMethods[] from CXXMethodDecl.
1967 //
1968 // Add an AbbrevOp for 'size then elements' and use it here.
1969 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1970 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1971 DeclCXXMethodAbbrev = Stream.EmitAbbrev(Abv);
1972
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001973 // Abbreviation for EXPR_DECL_REF
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001974 Abv = new BitCodeAbbrev();
Douglas Gregor03412ba2011-06-03 02:27:19 +00001975 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_DECL_REF));
1976 //Stmt
1977 //Expr
1978 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00001979 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1980 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1981 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00001982 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1983 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1984 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1985 //DeclRefExpr
1986 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HasQualifier
1987 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //GetDeclFound
1988 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ExplicitTemplateArgs
Abramo Bagnara635ed24e2011-10-05 07:56:41 +00001989 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HadMultipleCandidates
Alexey Bataev19acc3d2015-01-12 10:17:46 +00001990 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed,
1991 1)); // RefersToEnclosingVariableOrCapture
Douglas Gregor03412ba2011-06-03 02:27:19 +00001992 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclRef
1993 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
1994 DeclRefExprAbbrev = Stream.EmitAbbrev(Abv);
1995
1996 // Abbreviation for EXPR_INTEGER_LITERAL
1997 Abv = new BitCodeAbbrev();
1998 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_INTEGER_LITERAL));
1999 //Stmt
2000 //Expr
2001 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00002002 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2003 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2004 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00002005 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2006 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2007 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
2008 //Integer Literal
2009 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
2010 Abv->Add(BitCodeAbbrevOp(32)); // Bit Width
2011 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Value
2012 IntegerLiteralAbbrev = Stream.EmitAbbrev(Abv);
2013
2014 // Abbreviation for EXPR_CHARACTER_LITERAL
2015 Abv = new BitCodeAbbrev();
2016 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_CHARACTER_LITERAL));
2017 //Stmt
2018 //Expr
2019 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00002020 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2021 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2022 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00002023 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2024 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2025 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
Jonathan D. Turnerd09655f2011-06-03 21:46:44 +00002026 //Character Literal
Douglas Gregor03412ba2011-06-03 02:27:19 +00002027 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getValue
2028 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
Eli Friedman21530f72012-09-14 00:51:36 +00002029 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getKind
Douglas Gregor03412ba2011-06-03 02:27:19 +00002030 CharacterLiteralAbbrev = Stream.EmitAbbrev(Abv);
2031
Richard Smitha27c26e2014-07-27 04:19:32 +00002032 // Abbreviation for EXPR_IMPLICIT_CAST
2033 Abv = new BitCodeAbbrev();
2034 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_IMPLICIT_CAST));
2035 // Stmt
2036 // Expr
2037 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
2038 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
2039 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
2040 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
2041 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
2042 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
2043 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
2044 // CastExpr
2045 Abv->Add(BitCodeAbbrevOp(0)); // PathSize
2046 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 6)); // CastKind
2047 // ImplicitCastExpr
2048 ExprImplicitCastAbbrev = Stream.EmitAbbrev(Abv);
2049
Sebastian Redl66c5eef2010-07-27 00:17:23 +00002050 Abv = new BitCodeAbbrev();
Sebastian Redl539c5062010-08-18 23:57:32 +00002051 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_LEXICAL));
Sebastian Redl66c5eef2010-07-27 00:17:23 +00002052 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
2053 DeclContextLexicalAbbrev = Stream.EmitAbbrev(Abv);
Argyrios Kyrtzidisba88bfa2010-08-20 16:04:35 +00002054
2055 Abv = new BitCodeAbbrev();
2056 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_VISIBLE));
2057 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
2058 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
2059 DeclContextVisibleLookupAbbrev = Stream.EmitAbbrev(Abv);
Chris Lattner258172e2009-04-27 07:35:58 +00002060}
2061
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002062/// isRequiredDecl - Check if this is a "required" Decl, which must be seen by
2063/// consumers of the AST.
2064///
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00002065/// Such decls will always be deserialized from the AST file, so we would like
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002066/// this to be as restrictive as possible. Currently the predicate is driven by
2067/// code generation requirements, if other clients have a different notion of
2068/// what is "required" then we may have to consider an alternate scheme where
2069/// clients can iterate over the top-level decls and get information on them,
2070/// without necessary deserializing them. We could explicitly require such
2071/// clients to use a separate API call to "realize" the decl. This should be
2072/// relatively painless since they would presumably only do it for top-level
2073/// decls.
Richard Smithc52efa72015-08-19 02:30:28 +00002074static bool isRequiredDecl(const Decl *D, ASTContext &Context,
2075 bool WritingModule) {
Argyrios Kyrtzidisa98e8612011-09-13 21:35:00 +00002076 // An ObjCMethodDecl is never considered as "required" because its
2077 // implementation container always is.
2078
Richard Smithc52efa72015-08-19 02:30:28 +00002079 // File scoped assembly or obj-c implementation must be seen.
2080 if (isa<FileScopeAsmDecl>(D) || isa<ObjCImplDecl>(D))
2081 return true;
2082
2083 // ImportDecl is used by codegen to determine the set of imported modules to
2084 // search for inputs for automatic linking; include it if it has a semantic
2085 // effect.
2086 if (isa<ImportDecl>(D) && !WritingModule)
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002087 return true;
2088
Argyrios Kyrtzidisc9049332010-07-29 20:08:05 +00002089 return Context.DeclMustBeEmitted(D);
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00002090}
2091
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002092void ASTWriter::WriteDecl(ASTContext &Context, Decl *D) {
Argyrios Kyrtzidisd9f526f2010-10-28 09:29:32 +00002093 // Switch case IDs are per Decl.
2094 ClearSwitchCaseIDs();
2095
Chris Lattner7099dbc2009-04-27 06:16:06 +00002096 RecordData Record;
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00002097 ASTDeclWriter W(*this, Context, Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +00002098
Douglas Gregorb3163e52012-01-05 22:33:30 +00002099 // Determine the ID for this declaration.
2100 serialization::DeclID ID;
Richard Smith5a4737c2015-02-06 02:42:59 +00002101 if (D->isFromASTFile()) {
2102 assert(isRewritten(D) && "should not be emitting imported decl");
Douglas Gregorb3163e52012-01-05 22:33:30 +00002103 ID = getDeclID(D);
Richard Smith5a4737c2015-02-06 02:42:59 +00002104 } else {
Douglas Gregorb3163e52012-01-05 22:33:30 +00002105 serialization::DeclID &IDR = DeclIDs[D];
2106 if (IDR == 0)
2107 IDR = NextDeclID++;
2108
2109 ID= IDR;
2110 }
Argyrios Kyrtzidisbf6c3392012-03-22 16:08:04 +00002111
2112 bool isReplacingADecl = ID < FirstDeclID;
2113
2114 // If this declaration is also a DeclContext, write blocks for the
2115 // declarations that lexically stored inside its context and those
2116 // declarations that are visible from its context. These blocks
2117 // are written before the declaration itself so that we can put
2118 // their offsets into the record for the declaration.
2119 uint64_t LexicalOffset = 0;
2120 uint64_t VisibleOffset = 0;
2121 DeclContext *DC = dyn_cast<DeclContext>(D);
2122 if (DC) {
2123 if (isReplacingADecl) {
2124 // It is replacing a decl from a chained PCH; make sure that the
2125 // DeclContext is fully loaded.
2126 if (DC->hasExternalLexicalStorage())
2127 DC->LoadLexicalDeclsFromExternalStorage();
2128 if (DC->hasExternalVisibleStorage())
2129 Chain->completeVisibleDeclsMap(DC);
2130 }
2131 LexicalOffset = WriteDeclContextLexicalBlock(Context, DC);
2132 VisibleOffset = WriteDeclContextVisibleBlock(Context, DC);
2133 }
Douglas Gregorb3163e52012-01-05 22:33:30 +00002134
Richard Smithd61d4ac2015-08-22 20:13:39 +00002135 // Build a record for this declaration
2136 Record.clear();
2137 W.Code = (serialization::DeclCode)0;
2138 W.AbbrevToUse = 0;
2139 W.Visit(D);
2140 if (DC) W.VisitDeclContext(DC, LexicalOffset, VisibleOffset);
2141
Argyrios Kyrtzidisbf6c3392012-03-22 16:08:04 +00002142 if (isReplacingADecl) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00002143 // We're replacing a decl in a previous file.
Argyrios Kyrtzidis6fb60032011-10-31 07:20:15 +00002144 ReplacedDecls.push_back(ReplacedDeclInfo(ID, Stream.GetCurrentBitNo(),
2145 D->getLocation()));
Sebastian Redle7c1fe62010-08-13 00:28:03 +00002146 } else {
2147 unsigned Index = ID - FirstDeclID;
Douglas Gregor12bfa382009-10-17 00:13:19 +00002148
Sebastian Redle7c1fe62010-08-13 00:28:03 +00002149 // Record the offset for this declaration
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00002150 SourceLocation Loc = D->getLocation();
Sebastian Redle7c1fe62010-08-13 00:28:03 +00002151 if (DeclOffsets.size() == Index)
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00002152 DeclOffsets.push_back(DeclOffset(Loc, Stream.GetCurrentBitNo()));
Sebastian Redle7c1fe62010-08-13 00:28:03 +00002153 else if (DeclOffsets.size() < Index) {
2154 DeclOffsets.resize(Index+1);
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00002155 DeclOffsets[Index].setLocation(Loc);
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +00002156 DeclOffsets[Index].BitOffset = Stream.GetCurrentBitNo();
Sebastian Redle7c1fe62010-08-13 00:28:03 +00002157 }
Richard Smithd61d4ac2015-08-22 20:13:39 +00002158
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00002159 SourceManager &SM = Context.getSourceManager();
Argyrios Kyrtzidisdf53da82011-10-28 23:57:43 +00002160 if (Loc.isValid() && SM.isLocalSourceLocation(Loc))
2161 associateDeclWithFile(D, ID);
Douglas Gregor12bfa382009-10-17 00:13:19 +00002162 }
2163
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +00002164 if (!W.Code)
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002165 llvm::report_fatal_error(StringRef("unexpected declaration kind '") +
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +00002166 D->getDeclKindName() + "'");
Douglas Gregor12bfa382009-10-17 00:13:19 +00002167 Stream.EmitRecord(W.Code, Record, W.AbbrevToUse);
2168
Richard Smithc2bb8182015-03-24 06:36:48 +00002169 // Flush any expressions, base specifiers, and ctor initializers that
2170 // were written as part of this declaration.
2171 FlushPendingAfterDecl();
2172
Ben Langmuir332aafe2014-01-31 01:06:56 +00002173 // Note declarations that should be deserialized eagerly so that we can add
2174 // them to a record in the AST file later.
Richard Smithc52efa72015-08-19 02:30:28 +00002175 if (isRequiredDecl(D, Context, WritingModule))
Ben Langmuir332aafe2014-01-31 01:06:56 +00002176 EagerlyDeserializedDecls.push_back(ID);
Chris Lattner7099dbc2009-04-27 06:16:06 +00002177}
Richard Smithd28ac5b2014-03-22 23:33:22 +00002178
2179void ASTWriter::AddFunctionDefinition(const FunctionDecl *FD,
2180 RecordData &Record) {
2181 ClearSwitchCaseIDs();
2182
2183 ASTDeclWriter W(*this, FD->getASTContext(), Record);
2184 W.AddFunctionDefinition(FD);
2185}