blob: c108f549ab2aba4a94a27b6b639ec6dff1d2a0f5 [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 Stump3b11fd32010-01-04 22:37:17 +0000307 S->setMSAsm(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000308
309 unsigned StackIdx
Chris Lattner4c6f9522009-04-27 05:14:47 +0000310 = StmtStack.size() - (NumOutputs*2 + NumInputs*2 + NumClobbers + 1);
311 S->setAsmString(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
312
313 // Outputs and inputs
314 llvm::SmallVector<std::string, 16> Names;
315 llvm::SmallVector<StringLiteral*, 16> Constraints;
316 llvm::SmallVector<Stmt*, 16> Exprs;
317 for (unsigned I = 0, N = NumOutputs + NumInputs; I != N; ++I) {
318 Names.push_back(Reader.ReadString(Record, Idx));
319 Constraints.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
320 Exprs.push_back(StmtStack[StackIdx++]);
321 }
322 S->setOutputsAndInputs(NumOutputs, NumInputs,
Jay Foadbeaaccd2009-05-21 09:52:38 +0000323 Names.data(), Constraints.data(), Exprs.data());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000324
325 // Constraints
326 llvm::SmallVector<StringLiteral*, 16> Clobbers;
327 for (unsigned I = 0; I != NumClobbers; ++I)
328 Clobbers.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000329 S->setClobbers(Clobbers.data(), NumClobbers);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000330
331 assert(StackIdx == StmtStack.size() && "Error deserializing AsmStmt");
332 return NumOutputs*2 + NumInputs*2 + NumClobbers + 1;
333}
334
335unsigned PCHStmtReader::VisitExpr(Expr *E) {
336 VisitStmt(E);
337 E->setType(Reader.GetType(Record[Idx++]));
338 E->setTypeDependent(Record[Idx++]);
339 E->setValueDependent(Record[Idx++]);
340 assert(Idx == NumExprFields && "Incorrect expression field count");
341 return 0;
342}
343
344unsigned PCHStmtReader::VisitPredefinedExpr(PredefinedExpr *E) {
345 VisitExpr(E);
346 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
347 E->setIdentType((PredefinedExpr::IdentType)Record[Idx++]);
348 return 0;
349}
350
351unsigned PCHStmtReader::VisitDeclRefExpr(DeclRefExpr *E) {
352 VisitExpr(E);
John McCalldbd872f2009-12-08 09:08:17 +0000353 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000354 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregora2813ce2009-10-23 18:54:35 +0000355 // FIXME: read qualifier
356 // FIXME: read explicit template arguments
Chris Lattner4c6f9522009-04-27 05:14:47 +0000357 return 0;
358}
359
360unsigned PCHStmtReader::VisitIntegerLiteral(IntegerLiteral *E) {
361 VisitExpr(E);
362 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
363 E->setValue(Reader.ReadAPInt(Record, Idx));
364 return 0;
365}
366
367unsigned PCHStmtReader::VisitFloatingLiteral(FloatingLiteral *E) {
368 VisitExpr(E);
369 E->setValue(Reader.ReadAPFloat(Record, Idx));
370 E->setExact(Record[Idx++]);
371 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
372 return 0;
373}
374
375unsigned PCHStmtReader::VisitImaginaryLiteral(ImaginaryLiteral *E) {
376 VisitExpr(E);
377 E->setSubExpr(cast<Expr>(StmtStack.back()));
378 return 1;
379}
380
381unsigned PCHStmtReader::VisitStringLiteral(StringLiteral *E) {
382 VisitExpr(E);
383 unsigned Len = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000384 assert(Record[Idx] == E->getNumConcatenated() &&
Chris Lattner4c6f9522009-04-27 05:14:47 +0000385 "Wrong number of concatenated tokens!");
386 ++Idx;
387 E->setWide(Record[Idx++]);
388
Mike Stump1eb44332009-09-09 15:08:12 +0000389 // Read string data
Daniel Dunbarb6480232009-09-22 03:27:33 +0000390 llvm::SmallString<16> Str(&Record[Idx], &Record[Idx] + Len);
391 E->setString(*Reader.getContext(), Str.str());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000392 Idx += Len;
393
394 // Read source locations
395 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
396 E->setStrTokenLoc(I, SourceLocation::getFromRawEncoding(Record[Idx++]));
397
398 return 0;
399}
400
401unsigned PCHStmtReader::VisitCharacterLiteral(CharacterLiteral *E) {
402 VisitExpr(E);
403 E->setValue(Record[Idx++]);
404 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
405 E->setWide(Record[Idx++]);
406 return 0;
407}
408
409unsigned PCHStmtReader::VisitParenExpr(ParenExpr *E) {
410 VisitExpr(E);
411 E->setLParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
412 E->setRParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
413 E->setSubExpr(cast<Expr>(StmtStack.back()));
414 return 1;
415}
416
417unsigned PCHStmtReader::VisitUnaryOperator(UnaryOperator *E) {
418 VisitExpr(E);
419 E->setSubExpr(cast<Expr>(StmtStack.back()));
420 E->setOpcode((UnaryOperator::Opcode)Record[Idx++]);
421 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
422 return 1;
423}
424
425unsigned PCHStmtReader::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E) {
426 VisitExpr(E);
427 E->setSizeof(Record[Idx++]);
428 if (Record[Idx] == 0) {
429 E->setArgument(cast<Expr>(StmtStack.back()));
430 ++Idx;
431 } else {
John McCalla93c9342009-12-07 02:54:59 +0000432 E->setArgument(Reader.GetTypeSourceInfo(Record, Idx));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000433 }
434 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
435 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
436 return E->isArgumentType()? 0 : 1;
437}
438
439unsigned PCHStmtReader::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
440 VisitExpr(E);
441 E->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 2]));
442 E->setRHS(cast<Expr>(StmtStack[StmtStack.size() - 1]));
443 E->setRBracketLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
444 return 2;
445}
446
447unsigned PCHStmtReader::VisitCallExpr(CallExpr *E) {
448 VisitExpr(E);
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000449 E->setNumArgs(*Reader.getContext(), Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000450 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
451 E->setCallee(cast<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
452 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
453 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
454 return E->getNumArgs() + 1;
455}
456
457unsigned PCHStmtReader::VisitMemberExpr(MemberExpr *E) {
458 VisitExpr(E);
459 E->setBase(cast<Expr>(StmtStack.back()));
Eli Friedmandd27a2d2009-12-04 06:46:54 +0000460 E->setMemberDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000461 E->setMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
462 E->setArrow(Record[Idx++]);
463 return 1;
464}
465
Steve Narofff242b1b2009-07-24 17:54:45 +0000466unsigned PCHStmtReader::VisitObjCIsaExpr(ObjCIsaExpr *E) {
467 VisitExpr(E);
468 E->setBase(cast<Expr>(StmtStack.back()));
469 E->setIsaMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
470 E->setArrow(Record[Idx++]);
471 return 1;
472}
473
Chris Lattner4c6f9522009-04-27 05:14:47 +0000474unsigned PCHStmtReader::VisitCastExpr(CastExpr *E) {
475 VisitExpr(E);
476 E->setSubExpr(cast<Expr>(StmtStack.back()));
Anders Carlssoncdef2b72009-07-31 00:48:10 +0000477 E->setCastKind((CastExpr::CastKind)Record[Idx++]);
478
Chris Lattner4c6f9522009-04-27 05:14:47 +0000479 return 1;
480}
481
482unsigned PCHStmtReader::VisitBinaryOperator(BinaryOperator *E) {
483 VisitExpr(E);
484 E->setLHS(cast<Expr>(StmtStack.end()[-2]));
485 E->setRHS(cast<Expr>(StmtStack.end()[-1]));
486 E->setOpcode((BinaryOperator::Opcode)Record[Idx++]);
487 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
488 return 2;
489}
490
491unsigned PCHStmtReader::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
492 VisitBinaryOperator(E);
493 E->setComputationLHSType(Reader.GetType(Record[Idx++]));
494 E->setComputationResultType(Reader.GetType(Record[Idx++]));
495 return 2;
496}
497
498unsigned PCHStmtReader::VisitConditionalOperator(ConditionalOperator *E) {
499 VisitExpr(E);
500 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
501 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
502 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
Douglas Gregor47e1f7c2009-08-26 14:37:04 +0000503 E->setQuestionLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
504 E->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000505 return 3;
506}
507
508unsigned PCHStmtReader::VisitImplicitCastExpr(ImplicitCastExpr *E) {
509 VisitCastExpr(E);
510 E->setLvalueCast(Record[Idx++]);
511 return 1;
512}
513
514unsigned PCHStmtReader::VisitExplicitCastExpr(ExplicitCastExpr *E) {
515 VisitCastExpr(E);
516 E->setTypeAsWritten(Reader.GetType(Record[Idx++]));
517 return 1;
518}
519
520unsigned PCHStmtReader::VisitCStyleCastExpr(CStyleCastExpr *E) {
521 VisitExplicitCastExpr(E);
522 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
523 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
524 return 1;
525}
526
527unsigned PCHStmtReader::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
528 VisitExpr(E);
529 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
530 E->setInitializer(cast<Expr>(StmtStack.back()));
531 E->setFileScope(Record[Idx++]);
532 return 1;
533}
534
535unsigned PCHStmtReader::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
536 VisitExpr(E);
537 E->setBase(cast<Expr>(StmtStack.back()));
538 E->setAccessor(Reader.GetIdentifierInfo(Record, Idx));
539 E->setAccessorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
540 return 1;
541}
542
543unsigned PCHStmtReader::VisitInitListExpr(InitListExpr *E) {
544 VisitExpr(E);
545 unsigned NumInits = Record[Idx++];
546 E->reserveInits(NumInits);
547 for (unsigned I = 0; I != NumInits; ++I)
Mike Stump1eb44332009-09-09 15:08:12 +0000548 E->updateInit(I,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000549 cast<Expr>(StmtStack[StmtStack.size() - NumInits - 1 + I]));
550 E->setSyntacticForm(cast_or_null<InitListExpr>(StmtStack.back()));
551 E->setLBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
552 E->setRBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
553 E->setInitializedFieldInUnion(
554 cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++])));
555 E->sawArrayRangeDesignator(Record[Idx++]);
556 return NumInits + 1;
557}
558
559unsigned PCHStmtReader::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
560 typedef DesignatedInitExpr::Designator Designator;
561
562 VisitExpr(E);
563 unsigned NumSubExprs = Record[Idx++];
564 assert(NumSubExprs == E->getNumSubExprs() && "Wrong number of subexprs");
565 for (unsigned I = 0; I != NumSubExprs; ++I)
566 E->setSubExpr(I, cast<Expr>(StmtStack[StmtStack.size() - NumSubExprs + I]));
567 E->setEqualOrColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
568 E->setGNUSyntax(Record[Idx++]);
569
570 llvm::SmallVector<Designator, 4> Designators;
571 while (Idx < Record.size()) {
572 switch ((pch::DesignatorTypes)Record[Idx++]) {
573 case pch::DESIG_FIELD_DECL: {
574 FieldDecl *Field = cast<FieldDecl>(Reader.GetDecl(Record[Idx++]));
Mike Stump1eb44332009-09-09 15:08:12 +0000575 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000576 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000577 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000578 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000579 Designators.push_back(Designator(Field->getIdentifier(), DotLoc,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000580 FieldLoc));
581 Designators.back().setField(Field);
582 break;
583 }
584
585 case pch::DESIG_FIELD_NAME: {
586 const IdentifierInfo *Name = Reader.GetIdentifierInfo(Record, Idx);
Mike Stump1eb44332009-09-09 15:08:12 +0000587 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000588 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000589 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000590 = SourceLocation::getFromRawEncoding(Record[Idx++]);
591 Designators.push_back(Designator(Name, DotLoc, FieldLoc));
592 break;
593 }
Mike Stump1eb44332009-09-09 15:08:12 +0000594
Chris Lattner4c6f9522009-04-27 05:14:47 +0000595 case pch::DESIG_ARRAY: {
596 unsigned Index = Record[Idx++];
597 SourceLocation LBracketLoc
598 = SourceLocation::getFromRawEncoding(Record[Idx++]);
599 SourceLocation RBracketLoc
600 = SourceLocation::getFromRawEncoding(Record[Idx++]);
601 Designators.push_back(Designator(Index, LBracketLoc, RBracketLoc));
602 break;
603 }
604
605 case pch::DESIG_ARRAY_RANGE: {
606 unsigned Index = Record[Idx++];
607 SourceLocation LBracketLoc
608 = SourceLocation::getFromRawEncoding(Record[Idx++]);
609 SourceLocation EllipsisLoc
610 = SourceLocation::getFromRawEncoding(Record[Idx++]);
611 SourceLocation RBracketLoc
612 = SourceLocation::getFromRawEncoding(Record[Idx++]);
613 Designators.push_back(Designator(Index, LBracketLoc, EllipsisLoc,
614 RBracketLoc));
615 break;
616 }
617 }
618 }
Douglas Gregor75fdb232009-05-22 22:45:36 +0000619 E->setDesignators(Designators.data(), Designators.size());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000620
621 return NumSubExprs;
622}
623
624unsigned PCHStmtReader::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
625 VisitExpr(E);
626 return 0;
627}
628
629unsigned PCHStmtReader::VisitVAArgExpr(VAArgExpr *E) {
630 VisitExpr(E);
631 E->setSubExpr(cast<Expr>(StmtStack.back()));
632 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
633 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
634 return 1;
635}
636
637unsigned PCHStmtReader::VisitAddrLabelExpr(AddrLabelExpr *E) {
638 VisitExpr(E);
639 E->setAmpAmpLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
640 E->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
641 Reader.SetLabelOf(E, Record[Idx++]);
642 return 0;
643}
644
645unsigned PCHStmtReader::VisitStmtExpr(StmtExpr *E) {
646 VisitExpr(E);
647 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
648 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
649 E->setSubStmt(cast_or_null<CompoundStmt>(StmtStack.back()));
650 return 1;
651}
652
653unsigned PCHStmtReader::VisitTypesCompatibleExpr(TypesCompatibleExpr *E) {
654 VisitExpr(E);
655 E->setArgType1(Reader.GetType(Record[Idx++]));
656 E->setArgType2(Reader.GetType(Record[Idx++]));
657 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
658 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
659 return 0;
660}
661
662unsigned PCHStmtReader::VisitChooseExpr(ChooseExpr *E) {
663 VisitExpr(E);
664 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
665 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
666 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
667 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
668 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
669 return 3;
670}
671
672unsigned PCHStmtReader::VisitGNUNullExpr(GNUNullExpr *E) {
673 VisitExpr(E);
674 E->setTokenLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
675 return 0;
676}
677
678unsigned PCHStmtReader::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
679 VisitExpr(E);
680 unsigned NumExprs = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000681 E->setExprs(*Reader.getContext(),
Nate Begeman888376a2009-08-12 02:28:50 +0000682 (Expr **)&StmtStack[StmtStack.size() - NumExprs], NumExprs);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000683 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
684 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
685 return NumExprs;
686}
687
688unsigned PCHStmtReader::VisitBlockExpr(BlockExpr *E) {
689 VisitExpr(E);
690 E->setBlockDecl(cast_or_null<BlockDecl>(Reader.GetDecl(Record[Idx++])));
691 E->setHasBlockDeclRefExprs(Record[Idx++]);
692 return 0;
693}
694
695unsigned PCHStmtReader::VisitBlockDeclRefExpr(BlockDeclRefExpr *E) {
696 VisitExpr(E);
697 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
698 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
699 E->setByRef(Record[Idx++]);
Fariborz Jahanian9b0b57c2009-06-20 00:02:26 +0000700 E->setConstQualAdded(Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000701 return 0;
702}
703
704//===----------------------------------------------------------------------===//
705// Objective-C Expressions and Statements
706
707unsigned PCHStmtReader::VisitObjCStringLiteral(ObjCStringLiteral *E) {
708 VisitExpr(E);
709 E->setString(cast<StringLiteral>(StmtStack.back()));
710 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
711 return 1;
712}
713
714unsigned PCHStmtReader::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
715 VisitExpr(E);
716 E->setEncodedType(Reader.GetType(Record[Idx++]));
717 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
718 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
719 return 0;
720}
721
722unsigned PCHStmtReader::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
723 VisitExpr(E);
724 E->setSelector(Reader.GetSelector(Record, Idx));
725 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
726 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
727 return 0;
728}
729
730unsigned PCHStmtReader::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
731 VisitExpr(E);
732 E->setProtocol(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
733 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
734 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
735 return 0;
736}
737
738unsigned PCHStmtReader::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
739 VisitExpr(E);
740 E->setDecl(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
741 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
742 E->setBase(cast<Expr>(StmtStack.back()));
743 E->setIsArrow(Record[Idx++]);
744 E->setIsFreeIvar(Record[Idx++]);
745 return 1;
746}
747
748unsigned PCHStmtReader::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
749 VisitExpr(E);
750 E->setProperty(cast<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
751 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
752 E->setBase(cast<Expr>(StmtStack.back()));
753 return 1;
754}
755
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000756unsigned PCHStmtReader::VisitObjCImplicitSetterGetterRefExpr(
757 ObjCImplicitSetterGetterRefExpr *E) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000758 VisitExpr(E);
759 E->setGetterMethod(
760 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
761 E->setSetterMethod(
762 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniand2ae5aa2009-08-18 21:37:33 +0000763 E->setInterfaceDecl(
Chris Lattner4c6f9522009-04-27 05:14:47 +0000764 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
765 E->setBase(cast_or_null<Expr>(StmtStack.back()));
766 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
767 E->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
768 return 1;
769}
770
771unsigned PCHStmtReader::VisitObjCMessageExpr(ObjCMessageExpr *E) {
772 VisitExpr(E);
773 E->setNumArgs(Record[Idx++]);
774 E->setLeftLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
775 E->setRightLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
776 E->setSelector(Reader.GetSelector(Record, Idx));
777 E->setMethodDecl(cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Mike Stump1eb44332009-09-09 15:08:12 +0000778
Chris Lattner4c6f9522009-04-27 05:14:47 +0000779 E->setReceiver(
780 cast_or_null<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
781 if (!E->getReceiver()) {
782 ObjCMessageExpr::ClassInfo CI;
783 CI.first = cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++]));
784 CI.second = Reader.GetIdentifierInfo(Record, Idx);
785 E->setClassInfo(CI);
786 }
787
788 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
789 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
790 return E->getNumArgs() + 1;
791}
792
793unsigned PCHStmtReader::VisitObjCSuperExpr(ObjCSuperExpr *E) {
794 VisitExpr(E);
795 E->setLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
796 return 0;
797}
798
799unsigned PCHStmtReader::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
800 VisitStmt(S);
801 S->setElement(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
802 S->setCollection(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
803 S->setBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
804 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
805 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
806 return 3;
807}
808
809unsigned PCHStmtReader::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
810 VisitStmt(S);
811 S->setCatchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
812 S->setNextCatchStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
813 S->setCatchParamDecl(cast_or_null<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
814 S->setAtCatchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
815 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
816 return 2;
817}
818
819unsigned PCHStmtReader::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
820 VisitStmt(S);
821 S->setFinallyBody(StmtStack.back());
822 S->setAtFinallyLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
823 return 1;
824}
825
826unsigned PCHStmtReader::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
827 VisitStmt(S);
828 S->setTryBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
829 S->setCatchStmts(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
830 S->setFinallyStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
831 S->setAtTryLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
832 return 3;
833}
834
835unsigned PCHStmtReader::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
836 VisitStmt(S);
837 S->setSynchExpr(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
838 S->setSynchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
839 S->setAtSynchronizedLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
840 return 2;
841}
842
843unsigned PCHStmtReader::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
844 VisitStmt(S);
845 S->setThrowExpr(StmtStack.back());
846 S->setThrowLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
847 return 1;
848}
849
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000850//===----------------------------------------------------------------------===//
851// C++ Expressions and Statements
852
853unsigned PCHStmtReader::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
854 unsigned num = VisitCallExpr(E);
855 E->setOperator((OverloadedOperatorKind)Record[Idx++]);
856 return num;
857}
858
Douglas Gregor39da0b82009-09-09 23:08:42 +0000859unsigned PCHStmtReader::VisitCXXConstructExpr(CXXConstructExpr *E) {
860 VisitExpr(E);
861 E->setConstructor(cast<CXXConstructorDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor99a2e602009-12-16 01:38:02 +0000862 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor39da0b82009-09-09 23:08:42 +0000863 E->setElidable(Record[Idx++]);
Douglas Gregor16006c92009-12-16 18:50:27 +0000864 E->setRequiresZeroInitialization(Record[Idx++]);
Douglas Gregor39da0b82009-09-09 23:08:42 +0000865 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
866 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
867 return E->getNumArgs();
868}
Chris Lattner4c6f9522009-04-27 05:14:47 +0000869
Chris Lattner52e97d12009-04-27 05:41:06 +0000870// Within the bitstream, expressions are stored in Reverse Polish
871// Notation, with each of the subexpressions preceding the
872// expression they are stored in. To evaluate expressions, we
873// continue reading expressions and placing them on the stack, with
874// expressions having operands removing those operands from the
875// stack. Evaluation terminates when we see a STMT_STOP record, and
876// the single remaining expression on the stack is our result.
877Stmt *PCHReader::ReadStmt(llvm::BitstreamCursor &Cursor) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000878 RecordData Record;
879 unsigned Idx;
880 llvm::SmallVector<Stmt *, 16> StmtStack;
881 PCHStmtReader Reader(*this, Record, Idx, StmtStack);
882 Stmt::EmptyShell Empty;
883
884 while (true) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000885 unsigned Code = Cursor.ReadCode();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000886 if (Code == llvm::bitc::END_BLOCK) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000887 if (Cursor.ReadBlockEnd()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000888 Error("error at end of block in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000889 return 0;
890 }
891 break;
892 }
893
894 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
895 // No known subblocks, always skip them.
Chris Lattner52e97d12009-04-27 05:41:06 +0000896 Cursor.ReadSubBlockID();
897 if (Cursor.SkipBlock()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000898 Error("malformed block record in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000899 return 0;
900 }
901 continue;
902 }
903
904 if (Code == llvm::bitc::DEFINE_ABBREV) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000905 Cursor.ReadAbbrevRecord();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000906 continue;
907 }
908
909 Stmt *S = 0;
910 Idx = 0;
911 Record.clear();
912 bool Finished = false;
Chris Lattner52e97d12009-04-27 05:41:06 +0000913 switch ((pch::StmtCode)Cursor.ReadRecord(Code, Record)) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000914 case pch::STMT_STOP:
915 Finished = true;
916 break;
917
Mike Stump1eb44332009-09-09 15:08:12 +0000918 case pch::STMT_NULL_PTR:
919 S = 0;
Chris Lattner4c6f9522009-04-27 05:14:47 +0000920 break;
921
922 case pch::STMT_NULL:
923 S = new (Context) NullStmt(Empty);
924 break;
925
926 case pch::STMT_COMPOUND:
927 S = new (Context) CompoundStmt(Empty);
928 break;
929
930 case pch::STMT_CASE:
931 S = new (Context) CaseStmt(Empty);
932 break;
933
934 case pch::STMT_DEFAULT:
935 S = new (Context) DefaultStmt(Empty);
936 break;
937
938 case pch::STMT_LABEL:
939 S = new (Context) LabelStmt(Empty);
940 break;
941
942 case pch::STMT_IF:
943 S = new (Context) IfStmt(Empty);
944 break;
945
946 case pch::STMT_SWITCH:
947 S = new (Context) SwitchStmt(Empty);
948 break;
949
950 case pch::STMT_WHILE:
951 S = new (Context) WhileStmt(Empty);
952 break;
953
954 case pch::STMT_DO:
955 S = new (Context) DoStmt(Empty);
956 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000957
Chris Lattner4c6f9522009-04-27 05:14:47 +0000958 case pch::STMT_FOR:
959 S = new (Context) ForStmt(Empty);
960 break;
961
962 case pch::STMT_GOTO:
963 S = new (Context) GotoStmt(Empty);
964 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000965
Chris Lattner4c6f9522009-04-27 05:14:47 +0000966 case pch::STMT_INDIRECT_GOTO:
967 S = new (Context) IndirectGotoStmt(Empty);
968 break;
969
970 case pch::STMT_CONTINUE:
971 S = new (Context) ContinueStmt(Empty);
972 break;
973
974 case pch::STMT_BREAK:
975 S = new (Context) BreakStmt(Empty);
976 break;
977
978 case pch::STMT_RETURN:
979 S = new (Context) ReturnStmt(Empty);
980 break;
981
982 case pch::STMT_DECL:
983 S = new (Context) DeclStmt(Empty);
984 break;
985
986 case pch::STMT_ASM:
987 S = new (Context) AsmStmt(Empty);
988 break;
989
990 case pch::EXPR_PREDEFINED:
991 S = new (Context) PredefinedExpr(Empty);
992 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000993
994 case pch::EXPR_DECL_REF:
995 S = new (Context) DeclRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000996 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000997
998 case pch::EXPR_INTEGER_LITERAL:
Chris Lattner4c6f9522009-04-27 05:14:47 +0000999 S = new (Context) IntegerLiteral(Empty);
1000 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001001
Chris Lattner4c6f9522009-04-27 05:14:47 +00001002 case pch::EXPR_FLOATING_LITERAL:
1003 S = new (Context) FloatingLiteral(Empty);
1004 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001005
Chris Lattner4c6f9522009-04-27 05:14:47 +00001006 case pch::EXPR_IMAGINARY_LITERAL:
1007 S = new (Context) ImaginaryLiteral(Empty);
1008 break;
1009
1010 case pch::EXPR_STRING_LITERAL:
Mike Stump1eb44332009-09-09 15:08:12 +00001011 S = StringLiteral::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001012 Record[PCHStmtReader::NumExprFields + 1]);
1013 break;
1014
1015 case pch::EXPR_CHARACTER_LITERAL:
1016 S = new (Context) CharacterLiteral(Empty);
1017 break;
1018
1019 case pch::EXPR_PAREN:
1020 S = new (Context) ParenExpr(Empty);
1021 break;
1022
1023 case pch::EXPR_UNARY_OPERATOR:
1024 S = new (Context) UnaryOperator(Empty);
1025 break;
1026
1027 case pch::EXPR_SIZEOF_ALIGN_OF:
1028 S = new (Context) SizeOfAlignOfExpr(Empty);
1029 break;
1030
1031 case pch::EXPR_ARRAY_SUBSCRIPT:
1032 S = new (Context) ArraySubscriptExpr(Empty);
1033 break;
1034
1035 case pch::EXPR_CALL:
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001036 S = new (Context) CallExpr(*Context, Stmt::CallExprClass, Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001037 break;
1038
1039 case pch::EXPR_MEMBER:
1040 S = new (Context) MemberExpr(Empty);
1041 break;
1042
1043 case pch::EXPR_BINARY_OPERATOR:
1044 S = new (Context) BinaryOperator(Empty);
1045 break;
1046
1047 case pch::EXPR_COMPOUND_ASSIGN_OPERATOR:
1048 S = new (Context) CompoundAssignOperator(Empty);
1049 break;
1050
1051 case pch::EXPR_CONDITIONAL_OPERATOR:
1052 S = new (Context) ConditionalOperator(Empty);
1053 break;
1054
1055 case pch::EXPR_IMPLICIT_CAST:
1056 S = new (Context) ImplicitCastExpr(Empty);
1057 break;
1058
1059 case pch::EXPR_CSTYLE_CAST:
1060 S = new (Context) CStyleCastExpr(Empty);
1061 break;
1062
1063 case pch::EXPR_COMPOUND_LITERAL:
1064 S = new (Context) CompoundLiteralExpr(Empty);
1065 break;
1066
1067 case pch::EXPR_EXT_VECTOR_ELEMENT:
1068 S = new (Context) ExtVectorElementExpr(Empty);
1069 break;
1070
1071 case pch::EXPR_INIT_LIST:
1072 S = new (Context) InitListExpr(Empty);
1073 break;
1074
1075 case pch::EXPR_DESIGNATED_INIT:
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001076 S = DesignatedInitExpr::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001077 Record[PCHStmtReader::NumExprFields] - 1);
Mike Stump1eb44332009-09-09 15:08:12 +00001078
Chris Lattner4c6f9522009-04-27 05:14:47 +00001079 break;
1080
1081 case pch::EXPR_IMPLICIT_VALUE_INIT:
1082 S = new (Context) ImplicitValueInitExpr(Empty);
1083 break;
1084
1085 case pch::EXPR_VA_ARG:
1086 S = new (Context) VAArgExpr(Empty);
1087 break;
1088
1089 case pch::EXPR_ADDR_LABEL:
1090 S = new (Context) AddrLabelExpr(Empty);
1091 break;
1092
1093 case pch::EXPR_STMT:
1094 S = new (Context) StmtExpr(Empty);
1095 break;
1096
1097 case pch::EXPR_TYPES_COMPATIBLE:
1098 S = new (Context) TypesCompatibleExpr(Empty);
1099 break;
1100
1101 case pch::EXPR_CHOOSE:
1102 S = new (Context) ChooseExpr(Empty);
1103 break;
1104
1105 case pch::EXPR_GNU_NULL:
1106 S = new (Context) GNUNullExpr(Empty);
1107 break;
1108
1109 case pch::EXPR_SHUFFLE_VECTOR:
1110 S = new (Context) ShuffleVectorExpr(Empty);
1111 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001112
Chris Lattner4c6f9522009-04-27 05:14:47 +00001113 case pch::EXPR_BLOCK:
1114 S = new (Context) BlockExpr(Empty);
1115 break;
1116
1117 case pch::EXPR_BLOCK_DECL_REF:
1118 S = new (Context) BlockDeclRefExpr(Empty);
1119 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001120
Chris Lattner4c6f9522009-04-27 05:14:47 +00001121 case pch::EXPR_OBJC_STRING_LITERAL:
1122 S = new (Context) ObjCStringLiteral(Empty);
1123 break;
1124 case pch::EXPR_OBJC_ENCODE:
1125 S = new (Context) ObjCEncodeExpr(Empty);
1126 break;
1127 case pch::EXPR_OBJC_SELECTOR_EXPR:
1128 S = new (Context) ObjCSelectorExpr(Empty);
1129 break;
1130 case pch::EXPR_OBJC_PROTOCOL_EXPR:
1131 S = new (Context) ObjCProtocolExpr(Empty);
1132 break;
1133 case pch::EXPR_OBJC_IVAR_REF_EXPR:
1134 S = new (Context) ObjCIvarRefExpr(Empty);
1135 break;
1136 case pch::EXPR_OBJC_PROPERTY_REF_EXPR:
1137 S = new (Context) ObjCPropertyRefExpr(Empty);
1138 break;
1139 case pch::EXPR_OBJC_KVC_REF_EXPR:
Fariborz Jahanian09105f52009-08-20 17:02:02 +00001140 S = new (Context) ObjCImplicitSetterGetterRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001141 break;
1142 case pch::EXPR_OBJC_MESSAGE_EXPR:
1143 S = new (Context) ObjCMessageExpr(Empty);
1144 break;
1145 case pch::EXPR_OBJC_SUPER_EXPR:
1146 S = new (Context) ObjCSuperExpr(Empty);
1147 break;
Steve Narofff242b1b2009-07-24 17:54:45 +00001148 case pch::EXPR_OBJC_ISA:
1149 S = new (Context) ObjCIsaExpr(Empty);
1150 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001151 case pch::STMT_OBJC_FOR_COLLECTION:
1152 S = new (Context) ObjCForCollectionStmt(Empty);
1153 break;
1154 case pch::STMT_OBJC_CATCH:
1155 S = new (Context) ObjCAtCatchStmt(Empty);
1156 break;
1157 case pch::STMT_OBJC_FINALLY:
1158 S = new (Context) ObjCAtFinallyStmt(Empty);
1159 break;
1160 case pch::STMT_OBJC_AT_TRY:
1161 S = new (Context) ObjCAtTryStmt(Empty);
1162 break;
1163 case pch::STMT_OBJC_AT_SYNCHRONIZED:
1164 S = new (Context) ObjCAtSynchronizedStmt(Empty);
1165 break;
1166 case pch::STMT_OBJC_AT_THROW:
1167 S = new (Context) ObjCAtThrowStmt(Empty);
1168 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001169
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001170 case pch::EXPR_CXX_OPERATOR_CALL:
1171 S = new (Context) CXXOperatorCallExpr(*Context, Empty);
1172 break;
Douglas Gregor39da0b82009-09-09 23:08:42 +00001173
1174 case pch::EXPR_CXX_CONSTRUCT:
1175 S = new (Context) CXXConstructExpr(Empty, *Context,
1176 Record[PCHStmtReader::NumExprFields + 2]);
1177 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001178 }
1179
1180 // We hit a STMT_STOP, so we're done with this expression.
1181 if (Finished)
1182 break;
1183
1184 ++NumStatementsRead;
1185
1186 if (S) {
1187 unsigned NumSubStmts = Reader.Visit(S);
1188 while (NumSubStmts > 0) {
1189 StmtStack.pop_back();
1190 --NumSubStmts;
1191 }
1192 }
1193
1194 assert(Idx == Record.size() && "Invalid deserialization of statement");
1195 StmtStack.push_back(S);
1196 }
1197 assert(StmtStack.size() == 1 && "Extra expressions on stack!");
Chris Lattner4c6f9522009-04-27 05:14:47 +00001198 return StmtStack.back();
1199}