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