blob: 827caa026a4a0d8a85b17241998bd0718c45d76a [file] [log] [blame]
Sebastian Redl4ee2ad02010-08-18 23:56:31 +00001//===--- ASTWriterStmt.cpp - Statement and Expression Serialization -------===//
Chris Lattner63377d52009-04-27 06:20:01 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements serialization for Statements and Expressions.
11//
12//===----------------------------------------------------------------------===//
13
Sebastian Redl7faa2ec2010-08-18 23:56:37 +000014#include "clang/Serialization/ASTWriter.h"
Douglas Gregor39da0b82009-09-09 23:08:42 +000015#include "clang/AST/DeclCXX.h"
Chris Lattner63377d52009-04-27 06:20:01 +000016#include "clang/AST/DeclObjC.h"
Douglas Gregorc7793c72011-01-15 01:15:58 +000017#include "clang/AST/DeclTemplate.h"
Chris Lattner63377d52009-04-27 06:20:01 +000018#include "clang/AST/StmtVisitor.h"
19#include "llvm/Bitcode/BitstreamWriter.h"
20using namespace clang;
21
22//===----------------------------------------------------------------------===//
23// Statement/expression serialization
24//===----------------------------------------------------------------------===//
25
Argyrios Kyrtzidis37bdfe22010-06-30 08:49:18 +000026namespace clang {
Sebastian Redl3397c552010-08-18 23:56:27 +000027 class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> {
Sebastian Redla4232eb2010-08-18 23:56:21 +000028 ASTWriter &Writer;
29 ASTWriter::RecordData &Record;
Chris Lattner63377d52009-04-27 06:20:01 +000030
31 public:
Sebastian Redl8538e8d2010-08-18 23:57:32 +000032 serialization::StmtCode Code;
Douglas Gregora72d8c42011-06-03 02:27:19 +000033 unsigned AbbrevToUse;
Chris Lattner63377d52009-04-27 06:20:01 +000034
Sebastian Redl3397c552010-08-18 23:56:27 +000035 ASTStmtWriter(ASTWriter &Writer, ASTWriter::RecordData &Record)
Chris Lattner63377d52009-04-27 06:20:01 +000036 : Writer(Writer), Record(Record) { }
Abramo Bagnarae4b92762012-01-27 09:46:47 +000037
38 void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &Args);
Chris Lattner63377d52009-04-27 06:20:01 +000039
40 void VisitStmt(Stmt *S);
John McCall7110fd62011-07-15 07:00:14 +000041#define STMT(Type, Base) \
42 void Visit##Type(Type *);
43#include "clang/AST/StmtNodes.inc"
Chris Lattner63377d52009-04-27 06:20:01 +000044 };
45}
46
Sebastian Redl3397c552010-08-18 23:56:27 +000047void ASTStmtWriter::
Abramo Bagnarae4b92762012-01-27 09:46:47 +000048AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &Args) {
49 Writer.AddSourceLocation(Args.getTemplateKeywordLoc(), Record);
Argyrios Kyrtzidis36c76f02010-06-28 09:31:48 +000050 Writer.AddSourceLocation(Args.LAngleLoc, Record);
51 Writer.AddSourceLocation(Args.RAngleLoc, Record);
52 for (unsigned i=0; i != Args.NumTemplateArgs; ++i)
53 Writer.AddTemplateArgumentLoc(Args.getTemplateArgs()[i], Record);
54}
55
Sebastian Redl3397c552010-08-18 23:56:27 +000056void ASTStmtWriter::VisitStmt(Stmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +000057}
58
Sebastian Redl3397c552010-08-18 23:56:27 +000059void ASTStmtWriter::VisitNullStmt(NullStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +000060 VisitStmt(S);
61 Writer.AddSourceLocation(S->getSemiLoc(), Record);
Argyrios Kyrtzidise2ca8282011-09-01 21:53:45 +000062 Record.push_back(S->HasLeadingEmptyMacro);
Sebastian Redl8538e8d2010-08-18 23:57:32 +000063 Code = serialization::STMT_NULL;
Chris Lattner63377d52009-04-27 06:20:01 +000064}
65
Sebastian Redl3397c552010-08-18 23:56:27 +000066void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +000067 VisitStmt(S);
68 Record.push_back(S->size());
69 for (CompoundStmt::body_iterator CS = S->body_begin(), CSEnd = S->body_end();
70 CS != CSEnd; ++CS)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +000071 Writer.AddStmt(*CS);
Chris Lattner63377d52009-04-27 06:20:01 +000072 Writer.AddSourceLocation(S->getLBracLoc(), Record);
73 Writer.AddSourceLocation(S->getRBracLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +000074 Code = serialization::STMT_COMPOUND;
Chris Lattner63377d52009-04-27 06:20:01 +000075}
76
Sebastian Redl3397c552010-08-18 23:56:27 +000077void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) {
Chris Lattner63377d52009-04-27 06:20:01 +000078 VisitStmt(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +000079 Record.push_back(Writer.getSwitchCaseID(S));
Chris Lattner63377d52009-04-27 06:20:01 +000080}
81
Sebastian Redl3397c552010-08-18 23:56:27 +000082void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +000083 VisitSwitchCase(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +000084 Writer.AddStmt(S->getLHS());
85 Writer.AddStmt(S->getRHS());
86 Writer.AddStmt(S->getSubStmt());
Chris Lattner63377d52009-04-27 06:20:01 +000087 Writer.AddSourceLocation(S->getCaseLoc(), Record);
Douglas Gregordbb26db2009-05-15 23:57:33 +000088 Writer.AddSourceLocation(S->getEllipsisLoc(), Record);
89 Writer.AddSourceLocation(S->getColonLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +000090 Code = serialization::STMT_CASE;
Chris Lattner63377d52009-04-27 06:20:01 +000091}
92
Sebastian Redl3397c552010-08-18 23:56:27 +000093void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +000094 VisitSwitchCase(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +000095 Writer.AddStmt(S->getSubStmt());
Chris Lattner63377d52009-04-27 06:20:01 +000096 Writer.AddSourceLocation(S->getDefaultLoc(), Record);
Douglas Gregordbb26db2009-05-15 23:57:33 +000097 Writer.AddSourceLocation(S->getColonLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +000098 Code = serialization::STMT_DEFAULT;
Chris Lattner63377d52009-04-27 06:20:01 +000099}
100
Sebastian Redl3397c552010-08-18 23:56:27 +0000101void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000102 VisitStmt(S);
Chris Lattnerad8dcf42011-02-17 07:39:24 +0000103 Writer.AddDeclRef(S->getDecl(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000104 Writer.AddStmt(S->getSubStmt());
Chris Lattner63377d52009-04-27 06:20:01 +0000105 Writer.AddSourceLocation(S->getIdentLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000106 Code = serialization::STMT_LABEL;
Chris Lattner63377d52009-04-27 06:20:01 +0000107}
108
Sebastian Redl3397c552010-08-18 23:56:27 +0000109void ASTStmtWriter::VisitIfStmt(IfStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000110 VisitStmt(S);
Douglas Gregor8cfe5a72009-11-23 23:44:04 +0000111 Writer.AddDeclRef(S->getConditionVariable(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000112 Writer.AddStmt(S->getCond());
113 Writer.AddStmt(S->getThen());
114 Writer.AddStmt(S->getElse());
Chris Lattner63377d52009-04-27 06:20:01 +0000115 Writer.AddSourceLocation(S->getIfLoc(), Record);
Douglas Gregord06f6ca2009-05-15 18:53:42 +0000116 Writer.AddSourceLocation(S->getElseLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000117 Code = serialization::STMT_IF;
Chris Lattner63377d52009-04-27 06:20:01 +0000118}
119
Sebastian Redl3397c552010-08-18 23:56:27 +0000120void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000121 VisitStmt(S);
Douglas Gregord3d53012009-11-24 17:07:59 +0000122 Writer.AddDeclRef(S->getConditionVariable(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000123 Writer.AddStmt(S->getCond());
124 Writer.AddStmt(S->getBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000125 Writer.AddSourceLocation(S->getSwitchLoc(), Record);
Ted Kremenek559fb552010-09-09 00:05:53 +0000126 Record.push_back(S->isAllEnumCasesCovered());
Mike Stump1eb44332009-09-09 15:08:12 +0000127 for (SwitchCase *SC = S->getSwitchCaseList(); SC;
Chris Lattner63377d52009-04-27 06:20:01 +0000128 SC = SC->getNextSwitchCase())
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000129 Record.push_back(Writer.RecordSwitchCaseID(SC));
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000130 Code = serialization::STMT_SWITCH;
Chris Lattner63377d52009-04-27 06:20:01 +0000131}
132
Sebastian Redl3397c552010-08-18 23:56:27 +0000133void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000134 VisitStmt(S);
Douglas Gregor5656e142009-11-24 21:15:44 +0000135 Writer.AddDeclRef(S->getConditionVariable(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000136 Writer.AddStmt(S->getCond());
137 Writer.AddStmt(S->getBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000138 Writer.AddSourceLocation(S->getWhileLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000139 Code = serialization::STMT_WHILE;
Chris Lattner63377d52009-04-27 06:20:01 +0000140}
141
Sebastian Redl3397c552010-08-18 23:56:27 +0000142void ASTStmtWriter::VisitDoStmt(DoStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000143 VisitStmt(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000144 Writer.AddStmt(S->getCond());
145 Writer.AddStmt(S->getBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000146 Writer.AddSourceLocation(S->getDoLoc(), Record);
Douglas Gregor9f3ca2a2009-05-15 21:56:04 +0000147 Writer.AddSourceLocation(S->getWhileLoc(), Record);
Chris Lattner98913592009-06-12 23:04:47 +0000148 Writer.AddSourceLocation(S->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000149 Code = serialization::STMT_DO;
Chris Lattner63377d52009-04-27 06:20:01 +0000150}
151
Sebastian Redl3397c552010-08-18 23:56:27 +0000152void ASTStmtWriter::VisitForStmt(ForStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000153 VisitStmt(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000154 Writer.AddStmt(S->getInit());
155 Writer.AddStmt(S->getCond());
Douglas Gregor99e9b4d2009-11-25 00:27:52 +0000156 Writer.AddDeclRef(S->getConditionVariable(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000157 Writer.AddStmt(S->getInc());
158 Writer.AddStmt(S->getBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000159 Writer.AddSourceLocation(S->getForLoc(), Record);
Douglas Gregor5831c6a2009-05-15 22:12:32 +0000160 Writer.AddSourceLocation(S->getLParenLoc(), Record);
161 Writer.AddSourceLocation(S->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000162 Code = serialization::STMT_FOR;
Chris Lattner63377d52009-04-27 06:20:01 +0000163}
164
Sebastian Redl3397c552010-08-18 23:56:27 +0000165void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000166 VisitStmt(S);
Chris Lattnerad8dcf42011-02-17 07:39:24 +0000167 Writer.AddDeclRef(S->getLabel(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000168 Writer.AddSourceLocation(S->getGotoLoc(), Record);
169 Writer.AddSourceLocation(S->getLabelLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000170 Code = serialization::STMT_GOTO;
Chris Lattner63377d52009-04-27 06:20:01 +0000171}
172
Sebastian Redl3397c552010-08-18 23:56:27 +0000173void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000174 VisitStmt(S);
175 Writer.AddSourceLocation(S->getGotoLoc(), Record);
Douglas Gregor5f1b9e62009-05-16 00:20:29 +0000176 Writer.AddSourceLocation(S->getStarLoc(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000177 Writer.AddStmt(S->getTarget());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000178 Code = serialization::STMT_INDIRECT_GOTO;
Chris Lattner63377d52009-04-27 06:20:01 +0000179}
180
Sebastian Redl3397c552010-08-18 23:56:27 +0000181void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000182 VisitStmt(S);
183 Writer.AddSourceLocation(S->getContinueLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000184 Code = serialization::STMT_CONTINUE;
Chris Lattner63377d52009-04-27 06:20:01 +0000185}
186
Sebastian Redl3397c552010-08-18 23:56:27 +0000187void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000188 VisitStmt(S);
189 Writer.AddSourceLocation(S->getBreakLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000190 Code = serialization::STMT_BREAK;
Chris Lattner63377d52009-04-27 06:20:01 +0000191}
192
Sebastian Redl3397c552010-08-18 23:56:27 +0000193void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000194 VisitStmt(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000195 Writer.AddStmt(S->getRetValue());
Chris Lattner63377d52009-04-27 06:20:01 +0000196 Writer.AddSourceLocation(S->getReturnLoc(), Record);
Douglas Gregor5077c382010-05-15 06:01:05 +0000197 Writer.AddDeclRef(S->getNRVOCandidate(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000198 Code = serialization::STMT_RETURN;
Chris Lattner63377d52009-04-27 06:20:01 +0000199}
200
Sebastian Redl3397c552010-08-18 23:56:27 +0000201void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000202 VisitStmt(S);
203 Writer.AddSourceLocation(S->getStartLoc(), Record);
204 Writer.AddSourceLocation(S->getEndLoc(), Record);
205 DeclGroupRef DG = S->getDeclGroup();
206 for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D)
207 Writer.AddDeclRef(*D, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000208 Code = serialization::STMT_DECL;
Chris Lattner63377d52009-04-27 06:20:01 +0000209}
210
Sebastian Redl3397c552010-08-18 23:56:27 +0000211void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000212 VisitStmt(S);
213 Record.push_back(S->getNumOutputs());
214 Record.push_back(S->getNumInputs());
215 Record.push_back(S->getNumClobbers());
216 Writer.AddSourceLocation(S->getAsmLoc(), Record);
217 Writer.AddSourceLocation(S->getRParenLoc(), Record);
218 Record.push_back(S->isVolatile());
219 Record.push_back(S->isSimple());
Mike Stump3b11fd32010-01-04 22:37:17 +0000220 Record.push_back(S->isMSAsm());
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000221 Writer.AddStmt(S->getAsmString());
Chris Lattner63377d52009-04-27 06:20:01 +0000222
223 // Outputs
Anders Carlssonff93dbd2010-01-30 22:25:16 +0000224 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
225 Writer.AddIdentifierRef(S->getOutputIdentifier(I), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000226 Writer.AddStmt(S->getOutputConstraintLiteral(I));
227 Writer.AddStmt(S->getOutputExpr(I));
Chris Lattner63377d52009-04-27 06:20:01 +0000228 }
229
230 // Inputs
231 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
Anders Carlssonff93dbd2010-01-30 22:25:16 +0000232 Writer.AddIdentifierRef(S->getInputIdentifier(I), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000233 Writer.AddStmt(S->getInputConstraintLiteral(I));
234 Writer.AddStmt(S->getInputExpr(I));
Chris Lattner63377d52009-04-27 06:20:01 +0000235 }
236
237 // Clobbers
238 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000239 Writer.AddStmt(S->getClobber(I));
Chris Lattner63377d52009-04-27 06:20:01 +0000240
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000241 Code = serialization::STMT_ASM;
Chris Lattner63377d52009-04-27 06:20:01 +0000242}
243
Sebastian Redl3397c552010-08-18 23:56:27 +0000244void ASTStmtWriter::VisitExpr(Expr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000245 VisitStmt(E);
246 Writer.AddTypeRef(E->getType(), Record);
247 Record.push_back(E->isTypeDependent());
248 Record.push_back(E->isValueDependent());
Douglas Gregor561f8122011-07-01 01:22:09 +0000249 Record.push_back(E->isInstantiationDependent());
Douglas Gregord0937222010-12-13 22:49:22 +0000250 Record.push_back(E->containsUnexpandedParameterPack());
John McCallf89e55a2010-11-18 06:31:45 +0000251 Record.push_back(E->getValueKind());
252 Record.push_back(E->getObjectKind());
Chris Lattner63377d52009-04-27 06:20:01 +0000253}
254
Sebastian Redl3397c552010-08-18 23:56:27 +0000255void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000256 VisitExpr(E);
257 Writer.AddSourceLocation(E->getLocation(), Record);
258 Record.push_back(E->getIdentType()); // FIXME: stable encoding
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000259 Code = serialization::EXPR_PREDEFINED;
Chris Lattner63377d52009-04-27 06:20:01 +0000260}
261
Sebastian Redl3397c552010-08-18 23:56:27 +0000262void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000263 VisitExpr(E);
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000264
265 Record.push_back(E->hasQualifier());
Chandler Carruth3aa81402011-05-01 23:48:14 +0000266 Record.push_back(E->getDecl() != E->getFoundDecl());
Abramo Bagnarae4b92762012-01-27 09:46:47 +0000267 Record.push_back(E->hasTemplateKWAndArgsInfo());
Abramo Bagnara7cc58b42011-10-05 07:56:41 +0000268 Record.push_back(E->hadMultipleCandidates());
John McCallf4b88a42012-03-10 09:33:50 +0000269 Record.push_back(E->refersToEnclosingLocal());
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000270
Abramo Bagnarae4b92762012-01-27 09:46:47 +0000271 if (E->hasTemplateKWAndArgsInfo()) {
Douglas Gregordef03542011-02-04 12:01:24 +0000272 unsigned NumTemplateArgs = E->getNumTemplateArgs();
273 Record.push_back(NumTemplateArgs);
Douglas Gregordef03542011-02-04 12:01:24 +0000274 }
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000275
Douglas Gregora72d8c42011-06-03 02:27:19 +0000276 DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind());
277
Abramo Bagnarae4b92762012-01-27 09:46:47 +0000278 if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) &&
Douglas Gregora72d8c42011-06-03 02:27:19 +0000279 (E->getDecl() == E->getFoundDecl()) &&
280 nk == DeclarationName::Identifier) {
281 AbbrevToUse = Writer.getDeclRefExprAbbrev();
282 }
283
Anders Carlssonb0ca1372011-03-06 18:19:42 +0000284 if (E->hasQualifier())
285 Writer.AddNestedNameSpecifierLoc(E->getQualifierLoc(), Record);
286
Chandler Carruth3aa81402011-05-01 23:48:14 +0000287 if (E->getDecl() != E->getFoundDecl())
288 Writer.AddDeclRef(E->getFoundDecl(), Record);
289
Abramo Bagnarae4b92762012-01-27 09:46:47 +0000290 if (E->hasTemplateKWAndArgsInfo())
291 AddTemplateKWAndArgsInfo(*E->getTemplateKWAndArgsInfo());
Anders Carlssonb0ca1372011-03-06 18:19:42 +0000292
Chris Lattner63377d52009-04-27 06:20:01 +0000293 Writer.AddDeclRef(E->getDecl(), Record);
294 Writer.AddSourceLocation(E->getLocation(), Record);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +0000295 Writer.AddDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000296 Code = serialization::EXPR_DECL_REF;
Chris Lattner63377d52009-04-27 06:20:01 +0000297}
298
Sebastian Redl3397c552010-08-18 23:56:27 +0000299void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000300 VisitExpr(E);
301 Writer.AddSourceLocation(E->getLocation(), Record);
302 Writer.AddAPInt(E->getValue(), Record);
Douglas Gregora72d8c42011-06-03 02:27:19 +0000303
304 if (E->getValue().getBitWidth() == 32) {
305 AbbrevToUse = Writer.getIntegerLiteralAbbrev();
306 }
307
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000308 Code = serialization::EXPR_INTEGER_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000309}
310
Sebastian Redl3397c552010-08-18 23:56:27 +0000311void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000312 VisitExpr(E);
313 Writer.AddAPFloat(E->getValue(), Record);
314 Record.push_back(E->isExact());
315 Writer.AddSourceLocation(E->getLocation(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000316 Code = serialization::EXPR_FLOATING_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000317}
318
Sebastian Redl3397c552010-08-18 23:56:27 +0000319void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000320 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000321 Writer.AddStmt(E->getSubExpr());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000322 Code = serialization::EXPR_IMAGINARY_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000323}
324
Sebastian Redl3397c552010-08-18 23:56:27 +0000325void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000326 VisitExpr(E);
327 Record.push_back(E->getByteLength());
328 Record.push_back(E->getNumConcatenated());
Douglas Gregor5cee1192011-07-27 05:40:30 +0000329 Record.push_back(E->getKind());
Anders Carlsson3e2193c2011-04-14 00:40:03 +0000330 Record.push_back(E->isPascal());
Chris Lattner63377d52009-04-27 06:20:01 +0000331 // FIXME: String data should be stored as a blob at the end of the
332 // StringLiteral. However, we can't do so now because we have no
333 // provision for coping with abbreviations when we're jumping around
Sebastian Redl3397c552010-08-18 23:56:27 +0000334 // the AST file during deserialization.
Eli Friedman64f45a22011-11-01 02:23:42 +0000335 Record.append(E->getBytes().begin(), E->getBytes().end());
Chris Lattner63377d52009-04-27 06:20:01 +0000336 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
337 Writer.AddSourceLocation(E->getStrTokenLoc(I), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000338 Code = serialization::EXPR_STRING_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000339}
340
Sebastian Redl3397c552010-08-18 23:56:27 +0000341void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000342 VisitExpr(E);
343 Record.push_back(E->getValue());
Chris Lattner018d8e02009-08-24 17:39:36 +0000344 Writer.AddSourceLocation(E->getLocation(), Record);
Douglas Gregor5cee1192011-07-27 05:40:30 +0000345 Record.push_back(E->getKind());
Douglas Gregora72d8c42011-06-03 02:27:19 +0000346
347 AbbrevToUse = Writer.getCharacterLiteralAbbrev();
348
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000349 Code = serialization::EXPR_CHARACTER_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000350}
351
Sebastian Redl3397c552010-08-18 23:56:27 +0000352void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000353 VisitExpr(E);
354 Writer.AddSourceLocation(E->getLParen(), Record);
355 Writer.AddSourceLocation(E->getRParen(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000356 Writer.AddStmt(E->getSubExpr());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000357 Code = serialization::EXPR_PAREN;
Chris Lattner63377d52009-04-27 06:20:01 +0000358}
359
Sebastian Redl3397c552010-08-18 23:56:27 +0000360void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
Argyrios Kyrtzidis37bdfe22010-06-30 08:49:18 +0000361 VisitExpr(E);
362 Record.push_back(E->NumExprs);
363 for (unsigned i=0; i != E->NumExprs; ++i)
364 Writer.AddStmt(E->Exprs[i]);
365 Writer.AddSourceLocation(E->LParenLoc, Record);
366 Writer.AddSourceLocation(E->RParenLoc, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000367 Code = serialization::EXPR_PAREN_LIST;
Argyrios Kyrtzidis37bdfe22010-06-30 08:49:18 +0000368}
369
Sebastian Redl3397c552010-08-18 23:56:27 +0000370void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000371 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000372 Writer.AddStmt(E->getSubExpr());
Chris Lattner63377d52009-04-27 06:20:01 +0000373 Record.push_back(E->getOpcode()); // FIXME: stable encoding
374 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000375 Code = serialization::EXPR_UNARY_OPERATOR;
Chris Lattner63377d52009-04-27 06:20:01 +0000376}
377
Sebastian Redl3397c552010-08-18 23:56:27 +0000378void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
Douglas Gregor8ecdb652010-04-28 22:16:22 +0000379 VisitExpr(E);
380 Record.push_back(E->getNumComponents());
381 Record.push_back(E->getNumExpressions());
382 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
383 Writer.AddSourceLocation(E->getRParenLoc(), Record);
384 Writer.AddTypeSourceInfo(E->getTypeSourceInfo(), Record);
385 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
386 const OffsetOfExpr::OffsetOfNode &ON = E->getComponent(I);
387 Record.push_back(ON.getKind()); // FIXME: Stable encoding
Abramo Bagnara06dec892011-03-12 09:45:03 +0000388 Writer.AddSourceLocation(ON.getSourceRange().getBegin(), Record);
389 Writer.AddSourceLocation(ON.getSourceRange().getEnd(), Record);
Douglas Gregor8ecdb652010-04-28 22:16:22 +0000390 switch (ON.getKind()) {
391 case OffsetOfExpr::OffsetOfNode::Array:
392 Record.push_back(ON.getArrayExprIndex());
393 break;
394
395 case OffsetOfExpr::OffsetOfNode::Field:
396 Writer.AddDeclRef(ON.getField(), Record);
397 break;
398
399 case OffsetOfExpr::OffsetOfNode::Identifier:
400 Writer.AddIdentifierRef(ON.getFieldName(), Record);
401 break;
Douglas Gregorcc8a5d52010-04-29 00:18:15 +0000402
403 case OffsetOfExpr::OffsetOfNode::Base:
Argyrios Kyrtzidisafbf3122010-07-29 18:16:10 +0000404 Writer.AddCXXBaseSpecifier(*ON.getBase(), Record);
Douglas Gregorcc8a5d52010-04-29 00:18:15 +0000405 break;
Douglas Gregor8ecdb652010-04-28 22:16:22 +0000406 }
407 }
408 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000409 Writer.AddStmt(E->getIndexExpr(I));
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000410 Code = serialization::EXPR_OFFSETOF;
Douglas Gregor8ecdb652010-04-28 22:16:22 +0000411}
412
Peter Collingbournef4e3cfb2011-03-11 19:24:49 +0000413void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000414 VisitExpr(E);
Peter Collingbournef4e3cfb2011-03-11 19:24:49 +0000415 Record.push_back(E->getKind());
Chris Lattner63377d52009-04-27 06:20:01 +0000416 if (E->isArgumentType())
John McCalla93c9342009-12-07 02:54:59 +0000417 Writer.AddTypeSourceInfo(E->getArgumentTypeInfo(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000418 else {
419 Record.push_back(0);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000420 Writer.AddStmt(E->getArgumentExpr());
Chris Lattner63377d52009-04-27 06:20:01 +0000421 }
422 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
423 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000424 Code = serialization::EXPR_SIZEOF_ALIGN_OF;
Chris Lattner63377d52009-04-27 06:20:01 +0000425}
426
Sebastian Redl3397c552010-08-18 23:56:27 +0000427void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000428 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000429 Writer.AddStmt(E->getLHS());
430 Writer.AddStmt(E->getRHS());
Chris Lattner63377d52009-04-27 06:20:01 +0000431 Writer.AddSourceLocation(E->getRBracketLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000432 Code = serialization::EXPR_ARRAY_SUBSCRIPT;
Chris Lattner63377d52009-04-27 06:20:01 +0000433}
434
Sebastian Redl3397c552010-08-18 23:56:27 +0000435void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000436 VisitExpr(E);
437 Record.push_back(E->getNumArgs());
438 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000439 Writer.AddStmt(E->getCallee());
Chris Lattner63377d52009-04-27 06:20:01 +0000440 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
441 Arg != ArgEnd; ++Arg)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000442 Writer.AddStmt(*Arg);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000443 Code = serialization::EXPR_CALL;
Chris Lattner63377d52009-04-27 06:20:01 +0000444}
445
Sebastian Redl3397c552010-08-18 23:56:27 +0000446void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000447 // Don't call VisitExpr, we'll write everything here.
448
449 Record.push_back(E->hasQualifier());
Douglas Gregor40d96a62011-02-28 21:54:11 +0000450 if (E->hasQualifier())
451 Writer.AddNestedNameSpecifierLoc(E->getQualifierLoc(), Record);
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000452
Abramo Bagnarae4b92762012-01-27 09:46:47 +0000453 Record.push_back(E->HasTemplateKWAndArgsInfo);
454 if (E->HasTemplateKWAndArgsInfo) {
455 Writer.AddSourceLocation(E->getTemplateKeywordLoc(), Record);
Douglas Gregordef03542011-02-04 12:01:24 +0000456 unsigned NumTemplateArgs = E->getNumTemplateArgs();
457 Record.push_back(NumTemplateArgs);
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000458 Writer.AddSourceLocation(E->getLAngleLoc(), Record);
459 Writer.AddSourceLocation(E->getRAngleLoc(), Record);
460 for (unsigned i=0; i != NumTemplateArgs; ++i)
461 Writer.AddTemplateArgumentLoc(E->getTemplateArgs()[i], Record);
462 }
Abramo Bagnara7cc58b42011-10-05 07:56:41 +0000463
464 Record.push_back(E->hadMultipleCandidates());
465
Argyrios Kyrtzidis663e3802010-07-08 13:09:47 +0000466 DeclAccessPair FoundDecl = E->getFoundDecl();
467 Writer.AddDeclRef(FoundDecl.getDecl(), Record);
468 Record.push_back(FoundDecl.getAccess());
469
470 Writer.AddTypeRef(E->getType(), Record);
John McCallf89e55a2010-11-18 06:31:45 +0000471 Record.push_back(E->getValueKind());
472 Record.push_back(E->getObjectKind());
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000473 Writer.AddStmt(E->getBase());
Chris Lattner63377d52009-04-27 06:20:01 +0000474 Writer.AddDeclRef(E->getMemberDecl(), Record);
475 Writer.AddSourceLocation(E->getMemberLoc(), Record);
476 Record.push_back(E->isArrow());
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +0000477 Writer.AddDeclarationNameLoc(E->MemberDNLoc,
478 E->getMemberDecl()->getDeclName(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000479 Code = serialization::EXPR_MEMBER;
Chris Lattner63377d52009-04-27 06:20:01 +0000480}
481
Sebastian Redl3397c552010-08-18 23:56:27 +0000482void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
Steve Narofff242b1b2009-07-24 17:54:45 +0000483 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000484 Writer.AddStmt(E->getBase());
Steve Narofff242b1b2009-07-24 17:54:45 +0000485 Writer.AddSourceLocation(E->getIsaMemberLoc(), Record);
486 Record.push_back(E->isArrow());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000487 Code = serialization::EXPR_OBJC_ISA;
Steve Narofff242b1b2009-07-24 17:54:45 +0000488}
489
John McCallf85e1932011-06-15 23:02:42 +0000490void ASTStmtWriter::
491VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
492 VisitExpr(E);
493 Writer.AddStmt(E->getSubExpr());
494 Record.push_back(E->shouldCopy());
495 Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
496}
497
498void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
499 VisitExplicitCastExpr(E);
500 Writer.AddSourceLocation(E->getLParenLoc(), Record);
501 Writer.AddSourceLocation(E->getBridgeKeywordLoc(), Record);
502 Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
503 Code = serialization::EXPR_OBJC_BRIDGED_CAST;
504}
505
Sebastian Redl3397c552010-08-18 23:56:27 +0000506void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000507 VisitExpr(E);
John McCallf871d0c2010-08-07 06:22:56 +0000508 Record.push_back(E->path_size());
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000509 Writer.AddStmt(E->getSubExpr());
Anders Carlssoncdef2b72009-07-31 00:48:10 +0000510 Record.push_back(E->getCastKind()); // FIXME: stable encoding
John McCallf871d0c2010-08-07 06:22:56 +0000511
512 for (CastExpr::path_iterator
513 PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
514 Writer.AddCXXBaseSpecifier(**PI, Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000515}
516
Sebastian Redl3397c552010-08-18 23:56:27 +0000517void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000518 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000519 Writer.AddStmt(E->getLHS());
520 Writer.AddStmt(E->getRHS());
Chris Lattner63377d52009-04-27 06:20:01 +0000521 Record.push_back(E->getOpcode()); // FIXME: stable encoding
522 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000523 Code = serialization::EXPR_BINARY_OPERATOR;
Chris Lattner63377d52009-04-27 06:20:01 +0000524}
525
Sebastian Redl3397c552010-08-18 23:56:27 +0000526void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000527 VisitBinaryOperator(E);
528 Writer.AddTypeRef(E->getComputationLHSType(), Record);
529 Writer.AddTypeRef(E->getComputationResultType(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000530 Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
Chris Lattner63377d52009-04-27 06:20:01 +0000531}
532
Sebastian Redl3397c552010-08-18 23:56:27 +0000533void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000534 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000535 Writer.AddStmt(E->getCond());
536 Writer.AddStmt(E->getLHS());
537 Writer.AddStmt(E->getRHS());
Douglas Gregor47e1f7c2009-08-26 14:37:04 +0000538 Writer.AddSourceLocation(E->getQuestionLoc(), Record);
539 Writer.AddSourceLocation(E->getColonLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000540 Code = serialization::EXPR_CONDITIONAL_OPERATOR;
Chris Lattner63377d52009-04-27 06:20:01 +0000541}
542
John McCall56ca35d2011-02-17 10:25:35 +0000543void
544ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
545 VisitExpr(E);
546 Writer.AddStmt(E->getOpaqueValue());
547 Writer.AddStmt(E->getCommon());
548 Writer.AddStmt(E->getCond());
549 Writer.AddStmt(E->getTrueExpr());
550 Writer.AddStmt(E->getFalseExpr());
551 Writer.AddSourceLocation(E->getQuestionLoc(), Record);
552 Writer.AddSourceLocation(E->getColonLoc(), Record);
553 Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
554}
555
Sebastian Redl3397c552010-08-18 23:56:27 +0000556void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000557 VisitCastExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000558 Code = serialization::EXPR_IMPLICIT_CAST;
Chris Lattner63377d52009-04-27 06:20:01 +0000559}
560
Sebastian Redl3397c552010-08-18 23:56:27 +0000561void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000562 VisitCastExpr(E);
John McCall9d125032010-01-15 18:39:57 +0000563 Writer.AddTypeSourceInfo(E->getTypeInfoAsWritten(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000564}
565
Sebastian Redl3397c552010-08-18 23:56:27 +0000566void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000567 VisitExplicitCastExpr(E);
568 Writer.AddSourceLocation(E->getLParenLoc(), Record);
569 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000570 Code = serialization::EXPR_CSTYLE_CAST;
Chris Lattner63377d52009-04-27 06:20:01 +0000571}
572
Sebastian Redl3397c552010-08-18 23:56:27 +0000573void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000574 VisitExpr(E);
575 Writer.AddSourceLocation(E->getLParenLoc(), Record);
John McCall42f56b52010-01-18 19:35:47 +0000576 Writer.AddTypeSourceInfo(E->getTypeSourceInfo(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000577 Writer.AddStmt(E->getInitializer());
Chris Lattner63377d52009-04-27 06:20:01 +0000578 Record.push_back(E->isFileScope());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000579 Code = serialization::EXPR_COMPOUND_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000580}
581
Sebastian Redl3397c552010-08-18 23:56:27 +0000582void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000583 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000584 Writer.AddStmt(E->getBase());
Chris Lattner63377d52009-04-27 06:20:01 +0000585 Writer.AddIdentifierRef(&E->getAccessor(), Record);
586 Writer.AddSourceLocation(E->getAccessorLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000587 Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
Chris Lattner63377d52009-04-27 06:20:01 +0000588}
589
Sebastian Redl3397c552010-08-18 23:56:27 +0000590void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000591 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000592 Writer.AddStmt(E->getSyntacticForm());
Chris Lattner63377d52009-04-27 06:20:01 +0000593 Writer.AddSourceLocation(E->getLBraceLoc(), Record);
594 Writer.AddSourceLocation(E->getRBraceLoc(), Record);
Argyrios Kyrtzidis4423ac02011-04-21 00:27:41 +0000595 bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
596 Record.push_back(isArrayFiller);
597 if (isArrayFiller)
598 Writer.AddStmt(E->getArrayFiller());
599 else
600 Writer.AddDeclRef(E->getInitializedFieldInUnion(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000601 Record.push_back(E->hadArrayRangeDesignator());
Benjamin Kramer1b1a5072012-02-27 13:20:39 +0000602 Record.push_back(E->initializesStdInitializerList());
Argyrios Kyrtzidis2ac0b7a2011-04-22 05:29:30 +0000603 Record.push_back(E->getNumInits());
604 if (isArrayFiller) {
605 // ArrayFiller may have filled "holes" due to designated initializer.
606 // Replace them by 0 to indicate that the filler goes in that place.
607 Expr *filler = E->getArrayFiller();
608 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
609 Writer.AddStmt(E->getInit(I) != filler ? E->getInit(I) : 0);
610 } else {
611 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
612 Writer.AddStmt(E->getInit(I));
613 }
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000614 Code = serialization::EXPR_INIT_LIST;
Chris Lattner63377d52009-04-27 06:20:01 +0000615}
616
Sebastian Redl3397c552010-08-18 23:56:27 +0000617void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000618 VisitExpr(E);
619 Record.push_back(E->getNumSubExprs());
620 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000621 Writer.AddStmt(E->getSubExpr(I));
Chris Lattner63377d52009-04-27 06:20:01 +0000622 Writer.AddSourceLocation(E->getEqualOrColonLoc(), Record);
623 Record.push_back(E->usesGNUSyntax());
624 for (DesignatedInitExpr::designators_iterator D = E->designators_begin(),
625 DEnd = E->designators_end();
626 D != DEnd; ++D) {
627 if (D->isFieldDesignator()) {
628 if (FieldDecl *Field = D->getField()) {
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000629 Record.push_back(serialization::DESIG_FIELD_DECL);
Chris Lattner63377d52009-04-27 06:20:01 +0000630 Writer.AddDeclRef(Field, Record);
631 } else {
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000632 Record.push_back(serialization::DESIG_FIELD_NAME);
Chris Lattner63377d52009-04-27 06:20:01 +0000633 Writer.AddIdentifierRef(D->getFieldName(), Record);
634 }
635 Writer.AddSourceLocation(D->getDotLoc(), Record);
636 Writer.AddSourceLocation(D->getFieldLoc(), Record);
637 } else if (D->isArrayDesignator()) {
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000638 Record.push_back(serialization::DESIG_ARRAY);
Chris Lattner63377d52009-04-27 06:20:01 +0000639 Record.push_back(D->getFirstExprIndex());
640 Writer.AddSourceLocation(D->getLBracketLoc(), Record);
641 Writer.AddSourceLocation(D->getRBracketLoc(), Record);
642 } else {
643 assert(D->isArrayRangeDesignator() && "Unknown designator");
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000644 Record.push_back(serialization::DESIG_ARRAY_RANGE);
Chris Lattner63377d52009-04-27 06:20:01 +0000645 Record.push_back(D->getFirstExprIndex());
646 Writer.AddSourceLocation(D->getLBracketLoc(), Record);
647 Writer.AddSourceLocation(D->getEllipsisLoc(), Record);
648 Writer.AddSourceLocation(D->getRBracketLoc(), Record);
649 }
650 }
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000651 Code = serialization::EXPR_DESIGNATED_INIT;
Chris Lattner63377d52009-04-27 06:20:01 +0000652}
653
Sebastian Redl3397c552010-08-18 23:56:27 +0000654void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000655 VisitExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000656 Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
Chris Lattner63377d52009-04-27 06:20:01 +0000657}
658
Sebastian Redl3397c552010-08-18 23:56:27 +0000659void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000660 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000661 Writer.AddStmt(E->getSubExpr());
Abramo Bagnara2cad9002010-08-10 10:06:15 +0000662 Writer.AddTypeSourceInfo(E->getWrittenTypeInfo(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000663 Writer.AddSourceLocation(E->getBuiltinLoc(), Record);
664 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000665 Code = serialization::EXPR_VA_ARG;
Chris Lattner63377d52009-04-27 06:20:01 +0000666}
667
Sebastian Redl3397c552010-08-18 23:56:27 +0000668void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000669 VisitExpr(E);
670 Writer.AddSourceLocation(E->getAmpAmpLoc(), Record);
671 Writer.AddSourceLocation(E->getLabelLoc(), Record);
Chris Lattnerad8dcf42011-02-17 07:39:24 +0000672 Writer.AddDeclRef(E->getLabel(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000673 Code = serialization::EXPR_ADDR_LABEL;
Chris Lattner63377d52009-04-27 06:20:01 +0000674}
675
Sebastian Redl3397c552010-08-18 23:56:27 +0000676void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000677 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000678 Writer.AddStmt(E->getSubStmt());
Chris Lattner63377d52009-04-27 06:20:01 +0000679 Writer.AddSourceLocation(E->getLParenLoc(), Record);
680 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000681 Code = serialization::EXPR_STMT;
Chris Lattner63377d52009-04-27 06:20:01 +0000682}
683
Sebastian Redl3397c552010-08-18 23:56:27 +0000684void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000685 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000686 Writer.AddStmt(E->getCond());
687 Writer.AddStmt(E->getLHS());
688 Writer.AddStmt(E->getRHS());
Chris Lattner63377d52009-04-27 06:20:01 +0000689 Writer.AddSourceLocation(E->getBuiltinLoc(), Record);
690 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000691 Code = serialization::EXPR_CHOOSE;
Chris Lattner63377d52009-04-27 06:20:01 +0000692}
693
Sebastian Redl3397c552010-08-18 23:56:27 +0000694void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000695 VisitExpr(E);
696 Writer.AddSourceLocation(E->getTokenLocation(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000697 Code = serialization::EXPR_GNU_NULL;
Chris Lattner63377d52009-04-27 06:20:01 +0000698}
699
Sebastian Redl3397c552010-08-18 23:56:27 +0000700void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000701 VisitExpr(E);
702 Record.push_back(E->getNumSubExprs());
703 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000704 Writer.AddStmt(E->getExpr(I));
Chris Lattner63377d52009-04-27 06:20:01 +0000705 Writer.AddSourceLocation(E->getBuiltinLoc(), Record);
706 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000707 Code = serialization::EXPR_SHUFFLE_VECTOR;
Chris Lattner63377d52009-04-27 06:20:01 +0000708}
709
Sebastian Redl3397c552010-08-18 23:56:27 +0000710void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000711 VisitExpr(E);
712 Writer.AddDeclRef(E->getBlockDecl(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000713 Code = serialization::EXPR_BLOCK;
Chris Lattner63377d52009-04-27 06:20:01 +0000714}
715
Peter Collingbournef111d932011-04-15 00:35:48 +0000716void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
717 VisitExpr(E);
718 Record.push_back(E->getNumAssocs());
719
720 Writer.AddStmt(E->getControllingExpr());
721 for (unsigned I = 0, N = E->getNumAssocs(); I != N; ++I) {
722 Writer.AddTypeSourceInfo(E->getAssocTypeSourceInfo(I), Record);
723 Writer.AddStmt(E->getAssocExpr(I));
724 }
725 Record.push_back(E->isResultDependent() ? -1U : E->getResultIndex());
726
727 Writer.AddSourceLocation(E->getGenericLoc(), Record);
728 Writer.AddSourceLocation(E->getDefaultLoc(), Record);
729 Writer.AddSourceLocation(E->getRParenLoc(), Record);
730 Code = serialization::EXPR_GENERIC_SELECTION;
731}
732
John McCall4b9c2d22011-11-06 09:01:30 +0000733void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
734 VisitExpr(E);
735 Record.push_back(E->getNumSemanticExprs());
736
737 // Push the result index. Currently, this needs to exactly match
738 // the encoding used internally for ResultIndex.
739 unsigned result = E->getResultExprIndex();
740 result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
741 Record.push_back(result);
742
743 Writer.AddStmt(E->getSyntacticForm());
744 for (PseudoObjectExpr::semantics_iterator
745 i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
746 Writer.AddStmt(*i);
John McCall4b9c2d22011-11-06 09:01:30 +0000747 }
Argyrios Kyrtzidis64482c62011-11-15 06:20:27 +0000748 Code = serialization::EXPR_PSEUDO_OBJECT;
John McCall4b9c2d22011-11-06 09:01:30 +0000749}
750
Eli Friedman276b0612011-10-11 02:20:01 +0000751void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
752 VisitExpr(E);
753 Record.push_back(E->getOp());
Richard Smithe1b2abc2012-04-10 22:49:28 +0000754 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
755 Writer.AddStmt(E->getSubExprs()[I]);
Eli Friedman276b0612011-10-11 02:20:01 +0000756 Writer.AddSourceLocation(E->getBuiltinLoc(), Record);
757 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Argyrios Kyrtzidis64482c62011-11-15 06:20:27 +0000758 Code = serialization::EXPR_ATOMIC;
Eli Friedman276b0612011-10-11 02:20:01 +0000759}
760
Chris Lattner63377d52009-04-27 06:20:01 +0000761//===----------------------------------------------------------------------===//
762// Objective-C Expressions and Statements.
763//===----------------------------------------------------------------------===//
764
Sebastian Redl3397c552010-08-18 23:56:27 +0000765void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000766 VisitExpr(E);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000767 Writer.AddStmt(E->getString());
Chris Lattner63377d52009-04-27 06:20:01 +0000768 Writer.AddSourceLocation(E->getAtLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000769 Code = serialization::EXPR_OBJC_STRING_LITERAL;
Chris Lattner63377d52009-04-27 06:20:01 +0000770}
771
Ted Kremenekebcb57a2012-03-06 20:05:56 +0000772void ASTStmtWriter::VisitObjCNumericLiteral(ObjCNumericLiteral *E) {
773 VisitExpr(E);
774 Writer.AddStmt(E->getNumber());
775 Writer.AddDeclRef(E->getObjCNumericLiteralMethod(), Record);
776 Writer.AddSourceLocation(E->getAtLoc(), Record);
777 Code = serialization::EXPR_OBJC_NUMERIC_LITERAL;
778}
779
780void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
781 VisitExpr(E);
782 Record.push_back(E->getNumElements());
783 for (unsigned i = 0; i < E->getNumElements(); i++)
784 Writer.AddStmt(E->getElement(i));
785 Writer.AddDeclRef(E->getArrayWithObjectsMethod(), Record);
786 Writer.AddSourceRange(E->getSourceRange(), Record);
787 Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
788}
789
790void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
791 VisitExpr(E);
792 Record.push_back(E->getNumElements());
793 Record.push_back(E->HasPackExpansions);
794 for (unsigned i = 0; i < E->getNumElements(); i++) {
795 ObjCDictionaryElement Element = E->getKeyValueElement(i);
796 Writer.AddStmt(Element.Key);
797 Writer.AddStmt(Element.Value);
798 if (E->HasPackExpansions) {
799 Writer.AddSourceLocation(Element.EllipsisLoc, Record);
800 unsigned NumExpansions = 0;
801 if (Element.NumExpansions)
802 NumExpansions = *Element.NumExpansions + 1;
803 Record.push_back(NumExpansions);
804 }
805 }
806
807 Writer.AddDeclRef(E->getDictWithObjectsMethod(), Record);
808 Writer.AddSourceRange(E->getSourceRange(), Record);
809 Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
810}
811
Sebastian Redl3397c552010-08-18 23:56:27 +0000812void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000813 VisitExpr(E);
Douglas Gregor81d34662010-04-20 15:39:42 +0000814 Writer.AddTypeSourceInfo(E->getEncodedTypeSourceInfo(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000815 Writer.AddSourceLocation(E->getAtLoc(), Record);
816 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000817 Code = serialization::EXPR_OBJC_ENCODE;
Chris Lattner63377d52009-04-27 06:20:01 +0000818}
819
Sebastian Redl3397c552010-08-18 23:56:27 +0000820void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000821 VisitExpr(E);
822 Writer.AddSelectorRef(E->getSelector(), Record);
823 Writer.AddSourceLocation(E->getAtLoc(), Record);
824 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000825 Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
Chris Lattner63377d52009-04-27 06:20:01 +0000826}
827
Sebastian Redl3397c552010-08-18 23:56:27 +0000828void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000829 VisitExpr(E);
830 Writer.AddDeclRef(E->getProtocol(), Record);
831 Writer.AddSourceLocation(E->getAtLoc(), Record);
832 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000833 Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
Chris Lattner63377d52009-04-27 06:20:01 +0000834}
835
Sebastian Redl3397c552010-08-18 23:56:27 +0000836void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000837 VisitExpr(E);
838 Writer.AddDeclRef(E->getDecl(), Record);
839 Writer.AddSourceLocation(E->getLocation(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000840 Writer.AddStmt(E->getBase());
Chris Lattner63377d52009-04-27 06:20:01 +0000841 Record.push_back(E->isArrow());
842 Record.push_back(E->isFreeIvar());
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000843 Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
Chris Lattner63377d52009-04-27 06:20:01 +0000844}
845
Sebastian Redl3397c552010-08-18 23:56:27 +0000846void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000847 VisitExpr(E);
Argyrios Kyrtzidisb085d892012-03-30 00:19:18 +0000848 Record.push_back(E->SetterAndMethodRefFlags.getInt());
John McCall12f78a62010-12-02 01:19:52 +0000849 Record.push_back(E->isImplicitProperty());
850 if (E->isImplicitProperty()) {
851 Writer.AddDeclRef(E->getImplicitPropertyGetter(), Record);
852 Writer.AddDeclRef(E->getImplicitPropertySetter(), Record);
853 } else {
854 Writer.AddDeclRef(E->getExplicitProperty(), Record);
855 }
Chris Lattner63377d52009-04-27 06:20:01 +0000856 Writer.AddSourceLocation(E->getLocation(), Record);
John McCall12f78a62010-12-02 01:19:52 +0000857 Writer.AddSourceLocation(E->getReceiverLocation(), Record);
858 if (E->isObjectReceiver()) {
859 Record.push_back(0);
Fariborz Jahanian8ac2d442010-10-14 16:04:05 +0000860 Writer.AddStmt(E->getBase());
John McCall12f78a62010-12-02 01:19:52 +0000861 } else if (E->isSuperReceiver()) {
862 Record.push_back(1);
863 Writer.AddTypeRef(E->getSuperReceiverType(), Record);
864 } else {
865 Record.push_back(2);
866 Writer.AddDeclRef(E->getClassReceiver(), Record);
867 }
Fariborz Jahanian8ac2d442010-10-14 16:04:05 +0000868
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000869 Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
Chris Lattner63377d52009-04-27 06:20:01 +0000870}
871
Ted Kremenekebcb57a2012-03-06 20:05:56 +0000872void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
873 VisitExpr(E);
874 Writer.AddSourceLocation(E->getRBracket(), Record);
875 Writer.AddStmt(E->getBaseExpr());
876 Writer.AddStmt(E->getKeyExpr());
877 Writer.AddDeclRef(E->getAtIndexMethodDecl(), Record);
878 Writer.AddDeclRef(E->setAtIndexMethodDecl(), Record);
879
880 Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
881}
882
Sebastian Redl3397c552010-08-18 23:56:27 +0000883void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
Chris Lattner63377d52009-04-27 06:20:01 +0000884 VisitExpr(E);
885 Record.push_back(E->getNumArgs());
Argyrios Kyrtzidis20718082011-10-03 06:36:51 +0000886 Record.push_back(E->getNumStoredSelLocs());
887 Record.push_back(E->SelLocsKind);
John McCallf85e1932011-06-15 23:02:42 +0000888 Record.push_back(E->isDelegateInitCall());
Argyrios Kyrtzidis746f5bc2012-01-12 02:34:39 +0000889 Record.push_back(E->IsImplicit);
Douglas Gregor04badcf2010-04-21 00:45:42 +0000890 Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
891 switch (E->getReceiverKind()) {
892 case ObjCMessageExpr::Instance:
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000893 Writer.AddStmt(E->getInstanceReceiver());
Douglas Gregor04badcf2010-04-21 00:45:42 +0000894 break;
895
896 case ObjCMessageExpr::Class:
897 Writer.AddTypeSourceInfo(E->getClassReceiverTypeInfo(), Record);
898 break;
899
900 case ObjCMessageExpr::SuperClass:
901 case ObjCMessageExpr::SuperInstance:
902 Writer.AddTypeRef(E->getSuperType(), Record);
903 Writer.AddSourceLocation(E->getSuperLoc(), Record);
904 break;
905 }
906
907 if (E->getMethodDecl()) {
908 Record.push_back(1);
909 Writer.AddDeclRef(E->getMethodDecl(), Record);
910 } else {
911 Record.push_back(0);
912 Writer.AddSelectorRef(E->getSelector(), Record);
913 }
914
Chris Lattner63377d52009-04-27 06:20:01 +0000915 Writer.AddSourceLocation(E->getLeftLoc(), Record);
916 Writer.AddSourceLocation(E->getRightLoc(), Record);
Chris Lattner63377d52009-04-27 06:20:01 +0000917
918 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
919 Arg != ArgEnd; ++Arg)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000920 Writer.AddStmt(*Arg);
Argyrios Kyrtzidis20718082011-10-03 06:36:51 +0000921
922 SourceLocation *Locs = E->getStoredSelLocs();
923 for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
924 Writer.AddSourceLocation(Locs[i], Record);
925
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000926 Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
Chris Lattner63377d52009-04-27 06:20:01 +0000927}
928
Sebastian Redl3397c552010-08-18 23:56:27 +0000929void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
Chris Lattner63377d52009-04-27 06:20:01 +0000930 VisitStmt(S);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000931 Writer.AddStmt(S->getElement());
932 Writer.AddStmt(S->getCollection());
933 Writer.AddStmt(S->getBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000934 Writer.AddSourceLocation(S->getForLoc(), Record);
935 Writer.AddSourceLocation(S->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000936 Code = serialization::STMT_OBJC_FOR_COLLECTION;
Chris Lattner63377d52009-04-27 06:20:01 +0000937}
938
Sebastian Redl3397c552010-08-18 23:56:27 +0000939void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000940 Writer.AddStmt(S->getCatchBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000941 Writer.AddDeclRef(S->getCatchParamDecl(), Record);
942 Writer.AddSourceLocation(S->getAtCatchLoc(), Record);
943 Writer.AddSourceLocation(S->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000944 Code = serialization::STMT_OBJC_CATCH;
Chris Lattner63377d52009-04-27 06:20:01 +0000945}
946
Sebastian Redl3397c552010-08-18 23:56:27 +0000947void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000948 Writer.AddStmt(S->getFinallyBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000949 Writer.AddSourceLocation(S->getAtFinallyLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000950 Code = serialization::STMT_OBJC_FINALLY;
Chris Lattner63377d52009-04-27 06:20:01 +0000951}
952
John McCallf85e1932011-06-15 23:02:42 +0000953void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
954 Writer.AddStmt(S->getSubStmt());
955 Writer.AddSourceLocation(S->getAtLoc(), Record);
956 Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
957}
958
Sebastian Redl3397c552010-08-18 23:56:27 +0000959void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
Douglas Gregor8f5e3dd2010-04-23 22:50:49 +0000960 Record.push_back(S->getNumCatchStmts());
961 Record.push_back(S->getFinallyStmt() != 0);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000962 Writer.AddStmt(S->getTryBody());
Douglas Gregor8f5e3dd2010-04-23 22:50:49 +0000963 for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000964 Writer.AddStmt(S->getCatchStmt(I));
Douglas Gregor8f5e3dd2010-04-23 22:50:49 +0000965 if (S->getFinallyStmt())
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000966 Writer.AddStmt(S->getFinallyStmt());
Chris Lattner63377d52009-04-27 06:20:01 +0000967 Writer.AddSourceLocation(S->getAtTryLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000968 Code = serialization::STMT_OBJC_AT_TRY;
Chris Lattner63377d52009-04-27 06:20:01 +0000969}
970
Sebastian Redl3397c552010-08-18 23:56:27 +0000971void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000972 Writer.AddStmt(S->getSynchExpr());
973 Writer.AddStmt(S->getSynchBody());
Chris Lattner63377d52009-04-27 06:20:01 +0000974 Writer.AddSourceLocation(S->getAtSynchronizedLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000975 Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
Chris Lattner63377d52009-04-27 06:20:01 +0000976}
977
Sebastian Redl3397c552010-08-18 23:56:27 +0000978void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +0000979 Writer.AddStmt(S->getThrowExpr());
Chris Lattner63377d52009-04-27 06:20:01 +0000980 Writer.AddSourceLocation(S->getThrowLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +0000981 Code = serialization::STMT_OBJC_AT_THROW;
Chris Lattner63377d52009-04-27 06:20:01 +0000982}
983
Ted Kremenekebcb57a2012-03-06 20:05:56 +0000984void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
985 VisitExpr(E);
986 Record.push_back(E->getValue());
987 Writer.AddSourceLocation(E->getLocation(), Record);
988 Code = serialization::EXPR_OBJC_BOOL_LITERAL;
989}
990
Chris Lattner63377d52009-04-27 06:20:01 +0000991//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +0000992// C++ Expressions and Statements.
993//===----------------------------------------------------------------------===//
994
Sebastian Redl3397c552010-08-18 23:56:27 +0000995void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
Argyrios Kyrtzidis7cb45e32010-07-22 16:03:56 +0000996 VisitStmt(S);
997 Writer.AddSourceLocation(S->getCatchLoc(), Record);
998 Writer.AddDeclRef(S->getExceptionDecl(), Record);
999 Writer.AddStmt(S->getHandlerBlock());
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001000 Code = serialization::STMT_CXX_CATCH;
Argyrios Kyrtzidis7cb45e32010-07-22 16:03:56 +00001001}
1002
Sebastian Redl3397c552010-08-18 23:56:27 +00001003void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
Argyrios Kyrtzidis7cb45e32010-07-22 16:03:56 +00001004 VisitStmt(S);
1005 Record.push_back(S->getNumHandlers());
1006 Writer.AddSourceLocation(S->getTryLoc(), Record);
1007 Writer.AddStmt(S->getTryBlock());
1008 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
1009 Writer.AddStmt(S->getHandler(i));
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001010 Code = serialization::STMT_CXX_TRY;
Argyrios Kyrtzidis7cb45e32010-07-22 16:03:56 +00001011}
1012
Richard Smithad762fc2011-04-14 22:09:26 +00001013void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1014 VisitStmt(S);
1015 Writer.AddSourceLocation(S->getForLoc(), Record);
1016 Writer.AddSourceLocation(S->getColonLoc(), Record);
1017 Writer.AddSourceLocation(S->getRParenLoc(), Record);
1018 Writer.AddStmt(S->getRangeStmt());
1019 Writer.AddStmt(S->getBeginEndStmt());
1020 Writer.AddStmt(S->getCond());
1021 Writer.AddStmt(S->getInc());
1022 Writer.AddStmt(S->getLoopVarStmt());
1023 Writer.AddStmt(S->getBody());
1024 Code = serialization::STMT_CXX_FOR_RANGE;
1025}
1026
Douglas Gregorba0513d2011-10-25 01:33:02 +00001027void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1028 VisitStmt(S);
1029 Writer.AddSourceLocation(S->getKeywordLoc(), Record);
1030 Record.push_back(S->isIfExists());
1031 Writer.AddNestedNameSpecifierLoc(S->getQualifierLoc(), Record);
1032 Writer.AddDeclarationNameInfo(S->getNameInfo(), Record);
1033 Writer.AddStmt(S->getSubStmt());
1034 Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1035}
1036
Sebastian Redl3397c552010-08-18 23:56:27 +00001037void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001038 VisitCallExpr(E);
1039 Record.push_back(E->getOperator());
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001040 Code = serialization::EXPR_CXX_OPERATOR_CALL;
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001041}
1042
Sebastian Redl3397c552010-08-18 23:56:27 +00001043void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
Chris Lattner1817bd42010-05-09 05:36:05 +00001044 VisitCallExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001045 Code = serialization::EXPR_CXX_MEMBER_CALL;
Chris Lattner1817bd42010-05-09 05:36:05 +00001046}
1047
Sebastian Redl3397c552010-08-18 23:56:27 +00001048void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
Douglas Gregor39da0b82009-09-09 23:08:42 +00001049 VisitExpr(E);
Argyrios Kyrtzidis5e1b7c22010-06-24 08:57:09 +00001050 Record.push_back(E->getNumArgs());
1051 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001052 Writer.AddStmt(E->getArg(I));
Douglas Gregor39da0b82009-09-09 23:08:42 +00001053 Writer.AddDeclRef(E->getConstructor(), Record);
Douglas Gregor99a2e602009-12-16 01:38:02 +00001054 Writer.AddSourceLocation(E->getLocation(), Record);
Douglas Gregor39da0b82009-09-09 23:08:42 +00001055 Record.push_back(E->isElidable());
Abramo Bagnara7cc58b42011-10-05 07:56:41 +00001056 Record.push_back(E->hadMultipleCandidates());
Douglas Gregor16006c92009-12-16 18:50:27 +00001057 Record.push_back(E->requiresZeroInitialization());
Douglas Gregor3c9034c2010-05-15 00:13:29 +00001058 Record.push_back(E->getConstructionKind()); // FIXME: stable encoding
Chandler Carruth428edaf2010-10-25 08:47:36 +00001059 Writer.AddSourceRange(E->getParenRange(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001060 Code = serialization::EXPR_CXX_CONSTRUCT;
Douglas Gregor39da0b82009-09-09 23:08:42 +00001061}
1062
Sebastian Redl3397c552010-08-18 23:56:27 +00001063void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
Argyrios Kyrtzidis6d00c132010-07-10 11:46:15 +00001064 VisitCXXConstructExpr(E);
Douglas Gregorab6677e2010-09-08 00:15:04 +00001065 Writer.AddTypeSourceInfo(E->getTypeSourceInfo(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001066 Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
Argyrios Kyrtzidis6d00c132010-07-10 11:46:15 +00001067}
1068
Douglas Gregor01d08012012-02-07 10:09:13 +00001069void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1070 VisitExpr(E);
Douglas Gregor9d36f5d2012-02-14 17:54:36 +00001071 Record.push_back(E->NumCaptures);
1072 unsigned NumArrayIndexVars = 0;
1073 if (E->HasArrayIndexVars)
1074 NumArrayIndexVars = E->getArrayIndexStarts()[E->NumCaptures];
1075 Record.push_back(NumArrayIndexVars);
1076 Writer.AddSourceRange(E->IntroducerRange, Record);
1077 Record.push_back(E->CaptureDefault); // FIXME: stable encoding
1078 Record.push_back(E->ExplicitParams);
1079 Record.push_back(E->ExplicitResultType);
1080 Writer.AddSourceLocation(E->ClosingBrace, Record);
1081
1082 // Add capture initializers.
1083 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1084 CEnd = E->capture_init_end();
1085 C != CEnd; ++C) {
1086 Writer.AddStmt(*C);
1087 }
1088
1089 // Add array index variables, if any.
1090 if (NumArrayIndexVars) {
1091 Record.append(E->getArrayIndexStarts(),
1092 E->getArrayIndexStarts() + E->NumCaptures + 1);
1093 VarDecl **ArrayIndexVars = E->getArrayIndexVars();
1094 for (unsigned I = 0; I != NumArrayIndexVars; ++I)
1095 Writer.AddDeclRef(ArrayIndexVars[I], Record);
1096 }
1097
1098 Code = serialization::EXPR_LAMBDA;
Douglas Gregor01d08012012-02-07 10:09:13 +00001099}
1100
Sebastian Redl3397c552010-08-18 23:56:27 +00001101void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
Sam Weinigce757a72010-01-16 21:21:01 +00001102 VisitExplicitCastExpr(E);
Douglas Gregor1d5d0b92011-01-12 22:41:29 +00001103 Writer.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()),
1104 Record);
Sam Weinigce757a72010-01-16 21:21:01 +00001105}
1106
Sebastian Redl3397c552010-08-18 23:56:27 +00001107void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
Sam Weinigce757a72010-01-16 21:21:01 +00001108 VisitCXXNamedCastExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001109 Code = serialization::EXPR_CXX_STATIC_CAST;
Sam Weinigce757a72010-01-16 21:21:01 +00001110}
1111
Sebastian Redl3397c552010-08-18 23:56:27 +00001112void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
Sam Weinigce757a72010-01-16 21:21:01 +00001113 VisitCXXNamedCastExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001114 Code = serialization::EXPR_CXX_DYNAMIC_CAST;
Sam Weinigce757a72010-01-16 21:21:01 +00001115}
1116
Sebastian Redl3397c552010-08-18 23:56:27 +00001117void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
Sam Weinigce757a72010-01-16 21:21:01 +00001118 VisitCXXNamedCastExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001119 Code = serialization::EXPR_CXX_REINTERPRET_CAST;
Sam Weinigce757a72010-01-16 21:21:01 +00001120}
1121
Sebastian Redl3397c552010-08-18 23:56:27 +00001122void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
Sam Weinigce757a72010-01-16 21:21:01 +00001123 VisitCXXNamedCastExpr(E);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001124 Code = serialization::EXPR_CXX_CONST_CAST;
Sam Weinigce757a72010-01-16 21:21:01 +00001125}
1126
Sebastian Redl3397c552010-08-18 23:56:27 +00001127void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
Sam Weinigce757a72010-01-16 21:21:01 +00001128 VisitExplicitCastExpr(E);
1129 Writer.AddSourceLocation(E->getTypeBeginLoc(), Record);
1130 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001131 Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
Sam Weinigce757a72010-01-16 21:21:01 +00001132}
1133
Richard Smith9fcce652012-03-07 08:35:16 +00001134void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1135 VisitCallExpr(E);
1136 Writer.AddSourceLocation(E->UDSuffixLoc, Record);
1137 Code = serialization::EXPR_USER_DEFINED_LITERAL;
1138}
1139
Sebastian Redl3397c552010-08-18 23:56:27 +00001140void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
Sam Weinigeb7f9612010-02-07 06:32:43 +00001141 VisitExpr(E);
1142 Record.push_back(E->getValue());
1143 Writer.AddSourceLocation(E->getLocation(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001144 Code = serialization::EXPR_CXX_BOOL_LITERAL;
Sam Weinigeb7f9612010-02-07 06:32:43 +00001145}
1146
Sebastian Redl3397c552010-08-18 23:56:27 +00001147void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
Sam Weinigeb7f9612010-02-07 06:32:43 +00001148 VisitExpr(E);
1149 Writer.AddSourceLocation(E->getLocation(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001150 Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
Sam Weinigeb7f9612010-02-07 06:32:43 +00001151}
1152
Sebastian Redl3397c552010-08-18 23:56:27 +00001153void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
Chris Lattner14ab24f2010-05-09 06:03:39 +00001154 VisitExpr(E);
1155 Writer.AddSourceRange(E->getSourceRange(), Record);
1156 if (E->isTypeOperand()) {
1157 Writer.AddTypeSourceInfo(E->getTypeOperandSourceInfo(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001158 Code = serialization::EXPR_CXX_TYPEID_TYPE;
Chris Lattner14ab24f2010-05-09 06:03:39 +00001159 } else {
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001160 Writer.AddStmt(E->getExprOperand());
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001161 Code = serialization::EXPR_CXX_TYPEID_EXPR;
Chris Lattner14ab24f2010-05-09 06:03:39 +00001162 }
1163}
1164
Sebastian Redl3397c552010-08-18 23:56:27 +00001165void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
Chris Lattner2fbdfcd2010-05-09 06:15:05 +00001166 VisitExpr(E);
1167 Writer.AddSourceLocation(E->getLocation(), Record);
1168 Record.push_back(E->isImplicit());
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001169 Code = serialization::EXPR_CXX_THIS;
Chris Lattner2fbdfcd2010-05-09 06:15:05 +00001170}
1171
Sebastian Redl3397c552010-08-18 23:56:27 +00001172void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
Chris Lattner030854b2010-05-09 06:40:08 +00001173 VisitExpr(E);
Chris Lattner2fbdfcd2010-05-09 06:15:05 +00001174 Writer.AddSourceLocation(E->getThrowLoc(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001175 Writer.AddStmt(E->getSubExpr());
Douglas Gregorbca01b42011-07-06 22:04:06 +00001176 Record.push_back(E->isThrownVariableInScope());
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001177 Code = serialization::EXPR_CXX_THROW;
Chris Lattner2fbdfcd2010-05-09 06:15:05 +00001178}
1179
Sebastian Redl3397c552010-08-18 23:56:27 +00001180void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
Chris Lattner030854b2010-05-09 06:40:08 +00001181 VisitExpr(E);
Argyrios Kyrtzidis8a507332010-07-02 23:30:15 +00001182
1183 bool HasOtherExprStored = E->Param.getInt();
1184 // Store these first, the reader reads them before creation.
1185 Record.push_back(HasOtherExprStored);
1186 if (HasOtherExprStored)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001187 Writer.AddStmt(E->getExpr());
Argyrios Kyrtzidis8a507332010-07-02 23:30:15 +00001188 Writer.AddDeclRef(E->getParam(), Record);
1189 Writer.AddSourceLocation(E->getUsedLocation(), Record);
Chris Lattner030854b2010-05-09 06:40:08 +00001190
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001191 Code = serialization::EXPR_CXX_DEFAULT_ARG;
Chris Lattner030854b2010-05-09 06:40:08 +00001192}
1193
Sebastian Redl3397c552010-08-18 23:56:27 +00001194void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
Chris Lattnerd2598362010-05-10 00:25:06 +00001195 VisitExpr(E);
1196 Writer.AddCXXTemporary(E->getTemporary(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001197 Writer.AddStmt(E->getSubExpr());
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001198 Code = serialization::EXPR_CXX_BIND_TEMPORARY;
Chris Lattnerd2598362010-05-10 00:25:06 +00001199}
1200
Sebastian Redl3397c552010-08-18 23:56:27 +00001201void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
Chris Lattner59218632010-05-10 01:22:27 +00001202 VisitExpr(E);
Douglas Gregorab6677e2010-09-08 00:15:04 +00001203 Writer.AddTypeSourceInfo(E->getTypeSourceInfo(), Record);
Chris Lattner59218632010-05-10 01:22:27 +00001204 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001205 Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
Chris Lattner59218632010-05-10 01:22:27 +00001206}
1207
Sebastian Redl3397c552010-08-18 23:56:27 +00001208void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
Chris Lattner59218632010-05-10 01:22:27 +00001209 VisitExpr(E);
1210 Record.push_back(E->isGlobalNew());
Sebastian Redl1548d142012-02-16 11:35:52 +00001211 Record.push_back(E->isArray());
Sebastian Redl2aed8b82012-02-16 12:22:20 +00001212 Record.push_back(E->doesUsualArrayDeleteWantSize());
Chris Lattner59218632010-05-10 01:22:27 +00001213 Record.push_back(E->getNumPlacementArgs());
Sebastian Redl2aed8b82012-02-16 12:22:20 +00001214 Record.push_back(E->StoredInitializationStyle);
Chris Lattner59218632010-05-10 01:22:27 +00001215 Writer.AddDeclRef(E->getOperatorNew(), Record);
1216 Writer.AddDeclRef(E->getOperatorDelete(), Record);
Douglas Gregor1bb2a932010-09-07 21:49:58 +00001217 Writer.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo(), Record);
Douglas Gregor4bd40312010-07-13 15:54:32 +00001218 Writer.AddSourceRange(E->getTypeIdParens(), Record);
Chris Lattner59218632010-05-10 01:22:27 +00001219 Writer.AddSourceLocation(E->getStartLoc(), Record);
Sebastian Redl2aed8b82012-02-16 12:22:20 +00001220 Writer.AddSourceRange(E->getDirectInitRange(), Record);
Chris Lattner59218632010-05-10 01:22:27 +00001221 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), e = E->raw_arg_end();
1222 I != e; ++I)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001223 Writer.AddStmt(*I);
Sebastian Redl2aed8b82012-02-16 12:22:20 +00001224
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001225 Code = serialization::EXPR_CXX_NEW;
Chris Lattner59218632010-05-10 01:22:27 +00001226}
1227
Sebastian Redl3397c552010-08-18 23:56:27 +00001228void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
Argyrios Kyrtzidis95fc98c2010-06-22 17:07:59 +00001229 VisitExpr(E);
1230 Record.push_back(E->isGlobalDelete());
1231 Record.push_back(E->isArrayForm());
Argyrios Kyrtzidis4076dac2010-09-13 20:15:54 +00001232 Record.push_back(E->isArrayFormAsWritten());
John McCall6ec278d2011-01-27 09:37:56 +00001233 Record.push_back(E->doesUsualArrayDeleteWantSize());
Argyrios Kyrtzidis95fc98c2010-06-22 17:07:59 +00001234 Writer.AddDeclRef(E->getOperatorDelete(), Record);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001235 Writer.AddStmt(E->getArgument());
Argyrios Kyrtzidis95fc98c2010-06-22 17:07:59 +00001236 Writer.AddSourceLocation(E->getSourceRange().getBegin(), Record);
1237
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001238 Code = serialization::EXPR_CXX_DELETE;
Argyrios Kyrtzidis95fc98c2010-06-22 17:07:59 +00001239}
Chris Lattner59218632010-05-10 01:22:27 +00001240
Sebastian Redl3397c552010-08-18 23:56:27 +00001241void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
Argyrios Kyrtzidisde4bd182010-06-28 09:32:03 +00001242 VisitExpr(E);
1243
1244 Writer.AddStmt(E->getBase());
1245 Record.push_back(E->isArrow());
1246 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
Douglas Gregorf3db29f2011-02-25 18:19:59 +00001247 Writer.AddNestedNameSpecifierLoc(E->getQualifierLoc(), Record);
Argyrios Kyrtzidisde4bd182010-06-28 09:32:03 +00001248 Writer.AddTypeSourceInfo(E->getScopeTypeInfo(), Record);
1249 Writer.AddSourceLocation(E->getColonColonLoc(), Record);
1250 Writer.AddSourceLocation(E->getTildeLoc(), Record);
1251
1252 // PseudoDestructorTypeStorage.
1253 Writer.AddIdentifierRef(E->getDestroyedTypeIdentifier(), Record);
1254 if (E->getDestroyedTypeIdentifier())
1255 Writer.AddSourceLocation(E->getDestroyedTypeLoc(), Record);
1256 else
1257 Writer.AddTypeSourceInfo(E->getDestroyedTypeInfo(), Record);
1258
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001259 Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
Argyrios Kyrtzidisde4bd182010-06-28 09:32:03 +00001260}
1261
John McCall4765fa02010-12-06 08:20:24 +00001262void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
Chris Lattnerd2598362010-05-10 00:25:06 +00001263 VisitExpr(E);
John McCall80ee6e82011-11-10 05:35:25 +00001264 Record.push_back(E->getNumObjects());
1265 for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i)
1266 Writer.AddDeclRef(E->getObject(i), Record);
Chris Lattnerd2598362010-05-10 00:25:06 +00001267
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001268 Writer.AddStmt(E->getSubExpr());
John McCall4765fa02010-12-06 08:20:24 +00001269 Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
Chris Lattnerd2598362010-05-10 00:25:06 +00001270}
1271
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001272void
Sebastian Redl3397c552010-08-18 23:56:27 +00001273ASTStmtWriter::VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E){
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001274 VisitExpr(E);
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001275
1276 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
Douglas Gregordef03542011-02-04 12:01:24 +00001277 // emitted first.
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001278
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001279 Record.push_back(E->HasTemplateKWAndArgsInfo);
1280 if (E->HasTemplateKWAndArgsInfo) {
1281 const ASTTemplateKWAndArgsInfo &Args = *E->getTemplateKWAndArgsInfo();
Argyrios Kyrtzidis36c76f02010-06-28 09:31:48 +00001282 Record.push_back(Args.NumTemplateArgs);
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001283 AddTemplateKWAndArgsInfo(Args);
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001284 }
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001285
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001286 if (!E->isImplicitAccess())
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001287 Writer.AddStmt(E->getBase());
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001288 else
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001289 Writer.AddStmt(0);
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001290 Writer.AddTypeRef(E->getBaseType(), Record);
1291 Record.push_back(E->isArrow());
1292 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
Douglas Gregor7c3179c2011-02-28 18:50:33 +00001293 Writer.AddNestedNameSpecifierLoc(E->getQualifierLoc(), Record);
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001294 Writer.AddDeclRef(E->getFirstQualifierFoundInScope(), Record);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +00001295 Writer.AddDeclarationNameInfo(E->MemberNameInfo, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001296 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001297}
1298
1299void
Sebastian Redl3397c552010-08-18 23:56:27 +00001300ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
Argyrios Kyrtzidis12dffcd2010-06-28 09:31:56 +00001301 VisitExpr(E);
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001302
1303 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
Douglas Gregordef03542011-02-04 12:01:24 +00001304 // emitted first.
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001305
1306 Record.push_back(E->HasTemplateKWAndArgsInfo);
1307 if (E->HasTemplateKWAndArgsInfo) {
1308 const ASTTemplateKWAndArgsInfo &Args = *E->getTemplateKWAndArgsInfo();
Argyrios Kyrtzidis12dffcd2010-06-28 09:31:56 +00001309 Record.push_back(Args.NumTemplateArgs);
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001310 AddTemplateKWAndArgsInfo(Args);
Argyrios Kyrtzidis12dffcd2010-06-28 09:31:56 +00001311 }
1312
Douglas Gregor00cf3cc2011-02-25 20:49:16 +00001313 Writer.AddNestedNameSpecifierLoc(E->getQualifierLoc(), Record);
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +00001314 Writer.AddDeclarationNameInfo(E->NameInfo, Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001315 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
Argyrios Kyrtzidis12dffcd2010-06-28 09:31:56 +00001316}
1317
1318void
Sebastian Redl3397c552010-08-18 23:56:27 +00001319ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001320 VisitExpr(E);
1321 Record.push_back(E->arg_size());
1322 for (CXXUnresolvedConstructExpr::arg_iterator
1323 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001324 Writer.AddStmt(*ArgI);
Douglas Gregorab6677e2010-09-08 00:15:04 +00001325 Writer.AddTypeSourceInfo(E->getTypeSourceInfo(), Record);
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001326 Writer.AddSourceLocation(E->getLParenLoc(), Record);
1327 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001328 Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
Argyrios Kyrtzidis8dfbd8b2010-06-24 08:57:31 +00001329}
Chris Lattner2fbdfcd2010-05-09 06:15:05 +00001330
Sebastian Redl3397c552010-08-18 23:56:27 +00001331void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001332 VisitExpr(E);
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001333
1334 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1335 // emitted first.
1336
1337 Record.push_back(E->HasTemplateKWAndArgsInfo);
1338 if (E->HasTemplateKWAndArgsInfo) {
1339 const ASTTemplateKWAndArgsInfo &Args = *E->getTemplateKWAndArgsInfo();
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001340 Record.push_back(Args.NumTemplateArgs);
Abramo Bagnarae4b92762012-01-27 09:46:47 +00001341 AddTemplateKWAndArgsInfo(Args);
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001342 }
1343
1344 Record.push_back(E->getNumDecls());
1345 for (OverloadExpr::decls_iterator
1346 OvI = E->decls_begin(), OvE = E->decls_end(); OvI != OvE; ++OvI) {
1347 Writer.AddDeclRef(OvI.getDecl(), Record);
1348 Record.push_back(OvI.getAccess());
1349 }
1350
Argyrios Kyrtzidis40451072010-10-15 18:21:24 +00001351 Writer.AddDeclarationNameInfo(E->NameInfo, Record);
Douglas Gregor4c9be892011-02-28 20:01:57 +00001352 Writer.AddNestedNameSpecifierLoc(E->getQualifierLoc(), Record);
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001353}
1354
Sebastian Redl3397c552010-08-18 23:56:27 +00001355void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001356 VisitOverloadExpr(E);
1357 Record.push_back(E->isArrow());
1358 Record.push_back(E->hasUnresolvedUsing());
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001359 Writer.AddStmt(!E->isImplicitAccess() ? E->getBase() : 0);
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001360 Writer.AddTypeRef(E->getBaseType(), Record);
1361 Writer.AddSourceLocation(E->getOperatorLoc(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001362 Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
Argyrios Kyrtzidisa77eb082010-06-25 09:03:26 +00001363}
1364
Sebastian Redl3397c552010-08-18 23:56:27 +00001365void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
Argyrios Kyrtzidisbd65bb52010-06-25 09:03:34 +00001366 VisitOverloadExpr(E);
1367 Record.push_back(E->requiresADL());
Richard Smithad762fc2011-04-14 22:09:26 +00001368 if (E->requiresADL())
1369 Record.push_back(E->isStdAssociatedNamespace());
Argyrios Kyrtzidisbd65bb52010-06-25 09:03:34 +00001370 Record.push_back(E->isOverloaded());
1371 Writer.AddDeclRef(E->getNamingClass(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001372 Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
Argyrios Kyrtzidisbd65bb52010-06-25 09:03:34 +00001373}
1374
Sebastian Redl3397c552010-08-18 23:56:27 +00001375void ASTStmtWriter::VisitUnaryTypeTraitExpr(UnaryTypeTraitExpr *E) {
Argyrios Kyrtzidis6d00c132010-07-10 11:46:15 +00001376 VisitExpr(E);
1377 Record.push_back(E->getTrait());
Sebastian Redl0dfd8482010-09-13 20:56:31 +00001378 Record.push_back(E->getValue());
Argyrios Kyrtzidis6d00c132010-07-10 11:46:15 +00001379 Writer.AddSourceRange(E->getSourceRange(), Record);
Douglas Gregor3d37c0a2010-09-09 16:14:44 +00001380 Writer.AddTypeSourceInfo(E->getQueriedTypeSourceInfo(), Record);
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001381 Code = serialization::EXPR_CXX_UNARY_TYPE_TRAIT;
Argyrios Kyrtzidis6d00c132010-07-10 11:46:15 +00001382}
1383
Francois Pichet6ad6f282010-12-07 00:08:36 +00001384void ASTStmtWriter::VisitBinaryTypeTraitExpr(BinaryTypeTraitExpr *E) {
1385 VisitExpr(E);
1386 Record.push_back(E->getTrait());
1387 Record.push_back(E->getValue());
1388 Writer.AddSourceRange(E->getSourceRange(), Record);
1389 Writer.AddTypeSourceInfo(E->getLhsTypeSourceInfo(), Record);
1390 Writer.AddTypeSourceInfo(E->getRhsTypeSourceInfo(), Record);
Francois Pichetf1872372010-12-08 22:35:30 +00001391 Code = serialization::EXPR_BINARY_TYPE_TRAIT;
Francois Pichet6ad6f282010-12-07 00:08:36 +00001392}
1393
Douglas Gregor4ca8ac22012-02-24 07:38:34 +00001394void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
1395 VisitExpr(E);
1396 Record.push_back(E->TypeTraitExprBits.NumArgs);
1397 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
1398 Record.push_back(E->TypeTraitExprBits.Value);
1399 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1400 Writer.AddTypeSourceInfo(E->getArg(I), Record);
1401 Code = serialization::EXPR_TYPE_TRAIT;
1402}
1403
John Wiegley21ff2e52011-04-28 00:16:57 +00001404void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
1405 VisitExpr(E);
1406 Record.push_back(E->getTrait());
1407 Record.push_back(E->getValue());
1408 Writer.AddSourceRange(E->getSourceRange(), Record);
1409 Writer.AddTypeSourceInfo(E->getQueriedTypeSourceInfo(), Record);
1410 Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
1411}
1412
John Wiegley55262202011-04-25 06:54:41 +00001413void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
1414 VisitExpr(E);
1415 Record.push_back(E->getTrait());
1416 Record.push_back(E->getValue());
1417 Writer.AddSourceRange(E->getSourceRange(), Record);
1418 Writer.AddStmt(E->getQueriedExpression());
1419 Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
1420}
1421
Sebastian Redl6b219d02010-09-10 20:55:54 +00001422void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
1423 VisitExpr(E);
1424 Record.push_back(E->getValue());
1425 Writer.AddSourceRange(E->getSourceRange(), Record);
1426 Writer.AddStmt(E->getOperand());
1427 Code = serialization::EXPR_CXX_NOEXCEPT;
1428}
1429
Douglas Gregorbe230c32011-01-03 17:17:50 +00001430void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
1431 VisitExpr(E);
1432 Writer.AddSourceLocation(E->getEllipsisLoc(), Record);
Douglas Gregor67fd1252011-01-14 21:20:45 +00001433 Record.push_back(E->NumExpansions);
Douglas Gregorbe230c32011-01-03 17:17:50 +00001434 Writer.AddStmt(E->getPattern());
1435 Code = serialization::EXPR_PACK_EXPANSION;
1436}
1437
Douglas Gregoree8aff02011-01-04 17:33:58 +00001438void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
1439 VisitExpr(E);
1440 Writer.AddSourceLocation(E->OperatorLoc, Record);
1441 Writer.AddSourceLocation(E->PackLoc, Record);
1442 Writer.AddSourceLocation(E->RParenLoc, Record);
1443 Record.push_back(E->Length);
1444 Writer.AddDeclRef(E->Pack, Record);
1445 Code = serialization::EXPR_SIZEOF_PACK;
1446}
1447
John McCall7110fd62011-07-15 07:00:14 +00001448void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
1449 SubstNonTypeTemplateParmExpr *E) {
1450 VisitExpr(E);
1451 Writer.AddDeclRef(E->getParameter(), Record);
1452 Writer.AddSourceLocation(E->getNameLoc(), Record);
1453 Writer.AddStmt(E->getReplacement());
1454 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
1455}
1456
Douglas Gregorc7793c72011-01-15 01:15:58 +00001457void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
1458 SubstNonTypeTemplateParmPackExpr *E) {
1459 VisitExpr(E);
John McCall7110fd62011-07-15 07:00:14 +00001460 Writer.AddDeclRef(E->getParameterPack(), Record);
Douglas Gregorc7793c72011-01-15 01:15:58 +00001461 Writer.AddTemplateArgument(E->getArgumentPack(), Record);
John McCall7110fd62011-07-15 07:00:14 +00001462 Writer.AddSourceLocation(E->getParameterPackLocation(), Record);
Douglas Gregorc7793c72011-01-15 01:15:58 +00001463 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
1464}
1465
Douglas Gregor03e80032011-06-21 17:03:29 +00001466void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
1467 VisitExpr(E);
1468 Writer.AddStmt(E->Temporary);
1469 Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
1470}
1471
John McCall7cd7d1a2010-11-15 23:31:06 +00001472void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
1473 VisitExpr(E);
Argyrios Kyrtzidis8bc27822011-12-03 03:49:52 +00001474 Writer.AddStmt(E->getSourceExpr());
Douglas Gregorb608b982011-01-28 02:26:04 +00001475 Writer.AddSourceLocation(E->getLocation(), Record);
John McCall7cd7d1a2010-11-15 23:31:06 +00001476 Code = serialization::EXPR_OPAQUE_VALUE;
1477}
1478
Argyrios Kyrtzidisba0a9002009-07-14 03:19:21 +00001479//===----------------------------------------------------------------------===//
Peter Collingbournee08ce652011-02-09 21:07:24 +00001480// CUDA Expressions and Statements.
1481//===----------------------------------------------------------------------===//
1482
1483void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
1484 VisitCallExpr(E);
1485 Writer.AddStmt(E->getConfig());
1486 Code = serialization::EXPR_CUDA_KERNEL_CALL;
1487}
1488
1489//===----------------------------------------------------------------------===//
Tanya Lattner61eee0c2011-06-04 00:47:47 +00001490// OpenCL Expressions and Statements.
1491//===----------------------------------------------------------------------===//
1492void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
1493 VisitExpr(E);
John McCall7110fd62011-07-15 07:00:14 +00001494 Writer.AddSourceLocation(E->getBuiltinLoc(), Record);
1495 Writer.AddSourceLocation(E->getRParenLoc(), Record);
Tanya Lattner61eee0c2011-06-04 00:47:47 +00001496 Writer.AddStmt(E->getSrcExpr());
1497 Code = serialization::EXPR_ASTYPE;
1498}
1499
1500//===----------------------------------------------------------------------===//
John McCall7110fd62011-07-15 07:00:14 +00001501// Microsoft Expressions and Statements.
1502//===----------------------------------------------------------------------===//
1503void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
1504 VisitExpr(E);
1505 Writer.AddSourceRange(E->getSourceRange(), Record);
1506 if (E->isTypeOperand()) {
1507 Writer.AddTypeSourceInfo(E->getTypeOperandSourceInfo(), Record);
1508 Code = serialization::EXPR_CXX_UUIDOF_TYPE;
1509 } else {
1510 Writer.AddStmt(E->getExprOperand());
1511 Code = serialization::EXPR_CXX_UUIDOF_EXPR;
1512 }
1513}
1514
1515void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
1516 VisitStmt(S);
1517 Writer.AddSourceLocation(S->getExceptLoc(), Record);
1518 Writer.AddStmt(S->getFilterExpr());
1519 Writer.AddStmt(S->getBlock());
1520 Code = serialization::STMT_SEH_EXCEPT;
1521}
1522
1523void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
1524 VisitStmt(S);
1525 Writer.AddSourceLocation(S->getFinallyLoc(), Record);
1526 Writer.AddStmt(S->getBlock());
1527 Code = serialization::STMT_SEH_FINALLY;
1528}
1529
1530void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
1531 VisitStmt(S);
1532 Record.push_back(S->getIsCXXTry());
1533 Writer.AddSourceLocation(S->getTryLoc(), Record);
1534 Writer.AddStmt(S->getTryBlock());
1535 Writer.AddStmt(S->getHandler());
1536 Code = serialization::STMT_SEH_TRY;
1537}
1538
1539//===----------------------------------------------------------------------===//
Sebastian Redla4232eb2010-08-18 23:56:21 +00001540// ASTWriter Implementation
Chris Lattner63377d52009-04-27 06:20:01 +00001541//===----------------------------------------------------------------------===//
1542
Sebastian Redla4232eb2010-08-18 23:56:21 +00001543unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
Mike Stump1eb44332009-09-09 15:08:12 +00001544 assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() &&
Chris Lattner63377d52009-04-27 06:20:01 +00001545 "SwitchCase recorded twice");
1546 unsigned NextID = SwitchCaseIDs.size();
1547 SwitchCaseIDs[S] = NextID;
1548 return NextID;
1549}
1550
Sebastian Redla4232eb2010-08-18 23:56:21 +00001551unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
Mike Stump1eb44332009-09-09 15:08:12 +00001552 assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() &&
Chris Lattner63377d52009-04-27 06:20:01 +00001553 "SwitchCase hasn't been seen yet");
1554 return SwitchCaseIDs[S];
1555}
1556
Argyrios Kyrtzidise09a2752010-10-28 09:29:32 +00001557void ASTWriter::ClearSwitchCaseIDs() {
1558 SwitchCaseIDs.clear();
1559}
1560
Chris Lattner63377d52009-04-27 06:20:01 +00001561/// \brief Write the given substatement or subexpression to the
1562/// bitstream.
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001563void ASTWriter::WriteSubStmt(Stmt *S,
1564 llvm::DenseMap<Stmt *, uint64_t> &SubStmtEntries,
1565 llvm::DenseSet<Stmt *> &ParentStmts) {
Chris Lattner63377d52009-04-27 06:20:01 +00001566 RecordData Record;
Sebastian Redl3397c552010-08-18 23:56:27 +00001567 ASTStmtWriter Writer(*this, Record);
Chris Lattner63377d52009-04-27 06:20:01 +00001568 ++NumStatements;
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001569
Chris Lattner63377d52009-04-27 06:20:01 +00001570 if (!S) {
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001571 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
Chris Lattner63377d52009-04-27 06:20:01 +00001572 return;
1573 }
Mike Stump1eb44332009-09-09 15:08:12 +00001574
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001575 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
1576 if (I != SubStmtEntries.end()) {
1577 Record.push_back(I->second);
1578 Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
1579 return;
1580 }
1581
1582#ifndef NDEBUG
1583 assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
1584
1585 struct ParentStmtInserterRAII {
1586 Stmt *S;
1587 llvm::DenseSet<Stmt *> &ParentStmts;
1588
1589 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
1590 : S(S), ParentStmts(ParentStmts) {
1591 ParentStmts.insert(S);
1592 }
1593 ~ParentStmtInserterRAII() {
1594 ParentStmts.erase(S);
1595 }
1596 };
1597
1598 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
1599#endif
1600
Sebastian Redla4232eb2010-08-18 23:56:21 +00001601 // Redirect ASTWriter::AddStmt to collect sub stmts.
Chris Lattner5f9e2722011-07-23 10:55:15 +00001602 SmallVector<Stmt *, 16> SubStmts;
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001603 CollectedStmts = &SubStmts;
1604
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001605 Writer.Code = serialization::STMT_NULL_PTR;
Douglas Gregora72d8c42011-06-03 02:27:19 +00001606 Writer.AbbrevToUse = 0;
Chris Lattner63377d52009-04-27 06:20:01 +00001607 Writer.Visit(S);
Chris Lattner59218632010-05-10 01:22:27 +00001608
1609#ifndef NDEBUG
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001610 if (Writer.Code == serialization::STMT_NULL_PTR) {
Argyrios Kyrtzidis12bf28f2010-06-25 09:03:12 +00001611 SourceManager &SrcMgr
1612 = DeclIDs.begin()->first->getASTContext().getSourceManager();
1613 S->dump(SrcMgr);
David Blaikieb219cfc2011-09-23 05:06:16 +00001614 llvm_unreachable("Unhandled sub statement writing AST file");
Chris Lattner59218632010-05-10 01:22:27 +00001615 }
1616#endif
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001617
Sebastian Redla4232eb2010-08-18 23:56:21 +00001618 // Revert ASTWriter::AddStmt.
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001619 CollectedStmts = &StmtsToEmit;
1620
1621 // Write the sub stmts in reverse order, last to first. When reading them back
1622 // we will read them in correct order by "pop"ing them from the Stmts stack.
1623 // This simplifies reading and allows to store a variable number of sub stmts
1624 // without knowing it in advance.
1625 while (!SubStmts.empty())
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001626 WriteSubStmt(SubStmts.pop_back_val(), SubStmtEntries, ParentStmts);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001627
Douglas Gregora72d8c42011-06-03 02:27:19 +00001628 Stream.EmitRecord(Writer.Code, Record, Writer.AbbrevToUse);
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001629
1630 SubStmtEntries[S] = Stream.GetCurrentBitNo();
Chris Lattner63377d52009-04-27 06:20:01 +00001631}
1632
1633/// \brief Flush all of the statements that have been added to the
1634/// queue via AddStmt().
Sebastian Redla4232eb2010-08-18 23:56:21 +00001635void ASTWriter::FlushStmts() {
Chris Lattner63377d52009-04-27 06:20:01 +00001636 RecordData Record;
Mike Stump1eb44332009-09-09 15:08:12 +00001637
Daniel Dunbarc52d90572012-02-29 02:39:13 +00001638 // We expect to be the only consumer of the two temporary statement maps,
1639 // assert that they are empty.
1640 assert(SubStmtEntries.empty() && "unexpected entries in sub stmt map");
1641 assert(ParentStmts.empty() && "unexpected entries in parent stmt map");
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001642
Chris Lattner63377d52009-04-27 06:20:01 +00001643 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001644 WriteSubStmt(StmtsToEmit[I], SubStmtEntries, ParentStmts);
Argyrios Kyrtzidis919e6932010-06-28 22:28:35 +00001645
Mike Stump1eb44332009-09-09 15:08:12 +00001646 assert(N == StmtsToEmit.size() &&
Chris Lattnerfc8f0e12011-04-15 05:22:18 +00001647 "Substatement written via AddStmt rather than WriteSubStmt!");
Mike Stump1eb44332009-09-09 15:08:12 +00001648
Chris Lattner63377d52009-04-27 06:20:01 +00001649 // Note that we are at the end of a full expression. Any
1650 // expression records that follow this one are part of a different
1651 // expression.
Sebastian Redl8538e8d2010-08-18 23:57:32 +00001652 Stream.EmitRecord(serialization::STMT_STOP, Record);
Argyrios Kyrtzidise6f08682011-10-21 23:02:28 +00001653
1654 SubStmtEntries.clear();
1655 ParentStmts.clear();
Chris Lattner63377d52009-04-27 06:20:01 +00001656 }
Mike Stump1eb44332009-09-09 15:08:12 +00001657
Chris Lattner63377d52009-04-27 06:20:01 +00001658 StmtsToEmit.clear();
Chris Lattner63377d52009-04-27 06:20:01 +00001659}