blob: 308d73febf8af3f66e4626290cf936353ca2a011 [file] [log] [blame]
Chris Lattner283c0612009-04-27 05:27:42 +00001//===--- PCHReaderDecl.cpp - Decl Deserialization ---------------*- 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 implements the PCHReader::ReadDeclRecord method, which is the
11// entrypoint for loading a decl.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/Frontend/PCHReader.h"
16#include "clang/AST/ASTConsumer.h"
17#include "clang/AST/ASTContext.h"
18#include "clang/AST/DeclVisitor.h"
19#include "clang/AST/DeclGroup.h"
20#include "clang/AST/Expr.h"
21using namespace clang;
22
Chris Lattner283c0612009-04-27 05:27:42 +000023
24//===----------------------------------------------------------------------===//
25// Declaration deserialization
26//===----------------------------------------------------------------------===//
27
28namespace {
29 class PCHDeclReader : public DeclVisitor<PCHDeclReader, void> {
30 PCHReader &Reader;
31 const PCHReader::RecordData &Record;
32 unsigned &Idx;
33
34 public:
35 PCHDeclReader(PCHReader &Reader, const PCHReader::RecordData &Record,
36 unsigned &Idx)
37 : Reader(Reader), Record(Record), Idx(Idx) { }
38
39 void VisitDecl(Decl *D);
40 void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
41 void VisitNamedDecl(NamedDecl *ND);
42 void VisitTypeDecl(TypeDecl *TD);
43 void VisitTypedefDecl(TypedefDecl *TD);
44 void VisitTagDecl(TagDecl *TD);
45 void VisitEnumDecl(EnumDecl *ED);
46 void VisitRecordDecl(RecordDecl *RD);
47 void VisitValueDecl(ValueDecl *VD);
48 void VisitEnumConstantDecl(EnumConstantDecl *ECD);
49 void VisitFunctionDecl(FunctionDecl *FD);
50 void VisitFieldDecl(FieldDecl *FD);
51 void VisitVarDecl(VarDecl *VD);
52 void VisitImplicitParamDecl(ImplicitParamDecl *PD);
53 void VisitParmVarDecl(ParmVarDecl *PD);
54 void VisitOriginalParmVarDecl(OriginalParmVarDecl *PD);
55 void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
56 void VisitBlockDecl(BlockDecl *BD);
57 std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
58 void VisitObjCMethodDecl(ObjCMethodDecl *D);
59 void VisitObjCContainerDecl(ObjCContainerDecl *D);
60 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
61 void VisitObjCIvarDecl(ObjCIvarDecl *D);
62 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
63 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
64 void VisitObjCClassDecl(ObjCClassDecl *D);
65 void VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *D);
66 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
67 void VisitObjCImplDecl(ObjCImplDecl *D);
68 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
69 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
70 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
71 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
72 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
73 };
74}
75
76void PCHDeclReader::VisitDecl(Decl *D) {
77 D->setDeclContext(cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
78 D->setLexicalDeclContext(
79 cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
80 D->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
81 D->setInvalidDecl(Record[Idx++]);
82 if (Record[Idx++])
Argiris Kirtzidisfe5f9732009-06-30 02:34:44 +000083 D->addAttr(Reader.ReadAttributes());
Chris Lattner283c0612009-04-27 05:27:42 +000084 D->setImplicit(Record[Idx++]);
Douglas Gregor98189262009-06-19 23:52:42 +000085 D->setUsed(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +000086 D->setAccess((AccessSpecifier)Record[Idx++]);
87}
88
89void PCHDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
90 VisitDecl(TU);
91}
92
93void PCHDeclReader::VisitNamedDecl(NamedDecl *ND) {
94 VisitDecl(ND);
95 ND->setDeclName(Reader.ReadDeclarationName(Record, Idx));
96}
97
98void PCHDeclReader::VisitTypeDecl(TypeDecl *TD) {
99 VisitNamedDecl(TD);
100 TD->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
101}
102
103void PCHDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
104 // Note that we cannot use VisitTypeDecl here, because we need to
105 // set the underlying type of the typedef *before* we try to read
106 // the type associated with the TypedefDecl.
107 VisitNamedDecl(TD);
108 TD->setUnderlyingType(Reader.GetType(Record[Idx + 1]));
109 TD->setTypeForDecl(Reader.GetType(Record[Idx]).getTypePtr());
110 Idx += 2;
111}
112
113void PCHDeclReader::VisitTagDecl(TagDecl *TD) {
114 VisitTypeDecl(TD);
115 TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
116 TD->setDefinition(Record[Idx++]);
117 TD->setTypedefForAnonDecl(
118 cast_or_null<TypedefDecl>(Reader.GetDecl(Record[Idx++])));
119}
120
121void PCHDeclReader::VisitEnumDecl(EnumDecl *ED) {
122 VisitTagDecl(ED);
123 ED->setIntegerType(Reader.GetType(Record[Idx++]));
Douglas Gregor8d717432009-05-27 17:20:35 +0000124 // FIXME: C++ InstantiatedFrom
Chris Lattner283c0612009-04-27 05:27:42 +0000125}
126
127void PCHDeclReader::VisitRecordDecl(RecordDecl *RD) {
128 VisitTagDecl(RD);
129 RD->setHasFlexibleArrayMember(Record[Idx++]);
130 RD->setAnonymousStructOrUnion(Record[Idx++]);
Fariborz Jahanianc3f46052009-07-08 16:37:44 +0000131 RD->setHasObjectMember(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000132}
133
134void PCHDeclReader::VisitValueDecl(ValueDecl *VD) {
135 VisitNamedDecl(VD);
136 VD->setType(Reader.GetType(Record[Idx++]));
137}
138
139void PCHDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
140 VisitValueDecl(ECD);
141 if (Record[Idx++])
Chris Lattner3ef21962009-04-27 05:58:23 +0000142 ECD->setInitExpr(Reader.ReadDeclExpr());
Chris Lattner283c0612009-04-27 05:27:42 +0000143 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
144}
145
146void PCHDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
147 VisitValueDecl(FD);
148 if (Record[Idx++])
Chris Lattner3ef21962009-04-27 05:58:23 +0000149 FD->setLazyBody(Reader.getDeclsCursor().GetCurrentBitNo());
Chris Lattner283c0612009-04-27 05:27:42 +0000150 FD->setPreviousDeclaration(
151 cast_or_null<FunctionDecl>(Reader.GetDecl(Record[Idx++])));
152 FD->setStorageClass((FunctionDecl::StorageClass)Record[Idx++]);
153 FD->setInline(Record[Idx++]);
154 FD->setC99InlineDefinition(Record[Idx++]);
Anders Carlssonf9855602009-05-14 22:15:41 +0000155 FD->setVirtualAsWritten(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000156 FD->setPure(Record[Idx++]);
Anders Carlssond9d6d502009-05-14 21:46:00 +0000157 FD->setHasInheritedPrototype(Record[Idx++]);
158 FD->setHasWrittenPrototype(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000159 FD->setDeleted(Record[Idx++]);
160 FD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Argiris Kirtzidisd8509472009-06-20 08:09:34 +0000161 FD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor260059c2009-05-14 21:06:31 +0000162 // FIXME: C++ TemplateOrInstantiation
Chris Lattner283c0612009-04-27 05:27:42 +0000163 unsigned NumParams = Record[Idx++];
164 llvm::SmallVector<ParmVarDecl *, 16> Params;
165 Params.reserve(NumParams);
166 for (unsigned I = 0; I != NumParams; ++I)
167 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000168 FD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner283c0612009-04-27 05:27:42 +0000169}
170
171void PCHDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
172 VisitNamedDecl(MD);
173 if (Record[Idx++]) {
174 // In practice, this won't be executed (since method definitions
175 // don't occur in header files).
Chris Lattner3ef21962009-04-27 05:58:23 +0000176 MD->setBody(Reader.ReadDeclStmt());
Chris Lattner283c0612009-04-27 05:27:42 +0000177 MD->setSelfDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
178 MD->setCmdDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
179 }
180 MD->setInstanceMethod(Record[Idx++]);
181 MD->setVariadic(Record[Idx++]);
182 MD->setSynthesized(Record[Idx++]);
183 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
184 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
185 MD->setResultType(Reader.GetType(Record[Idx++]));
186 MD->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
187 unsigned NumParams = Record[Idx++];
188 llvm::SmallVector<ParmVarDecl *, 16> Params;
189 Params.reserve(NumParams);
190 for (unsigned I = 0; I != NumParams; ++I)
191 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000192 MD->setMethodParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner283c0612009-04-27 05:27:42 +0000193}
194
195void PCHDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
196 VisitNamedDecl(CD);
197 CD->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
198}
199
200void PCHDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
201 VisitObjCContainerDecl(ID);
202 ID->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
203 ID->setSuperClass(cast_or_null<ObjCInterfaceDecl>
204 (Reader.GetDecl(Record[Idx++])));
205 unsigned NumProtocols = Record[Idx++];
206 llvm::SmallVector<ObjCProtocolDecl *, 16> Protocols;
207 Protocols.reserve(NumProtocols);
208 for (unsigned I = 0; I != NumProtocols; ++I)
209 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000210 ID->setProtocolList(Protocols.data(), NumProtocols, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000211 unsigned NumIvars = Record[Idx++];
212 llvm::SmallVector<ObjCIvarDecl *, 16> IVars;
213 IVars.reserve(NumIvars);
214 for (unsigned I = 0; I != NumIvars; ++I)
215 IVars.push_back(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000216 ID->setIVarList(IVars.data(), NumIvars, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000217 ID->setCategoryList(
218 cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
219 ID->setForwardDecl(Record[Idx++]);
220 ID->setImplicitInterfaceDecl(Record[Idx++]);
221 ID->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
222 ID->setSuperClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
223 ID->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
224}
225
226void PCHDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
227 VisitFieldDecl(IVD);
228 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
229}
230
231void PCHDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
232 VisitObjCContainerDecl(PD);
233 PD->setForwardDecl(Record[Idx++]);
234 PD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
235 unsigned NumProtoRefs = Record[Idx++];
236 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
237 ProtoRefs.reserve(NumProtoRefs);
238 for (unsigned I = 0; I != NumProtoRefs; ++I)
239 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000240 PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000241}
242
243void PCHDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
244 VisitFieldDecl(FD);
245}
246
247void PCHDeclReader::VisitObjCClassDecl(ObjCClassDecl *CD) {
248 VisitDecl(CD);
249 unsigned NumClassRefs = Record[Idx++];
250 llvm::SmallVector<ObjCInterfaceDecl *, 16> ClassRefs;
251 ClassRefs.reserve(NumClassRefs);
252 for (unsigned I = 0; I != NumClassRefs; ++I)
253 ClassRefs.push_back(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor4e284192009-05-22 22:45:36 +0000254 CD->setClassList(*Reader.getContext(), ClassRefs.data(), NumClassRefs);
Chris Lattner283c0612009-04-27 05:27:42 +0000255}
256
257void PCHDeclReader::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *FPD) {
258 VisitDecl(FPD);
259 unsigned NumProtoRefs = Record[Idx++];
260 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
261 ProtoRefs.reserve(NumProtoRefs);
262 for (unsigned I = 0; I != NumProtoRefs; ++I)
263 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor4e284192009-05-22 22:45:36 +0000264 FPD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000265}
266
267void PCHDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
268 VisitObjCContainerDecl(CD);
269 CD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
270 unsigned NumProtoRefs = Record[Idx++];
271 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
272 ProtoRefs.reserve(NumProtoRefs);
273 for (unsigned I = 0; I != NumProtoRefs; ++I)
274 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Ted Kremenek1b38e642009-05-22 22:34:23 +0000275 CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000276 CD->setNextClassCategory(cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
277 CD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
278}
279
280void PCHDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
281 VisitNamedDecl(CAD);
282 CAD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
283}
284
285void PCHDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
286 VisitNamedDecl(D);
287 D->setType(Reader.GetType(Record[Idx++]));
288 // FIXME: stable encoding
289 D->setPropertyAttributes(
290 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
291 // FIXME: stable encoding
292 D->setPropertyImplementation(
293 (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
294 D->setGetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
295 D->setSetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
296 D->setGetterMethodDecl(
297 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
298 D->setSetterMethodDecl(
299 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
300 D->setPropertyIvarDecl(
301 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
302}
303
304void PCHDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
305 VisitNamedDecl(D);
306 D->setClassInterface(
307 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
308 D->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
309}
310
311void PCHDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
312 VisitObjCImplDecl(D);
313 D->setIdentifier(Reader.GetIdentifierInfo(Record, Idx));
314}
315
316void PCHDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
317 VisitObjCImplDecl(D);
318 D->setSuperClass(
319 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
320}
321
322
323void PCHDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
324 VisitDecl(D);
325 D->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
326 D->setPropertyDecl(
327 cast_or_null<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
328 D->setPropertyIvarDecl(
329 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
330}
331
332void PCHDeclReader::VisitFieldDecl(FieldDecl *FD) {
333 VisitValueDecl(FD);
334 FD->setMutable(Record[Idx++]);
335 if (Record[Idx++])
Chris Lattner3ef21962009-04-27 05:58:23 +0000336 FD->setBitWidth(Reader.ReadDeclExpr());
Chris Lattner283c0612009-04-27 05:27:42 +0000337}
338
339void PCHDeclReader::VisitVarDecl(VarDecl *VD) {
340 VisitValueDecl(VD);
341 VD->setStorageClass((VarDecl::StorageClass)Record[Idx++]);
342 VD->setThreadSpecified(Record[Idx++]);
343 VD->setCXXDirectInitializer(Record[Idx++]);
344 VD->setDeclaredInCondition(Record[Idx++]);
345 VD->setPreviousDeclaration(
346 cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
347 VD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
348 if (Record[Idx++])
Douglas Gregor4833ff02009-05-26 18:54:04 +0000349 VD->setInit(*Reader.getContext(), Reader.ReadDeclExpr());
Chris Lattner283c0612009-04-27 05:27:42 +0000350}
351
352void PCHDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
353 VisitVarDecl(PD);
354}
355
356void PCHDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
357 VisitVarDecl(PD);
358 PD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
359 // FIXME: default argument (C++ only)
360}
361
362void PCHDeclReader::VisitOriginalParmVarDecl(OriginalParmVarDecl *PD) {
363 VisitParmVarDecl(PD);
364 PD->setOriginalType(Reader.GetType(Record[Idx++]));
365}
366
367void PCHDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
368 VisitDecl(AD);
Chris Lattner3ef21962009-04-27 05:58:23 +0000369 AD->setAsmString(cast<StringLiteral>(Reader.ReadDeclExpr()));
Chris Lattner283c0612009-04-27 05:27:42 +0000370}
371
372void PCHDeclReader::VisitBlockDecl(BlockDecl *BD) {
373 VisitDecl(BD);
Chris Lattner3ef21962009-04-27 05:58:23 +0000374 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadDeclStmt()));
Chris Lattner283c0612009-04-27 05:27:42 +0000375 unsigned NumParams = Record[Idx++];
376 llvm::SmallVector<ParmVarDecl *, 16> Params;
377 Params.reserve(NumParams);
378 for (unsigned I = 0; I != NumParams; ++I)
379 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor4e284192009-05-22 22:45:36 +0000380 BD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner283c0612009-04-27 05:27:42 +0000381}
382
383std::pair<uint64_t, uint64_t>
384PCHDeclReader::VisitDeclContext(DeclContext *DC) {
385 uint64_t LexicalOffset = Record[Idx++];
386 uint64_t VisibleOffset = Record[Idx++];
387 return std::make_pair(LexicalOffset, VisibleOffset);
388}
389
390//===----------------------------------------------------------------------===//
Chris Lattner99dccc82009-04-27 06:01:06 +0000391// Attribute Reading
Chris Lattner283c0612009-04-27 05:27:42 +0000392//===----------------------------------------------------------------------===//
393
Chris Lattner99dccc82009-04-27 06:01:06 +0000394/// \brief Reads attributes from the current stream position.
395Attr *PCHReader::ReadAttributes() {
396 unsigned Code = DeclsCursor.ReadCode();
397 assert(Code == llvm::bitc::UNABBREV_RECORD &&
398 "Expected unabbreviated record"); (void)Code;
399
400 RecordData Record;
401 unsigned Idx = 0;
402 unsigned RecCode = DeclsCursor.ReadRecord(Code, Record);
403 assert(RecCode == pch::DECL_ATTR && "Expected attribute record");
404 (void)RecCode;
405
406#define SIMPLE_ATTR(Name) \
407 case Attr::Name: \
Chris Lattner270d29a2009-04-27 21:45:14 +0000408 New = ::new (*Context) Name##Attr(); \
Chris Lattner99dccc82009-04-27 06:01:06 +0000409 break
410
411#define STRING_ATTR(Name) \
412 case Attr::Name: \
Chris Lattner270d29a2009-04-27 21:45:14 +0000413 New = ::new (*Context) Name##Attr(ReadString(Record, Idx)); \
Chris Lattner99dccc82009-04-27 06:01:06 +0000414 break
415
416#define UNSIGNED_ATTR(Name) \
417 case Attr::Name: \
Chris Lattner270d29a2009-04-27 21:45:14 +0000418 New = ::new (*Context) Name##Attr(Record[Idx++]); \
Chris Lattner99dccc82009-04-27 06:01:06 +0000419 break
420
421 Attr *Attrs = 0;
422 while (Idx < Record.size()) {
423 Attr *New = 0;
424 Attr::Kind Kind = (Attr::Kind)Record[Idx++];
425 bool IsInherited = Record[Idx++];
426
427 switch (Kind) {
428 STRING_ATTR(Alias);
429 UNSIGNED_ATTR(Aligned);
430 SIMPLE_ATTR(AlwaysInline);
431 SIMPLE_ATTR(AnalyzerNoReturn);
432 STRING_ATTR(Annotate);
433 STRING_ATTR(AsmLabel);
434
435 case Attr::Blocks:
Chris Lattner270d29a2009-04-27 21:45:14 +0000436 New = ::new (*Context) BlocksAttr(
Chris Lattner99dccc82009-04-27 06:01:06 +0000437 (BlocksAttr::BlocksAttrTypes)Record[Idx++]);
438 break;
439
440 case Attr::Cleanup:
Chris Lattner270d29a2009-04-27 21:45:14 +0000441 New = ::new (*Context) CleanupAttr(
Chris Lattner99dccc82009-04-27 06:01:06 +0000442 cast<FunctionDecl>(GetDecl(Record[Idx++])));
443 break;
444
445 SIMPLE_ATTR(Const);
446 UNSIGNED_ATTR(Constructor);
447 SIMPLE_ATTR(DLLExport);
448 SIMPLE_ATTR(DLLImport);
449 SIMPLE_ATTR(Deprecated);
450 UNSIGNED_ATTR(Destructor);
451 SIMPLE_ATTR(FastCall);
452
453 case Attr::Format: {
454 std::string Type = ReadString(Record, Idx);
455 unsigned FormatIdx = Record[Idx++];
456 unsigned FirstArg = Record[Idx++];
Chris Lattner270d29a2009-04-27 21:45:14 +0000457 New = ::new (*Context) FormatAttr(Type, FormatIdx, FirstArg);
Chris Lattner99dccc82009-04-27 06:01:06 +0000458 break;
459 }
Fariborz Jahanian180f3412009-05-13 18:09:35 +0000460
Fariborz Jahanian306d7252009-05-20 17:41:43 +0000461 case Attr::FormatArg: {
462 unsigned FormatIdx = Record[Idx++];
463 New = ::new (*Context) FormatArgAttr(FormatIdx);
464 break;
465 }
466
Fariborz Jahanian180f3412009-05-13 18:09:35 +0000467 case Attr::Sentinel: {
468 int sentinel = Record[Idx++];
469 int nullPos = Record[Idx++];
470 New = ::new (*Context) SentinelAttr(sentinel, nullPos);
471 break;
472 }
Chris Lattner99dccc82009-04-27 06:01:06 +0000473
474 SIMPLE_ATTR(GNUInline);
475
476 case Attr::IBOutletKind:
Chris Lattner270d29a2009-04-27 21:45:14 +0000477 New = ::new (*Context) IBOutletAttr();
Chris Lattner99dccc82009-04-27 06:01:06 +0000478 break;
479
480 SIMPLE_ATTR(NoReturn);
481 SIMPLE_ATTR(NoThrow);
482 SIMPLE_ATTR(Nodebug);
483 SIMPLE_ATTR(Noinline);
484
485 case Attr::NonNull: {
486 unsigned Size = Record[Idx++];
487 llvm::SmallVector<unsigned, 16> ArgNums;
488 ArgNums.insert(ArgNums.end(), &Record[Idx], &Record[Idx] + Size);
489 Idx += Size;
Douglas Gregor4e284192009-05-22 22:45:36 +0000490 New = ::new (*Context) NonNullAttr(ArgNums.data(), Size);
Chris Lattner99dccc82009-04-27 06:01:06 +0000491 break;
492 }
Nate Begeman60702162009-06-26 06:32:41 +0000493
494 case Attr::ReqdWorkGroupSize: {
495 unsigned X = Record[Idx++];
496 unsigned Y = Record[Idx++];
497 unsigned Z = Record[Idx++];
498 New = ::new (*Context) ReqdWorkGroupSizeAttr(X, Y, Z);
499 break;
500 }
Chris Lattner99dccc82009-04-27 06:01:06 +0000501
502 SIMPLE_ATTR(ObjCException);
503 SIMPLE_ATTR(ObjCNSObject);
Ted Kremenek13ddd1a2009-05-09 02:44:38 +0000504 SIMPLE_ATTR(CFReturnsRetained);
505 SIMPLE_ATTR(NSReturnsRetained);
Chris Lattner99dccc82009-04-27 06:01:06 +0000506 SIMPLE_ATTR(Overloadable);
507 UNSIGNED_ATTR(Packed);
508 SIMPLE_ATTR(Pure);
509 UNSIGNED_ATTR(Regparm);
510 STRING_ATTR(Section);
511 SIMPLE_ATTR(StdCall);
512 SIMPLE_ATTR(TransparentUnion);
513 SIMPLE_ATTR(Unavailable);
514 SIMPLE_ATTR(Unused);
515 SIMPLE_ATTR(Used);
516
517 case Attr::Visibility:
Chris Lattner270d29a2009-04-27 21:45:14 +0000518 New = ::new (*Context) VisibilityAttr(
Chris Lattner99dccc82009-04-27 06:01:06 +0000519 (VisibilityAttr::VisibilityTypes)Record[Idx++]);
520 break;
521
522 SIMPLE_ATTR(WarnUnusedResult);
523 SIMPLE_ATTR(Weak);
524 SIMPLE_ATTR(WeakImport);
525 }
526
527 assert(New && "Unable to decode attribute?");
528 New->setInherited(IsInherited);
529 New->setNext(Attrs);
530 Attrs = New;
531 }
532#undef UNSIGNED_ATTR
533#undef STRING_ATTR
534#undef SIMPLE_ATTR
535
536 // The list of attributes was built backwards. Reverse the list
537 // before returning it.
538 Attr *PrevAttr = 0, *NextAttr = 0;
539 while (Attrs) {
540 NextAttr = Attrs->getNext();
541 Attrs->setNext(PrevAttr);
542 PrevAttr = Attrs;
543 Attrs = NextAttr;
544 }
545
546 return PrevAttr;
547}
548
549//===----------------------------------------------------------------------===//
550// PCHReader Implementation
551//===----------------------------------------------------------------------===//
Chris Lattner283c0612009-04-27 05:27:42 +0000552
553/// \brief Note that we have loaded the declaration with the given
554/// Index.
555///
556/// This routine notes that this declaration has already been loaded,
557/// so that future GetDecl calls will return this declaration rather
558/// than trying to load a new declaration.
559inline void PCHReader::LoadedDecl(unsigned Index, Decl *D) {
560 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
561 DeclsLoaded[Index] = D;
562}
563
564
565/// \brief Determine whether the consumer will be interested in seeing
566/// this declaration (via HandleTopLevelDecl).
567///
568/// This routine should return true for anything that might affect
569/// code generation, e.g., inline function definitions, Objective-C
570/// declarations with metadata, etc.
571static bool isConsumerInterestedIn(Decl *D) {
572 if (VarDecl *Var = dyn_cast<VarDecl>(D))
573 return Var->isFileVarDecl() && Var->getInit();
574 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
575 return Func->isThisDeclarationADefinition();
576 return isa<ObjCProtocolDecl>(D);
577}
578
579/// \brief Read the declaration at the given offset from the PCH file.
580Decl *PCHReader::ReadDeclRecord(uint64_t Offset, unsigned Index) {
581 // Keep track of where we are in the stream, then jump back there
582 // after reading this declaration.
Chris Lattner3ef21962009-04-27 05:58:23 +0000583 SavedStreamPosition SavedPosition(DeclsCursor);
Chris Lattner283c0612009-04-27 05:27:42 +0000584
Douglas Gregor1e782812009-07-06 18:54:52 +0000585 // Note that we are loading a declaration record.
586 LoadingTypeOrDecl Loading(*this);
587
Chris Lattner3ef21962009-04-27 05:58:23 +0000588 DeclsCursor.JumpToBit(Offset);
Chris Lattner283c0612009-04-27 05:27:42 +0000589 RecordData Record;
Chris Lattner3ef21962009-04-27 05:58:23 +0000590 unsigned Code = DeclsCursor.ReadCode();
Chris Lattner283c0612009-04-27 05:27:42 +0000591 unsigned Idx = 0;
592 PCHDeclReader Reader(*this, Record, Idx);
593
Chris Lattner3ef21962009-04-27 05:58:23 +0000594 Decl *D = 0;
595 switch ((pch::DeclCode)DeclsCursor.ReadRecord(Code, Record)) {
Chris Lattner283c0612009-04-27 05:27:42 +0000596 case pch::DECL_ATTR:
597 case pch::DECL_CONTEXT_LEXICAL:
598 case pch::DECL_CONTEXT_VISIBLE:
599 assert(false && "Record cannot be de-serialized with ReadDeclRecord");
600 break;
Chris Lattner283c0612009-04-27 05:27:42 +0000601 case pch::DECL_TRANSLATION_UNIT:
602 assert(Index == 0 && "Translation unit must be at index 0");
Chris Lattner270d29a2009-04-27 21:45:14 +0000603 D = Context->getTranslationUnitDecl();
Chris Lattner283c0612009-04-27 05:27:42 +0000604 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000605 case pch::DECL_TYPEDEF:
Chris Lattner270d29a2009-04-27 21:45:14 +0000606 D = TypedefDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner283c0612009-04-27 05:27:42 +0000607 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000608 case pch::DECL_ENUM:
Chris Lattner270d29a2009-04-27 21:45:14 +0000609 D = EnumDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000610 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000611 case pch::DECL_RECORD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000612 D = RecordDecl::Create(*Context, TagDecl::TK_struct, 0, SourceLocation(),
Chris Lattner283c0612009-04-27 05:27:42 +0000613 0, 0);
614 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000615 case pch::DECL_ENUM_CONSTANT:
Chris Lattner270d29a2009-04-27 21:45:14 +0000616 D = EnumConstantDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000617 0, llvm::APSInt());
618 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000619 case pch::DECL_FUNCTION:
Chris Lattner270d29a2009-04-27 21:45:14 +0000620 D = FunctionDecl::Create(*Context, 0, SourceLocation(), DeclarationName(),
Chris Lattner283c0612009-04-27 05:27:42 +0000621 QualType());
622 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000623 case pch::DECL_OBJC_METHOD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000624 D = ObjCMethodDecl::Create(*Context, SourceLocation(), SourceLocation(),
Chris Lattner283c0612009-04-27 05:27:42 +0000625 Selector(), QualType(), 0);
626 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000627 case pch::DECL_OBJC_INTERFACE:
Chris Lattner270d29a2009-04-27 21:45:14 +0000628 D = ObjCInterfaceDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000629 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000630 case pch::DECL_OBJC_IVAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000631 D = ObjCIvarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000632 ObjCIvarDecl::None);
633 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000634 case pch::DECL_OBJC_PROTOCOL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000635 D = ObjCProtocolDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000636 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000637 case pch::DECL_OBJC_AT_DEFS_FIELD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000638 D = ObjCAtDefsFieldDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner283c0612009-04-27 05:27:42 +0000639 QualType(), 0);
640 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000641 case pch::DECL_OBJC_CLASS:
Chris Lattner270d29a2009-04-27 21:45:14 +0000642 D = ObjCClassDecl::Create(*Context, 0, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000643 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000644 case pch::DECL_OBJC_FORWARD_PROTOCOL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000645 D = ObjCForwardProtocolDecl::Create(*Context, 0, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000646 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000647 case pch::DECL_OBJC_CATEGORY:
Chris Lattner270d29a2009-04-27 21:45:14 +0000648 D = ObjCCategoryDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000649 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000650 case pch::DECL_OBJC_CATEGORY_IMPL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000651 D = ObjCCategoryImplDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000652 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000653 case pch::DECL_OBJC_IMPLEMENTATION:
Chris Lattner270d29a2009-04-27 21:45:14 +0000654 D = ObjCImplementationDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000655 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000656 case pch::DECL_OBJC_COMPATIBLE_ALIAS:
Chris Lattner270d29a2009-04-27 21:45:14 +0000657 D = ObjCCompatibleAliasDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000658 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000659 case pch::DECL_OBJC_PROPERTY:
Chris Lattner270d29a2009-04-27 21:45:14 +0000660 D = ObjCPropertyDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner283c0612009-04-27 05:27:42 +0000661 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000662 case pch::DECL_OBJC_PROPERTY_IMPL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000663 D = ObjCPropertyImplDecl::Create(*Context, 0, SourceLocation(),
Chris Lattner283c0612009-04-27 05:27:42 +0000664 SourceLocation(), 0,
665 ObjCPropertyImplDecl::Dynamic, 0);
666 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000667 case pch::DECL_FIELD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000668 D = FieldDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
Chris Lattner283c0612009-04-27 05:27:42 +0000669 false);
670 break;
Chris Lattner283c0612009-04-27 05:27:42 +0000671 case pch::DECL_VAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000672 D = VarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000673 VarDecl::None, SourceLocation());
674 break;
675
676 case pch::DECL_IMPLICIT_PARAM:
Chris Lattner270d29a2009-04-27 21:45:14 +0000677 D = ImplicitParamDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner283c0612009-04-27 05:27:42 +0000678 break;
679
Chris Lattner99dccc82009-04-27 06:01:06 +0000680 case pch::DECL_PARM_VAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000681 D = ParmVarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000682 VarDecl::None, 0);
683 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000684 case pch::DECL_ORIGINAL_PARM_VAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000685 D = OriginalParmVarDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner99dccc82009-04-27 06:01:06 +0000686 QualType(), QualType(), VarDecl::None, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000687 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000688 case pch::DECL_FILE_SCOPE_ASM:
Chris Lattner270d29a2009-04-27 21:45:14 +0000689 D = FileScopeAsmDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000690 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000691 case pch::DECL_BLOCK:
Chris Lattner270d29a2009-04-27 21:45:14 +0000692 D = BlockDecl::Create(*Context, 0, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000693 break;
694 }
Chris Lattner283c0612009-04-27 05:27:42 +0000695
696 assert(D && "Unknown declaration reading PCH file");
Chris Lattner99dccc82009-04-27 06:01:06 +0000697 LoadedDecl(Index, D);
698 Reader.Visit(D);
Chris Lattner283c0612009-04-27 05:27:42 +0000699
700 // If this declaration is also a declaration context, get the
701 // offsets for its tables of lexical and visible declarations.
702 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
703 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
704 if (Offsets.first || Offsets.second) {
705 DC->setHasExternalLexicalStorage(Offsets.first != 0);
706 DC->setHasExternalVisibleStorage(Offsets.second != 0);
707 DeclContextOffsets[DC] = Offsets;
708 }
709 }
710 assert(Idx == Record.size());
711
712 // If we have deserialized a declaration that has a definition the
713 // AST consumer might need to know about, notify the consumer
714 // about that definition now or queue it for later.
715 if (isConsumerInterestedIn(D)) {
716 if (Consumer) {
717 DeclGroupRef DG(D);
718 Consumer->HandleTopLevelDecl(DG);
719 } else {
720 InterestingDecls.push_back(D);
721 }
722 }
723
724 return D;
725}
726