blob: 01af67dd50a16397ac65b6a7d1b5e0c36b38f006 [file] [log] [blame]
Chris Lattner4c6f9522009-04-27 05:14:47 +00001//===--- PCHReaderStmt.cpp - Stmt/Expr Deserialization ----------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Statement/expression deserialization. This implements the
11// PCHReader::ReadStmt method.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/Frontend/PCHReader.h"
Douglas Gregor39da0b82009-09-09 23:08:42 +000016#include "clang/AST/DeclCXX.h"
Chris Lattner4c6f9522009-04-27 05:14:47 +000017#include "clang/AST/StmtVisitor.h"
18using namespace clang;
19
Chris Lattner4c6f9522009-04-27 05:14:47 +000020namespace {
21 class PCHStmtReader : public StmtVisitor<PCHStmtReader, unsigned> {
22 PCHReader &Reader;
23 const PCHReader::RecordData &Record;
24 unsigned &Idx;
25 llvm::SmallVectorImpl<Stmt *> &StmtStack;
26
27 public:
28 PCHStmtReader(PCHReader &Reader, const PCHReader::RecordData &Record,
29 unsigned &Idx, llvm::SmallVectorImpl<Stmt *> &StmtStack)
30 : Reader(Reader), Record(Record), Idx(Idx), StmtStack(StmtStack) { }
31
32 /// \brief The number of record fields required for the Stmt class
33 /// itself.
34 static const unsigned NumStmtFields = 0;
35
36 /// \brief The number of record fields required for the Expr class
37 /// itself.
38 static const unsigned NumExprFields = NumStmtFields + 3;
39
40 // Each of the Visit* functions reads in part of the expression
41 // from the given record and the current expression stack, then
42 // return the total number of operands that it read from the
43 // expression stack.
44
45 unsigned VisitStmt(Stmt *S);
46 unsigned VisitNullStmt(NullStmt *S);
47 unsigned VisitCompoundStmt(CompoundStmt *S);
48 unsigned VisitSwitchCase(SwitchCase *S);
49 unsigned VisitCaseStmt(CaseStmt *S);
50 unsigned VisitDefaultStmt(DefaultStmt *S);
51 unsigned VisitLabelStmt(LabelStmt *S);
52 unsigned VisitIfStmt(IfStmt *S);
53 unsigned VisitSwitchStmt(SwitchStmt *S);
54 unsigned VisitWhileStmt(WhileStmt *S);
55 unsigned VisitDoStmt(DoStmt *S);
56 unsigned VisitForStmt(ForStmt *S);
57 unsigned VisitGotoStmt(GotoStmt *S);
58 unsigned VisitIndirectGotoStmt(IndirectGotoStmt *S);
59 unsigned VisitContinueStmt(ContinueStmt *S);
60 unsigned VisitBreakStmt(BreakStmt *S);
61 unsigned VisitReturnStmt(ReturnStmt *S);
62 unsigned VisitDeclStmt(DeclStmt *S);
63 unsigned VisitAsmStmt(AsmStmt *S);
64 unsigned VisitExpr(Expr *E);
65 unsigned VisitPredefinedExpr(PredefinedExpr *E);
66 unsigned VisitDeclRefExpr(DeclRefExpr *E);
67 unsigned VisitIntegerLiteral(IntegerLiteral *E);
68 unsigned VisitFloatingLiteral(FloatingLiteral *E);
69 unsigned VisitImaginaryLiteral(ImaginaryLiteral *E);
70 unsigned VisitStringLiteral(StringLiteral *E);
71 unsigned VisitCharacterLiteral(CharacterLiteral *E);
72 unsigned VisitParenExpr(ParenExpr *E);
73 unsigned VisitUnaryOperator(UnaryOperator *E);
74 unsigned VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E);
75 unsigned VisitArraySubscriptExpr(ArraySubscriptExpr *E);
76 unsigned VisitCallExpr(CallExpr *E);
77 unsigned VisitMemberExpr(MemberExpr *E);
78 unsigned VisitCastExpr(CastExpr *E);
79 unsigned VisitBinaryOperator(BinaryOperator *E);
80 unsigned VisitCompoundAssignOperator(CompoundAssignOperator *E);
81 unsigned VisitConditionalOperator(ConditionalOperator *E);
82 unsigned VisitImplicitCastExpr(ImplicitCastExpr *E);
83 unsigned VisitExplicitCastExpr(ExplicitCastExpr *E);
84 unsigned VisitCStyleCastExpr(CStyleCastExpr *E);
85 unsigned VisitCompoundLiteralExpr(CompoundLiteralExpr *E);
86 unsigned VisitExtVectorElementExpr(ExtVectorElementExpr *E);
87 unsigned VisitInitListExpr(InitListExpr *E);
88 unsigned VisitDesignatedInitExpr(DesignatedInitExpr *E);
89 unsigned VisitImplicitValueInitExpr(ImplicitValueInitExpr *E);
90 unsigned VisitVAArgExpr(VAArgExpr *E);
91 unsigned VisitAddrLabelExpr(AddrLabelExpr *E);
92 unsigned VisitStmtExpr(StmtExpr *E);
93 unsigned VisitTypesCompatibleExpr(TypesCompatibleExpr *E);
94 unsigned VisitChooseExpr(ChooseExpr *E);
95 unsigned VisitGNUNullExpr(GNUNullExpr *E);
96 unsigned VisitShuffleVectorExpr(ShuffleVectorExpr *E);
97 unsigned VisitBlockExpr(BlockExpr *E);
98 unsigned VisitBlockDeclRefExpr(BlockDeclRefExpr *E);
99 unsigned VisitObjCStringLiteral(ObjCStringLiteral *E);
100 unsigned VisitObjCEncodeExpr(ObjCEncodeExpr *E);
101 unsigned VisitObjCSelectorExpr(ObjCSelectorExpr *E);
102 unsigned VisitObjCProtocolExpr(ObjCProtocolExpr *E);
103 unsigned VisitObjCIvarRefExpr(ObjCIvarRefExpr *E);
104 unsigned VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E);
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000105 unsigned VisitObjCImplicitSetterGetterRefExpr(
106 ObjCImplicitSetterGetterRefExpr *E);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000107 unsigned VisitObjCMessageExpr(ObjCMessageExpr *E);
108 unsigned VisitObjCSuperExpr(ObjCSuperExpr *E);
Steve Narofff242b1b2009-07-24 17:54:45 +0000109 unsigned VisitObjCIsaExpr(ObjCIsaExpr *E);
Mike Stump1eb44332009-09-09 15:08:12 +0000110
Chris Lattner4c6f9522009-04-27 05:14:47 +0000111 unsigned VisitObjCForCollectionStmt(ObjCForCollectionStmt *);
112 unsigned VisitObjCAtCatchStmt(ObjCAtCatchStmt *);
113 unsigned VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *);
114 unsigned VisitObjCAtTryStmt(ObjCAtTryStmt *);
115 unsigned VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *);
116 unsigned VisitObjCAtThrowStmt(ObjCAtThrowStmt *);
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000117
118 unsigned VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E);
Douglas Gregor39da0b82009-09-09 23:08:42 +0000119 unsigned VisitCXXConstructExpr(CXXConstructExpr *E);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000120 };
121}
122
123unsigned PCHStmtReader::VisitStmt(Stmt *S) {
124 assert(Idx == NumStmtFields && "Incorrect statement field count");
125 return 0;
126}
127
128unsigned PCHStmtReader::VisitNullStmt(NullStmt *S) {
129 VisitStmt(S);
130 S->setSemiLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
131 return 0;
132}
133
134unsigned PCHStmtReader::VisitCompoundStmt(CompoundStmt *S) {
135 VisitStmt(S);
136 unsigned NumStmts = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000137 S->setStmts(*Reader.getContext(),
Jay Foadbeaaccd2009-05-21 09:52:38 +0000138 StmtStack.data() + StmtStack.size() - NumStmts, NumStmts);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000139 S->setLBracLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
140 S->setRBracLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
141 return NumStmts;
142}
143
144unsigned PCHStmtReader::VisitSwitchCase(SwitchCase *S) {
145 VisitStmt(S);
146 Reader.RecordSwitchCaseID(S, Record[Idx++]);
147 return 0;
148}
149
150unsigned PCHStmtReader::VisitCaseStmt(CaseStmt *S) {
151 VisitSwitchCase(S);
152 S->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 3]));
153 S->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
154 S->setSubStmt(StmtStack.back());
155 S->setCaseLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregordbb26db2009-05-15 23:57:33 +0000156 S->setEllipsisLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
157 S->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000158 return 3;
159}
160
161unsigned PCHStmtReader::VisitDefaultStmt(DefaultStmt *S) {
162 VisitSwitchCase(S);
163 S->setSubStmt(StmtStack.back());
164 S->setDefaultLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregordbb26db2009-05-15 23:57:33 +0000165 S->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000166 return 1;
167}
168
169unsigned PCHStmtReader::VisitLabelStmt(LabelStmt *S) {
170 VisitStmt(S);
171 S->setID(Reader.GetIdentifierInfo(Record, Idx));
172 S->setSubStmt(StmtStack.back());
173 S->setIdentLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
174 Reader.RecordLabelStmt(S, Record[Idx++]);
175 return 1;
176}
177
178unsigned PCHStmtReader::VisitIfStmt(IfStmt *S) {
179 VisitStmt(S);
180 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
181 S->setThen(StmtStack[StmtStack.size() - 2]);
182 S->setElse(StmtStack[StmtStack.size() - 1]);
183 S->setIfLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregord06f6ca2009-05-15 18:53:42 +0000184 S->setElseLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000185 return 3;
186}
187
188unsigned PCHStmtReader::VisitSwitchStmt(SwitchStmt *S) {
189 VisitStmt(S);
190 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 2]));
191 S->setBody(StmtStack.back());
192 S->setSwitchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
193 SwitchCase *PrevSC = 0;
194 for (unsigned N = Record.size(); Idx != N; ++Idx) {
195 SwitchCase *SC = Reader.getSwitchCaseWithID(Record[Idx]);
196 if (PrevSC)
197 PrevSC->setNextSwitchCase(SC);
198 else
199 S->setSwitchCaseList(SC);
Mike Stump1eb44332009-09-09 15:08:12 +0000200
Douglas Gregor43d9d922009-08-08 01:41:12 +0000201 // Retain this SwitchCase, since SwitchStmt::addSwitchCase() would
202 // normally retain it (but we aren't calling addSwitchCase).
203 SC->Retain();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000204 PrevSC = SC;
205 }
206 return 2;
207}
208
209unsigned PCHStmtReader::VisitWhileStmt(WhileStmt *S) {
210 VisitStmt(S);
211 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
212 S->setBody(StmtStack.back());
213 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
214 return 2;
215}
216
217unsigned PCHStmtReader::VisitDoStmt(DoStmt *S) {
218 VisitStmt(S);
219 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
220 S->setBody(StmtStack.back());
221 S->setDoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor9f3ca2a2009-05-15 21:56:04 +0000222 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner98913592009-06-12 23:04:47 +0000223 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000224 return 2;
225}
226
227unsigned PCHStmtReader::VisitForStmt(ForStmt *S) {
228 VisitStmt(S);
229 S->setInit(StmtStack[StmtStack.size() - 4]);
230 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 3]));
231 S->setInc(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
232 S->setBody(StmtStack.back());
233 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor5831c6a2009-05-15 22:12:32 +0000234 S->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
235 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000236 return 4;
237}
238
239unsigned PCHStmtReader::VisitGotoStmt(GotoStmt *S) {
240 VisitStmt(S);
241 Reader.SetLabelOf(S, Record[Idx++]);
242 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
243 S->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
244 return 0;
245}
246
247unsigned PCHStmtReader::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
248 VisitStmt(S);
249 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor5f1b9e62009-05-16 00:20:29 +0000250 S->setStarLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000251 S->setTarget(cast_or_null<Expr>(StmtStack.back()));
252 return 1;
253}
254
255unsigned PCHStmtReader::VisitContinueStmt(ContinueStmt *S) {
256 VisitStmt(S);
257 S->setContinueLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
258 return 0;
259}
260
261unsigned PCHStmtReader::VisitBreakStmt(BreakStmt *S) {
262 VisitStmt(S);
263 S->setBreakLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
264 return 0;
265}
266
267unsigned PCHStmtReader::VisitReturnStmt(ReturnStmt *S) {
268 VisitStmt(S);
269 S->setRetValue(cast_or_null<Expr>(StmtStack.back()));
270 S->setReturnLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
271 return 1;
272}
273
274unsigned PCHStmtReader::VisitDeclStmt(DeclStmt *S) {
275 VisitStmt(S);
276 S->setStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
277 S->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
278
279 if (Idx + 1 == Record.size()) {
280 // Single declaration
281 S->setDeclGroup(DeclGroupRef(Reader.GetDecl(Record[Idx++])));
282 } else {
283 llvm::SmallVector<Decl *, 16> Decls;
284 Decls.reserve(Record.size() - Idx);
285 for (unsigned N = Record.size(); Idx != N; ++Idx)
286 Decls.push_back(Reader.GetDecl(Record[Idx]));
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000287 S->setDeclGroup(DeclGroupRef(DeclGroup::Create(*Reader.getContext(),
Douglas Gregor75fdb232009-05-22 22:45:36 +0000288 Decls.data(),
289 Decls.size())));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000290 }
291 return 0;
292}
293
294unsigned PCHStmtReader::VisitAsmStmt(AsmStmt *S) {
295 VisitStmt(S);
296 unsigned NumOutputs = Record[Idx++];
297 unsigned NumInputs = Record[Idx++];
298 unsigned NumClobbers = Record[Idx++];
299 S->setAsmLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
300 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
301 S->setVolatile(Record[Idx++]);
302 S->setSimple(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000303
304 unsigned StackIdx
Chris Lattner4c6f9522009-04-27 05:14:47 +0000305 = StmtStack.size() - (NumOutputs*2 + NumInputs*2 + NumClobbers + 1);
306 S->setAsmString(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
307
308 // Outputs and inputs
309 llvm::SmallVector<std::string, 16> Names;
310 llvm::SmallVector<StringLiteral*, 16> Constraints;
311 llvm::SmallVector<Stmt*, 16> Exprs;
312 for (unsigned I = 0, N = NumOutputs + NumInputs; I != N; ++I) {
313 Names.push_back(Reader.ReadString(Record, Idx));
314 Constraints.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
315 Exprs.push_back(StmtStack[StackIdx++]);
316 }
317 S->setOutputsAndInputs(NumOutputs, NumInputs,
Jay Foadbeaaccd2009-05-21 09:52:38 +0000318 Names.data(), Constraints.data(), Exprs.data());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000319
320 // Constraints
321 llvm::SmallVector<StringLiteral*, 16> Clobbers;
322 for (unsigned I = 0; I != NumClobbers; ++I)
323 Clobbers.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000324 S->setClobbers(Clobbers.data(), NumClobbers);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000325
326 assert(StackIdx == StmtStack.size() && "Error deserializing AsmStmt");
327 return NumOutputs*2 + NumInputs*2 + NumClobbers + 1;
328}
329
330unsigned PCHStmtReader::VisitExpr(Expr *E) {
331 VisitStmt(E);
332 E->setType(Reader.GetType(Record[Idx++]));
333 E->setTypeDependent(Record[Idx++]);
334 E->setValueDependent(Record[Idx++]);
335 assert(Idx == NumExprFields && "Incorrect expression field count");
336 return 0;
337}
338
339unsigned PCHStmtReader::VisitPredefinedExpr(PredefinedExpr *E) {
340 VisitExpr(E);
341 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
342 E->setIdentType((PredefinedExpr::IdentType)Record[Idx++]);
343 return 0;
344}
345
346unsigned PCHStmtReader::VisitDeclRefExpr(DeclRefExpr *E) {
347 VisitExpr(E);
348 E->setDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
349 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregora2813ce2009-10-23 18:54:35 +0000350 // FIXME: read qualifier
351 // FIXME: read explicit template arguments
Chris Lattner4c6f9522009-04-27 05:14:47 +0000352 return 0;
353}
354
355unsigned PCHStmtReader::VisitIntegerLiteral(IntegerLiteral *E) {
356 VisitExpr(E);
357 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
358 E->setValue(Reader.ReadAPInt(Record, Idx));
359 return 0;
360}
361
362unsigned PCHStmtReader::VisitFloatingLiteral(FloatingLiteral *E) {
363 VisitExpr(E);
364 E->setValue(Reader.ReadAPFloat(Record, Idx));
365 E->setExact(Record[Idx++]);
366 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
367 return 0;
368}
369
370unsigned PCHStmtReader::VisitImaginaryLiteral(ImaginaryLiteral *E) {
371 VisitExpr(E);
372 E->setSubExpr(cast<Expr>(StmtStack.back()));
373 return 1;
374}
375
376unsigned PCHStmtReader::VisitStringLiteral(StringLiteral *E) {
377 VisitExpr(E);
378 unsigned Len = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000379 assert(Record[Idx] == E->getNumConcatenated() &&
Chris Lattner4c6f9522009-04-27 05:14:47 +0000380 "Wrong number of concatenated tokens!");
381 ++Idx;
382 E->setWide(Record[Idx++]);
383
Mike Stump1eb44332009-09-09 15:08:12 +0000384 // Read string data
Daniel Dunbarb6480232009-09-22 03:27:33 +0000385 llvm::SmallString<16> Str(&Record[Idx], &Record[Idx] + Len);
386 E->setString(*Reader.getContext(), Str.str());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000387 Idx += Len;
388
389 // Read source locations
390 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
391 E->setStrTokenLoc(I, SourceLocation::getFromRawEncoding(Record[Idx++]));
392
393 return 0;
394}
395
396unsigned PCHStmtReader::VisitCharacterLiteral(CharacterLiteral *E) {
397 VisitExpr(E);
398 E->setValue(Record[Idx++]);
399 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
400 E->setWide(Record[Idx++]);
401 return 0;
402}
403
404unsigned PCHStmtReader::VisitParenExpr(ParenExpr *E) {
405 VisitExpr(E);
406 E->setLParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
407 E->setRParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
408 E->setSubExpr(cast<Expr>(StmtStack.back()));
409 return 1;
410}
411
412unsigned PCHStmtReader::VisitUnaryOperator(UnaryOperator *E) {
413 VisitExpr(E);
414 E->setSubExpr(cast<Expr>(StmtStack.back()));
415 E->setOpcode((UnaryOperator::Opcode)Record[Idx++]);
416 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
417 return 1;
418}
419
420unsigned PCHStmtReader::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E) {
421 VisitExpr(E);
422 E->setSizeof(Record[Idx++]);
423 if (Record[Idx] == 0) {
424 E->setArgument(cast<Expr>(StmtStack.back()));
425 ++Idx;
426 } else {
John McCall5ab75172009-11-04 07:28:41 +0000427 E->setArgument(Reader.GetDeclaratorInfo(Record, Idx));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000428 }
429 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
430 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
431 return E->isArgumentType()? 0 : 1;
432}
433
434unsigned PCHStmtReader::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
435 VisitExpr(E);
436 E->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 2]));
437 E->setRHS(cast<Expr>(StmtStack[StmtStack.size() - 1]));
438 E->setRBracketLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
439 return 2;
440}
441
442unsigned PCHStmtReader::VisitCallExpr(CallExpr *E) {
443 VisitExpr(E);
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000444 E->setNumArgs(*Reader.getContext(), Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000445 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
446 E->setCallee(cast<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
447 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
448 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
449 return E->getNumArgs() + 1;
450}
451
452unsigned PCHStmtReader::VisitMemberExpr(MemberExpr *E) {
453 VisitExpr(E);
454 E->setBase(cast<Expr>(StmtStack.back()));
455 E->setMemberDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
456 E->setMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
457 E->setArrow(Record[Idx++]);
458 return 1;
459}
460
Steve Narofff242b1b2009-07-24 17:54:45 +0000461unsigned PCHStmtReader::VisitObjCIsaExpr(ObjCIsaExpr *E) {
462 VisitExpr(E);
463 E->setBase(cast<Expr>(StmtStack.back()));
464 E->setIsaMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
465 E->setArrow(Record[Idx++]);
466 return 1;
467}
468
Chris Lattner4c6f9522009-04-27 05:14:47 +0000469unsigned PCHStmtReader::VisitCastExpr(CastExpr *E) {
470 VisitExpr(E);
471 E->setSubExpr(cast<Expr>(StmtStack.back()));
Anders Carlssoncdef2b72009-07-31 00:48:10 +0000472 E->setCastKind((CastExpr::CastKind)Record[Idx++]);
473
Chris Lattner4c6f9522009-04-27 05:14:47 +0000474 return 1;
475}
476
477unsigned PCHStmtReader::VisitBinaryOperator(BinaryOperator *E) {
478 VisitExpr(E);
479 E->setLHS(cast<Expr>(StmtStack.end()[-2]));
480 E->setRHS(cast<Expr>(StmtStack.end()[-1]));
481 E->setOpcode((BinaryOperator::Opcode)Record[Idx++]);
482 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
483 return 2;
484}
485
486unsigned PCHStmtReader::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
487 VisitBinaryOperator(E);
488 E->setComputationLHSType(Reader.GetType(Record[Idx++]));
489 E->setComputationResultType(Reader.GetType(Record[Idx++]));
490 return 2;
491}
492
493unsigned PCHStmtReader::VisitConditionalOperator(ConditionalOperator *E) {
494 VisitExpr(E);
495 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
496 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
497 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
Douglas Gregor47e1f7c2009-08-26 14:37:04 +0000498 E->setQuestionLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
499 E->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000500 return 3;
501}
502
503unsigned PCHStmtReader::VisitImplicitCastExpr(ImplicitCastExpr *E) {
504 VisitCastExpr(E);
505 E->setLvalueCast(Record[Idx++]);
506 return 1;
507}
508
509unsigned PCHStmtReader::VisitExplicitCastExpr(ExplicitCastExpr *E) {
510 VisitCastExpr(E);
511 E->setTypeAsWritten(Reader.GetType(Record[Idx++]));
512 return 1;
513}
514
515unsigned PCHStmtReader::VisitCStyleCastExpr(CStyleCastExpr *E) {
516 VisitExplicitCastExpr(E);
517 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
518 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
519 return 1;
520}
521
522unsigned PCHStmtReader::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
523 VisitExpr(E);
524 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
525 E->setInitializer(cast<Expr>(StmtStack.back()));
526 E->setFileScope(Record[Idx++]);
527 return 1;
528}
529
530unsigned PCHStmtReader::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
531 VisitExpr(E);
532 E->setBase(cast<Expr>(StmtStack.back()));
533 E->setAccessor(Reader.GetIdentifierInfo(Record, Idx));
534 E->setAccessorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
535 return 1;
536}
537
538unsigned PCHStmtReader::VisitInitListExpr(InitListExpr *E) {
539 VisitExpr(E);
540 unsigned NumInits = Record[Idx++];
541 E->reserveInits(NumInits);
542 for (unsigned I = 0; I != NumInits; ++I)
Mike Stump1eb44332009-09-09 15:08:12 +0000543 E->updateInit(I,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000544 cast<Expr>(StmtStack[StmtStack.size() - NumInits - 1 + I]));
545 E->setSyntacticForm(cast_or_null<InitListExpr>(StmtStack.back()));
546 E->setLBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
547 E->setRBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
548 E->setInitializedFieldInUnion(
549 cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++])));
550 E->sawArrayRangeDesignator(Record[Idx++]);
551 return NumInits + 1;
552}
553
554unsigned PCHStmtReader::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
555 typedef DesignatedInitExpr::Designator Designator;
556
557 VisitExpr(E);
558 unsigned NumSubExprs = Record[Idx++];
559 assert(NumSubExprs == E->getNumSubExprs() && "Wrong number of subexprs");
560 for (unsigned I = 0; I != NumSubExprs; ++I)
561 E->setSubExpr(I, cast<Expr>(StmtStack[StmtStack.size() - NumSubExprs + I]));
562 E->setEqualOrColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
563 E->setGNUSyntax(Record[Idx++]);
564
565 llvm::SmallVector<Designator, 4> Designators;
566 while (Idx < Record.size()) {
567 switch ((pch::DesignatorTypes)Record[Idx++]) {
568 case pch::DESIG_FIELD_DECL: {
569 FieldDecl *Field = cast<FieldDecl>(Reader.GetDecl(Record[Idx++]));
Mike Stump1eb44332009-09-09 15:08:12 +0000570 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000571 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000572 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000573 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000574 Designators.push_back(Designator(Field->getIdentifier(), DotLoc,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000575 FieldLoc));
576 Designators.back().setField(Field);
577 break;
578 }
579
580 case pch::DESIG_FIELD_NAME: {
581 const IdentifierInfo *Name = Reader.GetIdentifierInfo(Record, Idx);
Mike Stump1eb44332009-09-09 15:08:12 +0000582 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000583 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000584 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000585 = SourceLocation::getFromRawEncoding(Record[Idx++]);
586 Designators.push_back(Designator(Name, DotLoc, FieldLoc));
587 break;
588 }
Mike Stump1eb44332009-09-09 15:08:12 +0000589
Chris Lattner4c6f9522009-04-27 05:14:47 +0000590 case pch::DESIG_ARRAY: {
591 unsigned Index = Record[Idx++];
592 SourceLocation LBracketLoc
593 = SourceLocation::getFromRawEncoding(Record[Idx++]);
594 SourceLocation RBracketLoc
595 = SourceLocation::getFromRawEncoding(Record[Idx++]);
596 Designators.push_back(Designator(Index, LBracketLoc, RBracketLoc));
597 break;
598 }
599
600 case pch::DESIG_ARRAY_RANGE: {
601 unsigned Index = Record[Idx++];
602 SourceLocation LBracketLoc
603 = SourceLocation::getFromRawEncoding(Record[Idx++]);
604 SourceLocation EllipsisLoc
605 = SourceLocation::getFromRawEncoding(Record[Idx++]);
606 SourceLocation RBracketLoc
607 = SourceLocation::getFromRawEncoding(Record[Idx++]);
608 Designators.push_back(Designator(Index, LBracketLoc, EllipsisLoc,
609 RBracketLoc));
610 break;
611 }
612 }
613 }
Douglas Gregor75fdb232009-05-22 22:45:36 +0000614 E->setDesignators(Designators.data(), Designators.size());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000615
616 return NumSubExprs;
617}
618
619unsigned PCHStmtReader::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
620 VisitExpr(E);
621 return 0;
622}
623
624unsigned PCHStmtReader::VisitVAArgExpr(VAArgExpr *E) {
625 VisitExpr(E);
626 E->setSubExpr(cast<Expr>(StmtStack.back()));
627 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
628 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
629 return 1;
630}
631
632unsigned PCHStmtReader::VisitAddrLabelExpr(AddrLabelExpr *E) {
633 VisitExpr(E);
634 E->setAmpAmpLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
635 E->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
636 Reader.SetLabelOf(E, Record[Idx++]);
637 return 0;
638}
639
640unsigned PCHStmtReader::VisitStmtExpr(StmtExpr *E) {
641 VisitExpr(E);
642 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
643 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
644 E->setSubStmt(cast_or_null<CompoundStmt>(StmtStack.back()));
645 return 1;
646}
647
648unsigned PCHStmtReader::VisitTypesCompatibleExpr(TypesCompatibleExpr *E) {
649 VisitExpr(E);
650 E->setArgType1(Reader.GetType(Record[Idx++]));
651 E->setArgType2(Reader.GetType(Record[Idx++]));
652 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
653 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
654 return 0;
655}
656
657unsigned PCHStmtReader::VisitChooseExpr(ChooseExpr *E) {
658 VisitExpr(E);
659 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
660 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
661 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
662 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
663 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
664 return 3;
665}
666
667unsigned PCHStmtReader::VisitGNUNullExpr(GNUNullExpr *E) {
668 VisitExpr(E);
669 E->setTokenLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
670 return 0;
671}
672
673unsigned PCHStmtReader::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
674 VisitExpr(E);
675 unsigned NumExprs = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000676 E->setExprs(*Reader.getContext(),
Nate Begeman888376a2009-08-12 02:28:50 +0000677 (Expr **)&StmtStack[StmtStack.size() - NumExprs], NumExprs);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000678 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
679 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
680 return NumExprs;
681}
682
683unsigned PCHStmtReader::VisitBlockExpr(BlockExpr *E) {
684 VisitExpr(E);
685 E->setBlockDecl(cast_or_null<BlockDecl>(Reader.GetDecl(Record[Idx++])));
686 E->setHasBlockDeclRefExprs(Record[Idx++]);
687 return 0;
688}
689
690unsigned PCHStmtReader::VisitBlockDeclRefExpr(BlockDeclRefExpr *E) {
691 VisitExpr(E);
692 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
693 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
694 E->setByRef(Record[Idx++]);
Fariborz Jahanian9b0b57c2009-06-20 00:02:26 +0000695 E->setConstQualAdded(Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000696 return 0;
697}
698
699//===----------------------------------------------------------------------===//
700// Objective-C Expressions and Statements
701
702unsigned PCHStmtReader::VisitObjCStringLiteral(ObjCStringLiteral *E) {
703 VisitExpr(E);
704 E->setString(cast<StringLiteral>(StmtStack.back()));
705 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
706 return 1;
707}
708
709unsigned PCHStmtReader::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
710 VisitExpr(E);
711 E->setEncodedType(Reader.GetType(Record[Idx++]));
712 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
713 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
714 return 0;
715}
716
717unsigned PCHStmtReader::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
718 VisitExpr(E);
719 E->setSelector(Reader.GetSelector(Record, Idx));
720 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
721 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
722 return 0;
723}
724
725unsigned PCHStmtReader::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
726 VisitExpr(E);
727 E->setProtocol(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
728 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
729 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
730 return 0;
731}
732
733unsigned PCHStmtReader::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
734 VisitExpr(E);
735 E->setDecl(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
736 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
737 E->setBase(cast<Expr>(StmtStack.back()));
738 E->setIsArrow(Record[Idx++]);
739 E->setIsFreeIvar(Record[Idx++]);
740 return 1;
741}
742
743unsigned PCHStmtReader::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
744 VisitExpr(E);
745 E->setProperty(cast<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
746 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
747 E->setBase(cast<Expr>(StmtStack.back()));
748 return 1;
749}
750
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000751unsigned PCHStmtReader::VisitObjCImplicitSetterGetterRefExpr(
752 ObjCImplicitSetterGetterRefExpr *E) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000753 VisitExpr(E);
754 E->setGetterMethod(
755 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
756 E->setSetterMethod(
757 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniand2ae5aa2009-08-18 21:37:33 +0000758 E->setInterfaceDecl(
Chris Lattner4c6f9522009-04-27 05:14:47 +0000759 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
760 E->setBase(cast_or_null<Expr>(StmtStack.back()));
761 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
762 E->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
763 return 1;
764}
765
766unsigned PCHStmtReader::VisitObjCMessageExpr(ObjCMessageExpr *E) {
767 VisitExpr(E);
768 E->setNumArgs(Record[Idx++]);
769 E->setLeftLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
770 E->setRightLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
771 E->setSelector(Reader.GetSelector(Record, Idx));
772 E->setMethodDecl(cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Mike Stump1eb44332009-09-09 15:08:12 +0000773
Chris Lattner4c6f9522009-04-27 05:14:47 +0000774 E->setReceiver(
775 cast_or_null<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
776 if (!E->getReceiver()) {
777 ObjCMessageExpr::ClassInfo CI;
778 CI.first = cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++]));
779 CI.second = Reader.GetIdentifierInfo(Record, Idx);
780 E->setClassInfo(CI);
781 }
782
783 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
784 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
785 return E->getNumArgs() + 1;
786}
787
788unsigned PCHStmtReader::VisitObjCSuperExpr(ObjCSuperExpr *E) {
789 VisitExpr(E);
790 E->setLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
791 return 0;
792}
793
794unsigned PCHStmtReader::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
795 VisitStmt(S);
796 S->setElement(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
797 S->setCollection(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
798 S->setBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
799 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
800 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
801 return 3;
802}
803
804unsigned PCHStmtReader::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
805 VisitStmt(S);
806 S->setCatchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
807 S->setNextCatchStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
808 S->setCatchParamDecl(cast_or_null<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
809 S->setAtCatchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
810 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
811 return 2;
812}
813
814unsigned PCHStmtReader::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
815 VisitStmt(S);
816 S->setFinallyBody(StmtStack.back());
817 S->setAtFinallyLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
818 return 1;
819}
820
821unsigned PCHStmtReader::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
822 VisitStmt(S);
823 S->setTryBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
824 S->setCatchStmts(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
825 S->setFinallyStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
826 S->setAtTryLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
827 return 3;
828}
829
830unsigned PCHStmtReader::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
831 VisitStmt(S);
832 S->setSynchExpr(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
833 S->setSynchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
834 S->setAtSynchronizedLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
835 return 2;
836}
837
838unsigned PCHStmtReader::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
839 VisitStmt(S);
840 S->setThrowExpr(StmtStack.back());
841 S->setThrowLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
842 return 1;
843}
844
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000845//===----------------------------------------------------------------------===//
846// C++ Expressions and Statements
847
848unsigned PCHStmtReader::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
849 unsigned num = VisitCallExpr(E);
850 E->setOperator((OverloadedOperatorKind)Record[Idx++]);
851 return num;
852}
853
Douglas Gregor39da0b82009-09-09 23:08:42 +0000854unsigned PCHStmtReader::VisitCXXConstructExpr(CXXConstructExpr *E) {
855 VisitExpr(E);
856 E->setConstructor(cast<CXXConstructorDecl>(Reader.GetDecl(Record[Idx++])));
857 E->setElidable(Record[Idx++]);
858 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
859 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
860 return E->getNumArgs();
861}
Chris Lattner4c6f9522009-04-27 05:14:47 +0000862
Chris Lattner52e97d12009-04-27 05:41:06 +0000863// Within the bitstream, expressions are stored in Reverse Polish
864// Notation, with each of the subexpressions preceding the
865// expression they are stored in. To evaluate expressions, we
866// continue reading expressions and placing them on the stack, with
867// expressions having operands removing those operands from the
868// stack. Evaluation terminates when we see a STMT_STOP record, and
869// the single remaining expression on the stack is our result.
870Stmt *PCHReader::ReadStmt(llvm::BitstreamCursor &Cursor) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000871 RecordData Record;
872 unsigned Idx;
873 llvm::SmallVector<Stmt *, 16> StmtStack;
874 PCHStmtReader Reader(*this, Record, Idx, StmtStack);
875 Stmt::EmptyShell Empty;
876
877 while (true) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000878 unsigned Code = Cursor.ReadCode();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000879 if (Code == llvm::bitc::END_BLOCK) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000880 if (Cursor.ReadBlockEnd()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000881 Error("error at end of block in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000882 return 0;
883 }
884 break;
885 }
886
887 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
888 // No known subblocks, always skip them.
Chris Lattner52e97d12009-04-27 05:41:06 +0000889 Cursor.ReadSubBlockID();
890 if (Cursor.SkipBlock()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000891 Error("malformed block record in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000892 return 0;
893 }
894 continue;
895 }
896
897 if (Code == llvm::bitc::DEFINE_ABBREV) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000898 Cursor.ReadAbbrevRecord();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000899 continue;
900 }
901
902 Stmt *S = 0;
903 Idx = 0;
904 Record.clear();
905 bool Finished = false;
Chris Lattner52e97d12009-04-27 05:41:06 +0000906 switch ((pch::StmtCode)Cursor.ReadRecord(Code, Record)) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000907 case pch::STMT_STOP:
908 Finished = true;
909 break;
910
Mike Stump1eb44332009-09-09 15:08:12 +0000911 case pch::STMT_NULL_PTR:
912 S = 0;
Chris Lattner4c6f9522009-04-27 05:14:47 +0000913 break;
914
915 case pch::STMT_NULL:
916 S = new (Context) NullStmt(Empty);
917 break;
918
919 case pch::STMT_COMPOUND:
920 S = new (Context) CompoundStmt(Empty);
921 break;
922
923 case pch::STMT_CASE:
924 S = new (Context) CaseStmt(Empty);
925 break;
926
927 case pch::STMT_DEFAULT:
928 S = new (Context) DefaultStmt(Empty);
929 break;
930
931 case pch::STMT_LABEL:
932 S = new (Context) LabelStmt(Empty);
933 break;
934
935 case pch::STMT_IF:
936 S = new (Context) IfStmt(Empty);
937 break;
938
939 case pch::STMT_SWITCH:
940 S = new (Context) SwitchStmt(Empty);
941 break;
942
943 case pch::STMT_WHILE:
944 S = new (Context) WhileStmt(Empty);
945 break;
946
947 case pch::STMT_DO:
948 S = new (Context) DoStmt(Empty);
949 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000950
Chris Lattner4c6f9522009-04-27 05:14:47 +0000951 case pch::STMT_FOR:
952 S = new (Context) ForStmt(Empty);
953 break;
954
955 case pch::STMT_GOTO:
956 S = new (Context) GotoStmt(Empty);
957 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000958
Chris Lattner4c6f9522009-04-27 05:14:47 +0000959 case pch::STMT_INDIRECT_GOTO:
960 S = new (Context) IndirectGotoStmt(Empty);
961 break;
962
963 case pch::STMT_CONTINUE:
964 S = new (Context) ContinueStmt(Empty);
965 break;
966
967 case pch::STMT_BREAK:
968 S = new (Context) BreakStmt(Empty);
969 break;
970
971 case pch::STMT_RETURN:
972 S = new (Context) ReturnStmt(Empty);
973 break;
974
975 case pch::STMT_DECL:
976 S = new (Context) DeclStmt(Empty);
977 break;
978
979 case pch::STMT_ASM:
980 S = new (Context) AsmStmt(Empty);
981 break;
982
983 case pch::EXPR_PREDEFINED:
984 S = new (Context) PredefinedExpr(Empty);
985 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000986
987 case pch::EXPR_DECL_REF:
988 S = new (Context) DeclRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000989 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000990
991 case pch::EXPR_INTEGER_LITERAL:
Chris Lattner4c6f9522009-04-27 05:14:47 +0000992 S = new (Context) IntegerLiteral(Empty);
993 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000994
Chris Lattner4c6f9522009-04-27 05:14:47 +0000995 case pch::EXPR_FLOATING_LITERAL:
996 S = new (Context) FloatingLiteral(Empty);
997 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000998
Chris Lattner4c6f9522009-04-27 05:14:47 +0000999 case pch::EXPR_IMAGINARY_LITERAL:
1000 S = new (Context) ImaginaryLiteral(Empty);
1001 break;
1002
1003 case pch::EXPR_STRING_LITERAL:
Mike Stump1eb44332009-09-09 15:08:12 +00001004 S = StringLiteral::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001005 Record[PCHStmtReader::NumExprFields + 1]);
1006 break;
1007
1008 case pch::EXPR_CHARACTER_LITERAL:
1009 S = new (Context) CharacterLiteral(Empty);
1010 break;
1011
1012 case pch::EXPR_PAREN:
1013 S = new (Context) ParenExpr(Empty);
1014 break;
1015
1016 case pch::EXPR_UNARY_OPERATOR:
1017 S = new (Context) UnaryOperator(Empty);
1018 break;
1019
1020 case pch::EXPR_SIZEOF_ALIGN_OF:
1021 S = new (Context) SizeOfAlignOfExpr(Empty);
1022 break;
1023
1024 case pch::EXPR_ARRAY_SUBSCRIPT:
1025 S = new (Context) ArraySubscriptExpr(Empty);
1026 break;
1027
1028 case pch::EXPR_CALL:
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001029 S = new (Context) CallExpr(*Context, Stmt::CallExprClass, Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001030 break;
1031
1032 case pch::EXPR_MEMBER:
1033 S = new (Context) MemberExpr(Empty);
1034 break;
1035
1036 case pch::EXPR_BINARY_OPERATOR:
1037 S = new (Context) BinaryOperator(Empty);
1038 break;
1039
1040 case pch::EXPR_COMPOUND_ASSIGN_OPERATOR:
1041 S = new (Context) CompoundAssignOperator(Empty);
1042 break;
1043
1044 case pch::EXPR_CONDITIONAL_OPERATOR:
1045 S = new (Context) ConditionalOperator(Empty);
1046 break;
1047
1048 case pch::EXPR_IMPLICIT_CAST:
1049 S = new (Context) ImplicitCastExpr(Empty);
1050 break;
1051
1052 case pch::EXPR_CSTYLE_CAST:
1053 S = new (Context) CStyleCastExpr(Empty);
1054 break;
1055
1056 case pch::EXPR_COMPOUND_LITERAL:
1057 S = new (Context) CompoundLiteralExpr(Empty);
1058 break;
1059
1060 case pch::EXPR_EXT_VECTOR_ELEMENT:
1061 S = new (Context) ExtVectorElementExpr(Empty);
1062 break;
1063
1064 case pch::EXPR_INIT_LIST:
1065 S = new (Context) InitListExpr(Empty);
1066 break;
1067
1068 case pch::EXPR_DESIGNATED_INIT:
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001069 S = DesignatedInitExpr::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001070 Record[PCHStmtReader::NumExprFields] - 1);
Mike Stump1eb44332009-09-09 15:08:12 +00001071
Chris Lattner4c6f9522009-04-27 05:14:47 +00001072 break;
1073
1074 case pch::EXPR_IMPLICIT_VALUE_INIT:
1075 S = new (Context) ImplicitValueInitExpr(Empty);
1076 break;
1077
1078 case pch::EXPR_VA_ARG:
1079 S = new (Context) VAArgExpr(Empty);
1080 break;
1081
1082 case pch::EXPR_ADDR_LABEL:
1083 S = new (Context) AddrLabelExpr(Empty);
1084 break;
1085
1086 case pch::EXPR_STMT:
1087 S = new (Context) StmtExpr(Empty);
1088 break;
1089
1090 case pch::EXPR_TYPES_COMPATIBLE:
1091 S = new (Context) TypesCompatibleExpr(Empty);
1092 break;
1093
1094 case pch::EXPR_CHOOSE:
1095 S = new (Context) ChooseExpr(Empty);
1096 break;
1097
1098 case pch::EXPR_GNU_NULL:
1099 S = new (Context) GNUNullExpr(Empty);
1100 break;
1101
1102 case pch::EXPR_SHUFFLE_VECTOR:
1103 S = new (Context) ShuffleVectorExpr(Empty);
1104 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001105
Chris Lattner4c6f9522009-04-27 05:14:47 +00001106 case pch::EXPR_BLOCK:
1107 S = new (Context) BlockExpr(Empty);
1108 break;
1109
1110 case pch::EXPR_BLOCK_DECL_REF:
1111 S = new (Context) BlockDeclRefExpr(Empty);
1112 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001113
Chris Lattner4c6f9522009-04-27 05:14:47 +00001114 case pch::EXPR_OBJC_STRING_LITERAL:
1115 S = new (Context) ObjCStringLiteral(Empty);
1116 break;
1117 case pch::EXPR_OBJC_ENCODE:
1118 S = new (Context) ObjCEncodeExpr(Empty);
1119 break;
1120 case pch::EXPR_OBJC_SELECTOR_EXPR:
1121 S = new (Context) ObjCSelectorExpr(Empty);
1122 break;
1123 case pch::EXPR_OBJC_PROTOCOL_EXPR:
1124 S = new (Context) ObjCProtocolExpr(Empty);
1125 break;
1126 case pch::EXPR_OBJC_IVAR_REF_EXPR:
1127 S = new (Context) ObjCIvarRefExpr(Empty);
1128 break;
1129 case pch::EXPR_OBJC_PROPERTY_REF_EXPR:
1130 S = new (Context) ObjCPropertyRefExpr(Empty);
1131 break;
1132 case pch::EXPR_OBJC_KVC_REF_EXPR:
Fariborz Jahanian09105f52009-08-20 17:02:02 +00001133 S = new (Context) ObjCImplicitSetterGetterRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001134 break;
1135 case pch::EXPR_OBJC_MESSAGE_EXPR:
1136 S = new (Context) ObjCMessageExpr(Empty);
1137 break;
1138 case pch::EXPR_OBJC_SUPER_EXPR:
1139 S = new (Context) ObjCSuperExpr(Empty);
1140 break;
Steve Narofff242b1b2009-07-24 17:54:45 +00001141 case pch::EXPR_OBJC_ISA:
1142 S = new (Context) ObjCIsaExpr(Empty);
1143 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001144 case pch::STMT_OBJC_FOR_COLLECTION:
1145 S = new (Context) ObjCForCollectionStmt(Empty);
1146 break;
1147 case pch::STMT_OBJC_CATCH:
1148 S = new (Context) ObjCAtCatchStmt(Empty);
1149 break;
1150 case pch::STMT_OBJC_FINALLY:
1151 S = new (Context) ObjCAtFinallyStmt(Empty);
1152 break;
1153 case pch::STMT_OBJC_AT_TRY:
1154 S = new (Context) ObjCAtTryStmt(Empty);
1155 break;
1156 case pch::STMT_OBJC_AT_SYNCHRONIZED:
1157 S = new (Context) ObjCAtSynchronizedStmt(Empty);
1158 break;
1159 case pch::STMT_OBJC_AT_THROW:
1160 S = new (Context) ObjCAtThrowStmt(Empty);
1161 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001162
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001163 case pch::EXPR_CXX_OPERATOR_CALL:
1164 S = new (Context) CXXOperatorCallExpr(*Context, Empty);
1165 break;
Douglas Gregor39da0b82009-09-09 23:08:42 +00001166
1167 case pch::EXPR_CXX_CONSTRUCT:
1168 S = new (Context) CXXConstructExpr(Empty, *Context,
1169 Record[PCHStmtReader::NumExprFields + 2]);
1170 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001171 }
1172
1173 // We hit a STMT_STOP, so we're done with this expression.
1174 if (Finished)
1175 break;
1176
1177 ++NumStatementsRead;
1178
1179 if (S) {
1180 unsigned NumSubStmts = Reader.Visit(S);
1181 while (NumSubStmts > 0) {
1182 StmtStack.pop_back();
1183 --NumSubStmts;
1184 }
1185 }
1186
1187 assert(Idx == Record.size() && "Invalid deserialization of statement");
1188 StmtStack.push_back(S);
1189 }
1190 assert(StmtStack.size() == 1 && "Extra expressions on stack!");
Chris Lattner4c6f9522009-04-27 05:14:47 +00001191 return StmtStack.back();
1192}