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