diff options
Diffstat (limited to 'gnu/llvm/tools/clang/lib/Serialization/ASTCommon.cpp')
| -rw-r--r-- | gnu/llvm/tools/clang/lib/Serialization/ASTCommon.cpp | 445 |
1 files changed, 0 insertions, 445 deletions
diff --git a/gnu/llvm/tools/clang/lib/Serialization/ASTCommon.cpp b/gnu/llvm/tools/clang/lib/Serialization/ASTCommon.cpp deleted file mode 100644 index ca826d83d47..00000000000 --- a/gnu/llvm/tools/clang/lib/Serialization/ASTCommon.cpp +++ /dev/null @@ -1,445 +0,0 @@ -//===--- ASTCommon.cpp - Common stuff for ASTReader/ASTWriter----*- C++ -*-===// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines common functions that both ASTReader and ASTWriter use. -// -//===----------------------------------------------------------------------===// - -#include "ASTCommon.h" -#include "clang/AST/DeclCXX.h" -#include "clang/AST/DeclObjC.h" -#include "clang/Basic/IdentifierTable.h" -#include "clang/Serialization/ASTDeserializationListener.h" -#include "llvm/Support/DJB.h" - -using namespace clang; - -// Give ASTDeserializationListener's VTable a home. -ASTDeserializationListener::~ASTDeserializationListener() { } - -serialization::TypeIdx -serialization::TypeIdxFromBuiltin(const BuiltinType *BT) { - unsigned ID = 0; - switch (BT->getKind()) { - case BuiltinType::Void: - ID = PREDEF_TYPE_VOID_ID; - break; - case BuiltinType::Bool: - ID = PREDEF_TYPE_BOOL_ID; - break; - case BuiltinType::Char_U: - ID = PREDEF_TYPE_CHAR_U_ID; - break; - case BuiltinType::UChar: - ID = PREDEF_TYPE_UCHAR_ID; - break; - case BuiltinType::UShort: - ID = PREDEF_TYPE_USHORT_ID; - break; - case BuiltinType::UInt: - ID = PREDEF_TYPE_UINT_ID; - break; - case BuiltinType::ULong: - ID = PREDEF_TYPE_ULONG_ID; - break; - case BuiltinType::ULongLong: - ID = PREDEF_TYPE_ULONGLONG_ID; - break; - case BuiltinType::UInt128: - ID = PREDEF_TYPE_UINT128_ID; - break; - case BuiltinType::Char_S: - ID = PREDEF_TYPE_CHAR_S_ID; - break; - case BuiltinType::SChar: - ID = PREDEF_TYPE_SCHAR_ID; - break; - case BuiltinType::WChar_S: - case BuiltinType::WChar_U: - ID = PREDEF_TYPE_WCHAR_ID; - break; - case BuiltinType::Short: - ID = PREDEF_TYPE_SHORT_ID; - break; - case BuiltinType::Int: - ID = PREDEF_TYPE_INT_ID; - break; - case BuiltinType::Long: - ID = PREDEF_TYPE_LONG_ID; - break; - case BuiltinType::LongLong: - ID = PREDEF_TYPE_LONGLONG_ID; - break; - case BuiltinType::Int128: - ID = PREDEF_TYPE_INT128_ID; - break; - case BuiltinType::Half: - ID = PREDEF_TYPE_HALF_ID; - break; - case BuiltinType::Float: - ID = PREDEF_TYPE_FLOAT_ID; - break; - case BuiltinType::Double: - ID = PREDEF_TYPE_DOUBLE_ID; - break; - case BuiltinType::LongDouble: - ID = PREDEF_TYPE_LONGDOUBLE_ID; - break; - case BuiltinType::ShortAccum: - ID = PREDEF_TYPE_SHORT_ACCUM_ID; - break; - case BuiltinType::Accum: - ID = PREDEF_TYPE_ACCUM_ID; - break; - case BuiltinType::LongAccum: - ID = PREDEF_TYPE_LONG_ACCUM_ID; - break; - case BuiltinType::UShortAccum: - ID = PREDEF_TYPE_USHORT_ACCUM_ID; - break; - case BuiltinType::UAccum: - ID = PREDEF_TYPE_UACCUM_ID; - break; - case BuiltinType::ULongAccum: - ID = PREDEF_TYPE_ULONG_ACCUM_ID; - break; - case BuiltinType::ShortFract: - ID = PREDEF_TYPE_SHORT_FRACT_ID; - break; - case BuiltinType::Fract: - ID = PREDEF_TYPE_FRACT_ID; - break; - case BuiltinType::LongFract: - ID = PREDEF_TYPE_LONG_FRACT_ID; - break; - case BuiltinType::UShortFract: - ID = PREDEF_TYPE_USHORT_FRACT_ID; - break; - case BuiltinType::UFract: - ID = PREDEF_TYPE_UFRACT_ID; - break; - case BuiltinType::ULongFract: - ID = PREDEF_TYPE_ULONG_FRACT_ID; - break; - case BuiltinType::SatShortAccum: - ID = PREDEF_TYPE_SAT_SHORT_ACCUM_ID; - break; - case BuiltinType::SatAccum: - ID = PREDEF_TYPE_SAT_ACCUM_ID; - break; - case BuiltinType::SatLongAccum: - ID = PREDEF_TYPE_SAT_LONG_ACCUM_ID; - break; - case BuiltinType::SatUShortAccum: - ID = PREDEF_TYPE_SAT_USHORT_ACCUM_ID; - break; - case BuiltinType::SatUAccum: - ID = PREDEF_TYPE_SAT_UACCUM_ID; - break; - case BuiltinType::SatULongAccum: - ID = PREDEF_TYPE_SAT_ULONG_ACCUM_ID; - break; - case BuiltinType::SatShortFract: - ID = PREDEF_TYPE_SAT_SHORT_FRACT_ID; - break; - case BuiltinType::SatFract: - ID = PREDEF_TYPE_SAT_FRACT_ID; - break; - case BuiltinType::SatLongFract: - ID = PREDEF_TYPE_SAT_LONG_FRACT_ID; - break; - case BuiltinType::SatUShortFract: - ID = PREDEF_TYPE_SAT_USHORT_FRACT_ID; - break; - case BuiltinType::SatUFract: - ID = PREDEF_TYPE_SAT_UFRACT_ID; - break; - case BuiltinType::SatULongFract: - ID = PREDEF_TYPE_SAT_ULONG_FRACT_ID; - break; - case BuiltinType::Float16: - ID = PREDEF_TYPE_FLOAT16_ID; - break; - case BuiltinType::Float128: - ID = PREDEF_TYPE_FLOAT128_ID; - break; - case BuiltinType::NullPtr: - ID = PREDEF_TYPE_NULLPTR_ID; - break; - case BuiltinType::Char8: - ID = PREDEF_TYPE_CHAR8_ID; - break; - case BuiltinType::Char16: - ID = PREDEF_TYPE_CHAR16_ID; - break; - case BuiltinType::Char32: - ID = PREDEF_TYPE_CHAR32_ID; - break; - case BuiltinType::Overload: - ID = PREDEF_TYPE_OVERLOAD_ID; - break; - case BuiltinType::BoundMember: - ID = PREDEF_TYPE_BOUND_MEMBER; - break; - case BuiltinType::PseudoObject: - ID = PREDEF_TYPE_PSEUDO_OBJECT; - break; - case BuiltinType::Dependent: - ID = PREDEF_TYPE_DEPENDENT_ID; - break; - case BuiltinType::UnknownAny: - ID = PREDEF_TYPE_UNKNOWN_ANY; - break; - case BuiltinType::ARCUnbridgedCast: - ID = PREDEF_TYPE_ARC_UNBRIDGED_CAST; - break; - case BuiltinType::ObjCId: - ID = PREDEF_TYPE_OBJC_ID; - break; - case BuiltinType::ObjCClass: - ID = PREDEF_TYPE_OBJC_CLASS; - break; - case BuiltinType::ObjCSel: - ID = PREDEF_TYPE_OBJC_SEL; - break; -#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \ - case BuiltinType::Id: \ - ID = PREDEF_TYPE_##Id##_ID; \ - break; -#include "clang/Basic/OpenCLImageTypes.def" -#define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \ - case BuiltinType::Id: \ - ID = PREDEF_TYPE_##Id##_ID; \ - break; -#include "clang/Basic/OpenCLExtensionTypes.def" - case BuiltinType::OCLSampler: - ID = PREDEF_TYPE_SAMPLER_ID; - break; - case BuiltinType::OCLEvent: - ID = PREDEF_TYPE_EVENT_ID; - break; - case BuiltinType::OCLClkEvent: - ID = PREDEF_TYPE_CLK_EVENT_ID; - break; - case BuiltinType::OCLQueue: - ID = PREDEF_TYPE_QUEUE_ID; - break; - case BuiltinType::OCLReserveID: - ID = PREDEF_TYPE_RESERVE_ID_ID; - break; - case BuiltinType::BuiltinFn: - ID = PREDEF_TYPE_BUILTIN_FN; - break; - case BuiltinType::OMPArraySection: - ID = PREDEF_TYPE_OMP_ARRAY_SECTION; - break; - } - - return TypeIdx(ID); -} - -unsigned serialization::ComputeHash(Selector Sel) { - unsigned N = Sel.getNumArgs(); - if (N == 0) - ++N; - unsigned R = 5381; - for (unsigned I = 0; I != N; ++I) - if (IdentifierInfo *II = Sel.getIdentifierInfoForSlot(I)) - R = llvm::djbHash(II->getName(), R); - return R; -} - -const DeclContext * -serialization::getDefinitiveDeclContext(const DeclContext *DC) { - switch (DC->getDeclKind()) { - // These entities may have multiple definitions. - case Decl::TranslationUnit: - case Decl::ExternCContext: - case Decl::Namespace: - case Decl::LinkageSpec: - case Decl::Export: - return nullptr; - - // C/C++ tag types can only be defined in one place. - case Decl::Enum: - case Decl::Record: - if (const TagDecl *Def = cast<TagDecl>(DC)->getDefinition()) - return Def; - return nullptr; - - // FIXME: These can be defined in one place... except special member - // functions and out-of-line definitions. - case Decl::CXXRecord: - case Decl::ClassTemplateSpecialization: - case Decl::ClassTemplatePartialSpecialization: - return nullptr; - - // Each function, method, and block declaration is its own DeclContext. - case Decl::Function: - case Decl::CXXMethod: - case Decl::CXXConstructor: - case Decl::CXXDestructor: - case Decl::CXXConversion: - case Decl::ObjCMethod: - case Decl::Block: - case Decl::Captured: - // Objective C categories, category implementations, and class - // implementations can only be defined in one place. - case Decl::ObjCCategory: - case Decl::ObjCCategoryImpl: - case Decl::ObjCImplementation: - return DC; - - case Decl::ObjCProtocol: - if (const ObjCProtocolDecl *Def - = cast<ObjCProtocolDecl>(DC)->getDefinition()) - return Def; - return nullptr; - - // FIXME: These are defined in one place, but properties in class extensions - // end up being back-patched into the main interface. See - // Sema::HandlePropertyInClassExtension for the offending code. - case Decl::ObjCInterface: - return nullptr; - - default: - llvm_unreachable("Unhandled DeclContext in AST reader"); - } - - llvm_unreachable("Unhandled decl kind"); -} - -bool serialization::isRedeclarableDeclKind(unsigned Kind) { - switch (static_cast<Decl::Kind>(Kind)) { - case Decl::TranslationUnit: - case Decl::ExternCContext: - // Special case of a "merged" declaration. - return true; - - case Decl::Namespace: - case Decl::NamespaceAlias: - case Decl::Typedef: - case Decl::TypeAlias: - case Decl::Enum: - case Decl::Record: - case Decl::CXXRecord: - case Decl::ClassTemplateSpecialization: - case Decl::ClassTemplatePartialSpecialization: - case Decl::VarTemplateSpecialization: - case Decl::VarTemplatePartialSpecialization: - case Decl::Function: - case Decl::CXXDeductionGuide: - case Decl::CXXMethod: - case Decl::CXXConstructor: - case Decl::CXXDestructor: - case Decl::CXXConversion: - case Decl::UsingShadow: - case Decl::ConstructorUsingShadow: - case Decl::Var: - case Decl::FunctionTemplate: - case Decl::ClassTemplate: - case Decl::VarTemplate: - case Decl::TypeAliasTemplate: - case Decl::ObjCProtocol: - case Decl::ObjCInterface: - case Decl::Empty: - return true; - - // Never redeclarable. - case Decl::UsingDirective: - case Decl::Label: - case Decl::UnresolvedUsingTypename: - case Decl::TemplateTypeParm: - case Decl::EnumConstant: - case Decl::UnresolvedUsingValue: - case Decl::IndirectField: - case Decl::Field: - case Decl::MSProperty: - case Decl::ObjCIvar: - case Decl::ObjCAtDefsField: - case Decl::NonTypeTemplateParm: - case Decl::TemplateTemplateParm: - case Decl::Using: - case Decl::UsingPack: - case Decl::ObjCMethod: - case Decl::ObjCCategory: - case Decl::ObjCCategoryImpl: - case Decl::ObjCImplementation: - case Decl::ObjCProperty: - case Decl::ObjCCompatibleAlias: - case Decl::LinkageSpec: - case Decl::Export: - case Decl::ObjCPropertyImpl: - case Decl::PragmaComment: - case Decl::PragmaDetectMismatch: - case Decl::FileScopeAsm: - case Decl::AccessSpec: - case Decl::Friend: - case Decl::FriendTemplate: - case Decl::StaticAssert: - case Decl::Block: - case Decl::Captured: - case Decl::ClassScopeFunctionSpecialization: - case Decl::Import: - case Decl::OMPThreadPrivate: - case Decl::OMPRequires: - case Decl::OMPCapturedExpr: - case Decl::OMPDeclareReduction: - case Decl::BuiltinTemplate: - case Decl::Decomposition: - case Decl::Binding: - return false; - - // These indirectly derive from Redeclarable<T> but are not actually - // redeclarable. - case Decl::ImplicitParam: - case Decl::ParmVar: - case Decl::ObjCTypeParam: - return false; - } - - llvm_unreachable("Unhandled declaration kind"); -} - -bool serialization::needsAnonymousDeclarationNumber(const NamedDecl *D) { - // Friend declarations in dependent contexts aren't anonymous in the usual - // sense, but they cannot be found by name lookup in their semantic context - // (or indeed in any context), so we treat them as anonymous. - // - // This doesn't apply to friend tag decls; Sema makes those available to name - // lookup in the surrounding context. - if (D->getFriendObjectKind() && - D->getLexicalDeclContext()->isDependentContext() && !isa<TagDecl>(D)) { - // For function templates and class templates, the template is numbered and - // not its pattern. - if (auto *FD = dyn_cast<FunctionDecl>(D)) - return !FD->getDescribedFunctionTemplate(); - if (auto *RD = dyn_cast<CXXRecordDecl>(D)) - return !RD->getDescribedClassTemplate(); - return true; - } - - // At block scope, we number everything that we need to deduplicate, since we - // can't just use name matching to keep things lined up. - // FIXME: This is only necessary for an inline function or a template or - // similar. - if (D->getLexicalDeclContext()->isFunctionOrMethod()) { - if (auto *VD = dyn_cast<VarDecl>(D)) - return VD->isStaticLocal(); - // FIXME: What about CapturedDecls (and declarations nested within them)? - return isa<TagDecl>(D) || isa<BlockDecl>(D); - } - - // Otherwise, we only care about anonymous class members / block-scope decls. - // FIXME: We need to handle lambdas and blocks within inline / templated - // variables too. - if (D->getDeclName() || !isa<CXXRecordDecl>(D->getLexicalDeclContext())) - return false; - return isa<TagDecl>(D) || isa<FieldDecl>(D); -} |
