blob: adf0d1155e23899b399c5dd97a5bdf930398b2f9 [file] [log] [blame]
Chris Lattner698f9252009-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 Lattner698f9252009-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++])
83 D->addAttr(Reader.ReadAttributes());
84 D->setImplicit(Record[Idx++]);
85 D->setAccess((AccessSpecifier)Record[Idx++]);
86}
87
88void PCHDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
89 VisitDecl(TU);
90}
91
92void PCHDeclReader::VisitNamedDecl(NamedDecl *ND) {
93 VisitDecl(ND);
94 ND->setDeclName(Reader.ReadDeclarationName(Record, Idx));
95}
96
97void PCHDeclReader::VisitTypeDecl(TypeDecl *TD) {
98 VisitNamedDecl(TD);
99 TD->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
100}
101
102void PCHDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
103 // Note that we cannot use VisitTypeDecl here, because we need to
104 // set the underlying type of the typedef *before* we try to read
105 // the type associated with the TypedefDecl.
106 VisitNamedDecl(TD);
107 TD->setUnderlyingType(Reader.GetType(Record[Idx + 1]));
108 TD->setTypeForDecl(Reader.GetType(Record[Idx]).getTypePtr());
109 Idx += 2;
110}
111
112void PCHDeclReader::VisitTagDecl(TagDecl *TD) {
113 VisitTypeDecl(TD);
114 TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
115 TD->setDefinition(Record[Idx++]);
116 TD->setTypedefForAnonDecl(
117 cast_or_null<TypedefDecl>(Reader.GetDecl(Record[Idx++])));
118}
119
120void PCHDeclReader::VisitEnumDecl(EnumDecl *ED) {
121 VisitTagDecl(ED);
122 ED->setIntegerType(Reader.GetType(Record[Idx++]));
123}
124
125void PCHDeclReader::VisitRecordDecl(RecordDecl *RD) {
126 VisitTagDecl(RD);
127 RD->setHasFlexibleArrayMember(Record[Idx++]);
128 RD->setAnonymousStructOrUnion(Record[Idx++]);
129}
130
131void PCHDeclReader::VisitValueDecl(ValueDecl *VD) {
132 VisitNamedDecl(VD);
133 VD->setType(Reader.GetType(Record[Idx++]));
134}
135
136void PCHDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
137 VisitValueDecl(ECD);
138 if (Record[Idx++])
Chris Lattnerda930612009-04-27 05:58:23 +0000139 ECD->setInitExpr(Reader.ReadDeclExpr());
Chris Lattner698f9252009-04-27 05:27:42 +0000140 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
141}
142
143void PCHDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
144 VisitValueDecl(FD);
145 if (Record[Idx++])
Chris Lattnerda930612009-04-27 05:58:23 +0000146 FD->setLazyBody(Reader.getDeclsCursor().GetCurrentBitNo());
Chris Lattner698f9252009-04-27 05:27:42 +0000147 FD->setPreviousDeclaration(
148 cast_or_null<FunctionDecl>(Reader.GetDecl(Record[Idx++])));
149 FD->setStorageClass((FunctionDecl::StorageClass)Record[Idx++]);
150 FD->setInline(Record[Idx++]);
151 FD->setC99InlineDefinition(Record[Idx++]);
Anders Carlsson77b7f1d2009-05-14 22:15:41 +0000152 FD->setVirtualAsWritten(Record[Idx++]);
Chris Lattner698f9252009-04-27 05:27:42 +0000153 FD->setPure(Record[Idx++]);
Anders Carlssona75e8532009-05-14 21:46:00 +0000154 FD->setHasInheritedPrototype(Record[Idx++]);
155 FD->setHasWrittenPrototype(Record[Idx++]);
Chris Lattner698f9252009-04-27 05:27:42 +0000156 FD->setDeleted(Record[Idx++]);
157 FD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor1eee0e72009-05-14 21:06:31 +0000158 // FIXME: C++ TemplateOrInstantiation
Chris Lattner698f9252009-04-27 05:27:42 +0000159 unsigned NumParams = Record[Idx++];
160 llvm::SmallVector<ParmVarDecl *, 16> Params;
161 Params.reserve(NumParams);
162 for (unsigned I = 0; I != NumParams; ++I)
163 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000164 FD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner698f9252009-04-27 05:27:42 +0000165}
166
167void PCHDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
168 VisitNamedDecl(MD);
169 if (Record[Idx++]) {
170 // In practice, this won't be executed (since method definitions
171 // don't occur in header files).
Chris Lattnerda930612009-04-27 05:58:23 +0000172 MD->setBody(Reader.ReadDeclStmt());
Chris Lattner698f9252009-04-27 05:27:42 +0000173 MD->setSelfDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
174 MD->setCmdDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
175 }
176 MD->setInstanceMethod(Record[Idx++]);
177 MD->setVariadic(Record[Idx++]);
178 MD->setSynthesized(Record[Idx++]);
179 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
180 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
181 MD->setResultType(Reader.GetType(Record[Idx++]));
182 MD->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
183 unsigned NumParams = Record[Idx++];
184 llvm::SmallVector<ParmVarDecl *, 16> Params;
185 Params.reserve(NumParams);
186 for (unsigned I = 0; I != NumParams; ++I)
187 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000188 MD->setMethodParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner698f9252009-04-27 05:27:42 +0000189}
190
191void PCHDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
192 VisitNamedDecl(CD);
193 CD->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
194}
195
196void PCHDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
197 VisitObjCContainerDecl(ID);
198 ID->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
199 ID->setSuperClass(cast_or_null<ObjCInterfaceDecl>
200 (Reader.GetDecl(Record[Idx++])));
201 unsigned NumProtocols = Record[Idx++];
202 llvm::SmallVector<ObjCProtocolDecl *, 16> Protocols;
203 Protocols.reserve(NumProtocols);
204 for (unsigned I = 0; I != NumProtocols; ++I)
205 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000206 ID->setProtocolList(Protocols.data(), NumProtocols, *Reader.getContext());
Chris Lattner698f9252009-04-27 05:27:42 +0000207 unsigned NumIvars = Record[Idx++];
208 llvm::SmallVector<ObjCIvarDecl *, 16> IVars;
209 IVars.reserve(NumIvars);
210 for (unsigned I = 0; I != NumIvars; ++I)
211 IVars.push_back(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000212 ID->setIVarList(IVars.data(), NumIvars, *Reader.getContext());
Chris Lattner698f9252009-04-27 05:27:42 +0000213 ID->setCategoryList(
214 cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
215 ID->setForwardDecl(Record[Idx++]);
216 ID->setImplicitInterfaceDecl(Record[Idx++]);
217 ID->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
218 ID->setSuperClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
219 ID->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
220}
221
222void PCHDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
223 VisitFieldDecl(IVD);
224 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
225}
226
227void PCHDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
228 VisitObjCContainerDecl(PD);
229 PD->setForwardDecl(Record[Idx++]);
230 PD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
231 unsigned NumProtoRefs = Record[Idx++];
232 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
233 ProtoRefs.reserve(NumProtoRefs);
234 for (unsigned I = 0; I != NumProtoRefs; ++I)
235 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000236 PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner698f9252009-04-27 05:27:42 +0000237}
238
239void PCHDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
240 VisitFieldDecl(FD);
241}
242
243void PCHDeclReader::VisitObjCClassDecl(ObjCClassDecl *CD) {
244 VisitDecl(CD);
245 unsigned NumClassRefs = Record[Idx++];
246 llvm::SmallVector<ObjCInterfaceDecl *, 16> ClassRefs;
247 ClassRefs.reserve(NumClassRefs);
248 for (unsigned I = 0; I != NumClassRefs; ++I)
249 ClassRefs.push_back(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor75fdb232009-05-22 22:45:36 +0000250 CD->setClassList(*Reader.getContext(), ClassRefs.data(), NumClassRefs);
Chris Lattner698f9252009-04-27 05:27:42 +0000251}
252
253void PCHDeclReader::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *FPD) {
254 VisitDecl(FPD);
255 unsigned NumProtoRefs = Record[Idx++];
256 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
257 ProtoRefs.reserve(NumProtoRefs);
258 for (unsigned I = 0; I != NumProtoRefs; ++I)
259 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor75fdb232009-05-22 22:45:36 +0000260 FPD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner698f9252009-04-27 05:27:42 +0000261}
262
263void PCHDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
264 VisitObjCContainerDecl(CD);
265 CD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
266 unsigned NumProtoRefs = Record[Idx++];
267 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
268 ProtoRefs.reserve(NumProtoRefs);
269 for (unsigned I = 0; I != NumProtoRefs; ++I)
270 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Ted Kremenek66ef1112009-05-22 22:34:23 +0000271 CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner698f9252009-04-27 05:27:42 +0000272 CD->setNextClassCategory(cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
273 CD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
274}
275
276void PCHDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
277 VisitNamedDecl(CAD);
278 CAD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
279}
280
281void PCHDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
282 VisitNamedDecl(D);
283 D->setType(Reader.GetType(Record[Idx++]));
284 // FIXME: stable encoding
285 D->setPropertyAttributes(
286 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
287 // FIXME: stable encoding
288 D->setPropertyImplementation(
289 (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
290 D->setGetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
291 D->setSetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
292 D->setGetterMethodDecl(
293 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
294 D->setSetterMethodDecl(
295 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
296 D->setPropertyIvarDecl(
297 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
298}
299
300void PCHDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
301 VisitNamedDecl(D);
302 D->setClassInterface(
303 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
304 D->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
305}
306
307void PCHDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
308 VisitObjCImplDecl(D);
309 D->setIdentifier(Reader.GetIdentifierInfo(Record, Idx));
310}
311
312void PCHDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
313 VisitObjCImplDecl(D);
314 D->setSuperClass(
315 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
316}
317
318
319void PCHDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
320 VisitDecl(D);
321 D->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
322 D->setPropertyDecl(
323 cast_or_null<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
324 D->setPropertyIvarDecl(
325 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
326}
327
328void PCHDeclReader::VisitFieldDecl(FieldDecl *FD) {
329 VisitValueDecl(FD);
330 FD->setMutable(Record[Idx++]);
331 if (Record[Idx++])
Chris Lattnerda930612009-04-27 05:58:23 +0000332 FD->setBitWidth(Reader.ReadDeclExpr());
Chris Lattner698f9252009-04-27 05:27:42 +0000333}
334
335void PCHDeclReader::VisitVarDecl(VarDecl *VD) {
336 VisitValueDecl(VD);
337 VD->setStorageClass((VarDecl::StorageClass)Record[Idx++]);
338 VD->setThreadSpecified(Record[Idx++]);
339 VD->setCXXDirectInitializer(Record[Idx++]);
340 VD->setDeclaredInCondition(Record[Idx++]);
341 VD->setPreviousDeclaration(
342 cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
343 VD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
344 if (Record[Idx++])
Douglas Gregor78d15832009-05-26 18:54:04 +0000345 VD->setInit(*Reader.getContext(), Reader.ReadDeclExpr());
Chris Lattner698f9252009-04-27 05:27:42 +0000346}
347
348void PCHDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
349 VisitVarDecl(PD);
350}
351
352void PCHDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
353 VisitVarDecl(PD);
354 PD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
355 // FIXME: default argument (C++ only)
356}
357
358void PCHDeclReader::VisitOriginalParmVarDecl(OriginalParmVarDecl *PD) {
359 VisitParmVarDecl(PD);
360 PD->setOriginalType(Reader.GetType(Record[Idx++]));
361}
362
363void PCHDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
364 VisitDecl(AD);
Chris Lattnerda930612009-04-27 05:58:23 +0000365 AD->setAsmString(cast<StringLiteral>(Reader.ReadDeclExpr()));
Chris Lattner698f9252009-04-27 05:27:42 +0000366}
367
368void PCHDeclReader::VisitBlockDecl(BlockDecl *BD) {
369 VisitDecl(BD);
Chris Lattnerda930612009-04-27 05:58:23 +0000370 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadDeclStmt()));
Chris Lattner698f9252009-04-27 05:27:42 +0000371 unsigned NumParams = Record[Idx++];
372 llvm::SmallVector<ParmVarDecl *, 16> Params;
373 Params.reserve(NumParams);
374 for (unsigned I = 0; I != NumParams; ++I)
375 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor75fdb232009-05-22 22:45:36 +0000376 BD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner698f9252009-04-27 05:27:42 +0000377}
378
379std::pair<uint64_t, uint64_t>
380PCHDeclReader::VisitDeclContext(DeclContext *DC) {
381 uint64_t LexicalOffset = Record[Idx++];
382 uint64_t VisibleOffset = Record[Idx++];
383 return std::make_pair(LexicalOffset, VisibleOffset);
384}
385
386//===----------------------------------------------------------------------===//
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000387// Attribute Reading
Chris Lattner698f9252009-04-27 05:27:42 +0000388//===----------------------------------------------------------------------===//
389
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000390/// \brief Reads attributes from the current stream position.
391Attr *PCHReader::ReadAttributes() {
392 unsigned Code = DeclsCursor.ReadCode();
393 assert(Code == llvm::bitc::UNABBREV_RECORD &&
394 "Expected unabbreviated record"); (void)Code;
395
396 RecordData Record;
397 unsigned Idx = 0;
398 unsigned RecCode = DeclsCursor.ReadRecord(Code, Record);
399 assert(RecCode == pch::DECL_ATTR && "Expected attribute record");
400 (void)RecCode;
401
402#define SIMPLE_ATTR(Name) \
403 case Attr::Name: \
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000404 New = ::new (*Context) Name##Attr(); \
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000405 break
406
407#define STRING_ATTR(Name) \
408 case Attr::Name: \
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000409 New = ::new (*Context) Name##Attr(ReadString(Record, Idx)); \
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000410 break
411
412#define UNSIGNED_ATTR(Name) \
413 case Attr::Name: \
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000414 New = ::new (*Context) Name##Attr(Record[Idx++]); \
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000415 break
416
417 Attr *Attrs = 0;
418 while (Idx < Record.size()) {
419 Attr *New = 0;
420 Attr::Kind Kind = (Attr::Kind)Record[Idx++];
421 bool IsInherited = Record[Idx++];
422
423 switch (Kind) {
424 STRING_ATTR(Alias);
425 UNSIGNED_ATTR(Aligned);
426 SIMPLE_ATTR(AlwaysInline);
427 SIMPLE_ATTR(AnalyzerNoReturn);
428 STRING_ATTR(Annotate);
429 STRING_ATTR(AsmLabel);
430
431 case Attr::Blocks:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000432 New = ::new (*Context) BlocksAttr(
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000433 (BlocksAttr::BlocksAttrTypes)Record[Idx++]);
434 break;
435
436 case Attr::Cleanup:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000437 New = ::new (*Context) CleanupAttr(
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000438 cast<FunctionDecl>(GetDecl(Record[Idx++])));
439 break;
440
441 SIMPLE_ATTR(Const);
442 UNSIGNED_ATTR(Constructor);
443 SIMPLE_ATTR(DLLExport);
444 SIMPLE_ATTR(DLLImport);
445 SIMPLE_ATTR(Deprecated);
446 UNSIGNED_ATTR(Destructor);
447 SIMPLE_ATTR(FastCall);
448
449 case Attr::Format: {
450 std::string Type = ReadString(Record, Idx);
451 unsigned FormatIdx = Record[Idx++];
452 unsigned FirstArg = Record[Idx++];
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000453 New = ::new (*Context) FormatAttr(Type, FormatIdx, FirstArg);
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000454 break;
455 }
Fariborz Jahanian5b530052009-05-13 18:09:35 +0000456
Fariborz Jahanian5b160922009-05-20 17:41:43 +0000457 case Attr::FormatArg: {
458 unsigned FormatIdx = Record[Idx++];
459 New = ::new (*Context) FormatArgAttr(FormatIdx);
460 break;
461 }
462
Fariborz Jahanian5b530052009-05-13 18:09:35 +0000463 case Attr::Sentinel: {
464 int sentinel = Record[Idx++];
465 int nullPos = Record[Idx++];
466 New = ::new (*Context) SentinelAttr(sentinel, nullPos);
467 break;
468 }
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000469
470 SIMPLE_ATTR(GNUInline);
471
472 case Attr::IBOutletKind:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000473 New = ::new (*Context) IBOutletAttr();
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000474 break;
475
476 SIMPLE_ATTR(NoReturn);
477 SIMPLE_ATTR(NoThrow);
478 SIMPLE_ATTR(Nodebug);
479 SIMPLE_ATTR(Noinline);
480
481 case Attr::NonNull: {
482 unsigned Size = Record[Idx++];
483 llvm::SmallVector<unsigned, 16> ArgNums;
484 ArgNums.insert(ArgNums.end(), &Record[Idx], &Record[Idx] + Size);
485 Idx += Size;
Douglas Gregor75fdb232009-05-22 22:45:36 +0000486 New = ::new (*Context) NonNullAttr(ArgNums.data(), Size);
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000487 break;
488 }
489
490 SIMPLE_ATTR(ObjCException);
491 SIMPLE_ATTR(ObjCNSObject);
Ted Kremenekb71368d2009-05-09 02:44:38 +0000492 SIMPLE_ATTR(CFReturnsRetained);
493 SIMPLE_ATTR(NSReturnsRetained);
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000494 SIMPLE_ATTR(Overloadable);
495 UNSIGNED_ATTR(Packed);
496 SIMPLE_ATTR(Pure);
497 UNSIGNED_ATTR(Regparm);
498 STRING_ATTR(Section);
499 SIMPLE_ATTR(StdCall);
500 SIMPLE_ATTR(TransparentUnion);
501 SIMPLE_ATTR(Unavailable);
502 SIMPLE_ATTR(Unused);
503 SIMPLE_ATTR(Used);
504
505 case Attr::Visibility:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000506 New = ::new (*Context) VisibilityAttr(
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000507 (VisibilityAttr::VisibilityTypes)Record[Idx++]);
508 break;
509
510 SIMPLE_ATTR(WarnUnusedResult);
511 SIMPLE_ATTR(Weak);
512 SIMPLE_ATTR(WeakImport);
513 }
514
515 assert(New && "Unable to decode attribute?");
516 New->setInherited(IsInherited);
517 New->setNext(Attrs);
518 Attrs = New;
519 }
520#undef UNSIGNED_ATTR
521#undef STRING_ATTR
522#undef SIMPLE_ATTR
523
524 // The list of attributes was built backwards. Reverse the list
525 // before returning it.
526 Attr *PrevAttr = 0, *NextAttr = 0;
527 while (Attrs) {
528 NextAttr = Attrs->getNext();
529 Attrs->setNext(PrevAttr);
530 PrevAttr = Attrs;
531 Attrs = NextAttr;
532 }
533
534 return PrevAttr;
535}
536
537//===----------------------------------------------------------------------===//
538// PCHReader Implementation
539//===----------------------------------------------------------------------===//
Chris Lattner698f9252009-04-27 05:27:42 +0000540
541/// \brief Note that we have loaded the declaration with the given
542/// Index.
543///
544/// This routine notes that this declaration has already been loaded,
545/// so that future GetDecl calls will return this declaration rather
546/// than trying to load a new declaration.
547inline void PCHReader::LoadedDecl(unsigned Index, Decl *D) {
548 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
549 DeclsLoaded[Index] = D;
550}
551
552
553/// \brief Determine whether the consumer will be interested in seeing
554/// this declaration (via HandleTopLevelDecl).
555///
556/// This routine should return true for anything that might affect
557/// code generation, e.g., inline function definitions, Objective-C
558/// declarations with metadata, etc.
559static bool isConsumerInterestedIn(Decl *D) {
560 if (VarDecl *Var = dyn_cast<VarDecl>(D))
561 return Var->isFileVarDecl() && Var->getInit();
562 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
563 return Func->isThisDeclarationADefinition();
564 return isa<ObjCProtocolDecl>(D);
565}
566
567/// \brief Read the declaration at the given offset from the PCH file.
568Decl *PCHReader::ReadDeclRecord(uint64_t Offset, unsigned Index) {
569 // Keep track of where we are in the stream, then jump back there
570 // after reading this declaration.
Chris Lattnerda930612009-04-27 05:58:23 +0000571 SavedStreamPosition SavedPosition(DeclsCursor);
Chris Lattner698f9252009-04-27 05:27:42 +0000572
Chris Lattnerda930612009-04-27 05:58:23 +0000573 DeclsCursor.JumpToBit(Offset);
Chris Lattner698f9252009-04-27 05:27:42 +0000574 RecordData Record;
Chris Lattnerda930612009-04-27 05:58:23 +0000575 unsigned Code = DeclsCursor.ReadCode();
Chris Lattner698f9252009-04-27 05:27:42 +0000576 unsigned Idx = 0;
577 PCHDeclReader Reader(*this, Record, Idx);
578
Chris Lattnerda930612009-04-27 05:58:23 +0000579 Decl *D = 0;
580 switch ((pch::DeclCode)DeclsCursor.ReadRecord(Code, Record)) {
Chris Lattner698f9252009-04-27 05:27:42 +0000581 case pch::DECL_ATTR:
582 case pch::DECL_CONTEXT_LEXICAL:
583 case pch::DECL_CONTEXT_VISIBLE:
584 assert(false && "Record cannot be de-serialized with ReadDeclRecord");
585 break;
Chris Lattner698f9252009-04-27 05:27:42 +0000586 case pch::DECL_TRANSLATION_UNIT:
587 assert(Index == 0 && "Translation unit must be at index 0");
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000588 D = Context->getTranslationUnitDecl();
Chris Lattner698f9252009-04-27 05:27:42 +0000589 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000590 case pch::DECL_TYPEDEF:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000591 D = TypedefDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner698f9252009-04-27 05:27:42 +0000592 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000593 case pch::DECL_ENUM:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000594 D = EnumDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000595 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000596 case pch::DECL_RECORD:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000597 D = RecordDecl::Create(*Context, TagDecl::TK_struct, 0, SourceLocation(),
Chris Lattner698f9252009-04-27 05:27:42 +0000598 0, 0);
599 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000600 case pch::DECL_ENUM_CONSTANT:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000601 D = EnumConstantDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner698f9252009-04-27 05:27:42 +0000602 0, llvm::APSInt());
603 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000604 case pch::DECL_FUNCTION:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000605 D = FunctionDecl::Create(*Context, 0, SourceLocation(), DeclarationName(),
Chris Lattner698f9252009-04-27 05:27:42 +0000606 QualType());
607 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000608 case pch::DECL_OBJC_METHOD:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000609 D = ObjCMethodDecl::Create(*Context, SourceLocation(), SourceLocation(),
Chris Lattner698f9252009-04-27 05:27:42 +0000610 Selector(), QualType(), 0);
611 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000612 case pch::DECL_OBJC_INTERFACE:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000613 D = ObjCInterfaceDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000614 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000615 case pch::DECL_OBJC_IVAR:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000616 D = ObjCIvarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner698f9252009-04-27 05:27:42 +0000617 ObjCIvarDecl::None);
618 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000619 case pch::DECL_OBJC_PROTOCOL:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000620 D = ObjCProtocolDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000621 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000622 case pch::DECL_OBJC_AT_DEFS_FIELD:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000623 D = ObjCAtDefsFieldDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner698f9252009-04-27 05:27:42 +0000624 QualType(), 0);
625 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000626 case pch::DECL_OBJC_CLASS:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000627 D = ObjCClassDecl::Create(*Context, 0, SourceLocation());
Chris Lattner698f9252009-04-27 05:27:42 +0000628 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000629 case pch::DECL_OBJC_FORWARD_PROTOCOL:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000630 D = ObjCForwardProtocolDecl::Create(*Context, 0, SourceLocation());
Chris Lattner698f9252009-04-27 05:27:42 +0000631 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000632 case pch::DECL_OBJC_CATEGORY:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000633 D = ObjCCategoryDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000634 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000635 case pch::DECL_OBJC_CATEGORY_IMPL:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000636 D = ObjCCategoryImplDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000637 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000638 case pch::DECL_OBJC_IMPLEMENTATION:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000639 D = ObjCImplementationDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000640 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000641 case pch::DECL_OBJC_COMPATIBLE_ALIAS:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000642 D = ObjCCompatibleAliasDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000643 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000644 case pch::DECL_OBJC_PROPERTY:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000645 D = ObjCPropertyDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner698f9252009-04-27 05:27:42 +0000646 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000647 case pch::DECL_OBJC_PROPERTY_IMPL:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000648 D = ObjCPropertyImplDecl::Create(*Context, 0, SourceLocation(),
Chris Lattner698f9252009-04-27 05:27:42 +0000649 SourceLocation(), 0,
650 ObjCPropertyImplDecl::Dynamic, 0);
651 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000652 case pch::DECL_FIELD:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000653 D = FieldDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
Chris Lattner698f9252009-04-27 05:27:42 +0000654 false);
655 break;
Chris Lattner698f9252009-04-27 05:27:42 +0000656 case pch::DECL_VAR:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000657 D = VarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner698f9252009-04-27 05:27:42 +0000658 VarDecl::None, SourceLocation());
659 break;
660
661 case pch::DECL_IMPLICIT_PARAM:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000662 D = ImplicitParamDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner698f9252009-04-27 05:27:42 +0000663 break;
664
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000665 case pch::DECL_PARM_VAR:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000666 D = ParmVarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner698f9252009-04-27 05:27:42 +0000667 VarDecl::None, 0);
668 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000669 case pch::DECL_ORIGINAL_PARM_VAR:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000670 D = OriginalParmVarDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000671 QualType(), QualType(), VarDecl::None, 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000672 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000673 case pch::DECL_FILE_SCOPE_ASM:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000674 D = FileScopeAsmDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner698f9252009-04-27 05:27:42 +0000675 break;
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000676 case pch::DECL_BLOCK:
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000677 D = BlockDecl::Create(*Context, 0, SourceLocation());
Chris Lattner698f9252009-04-27 05:27:42 +0000678 break;
679 }
Chris Lattner698f9252009-04-27 05:27:42 +0000680
681 assert(D && "Unknown declaration reading PCH file");
Chris Lattner4e3fcc82009-04-27 06:01:06 +0000682 LoadedDecl(Index, D);
683 Reader.Visit(D);
Chris Lattner698f9252009-04-27 05:27:42 +0000684
685 // If this declaration is also a declaration context, get the
686 // offsets for its tables of lexical and visible declarations.
687 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
688 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
689 if (Offsets.first || Offsets.second) {
690 DC->setHasExternalLexicalStorage(Offsets.first != 0);
691 DC->setHasExternalVisibleStorage(Offsets.second != 0);
692 DeclContextOffsets[DC] = Offsets;
693 }
694 }
695 assert(Idx == Record.size());
696
697 // If we have deserialized a declaration that has a definition the
698 // AST consumer might need to know about, notify the consumer
699 // about that definition now or queue it for later.
700 if (isConsumerInterestedIn(D)) {
701 if (Consumer) {
702 DeclGroupRef DG(D);
703 Consumer->HandleTopLevelDecl(DG);
704 } else {
705 InterestingDecls.push_back(D);
706 }
707 }
708
709 return D;
710}
711