blob: 45e2bfb1794d68e4d5b45ce385734d58a135a333 [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"
16#include "clang/AST/StmtVisitor.h"
17using namespace clang;
18
Chris Lattner4c6f9522009-04-27 05:14:47 +000019namespace {
20 class PCHStmtReader : public StmtVisitor<PCHStmtReader, unsigned> {
21 PCHReader &Reader;
22 const PCHReader::RecordData &Record;
23 unsigned &Idx;
24 llvm::SmallVectorImpl<Stmt *> &StmtStack;
25
26 public:
27 PCHStmtReader(PCHReader &Reader, const PCHReader::RecordData &Record,
28 unsigned &Idx, llvm::SmallVectorImpl<Stmt *> &StmtStack)
29 : Reader(Reader), Record(Record), Idx(Idx), StmtStack(StmtStack) { }
30
31 /// \brief The number of record fields required for the Stmt class
32 /// itself.
33 static const unsigned NumStmtFields = 0;
34
35 /// \brief The number of record fields required for the Expr class
36 /// itself.
37 static const unsigned NumExprFields = NumStmtFields + 3;
38
39 // Each of the Visit* functions reads in part of the expression
40 // from the given record and the current expression stack, then
41 // return the total number of operands that it read from the
42 // expression stack.
43
44 unsigned VisitStmt(Stmt *S);
45 unsigned VisitNullStmt(NullStmt *S);
46 unsigned VisitCompoundStmt(CompoundStmt *S);
47 unsigned VisitSwitchCase(SwitchCase *S);
48 unsigned VisitCaseStmt(CaseStmt *S);
49 unsigned VisitDefaultStmt(DefaultStmt *S);
50 unsigned VisitLabelStmt(LabelStmt *S);
51 unsigned VisitIfStmt(IfStmt *S);
52 unsigned VisitSwitchStmt(SwitchStmt *S);
53 unsigned VisitWhileStmt(WhileStmt *S);
54 unsigned VisitDoStmt(DoStmt *S);
55 unsigned VisitForStmt(ForStmt *S);
56 unsigned VisitGotoStmt(GotoStmt *S);
57 unsigned VisitIndirectGotoStmt(IndirectGotoStmt *S);
58 unsigned VisitContinueStmt(ContinueStmt *S);
59 unsigned VisitBreakStmt(BreakStmt *S);
60 unsigned VisitReturnStmt(ReturnStmt *S);
61 unsigned VisitDeclStmt(DeclStmt *S);
62 unsigned VisitAsmStmt(AsmStmt *S);
63 unsigned VisitExpr(Expr *E);
64 unsigned VisitPredefinedExpr(PredefinedExpr *E);
65 unsigned VisitDeclRefExpr(DeclRefExpr *E);
66 unsigned VisitIntegerLiteral(IntegerLiteral *E);
67 unsigned VisitFloatingLiteral(FloatingLiteral *E);
68 unsigned VisitImaginaryLiteral(ImaginaryLiteral *E);
69 unsigned VisitStringLiteral(StringLiteral *E);
70 unsigned VisitCharacterLiteral(CharacterLiteral *E);
71 unsigned VisitParenExpr(ParenExpr *E);
72 unsigned VisitUnaryOperator(UnaryOperator *E);
73 unsigned VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E);
74 unsigned VisitArraySubscriptExpr(ArraySubscriptExpr *E);
75 unsigned VisitCallExpr(CallExpr *E);
76 unsigned VisitMemberExpr(MemberExpr *E);
77 unsigned VisitCastExpr(CastExpr *E);
78 unsigned VisitBinaryOperator(BinaryOperator *E);
79 unsigned VisitCompoundAssignOperator(CompoundAssignOperator *E);
80 unsigned VisitConditionalOperator(ConditionalOperator *E);
81 unsigned VisitImplicitCastExpr(ImplicitCastExpr *E);
82 unsigned VisitExplicitCastExpr(ExplicitCastExpr *E);
83 unsigned VisitCStyleCastExpr(CStyleCastExpr *E);
84 unsigned VisitCompoundLiteralExpr(CompoundLiteralExpr *E);
85 unsigned VisitExtVectorElementExpr(ExtVectorElementExpr *E);
86 unsigned VisitInitListExpr(InitListExpr *E);
87 unsigned VisitDesignatedInitExpr(DesignatedInitExpr *E);
88 unsigned VisitImplicitValueInitExpr(ImplicitValueInitExpr *E);
89 unsigned VisitVAArgExpr(VAArgExpr *E);
90 unsigned VisitAddrLabelExpr(AddrLabelExpr *E);
91 unsigned VisitStmtExpr(StmtExpr *E);
92 unsigned VisitTypesCompatibleExpr(TypesCompatibleExpr *E);
93 unsigned VisitChooseExpr(ChooseExpr *E);
94 unsigned VisitGNUNullExpr(GNUNullExpr *E);
95 unsigned VisitShuffleVectorExpr(ShuffleVectorExpr *E);
96 unsigned VisitBlockExpr(BlockExpr *E);
97 unsigned VisitBlockDeclRefExpr(BlockDeclRefExpr *E);
98 unsigned VisitObjCStringLiteral(ObjCStringLiteral *E);
99 unsigned VisitObjCEncodeExpr(ObjCEncodeExpr *E);
100 unsigned VisitObjCSelectorExpr(ObjCSelectorExpr *E);
101 unsigned VisitObjCProtocolExpr(ObjCProtocolExpr *E);
102 unsigned VisitObjCIvarRefExpr(ObjCIvarRefExpr *E);
103 unsigned VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E);
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000104 unsigned VisitObjCImplicitSetterGetterRefExpr(
105 ObjCImplicitSetterGetterRefExpr *E);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000106 unsigned VisitObjCMessageExpr(ObjCMessageExpr *E);
107 unsigned VisitObjCSuperExpr(ObjCSuperExpr *E);
Steve Narofff242b1b2009-07-24 17:54:45 +0000108 unsigned VisitObjCIsaExpr(ObjCIsaExpr *E);
Mike Stump1eb44332009-09-09 15:08:12 +0000109
Chris Lattner4c6f9522009-04-27 05:14:47 +0000110 unsigned VisitObjCForCollectionStmt(ObjCForCollectionStmt *);
111 unsigned VisitObjCAtCatchStmt(ObjCAtCatchStmt *);
112 unsigned VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *);
113 unsigned VisitObjCAtTryStmt(ObjCAtTryStmt *);
114 unsigned VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *);
115 unsigned VisitObjCAtThrowStmt(ObjCAtThrowStmt *);
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000116
117 unsigned VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000118 };
119}
120
121unsigned PCHStmtReader::VisitStmt(Stmt *S) {
122 assert(Idx == NumStmtFields && "Incorrect statement field count");
123 return 0;
124}
125
126unsigned PCHStmtReader::VisitNullStmt(NullStmt *S) {
127 VisitStmt(S);
128 S->setSemiLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
129 return 0;
130}
131
132unsigned PCHStmtReader::VisitCompoundStmt(CompoundStmt *S) {
133 VisitStmt(S);
134 unsigned NumStmts = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000135 S->setStmts(*Reader.getContext(),
Jay Foadbeaaccd2009-05-21 09:52:38 +0000136 StmtStack.data() + StmtStack.size() - NumStmts, NumStmts);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000137 S->setLBracLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
138 S->setRBracLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
139 return NumStmts;
140}
141
142unsigned PCHStmtReader::VisitSwitchCase(SwitchCase *S) {
143 VisitStmt(S);
144 Reader.RecordSwitchCaseID(S, Record[Idx++]);
145 return 0;
146}
147
148unsigned PCHStmtReader::VisitCaseStmt(CaseStmt *S) {
149 VisitSwitchCase(S);
150 S->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 3]));
151 S->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
152 S->setSubStmt(StmtStack.back());
153 S->setCaseLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregordbb26db2009-05-15 23:57:33 +0000154 S->setEllipsisLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
155 S->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000156 return 3;
157}
158
159unsigned PCHStmtReader::VisitDefaultStmt(DefaultStmt *S) {
160 VisitSwitchCase(S);
161 S->setSubStmt(StmtStack.back());
162 S->setDefaultLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregordbb26db2009-05-15 23:57:33 +0000163 S->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000164 return 1;
165}
166
167unsigned PCHStmtReader::VisitLabelStmt(LabelStmt *S) {
168 VisitStmt(S);
169 S->setID(Reader.GetIdentifierInfo(Record, Idx));
170 S->setSubStmt(StmtStack.back());
171 S->setIdentLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
172 Reader.RecordLabelStmt(S, Record[Idx++]);
173 return 1;
174}
175
176unsigned PCHStmtReader::VisitIfStmt(IfStmt *S) {
177 VisitStmt(S);
178 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
179 S->setThen(StmtStack[StmtStack.size() - 2]);
180 S->setElse(StmtStack[StmtStack.size() - 1]);
181 S->setIfLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregord06f6ca2009-05-15 18:53:42 +0000182 S->setElseLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000183 return 3;
184}
185
186unsigned PCHStmtReader::VisitSwitchStmt(SwitchStmt *S) {
187 VisitStmt(S);
188 S->setCond(cast<Expr>(StmtStack[StmtStack.size() - 2]));
189 S->setBody(StmtStack.back());
190 S->setSwitchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
191 SwitchCase *PrevSC = 0;
192 for (unsigned N = Record.size(); Idx != N; ++Idx) {
193 SwitchCase *SC = Reader.getSwitchCaseWithID(Record[Idx]);
194 if (PrevSC)
195 PrevSC->setNextSwitchCase(SC);
196 else
197 S->setSwitchCaseList(SC);
Mike Stump1eb44332009-09-09 15:08:12 +0000198
Douglas Gregor43d9d922009-08-08 01:41:12 +0000199 // Retain this SwitchCase, since SwitchStmt::addSwitchCase() would
200 // normally retain it (but we aren't calling addSwitchCase).
201 SC->Retain();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000202 PrevSC = SC;
203 }
204 return 2;
205}
206
207unsigned PCHStmtReader::VisitWhileStmt(WhileStmt *S) {
208 VisitStmt(S);
209 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
210 S->setBody(StmtStack.back());
211 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
212 return 2;
213}
214
215unsigned PCHStmtReader::VisitDoStmt(DoStmt *S) {
216 VisitStmt(S);
217 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
218 S->setBody(StmtStack.back());
219 S->setDoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor9f3ca2a2009-05-15 21:56:04 +0000220 S->setWhileLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner98913592009-06-12 23:04:47 +0000221 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000222 return 2;
223}
224
225unsigned PCHStmtReader::VisitForStmt(ForStmt *S) {
226 VisitStmt(S);
227 S->setInit(StmtStack[StmtStack.size() - 4]);
228 S->setCond(cast_or_null<Expr>(StmtStack[StmtStack.size() - 3]));
229 S->setInc(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
230 S->setBody(StmtStack.back());
231 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor5831c6a2009-05-15 22:12:32 +0000232 S->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
233 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000234 return 4;
235}
236
237unsigned PCHStmtReader::VisitGotoStmt(GotoStmt *S) {
238 VisitStmt(S);
239 Reader.SetLabelOf(S, Record[Idx++]);
240 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
241 S->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
242 return 0;
243}
244
245unsigned PCHStmtReader::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
246 VisitStmt(S);
247 S->setGotoLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Douglas Gregor5f1b9e62009-05-16 00:20:29 +0000248 S->setStarLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000249 S->setTarget(cast_or_null<Expr>(StmtStack.back()));
250 return 1;
251}
252
253unsigned PCHStmtReader::VisitContinueStmt(ContinueStmt *S) {
254 VisitStmt(S);
255 S->setContinueLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
256 return 0;
257}
258
259unsigned PCHStmtReader::VisitBreakStmt(BreakStmt *S) {
260 VisitStmt(S);
261 S->setBreakLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
262 return 0;
263}
264
265unsigned PCHStmtReader::VisitReturnStmt(ReturnStmt *S) {
266 VisitStmt(S);
267 S->setRetValue(cast_or_null<Expr>(StmtStack.back()));
268 S->setReturnLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
269 return 1;
270}
271
272unsigned PCHStmtReader::VisitDeclStmt(DeclStmt *S) {
273 VisitStmt(S);
274 S->setStartLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
275 S->setEndLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
276
277 if (Idx + 1 == Record.size()) {
278 // Single declaration
279 S->setDeclGroup(DeclGroupRef(Reader.GetDecl(Record[Idx++])));
280 } else {
281 llvm::SmallVector<Decl *, 16> Decls;
282 Decls.reserve(Record.size() - Idx);
283 for (unsigned N = Record.size(); Idx != N; ++Idx)
284 Decls.push_back(Reader.GetDecl(Record[Idx]));
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000285 S->setDeclGroup(DeclGroupRef(DeclGroup::Create(*Reader.getContext(),
Douglas Gregor75fdb232009-05-22 22:45:36 +0000286 Decls.data(),
287 Decls.size())));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000288 }
289 return 0;
290}
291
292unsigned PCHStmtReader::VisitAsmStmt(AsmStmt *S) {
293 VisitStmt(S);
294 unsigned NumOutputs = Record[Idx++];
295 unsigned NumInputs = Record[Idx++];
296 unsigned NumClobbers = Record[Idx++];
297 S->setAsmLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
298 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
299 S->setVolatile(Record[Idx++]);
300 S->setSimple(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000301
302 unsigned StackIdx
Chris Lattner4c6f9522009-04-27 05:14:47 +0000303 = StmtStack.size() - (NumOutputs*2 + NumInputs*2 + NumClobbers + 1);
304 S->setAsmString(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
305
306 // Outputs and inputs
307 llvm::SmallVector<std::string, 16> Names;
308 llvm::SmallVector<StringLiteral*, 16> Constraints;
309 llvm::SmallVector<Stmt*, 16> Exprs;
310 for (unsigned I = 0, N = NumOutputs + NumInputs; I != N; ++I) {
311 Names.push_back(Reader.ReadString(Record, Idx));
312 Constraints.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
313 Exprs.push_back(StmtStack[StackIdx++]);
314 }
315 S->setOutputsAndInputs(NumOutputs, NumInputs,
Jay Foadbeaaccd2009-05-21 09:52:38 +0000316 Names.data(), Constraints.data(), Exprs.data());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000317
318 // Constraints
319 llvm::SmallVector<StringLiteral*, 16> Clobbers;
320 for (unsigned I = 0; I != NumClobbers; ++I)
321 Clobbers.push_back(cast_or_null<StringLiteral>(StmtStack[StackIdx++]));
Jay Foadbeaaccd2009-05-21 09:52:38 +0000322 S->setClobbers(Clobbers.data(), NumClobbers);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000323
324 assert(StackIdx == StmtStack.size() && "Error deserializing AsmStmt");
325 return NumOutputs*2 + NumInputs*2 + NumClobbers + 1;
326}
327
328unsigned PCHStmtReader::VisitExpr(Expr *E) {
329 VisitStmt(E);
330 E->setType(Reader.GetType(Record[Idx++]));
331 E->setTypeDependent(Record[Idx++]);
332 E->setValueDependent(Record[Idx++]);
333 assert(Idx == NumExprFields && "Incorrect expression field count");
334 return 0;
335}
336
337unsigned PCHStmtReader::VisitPredefinedExpr(PredefinedExpr *E) {
338 VisitExpr(E);
339 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
340 E->setIdentType((PredefinedExpr::IdentType)Record[Idx++]);
341 return 0;
342}
343
344unsigned PCHStmtReader::VisitDeclRefExpr(DeclRefExpr *E) {
345 VisitExpr(E);
346 E->setDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
347 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
348 return 0;
349}
350
351unsigned PCHStmtReader::VisitIntegerLiteral(IntegerLiteral *E) {
352 VisitExpr(E);
353 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
354 E->setValue(Reader.ReadAPInt(Record, Idx));
355 return 0;
356}
357
358unsigned PCHStmtReader::VisitFloatingLiteral(FloatingLiteral *E) {
359 VisitExpr(E);
360 E->setValue(Reader.ReadAPFloat(Record, Idx));
361 E->setExact(Record[Idx++]);
362 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
363 return 0;
364}
365
366unsigned PCHStmtReader::VisitImaginaryLiteral(ImaginaryLiteral *E) {
367 VisitExpr(E);
368 E->setSubExpr(cast<Expr>(StmtStack.back()));
369 return 1;
370}
371
372unsigned PCHStmtReader::VisitStringLiteral(StringLiteral *E) {
373 VisitExpr(E);
374 unsigned Len = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000375 assert(Record[Idx] == E->getNumConcatenated() &&
Chris Lattner4c6f9522009-04-27 05:14:47 +0000376 "Wrong number of concatenated tokens!");
377 ++Idx;
378 E->setWide(Record[Idx++]);
379
Mike Stump1eb44332009-09-09 15:08:12 +0000380 // Read string data
Chris Lattner4c6f9522009-04-27 05:14:47 +0000381 llvm::SmallVector<char, 16> Str(&Record[Idx], &Record[Idx] + Len);
Douglas Gregor75fdb232009-05-22 22:45:36 +0000382 E->setStrData(*Reader.getContext(), Str.data(), Len);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000383 Idx += Len;
384
385 // Read source locations
386 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
387 E->setStrTokenLoc(I, SourceLocation::getFromRawEncoding(Record[Idx++]));
388
389 return 0;
390}
391
392unsigned PCHStmtReader::VisitCharacterLiteral(CharacterLiteral *E) {
393 VisitExpr(E);
394 E->setValue(Record[Idx++]);
395 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
396 E->setWide(Record[Idx++]);
397 return 0;
398}
399
400unsigned PCHStmtReader::VisitParenExpr(ParenExpr *E) {
401 VisitExpr(E);
402 E->setLParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
403 E->setRParen(SourceLocation::getFromRawEncoding(Record[Idx++]));
404 E->setSubExpr(cast<Expr>(StmtStack.back()));
405 return 1;
406}
407
408unsigned PCHStmtReader::VisitUnaryOperator(UnaryOperator *E) {
409 VisitExpr(E);
410 E->setSubExpr(cast<Expr>(StmtStack.back()));
411 E->setOpcode((UnaryOperator::Opcode)Record[Idx++]);
412 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
413 return 1;
414}
415
416unsigned PCHStmtReader::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *E) {
417 VisitExpr(E);
418 E->setSizeof(Record[Idx++]);
419 if (Record[Idx] == 0) {
420 E->setArgument(cast<Expr>(StmtStack.back()));
421 ++Idx;
422 } else {
423 E->setArgument(Reader.GetType(Record[Idx++]));
424 }
425 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
426 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
427 return E->isArgumentType()? 0 : 1;
428}
429
430unsigned PCHStmtReader::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
431 VisitExpr(E);
432 E->setLHS(cast<Expr>(StmtStack[StmtStack.size() - 2]));
433 E->setRHS(cast<Expr>(StmtStack[StmtStack.size() - 1]));
434 E->setRBracketLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
435 return 2;
436}
437
438unsigned PCHStmtReader::VisitCallExpr(CallExpr *E) {
439 VisitExpr(E);
Chris Lattnerd1d64a02009-04-27 21:45:14 +0000440 E->setNumArgs(*Reader.getContext(), Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000441 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
442 E->setCallee(cast<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
443 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
444 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
445 return E->getNumArgs() + 1;
446}
447
448unsigned PCHStmtReader::VisitMemberExpr(MemberExpr *E) {
449 VisitExpr(E);
450 E->setBase(cast<Expr>(StmtStack.back()));
451 E->setMemberDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
452 E->setMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
453 E->setArrow(Record[Idx++]);
454 return 1;
455}
456
Steve Narofff242b1b2009-07-24 17:54:45 +0000457unsigned PCHStmtReader::VisitObjCIsaExpr(ObjCIsaExpr *E) {
458 VisitExpr(E);
459 E->setBase(cast<Expr>(StmtStack.back()));
460 E->setIsaMemberLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
461 E->setArrow(Record[Idx++]);
462 return 1;
463}
464
Chris Lattner4c6f9522009-04-27 05:14:47 +0000465unsigned PCHStmtReader::VisitCastExpr(CastExpr *E) {
466 VisitExpr(E);
467 E->setSubExpr(cast<Expr>(StmtStack.back()));
Anders Carlssoncdef2b72009-07-31 00:48:10 +0000468 E->setCastKind((CastExpr::CastKind)Record[Idx++]);
469
Chris Lattner4c6f9522009-04-27 05:14:47 +0000470 return 1;
471}
472
473unsigned PCHStmtReader::VisitBinaryOperator(BinaryOperator *E) {
474 VisitExpr(E);
475 E->setLHS(cast<Expr>(StmtStack.end()[-2]));
476 E->setRHS(cast<Expr>(StmtStack.end()[-1]));
477 E->setOpcode((BinaryOperator::Opcode)Record[Idx++]);
478 E->setOperatorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
479 return 2;
480}
481
482unsigned PCHStmtReader::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
483 VisitBinaryOperator(E);
484 E->setComputationLHSType(Reader.GetType(Record[Idx++]));
485 E->setComputationResultType(Reader.GetType(Record[Idx++]));
486 return 2;
487}
488
489unsigned PCHStmtReader::VisitConditionalOperator(ConditionalOperator *E) {
490 VisitExpr(E);
491 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
492 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
493 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
Douglas Gregor47e1f7c2009-08-26 14:37:04 +0000494 E->setQuestionLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
495 E->setColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
Chris Lattner4c6f9522009-04-27 05:14:47 +0000496 return 3;
497}
498
499unsigned PCHStmtReader::VisitImplicitCastExpr(ImplicitCastExpr *E) {
500 VisitCastExpr(E);
501 E->setLvalueCast(Record[Idx++]);
502 return 1;
503}
504
505unsigned PCHStmtReader::VisitExplicitCastExpr(ExplicitCastExpr *E) {
506 VisitCastExpr(E);
507 E->setTypeAsWritten(Reader.GetType(Record[Idx++]));
508 return 1;
509}
510
511unsigned PCHStmtReader::VisitCStyleCastExpr(CStyleCastExpr *E) {
512 VisitExplicitCastExpr(E);
513 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
514 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
515 return 1;
516}
517
518unsigned PCHStmtReader::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
519 VisitExpr(E);
520 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
521 E->setInitializer(cast<Expr>(StmtStack.back()));
522 E->setFileScope(Record[Idx++]);
523 return 1;
524}
525
526unsigned PCHStmtReader::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
527 VisitExpr(E);
528 E->setBase(cast<Expr>(StmtStack.back()));
529 E->setAccessor(Reader.GetIdentifierInfo(Record, Idx));
530 E->setAccessorLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
531 return 1;
532}
533
534unsigned PCHStmtReader::VisitInitListExpr(InitListExpr *E) {
535 VisitExpr(E);
536 unsigned NumInits = Record[Idx++];
537 E->reserveInits(NumInits);
538 for (unsigned I = 0; I != NumInits; ++I)
Mike Stump1eb44332009-09-09 15:08:12 +0000539 E->updateInit(I,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000540 cast<Expr>(StmtStack[StmtStack.size() - NumInits - 1 + I]));
541 E->setSyntacticForm(cast_or_null<InitListExpr>(StmtStack.back()));
542 E->setLBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
543 E->setRBraceLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
544 E->setInitializedFieldInUnion(
545 cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++])));
546 E->sawArrayRangeDesignator(Record[Idx++]);
547 return NumInits + 1;
548}
549
550unsigned PCHStmtReader::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
551 typedef DesignatedInitExpr::Designator Designator;
552
553 VisitExpr(E);
554 unsigned NumSubExprs = Record[Idx++];
555 assert(NumSubExprs == E->getNumSubExprs() && "Wrong number of subexprs");
556 for (unsigned I = 0; I != NumSubExprs; ++I)
557 E->setSubExpr(I, cast<Expr>(StmtStack[StmtStack.size() - NumSubExprs + I]));
558 E->setEqualOrColonLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
559 E->setGNUSyntax(Record[Idx++]);
560
561 llvm::SmallVector<Designator, 4> Designators;
562 while (Idx < Record.size()) {
563 switch ((pch::DesignatorTypes)Record[Idx++]) {
564 case pch::DESIG_FIELD_DECL: {
565 FieldDecl *Field = cast<FieldDecl>(Reader.GetDecl(Record[Idx++]));
Mike Stump1eb44332009-09-09 15:08:12 +0000566 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000567 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000568 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000569 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000570 Designators.push_back(Designator(Field->getIdentifier(), DotLoc,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000571 FieldLoc));
572 Designators.back().setField(Field);
573 break;
574 }
575
576 case pch::DESIG_FIELD_NAME: {
577 const IdentifierInfo *Name = Reader.GetIdentifierInfo(Record, Idx);
Mike Stump1eb44332009-09-09 15:08:12 +0000578 SourceLocation DotLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000579 = SourceLocation::getFromRawEncoding(Record[Idx++]);
Mike Stump1eb44332009-09-09 15:08:12 +0000580 SourceLocation FieldLoc
Chris Lattner4c6f9522009-04-27 05:14:47 +0000581 = SourceLocation::getFromRawEncoding(Record[Idx++]);
582 Designators.push_back(Designator(Name, DotLoc, FieldLoc));
583 break;
584 }
Mike Stump1eb44332009-09-09 15:08:12 +0000585
Chris Lattner4c6f9522009-04-27 05:14:47 +0000586 case pch::DESIG_ARRAY: {
587 unsigned Index = Record[Idx++];
588 SourceLocation LBracketLoc
589 = SourceLocation::getFromRawEncoding(Record[Idx++]);
590 SourceLocation RBracketLoc
591 = SourceLocation::getFromRawEncoding(Record[Idx++]);
592 Designators.push_back(Designator(Index, LBracketLoc, RBracketLoc));
593 break;
594 }
595
596 case pch::DESIG_ARRAY_RANGE: {
597 unsigned Index = Record[Idx++];
598 SourceLocation LBracketLoc
599 = SourceLocation::getFromRawEncoding(Record[Idx++]);
600 SourceLocation EllipsisLoc
601 = SourceLocation::getFromRawEncoding(Record[Idx++]);
602 SourceLocation RBracketLoc
603 = SourceLocation::getFromRawEncoding(Record[Idx++]);
604 Designators.push_back(Designator(Index, LBracketLoc, EllipsisLoc,
605 RBracketLoc));
606 break;
607 }
608 }
609 }
Douglas Gregor75fdb232009-05-22 22:45:36 +0000610 E->setDesignators(Designators.data(), Designators.size());
Chris Lattner4c6f9522009-04-27 05:14:47 +0000611
612 return NumSubExprs;
613}
614
615unsigned PCHStmtReader::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
616 VisitExpr(E);
617 return 0;
618}
619
620unsigned PCHStmtReader::VisitVAArgExpr(VAArgExpr *E) {
621 VisitExpr(E);
622 E->setSubExpr(cast<Expr>(StmtStack.back()));
623 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
624 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
625 return 1;
626}
627
628unsigned PCHStmtReader::VisitAddrLabelExpr(AddrLabelExpr *E) {
629 VisitExpr(E);
630 E->setAmpAmpLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
631 E->setLabelLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
632 Reader.SetLabelOf(E, Record[Idx++]);
633 return 0;
634}
635
636unsigned PCHStmtReader::VisitStmtExpr(StmtExpr *E) {
637 VisitExpr(E);
638 E->setLParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
639 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
640 E->setSubStmt(cast_or_null<CompoundStmt>(StmtStack.back()));
641 return 1;
642}
643
644unsigned PCHStmtReader::VisitTypesCompatibleExpr(TypesCompatibleExpr *E) {
645 VisitExpr(E);
646 E->setArgType1(Reader.GetType(Record[Idx++]));
647 E->setArgType2(Reader.GetType(Record[Idx++]));
648 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
649 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
650 return 0;
651}
652
653unsigned PCHStmtReader::VisitChooseExpr(ChooseExpr *E) {
654 VisitExpr(E);
655 E->setCond(cast<Expr>(StmtStack[StmtStack.size() - 3]));
656 E->setLHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
657 E->setRHS(cast_or_null<Expr>(StmtStack[StmtStack.size() - 1]));
658 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
659 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
660 return 3;
661}
662
663unsigned PCHStmtReader::VisitGNUNullExpr(GNUNullExpr *E) {
664 VisitExpr(E);
665 E->setTokenLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
666 return 0;
667}
668
669unsigned PCHStmtReader::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
670 VisitExpr(E);
671 unsigned NumExprs = Record[Idx++];
Mike Stump1eb44332009-09-09 15:08:12 +0000672 E->setExprs(*Reader.getContext(),
Nate Begeman888376a2009-08-12 02:28:50 +0000673 (Expr **)&StmtStack[StmtStack.size() - NumExprs], NumExprs);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000674 E->setBuiltinLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
675 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
676 return NumExprs;
677}
678
679unsigned PCHStmtReader::VisitBlockExpr(BlockExpr *E) {
680 VisitExpr(E);
681 E->setBlockDecl(cast_or_null<BlockDecl>(Reader.GetDecl(Record[Idx++])));
682 E->setHasBlockDeclRefExprs(Record[Idx++]);
683 return 0;
684}
685
686unsigned PCHStmtReader::VisitBlockDeclRefExpr(BlockDeclRefExpr *E) {
687 VisitExpr(E);
688 E->setDecl(cast<ValueDecl>(Reader.GetDecl(Record[Idx++])));
689 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
690 E->setByRef(Record[Idx++]);
Fariborz Jahanian9b0b57c2009-06-20 00:02:26 +0000691 E->setConstQualAdded(Record[Idx++]);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000692 return 0;
693}
694
695//===----------------------------------------------------------------------===//
696// Objective-C Expressions and Statements
697
698unsigned PCHStmtReader::VisitObjCStringLiteral(ObjCStringLiteral *E) {
699 VisitExpr(E);
700 E->setString(cast<StringLiteral>(StmtStack.back()));
701 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
702 return 1;
703}
704
705unsigned PCHStmtReader::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
706 VisitExpr(E);
707 E->setEncodedType(Reader.GetType(Record[Idx++]));
708 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
709 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
710 return 0;
711}
712
713unsigned PCHStmtReader::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
714 VisitExpr(E);
715 E->setSelector(Reader.GetSelector(Record, Idx));
716 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
717 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
718 return 0;
719}
720
721unsigned PCHStmtReader::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
722 VisitExpr(E);
723 E->setProtocol(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
724 E->setAtLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
725 E->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
726 return 0;
727}
728
729unsigned PCHStmtReader::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
730 VisitExpr(E);
731 E->setDecl(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
732 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
733 E->setBase(cast<Expr>(StmtStack.back()));
734 E->setIsArrow(Record[Idx++]);
735 E->setIsFreeIvar(Record[Idx++]);
736 return 1;
737}
738
739unsigned PCHStmtReader::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
740 VisitExpr(E);
741 E->setProperty(cast<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
742 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
743 E->setBase(cast<Expr>(StmtStack.back()));
744 return 1;
745}
746
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000747unsigned PCHStmtReader::VisitObjCImplicitSetterGetterRefExpr(
748 ObjCImplicitSetterGetterRefExpr *E) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000749 VisitExpr(E);
750 E->setGetterMethod(
751 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
752 E->setSetterMethod(
753 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniand2ae5aa2009-08-18 21:37:33 +0000754 E->setInterfaceDecl(
Chris Lattner4c6f9522009-04-27 05:14:47 +0000755 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
756 E->setBase(cast_or_null<Expr>(StmtStack.back()));
757 E->setLocation(SourceLocation::getFromRawEncoding(Record[Idx++]));
758 E->setClassLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
759 return 1;
760}
761
762unsigned PCHStmtReader::VisitObjCMessageExpr(ObjCMessageExpr *E) {
763 VisitExpr(E);
764 E->setNumArgs(Record[Idx++]);
765 E->setLeftLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
766 E->setRightLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
767 E->setSelector(Reader.GetSelector(Record, Idx));
768 E->setMethodDecl(cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
Mike Stump1eb44332009-09-09 15:08:12 +0000769
Chris Lattner4c6f9522009-04-27 05:14:47 +0000770 E->setReceiver(
771 cast_or_null<Expr>(StmtStack[StmtStack.size() - E->getNumArgs() - 1]));
772 if (!E->getReceiver()) {
773 ObjCMessageExpr::ClassInfo CI;
774 CI.first = cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++]));
775 CI.second = Reader.GetIdentifierInfo(Record, Idx);
776 E->setClassInfo(CI);
777 }
778
779 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
780 E->setArg(I, cast<Expr>(StmtStack[StmtStack.size() - N + I]));
781 return E->getNumArgs() + 1;
782}
783
784unsigned PCHStmtReader::VisitObjCSuperExpr(ObjCSuperExpr *E) {
785 VisitExpr(E);
786 E->setLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
787 return 0;
788}
789
790unsigned PCHStmtReader::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
791 VisitStmt(S);
792 S->setElement(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
793 S->setCollection(cast_or_null<Expr>(StmtStack[StmtStack.size() - 2]));
794 S->setBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
795 S->setForLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
796 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
797 return 3;
798}
799
800unsigned PCHStmtReader::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
801 VisitStmt(S);
802 S->setCatchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
803 S->setNextCatchStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
804 S->setCatchParamDecl(cast_or_null<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
805 S->setAtCatchLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
806 S->setRParenLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
807 return 2;
808}
809
810unsigned PCHStmtReader::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
811 VisitStmt(S);
812 S->setFinallyBody(StmtStack.back());
813 S->setAtFinallyLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
814 return 1;
815}
816
817unsigned PCHStmtReader::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
818 VisitStmt(S);
819 S->setTryBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 3]));
820 S->setCatchStmts(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
821 S->setFinallyStmt(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
822 S->setAtTryLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
823 return 3;
824}
825
826unsigned PCHStmtReader::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
827 VisitStmt(S);
828 S->setSynchExpr(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 2]));
829 S->setSynchBody(cast_or_null<Stmt>(StmtStack[StmtStack.size() - 1]));
830 S->setAtSynchronizedLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
831 return 2;
832}
833
834unsigned PCHStmtReader::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
835 VisitStmt(S);
836 S->setThrowExpr(StmtStack.back());
837 S->setThrowLoc(SourceLocation::getFromRawEncoding(Record[Idx++]));
838 return 1;
839}
840
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000841//===----------------------------------------------------------------------===//
842// C++ Expressions and Statements
843
844unsigned PCHStmtReader::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
845 unsigned num = VisitCallExpr(E);
846 E->setOperator((OverloadedOperatorKind)Record[Idx++]);
847 return num;
848}
849
Chris Lattner4c6f9522009-04-27 05:14:47 +0000850
Chris Lattner52e97d12009-04-27 05:41:06 +0000851// Within the bitstream, expressions are stored in Reverse Polish
852// Notation, with each of the subexpressions preceding the
853// expression they are stored in. To evaluate expressions, we
854// continue reading expressions and placing them on the stack, with
855// expressions having operands removing those operands from the
856// stack. Evaluation terminates when we see a STMT_STOP record, and
857// the single remaining expression on the stack is our result.
858Stmt *PCHReader::ReadStmt(llvm::BitstreamCursor &Cursor) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000859 RecordData Record;
860 unsigned Idx;
861 llvm::SmallVector<Stmt *, 16> StmtStack;
862 PCHStmtReader Reader(*this, Record, Idx, StmtStack);
863 Stmt::EmptyShell Empty;
864
865 while (true) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000866 unsigned Code = Cursor.ReadCode();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000867 if (Code == llvm::bitc::END_BLOCK) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000868 if (Cursor.ReadBlockEnd()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000869 Error("error at end of block in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000870 return 0;
871 }
872 break;
873 }
874
875 if (Code == llvm::bitc::ENTER_SUBBLOCK) {
876 // No known subblocks, always skip them.
Chris Lattner52e97d12009-04-27 05:41:06 +0000877 Cursor.ReadSubBlockID();
878 if (Cursor.SkipBlock()) {
Douglas Gregora02b1472009-04-28 21:53:25 +0000879 Error("malformed block record in PCH file");
Chris Lattner4c6f9522009-04-27 05:14:47 +0000880 return 0;
881 }
882 continue;
883 }
884
885 if (Code == llvm::bitc::DEFINE_ABBREV) {
Chris Lattner52e97d12009-04-27 05:41:06 +0000886 Cursor.ReadAbbrevRecord();
Chris Lattner4c6f9522009-04-27 05:14:47 +0000887 continue;
888 }
889
890 Stmt *S = 0;
891 Idx = 0;
892 Record.clear();
893 bool Finished = false;
Chris Lattner52e97d12009-04-27 05:41:06 +0000894 switch ((pch::StmtCode)Cursor.ReadRecord(Code, Record)) {
Chris Lattner4c6f9522009-04-27 05:14:47 +0000895 case pch::STMT_STOP:
896 Finished = true;
897 break;
898
Mike Stump1eb44332009-09-09 15:08:12 +0000899 case pch::STMT_NULL_PTR:
900 S = 0;
Chris Lattner4c6f9522009-04-27 05:14:47 +0000901 break;
902
903 case pch::STMT_NULL:
904 S = new (Context) NullStmt(Empty);
905 break;
906
907 case pch::STMT_COMPOUND:
908 S = new (Context) CompoundStmt(Empty);
909 break;
910
911 case pch::STMT_CASE:
912 S = new (Context) CaseStmt(Empty);
913 break;
914
915 case pch::STMT_DEFAULT:
916 S = new (Context) DefaultStmt(Empty);
917 break;
918
919 case pch::STMT_LABEL:
920 S = new (Context) LabelStmt(Empty);
921 break;
922
923 case pch::STMT_IF:
924 S = new (Context) IfStmt(Empty);
925 break;
926
927 case pch::STMT_SWITCH:
928 S = new (Context) SwitchStmt(Empty);
929 break;
930
931 case pch::STMT_WHILE:
932 S = new (Context) WhileStmt(Empty);
933 break;
934
935 case pch::STMT_DO:
936 S = new (Context) DoStmt(Empty);
937 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000938
Chris Lattner4c6f9522009-04-27 05:14:47 +0000939 case pch::STMT_FOR:
940 S = new (Context) ForStmt(Empty);
941 break;
942
943 case pch::STMT_GOTO:
944 S = new (Context) GotoStmt(Empty);
945 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000946
Chris Lattner4c6f9522009-04-27 05:14:47 +0000947 case pch::STMT_INDIRECT_GOTO:
948 S = new (Context) IndirectGotoStmt(Empty);
949 break;
950
951 case pch::STMT_CONTINUE:
952 S = new (Context) ContinueStmt(Empty);
953 break;
954
955 case pch::STMT_BREAK:
956 S = new (Context) BreakStmt(Empty);
957 break;
958
959 case pch::STMT_RETURN:
960 S = new (Context) ReturnStmt(Empty);
961 break;
962
963 case pch::STMT_DECL:
964 S = new (Context) DeclStmt(Empty);
965 break;
966
967 case pch::STMT_ASM:
968 S = new (Context) AsmStmt(Empty);
969 break;
970
971 case pch::EXPR_PREDEFINED:
972 S = new (Context) PredefinedExpr(Empty);
973 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000974
975 case pch::EXPR_DECL_REF:
976 S = new (Context) DeclRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +0000977 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000978
979 case pch::EXPR_INTEGER_LITERAL:
Chris Lattner4c6f9522009-04-27 05:14:47 +0000980 S = new (Context) IntegerLiteral(Empty);
981 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000982
Chris Lattner4c6f9522009-04-27 05:14:47 +0000983 case pch::EXPR_FLOATING_LITERAL:
984 S = new (Context) FloatingLiteral(Empty);
985 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000986
Chris Lattner4c6f9522009-04-27 05:14:47 +0000987 case pch::EXPR_IMAGINARY_LITERAL:
988 S = new (Context) ImaginaryLiteral(Empty);
989 break;
990
991 case pch::EXPR_STRING_LITERAL:
Mike Stump1eb44332009-09-09 15:08:12 +0000992 S = StringLiteral::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +0000993 Record[PCHStmtReader::NumExprFields + 1]);
994 break;
995
996 case pch::EXPR_CHARACTER_LITERAL:
997 S = new (Context) CharacterLiteral(Empty);
998 break;
999
1000 case pch::EXPR_PAREN:
1001 S = new (Context) ParenExpr(Empty);
1002 break;
1003
1004 case pch::EXPR_UNARY_OPERATOR:
1005 S = new (Context) UnaryOperator(Empty);
1006 break;
1007
1008 case pch::EXPR_SIZEOF_ALIGN_OF:
1009 S = new (Context) SizeOfAlignOfExpr(Empty);
1010 break;
1011
1012 case pch::EXPR_ARRAY_SUBSCRIPT:
1013 S = new (Context) ArraySubscriptExpr(Empty);
1014 break;
1015
1016 case pch::EXPR_CALL:
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001017 S = new (Context) CallExpr(*Context, Stmt::CallExprClass, Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001018 break;
1019
1020 case pch::EXPR_MEMBER:
1021 S = new (Context) MemberExpr(Empty);
1022 break;
1023
1024 case pch::EXPR_BINARY_OPERATOR:
1025 S = new (Context) BinaryOperator(Empty);
1026 break;
1027
1028 case pch::EXPR_COMPOUND_ASSIGN_OPERATOR:
1029 S = new (Context) CompoundAssignOperator(Empty);
1030 break;
1031
1032 case pch::EXPR_CONDITIONAL_OPERATOR:
1033 S = new (Context) ConditionalOperator(Empty);
1034 break;
1035
1036 case pch::EXPR_IMPLICIT_CAST:
1037 S = new (Context) ImplicitCastExpr(Empty);
1038 break;
1039
1040 case pch::EXPR_CSTYLE_CAST:
1041 S = new (Context) CStyleCastExpr(Empty);
1042 break;
1043
1044 case pch::EXPR_COMPOUND_LITERAL:
1045 S = new (Context) CompoundLiteralExpr(Empty);
1046 break;
1047
1048 case pch::EXPR_EXT_VECTOR_ELEMENT:
1049 S = new (Context) ExtVectorElementExpr(Empty);
1050 break;
1051
1052 case pch::EXPR_INIT_LIST:
1053 S = new (Context) InitListExpr(Empty);
1054 break;
1055
1056 case pch::EXPR_DESIGNATED_INIT:
Chris Lattnerd1d64a02009-04-27 21:45:14 +00001057 S = DesignatedInitExpr::CreateEmpty(*Context,
Chris Lattner4c6f9522009-04-27 05:14:47 +00001058 Record[PCHStmtReader::NumExprFields] - 1);
Mike Stump1eb44332009-09-09 15:08:12 +00001059
Chris Lattner4c6f9522009-04-27 05:14:47 +00001060 break;
1061
1062 case pch::EXPR_IMPLICIT_VALUE_INIT:
1063 S = new (Context) ImplicitValueInitExpr(Empty);
1064 break;
1065
1066 case pch::EXPR_VA_ARG:
1067 S = new (Context) VAArgExpr(Empty);
1068 break;
1069
1070 case pch::EXPR_ADDR_LABEL:
1071 S = new (Context) AddrLabelExpr(Empty);
1072 break;
1073
1074 case pch::EXPR_STMT:
1075 S = new (Context) StmtExpr(Empty);
1076 break;
1077
1078 case pch::EXPR_TYPES_COMPATIBLE:
1079 S = new (Context) TypesCompatibleExpr(Empty);
1080 break;
1081
1082 case pch::EXPR_CHOOSE:
1083 S = new (Context) ChooseExpr(Empty);
1084 break;
1085
1086 case pch::EXPR_GNU_NULL:
1087 S = new (Context) GNUNullExpr(Empty);
1088 break;
1089
1090 case pch::EXPR_SHUFFLE_VECTOR:
1091 S = new (Context) ShuffleVectorExpr(Empty);
1092 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001093
Chris Lattner4c6f9522009-04-27 05:14:47 +00001094 case pch::EXPR_BLOCK:
1095 S = new (Context) BlockExpr(Empty);
1096 break;
1097
1098 case pch::EXPR_BLOCK_DECL_REF:
1099 S = new (Context) BlockDeclRefExpr(Empty);
1100 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001101
Chris Lattner4c6f9522009-04-27 05:14:47 +00001102 case pch::EXPR_OBJC_STRING_LITERAL:
1103 S = new (Context) ObjCStringLiteral(Empty);
1104 break;
1105 case pch::EXPR_OBJC_ENCODE:
1106 S = new (Context) ObjCEncodeExpr(Empty);
1107 break;
1108 case pch::EXPR_OBJC_SELECTOR_EXPR:
1109 S = new (Context) ObjCSelectorExpr(Empty);
1110 break;
1111 case pch::EXPR_OBJC_PROTOCOL_EXPR:
1112 S = new (Context) ObjCProtocolExpr(Empty);
1113 break;
1114 case pch::EXPR_OBJC_IVAR_REF_EXPR:
1115 S = new (Context) ObjCIvarRefExpr(Empty);
1116 break;
1117 case pch::EXPR_OBJC_PROPERTY_REF_EXPR:
1118 S = new (Context) ObjCPropertyRefExpr(Empty);
1119 break;
1120 case pch::EXPR_OBJC_KVC_REF_EXPR:
Fariborz Jahanian09105f52009-08-20 17:02:02 +00001121 S = new (Context) ObjCImplicitSetterGetterRefExpr(Empty);
Chris Lattner4c6f9522009-04-27 05:14:47 +00001122 break;
1123 case pch::EXPR_OBJC_MESSAGE_EXPR:
1124 S = new (Context) ObjCMessageExpr(Empty);
1125 break;
1126 case pch::EXPR_OBJC_SUPER_EXPR:
1127 S = new (Context) ObjCSuperExpr(Empty);
1128 break;
Steve Narofff242b1b2009-07-24 17:54:45 +00001129 case pch::EXPR_OBJC_ISA:
1130 S = new (Context) ObjCIsaExpr(Empty);
1131 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001132 case pch::STMT_OBJC_FOR_COLLECTION:
1133 S = new (Context) ObjCForCollectionStmt(Empty);
1134 break;
1135 case pch::STMT_OBJC_CATCH:
1136 S = new (Context) ObjCAtCatchStmt(Empty);
1137 break;
1138 case pch::STMT_OBJC_FINALLY:
1139 S = new (Context) ObjCAtFinallyStmt(Empty);
1140 break;
1141 case pch::STMT_OBJC_AT_TRY:
1142 S = new (Context) ObjCAtTryStmt(Empty);
1143 break;
1144 case pch::STMT_OBJC_AT_SYNCHRONIZED:
1145 S = new (Context) ObjCAtSynchronizedStmt(Empty);
1146 break;
1147 case pch::STMT_OBJC_AT_THROW:
1148 S = new (Context) ObjCAtThrowStmt(Empty);
1149 break;
Mike Stump1eb44332009-09-09 15:08:12 +00001150
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001151 case pch::EXPR_CXX_OPERATOR_CALL:
1152 S = new (Context) CXXOperatorCallExpr(*Context, Empty);
1153 break;
Chris Lattner4c6f9522009-04-27 05:14:47 +00001154 }
1155
1156 // We hit a STMT_STOP, so we're done with this expression.
1157 if (Finished)
1158 break;
1159
1160 ++NumStatementsRead;
1161
1162 if (S) {
1163 unsigned NumSubStmts = Reader.Visit(S);
1164 while (NumSubStmts > 0) {
1165 StmtStack.pop_back();
1166 --NumSubStmts;
1167 }
1168 }
1169
1170 assert(Idx == Record.size() && "Invalid deserialization of statement");
1171 StmtStack.push_back(S);
1172 }
1173 assert(StmtStack.size() == 1 && "Extra expressions on stack!");
Chris Lattner4c6f9522009-04-27 05:14:47 +00001174 return StmtStack.back();
1175}