blob: 608aa598cf480a92a0386091576989be4f18824d [file] [log] [blame]
Sebastian Redl4ee2ad02010-08-18 23:56:31 +00001//===--- ASTWriterDecl.cpp - Declaration Serialization --------------------===//
Chris Lattner12b1c762009-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 Redl7faa2ec2010-08-18 23:56:37 +000014#include "clang/Serialization/ASTWriter.h"
Sebastian Redl7c0837f2011-04-24 16:28:13 +000015#include "ASTCommon.h"
Chris Lattner6ad9ac02010-05-07 21:43:38 +000016#include "clang/AST/DeclCXX.h"
Argyrios Kyrtzidis0ad6dc32010-10-20 16:22:56 +000017#include "clang/AST/DeclContextInternals.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000018#include "clang/AST/DeclTemplate.h"
19#include "clang/AST/DeclVisitor.h"
20#include "clang/AST/Expr.h"
Argyrios Kyrtzidis10f3df52011-10-28 22:54:21 +000021#include "clang/Basic/SourceManager.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000022#include "clang/Serialization/ASTReader.h"
Daniel Dunbar33671982009-12-03 09:13:36 +000023#include "llvm/ADT/Twine.h"
Chris Lattner12b1c762009-04-27 06:16:06 +000024#include "llvm/Bitcode/BitstreamWriter.h"
Daniel Dunbar33671982009-12-03 09:13:36 +000025#include "llvm/Support/ErrorHandling.h"
Chris Lattner12b1c762009-04-27 06:16:06 +000026using namespace clang;
Sebastian Redl7c0837f2011-04-24 16:28:13 +000027using namespace serialization;
Chris Lattner12b1c762009-04-27 06:16:06 +000028
29//===----------------------------------------------------------------------===//
30// Declaration serialization
31//===----------------------------------------------------------------------===//
32
Argyrios Kyrtzidis67643342010-06-29 22:47:00 +000033namespace clang {
Sebastian Redl3397c552010-08-18 23:56:27 +000034 class ASTDeclWriter : public DeclVisitor<ASTDeclWriter, void> {
Chris Lattner12b1c762009-04-27 06:16:06 +000035
Sebastian Redla4232eb2010-08-18 23:56:21 +000036 ASTWriter &Writer;
Chris Lattner12b1c762009-04-27 06:16:06 +000037 ASTContext &Context;
Argyrios Kyrtzidisc01dc6f2010-10-24 17:26:27 +000038 typedef ASTWriter::RecordData RecordData;
39 RecordData &Record;
Chris Lattner12b1c762009-04-27 06:16:06 +000040
41 public:
Sebastian Redl8538e8d2010-08-18 23:57:32 +000042 serialization::DeclCode Code;
Chris Lattnerea5ce472009-04-27 07:35:58 +000043 unsigned AbbrevToUse;
Chris Lattner12b1c762009-04-27 06:16:06 +000044
Argyrios Kyrtzidisc01dc6f2010-10-24 17:26:27 +000045 ASTDeclWriter(ASTWriter &Writer, ASTContext &Context, RecordData &Record)
Chris Lattnerea5ce472009-04-27 07:35:58 +000046 : Writer(Writer), Context(Context), Record(Record) {
47 }
Argyrios Kyrtzidisc01dc6f2010-10-24 17:26:27 +000048
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +000049 void Visit(Decl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000050
51 void VisitDecl(Decl *D);
52 void VisitTranslationUnitDecl(TranslationUnitDecl *D);
53 void VisitNamedDecl(NamedDecl *D);
Chris Lattnerad8dcf42011-02-17 07:39:24 +000054 void VisitLabelDecl(LabelDecl *LD);
Douglas Gregor0cef4832010-02-21 18:22:14 +000055 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +000056 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
57 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000058 void VisitTypeDecl(TypeDecl *D);
Douglas Gregor0f456822011-12-19 14:40:25 +000059 void VisitTypedefNameDecl(TypedefNameDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000060 void VisitTypedefDecl(TypedefDecl *D);
Richard Smith162e1c12011-04-15 14:24:37 +000061 void VisitTypeAliasDecl(TypeAliasDecl *D);
Argyrios Kyrtzidis8f4eae92010-06-30 08:49:30 +000062 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000063 void VisitTagDecl(TagDecl *D);
64 void VisitEnumDecl(EnumDecl *D);
65 void VisitRecordDecl(RecordDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +000066 void VisitCXXRecordDecl(CXXRecordDecl *D);
67 void VisitClassTemplateSpecializationDecl(
68 ClassTemplateSpecializationDecl *D);
69 void VisitClassTemplatePartialSpecializationDecl(
70 ClassTemplatePartialSpecializationDecl *D);
Larisse Voufoef4579c2013-08-06 01:03:05 +000071 void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D);
72 void VisitVarTemplatePartialSpecializationDecl(
73 VarTemplatePartialSpecializationDecl *D);
Fariborz Jahanian95ed7782011-08-27 20:50:59 +000074 void VisitClassScopeFunctionSpecializationDecl(
75 ClassScopeFunctionSpecializationDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +000076 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000077 void VisitValueDecl(ValueDecl *D);
78 void VisitEnumConstantDecl(EnumConstantDecl *D);
Argyrios Kyrtzidis8f4eae92010-06-30 08:49:30 +000079 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidisd4a7e542009-08-19 01:28:35 +000080 void VisitDeclaratorDecl(DeclaratorDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000081 void VisitFunctionDecl(FunctionDecl *D);
Chris Lattner6ad9ac02010-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 Lattner12b1c762009-04-27 06:16:06 +000086 void VisitFieldDecl(FieldDecl *D);
John McCall76da55d2013-04-16 07:28:30 +000087 void VisitMSPropertyDecl(MSPropertyDecl *D);
Francois Pichet87c2e122010-11-21 06:08:52 +000088 void VisitIndirectFieldDecl(IndirectFieldDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +000089 void VisitVarDecl(VarDecl *D);
90 void VisitImplicitParamDecl(ImplicitParamDecl *D);
91 void VisitParmVarDecl(ParmVarDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +000092 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
93 void VisitTemplateDecl(TemplateDecl *D);
Peter Collingbourne9eabeba2010-07-29 16:11:51 +000094 void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +000095 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Larisse Voufoef4579c2013-08-06 01:03:05 +000096 void VisitVarTemplateDecl(VarTemplateDecl *D);
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +000097 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +000098 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Richard Smith3e4c6c42011-05-05 21:57:07 +000099 void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
Argyrios Kyrtzidisb01a5522010-06-20 14:40:59 +0000100 void VisitUsingDecl(UsingDecl *D);
101 void VisitUsingShadowDecl(UsingShadowDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000102 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000103 void VisitFileScopeAsmDecl(FileScopeAsmDecl *D);
Douglas Gregor15de72c2011-12-02 23:23:56 +0000104 void VisitImportDecl(ImportDecl *D);
Abramo Bagnara6206d532010-06-05 05:09:32 +0000105 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis67643342010-06-29 22:47:00 +0000106 void VisitFriendDecl(FriendDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000107 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
108 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000109 void VisitBlockDecl(BlockDecl *D);
Tareq A. Siraj6afcf882013-04-16 19:37:38 +0000110 void VisitCapturedDecl(CapturedDecl *D);
Michael Han684aa732013-02-22 17:15:32 +0000111 void VisitEmptyDecl(EmptyDecl *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000112
Mike Stump1eb44332009-09-09 15:08:12 +0000113 void VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
Chris Lattner12b1c762009-04-27 06:16:06 +0000114 uint64_t VisibleOffset);
Argyrios Kyrtzidisa8650052010-08-03 17:30:10 +0000115 template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000116
117
Sean Hunt9a555912010-05-30 07:21:58 +0000118 // FIXME: Put in the same order is DeclNodes.td?
Chris Lattner12b1c762009-04-27 06:16:06 +0000119 void VisitObjCMethodDecl(ObjCMethodDecl *D);
120 void VisitObjCContainerDecl(ObjCContainerDecl *D);
121 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
122 void VisitObjCIvarDecl(ObjCIvarDecl *D);
123 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
124 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000125 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
126 void VisitObjCImplDecl(ObjCImplDecl *D);
127 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
128 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
129 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
130 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
131 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
Alexey Bataevc6400582013-03-22 06:34:35 +0000132 void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
Stephen Hines651f13c2014-04-23 16:59:28 -0700133
134 void AddFunctionDefinition(const FunctionDecl *FD) {
135 assert(FD->doesThisDeclarationHaveABody());
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700136 if (auto *CD = dyn_cast<CXXConstructorDecl>(FD)) {
137 Record.push_back(CD->NumCtorInitializers);
138 if (CD->NumCtorInitializers)
139 Writer.AddCXXCtorInitializersRef(
140 llvm::makeArrayRef(CD->init_begin(), CD->init_end()), Record);
141 }
Stephen Hines651f13c2014-04-23 16:59:28 -0700142 Writer.AddStmt(FD->getBody());
143 }
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700144
145 /// Get the specialization decl from an entry in the specialization list.
146 template <typename EntryType>
147 typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType *
148 getSpecializationDecl(EntryType &T) {
149 return RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::getDecl(&T);
150 }
151
152 /// Get the list of partial specializations from a template's common ptr.
153 template<typename T>
154 decltype(T::PartialSpecializations) &getPartialSpecializations(T *Common) {
155 return Common->PartialSpecializations;
156 }
157 ArrayRef<Decl> getPartialSpecializations(FunctionTemplateDecl::Common *) {
158 return None;
159 }
160
161 template<typename Decl>
162 void AddTemplateSpecializations(Decl *D) {
163 auto *Common = D->getCommonPtr();
164
165 // If we have any lazy specializations, and the external AST source is
166 // our chained AST reader, we can just write out the DeclIDs. Otherwise,
167 // we need to resolve them to actual declarations.
168 if (Writer.Chain != Writer.Context->getExternalSource() &&
169 Common->LazySpecializations) {
170 D->LoadLazySpecializations();
171 assert(!Common->LazySpecializations);
172 }
173
174 auto &Specializations = Common->Specializations;
175 auto &&PartialSpecializations = getPartialSpecializations(Common);
176 ArrayRef<DeclID> LazySpecializations;
177 if (auto *LS = Common->LazySpecializations)
178 LazySpecializations = ArrayRef<DeclID>(LS + 1, LS + 1 + LS[0]);
179
180 Record.push_back(Specializations.size() +
181 PartialSpecializations.size() +
182 LazySpecializations.size());
183 for (auto &Entry : Specializations) {
184 auto *D = getSpecializationDecl(Entry);
185 assert(D->isCanonicalDecl() && "non-canonical decl in set");
186 Writer.AddDeclRef(D, Record);
187 }
188 for (auto &Entry : PartialSpecializations) {
189 auto *D = getSpecializationDecl(Entry);
190 assert(D->isCanonicalDecl() && "non-canonical decl in set");
191 Writer.AddDeclRef(D, Record);
192 }
193 for (DeclID ID : LazySpecializations)
194 Record.push_back(ID);
195 }
Chris Lattner12b1c762009-04-27 06:16:06 +0000196 };
197}
198
Sebastian Redl3397c552010-08-18 23:56:27 +0000199void ASTDeclWriter::Visit(Decl *D) {
200 DeclVisitor<ASTDeclWriter>::Visit(D);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +0000201
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000202 // Source locations require array (variable-length) abbreviations. The
203 // abbreviation infrastructure requires that arrays are encoded last, so
204 // we handle it here in the case of those classes derived from DeclaratorDecl
205 if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)){
206 Writer.AddTypeSourceInfo(DD->getTypeSourceInfo(), Record);
207 }
208
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +0000209 // Handle FunctionDecl's body here and write it after all other Stmts/Exprs
210 // have been written. We want it last because we will not read it back when
Sebastian Redl3397c552010-08-18 23:56:27 +0000211 // retrieving it from the AST, we'll just lazily set the offset.
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +0000212 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Sean Hunt10620eb2011-05-06 20:44:56 +0000213 Record.push_back(FD->doesThisDeclarationHaveABody());
214 if (FD->doesThisDeclarationHaveABody())
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700215 AddFunctionDefinition(FD);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +0000216 }
217}
218
Sebastian Redl3397c552010-08-18 23:56:27 +0000219void ASTDeclWriter::VisitDecl(Decl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000220 Writer.AddDeclRef(cast_or_null<Decl>(D->getDeclContext()), Record);
221 Writer.AddDeclRef(cast_or_null<Decl>(D->getLexicalDeclContext()), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000222 Record.push_back(D->isInvalidDecl());
223 Record.push_back(D->hasAttrs());
Argyrios Kyrtzidis4eb9fc02010-10-18 19:20:11 +0000224 if (D->hasAttrs())
Stephen Hines176edba2014-12-01 14:53:08 -0800225 Writer.WriteAttributes(llvm::makeArrayRef(D->getAttrs().begin(),
226 D->getAttrs().size()), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000227 Record.push_back(D->isImplicit());
Douglas Gregorc070cc62010-06-17 23:14:26 +0000228 Record.push_back(D->isUsed(false));
Argyrios Kyrtzidis6b6b42a2011-04-19 19:51:10 +0000229 Record.push_back(D->isReferenced());
Douglas Gregor46cd2182012-01-06 16:59:53 +0000230 Record.push_back(D->isTopLevelDeclInObjCContainer());
Chris Lattner12b1c762009-04-27 06:16:06 +0000231 Record.push_back(D->getAccess());
Douglas Gregor46cd2182012-01-06 16:59:53 +0000232 Record.push_back(D->isModulePrivate());
Douglas Gregor185dbd72011-12-01 02:07:58 +0000233 Record.push_back(Writer.inferSubmoduleIDFromLocation(D->getLocation()));
Stephen Hines651f13c2014-04-23 16:59:28 -0700234
235 // If this declaration injected a name into a context different from its
236 // lexical context, and that context is an imported namespace, we need to
237 // update its visible declarations to include this name.
238 //
239 // This happens when we instantiate a class with a friend declaration or a
240 // function with a local extern declaration, for instance.
241 if (D->isOutOfLine()) {
242 auto *DC = D->getDeclContext();
243 while (auto *NS = dyn_cast<NamespaceDecl>(DC->getRedeclContext())) {
244 if (!NS->isFromASTFile())
245 break;
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700246 Writer.UpdatedDeclContexts.insert(NS->getPrimaryContext());
Stephen Hines651f13c2014-04-23 16:59:28 -0700247 if (!NS->isInlineNamespace())
248 break;
249 DC = NS->getParent();
250 }
251 }
Chris Lattner12b1c762009-04-27 06:16:06 +0000252}
253
Sebastian Redl3397c552010-08-18 23:56:27 +0000254void ASTDeclWriter::VisitTranslationUnitDecl(TranslationUnitDecl *D) {
Douglas Gregor6bf2b9f2011-08-12 00:15:20 +0000255 llvm_unreachable("Translation units aren't directly serialized");
Chris Lattner12b1c762009-04-27 06:16:06 +0000256}
257
Sebastian Redl3397c552010-08-18 23:56:27 +0000258void ASTDeclWriter::VisitNamedDecl(NamedDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000259 VisitDecl(D);
260 Writer.AddDeclarationName(D->getDeclName(), Record);
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700261 Record.push_back(needsAnonymousDeclarationNumber(D)
262 ? Writer.getAnonymousDeclarationNumber(D)
263 : 0);
Chris Lattner12b1c762009-04-27 06:16:06 +0000264}
265
Sebastian Redl3397c552010-08-18 23:56:27 +0000266void ASTDeclWriter::VisitTypeDecl(TypeDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000267 VisitNamedDecl(D);
Abramo Bagnara344577e2011-03-06 15:48:19 +0000268 Writer.AddSourceLocation(D->getLocStart(), Record);
Argyrios Kyrtzidisd8a0c6f2010-07-02 11:55:01 +0000269 Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000270}
271
Douglas Gregor0f456822011-12-19 14:40:25 +0000272void ASTDeclWriter::VisitTypedefNameDecl(TypedefNameDecl *D) {
Douglas Gregora1be2782011-12-17 23:38:30 +0000273 VisitRedeclarable(D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000274 VisitTypeDecl(D);
Enea Zaffanellac2fa6b62013-06-20 12:46:19 +0000275 Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
276 Record.push_back(D->isModed());
277 if (D->isModed())
278 Writer.AddTypeRef(D->getUnderlyingType(), Record);
Douglas Gregor0f456822011-12-19 14:40:25 +0000279}
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000280
Douglas Gregor0f456822011-12-19 14:40:25 +0000281void ASTDeclWriter::VisitTypedefDecl(TypedefDecl *D) {
282 VisitTypedefNameDecl(D);
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000283 if (!D->hasAttrs() &&
284 !D->isImplicit() &&
Rafael Espindolabc650912013-10-17 15:37:26 +0000285 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000286 !D->isInvalidDecl() &&
Argyrios Kyrtzidisbcf8df82011-11-23 21:11:23 +0000287 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000288 !D->isModulePrivate() &&
Stephen Hines176edba2014-12-01 14:53:08 -0800289 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000290 D->getDeclName().getNameKind() == DeclarationName::Identifier)
291 AbbrevToUse = Writer.getDeclTypedefAbbrev();
292
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000293 Code = serialization::DECL_TYPEDEF;
Chris Lattner12b1c762009-04-27 06:16:06 +0000294}
295
Richard Smith162e1c12011-04-15 14:24:37 +0000296void ASTDeclWriter::VisitTypeAliasDecl(TypeAliasDecl *D) {
Douglas Gregor0f456822011-12-19 14:40:25 +0000297 VisitTypedefNameDecl(D);
Stephen Hines176edba2014-12-01 14:53:08 -0800298 Writer.AddDeclRef(D->getDescribedAliasTemplate(), Record);
Richard Smith162e1c12011-04-15 14:24:37 +0000299 Code = serialization::DECL_TYPEALIAS;
300}
301
Sebastian Redl3397c552010-08-18 23:56:27 +0000302void ASTDeclWriter::VisitTagDecl(TagDecl *D) {
Argyrios Kyrtzidisa8650052010-08-03 17:30:10 +0000303 VisitRedeclarable(D);
Douglas Gregord488b3a2011-10-26 17:53:41 +0000304 VisitTypeDecl(D);
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000305 Record.push_back(D->getIdentifierNamespace());
Chris Lattner12b1c762009-04-27 06:16:06 +0000306 Record.push_back((unsigned)D->getTagKind()); // FIXME: stable encoding
Stephen Hines176edba2014-12-01 14:53:08 -0800307 if (!isa<CXXRecordDecl>(D))
308 Record.push_back(D->isCompleteDefinition());
Douglas Gregorb37b6482010-02-12 17:40:34 +0000309 Record.push_back(D->isEmbeddedInDeclarator());
Argyrios Kyrtzidis717a20b2011-09-30 22:11:31 +0000310 Record.push_back(D->isFreeStanding());
David Blaikiee33a0a82013-07-14 01:07:41 +0000311 Record.push_back(D->isCompleteDefinitionRequired());
Argyrios Kyrtzidisad93a742009-07-14 03:18:02 +0000312 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Stephen Hines176edba2014-12-01 14:53:08 -0800313
314 if (D->hasExtInfo()) {
315 Record.push_back(1);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +0000316 Writer.AddQualifierInfo(*D->getExtInfo(), Record);
Stephen Hines176edba2014-12-01 14:53:08 -0800317 } else if (auto *TD = D->getTypedefNameForAnonDecl()) {
318 Record.push_back(2);
319 Writer.AddDeclRef(TD, Record);
320 Writer.AddIdentifierRef(TD->getDeclName().getAsIdentifierInfo(), Record);
321 } else if (auto *DD = D->getDeclaratorForAnonDecl()) {
322 Record.push_back(3);
323 Writer.AddDeclRef(DD, Record);
324 } else {
325 Record.push_back(0);
326 }
Chris Lattner12b1c762009-04-27 06:16:06 +0000327}
328
Sebastian Redl3397c552010-08-18 23:56:27 +0000329void ASTDeclWriter::VisitEnumDecl(EnumDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000330 VisitTagDecl(D);
Douglas Gregor1274ccd2010-10-08 23:50:27 +0000331 Writer.AddTypeSourceInfo(D->getIntegerTypeSourceInfo(), Record);
332 if (!D->getIntegerTypeSourceInfo())
333 Writer.AddTypeRef(D->getIntegerType(), Record);
John McCall842aef82009-12-09 09:09:27 +0000334 Writer.AddTypeRef(D->getPromotionType(), Record);
John McCall1b5a6182010-05-06 08:49:23 +0000335 Record.push_back(D->getNumPositiveBits());
336 Record.push_back(D->getNumNegativeBits());
Douglas Gregor1274ccd2010-10-08 23:50:27 +0000337 Record.push_back(D->isScoped());
Abramo Bagnaraa88cefd2010-12-03 18:54:17 +0000338 Record.push_back(D->isScopedUsingClassTag());
Douglas Gregor1274ccd2010-10-08 23:50:27 +0000339 Record.push_back(D->isFixed());
Richard Smithf1c66b42012-03-14 23:13:10 +0000340 if (MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo()) {
341 Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
342 Record.push_back(MemberInfo->getTemplateSpecializationKind());
343 Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
344 } else {
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700345 Writer.AddDeclRef(nullptr, Record);
Richard Smithf1c66b42012-03-14 23:13:10 +0000346 }
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000347
348 if (!D->hasAttrs() &&
349 !D->isImplicit() &&
350 !D->isUsed(false) &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000351 !D->hasExtInfo() &&
Stephen Hines176edba2014-12-01 14:53:08 -0800352 !D->getTypedefNameForAnonDecl() &&
353 !D->getDeclaratorForAnonDecl() &&
Rafael Espindolabc650912013-10-17 15:37:26 +0000354 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000355 !D->isInvalidDecl() &&
356 !D->isReferenced() &&
Argyrios Kyrtzidisbcf8df82011-11-23 21:11:23 +0000357 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000358 D->getAccess() == AS_none &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000359 !D->isModulePrivate() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000360 !CXXRecordDecl::classofKind(D->getKind()) &&
361 !D->getIntegerTypeSourceInfo() &&
Argyrios Kyrtzidis03784332013-03-18 22:23:49 +0000362 !D->getMemberSpecializationInfo() &&
Stephen Hines176edba2014-12-01 14:53:08 -0800363 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000364 D->getDeclName().getNameKind() == DeclarationName::Identifier)
365 AbbrevToUse = Writer.getDeclEnumAbbrev();
366
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000367 Code = serialization::DECL_ENUM;
Chris Lattner12b1c762009-04-27 06:16:06 +0000368}
369
Sebastian Redl3397c552010-08-18 23:56:27 +0000370void ASTDeclWriter::VisitRecordDecl(RecordDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000371 VisitTagDecl(D);
372 Record.push_back(D->hasFlexibleArrayMember());
373 Record.push_back(D->isAnonymousStructOrUnion());
Fariborz Jahanian643b7df2009-07-08 16:37:44 +0000374 Record.push_back(D->hasObjectMember());
Fariborz Jahanian3ac83d62013-01-25 23:57:05 +0000375 Record.push_back(D->hasVolatileMember());
Douglas Gregora72d8c42011-06-03 02:27:19 +0000376
377 if (!D->hasAttrs() &&
378 !D->isImplicit() &&
379 !D->isUsed(false) &&
Douglas Gregora72d8c42011-06-03 02:27:19 +0000380 !D->hasExtInfo() &&
Stephen Hines176edba2014-12-01 14:53:08 -0800381 !D->getTypedefNameForAnonDecl() &&
382 !D->getDeclaratorForAnonDecl() &&
Rafael Espindolabc650912013-10-17 15:37:26 +0000383 D->getFirstDecl() == D->getMostRecentDecl() &&
Douglas Gregora72d8c42011-06-03 02:27:19 +0000384 !D->isInvalidDecl() &&
385 !D->isReferenced() &&
Argyrios Kyrtzidisbcf8df82011-11-23 21:11:23 +0000386 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregora72d8c42011-06-03 02:27:19 +0000387 D->getAccess() == AS_none &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000388 !D->isModulePrivate() &&
Douglas Gregora72d8c42011-06-03 02:27:19 +0000389 !CXXRecordDecl::classofKind(D->getKind()) &&
Stephen Hines176edba2014-12-01 14:53:08 -0800390 !needsAnonymousDeclarationNumber(D) &&
Douglas Gregora72d8c42011-06-03 02:27:19 +0000391 D->getDeclName().getNameKind() == DeclarationName::Identifier)
Douglas Gregora72d8c42011-06-03 02:27:19 +0000392 AbbrevToUse = Writer.getDeclRecordAbbrev();
393
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000394 Code = serialization::DECL_RECORD;
Chris Lattner12b1c762009-04-27 06:16:06 +0000395}
396
Sebastian Redl3397c552010-08-18 23:56:27 +0000397void ASTDeclWriter::VisitValueDecl(ValueDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000398 VisitNamedDecl(D);
399 Writer.AddTypeRef(D->getType(), Record);
400}
401
Sebastian Redl3397c552010-08-18 23:56:27 +0000402void ASTDeclWriter::VisitEnumConstantDecl(EnumConstantDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000403 VisitValueDecl(D);
404 Record.push_back(D->getInitExpr()? 1 : 0);
405 if (D->getInitExpr())
406 Writer.AddStmt(D->getInitExpr());
407 Writer.AddAPSInt(D->getInitVal(), Record);
Douglas Gregora72d8c42011-06-03 02:27:19 +0000408
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000409 Code = serialization::DECL_ENUM_CONSTANT;
Chris Lattner12b1c762009-04-27 06:16:06 +0000410}
Argyrios Kyrtzidisd4a7e542009-08-19 01:28:35 +0000411
Sebastian Redl3397c552010-08-18 23:56:27 +0000412void ASTDeclWriter::VisitDeclaratorDecl(DeclaratorDecl *D) {
Argyrios Kyrtzidisd4a7e542009-08-19 01:28:35 +0000413 VisitValueDecl(D);
Abramo Bagnaraff676cb2011-03-08 08:55:46 +0000414 Writer.AddSourceLocation(D->getInnerLocStart(), Record);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +0000415 Record.push_back(D->hasExtInfo());
416 if (D->hasExtInfo())
417 Writer.AddQualifierInfo(*D->getExtInfo(), Record);
Argyrios Kyrtzidisd4a7e542009-08-19 01:28:35 +0000418}
Chris Lattner12b1c762009-04-27 06:16:06 +0000419
Sebastian Redl3397c552010-08-18 23:56:27 +0000420void ASTDeclWriter::VisitFunctionDecl(FunctionDecl *D) {
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000421 VisitRedeclarable(D);
Douglas Gregord488b3a2011-10-26 17:53:41 +0000422 VisitDeclaratorDecl(D);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +0000423 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Argyrios Kyrtzidisc8f9af22010-07-05 10:38:01 +0000424 Record.push_back(D->getIdentifierNamespace());
Douglas Gregor70762812012-01-04 17:13:46 +0000425
426 // FunctionDecl's body is handled last at ASTWriterDecl::Visit,
427 // after everything else is written.
428
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700429 Record.push_back((int)D->SClass); // FIXME: stable encoding
Douglas Gregor70762812012-01-04 17:13:46 +0000430 Record.push_back(D->IsInline);
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700431 Record.push_back(D->IsInlineSpecified);
432 Record.push_back(D->IsVirtualAsWritten);
433 Record.push_back(D->IsPure);
434 Record.push_back(D->HasInheritedPrototype);
435 Record.push_back(D->HasWrittenPrototype);
436 Record.push_back(D->IsDeleted);
437 Record.push_back(D->IsTrivial);
438 Record.push_back(D->IsDefaulted);
439 Record.push_back(D->IsExplicitlyDefaulted);
440 Record.push_back(D->HasImplicitReturnZero);
441 Record.push_back(D->IsConstexpr);
Argyrios Kyrtzidis35f3f362012-12-06 18:59:10 +0000442 Record.push_back(D->HasSkippedBody);
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700443 Record.push_back(D->IsLateTemplateParsed);
Rafael Espindola181e3ec2013-05-13 00:12:11 +0000444 Record.push_back(D->getLinkageInternal());
Douglas Gregor70762812012-01-04 17:13:46 +0000445 Writer.AddSourceLocation(D->getLocEnd(), Record);
446
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000447 Record.push_back(D->getTemplatedKind());
448 switch (D->getTemplatedKind()) {
449 case FunctionDecl::TK_NonTemplate:
450 break;
451 case FunctionDecl::TK_FunctionTemplate:
452 Writer.AddDeclRef(D->getDescribedFunctionTemplate(), Record);
453 break;
454 case FunctionDecl::TK_MemberSpecialization: {
455 MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo();
456 Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
457 Record.push_back(MemberInfo->getTemplateSpecializationKind());
458 Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
459 break;
460 }
461 case FunctionDecl::TK_FunctionTemplateSpecialization: {
462 FunctionTemplateSpecializationInfo *
463 FTSInfo = D->getTemplateSpecializationInfo();
Argyrios Kyrtzidisa626a3d2010-09-09 11:28:23 +0000464 Writer.AddDeclRef(FTSInfo->getTemplate(), Record);
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000465 Record.push_back(FTSInfo->getTemplateSpecializationKind());
466
467 // Template arguments.
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +0000468 Writer.AddTemplateArgumentList(FTSInfo->TemplateArguments, Record);
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000469
470 // Template args as written.
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700471 Record.push_back(FTSInfo->TemplateArgumentsAsWritten != nullptr);
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000472 if (FTSInfo->TemplateArgumentsAsWritten) {
Argyrios Kyrtzidis71a76052011-09-22 20:07:09 +0000473 Record.push_back(FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs);
474 for (int i=0, e = FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs;
475 i!=e; ++i)
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000476 Writer.AddTemplateArgumentLoc((*FTSInfo->TemplateArgumentsAsWritten)[i],
477 Record);
Argyrios Kyrtzidis71a76052011-09-22 20:07:09 +0000478 Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->LAngleLoc,
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000479 Record);
Argyrios Kyrtzidis71a76052011-09-22 20:07:09 +0000480 Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->RAngleLoc,
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000481 Record);
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000482 }
Argyrios Kyrtzidis7b081c82010-07-05 10:37:55 +0000483
484 Writer.AddSourceLocation(FTSInfo->getPointOfInstantiation(), Record);
Argyrios Kyrtzidis99a8ca02010-09-13 11:45:48 +0000485
486 if (D->isCanonicalDecl()) {
487 // Write the template that contains the specializations set. We will
488 // add a FunctionTemplateSpecializationInfo to it when reading.
489 Writer.AddDeclRef(FTSInfo->getTemplate()->getCanonicalDecl(), Record);
490 }
Argyrios Kyrtzidisa56b0492010-06-25 16:24:51 +0000491 break;
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000492 }
493 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
494 DependentFunctionTemplateSpecializationInfo *
495 DFTSInfo = D->getDependentSpecializationInfo();
496
497 // Templates.
498 Record.push_back(DFTSInfo->getNumTemplates());
499 for (int i=0, e = DFTSInfo->getNumTemplates(); i != e; ++i)
500 Writer.AddDeclRef(DFTSInfo->getTemplate(i), Record);
501
502 // Templates args.
503 Record.push_back(DFTSInfo->getNumTemplateArgs());
504 for (int i=0, e = DFTSInfo->getNumTemplateArgs(); i != e; ++i)
505 Writer.AddTemplateArgumentLoc(DFTSInfo->getTemplateArg(i), Record);
Argyrios Kyrtzidis7b081c82010-07-05 10:37:55 +0000506 Writer.AddSourceLocation(DFTSInfo->getLAngleLoc(), Record);
507 Writer.AddSourceLocation(DFTSInfo->getRAngleLoc(), Record);
Argyrios Kyrtzidisa56b0492010-06-25 16:24:51 +0000508 break;
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +0000509 }
510 }
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000511
Chris Lattner12b1c762009-04-27 06:16:06 +0000512 Record.push_back(D->param_size());
Stephen Hines651f13c2014-04-23 16:59:28 -0700513 for (auto P : D->params())
514 Writer.AddDeclRef(P, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000515 Code = serialization::DECL_FUNCTION;
Chris Lattner12b1c762009-04-27 06:16:06 +0000516}
517
Sebastian Redl3397c552010-08-18 23:56:27 +0000518void ASTDeclWriter::VisitObjCMethodDecl(ObjCMethodDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000519 VisitNamedDecl(D);
520 // FIXME: convert to LazyStmtPtr?
Mike Stump1eb44332009-09-09 15:08:12 +0000521 // Unlike C/C++, method bodies will never be in header files.
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700522 bool HasBodyStuff = D->getBody() != nullptr ||
523 D->getSelfDecl() != nullptr || D->getCmdDecl() != nullptr;
Argyrios Kyrtzidis2f922302010-08-09 10:54:37 +0000524 Record.push_back(HasBodyStuff);
525 if (HasBodyStuff) {
Argyrios Kyrtzidis6fb0aee2009-06-30 02:35:26 +0000526 Writer.AddStmt(D->getBody());
Chris Lattner12b1c762009-04-27 06:16:06 +0000527 Writer.AddDeclRef(D->getSelfDecl(), Record);
528 Writer.AddDeclRef(D->getCmdDecl(), Record);
529 }
530 Record.push_back(D->isInstanceMethod());
531 Record.push_back(D->isVariadic());
Jordan Rose1e4691b2012-10-10 16:42:25 +0000532 Record.push_back(D->isPropertyAccessor());
Fariborz Jahanian3fe10412010-07-22 18:24:20 +0000533 Record.push_back(D->isDefined());
Argyrios Kyrtzidise15db6f2012-05-09 16:12:57 +0000534 Record.push_back(D->IsOverriding);
Argyrios Kyrtzidis35f3f362012-12-06 18:59:10 +0000535 Record.push_back(D->HasSkippedBody);
Argyrios Kyrtzidis72b26252011-10-14 17:41:52 +0000536
537 Record.push_back(D->IsRedeclaration);
538 Record.push_back(D->HasRedeclaration);
539 if (D->HasRedeclaration) {
540 assert(Context.getObjCMethodRedeclaration(D));
541 Writer.AddDeclRef(Context.getObjCMethodRedeclaration(D), Record);
542 }
543
Chris Lattner12b1c762009-04-27 06:16:06 +0000544 // FIXME: stable encoding for @required/@optional
Mike Stump1eb44332009-09-09 15:08:12 +0000545 Record.push_back(D->getImplementationControl());
Chris Lattner12b1c762009-04-27 06:16:06 +0000546 // FIXME: stable encoding for in/out/inout/bycopy/byref/oneway
Mike Stump1eb44332009-09-09 15:08:12 +0000547 Record.push_back(D->getObjCDeclQualifier());
Douglas Gregor926df6c2011-06-11 01:09:30 +0000548 Record.push_back(D->hasRelatedResultType());
Stephen Hines651f13c2014-04-23 16:59:28 -0700549 Writer.AddTypeRef(D->getReturnType(), Record);
550 Writer.AddTypeSourceInfo(D->getReturnTypeSourceInfo(), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000551 Writer.AddSourceLocation(D->getLocEnd(), Record);
552 Record.push_back(D->param_size());
Stephen Hines651f13c2014-04-23 16:59:28 -0700553 for (const auto *P : D->params())
554 Writer.AddDeclRef(P, Record);
Argyrios Kyrtzidis491306a2011-10-03 06:37:04 +0000555
556 Record.push_back(D->SelLocsKind);
557 unsigned NumStoredSelLocs = D->getNumStoredSelLocs();
558 SourceLocation *SelLocs = D->getStoredSelLocs();
559 Record.push_back(NumStoredSelLocs);
560 for (unsigned i = 0; i != NumStoredSelLocs; ++i)
561 Writer.AddSourceLocation(SelLocs[i], Record);
562
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000563 Code = serialization::DECL_OBJC_METHOD;
Chris Lattner12b1c762009-04-27 06:16:06 +0000564}
565
Sebastian Redl3397c552010-08-18 23:56:27 +0000566void ASTDeclWriter::VisitObjCContainerDecl(ObjCContainerDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000567 VisitNamedDecl(D);
Argyrios Kyrtzidis1711fc92011-10-04 04:48:02 +0000568 Writer.AddSourceLocation(D->getAtStartLoc(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000569 Writer.AddSourceRange(D->getAtEndRange(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000570 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner12b1c762009-04-27 06:16:06 +0000571}
572
Sebastian Redl3397c552010-08-18 23:56:27 +0000573void ASTDeclWriter::VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
Douglas Gregor53df7a12011-12-15 18:03:09 +0000574 VisitRedeclarable(D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000575 VisitObjCContainerDecl(D);
576 Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
Ted Kremenek53b94412010-09-01 01:21:15 +0000577
Douglas Gregorc23f8572012-01-15 18:17:48 +0000578 Record.push_back(D->isThisDeclarationADefinition());
579 if (D->isThisDeclarationADefinition()) {
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000580 // Write the DefinitionData
581 ObjCInterfaceDecl::DefinitionData &Data = D->data();
582
583 Writer.AddDeclRef(D->getSuperClass(), Record);
584 Writer.AddSourceLocation(D->getSuperClassLoc(), Record);
Douglas Gregor05c272f2011-12-15 22:34:59 +0000585 Writer.AddSourceLocation(D->getEndOfDefinitionLoc(), Record);
Stephen Hines651f13c2014-04-23 16:59:28 -0700586 Record.push_back(Data.HasDesignatedInitializers);
Douglas Gregor05c272f2011-12-15 22:34:59 +0000587
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000588 // Write out the protocols that are directly referenced by the @interface.
589 Record.push_back(Data.ReferencedProtocols.size());
Stephen Hines651f13c2014-04-23 16:59:28 -0700590 for (const auto *P : D->protocols())
591 Writer.AddDeclRef(P, Record);
592 for (const auto &PL : D->protocol_locs())
593 Writer.AddSourceLocation(PL, Record);
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000594
595 // Write out the protocols that are transitively referenced.
596 Record.push_back(Data.AllReferencedProtocols.size());
597 for (ObjCList<ObjCProtocolDecl>::iterator
598 P = Data.AllReferencedProtocols.begin(),
599 PEnd = Data.AllReferencedProtocols.end();
600 P != PEnd; ++P)
601 Writer.AddDeclRef(*P, Record);
Douglas Gregord3297242013-01-16 23:00:23 +0000602
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000603
Douglas Gregord3297242013-01-16 23:00:23 +0000604 if (ObjCCategoryDecl *Cat = D->getCategoryListRaw()) {
Douglas Gregorcff9f262012-01-27 01:47:08 +0000605 // Ensure that we write out the set of categories for this class.
606 Writer.ObjCClassesWithCategories.insert(D);
607
608 // Make sure that the categories get serialized.
Douglas Gregord3297242013-01-16 23:00:23 +0000609 for (; Cat; Cat = Cat->getNextClassCategoryRaw())
Douglas Gregorcff9f262012-01-27 01:47:08 +0000610 (void)Writer.GetDeclRef(Cat);
611 }
Douglas Gregor2e5c15b2011-12-15 05:27:12 +0000612 }
613
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000614 Code = serialization::DECL_OBJC_INTERFACE;
Chris Lattner12b1c762009-04-27 06:16:06 +0000615}
616
Sebastian Redl3397c552010-08-18 23:56:27 +0000617void ASTDeclWriter::VisitObjCIvarDecl(ObjCIvarDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000618 VisitFieldDecl(D);
619 // FIXME: stable encoding for @public/@private/@protected/@package
Mike Stump1eb44332009-09-09 15:08:12 +0000620 Record.push_back(D->getAccessControl());
Fariborz Jahanianac0021b2010-07-17 18:35:47 +0000621 Record.push_back(D->getSynthesize());
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000622
623 if (!D->hasAttrs() &&
624 !D->isImplicit() &&
625 !D->isUsed(false) &&
626 !D->isInvalidDecl() &&
627 !D->isReferenced() &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000628 !D->isModulePrivate() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000629 !D->getBitWidth() &&
630 !D->hasExtInfo() &&
631 D->getDeclName())
632 AbbrevToUse = Writer.getDeclObjCIvarAbbrev();
633
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000634 Code = serialization::DECL_OBJC_IVAR;
Chris Lattner12b1c762009-04-27 06:16:06 +0000635}
636
Sebastian Redl3397c552010-08-18 23:56:27 +0000637void ASTDeclWriter::VisitObjCProtocolDecl(ObjCProtocolDecl *D) {
Douglas Gregor1d784b22012-01-01 19:51:50 +0000638 VisitRedeclarable(D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000639 VisitObjCContainerDecl(D);
Douglas Gregor5e2a1ff2012-01-01 19:29:29 +0000640
Douglas Gregorc23f8572012-01-15 18:17:48 +0000641 Record.push_back(D->isThisDeclarationADefinition());
642 if (D->isThisDeclarationADefinition()) {
Douglas Gregor5e2a1ff2012-01-01 19:29:29 +0000643 Record.push_back(D->protocol_size());
Stephen Hines651f13c2014-04-23 16:59:28 -0700644 for (const auto *I : D->protocols())
645 Writer.AddDeclRef(I, Record);
646 for (const auto &PL : D->protocol_locs())
647 Writer.AddSourceLocation(PL, Record);
Douglas Gregor5e2a1ff2012-01-01 19:29:29 +0000648 }
649
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000650 Code = serialization::DECL_OBJC_PROTOCOL;
Chris Lattner12b1c762009-04-27 06:16:06 +0000651}
652
Sebastian Redl3397c552010-08-18 23:56:27 +0000653void ASTDeclWriter::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000654 VisitFieldDecl(D);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000655 Code = serialization::DECL_OBJC_AT_DEFS_FIELD;
Chris Lattner12b1c762009-04-27 06:16:06 +0000656}
657
Sebastian Redl3397c552010-08-18 23:56:27 +0000658void ASTDeclWriter::VisitObjCCategoryDecl(ObjCCategoryDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000659 VisitObjCContainerDecl(D);
Douglas Gregorcff9f262012-01-27 01:47:08 +0000660 Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
Fariborz Jahanianaf300292012-02-20 20:09:20 +0000661 Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
662 Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000663 Writer.AddDeclRef(D->getClassInterface(), Record);
664 Record.push_back(D->protocol_size());
Stephen Hines651f13c2014-04-23 16:59:28 -0700665 for (const auto *I : D->protocols())
666 Writer.AddDeclRef(I, Record);
667 for (const auto &PL : D->protocol_locs())
668 Writer.AddSourceLocation(PL, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000669 Code = serialization::DECL_OBJC_CATEGORY;
Chris Lattner12b1c762009-04-27 06:16:06 +0000670}
671
Sebastian Redl3397c552010-08-18 23:56:27 +0000672void ASTDeclWriter::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000673 VisitNamedDecl(D);
674 Writer.AddDeclRef(D->getClassInterface(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000675 Code = serialization::DECL_OBJC_COMPATIBLE_ALIAS;
Chris Lattner12b1c762009-04-27 06:16:06 +0000676}
677
Sebastian Redl3397c552010-08-18 23:56:27 +0000678void ASTDeclWriter::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000679 VisitNamedDecl(D);
Fariborz Jahaniand0502402010-01-21 17:36:00 +0000680 Writer.AddSourceLocation(D->getAtLoc(), Record);
Fariborz Jahanian77bfb8b2012-02-29 22:18:55 +0000681 Writer.AddSourceLocation(D->getLParenLoc(), Record);
John McCall83a230c2010-06-04 20:50:08 +0000682 Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000683 // FIXME: stable encoding
684 Record.push_back((unsigned)D->getPropertyAttributes());
Fariborz Jahanian80aa1cd2010-06-22 23:20:40 +0000685 Record.push_back((unsigned)D->getPropertyAttributesAsWritten());
Chris Lattner12b1c762009-04-27 06:16:06 +0000686 // FIXME: stable encoding
687 Record.push_back((unsigned)D->getPropertyImplementation());
688 Writer.AddDeclarationName(D->getGetterName(), Record);
689 Writer.AddDeclarationName(D->getSetterName(), Record);
690 Writer.AddDeclRef(D->getGetterMethodDecl(), Record);
691 Writer.AddDeclRef(D->getSetterMethodDecl(), Record);
692 Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000693 Code = serialization::DECL_OBJC_PROPERTY;
Chris Lattner12b1c762009-04-27 06:16:06 +0000694}
695
Sebastian Redl3397c552010-08-18 23:56:27 +0000696void ASTDeclWriter::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidisaecae622009-07-27 19:04:32 +0000697 VisitObjCContainerDecl(D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000698 Writer.AddDeclRef(D->getClassInterface(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000699 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner12b1c762009-04-27 06:16:06 +0000700}
701
Sebastian Redl3397c552010-08-18 23:56:27 +0000702void ASTDeclWriter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000703 VisitObjCImplDecl(D);
704 Writer.AddIdentifierRef(D->getIdentifier(), Record);
Argyrios Kyrtzidisc6994002011-12-09 00:31:40 +0000705 Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000706 Code = serialization::DECL_OBJC_CATEGORY_IMPL;
Chris Lattner12b1c762009-04-27 06:16:06 +0000707}
708
Sebastian Redl3397c552010-08-18 23:56:27 +0000709void ASTDeclWriter::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000710 VisitObjCImplDecl(D);
711 Writer.AddDeclRef(D->getSuperClass(), Record);
Argyrios Kyrtzidis2f729002013-05-03 22:31:26 +0000712 Writer.AddSourceLocation(D->getSuperClassLoc(), Record);
Fariborz Jahanianaf300292012-02-20 20:09:20 +0000713 Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
714 Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
John McCallb03527a2012-10-17 04:53:31 +0000715 Record.push_back(D->hasNonZeroConstructors());
716 Record.push_back(D->hasDestructors());
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700717 Record.push_back(D->NumIvarInitializers);
718 if (D->NumIvarInitializers)
719 Writer.AddCXXCtorInitializersRef(
720 llvm::makeArrayRef(D->init_begin(), D->init_end()), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000721 Code = serialization::DECL_OBJC_IMPLEMENTATION;
Chris Lattner12b1c762009-04-27 06:16:06 +0000722}
723
Sebastian Redl3397c552010-08-18 23:56:27 +0000724void ASTDeclWriter::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000725 VisitDecl(D);
726 Writer.AddSourceLocation(D->getLocStart(), Record);
727 Writer.AddDeclRef(D->getPropertyDecl(), Record);
728 Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
Douglas Gregora4ffd852010-11-17 01:03:52 +0000729 Writer.AddSourceLocation(D->getPropertyIvarDeclLoc(), Record);
Argyrios Kyrtzidis2f922302010-08-09 10:54:37 +0000730 Writer.AddStmt(D->getGetterCXXConstructor());
731 Writer.AddStmt(D->getSetterCXXAssignment());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000732 Code = serialization::DECL_OBJC_PROPERTY_IMPL;
Chris Lattner12b1c762009-04-27 06:16:06 +0000733}
734
Sebastian Redl3397c552010-08-18 23:56:27 +0000735void ASTDeclWriter::VisitFieldDecl(FieldDecl *D) {
Argyrios Kyrtzidisd4a7e542009-08-19 01:28:35 +0000736 VisitDeclaratorDecl(D);
Chris Lattner12b1c762009-04-27 06:16:06 +0000737 Record.push_back(D->isMutable());
Stephen Hines176edba2014-12-01 14:53:08 -0800738 if (D->InitStorage.getInt() == FieldDecl::ISK_BitWidthOrNothing &&
739 D->InitStorage.getPointer() == nullptr) {
Richard Smithca523302012-06-10 03:12:00 +0000740 Record.push_back(0);
Stephen Hines176edba2014-12-01 14:53:08 -0800741 } else if (D->InitStorage.getInt() == FieldDecl::ISK_CapturedVLAType) {
742 Record.push_back(D->InitStorage.getInt() + 1);
743 Writer.AddTypeRef(
744 QualType(static_cast<Type *>(D->InitStorage.getPointer()), 0),
745 Record);
746 } else {
747 Record.push_back(D->InitStorage.getInt() + 1);
748 Writer.AddStmt(static_cast<Expr *>(D->InitStorage.getPointer()));
Richard Smithca523302012-06-10 03:12:00 +0000749 }
Argyrios Kyrtzidisc91e9f42010-07-04 21:44:35 +0000750 if (!D->getDeclName())
751 Writer.AddDeclRef(Context.getInstantiatedFromUnnamedFieldDecl(D), Record);
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000752
753 if (!D->hasAttrs() &&
754 !D->isImplicit() &&
755 !D->isUsed(false) &&
756 !D->isInvalidDecl() &&
757 !D->isReferenced() &&
Argyrios Kyrtzidisbcf8df82011-11-23 21:11:23 +0000758 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000759 !D->isModulePrivate() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000760 !D->getBitWidth() &&
Richard Smith7a614d82011-06-11 17:19:42 +0000761 !D->hasInClassInitializer() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000762 !D->hasExtInfo() &&
763 !ObjCIvarDecl::classofKind(D->getKind()) &&
764 !ObjCAtDefsFieldDecl::classofKind(D->getKind()) &&
765 D->getDeclName())
766 AbbrevToUse = Writer.getDeclFieldAbbrev();
767
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000768 Code = serialization::DECL_FIELD;
Chris Lattner12b1c762009-04-27 06:16:06 +0000769}
770
John McCall76da55d2013-04-16 07:28:30 +0000771void ASTDeclWriter::VisitMSPropertyDecl(MSPropertyDecl *D) {
772 VisitDeclaratorDecl(D);
773 Writer.AddIdentifierRef(D->getGetterId(), Record);
774 Writer.AddIdentifierRef(D->getSetterId(), Record);
775 Code = serialization::DECL_MS_PROPERTY;
776}
777
Francois Pichet87c2e122010-11-21 06:08:52 +0000778void ASTDeclWriter::VisitIndirectFieldDecl(IndirectFieldDecl *D) {
779 VisitValueDecl(D);
780 Record.push_back(D->getChainingSize());
781
Stephen Hines651f13c2014-04-23 16:59:28 -0700782 for (const auto *P : D->chain())
783 Writer.AddDeclRef(P, Record);
Francois Pichet87c2e122010-11-21 06:08:52 +0000784 Code = serialization::DECL_INDIRECTFIELD;
785}
786
Sebastian Redl3397c552010-08-18 23:56:27 +0000787void ASTDeclWriter::VisitVarDecl(VarDecl *D) {
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +0000788 VisitRedeclarable(D);
Douglas Gregord488b3a2011-10-26 17:53:41 +0000789 VisitDeclaratorDecl(D);
Rafael Espindolad2615cc2013-04-03 19:27:57 +0000790 Record.push_back(D->getStorageClass());
Enea Zaffanelladc173842013-05-04 08:27:07 +0000791 Record.push_back(D->getTSCSpec());
Sebastian Redl5b9cc5d2012-02-11 23:51:47 +0000792 Record.push_back(D->getInitStyle());
Douglas Gregor324b54d2010-05-03 18:51:14 +0000793 Record.push_back(D->isExceptionVariable());
Douglas Gregor5077c382010-05-15 06:01:05 +0000794 Record.push_back(D->isNRVOVariable());
Richard Smithad762fc2011-04-14 22:09:26 +0000795 Record.push_back(D->isCXXForRangeDecl());
John McCall7acddac2011-06-17 06:42:21 +0000796 Record.push_back(D->isARCPseudoStrong());
Douglas Gregor67d45ec2012-09-20 23:43:29 +0000797 Record.push_back(D->isConstexpr());
Richard Smith04fa7a32013-09-28 04:02:39 +0000798 Record.push_back(D->isInitCapture());
Richard Smithdd9459f2013-08-13 18:18:50 +0000799 Record.push_back(D->isPreviousDeclInSameBlockScope());
Rafael Espindola181e3ec2013-05-13 00:12:11 +0000800 Record.push_back(D->getLinkageInternal());
Douglas Gregor67d45ec2012-09-20 23:43:29 +0000801
Richard Smith099e7f62011-12-19 06:19:21 +0000802 if (D->getInit()) {
803 Record.push_back(!D->isInitKnownICE() ? 1 : (D->isInitICE() ? 3 : 2));
Chris Lattner12b1c762009-04-27 06:16:06 +0000804 Writer.AddStmt(D->getInit());
Richard Smith099e7f62011-12-19 06:19:21 +0000805 } else {
806 Record.push_back(0);
807 }
Larisse Voufo4a919892013-08-14 03:09:19 +0000808
809 enum {
810 VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
811 };
812 if (VarTemplateDecl *TemplD = D->getDescribedVarTemplate()) {
813 Record.push_back(VarTemplate);
814 Writer.AddDeclRef(TemplD, Record);
815 } else if (MemberSpecializationInfo *SpecInfo
816 = D->getMemberSpecializationInfo()) {
817 Record.push_back(StaticDataMemberSpecialization);
Argyrios Kyrtzidis9421adc2010-07-04 21:44:00 +0000818 Writer.AddDeclRef(SpecInfo->getInstantiatedFrom(), Record);
819 Record.push_back(SpecInfo->getTemplateSpecializationKind());
820 Writer.AddSourceLocation(SpecInfo->getPointOfInstantiation(), Record);
Larisse Voufo4a919892013-08-14 03:09:19 +0000821 } else {
822 Record.push_back(VarNotTemplate);
Argyrios Kyrtzidis9421adc2010-07-04 21:44:00 +0000823 }
824
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000825 if (!D->hasAttrs() &&
826 !D->isImplicit() &&
827 !D->isUsed(false) &&
828 !D->isInvalidDecl() &&
829 !D->isReferenced() &&
Argyrios Kyrtzidisbcf8df82011-11-23 21:11:23 +0000830 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000831 D->getAccess() == AS_none &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000832 !D->isModulePrivate() &&
Stephen Hines176edba2014-12-01 14:53:08 -0800833 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000834 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
835 !D->hasExtInfo() &&
Rafael Espindolabc650912013-10-17 15:37:26 +0000836 D->getFirstDecl() == D->getMostRecentDecl() &&
Sebastian Redl5b9cc5d2012-02-11 23:51:47 +0000837 D->getInitStyle() == VarDecl::CInit &&
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700838 D->getInit() == nullptr &&
John McCall7acddac2011-06-17 06:42:21 +0000839 !isa<ParmVarDecl>(D) &&
Larisse Voufo439d6652013-08-13 02:02:26 +0000840 !isa<VarTemplateSpecializationDecl>(D) &&
Douglas Gregor67d45ec2012-09-20 23:43:29 +0000841 !D->isConstexpr() &&
Richard Smith04fa7a32013-09-28 04:02:39 +0000842 !D->isInitCapture() &&
Richard Smithdd9459f2013-08-13 18:18:50 +0000843 !D->isPreviousDeclInSameBlockScope() &&
Larisse Voufo4a919892013-08-14 03:09:19 +0000844 !D->getMemberSpecializationInfo())
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000845 AbbrevToUse = Writer.getDeclVarAbbrev();
846
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000847 Code = serialization::DECL_VAR;
Chris Lattner12b1c762009-04-27 06:16:06 +0000848}
849
Sebastian Redl3397c552010-08-18 23:56:27 +0000850void ASTDeclWriter::VisitImplicitParamDecl(ImplicitParamDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000851 VisitVarDecl(D);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000852 Code = serialization::DECL_IMPLICIT_PARAM;
Chris Lattner12b1c762009-04-27 06:16:06 +0000853}
854
Sebastian Redl3397c552010-08-18 23:56:27 +0000855void ASTDeclWriter::VisitParmVarDecl(ParmVarDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000856 VisitVarDecl(D);
John McCall70798862011-05-02 00:30:12 +0000857 Record.push_back(D->isObjCMethodParameter());
John McCallfb44de92011-05-01 22:35:37 +0000858 Record.push_back(D->getFunctionScopeDepth());
859 Record.push_back(D->getFunctionScopeIndex());
Chris Lattner12b1c762009-04-27 06:16:06 +0000860 Record.push_back(D->getObjCDeclQualifier()); // FIXME: stable encoding
John McCalleecf5fa2011-03-09 04:22:44 +0000861 Record.push_back(D->isKNRPromoted());
John McCallbf73b352010-03-12 18:31:32 +0000862 Record.push_back(D->hasInheritedDefaultArg());
Argyrios Kyrtzidis691d77f2010-07-04 21:44:07 +0000863 Record.push_back(D->hasUninstantiatedDefaultArg());
864 if (D->hasUninstantiatedDefaultArg())
865 Writer.AddStmt(D->getUninstantiatedDefaultArg());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000866 Code = serialization::DECL_PARM_VAR;
Mike Stump1eb44332009-09-09 15:08:12 +0000867
John McCall7acddac2011-06-17 06:42:21 +0000868 assert(!D->isARCPseudoStrong()); // can be true of ImplicitParamDecl
869
Chris Lattnerea5ce472009-04-27 07:35:58 +0000870 // If the assumptions about the DECL_PARM_VAR abbrev are true, use it. Here
871 // we dynamically check for the properties that we optimize for, but don't
872 // know are true of all PARM_VAR_DECLs.
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000873 if (!D->hasAttrs() &&
874 !D->hasExtInfo() &&
Chris Lattnerea5ce472009-04-27 07:35:58 +0000875 !D->isImplicit() &&
Douglas Gregorc070cc62010-06-17 23:14:26 +0000876 !D->isUsed(false) &&
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +0000877 !D->isInvalidDecl() &&
Eli Friedmandd9d6452012-01-13 23:41:25 +0000878 !D->isReferenced() &&
Chris Lattnerea5ce472009-04-27 07:35:58 +0000879 D->getAccess() == AS_none &&
Douglas Gregor8d267c52011-09-09 02:06:17 +0000880 !D->isModulePrivate() &&
Chris Lattnerea5ce472009-04-27 07:35:58 +0000881 D->getStorageClass() == 0 &&
Sebastian Redl5b9cc5d2012-02-11 23:51:47 +0000882 D->getInitStyle() == VarDecl::CInit && // Can params have anything else?
John McCall70798862011-05-02 00:30:12 +0000883 D->getFunctionScopeDepth() == 0 &&
John McCallbf73b352010-03-12 18:31:32 +0000884 D->getObjCDeclQualifier() == 0 &&
John McCalleecf5fa2011-03-09 04:22:44 +0000885 !D->isKNRPromoted() &&
Chris Lattner030854b2010-05-09 06:40:08 +0000886 !D->hasInheritedDefaultArg() &&
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700887 D->getInit() == nullptr &&
Argyrios Kyrtzidis691d77f2010-07-04 21:44:07 +0000888 !D->hasUninstantiatedDefaultArg()) // No default expr.
Jonathan D. Turner953c5642011-06-03 23:11:16 +0000889 AbbrevToUse = Writer.getDeclParmVarAbbrev();
Chris Lattnerea5ce472009-04-27 07:35:58 +0000890
891 // Check things we know are true of *every* PARM_VAR_DECL, which is more than
892 // just us assuming it.
Enea Zaffanelladc173842013-05-04 08:27:07 +0000893 assert(!D->getTSCSpec() && "PARM_VAR_DECL can't use TLS");
Chris Lattnerea5ce472009-04-27 07:35:58 +0000894 assert(D->getAccess() == AS_none && "PARM_VAR_DECL can't be public/private");
Douglas Gregor324b54d2010-05-03 18:51:14 +0000895 assert(!D->isExceptionVariable() && "PARM_VAR_DECL can't be exception var");
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700896 assert(D->getPreviousDecl() == nullptr && "PARM_VAR_DECL can't be redecl");
Argyrios Kyrtzidis9421adc2010-07-04 21:44:00 +0000897 assert(!D->isStaticDataMember() &&
898 "PARM_VAR_DECL can't be static data member");
Chris Lattner12b1c762009-04-27 06:16:06 +0000899}
900
Sebastian Redl3397c552010-08-18 23:56:27 +0000901void ASTDeclWriter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000902 VisitDecl(D);
903 Writer.AddStmt(D->getAsmString());
Abramo Bagnara21e006e2011-03-03 14:20:18 +0000904 Writer.AddSourceLocation(D->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000905 Code = serialization::DECL_FILE_SCOPE_ASM;
Chris Lattner12b1c762009-04-27 06:16:06 +0000906}
907
Michael Han684aa732013-02-22 17:15:32 +0000908void ASTDeclWriter::VisitEmptyDecl(EmptyDecl *D) {
909 VisitDecl(D);
910 Code = serialization::DECL_EMPTY;
911}
912
Sebastian Redl3397c552010-08-18 23:56:27 +0000913void ASTDeclWriter::VisitBlockDecl(BlockDecl *D) {
Chris Lattner12b1c762009-04-27 06:16:06 +0000914 VisitDecl(D);
915 Writer.AddStmt(D->getBody());
John McCall82dc0092010-06-04 11:21:44 +0000916 Writer.AddTypeSourceInfo(D->getSignatureAsWritten(), Record);
Chris Lattner12b1c762009-04-27 06:16:06 +0000917 Record.push_back(D->param_size());
918 for (FunctionDecl::param_iterator P = D->param_begin(), PEnd = D->param_end();
919 P != PEnd; ++P)
920 Writer.AddDeclRef(*P, Record);
John McCallb8896142012-04-13 17:33:29 +0000921 Record.push_back(D->isVariadic());
922 Record.push_back(D->blockMissingReturnType());
923 Record.push_back(D->isConversionFromLambda());
John McCall469a1eb2011-02-02 13:00:07 +0000924 Record.push_back(D->capturesCXXThis());
John McCall6b5a61b2011-02-07 10:33:21 +0000925 Record.push_back(D->getNumCaptures());
Stephen Hines651f13c2014-04-23 16:59:28 -0700926 for (const auto &capture : D->captures()) {
John McCall6b5a61b2011-02-07 10:33:21 +0000927 Writer.AddDeclRef(capture.getVariable(), Record);
928
929 unsigned flags = 0;
930 if (capture.isByRef()) flags |= 1;
931 if (capture.isNested()) flags |= 2;
932 if (capture.hasCopyExpr()) flags |= 4;
933 Record.push_back(flags);
934
935 if (capture.hasCopyExpr()) Writer.AddStmt(capture.getCopyExpr());
936 }
John McCall469a1eb2011-02-02 13:00:07 +0000937
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000938 Code = serialization::DECL_BLOCK;
Chris Lattner12b1c762009-04-27 06:16:06 +0000939}
940
Ben Langmuirdc5be4f2013-05-03 19:20:19 +0000941void ASTDeclWriter::VisitCapturedDecl(CapturedDecl *CD) {
942 Record.push_back(CD->getNumParams());
943 VisitDecl(CD);
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700944 Record.push_back(CD->getContextParamPosition());
945 Record.push_back(CD->isNothrow() ? 1 : 0);
Ben Langmuirdc5be4f2013-05-03 19:20:19 +0000946 // Body is stored by VisitCapturedStmt.
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700947 for (unsigned I = 0; I < CD->getNumParams(); ++I)
948 Writer.AddDeclRef(CD->getParam(I), Record);
Ben Langmuirdc5be4f2013-05-03 19:20:19 +0000949 Code = serialization::DECL_CAPTURED;
Tareq A. Siraj6afcf882013-04-16 19:37:38 +0000950}
951
Sebastian Redl3397c552010-08-18 23:56:27 +0000952void ASTDeclWriter::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000953 VisitDecl(D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000954 Record.push_back(D->getLanguage());
Abramo Bagnaraa2026c92011-03-08 16:41:52 +0000955 Writer.AddSourceLocation(D->getExternLoc(), Record);
Abramo Bagnara5f6bcbe2011-03-03 14:52:38 +0000956 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000957 Code = serialization::DECL_LINKAGE_SPEC;
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000958}
959
Chris Lattnerad8dcf42011-02-17 07:39:24 +0000960void ASTDeclWriter::VisitLabelDecl(LabelDecl *D) {
961 VisitNamedDecl(D);
Abramo Bagnara67843042011-03-05 18:21:20 +0000962 Writer.AddSourceLocation(D->getLocStart(), Record);
Chris Lattnerad8dcf42011-02-17 07:39:24 +0000963 Code = serialization::DECL_LABEL;
964}
965
966
Sebastian Redl3397c552010-08-18 23:56:27 +0000967void ASTDeclWriter::VisitNamespaceDecl(NamespaceDecl *D) {
Douglas Gregorf5c9f9f2012-01-07 09:11:48 +0000968 VisitRedeclarable(D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000969 VisitNamedDecl(D);
Douglas Gregor0a0c3e72010-10-05 20:41:58 +0000970 Record.push_back(D->isInline());
Abramo Bagnaraacba90f2011-03-08 12:38:20 +0000971 Writer.AddSourceLocation(D->getLocStart(), Record);
972 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000973
Chris Lattner6ad9ac02010-05-07 21:43:38 +0000974 if (D->isOriginalNamespace())
975 Writer.AddDeclRef(D->getAnonymousNamespace(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000976 Code = serialization::DECL_NAMESPACE;
Sebastian Redla7be5062010-08-05 21:22:19 +0000977
978 if (Writer.hasChain() && !D->isOriginalNamespace() &&
Douglas Gregor919814d2011-09-09 23:01:35 +0000979 D->getOriginalNamespace()->isFromASTFile()) {
Argyrios Kyrtzidis0ad6dc32010-10-20 16:22:56 +0000980 NamespaceDecl *NS = D->getOriginalNamespace();
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700981 Writer.UpdatedDeclContexts.insert(NS);
Argyrios Kyrtzidis0ad6dc32010-10-20 16:22:56 +0000982
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700983 // Make sure all visible decls are written. They will be recorded later. We
984 // do this using a side data structure so we can sort the names into
985 // a deterministic order.
986 StoredDeclsMap *Map = NS->buildLookup();
987 SmallVector<std::pair<DeclarationName, DeclContext::lookup_result>, 16>
988 LookupResults;
989 LookupResults.reserve(Map->size());
990 for (auto &Entry : *Map)
991 LookupResults.push_back(
992 std::make_pair(Entry.first, Entry.second.getLookupResult()));
993
994 std::sort(LookupResults.begin(), LookupResults.end(), llvm::less_first());
995 for (auto &NameAndResult : LookupResults) {
996 DeclarationName Name = NameAndResult.first;
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700997 DeclContext::lookup_result Result = NameAndResult.second;
Pirama Arumuga Nainar33337ca2015-05-06 11:48:57 -0700998 if (Name.getNameKind() == DeclarationName::CXXConstructorName ||
999 Name.getNameKind() == DeclarationName::CXXConversionFunctionName) {
1000 // We have to work around a name lookup bug here where negative lookup
1001 // results for these names get cached in namespace lookup tables.
1002 assert(Result.empty() && "Cannot have a constructor or conversion "
1003 "function name in a namespace!");
1004 continue;
1005 }
1006
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001007 for (NamedDecl *ND : Result)
1008 Writer.GetDeclRef(ND);
Argyrios Kyrtzidis0ad6dc32010-10-20 16:22:56 +00001009 }
Sebastian Redla7be5062010-08-05 21:22:19 +00001010 }
Sebastian Redl7c0837f2011-04-24 16:28:13 +00001011
Douglas Gregorf5c9f9f2012-01-07 09:11:48 +00001012 if (Writer.hasChain() && D->isAnonymousNamespace() &&
Douglas Gregoref96ee02012-01-14 16:38:05 +00001013 D == D->getMostRecentDecl()) {
Sebastian Redl74b485a2011-04-24 16:28:21 +00001014 // This is a most recent reopening of the anonymous namespace. If its parent
1015 // is in a previous PCH (or is the TU), mark that parent for update, because
1016 // the original namespace always points to the latest re-opening of its
1017 // anonymous namespace.
1018 Decl *Parent = cast<Decl>(
1019 D->getParent()->getRedeclContext()->getPrimaryContext());
Douglas Gregor919814d2011-09-09 23:01:35 +00001020 if (Parent->isFromASTFile() || isa<TranslationUnitDecl>(Parent)) {
Stephen Hines651f13c2014-04-23 16:59:28 -07001021 Writer.DeclUpdates[Parent].push_back(
1022 ASTWriter::DeclUpdate(UPD_CXX_ADDED_ANONYMOUS_NAMESPACE, D));
Sebastian Redl7c0837f2011-04-24 16:28:13 +00001023 }
1024 }
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001025}
1026
Sebastian Redl3397c552010-08-18 23:56:27 +00001027void ASTDeclWriter::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Stephen Hines176edba2014-12-01 14:53:08 -08001028 VisitRedeclarable(D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001029 VisitNamedDecl(D);
Douglas Gregor8ea5b9d2010-09-01 00:08:19 +00001030 Writer.AddSourceLocation(D->getNamespaceLoc(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001031 Writer.AddSourceLocation(D->getTargetNameLoc(), Record);
Douglas Gregor0cfaf6a2011-02-25 17:08:07 +00001032 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001033 Writer.AddDeclRef(D->getNamespace(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001034 Code = serialization::DECL_NAMESPACE_ALIAS;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001035}
1036
Sebastian Redl3397c552010-08-18 23:56:27 +00001037void ASTDeclWriter::VisitUsingDecl(UsingDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001038 VisitNamedDecl(D);
Enea Zaffanella8d030c72013-07-22 10:54:09 +00001039 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Douglas Gregordc355712011-02-25 00:36:19 +00001040 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +00001041 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Benjamin Kramer9bc6fb62012-01-07 19:09:05 +00001042 Writer.AddDeclRef(D->FirstUsingShadow.getPointer(), Record);
Enea Zaffanella8d030c72013-07-22 10:54:09 +00001043 Record.push_back(D->hasTypename());
Argyrios Kyrtzidisc91e9f42010-07-04 21:44:35 +00001044 Writer.AddDeclRef(Context.getInstantiatedFromUsingDecl(D), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001045 Code = serialization::DECL_USING;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001046}
1047
Sebastian Redl3397c552010-08-18 23:56:27 +00001048void ASTDeclWriter::VisitUsingShadowDecl(UsingShadowDecl *D) {
Richard Smithf06a28932013-10-23 02:17:46 +00001049 VisitRedeclarable(D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001050 VisitNamedDecl(D);
1051 Writer.AddDeclRef(D->getTargetDecl(), Record);
Argyrios Kyrtzidis826faa22010-11-10 05:40:41 +00001052 Writer.AddDeclRef(D->UsingOrNextShadow, Record);
Argyrios Kyrtzidisc91e9f42010-07-04 21:44:35 +00001053 Writer.AddDeclRef(Context.getInstantiatedFromUsingShadowDecl(D), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001054 Code = serialization::DECL_USING_SHADOW;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001055}
1056
Sebastian Redl3397c552010-08-18 23:56:27 +00001057void ASTDeclWriter::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001058 VisitNamedDecl(D);
Douglas Gregor0a35bce2010-09-01 03:07:18 +00001059 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001060 Writer.AddSourceLocation(D->getNamespaceKeyLocation(), Record);
Douglas Gregordb992412011-02-25 16:33:46 +00001061 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001062 Writer.AddDeclRef(D->getNominatedNamespace(), Record);
1063 Writer.AddDeclRef(dyn_cast<Decl>(D->getCommonAncestor()), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001064 Code = serialization::DECL_USING_DIRECTIVE;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001065}
1066
Sebastian Redl3397c552010-08-18 23:56:27 +00001067void ASTDeclWriter::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001068 VisitValueDecl(D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001069 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Douglas Gregordc355712011-02-25 00:36:19 +00001070 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +00001071 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001072 Code = serialization::DECL_UNRESOLVED_USING_VALUE;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001073}
1074
Sebastian Redl3397c552010-08-18 23:56:27 +00001075void ASTDeclWriter::VisitUnresolvedUsingTypenameDecl(
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001076 UnresolvedUsingTypenameDecl *D) {
1077 VisitTypeDecl(D);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001078 Writer.AddSourceLocation(D->getTypenameLoc(), Record);
Douglas Gregordc355712011-02-25 00:36:19 +00001079 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001080 Code = serialization::DECL_UNRESOLVED_USING_TYPENAME;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001081}
1082
Sebastian Redl3397c552010-08-18 23:56:27 +00001083void ASTDeclWriter::VisitCXXRecordDecl(CXXRecordDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001084 VisitRecordDecl(D);
Argyrios Kyrtzidis37ffed32010-07-02 11:55:32 +00001085
Argyrios Kyrtzidis90b715e2010-06-19 19:28:53 +00001086 enum {
1087 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1088 };
1089 if (ClassTemplateDecl *TemplD = D->getDescribedClassTemplate()) {
1090 Record.push_back(CXXRecTemplate);
1091 Writer.AddDeclRef(TemplD, Record);
1092 } else if (MemberSpecializationInfo *MSInfo
1093 = D->getMemberSpecializationInfo()) {
1094 Record.push_back(CXXRecMemberSpecialization);
1095 Writer.AddDeclRef(MSInfo->getInstantiatedFrom(), Record);
1096 Record.push_back(MSInfo->getTemplateSpecializationKind());
1097 Writer.AddSourceLocation(MSInfo->getPointOfInstantiation(), Record);
1098 } else {
1099 Record.push_back(CXXRecNotTemplate);
1100 }
1101
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001102 Record.push_back(D->isThisDeclarationADefinition());
1103 if (D->isThisDeclarationADefinition())
1104 Writer.AddCXXDefinitionData(D, Record);
1105
John McCalld5617ee2013-01-25 22:31:03 +00001106 // Store (what we currently believe to be) the key function to avoid
1107 // deserializing every method so we can compute it.
John McCall5e1cdac2011-10-07 06:10:15 +00001108 if (D->IsCompleteDefinition)
John McCalld5617ee2013-01-25 22:31:03 +00001109 Writer.AddDeclRef(Context.getCurrentKeyFunction(D), Record);
Argyrios Kyrtzidis36d2fd42010-10-14 20:14:38 +00001110
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001111 Code = serialization::DECL_CXX_RECORD;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001112}
1113
Sebastian Redl3397c552010-08-18 23:56:27 +00001114void ASTDeclWriter::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001115 VisitFunctionDecl(D);
Argyrios Kyrtzidis716c8df2012-10-12 05:31:40 +00001116 if (D->isCanonicalDecl()) {
1117 Record.push_back(D->size_overridden_methods());
1118 for (CXXMethodDecl::method_iterator
1119 I = D->begin_overridden_methods(), E = D->end_overridden_methods();
1120 I != E; ++I)
1121 Writer.AddDeclRef(*I, Record);
1122 } else {
1123 // We only need to record overridden methods once for the canonical decl.
1124 Record.push_back(0);
1125 }
Stephen Hines176edba2014-12-01 14:53:08 -08001126
1127 if (D->getFirstDecl() == D->getMostRecentDecl() &&
1128 !D->isInvalidDecl() &&
1129 !D->hasAttrs() &&
1130 !D->isTopLevelDeclInObjCContainer() &&
1131 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
1132 !D->hasExtInfo() &&
1133 !D->hasInheritedPrototype() &&
1134 D->hasWrittenPrototype())
1135 AbbrevToUse = Writer.getDeclCXXMethodAbbrev();
1136
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001137 Code = serialization::DECL_CXX_METHOD;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001138}
1139
Sebastian Redl3397c552010-08-18 23:56:27 +00001140void ASTDeclWriter::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001141 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +00001142
Stephen Hines651f13c2014-04-23 16:59:28 -07001143 Writer.AddDeclRef(D->getInheritedConstructor(), Record);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +00001144 Record.push_back(D->IsExplicitSpecified);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +00001145
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001146 Code = serialization::DECL_CXX_CONSTRUCTOR;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001147}
1148
Sebastian Redl3397c552010-08-18 23:56:27 +00001149void ASTDeclWriter::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001150 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +00001151
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001152 Writer.AddDeclRef(D->getOperatorDelete(), Record);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +00001153
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001154 Code = serialization::DECL_CXX_DESTRUCTOR;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001155}
1156
Sebastian Redl3397c552010-08-18 23:56:27 +00001157void ASTDeclWriter::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001158 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis91468322010-07-02 15:58:43 +00001159 Record.push_back(D->IsExplicitSpecified);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001160 Code = serialization::DECL_CXX_CONVERSION;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001161}
1162
Douglas Gregor15de72c2011-12-02 23:23:56 +00001163void ASTDeclWriter::VisitImportDecl(ImportDecl *D) {
1164 VisitDecl(D);
Argyrios Kyrtzidisbebae7c2012-10-03 01:58:45 +00001165 Record.push_back(Writer.getSubmoduleID(D->getImportedModule()));
Douglas Gregor15de72c2011-12-02 23:23:56 +00001166 ArrayRef<SourceLocation> IdentifierLocs = D->getIdentifierLocs();
1167 Record.push_back(!IdentifierLocs.empty());
1168 if (IdentifierLocs.empty()) {
1169 Writer.AddSourceLocation(D->getLocEnd(), Record);
1170 Record.push_back(1);
1171 } else {
1172 for (unsigned I = 0, N = IdentifierLocs.size(); I != N; ++I)
1173 Writer.AddSourceLocation(IdentifierLocs[I], Record);
1174 Record.push_back(IdentifierLocs.size());
1175 }
1176 // Note: the number of source locations must always be the last element in
1177 // the record.
1178 Code = serialization::DECL_IMPORT;
1179}
1180
Sebastian Redl3397c552010-08-18 23:56:27 +00001181void ASTDeclWriter::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnara6206d532010-06-05 05:09:32 +00001182 VisitDecl(D);
1183 Writer.AddSourceLocation(D->getColonLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001184 Code = serialization::DECL_ACCESS_SPEC;
Abramo Bagnara6206d532010-06-05 05:09:32 +00001185}
1186
Sebastian Redl3397c552010-08-18 23:56:27 +00001187void ASTDeclWriter::VisitFriendDecl(FriendDecl *D) {
Enea Zaffanella8c840282013-01-31 09:54:08 +00001188 // Record the number of friend type template parameter lists here
1189 // so as to simplify memory allocation during deserialization.
1190 Record.push_back(D->NumTPLists);
Argyrios Kyrtzidisc8f9af22010-07-05 10:38:01 +00001191 VisitDecl(D);
Enea Zaffanella8c840282013-01-31 09:54:08 +00001192 bool hasFriendDecl = D->Friend.is<NamedDecl*>();
1193 Record.push_back(hasFriendDecl);
1194 if (hasFriendDecl)
1195 Writer.AddDeclRef(D->getFriendDecl(), Record);
Argyrios Kyrtzidis67643342010-06-29 22:47:00 +00001196 else
Enea Zaffanella8c840282013-01-31 09:54:08 +00001197 Writer.AddTypeSourceInfo(D->getFriendType(), Record);
1198 for (unsigned i = 0; i < D->NumTPLists; ++i)
1199 Writer.AddTemplateParameterList(D->getFriendTypeTemplateParameterList(i),
1200 Record);
Douglas Gregor69aecc62010-10-27 20:23:41 +00001201 Writer.AddDeclRef(D->getNextFriend(), Record);
John McCall6102ca12010-10-16 06:59:13 +00001202 Record.push_back(D->UnsupportedFriend);
Argyrios Kyrtzidis67643342010-06-29 22:47:00 +00001203 Writer.AddSourceLocation(D->FriendLoc, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001204 Code = serialization::DECL_FRIEND;
Argyrios Kyrtzidis67643342010-06-29 22:47:00 +00001205}
1206
Sebastian Redl3397c552010-08-18 23:56:27 +00001207void ASTDeclWriter::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis554e6aa2010-07-22 16:04:10 +00001208 VisitDecl(D);
1209 Record.push_back(D->getNumTemplateParameters());
1210 for (unsigned i = 0, e = D->getNumTemplateParameters(); i != e; ++i)
1211 Writer.AddTemplateParameterList(D->getTemplateParameterList(i), Record);
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001212 Record.push_back(D->getFriendDecl() != nullptr);
Argyrios Kyrtzidis554e6aa2010-07-22 16:04:10 +00001213 if (D->getFriendDecl())
1214 Writer.AddDeclRef(D->getFriendDecl(), Record);
1215 else
1216 Writer.AddTypeSourceInfo(D->getFriendType(), Record);
1217 Writer.AddSourceLocation(D->getFriendLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001218 Code = serialization::DECL_FRIEND_TEMPLATE;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001219}
1220
Sebastian Redl3397c552010-08-18 23:56:27 +00001221void ASTDeclWriter::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis90b715e2010-06-19 19:28:53 +00001222 VisitNamedDecl(D);
1223
1224 Writer.AddDeclRef(D->getTemplatedDecl(), Record);
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001225 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001226}
1227
Sebastian Redl3397c552010-08-18 23:56:27 +00001228void ASTDeclWriter::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Douglas Gregor7c99bb5c2012-01-14 15:13:49 +00001229 VisitRedeclarable(D);
1230
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +00001231 // Emit data to initialize CommonOrPrev before VisitTemplateDecl so that
1232 // getCommonPtr() can be used while this is still initializing.
Rafael Espindolabc650912013-10-17 15:37:26 +00001233 if (D->isFirstDecl()) {
Douglas Gregorf63b0a52011-12-19 18:19:24 +00001234 // This declaration owns the 'common' pointer, so serialize that data now.
Peter Collingbourne9eabeba2010-07-29 16:11:51 +00001235 Writer.AddDeclRef(D->getInstantiatedFromMemberTemplate(), Record);
1236 if (D->getInstantiatedFromMemberTemplate())
1237 Record.push_back(D->isMemberSpecialization());
Douglas Gregorf63b0a52011-12-19 18:19:24 +00001238 }
1239
Argyrios Kyrtzidis6b541512010-09-08 19:31:22 +00001240 VisitTemplateDecl(D);
1241 Record.push_back(D->getIdentifierNamespace());
Peter Collingbourne9eabeba2010-07-29 16:11:51 +00001242}
1243
Sebastian Redl3397c552010-08-18 23:56:27 +00001244void ASTDeclWriter::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Peter Collingbourne9eabeba2010-07-29 16:11:51 +00001245 VisitRedeclarableTemplateDecl(D);
1246
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001247 if (D->isFirstDecl())
1248 AddTemplateSpecializations(D);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001249 Code = serialization::DECL_CLASS_TEMPLATE;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001250}
1251
Sebastian Redl3397c552010-08-18 23:56:27 +00001252void ASTDeclWriter::VisitClassTemplateSpecializationDecl(
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001253 ClassTemplateSpecializationDecl *D) {
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001254 VisitCXXRecordDecl(D);
1255
1256 llvm::PointerUnion<ClassTemplateDecl *,
1257 ClassTemplatePartialSpecializationDecl *> InstFrom
1258 = D->getSpecializedTemplateOrPartial();
Argyrios Kyrtzidis28fc50c2011-08-17 21:35:28 +00001259 if (Decl *InstFromD = InstFrom.dyn_cast<ClassTemplateDecl *>()) {
Sebastian Redl4153a062010-08-24 22:50:24 +00001260 Writer.AddDeclRef(InstFromD, Record);
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001261 } else {
Argyrios Kyrtzidis28fc50c2011-08-17 21:35:28 +00001262 Writer.AddDeclRef(InstFrom.get<ClassTemplatePartialSpecializationDecl *>(),
1263 Record);
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001264 Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
1265 }
1266
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001267 Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
1268 Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
1269 Record.push_back(D->getSpecializationKind());
Axel Naumann7b3b95a2012-10-01 07:34:47 +00001270 Record.push_back(D->isCanonicalDecl());
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001271
Argyrios Kyrtzidisbc5ab7c2010-07-20 13:59:40 +00001272 if (D->isCanonicalDecl()) {
1273 // When reading, we'll add it to the folding set of the following template.
Argyrios Kyrtzidisecf966e2010-07-09 21:11:43 +00001274 Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
1275 }
1276
Richard Smithb60fae52013-09-09 16:55:27 +00001277 // Explicit info.
1278 Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
1279 if (D->getTypeAsWritten()) {
1280 Writer.AddSourceLocation(D->getExternLoc(), Record);
1281 Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
1282 }
1283
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001284 Code = serialization::DECL_CLASS_TEMPLATE_SPECIALIZATION;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001285}
1286
Sebastian Redl3397c552010-08-18 23:56:27 +00001287void ASTDeclWriter::VisitClassTemplatePartialSpecializationDecl(
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001288 ClassTemplatePartialSpecializationDecl *D) {
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001289 VisitClassTemplateSpecializationDecl(D);
1290
1291 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Enea Zaffanellac1cef082013-08-10 07:24:53 +00001292 Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001293
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001294 // These are read/set from/to the first declaration.
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001295 if (D->getPreviousDecl() == nullptr) {
Argyrios Kyrtzidisdd41c142010-06-23 13:48:30 +00001296 Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
1297 Record.push_back(D->isMemberSpecialization());
1298 }
1299
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001300 Code = serialization::DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001301}
1302
Larisse Voufoef4579c2013-08-06 01:03:05 +00001303void ASTDeclWriter::VisitVarTemplateDecl(VarTemplateDecl *D) {
1304 VisitRedeclarableTemplateDecl(D);
1305
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001306 if (D->isFirstDecl())
1307 AddTemplateSpecializations(D);
Larisse Voufoef4579c2013-08-06 01:03:05 +00001308 Code = serialization::DECL_VAR_TEMPLATE;
1309}
1310
1311void ASTDeclWriter::VisitVarTemplateSpecializationDecl(
1312 VarTemplateSpecializationDecl *D) {
1313 VisitVarDecl(D);
1314
1315 llvm::PointerUnion<VarTemplateDecl *, VarTemplatePartialSpecializationDecl *>
1316 InstFrom = D->getSpecializedTemplateOrPartial();
1317 if (Decl *InstFromD = InstFrom.dyn_cast<VarTemplateDecl *>()) {
1318 Writer.AddDeclRef(InstFromD, Record);
1319 } else {
1320 Writer.AddDeclRef(InstFrom.get<VarTemplatePartialSpecializationDecl *>(),
1321 Record);
1322 Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
1323 }
1324
1325 // Explicit info.
1326 Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
1327 if (D->getTypeAsWritten()) {
1328 Writer.AddSourceLocation(D->getExternLoc(), Record);
1329 Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
1330 }
1331
1332 Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
1333 Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
1334 Record.push_back(D->getSpecializationKind());
1335 Record.push_back(D->isCanonicalDecl());
1336
1337 if (D->isCanonicalDecl()) {
1338 // When reading, we'll add it to the folding set of the following template.
1339 Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
1340 }
1341
1342 Code = serialization::DECL_VAR_TEMPLATE_SPECIALIZATION;
1343}
1344
1345void ASTDeclWriter::VisitVarTemplatePartialSpecializationDecl(
1346 VarTemplatePartialSpecializationDecl *D) {
1347 VisitVarTemplateSpecializationDecl(D);
1348
1349 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Enea Zaffanellac1cef082013-08-10 07:24:53 +00001350 Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
Larisse Voufoef4579c2013-08-06 01:03:05 +00001351
1352 // These are read/set from/to the first declaration.
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001353 if (D->getPreviousDecl() == nullptr) {
Larisse Voufoef4579c2013-08-06 01:03:05 +00001354 Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
1355 Record.push_back(D->isMemberSpecialization());
1356 }
1357
1358 Code = serialization::DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION;
1359}
1360
Fariborz Jahanian95ed7782011-08-27 20:50:59 +00001361void ASTDeclWriter::VisitClassScopeFunctionSpecializationDecl(
1362 ClassScopeFunctionSpecializationDecl *D) {
Francois Pichetbc845322011-08-17 01:06:54 +00001363 VisitDecl(D);
1364 Writer.AddDeclRef(D->getSpecialization(), Record);
1365 Code = serialization::DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION;
1366}
1367
1368
Sebastian Redl3397c552010-08-18 23:56:27 +00001369void ASTDeclWriter::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Peter Collingbourne9eabeba2010-07-29 16:11:51 +00001370 VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidisf511ba62010-06-22 09:55:07 +00001371
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001372 if (D->isFirstDecl())
1373 AddTemplateSpecializations(D);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001374 Code = serialization::DECL_FUNCTION_TEMPLATE;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001375}
1376
Sebastian Redl3397c552010-08-18 23:56:27 +00001377void ASTDeclWriter::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis90b715e2010-06-19 19:28:53 +00001378 VisitTypeDecl(D);
1379
1380 Record.push_back(D->wasDeclaredWithTypename());
Argyrios Kyrtzidis90b715e2010-06-19 19:28:53 +00001381 Record.push_back(D->defaultArgumentWasInherited());
1382 Writer.AddTypeSourceInfo(D->getDefaultArgumentInfo(), Record);
1383
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001384 Code = serialization::DECL_TEMPLATE_TYPE_PARM;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001385}
1386
Sebastian Redl3397c552010-08-18 23:56:27 +00001387void ASTDeclWriter::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
Douglas Gregor6952f1e2011-01-19 20:10:05 +00001388 // For an expanded parameter pack, record the number of expansion types here
Richard Smith6964b3f2012-09-07 02:06:42 +00001389 // so that it's easier for deserialization to allocate the right amount of
1390 // memory.
Douglas Gregor6952f1e2011-01-19 20:10:05 +00001391 if (D->isExpandedParameterPack())
1392 Record.push_back(D->getNumExpansionTypes());
1393
John McCall76a40212011-02-09 01:13:10 +00001394 VisitDeclaratorDecl(D);
Argyrios Kyrtzidisb24e1992010-06-25 16:25:09 +00001395 // TemplateParmPosition.
1396 Record.push_back(D->getDepth());
1397 Record.push_back(D->getPosition());
Douglas Gregor6952f1e2011-01-19 20:10:05 +00001398
1399 if (D->isExpandedParameterPack()) {
1400 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
1401 Writer.AddTypeRef(D->getExpansionType(I), Record);
1402 Writer.AddTypeSourceInfo(D->getExpansionTypeSourceInfo(I), Record);
1403 }
1404
1405 Code = serialization::DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK;
1406 } else {
1407 // Rest of NonTypeTemplateParmDecl.
1408 Record.push_back(D->isParameterPack());
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001409 Record.push_back(D->getDefaultArgument() != nullptr);
Douglas Gregor6952f1e2011-01-19 20:10:05 +00001410 if (D->getDefaultArgument()) {
1411 Writer.AddStmt(D->getDefaultArgument());
1412 Record.push_back(D->defaultArgumentWasInherited());
1413 }
1414 Code = serialization::DECL_NON_TYPE_TEMPLATE_PARM;
Argyrios Kyrtzidisb24e1992010-06-25 16:25:09 +00001415 }
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001416}
1417
Sebastian Redl3397c552010-08-18 23:56:27 +00001418void ASTDeclWriter::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Richard Smith6964b3f2012-09-07 02:06:42 +00001419 // For an expanded parameter pack, record the number of expansion types here
1420 // so that it's easier for deserialization to allocate the right amount of
1421 // memory.
1422 if (D->isExpandedParameterPack())
1423 Record.push_back(D->getNumExpansionTemplateParameters());
1424
Argyrios Kyrtzidisbfcc92c2010-07-08 17:12:57 +00001425 VisitTemplateDecl(D);
1426 // TemplateParmPosition.
1427 Record.push_back(D->getDepth());
1428 Record.push_back(D->getPosition());
Richard Smith6964b3f2012-09-07 02:06:42 +00001429
1430 if (D->isExpandedParameterPack()) {
1431 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
1432 I != N; ++I)
1433 Writer.AddTemplateParameterList(D->getExpansionTemplateParameters(I),
1434 Record);
1435 Code = serialization::DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK;
1436 } else {
1437 // Rest of TemplateTemplateParmDecl.
1438 Writer.AddTemplateArgumentLoc(D->getDefaultArgument(), Record);
1439 Record.push_back(D->defaultArgumentWasInherited());
1440 Record.push_back(D->isParameterPack());
1441 Code = serialization::DECL_TEMPLATE_TEMPLATE_PARM;
1442 }
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001443}
1444
Richard Smith3e4c6c42011-05-05 21:57:07 +00001445void ASTDeclWriter::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1446 VisitRedeclarableTemplateDecl(D);
1447 Code = serialization::DECL_TYPE_ALIAS_TEMPLATE;
1448}
1449
Sebastian Redl3397c552010-08-18 23:56:27 +00001450void ASTDeclWriter::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis0d396892010-07-22 17:28:12 +00001451 VisitDecl(D);
1452 Writer.AddStmt(D->getAssertExpr());
Richard Smithe3f470a2012-07-11 22:37:56 +00001453 Record.push_back(D->isFailed());
Argyrios Kyrtzidis0d396892010-07-22 17:28:12 +00001454 Writer.AddStmt(D->getMessage());
Abramo Bagnaraa2026c92011-03-08 16:41:52 +00001455 Writer.AddSourceLocation(D->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001456 Code = serialization::DECL_STATIC_ASSERT;
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001457}
1458
Chris Lattner12b1c762009-04-27 06:16:06 +00001459/// \brief Emit the DeclContext part of a declaration context decl.
1460///
1461/// \param LexicalOffset the offset at which the DECL_CONTEXT_LEXICAL
1462/// block for this declaration context is stored. May be 0 to indicate
1463/// that there are no declarations stored within this context.
1464///
1465/// \param VisibleOffset the offset at which the DECL_CONTEXT_VISIBLE
1466/// block for this declaration context is stored. May be 0 to indicate
1467/// that there are no declarations visible from this context. Note
1468/// that this value will not be emitted for non-primary declaration
1469/// contexts.
Sebastian Redl3397c552010-08-18 23:56:27 +00001470void ASTDeclWriter::VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
Chris Lattner12b1c762009-04-27 06:16:06 +00001471 uint64_t VisibleOffset) {
1472 Record.push_back(LexicalOffset);
1473 Record.push_back(VisibleOffset);
1474}
1475
Argyrios Kyrtzidisa8650052010-08-03 17:30:10 +00001476template <typename T>
Sebastian Redl3397c552010-08-18 23:56:27 +00001477void ASTDeclWriter::VisitRedeclarable(Redeclarable<T> *D) {
Rafael Espindolabc650912013-10-17 15:37:26 +00001478 T *First = D->getFirstDecl();
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001479 T *MostRecent = First->getMostRecentDecl();
1480 if (MostRecent != First) {
Douglas Gregor9cfdc032013-01-21 16:16:40 +00001481 assert(isRedeclarableDeclKind(static_cast<T *>(D)->getKind()) &&
1482 "Not considered redeclarable?");
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001483
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001484 // There is more than one declaration of this entity, so we will need to
1485 // write a redeclaration chain.
1486 Writer.AddDeclRef(First, Record);
1487 Writer.Redeclarations.insert(First);
1488
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001489 auto *Previous = D->getPreviousDecl();
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001490
1491 // In a modules build, we can have imported declarations after a local
1492 // canonical declaration. If this is the first local declaration, emit
1493 // a list of all such imported declarations so that we can ensure they
1494 // are loaded before we are. This allows us to rebuild the redecl chain
1495 // in the right order on reload (all declarations imported by a module
1496 // should be before all declarations provided by that module).
1497 bool EmitImportedMergedCanonicalDecls = false;
1498 if (Context.getLangOpts().Modules && Writer.Chain) {
1499 auto *PreviousLocal = Previous;
1500 while (PreviousLocal && PreviousLocal->isFromASTFile())
1501 PreviousLocal = PreviousLocal->getPreviousDecl();
1502 if (!PreviousLocal)
1503 EmitImportedMergedCanonicalDecls = true;
1504 }
1505 if (EmitImportedMergedCanonicalDecls) {
1506 llvm::SmallMapVector<ModuleFile*, Decl*, 16> FirstInModule;
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001507 for (auto *Redecl = MostRecent; Redecl;
1508 Redecl = Redecl->getPreviousDecl())
1509 if (Redecl->isFromASTFile())
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07001510 FirstInModule[Writer.Chain->getOwningModuleFile(Redecl)] = Redecl;
1511 // FIXME: If FirstInModule has entries for modules A and B, and B imports
1512 // A (directly or indirectly), we don't need to write the entry for A.
1513 Record.push_back(FirstInModule.size());
1514 for (auto I = FirstInModule.rbegin(), E = FirstInModule.rend();
1515 I != E; ++I)
1516 Writer.AddDeclRef(I->second, Record);
1517 } else
1518 Record.push_back(0);
Douglas Gregor2171bf12012-01-15 16:58:34 +00001519
1520 // Make sure that we serialize both the previous and the most-recent
1521 // declarations, which (transitively) ensures that all declarations in the
1522 // chain get serialized.
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001523 //
1524 // FIXME: This is not correct; when we reach an imported declaration we
1525 // won't emit its previous declaration.
1526 (void)Writer.GetDeclRef(Previous);
1527 (void)Writer.GetDeclRef(MostRecent);
Douglas Gregor2171bf12012-01-15 16:58:34 +00001528 } else {
1529 // We use the sentinel value 0 to indicate an only declaration.
1530 Record.push_back(0);
Douglas Gregorecb19382011-12-19 15:27:36 +00001531 }
Argyrios Kyrtzidisa8650052010-08-03 17:30:10 +00001532}
Chris Lattner12b1c762009-04-27 06:16:06 +00001533
Alexey Bataevc6400582013-03-22 06:34:35 +00001534void ASTDeclWriter::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
1535 Record.push_back(D->varlist_size());
1536 VisitDecl(D);
Stephen Hines651f13c2014-04-23 16:59:28 -07001537 for (auto *I : D->varlists())
1538 Writer.AddStmt(I);
Alexey Bataevc6400582013-03-22 06:34:35 +00001539 Code = serialization::DECL_OMP_THREADPRIVATE;
1540}
1541
Chris Lattner12b1c762009-04-27 06:16:06 +00001542//===----------------------------------------------------------------------===//
Sebastian Redla4232eb2010-08-18 23:56:21 +00001543// ASTWriter Implementation
Chris Lattner12b1c762009-04-27 06:16:06 +00001544//===----------------------------------------------------------------------===//
1545
Stephen Hines176edba2014-12-01 14:53:08 -08001546void ASTWriter::WriteDeclAbbrevs() {
Chris Lattnerea5ce472009-04-27 07:35:58 +00001547 using namespace llvm;
Chris Lattnerea5ce472009-04-27 07:35:58 +00001548
Douglas Gregora72d8c42011-06-03 02:27:19 +00001549 BitCodeAbbrev *Abv;
1550
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001551 // Abbreviation for DECL_FIELD
1552 Abv = new BitCodeAbbrev();
1553 Abv->Add(BitCodeAbbrevOp(serialization::DECL_FIELD));
1554 // Decl
1555 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1556 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001557 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001558 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1559 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1560 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1561 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001562 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001563 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001564 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001565 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001566 // NamedDecl
1567 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1568 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001569 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001570 // ValueDecl
1571 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1572 // DeclaratorDecl
1573 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1574 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1575 // FieldDecl
1576 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1577 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1578 // Type Source Info
1579 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1580 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1581 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1582 DeclFieldAbbrev = Stream.EmitAbbrev(Abv);
1583
1584 // Abbreviation for DECL_OBJC_IVAR
1585 Abv = new BitCodeAbbrev();
1586 Abv->Add(BitCodeAbbrevOp(serialization::DECL_OBJC_IVAR));
1587 // Decl
1588 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1589 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001590 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001591 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1592 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1593 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1594 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001595 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001596 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001597 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001598 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001599 // NamedDecl
1600 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1601 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001602 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001603 // ValueDecl
1604 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1605 // DeclaratorDecl
1606 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1607 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1608 // FieldDecl
1609 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1610 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1611 // ObjC Ivar
1612 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getAccessControl
1613 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getSynthesize
1614 // Type Source Info
1615 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1616 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1617 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1618 DeclObjCIvarAbbrev = Stream.EmitAbbrev(Abv);
1619
1620 // Abbreviation for DECL_ENUM
1621 Abv = new BitCodeAbbrev();
1622 Abv->Add(BitCodeAbbrevOp(serialization::DECL_ENUM));
Douglas Gregord488b3a2011-10-26 17:53:41 +00001623 // Redeclarable
Douglas Gregorecb19382011-12-19 15:27:36 +00001624 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Chris Lattnerea5ce472009-04-27 07:35:58 +00001625 // Decl
1626 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1627 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001628 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Chris Lattnerea5ce472009-04-27 07:35:58 +00001629 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1630 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Douglas Gregore0762c92009-06-19 23:52:42 +00001631 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
Argyrios Kyrtzidis6b6b42a2011-04-19 19:51:10 +00001632 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001633 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Chris Lattnerea5ce472009-04-27 07:35:58 +00001634 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001635 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001636 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregora72d8c42011-06-03 02:27:19 +00001637 // NamedDecl
1638 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1639 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001640 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001641 // TypeDecl
1642 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1643 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001644 // TagDecl
1645 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1646 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCall5e1cdac2011-10-07 06:10:15 +00001647 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001648 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis717a20b2011-09-30 22:11:31 +00001649 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiee33a0a82013-07-14 01:07:41 +00001650 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001651 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Stephen Hines176edba2014-12-01 14:53:08 -08001652 Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001653 // EnumDecl
1654 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // AddTypeRef
1655 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IntegerType
1656 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getPromotionType
1657 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumPositiveBits
1658 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumNegativeBits
1659 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScoped
1660 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScopedUsingClassTag
1661 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isFixed
1662 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InstantiatedMembEnum
1663 // DC
1664 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1665 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
1666 DeclEnumAbbrev = Stream.EmitAbbrev(Abv);
Mike Stump1eb44332009-09-09 15:08:12 +00001667
Douglas Gregora72d8c42011-06-03 02:27:19 +00001668 // Abbreviation for DECL_RECORD
1669 Abv = new BitCodeAbbrev();
1670 Abv->Add(BitCodeAbbrevOp(serialization::DECL_RECORD));
Douglas Gregord488b3a2011-10-26 17:53:41 +00001671 // Redeclarable
Douglas Gregorecb19382011-12-19 15:27:36 +00001672 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregora72d8c42011-06-03 02:27:19 +00001673 // Decl
1674 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1675 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001676 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregora72d8c42011-06-03 02:27:19 +00001677 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1678 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1679 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1680 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001681 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregora72d8c42011-06-03 02:27:19 +00001682 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001683 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001684 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregora72d8c42011-06-03 02:27:19 +00001685 // NamedDecl
1686 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1687 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001688 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Douglas Gregora72d8c42011-06-03 02:27:19 +00001689 // TypeDecl
1690 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1691 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Douglas Gregora72d8c42011-06-03 02:27:19 +00001692 // TagDecl
1693 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1694 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCall5e1cdac2011-10-07 06:10:15 +00001695 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Douglas Gregora72d8c42011-06-03 02:27:19 +00001696 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis717a20b2011-09-30 22:11:31 +00001697 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiee33a0a82013-07-14 01:07:41 +00001698 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Douglas Gregora72d8c42011-06-03 02:27:19 +00001699 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
Stephen Hines176edba2014-12-01 14:53:08 -08001700 Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
Douglas Gregora72d8c42011-06-03 02:27:19 +00001701 // RecordDecl
1702 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // FlexibleArrayMember
1703 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // AnonymousStructUnion
1704 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasObjectMember
Fariborz Jahanian3ac83d62013-01-25 23:57:05 +00001705 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasVolatileMember
Douglas Gregora72d8c42011-06-03 02:27:19 +00001706 // DC
1707 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1708 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
1709 DeclRecordAbbrev = Stream.EmitAbbrev(Abv);
1710
1711 // Abbreviation for DECL_PARM_VAR
1712 Abv = new BitCodeAbbrev();
1713 Abv->Add(BitCodeAbbrevOp(serialization::DECL_PARM_VAR));
Douglas Gregord488b3a2011-10-26 17:53:41 +00001714 // Redeclarable
Douglas Gregorecb19382011-12-19 15:27:36 +00001715 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregora72d8c42011-06-03 02:27:19 +00001716 // Decl
1717 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1718 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001719 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregora72d8c42011-06-03 02:27:19 +00001720 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1721 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1722 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1723 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001724 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregora72d8c42011-06-03 02:27:19 +00001725 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001726 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001727 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Chris Lattnerea5ce472009-04-27 07:35:58 +00001728 // NamedDecl
1729 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1730 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001731 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Chris Lattnerea5ce472009-04-27 07:35:58 +00001732 // ValueDecl
1733 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Argyrios Kyrtzidisd4a7e542009-08-19 01:28:35 +00001734 // DeclaratorDecl
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001735 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +00001736 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
Chris Lattnerea5ce472009-04-27 07:35:58 +00001737 // VarDecl
1738 Abv->Add(BitCodeAbbrevOp(0)); // StorageClass
Enea Zaffanelladc173842013-05-04 08:27:07 +00001739 Abv->Add(BitCodeAbbrevOp(0)); // getTSCSpec
Chris Lattnerea5ce472009-04-27 07:35:58 +00001740 Abv->Add(BitCodeAbbrevOp(0)); // hasCXXDirectInitializer
Douglas Gregor324b54d2010-05-03 18:51:14 +00001741 Abv->Add(BitCodeAbbrevOp(0)); // isExceptionVariable
Douglas Gregor5077c382010-05-15 06:01:05 +00001742 Abv->Add(BitCodeAbbrevOp(0)); // isNRVOVariable
Richard Smithad762fc2011-04-14 22:09:26 +00001743 Abv->Add(BitCodeAbbrevOp(0)); // isCXXForRangeDecl
John McCall7acddac2011-06-17 06:42:21 +00001744 Abv->Add(BitCodeAbbrevOp(0)); // isARCPseudoStrong
Douglas Gregor67d45ec2012-09-20 23:43:29 +00001745 Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
Richard Smith04fa7a32013-09-28 04:02:39 +00001746 Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
Richard Smithdd9459f2013-08-13 18:18:50 +00001747 Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
Richard Smithad0e27b2013-02-12 05:48:23 +00001748 Abv->Add(BitCodeAbbrevOp(0)); // Linkage
Chris Lattnerea5ce472009-04-27 07:35:58 +00001749 Abv->Add(BitCodeAbbrevOp(0)); // HasInit
Argyrios Kyrtzidis9421adc2010-07-04 21:44:00 +00001750 Abv->Add(BitCodeAbbrevOp(0)); // HasMemberSpecializationInfo
Chris Lattnerea5ce472009-04-27 07:35:58 +00001751 // ParmVarDecl
John McCall70798862011-05-02 00:30:12 +00001752 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsObjCMethodParameter
John McCallfb44de92011-05-01 22:35:37 +00001753 Abv->Add(BitCodeAbbrevOp(0)); // ScopeDepth
1754 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // ScopeIndex
Chris Lattnerea5ce472009-04-27 07:35:58 +00001755 Abv->Add(BitCodeAbbrevOp(0)); // ObjCDeclQualifier
John McCalleecf5fa2011-03-09 04:22:44 +00001756 Abv->Add(BitCodeAbbrevOp(0)); // KNRPromoted
John McCallbf73b352010-03-12 18:31:32 +00001757 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedDefaultArg
Argyrios Kyrtzidis691d77f2010-07-04 21:44:07 +00001758 Abv->Add(BitCodeAbbrevOp(0)); // HasUninstantiatedDefaultArg
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001759 // Type Source Info
1760 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1761 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1762 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1763 DeclParmVarAbbrev = Stream.EmitAbbrev(Abv);
Sebastian Redl681d7232010-07-27 00:17:23 +00001764
Jonathan D. Turner8e1b80c2011-06-06 16:22:39 +00001765 // Abbreviation for DECL_TYPEDEF
Douglas Gregora72d8c42011-06-03 02:27:19 +00001766 Abv = new BitCodeAbbrev();
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001767 Abv->Add(BitCodeAbbrevOp(serialization::DECL_TYPEDEF));
Douglas Gregora1be2782011-12-17 23:38:30 +00001768 // Redeclarable
Douglas Gregorecb19382011-12-19 15:27:36 +00001769 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001770 // Decl
1771 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1772 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001773 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001774 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1775 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Stephen Hines176edba2014-12-01 14:53:08 -08001776 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isUsed
1777 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001778 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Stephen Hines176edba2014-12-01 14:53:08 -08001779 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // C++ AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001780 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001781 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001782 // NamedDecl
1783 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1784 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001785 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001786 // TypeDecl
1787 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1788 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
1789 // TypedefDecl
1790 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1791 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1792 DeclTypedefAbbrev = Stream.EmitAbbrev(Abv);
1793
Jonathan D. Turner8e1b80c2011-06-06 16:22:39 +00001794 // Abbreviation for DECL_VAR
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001795 Abv = new BitCodeAbbrev();
1796 Abv->Add(BitCodeAbbrevOp(serialization::DECL_VAR));
Douglas Gregord488b3a2011-10-26 17:53:41 +00001797 // Redeclarable
Douglas Gregorecb19382011-12-19 15:27:36 +00001798 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001799 // Decl
1800 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1801 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisba50b3e2012-03-09 21:09:04 +00001802 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001803 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1804 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1805 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1806 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidisc14a03d2011-11-23 20:27:36 +00001807 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001808 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor8d267c52011-09-09 02:06:17 +00001809 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregor185dbd72011-12-01 02:07:58 +00001810 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001811 // NamedDecl
1812 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1813 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001814 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001815 // ValueDecl
1816 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1817 // DeclaratorDecl
1818 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1819 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1820 // VarDecl
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001821 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // StorageClass
Enea Zaffanelladc173842013-05-04 08:27:07 +00001822 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getTSCSpec
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001823 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // CXXDirectInitializer
1824 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isExceptionVariable
1825 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isNRVOVariable
1826 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCXXForRangeDecl
John McCall7acddac2011-06-17 06:42:21 +00001827 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isARCPseudoStrong
Douglas Gregor67d45ec2012-09-20 23:43:29 +00001828 Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
Richard Smith04fa7a32013-09-28 04:02:39 +00001829 Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
Richard Smithdd9459f2013-08-13 18:18:50 +00001830 Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
Rafael Espindolaa99ecbc2013-05-25 17:16:20 +00001831 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001832 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasInit
1833 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasMemberSpecInfo
1834 // 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 DeclVarAbbrev = Stream.EmitAbbrev(Abv);
1839
Stephen Hines176edba2014-12-01 14:53:08 -08001840 // Abbreviation for DECL_CXX_METHOD
1841 Abv = new BitCodeAbbrev();
1842 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CXX_METHOD));
1843 // RedeclarableDecl
1844 Abv->Add(BitCodeAbbrevOp(0)); // CanonicalDecl
1845 // Decl
1846 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1847 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
1848 Abv->Add(BitCodeAbbrevOp(0)); // Invalid
1849 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1850 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Implicit
1851 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Used
1852 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Referenced
1853 Abv->Add(BitCodeAbbrevOp(0)); // InObjCContainer
1854 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // Access
1855 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ModulePrivate
1856 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
1857 // NamedDecl
1858 Abv->Add(BitCodeAbbrevOp(DeclarationName::Identifier)); // NameKind
1859 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Identifier
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001860 Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
Stephen Hines176edba2014-12-01 14:53:08 -08001861 // ValueDecl
1862 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1863 // DeclaratorDecl
1864 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerLocStart
1865 Abv->Add(BitCodeAbbrevOp(0)); // HasExtInfo
1866 // FunctionDecl
1867 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 11)); // IDNS
1868 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // StorageClass
1869 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Inline
1870 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // InlineSpecified
1871 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // VirtualAsWritten
1872 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Pure
1873 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedProto
1874 Abv->Add(BitCodeAbbrevOp(1)); // HasWrittenProto
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001875 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Deleted
Stephen Hines176edba2014-12-01 14:53:08 -08001876 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Trivial
1877 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Defaulted
1878 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ExplicitlyDefaulted
1879 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ImplicitReturnZero
1880 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Constexpr
1881 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // SkippedBody
1882 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // LateParsed
1883 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
1884 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LocEnd
1885 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // TemplateKind
1886 // This Array slurps the rest of the record. Fortunately we want to encode
1887 // (nearly) all the remaining (variable number of) fields in the same way.
1888 //
1889 // This is the function template information if any, then
1890 // NumParams and Params[] from FunctionDecl, and
1891 // NumOverriddenMethods, OverriddenMethods[] from CXXMethodDecl.
1892 //
1893 // Add an AbbrevOp for 'size then elements' and use it here.
1894 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1895 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1896 DeclCXXMethodAbbrev = Stream.EmitAbbrev(Abv);
1897
Jonathan D. Turner8e1b80c2011-06-06 16:22:39 +00001898 // Abbreviation for EXPR_DECL_REF
Jonathan D. Turner953c5642011-06-03 23:11:16 +00001899 Abv = new BitCodeAbbrev();
Douglas Gregora72d8c42011-06-03 02:27:19 +00001900 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_DECL_REF));
1901 //Stmt
1902 //Expr
1903 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor561f8122011-07-01 01:22:09 +00001904 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1905 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1906 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregora72d8c42011-06-03 02:27:19 +00001907 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1908 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1909 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1910 //DeclRefExpr
1911 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HasQualifier
1912 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //GetDeclFound
1913 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ExplicitTemplateArgs
Abramo Bagnara7cc58b42011-10-05 07:56:41 +00001914 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HadMultipleCandidates
Stephen Hines0e2c34f2015-03-23 12:09:02 -07001915 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed,
1916 1)); // RefersToEnclosingVariableOrCapture
Douglas Gregora72d8c42011-06-03 02:27:19 +00001917 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclRef
1918 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
1919 DeclRefExprAbbrev = Stream.EmitAbbrev(Abv);
1920
1921 // Abbreviation for EXPR_INTEGER_LITERAL
1922 Abv = new BitCodeAbbrev();
1923 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_INTEGER_LITERAL));
1924 //Stmt
1925 //Expr
1926 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor561f8122011-07-01 01:22:09 +00001927 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1928 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1929 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregora72d8c42011-06-03 02:27:19 +00001930 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1931 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1932 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1933 //Integer Literal
1934 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
1935 Abv->Add(BitCodeAbbrevOp(32)); // Bit Width
1936 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Value
1937 IntegerLiteralAbbrev = Stream.EmitAbbrev(Abv);
1938
1939 // Abbreviation for EXPR_CHARACTER_LITERAL
1940 Abv = new BitCodeAbbrev();
1941 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_CHARACTER_LITERAL));
1942 //Stmt
1943 //Expr
1944 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor561f8122011-07-01 01:22:09 +00001945 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1946 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1947 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregora72d8c42011-06-03 02:27:19 +00001948 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1949 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1950 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
Jonathan D. Turner28087572011-06-03 21:46:44 +00001951 //Character Literal
Douglas Gregora72d8c42011-06-03 02:27:19 +00001952 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getValue
1953 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
Eli Friedmanb3b6c222012-09-14 00:51:36 +00001954 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getKind
Douglas Gregora72d8c42011-06-03 02:27:19 +00001955 CharacterLiteralAbbrev = Stream.EmitAbbrev(Abv);
1956
Stephen Hines176edba2014-12-01 14:53:08 -08001957 // Abbreviation for EXPR_IMPLICIT_CAST
1958 Abv = new BitCodeAbbrev();
1959 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_IMPLICIT_CAST));
1960 // Stmt
1961 // Expr
1962 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1963 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1964 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1965 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
1966 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1967 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1968 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1969 // CastExpr
1970 Abv->Add(BitCodeAbbrevOp(0)); // PathSize
1971 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 6)); // CastKind
1972 // ImplicitCastExpr
1973 ExprImplicitCastAbbrev = Stream.EmitAbbrev(Abv);
1974
Sebastian Redl681d7232010-07-27 00:17:23 +00001975 Abv = new BitCodeAbbrev();
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001976 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_LEXICAL));
Sebastian Redl681d7232010-07-27 00:17:23 +00001977 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
1978 DeclContextLexicalAbbrev = Stream.EmitAbbrev(Abv);
Argyrios Kyrtzidis074dcc82010-08-20 16:04:35 +00001979
1980 Abv = new BitCodeAbbrev();
1981 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_VISIBLE));
1982 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
1983 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
1984 DeclContextVisibleLookupAbbrev = Stream.EmitAbbrev(Abv);
Chris Lattnerea5ce472009-04-27 07:35:58 +00001985}
1986
Daniel Dunbare24d38f2009-09-17 03:06:51 +00001987/// isRequiredDecl - Check if this is a "required" Decl, which must be seen by
1988/// consumers of the AST.
1989///
Sebastian Redl3397c552010-08-18 23:56:27 +00001990/// Such decls will always be deserialized from the AST file, so we would like
Daniel Dunbare24d38f2009-09-17 03:06:51 +00001991/// this to be as restrictive as possible. Currently the predicate is driven by
1992/// code generation requirements, if other clients have a different notion of
1993/// what is "required" then we may have to consider an alternate scheme where
1994/// clients can iterate over the top-level decls and get information on them,
1995/// without necessary deserializing them. We could explicitly require such
1996/// clients to use a separate API call to "realize" the decl. This should be
1997/// relatively painless since they would presumably only do it for top-level
1998/// decls.
Daniel Dunbare24d38f2009-09-17 03:06:51 +00001999static bool isRequiredDecl(const Decl *D, ASTContext &Context) {
Argyrios Kyrtzidis144b38a2011-09-13 21:35:00 +00002000 // An ObjCMethodDecl is never considered as "required" because its
2001 // implementation container always is.
2002
Stephen Hines651f13c2014-04-23 16:59:28 -07002003 // File scoped assembly or obj-c implementation must be seen. ImportDecl is
2004 // used by codegen to determine the set of imported modules to search for
2005 // inputs for automatic linking.
2006 if (isa<FileScopeAsmDecl>(D) || isa<ObjCImplDecl>(D) || isa<ImportDecl>(D))
Daniel Dunbare24d38f2009-09-17 03:06:51 +00002007 return true;
2008
Argyrios Kyrtzidis4ac7c0b2010-07-29 20:08:05 +00002009 return Context.DeclMustBeEmitted(D);
Daniel Dunbare24d38f2009-09-17 03:06:51 +00002010}
2011
Sebastian Redla4232eb2010-08-18 23:56:21 +00002012void ASTWriter::WriteDecl(ASTContext &Context, Decl *D) {
Argyrios Kyrtzidise09a2752010-10-28 09:29:32 +00002013 // Switch case IDs are per Decl.
2014 ClearSwitchCaseIDs();
2015
Chris Lattner12b1c762009-04-27 06:16:06 +00002016 RecordData Record;
Sebastian Redl3397c552010-08-18 23:56:27 +00002017 ASTDeclWriter W(*this, Context, Record);
Chris Lattner12b1c762009-04-27 06:16:06 +00002018
Douglas Gregor1c7946a2012-01-05 22:33:30 +00002019 // Determine the ID for this declaration.
2020 serialization::DeclID ID;
Stephen Hines0e2c34f2015-03-23 12:09:02 -07002021 if (D->isFromASTFile()) {
2022 assert(isRewritten(D) && "should not be emitting imported decl");
Douglas Gregor1c7946a2012-01-05 22:33:30 +00002023 ID = getDeclID(D);
Stephen Hines0e2c34f2015-03-23 12:09:02 -07002024 } else {
Douglas Gregor1c7946a2012-01-05 22:33:30 +00002025 serialization::DeclID &IDR = DeclIDs[D];
2026 if (IDR == 0)
2027 IDR = NextDeclID++;
2028
2029 ID= IDR;
2030 }
Argyrios Kyrtzidis643586f2012-03-22 16:08:04 +00002031
2032 bool isReplacingADecl = ID < FirstDeclID;
2033
2034 // If this declaration is also a DeclContext, write blocks for the
2035 // declarations that lexically stored inside its context and those
2036 // declarations that are visible from its context. These blocks
2037 // are written before the declaration itself so that we can put
2038 // their offsets into the record for the declaration.
2039 uint64_t LexicalOffset = 0;
2040 uint64_t VisibleOffset = 0;
2041 DeclContext *DC = dyn_cast<DeclContext>(D);
2042 if (DC) {
2043 if (isReplacingADecl) {
2044 // It is replacing a decl from a chained PCH; make sure that the
2045 // DeclContext is fully loaded.
2046 if (DC->hasExternalLexicalStorage())
2047 DC->LoadLexicalDeclsFromExternalStorage();
2048 if (DC->hasExternalVisibleStorage())
2049 Chain->completeVisibleDeclsMap(DC);
2050 }
2051 LexicalOffset = WriteDeclContextLexicalBlock(Context, DC);
2052 VisibleOffset = WriteDeclContextVisibleBlock(Context, DC);
2053 }
Douglas Gregor1c7946a2012-01-05 22:33:30 +00002054
Argyrios Kyrtzidis643586f2012-03-22 16:08:04 +00002055 if (isReplacingADecl) {
Sebastian Redl0b17c612010-08-13 00:28:03 +00002056 // We're replacing a decl in a previous file.
Argyrios Kyrtzidisef23b602011-10-31 07:20:15 +00002057 ReplacedDecls.push_back(ReplacedDeclInfo(ID, Stream.GetCurrentBitNo(),
2058 D->getLocation()));
Sebastian Redl0b17c612010-08-13 00:28:03 +00002059 } else {
2060 unsigned Index = ID - FirstDeclID;
Douglas Gregor61d60ee2009-10-17 00:13:19 +00002061
Sebastian Redl0b17c612010-08-13 00:28:03 +00002062 // Record the offset for this declaration
Argyrios Kyrtzidis10f3df52011-10-28 22:54:21 +00002063 SourceLocation Loc = D->getLocation();
Sebastian Redl0b17c612010-08-13 00:28:03 +00002064 if (DeclOffsets.size() == Index)
Argyrios Kyrtzidis10f3df52011-10-28 22:54:21 +00002065 DeclOffsets.push_back(DeclOffset(Loc, Stream.GetCurrentBitNo()));
Sebastian Redl0b17c612010-08-13 00:28:03 +00002066 else if (DeclOffsets.size() < Index) {
2067 DeclOffsets.resize(Index+1);
Argyrios Kyrtzidis10f3df52011-10-28 22:54:21 +00002068 DeclOffsets[Index].setLocation(Loc);
Argyrios Kyrtzidis9d31fa72011-10-27 18:47:35 +00002069 DeclOffsets[Index].BitOffset = Stream.GetCurrentBitNo();
Sebastian Redl0b17c612010-08-13 00:28:03 +00002070 }
Argyrios Kyrtzidis10f3df52011-10-28 22:54:21 +00002071
2072 SourceManager &SM = Context.getSourceManager();
Argyrios Kyrtzidis19645d22011-10-28 23:57:43 +00002073 if (Loc.isValid() && SM.isLocalSourceLocation(Loc))
2074 associateDeclWithFile(D, ID);
Douglas Gregor61d60ee2009-10-17 00:13:19 +00002075 }
2076
2077 // Build and emit a record for this declaration
2078 Record.clear();
Sebastian Redl8538e8d2010-08-18 23:57:32 +00002079 W.Code = (serialization::DeclCode)0;
Douglas Gregor61d60ee2009-10-17 00:13:19 +00002080 W.AbbrevToUse = 0;
2081 W.Visit(D);
2082 if (DC) W.VisitDeclContext(DC, LexicalOffset, VisibleOffset);
2083
Daniel Dunbar33671982009-12-03 09:13:36 +00002084 if (!W.Code)
Chris Lattner5f9e2722011-07-23 10:55:15 +00002085 llvm::report_fatal_error(StringRef("unexpected declaration kind '") +
Daniel Dunbar33671982009-12-03 09:13:36 +00002086 D->getDeclKindName() + "'");
Douglas Gregor61d60ee2009-10-17 00:13:19 +00002087 Stream.EmitRecord(W.Code, Record, W.AbbrevToUse);
2088
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -07002089 // Flush any expressions, base specifiers, and ctor initializers that
2090 // were written as part of this declaration.
2091 FlushPendingAfterDecl();
2092
Stephen Hines651f13c2014-04-23 16:59:28 -07002093 // Note declarations that should be deserialized eagerly so that we can add
2094 // them to a record in the AST file later.
Douglas Gregor61d60ee2009-10-17 00:13:19 +00002095 if (isRequiredDecl(D, Context))
Stephen Hines651f13c2014-04-23 16:59:28 -07002096 EagerlyDeserializedDecls.push_back(ID);
2097}
2098
2099void ASTWriter::AddFunctionDefinition(const FunctionDecl *FD,
2100 RecordData &Record) {
2101 ClearSwitchCaseIDs();
2102
2103 ASTDeclWriter W(*this, FD->getASTContext(), Record);
2104 W.AddFunctionDefinition(FD);
Chris Lattner12b1c762009-04-27 06:16:06 +00002105}