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