blob: 976b98dd11cf01521440f53d70b4fc062d3b6933 [file] [log] [blame]
Douglas Gregorc34897d2009-04-09 22:27:44 +00001//===--- PCHReader.cpp - Precompiled Headers Reader -------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the PCHReader class, which reads a precompiled header.
11//
12//===----------------------------------------------------------------------===//
13#include "clang/Frontend/PCHReader.h"
Douglas Gregor179cfb12009-04-10 20:39:37 +000014#include "clang/Frontend/FrontendDiagnostic.h"
Douglas Gregorc713da92009-04-21 22:25:48 +000015#include "../Sema/Sema.h" // FIXME: move Sema headers elsewhere
Douglas Gregor631f6c62009-04-14 00:24:19 +000016#include "clang/AST/ASTConsumer.h"
Douglas Gregorc34897d2009-04-09 22:27:44 +000017#include "clang/AST/ASTContext.h"
18#include "clang/AST/Decl.h"
Douglas Gregor631f6c62009-04-14 00:24:19 +000019#include "clang/AST/DeclGroup.h"
Douglas Gregorddf4d092009-04-16 22:29:51 +000020#include "clang/AST/DeclVisitor.h"
Douglas Gregorc10f86f2009-04-14 21:18:50 +000021#include "clang/AST/Expr.h"
22#include "clang/AST/StmtVisitor.h"
Douglas Gregorc34897d2009-04-09 22:27:44 +000023#include "clang/AST/Type.h"
Chris Lattnerdb1c81b2009-04-10 21:41:48 +000024#include "clang/Lex/MacroInfo.h"
Douglas Gregorab1cef72009-04-10 03:52:48 +000025#include "clang/Lex/Preprocessor.h"
Douglas Gregorc713da92009-04-21 22:25:48 +000026#include "clang/Basic/OnDiskHashTable.h"
Douglas Gregorab1cef72009-04-10 03:52:48 +000027#include "clang/Basic/SourceManager.h"
Douglas Gregor635f97f2009-04-13 16:31:14 +000028#include "clang/Basic/SourceManagerInternals.h"
Douglas Gregorab1cef72009-04-10 03:52:48 +000029#include "clang/Basic/FileManager.h"
Douglas Gregorb5887f32009-04-10 21:16:55 +000030#include "clang/Basic/TargetInfo.h"
Douglas Gregorc34897d2009-04-09 22:27:44 +000031#include "llvm/Bitcode/BitstreamReader.h"
32#include "llvm/Support/Compiler.h"
33#include "llvm/Support/MemoryBuffer.h"
34#include <algorithm>
35#include <cstdio>
36
37using namespace clang;
38
Douglas Gregore0ad2dd2009-04-21 23:56:24 +000039namespace {
40 /// \brief Helper class that saves the current stream position and
41 /// then restores it when destroyed.
42 struct VISIBILITY_HIDDEN SavedStreamPosition {
43 explicit SavedStreamPosition(llvm::BitstreamReader &Stream)
44 : Stream(Stream), Offset(Stream.GetCurrentBitNo()) { }
45
46 ~SavedStreamPosition() {
47 Stream.JumpToBit(Offset);
48 }
49
50 private:
51 llvm::BitstreamReader &Stream;
52 uint64_t Offset;
53 };
54}
55
Douglas Gregorc34897d2009-04-09 22:27:44 +000056//===----------------------------------------------------------------------===//
57// Declaration deserialization
58//===----------------------------------------------------------------------===//
59namespace {
Douglas Gregorddf4d092009-04-16 22:29:51 +000060 class VISIBILITY_HIDDEN PCHDeclReader
61 : public DeclVisitor<PCHDeclReader, void> {
Douglas Gregorc34897d2009-04-09 22:27:44 +000062 PCHReader &Reader;
63 const PCHReader::RecordData &Record;
64 unsigned &Idx;
65
66 public:
67 PCHDeclReader(PCHReader &Reader, const PCHReader::RecordData &Record,
68 unsigned &Idx)
69 : Reader(Reader), Record(Record), Idx(Idx) { }
70
71 void VisitDecl(Decl *D);
72 void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
73 void VisitNamedDecl(NamedDecl *ND);
74 void VisitTypeDecl(TypeDecl *TD);
75 void VisitTypedefDecl(TypedefDecl *TD);
Douglas Gregor47f1b2c2009-04-13 18:14:40 +000076 void VisitTagDecl(TagDecl *TD);
77 void VisitEnumDecl(EnumDecl *ED);
Douglas Gregor982365e2009-04-13 21:20:57 +000078 void VisitRecordDecl(RecordDecl *RD);
Douglas Gregorc34897d2009-04-09 22:27:44 +000079 void VisitValueDecl(ValueDecl *VD);
Douglas Gregor47f1b2c2009-04-13 18:14:40 +000080 void VisitEnumConstantDecl(EnumConstantDecl *ECD);
Douglas Gregor23ce3a52009-04-13 22:18:37 +000081 void VisitFunctionDecl(FunctionDecl *FD);
Douglas Gregor982365e2009-04-13 21:20:57 +000082 void VisitFieldDecl(FieldDecl *FD);
Douglas Gregorc34897d2009-04-09 22:27:44 +000083 void VisitVarDecl(VarDecl *VD);
Douglas Gregor23ce3a52009-04-13 22:18:37 +000084 void VisitParmVarDecl(ParmVarDecl *PD);
85 void VisitOriginalParmVarDecl(OriginalParmVarDecl *PD);
Douglas Gregor2a491792009-04-13 22:49:25 +000086 void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
87 void VisitBlockDecl(BlockDecl *BD);
Douglas Gregorc34897d2009-04-09 22:27:44 +000088 std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
Steve Naroff79ea0e02009-04-20 15:06:07 +000089 void VisitObjCMethodDecl(ObjCMethodDecl *D);
Steve Naroff7333b492009-04-20 20:09:33 +000090 void VisitObjCContainerDecl(ObjCContainerDecl *D);
91 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
92 void VisitObjCIvarDecl(ObjCIvarDecl *D);
Steve Naroff97b53bd2009-04-21 15:12:33 +000093 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
94 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
95 void VisitObjCClassDecl(ObjCClassDecl *D);
96 void VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *D);
97 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
98 void VisitObjCImplDecl(ObjCImplDecl *D);
99 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
100 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
101 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
102 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
103 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
Douglas Gregorc34897d2009-04-09 22:27:44 +0000104 };
105}
106
107void PCHDeclReader::VisitDecl(Decl *D) {
108 D->setDeclContext(cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
109 D->setLexicalDeclContext(
110 cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
111 D->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
112 D->setInvalidDecl(Record[Idx++]);
Douglas Gregor1c507882009-04-15 21:30:51 +0000113 if (Record[Idx++])
114 D->addAttr(Reader.ReadAttributes());
Douglas Gregorc34897d2009-04-09 22:27:44 +0000115 D->setImplicit(Record[Idx++]);
116 D->setAccess((AccessSpecifier)Record[Idx++]);
117}
118
119void PCHDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
120 VisitDecl(TU);
121}
122
123void PCHDeclReader::VisitNamedDecl(NamedDecl *ND) {
124 VisitDecl(ND);
125 ND->setDeclName(Reader.ReadDeclarationName(Record, Idx));
126}
127
128void PCHDeclReader::VisitTypeDecl(TypeDecl *TD) {
129 VisitNamedDecl(TD);
Douglas Gregorc34897d2009-04-09 22:27:44 +0000130 TD->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
131}
132
133void PCHDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
Douglas Gregor88fd09d2009-04-13 20:46:52 +0000134 // Note that we cannot use VisitTypeDecl here, because we need to
135 // set the underlying type of the typedef *before* we try to read
136 // the type associated with the TypedefDecl.
137 VisitNamedDecl(TD);
138 TD->setUnderlyingType(Reader.GetType(Record[Idx + 1]));
139 TD->setTypeForDecl(Reader.GetType(Record[Idx]).getTypePtr());
140 Idx += 2;
Douglas Gregorc34897d2009-04-09 22:27:44 +0000141}
142
Douglas Gregor47f1b2c2009-04-13 18:14:40 +0000143void PCHDeclReader::VisitTagDecl(TagDecl *TD) {
144 VisitTypeDecl(TD);
145 TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
146 TD->setDefinition(Record[Idx++]);
147 TD->setTypedefForAnonDecl(
148 cast_or_null<TypedefDecl>(Reader.GetDecl(Record[Idx++])));
149}
150
151void PCHDeclReader::VisitEnumDecl(EnumDecl *ED) {
152 VisitTagDecl(ED);
153 ED->setIntegerType(Reader.GetType(Record[Idx++]));
154}
155
Douglas Gregor982365e2009-04-13 21:20:57 +0000156void PCHDeclReader::VisitRecordDecl(RecordDecl *RD) {
157 VisitTagDecl(RD);
158 RD->setHasFlexibleArrayMember(Record[Idx++]);
159 RD->setAnonymousStructOrUnion(Record[Idx++]);
160}
161
Douglas Gregorc34897d2009-04-09 22:27:44 +0000162void PCHDeclReader::VisitValueDecl(ValueDecl *VD) {
163 VisitNamedDecl(VD);
164 VD->setType(Reader.GetType(Record[Idx++]));
165}
166
Douglas Gregor47f1b2c2009-04-13 18:14:40 +0000167void PCHDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
168 VisitValueDecl(ECD);
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000169 if (Record[Idx++])
170 ECD->setInitExpr(Reader.ReadExpr());
Douglas Gregor47f1b2c2009-04-13 18:14:40 +0000171 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
172}
173
Douglas Gregor23ce3a52009-04-13 22:18:37 +0000174void PCHDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
175 VisitValueDecl(FD);
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000176 if (Record[Idx++])
Douglas Gregor3b9a7c82009-04-18 00:07:54 +0000177 FD->setLazyBody(Reader.getStream().GetCurrentBitNo());
Douglas Gregor23ce3a52009-04-13 22:18:37 +0000178 FD->setPreviousDeclaration(
179 cast_or_null<FunctionDecl>(Reader.GetDecl(Record[Idx++])));
180 FD->setStorageClass((FunctionDecl::StorageClass)Record[Idx++]);
181 FD->setInline(Record[Idx++]);
182 FD->setVirtual(Record[Idx++]);
183 FD->setPure(Record[Idx++]);
184 FD->setInheritedPrototype(Record[Idx++]);
185 FD->setHasPrototype(Record[Idx++]);
186 FD->setDeleted(Record[Idx++]);
187 FD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
188 unsigned NumParams = Record[Idx++];
189 llvm::SmallVector<ParmVarDecl *, 16> Params;
190 Params.reserve(NumParams);
191 for (unsigned I = 0; I != NumParams; ++I)
192 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
193 FD->setParams(Reader.getContext(), &Params[0], NumParams);
194}
195
Steve Naroff79ea0e02009-04-20 15:06:07 +0000196void PCHDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
197 VisitNamedDecl(MD);
198 if (Record[Idx++]) {
199 // In practice, this won't be executed (since method definitions
200 // don't occur in header files).
201 MD->setBody(cast<CompoundStmt>(Reader.GetStmt(Record[Idx++])));
202 MD->setSelfDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
203 MD->setCmdDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
204 }
205 MD->setInstanceMethod(Record[Idx++]);
206 MD->setVariadic(Record[Idx++]);
207 MD->setSynthesized(Record[Idx++]);
208 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
209 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
210 MD->setResultType(Reader.GetType(Record[Idx++]));
211 MD->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
212 unsigned NumParams = Record[Idx++];
213 llvm::SmallVector<ParmVarDecl *, 16> Params;
214 Params.reserve(NumParams);
215 for (unsigned I = 0; I != NumParams; ++I)
216 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
217 MD->setMethodParams(Reader.getContext(), &Params[0], NumParams);
218}
219
Steve Naroff7333b492009-04-20 20:09:33 +0000220void PCHDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
221 VisitNamedDecl(CD);
222 CD->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
223}
224
225void PCHDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
226 VisitObjCContainerDecl(ID);
227 ID->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
Chris Lattner80f83c62009-04-22 05:57:30 +0000228 ID->setSuperClass(cast_or_null<ObjCInterfaceDecl>
229 (Reader.GetDecl(Record[Idx++])));
Steve Naroff7333b492009-04-20 20:09:33 +0000230 unsigned NumIvars = Record[Idx++];
231 llvm::SmallVector<ObjCIvarDecl *, 16> IVars;
232 IVars.reserve(NumIvars);
233 for (unsigned I = 0; I != NumIvars; ++I)
234 IVars.push_back(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
235 ID->setIVarList(&IVars[0], NumIvars, Reader.getContext());
236
237 ID->setForwardDecl(Record[Idx++]);
238 ID->setImplicitInterfaceDecl(Record[Idx++]);
239 ID->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
240 ID->setSuperClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner80f83c62009-04-22 05:57:30 +0000241 ID->setAtEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Steve Naroff7333b492009-04-20 20:09:33 +0000242 // FIXME: add protocols, categories.
243}
244
245void PCHDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
246 VisitFieldDecl(IVD);
247 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
248}
249
Steve Naroff97b53bd2009-04-21 15:12:33 +0000250void PCHDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
251 VisitObjCContainerDecl(PD);
252 PD->setForwardDecl(Record[Idx++]);
253 PD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
254 unsigned NumProtoRefs = Record[Idx++];
255 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
256 ProtoRefs.reserve(NumProtoRefs);
257 for (unsigned I = 0; I != NumProtoRefs; ++I)
258 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
259 PD->setProtocolList(&ProtoRefs[0], NumProtoRefs, Reader.getContext());
260}
261
262void PCHDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
263 VisitFieldDecl(FD);
264}
265
266void PCHDeclReader::VisitObjCClassDecl(ObjCClassDecl *CD) {
267 VisitDecl(CD);
268 unsigned NumClassRefs = Record[Idx++];
269 llvm::SmallVector<ObjCInterfaceDecl *, 16> ClassRefs;
270 ClassRefs.reserve(NumClassRefs);
271 for (unsigned I = 0; I != NumClassRefs; ++I)
272 ClassRefs.push_back(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
273 CD->setClassList(Reader.getContext(), &ClassRefs[0], NumClassRefs);
274}
275
276void PCHDeclReader::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *FPD) {
277 VisitDecl(FPD);
278 unsigned NumProtoRefs = Record[Idx++];
279 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
280 ProtoRefs.reserve(NumProtoRefs);
281 for (unsigned I = 0; I != NumProtoRefs; ++I)
282 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
283 FPD->setProtocolList(&ProtoRefs[0], NumProtoRefs, Reader.getContext());
284}
285
286void PCHDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
287 VisitObjCContainerDecl(CD);
288 CD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
289 unsigned NumProtoRefs = Record[Idx++];
290 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
291 ProtoRefs.reserve(NumProtoRefs);
292 for (unsigned I = 0; I != NumProtoRefs; ++I)
293 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
294 CD->setProtocolList(&ProtoRefs[0], NumProtoRefs, Reader.getContext());
295 CD->setNextClassCategory(cast<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
296 CD->setLocEnd(SourceLocation::getFromRawEncoding(Record[Idx++]));
297}
298
299void PCHDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
300 VisitNamedDecl(CAD);
301 CAD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
302}
303
304void PCHDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
305 VisitNamedDecl(D);
306 // FIXME: Implement.
307}
308
309void PCHDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
310 VisitDecl(D);
311 // FIXME: Implement.
312}
313
314void PCHDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
315 VisitObjCImplDecl(D);
316 // FIXME: Implement.
317}
318
319void PCHDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
320 VisitObjCImplDecl(D);
321 // FIXME: Implement.
322}
323
324
325void PCHDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
326 VisitDecl(D);
327 // FIXME: Implement.
328}
329
Douglas Gregor982365e2009-04-13 21:20:57 +0000330void PCHDeclReader::VisitFieldDecl(FieldDecl *FD) {
331 VisitValueDecl(FD);
332 FD->setMutable(Record[Idx++]);
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000333 if (Record[Idx++])
334 FD->setBitWidth(Reader.ReadExpr());
Douglas Gregor982365e2009-04-13 21:20:57 +0000335}
336
Douglas Gregorc34897d2009-04-09 22:27:44 +0000337void PCHDeclReader::VisitVarDecl(VarDecl *VD) {
338 VisitValueDecl(VD);
339 VD->setStorageClass((VarDecl::StorageClass)Record[Idx++]);
340 VD->setThreadSpecified(Record[Idx++]);
341 VD->setCXXDirectInitializer(Record[Idx++]);
342 VD->setDeclaredInCondition(Record[Idx++]);
343 VD->setPreviousDeclaration(
344 cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
345 VD->setTypeSpecStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000346 if (Record[Idx++])
347 VD->setInit(Reader.ReadExpr());
Douglas Gregorc34897d2009-04-09 22:27:44 +0000348}
349
Douglas Gregor23ce3a52009-04-13 22:18:37 +0000350void PCHDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
351 VisitVarDecl(PD);
352 PD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000353 // FIXME: default argument (C++ only)
Douglas Gregor23ce3a52009-04-13 22:18:37 +0000354}
355
356void PCHDeclReader::VisitOriginalParmVarDecl(OriginalParmVarDecl *PD) {
357 VisitParmVarDecl(PD);
358 PD->setOriginalType(Reader.GetType(Record[Idx++]));
359}
360
Douglas Gregor2a491792009-04-13 22:49:25 +0000361void PCHDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
362 VisitDecl(AD);
Douglas Gregor3c8ff3e2009-04-15 18:43:11 +0000363 AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr()));
Douglas Gregor2a491792009-04-13 22:49:25 +0000364}
365
366void PCHDeclReader::VisitBlockDecl(BlockDecl *BD) {
367 VisitDecl(BD);
Douglas Gregore246b742009-04-17 19:21:43 +0000368 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt()));
Douglas Gregor2a491792009-04-13 22:49:25 +0000369 unsigned NumParams = Record[Idx++];
370 llvm::SmallVector<ParmVarDecl *, 16> Params;
371 Params.reserve(NumParams);
372 for (unsigned I = 0; I != NumParams; ++I)
373 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
374 BD->setParams(Reader.getContext(), &Params[0], NumParams);
375}
376
Douglas Gregorc34897d2009-04-09 22:27:44 +0000377std::pair<uint64_t, uint64_t>
378PCHDeclReader::VisitDeclContext(DeclContext *DC) {
379 uint64_t LexicalOffset = Record[Idx++];
380 uint64_t VisibleOffset = 0;
381 if (DC->getPrimaryContext() == DC)
382 VisibleOffset = Record[Idx++];
383 return std::make_pair(LexicalOffset, VisibleOffset);
384}
385
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000386//===----------------------------------------------------------------------===//
387// Statement/expression deserialization
388//===----------------------------------------------------------------------===//
389namespace {
390 class VISIBILITY_HIDDEN PCHStmtReader
Douglas Gregora151ba42009-04-14 23:32:43 +0000391 : public StmtVisitor<PCHStmtReader, unsigned> {
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000392 PCHReader &Reader;
393 const PCHReader::RecordData &Record;
394 unsigned &Idx;
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000395 llvm::SmallVectorImpl<Stmt *> &StmtStack;
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000396
397 public:
398 PCHStmtReader(PCHReader &Reader, const PCHReader::RecordData &Record,
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000399 unsigned &Idx, llvm::SmallVectorImpl<Stmt *> &StmtStack)
400 : Reader(Reader), Record(Record), Idx(Idx), StmtStack(StmtStack) { }
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000401
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000402 /// \brief The number of record fields required for the Stmt class
403 /// itself.
404 static const unsigned NumStmtFields = 0;
405
Douglas Gregor596e0932009-04-15 16:35:07 +0000406 /// \brief The number of record fields required for the Expr class
407 /// itself.
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000408 static const unsigned NumExprFields = NumStmtFields + 3;
Douglas Gregor596e0932009-04-15 16:35:07 +0000409
Douglas Gregora151ba42009-04-14 23:32:43 +0000410 // Each of the Visit* functions reads in part of the expression
411 // from the given record and the current expression stack, then
412 // return the total number of operands that it read from the
413 // expression stack.
414
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000415 unsigned VisitStmt(Stmt *S);
416 unsigned VisitNullStmt(NullStmt *S);
417 unsigned VisitCompoundStmt(CompoundStmt *S);
418 unsigned VisitSwitchCase(SwitchCase *S);
419 unsigned VisitCaseStmt(CaseStmt *S);
420 unsigned VisitDefaultStmt(DefaultStmt *S);
Douglas Gregor6e411bf2009-04-17 18:18:49 +0000421 unsigned VisitLabelStmt(LabelStmt *S);
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000422 unsigned VisitIfStmt(IfStmt *S);
423 unsigned VisitSwitchStmt(SwitchStmt *S);
Douglas Gregora6b503f2009-04-17 00:16:09 +0000424 unsigned VisitWhileStmt(WhileStmt *S);
Douglas Gregorfb5f25b2009-04-17 00:29:51 +0000425 unsigned VisitDoStmt(DoStmt *S);
426 unsigned VisitForStmt(ForStmt *S);
Douglas Gregor6e411bf2009-04-17 18:18:49 +0000427 unsigned VisitGotoStmt(GotoStmt *S);
Douglas Gregor95a8fe32009-04-17 18:58:21 +0000428 unsigned VisitIndirectGotoStmt(IndirectGotoStmt *S);
Douglas Gregora6b503f2009-04-17 00:16:09 +0000429 unsigned VisitContinueStmt(ContinueStmt *S);
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000430 unsigned VisitBreakStmt(BreakStmt *S);
Douglas Gregor22d2dcd2009-04-17 16:34:57 +0000431 unsigned VisitReturnStmt(ReturnStmt *S);
Douglas Gregor78ff29f2009-04-17 16:55:36 +0000432 unsigned VisitDeclStmt(DeclStmt *S);
Douglas Gregor3e1f9fb2009-04-17 20:57:14 +0000433 unsigned VisitAsmStmt(AsmStmt *S);
Douglas Gregora151ba42009-04-14 23:32:43 +0000434 unsigned VisitExpr(Expr *E);
435 unsigned VisitPredefinedExpr(PredefinedExpr *E);
436 unsigned VisitDeclRefExpr(DeclRefExpr *E);
437 unsigned VisitIntegerLiteral(IntegerLiteral *E);
438 unsigned VisitFloatingLiteral(FloatingLiteral *E);
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000439 unsigned VisitImaginaryLiteral(ImaginaryLiteral *E);
Douglas Gregor596e0932009-04-15 16:35:07 +0000440 unsigned VisitStringLiteral(StringLiteral *E);
Douglas Gregora151ba42009-04-14 23:32:43 +0000441 unsigned VisitCharacterLiteral(CharacterLiteral *E);
Douglas Gregor4ea0b1f2009-04-14 23:59:37 +0000442 unsigned VisitParenExpr(ParenExpr *E);
Douglas Gregor12d74052009-04-15 15:58:59 +0000443 unsigned VisitUnaryOperator(UnaryOperator *E);
444 unsigned VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E);
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000445 unsigned VisitArraySubscriptExpr(ArraySubscriptExpr *E);
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +0000446 unsigned VisitCallExpr(CallExpr *E);
447 unsigned VisitMemberExpr(MemberExpr *E);
Douglas Gregora151ba42009-04-14 23:32:43 +0000448 unsigned VisitCastExpr(CastExpr *E);
Douglas Gregorc75d0cb2009-04-15 00:25:59 +0000449 unsigned VisitBinaryOperator(BinaryOperator *E);
Douglas Gregorc599bbf2009-04-15 22:40:36 +0000450 unsigned VisitCompoundAssignOperator(CompoundAssignOperator *E);
451 unsigned VisitConditionalOperator(ConditionalOperator *E);
Douglas Gregora151ba42009-04-14 23:32:43 +0000452 unsigned VisitImplicitCastExpr(ImplicitCastExpr *E);
Douglas Gregorc75d0cb2009-04-15 00:25:59 +0000453 unsigned VisitExplicitCastExpr(ExplicitCastExpr *E);
454 unsigned VisitCStyleCastExpr(CStyleCastExpr *E);
Douglas Gregorb70b48f2009-04-16 02:33:48 +0000455 unsigned VisitCompoundLiteralExpr(CompoundLiteralExpr *E);
Douglas Gregorec0b8292009-04-15 23:02:49 +0000456 unsigned VisitExtVectorElementExpr(ExtVectorElementExpr *E);
Douglas Gregor6710a3c2009-04-16 00:55:48 +0000457 unsigned VisitInitListExpr(InitListExpr *E);
458 unsigned VisitDesignatedInitExpr(DesignatedInitExpr *E);
459 unsigned VisitImplicitValueInitExpr(ImplicitValueInitExpr *E);
Douglas Gregorec0b8292009-04-15 23:02:49 +0000460 unsigned VisitVAArgExpr(VAArgExpr *E);
Douglas Gregor95a8fe32009-04-17 18:58:21 +0000461 unsigned VisitAddrLabelExpr(AddrLabelExpr *E);
Douglas Gregoreca12f62009-04-17 19:05:30 +0000462 unsigned VisitStmtExpr(StmtExpr *E);
Douglas Gregor209d4622009-04-15 23:33:31 +0000463 unsigned VisitTypesCompatibleExpr(TypesCompatibleExpr *E);
464 unsigned VisitChooseExpr(ChooseExpr *E);
465 unsigned VisitGNUNullExpr(GNUNullExpr *E);
Douglas Gregor725e94b2009-04-16 00:01:45 +0000466 unsigned VisitShuffleVectorExpr(ShuffleVectorExpr *E);
Douglas Gregore246b742009-04-17 19:21:43 +0000467 unsigned VisitBlockExpr(BlockExpr *E);
Douglas Gregor725e94b2009-04-16 00:01:45 +0000468 unsigned VisitBlockDeclRefExpr(BlockDeclRefExpr *E);
Chris Lattnerc49bbe72009-04-22 06:29:42 +0000469 unsigned VisitObjCStringLiteral(ObjCStringLiteral *E);
Chris Lattner80f83c62009-04-22 05:57:30 +0000470 unsigned VisitObjCEncodeExpr(ObjCEncodeExpr *E);
Chris Lattnerc49bbe72009-04-22 06:29:42 +0000471 unsigned VisitObjCSelectorExpr(ObjCSelectorExpr *E);
472 unsigned VisitObjCProtocolExpr(ObjCProtocolExpr *E);
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000473 };
474}
475
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000476unsigned PCHStmtReader::VisitStmt(Stmt *S) {
477 assert(Idx == NumStmtFields && "Incorrect statement field count");
478 return 0;
479}
480
481unsigned PCHStmtReader::VisitNullStmt(NullStmt *S) {
482 VisitStmt(S);
483 S->setSemiLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
484 return 0;
485}
486
487unsigned PCHStmtReader::VisitCompoundStmt(CompoundStmt *S) {
488 VisitStmt(S);
489 unsigned NumStmts = Record[Idx++];
490 S->setStmts(Reader.getContext(),
491 &StmtStack[StmtStack.size() - NumStmts], NumStmts);
492 S->setLBracLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
493 S->setRBracLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
494 return NumStmts;
495}
496
497unsigned PCHStmtReader::VisitSwitchCase(SwitchCase *S) {
498 VisitStmt(S);
499 Reader.RecordSwitchCaseID(S, Record[Idx++]);
500 return 0;
501}
502
503unsigned PCHStmtReader::VisitCaseStmt(CaseStmt *S) {
504 VisitSwitchCase(S);
505 S->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 3]));
506 S->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
507 S->setSubStmt(StmtStack.back());
508 S->setCaseLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
509 return 3;
510}
511
512unsigned PCHStmtReader::VisitDefaultStmt(DefaultStmt *S) {
513 VisitSwitchCase(S);
514 S->setSubStmt(StmtStack.back());
515 S->setDefaultLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
516 return 1;
517}
518
Douglas Gregor6e411bf2009-04-17 18:18:49 +0000519unsigned PCHStmtReader::VisitLabelStmt(LabelStmt *S) {
520 VisitStmt(S);
521 S->setID(Reader.GetIdentifierInfo(Record, Idx));
522 S->setSubStmt(StmtStack.back());
523 S->setIdentLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
524 Reader.RecordLabelStmt(S, Record[Idx++]);
525 return 1;
526}
527
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000528unsigned PCHStmtReader::VisitIfStmt(IfStmt *S) {
529 VisitStmt(S);
530 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
531 S->setThen(StmtStack[StmtStack.size() - 2]);
532 S->setElse(StmtStack[StmtStack.size() - 1]);
533 S->setIfLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
534 return 3;
535}
536
537unsigned PCHStmtReader::VisitSwitchStmt(SwitchStmt *S) {
538 VisitStmt(S);
539 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 2]));
540 S->setBody(StmtStack.back());
541 S->setSwitchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
542 SwitchCase *PrevSC = 0;
543 for (unsigned N = Record.size(); Idx != N; ++Idx) {
544 SwitchCase *SC = Reader.getSwitchCaseWithID(Record[Idx]);
545 if (PrevSC)
546 PrevSC->setNextSwitchCase(SC);
547 else
548 S->setSwitchCaseList(SC);
549 PrevSC = SC;
550 }
551 return 2;
552}
553
Douglas Gregora6b503f2009-04-17 00:16:09 +0000554unsigned PCHStmtReader::VisitWhileStmt(WhileStmt *S) {
555 VisitStmt(S);
556 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
557 S->setBody(StmtStack.back());
558 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
559 return 2;
560}
561
Douglas Gregorfb5f25b2009-04-17 00:29:51 +0000562unsigned PCHStmtReader::VisitDoStmt(DoStmt *S) {
563 VisitStmt(S);
564 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
565 S->setBody(StmtStack.back());
566 S->setDoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
567 return 2;
568}
569
570unsigned PCHStmtReader::VisitForStmt(ForStmt *S) {
571 VisitStmt(S);
572 S->setInit(StmtStack[StmtStack.size() - 4]);
573 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 3]));
574 S->setInc(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
575 S->setBody(StmtStack.back());
576 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
577 return 4;
578}
579
Douglas Gregor6e411bf2009-04-17 18:18:49 +0000580unsigned PCHStmtReader::VisitGotoStmt(GotoStmt *S) {
581 VisitStmt(S);
582 Reader.SetLabelOf(S, Record[Idx++]);
583 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
584 S->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
585 return 0;
586}
587
Douglas Gregor95a8fe32009-04-17 18:58:21 +0000588unsigned PCHStmtReader::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
589 VisitStmt(S);
Chris Lattner9ef9c282009-04-19 01:04:21 +0000590 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor95a8fe32009-04-17 18:58:21 +0000591 S->setTarget(cast_or_null<Expr>(StmtStack.back()));
592 return 1;
593}
594
Douglas Gregora6b503f2009-04-17 00:16:09 +0000595unsigned PCHStmtReader::VisitContinueStmt(ContinueStmt *S) {
596 VisitStmt(S);
597 S->setContinueLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
598 return 0;
599}
600
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000601unsigned PCHStmtReader::VisitBreakStmt(BreakStmt *S) {
602 VisitStmt(S);
603 S->setBreakLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
604 return 0;
605}
606
Douglas Gregor22d2dcd2009-04-17 16:34:57 +0000607unsigned PCHStmtReader::VisitReturnStmt(ReturnStmt *S) {
608 VisitStmt(S);
609 S->setRetValue(cast_or_null<Expr>(StmtStack.back()));
610 S->setReturnLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
611 return 1;
612}
613
Douglas Gregor78ff29f2009-04-17 16:55:36 +0000614unsigned PCHStmtReader::VisitDeclStmt(DeclStmt *S) {
615 VisitStmt(S);
616 S->setStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
617 S->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
618
619 if (Idx + 1 == Record.size()) {
620 // Single declaration
621 S->setDeclGroup(DeclGroupRef(Reader.GetDecl(Record[Idx++])));
622 } else {
623 llvm::SmallVector<Decl *, 16> Decls;
624 Decls.reserve(Record.size() - Idx);
625 for (unsigned N = Record.size(); Idx != N; ++Idx)
626 Decls.push_back(Reader.GetDecl(Record[Idx]));
627 S->setDeclGroup(DeclGroupRef(DeclGroup::Create(Reader.getContext(),
628 &Decls[0], Decls.size())));
629 }
630 return 0;
631}
632
Douglas Gregor3e1f9fb2009-04-17 20:57:14 +0000633unsigned PCHStmtReader::VisitAsmStmt(AsmStmt *S) {
634 VisitStmt(S);
635 unsigned NumOutputs = Record[Idx++];
636 unsigned NumInputs = Record[Idx++];
637 unsigned NumClobbers = Record[Idx++];
638 S->setAsmLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
639 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
640 S->setVolatile(Record[Idx++]);
641 S->setSimple(Record[Idx++]);
642
643 unsigned StackIdx
644 = StmtStack.size() - (NumOutputs*2 + NumInputs*2 + NumClobbers + 1);
645 S->setAsmString(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
646
647 // Outputs and inputs
648 llvm::SmallVector<std::string, 16> Names;
649 llvm::SmallVector<StringLiteral*, 16> Constraints;
650 llvm::SmallVector<Stmt*, 16> Exprs;
651 for (unsigned I = 0, N = NumOutputs + NumInputs; I != N; ++I) {
652 Names.push_back(Reader.ReadString(Record, Idx));
653 Constraints.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
654 Exprs.push_back(StmtStack[StackIdx++]);
655 }
656 S->setOutputsAndInputs(NumOutputs, NumInputs,
657 &Names[0], &Constraints[0], &Exprs[0]);
658
659 // Constraints
660 llvm::SmallVector<StringLiteral*, 16> Clobbers;
661 for (unsigned I = 0; I != NumClobbers; ++I)
662 Clobbers.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
663 S->setClobbers(&Clobbers[0], NumClobbers);
664
665 assert(StackIdx == StmtStack.size() && "Error deserializing AsmStmt");
666 return NumOutputs*2 + NumInputs*2 + NumClobbers + 1;
667}
668
Douglas Gregora151ba42009-04-14 23:32:43 +0000669unsigned PCHStmtReader::VisitExpr(Expr *E) {
Douglas Gregor9c4782a2009-04-17 00:04:06 +0000670 VisitStmt(E);
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000671 E->setType(Reader.GetType(Record[Idx++]));
672 E->setTypeDependent(Record[Idx++]);
673 E->setValueDependent(Record[Idx++]);
Douglas Gregor596e0932009-04-15 16:35:07 +0000674 assert(Idx == NumExprFields && "Incorrect expression field count");
Douglas Gregora151ba42009-04-14 23:32:43 +0000675 return 0;
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000676}
677
Douglas Gregora151ba42009-04-14 23:32:43 +0000678unsigned PCHStmtReader::VisitPredefinedExpr(PredefinedExpr *E) {
Douglas Gregore2f37202009-04-14 21:55:33 +0000679 VisitExpr(E);
680 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
681 E->setIdentType((PredefinedExpr::IdentType)Record[Idx++]);
Douglas Gregora151ba42009-04-14 23:32:43 +0000682 return 0;
Douglas Gregore2f37202009-04-14 21:55:33 +0000683}
684
Douglas Gregora151ba42009-04-14 23:32:43 +0000685unsigned PCHStmtReader::VisitDeclRefExpr(DeclRefExpr *E) {
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000686 VisitExpr(E);
687 E->setDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
688 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregora151ba42009-04-14 23:32:43 +0000689 return 0;
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000690}
691
Douglas Gregora151ba42009-04-14 23:32:43 +0000692unsigned PCHStmtReader::VisitIntegerLiteral(IntegerLiteral *E) {
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000693 VisitExpr(E);
694 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
695 E->setValue(Reader.ReadAPInt(Record, Idx));
Douglas Gregora151ba42009-04-14 23:32:43 +0000696 return 0;
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000697}
698
Douglas Gregora151ba42009-04-14 23:32:43 +0000699unsigned PCHStmtReader::VisitFloatingLiteral(FloatingLiteral *E) {
Douglas Gregore2f37202009-04-14 21:55:33 +0000700 VisitExpr(E);
701 E->setValue(Reader.ReadAPFloat(Record, Idx));
702 E->setExact(Record[Idx++]);
703 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregora151ba42009-04-14 23:32:43 +0000704 return 0;
Douglas Gregore2f37202009-04-14 21:55:33 +0000705}
706
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000707unsigned PCHStmtReader::VisitImaginaryLiteral(ImaginaryLiteral *E) {
708 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000709 E->setSubExpr(cast<Expr>(StmtStack.back()));
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000710 return 1;
711}
712
Douglas Gregor596e0932009-04-15 16:35:07 +0000713unsigned PCHStmtReader::VisitStringLiteral(StringLiteral *E) {
714 VisitExpr(E);
715 unsigned Len = Record[Idx++];
716 assert(Record[Idx] == E->getNumConcatenated() &&
717 "Wrong number of concatenated tokens!");
718 ++Idx;
719 E->setWide(Record[Idx++]);
720
721 // Read string data
722 llvm::SmallVector<char, 16> Str(&Record[Idx], &Record[Idx] + Len);
723 E->setStrData(Reader.getContext(), &Str[0], Len);
724 Idx += Len;
725
726 // Read source locations
727 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
728 E->setStrTokenLoc(I, SourceLocation::getFromRawEncoding(Record[Idx++]));
729
730 return 0;
731}
732
Douglas Gregora151ba42009-04-14 23:32:43 +0000733unsigned PCHStmtReader::VisitCharacterLiteral(CharacterLiteral *E) {
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000734 VisitExpr(E);
735 E->setValue(Record[Idx++]);
736 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
737 E->setWide(Record[Idx++]);
Douglas Gregora151ba42009-04-14 23:32:43 +0000738 return 0;
739}
740
Douglas Gregor4ea0b1f2009-04-14 23:59:37 +0000741unsigned PCHStmtReader::VisitParenExpr(ParenExpr *E) {
742 VisitExpr(E);
743 E->setLParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
744 E->setRParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000745 E->setSubExpr(cast<Expr>(StmtStack.back()));
Douglas Gregor4ea0b1f2009-04-14 23:59:37 +0000746 return 1;
747}
748
Douglas Gregor12d74052009-04-15 15:58:59 +0000749unsigned PCHStmtReader::VisitUnaryOperator(UnaryOperator *E) {
750 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000751 E->setSubExpr(cast<Expr>(StmtStack.back()));
Douglas Gregor12d74052009-04-15 15:58:59 +0000752 E->setOpcode((UnaryOperator::Opcode)Record[Idx++]);
753 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
754 return 1;
755}
756
757unsigned PCHStmtReader::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E) {
758 VisitExpr(E);
759 E->setSizeof(Record[Idx++]);
760 if (Record[Idx] == 0) {
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000761 E->setArgument(cast<Expr>(StmtStack.back()));
Douglas Gregor12d74052009-04-15 15:58:59 +0000762 ++Idx;
763 } else {
764 E->setArgument(Reader.GetType(Record[Idx++]));
765 }
766 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
767 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
768 return E->isArgumentType()? 0 : 1;
769}
770
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000771unsigned PCHStmtReader::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
772 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000773 E->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 2]));
774 E->setRHS(cast<Expr>(StmtStack[StmtStack.size() - 2]));
Douglas Gregor21ddd8c2009-04-15 22:19:53 +0000775 E->setRBracketLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
776 return 2;
777}
778
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +0000779unsigned PCHStmtReader::VisitCallExpr(CallExpr *E) {
780 VisitExpr(E);
781 E->setNumArgs(Reader.getContext(), Record[Idx++]);
782 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000783 E->setCallee(cast<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +0000784 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000785 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +0000786 return E->getNumArgs() + 1;
787}
788
789unsigned PCHStmtReader::VisitMemberExpr(MemberExpr *E) {
790 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000791 E->setBase(cast<Expr>(StmtStack.back()));
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +0000792 E->setMemberDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
793 E->setMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
794 E->setArrow(Record[Idx++]);
795 return 1;
796}
797
Douglas Gregora151ba42009-04-14 23:32:43 +0000798unsigned PCHStmtReader::VisitCastExpr(CastExpr *E) {
799 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000800 E->setSubExpr(cast<Expr>(StmtStack.back()));
Douglas Gregora151ba42009-04-14 23:32:43 +0000801 return 1;
802}
803
Douglas Gregorc75d0cb2009-04-15 00:25:59 +0000804unsigned PCHStmtReader::VisitBinaryOperator(BinaryOperator *E) {
805 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000806 E->setLHS(cast<Expr>(StmtStack.end()[-2]));
807 E->setRHS(cast<Expr>(StmtStack.end()[-1]));
Douglas Gregorc75d0cb2009-04-15 00:25:59 +0000808 E->setOpcode((BinaryOperator::Opcode)Record[Idx++]);
809 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
810 return 2;
811}
812
Douglas Gregorc599bbf2009-04-15 22:40:36 +0000813unsigned PCHStmtReader::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
814 VisitBinaryOperator(E);
815 E->setComputationLHSType(Reader.GetType(Record[Idx++]));
816 E->setComputationResultType(Reader.GetType(Record[Idx++]));
817 return 2;
818}
819
820unsigned PCHStmtReader::VisitConditionalOperator(ConditionalOperator *E) {
821 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000822 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
823 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
824 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
Douglas Gregorc599bbf2009-04-15 22:40:36 +0000825 return 3;
826}
827
Douglas Gregora151ba42009-04-14 23:32:43 +0000828unsigned PCHStmtReader::VisitImplicitCastExpr(ImplicitCastExpr *E) {
829 VisitCastExpr(E);
830 E->setLvalueCast(Record[Idx++]);
831 return 1;
Douglas Gregorc10f86f2009-04-14 21:18:50 +0000832}
833
Douglas Gregorc75d0cb2009-04-15 00:25:59 +0000834unsigned PCHStmtReader::VisitExplicitCastExpr(ExplicitCastExpr *E) {
835 VisitCastExpr(E);
836 E->setTypeAsWritten(Reader.GetType(Record[Idx++]));
837 return 1;
838}
839
840unsigned PCHStmtReader::VisitCStyleCastExpr(CStyleCastExpr *E) {
841 VisitExplicitCastExpr(E);
842 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
843 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
844 return 1;
845}
846
Douglas Gregorb70b48f2009-04-16 02:33:48 +0000847unsigned PCHStmtReader::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
848 VisitExpr(E);
849 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000850 E->setInitializer(cast<Expr>(StmtStack.back()));
Douglas Gregorb70b48f2009-04-16 02:33:48 +0000851 E->setFileScope(Record[Idx++]);
852 return 1;
853}
854
Douglas Gregorec0b8292009-04-15 23:02:49 +0000855unsigned PCHStmtReader::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
856 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000857 E->setBase(cast<Expr>(StmtStack.back()));
Douglas Gregorec0b8292009-04-15 23:02:49 +0000858 E->setAccessor(Reader.GetIdentifierInfo(Record, Idx));
859 E->setAccessorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
860 return 1;
861}
862
Douglas Gregor6710a3c2009-04-16 00:55:48 +0000863unsigned PCHStmtReader::VisitInitListExpr(InitListExpr *E) {
864 VisitExpr(E);
865 unsigned NumInits = Record[Idx++];
866 E->reserveInits(NumInits);
867 for (unsigned I = 0; I != NumInits; ++I)
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000868 E->updateInit(I,
869 cast<Expr>(StmtStack[StmtStack.size() - NumInits - 1 + I]));
870 E->setSyntacticForm(cast_or_null<InitListExpr>(StmtStack.back()));
Douglas Gregor6710a3c2009-04-16 00:55:48 +0000871 E->setLBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
872 E->setRBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
873 E->setInitializedFieldInUnion(
874 cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++])));
875 E->sawArrayRangeDesignator(Record[Idx++]);
876 return NumInits + 1;
877}
878
879unsigned PCHStmtReader::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
880 typedef DesignatedInitExpr::Designator Designator;
881
882 VisitExpr(E);
883 unsigned NumSubExprs = Record[Idx++];
884 assert(NumSubExprs == E->getNumSubExprs() && "Wrong number of subexprs");
885 for (unsigned I = 0; I != NumSubExprs; ++I)
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000886 E->setSubExpr(I, cast<Expr>(StmtStack[StmtStack.size() - NumSubExprs + I]));
Douglas Gregor6710a3c2009-04-16 00:55:48 +0000887 E->setEqualOrColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
888 E->setGNUSyntax(Record[Idx++]);
889
890 llvm::SmallVector<Designator, 4> Designators;
891 while (Idx < Record.size()) {
892 switch ((pch::DesignatorTypes)Record[Idx++]) {
893 case pch::DESIG_FIELD_DECL: {
894 FieldDecl *Field = cast<FieldDecl>(Reader.GetDecl(Record[Idx++]));
895 SourceLocation DotLoc
896 = SourceLocation::getFromRawEncoding(Record[Idx++]);
897 SourceLocation FieldLoc
898 = SourceLocation::getFromRawEncoding(Record[Idx++]);
899 Designators.push_back(Designator(Field->getIdentifier(), DotLoc,
900 FieldLoc));
901 Designators.back().setField(Field);
902 break;
903 }
904
905 case pch::DESIG_FIELD_NAME: {
906 const IdentifierInfo *Name = Reader.GetIdentifierInfo(Record, Idx);
907 SourceLocation DotLoc
908 = SourceLocation::getFromRawEncoding(Record[Idx++]);
909 SourceLocation FieldLoc
910 = SourceLocation::getFromRawEncoding(Record[Idx++]);
911 Designators.push_back(Designator(Name, DotLoc, FieldLoc));
912 break;
913 }
914
915 case pch::DESIG_ARRAY: {
916 unsigned Index = Record[Idx++];
917 SourceLocation LBracketLoc
918 = SourceLocation::getFromRawEncoding(Record[Idx++]);
919 SourceLocation RBracketLoc
920 = SourceLocation::getFromRawEncoding(Record[Idx++]);
921 Designators.push_back(Designator(Index, LBracketLoc, RBracketLoc));
922 break;
923 }
924
925 case pch::DESIG_ARRAY_RANGE: {
926 unsigned Index = Record[Idx++];
927 SourceLocation LBracketLoc
928 = SourceLocation::getFromRawEncoding(Record[Idx++]);
929 SourceLocation EllipsisLoc
930 = SourceLocation::getFromRawEncoding(Record[Idx++]);
931 SourceLocation RBracketLoc
932 = SourceLocation::getFromRawEncoding(Record[Idx++]);
933 Designators.push_back(Designator(Index, LBracketLoc, EllipsisLoc,
934 RBracketLoc));
935 break;
936 }
937 }
938 }
939 E->setDesignators(&Designators[0], Designators.size());
940
941 return NumSubExprs;
942}
943
944unsigned PCHStmtReader::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
945 VisitExpr(E);
946 return 0;
947}
948
Douglas Gregorec0b8292009-04-15 23:02:49 +0000949unsigned PCHStmtReader::VisitVAArgExpr(VAArgExpr *E) {
950 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000951 E->setSubExpr(cast<Expr>(StmtStack.back()));
Douglas Gregorec0b8292009-04-15 23:02:49 +0000952 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
953 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
954 return 1;
955}
956
Douglas Gregor95a8fe32009-04-17 18:58:21 +0000957unsigned PCHStmtReader::VisitAddrLabelExpr(AddrLabelExpr *E) {
958 VisitExpr(E);
959 E->setAmpAmpLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
960 E->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
961 Reader.SetLabelOf(E, Record[Idx++]);
962 return 0;
963}
964
Douglas Gregoreca12f62009-04-17 19:05:30 +0000965unsigned PCHStmtReader::VisitStmtExpr(StmtExpr *E) {
966 VisitExpr(E);
967 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
968 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
969 E->setSubStmt(cast_or_null<CompoundStmt>(StmtStack.back()));
970 return 1;
971}
972
Douglas Gregor209d4622009-04-15 23:33:31 +0000973unsigned PCHStmtReader::VisitTypesCompatibleExpr(TypesCompatibleExpr *E) {
974 VisitExpr(E);
975 E->setArgType1(Reader.GetType(Record[Idx++]));
976 E->setArgType2(Reader.GetType(Record[Idx++]));
977 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
978 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
979 return 0;
980}
981
982unsigned PCHStmtReader::VisitChooseExpr(ChooseExpr *E) {
983 VisitExpr(E);
Douglas Gregorc72f6c82009-04-16 22:23:12 +0000984 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
985 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
986 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
Douglas Gregor209d4622009-04-15 23:33:31 +0000987 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
988 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
989 return 3;
990}
991
992unsigned PCHStmtReader::VisitGNUNullExpr(GNUNullExpr *E) {
993 VisitExpr(E);
994 E->setTokenLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
995 return 0;
996}
Douglas Gregorec0b8292009-04-15 23:02:49 +0000997
Douglas Gregor725e94b2009-04-16 00:01:45 +0000998unsigned PCHStmtReader::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
999 VisitExpr(E);
1000 unsigned NumExprs = Record[Idx++];
Douglas Gregorc72f6c82009-04-16 22:23:12 +00001001 E->setExprs((Expr **)&StmtStack[StmtStack.size() - NumExprs], NumExprs);
Douglas Gregor725e94b2009-04-16 00:01:45 +00001002 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1003 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1004 return NumExprs;
1005}
1006
Douglas Gregore246b742009-04-17 19:21:43 +00001007unsigned PCHStmtReader::VisitBlockExpr(BlockExpr *E) {
1008 VisitExpr(E);
1009 E->setBlockDecl(cast_or_null<BlockDecl>(Reader.GetDecl(Record[Idx++])));
1010 E->setHasBlockDeclRefExprs(Record[Idx++]);
1011 return 0;
1012}
1013
Douglas Gregor725e94b2009-04-16 00:01:45 +00001014unsigned PCHStmtReader::VisitBlockDeclRefExpr(BlockDeclRefExpr *E) {
1015 VisitExpr(E);
1016 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
1017 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
1018 E->setByRef(Record[Idx++]);
1019 return 0;
1020}
1021
Chris Lattnerc49bbe72009-04-22 06:29:42 +00001022//===----------------------------------------------------------------------===//
1023// Objective-C Expressions and Statements
1024
1025unsigned PCHStmtReader::VisitObjCStringLiteral(ObjCStringLiteral *E) {
1026 VisitExpr(E);
1027 E->setString(cast<StringLiteral>(StmtStack.back()));
1028 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1029 return 1;
1030}
1031
Chris Lattner80f83c62009-04-22 05:57:30 +00001032unsigned PCHStmtReader::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
1033 VisitExpr(E);
1034 E->setEncodedType(Reader.GetType(Record[Idx++]));
1035 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1036 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1037 return 0;
1038}
1039
Chris Lattnerc49bbe72009-04-22 06:29:42 +00001040unsigned PCHStmtReader::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
1041 VisitExpr(E);
1042 // FIXME: Selectors.
1043 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1044 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1045 return 0;
1046}
1047
1048unsigned PCHStmtReader::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
1049 VisitExpr(E);
1050 E->setProtocol(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
1051 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1052 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
1053 return 0;
1054}
1055
Chris Lattner80f83c62009-04-22 05:57:30 +00001056
Douglas Gregorc713da92009-04-21 22:25:48 +00001057//===----------------------------------------------------------------------===//
1058// PCH reader implementation
1059//===----------------------------------------------------------------------===//
1060
1061namespace {
1062class VISIBILITY_HIDDEN PCHIdentifierLookupTrait {
1063 PCHReader &Reader;
1064
1065 // If we know the IdentifierInfo in advance, it is here and we will
1066 // not build a new one. Used when deserializing information about an
1067 // identifier that was constructed before the PCH file was read.
1068 IdentifierInfo *KnownII;
1069
1070public:
1071 typedef IdentifierInfo * data_type;
1072
1073 typedef const std::pair<const char*, unsigned> external_key_type;
1074
1075 typedef external_key_type internal_key_type;
1076
1077 explicit PCHIdentifierLookupTrait(PCHReader &Reader, IdentifierInfo *II = 0)
1078 : Reader(Reader), KnownII(II) { }
1079
1080 static bool EqualKey(const internal_key_type& a,
1081 const internal_key_type& b) {
1082 return (a.second == b.second) ? memcmp(a.first, b.first, a.second) == 0
1083 : false;
1084 }
1085
1086 static unsigned ComputeHash(const internal_key_type& a) {
1087 return BernsteinHash(a.first, a.second);
1088 }
1089
1090 // This hopefully will just get inlined and removed by the optimizer.
1091 static const internal_key_type&
1092 GetInternalKey(const external_key_type& x) { return x; }
1093
1094 static std::pair<unsigned, unsigned>
1095 ReadKeyDataLength(const unsigned char*& d) {
1096 using namespace clang::io;
1097 unsigned KeyLen = ReadUnalignedLE16(d);
1098 unsigned DataLen = ReadUnalignedLE16(d);
1099 return std::make_pair(KeyLen, DataLen);
1100 }
1101
1102 static std::pair<const char*, unsigned>
1103 ReadKey(const unsigned char* d, unsigned n) {
1104 assert(n >= 2 && d[n-1] == '\0');
1105 return std::make_pair((const char*) d, n-1);
1106 }
1107
1108 IdentifierInfo *ReadData(const internal_key_type& k,
1109 const unsigned char* d,
1110 unsigned DataLen) {
1111 using namespace clang::io;
1112 uint32_t Bits = ReadUnalignedLE32(d); // FIXME: use these?
Douglas Gregorda38c6c2009-04-22 18:49:13 +00001113 bool CPlusPlusOperatorKeyword = Bits & 0x01;
1114 Bits >>= 1;
1115 bool Poisoned = Bits & 0x01;
1116 Bits >>= 1;
1117 bool ExtensionToken = Bits & 0x01;
1118 Bits >>= 1;
1119 bool hasMacroDefinition = Bits & 0x01;
1120 Bits >>= 1;
1121 unsigned ObjCOrBuiltinID = Bits & 0x3FF;
1122 Bits >>= 10;
1123 unsigned TokenID = Bits & 0xFF;
1124 Bits >>= 8;
1125
Douglas Gregorc713da92009-04-21 22:25:48 +00001126 pch::IdentID ID = ReadUnalignedLE32(d);
Douglas Gregorda38c6c2009-04-22 18:49:13 +00001127 assert(Bits == 0 && "Extra bits in the identifier?");
Douglas Gregorc713da92009-04-21 22:25:48 +00001128 DataLen -= 8;
1129
1130 // Build the IdentifierInfo itself and link the identifier ID with
1131 // the new IdentifierInfo.
1132 IdentifierInfo *II = KnownII;
1133 if (!II)
1134 II = &Reader.getIdentifierTable().CreateIdentifierInfo(
1135 k.first, k.first + k.second);
1136 Reader.SetIdentifierInfo(ID, II);
1137
Douglas Gregorda38c6c2009-04-22 18:49:13 +00001138 // Set or check the various bits in the IdentifierInfo structure.
1139 // FIXME: Load token IDs lazily, too?
1140 assert((unsigned)II->getTokenID() == TokenID &&
1141 "Incorrect token ID loaded");
1142 (void)TokenID;
1143 II->setObjCOrBuiltinID(ObjCOrBuiltinID);
1144 assert(II->isExtensionToken() == ExtensionToken &&
1145 "Incorrect extension token flag");
1146 (void)ExtensionToken;
1147 II->setIsPoisoned(Poisoned);
1148 assert(II->isCPlusPlusOperatorKeyword() == CPlusPlusOperatorKeyword &&
1149 "Incorrect C++ operator keyword flag");
1150 (void)CPlusPlusOperatorKeyword;
1151
Douglas Gregore0ad2dd2009-04-21 23:56:24 +00001152 // If this identifier is a macro, deserialize the macro
1153 // definition.
1154 if (hasMacroDefinition) {
1155 uint32_t Offset = ReadUnalignedLE64(d);
1156 Reader.ReadMacroRecord(Offset);
1157 DataLen -= 8;
1158 }
Douglas Gregorc713da92009-04-21 22:25:48 +00001159
1160 // Read all of the declarations visible at global scope with this
1161 // name.
1162 Sema *SemaObj = Reader.getSema();
1163 while (DataLen > 0) {
1164 NamedDecl *D = cast<NamedDecl>(Reader.GetDecl(ReadUnalignedLE32(d)));
1165
1166 if (SemaObj) {
1167 // Introduce this declaration into the translation-unit scope
1168 // and add it to the declaration chain for this identifier, so
1169 // that (unqualified) name lookup will find it.
1170 SemaObj->TUScope->AddDecl(Action::DeclPtrTy::make(D));
1171 SemaObj->IdResolver.AddDeclToIdentifierChain(II, D);
1172 } else {
1173 // Queue this declaration so that it will be added to the
1174 // translation unit scope and identifier's declaration chain
1175 // once a Sema object is known.
1176 // FIXME: This is a temporary hack. It will go away once we have
1177 // lazy deserialization of macros.
1178 Reader.TUDecls.push_back(D);
1179 }
1180
1181 DataLen -= 4;
1182 }
1183 return II;
1184 }
1185};
1186
1187} // end anonymous namespace
1188
1189/// \brief The on-disk hash table used to contain information about
1190/// all of the identifiers in the program.
1191typedef OnDiskChainedHashTable<PCHIdentifierLookupTrait>
1192 PCHIdentifierLookupTable;
1193
Douglas Gregorc34897d2009-04-09 22:27:44 +00001194// FIXME: use the diagnostics machinery
1195static bool Error(const char *Str) {
1196 std::fprintf(stderr, "%s\n", Str);
1197 return true;
1198}
1199
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001200/// \brief Check the contents of the predefines buffer against the
1201/// contents of the predefines buffer used to build the PCH file.
1202///
1203/// The contents of the two predefines buffers should be the same. If
1204/// not, then some command-line option changed the preprocessor state
1205/// and we must reject the PCH file.
1206///
1207/// \param PCHPredef The start of the predefines buffer in the PCH
1208/// file.
1209///
1210/// \param PCHPredefLen The length of the predefines buffer in the PCH
1211/// file.
1212///
1213/// \param PCHBufferID The FileID for the PCH predefines buffer.
1214///
1215/// \returns true if there was a mismatch (in which case the PCH file
1216/// should be ignored), or false otherwise.
1217bool PCHReader::CheckPredefinesBuffer(const char *PCHPredef,
1218 unsigned PCHPredefLen,
1219 FileID PCHBufferID) {
1220 const char *Predef = PP.getPredefines().c_str();
1221 unsigned PredefLen = PP.getPredefines().size();
1222
1223 // If the two predefines buffers compare equal, we're done!.
1224 if (PredefLen == PCHPredefLen &&
1225 strncmp(Predef, PCHPredef, PCHPredefLen) == 0)
1226 return false;
1227
1228 // The predefines buffers are different. Produce a reasonable
1229 // diagnostic showing where they are different.
1230
1231 // The source locations (potentially in the two different predefines
1232 // buffers)
1233 SourceLocation Loc1, Loc2;
1234 SourceManager &SourceMgr = PP.getSourceManager();
1235
1236 // Create a source buffer for our predefines string, so
1237 // that we can build a diagnostic that points into that
1238 // source buffer.
1239 FileID BufferID;
1240 if (Predef && Predef[0]) {
1241 llvm::MemoryBuffer *Buffer
1242 = llvm::MemoryBuffer::getMemBuffer(Predef, Predef + PredefLen,
1243 "<built-in>");
1244 BufferID = SourceMgr.createFileIDForMemBuffer(Buffer);
1245 }
1246
1247 unsigned MinLen = std::min(PredefLen, PCHPredefLen);
1248 std::pair<const char *, const char *> Locations
1249 = std::mismatch(Predef, Predef + MinLen, PCHPredef);
1250
1251 if (Locations.first != Predef + MinLen) {
1252 // We found the location in the two buffers where there is a
1253 // difference. Form source locations to point there (in both
1254 // buffers).
1255 unsigned Offset = Locations.first - Predef;
1256 Loc1 = SourceMgr.getLocForStartOfFile(BufferID)
1257 .getFileLocWithOffset(Offset);
1258 Loc2 = SourceMgr.getLocForStartOfFile(PCHBufferID)
1259 .getFileLocWithOffset(Offset);
1260 } else if (PredefLen > PCHPredefLen) {
1261 Loc1 = SourceMgr.getLocForStartOfFile(BufferID)
1262 .getFileLocWithOffset(MinLen);
1263 } else {
1264 Loc1 = SourceMgr.getLocForStartOfFile(PCHBufferID)
1265 .getFileLocWithOffset(MinLen);
1266 }
1267
1268 Diag(Loc1, diag::warn_pch_preprocessor);
1269 if (Loc2.isValid())
1270 Diag(Loc2, diag::note_predef_in_pch);
1271 Diag(diag::note_ignoring_pch) << FileName;
1272 return true;
1273}
1274
Douglas Gregor635f97f2009-04-13 16:31:14 +00001275/// \brief Read the line table in the source manager block.
1276/// \returns true if ther was an error.
1277static bool ParseLineTable(SourceManager &SourceMgr,
1278 llvm::SmallVectorImpl<uint64_t> &Record) {
1279 unsigned Idx = 0;
1280 LineTableInfo &LineTable = SourceMgr.getLineTable();
1281
1282 // Parse the file names
Douglas Gregor183ad602009-04-13 17:12:42 +00001283 std::map<int, int> FileIDs;
1284 for (int I = 0, N = Record[Idx++]; I != N; ++I) {
Douglas Gregor635f97f2009-04-13 16:31:14 +00001285 // Extract the file name
1286 unsigned FilenameLen = Record[Idx++];
1287 std::string Filename(&Record[Idx], &Record[Idx] + FilenameLen);
1288 Idx += FilenameLen;
Douglas Gregor183ad602009-04-13 17:12:42 +00001289 FileIDs[I] = LineTable.getLineTableFilenameID(Filename.c_str(),
1290 Filename.size());
Douglas Gregor635f97f2009-04-13 16:31:14 +00001291 }
1292
1293 // Parse the line entries
1294 std::vector<LineEntry> Entries;
1295 while (Idx < Record.size()) {
Douglas Gregor183ad602009-04-13 17:12:42 +00001296 int FID = FileIDs[Record[Idx++]];
Douglas Gregor635f97f2009-04-13 16:31:14 +00001297
1298 // Extract the line entries
1299 unsigned NumEntries = Record[Idx++];
1300 Entries.clear();
1301 Entries.reserve(NumEntries);
1302 for (unsigned I = 0; I != NumEntries; ++I) {
1303 unsigned FileOffset = Record[Idx++];
1304 unsigned LineNo = Record[Idx++];
1305 int FilenameID = Record[Idx++];
1306 SrcMgr::CharacteristicKind FileKind
1307 = (SrcMgr::CharacteristicKind)Record[Idx++];
1308 unsigned IncludeOffset = Record[Idx++];
1309 Entries.push_back(LineEntry::get(FileOffset, LineNo, FilenameID,
1310 FileKind, IncludeOffset));
1311 }
1312 LineTable.AddEntry(FID, Entries);
1313 }
1314
1315 return false;
1316}
1317
Douglas Gregorab1cef72009-04-10 03:52:48 +00001318/// \brief Read the source manager block
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001319PCHReader::PCHReadResult PCHReader::ReadSourceManagerBlock() {
Douglas Gregorab1cef72009-04-10 03:52:48 +00001320 using namespace SrcMgr;
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001321 if (Stream.EnterSubBlock(pch::SOURCE_MANAGER_BLOCK_ID)) {
1322 Error("Malformed source manager block record");
1323 return Failure;
1324 }
Douglas Gregorab1cef72009-04-10 03:52:48 +00001325
1326 SourceManager &SourceMgr = Context.getSourceManager();
1327 RecordData Record;
1328 while (true) {
1329 unsigned Code = Stream.ReadCode();
1330 if (Code == llvm::bitc::END_BLOCK) {
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001331 if (Stream.ReadBlockEnd()) {
1332 Error("Error at end of Source Manager block");
1333 return Failure;
1334 }
1335
1336 return Success;
Douglas Gregorab1cef72009-04-10 03:52:48 +00001337 }
1338
1339 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
1340 // No known subblocks, always skip them.
1341 Stream.ReadSubBlockID();
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001342 if (Stream.SkipBlock()) {
1343 Error("Malformed block record");
1344 return Failure;
1345 }
Douglas Gregorab1cef72009-04-10 03:52:48 +00001346 continue;
1347 }
1348
1349 if (Code == llvm::bitc::DEFINE_ABBREV) {
1350 Stream.ReadAbbrevRecord();
1351 continue;
1352 }
1353
1354 // Read a record.
1355 const char *BlobStart;
1356 unsigned BlobLen;
1357 Record.clear();
1358 switch (Stream.ReadRecord(Code, Record, &BlobStart, &BlobLen)) {
1359 default: // Default behavior: ignore.
1360 break;
1361
1362 case pch::SM_SLOC_FILE_ENTRY: {
1363 // FIXME: We would really like to delay the creation of this
1364 // FileEntry until it is actually required, e.g., when producing
1365 // a diagnostic with a source location in this file.
1366 const FileEntry *File
1367 = PP.getFileManager().getFile(BlobStart, BlobStart + BlobLen);
1368 // FIXME: Error recovery if file cannot be found.
Douglas Gregor635f97f2009-04-13 16:31:14 +00001369 FileID ID = SourceMgr.createFileID(File,
1370 SourceLocation::getFromRawEncoding(Record[1]),
1371 (CharacteristicKind)Record[2]);
1372 if (Record[3])
1373 const_cast<SrcMgr::FileInfo&>(SourceMgr.getSLocEntry(ID).getFile())
1374 .setHasLineDirectives();
Douglas Gregorab1cef72009-04-10 03:52:48 +00001375 break;
1376 }
1377
1378 case pch::SM_SLOC_BUFFER_ENTRY: {
1379 const char *Name = BlobStart;
1380 unsigned Code = Stream.ReadCode();
1381 Record.clear();
1382 unsigned RecCode = Stream.ReadRecord(Code, Record, &BlobStart, &BlobLen);
1383 assert(RecCode == pch::SM_SLOC_BUFFER_BLOB && "Ill-formed PCH file");
Douglas Gregor3c8ff3e2009-04-15 18:43:11 +00001384 (void)RecCode;
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001385 llvm::MemoryBuffer *Buffer
1386 = llvm::MemoryBuffer::getMemBuffer(BlobStart,
1387 BlobStart + BlobLen - 1,
1388 Name);
1389 FileID BufferID = SourceMgr.createFileIDForMemBuffer(Buffer);
1390
1391 if (strcmp(Name, "<built-in>") == 0
1392 && CheckPredefinesBuffer(BlobStart, BlobLen - 1, BufferID))
1393 return IgnorePCH;
Douglas Gregorab1cef72009-04-10 03:52:48 +00001394 break;
1395 }
1396
1397 case pch::SM_SLOC_INSTANTIATION_ENTRY: {
1398 SourceLocation SpellingLoc
1399 = SourceLocation::getFromRawEncoding(Record[1]);
1400 SourceMgr.createInstantiationLoc(
1401 SpellingLoc,
1402 SourceLocation::getFromRawEncoding(Record[2]),
1403 SourceLocation::getFromRawEncoding(Record[3]),
Douglas Gregor364e5802009-04-15 18:05:10 +00001404 Record[4]);
Douglas Gregorab1cef72009-04-10 03:52:48 +00001405 break;
1406 }
1407
Chris Lattnere1be6022009-04-14 23:22:57 +00001408 case pch::SM_LINE_TABLE:
Douglas Gregor635f97f2009-04-13 16:31:14 +00001409 if (ParseLineTable(SourceMgr, Record))
1410 return Failure;
Chris Lattnere1be6022009-04-14 23:22:57 +00001411 break;
Douglas Gregorab1cef72009-04-10 03:52:48 +00001412 }
1413 }
1414}
1415
Douglas Gregore0ad2dd2009-04-21 23:56:24 +00001416void PCHReader::ReadMacroRecord(uint64_t Offset) {
1417 // Keep track of where we are in the stream, then jump back there
1418 // after reading this macro.
1419 SavedStreamPosition SavedPosition(Stream);
1420
1421 Stream.JumpToBit(Offset);
1422 RecordData Record;
1423 llvm::SmallVector<IdentifierInfo*, 16> MacroArgs;
1424 MacroInfo *Macro = 0;
1425 while (true) {
1426 unsigned Code = Stream.ReadCode();
1427 switch (Code) {
1428 case llvm::bitc::END_BLOCK:
1429 return;
1430
1431 case llvm::bitc::ENTER_SUBBLOCK:
1432 // No known subblocks, always skip them.
1433 Stream.ReadSubBlockID();
1434 if (Stream.SkipBlock()) {
1435 Error("Malformed block record");
1436 return;
1437 }
1438 continue;
1439
1440 case llvm::bitc::DEFINE_ABBREV:
1441 Stream.ReadAbbrevRecord();
1442 continue;
1443 default: break;
1444 }
1445
1446 // Read a record.
1447 Record.clear();
1448 pch::PreprocessorRecordTypes RecType =
1449 (pch::PreprocessorRecordTypes)Stream.ReadRecord(Code, Record);
1450 switch (RecType) {
1451 case pch::PP_COUNTER_VALUE:
1452 // Skip this record.
1453 break;
1454
1455 case pch::PP_MACRO_OBJECT_LIKE:
1456 case pch::PP_MACRO_FUNCTION_LIKE: {
1457 // If we already have a macro, that means that we've hit the end
1458 // of the definition of the macro we were looking for. We're
1459 // done.
1460 if (Macro)
1461 return;
1462
1463 IdentifierInfo *II = DecodeIdentifierInfo(Record[0]);
1464 if (II == 0) {
1465 Error("Macro must have a name");
1466 return;
1467 }
1468 SourceLocation Loc = SourceLocation::getFromRawEncoding(Record[1]);
1469 bool isUsed = Record[2];
1470
1471 MacroInfo *MI = PP.AllocateMacroInfo(Loc);
1472 MI->setIsUsed(isUsed);
1473
1474 if (RecType == pch::PP_MACRO_FUNCTION_LIKE) {
1475 // Decode function-like macro info.
1476 bool isC99VarArgs = Record[3];
1477 bool isGNUVarArgs = Record[4];
1478 MacroArgs.clear();
1479 unsigned NumArgs = Record[5];
1480 for (unsigned i = 0; i != NumArgs; ++i)
1481 MacroArgs.push_back(DecodeIdentifierInfo(Record[6+i]));
1482
1483 // Install function-like macro info.
1484 MI->setIsFunctionLike();
1485 if (isC99VarArgs) MI->setIsC99Varargs();
1486 if (isGNUVarArgs) MI->setIsGNUVarargs();
1487 MI->setArgumentList(&MacroArgs[0], MacroArgs.size(),
1488 PP.getPreprocessorAllocator());
1489 }
1490
1491 // Finally, install the macro.
1492 PP.setMacroInfo(II, MI);
1493
1494 // Remember that we saw this macro last so that we add the tokens that
1495 // form its body to it.
1496 Macro = MI;
1497 ++NumMacrosRead;
1498 break;
1499 }
1500
1501 case pch::PP_TOKEN: {
1502 // If we see a TOKEN before a PP_MACRO_*, then the file is
1503 // erroneous, just pretend we didn't see this.
1504 if (Macro == 0) break;
1505
1506 Token Tok;
1507 Tok.startToken();
1508 Tok.setLocation(SourceLocation::getFromRawEncoding(Record[0]));
1509 Tok.setLength(Record[1]);
1510 if (IdentifierInfo *II = DecodeIdentifierInfo(Record[2]))
1511 Tok.setIdentifierInfo(II);
1512 Tok.setKind((tok::TokenKind)Record[3]);
1513 Tok.setFlag((Token::TokenFlags)Record[4]);
1514 Macro->AddTokenToBody(Tok);
1515 break;
1516 }
1517 }
1518 }
1519}
1520
Chris Lattnerdb1c81b2009-04-10 21:41:48 +00001521bool PCHReader::ReadPreprocessorBlock() {
1522 if (Stream.EnterSubBlock(pch::PREPROCESSOR_BLOCK_ID))
1523 return Error("Malformed preprocessor block record");
1524
Chris Lattnerdb1c81b2009-04-10 21:41:48 +00001525 RecordData Record;
Chris Lattnerdb1c81b2009-04-10 21:41:48 +00001526 while (true) {
1527 unsigned Code = Stream.ReadCode();
1528 switch (Code) {
1529 case llvm::bitc::END_BLOCK:
1530 if (Stream.ReadBlockEnd())
1531 return Error("Error at end of preprocessor block");
1532 return false;
1533
1534 case llvm::bitc::ENTER_SUBBLOCK:
1535 // No known subblocks, always skip them.
1536 Stream.ReadSubBlockID();
1537 if (Stream.SkipBlock())
1538 return Error("Malformed block record");
1539 continue;
1540
1541 case llvm::bitc::DEFINE_ABBREV:
1542 Stream.ReadAbbrevRecord();
1543 continue;
1544 default: break;
1545 }
1546
1547 // Read a record.
1548 Record.clear();
1549 pch::PreprocessorRecordTypes RecType =
1550 (pch::PreprocessorRecordTypes)Stream.ReadRecord(Code, Record);
1551 switch (RecType) {
1552 default: // Default behavior: ignore unknown records.
1553 break;
Chris Lattner4b21c202009-04-13 01:29:17 +00001554 case pch::PP_COUNTER_VALUE:
1555 if (!Record.empty())
1556 PP.setCounterValue(Record[0]);
1557 break;
1558
Chris Lattnerdb1c81b2009-04-10 21:41:48 +00001559 case pch::PP_MACRO_OBJECT_LIKE:
Douglas Gregore0ad2dd2009-04-21 23:56:24 +00001560 case pch::PP_MACRO_FUNCTION_LIKE:
1561 case pch::PP_TOKEN:
1562 // Once we've hit a macro definition or a token, we're done.
1563 return false;
Chris Lattnerdb1c81b2009-04-10 21:41:48 +00001564 }
1565 }
1566}
1567
Douglas Gregorc713da92009-04-21 22:25:48 +00001568PCHReader::PCHReadResult
1569PCHReader::ReadPCHBlock(uint64_t &PreprocessorBlockOffset) {
Douglas Gregor179cfb12009-04-10 20:39:37 +00001570 if (Stream.EnterSubBlock(pch::PCH_BLOCK_ID)) {
1571 Error("Malformed block record");
1572 return Failure;
1573 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001574
1575 // Read all of the records and blocks for the PCH file.
Douglas Gregorac8f2802009-04-10 17:25:41 +00001576 RecordData Record;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001577 while (!Stream.AtEndOfStream()) {
1578 unsigned Code = Stream.ReadCode();
1579 if (Code == llvm::bitc::END_BLOCK) {
Douglas Gregor179cfb12009-04-10 20:39:37 +00001580 if (Stream.ReadBlockEnd()) {
1581 Error("Error at end of module block");
1582 return Failure;
1583 }
Chris Lattner29241862009-04-11 21:15:38 +00001584
Douglas Gregor179cfb12009-04-10 20:39:37 +00001585 return Success;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001586 }
1587
1588 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
1589 switch (Stream.ReadSubBlockID()) {
1590 case pch::DECLS_BLOCK_ID: // Skip decls block (lazily loaded)
1591 case pch::TYPES_BLOCK_ID: // Skip types block (lazily loaded)
1592 default: // Skip unknown content.
Douglas Gregor179cfb12009-04-10 20:39:37 +00001593 if (Stream.SkipBlock()) {
1594 Error("Malformed block record");
1595 return Failure;
1596 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001597 break;
1598
Chris Lattner29241862009-04-11 21:15:38 +00001599 case pch::PREPROCESSOR_BLOCK_ID:
1600 // Skip the preprocessor block for now, but remember where it is. We
1601 // want to read it in after the identifier table.
Douglas Gregorc713da92009-04-21 22:25:48 +00001602 if (PreprocessorBlockOffset) {
Chris Lattner29241862009-04-11 21:15:38 +00001603 Error("Multiple preprocessor blocks found.");
1604 return Failure;
1605 }
Douglas Gregorc713da92009-04-21 22:25:48 +00001606 PreprocessorBlockOffset = Stream.GetCurrentBitNo();
Chris Lattner29241862009-04-11 21:15:38 +00001607 if (Stream.SkipBlock()) {
1608 Error("Malformed block record");
1609 return Failure;
1610 }
1611 break;
1612
Douglas Gregorab1cef72009-04-10 03:52:48 +00001613 case pch::SOURCE_MANAGER_BLOCK_ID:
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001614 switch (ReadSourceManagerBlock()) {
1615 case Success:
1616 break;
1617
1618 case Failure:
Douglas Gregor179cfb12009-04-10 20:39:37 +00001619 Error("Malformed source manager block");
1620 return Failure;
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001621
1622 case IgnorePCH:
1623 return IgnorePCH;
Douglas Gregor179cfb12009-04-10 20:39:37 +00001624 }
Douglas Gregorab1cef72009-04-10 03:52:48 +00001625 break;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001626 }
Douglas Gregorac8f2802009-04-10 17:25:41 +00001627 continue;
1628 }
1629
1630 if (Code == llvm::bitc::DEFINE_ABBREV) {
1631 Stream.ReadAbbrevRecord();
1632 continue;
1633 }
1634
1635 // Read and process a record.
1636 Record.clear();
Douglas Gregorb5887f32009-04-10 21:16:55 +00001637 const char *BlobStart = 0;
1638 unsigned BlobLen = 0;
1639 switch ((pch::PCHRecordTypes)Stream.ReadRecord(Code, Record,
1640 &BlobStart, &BlobLen)) {
Douglas Gregorac8f2802009-04-10 17:25:41 +00001641 default: // Default behavior: ignore.
1642 break;
1643
1644 case pch::TYPE_OFFSET:
Douglas Gregor179cfb12009-04-10 20:39:37 +00001645 if (!TypeOffsets.empty()) {
1646 Error("Duplicate TYPE_OFFSET record in PCH file");
1647 return Failure;
1648 }
Douglas Gregorac8f2802009-04-10 17:25:41 +00001649 TypeOffsets.swap(Record);
1650 TypeAlreadyLoaded.resize(TypeOffsets.size(), false);
1651 break;
1652
1653 case pch::DECL_OFFSET:
Douglas Gregor179cfb12009-04-10 20:39:37 +00001654 if (!DeclOffsets.empty()) {
1655 Error("Duplicate DECL_OFFSET record in PCH file");
1656 return Failure;
1657 }
Douglas Gregorac8f2802009-04-10 17:25:41 +00001658 DeclOffsets.swap(Record);
1659 DeclAlreadyLoaded.resize(DeclOffsets.size(), false);
1660 break;
Douglas Gregor179cfb12009-04-10 20:39:37 +00001661
1662 case pch::LANGUAGE_OPTIONS:
1663 if (ParseLanguageOptions(Record))
1664 return IgnorePCH;
1665 break;
Douglas Gregorb5887f32009-04-10 21:16:55 +00001666
Douglas Gregor7a224cf2009-04-11 00:14:32 +00001667 case pch::TARGET_TRIPLE: {
Douglas Gregorb5887f32009-04-10 21:16:55 +00001668 std::string TargetTriple(BlobStart, BlobLen);
1669 if (TargetTriple != Context.Target.getTargetTriple()) {
1670 Diag(diag::warn_pch_target_triple)
1671 << TargetTriple << Context.Target.getTargetTriple();
1672 Diag(diag::note_ignoring_pch) << FileName;
1673 return IgnorePCH;
1674 }
1675 break;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001676 }
Douglas Gregor7a224cf2009-04-11 00:14:32 +00001677
1678 case pch::IDENTIFIER_TABLE:
Douglas Gregorc713da92009-04-21 22:25:48 +00001679 IdentifierTableData = BlobStart;
1680 IdentifierLookupTable
1681 = PCHIdentifierLookupTable::Create(
1682 (const unsigned char *)IdentifierTableData + Record[0],
1683 (const unsigned char *)IdentifierTableData,
1684 PCHIdentifierLookupTrait(*this));
1685 // FIXME: What about any identifiers already placed into the
1686 // identifier table? Should we load decls with those names now?
1687 PP.getIdentifierTable().setExternalIdentifierLookup(this);
Douglas Gregor7a224cf2009-04-11 00:14:32 +00001688 break;
1689
1690 case pch::IDENTIFIER_OFFSET:
1691 if (!IdentifierData.empty()) {
1692 Error("Duplicate IDENTIFIER_OFFSET record in PCH file");
1693 return Failure;
1694 }
1695 IdentifierData.swap(Record);
1696#ifndef NDEBUG
1697 for (unsigned I = 0, N = IdentifierData.size(); I != N; ++I) {
1698 if ((IdentifierData[I] & 0x01) == 0) {
1699 Error("Malformed identifier table in the precompiled header");
1700 return Failure;
1701 }
1702 }
1703#endif
1704 break;
Douglas Gregor631f6c62009-04-14 00:24:19 +00001705
1706 case pch::EXTERNAL_DEFINITIONS:
1707 if (!ExternalDefinitions.empty()) {
1708 Error("Duplicate EXTERNAL_DEFINITIONS record in PCH file");
1709 return Failure;
1710 }
1711 ExternalDefinitions.swap(Record);
1712 break;
Douglas Gregor456e0952009-04-17 22:13:46 +00001713
Douglas Gregore01ad442009-04-18 05:55:16 +00001714 case pch::SPECIAL_TYPES:
1715 SpecialTypes.swap(Record);
1716 break;
1717
Douglas Gregor456e0952009-04-17 22:13:46 +00001718 case pch::STATISTICS:
1719 TotalNumStatements = Record[0];
Douglas Gregore0ad2dd2009-04-21 23:56:24 +00001720 TotalNumMacros = Record[1];
Douglas Gregor456e0952009-04-17 22:13:46 +00001721 break;
1722
Douglas Gregor7a224cf2009-04-11 00:14:32 +00001723 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001724 }
1725
Douglas Gregor179cfb12009-04-10 20:39:37 +00001726 Error("Premature end of bitstream");
1727 return Failure;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001728}
1729
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001730PCHReader::PCHReadResult PCHReader::ReadPCH(const std::string &FileName) {
Douglas Gregor179cfb12009-04-10 20:39:37 +00001731 // Set the PCH file name.
1732 this->FileName = FileName;
1733
Douglas Gregorc34897d2009-04-09 22:27:44 +00001734 // Open the PCH file.
1735 std::string ErrStr;
1736 Buffer.reset(llvm::MemoryBuffer::getFile(FileName.c_str(), &ErrStr));
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001737 if (!Buffer) {
1738 Error(ErrStr.c_str());
1739 return IgnorePCH;
1740 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001741
1742 // Initialize the stream
1743 Stream.init((const unsigned char *)Buffer->getBufferStart(),
1744 (const unsigned char *)Buffer->getBufferEnd());
1745
1746 // Sniff for the signature.
1747 if (Stream.Read(8) != 'C' ||
1748 Stream.Read(8) != 'P' ||
1749 Stream.Read(8) != 'C' ||
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001750 Stream.Read(8) != 'H') {
1751 Error("Not a PCH file");
1752 return IgnorePCH;
1753 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001754
1755 // We expect a number of well-defined blocks, though we don't necessarily
1756 // need to understand them all.
Douglas Gregorc713da92009-04-21 22:25:48 +00001757 uint64_t PreprocessorBlockOffset = 0;
Douglas Gregorc34897d2009-04-09 22:27:44 +00001758 while (!Stream.AtEndOfStream()) {
1759 unsigned Code = Stream.ReadCode();
1760
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001761 if (Code != llvm::bitc::ENTER_SUBBLOCK) {
1762 Error("Invalid record at top-level");
1763 return Failure;
1764 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001765
1766 unsigned BlockID = Stream.ReadSubBlockID();
Douglas Gregorc713da92009-04-21 22:25:48 +00001767
Douglas Gregorc34897d2009-04-09 22:27:44 +00001768 // We only know the PCH subblock ID.
1769 switch (BlockID) {
1770 case llvm::bitc::BLOCKINFO_BLOCK_ID:
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001771 if (Stream.ReadBlockInfoBlock()) {
1772 Error("Malformed BlockInfoBlock");
1773 return Failure;
1774 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001775 break;
1776 case pch::PCH_BLOCK_ID:
Douglas Gregorc713da92009-04-21 22:25:48 +00001777 switch (ReadPCHBlock(PreprocessorBlockOffset)) {
Douglas Gregor179cfb12009-04-10 20:39:37 +00001778 case Success:
1779 break;
1780
1781 case Failure:
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001782 return Failure;
Douglas Gregor179cfb12009-04-10 20:39:37 +00001783
1784 case IgnorePCH:
Douglas Gregorb5887f32009-04-10 21:16:55 +00001785 // FIXME: We could consider reading through to the end of this
1786 // PCH block, skipping subblocks, to see if there are other
1787 // PCH blocks elsewhere.
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001788 return IgnorePCH;
Douglas Gregor179cfb12009-04-10 20:39:37 +00001789 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001790 break;
1791 default:
Douglas Gregorb3a04c82009-04-10 23:10:45 +00001792 if (Stream.SkipBlock()) {
1793 Error("Malformed block record");
1794 return Failure;
1795 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00001796 break;
1797 }
1798 }
1799
1800 // Load the translation unit declaration
1801 ReadDeclRecord(DeclOffsets[0], 0);
1802
Douglas Gregorc713da92009-04-21 22:25:48 +00001803 // Initialization of builtins and library builtins occurs before the
1804 // PCH file is read, so there may be some identifiers that were
1805 // loaded into the IdentifierTable before we intercepted the
1806 // creation of identifiers. Iterate through the list of known
1807 // identifiers and determine whether we have to establish
1808 // preprocessor definitions or top-level identifier declaration
1809 // chains for those identifiers.
1810 //
1811 // We copy the IdentifierInfo pointers to a small vector first,
1812 // since de-serializing declarations or macro definitions can add
1813 // new entries into the identifier table, invalidating the
1814 // iterators.
1815 llvm::SmallVector<IdentifierInfo *, 128> Identifiers;
1816 for (IdentifierTable::iterator Id = PP.getIdentifierTable().begin(),
1817 IdEnd = PP.getIdentifierTable().end();
1818 Id != IdEnd; ++Id)
1819 Identifiers.push_back(Id->second);
1820 PCHIdentifierLookupTable *IdTable
1821 = (PCHIdentifierLookupTable *)IdentifierLookupTable;
1822 for (unsigned I = 0, N = Identifiers.size(); I != N; ++I) {
1823 IdentifierInfo *II = Identifiers[I];
1824 // Look in the on-disk hash table for an entry for
1825 PCHIdentifierLookupTrait Info(*this, II);
1826 std::pair<const char*, unsigned> Key(II->getName(), II->getLength());
1827 PCHIdentifierLookupTable::iterator Pos = IdTable->find(Key, &Info);
1828 if (Pos == IdTable->end())
1829 continue;
1830
1831 // Dereferencing the iterator has the effect of populating the
1832 // IdentifierInfo node with the various declarations it needs.
1833 (void)*Pos;
1834 }
1835
Douglas Gregore01ad442009-04-18 05:55:16 +00001836 // Load the special types.
1837 Context.setBuiltinVaListType(
1838 GetType(SpecialTypes[pch::SPECIAL_TYPE_BUILTIN_VA_LIST]));
1839
Douglas Gregorc713da92009-04-21 22:25:48 +00001840 // If we saw the preprocessor block, read it now.
1841 if (PreprocessorBlockOffset) {
1842 SavedStreamPosition SavedPos(Stream);
1843 Stream.JumpToBit(PreprocessorBlockOffset);
1844 if (ReadPreprocessorBlock()) {
1845 Error("Malformed preprocessor block");
1846 return Failure;
Douglas Gregorc10f86f2009-04-14 21:18:50 +00001847 }
Douglas Gregorc713da92009-04-21 22:25:48 +00001848 }
Douglas Gregorc10f86f2009-04-14 21:18:50 +00001849
Douglas Gregorc713da92009-04-21 22:25:48 +00001850 return Success;
Douglas Gregorc10f86f2009-04-14 21:18:50 +00001851}
1852
Douglas Gregor179cfb12009-04-10 20:39:37 +00001853/// \brief Parse the record that corresponds to a LangOptions data
1854/// structure.
1855///
1856/// This routine compares the language options used to generate the
1857/// PCH file against the language options set for the current
1858/// compilation. For each option, we classify differences between the
1859/// two compiler states as either "benign" or "important". Benign
1860/// differences don't matter, and we accept them without complaint
1861/// (and without modifying the language options). Differences between
1862/// the states for important options cause the PCH file to be
1863/// unusable, so we emit a warning and return true to indicate that
1864/// there was an error.
1865///
1866/// \returns true if the PCH file is unacceptable, false otherwise.
1867bool PCHReader::ParseLanguageOptions(
1868 const llvm::SmallVectorImpl<uint64_t> &Record) {
1869 const LangOptions &LangOpts = Context.getLangOptions();
1870#define PARSE_LANGOPT_BENIGN(Option) ++Idx
1871#define PARSE_LANGOPT_IMPORTANT(Option, DiagID) \
1872 if (Record[Idx] != LangOpts.Option) { \
1873 Diag(DiagID) << (unsigned)Record[Idx] << LangOpts.Option; \
1874 Diag(diag::note_ignoring_pch) << FileName; \
1875 return true; \
1876 } \
1877 ++Idx
1878
1879 unsigned Idx = 0;
1880 PARSE_LANGOPT_BENIGN(Trigraphs);
1881 PARSE_LANGOPT_BENIGN(BCPLComment);
1882 PARSE_LANGOPT_BENIGN(DollarIdents);
1883 PARSE_LANGOPT_BENIGN(AsmPreprocessor);
1884 PARSE_LANGOPT_IMPORTANT(GNUMode, diag::warn_pch_gnu_extensions);
1885 PARSE_LANGOPT_BENIGN(ImplicitInt);
1886 PARSE_LANGOPT_BENIGN(Digraphs);
1887 PARSE_LANGOPT_BENIGN(HexFloats);
1888 PARSE_LANGOPT_IMPORTANT(C99, diag::warn_pch_c99);
1889 PARSE_LANGOPT_IMPORTANT(Microsoft, diag::warn_pch_microsoft_extensions);
1890 PARSE_LANGOPT_IMPORTANT(CPlusPlus, diag::warn_pch_cplusplus);
1891 PARSE_LANGOPT_IMPORTANT(CPlusPlus0x, diag::warn_pch_cplusplus0x);
1892 PARSE_LANGOPT_IMPORTANT(NoExtensions, diag::warn_pch_extensions);
1893 PARSE_LANGOPT_BENIGN(CXXOperatorName);
1894 PARSE_LANGOPT_IMPORTANT(ObjC1, diag::warn_pch_objective_c);
1895 PARSE_LANGOPT_IMPORTANT(ObjC2, diag::warn_pch_objective_c2);
1896 PARSE_LANGOPT_IMPORTANT(ObjCNonFragileABI, diag::warn_pch_nonfragile_abi);
1897 PARSE_LANGOPT_BENIGN(PascalStrings);
1898 PARSE_LANGOPT_BENIGN(Boolean);
1899 PARSE_LANGOPT_BENIGN(WritableStrings);
1900 PARSE_LANGOPT_IMPORTANT(LaxVectorConversions,
1901 diag::warn_pch_lax_vector_conversions);
1902 PARSE_LANGOPT_IMPORTANT(Exceptions, diag::warn_pch_exceptions);
1903 PARSE_LANGOPT_IMPORTANT(NeXTRuntime, diag::warn_pch_objc_runtime);
1904 PARSE_LANGOPT_IMPORTANT(Freestanding, diag::warn_pch_freestanding);
1905 PARSE_LANGOPT_IMPORTANT(NoBuiltin, diag::warn_pch_builtins);
1906 PARSE_LANGOPT_IMPORTANT(ThreadsafeStatics,
1907 diag::warn_pch_thread_safe_statics);
1908 PARSE_LANGOPT_IMPORTANT(Blocks, diag::warn_pch_blocks);
1909 PARSE_LANGOPT_BENIGN(EmitAllDecls);
1910 PARSE_LANGOPT_IMPORTANT(MathErrno, diag::warn_pch_math_errno);
1911 PARSE_LANGOPT_IMPORTANT(OverflowChecking, diag::warn_pch_overflow_checking);
1912 PARSE_LANGOPT_IMPORTANT(HeinousExtensions,
1913 diag::warn_pch_heinous_extensions);
1914 // FIXME: Most of the options below are benign if the macro wasn't
1915 // used. Unfortunately, this means that a PCH compiled without
1916 // optimization can't be used with optimization turned on, even
1917 // though the only thing that changes is whether __OPTIMIZE__ was
1918 // defined... but if __OPTIMIZE__ never showed up in the header, it
1919 // doesn't matter. We could consider making this some special kind
1920 // of check.
1921 PARSE_LANGOPT_IMPORTANT(Optimize, diag::warn_pch_optimize);
1922 PARSE_LANGOPT_IMPORTANT(OptimizeSize, diag::warn_pch_optimize_size);
1923 PARSE_LANGOPT_IMPORTANT(Static, diag::warn_pch_static);
1924 PARSE_LANGOPT_IMPORTANT(PICLevel, diag::warn_pch_pic_level);
1925 PARSE_LANGOPT_IMPORTANT(GNUInline, diag::warn_pch_gnu_inline);
1926 PARSE_LANGOPT_IMPORTANT(NoInline, diag::warn_pch_no_inline);
1927 if ((LangOpts.getGCMode() != 0) != (Record[Idx] != 0)) {
1928 Diag(diag::warn_pch_gc_mode)
1929 << (unsigned)Record[Idx] << LangOpts.getGCMode();
1930 Diag(diag::note_ignoring_pch) << FileName;
1931 return true;
1932 }
1933 ++Idx;
1934 PARSE_LANGOPT_BENIGN(getVisibilityMode());
1935 PARSE_LANGOPT_BENIGN(InstantiationDepth);
1936#undef PARSE_LANGOPT_IRRELEVANT
1937#undef PARSE_LANGOPT_BENIGN
1938
1939 return false;
1940}
1941
Douglas Gregorc34897d2009-04-09 22:27:44 +00001942/// \brief Read and return the type at the given offset.
1943///
1944/// This routine actually reads the record corresponding to the type
1945/// at the given offset in the bitstream. It is a helper routine for
1946/// GetType, which deals with reading type IDs.
1947QualType PCHReader::ReadTypeRecord(uint64_t Offset) {
Douglas Gregorc10f86f2009-04-14 21:18:50 +00001948 // Keep track of where we are in the stream, then jump back there
1949 // after reading this type.
1950 SavedStreamPosition SavedPosition(Stream);
1951
Douglas Gregorc34897d2009-04-09 22:27:44 +00001952 Stream.JumpToBit(Offset);
1953 RecordData Record;
1954 unsigned Code = Stream.ReadCode();
1955 switch ((pch::TypeCode)Stream.ReadRecord(Code, Record)) {
Douglas Gregorbdd4ba52009-04-15 22:00:08 +00001956 case pch::TYPE_EXT_QUAL: {
1957 assert(Record.size() == 3 &&
1958 "Incorrect encoding of extended qualifier type");
1959 QualType Base = GetType(Record[0]);
1960 QualType::GCAttrTypes GCAttr = (QualType::GCAttrTypes)Record[1];
1961 unsigned AddressSpace = Record[2];
1962
1963 QualType T = Base;
1964 if (GCAttr != QualType::GCNone)
1965 T = Context.getObjCGCQualType(T, GCAttr);
1966 if (AddressSpace)
1967 T = Context.getAddrSpaceQualType(T, AddressSpace);
1968 return T;
1969 }
Douglas Gregor88fd09d2009-04-13 20:46:52 +00001970
Douglas Gregorc34897d2009-04-09 22:27:44 +00001971 case pch::TYPE_FIXED_WIDTH_INT: {
1972 assert(Record.size() == 2 && "Incorrect encoding of fixed-width int type");
1973 return Context.getFixedWidthIntType(Record[0], Record[1]);
1974 }
1975
1976 case pch::TYPE_COMPLEX: {
1977 assert(Record.size() == 1 && "Incorrect encoding of complex type");
1978 QualType ElemType = GetType(Record[0]);
1979 return Context.getComplexType(ElemType);
1980 }
1981
1982 case pch::TYPE_POINTER: {
1983 assert(Record.size() == 1 && "Incorrect encoding of pointer type");
1984 QualType PointeeType = GetType(Record[0]);
1985 return Context.getPointerType(PointeeType);
1986 }
1987
1988 case pch::TYPE_BLOCK_POINTER: {
1989 assert(Record.size() == 1 && "Incorrect encoding of block pointer type");
1990 QualType PointeeType = GetType(Record[0]);
1991 return Context.getBlockPointerType(PointeeType);
1992 }
1993
1994 case pch::TYPE_LVALUE_REFERENCE: {
1995 assert(Record.size() == 1 && "Incorrect encoding of lvalue reference type");
1996 QualType PointeeType = GetType(Record[0]);
1997 return Context.getLValueReferenceType(PointeeType);
1998 }
1999
2000 case pch::TYPE_RVALUE_REFERENCE: {
2001 assert(Record.size() == 1 && "Incorrect encoding of rvalue reference type");
2002 QualType PointeeType = GetType(Record[0]);
2003 return Context.getRValueReferenceType(PointeeType);
2004 }
2005
2006 case pch::TYPE_MEMBER_POINTER: {
2007 assert(Record.size() == 1 && "Incorrect encoding of member pointer type");
2008 QualType PointeeType = GetType(Record[0]);
2009 QualType ClassType = GetType(Record[1]);
2010 return Context.getMemberPointerType(PointeeType, ClassType.getTypePtr());
2011 }
2012
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002013 case pch::TYPE_CONSTANT_ARRAY: {
2014 QualType ElementType = GetType(Record[0]);
2015 ArrayType::ArraySizeModifier ASM = (ArrayType::ArraySizeModifier)Record[1];
2016 unsigned IndexTypeQuals = Record[2];
2017 unsigned Idx = 3;
2018 llvm::APInt Size = ReadAPInt(Record, Idx);
2019 return Context.getConstantArrayType(ElementType, Size, ASM, IndexTypeQuals);
2020 }
2021
2022 case pch::TYPE_INCOMPLETE_ARRAY: {
2023 QualType ElementType = GetType(Record[0]);
2024 ArrayType::ArraySizeModifier ASM = (ArrayType::ArraySizeModifier)Record[1];
2025 unsigned IndexTypeQuals = Record[2];
2026 return Context.getIncompleteArrayType(ElementType, ASM, IndexTypeQuals);
2027 }
2028
2029 case pch::TYPE_VARIABLE_ARRAY: {
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002030 QualType ElementType = GetType(Record[0]);
2031 ArrayType::ArraySizeModifier ASM = (ArrayType::ArraySizeModifier)Record[1];
2032 unsigned IndexTypeQuals = Record[2];
2033 return Context.getVariableArrayType(ElementType, ReadExpr(),
2034 ASM, IndexTypeQuals);
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002035 }
2036
2037 case pch::TYPE_VECTOR: {
2038 if (Record.size() != 2) {
2039 Error("Incorrect encoding of vector type in PCH file");
2040 return QualType();
2041 }
2042
2043 QualType ElementType = GetType(Record[0]);
2044 unsigned NumElements = Record[1];
2045 return Context.getVectorType(ElementType, NumElements);
2046 }
2047
2048 case pch::TYPE_EXT_VECTOR: {
2049 if (Record.size() != 2) {
2050 Error("Incorrect encoding of extended vector type in PCH file");
2051 return QualType();
2052 }
2053
2054 QualType ElementType = GetType(Record[0]);
2055 unsigned NumElements = Record[1];
2056 return Context.getExtVectorType(ElementType, NumElements);
2057 }
2058
2059 case pch::TYPE_FUNCTION_NO_PROTO: {
2060 if (Record.size() != 1) {
2061 Error("Incorrect encoding of no-proto function type");
2062 return QualType();
2063 }
2064 QualType ResultType = GetType(Record[0]);
2065 return Context.getFunctionNoProtoType(ResultType);
2066 }
2067
2068 case pch::TYPE_FUNCTION_PROTO: {
2069 QualType ResultType = GetType(Record[0]);
2070 unsigned Idx = 1;
2071 unsigned NumParams = Record[Idx++];
2072 llvm::SmallVector<QualType, 16> ParamTypes;
2073 for (unsigned I = 0; I != NumParams; ++I)
2074 ParamTypes.push_back(GetType(Record[Idx++]));
2075 bool isVariadic = Record[Idx++];
2076 unsigned Quals = Record[Idx++];
2077 return Context.getFunctionType(ResultType, &ParamTypes[0], NumParams,
2078 isVariadic, Quals);
2079 }
2080
2081 case pch::TYPE_TYPEDEF:
2082 assert(Record.size() == 1 && "Incorrect encoding of typedef type");
2083 return Context.getTypeDeclType(cast<TypedefDecl>(GetDecl(Record[0])));
2084
2085 case pch::TYPE_TYPEOF_EXPR:
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002086 return Context.getTypeOfExprType(ReadExpr());
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002087
2088 case pch::TYPE_TYPEOF: {
2089 if (Record.size() != 1) {
2090 Error("Incorrect encoding of typeof(type) in PCH file");
2091 return QualType();
2092 }
2093 QualType UnderlyingType = GetType(Record[0]);
2094 return Context.getTypeOfType(UnderlyingType);
2095 }
2096
2097 case pch::TYPE_RECORD:
Douglas Gregor982365e2009-04-13 21:20:57 +00002098 assert(Record.size() == 1 && "Incorrect encoding of record type");
2099 return Context.getTypeDeclType(cast<RecordDecl>(GetDecl(Record[0])));
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002100
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002101 case pch::TYPE_ENUM:
2102 assert(Record.size() == 1 && "Incorrect encoding of enum type");
2103 return Context.getTypeDeclType(cast<EnumDecl>(GetDecl(Record[0])));
2104
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002105 case pch::TYPE_OBJC_INTERFACE:
Chris Lattner80f83c62009-04-22 05:57:30 +00002106 assert(Record.size() == 1 && "Incorrect encoding of objc interface type");
2107 return Context.getObjCInterfaceType(
2108 cast<ObjCInterfaceDecl>(GetDecl(Record[0])));
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002109
Chris Lattnerbab2c0f2009-04-22 06:45:28 +00002110 case pch::TYPE_OBJC_QUALIFIED_INTERFACE: {
2111 unsigned Idx = 0;
2112 ObjCInterfaceDecl *ItfD = cast<ObjCInterfaceDecl>(GetDecl(Record[Idx++]));
2113 unsigned NumProtos = Record[Idx++];
2114 llvm::SmallVector<ObjCProtocolDecl*, 4> Protos;
2115 for (unsigned I = 0; I != NumProtos; ++I)
2116 Protos.push_back(cast<ObjCProtocolDecl>(GetDecl(Record[Idx++])));
2117 return Context.getObjCQualifiedInterfaceType(ItfD, &Protos[0], NumProtos);
2118 }
Douglas Gregor88fd09d2009-04-13 20:46:52 +00002119
Chris Lattner9b9f2352009-04-22 06:40:03 +00002120 case pch::TYPE_OBJC_QUALIFIED_ID: {
2121 unsigned Idx = 0;
2122 unsigned NumProtos = Record[Idx++];
2123 llvm::SmallVector<ObjCProtocolDecl*, 4> Protos;
2124 for (unsigned I = 0; I != NumProtos; ++I)
2125 Protos.push_back(cast<ObjCProtocolDecl>(GetDecl(Record[Idx++])));
2126 return Context.getObjCQualifiedIdType(&Protos[0], NumProtos);
2127 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00002128 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00002129 // Suppress a GCC warning
2130 return QualType();
2131}
2132
2133/// \brief Note that we have loaded the declaration with the given
2134/// Index.
2135///
2136/// This routine notes that this declaration has already been loaded,
2137/// so that future GetDecl calls will return this declaration rather
2138/// than trying to load a new declaration.
2139inline void PCHReader::LoadedDecl(unsigned Index, Decl *D) {
2140 assert(!DeclAlreadyLoaded[Index] && "Decl loaded twice?");
2141 DeclAlreadyLoaded[Index] = true;
2142 DeclOffsets[Index] = reinterpret_cast<uint64_t>(D);
2143}
2144
2145/// \brief Read the declaration at the given offset from the PCH file.
2146Decl *PCHReader::ReadDeclRecord(uint64_t Offset, unsigned Index) {
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002147 // Keep track of where we are in the stream, then jump back there
2148 // after reading this declaration.
2149 SavedStreamPosition SavedPosition(Stream);
2150
Douglas Gregorc34897d2009-04-09 22:27:44 +00002151 Decl *D = 0;
2152 Stream.JumpToBit(Offset);
2153 RecordData Record;
2154 unsigned Code = Stream.ReadCode();
2155 unsigned Idx = 0;
2156 PCHDeclReader Reader(*this, Record, Idx);
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002157
Douglas Gregorc34897d2009-04-09 22:27:44 +00002158 switch ((pch::DeclCode)Stream.ReadRecord(Code, Record)) {
Douglas Gregor1c507882009-04-15 21:30:51 +00002159 case pch::DECL_ATTR:
2160 case pch::DECL_CONTEXT_LEXICAL:
2161 case pch::DECL_CONTEXT_VISIBLE:
2162 assert(false && "Record cannot be de-serialized with ReadDeclRecord");
2163 break;
2164
Douglas Gregorc34897d2009-04-09 22:27:44 +00002165 case pch::DECL_TRANSLATION_UNIT:
2166 assert(Index == 0 && "Translation unit must be at index 0");
Douglas Gregorc34897d2009-04-09 22:27:44 +00002167 D = Context.getTranslationUnitDecl();
Douglas Gregorc34897d2009-04-09 22:27:44 +00002168 break;
2169
2170 case pch::DECL_TYPEDEF: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002171 D = TypedefDecl::Create(Context, 0, SourceLocation(), 0, QualType());
Douglas Gregorc34897d2009-04-09 22:27:44 +00002172 break;
2173 }
2174
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002175 case pch::DECL_ENUM: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002176 D = EnumDecl::Create(Context, 0, SourceLocation(), 0, 0);
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002177 break;
2178 }
2179
Douglas Gregor982365e2009-04-13 21:20:57 +00002180 case pch::DECL_RECORD: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002181 D = RecordDecl::Create(Context, TagDecl::TK_struct, 0, SourceLocation(),
2182 0, 0);
Douglas Gregor982365e2009-04-13 21:20:57 +00002183 break;
2184 }
2185
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002186 case pch::DECL_ENUM_CONSTANT: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002187 D = EnumConstantDecl::Create(Context, 0, SourceLocation(), 0, QualType(),
2188 0, llvm::APSInt());
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002189 break;
2190 }
Douglas Gregor23ce3a52009-04-13 22:18:37 +00002191
2192 case pch::DECL_FUNCTION: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002193 D = FunctionDecl::Create(Context, 0, SourceLocation(), DeclarationName(),
2194 QualType());
Douglas Gregor23ce3a52009-04-13 22:18:37 +00002195 break;
2196 }
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002197
Steve Naroff79ea0e02009-04-20 15:06:07 +00002198 case pch::DECL_OBJC_METHOD: {
2199 D = ObjCMethodDecl::Create(Context, SourceLocation(), SourceLocation(),
2200 Selector(), QualType(), 0);
2201 break;
2202 }
2203
Steve Naroff97b53bd2009-04-21 15:12:33 +00002204 case pch::DECL_OBJC_INTERFACE: {
Steve Naroff7333b492009-04-20 20:09:33 +00002205 D = ObjCInterfaceDecl::Create(Context, 0, SourceLocation(), 0);
2206 break;
2207 }
2208
Steve Naroff97b53bd2009-04-21 15:12:33 +00002209 case pch::DECL_OBJC_IVAR: {
Steve Naroff7333b492009-04-20 20:09:33 +00002210 D = ObjCIvarDecl::Create(Context, 0, SourceLocation(), 0, QualType(),
2211 ObjCIvarDecl::None);
2212 break;
2213 }
2214
Steve Naroff97b53bd2009-04-21 15:12:33 +00002215 case pch::DECL_OBJC_PROTOCOL: {
2216 D = ObjCProtocolDecl::Create(Context, 0, SourceLocation(), 0);
2217 break;
2218 }
2219
2220 case pch::DECL_OBJC_AT_DEFS_FIELD: {
2221 D = ObjCAtDefsFieldDecl::Create(Context, 0, SourceLocation(), 0,
2222 QualType(), 0);
2223 break;
2224 }
2225
2226 case pch::DECL_OBJC_CLASS: {
2227 D = ObjCClassDecl::Create(Context, 0, SourceLocation());
2228 break;
2229 }
2230
2231 case pch::DECL_OBJC_FORWARD_PROTOCOL: {
2232 D = ObjCForwardProtocolDecl::Create(Context, 0, SourceLocation());
2233 break;
2234 }
2235
2236 case pch::DECL_OBJC_CATEGORY: {
2237 D = ObjCCategoryDecl::Create(Context, 0, SourceLocation(), 0);
2238 break;
2239 }
2240
2241 case pch::DECL_OBJC_CATEGORY_IMPL: {
2242 // FIXME: Implement.
2243 break;
2244 }
2245
2246 case pch::DECL_OBJC_IMPLEMENTATION: {
2247 // FIXME: Implement.
2248 break;
2249 }
2250
2251 case pch::DECL_OBJC_COMPATIBLE_ALIAS: {
2252 // FIXME: Implement.
2253 break;
2254 }
2255
2256 case pch::DECL_OBJC_PROPERTY: {
2257 // FIXME: Implement.
2258 break;
2259 }
2260
2261 case pch::DECL_OBJC_PROPERTY_IMPL: {
2262 // FIXME: Implement.
2263 break;
2264 }
2265
Douglas Gregor982365e2009-04-13 21:20:57 +00002266 case pch::DECL_FIELD: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002267 D = FieldDecl::Create(Context, 0, SourceLocation(), 0, QualType(), 0,
2268 false);
Douglas Gregor982365e2009-04-13 21:20:57 +00002269 break;
2270 }
2271
Douglas Gregorc34897d2009-04-09 22:27:44 +00002272 case pch::DECL_VAR: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002273 D = VarDecl::Create(Context, 0, SourceLocation(), 0, QualType(),
2274 VarDecl::None, SourceLocation());
Douglas Gregorc34897d2009-04-09 22:27:44 +00002275 break;
2276 }
2277
Douglas Gregor23ce3a52009-04-13 22:18:37 +00002278 case pch::DECL_PARM_VAR: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002279 D = ParmVarDecl::Create(Context, 0, SourceLocation(), 0, QualType(),
2280 VarDecl::None, 0);
Douglas Gregor23ce3a52009-04-13 22:18:37 +00002281 break;
2282 }
2283
2284 case pch::DECL_ORIGINAL_PARM_VAR: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002285 D = OriginalParmVarDecl::Create(Context, 0, SourceLocation(), 0,
Douglas Gregor23ce3a52009-04-13 22:18:37 +00002286 QualType(), QualType(), VarDecl::None,
2287 0);
Douglas Gregor23ce3a52009-04-13 22:18:37 +00002288 break;
2289 }
2290
Douglas Gregor2a491792009-04-13 22:49:25 +00002291 case pch::DECL_FILE_SCOPE_ASM: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002292 D = FileScopeAsmDecl::Create(Context, 0, SourceLocation(), 0);
Douglas Gregor2a491792009-04-13 22:49:25 +00002293 break;
2294 }
2295
2296 case pch::DECL_BLOCK: {
Douglas Gregorddf4d092009-04-16 22:29:51 +00002297 D = BlockDecl::Create(Context, 0, SourceLocation());
Douglas Gregor2a491792009-04-13 22:49:25 +00002298 break;
2299 }
Douglas Gregorc34897d2009-04-09 22:27:44 +00002300 }
2301
Douglas Gregorc713da92009-04-21 22:25:48 +00002302 assert(D && "Unknown declaration reading PCH file");
Douglas Gregorddf4d092009-04-16 22:29:51 +00002303 if (D) {
2304 LoadedDecl(Index, D);
2305 Reader.Visit(D);
2306 }
2307
Douglas Gregorc34897d2009-04-09 22:27:44 +00002308 // If this declaration is also a declaration context, get the
2309 // offsets for its tables of lexical and visible declarations.
2310 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
2311 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
2312 if (Offsets.first || Offsets.second) {
2313 DC->setHasExternalLexicalStorage(Offsets.first != 0);
2314 DC->setHasExternalVisibleStorage(Offsets.second != 0);
2315 DeclContextOffsets[DC] = Offsets;
2316 }
2317 }
2318 assert(Idx == Record.size());
2319
2320 return D;
2321}
2322
Douglas Gregorac8f2802009-04-10 17:25:41 +00002323QualType PCHReader::GetType(pch::TypeID ID) {
Douglas Gregorc34897d2009-04-09 22:27:44 +00002324 unsigned Quals = ID & 0x07;
2325 unsigned Index = ID >> 3;
2326
2327 if (Index < pch::NUM_PREDEF_TYPE_IDS) {
2328 QualType T;
2329 switch ((pch::PredefinedTypeIDs)Index) {
2330 case pch::PREDEF_TYPE_NULL_ID: return QualType();
2331 case pch::PREDEF_TYPE_VOID_ID: T = Context.VoidTy; break;
2332 case pch::PREDEF_TYPE_BOOL_ID: T = Context.BoolTy; break;
2333
2334 case pch::PREDEF_TYPE_CHAR_U_ID:
2335 case pch::PREDEF_TYPE_CHAR_S_ID:
2336 // FIXME: Check that the signedness of CharTy is correct!
2337 T = Context.CharTy;
2338 break;
2339
2340 case pch::PREDEF_TYPE_UCHAR_ID: T = Context.UnsignedCharTy; break;
2341 case pch::PREDEF_TYPE_USHORT_ID: T = Context.UnsignedShortTy; break;
2342 case pch::PREDEF_TYPE_UINT_ID: T = Context.UnsignedIntTy; break;
2343 case pch::PREDEF_TYPE_ULONG_ID: T = Context.UnsignedLongTy; break;
2344 case pch::PREDEF_TYPE_ULONGLONG_ID: T = Context.UnsignedLongLongTy; break;
2345 case pch::PREDEF_TYPE_SCHAR_ID: T = Context.SignedCharTy; break;
2346 case pch::PREDEF_TYPE_WCHAR_ID: T = Context.WCharTy; break;
2347 case pch::PREDEF_TYPE_SHORT_ID: T = Context.ShortTy; break;
2348 case pch::PREDEF_TYPE_INT_ID: T = Context.IntTy; break;
2349 case pch::PREDEF_TYPE_LONG_ID: T = Context.LongTy; break;
2350 case pch::PREDEF_TYPE_LONGLONG_ID: T = Context.LongLongTy; break;
2351 case pch::PREDEF_TYPE_FLOAT_ID: T = Context.FloatTy; break;
2352 case pch::PREDEF_TYPE_DOUBLE_ID: T = Context.DoubleTy; break;
2353 case pch::PREDEF_TYPE_LONGDOUBLE_ID: T = Context.LongDoubleTy; break;
2354 case pch::PREDEF_TYPE_OVERLOAD_ID: T = Context.OverloadTy; break;
2355 case pch::PREDEF_TYPE_DEPENDENT_ID: T = Context.DependentTy; break;
2356 }
2357
2358 assert(!T.isNull() && "Unknown predefined type");
2359 return T.getQualifiedType(Quals);
2360 }
2361
2362 Index -= pch::NUM_PREDEF_TYPE_IDS;
2363 if (!TypeAlreadyLoaded[Index]) {
2364 // Load the type from the PCH file.
2365 TypeOffsets[Index] = reinterpret_cast<uint64_t>(
2366 ReadTypeRecord(TypeOffsets[Index]).getTypePtr());
2367 TypeAlreadyLoaded[Index] = true;
2368 }
2369
2370 return QualType(reinterpret_cast<Type *>(TypeOffsets[Index]), Quals);
2371}
2372
Douglas Gregorac8f2802009-04-10 17:25:41 +00002373Decl *PCHReader::GetDecl(pch::DeclID ID) {
Douglas Gregorc34897d2009-04-09 22:27:44 +00002374 if (ID == 0)
2375 return 0;
2376
2377 unsigned Index = ID - 1;
2378 if (DeclAlreadyLoaded[Index])
2379 return reinterpret_cast<Decl *>(DeclOffsets[Index]);
2380
2381 // Load the declaration from the PCH file.
2382 return ReadDeclRecord(DeclOffsets[Index], Index);
2383}
2384
Douglas Gregor3b9a7c82009-04-18 00:07:54 +00002385Stmt *PCHReader::GetStmt(uint64_t Offset) {
2386 // Keep track of where we are in the stream, then jump back there
2387 // after reading this declaration.
2388 SavedStreamPosition SavedPosition(Stream);
2389
2390 Stream.JumpToBit(Offset);
2391 return ReadStmt();
2392}
2393
Douglas Gregorc34897d2009-04-09 22:27:44 +00002394bool PCHReader::ReadDeclsLexicallyInContext(DeclContext *DC,
Douglas Gregorac8f2802009-04-10 17:25:41 +00002395 llvm::SmallVectorImpl<pch::DeclID> &Decls) {
Douglas Gregorc34897d2009-04-09 22:27:44 +00002396 assert(DC->hasExternalLexicalStorage() &&
2397 "DeclContext has no lexical decls in storage");
2398 uint64_t Offset = DeclContextOffsets[DC].first;
2399 assert(Offset && "DeclContext has no lexical decls in storage");
2400
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002401 // Keep track of where we are in the stream, then jump back there
2402 // after reading this context.
2403 SavedStreamPosition SavedPosition(Stream);
2404
Douglas Gregorc34897d2009-04-09 22:27:44 +00002405 // Load the record containing all of the declarations lexically in
2406 // this context.
2407 Stream.JumpToBit(Offset);
2408 RecordData Record;
2409 unsigned Code = Stream.ReadCode();
2410 unsigned RecCode = Stream.ReadRecord(Code, Record);
Douglas Gregor3c8ff3e2009-04-15 18:43:11 +00002411 (void)RecCode;
Douglas Gregorc34897d2009-04-09 22:27:44 +00002412 assert(RecCode == pch::DECL_CONTEXT_LEXICAL && "Expected lexical block");
2413
2414 // Load all of the declaration IDs
2415 Decls.clear();
2416 Decls.insert(Decls.end(), Record.begin(), Record.end());
2417 return false;
2418}
2419
2420bool PCHReader::ReadDeclsVisibleInContext(DeclContext *DC,
2421 llvm::SmallVectorImpl<VisibleDeclaration> & Decls) {
2422 assert(DC->hasExternalVisibleStorage() &&
2423 "DeclContext has no visible decls in storage");
2424 uint64_t Offset = DeclContextOffsets[DC].second;
2425 assert(Offset && "DeclContext has no visible decls in storage");
2426
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002427 // Keep track of where we are in the stream, then jump back there
2428 // after reading this context.
2429 SavedStreamPosition SavedPosition(Stream);
2430
Douglas Gregorc34897d2009-04-09 22:27:44 +00002431 // Load the record containing all of the declarations visible in
2432 // this context.
2433 Stream.JumpToBit(Offset);
2434 RecordData Record;
2435 unsigned Code = Stream.ReadCode();
2436 unsigned RecCode = Stream.ReadRecord(Code, Record);
Douglas Gregor3c8ff3e2009-04-15 18:43:11 +00002437 (void)RecCode;
Douglas Gregorc34897d2009-04-09 22:27:44 +00002438 assert(RecCode == pch::DECL_CONTEXT_VISIBLE && "Expected visible block");
2439 if (Record.size() == 0)
2440 return false;
2441
2442 Decls.clear();
2443
2444 unsigned Idx = 0;
Douglas Gregorc34897d2009-04-09 22:27:44 +00002445 while (Idx < Record.size()) {
2446 Decls.push_back(VisibleDeclaration());
2447 Decls.back().Name = ReadDeclarationName(Record, Idx);
2448
Douglas Gregorc34897d2009-04-09 22:27:44 +00002449 unsigned Size = Record[Idx++];
2450 llvm::SmallVector<unsigned, 4> & LoadedDecls
2451 = Decls.back().Declarations;
2452 LoadedDecls.reserve(Size);
2453 for (unsigned I = 0; I < Size; ++I)
2454 LoadedDecls.push_back(Record[Idx++]);
2455 }
2456
2457 return false;
2458}
2459
Douglas Gregor631f6c62009-04-14 00:24:19 +00002460void PCHReader::StartTranslationUnit(ASTConsumer *Consumer) {
2461 if (!Consumer)
2462 return;
2463
2464 for (unsigned I = 0, N = ExternalDefinitions.size(); I != N; ++I) {
2465 Decl *D = GetDecl(ExternalDefinitions[I]);
2466 DeclGroupRef DG(D);
2467 Consumer->HandleTopLevelDecl(DG);
2468 }
2469}
2470
Douglas Gregorc34897d2009-04-09 22:27:44 +00002471void PCHReader::PrintStats() {
2472 std::fprintf(stderr, "*** PCH Statistics:\n");
2473
2474 unsigned NumTypesLoaded = std::count(TypeAlreadyLoaded.begin(),
2475 TypeAlreadyLoaded.end(),
2476 true);
2477 unsigned NumDeclsLoaded = std::count(DeclAlreadyLoaded.begin(),
2478 DeclAlreadyLoaded.end(),
2479 true);
Douglas Gregor9cf47422009-04-13 20:50:16 +00002480 unsigned NumIdentifiersLoaded = 0;
2481 for (unsigned I = 0; I < IdentifierData.size(); ++I) {
2482 if ((IdentifierData[I] & 0x01) == 0)
2483 ++NumIdentifiersLoaded;
2484 }
2485
Douglas Gregorc34897d2009-04-09 22:27:44 +00002486 std::fprintf(stderr, " %u/%u types read (%f%%)\n",
2487 NumTypesLoaded, (unsigned)TypeAlreadyLoaded.size(),
Douglas Gregor9cf47422009-04-13 20:50:16 +00002488 ((float)NumTypesLoaded/TypeAlreadyLoaded.size() * 100));
Douglas Gregorc34897d2009-04-09 22:27:44 +00002489 std::fprintf(stderr, " %u/%u declarations read (%f%%)\n",
2490 NumDeclsLoaded, (unsigned)DeclAlreadyLoaded.size(),
Douglas Gregor9cf47422009-04-13 20:50:16 +00002491 ((float)NumDeclsLoaded/DeclAlreadyLoaded.size() * 100));
2492 std::fprintf(stderr, " %u/%u identifiers read (%f%%)\n",
2493 NumIdentifiersLoaded, (unsigned)IdentifierData.size(),
2494 ((float)NumIdentifiersLoaded/IdentifierData.size() * 100));
Douglas Gregor456e0952009-04-17 22:13:46 +00002495 std::fprintf(stderr, " %u/%u statements read (%f%%)\n",
2496 NumStatementsRead, TotalNumStatements,
2497 ((float)NumStatementsRead/TotalNumStatements * 100));
Douglas Gregore0ad2dd2009-04-21 23:56:24 +00002498 std::fprintf(stderr, " %u/%u macros read (%f%%)\n",
2499 NumMacrosRead, TotalNumMacros,
2500 ((float)NumMacrosRead/TotalNumMacros * 100));
Douglas Gregorc34897d2009-04-09 22:27:44 +00002501 std::fprintf(stderr, "\n");
2502}
2503
Douglas Gregorc713da92009-04-21 22:25:48 +00002504void PCHReader::InitializeSema(Sema &S) {
2505 SemaObj = &S;
2506
2507 // FIXME: this makes sure any declarations that were deserialized
2508 // "too early" still get added to the identifier's declaration
2509 // chains.
2510 for (unsigned I = 0, N = TUDecls.size(); I != N; ++I) {
2511 SemaObj->TUScope->AddDecl(Action::DeclPtrTy::make(TUDecls[I]));
2512 SemaObj->IdResolver.AddDecl(TUDecls[I]);
2513 }
2514 TUDecls.clear();
2515}
2516
2517IdentifierInfo* PCHReader::get(const char *NameStart, const char *NameEnd) {
2518 // Try to find this name within our on-disk hash table
2519 PCHIdentifierLookupTable *IdTable
2520 = (PCHIdentifierLookupTable *)IdentifierLookupTable;
2521 std::pair<const char*, unsigned> Key(NameStart, NameEnd - NameStart);
2522 PCHIdentifierLookupTable::iterator Pos = IdTable->find(Key);
2523 if (Pos == IdTable->end())
2524 return 0;
2525
2526 // Dereferencing the iterator has the effect of building the
2527 // IdentifierInfo node and populating it with the various
2528 // declarations it needs.
2529 return *Pos;
2530}
2531
2532void PCHReader::SetIdentifierInfo(unsigned ID, const IdentifierInfo *II) {
2533 assert(ID && "Non-zero identifier ID required");
2534 IdentifierData[ID - 1] = reinterpret_cast<uint64_t>(II);
2535}
2536
Chris Lattner29241862009-04-11 21:15:38 +00002537IdentifierInfo *PCHReader::DecodeIdentifierInfo(unsigned ID) {
Douglas Gregor7a224cf2009-04-11 00:14:32 +00002538 if (ID == 0)
2539 return 0;
Chris Lattner29241862009-04-11 21:15:38 +00002540
Douglas Gregorc713da92009-04-21 22:25:48 +00002541 if (!IdentifierTableData || IdentifierData.empty()) {
Douglas Gregor7a224cf2009-04-11 00:14:32 +00002542 Error("No identifier table in PCH file");
2543 return 0;
2544 }
Chris Lattner29241862009-04-11 21:15:38 +00002545
Douglas Gregor7a224cf2009-04-11 00:14:32 +00002546 if (IdentifierData[ID - 1] & 0x01) {
Douglas Gregorff9a6092009-04-20 20:36:09 +00002547 uint64_t Offset = IdentifierData[ID - 1] >> 1;
Douglas Gregor7a224cf2009-04-11 00:14:32 +00002548 IdentifierData[ID - 1] = reinterpret_cast<uint64_t>(
Douglas Gregorc713da92009-04-21 22:25:48 +00002549 &Context.Idents.get(IdentifierTableData + Offset));
Douglas Gregor7a224cf2009-04-11 00:14:32 +00002550 }
Chris Lattner29241862009-04-11 21:15:38 +00002551
2552 return reinterpret_cast<IdentifierInfo *>(IdentifierData[ID - 1]);
Douglas Gregorc34897d2009-04-09 22:27:44 +00002553}
2554
2555DeclarationName
2556PCHReader::ReadDeclarationName(const RecordData &Record, unsigned &Idx) {
2557 DeclarationName::NameKind Kind = (DeclarationName::NameKind)Record[Idx++];
2558 switch (Kind) {
2559 case DeclarationName::Identifier:
2560 return DeclarationName(GetIdentifierInfo(Record, Idx));
2561
2562 case DeclarationName::ObjCZeroArgSelector:
2563 case DeclarationName::ObjCOneArgSelector:
2564 case DeclarationName::ObjCMultiArgSelector:
2565 assert(false && "Unable to de-serialize Objective-C selectors");
2566 break;
2567
2568 case DeclarationName::CXXConstructorName:
2569 return Context.DeclarationNames.getCXXConstructorName(
2570 GetType(Record[Idx++]));
2571
2572 case DeclarationName::CXXDestructorName:
2573 return Context.DeclarationNames.getCXXDestructorName(
2574 GetType(Record[Idx++]));
2575
2576 case DeclarationName::CXXConversionFunctionName:
2577 return Context.DeclarationNames.getCXXConversionFunctionName(
2578 GetType(Record[Idx++]));
2579
2580 case DeclarationName::CXXOperatorName:
2581 return Context.DeclarationNames.getCXXOperatorName(
2582 (OverloadedOperatorKind)Record[Idx++]);
2583
2584 case DeclarationName::CXXUsingDirective:
2585 return DeclarationName::getUsingDirectiveName();
2586 }
2587
2588 // Required to silence GCC warning
2589 return DeclarationName();
2590}
Douglas Gregor179cfb12009-04-10 20:39:37 +00002591
Douglas Gregor47f1b2c2009-04-13 18:14:40 +00002592/// \brief Read an integral value
2593llvm::APInt PCHReader::ReadAPInt(const RecordData &Record, unsigned &Idx) {
2594 unsigned BitWidth = Record[Idx++];
2595 unsigned NumWords = llvm::APInt::getNumWords(BitWidth);
2596 llvm::APInt Result(BitWidth, NumWords, &Record[Idx]);
2597 Idx += NumWords;
2598 return Result;
2599}
2600
2601/// \brief Read a signed integral value
2602llvm::APSInt PCHReader::ReadAPSInt(const RecordData &Record, unsigned &Idx) {
2603 bool isUnsigned = Record[Idx++];
2604 return llvm::APSInt(ReadAPInt(Record, Idx), isUnsigned);
2605}
2606
Douglas Gregore2f37202009-04-14 21:55:33 +00002607/// \brief Read a floating-point value
2608llvm::APFloat PCHReader::ReadAPFloat(const RecordData &Record, unsigned &Idx) {
Douglas Gregore2f37202009-04-14 21:55:33 +00002609 return llvm::APFloat(ReadAPInt(Record, Idx));
2610}
2611
Douglas Gregor1c507882009-04-15 21:30:51 +00002612// \brief Read a string
2613std::string PCHReader::ReadString(const RecordData &Record, unsigned &Idx) {
2614 unsigned Len = Record[Idx++];
2615 std::string Result(&Record[Idx], &Record[Idx] + Len);
2616 Idx += Len;
2617 return Result;
2618}
2619
2620/// \brief Reads attributes from the current stream position.
2621Attr *PCHReader::ReadAttributes() {
2622 unsigned Code = Stream.ReadCode();
2623 assert(Code == llvm::bitc::UNABBREV_RECORD &&
2624 "Expected unabbreviated record"); (void)Code;
2625
2626 RecordData Record;
2627 unsigned Idx = 0;
2628 unsigned RecCode = Stream.ReadRecord(Code, Record);
2629 assert(RecCode == pch::DECL_ATTR && "Expected attribute record");
2630 (void)RecCode;
2631
2632#define SIMPLE_ATTR(Name) \
2633 case Attr::Name: \
2634 New = ::new (Context) Name##Attr(); \
2635 break
2636
2637#define STRING_ATTR(Name) \
2638 case Attr::Name: \
2639 New = ::new (Context) Name##Attr(ReadString(Record, Idx)); \
2640 break
2641
2642#define UNSIGNED_ATTR(Name) \
2643 case Attr::Name: \
2644 New = ::new (Context) Name##Attr(Record[Idx++]); \
2645 break
2646
2647 Attr *Attrs = 0;
2648 while (Idx < Record.size()) {
2649 Attr *New = 0;
2650 Attr::Kind Kind = (Attr::Kind)Record[Idx++];
2651 bool IsInherited = Record[Idx++];
2652
2653 switch (Kind) {
2654 STRING_ATTR(Alias);
2655 UNSIGNED_ATTR(Aligned);
2656 SIMPLE_ATTR(AlwaysInline);
2657 SIMPLE_ATTR(AnalyzerNoReturn);
2658 STRING_ATTR(Annotate);
2659 STRING_ATTR(AsmLabel);
2660
2661 case Attr::Blocks:
2662 New = ::new (Context) BlocksAttr(
2663 (BlocksAttr::BlocksAttrTypes)Record[Idx++]);
2664 break;
2665
2666 case Attr::Cleanup:
2667 New = ::new (Context) CleanupAttr(
2668 cast<FunctionDecl>(GetDecl(Record[Idx++])));
2669 break;
2670
2671 SIMPLE_ATTR(Const);
2672 UNSIGNED_ATTR(Constructor);
2673 SIMPLE_ATTR(DLLExport);
2674 SIMPLE_ATTR(DLLImport);
2675 SIMPLE_ATTR(Deprecated);
2676 UNSIGNED_ATTR(Destructor);
2677 SIMPLE_ATTR(FastCall);
2678
2679 case Attr::Format: {
2680 std::string Type = ReadString(Record, Idx);
2681 unsigned FormatIdx = Record[Idx++];
2682 unsigned FirstArg = Record[Idx++];
2683 New = ::new (Context) FormatAttr(Type, FormatIdx, FirstArg);
2684 break;
2685 }
2686
Chris Lattner15ce6cc2009-04-20 19:12:28 +00002687 SIMPLE_ATTR(GNUInline);
Douglas Gregor1c507882009-04-15 21:30:51 +00002688
2689 case Attr::IBOutletKind:
2690 New = ::new (Context) IBOutletAttr();
2691 break;
2692
2693 SIMPLE_ATTR(NoReturn);
2694 SIMPLE_ATTR(NoThrow);
2695 SIMPLE_ATTR(Nodebug);
2696 SIMPLE_ATTR(Noinline);
2697
2698 case Attr::NonNull: {
2699 unsigned Size = Record[Idx++];
2700 llvm::SmallVector<unsigned, 16> ArgNums;
2701 ArgNums.insert(ArgNums.end(), &Record[Idx], &Record[Idx] + Size);
2702 Idx += Size;
2703 New = ::new (Context) NonNullAttr(&ArgNums[0], Size);
2704 break;
2705 }
2706
2707 SIMPLE_ATTR(ObjCException);
2708 SIMPLE_ATTR(ObjCNSObject);
2709 SIMPLE_ATTR(Overloadable);
2710 UNSIGNED_ATTR(Packed);
2711 SIMPLE_ATTR(Pure);
2712 UNSIGNED_ATTR(Regparm);
2713 STRING_ATTR(Section);
2714 SIMPLE_ATTR(StdCall);
2715 SIMPLE_ATTR(TransparentUnion);
2716 SIMPLE_ATTR(Unavailable);
2717 SIMPLE_ATTR(Unused);
2718 SIMPLE_ATTR(Used);
2719
2720 case Attr::Visibility:
2721 New = ::new (Context) VisibilityAttr(
2722 (VisibilityAttr::VisibilityTypes)Record[Idx++]);
2723 break;
2724
2725 SIMPLE_ATTR(WarnUnusedResult);
2726 SIMPLE_ATTR(Weak);
2727 SIMPLE_ATTR(WeakImport);
2728 }
2729
2730 assert(New && "Unable to decode attribute?");
2731 New->setInherited(IsInherited);
2732 New->setNext(Attrs);
2733 Attrs = New;
2734 }
2735#undef UNSIGNED_ATTR
2736#undef STRING_ATTR
2737#undef SIMPLE_ATTR
2738
2739 // The list of attributes was built backwards. Reverse the list
2740 // before returning it.
2741 Attr *PrevAttr = 0, *NextAttr = 0;
2742 while (Attrs) {
2743 NextAttr = Attrs->getNext();
2744 Attrs->setNext(PrevAttr);
2745 PrevAttr = Attrs;
2746 Attrs = NextAttr;
2747 }
2748
2749 return PrevAttr;
2750}
2751
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002752Stmt *PCHReader::ReadStmt() {
Douglas Gregora151ba42009-04-14 23:32:43 +00002753 // Within the bitstream, expressions are stored in Reverse Polish
2754 // Notation, with each of the subexpressions preceding the
2755 // expression they are stored in. To evaluate expressions, we
2756 // continue reading expressions and placing them on the stack, with
2757 // expressions having operands removing those operands from the
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002758 // stack. Evaluation terminates when we see a STMT_STOP record, and
Douglas Gregora151ba42009-04-14 23:32:43 +00002759 // the single remaining expression on the stack is our result.
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002760 RecordData Record;
Douglas Gregora151ba42009-04-14 23:32:43 +00002761 unsigned Idx;
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002762 llvm::SmallVector<Stmt *, 16> StmtStack;
2763 PCHStmtReader Reader(*this, Record, Idx, StmtStack);
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002764 Stmt::EmptyShell Empty;
2765
Douglas Gregora151ba42009-04-14 23:32:43 +00002766 while (true) {
2767 unsigned Code = Stream.ReadCode();
2768 if (Code == llvm::bitc::END_BLOCK) {
2769 if (Stream.ReadBlockEnd()) {
2770 Error("Error at end of Source Manager block");
2771 return 0;
2772 }
2773 break;
2774 }
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002775
Douglas Gregora151ba42009-04-14 23:32:43 +00002776 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
2777 // No known subblocks, always skip them.
2778 Stream.ReadSubBlockID();
2779 if (Stream.SkipBlock()) {
2780 Error("Malformed block record");
2781 return 0;
2782 }
2783 continue;
2784 }
Douglas Gregore2f37202009-04-14 21:55:33 +00002785
Douglas Gregora151ba42009-04-14 23:32:43 +00002786 if (Code == llvm::bitc::DEFINE_ABBREV) {
2787 Stream.ReadAbbrevRecord();
2788 continue;
2789 }
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002790
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002791 Stmt *S = 0;
Douglas Gregora151ba42009-04-14 23:32:43 +00002792 Idx = 0;
2793 Record.clear();
2794 bool Finished = false;
2795 switch ((pch::StmtCode)Stream.ReadRecord(Code, Record)) {
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002796 case pch::STMT_STOP:
Douglas Gregora151ba42009-04-14 23:32:43 +00002797 Finished = true;
2798 break;
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002799
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002800 case pch::STMT_NULL_PTR:
2801 S = 0;
Douglas Gregora151ba42009-04-14 23:32:43 +00002802 break;
Douglas Gregorc10f86f2009-04-14 21:18:50 +00002803
Douglas Gregor9c4782a2009-04-17 00:04:06 +00002804 case pch::STMT_NULL:
2805 S = new (Context) NullStmt(Empty);
2806 break;
2807
2808 case pch::STMT_COMPOUND:
2809 S = new (Context) CompoundStmt(Empty);
2810 break;
2811
2812 case pch::STMT_CASE:
2813 S = new (Context) CaseStmt(Empty);
2814 break;
2815
2816 case pch::STMT_DEFAULT:
2817 S = new (Context) DefaultStmt(Empty);
2818 break;
2819
Douglas Gregor6e411bf2009-04-17 18:18:49 +00002820 case pch::STMT_LABEL:
2821 S = new (Context) LabelStmt(Empty);
2822 break;
2823
Douglas Gregor9c4782a2009-04-17 00:04:06 +00002824 case pch::STMT_IF:
2825 S = new (Context) IfStmt(Empty);
2826 break;
2827
2828 case pch::STMT_SWITCH:
2829 S = new (Context) SwitchStmt(Empty);
2830 break;
2831
Douglas Gregora6b503f2009-04-17 00:16:09 +00002832 case pch::STMT_WHILE:
2833 S = new (Context) WhileStmt(Empty);
2834 break;
2835
Douglas Gregorfb5f25b2009-04-17 00:29:51 +00002836 case pch::STMT_DO:
2837 S = new (Context) DoStmt(Empty);
2838 break;
2839
2840 case pch::STMT_FOR:
2841 S = new (Context) ForStmt(Empty);
2842 break;
2843
Douglas Gregor6e411bf2009-04-17 18:18:49 +00002844 case pch::STMT_GOTO:
2845 S = new (Context) GotoStmt(Empty);
2846 break;
Douglas Gregor95a8fe32009-04-17 18:58:21 +00002847
2848 case pch::STMT_INDIRECT_GOTO:
2849 S = new (Context) IndirectGotoStmt(Empty);
2850 break;
Douglas Gregor6e411bf2009-04-17 18:18:49 +00002851
Douglas Gregora6b503f2009-04-17 00:16:09 +00002852 case pch::STMT_CONTINUE:
2853 S = new (Context) ContinueStmt(Empty);
2854 break;
2855
Douglas Gregor9c4782a2009-04-17 00:04:06 +00002856 case pch::STMT_BREAK:
2857 S = new (Context) BreakStmt(Empty);
2858 break;
2859
Douglas Gregor22d2dcd2009-04-17 16:34:57 +00002860 case pch::STMT_RETURN:
2861 S = new (Context) ReturnStmt(Empty);
2862 break;
2863
Douglas Gregor78ff29f2009-04-17 16:55:36 +00002864 case pch::STMT_DECL:
2865 S = new (Context) DeclStmt(Empty);
2866 break;
2867
Douglas Gregor3e1f9fb2009-04-17 20:57:14 +00002868 case pch::STMT_ASM:
2869 S = new (Context) AsmStmt(Empty);
2870 break;
2871
Douglas Gregora151ba42009-04-14 23:32:43 +00002872 case pch::EXPR_PREDEFINED:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002873 S = new (Context) PredefinedExpr(Empty);
Douglas Gregora151ba42009-04-14 23:32:43 +00002874 break;
2875
2876 case pch::EXPR_DECL_REF:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002877 S = new (Context) DeclRefExpr(Empty);
Douglas Gregora151ba42009-04-14 23:32:43 +00002878 break;
2879
2880 case pch::EXPR_INTEGER_LITERAL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002881 S = new (Context) IntegerLiteral(Empty);
Douglas Gregora151ba42009-04-14 23:32:43 +00002882 break;
2883
2884 case pch::EXPR_FLOATING_LITERAL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002885 S = new (Context) FloatingLiteral(Empty);
Douglas Gregora151ba42009-04-14 23:32:43 +00002886 break;
2887
Douglas Gregor21ddd8c2009-04-15 22:19:53 +00002888 case pch::EXPR_IMAGINARY_LITERAL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002889 S = new (Context) ImaginaryLiteral(Empty);
Douglas Gregor21ddd8c2009-04-15 22:19:53 +00002890 break;
2891
Douglas Gregor596e0932009-04-15 16:35:07 +00002892 case pch::EXPR_STRING_LITERAL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002893 S = StringLiteral::CreateEmpty(Context,
Douglas Gregor596e0932009-04-15 16:35:07 +00002894 Record[PCHStmtReader::NumExprFields + 1]);
2895 break;
2896
Douglas Gregora151ba42009-04-14 23:32:43 +00002897 case pch::EXPR_CHARACTER_LITERAL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002898 S = new (Context) CharacterLiteral(Empty);
Douglas Gregora151ba42009-04-14 23:32:43 +00002899 break;
2900
Douglas Gregor4ea0b1f2009-04-14 23:59:37 +00002901 case pch::EXPR_PAREN:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002902 S = new (Context) ParenExpr(Empty);
Douglas Gregor4ea0b1f2009-04-14 23:59:37 +00002903 break;
2904
Douglas Gregor12d74052009-04-15 15:58:59 +00002905 case pch::EXPR_UNARY_OPERATOR:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002906 S = new (Context) UnaryOperator(Empty);
Douglas Gregor12d74052009-04-15 15:58:59 +00002907 break;
2908
2909 case pch::EXPR_SIZEOF_ALIGN_OF:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002910 S = new (Context) SizeOfAlignOfExpr(Empty);
Douglas Gregor12d74052009-04-15 15:58:59 +00002911 break;
2912
Douglas Gregor21ddd8c2009-04-15 22:19:53 +00002913 case pch::EXPR_ARRAY_SUBSCRIPT:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002914 S = new (Context) ArraySubscriptExpr(Empty);
Douglas Gregor21ddd8c2009-04-15 22:19:53 +00002915 break;
2916
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +00002917 case pch::EXPR_CALL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002918 S = new (Context) CallExpr(Context, Empty);
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +00002919 break;
2920
2921 case pch::EXPR_MEMBER:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002922 S = new (Context) MemberExpr(Empty);
Douglas Gregor7e2b1cd2009-04-15 17:43:59 +00002923 break;
2924
Douglas Gregorc75d0cb2009-04-15 00:25:59 +00002925 case pch::EXPR_BINARY_OPERATOR:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002926 S = new (Context) BinaryOperator(Empty);
Douglas Gregorc75d0cb2009-04-15 00:25:59 +00002927 break;
2928
Douglas Gregorc599bbf2009-04-15 22:40:36 +00002929 case pch::EXPR_COMPOUND_ASSIGN_OPERATOR:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002930 S = new (Context) CompoundAssignOperator(Empty);
Douglas Gregorc599bbf2009-04-15 22:40:36 +00002931 break;
2932
2933 case pch::EXPR_CONDITIONAL_OPERATOR:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002934 S = new (Context) ConditionalOperator(Empty);
Douglas Gregorc599bbf2009-04-15 22:40:36 +00002935 break;
2936
Douglas Gregora151ba42009-04-14 23:32:43 +00002937 case pch::EXPR_IMPLICIT_CAST:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002938 S = new (Context) ImplicitCastExpr(Empty);
Douglas Gregora151ba42009-04-14 23:32:43 +00002939 break;
Douglas Gregorc75d0cb2009-04-15 00:25:59 +00002940
2941 case pch::EXPR_CSTYLE_CAST:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002942 S = new (Context) CStyleCastExpr(Empty);
Douglas Gregorc75d0cb2009-04-15 00:25:59 +00002943 break;
Douglas Gregorec0b8292009-04-15 23:02:49 +00002944
Douglas Gregorb70b48f2009-04-16 02:33:48 +00002945 case pch::EXPR_COMPOUND_LITERAL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002946 S = new (Context) CompoundLiteralExpr(Empty);
Douglas Gregorb70b48f2009-04-16 02:33:48 +00002947 break;
2948
Douglas Gregorec0b8292009-04-15 23:02:49 +00002949 case pch::EXPR_EXT_VECTOR_ELEMENT:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002950 S = new (Context) ExtVectorElementExpr(Empty);
Douglas Gregorec0b8292009-04-15 23:02:49 +00002951 break;
2952
Douglas Gregor6710a3c2009-04-16 00:55:48 +00002953 case pch::EXPR_INIT_LIST:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002954 S = new (Context) InitListExpr(Empty);
Douglas Gregor6710a3c2009-04-16 00:55:48 +00002955 break;
2956
2957 case pch::EXPR_DESIGNATED_INIT:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002958 S = DesignatedInitExpr::CreateEmpty(Context,
Douglas Gregor6710a3c2009-04-16 00:55:48 +00002959 Record[PCHStmtReader::NumExprFields] - 1);
2960
2961 break;
2962
2963 case pch::EXPR_IMPLICIT_VALUE_INIT:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002964 S = new (Context) ImplicitValueInitExpr(Empty);
Douglas Gregor6710a3c2009-04-16 00:55:48 +00002965 break;
2966
Douglas Gregorec0b8292009-04-15 23:02:49 +00002967 case pch::EXPR_VA_ARG:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002968 S = new (Context) VAArgExpr(Empty);
Douglas Gregorec0b8292009-04-15 23:02:49 +00002969 break;
Douglas Gregor209d4622009-04-15 23:33:31 +00002970
Douglas Gregor95a8fe32009-04-17 18:58:21 +00002971 case pch::EXPR_ADDR_LABEL:
2972 S = new (Context) AddrLabelExpr(Empty);
2973 break;
2974
Douglas Gregoreca12f62009-04-17 19:05:30 +00002975 case pch::EXPR_STMT:
2976 S = new (Context) StmtExpr(Empty);
2977 break;
2978
Douglas Gregor209d4622009-04-15 23:33:31 +00002979 case pch::EXPR_TYPES_COMPATIBLE:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002980 S = new (Context) TypesCompatibleExpr(Empty);
Douglas Gregor209d4622009-04-15 23:33:31 +00002981 break;
2982
2983 case pch::EXPR_CHOOSE:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002984 S = new (Context) ChooseExpr(Empty);
Douglas Gregor209d4622009-04-15 23:33:31 +00002985 break;
2986
2987 case pch::EXPR_GNU_NULL:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002988 S = new (Context) GNUNullExpr(Empty);
Douglas Gregor209d4622009-04-15 23:33:31 +00002989 break;
Douglas Gregor725e94b2009-04-16 00:01:45 +00002990
2991 case pch::EXPR_SHUFFLE_VECTOR:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00002992 S = new (Context) ShuffleVectorExpr(Empty);
Douglas Gregor725e94b2009-04-16 00:01:45 +00002993 break;
2994
Douglas Gregore246b742009-04-17 19:21:43 +00002995 case pch::EXPR_BLOCK:
2996 S = new (Context) BlockExpr(Empty);
2997 break;
2998
Douglas Gregor725e94b2009-04-16 00:01:45 +00002999 case pch::EXPR_BLOCK_DECL_REF:
Douglas Gregorc72f6c82009-04-16 22:23:12 +00003000 S = new (Context) BlockDeclRefExpr(Empty);
Douglas Gregor725e94b2009-04-16 00:01:45 +00003001 break;
Chris Lattner80f83c62009-04-22 05:57:30 +00003002
Chris Lattnerc49bbe72009-04-22 06:29:42 +00003003 case pch::EXPR_OBJC_STRING_LITERAL:
3004 S = new (Context) ObjCStringLiteral(Empty);
3005 break;
Chris Lattner80f83c62009-04-22 05:57:30 +00003006 case pch::EXPR_OBJC_ENCODE:
3007 S = new (Context) ObjCEncodeExpr(Empty);
3008 break;
Chris Lattnerc49bbe72009-04-22 06:29:42 +00003009 case pch::EXPR_OBJC_SELECTOR_EXPR:
3010 S = new (Context) ObjCSelectorExpr(Empty);
3011 break;
3012 case pch::EXPR_OBJC_PROTOCOL_EXPR:
3013 S = new (Context) ObjCProtocolExpr(Empty);
3014 break;
Douglas Gregora151ba42009-04-14 23:32:43 +00003015 }
3016
Douglas Gregorc72f6c82009-04-16 22:23:12 +00003017 // We hit a STMT_STOP, so we're done with this expression.
Douglas Gregora151ba42009-04-14 23:32:43 +00003018 if (Finished)
3019 break;
3020
Douglas Gregor456e0952009-04-17 22:13:46 +00003021 ++NumStatementsRead;
3022
Douglas Gregorc72f6c82009-04-16 22:23:12 +00003023 if (S) {
3024 unsigned NumSubStmts = Reader.Visit(S);
3025 while (NumSubStmts > 0) {
3026 StmtStack.pop_back();
3027 --NumSubStmts;
Douglas Gregora151ba42009-04-14 23:32:43 +00003028 }
3029 }
3030
Douglas Gregor6e411bf2009-04-17 18:18:49 +00003031 assert(Idx == Record.size() && "Invalid deserialization of statement");
Douglas Gregorc72f6c82009-04-16 22:23:12 +00003032 StmtStack.push_back(S);
Douglas Gregorc10f86f2009-04-14 21:18:50 +00003033 }
Douglas Gregorc72f6c82009-04-16 22:23:12 +00003034 assert(StmtStack.size() == 1 && "Extra expressions on stack!");
Douglas Gregor22d2dcd2009-04-17 16:34:57 +00003035 SwitchCaseStmts.clear();
Douglas Gregorc72f6c82009-04-16 22:23:12 +00003036 return StmtStack.back();
3037}
3038
3039Expr *PCHReader::ReadExpr() {
3040 return dyn_cast_or_null<Expr>(ReadStmt());
Douglas Gregorc10f86f2009-04-14 21:18:50 +00003041}
3042
Douglas Gregor179cfb12009-04-10 20:39:37 +00003043DiagnosticBuilder PCHReader::Diag(unsigned DiagID) {
Douglas Gregorb3a04c82009-04-10 23:10:45 +00003044 return Diag(SourceLocation(), DiagID);
3045}
3046
3047DiagnosticBuilder PCHReader::Diag(SourceLocation Loc, unsigned DiagID) {
3048 return PP.getDiagnostics().Report(FullSourceLoc(Loc,
Douglas Gregor179cfb12009-04-10 20:39:37 +00003049 Context.getSourceManager()),
3050 DiagID);
3051}
Douglas Gregor9c4782a2009-04-17 00:04:06 +00003052
Douglas Gregorc713da92009-04-21 22:25:48 +00003053/// \brief Retrieve the identifier table associated with the
3054/// preprocessor.
3055IdentifierTable &PCHReader::getIdentifierTable() {
3056 return PP.getIdentifierTable();
3057}
3058
Douglas Gregor9c4782a2009-04-17 00:04:06 +00003059/// \brief Record that the given ID maps to the given switch-case
3060/// statement.
3061void PCHReader::RecordSwitchCaseID(SwitchCase *SC, unsigned ID) {
3062 assert(SwitchCaseStmts[ID] == 0 && "Already have a SwitchCase with this ID");
3063 SwitchCaseStmts[ID] = SC;
3064}
3065
3066/// \brief Retrieve the switch-case statement with the given ID.
3067SwitchCase *PCHReader::getSwitchCaseWithID(unsigned ID) {
3068 assert(SwitchCaseStmts[ID] != 0 && "No SwitchCase with this ID");
3069 return SwitchCaseStmts[ID];
3070}
Douglas Gregor6e411bf2009-04-17 18:18:49 +00003071
3072/// \brief Record that the given label statement has been
3073/// deserialized and has the given ID.
3074void PCHReader::RecordLabelStmt(LabelStmt *S, unsigned ID) {
3075 assert(LabelStmts.find(ID) == LabelStmts.end() &&
3076 "Deserialized label twice");
3077 LabelStmts[ID] = S;
3078
3079 // If we've already seen any goto statements that point to this
3080 // label, resolve them now.
3081 typedef std::multimap<unsigned, GotoStmt *>::iterator GotoIter;
3082 std::pair<GotoIter, GotoIter> Gotos = UnresolvedGotoStmts.equal_range(ID);
3083 for (GotoIter Goto = Gotos.first; Goto != Gotos.second; ++Goto)
3084 Goto->second->setLabel(S);
3085 UnresolvedGotoStmts.erase(Gotos.first, Gotos.second);
Douglas Gregor95a8fe32009-04-17 18:58:21 +00003086
3087 // If we've already seen any address-label statements that point to
3088 // this label, resolve them now.
3089 typedef std::multimap<unsigned, AddrLabelExpr *>::iterator AddrLabelIter;
3090 std::pair<AddrLabelIter, AddrLabelIter> AddrLabels
3091 = UnresolvedAddrLabelExprs.equal_range(ID);
3092 for (AddrLabelIter AddrLabel = AddrLabels.first;
3093 AddrLabel != AddrLabels.second; ++AddrLabel)
3094 AddrLabel->second->setLabel(S);
3095 UnresolvedAddrLabelExprs.erase(AddrLabels.first, AddrLabels.second);
Douglas Gregor6e411bf2009-04-17 18:18:49 +00003096}
3097
3098/// \brief Set the label of the given statement to the label
3099/// identified by ID.
3100///
3101/// Depending on the order in which the label and other statements
3102/// referencing that label occur, this operation may complete
3103/// immediately (updating the statement) or it may queue the
3104/// statement to be back-patched later.
3105void PCHReader::SetLabelOf(GotoStmt *S, unsigned ID) {
3106 std::map<unsigned, LabelStmt *>::iterator Label = LabelStmts.find(ID);
3107 if (Label != LabelStmts.end()) {
3108 // We've already seen this label, so set the label of the goto and
3109 // we're done.
3110 S->setLabel(Label->second);
3111 } else {
3112 // We haven't seen this label yet, so add this goto to the set of
3113 // unresolved goto statements.
3114 UnresolvedGotoStmts.insert(std::make_pair(ID, S));
3115 }
3116}
Douglas Gregor95a8fe32009-04-17 18:58:21 +00003117
3118/// \brief Set the label of the given expression to the label
3119/// identified by ID.
3120///
3121/// Depending on the order in which the label and other statements
3122/// referencing that label occur, this operation may complete
3123/// immediately (updating the statement) or it may queue the
3124/// statement to be back-patched later.
3125void PCHReader::SetLabelOf(AddrLabelExpr *S, unsigned ID) {
3126 std::map<unsigned, LabelStmt *>::iterator Label = LabelStmts.find(ID);
3127 if (Label != LabelStmts.end()) {
3128 // We've already seen this label, so set the label of the
3129 // label-address expression and we're done.
3130 S->setLabel(Label->second);
3131 } else {
3132 // We haven't seen this label yet, so add this label-address
3133 // expression to the set of unresolved label-address expressions.
3134 UnresolvedAddrLabelExprs.insert(std::make_pair(ID, S));
3135 }
3136}