blob: 24b268f36df20819a9e8db1f415e32c39f4d5b72 [file] [log] [blame]
Guy Benyei7f92f2d2012-12-18 14:30:41 +00001//===--- ASTCommon.cpp - 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
14#include "ASTCommon.h"
Douglas Gregor5a04f9f2013-01-21 15:25:38 +000015#include "clang/AST/DeclObjC.h"
Guy Benyei7f92f2d2012-12-18 14:30:41 +000016#include "clang/Basic/IdentifierTable.h"
17#include "clang/Serialization/ASTDeserializationListener.h"
18#include "llvm/ADT/StringExtras.h"
19
20using namespace clang;
21
22// Give ASTDeserializationListener's VTable a home.
23ASTDeserializationListener::~ASTDeserializationListener() { }
24
25serialization::TypeIdx
26serialization::TypeIdxFromBuiltin(const BuiltinType *BT) {
27 unsigned ID = 0;
28 switch (BT->getKind()) {
29 case BuiltinType::Void: ID = PREDEF_TYPE_VOID_ID; break;
30 case BuiltinType::Bool: ID = PREDEF_TYPE_BOOL_ID; break;
31 case BuiltinType::Char_U: ID = PREDEF_TYPE_CHAR_U_ID; break;
32 case BuiltinType::UChar: ID = PREDEF_TYPE_UCHAR_ID; break;
33 case BuiltinType::UShort: ID = PREDEF_TYPE_USHORT_ID; break;
34 case BuiltinType::UInt: ID = PREDEF_TYPE_UINT_ID; break;
35 case BuiltinType::ULong: ID = PREDEF_TYPE_ULONG_ID; break;
36 case BuiltinType::ULongLong: ID = PREDEF_TYPE_ULONGLONG_ID; break;
37 case BuiltinType::UInt128: ID = PREDEF_TYPE_UINT128_ID; break;
38 case BuiltinType::Char_S: ID = PREDEF_TYPE_CHAR_S_ID; break;
39 case BuiltinType::SChar: ID = PREDEF_TYPE_SCHAR_ID; break;
40 case BuiltinType::WChar_S:
41 case BuiltinType::WChar_U: ID = PREDEF_TYPE_WCHAR_ID; break;
42 case BuiltinType::Short: ID = PREDEF_TYPE_SHORT_ID; break;
43 case BuiltinType::Int: ID = PREDEF_TYPE_INT_ID; break;
44 case BuiltinType::Long: ID = PREDEF_TYPE_LONG_ID; break;
45 case BuiltinType::LongLong: ID = PREDEF_TYPE_LONGLONG_ID; break;
46 case BuiltinType::Int128: ID = PREDEF_TYPE_INT128_ID; break;
47 case BuiltinType::Half: ID = PREDEF_TYPE_HALF_ID; break;
48 case BuiltinType::Float: ID = PREDEF_TYPE_FLOAT_ID; break;
49 case BuiltinType::Double: ID = PREDEF_TYPE_DOUBLE_ID; break;
50 case BuiltinType::LongDouble: ID = PREDEF_TYPE_LONGDOUBLE_ID; break;
51 case BuiltinType::NullPtr: ID = PREDEF_TYPE_NULLPTR_ID; break;
52 case BuiltinType::Char16: ID = PREDEF_TYPE_CHAR16_ID; break;
53 case BuiltinType::Char32: ID = PREDEF_TYPE_CHAR32_ID; break;
54 case BuiltinType::Overload: ID = PREDEF_TYPE_OVERLOAD_ID; break;
55 case BuiltinType::BoundMember:ID = PREDEF_TYPE_BOUND_MEMBER; break;
56 case BuiltinType::PseudoObject:ID = PREDEF_TYPE_PSEUDO_OBJECT;break;
57 case BuiltinType::Dependent: ID = PREDEF_TYPE_DEPENDENT_ID; break;
58 case BuiltinType::UnknownAny: ID = PREDEF_TYPE_UNKNOWN_ANY; break;
59 case BuiltinType::ARCUnbridgedCast:
60 ID = PREDEF_TYPE_ARC_UNBRIDGED_CAST; break;
61 case BuiltinType::ObjCId: ID = PREDEF_TYPE_OBJC_ID; break;
62 case BuiltinType::ObjCClass: ID = PREDEF_TYPE_OBJC_CLASS; break;
63 case BuiltinType::ObjCSel: ID = PREDEF_TYPE_OBJC_SEL; break;
Guy Benyeib13621d2012-12-18 14:38:23 +000064 case BuiltinType::OCLImage1d: ID = PREDEF_TYPE_IMAGE1D_ID; break;
65 case BuiltinType::OCLImage1dArray: ID = PREDEF_TYPE_IMAGE1D_ARR_ID; break;
66 case BuiltinType::OCLImage1dBuffer: ID = PREDEF_TYPE_IMAGE1D_BUFF_ID; break;
67 case BuiltinType::OCLImage2d: ID = PREDEF_TYPE_IMAGE2D_ID; break;
68 case BuiltinType::OCLImage2dArray: ID = PREDEF_TYPE_IMAGE2D_ARR_ID; break;
69 case BuiltinType::OCLImage3d: ID = PREDEF_TYPE_IMAGE3D_ID; break;
Guy Benyei21f18c42013-02-07 10:55:47 +000070 case BuiltinType::OCLSampler: ID = PREDEF_TYPE_SAMPLER_ID; break;
Guy Benyeie6b9d802013-01-20 12:31:11 +000071 case BuiltinType::OCLEvent: ID = PREDEF_TYPE_EVENT_ID; break;
Guy Benyei7f92f2d2012-12-18 14:30:41 +000072 case BuiltinType::BuiltinFn:
73 ID = PREDEF_TYPE_BUILTIN_FN; break;
74
75 }
76
77 return TypeIdx(ID);
78}
79
80unsigned serialization::ComputeHash(Selector Sel) {
81 unsigned N = Sel.getNumArgs();
82 if (N == 0)
83 ++N;
84 unsigned R = 5381;
85 for (unsigned I = 0; I != N; ++I)
86 if (IdentifierInfo *II = Sel.getIdentifierInfoForSlot(I))
87 R = llvm::HashString(II->getName(), R);
88 return R;
89}
Douglas Gregor5a04f9f2013-01-21 15:25:38 +000090
Douglas Gregore0d20662013-01-22 17:08:30 +000091const DeclContext *
92serialization::getDefinitiveDeclContext(const DeclContext *DC) {
Douglas Gregor5a04f9f2013-01-21 15:25:38 +000093 switch (DC->getDeclKind()) {
94 // These entities may have multiple definitions.
95 case Decl::TranslationUnit:
96 case Decl::Namespace:
97 case Decl::LinkageSpec:
98 return 0;
99
100 // C/C++ tag types can only be defined in one place.
101 case Decl::Enum:
102 case Decl::Record:
103 if (const TagDecl *Def = cast<TagDecl>(DC)->getDefinition())
104 return Def;
Douglas Gregore0d20662013-01-22 17:08:30 +0000105 return 0;
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000106
107 // FIXME: These can be defined in one place... except special member
108 // functions and out-of-line definitions.
109 case Decl::CXXRecord:
110 case Decl::ClassTemplateSpecialization:
111 case Decl::ClassTemplatePartialSpecialization:
112 return 0;
113
114 // Each function, method, and block declaration is its own DeclContext.
115 case Decl::Function:
116 case Decl::CXXMethod:
117 case Decl::CXXConstructor:
118 case Decl::CXXDestructor:
119 case Decl::CXXConversion:
120 case Decl::ObjCMethod:
121 case Decl::Block:
Tareq A. Siraj6afcf882013-04-16 19:37:38 +0000122 case Decl::Captured:
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000123 // Objective C categories, category implementations, and class
124 // implementations can only be defined in one place.
125 case Decl::ObjCCategory:
126 case Decl::ObjCCategoryImpl:
127 case Decl::ObjCImplementation:
Douglas Gregore0d20662013-01-22 17:08:30 +0000128 return DC;
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000129
130 case Decl::ObjCProtocol:
131 if (const ObjCProtocolDecl *Def
132 = cast<ObjCProtocolDecl>(DC)->getDefinition())
133 return Def;
Douglas Gregore0d20662013-01-22 17:08:30 +0000134 return 0;
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000135
136 // FIXME: These are defined in one place, but properties in class extensions
137 // end up being back-patched into the main interface. See
138 // Sema::HandlePropertyInClassExtension for the offending code.
139 case Decl::ObjCInterface:
Douglas Gregore0d20662013-01-22 17:08:30 +0000140 return 0;
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000141
142 default:
143 llvm_unreachable("Unhandled DeclContext in AST reader");
144 }
145
Douglas Gregore0d20662013-01-22 17:08:30 +0000146 llvm_unreachable("Unhandled decl kind");
Douglas Gregor9cfdc032013-01-21 16:16:40 +0000147}
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000148
Douglas Gregor9cfdc032013-01-21 16:16:40 +0000149bool serialization::isRedeclarableDeclKind(unsigned Kind) {
150 switch (static_cast<Decl::Kind>(Kind)) {
151 case Decl::TranslationUnit: // Special case of a "merged" declaration.
152 case Decl::Namespace:
153 case Decl::NamespaceAlias: // FIXME: Not yet redeclarable, but will be.
154 case Decl::Typedef:
155 case Decl::TypeAlias:
156 case Decl::Enum:
157 case Decl::Record:
158 case Decl::CXXRecord:
159 case Decl::ClassTemplateSpecialization:
160 case Decl::ClassTemplatePartialSpecialization:
161 case Decl::Function:
162 case Decl::CXXMethod:
163 case Decl::CXXConstructor:
164 case Decl::CXXDestructor:
165 case Decl::CXXConversion:
166 case Decl::Var:
167 case Decl::FunctionTemplate:
168 case Decl::ClassTemplate:
169 case Decl::TypeAliasTemplate:
170 case Decl::ObjCProtocol:
171 case Decl::ObjCInterface:
Michael Han684aa732013-02-22 17:15:32 +0000172 case Decl::Empty:
Douglas Gregor9cfdc032013-01-21 16:16:40 +0000173 return true;
174
175 // Never redeclarable.
176 case Decl::UsingDirective:
177 case Decl::Label:
178 case Decl::UnresolvedUsingTypename:
179 case Decl::TemplateTypeParm:
180 case Decl::EnumConstant:
181 case Decl::UnresolvedUsingValue:
182 case Decl::IndirectField:
183 case Decl::Field:
John McCall76da55d2013-04-16 07:28:30 +0000184 case Decl::MSProperty:
Douglas Gregor9cfdc032013-01-21 16:16:40 +0000185 case Decl::ObjCIvar:
186 case Decl::ObjCAtDefsField:
187 case Decl::ImplicitParam:
188 case Decl::ParmVar:
189 case Decl::NonTypeTemplateParm:
190 case Decl::TemplateTemplateParm:
191 case Decl::Using:
192 case Decl::UsingShadow:
193 case Decl::ObjCMethod:
194 case Decl::ObjCCategory:
195 case Decl::ObjCCategoryImpl:
196 case Decl::ObjCImplementation:
197 case Decl::ObjCProperty:
198 case Decl::ObjCCompatibleAlias:
199 case Decl::LinkageSpec:
200 case Decl::ObjCPropertyImpl:
201 case Decl::FileScopeAsm:
202 case Decl::AccessSpec:
203 case Decl::Friend:
204 case Decl::FriendTemplate:
205 case Decl::StaticAssert:
206 case Decl::Block:
Tareq A. Siraj6afcf882013-04-16 19:37:38 +0000207 case Decl::Captured:
Douglas Gregor9cfdc032013-01-21 16:16:40 +0000208 case Decl::ClassScopeFunctionSpecialization:
209 case Decl::Import:
Alexey Bataevc6400582013-03-22 06:34:35 +0000210 case Decl::OMPThreadPrivate:
Douglas Gregor9cfdc032013-01-21 16:16:40 +0000211 return false;
212 }
213
214 llvm_unreachable("Unhandled declaration kind");
Douglas Gregor5a04f9f2013-01-21 15:25:38 +0000215}