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