blob: ba82d26010268e279231bd8a267ec26409b14f65 [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);
Douglas Gregor8cfe5a72009-11-23 23:44:04 +0000180 S->setConditionVariable(cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000181 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
182 S->setThen(StmtStack[StmtStack.size() - 2]);
183 S->setElse(StmtStack[StmtStack.size() - 1]);
184 S->setIfLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregord06f6ca2009-05-15 18:53:42 +0000185 S->setElseLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000186 return 3;
187}
188
189unsigned PCHStmtReader::VisitSwitchStmt(SwitchStmt *S) {
190 VisitStmt(S);
Douglas Gregord3d53012009-11-24 17:07:59 +0000191 S->setConditionVariable(cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000192 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 2]));
193 S->setBody(StmtStack.back());
194 S->setSwitchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
195 SwitchCase *PrevSC = 0;
196 for (unsigned N = Record.size(); Idx != N; ++Idx) {
197 SwitchCase *SC = Reader.getSwitchCaseWithID(Record[Idx]);
198 if (PrevSC)
199 PrevSC->setNextSwitchCase(SC);
200 else
201 S->setSwitchCaseList(SC);
Mike Stump1eb44332009-09-09 15:08:12 +0000202
Douglas Gregor43d9d922009-08-08 01:41:12 +0000203 // Retain this SwitchCase, since SwitchStmt::addSwitchCase() would
204 // normally retain it (but we aren't calling addSwitchCase).
205 SC->Retain();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000206 PrevSC = SC;
207 }
208 return 2;
209}
210
211unsigned PCHStmtReader::VisitWhileStmt(WhileStmt *S) {
212 VisitStmt(S);
Douglas Gregor5656e142009-11-24 21:15:44 +0000213 S->setConditionVariable(cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000214 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
215 S->setBody(StmtStack.back());
216 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
217 return 2;
218}
219
220unsigned PCHStmtReader::VisitDoStmt(DoStmt *S) {
221 VisitStmt(S);
222 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
223 S->setBody(StmtStack.back());
224 S->setDoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor9f3ca2a2009-05-15 21:56:04 +0000225 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner98913592009-06-12 23:04:47 +0000226 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000227 return 2;
228}
229
230unsigned PCHStmtReader::VisitForStmt(ForStmt *S) {
231 VisitStmt(S);
232 S->setInit(StmtStack[StmtStack.size() - 4]);
233 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 3]));
Douglas Gregor99e9b4d2009-11-25 00:27:52 +0000234 S->setConditionVariable(cast_or_null<VarDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000235 S->setInc(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
236 S->setBody(StmtStack.back());
237 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor5831c6a2009-05-15 22:12:32 +0000238 S->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
239 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000240 return 4;
241}
242
243unsigned PCHStmtReader::VisitGotoStmt(GotoStmt *S) {
244 VisitStmt(S);
245 Reader.SetLabelOf(S, Record[Idx++]);
246 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
247 S->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
248 return 0;
249}
250
251unsigned PCHStmtReader::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
252 VisitStmt(S);
253 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor5f1b9e62009-05-16 00:20:29 +0000254 S->setStarLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000255 S->setTarget(cast_or_null<Expr>(StmtStack.back()));
256 return 1;
257}
258
259unsigned PCHStmtReader::VisitContinueStmt(ContinueStmt *S) {
260 VisitStmt(S);
261 S->setContinueLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
262 return 0;
263}
264
265unsigned PCHStmtReader::VisitBreakStmt(BreakStmt *S) {
266 VisitStmt(S);
267 S->setBreakLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
268 return 0;
269}
270
271unsigned PCHStmtReader::VisitReturnStmt(ReturnStmt *S) {
272 VisitStmt(S);
273 S->setRetValue(cast_or_null<Expr>(StmtStack.back()));
274 S->setReturnLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
275 return 1;
276}
277
278unsigned PCHStmtReader::VisitDeclStmt(DeclStmt *S) {
279 VisitStmt(S);
280 S->setStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
281 S->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
282
283 if (Idx + 1 == Record.size()) {
284 // Single declaration
285 S->setDeclGroup(DeclGroupRef(Reader.GetDecl(Record[Idx++])));
286 } else {
287 llvm::SmallVector<Decl *, 16> Decls;
288 Decls.reserve(Record.size() - Idx);
289 for (unsigned N = Record.size(); Idx != N; ++Idx)
290 Decls.push_back(Reader.GetDecl(Record[Idx]));
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000291 S->setDeclGroup(DeclGroupRef(DeclGroup::Create(*Reader.getContext(),
Douglas Gregor75fdb232009-05-22 22:45:36 +0000292 Decls.data(),
293 Decls.size())));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000294 }
295 return 0;
296}
297
298unsigned PCHStmtReader::VisitAsmStmt(AsmStmt *S) {
299 VisitStmt(S);
300 unsigned NumOutputs = Record[Idx++];
301 unsigned NumInputs = Record[Idx++];
302 unsigned NumClobbers = Record[Idx++];
303 S->setAsmLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
304 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
305 S->setVolatile(Record[Idx++]);
306 S->setSimple(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000307
308 unsigned StackIdx
Chris Lattner4c6f9522009-04-27 05:14:47 +0000309 = StmtStack.size() - (NumOutputs*2 + NumInputs*2 + NumClobbers + 1);
310 S->setAsmString(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
311
312 // Outputs and inputs
313 llvm::SmallVector<std::string, 16> Names;
314 llvm::SmallVector<StringLiteral*, 16> Constraints;
315 llvm::SmallVector<Stmt*, 16> Exprs;
316 for (unsigned I = 0, N = NumOutputs + NumInputs; I != N; ++I) {
317 Names.push_back(Reader.ReadString(Record, Idx));
318 Constraints.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
319 Exprs.push_back(StmtStack[StackIdx++]);
320 }
321 S->setOutputsAndInputs(NumOutputs, NumInputs,
Jay Foadbeaaccd2009-05-21 09:52:38 +0000322 Names.data(), Constraints.data(), Exprs.data());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000323
324 // Constraints
325 llvm::SmallVector<StringLiteral*, 16> Clobbers;
326 for (unsigned I = 0; I != NumClobbers; ++I)
327 Clobbers.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000328 S->setClobbers(Clobbers.data(), NumClobbers);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000329
330 assert(StackIdx == StmtStack.size() && "Error deserializing AsmStmt");
331 return NumOutputs*2 + NumInputs*2 + NumClobbers + 1;
332}
333
334unsigned PCHStmtReader::VisitExpr(Expr *E) {
335 VisitStmt(E);
336 E->setType(Reader.GetType(Record[Idx++]));
337 E->setTypeDependent(Record[Idx++]);
338 E->setValueDependent(Record[Idx++]);
339 assert(Idx == NumExprFields && "Incorrect expression field count");
340 return 0;
341}
342
343unsigned PCHStmtReader::VisitPredefinedExpr(PredefinedExpr *E) {
344 VisitExpr(E);
345 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
346 E->setIdentType((PredefinedExpr::IdentType)Record[Idx++]);
347 return 0;
348}
349
350unsigned PCHStmtReader::VisitDeclRefExpr(DeclRefExpr *E) {
351 VisitExpr(E);
John McCalldbd872f2009-12-08 09:08:17 +0000352 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000353 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregora2813ce2009-10-23 18:54:35 +0000354 // FIXME: read qualifier
355 // FIXME: read explicit template arguments
Chris Lattner4c6f9522009-04-27 05:14:47 +0000356 return 0;
357}
358
359unsigned PCHStmtReader::VisitIntegerLiteral(IntegerLiteral *E) {
360 VisitExpr(E);
361 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
362 E->setValue(Reader.ReadAPInt(Record, Idx));
363 return 0;
364}
365
366unsigned PCHStmtReader::VisitFloatingLiteral(FloatingLiteral *E) {
367 VisitExpr(E);
368 E->setValue(Reader.ReadAPFloat(Record, Idx));
369 E->setExact(Record[Idx++]);
370 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
371 return 0;
372}
373
374unsigned PCHStmtReader::VisitImaginaryLiteral(ImaginaryLiteral *E) {
375 VisitExpr(E);
376 E->setSubExpr(cast<Expr>(StmtStack.back()));
377 return 1;
378}
379
380unsigned PCHStmtReader::VisitStringLiteral(StringLiteral *E) {
381 VisitExpr(E);
382 unsigned Len = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000383 assert(Record[Idx] == E->getNumConcatenated() &&
Chris Lattner4c6f9522009-04-27 05:14:47 +0000384 "Wrong number of concatenated tokens!");
385 ++Idx;
386 E->setWide(Record[Idx++]);
387
Mike Stump1eb44332009-09-09 15:08:12 +0000388 // Read string data
Daniel Dunbarb6480232009-09-22 03:27:33 +0000389 llvm::SmallString<16> Str(&Record[Idx], &Record[Idx] + Len);
390 E->setString(*Reader.getContext(), Str.str());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000391 Idx += Len;
392
393 // Read source locations
394 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
395 E->setStrTokenLoc(I, SourceLocation::getFromRawEncoding(Record[Idx++]));
396
397 return 0;
398}
399
400unsigned PCHStmtReader::VisitCharacterLiteral(CharacterLiteral *E) {
401 VisitExpr(E);
402 E->setValue(Record[Idx++]);
403 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
404 E->setWide(Record[Idx++]);
405 return 0;
406}
407
408unsigned PCHStmtReader::VisitParenExpr(ParenExpr *E) {
409 VisitExpr(E);
410 E->setLParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
411 E->setRParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
412 E->setSubExpr(cast<Expr>(StmtStack.back()));
413 return 1;
414}
415
416unsigned PCHStmtReader::VisitUnaryOperator(UnaryOperator *E) {
417 VisitExpr(E);
418 E->setSubExpr(cast<Expr>(StmtStack.back()));
419 E->setOpcode((UnaryOperator::Opcode)Record[Idx++]);
420 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
421 return 1;
422}
423
424unsigned PCHStmtReader::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E) {
425 VisitExpr(E);
426 E->setSizeof(Record[Idx++]);
427 if (Record[Idx] == 0) {
428 E->setArgument(cast<Expr>(StmtStack.back()));
429 ++Idx;
430 } else {
John McCalla93c9342009-12-07 02:54:59 +0000431 E->setArgument(Reader.GetTypeSourceInfo(Record, Idx));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000432 }
433 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
434 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
435 return E->isArgumentType()? 0 : 1;
436}
437
438unsigned PCHStmtReader::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
439 VisitExpr(E);
440 E->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 2]));
441 E->setRHS(cast<Expr>(StmtStack[StmtStack.size() - 1]));
442 E->setRBracketLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
443 return 2;
444}
445
446unsigned PCHStmtReader::VisitCallExpr(CallExpr *E) {
447 VisitExpr(E);
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000448 E->setNumArgs(*Reader.getContext(), Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000449 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
450 E->setCallee(cast<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
451 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
452 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
453 return E->getNumArgs() + 1;
454}
455
456unsigned PCHStmtReader::VisitMemberExpr(MemberExpr *E) {
457 VisitExpr(E);
458 E->setBase(cast<Expr>(StmtStack.back()));
Eli Friedmandd27a2d2009-12-04 06:46:54 +0000459 E->setMemberDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000460 E->setMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
461 E->setArrow(Record[Idx++]);
462 return 1;
463}
464
Steve Narofff242b1b2009-07-24 17:54:45 +0000465unsigned PCHStmtReader::VisitObjCIsaExpr(ObjCIsaExpr *E) {
466 VisitExpr(E);
467 E->setBase(cast<Expr>(StmtStack.back()));
468 E->setIsaMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
469 E->setArrow(Record[Idx++]);
470 return 1;
471}
472
Chris Lattner4c6f9522009-04-27 05:14:47 +0000473unsigned PCHStmtReader::VisitCastExpr(CastExpr *E) {
474 VisitExpr(E);
475 E->setSubExpr(cast<Expr>(StmtStack.back()));
Anders Carlssoncdef2b72009-07-31 00:48:10 +0000476 E->setCastKind((CastExpr::CastKind)Record[Idx++]);
477
Chris Lattner4c6f9522009-04-27 05:14:47 +0000478 return 1;
479}
480
481unsigned PCHStmtReader::VisitBinaryOperator(BinaryOperator *E) {
482 VisitExpr(E);
483 E->setLHS(cast<Expr>(StmtStack.end()[-2]));
484 E->setRHS(cast<Expr>(StmtStack.end()[-1]));
485 E->setOpcode((BinaryOperator::Opcode)Record[Idx++]);
486 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
487 return 2;
488}
489
490unsigned PCHStmtReader::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
491 VisitBinaryOperator(E);
492 E->setComputationLHSType(Reader.GetType(Record[Idx++]));
493 E->setComputationResultType(Reader.GetType(Record[Idx++]));
494 return 2;
495}
496
497unsigned PCHStmtReader::VisitConditionalOperator(ConditionalOperator *E) {
498 VisitExpr(E);
499 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
500 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
501 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
Douglas Gregor47e1f7c2009-08-26 14:37:04 +0000502 E->setQuestionLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
503 E->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000504 return 3;
505}
506
507unsigned PCHStmtReader::VisitImplicitCastExpr(ImplicitCastExpr *E) {
508 VisitCastExpr(E);
509 E->setLvalueCast(Record[Idx++]);
510 return 1;
511}
512
513unsigned PCHStmtReader::VisitExplicitCastExpr(ExplicitCastExpr *E) {
514 VisitCastExpr(E);
515 E->setTypeAsWritten(Reader.GetType(Record[Idx++]));
516 return 1;
517}
518
519unsigned PCHStmtReader::VisitCStyleCastExpr(CStyleCastExpr *E) {
520 VisitExplicitCastExpr(E);
521 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
522 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
523 return 1;
524}
525
526unsigned PCHStmtReader::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
527 VisitExpr(E);
528 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
529 E->setInitializer(cast<Expr>(StmtStack.back()));
530 E->setFileScope(Record[Idx++]);
531 return 1;
532}
533
534unsigned PCHStmtReader::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
535 VisitExpr(E);
536 E->setBase(cast<Expr>(StmtStack.back()));
537 E->setAccessor(Reader.GetIdentifierInfo(Record, Idx));
538 E->setAccessorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
539 return 1;
540}
541
542unsigned PCHStmtReader::VisitInitListExpr(InitListExpr *E) {
543 VisitExpr(E);
544 unsigned NumInits = Record[Idx++];
545 E->reserveInits(NumInits);
546 for (unsigned I = 0; I != NumInits; ++I)
Mike Stump1eb44332009-09-09 15:08:12 +0000547 E->updateInit(I,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000548 cast<Expr>(StmtStack[StmtStack.size() - NumInits - 1 + I]));
549 E->setSyntacticForm(cast_or_null<InitListExpr>(StmtStack.back()));
550 E->setLBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
551 E->setRBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
552 E->setInitializedFieldInUnion(
553 cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++])));
554 E->sawArrayRangeDesignator(Record[Idx++]);
555 return NumInits + 1;
556}
557
558unsigned PCHStmtReader::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
559 typedef DesignatedInitExpr::Designator Designator;
560
561 VisitExpr(E);
562 unsigned NumSubExprs = Record[Idx++];
563 assert(NumSubExprs == E->getNumSubExprs() && "Wrong number of subexprs");
564 for (unsigned I = 0; I != NumSubExprs; ++I)
565 E->setSubExpr(I, cast<Expr>(StmtStack[StmtStack.size() - NumSubExprs + I]));
566 E->setEqualOrColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
567 E->setGNUSyntax(Record[Idx++]);
568
569 llvm::SmallVector<Designator, 4> Designators;
570 while (Idx < Record.size()) {
571 switch ((pch::DesignatorTypes)Record[Idx++]) {
572 case pch::DESIG_FIELD_DECL: {
573 FieldDecl *Field = cast<FieldDecl>(Reader.GetDecl(Record[Idx++]));
Mike Stump1eb44332009-09-09 15:08:12 +0000574 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000575 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000576 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000577 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000578 Designators.push_back(Designator(Field->getIdentifier(), DotLoc,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000579 FieldLoc));
580 Designators.back().setField(Field);
581 break;
582 }
583
584 case pch::DESIG_FIELD_NAME: {
585 const IdentifierInfo *Name = Reader.GetIdentifierInfo(Record, Idx);
Mike Stump1eb44332009-09-09 15:08:12 +0000586 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000587 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000588 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000589 = SourceLocation::getFromRawEncoding(Record[Idx++]);
590 Designators.push_back(Designator(Name, DotLoc, FieldLoc));
591 break;
592 }
Mike Stump1eb44332009-09-09 15:08:12 +0000593
Chris Lattner4c6f9522009-04-27 05:14:47 +0000594 case pch::DESIG_ARRAY: {
595 unsigned Index = Record[Idx++];
596 SourceLocation LBracketLoc
597 = SourceLocation::getFromRawEncoding(Record[Idx++]);
598 SourceLocation RBracketLoc
599 = SourceLocation::getFromRawEncoding(Record[Idx++]);
600 Designators.push_back(Designator(Index, LBracketLoc, RBracketLoc));
601 break;
602 }
603
604 case pch::DESIG_ARRAY_RANGE: {
605 unsigned Index = Record[Idx++];
606 SourceLocation LBracketLoc
607 = SourceLocation::getFromRawEncoding(Record[Idx++]);
608 SourceLocation EllipsisLoc
609 = SourceLocation::getFromRawEncoding(Record[Idx++]);
610 SourceLocation RBracketLoc
611 = SourceLocation::getFromRawEncoding(Record[Idx++]);
612 Designators.push_back(Designator(Index, LBracketLoc, EllipsisLoc,
613 RBracketLoc));
614 break;
615 }
616 }
617 }
Douglas Gregor75fdb232009-05-22 22:45:36 +0000618 E->setDesignators(Designators.data(), Designators.size());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000619
620 return NumSubExprs;
621}
622
623unsigned PCHStmtReader::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
624 VisitExpr(E);
625 return 0;
626}
627
628unsigned PCHStmtReader::VisitVAArgExpr(VAArgExpr *E) {
629 VisitExpr(E);
630 E->setSubExpr(cast<Expr>(StmtStack.back()));
631 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
632 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
633 return 1;
634}
635
636unsigned PCHStmtReader::VisitAddrLabelExpr(AddrLabelExpr *E) {
637 VisitExpr(E);
638 E->setAmpAmpLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
639 E->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
640 Reader.SetLabelOf(E, Record[Idx++]);
641 return 0;
642}
643
644unsigned PCHStmtReader::VisitStmtExpr(StmtExpr *E) {
645 VisitExpr(E);
646 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
647 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
648 E->setSubStmt(cast_or_null<CompoundStmt>(StmtStack.back()));
649 return 1;
650}
651
652unsigned PCHStmtReader::VisitTypesCompatibleExpr(TypesCompatibleExpr *E) {
653 VisitExpr(E);
654 E->setArgType1(Reader.GetType(Record[Idx++]));
655 E->setArgType2(Reader.GetType(Record[Idx++]));
656 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
657 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
658 return 0;
659}
660
661unsigned PCHStmtReader::VisitChooseExpr(ChooseExpr *E) {
662 VisitExpr(E);
663 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
664 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
665 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
666 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
667 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
668 return 3;
669}
670
671unsigned PCHStmtReader::VisitGNUNullExpr(GNUNullExpr *E) {
672 VisitExpr(E);
673 E->setTokenLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
674 return 0;
675}
676
677unsigned PCHStmtReader::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
678 VisitExpr(E);
679 unsigned NumExprs = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000680 E->setExprs(*Reader.getContext(),
Nate Begeman888376a2009-08-12 02:28:50 +0000681 (Expr **)&StmtStack[StmtStack.size() - NumExprs], NumExprs);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000682 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
683 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
684 return NumExprs;
685}
686
687unsigned PCHStmtReader::VisitBlockExpr(BlockExpr *E) {
688 VisitExpr(E);
689 E->setBlockDecl(cast_or_null<BlockDecl>(Reader.GetDecl(Record[Idx++])));
690 E->setHasBlockDeclRefExprs(Record[Idx++]);
691 return 0;
692}
693
694unsigned PCHStmtReader::VisitBlockDeclRefExpr(BlockDeclRefExpr *E) {
695 VisitExpr(E);
696 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
697 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
698 E->setByRef(Record[Idx++]);
Fariborz Jahanian9b0b57c2009-06-20 00:02:26 +0000699 E->setConstQualAdded(Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000700 return 0;
701}
702
703//===----------------------------------------------------------------------===//
704// Objective-C Expressions and Statements
705
706unsigned PCHStmtReader::VisitObjCStringLiteral(ObjCStringLiteral *E) {
707 VisitExpr(E);
708 E->setString(cast<StringLiteral>(StmtStack.back()));
709 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
710 return 1;
711}
712
713unsigned PCHStmtReader::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
714 VisitExpr(E);
715 E->setEncodedType(Reader.GetType(Record[Idx++]));
716 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
717 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
718 return 0;
719}
720
721unsigned PCHStmtReader::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
722 VisitExpr(E);
723 E->setSelector(Reader.GetSelector(Record, Idx));
724 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
725 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
726 return 0;
727}
728
729unsigned PCHStmtReader::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
730 VisitExpr(E);
731 E->setProtocol(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
732 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
733 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
734 return 0;
735}
736
737unsigned PCHStmtReader::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
738 VisitExpr(E);
739 E->setDecl(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
740 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
741 E->setBase(cast<Expr>(StmtStack.back()));
742 E->setIsArrow(Record[Idx++]);
743 E->setIsFreeIvar(Record[Idx++]);
744 return 1;
745}
746
747unsigned PCHStmtReader::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
748 VisitExpr(E);
749 E->setProperty(cast<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
750 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
751 E->setBase(cast<Expr>(StmtStack.back()));
752 return 1;
753}
754
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000755unsigned PCHStmtReader::VisitObjCImplicitSetterGetterRefExpr(
756 ObjCImplicitSetterGetterRefExpr *E) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000757 VisitExpr(E);
758 E->setGetterMethod(
759 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
760 E->setSetterMethod(
761 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniand2ae5aa2009-08-18 21:37:33 +0000762 E->setInterfaceDecl(
Chris Lattner4c6f9522009-04-27 05:14:47 +0000763 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
764 E->setBase(cast_or_null<Expr>(StmtStack.back()));
765 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
766 E->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
767 return 1;
768}
769
770unsigned PCHStmtReader::VisitObjCMessageExpr(ObjCMessageExpr *E) {
771 VisitExpr(E);
772 E->setNumArgs(Record[Idx++]);
773 E->setLeftLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
774 E->setRightLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
775 E->setSelector(Reader.GetSelector(Record, Idx));
776 E->setMethodDecl(cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Mike Stump1eb44332009-09-09 15:08:12 +0000777
Chris Lattner4c6f9522009-04-27 05:14:47 +0000778 E->setReceiver(
779 cast_or_null<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
780 if (!E->getReceiver()) {
781 ObjCMessageExpr::ClassInfo CI;
782 CI.first = cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++]));
783 CI.second = Reader.GetIdentifierInfo(Record, Idx);
784 E->setClassInfo(CI);
785 }
786
787 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
788 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
789 return E->getNumArgs() + 1;
790}
791
792unsigned PCHStmtReader::VisitObjCSuperExpr(ObjCSuperExpr *E) {
793 VisitExpr(E);
794 E->setLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
795 return 0;
796}
797
798unsigned PCHStmtReader::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
799 VisitStmt(S);
800 S->setElement(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
801 S->setCollection(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
802 S->setBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
803 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
804 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
805 return 3;
806}
807
808unsigned PCHStmtReader::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
809 VisitStmt(S);
810 S->setCatchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
811 S->setNextCatchStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
812 S->setCatchParamDecl(cast_or_null<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
813 S->setAtCatchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
814 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
815 return 2;
816}
817
818unsigned PCHStmtReader::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
819 VisitStmt(S);
820 S->setFinallyBody(StmtStack.back());
821 S->setAtFinallyLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
822 return 1;
823}
824
825unsigned PCHStmtReader::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
826 VisitStmt(S);
827 S->setTryBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
828 S->setCatchStmts(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
829 S->setFinallyStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
830 S->setAtTryLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
831 return 3;
832}
833
834unsigned PCHStmtReader::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
835 VisitStmt(S);
836 S->setSynchExpr(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
837 S->setSynchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
838 S->setAtSynchronizedLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
839 return 2;
840}
841
842unsigned PCHStmtReader::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
843 VisitStmt(S);
844 S->setThrowExpr(StmtStack.back());
845 S->setThrowLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
846 return 1;
847}
848
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000849//===----------------------------------------------------------------------===//
850// C++ Expressions and Statements
851
852unsigned PCHStmtReader::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
853 unsigned num = VisitCallExpr(E);
854 E->setOperator((OverloadedOperatorKind)Record[Idx++]);
855 return num;
856}
857
Douglas Gregor39da0b82009-09-09 23:08:42 +0000858unsigned PCHStmtReader::VisitCXXConstructExpr(CXXConstructExpr *E) {
859 VisitExpr(E);
860 E->setConstructor(cast<CXXConstructorDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor99a2e602009-12-16 01:38:02 +0000861 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor39da0b82009-09-09 23:08:42 +0000862 E->setElidable(Record[Idx++]);
Douglas Gregor16006c92009-12-16 18:50:27 +0000863 E->setRequiresZeroInitialization(Record[Idx++]);
Douglas Gregor39da0b82009-09-09 23:08:42 +0000864 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
865 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
866 return E->getNumArgs();
867}
Chris Lattner4c6f9522009-04-27 05:14:47 +0000868
Chris Lattner52e97d12009-04-27 05:41:06 +0000869// Within the bitstream, expressions are stored in Reverse Polish
870// Notation, with each of the subexpressions preceding the
871// expression they are stored in. To evaluate expressions, we
872// continue reading expressions and placing them on the stack, with
873// expressions having operands removing those operands from the
874// stack. Evaluation terminates when we see a STMT_STOP record, and
875// the single remaining expression on the stack is our result.
876Stmt *PCHReader::ReadStmt(llvm::BitstreamCursor &Cursor) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000877 RecordData Record;
878 unsigned Idx;
879 llvm::SmallVector<Stmt *, 16> StmtStack;
880 PCHStmtReader Reader(*this, Record, Idx, StmtStack);
881 Stmt::EmptyShell Empty;
882
883 while (true) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000884 unsigned Code = Cursor.ReadCode();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000885 if (Code == llvm::bitc::END_BLOCK) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000886 if (Cursor.ReadBlockEnd()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000887 Error("error at end of block in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000888 return 0;
889 }
890 break;
891 }
892
893 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
894 // No known subblocks, always skip them.
Chris Lattner52e97d12009-04-27 05:41:06 +0000895 Cursor.ReadSubBlockID();
896 if (Cursor.SkipBlock()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000897 Error("malformed block record in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000898 return 0;
899 }
900 continue;
901 }
902
903 if (Code == llvm::bitc::DEFINE_ABBREV) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000904 Cursor.ReadAbbrevRecord();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000905 continue;
906 }
907
908 Stmt *S = 0;
909 Idx = 0;
910 Record.clear();
911 bool Finished = false;
Chris Lattner52e97d12009-04-27 05:41:06 +0000912 switch ((pch::StmtCode)Cursor.ReadRecord(Code, Record)) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000913 case pch::STMT_STOP:
914 Finished = true;
915 break;
916
Mike Stump1eb44332009-09-09 15:08:12 +0000917 case pch::STMT_NULL_PTR:
918 S = 0;
Chris Lattner4c6f9522009-04-27 05:14:47 +0000919 break;
920
921 case pch::STMT_NULL:
922 S = new (Context) NullStmt(Empty);
923 break;
924
925 case pch::STMT_COMPOUND:
926 S = new (Context) CompoundStmt(Empty);
927 break;
928
929 case pch::STMT_CASE:
930 S = new (Context) CaseStmt(Empty);
931 break;
932
933 case pch::STMT_DEFAULT:
934 S = new (Context) DefaultStmt(Empty);
935 break;
936
937 case pch::STMT_LABEL:
938 S = new (Context) LabelStmt(Empty);
939 break;
940
941 case pch::STMT_IF:
942 S = new (Context) IfStmt(Empty);
943 break;
944
945 case pch::STMT_SWITCH:
946 S = new (Context) SwitchStmt(Empty);
947 break;
948
949 case pch::STMT_WHILE:
950 S = new (Context) WhileStmt(Empty);
951 break;
952
953 case pch::STMT_DO:
954 S = new (Context) DoStmt(Empty);
955 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000956
Chris Lattner4c6f9522009-04-27 05:14:47 +0000957 case pch::STMT_FOR:
958 S = new (Context) ForStmt(Empty);
959 break;
960
961 case pch::STMT_GOTO:
962 S = new (Context) GotoStmt(Empty);
963 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000964
Chris Lattner4c6f9522009-04-27 05:14:47 +0000965 case pch::STMT_INDIRECT_GOTO:
966 S = new (Context) IndirectGotoStmt(Empty);
967 break;
968
969 case pch::STMT_CONTINUE:
970 S = new (Context) ContinueStmt(Empty);
971 break;
972
973 case pch::STMT_BREAK:
974 S = new (Context) BreakStmt(Empty);
975 break;
976
977 case pch::STMT_RETURN:
978 S = new (Context) ReturnStmt(Empty);
979 break;
980
981 case pch::STMT_DECL:
982 S = new (Context) DeclStmt(Empty);
983 break;
984
985 case pch::STMT_ASM:
986 S = new (Context) AsmStmt(Empty);
987 break;
988
989 case pch::EXPR_PREDEFINED:
990 S = new (Context) PredefinedExpr(Empty);
991 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000992
993 case pch::EXPR_DECL_REF:
994 S = new (Context) DeclRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000995 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000996
997 case pch::EXPR_INTEGER_LITERAL:
Chris Lattner4c6f9522009-04-27 05:14:47 +0000998 S = new (Context) IntegerLiteral(Empty);
999 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001000
Chris Lattner4c6f9522009-04-27 05:14:47 +00001001 case pch::EXPR_FLOATING_LITERAL:
1002 S = new (Context) FloatingLiteral(Empty);
1003 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001004
Chris Lattner4c6f9522009-04-27 05:14:47 +00001005 case pch::EXPR_IMAGINARY_LITERAL:
1006 S = new (Context) ImaginaryLiteral(Empty);
1007 break;
1008
1009 case pch::EXPR_STRING_LITERAL:
Mike Stump1eb44332009-09-09 15:08:12 +00001010 S = StringLiteral::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001011 Record[PCHStmtReader::NumExprFields + 1]);
1012 break;
1013
1014 case pch::EXPR_CHARACTER_LITERAL:
1015 S = new (Context) CharacterLiteral(Empty);
1016 break;
1017
1018 case pch::EXPR_PAREN:
1019 S = new (Context) ParenExpr(Empty);
1020 break;
1021
1022 case pch::EXPR_UNARY_OPERATOR:
1023 S = new (Context) UnaryOperator(Empty);
1024 break;
1025
1026 case pch::EXPR_SIZEOF_ALIGN_OF:
1027 S = new (Context) SizeOfAlignOfExpr(Empty);
1028 break;
1029
1030 case pch::EXPR_ARRAY_SUBSCRIPT:
1031 S = new (Context) ArraySubscriptExpr(Empty);
1032 break;
1033
1034 case pch::EXPR_CALL:
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001035 S = new (Context) CallExpr(*Context, Stmt::CallExprClass, Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001036 break;
1037
1038 case pch::EXPR_MEMBER:
1039 S = new (Context) MemberExpr(Empty);
1040 break;
1041
1042 case pch::EXPR_BINARY_OPERATOR:
1043 S = new (Context) BinaryOperator(Empty);
1044 break;
1045
1046 case pch::EXPR_COMPOUND_ASSIGN_OPERATOR:
1047 S = new (Context) CompoundAssignOperator(Empty);
1048 break;
1049
1050 case pch::EXPR_CONDITIONAL_OPERATOR:
1051 S = new (Context) ConditionalOperator(Empty);
1052 break;
1053
1054 case pch::EXPR_IMPLICIT_CAST:
1055 S = new (Context) ImplicitCastExpr(Empty);
1056 break;
1057
1058 case pch::EXPR_CSTYLE_CAST:
1059 S = new (Context) CStyleCastExpr(Empty);
1060 break;
1061
1062 case pch::EXPR_COMPOUND_LITERAL:
1063 S = new (Context) CompoundLiteralExpr(Empty);
1064 break;
1065
1066 case pch::EXPR_EXT_VECTOR_ELEMENT:
1067 S = new (Context) ExtVectorElementExpr(Empty);
1068 break;
1069
1070 case pch::EXPR_INIT_LIST:
1071 S = new (Context) InitListExpr(Empty);
1072 break;
1073
1074 case pch::EXPR_DESIGNATED_INIT:
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001075 S = DesignatedInitExpr::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001076 Record[PCHStmtReader::NumExprFields] - 1);
Mike Stump1eb44332009-09-09 15:08:12 +00001077
Chris Lattner4c6f9522009-04-27 05:14:47 +00001078 break;
1079
1080 case pch::EXPR_IMPLICIT_VALUE_INIT:
1081 S = new (Context) ImplicitValueInitExpr(Empty);
1082 break;
1083
1084 case pch::EXPR_VA_ARG:
1085 S = new (Context) VAArgExpr(Empty);
1086 break;
1087
1088 case pch::EXPR_ADDR_LABEL:
1089 S = new (Context) AddrLabelExpr(Empty);
1090 break;
1091
1092 case pch::EXPR_STMT:
1093 S = new (Context) StmtExpr(Empty);
1094 break;
1095
1096 case pch::EXPR_TYPES_COMPATIBLE:
1097 S = new (Context) TypesCompatibleExpr(Empty);
1098 break;
1099
1100 case pch::EXPR_CHOOSE:
1101 S = new (Context) ChooseExpr(Empty);
1102 break;
1103
1104 case pch::EXPR_GNU_NULL:
1105 S = new (Context) GNUNullExpr(Empty);
1106 break;
1107
1108 case pch::EXPR_SHUFFLE_VECTOR:
1109 S = new (Context) ShuffleVectorExpr(Empty);
1110 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001111
Chris Lattner4c6f9522009-04-27 05:14:47 +00001112 case pch::EXPR_BLOCK:
1113 S = new (Context) BlockExpr(Empty);
1114 break;
1115
1116 case pch::EXPR_BLOCK_DECL_REF:
1117 S = new (Context) BlockDeclRefExpr(Empty);
1118 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001119
Chris Lattner4c6f9522009-04-27 05:14:47 +00001120 case pch::EXPR_OBJC_STRING_LITERAL:
1121 S = new (Context) ObjCStringLiteral(Empty);
1122 break;
1123 case pch::EXPR_OBJC_ENCODE:
1124 S = new (Context) ObjCEncodeExpr(Empty);
1125 break;
1126 case pch::EXPR_OBJC_SELECTOR_EXPR:
1127 S = new (Context) ObjCSelectorExpr(Empty);
1128 break;
1129 case pch::EXPR_OBJC_PROTOCOL_EXPR:
1130 S = new (Context) ObjCProtocolExpr(Empty);
1131 break;
1132 case pch::EXPR_OBJC_IVAR_REF_EXPR:
1133 S = new (Context) ObjCIvarRefExpr(Empty);
1134 break;
1135 case pch::EXPR_OBJC_PROPERTY_REF_EXPR:
1136 S = new (Context) ObjCPropertyRefExpr(Empty);
1137 break;
1138 case pch::EXPR_OBJC_KVC_REF_EXPR:
Fariborz Jahanian09105f52009-08-20 17:02:02 +00001139 S = new (Context) ObjCImplicitSetterGetterRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001140 break;
1141 case pch::EXPR_OBJC_MESSAGE_EXPR:
1142 S = new (Context) ObjCMessageExpr(Empty);
1143 break;
1144 case pch::EXPR_OBJC_SUPER_EXPR:
1145 S = new (Context) ObjCSuperExpr(Empty);
1146 break;
Steve Narofff242b1b2009-07-24 17:54:45 +00001147 case pch::EXPR_OBJC_ISA:
1148 S = new (Context) ObjCIsaExpr(Empty);
1149 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001150 case pch::STMT_OBJC_FOR_COLLECTION:
1151 S = new (Context) ObjCForCollectionStmt(Empty);
1152 break;
1153 case pch::STMT_OBJC_CATCH:
1154 S = new (Context) ObjCAtCatchStmt(Empty);
1155 break;
1156 case pch::STMT_OBJC_FINALLY:
1157 S = new (Context) ObjCAtFinallyStmt(Empty);
1158 break;
1159 case pch::STMT_OBJC_AT_TRY:
1160 S = new (Context) ObjCAtTryStmt(Empty);
1161 break;
1162 case pch::STMT_OBJC_AT_SYNCHRONIZED:
1163 S = new (Context) ObjCAtSynchronizedStmt(Empty);
1164 break;
1165 case pch::STMT_OBJC_AT_THROW:
1166 S = new (Context) ObjCAtThrowStmt(Empty);
1167 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001168
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001169 case pch::EXPR_CXX_OPERATOR_CALL:
1170 S = new (Context) CXXOperatorCallExpr(*Context, Empty);
1171 break;
Douglas Gregor39da0b82009-09-09 23:08:42 +00001172
1173 case pch::EXPR_CXX_CONSTRUCT:
1174 S = new (Context) CXXConstructExpr(Empty, *Context,
1175 Record[PCHStmtReader::NumExprFields + 2]);
1176 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001177 }
1178
1179 // We hit a STMT_STOP, so we're done with this expression.
1180 if (Finished)
1181 break;
1182
1183 ++NumStatementsRead;
1184
1185 if (S) {
1186 unsigned NumSubStmts = Reader.Visit(S);
1187 while (NumSubStmts > 0) {
1188 StmtStack.pop_back();
1189 --NumSubStmts;
1190 }
1191 }
1192
1193 assert(Idx == Record.size() && "Invalid deserialization of statement");
1194 StmtStack.push_back(S);
1195 }
1196 assert(StmtStack.size() == 1 && "Extra expressions on stack!");
Chris Lattner4c6f9522009-04-27 05:14:47 +00001197 return StmtStack.back();
1198}