blob: 95fabc86a14f4b4d764e21ccb98261b85d088ff7 [file] [log] [blame]
Sebastian Redld6522cf2010-08-18 23:56:31 +00001//===--- ASTWriterDecl.cpp - Declaration Serialization --------------------===//
Chris Lattner7099dbc2009-04-27 06:16:06 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements serialization for Declarations.
11//
12//===----------------------------------------------------------------------===//
13
Sebastian Redl1914c6f2010-08-18 23:56:37 +000014#include "clang/Serialization/ASTWriter.h"
Sebastian Redlfa1f3702011-04-24 16:28:13 +000015#include "ASTCommon.h"
Chris Lattnerca025db2010-05-07 21:43:38 +000016#include "clang/AST/DeclCXX.h"
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +000017#include "clang/AST/DeclContextInternals.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/AST/DeclTemplate.h"
19#include "clang/AST/DeclVisitor.h"
20#include "clang/AST/Expr.h"
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +000021#include "clang/Basic/SourceManager.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000022#include "clang/Serialization/ASTReader.h"
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +000023#include "llvm/ADT/Twine.h"
Chris Lattner7099dbc2009-04-27 06:16:06 +000024#include "llvm/Bitcode/BitstreamWriter.h"
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +000025#include "llvm/Support/ErrorHandling.h"
Chris Lattner7099dbc2009-04-27 06:16:06 +000026using namespace clang;
Sebastian Redlfa1f3702011-04-24 16:28:13 +000027using namespace serialization;
Chris Lattner7099dbc2009-04-27 06:16:06 +000028
29//===----------------------------------------------------------------------===//
30// Declaration serialization
31//===----------------------------------------------------------------------===//
32
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +000033namespace clang {
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000034 class ASTDeclWriter : public DeclVisitor<ASTDeclWriter, void> {
Chris Lattner7099dbc2009-04-27 06:16:06 +000035
Sebastian Redl55c0ad52010-08-18 23:56:21 +000036 ASTWriter &Writer;
Chris Lattner7099dbc2009-04-27 06:16:06 +000037 ASTContext &Context;
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000038 typedef ASTWriter::RecordData RecordData;
39 RecordData &Record;
Chris Lattner7099dbc2009-04-27 06:16:06 +000040
41 public:
Sebastian Redl539c5062010-08-18 23:57:32 +000042 serialization::DeclCode Code;
Chris Lattner258172e2009-04-27 07:35:58 +000043 unsigned AbbrevToUse;
Chris Lattner7099dbc2009-04-27 06:16:06 +000044
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000045 ASTDeclWriter(ASTWriter &Writer, ASTContext &Context, RecordData &Record)
Chris Lattner258172e2009-04-27 07:35:58 +000046 : Writer(Writer), Context(Context), Record(Record) {
47 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000048
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +000049 void Visit(Decl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000050
51 void VisitDecl(Decl *D);
52 void VisitTranslationUnitDecl(TranslationUnitDecl *D);
53 void VisitNamedDecl(NamedDecl *D);
Chris Lattnerc8e630e2011-02-17 07:39:24 +000054 void VisitLabelDecl(LabelDecl *LD);
Douglas Gregore31bbd92010-02-21 18:22:14 +000055 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000056 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
57 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000058 void VisitTypeDecl(TypeDecl *D);
Douglas Gregor1f179062011-12-19 14:40:25 +000059 void VisitTypedefNameDecl(TypedefNameDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000060 void VisitTypedefDecl(TypedefDecl *D);
Richard Smithdda56e42011-04-15 14:24:37 +000061 void VisitTypeAliasDecl(TypeAliasDecl *D);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000062 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000063 void VisitTagDecl(TagDecl *D);
64 void VisitEnumDecl(EnumDecl *D);
65 void VisitRecordDecl(RecordDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000066 void VisitCXXRecordDecl(CXXRecordDecl *D);
67 void VisitClassTemplateSpecializationDecl(
68 ClassTemplateSpecializationDecl *D);
69 void VisitClassTemplatePartialSpecializationDecl(
70 ClassTemplatePartialSpecializationDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +000071 void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D);
72 void VisitVarTemplatePartialSpecializationDecl(
73 VarTemplatePartialSpecializationDecl *D);
Fariborz Jahanian3a039e32011-08-27 20:50:59 +000074 void VisitClassScopeFunctionSpecializationDecl(
75 ClassScopeFunctionSpecializationDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000076 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000077 void VisitValueDecl(ValueDecl *D);
78 void VisitEnumConstantDecl(EnumConstantDecl *D);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000079 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +000080 void VisitDeclaratorDecl(DeclaratorDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000081 void VisitFunctionDecl(FunctionDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000082 void VisitCXXMethodDecl(CXXMethodDecl *D);
83 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
84 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
85 void VisitCXXConversionDecl(CXXConversionDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000086 void VisitFieldDecl(FieldDecl *D);
John McCall5e77d762013-04-16 07:28:30 +000087 void VisitMSPropertyDecl(MSPropertyDecl *D);
Francois Pichet783dd6e2010-11-21 06:08:52 +000088 void VisitIndirectFieldDecl(IndirectFieldDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +000089 void VisitVarDecl(VarDecl *D);
90 void VisitImplicitParamDecl(ImplicitParamDecl *D);
91 void VisitParmVarDecl(ParmVarDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000092 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
93 void VisitTemplateDecl(TemplateDecl *D);
Peter Collingbourne91b25b72010-07-29 16:11:51 +000094 void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000095 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +000096 void VisitVarTemplateDecl(VarTemplateDecl *D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +000097 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000098 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Richard Smith3f1b5d02011-05-05 21:57:07 +000099 void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000100 void VisitUsingDecl(UsingDecl *D);
101 void VisitUsingShadowDecl(UsingShadowDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000102 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000103 void VisitFileScopeAsmDecl(FileScopeAsmDecl *D);
Douglas Gregorba345522011-12-02 23:23:56 +0000104 void VisitImportDecl(ImportDecl *D);
Abramo Bagnarad7340582010-06-05 05:09:32 +0000105 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000106 void VisitFriendDecl(FriendDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000107 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
108 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000109 void VisitBlockDecl(BlockDecl *D);
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +0000110 void VisitCapturedDecl(CapturedDecl *D);
Michael Han84324352013-02-22 17:15:32 +0000111 void VisitEmptyDecl(EmptyDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000112
Mike Stump11289f42009-09-09 15:08:12 +0000113 void VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
Chris Lattner7099dbc2009-04-27 06:16:06 +0000114 uint64_t VisibleOffset);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000115 template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000116
117
Alexis Hunted053252010-05-30 07:21:58 +0000118 // FIXME: Put in the same order is DeclNodes.td?
Chris Lattner7099dbc2009-04-27 06:16:06 +0000119 void VisitObjCMethodDecl(ObjCMethodDecl *D);
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 Lattner7099dbc2009-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 Bataeva769e072013-03-22 06:34:35 +0000132 void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
Richard Smithd28ac5b2014-03-22 23:33:22 +0000133
134 void AddFunctionDefinition(const FunctionDecl *FD) {
135 assert(FD->doesThisDeclarationHaveABody());
136 if (auto *CD = dyn_cast<CXXConstructorDecl>(FD))
137 Writer.AddCXXCtorInitializers(CD->CtorInitializers,
138 CD->NumCtorInitializers, Record);
139 Writer.AddStmt(FD->getBody());
140 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000141 };
142}
143
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000144void ASTDeclWriter::Visit(Decl *D) {
145 DeclVisitor<ASTDeclWriter>::Visit(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000146
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000147 // Source locations require array (variable-length) abbreviations. The
148 // abbreviation infrastructure requires that arrays are encoded last, so
149 // we handle it here in the case of those classes derived from DeclaratorDecl
150 if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)){
151 Writer.AddTypeSourceInfo(DD->getTypeSourceInfo(), Record);
152 }
153
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000154 // Handle FunctionDecl's body here and write it after all other Stmts/Exprs
155 // have been written. We want it last because we will not read it back when
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000156 // retrieving it from the AST, we'll just lazily set the offset.
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000157 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Alexis Hunt4a8ea102011-05-06 20:44:56 +0000158 Record.push_back(FD->doesThisDeclarationHaveABody());
159 if (FD->doesThisDeclarationHaveABody())
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000160 Writer.AddStmt(FD->getBody());
161 }
162}
163
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000164void ASTDeclWriter::VisitDecl(Decl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000165 Writer.AddDeclRef(cast_or_null<Decl>(D->getDeclContext()), Record);
166 Writer.AddDeclRef(cast_or_null<Decl>(D->getLexicalDeclContext()), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000167 Record.push_back(D->isInvalidDecl());
168 Record.push_back(D->hasAttrs());
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000169 if (D->hasAttrs())
Alexander Kornienko20f6fc62012-07-09 10:04:07 +0000170 Writer.WriteAttributes(ArrayRef<const Attr*>(D->getAttrs().begin(),
171 D->getAttrs().size()), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000172 Record.push_back(D->isImplicit());
Douglas Gregorebada0772010-06-17 23:14:26 +0000173 Record.push_back(D->isUsed(false));
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +0000174 Record.push_back(D->isReferenced());
Douglas Gregor781f7132012-01-06 16:59:53 +0000175 Record.push_back(D->isTopLevelDeclInObjCContainer());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000176 Record.push_back(D->getAccess());
Douglas Gregor781f7132012-01-06 16:59:53 +0000177 Record.push_back(D->isModulePrivate());
Douglas Gregora28bcdd2011-12-01 02:07:58 +0000178 Record.push_back(Writer.inferSubmoduleIDFromLocation(D->getLocation()));
Richard Smithc264d352014-03-23 02:30:01 +0000179
180 // If this declaration injected a name into a context different from its
181 // lexical context, and that context is an imported namespace, we need to
182 // update its visible declarations to include this name.
183 //
184 // This happens when we instantiate a class with a friend declaration or a
185 // function with a local extern declaration, for instance.
186 if (D->isOutOfLine()) {
Richard Smithe3a97022014-03-23 20:41:56 +0000187 auto *DC = D->getDeclContext();
188 while (auto *NS = dyn_cast<NamespaceDecl>(DC->getRedeclContext())) {
189 if (!NS->isFromASTFile())
190 break;
Richard Smith561e0dc2014-03-23 19:45:26 +0000191 Writer.AddUpdatedDeclContext(NS->getPrimaryContext());
Richard Smithe3a97022014-03-23 20:41:56 +0000192 if (!NS->isInlineNamespace())
193 break;
194 DC = NS->getParent();
195 }
Richard Smithc264d352014-03-23 02:30:01 +0000196 }
Chris Lattner7099dbc2009-04-27 06:16:06 +0000197}
198
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000199void ASTDeclWriter::VisitTranslationUnitDecl(TranslationUnitDecl *D) {
Douglas Gregordab42432011-08-12 00:15:20 +0000200 llvm_unreachable("Translation units aren't directly serialized");
Chris Lattner7099dbc2009-04-27 06:16:06 +0000201}
202
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000203void ASTDeclWriter::VisitNamedDecl(NamedDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000204 VisitDecl(D);
205 Writer.AddDeclarationName(D->getDeclName(), Record);
Richard Smithd08aeb62014-08-28 01:33:39 +0000206 if (needsAnonymousDeclarationNumber(D))
207 Record.push_back(Writer.getAnonymousDeclarationNumber(D));
Chris Lattner7099dbc2009-04-27 06:16:06 +0000208}
209
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000210void ASTDeclWriter::VisitTypeDecl(TypeDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000211 VisitNamedDecl(D);
Abramo Bagnarab3185b02011-03-06 15:48:19 +0000212 Writer.AddSourceLocation(D->getLocStart(), Record);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000213 Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000214}
215
Douglas Gregor1f179062011-12-19 14:40:25 +0000216void ASTDeclWriter::VisitTypedefNameDecl(TypedefNameDecl *D) {
Douglas Gregor05f10352011-12-17 23:38:30 +0000217 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000218 VisitTypeDecl(D);
Enea Zaffanellaa86d88c2013-06-20 12:46:19 +0000219 Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
220 Record.push_back(D->isModed());
221 if (D->isModed())
222 Writer.AddTypeRef(D->getUnderlyingType(), Record);
Douglas Gregor1f179062011-12-19 14:40:25 +0000223}
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000224
Douglas Gregor1f179062011-12-19 14:40:25 +0000225void ASTDeclWriter::VisitTypedefDecl(TypedefDecl *D) {
226 VisitTypedefNameDecl(D);
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000227 if (!D->hasAttrs() &&
228 !D->isImplicit() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000229 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000230 !D->isInvalidDecl() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000231 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000232 !D->isModulePrivate() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000233 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000234 D->getDeclName().getNameKind() == DeclarationName::Identifier)
235 AbbrevToUse = Writer.getDeclTypedefAbbrev();
236
Sebastian Redl539c5062010-08-18 23:57:32 +0000237 Code = serialization::DECL_TYPEDEF;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000238}
239
Richard Smithdda56e42011-04-15 14:24:37 +0000240void ASTDeclWriter::VisitTypeAliasDecl(TypeAliasDecl *D) {
Douglas Gregor1f179062011-12-19 14:40:25 +0000241 VisitTypedefNameDecl(D);
Richard Smith43ccec8e2014-08-26 03:52:16 +0000242 Writer.AddDeclRef(D->getDescribedAliasTemplate(), Record);
Richard Smithdda56e42011-04-15 14:24:37 +0000243 Code = serialization::DECL_TYPEALIAS;
244}
245
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000246void ASTDeclWriter::VisitTagDecl(TagDecl *D) {
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000247 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000248 VisitTypeDecl(D);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000249 Record.push_back(D->getIdentifierNamespace());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000250 Record.push_back((unsigned)D->getTagKind()); // FIXME: stable encoding
Richard Smith2c381642014-08-27 23:11:59 +0000251 if (!isa<CXXRecordDecl>(D))
252 Record.push_back(D->isCompleteDefinition());
Douglas Gregor5089c762010-02-12 17:40:34 +0000253 Record.push_back(D->isEmbeddedInDeclarator());
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +0000254 Record.push_back(D->isFreeStanding());
David Blaikiea8d23ce2013-07-14 01:07:41 +0000255 Record.push_back(D->isCompleteDefinitionRequired());
Argyrios Kyrtzidis664b6902009-07-14 03:18:02 +0000256 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000257 Record.push_back(D->hasExtInfo());
258 if (D->hasExtInfo())
259 Writer.AddQualifierInfo(*D->getExtInfo(), Record);
David Majnemer50ce8352013-09-17 23:57:10 +0000260 else if (D->hasDeclaratorForAnonDecl())
261 Writer.AddDeclRef(D->getDeclaratorForAnonDecl(), Record);
David Majnemer37754412013-09-17 22:45:28 +0000262 else
Richard Smithdda56e42011-04-15 14:24:37 +0000263 Writer.AddDeclRef(D->getTypedefNameForAnonDecl(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000264}
265
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000266void ASTDeclWriter::VisitEnumDecl(EnumDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000267 VisitTagDecl(D);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000268 Writer.AddTypeSourceInfo(D->getIntegerTypeSourceInfo(), Record);
269 if (!D->getIntegerTypeSourceInfo())
270 Writer.AddTypeRef(D->getIntegerType(), Record);
John McCall56774992009-12-09 09:09:27 +0000271 Writer.AddTypeRef(D->getPromotionType(), Record);
John McCall9aa35be2010-05-06 08:49:23 +0000272 Record.push_back(D->getNumPositiveBits());
273 Record.push_back(D->getNumNegativeBits());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000274 Record.push_back(D->isScoped());
Abramo Bagnara0e05e242010-12-03 18:54:17 +0000275 Record.push_back(D->isScopedUsingClassTag());
Douglas Gregor0bf31402010-10-08 23:50:27 +0000276 Record.push_back(D->isFixed());
Richard Smith4b38ded2012-03-14 23:13:10 +0000277 if (MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo()) {
278 Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
279 Record.push_back(MemberInfo->getTemplateSpecializationKind());
280 Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
281 } else {
Craig Toppera13603a2014-05-22 05:54:18 +0000282 Writer.AddDeclRef(nullptr, Record);
Richard Smith4b38ded2012-03-14 23:13:10 +0000283 }
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000284
285 if (!D->hasAttrs() &&
286 !D->isImplicit() &&
287 !D->isUsed(false) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000288 !D->hasExtInfo() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000289 D->getFirstDecl() == D->getMostRecentDecl() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000290 !D->isInvalidDecl() &&
291 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000292 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000293 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000294 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000295 !CXXRecordDecl::classofKind(D->getKind()) &&
296 !D->getIntegerTypeSourceInfo() &&
Argyrios Kyrtzidisca370b0d2013-03-18 22:23:49 +0000297 !D->getMemberSpecializationInfo() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000298 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000299 D->getDeclName().getNameKind() == DeclarationName::Identifier)
300 AbbrevToUse = Writer.getDeclEnumAbbrev();
301
Sebastian Redl539c5062010-08-18 23:57:32 +0000302 Code = serialization::DECL_ENUM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000303}
304
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000305void ASTDeclWriter::VisitRecordDecl(RecordDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000306 VisitTagDecl(D);
307 Record.push_back(D->hasFlexibleArrayMember());
308 Record.push_back(D->isAnonymousStructOrUnion());
Fariborz Jahanian8e0d0422009-07-08 16:37:44 +0000309 Record.push_back(D->hasObjectMember());
Fariborz Jahanian78652202013-01-25 23:57:05 +0000310 Record.push_back(D->hasVolatileMember());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000311
312 if (!D->hasAttrs() &&
313 !D->isImplicit() &&
314 !D->isUsed(false) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000315 !D->hasExtInfo() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000316 D->getFirstDecl() == D->getMostRecentDecl() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000317 !D->isInvalidDecl() &&
318 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000319 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000320 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000321 !D->isModulePrivate() &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000322 !CXXRecordDecl::classofKind(D->getKind()) &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000323 !needsAnonymousDeclarationNumber(D) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000324 D->getDeclName().getNameKind() == DeclarationName::Identifier)
Douglas Gregor03412ba2011-06-03 02:27:19 +0000325 AbbrevToUse = Writer.getDeclRecordAbbrev();
326
Sebastian Redl539c5062010-08-18 23:57:32 +0000327 Code = serialization::DECL_RECORD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000328}
329
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000330void ASTDeclWriter::VisitValueDecl(ValueDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000331 VisitNamedDecl(D);
332 Writer.AddTypeRef(D->getType(), Record);
333}
334
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000335void ASTDeclWriter::VisitEnumConstantDecl(EnumConstantDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000336 VisitValueDecl(D);
337 Record.push_back(D->getInitExpr()? 1 : 0);
338 if (D->getInitExpr())
339 Writer.AddStmt(D->getInitExpr());
340 Writer.AddAPSInt(D->getInitVal(), Record);
Douglas Gregor03412ba2011-06-03 02:27:19 +0000341
Sebastian Redl539c5062010-08-18 23:57:32 +0000342 Code = serialization::DECL_ENUM_CONSTANT;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000343}
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000344
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000345void ASTDeclWriter::VisitDeclaratorDecl(DeclaratorDecl *D) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000346 VisitValueDecl(D);
Abramo Bagnaradff19302011-03-08 08:55:46 +0000347 Writer.AddSourceLocation(D->getInnerLocStart(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000348 Record.push_back(D->hasExtInfo());
349 if (D->hasExtInfo())
350 Writer.AddQualifierInfo(*D->getExtInfo(), Record);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000351}
Chris Lattner7099dbc2009-04-27 06:16:06 +0000352
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000353void ASTDeclWriter::VisitFunctionDecl(FunctionDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000354 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000355 VisitDeclaratorDecl(D);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000356 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000357 Record.push_back(D->getIdentifierNamespace());
Douglas Gregorb2585692012-01-04 17:13:46 +0000358
359 // FunctionDecl's body is handled last at ASTWriterDecl::Visit,
360 // after everything else is written.
361
362 Record.push_back(D->getStorageClass()); // FIXME: stable encoding
Douglas Gregorb2585692012-01-04 17:13:46 +0000363 Record.push_back(D->IsInline);
364 Record.push_back(D->isInlineSpecified());
365 Record.push_back(D->isVirtualAsWritten());
366 Record.push_back(D->isPure());
367 Record.push_back(D->hasInheritedPrototype());
368 Record.push_back(D->hasWrittenPrototype());
369 Record.push_back(D->isDeletedAsWritten());
370 Record.push_back(D->isTrivial());
371 Record.push_back(D->isDefaulted());
372 Record.push_back(D->isExplicitlyDefaulted());
373 Record.push_back(D->hasImplicitReturnZero());
374 Record.push_back(D->isConstexpr());
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000375 Record.push_back(D->HasSkippedBody);
Richard Smithe40f2ba2013-08-07 21:41:30 +0000376 Record.push_back(D->isLateTemplateParsed());
Rafael Espindola3ae00052013-05-13 00:12:11 +0000377 Record.push_back(D->getLinkageInternal());
Douglas Gregorb2585692012-01-04 17:13:46 +0000378 Writer.AddSourceLocation(D->getLocEnd(), Record);
379
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000380 Record.push_back(D->getTemplatedKind());
381 switch (D->getTemplatedKind()) {
382 case FunctionDecl::TK_NonTemplate:
383 break;
384 case FunctionDecl::TK_FunctionTemplate:
385 Writer.AddDeclRef(D->getDescribedFunctionTemplate(), Record);
386 break;
387 case FunctionDecl::TK_MemberSpecialization: {
388 MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo();
389 Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
390 Record.push_back(MemberInfo->getTemplateSpecializationKind());
391 Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
392 break;
393 }
394 case FunctionDecl::TK_FunctionTemplateSpecialization: {
395 FunctionTemplateSpecializationInfo *
396 FTSInfo = D->getTemplateSpecializationInfo();
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000397 Writer.AddDeclRef(FTSInfo->getTemplate(), Record);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000398 Record.push_back(FTSInfo->getTemplateSpecializationKind());
399
400 // Template arguments.
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +0000401 Writer.AddTemplateArgumentList(FTSInfo->TemplateArguments, Record);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000402
403 // Template args as written.
Craig Toppera13603a2014-05-22 05:54:18 +0000404 Record.push_back(FTSInfo->TemplateArgumentsAsWritten != nullptr);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000405 if (FTSInfo->TemplateArgumentsAsWritten) {
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000406 Record.push_back(FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs);
407 for (int i=0, e = FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs;
408 i!=e; ++i)
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000409 Writer.AddTemplateArgumentLoc((*FTSInfo->TemplateArgumentsAsWritten)[i],
410 Record);
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000411 Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->LAngleLoc,
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000412 Record);
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000413 Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->RAngleLoc,
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000414 Record);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000415 }
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000416
417 Writer.AddSourceLocation(FTSInfo->getPointOfInstantiation(), Record);
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000418
419 if (D->isCanonicalDecl()) {
420 // Write the template that contains the specializations set. We will
421 // add a FunctionTemplateSpecializationInfo to it when reading.
422 Writer.AddDeclRef(FTSInfo->getTemplate()->getCanonicalDecl(), Record);
423 }
Argyrios Kyrtzidisdc9ca0a2010-06-25 16:24:51 +0000424 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000425 }
426 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
427 DependentFunctionTemplateSpecializationInfo *
428 DFTSInfo = D->getDependentSpecializationInfo();
429
430 // Templates.
431 Record.push_back(DFTSInfo->getNumTemplates());
432 for (int i=0, e = DFTSInfo->getNumTemplates(); i != e; ++i)
433 Writer.AddDeclRef(DFTSInfo->getTemplate(i), Record);
434
435 // Templates args.
436 Record.push_back(DFTSInfo->getNumTemplateArgs());
437 for (int i=0, e = DFTSInfo->getNumTemplateArgs(); i != e; ++i)
438 Writer.AddTemplateArgumentLoc(DFTSInfo->getTemplateArg(i), Record);
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000439 Writer.AddSourceLocation(DFTSInfo->getLAngleLoc(), Record);
440 Writer.AddSourceLocation(DFTSInfo->getRAngleLoc(), Record);
Argyrios Kyrtzidisdc9ca0a2010-06-25 16:24:51 +0000441 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000442 }
443 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000444
Chris Lattner7099dbc2009-04-27 06:16:06 +0000445 Record.push_back(D->param_size());
Aaron Ballmanf6bf62e2014-03-07 15:12:56 +0000446 for (auto P : D->params())
447 Writer.AddDeclRef(P, Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000448 Code = serialization::DECL_FUNCTION;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000449}
450
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000451void ASTDeclWriter::VisitObjCMethodDecl(ObjCMethodDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000452 VisitNamedDecl(D);
453 // FIXME: convert to LazyStmtPtr?
Mike Stump11289f42009-09-09 15:08:12 +0000454 // Unlike C/C++, method bodies will never be in header files.
Craig Toppera13603a2014-05-22 05:54:18 +0000455 bool HasBodyStuff = D->getBody() != nullptr ||
456 D->getSelfDecl() != nullptr || D->getCmdDecl() != nullptr;
Argyrios Kyrtzidisa8607772010-08-09 10:54:37 +0000457 Record.push_back(HasBodyStuff);
458 if (HasBodyStuff) {
Argyrios Kyrtzidisddcd1322009-06-30 02:35:26 +0000459 Writer.AddStmt(D->getBody());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000460 Writer.AddDeclRef(D->getSelfDecl(), Record);
461 Writer.AddDeclRef(D->getCmdDecl(), Record);
462 }
463 Record.push_back(D->isInstanceMethod());
464 Record.push_back(D->isVariadic());
Jordan Rosed01e83a2012-10-10 16:42:25 +0000465 Record.push_back(D->isPropertyAccessor());
Fariborz Jahanian6e7e8cc2010-07-22 18:24:20 +0000466 Record.push_back(D->isDefined());
Argyrios Kyrtzidis08f96a92012-05-09 16:12:57 +0000467 Record.push_back(D->IsOverriding);
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000468 Record.push_back(D->HasSkippedBody);
Argyrios Kyrtzidisdb215962011-10-14 17:41:52 +0000469
470 Record.push_back(D->IsRedeclaration);
471 Record.push_back(D->HasRedeclaration);
472 if (D->HasRedeclaration) {
473 assert(Context.getObjCMethodRedeclaration(D));
474 Writer.AddDeclRef(Context.getObjCMethodRedeclaration(D), Record);
475 }
476
Chris Lattner7099dbc2009-04-27 06:16:06 +0000477 // FIXME: stable encoding for @required/@optional
Mike Stump11289f42009-09-09 15:08:12 +0000478 Record.push_back(D->getImplementationControl());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000479 // FIXME: stable encoding for in/out/inout/bycopy/byref/oneway
Mike Stump11289f42009-09-09 15:08:12 +0000480 Record.push_back(D->getObjCDeclQualifier());
Douglas Gregor33823722011-06-11 01:09:30 +0000481 Record.push_back(D->hasRelatedResultType());
Alp Toker314cc812014-01-25 16:55:45 +0000482 Writer.AddTypeRef(D->getReturnType(), Record);
483 Writer.AddTypeSourceInfo(D->getReturnTypeSourceInfo(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000484 Writer.AddSourceLocation(D->getLocEnd(), Record);
485 Record.push_back(D->param_size());
Aaron Ballman43b68be2014-03-07 17:50:17 +0000486 for (const auto *P : D->params())
487 Writer.AddDeclRef(P, Record);
Argyrios Kyrtzidisb8c3aaf2011-10-03 06:37:04 +0000488
489 Record.push_back(D->SelLocsKind);
490 unsigned NumStoredSelLocs = D->getNumStoredSelLocs();
491 SourceLocation *SelLocs = D->getStoredSelLocs();
492 Record.push_back(NumStoredSelLocs);
493 for (unsigned i = 0; i != NumStoredSelLocs; ++i)
494 Writer.AddSourceLocation(SelLocs[i], Record);
495
Sebastian Redl539c5062010-08-18 23:57:32 +0000496 Code = serialization::DECL_OBJC_METHOD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000497}
498
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000499void ASTDeclWriter::VisitObjCContainerDecl(ObjCContainerDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000500 VisitNamedDecl(D);
Argyrios Kyrtzidis52f53fb2011-10-04 04:48:02 +0000501 Writer.AddSourceLocation(D->getAtStartLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000502 Writer.AddSourceRange(D->getAtEndRange(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000503 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner7099dbc2009-04-27 06:16:06 +0000504}
505
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000506void ASTDeclWriter::VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
Douglas Gregor66b310c2011-12-15 18:03:09 +0000507 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000508 VisitObjCContainerDecl(D);
509 Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000510
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000511 Record.push_back(D->isThisDeclarationADefinition());
512 if (D->isThisDeclarationADefinition()) {
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000513 // Write the DefinitionData
514 ObjCInterfaceDecl::DefinitionData &Data = D->data();
515
516 Writer.AddDeclRef(D->getSuperClass(), Record);
517 Writer.AddSourceLocation(D->getSuperClassLoc(), Record);
Douglas Gregor16408322011-12-15 22:34:59 +0000518 Writer.AddSourceLocation(D->getEndOfDefinitionLoc(), Record);
Argyrios Kyrtzidis9ed9e5f2013-12-03 21:11:30 +0000519 Record.push_back(Data.HasDesignatedInitializers);
Douglas Gregor16408322011-12-15 22:34:59 +0000520
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000521 // Write out the protocols that are directly referenced by the @interface.
522 Record.push_back(Data.ReferencedProtocols.size());
Aaron Ballmana49c5062014-03-13 20:29:09 +0000523 for (const auto *P : D->protocols())
524 Writer.AddDeclRef(P, Record);
Aaron Ballmane9378882014-03-13 20:34:24 +0000525 for (const auto &PL : D->protocol_locs())
526 Writer.AddSourceLocation(PL, Record);
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000527
528 // Write out the protocols that are transitively referenced.
529 Record.push_back(Data.AllReferencedProtocols.size());
530 for (ObjCList<ObjCProtocolDecl>::iterator
531 P = Data.AllReferencedProtocols.begin(),
532 PEnd = Data.AllReferencedProtocols.end();
533 P != PEnd; ++P)
534 Writer.AddDeclRef(*P, Record);
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000535
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000536
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000537 if (ObjCCategoryDecl *Cat = D->getCategoryListRaw()) {
Douglas Gregor404cdde2012-01-27 01:47:08 +0000538 // Ensure that we write out the set of categories for this class.
539 Writer.ObjCClassesWithCategories.insert(D);
540
541 // Make sure that the categories get serialized.
Douglas Gregor048fbfa2013-01-16 23:00:23 +0000542 for (; Cat; Cat = Cat->getNextClassCategoryRaw())
Douglas Gregor404cdde2012-01-27 01:47:08 +0000543 (void)Writer.GetDeclRef(Cat);
544 }
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000545 }
546
Sebastian Redl539c5062010-08-18 23:57:32 +0000547 Code = serialization::DECL_OBJC_INTERFACE;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000548}
549
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000550void ASTDeclWriter::VisitObjCIvarDecl(ObjCIvarDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000551 VisitFieldDecl(D);
552 // FIXME: stable encoding for @public/@private/@protected/@package
Mike Stump11289f42009-09-09 15:08:12 +0000553 Record.push_back(D->getAccessControl());
Fariborz Jahanianaea8e1e2010-07-17 18:35:47 +0000554 Record.push_back(D->getSynthesize());
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000555
556 if (!D->hasAttrs() &&
557 !D->isImplicit() &&
558 !D->isUsed(false) &&
559 !D->isInvalidDecl() &&
560 !D->isReferenced() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000561 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000562 !D->getBitWidth() &&
563 !D->hasExtInfo() &&
564 D->getDeclName())
565 AbbrevToUse = Writer.getDeclObjCIvarAbbrev();
566
Sebastian Redl539c5062010-08-18 23:57:32 +0000567 Code = serialization::DECL_OBJC_IVAR;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000568}
569
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000570void ASTDeclWriter::VisitObjCProtocolDecl(ObjCProtocolDecl *D) {
Douglas Gregora715bff2012-01-01 19:51:50 +0000571 VisitRedeclarable(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000572 VisitObjCContainerDecl(D);
Douglas Gregore6e48b12012-01-01 19:29:29 +0000573
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000574 Record.push_back(D->isThisDeclarationADefinition());
575 if (D->isThisDeclarationADefinition()) {
Douglas Gregore6e48b12012-01-01 19:29:29 +0000576 Record.push_back(D->protocol_size());
Aaron Ballman0f6e64d2014-03-13 22:58:06 +0000577 for (const auto *I : D->protocols())
578 Writer.AddDeclRef(I, Record);
Aaron Ballmana964ec12014-03-14 12:38:50 +0000579 for (const auto &PL : D->protocol_locs())
580 Writer.AddSourceLocation(PL, Record);
Douglas Gregore6e48b12012-01-01 19:29:29 +0000581 }
582
Sebastian Redl539c5062010-08-18 23:57:32 +0000583 Code = serialization::DECL_OBJC_PROTOCOL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000584}
585
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000586void ASTDeclWriter::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000587 VisitFieldDecl(D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000588 Code = serialization::DECL_OBJC_AT_DEFS_FIELD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000589}
590
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000591void ASTDeclWriter::VisitObjCCategoryDecl(ObjCCategoryDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000592 VisitObjCContainerDecl(D);
Douglas Gregor404cdde2012-01-27 01:47:08 +0000593 Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
Fariborz Jahaniana7765fe2012-02-20 20:09:20 +0000594 Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
595 Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000596 Writer.AddDeclRef(D->getClassInterface(), Record);
597 Record.push_back(D->protocol_size());
Aaron Ballman19a41762014-03-14 12:55:57 +0000598 for (const auto *I : D->protocols())
599 Writer.AddDeclRef(I, Record);
Aaron Ballmana73c8572014-03-14 13:03:32 +0000600 for (const auto &PL : D->protocol_locs())
601 Writer.AddSourceLocation(PL, Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000602 Code = serialization::DECL_OBJC_CATEGORY;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000603}
604
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000605void ASTDeclWriter::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000606 VisitNamedDecl(D);
607 Writer.AddDeclRef(D->getClassInterface(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000608 Code = serialization::DECL_OBJC_COMPATIBLE_ALIAS;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000609}
610
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000611void ASTDeclWriter::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000612 VisitNamedDecl(D);
Fariborz Jahanianda8ec2b2010-01-21 17:36:00 +0000613 Writer.AddSourceLocation(D->getAtLoc(), Record);
Fariborz Jahanian86c2f5c2012-02-29 22:18:55 +0000614 Writer.AddSourceLocation(D->getLParenLoc(), Record);
John McCall339bb662010-06-04 20:50:08 +0000615 Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000616 // FIXME: stable encoding
617 Record.push_back((unsigned)D->getPropertyAttributes());
Fariborz Jahanian3bf0ded2010-06-22 23:20:40 +0000618 Record.push_back((unsigned)D->getPropertyAttributesAsWritten());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000619 // FIXME: stable encoding
620 Record.push_back((unsigned)D->getPropertyImplementation());
621 Writer.AddDeclarationName(D->getGetterName(), Record);
622 Writer.AddDeclarationName(D->getSetterName(), Record);
623 Writer.AddDeclRef(D->getGetterMethodDecl(), Record);
624 Writer.AddDeclRef(D->getSetterMethodDecl(), Record);
625 Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000626 Code = serialization::DECL_OBJC_PROPERTY;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000627}
628
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000629void ASTDeclWriter::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidis067c4072009-07-27 19:04:32 +0000630 VisitObjCContainerDecl(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000631 Writer.AddDeclRef(D->getClassInterface(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000632 // Abstract class (no need to define a stable serialization::DECL code).
Chris Lattner7099dbc2009-04-27 06:16:06 +0000633}
634
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000635void ASTDeclWriter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000636 VisitObjCImplDecl(D);
637 Writer.AddIdentifierRef(D->getIdentifier(), Record);
Argyrios Kyrtzidis4996f5f2011-12-09 00:31:40 +0000638 Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000639 Code = serialization::DECL_OBJC_CATEGORY_IMPL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000640}
641
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000642void ASTDeclWriter::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000643 VisitObjCImplDecl(D);
644 Writer.AddDeclRef(D->getSuperClass(), Record);
Argyrios Kyrtzidis5d2ce842013-05-03 22:31:26 +0000645 Writer.AddSourceLocation(D->getSuperClassLoc(), Record);
Fariborz Jahaniana7765fe2012-02-20 20:09:20 +0000646 Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
647 Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
John McCall0d54a172012-10-17 04:53:31 +0000648 Record.push_back(D->hasNonZeroConstructors());
649 Record.push_back(D->hasDestructors());
Alexis Hunt1d792652011-01-08 20:30:50 +0000650 Writer.AddCXXCtorInitializers(D->IvarInitializers, D->NumIvarInitializers,
651 Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000652 Code = serialization::DECL_OBJC_IMPLEMENTATION;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000653}
654
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000655void ASTDeclWriter::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000656 VisitDecl(D);
657 Writer.AddSourceLocation(D->getLocStart(), Record);
658 Writer.AddDeclRef(D->getPropertyDecl(), Record);
659 Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
Douglas Gregorb1b71e52010-11-17 01:03:52 +0000660 Writer.AddSourceLocation(D->getPropertyIvarDeclLoc(), Record);
Argyrios Kyrtzidisa8607772010-08-09 10:54:37 +0000661 Writer.AddStmt(D->getGetterCXXConstructor());
662 Writer.AddStmt(D->getSetterCXXAssignment());
Sebastian Redl539c5062010-08-18 23:57:32 +0000663 Code = serialization::DECL_OBJC_PROPERTY_IMPL;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000664}
665
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000666void ASTDeclWriter::VisitFieldDecl(FieldDecl *D) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000667 VisitDeclaratorDecl(D);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000668 Record.push_back(D->isMutable());
Richard Smith2b013182012-06-10 03:12:00 +0000669 if (D->InitializerOrBitWidth.getInt() != ICIS_NoInit ||
670 D->InitializerOrBitWidth.getPointer()) {
671 Record.push_back(D->InitializerOrBitWidth.getInt() + 1);
672 Writer.AddStmt(D->InitializerOrBitWidth.getPointer());
673 } else {
674 Record.push_back(0);
675 }
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000676 if (!D->getDeclName())
677 Writer.AddDeclRef(Context.getInstantiatedFromUnnamedFieldDecl(D), Record);
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000678
679 if (!D->hasAttrs() &&
680 !D->isImplicit() &&
681 !D->isUsed(false) &&
682 !D->isInvalidDecl() &&
683 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000684 !D->isTopLevelDeclInObjCContainer() &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000685 !D->isModulePrivate() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000686 !D->getBitWidth() &&
Richard Smith938f40b2011-06-11 17:19:42 +0000687 !D->hasInClassInitializer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000688 !D->hasExtInfo() &&
689 !ObjCIvarDecl::classofKind(D->getKind()) &&
690 !ObjCAtDefsFieldDecl::classofKind(D->getKind()) &&
691 D->getDeclName())
692 AbbrevToUse = Writer.getDeclFieldAbbrev();
693
Sebastian Redl539c5062010-08-18 23:57:32 +0000694 Code = serialization::DECL_FIELD;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000695}
696
John McCall5e77d762013-04-16 07:28:30 +0000697void ASTDeclWriter::VisitMSPropertyDecl(MSPropertyDecl *D) {
698 VisitDeclaratorDecl(D);
699 Writer.AddIdentifierRef(D->getGetterId(), Record);
700 Writer.AddIdentifierRef(D->getSetterId(), Record);
701 Code = serialization::DECL_MS_PROPERTY;
702}
703
Francois Pichet783dd6e2010-11-21 06:08:52 +0000704void ASTDeclWriter::VisitIndirectFieldDecl(IndirectFieldDecl *D) {
705 VisitValueDecl(D);
706 Record.push_back(D->getChainingSize());
707
Aaron Ballman29c94602014-03-07 18:36:15 +0000708 for (const auto *P : D->chain())
Aaron Ballman13916082014-03-07 18:11:58 +0000709 Writer.AddDeclRef(P, Record);
Francois Pichet783dd6e2010-11-21 06:08:52 +0000710 Code = serialization::DECL_INDIRECTFIELD;
711}
712
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000713void ASTDeclWriter::VisitVarDecl(VarDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000714 VisitRedeclarable(D);
Douglas Gregor3e300102011-10-26 17:53:41 +0000715 VisitDeclaratorDecl(D);
Rafael Espindola6ae7e502013-04-03 19:27:57 +0000716 Record.push_back(D->getStorageClass());
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +0000717 Record.push_back(D->getTSCSpec());
Sebastian Redla9351792012-02-11 23:51:47 +0000718 Record.push_back(D->getInitStyle());
Douglas Gregor3f324d562010-05-03 18:51:14 +0000719 Record.push_back(D->isExceptionVariable());
Douglas Gregor6fd1b182010-05-15 06:01:05 +0000720 Record.push_back(D->isNRVOVariable());
Richard Smith02e85f32011-04-14 22:09:26 +0000721 Record.push_back(D->isCXXForRangeDecl());
John McCalld4631322011-06-17 06:42:21 +0000722 Record.push_back(D->isARCPseudoStrong());
Douglas Gregor12cda632012-09-20 23:43:29 +0000723 Record.push_back(D->isConstexpr());
Richard Smithbb13c9a2013-09-28 04:02:39 +0000724 Record.push_back(D->isInitCapture());
Richard Smith1c34fb72013-08-13 18:18:50 +0000725 Record.push_back(D->isPreviousDeclInSameBlockScope());
Rafael Espindola3ae00052013-05-13 00:12:11 +0000726 Record.push_back(D->getLinkageInternal());
Douglas Gregor12cda632012-09-20 23:43:29 +0000727
Richard Smithd0b4dd62011-12-19 06:19:21 +0000728 if (D->getInit()) {
729 Record.push_back(!D->isInitKnownICE() ? 1 : (D->isInitICE() ? 3 : 2));
Chris Lattner7099dbc2009-04-27 06:16:06 +0000730 Writer.AddStmt(D->getInit());
Richard Smithd0b4dd62011-12-19 06:19:21 +0000731 } else {
732 Record.push_back(0);
733 }
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000734
735 enum {
736 VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
737 };
738 if (VarTemplateDecl *TemplD = D->getDescribedVarTemplate()) {
739 Record.push_back(VarTemplate);
740 Writer.AddDeclRef(TemplD, Record);
741 } else if (MemberSpecializationInfo *SpecInfo
742 = D->getMemberSpecializationInfo()) {
743 Record.push_back(StaticDataMemberSpecialization);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000744 Writer.AddDeclRef(SpecInfo->getInstantiatedFrom(), Record);
745 Record.push_back(SpecInfo->getTemplateSpecializationKind());
746 Writer.AddSourceLocation(SpecInfo->getPointOfInstantiation(), Record);
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000747 } else {
748 Record.push_back(VarNotTemplate);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000749 }
750
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000751 if (!D->hasAttrs() &&
752 !D->isImplicit() &&
753 !D->isUsed(false) &&
754 !D->isInvalidDecl() &&
755 !D->isReferenced() &&
Argyrios Kyrtzidisa7245002011-11-23 21:11:23 +0000756 !D->isTopLevelDeclInObjCContainer() &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000757 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000758 !D->isModulePrivate() &&
Richard Smithd08aeb62014-08-28 01:33:39 +0000759 !needsAnonymousDeclarationNumber(D) &&
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000760 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
761 !D->hasExtInfo() &&
Rafael Espindola8db352d2013-10-17 15:37:26 +0000762 D->getFirstDecl() == D->getMostRecentDecl() &&
Sebastian Redla9351792012-02-11 23:51:47 +0000763 D->getInitStyle() == VarDecl::CInit &&
Craig Toppera13603a2014-05-22 05:54:18 +0000764 D->getInit() == nullptr &&
John McCalld4631322011-06-17 06:42:21 +0000765 !isa<ParmVarDecl>(D) &&
Larisse Voufoa11bd8a2013-08-13 02:02:26 +0000766 !isa<VarTemplateSpecializationDecl>(D) &&
Douglas Gregor12cda632012-09-20 23:43:29 +0000767 !D->isConstexpr() &&
Richard Smithbb13c9a2013-09-28 04:02:39 +0000768 !D->isInitCapture() &&
Richard Smith1c34fb72013-08-13 18:18:50 +0000769 !D->isPreviousDeclInSameBlockScope() &&
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000770 !D->getMemberSpecializationInfo())
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000771 AbbrevToUse = Writer.getDeclVarAbbrev();
772
Sebastian Redl539c5062010-08-18 23:57:32 +0000773 Code = serialization::DECL_VAR;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000774}
775
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000776void ASTDeclWriter::VisitImplicitParamDecl(ImplicitParamDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000777 VisitVarDecl(D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000778 Code = serialization::DECL_IMPLICIT_PARAM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000779}
780
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000781void ASTDeclWriter::VisitParmVarDecl(ParmVarDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000782 VisitVarDecl(D);
John McCall82490832011-05-02 00:30:12 +0000783 Record.push_back(D->isObjCMethodParameter());
John McCall8fb0d9d2011-05-01 22:35:37 +0000784 Record.push_back(D->getFunctionScopeDepth());
785 Record.push_back(D->getFunctionScopeIndex());
Chris Lattner7099dbc2009-04-27 06:16:06 +0000786 Record.push_back(D->getObjCDeclQualifier()); // FIXME: stable encoding
John McCall6a014d52011-03-09 04:22:44 +0000787 Record.push_back(D->isKNRPromoted());
John McCallf3cd6652010-03-12 18:31:32 +0000788 Record.push_back(D->hasInheritedDefaultArg());
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000789 Record.push_back(D->hasUninstantiatedDefaultArg());
790 if (D->hasUninstantiatedDefaultArg())
791 Writer.AddStmt(D->getUninstantiatedDefaultArg());
Sebastian Redl539c5062010-08-18 23:57:32 +0000792 Code = serialization::DECL_PARM_VAR;
Mike Stump11289f42009-09-09 15:08:12 +0000793
John McCalld4631322011-06-17 06:42:21 +0000794 assert(!D->isARCPseudoStrong()); // can be true of ImplicitParamDecl
795
Chris Lattner258172e2009-04-27 07:35:58 +0000796 // If the assumptions about the DECL_PARM_VAR abbrev are true, use it. Here
797 // we dynamically check for the properties that we optimize for, but don't
798 // know are true of all PARM_VAR_DECLs.
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000799 if (!D->hasAttrs() &&
800 !D->hasExtInfo() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000801 !D->isImplicit() &&
Douglas Gregorebada0772010-06-17 23:14:26 +0000802 !D->isUsed(false) &&
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +0000803 !D->isInvalidDecl() &&
Eli Friedmanc09e0552012-01-13 23:41:25 +0000804 !D->isReferenced() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000805 D->getAccess() == AS_none &&
Douglas Gregor26701a42011-09-09 02:06:17 +0000806 !D->isModulePrivate() &&
Chris Lattner258172e2009-04-27 07:35:58 +0000807 D->getStorageClass() == 0 &&
Sebastian Redla9351792012-02-11 23:51:47 +0000808 D->getInitStyle() == VarDecl::CInit && // Can params have anything else?
John McCall82490832011-05-02 00:30:12 +0000809 D->getFunctionScopeDepth() == 0 &&
John McCallf3cd6652010-03-12 18:31:32 +0000810 D->getObjCDeclQualifier() == 0 &&
John McCall6a014d52011-03-09 04:22:44 +0000811 !D->isKNRPromoted() &&
Chris Lattnere2437f42010-05-09 06:40:08 +0000812 !D->hasInheritedDefaultArg() &&
Craig Toppera13603a2014-05-22 05:54:18 +0000813 D->getInit() == nullptr &&
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000814 !D->hasUninstantiatedDefaultArg()) // No default expr.
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000815 AbbrevToUse = Writer.getDeclParmVarAbbrev();
Chris Lattner258172e2009-04-27 07:35:58 +0000816
817 // Check things we know are true of *every* PARM_VAR_DECL, which is more than
818 // just us assuming it.
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +0000819 assert(!D->getTSCSpec() && "PARM_VAR_DECL can't use TLS");
Chris Lattner258172e2009-04-27 07:35:58 +0000820 assert(D->getAccess() == AS_none && "PARM_VAR_DECL can't be public/private");
Douglas Gregor3f324d562010-05-03 18:51:14 +0000821 assert(!D->isExceptionVariable() && "PARM_VAR_DECL can't be exception var");
Craig Toppera13603a2014-05-22 05:54:18 +0000822 assert(D->getPreviousDecl() == nullptr && "PARM_VAR_DECL can't be redecl");
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000823 assert(!D->isStaticDataMember() &&
824 "PARM_VAR_DECL can't be static data member");
Chris Lattner7099dbc2009-04-27 06:16:06 +0000825}
826
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000827void ASTDeclWriter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000828 VisitDecl(D);
829 Writer.AddStmt(D->getAsmString());
Abramo Bagnara348823a2011-03-03 14:20:18 +0000830 Writer.AddSourceLocation(D->getRParenLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000831 Code = serialization::DECL_FILE_SCOPE_ASM;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000832}
833
Michael Han84324352013-02-22 17:15:32 +0000834void ASTDeclWriter::VisitEmptyDecl(EmptyDecl *D) {
835 VisitDecl(D);
836 Code = serialization::DECL_EMPTY;
837}
838
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000839void ASTDeclWriter::VisitBlockDecl(BlockDecl *D) {
Chris Lattner7099dbc2009-04-27 06:16:06 +0000840 VisitDecl(D);
841 Writer.AddStmt(D->getBody());
John McCalla3ccba02010-06-04 11:21:44 +0000842 Writer.AddTypeSourceInfo(D->getSignatureAsWritten(), Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +0000843 Record.push_back(D->param_size());
844 for (FunctionDecl::param_iterator P = D->param_begin(), PEnd = D->param_end();
845 P != PEnd; ++P)
846 Writer.AddDeclRef(*P, Record);
John McCallcf6ce282012-04-13 17:33:29 +0000847 Record.push_back(D->isVariadic());
848 Record.push_back(D->blockMissingReturnType());
849 Record.push_back(D->isConversionFromLambda());
John McCallc63de662011-02-02 13:00:07 +0000850 Record.push_back(D->capturesCXXThis());
John McCall351762c2011-02-07 10:33:21 +0000851 Record.push_back(D->getNumCaptures());
Aaron Ballman9371dd22014-03-14 18:34:04 +0000852 for (const auto &capture : D->captures()) {
John McCall351762c2011-02-07 10:33:21 +0000853 Writer.AddDeclRef(capture.getVariable(), Record);
854
855 unsigned flags = 0;
856 if (capture.isByRef()) flags |= 1;
857 if (capture.isNested()) flags |= 2;
858 if (capture.hasCopyExpr()) flags |= 4;
859 Record.push_back(flags);
860
861 if (capture.hasCopyExpr()) Writer.AddStmt(capture.getCopyExpr());
862 }
John McCallc63de662011-02-02 13:00:07 +0000863
Sebastian Redl539c5062010-08-18 23:57:32 +0000864 Code = serialization::DECL_BLOCK;
Chris Lattner7099dbc2009-04-27 06:16:06 +0000865}
866
Ben Langmuirce914fc2013-05-03 19:20:19 +0000867void ASTDeclWriter::VisitCapturedDecl(CapturedDecl *CD) {
868 Record.push_back(CD->getNumParams());
869 VisitDecl(CD);
Alexey Bataev9959db52014-05-06 10:08:46 +0000870 Record.push_back(CD->getContextParamPosition());
871 Record.push_back(CD->isNothrow() ? 1 : 0);
Ben Langmuirce914fc2013-05-03 19:20:19 +0000872 // Body is stored by VisitCapturedStmt.
Alexey Bataev9959db52014-05-06 10:08:46 +0000873 for (unsigned I = 0; I < CD->getNumParams(); ++I)
874 Writer.AddDeclRef(CD->getParam(I), Record);
Ben Langmuirce914fc2013-05-03 19:20:19 +0000875 Code = serialization::DECL_CAPTURED;
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +0000876}
877
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000878void ASTDeclWriter::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000879 VisitDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000880 Record.push_back(D->getLanguage());
Abramo Bagnaraea947882011-03-08 16:41:52 +0000881 Writer.AddSourceLocation(D->getExternLoc(), Record);
Abramo Bagnara4a8cda82011-03-03 14:52:38 +0000882 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000883 Code = serialization::DECL_LINKAGE_SPEC;
Chris Lattnerca025db2010-05-07 21:43:38 +0000884}
885
Chris Lattnerc8e630e2011-02-17 07:39:24 +0000886void ASTDeclWriter::VisitLabelDecl(LabelDecl *D) {
887 VisitNamedDecl(D);
Abramo Bagnara1c3af962011-03-05 18:21:20 +0000888 Writer.AddSourceLocation(D->getLocStart(), Record);
Chris Lattnerc8e630e2011-02-17 07:39:24 +0000889 Code = serialization::DECL_LABEL;
890}
891
892
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000893void ASTDeclWriter::VisitNamespaceDecl(NamespaceDecl *D) {
Douglas Gregore57e7522012-01-07 09:11:48 +0000894 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000895 VisitNamedDecl(D);
Douglas Gregor44e5c1f2010-10-05 20:41:58 +0000896 Record.push_back(D->isInline());
Abramo Bagnarab5545be2011-03-08 12:38:20 +0000897 Writer.AddSourceLocation(D->getLocStart(), Record);
898 Writer.AddSourceLocation(D->getRBraceLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000899
Chris Lattnerca025db2010-05-07 21:43:38 +0000900 if (D->isOriginalNamespace())
901 Writer.AddDeclRef(D->getAnonymousNamespace(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000902 Code = serialization::DECL_NAMESPACE;
Sebastian Redlf03cdc52010-08-05 21:22:19 +0000903
904 if (Writer.hasChain() && !D->isOriginalNamespace() &&
Douglas Gregorb3722e22011-09-09 23:01:35 +0000905 D->getOriginalNamespace()->isFromASTFile()) {
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +0000906 NamespaceDecl *NS = D->getOriginalNamespace();
Argyrios Kyrtzidis01c2df42010-10-28 07:38:51 +0000907 Writer.AddUpdatedDeclContext(NS);
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +0000908
909 // Make sure all visible decls are written. They will be recorded later.
Richard Smithf634c902012-03-16 06:12:59 +0000910 if (StoredDeclsMap *Map = NS->buildLookup()) {
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +0000911 for (StoredDeclsMap::iterator D = Map->begin(), DEnd = Map->end();
912 D != DEnd; ++D) {
David Blaikieff7d47a2012-12-19 00:45:41 +0000913 DeclContext::lookup_result R = D->second.getLookupResult();
914 for (DeclContext::lookup_iterator I = R.begin(), E = R.end(); I != E;
915 ++I)
916 Writer.GetDeclRef(*I);
Argyrios Kyrtzidis3317d982010-10-20 16:22:56 +0000917 }
918 }
Sebastian Redlf03cdc52010-08-05 21:22:19 +0000919 }
Sebastian Redlfa1f3702011-04-24 16:28:13 +0000920
Douglas Gregore57e7522012-01-07 09:11:48 +0000921 if (Writer.hasChain() && D->isAnonymousNamespace() &&
Douglas Gregorec9fd132012-01-14 16:38:05 +0000922 D == D->getMostRecentDecl()) {
Sebastian Redl010288f2011-04-24 16:28:21 +0000923 // This is a most recent reopening of the anonymous namespace. If its parent
924 // is in a previous PCH (or is the TU), mark that parent for update, because
925 // the original namespace always points to the latest re-opening of its
926 // anonymous namespace.
927 Decl *Parent = cast<Decl>(
928 D->getParent()->getRedeclContext()->getPrimaryContext());
Douglas Gregorb3722e22011-09-09 23:01:35 +0000929 if (Parent->isFromASTFile() || isa<TranslationUnitDecl>(Parent)) {
Richard Smith6ef42932014-03-20 21:02:00 +0000930 Writer.DeclUpdates[Parent].push_back(
Aaron Ballman4f45b712014-03-21 15:22:56 +0000931 ASTWriter::DeclUpdate(UPD_CXX_ADDED_ANONYMOUS_NAMESPACE, D));
Sebastian Redlfa1f3702011-04-24 16:28:13 +0000932 }
933 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000934}
935
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000936void ASTDeclWriter::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000937 VisitNamedDecl(D);
Douglas Gregorf9e43ce2010-09-01 00:08:19 +0000938 Writer.AddSourceLocation(D->getNamespaceLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000939 Writer.AddSourceLocation(D->getTargetNameLoc(), Record);
Douglas Gregorc05ba2e2011-02-25 17:08:07 +0000940 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000941 Writer.AddDeclRef(D->getNamespace(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000942 Code = serialization::DECL_NAMESPACE_ALIAS;
Chris Lattnerca025db2010-05-07 21:43:38 +0000943}
944
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000945void ASTDeclWriter::VisitUsingDecl(UsingDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000946 VisitNamedDecl(D);
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +0000947 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Douglas Gregora9d87bc2011-02-25 00:36:19 +0000948 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000949 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Benjamin Kramere78f8ee2012-01-07 19:09:05 +0000950 Writer.AddDeclRef(D->FirstUsingShadow.getPointer(), Record);
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +0000951 Record.push_back(D->hasTypename());
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000952 Writer.AddDeclRef(Context.getInstantiatedFromUsingDecl(D), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000953 Code = serialization::DECL_USING;
Chris Lattnerca025db2010-05-07 21:43:38 +0000954}
955
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000956void ASTDeclWriter::VisitUsingShadowDecl(UsingShadowDecl *D) {
Richard Smithfd8634a2013-10-23 02:17:46 +0000957 VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000958 VisitNamedDecl(D);
959 Writer.AddDeclRef(D->getTargetDecl(), Record);
Argyrios Kyrtzidis2703beb2010-11-10 05:40:41 +0000960 Writer.AddDeclRef(D->UsingOrNextShadow, Record);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000961 Writer.AddDeclRef(Context.getInstantiatedFromUsingShadowDecl(D), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000962 Code = serialization::DECL_USING_SHADOW;
Chris Lattnerca025db2010-05-07 21:43:38 +0000963}
964
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000965void ASTDeclWriter::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000966 VisitNamedDecl(D);
Douglas Gregor01a430132010-09-01 03:07:18 +0000967 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000968 Writer.AddSourceLocation(D->getNamespaceKeyLocation(), Record);
Douglas Gregor12441b32011-02-25 16:33:46 +0000969 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +0000970 Writer.AddDeclRef(D->getNominatedNamespace(), Record);
971 Writer.AddDeclRef(dyn_cast<Decl>(D->getCommonAncestor()), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000972 Code = serialization::DECL_USING_DIRECTIVE;
Chris Lattnerca025db2010-05-07 21:43:38 +0000973}
974
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000975void ASTDeclWriter::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000976 VisitValueDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000977 Writer.AddSourceLocation(D->getUsingLoc(), Record);
Douglas Gregora9d87bc2011-02-25 00:36:19 +0000978 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000979 Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000980 Code = serialization::DECL_UNRESOLVED_USING_VALUE;
Chris Lattnerca025db2010-05-07 21:43:38 +0000981}
982
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000983void ASTDeclWriter::VisitUnresolvedUsingTypenameDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +0000984 UnresolvedUsingTypenameDecl *D) {
985 VisitTypeDecl(D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000986 Writer.AddSourceLocation(D->getTypenameLoc(), Record);
Douglas Gregora9d87bc2011-02-25 00:36:19 +0000987 Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +0000988 Code = serialization::DECL_UNRESOLVED_USING_TYPENAME;
Chris Lattnerca025db2010-05-07 21:43:38 +0000989}
990
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000991void ASTDeclWriter::VisitCXXRecordDecl(CXXRecordDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000992 VisitRecordDecl(D);
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +0000993
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +0000994 enum {
995 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
996 };
997 if (ClassTemplateDecl *TemplD = D->getDescribedClassTemplate()) {
998 Record.push_back(CXXRecTemplate);
999 Writer.AddDeclRef(TemplD, Record);
1000 } else if (MemberSpecializationInfo *MSInfo
1001 = D->getMemberSpecializationInfo()) {
1002 Record.push_back(CXXRecMemberSpecialization);
1003 Writer.AddDeclRef(MSInfo->getInstantiatedFrom(), Record);
1004 Record.push_back(MSInfo->getTemplateSpecializationKind());
1005 Writer.AddSourceLocation(MSInfo->getPointOfInstantiation(), Record);
1006 } else {
1007 Record.push_back(CXXRecNotTemplate);
1008 }
1009
Richard Smithcd45dbc2014-04-19 03:48:30 +00001010 Record.push_back(D->isThisDeclarationADefinition());
1011 if (D->isThisDeclarationADefinition())
1012 Writer.AddCXXDefinitionData(D, Record);
1013
John McCall6bd2a892013-01-25 22:31:03 +00001014 // Store (what we currently believe to be) the key function to avoid
1015 // deserializing every method so we can compute it.
John McCallf937c022011-10-07 06:10:15 +00001016 if (D->IsCompleteDefinition)
John McCall6bd2a892013-01-25 22:31:03 +00001017 Writer.AddDeclRef(Context.getCurrentKeyFunction(D), Record);
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +00001018
Sebastian Redl539c5062010-08-18 23:57:32 +00001019 Code = serialization::DECL_CXX_RECORD;
Chris Lattnerca025db2010-05-07 21:43:38 +00001020}
1021
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001022void ASTDeclWriter::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001023 VisitFunctionDecl(D);
Argyrios Kyrtzidis3b1a7792012-10-12 05:31:40 +00001024 if (D->isCanonicalDecl()) {
1025 Record.push_back(D->size_overridden_methods());
1026 for (CXXMethodDecl::method_iterator
1027 I = D->begin_overridden_methods(), E = D->end_overridden_methods();
1028 I != E; ++I)
1029 Writer.AddDeclRef(*I, Record);
1030 } else {
1031 // We only need to record overridden methods once for the canonical decl.
1032 Record.push_back(0);
1033 }
Richard Smith01b2cb42014-07-26 06:37:51 +00001034
1035 if (D->getFirstDecl() == D->getMostRecentDecl() &&
1036 !D->isInvalidDecl() &&
1037 !D->hasAttrs() &&
1038 !D->isTopLevelDeclInObjCContainer() &&
1039 D->getDeclName().getNameKind() == DeclarationName::Identifier &&
1040 !D->hasExtInfo() &&
1041 !D->hasInheritedPrototype() &&
1042 D->hasWrittenPrototype())
1043 AbbrevToUse = Writer.getDeclCXXMethodAbbrev();
1044
Sebastian Redl539c5062010-08-18 23:57:32 +00001045 Code = serialization::DECL_CXX_METHOD;
Chris Lattnerca025db2010-05-07 21:43:38 +00001046}
1047
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001048void ASTDeclWriter::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001049 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001050
Stephan Tolksdorfa6a08632014-03-27 19:22:19 +00001051 Writer.AddDeclRef(D->getInheritedConstructor(), Record);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001052 Record.push_back(D->IsExplicitSpecified);
Alexis Hunt1d792652011-01-08 20:30:50 +00001053 Writer.AddCXXCtorInitializers(D->CtorInitializers, D->NumCtorInitializers,
1054 Record);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001055
Sebastian Redl539c5062010-08-18 23:57:32 +00001056 Code = serialization::DECL_CXX_CONSTRUCTOR;
Chris Lattnerca025db2010-05-07 21:43:38 +00001057}
1058
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001059void ASTDeclWriter::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001060 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001061
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001062 Writer.AddDeclRef(D->OperatorDelete, Record);
1063
Sebastian Redl539c5062010-08-18 23:57:32 +00001064 Code = serialization::DECL_CXX_DESTRUCTOR;
Chris Lattnerca025db2010-05-07 21:43:38 +00001065}
1066
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001067void ASTDeclWriter::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001068 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001069 Record.push_back(D->IsExplicitSpecified);
Sebastian Redl539c5062010-08-18 23:57:32 +00001070 Code = serialization::DECL_CXX_CONVERSION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001071}
1072
Douglas Gregorba345522011-12-02 23:23:56 +00001073void ASTDeclWriter::VisitImportDecl(ImportDecl *D) {
1074 VisitDecl(D);
Argyrios Kyrtzidis7b8e5552012-10-03 01:58:45 +00001075 Record.push_back(Writer.getSubmoduleID(D->getImportedModule()));
Douglas Gregorba345522011-12-02 23:23:56 +00001076 ArrayRef<SourceLocation> IdentifierLocs = D->getIdentifierLocs();
1077 Record.push_back(!IdentifierLocs.empty());
1078 if (IdentifierLocs.empty()) {
1079 Writer.AddSourceLocation(D->getLocEnd(), Record);
1080 Record.push_back(1);
1081 } else {
1082 for (unsigned I = 0, N = IdentifierLocs.size(); I != N; ++I)
1083 Writer.AddSourceLocation(IdentifierLocs[I], Record);
1084 Record.push_back(IdentifierLocs.size());
1085 }
1086 // Note: the number of source locations must always be the last element in
1087 // the record.
1088 Code = serialization::DECL_IMPORT;
1089}
1090
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001091void ASTDeclWriter::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnarad7340582010-06-05 05:09:32 +00001092 VisitDecl(D);
1093 Writer.AddSourceLocation(D->getColonLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001094 Code = serialization::DECL_ACCESS_SPEC;
Abramo Bagnarad7340582010-06-05 05:09:32 +00001095}
1096
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001097void ASTDeclWriter::VisitFriendDecl(FriendDecl *D) {
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001098 // Record the number of friend type template parameter lists here
1099 // so as to simplify memory allocation during deserialization.
1100 Record.push_back(D->NumTPLists);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +00001101 VisitDecl(D);
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001102 bool hasFriendDecl = D->Friend.is<NamedDecl*>();
1103 Record.push_back(hasFriendDecl);
1104 if (hasFriendDecl)
1105 Writer.AddDeclRef(D->getFriendDecl(), Record);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001106 else
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001107 Writer.AddTypeSourceInfo(D->getFriendType(), Record);
1108 for (unsigned i = 0; i < D->NumTPLists; ++i)
1109 Writer.AddTemplateParameterList(D->getFriendTypeTemplateParameterList(i),
1110 Record);
Douglas Gregore0fb32c2010-10-27 20:23:41 +00001111 Writer.AddDeclRef(D->getNextFriend(), Record);
John McCall2c2eb122010-10-16 06:59:13 +00001112 Record.push_back(D->UnsupportedFriend);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001113 Writer.AddSourceLocation(D->FriendLoc, Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001114 Code = serialization::DECL_FRIEND;
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001115}
1116
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001117void ASTDeclWriter::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001118 VisitDecl(D);
1119 Record.push_back(D->getNumTemplateParameters());
1120 for (unsigned i = 0, e = D->getNumTemplateParameters(); i != e; ++i)
1121 Writer.AddTemplateParameterList(D->getTemplateParameterList(i), Record);
Craig Toppera13603a2014-05-22 05:54:18 +00001122 Record.push_back(D->getFriendDecl() != nullptr);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001123 if (D->getFriendDecl())
1124 Writer.AddDeclRef(D->getFriendDecl(), Record);
1125 else
1126 Writer.AddTypeSourceInfo(D->getFriendType(), Record);
1127 Writer.AddSourceLocation(D->getFriendLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001128 Code = serialization::DECL_FRIEND_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001129}
1130
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001131void ASTDeclWriter::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001132 VisitNamedDecl(D);
1133
1134 Writer.AddDeclRef(D->getTemplatedDecl(), Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001135 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Chris Lattnerca025db2010-05-07 21:43:38 +00001136}
1137
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001138void ASTDeclWriter::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Douglas Gregor68444de2012-01-14 15:13:49 +00001139 VisitRedeclarable(D);
1140
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001141 // Emit data to initialize CommonOrPrev before VisitTemplateDecl so that
1142 // getCommonPtr() can be used while this is still initializing.
Rafael Espindola8db352d2013-10-17 15:37:26 +00001143 if (D->isFirstDecl()) {
Douglas Gregor074a4092011-12-19 18:19:24 +00001144 // This declaration owns the 'common' pointer, so serialize that data now.
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001145 Writer.AddDeclRef(D->getInstantiatedFromMemberTemplate(), Record);
1146 if (D->getInstantiatedFromMemberTemplate())
1147 Record.push_back(D->isMemberSpecialization());
Douglas Gregor074a4092011-12-19 18:19:24 +00001148 }
1149
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001150 VisitTemplateDecl(D);
1151 Record.push_back(D->getIdentifierNamespace());
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001152}
1153
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001154void ASTDeclWriter::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001155 VisitRedeclarableTemplateDecl(D);
1156
Rafael Espindola8db352d2013-10-17 15:37:26 +00001157 if (D->isFirstDecl()) {
Chandler Carruthb41171b2012-05-03 23:49:05 +00001158 typedef llvm::FoldingSetVector<ClassTemplateSpecializationDecl> CTSDSetTy;
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001159 CTSDSetTy &CTSDSet = D->getSpecializations();
1160 Record.push_back(CTSDSet.size());
Argyrios Kyrtzidise23371e2010-07-02 11:55:37 +00001161 for (CTSDSetTy::iterator I=CTSDSet.begin(), E = CTSDSet.end(); I!=E; ++I) {
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001162 assert(I->isCanonicalDecl() && "Expected only canonical decls in set");
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001163 Writer.AddDeclRef(&*I, Record);
Argyrios Kyrtzidise23371e2010-07-02 11:55:37 +00001164 }
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001165
Chandler Carruthb41171b2012-05-03 23:49:05 +00001166 typedef llvm::FoldingSetVector<ClassTemplatePartialSpecializationDecl>
1167 CTPSDSetTy;
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001168 CTPSDSetTy &CTPSDSet = D->getPartialSpecializations();
1169 Record.push_back(CTPSDSet.size());
Argyrios Kyrtzidise23371e2010-07-02 11:55:37 +00001170 for (CTPSDSetTy::iterator I=CTPSDSet.begin(), E=CTPSDSet.end(); I!=E; ++I) {
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001171 assert(I->isCanonicalDecl() && "Expected only canonical decls in set");
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001172 Writer.AddDeclRef(&*I, Record);
Argyrios Kyrtzidise23371e2010-07-02 11:55:37 +00001173 }
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001174 }
Sebastian Redl539c5062010-08-18 23:57:32 +00001175 Code = serialization::DECL_CLASS_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001176}
1177
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001178void ASTDeclWriter::VisitClassTemplateSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001179 ClassTemplateSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001180 VisitCXXRecordDecl(D);
1181
1182 llvm::PointerUnion<ClassTemplateDecl *,
1183 ClassTemplatePartialSpecializationDecl *> InstFrom
1184 = D->getSpecializedTemplateOrPartial();
Argyrios Kyrtzidisd5553f12011-08-17 21:35:28 +00001185 if (Decl *InstFromD = InstFrom.dyn_cast<ClassTemplateDecl *>()) {
Sebastian Redl401b39a2010-08-24 22:50:24 +00001186 Writer.AddDeclRef(InstFromD, Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001187 } else {
Argyrios Kyrtzidisd5553f12011-08-17 21:35:28 +00001188 Writer.AddDeclRef(InstFrom.get<ClassTemplatePartialSpecializationDecl *>(),
1189 Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001190 Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
1191 }
1192
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001193 Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
1194 Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
1195 Record.push_back(D->getSpecializationKind());
Axel Naumanna31dee22012-10-01 07:34:47 +00001196 Record.push_back(D->isCanonicalDecl());
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001197
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001198 if (D->isCanonicalDecl()) {
1199 // When reading, we'll add it to the folding set of the following template.
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001200 Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
1201 }
1202
Richard Smithd55889a2013-09-09 16:55:27 +00001203 // Explicit info.
1204 Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
1205 if (D->getTypeAsWritten()) {
1206 Writer.AddSourceLocation(D->getExternLoc(), Record);
1207 Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
1208 }
1209
Sebastian Redl539c5062010-08-18 23:57:32 +00001210 Code = serialization::DECL_CLASS_TEMPLATE_SPECIALIZATION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001211}
1212
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001213void ASTDeclWriter::VisitClassTemplatePartialSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001214 ClassTemplatePartialSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001215 VisitClassTemplateSpecializationDecl(D);
1216
1217 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Enea Zaffanella6dbe1872013-08-10 07:24:53 +00001218 Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001219
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001220 // These are read/set from/to the first declaration.
Craig Toppera13603a2014-05-22 05:54:18 +00001221 if (D->getPreviousDecl() == nullptr) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001222 Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
1223 Record.push_back(D->isMemberSpecialization());
1224 }
1225
Sebastian Redl539c5062010-08-18 23:57:32 +00001226 Code = serialization::DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION;
Chris Lattnerca025db2010-05-07 21:43:38 +00001227}
1228
Larisse Voufo39a1e502013-08-06 01:03:05 +00001229void ASTDeclWriter::VisitVarTemplateDecl(VarTemplateDecl *D) {
1230 VisitRedeclarableTemplateDecl(D);
1231
Rafael Espindola8db352d2013-10-17 15:37:26 +00001232 if (D->isFirstDecl()) {
Larisse Voufo39a1e502013-08-06 01:03:05 +00001233 typedef llvm::FoldingSetVector<VarTemplateSpecializationDecl> VTSDSetTy;
1234 VTSDSetTy &VTSDSet = D->getSpecializations();
1235 Record.push_back(VTSDSet.size());
1236 for (VTSDSetTy::iterator I = VTSDSet.begin(), E = VTSDSet.end(); I != E;
1237 ++I) {
1238 assert(I->isCanonicalDecl() && "Expected only canonical decls in set");
1239 Writer.AddDeclRef(&*I, Record);
1240 }
1241
1242 typedef llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl>
1243 VTPSDSetTy;
1244 VTPSDSetTy &VTPSDSet = D->getPartialSpecializations();
1245 Record.push_back(VTPSDSet.size());
1246 for (VTPSDSetTy::iterator I = VTPSDSet.begin(), E = VTPSDSet.end(); I != E;
1247 ++I) {
1248 assert(I->isCanonicalDecl() && "Expected only canonical decls in set");
1249 Writer.AddDeclRef(&*I, Record);
1250 }
1251 }
1252 Code = serialization::DECL_VAR_TEMPLATE;
1253}
1254
1255void ASTDeclWriter::VisitVarTemplateSpecializationDecl(
1256 VarTemplateSpecializationDecl *D) {
1257 VisitVarDecl(D);
1258
1259 llvm::PointerUnion<VarTemplateDecl *, VarTemplatePartialSpecializationDecl *>
1260 InstFrom = D->getSpecializedTemplateOrPartial();
1261 if (Decl *InstFromD = InstFrom.dyn_cast<VarTemplateDecl *>()) {
1262 Writer.AddDeclRef(InstFromD, Record);
1263 } else {
1264 Writer.AddDeclRef(InstFrom.get<VarTemplatePartialSpecializationDecl *>(),
1265 Record);
1266 Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
1267 }
1268
1269 // Explicit info.
1270 Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
1271 if (D->getTypeAsWritten()) {
1272 Writer.AddSourceLocation(D->getExternLoc(), Record);
1273 Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
1274 }
1275
1276 Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
1277 Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
1278 Record.push_back(D->getSpecializationKind());
1279 Record.push_back(D->isCanonicalDecl());
1280
1281 if (D->isCanonicalDecl()) {
1282 // When reading, we'll add it to the folding set of the following template.
1283 Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
1284 }
1285
1286 Code = serialization::DECL_VAR_TEMPLATE_SPECIALIZATION;
1287}
1288
1289void ASTDeclWriter::VisitVarTemplatePartialSpecializationDecl(
1290 VarTemplatePartialSpecializationDecl *D) {
1291 VisitVarTemplateSpecializationDecl(D);
1292
1293 Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
Enea Zaffanella6dbe1872013-08-10 07:24:53 +00001294 Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
Larisse Voufo39a1e502013-08-06 01:03:05 +00001295
1296 // These are read/set from/to the first declaration.
Craig Toppera13603a2014-05-22 05:54:18 +00001297 if (D->getPreviousDecl() == nullptr) {
Larisse Voufo39a1e502013-08-06 01:03:05 +00001298 Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
1299 Record.push_back(D->isMemberSpecialization());
1300 }
1301
1302 Code = serialization::DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION;
1303}
1304
Fariborz Jahanian3a039e32011-08-27 20:50:59 +00001305void ASTDeclWriter::VisitClassScopeFunctionSpecializationDecl(
1306 ClassScopeFunctionSpecializationDecl *D) {
Francois Pichet09af8c32011-08-17 01:06:54 +00001307 VisitDecl(D);
1308 Writer.AddDeclRef(D->getSpecialization(), Record);
1309 Code = serialization::DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION;
1310}
1311
1312
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001313void ASTDeclWriter::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001314 VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001315
Rafael Espindola8db352d2013-10-17 15:37:26 +00001316 if (D->isFirstDecl()) {
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001317 // This FunctionTemplateDecl owns the CommonPtr; write it.
1318
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001319 // Write the function specialization declarations.
1320 Record.push_back(D->getSpecializations().size());
Chandler Carruthb41171b2012-05-03 23:49:05 +00001321 for (llvm::FoldingSetVector<FunctionTemplateSpecializationInfo>::iterator
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001322 I = D->getSpecializations().begin(),
Argyrios Kyrtzidisdde57902010-07-20 13:59:58 +00001323 E = D->getSpecializations().end() ; I != E; ++I) {
1324 assert(I->Function->isCanonicalDecl() &&
1325 "Expected only canonical decls in set");
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001326 Writer.AddDeclRef(I->Function, Record);
Argyrios Kyrtzidisdde57902010-07-20 13:59:58 +00001327 }
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001328 }
Sebastian Redl539c5062010-08-18 23:57:32 +00001329 Code = serialization::DECL_FUNCTION_TEMPLATE;
Chris Lattnerca025db2010-05-07 21:43:38 +00001330}
1331
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001332void ASTDeclWriter::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001333 VisitTypeDecl(D);
1334
1335 Record.push_back(D->wasDeclaredWithTypename());
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00001336 Record.push_back(D->defaultArgumentWasInherited());
1337 Writer.AddTypeSourceInfo(D->getDefaultArgumentInfo(), Record);
1338
Sebastian Redl539c5062010-08-18 23:57:32 +00001339 Code = serialization::DECL_TEMPLATE_TYPE_PARM;
Chris Lattnerca025db2010-05-07 21:43:38 +00001340}
1341
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001342void ASTDeclWriter::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001343 // For an expanded parameter pack, record the number of expansion types here
Richard Smith1fde8ec2012-09-07 02:06:42 +00001344 // so that it's easier for deserialization to allocate the right amount of
1345 // memory.
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001346 if (D->isExpandedParameterPack())
1347 Record.push_back(D->getNumExpansionTypes());
1348
John McCallf4cd4f92011-02-09 01:13:10 +00001349 VisitDeclaratorDecl(D);
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001350 // TemplateParmPosition.
1351 Record.push_back(D->getDepth());
1352 Record.push_back(D->getPosition());
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001353
1354 if (D->isExpandedParameterPack()) {
1355 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
1356 Writer.AddTypeRef(D->getExpansionType(I), Record);
1357 Writer.AddTypeSourceInfo(D->getExpansionTypeSourceInfo(I), Record);
1358 }
1359
1360 Code = serialization::DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK;
1361 } else {
1362 // Rest of NonTypeTemplateParmDecl.
1363 Record.push_back(D->isParameterPack());
Craig Toppera13603a2014-05-22 05:54:18 +00001364 Record.push_back(D->getDefaultArgument() != nullptr);
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001365 if (D->getDefaultArgument()) {
1366 Writer.AddStmt(D->getDefaultArgument());
1367 Record.push_back(D->defaultArgumentWasInherited());
1368 }
1369 Code = serialization::DECL_NON_TYPE_TEMPLATE_PARM;
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001370 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001371}
1372
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001373void ASTDeclWriter::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Richard Smith1fde8ec2012-09-07 02:06:42 +00001374 // For an expanded parameter pack, record the number of expansion types here
1375 // so that it's easier for deserialization to allocate the right amount of
1376 // memory.
1377 if (D->isExpandedParameterPack())
1378 Record.push_back(D->getNumExpansionTemplateParameters());
1379
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001380 VisitTemplateDecl(D);
1381 // TemplateParmPosition.
1382 Record.push_back(D->getDepth());
1383 Record.push_back(D->getPosition());
Richard Smith1fde8ec2012-09-07 02:06:42 +00001384
1385 if (D->isExpandedParameterPack()) {
1386 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
1387 I != N; ++I)
1388 Writer.AddTemplateParameterList(D->getExpansionTemplateParameters(I),
1389 Record);
1390 Code = serialization::DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK;
1391 } else {
1392 // Rest of TemplateTemplateParmDecl.
1393 Writer.AddTemplateArgumentLoc(D->getDefaultArgument(), Record);
1394 Record.push_back(D->defaultArgumentWasInherited());
1395 Record.push_back(D->isParameterPack());
1396 Code = serialization::DECL_TEMPLATE_TEMPLATE_PARM;
1397 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001398}
1399
Richard Smith3f1b5d02011-05-05 21:57:07 +00001400void ASTDeclWriter::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1401 VisitRedeclarableTemplateDecl(D);
1402 Code = serialization::DECL_TYPE_ALIAS_TEMPLATE;
1403}
1404
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001405void ASTDeclWriter::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001406 VisitDecl(D);
1407 Writer.AddStmt(D->getAssertExpr());
Richard Smithded9c2e2012-07-11 22:37:56 +00001408 Record.push_back(D->isFailed());
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001409 Writer.AddStmt(D->getMessage());
Abramo Bagnaraea947882011-03-08 16:41:52 +00001410 Writer.AddSourceLocation(D->getRParenLoc(), Record);
Sebastian Redl539c5062010-08-18 23:57:32 +00001411 Code = serialization::DECL_STATIC_ASSERT;
Chris Lattnerca025db2010-05-07 21:43:38 +00001412}
1413
Chris Lattner7099dbc2009-04-27 06:16:06 +00001414/// \brief Emit the DeclContext part of a declaration context decl.
1415///
1416/// \param LexicalOffset the offset at which the DECL_CONTEXT_LEXICAL
1417/// block for this declaration context is stored. May be 0 to indicate
1418/// that there are no declarations stored within this context.
1419///
1420/// \param VisibleOffset the offset at which the DECL_CONTEXT_VISIBLE
1421/// block for this declaration context is stored. May be 0 to indicate
1422/// that there are no declarations visible from this context. Note
1423/// that this value will not be emitted for non-primary declaration
1424/// contexts.
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001425void ASTDeclWriter::VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
Chris Lattner7099dbc2009-04-27 06:16:06 +00001426 uint64_t VisibleOffset) {
1427 Record.push_back(LexicalOffset);
1428 Record.push_back(VisibleOffset);
1429}
1430
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001431template <typename T>
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001432void ASTDeclWriter::VisitRedeclarable(Redeclarable<T> *D) {
Rafael Espindola8db352d2013-10-17 15:37:26 +00001433 T *First = D->getFirstDecl();
Douglas Gregor358cd442012-01-15 16:58:34 +00001434 if (First->getMostRecentDecl() != First) {
Douglas Gregorfe732d52013-01-21 16:16:40 +00001435 assert(isRedeclarableDeclKind(static_cast<T *>(D)->getKind()) &&
1436 "Not considered redeclarable?");
1437
1438 // There is more than one declaration of this entity, so we will need to
Douglas Gregor358cd442012-01-15 16:58:34 +00001439 // write a redeclaration chain.
Douglas Gregor074a4092011-12-19 18:19:24 +00001440 Writer.AddDeclRef(First, Record);
Douglas Gregor358cd442012-01-15 16:58:34 +00001441 Writer.Redeclarations.insert(First);
1442
1443 // Make sure that we serialize both the previous and the most-recent
1444 // declarations, which (transitively) ensures that all declarations in the
1445 // chain get serialized.
1446 (void)Writer.GetDeclRef(D->getPreviousDecl());
1447 (void)Writer.GetDeclRef(First->getMostRecentDecl());
1448 } else {
1449 // We use the sentinel value 0 to indicate an only declaration.
1450 Record.push_back(0);
Douglas Gregor9f562c82011-12-19 15:27:36 +00001451 }
1452
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001453}
Chris Lattner7099dbc2009-04-27 06:16:06 +00001454
Alexey Bataeva769e072013-03-22 06:34:35 +00001455void ASTDeclWriter::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
1456 Record.push_back(D->varlist_size());
1457 VisitDecl(D);
Aaron Ballman2205d2a2014-03-14 15:55:35 +00001458 for (auto *I : D->varlists())
1459 Writer.AddStmt(I);
Alexey Bataeva769e072013-03-22 06:34:35 +00001460 Code = serialization::DECL_OMP_THREADPRIVATE;
1461}
1462
Chris Lattner7099dbc2009-04-27 06:16:06 +00001463//===----------------------------------------------------------------------===//
Sebastian Redl55c0ad52010-08-18 23:56:21 +00001464// ASTWriter Implementation
Chris Lattner7099dbc2009-04-27 06:16:06 +00001465//===----------------------------------------------------------------------===//
1466
Richard Smith01b2cb42014-07-26 06:37:51 +00001467void ASTWriter::WriteDeclAbbrevs() {
Chris Lattner258172e2009-04-27 07:35:58 +00001468 using namespace llvm;
Chris Lattner258172e2009-04-27 07:35:58 +00001469
Douglas Gregor03412ba2011-06-03 02:27:19 +00001470 BitCodeAbbrev *Abv;
1471
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001472 // Abbreviation for DECL_FIELD
1473 Abv = new BitCodeAbbrev();
1474 Abv->Add(BitCodeAbbrevOp(serialization::DECL_FIELD));
1475 // Decl
1476 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1477 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001478 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001479 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1480 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1481 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1482 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001483 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001484 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001485 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001486 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001487 // NamedDecl
1488 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1489 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
1490 // ValueDecl
1491 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1492 // DeclaratorDecl
1493 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1494 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1495 // FieldDecl
1496 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1497 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1498 // Type Source Info
1499 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1500 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1501 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1502 DeclFieldAbbrev = Stream.EmitAbbrev(Abv);
1503
1504 // Abbreviation for DECL_OBJC_IVAR
1505 Abv = new BitCodeAbbrev();
1506 Abv->Add(BitCodeAbbrevOp(serialization::DECL_OBJC_IVAR));
1507 // Decl
1508 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1509 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001510 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001511 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1512 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1513 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1514 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001515 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001516 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001517 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001518 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001519 // NamedDecl
1520 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1521 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
1522 // ValueDecl
1523 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1524 // DeclaratorDecl
1525 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1526 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1527 // FieldDecl
1528 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
1529 Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
1530 // ObjC Ivar
1531 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getAccessControl
1532 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getSynthesize
1533 // Type Source Info
1534 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1535 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1536 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1537 DeclObjCIvarAbbrev = Stream.EmitAbbrev(Abv);
1538
1539 // Abbreviation for DECL_ENUM
1540 Abv = new BitCodeAbbrev();
1541 Abv->Add(BitCodeAbbrevOp(serialization::DECL_ENUM));
Douglas Gregor3e300102011-10-26 17:53:41 +00001542 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001543 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Chris Lattner258172e2009-04-27 07:35:58 +00001544 // Decl
1545 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1546 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001547 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Chris Lattner258172e2009-04-27 07:35:58 +00001548 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1549 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Douglas Gregorc9c02ed2009-06-19 23:52:42 +00001550 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +00001551 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001552 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Chris Lattner258172e2009-04-27 07:35:58 +00001553 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001554 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001555 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregor03412ba2011-06-03 02:27:19 +00001556 // NamedDecl
1557 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1558 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001559 // TypeDecl
1560 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1561 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001562 // TagDecl
1563 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1564 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCallf937c022011-10-07 06:10:15 +00001565 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001566 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +00001567 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiea8d23ce2013-07-14 01:07:41 +00001568 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001569 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
1570 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1571 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypedefNameAnonDecl
1572 // EnumDecl
1573 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // AddTypeRef
1574 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IntegerType
1575 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getPromotionType
1576 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumPositiveBits
1577 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumNegativeBits
1578 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScoped
1579 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScopedUsingClassTag
1580 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isFixed
1581 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InstantiatedMembEnum
1582 // DC
1583 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1584 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
1585 DeclEnumAbbrev = Stream.EmitAbbrev(Abv);
Mike Stump11289f42009-09-09 15:08:12 +00001586
Douglas Gregor03412ba2011-06-03 02:27:19 +00001587 // Abbreviation for DECL_RECORD
1588 Abv = new BitCodeAbbrev();
1589 Abv->Add(BitCodeAbbrevOp(serialization::DECL_RECORD));
Douglas Gregor3e300102011-10-26 17:53:41 +00001590 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001591 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregor03412ba2011-06-03 02:27:19 +00001592 // Decl
1593 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1594 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001595 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregor03412ba2011-06-03 02:27:19 +00001596 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1597 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1598 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1599 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001600 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregor03412ba2011-06-03 02:27:19 +00001601 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001602 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001603 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Douglas Gregor03412ba2011-06-03 02:27:19 +00001604 // NamedDecl
1605 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1606 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
1607 // TypeDecl
1608 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1609 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
Douglas Gregor03412ba2011-06-03 02:27:19 +00001610 // TagDecl
1611 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
1612 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
John McCallf937c022011-10-07 06:10:15 +00001613 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
Douglas Gregor03412ba2011-06-03 02:27:19 +00001614 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +00001615 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
David Blaikiea8d23ce2013-07-14 01:07:41 +00001616 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
Douglas Gregor03412ba2011-06-03 02:27:19 +00001617 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
1618 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1619 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypedefNameAnonDecl
1620 // RecordDecl
1621 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // FlexibleArrayMember
1622 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // AnonymousStructUnion
1623 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasObjectMember
Fariborz Jahanian78652202013-01-25 23:57:05 +00001624 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasVolatileMember
Douglas Gregor03412ba2011-06-03 02:27:19 +00001625 // DC
1626 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
1627 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
1628 DeclRecordAbbrev = Stream.EmitAbbrev(Abv);
1629
1630 // Abbreviation for DECL_PARM_VAR
1631 Abv = new BitCodeAbbrev();
1632 Abv->Add(BitCodeAbbrevOp(serialization::DECL_PARM_VAR));
Douglas Gregor3e300102011-10-26 17:53:41 +00001633 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001634 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Douglas Gregor03412ba2011-06-03 02:27:19 +00001635 // Decl
1636 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1637 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001638 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Douglas Gregor03412ba2011-06-03 02:27:19 +00001639 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1640 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
1641 Abv->Add(BitCodeAbbrevOp(0)); // isUsed
1642 Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001643 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Douglas Gregor03412ba2011-06-03 02:27:19 +00001644 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001645 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001646 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Chris Lattner258172e2009-04-27 07:35:58 +00001647 // NamedDecl
1648 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1649 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
1650 // ValueDecl
1651 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +00001652 // DeclaratorDecl
Abramo Bagnaradff19302011-03-08 08:55:46 +00001653 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001654 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
Chris Lattner258172e2009-04-27 07:35:58 +00001655 // VarDecl
1656 Abv->Add(BitCodeAbbrevOp(0)); // StorageClass
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +00001657 Abv->Add(BitCodeAbbrevOp(0)); // getTSCSpec
Chris Lattner258172e2009-04-27 07:35:58 +00001658 Abv->Add(BitCodeAbbrevOp(0)); // hasCXXDirectInitializer
Douglas Gregor3f324d562010-05-03 18:51:14 +00001659 Abv->Add(BitCodeAbbrevOp(0)); // isExceptionVariable
Douglas Gregor6fd1b182010-05-15 06:01:05 +00001660 Abv->Add(BitCodeAbbrevOp(0)); // isNRVOVariable
Richard Smith02e85f32011-04-14 22:09:26 +00001661 Abv->Add(BitCodeAbbrevOp(0)); // isCXXForRangeDecl
John McCalld4631322011-06-17 06:42:21 +00001662 Abv->Add(BitCodeAbbrevOp(0)); // isARCPseudoStrong
Douglas Gregor12cda632012-09-20 23:43:29 +00001663 Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
Richard Smithbb13c9a2013-09-28 04:02:39 +00001664 Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
Richard Smith1c34fb72013-08-13 18:18:50 +00001665 Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
Richard Smith88581592013-02-12 05:48:23 +00001666 Abv->Add(BitCodeAbbrevOp(0)); // Linkage
Chris Lattner258172e2009-04-27 07:35:58 +00001667 Abv->Add(BitCodeAbbrevOp(0)); // HasInit
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +00001668 Abv->Add(BitCodeAbbrevOp(0)); // HasMemberSpecializationInfo
Chris Lattner258172e2009-04-27 07:35:58 +00001669 // ParmVarDecl
John McCall82490832011-05-02 00:30:12 +00001670 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsObjCMethodParameter
John McCall8fb0d9d2011-05-01 22:35:37 +00001671 Abv->Add(BitCodeAbbrevOp(0)); // ScopeDepth
1672 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // ScopeIndex
Chris Lattner258172e2009-04-27 07:35:58 +00001673 Abv->Add(BitCodeAbbrevOp(0)); // ObjCDeclQualifier
John McCall6a014d52011-03-09 04:22:44 +00001674 Abv->Add(BitCodeAbbrevOp(0)); // KNRPromoted
John McCallf3cd6652010-03-12 18:31:32 +00001675 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedDefaultArg
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +00001676 Abv->Add(BitCodeAbbrevOp(0)); // HasUninstantiatedDefaultArg
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001677 // Type Source Info
1678 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1679 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1680 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1681 DeclParmVarAbbrev = Stream.EmitAbbrev(Abv);
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001682
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001683 // Abbreviation for DECL_TYPEDEF
Douglas Gregor03412ba2011-06-03 02:27:19 +00001684 Abv = new BitCodeAbbrev();
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001685 Abv->Add(BitCodeAbbrevOp(serialization::DECL_TYPEDEF));
Douglas Gregor05f10352011-12-17 23:38:30 +00001686 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001687 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001688 // Decl
1689 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1690 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001691 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001692 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1693 Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
Richard Smith01b2cb42014-07-26 06:37:51 +00001694 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isUsed
1695 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isReferenced
Argyrios Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001696 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Richard Smith01b2cb42014-07-26 06:37:51 +00001697 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001698 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001699 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001700 // NamedDecl
1701 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1702 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
1703 // TypeDecl
1704 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
1705 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
1706 // TypedefDecl
1707 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1708 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1709 DeclTypedefAbbrev = Stream.EmitAbbrev(Abv);
1710
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001711 // Abbreviation for DECL_VAR
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001712 Abv = new BitCodeAbbrev();
1713 Abv->Add(BitCodeAbbrevOp(serialization::DECL_VAR));
Douglas Gregor3e300102011-10-26 17:53:41 +00001714 // Redeclarable
Douglas Gregor9f562c82011-12-19 15:27:36 +00001715 Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001716 // Decl
1717 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1718 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
Argyrios Kyrtzidisb7d1ca22012-03-09 21:09:04 +00001719 Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +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 Kyrtzidis8ad3bab2011-11-23 20:27:36 +00001724 Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001725 Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
Douglas Gregor26701a42011-09-09 02:06:17 +00001726 Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
Douglas Gregora28bcdd2011-12-01 02:07:58 +00001727 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001728 // NamedDecl
1729 Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
1730 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
1731 // ValueDecl
1732 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1733 // DeclaratorDecl
1734 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
1735 Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
1736 // VarDecl
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001737 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // StorageClass
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +00001738 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getTSCSpec
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001739 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // CXXDirectInitializer
1740 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isExceptionVariable
1741 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isNRVOVariable
1742 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCXXForRangeDecl
John McCalld4631322011-06-17 06:42:21 +00001743 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isARCPseudoStrong
Douglas Gregor12cda632012-09-20 23:43:29 +00001744 Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
Richard Smithbb13c9a2013-09-28 04:02:39 +00001745 Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
Richard Smith1c34fb72013-08-13 18:18:50 +00001746 Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
Rafael Espindola50df3a02013-05-25 17:16:20 +00001747 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001748 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasInit
1749 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasMemberSpecInfo
1750 // Type Source Info
1751 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1752 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1753 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
1754 DeclVarAbbrev = Stream.EmitAbbrev(Abv);
1755
Richard Smith01b2cb42014-07-26 06:37:51 +00001756 // Abbreviation for DECL_CXX_METHOD
1757 Abv = new BitCodeAbbrev();
1758 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CXX_METHOD));
1759 // RedeclarableDecl
1760 Abv->Add(BitCodeAbbrevOp(0)); // CanonicalDecl
1761 // Decl
1762 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
1763 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
1764 Abv->Add(BitCodeAbbrevOp(0)); // Invalid
1765 Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
1766 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Implicit
1767 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Used
1768 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Referenced
1769 Abv->Add(BitCodeAbbrevOp(0)); // InObjCContainer
1770 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // Access
1771 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ModulePrivate
1772 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
1773 // NamedDecl
1774 Abv->Add(BitCodeAbbrevOp(DeclarationName::Identifier)); // NameKind
1775 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Identifier
1776 // ValueDecl
1777 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1778 // DeclaratorDecl
1779 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerLocStart
1780 Abv->Add(BitCodeAbbrevOp(0)); // HasExtInfo
1781 // FunctionDecl
1782 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 11)); // IDNS
1783 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // StorageClass
1784 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Inline
1785 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // InlineSpecified
1786 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // VirtualAsWritten
1787 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Pure
1788 Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedProto
1789 Abv->Add(BitCodeAbbrevOp(1)); // HasWrittenProto
1790 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // DeletedAsWritten
1791 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Trivial
1792 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Defaulted
1793 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ExplicitlyDefaulted
1794 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ImplicitReturnZero
1795 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Constexpr
1796 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // SkippedBody
1797 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // LateParsed
1798 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
1799 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LocEnd
1800 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // TemplateKind
1801 // This Array slurps the rest of the record. Fortunately we want to encode
1802 // (nearly) all the remaining (variable number of) fields in the same way.
1803 //
1804 // This is the function template information if any, then
1805 // NumParams and Params[] from FunctionDecl, and
1806 // NumOverriddenMethods, OverriddenMethods[] from CXXMethodDecl.
1807 //
1808 // Add an AbbrevOp for 'size then elements' and use it here.
1809 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
1810 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
1811 DeclCXXMethodAbbrev = Stream.EmitAbbrev(Abv);
1812
Jonathan D. Turner780a6bf2011-06-06 16:22:39 +00001813 // Abbreviation for EXPR_DECL_REF
Jonathan D. Turner205c7d52011-06-03 23:11:16 +00001814 Abv = new BitCodeAbbrev();
Douglas Gregor03412ba2011-06-03 02:27:19 +00001815 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_DECL_REF));
1816 //Stmt
1817 //Expr
1818 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00001819 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1820 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1821 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00001822 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1823 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1824 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1825 //DeclRefExpr
1826 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HasQualifier
1827 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //GetDeclFound
1828 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ExplicitTemplateArgs
Abramo Bagnara635ed24e2011-10-05 07:56:41 +00001829 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HadMultipleCandidates
John McCall113bee02012-03-10 09:33:50 +00001830 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //RefersToEnclosingLocal
Douglas Gregor03412ba2011-06-03 02:27:19 +00001831 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclRef
1832 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
1833 DeclRefExprAbbrev = Stream.EmitAbbrev(Abv);
1834
1835 // Abbreviation for EXPR_INTEGER_LITERAL
1836 Abv = new BitCodeAbbrev();
1837 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_INTEGER_LITERAL));
1838 //Stmt
1839 //Expr
1840 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00001841 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1842 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1843 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00001844 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1845 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1846 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1847 //Integer Literal
1848 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
1849 Abv->Add(BitCodeAbbrevOp(32)); // Bit Width
1850 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Value
1851 IntegerLiteralAbbrev = Stream.EmitAbbrev(Abv);
1852
1853 // Abbreviation for EXPR_CHARACTER_LITERAL
1854 Abv = new BitCodeAbbrev();
1855 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_CHARACTER_LITERAL));
1856 //Stmt
1857 //Expr
1858 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
Douglas Gregor678d76c2011-07-01 01:22:09 +00001859 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1860 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1861 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
Douglas Gregor03412ba2011-06-03 02:27:19 +00001862 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1863 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1864 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
Jonathan D. Turnerd09655f2011-06-03 21:46:44 +00001865 //Character Literal
Douglas Gregor03412ba2011-06-03 02:27:19 +00001866 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getValue
1867 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
Eli Friedman21530f72012-09-14 00:51:36 +00001868 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getKind
Douglas Gregor03412ba2011-06-03 02:27:19 +00001869 CharacterLiteralAbbrev = Stream.EmitAbbrev(Abv);
1870
Richard Smitha27c26e2014-07-27 04:19:32 +00001871 // Abbreviation for EXPR_IMPLICIT_CAST
1872 Abv = new BitCodeAbbrev();
1873 Abv->Add(BitCodeAbbrevOp(serialization::EXPR_IMPLICIT_CAST));
1874 // Stmt
1875 // Expr
1876 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
1877 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
1878 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
1879 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
1880 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
1881 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
1882 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
1883 // CastExpr
1884 Abv->Add(BitCodeAbbrevOp(0)); // PathSize
1885 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 6)); // CastKind
1886 // ImplicitCastExpr
1887 ExprImplicitCastAbbrev = Stream.EmitAbbrev(Abv);
1888
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001889 Abv = new BitCodeAbbrev();
Sebastian Redl539c5062010-08-18 23:57:32 +00001890 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_LEXICAL));
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001891 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
1892 DeclContextLexicalAbbrev = Stream.EmitAbbrev(Abv);
Argyrios Kyrtzidisba88bfa2010-08-20 16:04:35 +00001893
1894 Abv = new BitCodeAbbrev();
1895 Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_VISIBLE));
1896 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
1897 Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
1898 DeclContextVisibleLookupAbbrev = Stream.EmitAbbrev(Abv);
Chris Lattner258172e2009-04-27 07:35:58 +00001899}
1900
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00001901/// isRequiredDecl - Check if this is a "required" Decl, which must be seen by
1902/// consumers of the AST.
1903///
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001904/// Such decls will always be deserialized from the AST file, so we would like
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00001905/// this to be as restrictive as possible. Currently the predicate is driven by
1906/// code generation requirements, if other clients have a different notion of
1907/// what is "required" then we may have to consider an alternate scheme where
1908/// clients can iterate over the top-level decls and get information on them,
1909/// without necessary deserializing them. We could explicitly require such
1910/// clients to use a separate API call to "realize" the decl. This should be
1911/// relatively painless since they would presumably only do it for top-level
1912/// decls.
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00001913static bool isRequiredDecl(const Decl *D, ASTContext &Context) {
Argyrios Kyrtzidisa98e8612011-09-13 21:35:00 +00001914 // An ObjCMethodDecl is never considered as "required" because its
1915 // implementation container always is.
1916
Ben Langmuir332aafe2014-01-31 01:06:56 +00001917 // File scoped assembly or obj-c implementation must be seen. ImportDecl is
1918 // used by codegen to determine the set of imported modules to search for
1919 // inputs for automatic linking.
1920 if (isa<FileScopeAsmDecl>(D) || isa<ObjCImplDecl>(D) || isa<ImportDecl>(D))
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00001921 return true;
1922
Argyrios Kyrtzidisc9049332010-07-29 20:08:05 +00001923 return Context.DeclMustBeEmitted(D);
Daniel Dunbar5bb5ec52009-09-17 03:06:51 +00001924}
1925
Sebastian Redl55c0ad52010-08-18 23:56:21 +00001926void ASTWriter::WriteDecl(ASTContext &Context, Decl *D) {
Argyrios Kyrtzidisd9f526f2010-10-28 09:29:32 +00001927 // Switch case IDs are per Decl.
1928 ClearSwitchCaseIDs();
1929
Chris Lattner7099dbc2009-04-27 06:16:06 +00001930 RecordData Record;
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001931 ASTDeclWriter W(*this, Context, Record);
Chris Lattner7099dbc2009-04-27 06:16:06 +00001932
Douglas Gregorb3163e52012-01-05 22:33:30 +00001933 // Determine the ID for this declaration.
1934 serialization::DeclID ID;
1935 if (D->isFromASTFile())
1936 ID = getDeclID(D);
1937 else {
1938 serialization::DeclID &IDR = DeclIDs[D];
1939 if (IDR == 0)
1940 IDR = NextDeclID++;
1941
1942 ID= IDR;
1943 }
Argyrios Kyrtzidisbf6c3392012-03-22 16:08:04 +00001944
1945 bool isReplacingADecl = ID < FirstDeclID;
1946
1947 // If this declaration is also a DeclContext, write blocks for the
1948 // declarations that lexically stored inside its context and those
1949 // declarations that are visible from its context. These blocks
1950 // are written before the declaration itself so that we can put
1951 // their offsets into the record for the declaration.
1952 uint64_t LexicalOffset = 0;
1953 uint64_t VisibleOffset = 0;
1954 DeclContext *DC = dyn_cast<DeclContext>(D);
1955 if (DC) {
1956 if (isReplacingADecl) {
1957 // It is replacing a decl from a chained PCH; make sure that the
1958 // DeclContext is fully loaded.
1959 if (DC->hasExternalLexicalStorage())
1960 DC->LoadLexicalDeclsFromExternalStorage();
1961 if (DC->hasExternalVisibleStorage())
1962 Chain->completeVisibleDeclsMap(DC);
1963 }
1964 LexicalOffset = WriteDeclContextLexicalBlock(Context, DC);
1965 VisibleOffset = WriteDeclContextVisibleBlock(Context, DC);
1966 }
Douglas Gregorb3163e52012-01-05 22:33:30 +00001967
Argyrios Kyrtzidisbf6c3392012-03-22 16:08:04 +00001968 if (isReplacingADecl) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001969 // We're replacing a decl in a previous file.
Argyrios Kyrtzidis6fb60032011-10-31 07:20:15 +00001970 ReplacedDecls.push_back(ReplacedDeclInfo(ID, Stream.GetCurrentBitNo(),
1971 D->getLocation()));
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001972 } else {
1973 unsigned Index = ID - FirstDeclID;
Douglas Gregor12bfa382009-10-17 00:13:19 +00001974
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001975 // Record the offset for this declaration
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00001976 SourceLocation Loc = D->getLocation();
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001977 if (DeclOffsets.size() == Index)
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00001978 DeclOffsets.push_back(DeclOffset(Loc, Stream.GetCurrentBitNo()));
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001979 else if (DeclOffsets.size() < Index) {
1980 DeclOffsets.resize(Index+1);
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00001981 DeclOffsets[Index].setLocation(Loc);
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +00001982 DeclOffsets[Index].BitOffset = Stream.GetCurrentBitNo();
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001983 }
Argyrios Kyrtzidis5fc727a2011-10-28 22:54:21 +00001984
1985 SourceManager &SM = Context.getSourceManager();
Argyrios Kyrtzidisdf53da82011-10-28 23:57:43 +00001986 if (Loc.isValid() && SM.isLocalSourceLocation(Loc))
1987 associateDeclWithFile(D, ID);
Douglas Gregor12bfa382009-10-17 00:13:19 +00001988 }
1989
1990 // Build and emit a record for this declaration
1991 Record.clear();
Sebastian Redl539c5062010-08-18 23:57:32 +00001992 W.Code = (serialization::DeclCode)0;
Douglas Gregor12bfa382009-10-17 00:13:19 +00001993 W.AbbrevToUse = 0;
1994 W.Visit(D);
1995 if (DC) W.VisitDeclContext(DC, LexicalOffset, VisibleOffset);
1996
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +00001997 if (!W.Code)
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001998 llvm::report_fatal_error(StringRef("unexpected declaration kind '") +
Daniel Dunbarf5bda7b2009-12-03 09:13:36 +00001999 D->getDeclKindName() + "'");
Douglas Gregor12bfa382009-10-17 00:13:19 +00002000 Stream.EmitRecord(W.Code, Record, W.AbbrevToUse);
2001
Douglas Gregor12bfa382009-10-17 00:13:19 +00002002 // Flush any expressions that were written as part of this declaration.
2003 FlushStmts();
Douglas Gregord4c5ed02010-10-29 22:39:52 +00002004
2005 // Flush C++ base specifiers, if there are any.
2006 FlushCXXBaseSpecifiers();
2007
Ben Langmuir332aafe2014-01-31 01:06:56 +00002008 // Note declarations that should be deserialized eagerly so that we can add
2009 // them to a record in the AST file later.
Douglas Gregor12bfa382009-10-17 00:13:19 +00002010 if (isRequiredDecl(D, Context))
Ben Langmuir332aafe2014-01-31 01:06:56 +00002011 EagerlyDeserializedDecls.push_back(ID);
Chris Lattner7099dbc2009-04-27 06:16:06 +00002012}
Richard Smithd28ac5b2014-03-22 23:33:22 +00002013
2014void ASTWriter::AddFunctionDefinition(const FunctionDecl *FD,
2015 RecordData &Record) {
2016 ClearSwitchCaseIDs();
2017
2018 ASTDeclWriter W(*this, FD->getASTContext(), Record);
2019 W.AddFunctionDefinition(FD);
2020}