blob: 99a1a16835ab7bf9f4163dd2a9fb254278ae82da [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++])));
Argiris Kirtzidis503891a2009-07-14 03:18:02 +0000119 TD->setRBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor9060d0e2009-07-21 14:46:17 +0000120 TD->setTagKeywordLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner283c0612009-04-27 05:27:42 +0000121}
122
123void PCHDeclReader::VisitEnumDecl(EnumDecl *ED) {
124 VisitTagDecl(ED);
125 ED->setIntegerType(Reader.GetType(Record[Idx++]));
Douglas Gregor8d717432009-05-27 17:20:35 +0000126 // FIXME: C++ InstantiatedFrom
Chris Lattner283c0612009-04-27 05:27:42 +0000127}
128
129void PCHDeclReader::VisitRecordDecl(RecordDecl *RD) {
130 VisitTagDecl(RD);
131 RD->setHasFlexibleArrayMember(Record[Idx++]);
132 RD->setAnonymousStructOrUnion(Record[Idx++]);
Fariborz Jahanianc3f46052009-07-08 16:37:44 +0000133 RD->setHasObjectMember(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000134}
135
136void PCHDeclReader::VisitValueDecl(ValueDecl *VD) {
137 VisitNamedDecl(VD);
138 VD->setType(Reader.GetType(Record[Idx++]));
139}
140
141void PCHDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
142 VisitValueDecl(ECD);
143 if (Record[Idx++])
Chris Lattner3ef21962009-04-27 05:58:23 +0000144 ECD->setInitExpr(Reader.ReadDeclExpr());
Chris Lattner283c0612009-04-27 05:27:42 +0000145 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
146}
147
148void PCHDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
149 VisitValueDecl(FD);
150 if (Record[Idx++])
Chris Lattner3ef21962009-04-27 05:58:23 +0000151 FD->setLazyBody(Reader.getDeclsCursor().GetCurrentBitNo());
Chris Lattner283c0612009-04-27 05:27:42 +0000152 FD->setPreviousDeclaration(
153 cast_or_null<FunctionDecl>(Reader.GetDecl(Record[Idx++])));
154 FD->setStorageClass((FunctionDecl::StorageClass)Record[Idx++]);
155 FD->setInline(Record[Idx++]);
156 FD->setC99InlineDefinition(Record[Idx++]);
Anders Carlssonf9855602009-05-14 22:15:41 +0000157 FD->setVirtualAsWritten(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000158 FD->setPure(Record[Idx++]);
Anders Carlssond9d6d502009-05-14 21:46:00 +0000159 FD->setHasInheritedPrototype(Record[Idx++]);
160 FD->setHasWrittenPrototype(Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000161 FD->setDeleted(Record[Idx++]);
162 FD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Argiris Kirtzidisd8509472009-06-20 08:09:34 +0000163 FD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor260059c2009-05-14 21:06:31 +0000164 // FIXME: C++ TemplateOrInstantiation
Chris Lattner283c0612009-04-27 05:27:42 +0000165 unsigned NumParams = Record[Idx++];
166 llvm::SmallVector<ParmVarDecl *, 16> Params;
167 Params.reserve(NumParams);
168 for (unsigned I = 0; I != NumParams; ++I)
169 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000170 FD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner283c0612009-04-27 05:27:42 +0000171}
172
173void PCHDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
174 VisitNamedDecl(MD);
175 if (Record[Idx++]) {
176 // In practice, this won't be executed (since method definitions
177 // don't occur in header files).
Chris Lattner3ef21962009-04-27 05:58:23 +0000178 MD->setBody(Reader.ReadDeclStmt());
Chris Lattner283c0612009-04-27 05:27:42 +0000179 MD->setSelfDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
180 MD->setCmdDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
181 }
182 MD->setInstanceMethod(Record[Idx++]);
183 MD->setVariadic(Record[Idx++]);
184 MD->setSynthesized(Record[Idx++]);
185 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
186 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
187 MD->setResultType(Reader.GetType(Record[Idx++]));
188 MD->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
189 unsigned NumParams = Record[Idx++];
190 llvm::SmallVector<ParmVarDecl *, 16> Params;
191 Params.reserve(NumParams);
192 for (unsigned I = 0; I != NumParams; ++I)
193 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000194 MD->setMethodParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner283c0612009-04-27 05:27:42 +0000195}
196
197void PCHDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
198 VisitNamedDecl(CD);
199 CD->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
200}
201
202void PCHDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
203 VisitObjCContainerDecl(ID);
204 ID->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
205 ID->setSuperClass(cast_or_null<ObjCInterfaceDecl>
206 (Reader.GetDecl(Record[Idx++])));
207 unsigned NumProtocols = Record[Idx++];
208 llvm::SmallVector<ObjCProtocolDecl *, 16> Protocols;
209 Protocols.reserve(NumProtocols);
210 for (unsigned I = 0; I != NumProtocols; ++I)
211 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000212 ID->setProtocolList(Protocols.data(), NumProtocols, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000213 unsigned NumIvars = Record[Idx++];
214 llvm::SmallVector<ObjCIvarDecl *, 16> IVars;
215 IVars.reserve(NumIvars);
216 for (unsigned I = 0; I != NumIvars; ++I)
217 IVars.push_back(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000218 ID->setIVarList(IVars.data(), NumIvars, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000219 ID->setCategoryList(
220 cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
221 ID->setForwardDecl(Record[Idx++]);
222 ID->setImplicitInterfaceDecl(Record[Idx++]);
223 ID->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
224 ID->setSuperClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Argiris Kirtzidis57f5a162009-07-18 00:33:23 +0000225 ID->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner283c0612009-04-27 05:27:42 +0000226}
227
228void PCHDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
229 VisitFieldDecl(IVD);
230 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
231}
232
233void PCHDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
234 VisitObjCContainerDecl(PD);
235 PD->setForwardDecl(Record[Idx++]);
236 PD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
237 unsigned NumProtoRefs = Record[Idx++];
238 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
239 ProtoRefs.reserve(NumProtoRefs);
240 for (unsigned I = 0; I != NumProtoRefs; ++I)
241 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Jay Foad9e6bef42009-05-21 09:52:38 +0000242 PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000243}
244
245void PCHDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
246 VisitFieldDecl(FD);
247}
248
249void PCHDeclReader::VisitObjCClassDecl(ObjCClassDecl *CD) {
250 VisitDecl(CD);
251 unsigned NumClassRefs = Record[Idx++];
252 llvm::SmallVector<ObjCInterfaceDecl *, 16> ClassRefs;
253 ClassRefs.reserve(NumClassRefs);
254 for (unsigned I = 0; I != NumClassRefs; ++I)
255 ClassRefs.push_back(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor4e284192009-05-22 22:45:36 +0000256 CD->setClassList(*Reader.getContext(), ClassRefs.data(), NumClassRefs);
Chris Lattner283c0612009-04-27 05:27:42 +0000257}
258
259void PCHDeclReader::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *FPD) {
260 VisitDecl(FPD);
261 unsigned NumProtoRefs = Record[Idx++];
262 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
263 ProtoRefs.reserve(NumProtoRefs);
264 for (unsigned I = 0; I != NumProtoRefs; ++I)
265 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor4e284192009-05-22 22:45:36 +0000266 FPD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000267}
268
269void PCHDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
270 VisitObjCContainerDecl(CD);
271 CD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
272 unsigned NumProtoRefs = Record[Idx++];
273 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
274 ProtoRefs.reserve(NumProtoRefs);
275 for (unsigned I = 0; I != NumProtoRefs; ++I)
276 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Ted Kremenek1b38e642009-05-22 22:34:23 +0000277 CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, *Reader.getContext());
Chris Lattner283c0612009-04-27 05:27:42 +0000278 CD->setNextClassCategory(cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
279 CD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
280}
281
282void PCHDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
283 VisitNamedDecl(CAD);
284 CAD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
285}
286
287void PCHDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
288 VisitNamedDecl(D);
289 D->setType(Reader.GetType(Record[Idx++]));
290 // FIXME: stable encoding
291 D->setPropertyAttributes(
292 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
293 // FIXME: stable encoding
294 D->setPropertyImplementation(
295 (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
296 D->setGetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
297 D->setSetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
298 D->setGetterMethodDecl(
299 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
300 D->setSetterMethodDecl(
301 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
302 D->setPropertyIvarDecl(
303 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
304}
305
306void PCHDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
Argiris Kirtzidisb2082e12009-07-27 19:04:32 +0000307 VisitObjCContainerDecl(D);
Chris Lattner283c0612009-04-27 05:27:42 +0000308 D->setClassInterface(
309 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner283c0612009-04-27 05:27:42 +0000310}
311
312void PCHDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
313 VisitObjCImplDecl(D);
314 D->setIdentifier(Reader.GetIdentifierInfo(Record, Idx));
315}
316
317void PCHDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
318 VisitObjCImplDecl(D);
319 D->setSuperClass(
320 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
321}
322
323
324void PCHDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
325 VisitDecl(D);
326 D->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
327 D->setPropertyDecl(
328 cast_or_null<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
329 D->setPropertyIvarDecl(
330 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
331}
332
333void PCHDeclReader::VisitFieldDecl(FieldDecl *FD) {
334 VisitValueDecl(FD);
335 FD->setMutable(Record[Idx++]);
Steve Naroffb79574e2009-07-14 14:58:18 +0000336 FD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner283c0612009-04-27 05:27:42 +0000337 if (Record[Idx++])
Chris Lattner3ef21962009-04-27 05:58:23 +0000338 FD->setBitWidth(Reader.ReadDeclExpr());
Chris Lattner283c0612009-04-27 05:27:42 +0000339}
340
341void PCHDeclReader::VisitVarDecl(VarDecl *VD) {
342 VisitValueDecl(VD);
343 VD->setStorageClass((VarDecl::StorageClass)Record[Idx++]);
344 VD->setThreadSpecified(Record[Idx++]);
345 VD->setCXXDirectInitializer(Record[Idx++]);
346 VD->setDeclaredInCondition(Record[Idx++]);
347 VD->setPreviousDeclaration(
348 cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
349 VD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
350 if (Record[Idx++])
Douglas Gregor4833ff02009-05-26 18:54:04 +0000351 VD->setInit(*Reader.getContext(), Reader.ReadDeclExpr());
Chris Lattner283c0612009-04-27 05:27:42 +0000352}
353
354void PCHDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
355 VisitVarDecl(PD);
356}
357
358void PCHDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
359 VisitVarDecl(PD);
360 PD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
Chris Lattner283c0612009-04-27 05:27:42 +0000361}
362
363void PCHDeclReader::VisitOriginalParmVarDecl(OriginalParmVarDecl *PD) {
364 VisitParmVarDecl(PD);
365 PD->setOriginalType(Reader.GetType(Record[Idx++]));
366}
367
368void PCHDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
369 VisitDecl(AD);
Chris Lattner3ef21962009-04-27 05:58:23 +0000370 AD->setAsmString(cast<StringLiteral>(Reader.ReadDeclExpr()));
Chris Lattner283c0612009-04-27 05:27:42 +0000371}
372
373void PCHDeclReader::VisitBlockDecl(BlockDecl *BD) {
374 VisitDecl(BD);
Chris Lattner3ef21962009-04-27 05:58:23 +0000375 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadDeclStmt()));
Chris Lattner283c0612009-04-27 05:27:42 +0000376 unsigned NumParams = Record[Idx++];
377 llvm::SmallVector<ParmVarDecl *, 16> Params;
378 Params.reserve(NumParams);
379 for (unsigned I = 0; I != NumParams; ++I)
380 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor4e284192009-05-22 22:45:36 +0000381 BD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner283c0612009-04-27 05:27:42 +0000382}
383
384std::pair<uint64_t, uint64_t>
385PCHDeclReader::VisitDeclContext(DeclContext *DC) {
386 uint64_t LexicalOffset = Record[Idx++];
387 uint64_t VisibleOffset = Record[Idx++];
388 return std::make_pair(LexicalOffset, VisibleOffset);
389}
390
391//===----------------------------------------------------------------------===//
Chris Lattner99dccc82009-04-27 06:01:06 +0000392// Attribute Reading
Chris Lattner283c0612009-04-27 05:27:42 +0000393//===----------------------------------------------------------------------===//
394
Chris Lattner99dccc82009-04-27 06:01:06 +0000395/// \brief Reads attributes from the current stream position.
396Attr *PCHReader::ReadAttributes() {
397 unsigned Code = DeclsCursor.ReadCode();
398 assert(Code == llvm::bitc::UNABBREV_RECORD &&
399 "Expected unabbreviated record"); (void)Code;
400
401 RecordData Record;
402 unsigned Idx = 0;
403 unsigned RecCode = DeclsCursor.ReadRecord(Code, Record);
404 assert(RecCode == pch::DECL_ATTR && "Expected attribute record");
405 (void)RecCode;
406
407#define SIMPLE_ATTR(Name) \
408 case Attr::Name: \
Chris Lattner270d29a2009-04-27 21:45:14 +0000409 New = ::new (*Context) Name##Attr(); \
Chris Lattner99dccc82009-04-27 06:01:06 +0000410 break
411
412#define STRING_ATTR(Name) \
413 case Attr::Name: \
Chris Lattner270d29a2009-04-27 21:45:14 +0000414 New = ::new (*Context) Name##Attr(ReadString(Record, Idx)); \
Chris Lattner99dccc82009-04-27 06:01:06 +0000415 break
416
417#define UNSIGNED_ATTR(Name) \
418 case Attr::Name: \
Chris Lattner270d29a2009-04-27 21:45:14 +0000419 New = ::new (*Context) Name##Attr(Record[Idx++]); \
Chris Lattner99dccc82009-04-27 06:01:06 +0000420 break
421
422 Attr *Attrs = 0;
423 while (Idx < Record.size()) {
424 Attr *New = 0;
425 Attr::Kind Kind = (Attr::Kind)Record[Idx++];
426 bool IsInherited = Record[Idx++];
427
428 switch (Kind) {
429 STRING_ATTR(Alias);
430 UNSIGNED_ATTR(Aligned);
431 SIMPLE_ATTR(AlwaysInline);
432 SIMPLE_ATTR(AnalyzerNoReturn);
433 STRING_ATTR(Annotate);
434 STRING_ATTR(AsmLabel);
435
436 case Attr::Blocks:
Chris Lattner270d29a2009-04-27 21:45:14 +0000437 New = ::new (*Context) BlocksAttr(
Chris Lattner99dccc82009-04-27 06:01:06 +0000438 (BlocksAttr::BlocksAttrTypes)Record[Idx++]);
439 break;
440
441 case Attr::Cleanup:
Chris Lattner270d29a2009-04-27 21:45:14 +0000442 New = ::new (*Context) CleanupAttr(
Chris Lattner99dccc82009-04-27 06:01:06 +0000443 cast<FunctionDecl>(GetDecl(Record[Idx++])));
444 break;
445
446 SIMPLE_ATTR(Const);
447 UNSIGNED_ATTR(Constructor);
448 SIMPLE_ATTR(DLLExport);
449 SIMPLE_ATTR(DLLImport);
450 SIMPLE_ATTR(Deprecated);
451 UNSIGNED_ATTR(Destructor);
452 SIMPLE_ATTR(FastCall);
453
454 case Attr::Format: {
455 std::string Type = ReadString(Record, Idx);
456 unsigned FormatIdx = Record[Idx++];
457 unsigned FirstArg = Record[Idx++];
Chris Lattner270d29a2009-04-27 21:45:14 +0000458 New = ::new (*Context) FormatAttr(Type, FormatIdx, FirstArg);
Chris Lattner99dccc82009-04-27 06:01:06 +0000459 break;
460 }
Fariborz Jahanian180f3412009-05-13 18:09:35 +0000461
Fariborz Jahanian306d7252009-05-20 17:41:43 +0000462 case Attr::FormatArg: {
463 unsigned FormatIdx = Record[Idx++];
464 New = ::new (*Context) FormatArgAttr(FormatIdx);
465 break;
466 }
467
Fariborz Jahanian180f3412009-05-13 18:09:35 +0000468 case Attr::Sentinel: {
469 int sentinel = Record[Idx++];
470 int nullPos = Record[Idx++];
471 New = ::new (*Context) SentinelAttr(sentinel, nullPos);
472 break;
473 }
Chris Lattner99dccc82009-04-27 06:01:06 +0000474
475 SIMPLE_ATTR(GNUInline);
476
477 case Attr::IBOutletKind:
Chris Lattner270d29a2009-04-27 21:45:14 +0000478 New = ::new (*Context) IBOutletAttr();
Chris Lattner99dccc82009-04-27 06:01:06 +0000479 break;
480
481 SIMPLE_ATTR(NoReturn);
482 SIMPLE_ATTR(NoThrow);
483 SIMPLE_ATTR(Nodebug);
484 SIMPLE_ATTR(Noinline);
485
486 case Attr::NonNull: {
487 unsigned Size = Record[Idx++];
488 llvm::SmallVector<unsigned, 16> ArgNums;
489 ArgNums.insert(ArgNums.end(), &Record[Idx], &Record[Idx] + Size);
490 Idx += Size;
Douglas Gregor4e284192009-05-22 22:45:36 +0000491 New = ::new (*Context) NonNullAttr(ArgNums.data(), Size);
Chris Lattner99dccc82009-04-27 06:01:06 +0000492 break;
493 }
Nate Begeman60702162009-06-26 06:32:41 +0000494
495 case Attr::ReqdWorkGroupSize: {
496 unsigned X = Record[Idx++];
497 unsigned Y = Record[Idx++];
498 unsigned Z = Record[Idx++];
499 New = ::new (*Context) ReqdWorkGroupSizeAttr(X, Y, Z);
500 break;
501 }
Chris Lattner99dccc82009-04-27 06:01:06 +0000502
503 SIMPLE_ATTR(ObjCException);
504 SIMPLE_ATTR(ObjCNSObject);
Ted Kremenek13ddd1a2009-05-09 02:44:38 +0000505 SIMPLE_ATTR(CFReturnsRetained);
506 SIMPLE_ATTR(NSReturnsRetained);
Chris Lattner99dccc82009-04-27 06:01:06 +0000507 SIMPLE_ATTR(Overloadable);
508 UNSIGNED_ATTR(Packed);
509 SIMPLE_ATTR(Pure);
510 UNSIGNED_ATTR(Regparm);
511 STRING_ATTR(Section);
512 SIMPLE_ATTR(StdCall);
513 SIMPLE_ATTR(TransparentUnion);
514 SIMPLE_ATTR(Unavailable);
515 SIMPLE_ATTR(Unused);
516 SIMPLE_ATTR(Used);
517
518 case Attr::Visibility:
Chris Lattner270d29a2009-04-27 21:45:14 +0000519 New = ::new (*Context) VisibilityAttr(
Chris Lattner99dccc82009-04-27 06:01:06 +0000520 (VisibilityAttr::VisibilityTypes)Record[Idx++]);
521 break;
522
523 SIMPLE_ATTR(WarnUnusedResult);
524 SIMPLE_ATTR(Weak);
525 SIMPLE_ATTR(WeakImport);
526 }
527
528 assert(New && "Unable to decode attribute?");
529 New->setInherited(IsInherited);
530 New->setNext(Attrs);
531 Attrs = New;
532 }
533#undef UNSIGNED_ATTR
534#undef STRING_ATTR
535#undef SIMPLE_ATTR
536
537 // The list of attributes was built backwards. Reverse the list
538 // before returning it.
539 Attr *PrevAttr = 0, *NextAttr = 0;
540 while (Attrs) {
541 NextAttr = Attrs->getNext();
542 Attrs->setNext(PrevAttr);
543 PrevAttr = Attrs;
544 Attrs = NextAttr;
545 }
546
547 return PrevAttr;
548}
549
550//===----------------------------------------------------------------------===//
551// PCHReader Implementation
552//===----------------------------------------------------------------------===//
Chris Lattner283c0612009-04-27 05:27:42 +0000553
554/// \brief Note that we have loaded the declaration with the given
555/// Index.
556///
557/// This routine notes that this declaration has already been loaded,
558/// so that future GetDecl calls will return this declaration rather
559/// than trying to load a new declaration.
560inline void PCHReader::LoadedDecl(unsigned Index, Decl *D) {
561 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
562 DeclsLoaded[Index] = D;
563}
564
565
566/// \brief Determine whether the consumer will be interested in seeing
567/// this declaration (via HandleTopLevelDecl).
568///
569/// This routine should return true for anything that might affect
570/// code generation, e.g., inline function definitions, Objective-C
571/// declarations with metadata, etc.
572static bool isConsumerInterestedIn(Decl *D) {
573 if (VarDecl *Var = dyn_cast<VarDecl>(D))
574 return Var->isFileVarDecl() && Var->getInit();
575 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
576 return Func->isThisDeclarationADefinition();
577 return isa<ObjCProtocolDecl>(D);
578}
579
580/// \brief Read the declaration at the given offset from the PCH file.
581Decl *PCHReader::ReadDeclRecord(uint64_t Offset, unsigned Index) {
582 // Keep track of where we are in the stream, then jump back there
583 // after reading this declaration.
Chris Lattner3ef21962009-04-27 05:58:23 +0000584 SavedStreamPosition SavedPosition(DeclsCursor);
Chris Lattner283c0612009-04-27 05:27:42 +0000585
Douglas Gregor1e782812009-07-06 18:54:52 +0000586 // Note that we are loading a declaration record.
587 LoadingTypeOrDecl Loading(*this);
588
Chris Lattner3ef21962009-04-27 05:58:23 +0000589 DeclsCursor.JumpToBit(Offset);
Chris Lattner283c0612009-04-27 05:27:42 +0000590 RecordData Record;
Chris Lattner3ef21962009-04-27 05:58:23 +0000591 unsigned Code = DeclsCursor.ReadCode();
Chris Lattner283c0612009-04-27 05:27:42 +0000592 unsigned Idx = 0;
593 PCHDeclReader Reader(*this, Record, Idx);
594
Chris Lattner3ef21962009-04-27 05:58:23 +0000595 Decl *D = 0;
596 switch ((pch::DeclCode)DeclsCursor.ReadRecord(Code, Record)) {
Chris Lattner283c0612009-04-27 05:27:42 +0000597 case pch::DECL_ATTR:
598 case pch::DECL_CONTEXT_LEXICAL:
599 case pch::DECL_CONTEXT_VISIBLE:
600 assert(false && "Record cannot be de-serialized with ReadDeclRecord");
601 break;
Chris Lattner283c0612009-04-27 05:27:42 +0000602 case pch::DECL_TRANSLATION_UNIT:
603 assert(Index == 0 && "Translation unit must be at index 0");
Chris Lattner270d29a2009-04-27 21:45:14 +0000604 D = Context->getTranslationUnitDecl();
Chris Lattner283c0612009-04-27 05:27:42 +0000605 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000606 case pch::DECL_TYPEDEF:
Chris Lattner270d29a2009-04-27 21:45:14 +0000607 D = TypedefDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner283c0612009-04-27 05:27:42 +0000608 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000609 case pch::DECL_ENUM:
Douglas Gregor9060d0e2009-07-21 14:46:17 +0000610 D = EnumDecl::Create(*Context, 0, SourceLocation(), 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000611 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000612 case pch::DECL_RECORD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000613 D = RecordDecl::Create(*Context, TagDecl::TK_struct, 0, SourceLocation(),
Douglas Gregor9060d0e2009-07-21 14:46:17 +0000614 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000615 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000616 case pch::DECL_ENUM_CONSTANT:
Chris Lattner270d29a2009-04-27 21:45:14 +0000617 D = EnumConstantDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000618 0, llvm::APSInt());
619 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000620 case pch::DECL_FUNCTION:
Chris Lattner270d29a2009-04-27 21:45:14 +0000621 D = FunctionDecl::Create(*Context, 0, SourceLocation(), DeclarationName(),
Chris Lattner283c0612009-04-27 05:27:42 +0000622 QualType());
623 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000624 case pch::DECL_OBJC_METHOD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000625 D = ObjCMethodDecl::Create(*Context, SourceLocation(), SourceLocation(),
Chris Lattner283c0612009-04-27 05:27:42 +0000626 Selector(), QualType(), 0);
627 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000628 case pch::DECL_OBJC_INTERFACE:
Chris Lattner270d29a2009-04-27 21:45:14 +0000629 D = ObjCInterfaceDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000630 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000631 case pch::DECL_OBJC_IVAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000632 D = ObjCIvarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000633 ObjCIvarDecl::None);
634 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000635 case pch::DECL_OBJC_PROTOCOL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000636 D = ObjCProtocolDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000637 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000638 case pch::DECL_OBJC_AT_DEFS_FIELD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000639 D = ObjCAtDefsFieldDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner283c0612009-04-27 05:27:42 +0000640 QualType(), 0);
641 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000642 case pch::DECL_OBJC_CLASS:
Chris Lattner270d29a2009-04-27 21:45:14 +0000643 D = ObjCClassDecl::Create(*Context, 0, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000644 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000645 case pch::DECL_OBJC_FORWARD_PROTOCOL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000646 D = ObjCForwardProtocolDecl::Create(*Context, 0, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000647 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000648 case pch::DECL_OBJC_CATEGORY:
Chris Lattner270d29a2009-04-27 21:45:14 +0000649 D = ObjCCategoryDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000650 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000651 case pch::DECL_OBJC_CATEGORY_IMPL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000652 D = ObjCCategoryImplDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000653 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000654 case pch::DECL_OBJC_IMPLEMENTATION:
Chris Lattner270d29a2009-04-27 21:45:14 +0000655 D = ObjCImplementationDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000656 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000657 case pch::DECL_OBJC_COMPATIBLE_ALIAS:
Chris Lattner270d29a2009-04-27 21:45:14 +0000658 D = ObjCCompatibleAliasDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000659 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000660 case pch::DECL_OBJC_PROPERTY:
Chris Lattner270d29a2009-04-27 21:45:14 +0000661 D = ObjCPropertyDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner283c0612009-04-27 05:27:42 +0000662 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000663 case pch::DECL_OBJC_PROPERTY_IMPL:
Chris Lattner270d29a2009-04-27 21:45:14 +0000664 D = ObjCPropertyImplDecl::Create(*Context, 0, SourceLocation(),
Chris Lattner283c0612009-04-27 05:27:42 +0000665 SourceLocation(), 0,
666 ObjCPropertyImplDecl::Dynamic, 0);
667 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000668 case pch::DECL_FIELD:
Chris Lattner270d29a2009-04-27 21:45:14 +0000669 D = FieldDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
Steve Naroffb79574e2009-07-14 14:58:18 +0000670 false, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000671 break;
Chris Lattner283c0612009-04-27 05:27:42 +0000672 case pch::DECL_VAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000673 D = VarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000674 VarDecl::None, SourceLocation());
675 break;
676
677 case pch::DECL_IMPLICIT_PARAM:
Chris Lattner270d29a2009-04-27 21:45:14 +0000678 D = ImplicitParamDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner283c0612009-04-27 05:27:42 +0000679 break;
680
Chris Lattner99dccc82009-04-27 06:01:06 +0000681 case pch::DECL_PARM_VAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000682 D = ParmVarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner283c0612009-04-27 05:27:42 +0000683 VarDecl::None, 0);
684 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000685 case pch::DECL_ORIGINAL_PARM_VAR:
Chris Lattner270d29a2009-04-27 21:45:14 +0000686 D = OriginalParmVarDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner99dccc82009-04-27 06:01:06 +0000687 QualType(), QualType(), VarDecl::None, 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000688 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000689 case pch::DECL_FILE_SCOPE_ASM:
Chris Lattner270d29a2009-04-27 21:45:14 +0000690 D = FileScopeAsmDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner283c0612009-04-27 05:27:42 +0000691 break;
Chris Lattner99dccc82009-04-27 06:01:06 +0000692 case pch::DECL_BLOCK:
Chris Lattner270d29a2009-04-27 21:45:14 +0000693 D = BlockDecl::Create(*Context, 0, SourceLocation());
Chris Lattner283c0612009-04-27 05:27:42 +0000694 break;
695 }
Chris Lattner283c0612009-04-27 05:27:42 +0000696
697 assert(D && "Unknown declaration reading PCH file");
Chris Lattner99dccc82009-04-27 06:01:06 +0000698 LoadedDecl(Index, D);
699 Reader.Visit(D);
Chris Lattner283c0612009-04-27 05:27:42 +0000700
701 // If this declaration is also a declaration context, get the
702 // offsets for its tables of lexical and visible declarations.
703 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
704 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
705 if (Offsets.first || Offsets.second) {
706 DC->setHasExternalLexicalStorage(Offsets.first != 0);
707 DC->setHasExternalVisibleStorage(Offsets.second != 0);
708 DeclContextOffsets[DC] = Offsets;
709 }
710 }
711 assert(Idx == Record.size());
712
713 // If we have deserialized a declaration that has a definition the
714 // AST consumer might need to know about, notify the consumer
715 // about that definition now or queue it for later.
716 if (isConsumerInterestedIn(D)) {
717 if (Consumer) {
718 DeclGroupRef DG(D);
719 Consumer->HandleTopLevelDecl(DG);
720 } else {
721 InterestingDecls.push_back(D);
722 }
723 }
724
725 return D;
726}
727