ASTWriterDecl.cpp 85 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103
  1. //===--- ASTWriterDecl.cpp - Declaration Serialization --------------------===//
  2. //
  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. #include "clang/Serialization/ASTWriter.h"
  14. #include "ASTCommon.h"
  15. #include "clang/AST/DeclCXX.h"
  16. #include "clang/AST/DeclContextInternals.h"
  17. #include "clang/AST/DeclTemplate.h"
  18. #include "clang/AST/DeclVisitor.h"
  19. #include "clang/AST/Expr.h"
  20. #include "clang/Basic/SourceManager.h"
  21. #include "clang/Serialization/ASTReader.h"
  22. #include "llvm/ADT/Twine.h"
  23. #include "llvm/Bitcode/BitstreamWriter.h"
  24. #include "llvm/Support/ErrorHandling.h"
  25. using namespace clang;
  26. using namespace serialization;
  27. //===----------------------------------------------------------------------===//
  28. // Declaration serialization
  29. //===----------------------------------------------------------------------===//
  30. namespace clang {
  31. class ASTDeclWriter : public DeclVisitor<ASTDeclWriter, void> {
  32. ASTWriter &Writer;
  33. ASTContext &Context;
  34. typedef ASTWriter::RecordData RecordData;
  35. RecordData &Record;
  36. public:
  37. serialization::DeclCode Code;
  38. unsigned AbbrevToUse;
  39. ASTDeclWriter(ASTWriter &Writer, ASTContext &Context, RecordData &Record)
  40. : Writer(Writer), Context(Context), Record(Record) {
  41. }
  42. void Visit(Decl *D);
  43. void VisitDecl(Decl *D);
  44. void VisitTranslationUnitDecl(TranslationUnitDecl *D);
  45. void VisitNamedDecl(NamedDecl *D);
  46. void VisitLabelDecl(LabelDecl *LD);
  47. void VisitNamespaceDecl(NamespaceDecl *D);
  48. void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
  49. void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
  50. void VisitTypeDecl(TypeDecl *D);
  51. void VisitTypedefNameDecl(TypedefNameDecl *D);
  52. void VisitTypedefDecl(TypedefDecl *D);
  53. void VisitTypeAliasDecl(TypeAliasDecl *D);
  54. void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
  55. void VisitTagDecl(TagDecl *D);
  56. void VisitEnumDecl(EnumDecl *D);
  57. void VisitRecordDecl(RecordDecl *D);
  58. void VisitCXXRecordDecl(CXXRecordDecl *D);
  59. void VisitClassTemplateSpecializationDecl(
  60. ClassTemplateSpecializationDecl *D);
  61. void VisitClassTemplatePartialSpecializationDecl(
  62. ClassTemplatePartialSpecializationDecl *D);
  63. void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D);
  64. void VisitVarTemplatePartialSpecializationDecl(
  65. VarTemplatePartialSpecializationDecl *D);
  66. void VisitClassScopeFunctionSpecializationDecl(
  67. ClassScopeFunctionSpecializationDecl *D);
  68. void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
  69. void VisitValueDecl(ValueDecl *D);
  70. void VisitEnumConstantDecl(EnumConstantDecl *D);
  71. void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
  72. void VisitDeclaratorDecl(DeclaratorDecl *D);
  73. void VisitFunctionDecl(FunctionDecl *D);
  74. void VisitCXXMethodDecl(CXXMethodDecl *D);
  75. void VisitCXXConstructorDecl(CXXConstructorDecl *D);
  76. void VisitCXXDestructorDecl(CXXDestructorDecl *D);
  77. void VisitCXXConversionDecl(CXXConversionDecl *D);
  78. void VisitFieldDecl(FieldDecl *D);
  79. void VisitMSPropertyDecl(MSPropertyDecl *D);
  80. void VisitIndirectFieldDecl(IndirectFieldDecl *D);
  81. void VisitVarDecl(VarDecl *D);
  82. void VisitImplicitParamDecl(ImplicitParamDecl *D);
  83. void VisitParmVarDecl(ParmVarDecl *D);
  84. void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
  85. void VisitTemplateDecl(TemplateDecl *D);
  86. void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
  87. void VisitClassTemplateDecl(ClassTemplateDecl *D);
  88. void VisitVarTemplateDecl(VarTemplateDecl *D);
  89. void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
  90. void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
  91. void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
  92. void VisitUsingDecl(UsingDecl *D);
  93. void VisitUsingShadowDecl(UsingShadowDecl *D);
  94. void VisitLinkageSpecDecl(LinkageSpecDecl *D);
  95. void VisitFileScopeAsmDecl(FileScopeAsmDecl *D);
  96. void VisitImportDecl(ImportDecl *D);
  97. void VisitAccessSpecDecl(AccessSpecDecl *D);
  98. void VisitFriendDecl(FriendDecl *D);
  99. void VisitFriendTemplateDecl(FriendTemplateDecl *D);
  100. void VisitStaticAssertDecl(StaticAssertDecl *D);
  101. void VisitBlockDecl(BlockDecl *D);
  102. void VisitCapturedDecl(CapturedDecl *D);
  103. void VisitEmptyDecl(EmptyDecl *D);
  104. void VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
  105. uint64_t VisibleOffset);
  106. template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
  107. // FIXME: Put in the same order is DeclNodes.td?
  108. void VisitObjCMethodDecl(ObjCMethodDecl *D);
  109. void VisitObjCTypeParamDecl(ObjCTypeParamDecl *D);
  110. void VisitObjCContainerDecl(ObjCContainerDecl *D);
  111. void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
  112. void VisitObjCIvarDecl(ObjCIvarDecl *D);
  113. void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
  114. void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
  115. void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
  116. void VisitObjCImplDecl(ObjCImplDecl *D);
  117. void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
  118. void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
  119. void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
  120. void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
  121. void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
  122. void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
  123. /// Add an Objective-C type parameter list to the given record.
  124. void AddObjCTypeParamList(ObjCTypeParamList *typeParams) {
  125. // Empty type parameter list.
  126. if (!typeParams) {
  127. Record.push_back(0);
  128. return;
  129. }
  130. Record.push_back(typeParams->size());
  131. for (auto typeParam : *typeParams) {
  132. Writer.AddDeclRef(typeParam, Record);
  133. }
  134. Writer.AddSourceLocation(typeParams->getLAngleLoc(), Record);
  135. Writer.AddSourceLocation(typeParams->getRAngleLoc(), Record);
  136. }
  137. void AddFunctionDefinition(const FunctionDecl *FD) {
  138. assert(FD->doesThisDeclarationHaveABody());
  139. if (auto *CD = dyn_cast<CXXConstructorDecl>(FD)) {
  140. Record.push_back(CD->NumCtorInitializers);
  141. if (CD->NumCtorInitializers)
  142. Writer.AddCXXCtorInitializersRef(
  143. llvm::makeArrayRef(CD->init_begin(), CD->init_end()), Record);
  144. }
  145. Writer.AddStmt(FD->getBody());
  146. }
  147. /// Get the specialization decl from an entry in the specialization list.
  148. template <typename EntryType>
  149. typename RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::DeclType *
  150. getSpecializationDecl(EntryType &T) {
  151. return RedeclarableTemplateDecl::SpecEntryTraits<EntryType>::getDecl(&T);
  152. }
  153. /// Get the list of partial specializations from a template's common ptr.
  154. template<typename T>
  155. decltype(T::PartialSpecializations) &getPartialSpecializations(T *Common) {
  156. return Common->PartialSpecializations;
  157. }
  158. ArrayRef<Decl> getPartialSpecializations(FunctionTemplateDecl::Common *) {
  159. return None;
  160. }
  161. template<typename Decl>
  162. void AddTemplateSpecializations(Decl *D) {
  163. auto *Common = D->getCommonPtr();
  164. // If we have any lazy specializations, and the external AST source is
  165. // our chained AST reader, we can just write out the DeclIDs. Otherwise,
  166. // we need to resolve them to actual declarations.
  167. if (Writer.Chain != Writer.Context->getExternalSource() &&
  168. Common->LazySpecializations) {
  169. D->LoadLazySpecializations();
  170. assert(!Common->LazySpecializations);
  171. }
  172. auto &Specializations = Common->Specializations;
  173. auto &&PartialSpecializations = getPartialSpecializations(Common);
  174. ArrayRef<DeclID> LazySpecializations;
  175. if (auto *LS = Common->LazySpecializations)
  176. LazySpecializations = ArrayRef<DeclID>(LS + 1, LS + 1 + LS[0]);
  177. Record.push_back(Specializations.size() +
  178. PartialSpecializations.size() +
  179. LazySpecializations.size());
  180. for (auto &Entry : Specializations) {
  181. auto *D = getSpecializationDecl(Entry);
  182. assert(D->isCanonicalDecl() && "non-canonical decl in set");
  183. Writer.AddDeclRef(D, Record);
  184. }
  185. for (auto &Entry : PartialSpecializations) {
  186. auto *D = getSpecializationDecl(Entry);
  187. assert(D->isCanonicalDecl() && "non-canonical decl in set");
  188. Writer.AddDeclRef(D, Record);
  189. }
  190. Record.append(LazySpecializations.begin(), LazySpecializations.end());
  191. }
  192. };
  193. }
  194. void ASTDeclWriter::Visit(Decl *D) {
  195. DeclVisitor<ASTDeclWriter>::Visit(D);
  196. // Source locations require array (variable-length) abbreviations. The
  197. // abbreviation infrastructure requires that arrays are encoded last, so
  198. // we handle it here in the case of those classes derived from DeclaratorDecl
  199. if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)){
  200. Writer.AddTypeSourceInfo(DD->getTypeSourceInfo(), Record);
  201. }
  202. // Handle FunctionDecl's body here and write it after all other Stmts/Exprs
  203. // have been written. We want it last because we will not read it back when
  204. // retrieving it from the AST, we'll just lazily set the offset.
  205. if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
  206. Record.push_back(FD->doesThisDeclarationHaveABody());
  207. if (FD->doesThisDeclarationHaveABody())
  208. AddFunctionDefinition(FD);
  209. }
  210. }
  211. void ASTDeclWriter::VisitDecl(Decl *D) {
  212. Writer.AddDeclRef(cast_or_null<Decl>(D->getDeclContext()), Record);
  213. Writer.AddDeclRef(cast_or_null<Decl>(D->getLexicalDeclContext()), Record);
  214. Record.push_back(D->isInvalidDecl());
  215. Record.push_back(D->hasAttrs());
  216. if (D->hasAttrs())
  217. Writer.WriteAttributes(llvm::makeArrayRef(D->getAttrs().begin(),
  218. D->getAttrs().size()), Record);
  219. Record.push_back(D->isImplicit());
  220. Record.push_back(D->isUsed(false));
  221. Record.push_back(D->isReferenced());
  222. Record.push_back(D->isTopLevelDeclInObjCContainer());
  223. Record.push_back(D->getAccess());
  224. Record.push_back(D->isModulePrivate());
  225. Record.push_back(Writer.inferSubmoduleIDFromLocation(D->getLocation()));
  226. // If this declaration injected a name into a context different from its
  227. // lexical context, and that context is an imported namespace, we need to
  228. // update its visible declarations to include this name.
  229. //
  230. // This happens when we instantiate a class with a friend declaration or a
  231. // function with a local extern declaration, for instance.
  232. //
  233. // FIXME: Can we handle this in AddedVisibleDecl instead?
  234. if (D->isOutOfLine()) {
  235. auto *DC = D->getDeclContext();
  236. while (auto *NS = dyn_cast<NamespaceDecl>(DC->getRedeclContext())) {
  237. if (!NS->isFromASTFile())
  238. break;
  239. Writer.UpdatedDeclContexts.insert(NS->getPrimaryContext());
  240. if (!NS->isInlineNamespace())
  241. break;
  242. DC = NS->getParent();
  243. }
  244. }
  245. }
  246. void ASTDeclWriter::VisitTranslationUnitDecl(TranslationUnitDecl *D) {
  247. llvm_unreachable("Translation units aren't directly serialized");
  248. }
  249. void ASTDeclWriter::VisitNamedDecl(NamedDecl *D) {
  250. VisitDecl(D);
  251. Writer.AddDeclarationName(D->getDeclName(), Record);
  252. Record.push_back(needsAnonymousDeclarationNumber(D)
  253. ? Writer.getAnonymousDeclarationNumber(D)
  254. : 0);
  255. }
  256. void ASTDeclWriter::VisitTypeDecl(TypeDecl *D) {
  257. VisitNamedDecl(D);
  258. Writer.AddSourceLocation(D->getLocStart(), Record);
  259. Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
  260. }
  261. void ASTDeclWriter::VisitTypedefNameDecl(TypedefNameDecl *D) {
  262. VisitRedeclarable(D);
  263. VisitTypeDecl(D);
  264. Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
  265. Record.push_back(D->isModed());
  266. if (D->isModed())
  267. Writer.AddTypeRef(D->getUnderlyingType(), Record);
  268. }
  269. void ASTDeclWriter::VisitTypedefDecl(TypedefDecl *D) {
  270. VisitTypedefNameDecl(D);
  271. if (!D->hasAttrs() &&
  272. !D->isImplicit() &&
  273. D->getFirstDecl() == D->getMostRecentDecl() &&
  274. !D->isInvalidDecl() &&
  275. !D->isTopLevelDeclInObjCContainer() &&
  276. !D->isModulePrivate() &&
  277. !needsAnonymousDeclarationNumber(D) &&
  278. D->getDeclName().getNameKind() == DeclarationName::Identifier)
  279. AbbrevToUse = Writer.getDeclTypedefAbbrev();
  280. Code = serialization::DECL_TYPEDEF;
  281. }
  282. void ASTDeclWriter::VisitTypeAliasDecl(TypeAliasDecl *D) {
  283. VisitTypedefNameDecl(D);
  284. Writer.AddDeclRef(D->getDescribedAliasTemplate(), Record);
  285. Code = serialization::DECL_TYPEALIAS;
  286. }
  287. void ASTDeclWriter::VisitTagDecl(TagDecl *D) {
  288. VisitRedeclarable(D);
  289. VisitTypeDecl(D);
  290. Record.push_back(D->getIdentifierNamespace());
  291. Record.push_back((unsigned)D->getTagKind()); // FIXME: stable encoding
  292. if (!isa<CXXRecordDecl>(D))
  293. Record.push_back(D->isCompleteDefinition());
  294. Record.push_back(D->isEmbeddedInDeclarator());
  295. Record.push_back(D->isFreeStanding());
  296. Record.push_back(D->isCompleteDefinitionRequired());
  297. Writer.AddSourceLocation(D->getRBraceLoc(), Record);
  298. if (D->hasExtInfo()) {
  299. Record.push_back(1);
  300. Writer.AddQualifierInfo(*D->getExtInfo(), Record);
  301. } else if (auto *TD = D->getTypedefNameForAnonDecl()) {
  302. Record.push_back(2);
  303. Writer.AddDeclRef(TD, Record);
  304. Writer.AddIdentifierRef(TD->getDeclName().getAsIdentifierInfo(), Record);
  305. } else if (auto *DD = D->getDeclaratorForAnonDecl()) {
  306. Record.push_back(3);
  307. Writer.AddDeclRef(DD, Record);
  308. } else {
  309. Record.push_back(0);
  310. }
  311. }
  312. void ASTDeclWriter::VisitEnumDecl(EnumDecl *D) {
  313. VisitTagDecl(D);
  314. Writer.AddTypeSourceInfo(D->getIntegerTypeSourceInfo(), Record);
  315. if (!D->getIntegerTypeSourceInfo())
  316. Writer.AddTypeRef(D->getIntegerType(), Record);
  317. Writer.AddTypeRef(D->getPromotionType(), Record);
  318. Record.push_back(D->getNumPositiveBits());
  319. Record.push_back(D->getNumNegativeBits());
  320. Record.push_back(D->isScoped());
  321. Record.push_back(D->isScopedUsingClassTag());
  322. Record.push_back(D->isFixed());
  323. if (MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo()) {
  324. Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
  325. Record.push_back(MemberInfo->getTemplateSpecializationKind());
  326. Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
  327. } else {
  328. Writer.AddDeclRef(nullptr, Record);
  329. }
  330. if (!D->hasAttrs() &&
  331. !D->isImplicit() &&
  332. !D->isUsed(false) &&
  333. !D->hasExtInfo() &&
  334. !D->getTypedefNameForAnonDecl() &&
  335. !D->getDeclaratorForAnonDecl() &&
  336. D->getFirstDecl() == D->getMostRecentDecl() &&
  337. !D->isInvalidDecl() &&
  338. !D->isReferenced() &&
  339. !D->isTopLevelDeclInObjCContainer() &&
  340. D->getAccess() == AS_none &&
  341. !D->isModulePrivate() &&
  342. !CXXRecordDecl::classofKind(D->getKind()) &&
  343. !D->getIntegerTypeSourceInfo() &&
  344. !D->getMemberSpecializationInfo() &&
  345. !needsAnonymousDeclarationNumber(D) &&
  346. D->getDeclName().getNameKind() == DeclarationName::Identifier)
  347. AbbrevToUse = Writer.getDeclEnumAbbrev();
  348. Code = serialization::DECL_ENUM;
  349. }
  350. void ASTDeclWriter::VisitRecordDecl(RecordDecl *D) {
  351. VisitTagDecl(D);
  352. Record.push_back(D->hasFlexibleArrayMember());
  353. Record.push_back(D->isAnonymousStructOrUnion());
  354. Record.push_back(D->hasObjectMember());
  355. Record.push_back(D->hasVolatileMember());
  356. if (!D->hasAttrs() &&
  357. !D->isImplicit() &&
  358. !D->isUsed(false) &&
  359. !D->hasExtInfo() &&
  360. !D->getTypedefNameForAnonDecl() &&
  361. !D->getDeclaratorForAnonDecl() &&
  362. D->getFirstDecl() == D->getMostRecentDecl() &&
  363. !D->isInvalidDecl() &&
  364. !D->isReferenced() &&
  365. !D->isTopLevelDeclInObjCContainer() &&
  366. D->getAccess() == AS_none &&
  367. !D->isModulePrivate() &&
  368. !CXXRecordDecl::classofKind(D->getKind()) &&
  369. !needsAnonymousDeclarationNumber(D) &&
  370. D->getDeclName().getNameKind() == DeclarationName::Identifier)
  371. AbbrevToUse = Writer.getDeclRecordAbbrev();
  372. Code = serialization::DECL_RECORD;
  373. }
  374. void ASTDeclWriter::VisitValueDecl(ValueDecl *D) {
  375. VisitNamedDecl(D);
  376. Writer.AddTypeRef(D->getType(), Record);
  377. }
  378. void ASTDeclWriter::VisitEnumConstantDecl(EnumConstantDecl *D) {
  379. VisitValueDecl(D);
  380. Record.push_back(D->getInitExpr()? 1 : 0);
  381. if (D->getInitExpr())
  382. Writer.AddStmt(D->getInitExpr());
  383. Writer.AddAPSInt(D->getInitVal(), Record);
  384. Code = serialization::DECL_ENUM_CONSTANT;
  385. }
  386. void ASTDeclWriter::VisitDeclaratorDecl(DeclaratorDecl *D) {
  387. VisitValueDecl(D);
  388. Writer.AddSourceLocation(D->getInnerLocStart(), Record);
  389. Record.push_back(D->hasExtInfo());
  390. if (D->hasExtInfo())
  391. Writer.AddQualifierInfo(*D->getExtInfo(), Record);
  392. }
  393. void ASTDeclWriter::VisitFunctionDecl(FunctionDecl *D) {
  394. VisitRedeclarable(D);
  395. VisitDeclaratorDecl(D);
  396. Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
  397. Record.push_back(D->getIdentifierNamespace());
  398. // FunctionDecl's body is handled last at ASTWriterDecl::Visit,
  399. // after everything else is written.
  400. Record.push_back((int)D->SClass); // FIXME: stable encoding
  401. Record.push_back(D->IsInline);
  402. Record.push_back(D->IsInlineSpecified);
  403. Record.push_back(D->IsVirtualAsWritten);
  404. Record.push_back(D->IsPure);
  405. Record.push_back(D->HasInheritedPrototype);
  406. Record.push_back(D->HasWrittenPrototype);
  407. Record.push_back(D->IsDeleted);
  408. Record.push_back(D->IsTrivial);
  409. Record.push_back(D->IsDefaulted);
  410. Record.push_back(D->IsExplicitlyDefaulted);
  411. Record.push_back(D->HasImplicitReturnZero);
  412. Record.push_back(D->IsConstexpr);
  413. Record.push_back(D->HasSkippedBody);
  414. Record.push_back(D->IsLateTemplateParsed);
  415. Record.push_back(D->getLinkageInternal());
  416. Writer.AddSourceLocation(D->getLocEnd(), Record);
  417. Record.push_back(D->getTemplatedKind());
  418. switch (D->getTemplatedKind()) {
  419. case FunctionDecl::TK_NonTemplate:
  420. break;
  421. case FunctionDecl::TK_FunctionTemplate:
  422. Writer.AddDeclRef(D->getDescribedFunctionTemplate(), Record);
  423. break;
  424. case FunctionDecl::TK_MemberSpecialization: {
  425. MemberSpecializationInfo *MemberInfo = D->getMemberSpecializationInfo();
  426. Writer.AddDeclRef(MemberInfo->getInstantiatedFrom(), Record);
  427. Record.push_back(MemberInfo->getTemplateSpecializationKind());
  428. Writer.AddSourceLocation(MemberInfo->getPointOfInstantiation(), Record);
  429. break;
  430. }
  431. case FunctionDecl::TK_FunctionTemplateSpecialization: {
  432. FunctionTemplateSpecializationInfo *
  433. FTSInfo = D->getTemplateSpecializationInfo();
  434. Writer.AddDeclRef(FTSInfo->getTemplate(), Record);
  435. Record.push_back(FTSInfo->getTemplateSpecializationKind());
  436. // Template arguments.
  437. Writer.AddTemplateArgumentList(FTSInfo->TemplateArguments, Record);
  438. // Template args as written.
  439. Record.push_back(FTSInfo->TemplateArgumentsAsWritten != nullptr);
  440. if (FTSInfo->TemplateArgumentsAsWritten) {
  441. Record.push_back(FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs);
  442. for (int i=0, e = FTSInfo->TemplateArgumentsAsWritten->NumTemplateArgs;
  443. i!=e; ++i)
  444. Writer.AddTemplateArgumentLoc((*FTSInfo->TemplateArgumentsAsWritten)[i],
  445. Record);
  446. Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->LAngleLoc,
  447. Record);
  448. Writer.AddSourceLocation(FTSInfo->TemplateArgumentsAsWritten->RAngleLoc,
  449. Record);
  450. }
  451. Writer.AddSourceLocation(FTSInfo->getPointOfInstantiation(), Record);
  452. if (D->isCanonicalDecl()) {
  453. // Write the template that contains the specializations set. We will
  454. // add a FunctionTemplateSpecializationInfo to it when reading.
  455. Writer.AddDeclRef(FTSInfo->getTemplate()->getCanonicalDecl(), Record);
  456. }
  457. break;
  458. }
  459. case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
  460. DependentFunctionTemplateSpecializationInfo *
  461. DFTSInfo = D->getDependentSpecializationInfo();
  462. // Templates.
  463. Record.push_back(DFTSInfo->getNumTemplates());
  464. for (int i=0, e = DFTSInfo->getNumTemplates(); i != e; ++i)
  465. Writer.AddDeclRef(DFTSInfo->getTemplate(i), Record);
  466. // Templates args.
  467. Record.push_back(DFTSInfo->getNumTemplateArgs());
  468. for (int i=0, e = DFTSInfo->getNumTemplateArgs(); i != e; ++i)
  469. Writer.AddTemplateArgumentLoc(DFTSInfo->getTemplateArg(i), Record);
  470. Writer.AddSourceLocation(DFTSInfo->getLAngleLoc(), Record);
  471. Writer.AddSourceLocation(DFTSInfo->getRAngleLoc(), Record);
  472. break;
  473. }
  474. }
  475. Record.push_back(D->param_size());
  476. for (auto P : D->params())
  477. Writer.AddDeclRef(P, Record);
  478. Code = serialization::DECL_FUNCTION;
  479. }
  480. void ASTDeclWriter::VisitObjCMethodDecl(ObjCMethodDecl *D) {
  481. VisitNamedDecl(D);
  482. // FIXME: convert to LazyStmtPtr?
  483. // Unlike C/C++, method bodies will never be in header files.
  484. bool HasBodyStuff = D->getBody() != nullptr ||
  485. D->getSelfDecl() != nullptr || D->getCmdDecl() != nullptr;
  486. Record.push_back(HasBodyStuff);
  487. if (HasBodyStuff) {
  488. Writer.AddStmt(D->getBody());
  489. Writer.AddDeclRef(D->getSelfDecl(), Record);
  490. Writer.AddDeclRef(D->getCmdDecl(), Record);
  491. }
  492. Record.push_back(D->isInstanceMethod());
  493. Record.push_back(D->isVariadic());
  494. Record.push_back(D->isPropertyAccessor());
  495. Record.push_back(D->isDefined());
  496. Record.push_back(D->IsOverriding);
  497. Record.push_back(D->HasSkippedBody);
  498. Record.push_back(D->IsRedeclaration);
  499. Record.push_back(D->HasRedeclaration);
  500. if (D->HasRedeclaration) {
  501. assert(Context.getObjCMethodRedeclaration(D));
  502. Writer.AddDeclRef(Context.getObjCMethodRedeclaration(D), Record);
  503. }
  504. // FIXME: stable encoding for @required/@optional
  505. Record.push_back(D->getImplementationControl());
  506. // FIXME: stable encoding for in/out/inout/bycopy/byref/oneway/nullability
  507. Record.push_back(D->getObjCDeclQualifier());
  508. Record.push_back(D->hasRelatedResultType());
  509. Writer.AddTypeRef(D->getReturnType(), Record);
  510. Writer.AddTypeSourceInfo(D->getReturnTypeSourceInfo(), Record);
  511. Writer.AddSourceLocation(D->getLocEnd(), Record);
  512. Record.push_back(D->param_size());
  513. for (const auto *P : D->params())
  514. Writer.AddDeclRef(P, Record);
  515. Record.push_back(D->SelLocsKind);
  516. unsigned NumStoredSelLocs = D->getNumStoredSelLocs();
  517. SourceLocation *SelLocs = D->getStoredSelLocs();
  518. Record.push_back(NumStoredSelLocs);
  519. for (unsigned i = 0; i != NumStoredSelLocs; ++i)
  520. Writer.AddSourceLocation(SelLocs[i], Record);
  521. Code = serialization::DECL_OBJC_METHOD;
  522. }
  523. void ASTDeclWriter::VisitObjCTypeParamDecl(ObjCTypeParamDecl *D) {
  524. VisitTypedefNameDecl(D);
  525. Record.push_back(D->Variance);
  526. Record.push_back(D->Index);
  527. Writer.AddSourceLocation(D->VarianceLoc, Record);
  528. Writer.AddSourceLocation(D->ColonLoc, Record);
  529. Code = serialization::DECL_OBJC_TYPE_PARAM;
  530. }
  531. void ASTDeclWriter::VisitObjCContainerDecl(ObjCContainerDecl *D) {
  532. VisitNamedDecl(D);
  533. Writer.AddSourceLocation(D->getAtStartLoc(), Record);
  534. Writer.AddSourceRange(D->getAtEndRange(), Record);
  535. // Abstract class (no need to define a stable serialization::DECL code).
  536. }
  537. void ASTDeclWriter::VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
  538. VisitRedeclarable(D);
  539. VisitObjCContainerDecl(D);
  540. Writer.AddTypeRef(QualType(D->getTypeForDecl(), 0), Record);
  541. AddObjCTypeParamList(D->TypeParamList);
  542. Record.push_back(D->isThisDeclarationADefinition());
  543. if (D->isThisDeclarationADefinition()) {
  544. // Write the DefinitionData
  545. ObjCInterfaceDecl::DefinitionData &Data = D->data();
  546. Writer.AddTypeSourceInfo(D->getSuperClassTInfo(), Record);
  547. Writer.AddSourceLocation(D->getEndOfDefinitionLoc(), Record);
  548. Record.push_back(Data.HasDesignatedInitializers);
  549. // Write out the protocols that are directly referenced by the @interface.
  550. Record.push_back(Data.ReferencedProtocols.size());
  551. for (const auto *P : D->protocols())
  552. Writer.AddDeclRef(P, Record);
  553. for (const auto &PL : D->protocol_locs())
  554. Writer.AddSourceLocation(PL, Record);
  555. // Write out the protocols that are transitively referenced.
  556. Record.push_back(Data.AllReferencedProtocols.size());
  557. for (ObjCList<ObjCProtocolDecl>::iterator
  558. P = Data.AllReferencedProtocols.begin(),
  559. PEnd = Data.AllReferencedProtocols.end();
  560. P != PEnd; ++P)
  561. Writer.AddDeclRef(*P, Record);
  562. if (ObjCCategoryDecl *Cat = D->getCategoryListRaw()) {
  563. // Ensure that we write out the set of categories for this class.
  564. Writer.ObjCClassesWithCategories.insert(D);
  565. // Make sure that the categories get serialized.
  566. for (; Cat; Cat = Cat->getNextClassCategoryRaw())
  567. (void)Writer.GetDeclRef(Cat);
  568. }
  569. }
  570. Code = serialization::DECL_OBJC_INTERFACE;
  571. }
  572. void ASTDeclWriter::VisitObjCIvarDecl(ObjCIvarDecl *D) {
  573. VisitFieldDecl(D);
  574. // FIXME: stable encoding for @public/@private/@protected/@package
  575. Record.push_back(D->getAccessControl());
  576. Record.push_back(D->getSynthesize());
  577. if (!D->hasAttrs() &&
  578. !D->isImplicit() &&
  579. !D->isUsed(false) &&
  580. !D->isInvalidDecl() &&
  581. !D->isReferenced() &&
  582. !D->isModulePrivate() &&
  583. !D->getBitWidth() &&
  584. !D->hasExtInfo() &&
  585. D->getDeclName())
  586. AbbrevToUse = Writer.getDeclObjCIvarAbbrev();
  587. Code = serialization::DECL_OBJC_IVAR;
  588. }
  589. void ASTDeclWriter::VisitObjCProtocolDecl(ObjCProtocolDecl *D) {
  590. VisitRedeclarable(D);
  591. VisitObjCContainerDecl(D);
  592. Record.push_back(D->isThisDeclarationADefinition());
  593. if (D->isThisDeclarationADefinition()) {
  594. Record.push_back(D->protocol_size());
  595. for (const auto *I : D->protocols())
  596. Writer.AddDeclRef(I, Record);
  597. for (const auto &PL : D->protocol_locs())
  598. Writer.AddSourceLocation(PL, Record);
  599. }
  600. Code = serialization::DECL_OBJC_PROTOCOL;
  601. }
  602. void ASTDeclWriter::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D) {
  603. VisitFieldDecl(D);
  604. Code = serialization::DECL_OBJC_AT_DEFS_FIELD;
  605. }
  606. void ASTDeclWriter::VisitObjCCategoryDecl(ObjCCategoryDecl *D) {
  607. VisitObjCContainerDecl(D);
  608. Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
  609. Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
  610. Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
  611. Writer.AddDeclRef(D->getClassInterface(), Record);
  612. AddObjCTypeParamList(D->TypeParamList);
  613. Record.push_back(D->protocol_size());
  614. for (const auto *I : D->protocols())
  615. Writer.AddDeclRef(I, Record);
  616. for (const auto &PL : D->protocol_locs())
  617. Writer.AddSourceLocation(PL, Record);
  618. Code = serialization::DECL_OBJC_CATEGORY;
  619. }
  620. void ASTDeclWriter::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D) {
  621. VisitNamedDecl(D);
  622. Writer.AddDeclRef(D->getClassInterface(), Record);
  623. Code = serialization::DECL_OBJC_COMPATIBLE_ALIAS;
  624. }
  625. void ASTDeclWriter::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
  626. VisitNamedDecl(D);
  627. Writer.AddSourceLocation(D->getAtLoc(), Record);
  628. Writer.AddSourceLocation(D->getLParenLoc(), Record);
  629. Writer.AddTypeRef(D->getType(), Record);
  630. Writer.AddTypeSourceInfo(D->getTypeSourceInfo(), Record);
  631. // FIXME: stable encoding
  632. Record.push_back((unsigned)D->getPropertyAttributes());
  633. Record.push_back((unsigned)D->getPropertyAttributesAsWritten());
  634. // FIXME: stable encoding
  635. Record.push_back((unsigned)D->getPropertyImplementation());
  636. Writer.AddDeclarationName(D->getGetterName(), Record);
  637. Writer.AddDeclarationName(D->getSetterName(), Record);
  638. Writer.AddDeclRef(D->getGetterMethodDecl(), Record);
  639. Writer.AddDeclRef(D->getSetterMethodDecl(), Record);
  640. Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
  641. Code = serialization::DECL_OBJC_PROPERTY;
  642. }
  643. void ASTDeclWriter::VisitObjCImplDecl(ObjCImplDecl *D) {
  644. VisitObjCContainerDecl(D);
  645. Writer.AddDeclRef(D->getClassInterface(), Record);
  646. // Abstract class (no need to define a stable serialization::DECL code).
  647. }
  648. void ASTDeclWriter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
  649. VisitObjCImplDecl(D);
  650. Writer.AddIdentifierRef(D->getIdentifier(), Record);
  651. Writer.AddSourceLocation(D->getCategoryNameLoc(), Record);
  652. Code = serialization::DECL_OBJC_CATEGORY_IMPL;
  653. }
  654. void ASTDeclWriter::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
  655. VisitObjCImplDecl(D);
  656. Writer.AddDeclRef(D->getSuperClass(), Record);
  657. Writer.AddSourceLocation(D->getSuperClassLoc(), Record);
  658. Writer.AddSourceLocation(D->getIvarLBraceLoc(), Record);
  659. Writer.AddSourceLocation(D->getIvarRBraceLoc(), Record);
  660. Record.push_back(D->hasNonZeroConstructors());
  661. Record.push_back(D->hasDestructors());
  662. Record.push_back(D->NumIvarInitializers);
  663. if (D->NumIvarInitializers)
  664. Writer.AddCXXCtorInitializersRef(
  665. llvm::makeArrayRef(D->init_begin(), D->init_end()), Record);
  666. Code = serialization::DECL_OBJC_IMPLEMENTATION;
  667. }
  668. void ASTDeclWriter::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
  669. VisitDecl(D);
  670. Writer.AddSourceLocation(D->getLocStart(), Record);
  671. Writer.AddDeclRef(D->getPropertyDecl(), Record);
  672. Writer.AddDeclRef(D->getPropertyIvarDecl(), Record);
  673. Writer.AddSourceLocation(D->getPropertyIvarDeclLoc(), Record);
  674. Writer.AddStmt(D->getGetterCXXConstructor());
  675. Writer.AddStmt(D->getSetterCXXAssignment());
  676. Code = serialization::DECL_OBJC_PROPERTY_IMPL;
  677. }
  678. void ASTDeclWriter::VisitFieldDecl(FieldDecl *D) {
  679. VisitDeclaratorDecl(D);
  680. Record.push_back(D->isMutable());
  681. if (D->InitStorage.getInt() == FieldDecl::ISK_BitWidthOrNothing &&
  682. D->InitStorage.getPointer() == nullptr) {
  683. Record.push_back(0);
  684. } else if (D->InitStorage.getInt() == FieldDecl::ISK_CapturedVLAType) {
  685. Record.push_back(D->InitStorage.getInt() + 1);
  686. Writer.AddTypeRef(
  687. QualType(static_cast<Type *>(D->InitStorage.getPointer()), 0),
  688. Record);
  689. } else {
  690. Record.push_back(D->InitStorage.getInt() + 1);
  691. Writer.AddStmt(static_cast<Expr *>(D->InitStorage.getPointer()));
  692. }
  693. if (!D->getDeclName())
  694. Writer.AddDeclRef(Context.getInstantiatedFromUnnamedFieldDecl(D), Record);
  695. if (!D->hasAttrs() &&
  696. !D->isImplicit() &&
  697. !D->isUsed(false) &&
  698. !D->isInvalidDecl() &&
  699. !D->isReferenced() &&
  700. !D->isTopLevelDeclInObjCContainer() &&
  701. !D->isModulePrivate() &&
  702. !D->getBitWidth() &&
  703. !D->hasInClassInitializer() &&
  704. !D->hasExtInfo() &&
  705. !ObjCIvarDecl::classofKind(D->getKind()) &&
  706. !ObjCAtDefsFieldDecl::classofKind(D->getKind()) &&
  707. D->getDeclName())
  708. AbbrevToUse = Writer.getDeclFieldAbbrev();
  709. Code = serialization::DECL_FIELD;
  710. }
  711. void ASTDeclWriter::VisitMSPropertyDecl(MSPropertyDecl *D) {
  712. VisitDeclaratorDecl(D);
  713. Writer.AddIdentifierRef(D->getGetterId(), Record);
  714. Writer.AddIdentifierRef(D->getSetterId(), Record);
  715. Code = serialization::DECL_MS_PROPERTY;
  716. }
  717. void ASTDeclWriter::VisitIndirectFieldDecl(IndirectFieldDecl *D) {
  718. VisitValueDecl(D);
  719. Record.push_back(D->getChainingSize());
  720. for (const auto *P : D->chain())
  721. Writer.AddDeclRef(P, Record);
  722. Code = serialization::DECL_INDIRECTFIELD;
  723. }
  724. void ASTDeclWriter::VisitVarDecl(VarDecl *D) {
  725. VisitRedeclarable(D);
  726. VisitDeclaratorDecl(D);
  727. Record.push_back(D->getStorageClass());
  728. Record.push_back(D->getTSCSpec());
  729. Record.push_back(D->getInitStyle());
  730. if (!isa<ParmVarDecl>(D)) {
  731. Record.push_back(D->isExceptionVariable());
  732. Record.push_back(D->isNRVOVariable());
  733. Record.push_back(D->isCXXForRangeDecl());
  734. Record.push_back(D->isARCPseudoStrong());
  735. Record.push_back(D->isConstexpr());
  736. Record.push_back(D->isInitCapture());
  737. Record.push_back(D->isPreviousDeclInSameBlockScope());
  738. }
  739. Record.push_back(D->getLinkageInternal());
  740. if (D->getInit()) {
  741. Record.push_back(!D->isInitKnownICE() ? 1 : (D->isInitICE() ? 3 : 2));
  742. Writer.AddStmt(D->getInit());
  743. } else {
  744. Record.push_back(0);
  745. }
  746. enum {
  747. VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
  748. };
  749. if (VarTemplateDecl *TemplD = D->getDescribedVarTemplate()) {
  750. Record.push_back(VarTemplate);
  751. Writer.AddDeclRef(TemplD, Record);
  752. } else if (MemberSpecializationInfo *SpecInfo
  753. = D->getMemberSpecializationInfo()) {
  754. Record.push_back(StaticDataMemberSpecialization);
  755. Writer.AddDeclRef(SpecInfo->getInstantiatedFrom(), Record);
  756. Record.push_back(SpecInfo->getTemplateSpecializationKind());
  757. Writer.AddSourceLocation(SpecInfo->getPointOfInstantiation(), Record);
  758. } else {
  759. Record.push_back(VarNotTemplate);
  760. }
  761. if (!D->hasAttrs() &&
  762. !D->isImplicit() &&
  763. !D->isUsed(false) &&
  764. !D->isInvalidDecl() &&
  765. !D->isReferenced() &&
  766. !D->isTopLevelDeclInObjCContainer() &&
  767. D->getAccess() == AS_none &&
  768. !D->isModulePrivate() &&
  769. !needsAnonymousDeclarationNumber(D) &&
  770. D->getDeclName().getNameKind() == DeclarationName::Identifier &&
  771. !D->hasExtInfo() &&
  772. D->getFirstDecl() == D->getMostRecentDecl() &&
  773. D->getInitStyle() == VarDecl::CInit &&
  774. D->getInit() == nullptr &&
  775. !isa<ParmVarDecl>(D) &&
  776. !isa<VarTemplateSpecializationDecl>(D) &&
  777. !D->isConstexpr() &&
  778. !D->isInitCapture() &&
  779. !D->isPreviousDeclInSameBlockScope() &&
  780. !D->getMemberSpecializationInfo())
  781. AbbrevToUse = Writer.getDeclVarAbbrev();
  782. Code = serialization::DECL_VAR;
  783. }
  784. void ASTDeclWriter::VisitImplicitParamDecl(ImplicitParamDecl *D) {
  785. VisitVarDecl(D);
  786. Code = serialization::DECL_IMPLICIT_PARAM;
  787. }
  788. void ASTDeclWriter::VisitParmVarDecl(ParmVarDecl *D) {
  789. VisitVarDecl(D);
  790. Record.push_back(D->isObjCMethodParameter());
  791. Record.push_back(D->getFunctionScopeDepth());
  792. Record.push_back(D->getFunctionScopeIndex());
  793. Record.push_back(D->getObjCDeclQualifier()); // FIXME: stable encoding
  794. Record.push_back(D->isKNRPromoted());
  795. Record.push_back(D->hasInheritedDefaultArg());
  796. Record.push_back(D->hasUninstantiatedDefaultArg());
  797. if (D->hasUninstantiatedDefaultArg())
  798. Writer.AddStmt(D->getUninstantiatedDefaultArg());
  799. Code = serialization::DECL_PARM_VAR;
  800. assert(!D->isARCPseudoStrong()); // can be true of ImplicitParamDecl
  801. // If the assumptions about the DECL_PARM_VAR abbrev are true, use it. Here
  802. // we dynamically check for the properties that we optimize for, but don't
  803. // know are true of all PARM_VAR_DECLs.
  804. if (!D->hasAttrs() &&
  805. !D->hasExtInfo() &&
  806. !D->isImplicit() &&
  807. !D->isUsed(false) &&
  808. !D->isInvalidDecl() &&
  809. !D->isReferenced() &&
  810. D->getAccess() == AS_none &&
  811. !D->isModulePrivate() &&
  812. D->getStorageClass() == 0 &&
  813. D->getInitStyle() == VarDecl::CInit && // Can params have anything else?
  814. D->getFunctionScopeDepth() == 0 &&
  815. D->getObjCDeclQualifier() == 0 &&
  816. !D->isKNRPromoted() &&
  817. !D->hasInheritedDefaultArg() &&
  818. D->getInit() == nullptr &&
  819. !D->hasUninstantiatedDefaultArg()) // No default expr.
  820. AbbrevToUse = Writer.getDeclParmVarAbbrev();
  821. // Check things we know are true of *every* PARM_VAR_DECL, which is more than
  822. // just us assuming it.
  823. assert(!D->getTSCSpec() && "PARM_VAR_DECL can't use TLS");
  824. assert(D->getAccess() == AS_none && "PARM_VAR_DECL can't be public/private");
  825. assert(!D->isExceptionVariable() && "PARM_VAR_DECL can't be exception var");
  826. assert(D->getPreviousDecl() == nullptr && "PARM_VAR_DECL can't be redecl");
  827. assert(!D->isStaticDataMember() &&
  828. "PARM_VAR_DECL can't be static data member");
  829. }
  830. void ASTDeclWriter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) {
  831. VisitDecl(D);
  832. Writer.AddStmt(D->getAsmString());
  833. Writer.AddSourceLocation(D->getRParenLoc(), Record);
  834. Code = serialization::DECL_FILE_SCOPE_ASM;
  835. }
  836. void ASTDeclWriter::VisitEmptyDecl(EmptyDecl *D) {
  837. VisitDecl(D);
  838. Code = serialization::DECL_EMPTY;
  839. }
  840. void ASTDeclWriter::VisitBlockDecl(BlockDecl *D) {
  841. VisitDecl(D);
  842. Writer.AddStmt(D->getBody());
  843. Writer.AddTypeSourceInfo(D->getSignatureAsWritten(), Record);
  844. Record.push_back(D->param_size());
  845. for (FunctionDecl::param_iterator P = D->param_begin(), PEnd = D->param_end();
  846. P != PEnd; ++P)
  847. Writer.AddDeclRef(*P, Record);
  848. Record.push_back(D->isVariadic());
  849. Record.push_back(D->blockMissingReturnType());
  850. Record.push_back(D->isConversionFromLambda());
  851. Record.push_back(D->capturesCXXThis());
  852. Record.push_back(D->getNumCaptures());
  853. for (const auto &capture : D->captures()) {
  854. Writer.AddDeclRef(capture.getVariable(), Record);
  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. if (capture.hasCopyExpr()) Writer.AddStmt(capture.getCopyExpr());
  861. }
  862. Code = serialization::DECL_BLOCK;
  863. }
  864. void ASTDeclWriter::VisitCapturedDecl(CapturedDecl *CD) {
  865. Record.push_back(CD->getNumParams());
  866. VisitDecl(CD);
  867. Record.push_back(CD->getContextParamPosition());
  868. Record.push_back(CD->isNothrow() ? 1 : 0);
  869. // Body is stored by VisitCapturedStmt.
  870. for (unsigned I = 0; I < CD->getNumParams(); ++I)
  871. Writer.AddDeclRef(CD->getParam(I), Record);
  872. Code = serialization::DECL_CAPTURED;
  873. }
  874. void ASTDeclWriter::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
  875. VisitDecl(D);
  876. Record.push_back(D->getLanguage());
  877. Writer.AddSourceLocation(D->getExternLoc(), Record);
  878. Writer.AddSourceLocation(D->getRBraceLoc(), Record);
  879. Code = serialization::DECL_LINKAGE_SPEC;
  880. }
  881. void ASTDeclWriter::VisitLabelDecl(LabelDecl *D) {
  882. VisitNamedDecl(D);
  883. Writer.AddSourceLocation(D->getLocStart(), Record);
  884. Code = serialization::DECL_LABEL;
  885. }
  886. void ASTDeclWriter::VisitNamespaceDecl(NamespaceDecl *D) {
  887. VisitRedeclarable(D);
  888. VisitNamedDecl(D);
  889. Record.push_back(D->isInline());
  890. Writer.AddSourceLocation(D->getLocStart(), Record);
  891. Writer.AddSourceLocation(D->getRBraceLoc(), Record);
  892. if (D->isOriginalNamespace())
  893. Writer.AddDeclRef(D->getAnonymousNamespace(), Record);
  894. Code = serialization::DECL_NAMESPACE;
  895. if (Writer.hasChain() && D->isAnonymousNamespace() &&
  896. D == D->getMostRecentDecl()) {
  897. // This is a most recent reopening of the anonymous namespace. If its parent
  898. // is in a previous PCH (or is the TU), mark that parent for update, because
  899. // the original namespace always points to the latest re-opening of its
  900. // anonymous namespace.
  901. Decl *Parent = cast<Decl>(
  902. D->getParent()->getRedeclContext()->getPrimaryContext());
  903. if (Parent->isFromASTFile() || isa<TranslationUnitDecl>(Parent)) {
  904. Writer.DeclUpdates[Parent].push_back(
  905. ASTWriter::DeclUpdate(UPD_CXX_ADDED_ANONYMOUS_NAMESPACE, D));
  906. }
  907. }
  908. }
  909. void ASTDeclWriter::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
  910. VisitRedeclarable(D);
  911. VisitNamedDecl(D);
  912. Writer.AddSourceLocation(D->getNamespaceLoc(), Record);
  913. Writer.AddSourceLocation(D->getTargetNameLoc(), Record);
  914. Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
  915. Writer.AddDeclRef(D->getNamespace(), Record);
  916. Code = serialization::DECL_NAMESPACE_ALIAS;
  917. }
  918. void ASTDeclWriter::VisitUsingDecl(UsingDecl *D) {
  919. VisitNamedDecl(D);
  920. Writer.AddSourceLocation(D->getUsingLoc(), Record);
  921. Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
  922. Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
  923. Writer.AddDeclRef(D->FirstUsingShadow.getPointer(), Record);
  924. Record.push_back(D->hasTypename());
  925. Writer.AddDeclRef(Context.getInstantiatedFromUsingDecl(D), Record);
  926. Code = serialization::DECL_USING;
  927. }
  928. void ASTDeclWriter::VisitUsingShadowDecl(UsingShadowDecl *D) {
  929. VisitRedeclarable(D);
  930. VisitNamedDecl(D);
  931. Writer.AddDeclRef(D->getTargetDecl(), Record);
  932. Writer.AddDeclRef(D->UsingOrNextShadow, Record);
  933. Writer.AddDeclRef(Context.getInstantiatedFromUsingShadowDecl(D), Record);
  934. Code = serialization::DECL_USING_SHADOW;
  935. }
  936. void ASTDeclWriter::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
  937. VisitNamedDecl(D);
  938. Writer.AddSourceLocation(D->getUsingLoc(), Record);
  939. Writer.AddSourceLocation(D->getNamespaceKeyLocation(), Record);
  940. Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
  941. Writer.AddDeclRef(D->getNominatedNamespace(), Record);
  942. Writer.AddDeclRef(dyn_cast<Decl>(D->getCommonAncestor()), Record);
  943. Code = serialization::DECL_USING_DIRECTIVE;
  944. }
  945. void ASTDeclWriter::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
  946. VisitValueDecl(D);
  947. Writer.AddSourceLocation(D->getUsingLoc(), Record);
  948. Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
  949. Writer.AddDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record);
  950. Code = serialization::DECL_UNRESOLVED_USING_VALUE;
  951. }
  952. void ASTDeclWriter::VisitUnresolvedUsingTypenameDecl(
  953. UnresolvedUsingTypenameDecl *D) {
  954. VisitTypeDecl(D);
  955. Writer.AddSourceLocation(D->getTypenameLoc(), Record);
  956. Writer.AddNestedNameSpecifierLoc(D->getQualifierLoc(), Record);
  957. Code = serialization::DECL_UNRESOLVED_USING_TYPENAME;
  958. }
  959. void ASTDeclWriter::VisitCXXRecordDecl(CXXRecordDecl *D) {
  960. VisitRecordDecl(D);
  961. enum {
  962. CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
  963. };
  964. if (ClassTemplateDecl *TemplD = D->getDescribedClassTemplate()) {
  965. Record.push_back(CXXRecTemplate);
  966. Writer.AddDeclRef(TemplD, Record);
  967. } else if (MemberSpecializationInfo *MSInfo
  968. = D->getMemberSpecializationInfo()) {
  969. Record.push_back(CXXRecMemberSpecialization);
  970. Writer.AddDeclRef(MSInfo->getInstantiatedFrom(), Record);
  971. Record.push_back(MSInfo->getTemplateSpecializationKind());
  972. Writer.AddSourceLocation(MSInfo->getPointOfInstantiation(), Record);
  973. } else {
  974. Record.push_back(CXXRecNotTemplate);
  975. }
  976. Record.push_back(D->isThisDeclarationADefinition());
  977. if (D->isThisDeclarationADefinition())
  978. Writer.AddCXXDefinitionData(D, Record);
  979. // Store (what we currently believe to be) the key function to avoid
  980. // deserializing every method so we can compute it.
  981. if (D->IsCompleteDefinition)
  982. Writer.AddDeclRef(Context.getCurrentKeyFunction(D), Record);
  983. Code = serialization::DECL_CXX_RECORD;
  984. }
  985. void ASTDeclWriter::VisitCXXMethodDecl(CXXMethodDecl *D) {
  986. VisitFunctionDecl(D);
  987. if (D->isCanonicalDecl()) {
  988. Record.push_back(D->size_overridden_methods());
  989. for (CXXMethodDecl::method_iterator
  990. I = D->begin_overridden_methods(), E = D->end_overridden_methods();
  991. I != E; ++I)
  992. Writer.AddDeclRef(*I, Record);
  993. } else {
  994. // We only need to record overridden methods once for the canonical decl.
  995. Record.push_back(0);
  996. }
  997. if (D->getFirstDecl() == D->getMostRecentDecl() &&
  998. !D->isInvalidDecl() &&
  999. !D->hasAttrs() &&
  1000. !D->isTopLevelDeclInObjCContainer() &&
  1001. D->getDeclName().getNameKind() == DeclarationName::Identifier &&
  1002. !D->hasExtInfo() &&
  1003. !D->hasInheritedPrototype() &&
  1004. D->hasWrittenPrototype())
  1005. AbbrevToUse = Writer.getDeclCXXMethodAbbrev();
  1006. Code = serialization::DECL_CXX_METHOD;
  1007. }
  1008. void ASTDeclWriter::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
  1009. VisitCXXMethodDecl(D);
  1010. Writer.AddDeclRef(D->getInheritedConstructor(), Record);
  1011. Record.push_back(D->IsExplicitSpecified);
  1012. Code = serialization::DECL_CXX_CONSTRUCTOR;
  1013. }
  1014. void ASTDeclWriter::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
  1015. VisitCXXMethodDecl(D);
  1016. Writer.AddDeclRef(D->getOperatorDelete(), Record);
  1017. Code = serialization::DECL_CXX_DESTRUCTOR;
  1018. }
  1019. void ASTDeclWriter::VisitCXXConversionDecl(CXXConversionDecl *D) {
  1020. VisitCXXMethodDecl(D);
  1021. Record.push_back(D->IsExplicitSpecified);
  1022. Code = serialization::DECL_CXX_CONVERSION;
  1023. }
  1024. void ASTDeclWriter::VisitImportDecl(ImportDecl *D) {
  1025. VisitDecl(D);
  1026. Record.push_back(Writer.getSubmoduleID(D->getImportedModule()));
  1027. ArrayRef<SourceLocation> IdentifierLocs = D->getIdentifierLocs();
  1028. Record.push_back(!IdentifierLocs.empty());
  1029. if (IdentifierLocs.empty()) {
  1030. Writer.AddSourceLocation(D->getLocEnd(), Record);
  1031. Record.push_back(1);
  1032. } else {
  1033. for (unsigned I = 0, N = IdentifierLocs.size(); I != N; ++I)
  1034. Writer.AddSourceLocation(IdentifierLocs[I], Record);
  1035. Record.push_back(IdentifierLocs.size());
  1036. }
  1037. // Note: the number of source locations must always be the last element in
  1038. // the record.
  1039. Code = serialization::DECL_IMPORT;
  1040. }
  1041. void ASTDeclWriter::VisitAccessSpecDecl(AccessSpecDecl *D) {
  1042. VisitDecl(D);
  1043. Writer.AddSourceLocation(D->getColonLoc(), Record);
  1044. Code = serialization::DECL_ACCESS_SPEC;
  1045. }
  1046. void ASTDeclWriter::VisitFriendDecl(FriendDecl *D) {
  1047. // Record the number of friend type template parameter lists here
  1048. // so as to simplify memory allocation during deserialization.
  1049. Record.push_back(D->NumTPLists);
  1050. VisitDecl(D);
  1051. bool hasFriendDecl = D->Friend.is<NamedDecl*>();
  1052. Record.push_back(hasFriendDecl);
  1053. if (hasFriendDecl)
  1054. Writer.AddDeclRef(D->getFriendDecl(), Record);
  1055. else
  1056. Writer.AddTypeSourceInfo(D->getFriendType(), Record);
  1057. for (unsigned i = 0; i < D->NumTPLists; ++i)
  1058. Writer.AddTemplateParameterList(D->getFriendTypeTemplateParameterList(i),
  1059. Record);
  1060. Writer.AddDeclRef(D->getNextFriend(), Record);
  1061. Record.push_back(D->UnsupportedFriend);
  1062. Writer.AddSourceLocation(D->FriendLoc, Record);
  1063. Code = serialization::DECL_FRIEND;
  1064. }
  1065. void ASTDeclWriter::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
  1066. VisitDecl(D);
  1067. Record.push_back(D->getNumTemplateParameters());
  1068. for (unsigned i = 0, e = D->getNumTemplateParameters(); i != e; ++i)
  1069. Writer.AddTemplateParameterList(D->getTemplateParameterList(i), Record);
  1070. Record.push_back(D->getFriendDecl() != nullptr);
  1071. if (D->getFriendDecl())
  1072. Writer.AddDeclRef(D->getFriendDecl(), Record);
  1073. else
  1074. Writer.AddTypeSourceInfo(D->getFriendType(), Record);
  1075. Writer.AddSourceLocation(D->getFriendLoc(), Record);
  1076. Code = serialization::DECL_FRIEND_TEMPLATE;
  1077. }
  1078. void ASTDeclWriter::VisitTemplateDecl(TemplateDecl *D) {
  1079. VisitNamedDecl(D);
  1080. Writer.AddDeclRef(D->getTemplatedDecl(), Record);
  1081. Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
  1082. }
  1083. void ASTDeclWriter::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
  1084. VisitRedeclarable(D);
  1085. // Emit data to initialize CommonOrPrev before VisitTemplateDecl so that
  1086. // getCommonPtr() can be used while this is still initializing.
  1087. if (D->isFirstDecl()) {
  1088. // This declaration owns the 'common' pointer, so serialize that data now.
  1089. Writer.AddDeclRef(D->getInstantiatedFromMemberTemplate(), Record);
  1090. if (D->getInstantiatedFromMemberTemplate())
  1091. Record.push_back(D->isMemberSpecialization());
  1092. }
  1093. VisitTemplateDecl(D);
  1094. Record.push_back(D->getIdentifierNamespace());
  1095. }
  1096. void ASTDeclWriter::VisitClassTemplateDecl(ClassTemplateDecl *D) {
  1097. VisitRedeclarableTemplateDecl(D);
  1098. if (D->isFirstDecl())
  1099. AddTemplateSpecializations(D);
  1100. Code = serialization::DECL_CLASS_TEMPLATE;
  1101. }
  1102. void ASTDeclWriter::VisitClassTemplateSpecializationDecl(
  1103. ClassTemplateSpecializationDecl *D) {
  1104. VisitCXXRecordDecl(D);
  1105. llvm::PointerUnion<ClassTemplateDecl *,
  1106. ClassTemplatePartialSpecializationDecl *> InstFrom
  1107. = D->getSpecializedTemplateOrPartial();
  1108. if (Decl *InstFromD = InstFrom.dyn_cast<ClassTemplateDecl *>()) {
  1109. Writer.AddDeclRef(InstFromD, Record);
  1110. } else {
  1111. Writer.AddDeclRef(InstFrom.get<ClassTemplatePartialSpecializationDecl *>(),
  1112. Record);
  1113. Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
  1114. }
  1115. Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
  1116. Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
  1117. Record.push_back(D->getSpecializationKind());
  1118. Record.push_back(D->isCanonicalDecl());
  1119. if (D->isCanonicalDecl()) {
  1120. // When reading, we'll add it to the folding set of the following template.
  1121. Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
  1122. }
  1123. // Explicit info.
  1124. Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
  1125. if (D->getTypeAsWritten()) {
  1126. Writer.AddSourceLocation(D->getExternLoc(), Record);
  1127. Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
  1128. }
  1129. Code = serialization::DECL_CLASS_TEMPLATE_SPECIALIZATION;
  1130. }
  1131. void ASTDeclWriter::VisitClassTemplatePartialSpecializationDecl(
  1132. ClassTemplatePartialSpecializationDecl *D) {
  1133. VisitClassTemplateSpecializationDecl(D);
  1134. Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
  1135. Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
  1136. // These are read/set from/to the first declaration.
  1137. if (D->getPreviousDecl() == nullptr) {
  1138. Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
  1139. Record.push_back(D->isMemberSpecialization());
  1140. }
  1141. Code = serialization::DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION;
  1142. }
  1143. void ASTDeclWriter::VisitVarTemplateDecl(VarTemplateDecl *D) {
  1144. VisitRedeclarableTemplateDecl(D);
  1145. if (D->isFirstDecl())
  1146. AddTemplateSpecializations(D);
  1147. Code = serialization::DECL_VAR_TEMPLATE;
  1148. }
  1149. void ASTDeclWriter::VisitVarTemplateSpecializationDecl(
  1150. VarTemplateSpecializationDecl *D) {
  1151. VisitVarDecl(D);
  1152. llvm::PointerUnion<VarTemplateDecl *, VarTemplatePartialSpecializationDecl *>
  1153. InstFrom = D->getSpecializedTemplateOrPartial();
  1154. if (Decl *InstFromD = InstFrom.dyn_cast<VarTemplateDecl *>()) {
  1155. Writer.AddDeclRef(InstFromD, Record);
  1156. } else {
  1157. Writer.AddDeclRef(InstFrom.get<VarTemplatePartialSpecializationDecl *>(),
  1158. Record);
  1159. Writer.AddTemplateArgumentList(&D->getTemplateInstantiationArgs(), Record);
  1160. }
  1161. // Explicit info.
  1162. Writer.AddTypeSourceInfo(D->getTypeAsWritten(), Record);
  1163. if (D->getTypeAsWritten()) {
  1164. Writer.AddSourceLocation(D->getExternLoc(), Record);
  1165. Writer.AddSourceLocation(D->getTemplateKeywordLoc(), Record);
  1166. }
  1167. Writer.AddTemplateArgumentList(&D->getTemplateArgs(), Record);
  1168. Writer.AddSourceLocation(D->getPointOfInstantiation(), Record);
  1169. Record.push_back(D->getSpecializationKind());
  1170. Record.push_back(D->isCanonicalDecl());
  1171. if (D->isCanonicalDecl()) {
  1172. // When reading, we'll add it to the folding set of the following template.
  1173. Writer.AddDeclRef(D->getSpecializedTemplate()->getCanonicalDecl(), Record);
  1174. }
  1175. Code = serialization::DECL_VAR_TEMPLATE_SPECIALIZATION;
  1176. }
  1177. void ASTDeclWriter::VisitVarTemplatePartialSpecializationDecl(
  1178. VarTemplatePartialSpecializationDecl *D) {
  1179. VisitVarTemplateSpecializationDecl(D);
  1180. Writer.AddTemplateParameterList(D->getTemplateParameters(), Record);
  1181. Writer.AddASTTemplateArgumentListInfo(D->getTemplateArgsAsWritten(), Record);
  1182. // These are read/set from/to the first declaration.
  1183. if (D->getPreviousDecl() == nullptr) {
  1184. Writer.AddDeclRef(D->getInstantiatedFromMember(), Record);
  1185. Record.push_back(D->isMemberSpecialization());
  1186. }
  1187. Code = serialization::DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION;
  1188. }
  1189. void ASTDeclWriter::VisitClassScopeFunctionSpecializationDecl(
  1190. ClassScopeFunctionSpecializationDecl *D) {
  1191. VisitDecl(D);
  1192. Writer.AddDeclRef(D->getSpecialization(), Record);
  1193. Code = serialization::DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION;
  1194. }
  1195. void ASTDeclWriter::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
  1196. VisitRedeclarableTemplateDecl(D);
  1197. if (D->isFirstDecl())
  1198. AddTemplateSpecializations(D);
  1199. Code = serialization::DECL_FUNCTION_TEMPLATE;
  1200. }
  1201. void ASTDeclWriter::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
  1202. VisitTypeDecl(D);
  1203. Record.push_back(D->wasDeclaredWithTypename());
  1204. bool OwnsDefaultArg = D->hasDefaultArgument() &&
  1205. !D->defaultArgumentWasInherited();
  1206. Record.push_back(OwnsDefaultArg);
  1207. if (OwnsDefaultArg)
  1208. Writer.AddTypeSourceInfo(D->getDefaultArgumentInfo(), Record);
  1209. Code = serialization::DECL_TEMPLATE_TYPE_PARM;
  1210. }
  1211. void ASTDeclWriter::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
  1212. // For an expanded parameter pack, record the number of expansion types here
  1213. // so that it's easier for deserialization to allocate the right amount of
  1214. // memory.
  1215. if (D->isExpandedParameterPack())
  1216. Record.push_back(D->getNumExpansionTypes());
  1217. VisitDeclaratorDecl(D);
  1218. // TemplateParmPosition.
  1219. Record.push_back(D->getDepth());
  1220. Record.push_back(D->getPosition());
  1221. if (D->isExpandedParameterPack()) {
  1222. for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
  1223. Writer.AddTypeRef(D->getExpansionType(I), Record);
  1224. Writer.AddTypeSourceInfo(D->getExpansionTypeSourceInfo(I), Record);
  1225. }
  1226. Code = serialization::DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK;
  1227. } else {
  1228. // Rest of NonTypeTemplateParmDecl.
  1229. Record.push_back(D->isParameterPack());
  1230. bool OwnsDefaultArg = D->hasDefaultArgument() &&
  1231. !D->defaultArgumentWasInherited();
  1232. Record.push_back(OwnsDefaultArg);
  1233. if (OwnsDefaultArg)
  1234. Writer.AddStmt(D->getDefaultArgument());
  1235. Code = serialization::DECL_NON_TYPE_TEMPLATE_PARM;
  1236. }
  1237. }
  1238. void ASTDeclWriter::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
  1239. // For an expanded parameter pack, record the number of expansion types here
  1240. // so that it's easier for deserialization to allocate the right amount of
  1241. // memory.
  1242. if (D->isExpandedParameterPack())
  1243. Record.push_back(D->getNumExpansionTemplateParameters());
  1244. VisitTemplateDecl(D);
  1245. // TemplateParmPosition.
  1246. Record.push_back(D->getDepth());
  1247. Record.push_back(D->getPosition());
  1248. if (D->isExpandedParameterPack()) {
  1249. for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
  1250. I != N; ++I)
  1251. Writer.AddTemplateParameterList(D->getExpansionTemplateParameters(I),
  1252. Record);
  1253. Code = serialization::DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK;
  1254. } else {
  1255. // Rest of TemplateTemplateParmDecl.
  1256. Record.push_back(D->isParameterPack());
  1257. bool OwnsDefaultArg = D->hasDefaultArgument() &&
  1258. !D->defaultArgumentWasInherited();
  1259. Record.push_back(OwnsDefaultArg);
  1260. if (OwnsDefaultArg)
  1261. Writer.AddTemplateArgumentLoc(D->getDefaultArgument(), Record);
  1262. Code = serialization::DECL_TEMPLATE_TEMPLATE_PARM;
  1263. }
  1264. }
  1265. void ASTDeclWriter::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
  1266. VisitRedeclarableTemplateDecl(D);
  1267. Code = serialization::DECL_TYPE_ALIAS_TEMPLATE;
  1268. }
  1269. void ASTDeclWriter::VisitStaticAssertDecl(StaticAssertDecl *D) {
  1270. VisitDecl(D);
  1271. Writer.AddStmt(D->getAssertExpr());
  1272. Record.push_back(D->isFailed());
  1273. Writer.AddStmt(D->getMessage());
  1274. Writer.AddSourceLocation(D->getRParenLoc(), Record);
  1275. Code = serialization::DECL_STATIC_ASSERT;
  1276. }
  1277. /// \brief Emit the DeclContext part of a declaration context decl.
  1278. ///
  1279. /// \param LexicalOffset the offset at which the DECL_CONTEXT_LEXICAL
  1280. /// block for this declaration context is stored. May be 0 to indicate
  1281. /// that there are no declarations stored within this context.
  1282. ///
  1283. /// \param VisibleOffset the offset at which the DECL_CONTEXT_VISIBLE
  1284. /// block for this declaration context is stored. May be 0 to indicate
  1285. /// that there are no declarations visible from this context. Note
  1286. /// that this value will not be emitted for non-primary declaration
  1287. /// contexts.
  1288. void ASTDeclWriter::VisitDeclContext(DeclContext *DC, uint64_t LexicalOffset,
  1289. uint64_t VisibleOffset) {
  1290. Record.push_back(LexicalOffset);
  1291. Record.push_back(VisibleOffset);
  1292. }
  1293. /// Determine whether D is the first declaration in its redeclaration chain that
  1294. /// is not from an AST file.
  1295. template <typename T>
  1296. static bool isFirstLocalDecl(Redeclarable<T> *D) {
  1297. assert(D && !static_cast<T*>(D)->isFromASTFile());
  1298. do
  1299. D = D->getPreviousDecl();
  1300. while (D && static_cast<T*>(D)->isFromASTFile());
  1301. return !D;
  1302. }
  1303. template <typename T>
  1304. void ASTDeclWriter::VisitRedeclarable(Redeclarable<T> *D) {
  1305. T *First = D->getFirstDecl();
  1306. T *MostRecent = First->getMostRecentDecl();
  1307. if (MostRecent != First) {
  1308. assert(isRedeclarableDeclKind(static_cast<T *>(D)->getKind()) &&
  1309. "Not considered redeclarable?");
  1310. Writer.AddDeclRef(First, Record);
  1311. // In a modules build, emit a list of all imported key declarations
  1312. // (excluding First, if it was imported), so that we can be sure that all
  1313. // redeclarations visible to this module are before D in the redecl chain.
  1314. unsigned I = Record.size();
  1315. Record.push_back(0);
  1316. if (Context.getLangOpts().Modules && Writer.Chain) {
  1317. if (isFirstLocalDecl(D)) {
  1318. Writer.Chain->forEachImportedKeyDecl(First, [&](const Decl *D) {
  1319. if (D != First)
  1320. Writer.AddDeclRef(D, Record);
  1321. });
  1322. Record[I] = Record.size() - I - 1;
  1323. // Write a redeclaration chain, attached to the first key decl.
  1324. Writer.Redeclarations.push_back(Writer.Chain->getKeyDeclaration(First));
  1325. }
  1326. } else if (D == First || D->getPreviousDecl()->isFromASTFile()) {
  1327. assert(isFirstLocalDecl(D) && "imported decl after local decl");
  1328. // Write a redeclaration chain attached to the first decl.
  1329. Writer.Redeclarations.push_back(First);
  1330. }
  1331. // Make sure that we serialize both the previous and the most-recent
  1332. // declarations, which (transitively) ensures that all declarations in the
  1333. // chain get serialized.
  1334. //
  1335. // FIXME: This is not correct; when we reach an imported declaration we
  1336. // won't emit its previous declaration.
  1337. (void)Writer.GetDeclRef(D->getPreviousDecl());
  1338. (void)Writer.GetDeclRef(MostRecent);
  1339. } else {
  1340. // We use the sentinel value 0 to indicate an only declaration.
  1341. Record.push_back(0);
  1342. }
  1343. }
  1344. void ASTDeclWriter::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
  1345. Record.push_back(D->varlist_size());
  1346. VisitDecl(D);
  1347. for (auto *I : D->varlists())
  1348. Writer.AddStmt(I);
  1349. Code = serialization::DECL_OMP_THREADPRIVATE;
  1350. }
  1351. //===----------------------------------------------------------------------===//
  1352. // ASTWriter Implementation
  1353. //===----------------------------------------------------------------------===//
  1354. void ASTWriter::WriteDeclAbbrevs() {
  1355. using namespace llvm;
  1356. BitCodeAbbrev *Abv;
  1357. // Abbreviation for DECL_FIELD
  1358. Abv = new BitCodeAbbrev();
  1359. Abv->Add(BitCodeAbbrevOp(serialization::DECL_FIELD));
  1360. // Decl
  1361. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1362. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1363. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1364. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1365. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1366. Abv->Add(BitCodeAbbrevOp(0)); // isUsed
  1367. Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
  1368. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1369. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
  1370. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1371. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1372. // NamedDecl
  1373. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1374. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1375. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1376. // ValueDecl
  1377. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1378. // DeclaratorDecl
  1379. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
  1380. Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
  1381. // FieldDecl
  1382. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
  1383. Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
  1384. // Type Source Info
  1385. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
  1386. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
  1387. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
  1388. DeclFieldAbbrev = Stream.EmitAbbrev(Abv);
  1389. // Abbreviation for DECL_OBJC_IVAR
  1390. Abv = new BitCodeAbbrev();
  1391. Abv->Add(BitCodeAbbrevOp(serialization::DECL_OBJC_IVAR));
  1392. // Decl
  1393. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1394. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1395. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1396. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1397. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1398. Abv->Add(BitCodeAbbrevOp(0)); // isUsed
  1399. Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
  1400. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1401. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // AccessSpecifier
  1402. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1403. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1404. // NamedDecl
  1405. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1406. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1407. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1408. // ValueDecl
  1409. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1410. // DeclaratorDecl
  1411. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
  1412. Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
  1413. // FieldDecl
  1414. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isMutable
  1415. Abv->Add(BitCodeAbbrevOp(0)); //getBitWidth
  1416. // ObjC Ivar
  1417. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getAccessControl
  1418. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getSynthesize
  1419. // Type Source Info
  1420. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
  1421. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
  1422. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
  1423. DeclObjCIvarAbbrev = Stream.EmitAbbrev(Abv);
  1424. // Abbreviation for DECL_ENUM
  1425. Abv = new BitCodeAbbrev();
  1426. Abv->Add(BitCodeAbbrevOp(serialization::DECL_ENUM));
  1427. // Redeclarable
  1428. Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
  1429. // Decl
  1430. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1431. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1432. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1433. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1434. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1435. Abv->Add(BitCodeAbbrevOp(0)); // isUsed
  1436. Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
  1437. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1438. Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
  1439. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1440. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1441. // NamedDecl
  1442. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1443. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1444. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1445. // TypeDecl
  1446. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
  1447. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
  1448. // TagDecl
  1449. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
  1450. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
  1451. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
  1452. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
  1453. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
  1454. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
  1455. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
  1456. Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
  1457. // EnumDecl
  1458. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // AddTypeRef
  1459. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IntegerType
  1460. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getPromotionType
  1461. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumPositiveBits
  1462. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getNumNegativeBits
  1463. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScoped
  1464. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isScopedUsingClassTag
  1465. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isFixed
  1466. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InstantiatedMembEnum
  1467. // DC
  1468. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
  1469. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
  1470. DeclEnumAbbrev = Stream.EmitAbbrev(Abv);
  1471. // Abbreviation for DECL_RECORD
  1472. Abv = new BitCodeAbbrev();
  1473. Abv->Add(BitCodeAbbrevOp(serialization::DECL_RECORD));
  1474. // Redeclarable
  1475. Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
  1476. // Decl
  1477. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1478. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1479. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1480. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1481. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1482. Abv->Add(BitCodeAbbrevOp(0)); // isUsed
  1483. Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
  1484. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1485. Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
  1486. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1487. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1488. // NamedDecl
  1489. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1490. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1491. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1492. // TypeDecl
  1493. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
  1494. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
  1495. // TagDecl
  1496. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // IdentifierNamespace
  1497. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getTagKind
  1498. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCompleteDefinition
  1499. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // EmbeddedInDeclarator
  1500. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsFreeStanding
  1501. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsCompleteDefinitionRequired
  1502. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SourceLocation
  1503. Abv->Add(BitCodeAbbrevOp(0)); // ExtInfoKind
  1504. // RecordDecl
  1505. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // FlexibleArrayMember
  1506. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // AnonymousStructUnion
  1507. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasObjectMember
  1508. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // hasVolatileMember
  1509. // DC
  1510. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalOffset
  1511. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // VisibleOffset
  1512. DeclRecordAbbrev = Stream.EmitAbbrev(Abv);
  1513. // Abbreviation for DECL_PARM_VAR
  1514. Abv = new BitCodeAbbrev();
  1515. Abv->Add(BitCodeAbbrevOp(serialization::DECL_PARM_VAR));
  1516. // Redeclarable
  1517. Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
  1518. // Decl
  1519. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1520. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1521. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1522. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1523. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1524. Abv->Add(BitCodeAbbrevOp(0)); // isUsed
  1525. Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
  1526. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1527. Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
  1528. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1529. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1530. // NamedDecl
  1531. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1532. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1533. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1534. // ValueDecl
  1535. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1536. // DeclaratorDecl
  1537. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
  1538. Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
  1539. // VarDecl
  1540. Abv->Add(BitCodeAbbrevOp(0)); // StorageClass
  1541. Abv->Add(BitCodeAbbrevOp(0)); // getTSCSpec
  1542. Abv->Add(BitCodeAbbrevOp(0)); // hasCXXDirectInitializer
  1543. Abv->Add(BitCodeAbbrevOp(0)); // Linkage
  1544. Abv->Add(BitCodeAbbrevOp(0)); // HasInit
  1545. Abv->Add(BitCodeAbbrevOp(0)); // HasMemberSpecializationInfo
  1546. // ParmVarDecl
  1547. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // IsObjCMethodParameter
  1548. Abv->Add(BitCodeAbbrevOp(0)); // ScopeDepth
  1549. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // ScopeIndex
  1550. Abv->Add(BitCodeAbbrevOp(0)); // ObjCDeclQualifier
  1551. Abv->Add(BitCodeAbbrevOp(0)); // KNRPromoted
  1552. Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedDefaultArg
  1553. Abv->Add(BitCodeAbbrevOp(0)); // HasUninstantiatedDefaultArg
  1554. // Type Source Info
  1555. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
  1556. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
  1557. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
  1558. DeclParmVarAbbrev = Stream.EmitAbbrev(Abv);
  1559. // Abbreviation for DECL_TYPEDEF
  1560. Abv = new BitCodeAbbrev();
  1561. Abv->Add(BitCodeAbbrevOp(serialization::DECL_TYPEDEF));
  1562. // Redeclarable
  1563. Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
  1564. // Decl
  1565. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1566. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1567. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1568. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1569. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1570. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isUsed
  1571. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isReferenced
  1572. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1573. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // C++ AccessSpecifier
  1574. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1575. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1576. // NamedDecl
  1577. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1578. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1579. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1580. // TypeDecl
  1581. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Source Location
  1582. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type Ref
  1583. // TypedefDecl
  1584. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
  1585. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
  1586. DeclTypedefAbbrev = Stream.EmitAbbrev(Abv);
  1587. // Abbreviation for DECL_VAR
  1588. Abv = new BitCodeAbbrev();
  1589. Abv->Add(BitCodeAbbrevOp(serialization::DECL_VAR));
  1590. // Redeclarable
  1591. Abv->Add(BitCodeAbbrevOp(0)); // No redeclaration
  1592. // Decl
  1593. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1594. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1595. Abv->Add(BitCodeAbbrevOp(0)); // isInvalidDecl
  1596. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1597. Abv->Add(BitCodeAbbrevOp(0)); // isImplicit
  1598. Abv->Add(BitCodeAbbrevOp(0)); // isUsed
  1599. Abv->Add(BitCodeAbbrevOp(0)); // isReferenced
  1600. Abv->Add(BitCodeAbbrevOp(0)); // TopLevelDeclInObjCContainer
  1601. Abv->Add(BitCodeAbbrevOp(AS_none)); // C++ AccessSpecifier
  1602. Abv->Add(BitCodeAbbrevOp(0)); // ModulePrivate
  1603. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1604. // NamedDecl
  1605. Abv->Add(BitCodeAbbrevOp(0)); // NameKind = Identifier
  1606. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Name
  1607. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1608. // ValueDecl
  1609. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1610. // DeclaratorDecl
  1611. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerStartLoc
  1612. Abv->Add(BitCodeAbbrevOp(0)); // hasExtInfo
  1613. // VarDecl
  1614. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // StorageClass
  1615. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getTSCSpec
  1616. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // CXXDirectInitializer
  1617. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isExceptionVariable
  1618. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isNRVOVariable
  1619. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isCXXForRangeDecl
  1620. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // isARCPseudoStrong
  1621. Abv->Add(BitCodeAbbrevOp(0)); // isConstexpr
  1622. Abv->Add(BitCodeAbbrevOp(0)); // isInitCapture
  1623. Abv->Add(BitCodeAbbrevOp(0)); // isPrevDeclInSameScope
  1624. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
  1625. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasInit
  1626. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // HasMemberSpecInfo
  1627. // Type Source Info
  1628. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
  1629. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
  1630. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // TypeLoc
  1631. DeclVarAbbrev = Stream.EmitAbbrev(Abv);
  1632. // Abbreviation for DECL_CXX_METHOD
  1633. Abv = new BitCodeAbbrev();
  1634. Abv->Add(BitCodeAbbrevOp(serialization::DECL_CXX_METHOD));
  1635. // RedeclarableDecl
  1636. Abv->Add(BitCodeAbbrevOp(0)); // CanonicalDecl
  1637. // Decl
  1638. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclContext
  1639. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LexicalDeclContext
  1640. Abv->Add(BitCodeAbbrevOp(0)); // Invalid
  1641. Abv->Add(BitCodeAbbrevOp(0)); // HasAttrs
  1642. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Implicit
  1643. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Used
  1644. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Referenced
  1645. Abv->Add(BitCodeAbbrevOp(0)); // InObjCContainer
  1646. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // Access
  1647. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ModulePrivate
  1648. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // SubmoduleID
  1649. // NamedDecl
  1650. Abv->Add(BitCodeAbbrevOp(DeclarationName::Identifier)); // NameKind
  1651. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Identifier
  1652. Abv->Add(BitCodeAbbrevOp(0)); // AnonDeclNumber
  1653. // ValueDecl
  1654. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1655. // DeclaratorDecl
  1656. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // InnerLocStart
  1657. Abv->Add(BitCodeAbbrevOp(0)); // HasExtInfo
  1658. // FunctionDecl
  1659. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 11)); // IDNS
  1660. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // StorageClass
  1661. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Inline
  1662. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // InlineSpecified
  1663. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // VirtualAsWritten
  1664. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Pure
  1665. Abv->Add(BitCodeAbbrevOp(0)); // HasInheritedProto
  1666. Abv->Add(BitCodeAbbrevOp(1)); // HasWrittenProto
  1667. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Deleted
  1668. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Trivial
  1669. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Defaulted
  1670. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ExplicitlyDefaulted
  1671. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // ImplicitReturnZero
  1672. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // Constexpr
  1673. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // SkippedBody
  1674. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); // LateParsed
  1675. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // Linkage
  1676. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // LocEnd
  1677. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); // TemplateKind
  1678. // This Array slurps the rest of the record. Fortunately we want to encode
  1679. // (nearly) all the remaining (variable number of) fields in the same way.
  1680. //
  1681. // This is the function template information if any, then
  1682. // NumParams and Params[] from FunctionDecl, and
  1683. // NumOverriddenMethods, OverriddenMethods[] from CXXMethodDecl.
  1684. //
  1685. // Add an AbbrevOp for 'size then elements' and use it here.
  1686. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
  1687. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6));
  1688. DeclCXXMethodAbbrev = Stream.EmitAbbrev(Abv);
  1689. // Abbreviation for EXPR_DECL_REF
  1690. Abv = new BitCodeAbbrev();
  1691. Abv->Add(BitCodeAbbrevOp(serialization::EXPR_DECL_REF));
  1692. //Stmt
  1693. //Expr
  1694. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1695. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
  1696. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
  1697. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
  1698. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
  1699. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
  1700. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
  1701. //DeclRefExpr
  1702. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HasQualifier
  1703. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //GetDeclFound
  1704. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ExplicitTemplateArgs
  1705. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //HadMultipleCandidates
  1706. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed,
  1707. 1)); // RefersToEnclosingVariableOrCapture
  1708. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // DeclRef
  1709. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
  1710. DeclRefExprAbbrev = Stream.EmitAbbrev(Abv);
  1711. // Abbreviation for EXPR_INTEGER_LITERAL
  1712. Abv = new BitCodeAbbrev();
  1713. Abv->Add(BitCodeAbbrevOp(serialization::EXPR_INTEGER_LITERAL));
  1714. //Stmt
  1715. //Expr
  1716. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1717. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
  1718. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
  1719. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
  1720. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
  1721. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
  1722. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
  1723. //Integer Literal
  1724. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
  1725. Abv->Add(BitCodeAbbrevOp(32)); // Bit Width
  1726. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Value
  1727. IntegerLiteralAbbrev = Stream.EmitAbbrev(Abv);
  1728. // Abbreviation for EXPR_CHARACTER_LITERAL
  1729. Abv = new BitCodeAbbrev();
  1730. Abv->Add(BitCodeAbbrevOp(serialization::EXPR_CHARACTER_LITERAL));
  1731. //Stmt
  1732. //Expr
  1733. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1734. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
  1735. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
  1736. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
  1737. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
  1738. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
  1739. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
  1740. //Character Literal
  1741. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // getValue
  1742. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Location
  1743. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 2)); // getKind
  1744. CharacterLiteralAbbrev = Stream.EmitAbbrev(Abv);
  1745. // Abbreviation for EXPR_IMPLICIT_CAST
  1746. Abv = new BitCodeAbbrev();
  1747. Abv->Add(BitCodeAbbrevOp(serialization::EXPR_IMPLICIT_CAST));
  1748. // Stmt
  1749. // Expr
  1750. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::VBR, 6)); // Type
  1751. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //TypeDependent
  1752. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //ValueDependent
  1753. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //InstantiationDependent
  1754. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 1)); //UnexpandedParamPack
  1755. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetValueKind
  1756. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 3)); //GetObjectKind
  1757. // CastExpr
  1758. Abv->Add(BitCodeAbbrevOp(0)); // PathSize
  1759. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 6)); // CastKind
  1760. // ImplicitCastExpr
  1761. ExprImplicitCastAbbrev = Stream.EmitAbbrev(Abv);
  1762. Abv = new BitCodeAbbrev();
  1763. Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_LEXICAL));
  1764. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
  1765. DeclContextLexicalAbbrev = Stream.EmitAbbrev(Abv);
  1766. Abv = new BitCodeAbbrev();
  1767. Abv->Add(BitCodeAbbrevOp(serialization::DECL_CONTEXT_VISIBLE));
  1768. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 32));
  1769. Abv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Blob));
  1770. DeclContextVisibleLookupAbbrev = Stream.EmitAbbrev(Abv);
  1771. }
  1772. /// isRequiredDecl - Check if this is a "required" Decl, which must be seen by
  1773. /// consumers of the AST.
  1774. ///
  1775. /// Such decls will always be deserialized from the AST file, so we would like
  1776. /// this to be as restrictive as possible. Currently the predicate is driven by
  1777. /// code generation requirements, if other clients have a different notion of
  1778. /// what is "required" then we may have to consider an alternate scheme where
  1779. /// clients can iterate over the top-level decls and get information on them,
  1780. /// without necessary deserializing them. We could explicitly require such
  1781. /// clients to use a separate API call to "realize" the decl. This should be
  1782. /// relatively painless since they would presumably only do it for top-level
  1783. /// decls.
  1784. static bool isRequiredDecl(const Decl *D, ASTContext &Context) {
  1785. // An ObjCMethodDecl is never considered as "required" because its
  1786. // implementation container always is.
  1787. // File scoped assembly or obj-c implementation must be seen. ImportDecl is
  1788. // used by codegen to determine the set of imported modules to search for
  1789. // inputs for automatic linking.
  1790. if (isa<FileScopeAsmDecl>(D) || isa<ObjCImplDecl>(D) || isa<ImportDecl>(D))
  1791. return true;
  1792. return Context.DeclMustBeEmitted(D);
  1793. }
  1794. void ASTWriter::WriteDecl(ASTContext &Context, Decl *D) {
  1795. // Switch case IDs are per Decl.
  1796. ClearSwitchCaseIDs();
  1797. RecordData Record;
  1798. ASTDeclWriter W(*this, Context, Record);
  1799. // Determine the ID for this declaration.
  1800. serialization::DeclID ID;
  1801. if (D->isFromASTFile()) {
  1802. assert(isRewritten(D) && "should not be emitting imported decl");
  1803. ID = getDeclID(D);
  1804. } else {
  1805. serialization::DeclID &IDR = DeclIDs[D];
  1806. if (IDR == 0)
  1807. IDR = NextDeclID++;
  1808. ID= IDR;
  1809. }
  1810. bool isReplacingADecl = ID < FirstDeclID;
  1811. // If this declaration is also a DeclContext, write blocks for the
  1812. // declarations that lexically stored inside its context and those
  1813. // declarations that are visible from its context. These blocks
  1814. // are written before the declaration itself so that we can put
  1815. // their offsets into the record for the declaration.
  1816. uint64_t LexicalOffset = 0;
  1817. uint64_t VisibleOffset = 0;
  1818. DeclContext *DC = dyn_cast<DeclContext>(D);
  1819. if (DC) {
  1820. if (isReplacingADecl) {
  1821. // It is replacing a decl from a chained PCH; make sure that the
  1822. // DeclContext is fully loaded.
  1823. if (DC->hasExternalLexicalStorage())
  1824. DC->LoadLexicalDeclsFromExternalStorage();
  1825. if (DC->hasExternalVisibleStorage())
  1826. Chain->completeVisibleDeclsMap(DC);
  1827. }
  1828. LexicalOffset = WriteDeclContextLexicalBlock(Context, DC);
  1829. VisibleOffset = WriteDeclContextVisibleBlock(Context, DC);
  1830. }
  1831. if (isReplacingADecl) {
  1832. // We're replacing a decl in a previous file.
  1833. ReplacedDecls.push_back(ReplacedDeclInfo(ID, Stream.GetCurrentBitNo(),
  1834. D->getLocation()));
  1835. } else {
  1836. unsigned Index = ID - FirstDeclID;
  1837. // Record the offset for this declaration
  1838. SourceLocation Loc = D->getLocation();
  1839. if (DeclOffsets.size() == Index)
  1840. DeclOffsets.push_back(DeclOffset(Loc, Stream.GetCurrentBitNo()));
  1841. else if (DeclOffsets.size() < Index) {
  1842. DeclOffsets.resize(Index+1);
  1843. DeclOffsets[Index].setLocation(Loc);
  1844. DeclOffsets[Index].BitOffset = Stream.GetCurrentBitNo();
  1845. }
  1846. SourceManager &SM = Context.getSourceManager();
  1847. if (Loc.isValid() && SM.isLocalSourceLocation(Loc))
  1848. associateDeclWithFile(D, ID);
  1849. }
  1850. // Build and emit a record for this declaration
  1851. Record.clear();
  1852. W.Code = (serialization::DeclCode)0;
  1853. W.AbbrevToUse = 0;
  1854. W.Visit(D);
  1855. if (DC) W.VisitDeclContext(DC, LexicalOffset, VisibleOffset);
  1856. if (!W.Code)
  1857. llvm::report_fatal_error(StringRef("unexpected declaration kind '") +
  1858. D->getDeclKindName() + "'");
  1859. Stream.EmitRecord(W.Code, Record, W.AbbrevToUse);
  1860. // Flush any expressions, base specifiers, and ctor initializers that
  1861. // were written as part of this declaration.
  1862. FlushPendingAfterDecl();
  1863. // Note declarations that should be deserialized eagerly so that we can add
  1864. // them to a record in the AST file later.
  1865. if (isRequiredDecl(D, Context))
  1866. EagerlyDeserializedDecls.push_back(ID);
  1867. }
  1868. void ASTWriter::AddFunctionDefinition(const FunctionDecl *FD,
  1869. RecordData &Record) {
  1870. ClearSwitchCaseIDs();
  1871. ASTDeclWriter W(*this, FD->getASTContext(), Record);
  1872. W.AddFunctionDefinition(FD);
  1873. }