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