Argyrios Kyrtzidis | 0eca89e | 2010-08-20 16:03:52 +0000 | [diff] [blame] | 1 | //===- ASTCommon.h - Common stuff for ASTReader/ASTWriter -*- C++ -*-=========// |
| 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 defines common functions that both ASTReader and ASTWriter use. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 14 | #ifndef LLVM_CLANG_LIB_SERIALIZATION_ASTCOMMON_H |
| 15 | #define LLVM_CLANG_LIB_SERIALIZATION_ASTCOMMON_H |
Argyrios Kyrtzidis | 0eca89e | 2010-08-20 16:03:52 +0000 | [diff] [blame] | 16 | |
Douglas Gregor | 3b8043b | 2011-08-09 15:13:55 +0000 | [diff] [blame] | 17 | #include "clang/AST/ASTContext.h" |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 18 | #include "clang/AST/DeclFriend.h" |
Chandler Carruth | 55fc873 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 19 | #include "clang/Serialization/ASTBitCodes.h" |
Argyrios Kyrtzidis | eb3f04e | 2010-08-20 16:04:20 +0000 | [diff] [blame] | 20 | |
Argyrios Kyrtzidis | 0eca89e | 2010-08-20 16:03:52 +0000 | [diff] [blame] | 21 | namespace clang { |
Argyrios Kyrtzidis | 0eca89e | 2010-08-20 16:03:52 +0000 | [diff] [blame] | 22 | |
| 23 | namespace serialization { |
| 24 | |
Argyrios Kyrtzidis | 565bf30 | 2010-10-24 17:26:50 +0000 | [diff] [blame] | 25 | enum DeclUpdateKind { |
Argyrios Kyrtzidis | bef1a7b | 2010-10-28 07:38:42 +0000 | [diff] [blame] | 26 | UPD_CXX_ADDED_IMPLICIT_MEMBER, |
Sebastian Redl | 7c0837f | 2011-04-24 16:28:13 +0000 | [diff] [blame] | 27 | UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION, |
Sebastian Redl | f79a719 | 2011-04-29 08:19:30 +0000 | [diff] [blame] | 28 | UPD_CXX_ADDED_ANONYMOUS_NAMESPACE, |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 29 | UPD_CXX_ADDED_FUNCTION_DEFINITION, |
Richard Smith | 9dadfab | 2013-05-11 05:45:24 +0000 | [diff] [blame] | 30 | UPD_CXX_INSTANTIATED_STATIC_DATA_MEMBER, |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 31 | UPD_CXX_INSTANTIATED_CLASS_DEFINITION, |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 32 | UPD_CXX_RESOLVED_DTOR_DELETE, |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 33 | UPD_CXX_RESOLVED_EXCEPTION_SPEC, |
Eli Friedman | 86164e8 | 2013-09-05 00:02:25 +0000 | [diff] [blame] | 34 | UPD_CXX_DEDUCED_RETURN_TYPE, |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 35 | UPD_DECL_MARKED_USED, |
| 36 | UPD_MANGLING_NUMBER, |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 37 | UPD_STATIC_LOCAL_NUMBER, |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 38 | UPD_DECL_MARKED_OPENMP_THREADPRIVATE, |
| 39 | UPD_DECL_EXPORTED |
Argyrios Kyrtzidis | 565bf30 | 2010-10-24 17:26:50 +0000 | [diff] [blame] | 40 | }; |
| 41 | |
Argyrios Kyrtzidis | eb3f04e | 2010-08-20 16:04:20 +0000 | [diff] [blame] | 42 | TypeIdx TypeIdxFromBuiltin(const BuiltinType *BT); |
| 43 | |
| 44 | template <typename IdxForTypeTy> |
Douglas Gregor | 3b8043b | 2011-08-09 15:13:55 +0000 | [diff] [blame] | 45 | TypeID MakeTypeID(ASTContext &Context, QualType T, IdxForTypeTy IdxForType) { |
Argyrios Kyrtzidis | eb3f04e | 2010-08-20 16:04:20 +0000 | [diff] [blame] | 46 | if (T.isNull()) |
| 47 | return PREDEF_TYPE_NULL_ID; |
| 48 | |
| 49 | unsigned FastQuals = T.getLocalFastQualifiers(); |
John McCall | 49f4e1c | 2010-12-10 11:01:00 +0000 | [diff] [blame] | 50 | T.removeLocalFastQualifiers(); |
Argyrios Kyrtzidis | eb3f04e | 2010-08-20 16:04:20 +0000 | [diff] [blame] | 51 | |
| 52 | if (T.hasLocalNonFastQualifiers()) |
| 53 | return IdxForType(T).asTypeID(FastQuals); |
| 54 | |
| 55 | assert(!T.hasLocalQualifiers()); |
| 56 | |
| 57 | if (const BuiltinType *BT = dyn_cast<BuiltinType>(T.getTypePtr())) |
| 58 | return TypeIdxFromBuiltin(BT).asTypeID(FastQuals); |
| 59 | |
Douglas Gregor | 3b8043b | 2011-08-09 15:13:55 +0000 | [diff] [blame] | 60 | if (T == Context.AutoDeductTy) |
| 61 | return TypeIdx(PREDEF_TYPE_AUTO_DEDUCT).asTypeID(FastQuals); |
| 62 | if (T == Context.AutoRRefDeductTy) |
| 63 | return TypeIdx(PREDEF_TYPE_AUTO_RREF_DEDUCT).asTypeID(FastQuals); |
Meador Inge | fb40e3f | 2012-07-01 15:57:25 +0000 | [diff] [blame] | 64 | if (T == Context.VaListTagTy) |
| 65 | return TypeIdx(PREDEF_TYPE_VA_LIST_TAG).asTypeID(FastQuals); |
Douglas Gregor | 3b8043b | 2011-08-09 15:13:55 +0000 | [diff] [blame] | 66 | |
Argyrios Kyrtzidis | eb3f04e | 2010-08-20 16:04:20 +0000 | [diff] [blame] | 67 | return IdxForType(T).asTypeID(FastQuals); |
| 68 | } |
| 69 | |
Argyrios Kyrtzidis | 0eca89e | 2010-08-20 16:03:52 +0000 | [diff] [blame] | 70 | unsigned ComputeHash(Selector Sel); |
| 71 | |
Douglas Gregor | 5a04f9f | 2013-01-21 15:25:38 +0000 | [diff] [blame] | 72 | /// \brief Retrieve the "definitive" declaration that provides all of the |
| 73 | /// visible entries for the given declaration context, if there is one. |
| 74 | /// |
| 75 | /// The "definitive" declaration is the only place where we need to look to |
| 76 | /// find information about the declarations within the given declaration |
| 77 | /// context. For example, C++ and Objective-C classes, C structs/unions, and |
| 78 | /// Objective-C protocols, categories, and extensions are all defined in a |
| 79 | /// single place in the source code, so they have definitive declarations |
| 80 | /// associated with them. C++ namespaces, on the other hand, can have |
| 81 | /// multiple definitions. |
Douglas Gregor | e0d2066 | 2013-01-22 17:08:30 +0000 | [diff] [blame] | 82 | const DeclContext *getDefinitiveDeclContext(const DeclContext *DC); |
Douglas Gregor | 5a04f9f | 2013-01-21 15:25:38 +0000 | [diff] [blame] | 83 | |
Douglas Gregor | 9cfdc03 | 2013-01-21 16:16:40 +0000 | [diff] [blame] | 84 | /// \brief Determine whether the given declaration kind is redeclarable. |
| 85 | bool isRedeclarableDeclKind(unsigned Kind); |
| 86 | |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 87 | /// \brief Determine whether the given declaration needs an anonymous |
| 88 | /// declaration number. |
| 89 | bool needsAnonymousDeclarationNumber(const NamedDecl *D); |
| 90 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 91 | /// \brief Visit each declaration within \c DC that needs an anonymous |
| 92 | /// declaration number and call \p Visit with the declaration and its number. |
| 93 | template<typename Fn> void numberAnonymousDeclsWithin(const DeclContext *DC, |
| 94 | Fn Visit) { |
| 95 | unsigned Index = 0; |
| 96 | for (Decl *LexicalD : DC->decls()) { |
| 97 | // For a friend decl, we care about the declaration within it, if any. |
| 98 | if (auto *FD = dyn_cast<FriendDecl>(LexicalD)) |
| 99 | LexicalD = FD->getFriendDecl(); |
| 100 | |
| 101 | auto *ND = dyn_cast_or_null<NamedDecl>(LexicalD); |
| 102 | if (!ND || !needsAnonymousDeclarationNumber(ND)) |
| 103 | continue; |
| 104 | |
| 105 | Visit(ND, Index++); |
| 106 | } |
| 107 | } |
| 108 | |
Argyrios Kyrtzidis | 0eca89e | 2010-08-20 16:03:52 +0000 | [diff] [blame] | 109 | } // namespace serialization |
| 110 | |
| 111 | } // namespace clang |
| 112 | |
| 113 | #endif |