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