blob: 4f579dc346ec3659e05b7a7428010b8710f323b4 [file] [log] [blame]
Sebastian Redld6522cf2010-08-18 23:56:31 +00001//===--- ASTWriterStmt.cpp - Statement and Expression Serialization -------===//
Chris Lattner1f551822009-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//===----------------------------------------------------------------------===//
James Dennettddd36ff2013-08-09 23:08:25 +00009///
10/// \file
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000011/// Implements serialization for Statements and Expressions.
James Dennettddd36ff2013-08-09 23:08:25 +000012///
Chris Lattner1f551822009-04-27 06:20:01 +000013//===----------------------------------------------------------------------===//
14
Sebastian Redl1914c6f2010-08-18 23:56:37 +000015#include "clang/Serialization/ASTWriter.h"
Benjamin Kramer4ab984e2012-07-04 20:19:54 +000016#include "clang/AST/ASTContext.h"
Douglas Gregor5d3507d2009-09-09 23:08:42 +000017#include "clang/AST/DeclCXX.h"
Chris Lattner1f551822009-04-27 06:20:01 +000018#include "clang/AST/DeclObjC.h"
Douglas Gregorcdbc5392011-01-15 01:15:58 +000019#include "clang/AST/DeclTemplate.h"
Chris Lattner1f551822009-04-27 06:20:01 +000020#include "clang/AST/StmtVisitor.h"
John McCallf413f5e2013-05-03 00:10:13 +000021#include "clang/Lex/Token.h"
Chris Lattner1f551822009-04-27 06:20:01 +000022#include "llvm/Bitcode/BitstreamWriter.h"
23using namespace clang;
24
25//===----------------------------------------------------------------------===//
26// Statement/expression serialization
27//===----------------------------------------------------------------------===//
28
Argyrios Kyrtzidisf9f47c82010-06-30 08:49:18 +000029namespace clang {
Alexey Bataev5ec3eb12013-07-19 03:13:43 +000030
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000031 class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> {
Sebastian Redl55c0ad52010-08-18 23:56:21 +000032 ASTWriter &Writer;
Richard Smith290d8012016-04-06 17:06:00 +000033 ASTRecordWriter Record;
Chris Lattner1f551822009-04-27 06:20:01 +000034
Sebastian Redl539c5062010-08-18 23:57:32 +000035 serialization::StmtCode Code;
Douglas Gregor03412ba2011-06-03 02:27:19 +000036 unsigned AbbrevToUse;
Chris Lattner1f551822009-04-27 06:20:01 +000037
Richard Smith290d8012016-04-06 17:06:00 +000038 public:
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000039 ASTStmtWriter(ASTWriter &Writer, ASTWriter::RecordData &Record)
Richard Smith290d8012016-04-06 17:06:00 +000040 : Writer(Writer), Record(Writer, Record),
41 Code(serialization::STMT_NULL_PTR), AbbrevToUse(0) {}
42
43 ASTStmtWriter(const ASTStmtWriter&) = delete;
44
Richard Smithf50422a2016-04-06 20:12:34 +000045 uint64_t Emit() {
Richard Smith290d8012016-04-06 17:06:00 +000046 assert(Code != serialization::STMT_NULL_PTR &&
47 "unhandled sub-statement writing AST file");
48 return Record.EmitStmt(Code, AbbrevToUse);
49 }
Abramo Bagnara7945c982012-01-27 09:46:47 +000050
James Y Knighte7d82282015-12-29 18:15:14 +000051 void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &ArgInfo,
52 const TemplateArgumentLoc *Args);
Chris Lattner1f551822009-04-27 06:20:01 +000053
54 void VisitStmt(Stmt *S);
John McCallfa194042011-07-15 07:00:14 +000055#define STMT(Type, Base) \
56 void Visit##Type(Type *);
57#include "clang/AST/StmtNodes.inc"
Chris Lattner1f551822009-04-27 06:20:01 +000058 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +000059}
Chris Lattner1f551822009-04-27 06:20:01 +000060
James Y Knighte7d82282015-12-29 18:15:14 +000061void ASTStmtWriter::AddTemplateKWAndArgsInfo(
62 const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args) {
Richard Smith290d8012016-04-06 17:06:00 +000063 Record.AddSourceLocation(ArgInfo.TemplateKWLoc);
64 Record.AddSourceLocation(ArgInfo.LAngleLoc);
65 Record.AddSourceLocation(ArgInfo.RAngleLoc);
James Y Knighte7d82282015-12-29 18:15:14 +000066 for (unsigned i = 0; i != ArgInfo.NumTemplateArgs; ++i)
Richard Smith290d8012016-04-06 17:06:00 +000067 Record.AddTemplateArgumentLoc(Args[i]);
Argyrios Kyrtzidisb5288de2010-06-28 09:31:48 +000068}
69
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000070void ASTStmtWriter::VisitStmt(Stmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +000071}
72
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000073void ASTStmtWriter::VisitNullStmt(NullStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +000074 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +000075 Record.AddSourceLocation(S->getSemiLoc());
Bruno Ricci41d11c02018-10-27 18:43:27 +000076 Record.push_back(S->NullStmtBits.HasLeadingEmptyMacro);
Sebastian Redl539c5062010-08-18 23:57:32 +000077 Code = serialization::STMT_NULL;
Chris Lattner1f551822009-04-27 06:20:01 +000078}
79
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000080void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +000081 VisitStmt(S);
82 Record.push_back(S->size());
Aaron Ballmanc7e4e212014-03-17 14:19:37 +000083 for (auto *CS : S->body())
Richard Smith290d8012016-04-06 17:06:00 +000084 Record.AddStmt(CS);
85 Record.AddSourceLocation(S->getLBracLoc());
86 Record.AddSourceLocation(S->getRBracLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +000087 Code = serialization::STMT_COMPOUND;
Chris Lattner1f551822009-04-27 06:20:01 +000088}
89
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000090void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) {
Chris Lattner1f551822009-04-27 06:20:01 +000091 VisitStmt(S);
Argyrios Kyrtzidisd0795b22010-06-28 22:28:35 +000092 Record.push_back(Writer.getSwitchCaseID(S));
Richard Smith290d8012016-04-06 17:06:00 +000093 Record.AddSourceLocation(S->getKeywordLoc());
94 Record.AddSourceLocation(S->getColonLoc());
Chris Lattner1f551822009-04-27 06:20:01 +000095}
96
Sebastian Redl42a0f6a2010-08-18 23:56:27 +000097void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +000098 VisitSwitchCase(S);
Bruno Ricci5b30571752018-10-28 12:30:53 +000099 Record.push_back(S->caseStmtIsGNURange());
Richard Smith290d8012016-04-06 17:06:00 +0000100 Record.AddStmt(S->getLHS());
Richard Smith290d8012016-04-06 17:06:00 +0000101 Record.AddStmt(S->getSubStmt());
Bruno Ricci5b30571752018-10-28 12:30:53 +0000102 if (S->caseStmtIsGNURange()) {
103 Record.AddStmt(S->getRHS());
104 Record.AddSourceLocation(S->getEllipsisLoc());
105 }
Sebastian Redl539c5062010-08-18 23:57:32 +0000106 Code = serialization::STMT_CASE;
Chris Lattner1f551822009-04-27 06:20:01 +0000107}
108
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000109void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000110 VisitSwitchCase(S);
Richard Smith290d8012016-04-06 17:06:00 +0000111 Record.AddStmt(S->getSubStmt());
Sebastian Redl539c5062010-08-18 23:57:32 +0000112 Code = serialization::STMT_DEFAULT;
Chris Lattner1f551822009-04-27 06:20:01 +0000113}
114
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000115void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000116 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000117 Record.AddDeclRef(S->getDecl());
118 Record.AddStmt(S->getSubStmt());
119 Record.AddSourceLocation(S->getIdentLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000120 Code = serialization::STMT_LABEL;
Chris Lattner1f551822009-04-27 06:20:01 +0000121}
122
Richard Smithc202b282012-04-14 00:33:13 +0000123void ASTStmtWriter::VisitAttributedStmt(AttributedStmt *S) {
124 VisitStmt(S);
Alexander Kornienko20f6fc62012-07-09 10:04:07 +0000125 Record.push_back(S->getAttrs().size());
Richard Smith290d8012016-04-06 17:06:00 +0000126 Record.AddAttributes(S->getAttrs());
127 Record.AddStmt(S->getSubStmt());
128 Record.AddSourceLocation(S->getAttrLoc());
Richard Smithc202b282012-04-14 00:33:13 +0000129 Code = serialization::STMT_ATTRIBUTED;
130}
131
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000132void ASTStmtWriter::VisitIfStmt(IfStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000133 VisitStmt(S);
Bruno Riccib1cc94b2018-10-27 21:12:20 +0000134
135 bool HasElse = S->getElse() != nullptr;
136 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
137 bool HasInit = S->getInit() != nullptr;
138
Richard Smithb130fe72016-06-23 19:16:49 +0000139 Record.push_back(S->isConstexpr());
Bruno Riccib1cc94b2018-10-27 21:12:20 +0000140 Record.push_back(HasElse);
141 Record.push_back(HasVar);
142 Record.push_back(HasInit);
143
Richard Smith290d8012016-04-06 17:06:00 +0000144 Record.AddStmt(S->getCond());
145 Record.AddStmt(S->getThen());
Bruno Riccib1cc94b2018-10-27 21:12:20 +0000146 if (HasElse)
147 Record.AddStmt(S->getElse());
148 if (HasVar)
149 Record.AddDeclRef(S->getConditionVariable());
150 if (HasInit)
151 Record.AddStmt(S->getInit());
152
Richard Smith290d8012016-04-06 17:06:00 +0000153 Record.AddSourceLocation(S->getIfLoc());
Bruno Riccib1cc94b2018-10-27 21:12:20 +0000154 if (HasElse)
155 Record.AddSourceLocation(S->getElseLoc());
156
Sebastian Redl539c5062010-08-18 23:57:32 +0000157 Code = serialization::STMT_IF;
Chris Lattner1f551822009-04-27 06:20:01 +0000158}
159
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000160void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000161 VisitStmt(S);
Bruno Riccie2806f82018-10-29 16:12:37 +0000162
163 bool HasInit = S->getInit() != nullptr;
164 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
165 Record.push_back(HasInit);
166 Record.push_back(HasVar);
167 Record.push_back(S->isAllEnumCasesCovered());
168
Richard Smith290d8012016-04-06 17:06:00 +0000169 Record.AddStmt(S->getCond());
170 Record.AddStmt(S->getBody());
Bruno Riccie2806f82018-10-29 16:12:37 +0000171 if (HasInit)
172 Record.AddStmt(S->getInit());
173 if (HasVar)
174 Record.AddDeclRef(S->getConditionVariable());
175
Richard Smith290d8012016-04-06 17:06:00 +0000176 Record.AddSourceLocation(S->getSwitchLoc());
Bruno Riccie2806f82018-10-29 16:12:37 +0000177
Mike Stump11289f42009-09-09 15:08:12 +0000178 for (SwitchCase *SC = S->getSwitchCaseList(); SC;
Chris Lattner1f551822009-04-27 06:20:01 +0000179 SC = SC->getNextSwitchCase())
Argyrios Kyrtzidisd0795b22010-06-28 22:28:35 +0000180 Record.push_back(Writer.RecordSwitchCaseID(SC));
Sebastian Redl539c5062010-08-18 23:57:32 +0000181 Code = serialization::STMT_SWITCH;
Chris Lattner1f551822009-04-27 06:20:01 +0000182}
183
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000184void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000185 VisitStmt(S);
Bruno Riccibacf7512018-10-30 13:42:41 +0000186
187 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
188 Record.push_back(HasVar);
189
Richard Smith290d8012016-04-06 17:06:00 +0000190 Record.AddStmt(S->getCond());
191 Record.AddStmt(S->getBody());
Bruno Riccibacf7512018-10-30 13:42:41 +0000192 if (HasVar)
193 Record.AddDeclRef(S->getConditionVariable());
194
Richard Smith290d8012016-04-06 17:06:00 +0000195 Record.AddSourceLocation(S->getWhileLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000196 Code = serialization::STMT_WHILE;
Chris Lattner1f551822009-04-27 06:20:01 +0000197}
198
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000199void ASTStmtWriter::VisitDoStmt(DoStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000200 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000201 Record.AddStmt(S->getCond());
202 Record.AddStmt(S->getBody());
203 Record.AddSourceLocation(S->getDoLoc());
204 Record.AddSourceLocation(S->getWhileLoc());
205 Record.AddSourceLocation(S->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000206 Code = serialization::STMT_DO;
Chris Lattner1f551822009-04-27 06:20:01 +0000207}
208
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000209void ASTStmtWriter::VisitForStmt(ForStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000210 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000211 Record.AddStmt(S->getInit());
212 Record.AddStmt(S->getCond());
213 Record.AddDeclRef(S->getConditionVariable());
214 Record.AddStmt(S->getInc());
215 Record.AddStmt(S->getBody());
216 Record.AddSourceLocation(S->getForLoc());
217 Record.AddSourceLocation(S->getLParenLoc());
218 Record.AddSourceLocation(S->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000219 Code = serialization::STMT_FOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000220}
221
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000222void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000223 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000224 Record.AddDeclRef(S->getLabel());
225 Record.AddSourceLocation(S->getGotoLoc());
226 Record.AddSourceLocation(S->getLabelLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000227 Code = serialization::STMT_GOTO;
Chris Lattner1f551822009-04-27 06:20:01 +0000228}
229
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000230void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000231 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000232 Record.AddSourceLocation(S->getGotoLoc());
233 Record.AddSourceLocation(S->getStarLoc());
234 Record.AddStmt(S->getTarget());
Sebastian Redl539c5062010-08-18 23:57:32 +0000235 Code = serialization::STMT_INDIRECT_GOTO;
Chris Lattner1f551822009-04-27 06:20:01 +0000236}
237
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000238void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000239 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000240 Record.AddSourceLocation(S->getContinueLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000241 Code = serialization::STMT_CONTINUE;
Chris Lattner1f551822009-04-27 06:20:01 +0000242}
243
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000244void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000245 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000246 Record.AddSourceLocation(S->getBreakLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000247 Code = serialization::STMT_BREAK;
Chris Lattner1f551822009-04-27 06:20:01 +0000248}
249
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000250void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000251 VisitStmt(S);
Bruno Ricci023b1d12018-10-30 14:40:49 +0000252
253 bool HasNRVOCandidate = S->getNRVOCandidate() != nullptr;
254 Record.push_back(HasNRVOCandidate);
255
Richard Smith290d8012016-04-06 17:06:00 +0000256 Record.AddStmt(S->getRetValue());
Bruno Ricci023b1d12018-10-30 14:40:49 +0000257 if (HasNRVOCandidate)
258 Record.AddDeclRef(S->getNRVOCandidate());
259
Richard Smith290d8012016-04-06 17:06:00 +0000260 Record.AddSourceLocation(S->getReturnLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000261 Code = serialization::STMT_RETURN;
Chris Lattner1f551822009-04-27 06:20:01 +0000262}
263
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000264void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000265 VisitStmt(S);
Stephen Kellya6e43582018-08-09 21:05:56 +0000266 Record.AddSourceLocation(S->getBeginLoc());
Richard Smith290d8012016-04-06 17:06:00 +0000267 Record.AddSourceLocation(S->getEndLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000268 DeclGroupRef DG = S->getDeclGroup();
269 for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D)
Richard Smith290d8012016-04-06 17:06:00 +0000270 Record.AddDeclRef(*D);
Sebastian Redl539c5062010-08-18 23:57:32 +0000271 Code = serialization::STMT_DECL;
Chris Lattner1f551822009-04-27 06:20:01 +0000272}
273
John McCallf413f5e2013-05-03 00:10:13 +0000274void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +0000275 VisitStmt(S);
276 Record.push_back(S->getNumOutputs());
277 Record.push_back(S->getNumInputs());
278 Record.push_back(S->getNumClobbers());
Richard Smith290d8012016-04-06 17:06:00 +0000279 Record.AddSourceLocation(S->getAsmLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000280 Record.push_back(S->isVolatile());
281 Record.push_back(S->isSimple());
John McCallf413f5e2013-05-03 00:10:13 +0000282}
283
284void ASTStmtWriter::VisitGCCAsmStmt(GCCAsmStmt *S) {
285 VisitAsmStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000286 Record.AddSourceLocation(S->getRParenLoc());
287 Record.AddStmt(S->getAsmString());
Chris Lattner1f551822009-04-27 06:20:01 +0000288
289 // Outputs
Fangrui Song6907ce22018-07-30 19:24:48 +0000290 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000291 Record.AddIdentifierRef(S->getOutputIdentifier(I));
292 Record.AddStmt(S->getOutputConstraintLiteral(I));
293 Record.AddStmt(S->getOutputExpr(I));
Chris Lattner1f551822009-04-27 06:20:01 +0000294 }
295
296 // Inputs
297 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000298 Record.AddIdentifierRef(S->getInputIdentifier(I));
299 Record.AddStmt(S->getInputConstraintLiteral(I));
300 Record.AddStmt(S->getInputExpr(I));
Chris Lattner1f551822009-04-27 06:20:01 +0000301 }
302
303 // Clobbers
304 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000305 Record.AddStmt(S->getClobberStringLiteral(I));
Chris Lattner1f551822009-04-27 06:20:01 +0000306
Chad Rosierde70e0e2012-08-25 00:11:56 +0000307 Code = serialization::STMT_GCCASM;
Chris Lattner1f551822009-04-27 06:20:01 +0000308}
309
Chad Rosier32503022012-06-11 20:47:18 +0000310void ASTStmtWriter::VisitMSAsmStmt(MSAsmStmt *S) {
John McCallf413f5e2013-05-03 00:10:13 +0000311 VisitAsmStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +0000312 Record.AddSourceLocation(S->getLBraceLoc());
313 Record.AddSourceLocation(S->getEndLoc());
John McCallf413f5e2013-05-03 00:10:13 +0000314 Record.push_back(S->getNumAsmToks());
Richard Smith290d8012016-04-06 17:06:00 +0000315 Record.AddString(S->getAsmString());
John McCallf413f5e2013-05-03 00:10:13 +0000316
317 // Tokens
318 for (unsigned I = 0, N = S->getNumAsmToks(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000319 // FIXME: Move this to ASTRecordWriter?
320 Writer.AddToken(S->getAsmToks()[I], Record.getRecordData());
John McCallf413f5e2013-05-03 00:10:13 +0000321 }
322
323 // Clobbers
324 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000325 Record.AddString(S->getClobber(I));
John McCallf413f5e2013-05-03 00:10:13 +0000326 }
327
328 // Outputs
Gor Nishanovf5ecb5e2017-07-25 18:01:49 +0000329 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000330 Record.AddStmt(S->getOutputExpr(I));
331 Record.AddString(S->getOutputConstraint(I));
John McCallf413f5e2013-05-03 00:10:13 +0000332 }
333
334 // Inputs
335 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000336 Record.AddStmt(S->getInputExpr(I));
337 Record.AddString(S->getInputConstraint(I));
John McCallf413f5e2013-05-03 00:10:13 +0000338 }
Chad Rosiere30d4992012-08-24 23:51:02 +0000339
340 Code = serialization::STMT_MSASM;
Chad Rosier32503022012-06-11 20:47:18 +0000341}
342
Gor Nishanovf5ecb5e2017-07-25 18:01:49 +0000343void ASTStmtWriter::VisitCoroutineBodyStmt(CoroutineBodyStmt *CoroStmt) {
344 VisitStmt(CoroStmt);
345 Record.push_back(CoroStmt->getParamMoves().size());
346 for (Stmt *S : CoroStmt->children())
347 Record.AddStmt(S);
348 Code = serialization::STMT_COROUTINE_BODY;
Richard Smith9f690bd2015-10-27 06:02:45 +0000349}
350
351void ASTStmtWriter::VisitCoreturnStmt(CoreturnStmt *S) {
Gor Nishanovf5ecb5e2017-07-25 18:01:49 +0000352 VisitStmt(S);
353 Record.AddSourceLocation(S->getKeywordLoc());
354 Record.AddStmt(S->getOperand());
355 Record.AddStmt(S->getPromiseCall());
356 Record.push_back(S->isImplicit());
357 Code = serialization::STMT_CORETURN;
Richard Smith9f690bd2015-10-27 06:02:45 +0000358}
359
Gor Nishanovf5ecb5e2017-07-25 18:01:49 +0000360void ASTStmtWriter::VisitCoroutineSuspendExpr(CoroutineSuspendExpr *E) {
361 VisitExpr(E);
362 Record.AddSourceLocation(E->getKeywordLoc());
363 for (Stmt *S : E->children())
364 Record.AddStmt(S);
365 Record.AddStmt(E->getOpaqueValue());
Richard Smith9f690bd2015-10-27 06:02:45 +0000366}
367
Gor Nishanovf5ecb5e2017-07-25 18:01:49 +0000368void ASTStmtWriter::VisitCoawaitExpr(CoawaitExpr *E) {
369 VisitCoroutineSuspendExpr(E);
370 Record.push_back(E->isImplicit());
371 Code = serialization::EXPR_COAWAIT;
Eric Fiselier20f25cb2017-03-06 23:38:15 +0000372}
373
Gor Nishanovf5ecb5e2017-07-25 18:01:49 +0000374void ASTStmtWriter::VisitCoyieldExpr(CoyieldExpr *E) {
375 VisitCoroutineSuspendExpr(E);
376 Code = serialization::EXPR_COYIELD;
377}
378
379void ASTStmtWriter::VisitDependentCoawaitExpr(DependentCoawaitExpr *E) {
380 VisitExpr(E);
381 Record.AddSourceLocation(E->getKeywordLoc());
382 for (Stmt *S : E->children())
383 Record.AddStmt(S);
384 Code = serialization::EXPR_DEPENDENT_COAWAIT;
Richard Smith9f690bd2015-10-27 06:02:45 +0000385}
386
Tareq A. Siraj24110cc2013-04-16 18:53:08 +0000387void ASTStmtWriter::VisitCapturedStmt(CapturedStmt *S) {
388 VisitStmt(S);
Ben Langmuirce914fc2013-05-03 19:20:19 +0000389 // NumCaptures
390 Record.push_back(std::distance(S->capture_begin(), S->capture_end()));
Tareq A. Siraj24110cc2013-04-16 18:53:08 +0000391
Wei Pan17fbf6e2013-05-04 03:59:06 +0000392 // CapturedDecl and captured region kind
Richard Smith290d8012016-04-06 17:06:00 +0000393 Record.AddDeclRef(S->getCapturedDecl());
Wei Pan17fbf6e2013-05-04 03:59:06 +0000394 Record.push_back(S->getCapturedRegionKind());
395
Richard Smith290d8012016-04-06 17:06:00 +0000396 Record.AddDeclRef(S->getCapturedRecordDecl());
Ben Langmuirce914fc2013-05-03 19:20:19 +0000397
398 // Capture inits
Aaron Ballmanba0238f2014-03-14 19:41:04 +0000399 for (auto *I : S->capture_inits())
Richard Smith290d8012016-04-06 17:06:00 +0000400 Record.AddStmt(I);
Ben Langmuirce914fc2013-05-03 19:20:19 +0000401
402 // Body
Richard Smith290d8012016-04-06 17:06:00 +0000403 Record.AddStmt(S->getCapturedStmt());
Ben Langmuirce914fc2013-05-03 19:20:19 +0000404
405 // Captures
Aaron Ballmanc656303a2014-03-14 18:08:33 +0000406 for (const auto &I : S->captures()) {
Alexey Bataev330de032014-10-29 12:21:55 +0000407 if (I.capturesThis() || I.capturesVariableArrayType())
Richard Smith290d8012016-04-06 17:06:00 +0000408 Record.AddDeclRef(nullptr);
Ben Langmuirce914fc2013-05-03 19:20:19 +0000409 else
Richard Smith290d8012016-04-06 17:06:00 +0000410 Record.AddDeclRef(I.getCapturedVar());
Aaron Ballmanc656303a2014-03-14 18:08:33 +0000411 Record.push_back(I.getCaptureKind());
Richard Smith290d8012016-04-06 17:06:00 +0000412 Record.AddSourceLocation(I.getLocation());
Ben Langmuirce914fc2013-05-03 19:20:19 +0000413 }
414
415 Code = serialization::STMT_CAPTURED;
Tareq A. Siraj24110cc2013-04-16 18:53:08 +0000416}
417
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000418void ASTStmtWriter::VisitExpr(Expr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000419 VisitStmt(E);
Richard Smith290d8012016-04-06 17:06:00 +0000420 Record.AddTypeRef(E->getType());
Chris Lattner1f551822009-04-27 06:20:01 +0000421 Record.push_back(E->isTypeDependent());
422 Record.push_back(E->isValueDependent());
Douglas Gregor678d76c2011-07-01 01:22:09 +0000423 Record.push_back(E->isInstantiationDependent());
Douglas Gregor506bd562010-12-13 22:49:22 +0000424 Record.push_back(E->containsUnexpandedParameterPack());
John McCall7decc9e2010-11-18 06:31:45 +0000425 Record.push_back(E->getValueKind());
426 Record.push_back(E->getObjectKind());
Chris Lattner1f551822009-04-27 06:20:01 +0000427}
428
Bill Wendling7c44da22018-10-31 03:48:47 +0000429void ASTStmtWriter::VisitConstantExpr(ConstantExpr *E) {
430 VisitExpr(E);
431 Record.AddStmt(E->getSubExpr());
432 Code = serialization::EXPR_CONSTANT;
433}
434
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000435void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000436 VisitExpr(E);
Bruno Ricci17ff0262018-10-27 19:21:19 +0000437
438 bool HasFunctionName = E->getFunctionName() != nullptr;
439 Record.push_back(HasFunctionName);
440 Record.push_back(E->getIdentKind()); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +0000441 Record.AddSourceLocation(E->getLocation());
Bruno Ricci17ff0262018-10-27 19:21:19 +0000442 if (HasFunctionName)
443 Record.AddStmt(E->getFunctionName());
Sebastian Redl539c5062010-08-18 23:57:32 +0000444 Code = serialization::EXPR_PREDEFINED;
Chris Lattner1f551822009-04-27 06:20:01 +0000445}
446
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000447void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000448 VisitExpr(E);
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000449
450 Record.push_back(E->hasQualifier());
Chandler Carruth8d26bb02011-05-01 23:48:14 +0000451 Record.push_back(E->getDecl() != E->getFoundDecl());
Abramo Bagnara7945c982012-01-27 09:46:47 +0000452 Record.push_back(E->hasTemplateKWAndArgsInfo());
Abramo Bagnara635ed24e2011-10-05 07:56:41 +0000453 Record.push_back(E->hadMultipleCandidates());
Alexey Bataev19acc3d2015-01-12 10:17:46 +0000454 Record.push_back(E->refersToEnclosingVariableOrCapture());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000455
Abramo Bagnara7945c982012-01-27 09:46:47 +0000456 if (E->hasTemplateKWAndArgsInfo()) {
Douglas Gregor87866ce2011-02-04 12:01:24 +0000457 unsigned NumTemplateArgs = E->getNumTemplateArgs();
458 Record.push_back(NumTemplateArgs);
Douglas Gregor87866ce2011-02-04 12:01:24 +0000459 }
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000460
Douglas Gregor03412ba2011-06-03 02:27:19 +0000461 DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind());
462
Abramo Bagnara7945c982012-01-27 09:46:47 +0000463 if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) &&
Douglas Gregor03412ba2011-06-03 02:27:19 +0000464 (E->getDecl() == E->getFoundDecl()) &&
465 nk == DeclarationName::Identifier) {
466 AbbrevToUse = Writer.getDeclRefExprAbbrev();
467 }
468
Anders Carlsson80756f62011-03-06 18:19:42 +0000469 if (E->hasQualifier())
Richard Smith290d8012016-04-06 17:06:00 +0000470 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
Anders Carlsson80756f62011-03-06 18:19:42 +0000471
Chandler Carruth8d26bb02011-05-01 23:48:14 +0000472 if (E->getDecl() != E->getFoundDecl())
Richard Smith290d8012016-04-06 17:06:00 +0000473 Record.AddDeclRef(E->getFoundDecl());
Chandler Carruth8d26bb02011-05-01 23:48:14 +0000474
Abramo Bagnara7945c982012-01-27 09:46:47 +0000475 if (E->hasTemplateKWAndArgsInfo())
James Y Knighte7d82282015-12-29 18:15:14 +0000476 AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
477 E->getTrailingObjects<TemplateArgumentLoc>());
Anders Carlsson80756f62011-03-06 18:19:42 +0000478
Richard Smith290d8012016-04-06 17:06:00 +0000479 Record.AddDeclRef(E->getDecl());
480 Record.AddSourceLocation(E->getLocation());
481 Record.AddDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName());
Sebastian Redl539c5062010-08-18 23:57:32 +0000482 Code = serialization::EXPR_DECL_REF;
Chris Lattner1f551822009-04-27 06:20:01 +0000483}
484
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000485void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000486 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000487 Record.AddSourceLocation(E->getLocation());
488 Record.AddAPInt(E->getValue());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000489
490 if (E->getValue().getBitWidth() == 32) {
491 AbbrevToUse = Writer.getIntegerLiteralAbbrev();
492 }
493
Sebastian Redl539c5062010-08-18 23:57:32 +0000494 Code = serialization::EXPR_INTEGER_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000495}
496
Leonard Chandb01c3a2018-06-20 17:19:40 +0000497void ASTStmtWriter::VisitFixedPointLiteral(FixedPointLiteral *E) {
498 VisitExpr(E);
499 Record.AddSourceLocation(E->getLocation());
500 Record.AddAPInt(E->getValue());
501 Code = serialization::EXPR_INTEGER_LITERAL;
502}
503
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000504void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000505 VisitExpr(E);
Tim Northover178723a2013-01-22 09:46:51 +0000506 Record.push_back(E->getRawSemantics());
Chris Lattner1f551822009-04-27 06:20:01 +0000507 Record.push_back(E->isExact());
Richard Smith290d8012016-04-06 17:06:00 +0000508 Record.AddAPFloat(E->getValue());
509 Record.AddSourceLocation(E->getLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +0000510 Code = serialization::EXPR_FLOATING_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000511}
512
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000513void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000514 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000515 Record.AddStmt(E->getSubExpr());
Sebastian Redl539c5062010-08-18 23:57:32 +0000516 Code = serialization::EXPR_IMAGINARY_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000517}
518
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000519void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000520 VisitExpr(E);
521 Record.push_back(E->getByteLength());
522 Record.push_back(E->getNumConcatenated());
Douglas Gregorfb65e592011-07-27 05:40:30 +0000523 Record.push_back(E->getKind());
Anders Carlsson75245402011-04-14 00:40:03 +0000524 Record.push_back(E->isPascal());
Chris Lattner1f551822009-04-27 06:20:01 +0000525 // FIXME: String data should be stored as a blob at the end of the
526 // StringLiteral. However, we can't do so now because we have no
527 // provision for coping with abbreviations when we're jumping around
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000528 // the AST file during deserialization.
Eli Friedmanfcec6302011-11-01 02:23:42 +0000529 Record.append(E->getBytes().begin(), E->getBytes().end());
Chris Lattner1f551822009-04-27 06:20:01 +0000530 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000531 Record.AddSourceLocation(E->getStrTokenLoc(I));
Sebastian Redl539c5062010-08-18 23:57:32 +0000532 Code = serialization::EXPR_STRING_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000533}
534
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000535void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000536 VisitExpr(E);
537 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +0000538 Record.AddSourceLocation(E->getLocation());
Douglas Gregorfb65e592011-07-27 05:40:30 +0000539 Record.push_back(E->getKind());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000540
541 AbbrevToUse = Writer.getCharacterLiteralAbbrev();
542
Sebastian Redl539c5062010-08-18 23:57:32 +0000543 Code = serialization::EXPR_CHARACTER_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000544}
545
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000546void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000547 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000548 Record.AddSourceLocation(E->getLParen());
549 Record.AddSourceLocation(E->getRParen());
550 Record.AddStmt(E->getSubExpr());
Sebastian Redl539c5062010-08-18 23:57:32 +0000551 Code = serialization::EXPR_PAREN;
Chris Lattner1f551822009-04-27 06:20:01 +0000552}
553
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000554void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
Argyrios Kyrtzidisf9f47c82010-06-30 08:49:18 +0000555 VisitExpr(E);
556 Record.push_back(E->NumExprs);
557 for (unsigned i=0; i != E->NumExprs; ++i)
Richard Smith290d8012016-04-06 17:06:00 +0000558 Record.AddStmt(E->Exprs[i]);
559 Record.AddSourceLocation(E->LParenLoc);
560 Record.AddSourceLocation(E->RParenLoc);
Sebastian Redl539c5062010-08-18 23:57:32 +0000561 Code = serialization::EXPR_PAREN_LIST;
Argyrios Kyrtzidisf9f47c82010-06-30 08:49:18 +0000562}
563
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000564void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000565 VisitExpr(E);
Malcolm Parsonsfab36802018-04-16 08:31:08 +0000566 Record.AddStmt(E->getSubExpr());
567 Record.push_back(E->getOpcode()); // FIXME: stable encoding
568 Record.AddSourceLocation(E->getOperatorLoc());
569 Record.push_back(E->canOverflow());
570 Code = serialization::EXPR_UNARY_OPERATOR;
571}
572
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000573void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
Douglas Gregor882211c2010-04-28 22:16:22 +0000574 VisitExpr(E);
575 Record.push_back(E->getNumComponents());
576 Record.push_back(E->getNumExpressions());
Richard Smith290d8012016-04-06 17:06:00 +0000577 Record.AddSourceLocation(E->getOperatorLoc());
578 Record.AddSourceLocation(E->getRParenLoc());
579 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
Douglas Gregor882211c2010-04-28 22:16:22 +0000580 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
James Y Knight7281c352015-12-29 22:31:18 +0000581 const OffsetOfNode &ON = E->getComponent(I);
Douglas Gregor882211c2010-04-28 22:16:22 +0000582 Record.push_back(ON.getKind()); // FIXME: Stable encoding
Richard Smith290d8012016-04-06 17:06:00 +0000583 Record.AddSourceLocation(ON.getSourceRange().getBegin());
584 Record.AddSourceLocation(ON.getSourceRange().getEnd());
Douglas Gregor882211c2010-04-28 22:16:22 +0000585 switch (ON.getKind()) {
James Y Knight7281c352015-12-29 22:31:18 +0000586 case OffsetOfNode::Array:
Douglas Gregor882211c2010-04-28 22:16:22 +0000587 Record.push_back(ON.getArrayExprIndex());
588 break;
James Y Knight7281c352015-12-29 22:31:18 +0000589
590 case OffsetOfNode::Field:
Richard Smith290d8012016-04-06 17:06:00 +0000591 Record.AddDeclRef(ON.getField());
Douglas Gregor882211c2010-04-28 22:16:22 +0000592 break;
James Y Knight7281c352015-12-29 22:31:18 +0000593
594 case OffsetOfNode::Identifier:
Richard Smith290d8012016-04-06 17:06:00 +0000595 Record.AddIdentifierRef(ON.getFieldName());
Douglas Gregor882211c2010-04-28 22:16:22 +0000596 break;
James Y Knight7281c352015-12-29 22:31:18 +0000597
598 case OffsetOfNode::Base:
Richard Smith290d8012016-04-06 17:06:00 +0000599 Record.AddCXXBaseSpecifier(*ON.getBase());
Douglas Gregord1702062010-04-29 00:18:15 +0000600 break;
Douglas Gregor882211c2010-04-28 22:16:22 +0000601 }
602 }
603 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000604 Record.AddStmt(E->getIndexExpr(I));
Sebastian Redl539c5062010-08-18 23:57:32 +0000605 Code = serialization::EXPR_OFFSETOF;
Douglas Gregor882211c2010-04-28 22:16:22 +0000606}
607
Peter Collingbournee190dee2011-03-11 19:24:49 +0000608void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000609 VisitExpr(E);
Peter Collingbournee190dee2011-03-11 19:24:49 +0000610 Record.push_back(E->getKind());
Chris Lattner1f551822009-04-27 06:20:01 +0000611 if (E->isArgumentType())
Richard Smith290d8012016-04-06 17:06:00 +0000612 Record.AddTypeSourceInfo(E->getArgumentTypeInfo());
Chris Lattner1f551822009-04-27 06:20:01 +0000613 else {
614 Record.push_back(0);
Richard Smith290d8012016-04-06 17:06:00 +0000615 Record.AddStmt(E->getArgumentExpr());
Chris Lattner1f551822009-04-27 06:20:01 +0000616 }
Richard Smith290d8012016-04-06 17:06:00 +0000617 Record.AddSourceLocation(E->getOperatorLoc());
618 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000619 Code = serialization::EXPR_SIZEOF_ALIGN_OF;
Chris Lattner1f551822009-04-27 06:20:01 +0000620}
621
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000622void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000623 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000624 Record.AddStmt(E->getLHS());
625 Record.AddStmt(E->getRHS());
626 Record.AddSourceLocation(E->getRBracketLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000627 Code = serialization::EXPR_ARRAY_SUBSCRIPT;
Chris Lattner1f551822009-04-27 06:20:01 +0000628}
629
Alexey Bataev1a3320e2015-08-25 14:24:04 +0000630void ASTStmtWriter::VisitOMPArraySectionExpr(OMPArraySectionExpr *E) {
631 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000632 Record.AddStmt(E->getBase());
633 Record.AddStmt(E->getLowerBound());
634 Record.AddStmt(E->getLength());
635 Record.AddSourceLocation(E->getColonLoc());
636 Record.AddSourceLocation(E->getRBracketLoc());
Alexey Bataev1a3320e2015-08-25 14:24:04 +0000637 Code = serialization::EXPR_OMP_ARRAY_SECTION;
638}
639
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000640void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000641 VisitExpr(E);
642 Record.push_back(E->getNumArgs());
Richard Smith290d8012016-04-06 17:06:00 +0000643 Record.AddSourceLocation(E->getRParenLoc());
644 Record.AddStmt(E->getCallee());
Chris Lattner1f551822009-04-27 06:20:01 +0000645 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
646 Arg != ArgEnd; ++Arg)
Richard Smith290d8012016-04-06 17:06:00 +0000647 Record.AddStmt(*Arg);
Sebastian Redl539c5062010-08-18 23:57:32 +0000648 Code = serialization::EXPR_CALL;
Chris Lattner1f551822009-04-27 06:20:01 +0000649}
650
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000651void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000652 // Don't call VisitExpr, we'll write everything here.
653
654 Record.push_back(E->hasQualifier());
Douglas Gregorea972d32011-02-28 21:54:11 +0000655 if (E->hasQualifier())
Richard Smith290d8012016-04-06 17:06:00 +0000656 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000657
Abramo Bagnara7945c982012-01-27 09:46:47 +0000658 Record.push_back(E->HasTemplateKWAndArgsInfo);
659 if (E->HasTemplateKWAndArgsInfo) {
Richard Smith290d8012016-04-06 17:06:00 +0000660 Record.AddSourceLocation(E->getTemplateKeywordLoc());
Douglas Gregor87866ce2011-02-04 12:01:24 +0000661 unsigned NumTemplateArgs = E->getNumTemplateArgs();
662 Record.push_back(NumTemplateArgs);
Richard Smith290d8012016-04-06 17:06:00 +0000663 Record.AddSourceLocation(E->getLAngleLoc());
664 Record.AddSourceLocation(E->getRAngleLoc());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000665 for (unsigned i=0; i != NumTemplateArgs; ++i)
Richard Smith290d8012016-04-06 17:06:00 +0000666 Record.AddTemplateArgumentLoc(E->getTemplateArgs()[i]);
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000667 }
Abramo Bagnara635ed24e2011-10-05 07:56:41 +0000668
669 Record.push_back(E->hadMultipleCandidates());
670
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000671 DeclAccessPair FoundDecl = E->getFoundDecl();
Richard Smith290d8012016-04-06 17:06:00 +0000672 Record.AddDeclRef(FoundDecl.getDecl());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000673 Record.push_back(FoundDecl.getAccess());
674
Richard Smith290d8012016-04-06 17:06:00 +0000675 Record.AddTypeRef(E->getType());
John McCall7decc9e2010-11-18 06:31:45 +0000676 Record.push_back(E->getValueKind());
677 Record.push_back(E->getObjectKind());
Richard Smith290d8012016-04-06 17:06:00 +0000678 Record.AddStmt(E->getBase());
679 Record.AddDeclRef(E->getMemberDecl());
680 Record.AddSourceLocation(E->getMemberLoc());
Yunzhong Gaoeba323a2015-05-01 02:04:32 +0000681 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +0000682 Record.AddSourceLocation(E->getOperatorLoc());
683 Record.AddDeclarationNameLoc(E->MemberDNLoc,
684 E->getMemberDecl()->getDeclName());
Yunzhong Gaoeba323a2015-05-01 02:04:32 +0000685 Code = serialization::EXPR_MEMBER;
Chris Lattner1f551822009-04-27 06:20:01 +0000686}
687
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000688void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
Steve Naroffe87026a2009-07-24 17:54:45 +0000689 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000690 Record.AddStmt(E->getBase());
691 Record.AddSourceLocation(E->getIsaMemberLoc());
692 Record.AddSourceLocation(E->getOpLoc());
Steve Naroffe87026a2009-07-24 17:54:45 +0000693 Record.push_back(E->isArrow());
Sebastian Redl539c5062010-08-18 23:57:32 +0000694 Code = serialization::EXPR_OBJC_ISA;
Steve Naroffe87026a2009-07-24 17:54:45 +0000695}
696
John McCall31168b02011-06-15 23:02:42 +0000697void ASTStmtWriter::
698VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
699 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000700 Record.AddStmt(E->getSubExpr());
John McCall31168b02011-06-15 23:02:42 +0000701 Record.push_back(E->shouldCopy());
702 Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
703}
704
705void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
706 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000707 Record.AddSourceLocation(E->getLParenLoc());
708 Record.AddSourceLocation(E->getBridgeKeywordLoc());
John McCall31168b02011-06-15 23:02:42 +0000709 Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
710 Code = serialization::EXPR_OBJC_BRIDGED_CAST;
711}
712
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000713void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000714 VisitExpr(E);
John McCallcf142162010-08-07 06:22:56 +0000715 Record.push_back(E->path_size());
Richard Smith290d8012016-04-06 17:06:00 +0000716 Record.AddStmt(E->getSubExpr());
Anders Carlssona2615922009-07-31 00:48:10 +0000717 Record.push_back(E->getCastKind()); // FIXME: stable encoding
John McCallcf142162010-08-07 06:22:56 +0000718
719 for (CastExpr::path_iterator
720 PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
Richard Smith290d8012016-04-06 17:06:00 +0000721 Record.AddCXXBaseSpecifier(**PI);
Chris Lattner1f551822009-04-27 06:20:01 +0000722}
723
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000724void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000725 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000726 Record.AddStmt(E->getLHS());
727 Record.AddStmt(E->getRHS());
Chris Lattner1f551822009-04-27 06:20:01 +0000728 Record.push_back(E->getOpcode()); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +0000729 Record.AddSourceLocation(E->getOperatorLoc());
Adam Nemet484aa452017-03-27 19:17:25 +0000730 Record.push_back(E->getFPFeatures().getInt());
Sebastian Redl539c5062010-08-18 23:57:32 +0000731 Code = serialization::EXPR_BINARY_OPERATOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000732}
733
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000734void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000735 VisitBinaryOperator(E);
Richard Smith290d8012016-04-06 17:06:00 +0000736 Record.AddTypeRef(E->getComputationLHSType());
737 Record.AddTypeRef(E->getComputationResultType());
Sebastian Redl539c5062010-08-18 23:57:32 +0000738 Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000739}
740
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000741void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000742 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000743 Record.AddStmt(E->getCond());
744 Record.AddStmt(E->getLHS());
745 Record.AddStmt(E->getRHS());
746 Record.AddSourceLocation(E->getQuestionLoc());
747 Record.AddSourceLocation(E->getColonLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000748 Code = serialization::EXPR_CONDITIONAL_OPERATOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000749}
750
John McCallc07a0c72011-02-17 10:25:35 +0000751void
752ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
753 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000754 Record.AddStmt(E->getOpaqueValue());
755 Record.AddStmt(E->getCommon());
756 Record.AddStmt(E->getCond());
757 Record.AddStmt(E->getTrueExpr());
758 Record.AddStmt(E->getFalseExpr());
759 Record.AddSourceLocation(E->getQuestionLoc());
760 Record.AddSourceLocation(E->getColonLoc());
John McCallc07a0c72011-02-17 10:25:35 +0000761 Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
762}
763
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000764void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000765 VisitCastExpr(E);
Roman Lebedev12216f12018-07-27 07:27:14 +0000766 Record.push_back(E->isPartOfExplicitCast());
Richard Smitha27c26e2014-07-27 04:19:32 +0000767
768 if (E->path_size() == 0)
769 AbbrevToUse = Writer.getExprImplicitCastAbbrev();
770
Sebastian Redl539c5062010-08-18 23:57:32 +0000771 Code = serialization::EXPR_IMPLICIT_CAST;
Chris Lattner1f551822009-04-27 06:20:01 +0000772}
773
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000774void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000775 VisitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000776 Record.AddTypeSourceInfo(E->getTypeInfoAsWritten());
Chris Lattner1f551822009-04-27 06:20:01 +0000777}
778
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000779void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000780 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000781 Record.AddSourceLocation(E->getLParenLoc());
782 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000783 Code = serialization::EXPR_CSTYLE_CAST;
Chris Lattner1f551822009-04-27 06:20:01 +0000784}
785
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000786void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000787 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000788 Record.AddSourceLocation(E->getLParenLoc());
789 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
790 Record.AddStmt(E->getInitializer());
Chris Lattner1f551822009-04-27 06:20:01 +0000791 Record.push_back(E->isFileScope());
Sebastian Redl539c5062010-08-18 23:57:32 +0000792 Code = serialization::EXPR_COMPOUND_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000793}
794
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000795void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000796 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000797 Record.AddStmt(E->getBase());
798 Record.AddIdentifierRef(&E->getAccessor());
799 Record.AddSourceLocation(E->getAccessorLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000800 Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
Chris Lattner1f551822009-04-27 06:20:01 +0000801}
802
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000803void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000804 VisitExpr(E);
Abramo Bagnara8d16bd42012-11-08 18:41:43 +0000805 // NOTE: only add the (possibly null) syntactic form.
806 // No need to serialize the isSemanticForm flag and the semantic form.
Richard Smith290d8012016-04-06 17:06:00 +0000807 Record.AddStmt(E->getSyntacticForm());
808 Record.AddSourceLocation(E->getLBraceLoc());
809 Record.AddSourceLocation(E->getRBraceLoc());
Argyrios Kyrtzidisb2ed28e2011-04-21 00:27:41 +0000810 bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
811 Record.push_back(isArrayFiller);
812 if (isArrayFiller)
Richard Smith290d8012016-04-06 17:06:00 +0000813 Record.AddStmt(E->getArrayFiller());
Argyrios Kyrtzidisb2ed28e2011-04-21 00:27:41 +0000814 else
Richard Smith290d8012016-04-06 17:06:00 +0000815 Record.AddDeclRef(E->getInitializedFieldInUnion());
Chris Lattner1f551822009-04-27 06:20:01 +0000816 Record.push_back(E->hadArrayRangeDesignator());
Argyrios Kyrtzidisbbcefa72011-04-22 05:29:30 +0000817 Record.push_back(E->getNumInits());
818 if (isArrayFiller) {
819 // ArrayFiller may have filled "holes" due to designated initializer.
820 // Replace them by 0 to indicate that the filler goes in that place.
821 Expr *filler = E->getArrayFiller();
822 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000823 Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr);
Argyrios Kyrtzidisbbcefa72011-04-22 05:29:30 +0000824 } else {
825 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000826 Record.AddStmt(E->getInit(I));
Argyrios Kyrtzidisbbcefa72011-04-22 05:29:30 +0000827 }
Sebastian Redl539c5062010-08-18 23:57:32 +0000828 Code = serialization::EXPR_INIT_LIST;
Chris Lattner1f551822009-04-27 06:20:01 +0000829}
830
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000831void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000832 VisitExpr(E);
833 Record.push_back(E->getNumSubExprs());
834 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000835 Record.AddStmt(E->getSubExpr(I));
836 Record.AddSourceLocation(E->getEqualOrColonLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000837 Record.push_back(E->usesGNUSyntax());
David Majnemerf7e36092016-06-23 00:15:04 +0000838 for (const DesignatedInitExpr::Designator &D : E->designators()) {
839 if (D.isFieldDesignator()) {
840 if (FieldDecl *Field = D.getField()) {
Sebastian Redl539c5062010-08-18 23:57:32 +0000841 Record.push_back(serialization::DESIG_FIELD_DECL);
Richard Smith290d8012016-04-06 17:06:00 +0000842 Record.AddDeclRef(Field);
Chris Lattner1f551822009-04-27 06:20:01 +0000843 } else {
Sebastian Redl539c5062010-08-18 23:57:32 +0000844 Record.push_back(serialization::DESIG_FIELD_NAME);
David Majnemerf7e36092016-06-23 00:15:04 +0000845 Record.AddIdentifierRef(D.getFieldName());
Chris Lattner1f551822009-04-27 06:20:01 +0000846 }
David Majnemerf7e36092016-06-23 00:15:04 +0000847 Record.AddSourceLocation(D.getDotLoc());
848 Record.AddSourceLocation(D.getFieldLoc());
849 } else if (D.isArrayDesignator()) {
Sebastian Redl539c5062010-08-18 23:57:32 +0000850 Record.push_back(serialization::DESIG_ARRAY);
David Majnemerf7e36092016-06-23 00:15:04 +0000851 Record.push_back(D.getFirstExprIndex());
852 Record.AddSourceLocation(D.getLBracketLoc());
853 Record.AddSourceLocation(D.getRBracketLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000854 } else {
David Majnemerf7e36092016-06-23 00:15:04 +0000855 assert(D.isArrayRangeDesignator() && "Unknown designator");
Sebastian Redl539c5062010-08-18 23:57:32 +0000856 Record.push_back(serialization::DESIG_ARRAY_RANGE);
David Majnemerf7e36092016-06-23 00:15:04 +0000857 Record.push_back(D.getFirstExprIndex());
858 Record.AddSourceLocation(D.getLBracketLoc());
859 Record.AddSourceLocation(D.getEllipsisLoc());
860 Record.AddSourceLocation(D.getRBracketLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000861 }
862 }
Sebastian Redl539c5062010-08-18 23:57:32 +0000863 Code = serialization::EXPR_DESIGNATED_INIT;
Chris Lattner1f551822009-04-27 06:20:01 +0000864}
865
Yunzhong Gaocb779302015-06-10 00:27:52 +0000866void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
867 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000868 Record.AddStmt(E->getBase());
869 Record.AddStmt(E->getUpdater());
Yunzhong Gaocb779302015-06-10 00:27:52 +0000870 Code = serialization::EXPR_DESIGNATED_INIT_UPDATE;
871}
872
873void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
874 VisitExpr(E);
875 Code = serialization::EXPR_NO_INIT;
876}
877
Richard Smith410306b2016-12-12 02:53:20 +0000878void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
879 VisitExpr(E);
880 Record.AddStmt(E->SubExprs[0]);
881 Record.AddStmt(E->SubExprs[1]);
882 Code = serialization::EXPR_ARRAY_INIT_LOOP;
883}
884
885void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
886 VisitExpr(E);
887 Code = serialization::EXPR_ARRAY_INIT_INDEX;
888}
889
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000890void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000891 VisitExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +0000892 Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
Chris Lattner1f551822009-04-27 06:20:01 +0000893}
894
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000895void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000896 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000897 Record.AddStmt(E->getSubExpr());
898 Record.AddTypeSourceInfo(E->getWrittenTypeInfo());
899 Record.AddSourceLocation(E->getBuiltinLoc());
900 Record.AddSourceLocation(E->getRParenLoc());
Charles Davisc7d5c942015-09-17 20:55:33 +0000901 Record.push_back(E->isMicrosoftABI());
Sebastian Redl539c5062010-08-18 23:57:32 +0000902 Code = serialization::EXPR_VA_ARG;
Chris Lattner1f551822009-04-27 06:20:01 +0000903}
904
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000905void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000906 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000907 Record.AddSourceLocation(E->getAmpAmpLoc());
908 Record.AddSourceLocation(E->getLabelLoc());
909 Record.AddDeclRef(E->getLabel());
Sebastian Redl539c5062010-08-18 23:57:32 +0000910 Code = serialization::EXPR_ADDR_LABEL;
Chris Lattner1f551822009-04-27 06:20:01 +0000911}
912
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000913void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000914 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000915 Record.AddStmt(E->getSubStmt());
916 Record.AddSourceLocation(E->getLParenLoc());
917 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000918 Code = serialization::EXPR_STMT;
Chris Lattner1f551822009-04-27 06:20:01 +0000919}
920
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000921void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000922 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000923 Record.AddStmt(E->getCond());
924 Record.AddStmt(E->getLHS());
925 Record.AddStmt(E->getRHS());
926 Record.AddSourceLocation(E->getBuiltinLoc());
927 Record.AddSourceLocation(E->getRParenLoc());
Eli Friedman75807f22013-07-20 00:40:58 +0000928 Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue());
Sebastian Redl539c5062010-08-18 23:57:32 +0000929 Code = serialization::EXPR_CHOOSE;
Chris Lattner1f551822009-04-27 06:20:01 +0000930}
931
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000932void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000933 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000934 Record.AddSourceLocation(E->getTokenLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +0000935 Code = serialization::EXPR_GNU_NULL;
Chris Lattner1f551822009-04-27 06:20:01 +0000936}
937
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000938void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000939 VisitExpr(E);
940 Record.push_back(E->getNumSubExprs());
941 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000942 Record.AddStmt(E->getExpr(I));
943 Record.AddSourceLocation(E->getBuiltinLoc());
944 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000945 Code = serialization::EXPR_SHUFFLE_VECTOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000946}
947
Hal Finkelc4d7c822013-09-18 03:29:45 +0000948void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
949 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000950 Record.AddSourceLocation(E->getBuiltinLoc());
951 Record.AddSourceLocation(E->getRParenLoc());
952 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
953 Record.AddStmt(E->getSrcExpr());
Hal Finkelc4d7c822013-09-18 03:29:45 +0000954 Code = serialization::EXPR_CONVERT_VECTOR;
955}
956
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000957void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000958 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000959 Record.AddDeclRef(E->getBlockDecl());
Sebastian Redl539c5062010-08-18 23:57:32 +0000960 Code = serialization::EXPR_BLOCK;
Chris Lattner1f551822009-04-27 06:20:01 +0000961}
962
Peter Collingbourne91147592011-04-15 00:35:48 +0000963void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
964 VisitExpr(E);
965 Record.push_back(E->getNumAssocs());
966
Richard Smith290d8012016-04-06 17:06:00 +0000967 Record.AddStmt(E->getControllingExpr());
Peter Collingbourne91147592011-04-15 00:35:48 +0000968 for (unsigned I = 0, N = E->getNumAssocs(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000969 Record.AddTypeSourceInfo(E->getAssocTypeSourceInfo(I));
970 Record.AddStmt(E->getAssocExpr(I));
Peter Collingbourne91147592011-04-15 00:35:48 +0000971 }
972 Record.push_back(E->isResultDependent() ? -1U : E->getResultIndex());
973
Richard Smith290d8012016-04-06 17:06:00 +0000974 Record.AddSourceLocation(E->getGenericLoc());
975 Record.AddSourceLocation(E->getDefaultLoc());
976 Record.AddSourceLocation(E->getRParenLoc());
Peter Collingbourne91147592011-04-15 00:35:48 +0000977 Code = serialization::EXPR_GENERIC_SELECTION;
978}
979
John McCallfe96e0b2011-11-06 09:01:30 +0000980void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
981 VisitExpr(E);
982 Record.push_back(E->getNumSemanticExprs());
983
984 // Push the result index. Currently, this needs to exactly match
985 // the encoding used internally for ResultIndex.
986 unsigned result = E->getResultExprIndex();
987 result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
988 Record.push_back(result);
989
Richard Smith290d8012016-04-06 17:06:00 +0000990 Record.AddStmt(E->getSyntacticForm());
John McCallfe96e0b2011-11-06 09:01:30 +0000991 for (PseudoObjectExpr::semantics_iterator
992 i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
Richard Smith290d8012016-04-06 17:06:00 +0000993 Record.AddStmt(*i);
John McCallfe96e0b2011-11-06 09:01:30 +0000994 }
Argyrios Kyrtzidis59386502011-11-15 06:20:27 +0000995 Code = serialization::EXPR_PSEUDO_OBJECT;
John McCallfe96e0b2011-11-06 09:01:30 +0000996}
997
Eli Friedmandf14b3a2011-10-11 02:20:01 +0000998void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
999 VisitExpr(E);
1000 Record.push_back(E->getOp());
Richard Smithaa22a8c2012-04-10 22:49:28 +00001001 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001002 Record.AddStmt(E->getSubExprs()[I]);
1003 Record.AddSourceLocation(E->getBuiltinLoc());
1004 Record.AddSourceLocation(E->getRParenLoc());
Argyrios Kyrtzidis59386502011-11-15 06:20:27 +00001005 Code = serialization::EXPR_ATOMIC;
Eli Friedmandf14b3a2011-10-11 02:20:01 +00001006}
1007
Chris Lattner1f551822009-04-27 06:20:01 +00001008//===----------------------------------------------------------------------===//
1009// Objective-C Expressions and Statements.
1010//===----------------------------------------------------------------------===//
1011
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001012void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001013 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001014 Record.AddStmt(E->getString());
1015 Record.AddSourceLocation(E->getAtLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001016 Code = serialization::EXPR_OBJC_STRING_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +00001017}
1018
Patrick Beard0caa3942012-04-19 00:25:12 +00001019void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
Ted Kremeneke65b0862012-03-06 20:05:56 +00001020 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001021 Record.AddStmt(E->getSubExpr());
1022 Record.AddDeclRef(E->getBoxingMethod());
1023 Record.AddSourceRange(E->getSourceRange());
Patrick Beard0caa3942012-04-19 00:25:12 +00001024 Code = serialization::EXPR_OBJC_BOXED_EXPRESSION;
Ted Kremeneke65b0862012-03-06 20:05:56 +00001025}
1026
1027void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1028 VisitExpr(E);
1029 Record.push_back(E->getNumElements());
1030 for (unsigned i = 0; i < E->getNumElements(); i++)
Richard Smith290d8012016-04-06 17:06:00 +00001031 Record.AddStmt(E->getElement(i));
1032 Record.AddDeclRef(E->getArrayWithObjectsMethod());
1033 Record.AddSourceRange(E->getSourceRange());
Ted Kremeneke65b0862012-03-06 20:05:56 +00001034 Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
1035}
1036
1037void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1038 VisitExpr(E);
1039 Record.push_back(E->getNumElements());
1040 Record.push_back(E->HasPackExpansions);
1041 for (unsigned i = 0; i < E->getNumElements(); i++) {
1042 ObjCDictionaryElement Element = E->getKeyValueElement(i);
Richard Smith290d8012016-04-06 17:06:00 +00001043 Record.AddStmt(Element.Key);
1044 Record.AddStmt(Element.Value);
Ted Kremeneke65b0862012-03-06 20:05:56 +00001045 if (E->HasPackExpansions) {
Richard Smith290d8012016-04-06 17:06:00 +00001046 Record.AddSourceLocation(Element.EllipsisLoc);
Ted Kremeneke65b0862012-03-06 20:05:56 +00001047 unsigned NumExpansions = 0;
1048 if (Element.NumExpansions)
1049 NumExpansions = *Element.NumExpansions + 1;
1050 Record.push_back(NumExpansions);
1051 }
1052 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001053
Richard Smith290d8012016-04-06 17:06:00 +00001054 Record.AddDeclRef(E->getDictWithObjectsMethod());
1055 Record.AddSourceRange(E->getSourceRange());
Ted Kremeneke65b0862012-03-06 20:05:56 +00001056 Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
1057}
1058
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001059void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001060 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001061 Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo());
1062 Record.AddSourceLocation(E->getAtLoc());
1063 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001064 Code = serialization::EXPR_OBJC_ENCODE;
Chris Lattner1f551822009-04-27 06:20:01 +00001065}
1066
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001067void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001068 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001069 Record.AddSelectorRef(E->getSelector());
1070 Record.AddSourceLocation(E->getAtLoc());
1071 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001072 Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001073}
1074
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001075void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001076 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001077 Record.AddDeclRef(E->getProtocol());
1078 Record.AddSourceLocation(E->getAtLoc());
1079 Record.AddSourceLocation(E->ProtoLoc);
1080 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001081 Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001082}
1083
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001084void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001085 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001086 Record.AddDeclRef(E->getDecl());
1087 Record.AddSourceLocation(E->getLocation());
1088 Record.AddSourceLocation(E->getOpLoc());
1089 Record.AddStmt(E->getBase());
Chris Lattner1f551822009-04-27 06:20:01 +00001090 Record.push_back(E->isArrow());
1091 Record.push_back(E->isFreeIvar());
Sebastian Redl539c5062010-08-18 23:57:32 +00001092 Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001093}
1094
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001095void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001096 VisitExpr(E);
Argyrios Kyrtzidisab468b02012-03-30 00:19:18 +00001097 Record.push_back(E->SetterAndMethodRefFlags.getInt());
John McCallb7bd14f2010-12-02 01:19:52 +00001098 Record.push_back(E->isImplicitProperty());
1099 if (E->isImplicitProperty()) {
Richard Smith290d8012016-04-06 17:06:00 +00001100 Record.AddDeclRef(E->getImplicitPropertyGetter());
1101 Record.AddDeclRef(E->getImplicitPropertySetter());
John McCallb7bd14f2010-12-02 01:19:52 +00001102 } else {
Richard Smith290d8012016-04-06 17:06:00 +00001103 Record.AddDeclRef(E->getExplicitProperty());
John McCallb7bd14f2010-12-02 01:19:52 +00001104 }
Richard Smith290d8012016-04-06 17:06:00 +00001105 Record.AddSourceLocation(E->getLocation());
1106 Record.AddSourceLocation(E->getReceiverLocation());
John McCallb7bd14f2010-12-02 01:19:52 +00001107 if (E->isObjectReceiver()) {
1108 Record.push_back(0);
Richard Smith290d8012016-04-06 17:06:00 +00001109 Record.AddStmt(E->getBase());
John McCallb7bd14f2010-12-02 01:19:52 +00001110 } else if (E->isSuperReceiver()) {
1111 Record.push_back(1);
Richard Smith290d8012016-04-06 17:06:00 +00001112 Record.AddTypeRef(E->getSuperReceiverType());
John McCallb7bd14f2010-12-02 01:19:52 +00001113 } else {
1114 Record.push_back(2);
Richard Smith290d8012016-04-06 17:06:00 +00001115 Record.AddDeclRef(E->getClassReceiver());
John McCallb7bd14f2010-12-02 01:19:52 +00001116 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001117
Sebastian Redl539c5062010-08-18 23:57:32 +00001118 Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001119}
1120
Ted Kremeneke65b0862012-03-06 20:05:56 +00001121void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1122 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001123 Record.AddSourceLocation(E->getRBracket());
1124 Record.AddStmt(E->getBaseExpr());
1125 Record.AddStmt(E->getKeyExpr());
1126 Record.AddDeclRef(E->getAtIndexMethodDecl());
1127 Record.AddDeclRef(E->setAtIndexMethodDecl());
Fangrui Song6907ce22018-07-30 19:24:48 +00001128
Ted Kremeneke65b0862012-03-06 20:05:56 +00001129 Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
1130}
1131
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001132void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001133 VisitExpr(E);
1134 Record.push_back(E->getNumArgs());
Argyrios Kyrtzidisa6011e22011-10-03 06:36:51 +00001135 Record.push_back(E->getNumStoredSelLocs());
1136 Record.push_back(E->SelLocsKind);
John McCall31168b02011-06-15 23:02:42 +00001137 Record.push_back(E->isDelegateInitCall());
Argyrios Kyrtzidisa80f1bf2012-01-12 02:34:39 +00001138 Record.push_back(E->IsImplicit);
Douglas Gregor9a129192010-04-21 00:45:42 +00001139 Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
1140 switch (E->getReceiverKind()) {
1141 case ObjCMessageExpr::Instance:
Richard Smith290d8012016-04-06 17:06:00 +00001142 Record.AddStmt(E->getInstanceReceiver());
Douglas Gregor9a129192010-04-21 00:45:42 +00001143 break;
1144
1145 case ObjCMessageExpr::Class:
Richard Smith290d8012016-04-06 17:06:00 +00001146 Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo());
Douglas Gregor9a129192010-04-21 00:45:42 +00001147 break;
1148
1149 case ObjCMessageExpr::SuperClass:
1150 case ObjCMessageExpr::SuperInstance:
Richard Smith290d8012016-04-06 17:06:00 +00001151 Record.AddTypeRef(E->getSuperType());
1152 Record.AddSourceLocation(E->getSuperLoc());
Douglas Gregor9a129192010-04-21 00:45:42 +00001153 break;
1154 }
1155
1156 if (E->getMethodDecl()) {
1157 Record.push_back(1);
Richard Smith290d8012016-04-06 17:06:00 +00001158 Record.AddDeclRef(E->getMethodDecl());
Douglas Gregor9a129192010-04-21 00:45:42 +00001159 } else {
1160 Record.push_back(0);
Fangrui Song6907ce22018-07-30 19:24:48 +00001161 Record.AddSelectorRef(E->getSelector());
Douglas Gregor9a129192010-04-21 00:45:42 +00001162 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001163
Richard Smith290d8012016-04-06 17:06:00 +00001164 Record.AddSourceLocation(E->getLeftLoc());
1165 Record.AddSourceLocation(E->getRightLoc());
Chris Lattner1f551822009-04-27 06:20:01 +00001166
1167 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1168 Arg != ArgEnd; ++Arg)
Richard Smith290d8012016-04-06 17:06:00 +00001169 Record.AddStmt(*Arg);
Argyrios Kyrtzidisa6011e22011-10-03 06:36:51 +00001170
1171 SourceLocation *Locs = E->getStoredSelLocs();
1172 for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
Richard Smith290d8012016-04-06 17:06:00 +00001173 Record.AddSourceLocation(Locs[i]);
Argyrios Kyrtzidisa6011e22011-10-03 06:36:51 +00001174
Sebastian Redl539c5062010-08-18 23:57:32 +00001175 Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001176}
1177
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001178void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +00001179 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001180 Record.AddStmt(S->getElement());
1181 Record.AddStmt(S->getCollection());
1182 Record.AddStmt(S->getBody());
1183 Record.AddSourceLocation(S->getForLoc());
1184 Record.AddSourceLocation(S->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001185 Code = serialization::STMT_OBJC_FOR_COLLECTION;
Chris Lattner1f551822009-04-27 06:20:01 +00001186}
1187
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001188void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001189 Record.AddStmt(S->getCatchBody());
1190 Record.AddDeclRef(S->getCatchParamDecl());
1191 Record.AddSourceLocation(S->getAtCatchLoc());
1192 Record.AddSourceLocation(S->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001193 Code = serialization::STMT_OBJC_CATCH;
Chris Lattner1f551822009-04-27 06:20:01 +00001194}
1195
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001196void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001197 Record.AddStmt(S->getFinallyBody());
1198 Record.AddSourceLocation(S->getAtFinallyLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001199 Code = serialization::STMT_OBJC_FINALLY;
Chris Lattner1f551822009-04-27 06:20:01 +00001200}
1201
John McCall31168b02011-06-15 23:02:42 +00001202void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001203 Record.AddStmt(S->getSubStmt());
1204 Record.AddSourceLocation(S->getAtLoc());
John McCall31168b02011-06-15 23:02:42 +00001205 Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
1206}
1207
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001208void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
Douglas Gregor96c79492010-04-23 22:50:49 +00001209 Record.push_back(S->getNumCatchStmts());
Craig Toppera13603a2014-05-22 05:54:18 +00001210 Record.push_back(S->getFinallyStmt() != nullptr);
Richard Smith290d8012016-04-06 17:06:00 +00001211 Record.AddStmt(S->getTryBody());
Douglas Gregor96c79492010-04-23 22:50:49 +00001212 for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001213 Record.AddStmt(S->getCatchStmt(I));
Douglas Gregor96c79492010-04-23 22:50:49 +00001214 if (S->getFinallyStmt())
Richard Smith290d8012016-04-06 17:06:00 +00001215 Record.AddStmt(S->getFinallyStmt());
1216 Record.AddSourceLocation(S->getAtTryLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001217 Code = serialization::STMT_OBJC_AT_TRY;
Chris Lattner1f551822009-04-27 06:20:01 +00001218}
1219
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001220void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001221 Record.AddStmt(S->getSynchExpr());
1222 Record.AddStmt(S->getSynchBody());
1223 Record.AddSourceLocation(S->getAtSynchronizedLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001224 Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
Chris Lattner1f551822009-04-27 06:20:01 +00001225}
1226
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001227void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001228 Record.AddStmt(S->getThrowExpr());
1229 Record.AddSourceLocation(S->getThrowLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001230 Code = serialization::STMT_OBJC_AT_THROW;
Chris Lattner1f551822009-04-27 06:20:01 +00001231}
1232
Ted Kremeneke65b0862012-03-06 20:05:56 +00001233void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1234 VisitExpr(E);
1235 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001236 Record.AddSourceLocation(E->getLocation());
Ted Kremeneke65b0862012-03-06 20:05:56 +00001237 Code = serialization::EXPR_OBJC_BOOL_LITERAL;
1238}
1239
Erik Pilkington29099de2016-07-16 00:35:23 +00001240void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1241 VisitExpr(E);
1242 Record.AddSourceRange(E->getSourceRange());
1243 Record.AddVersionTuple(E->getVersion());
1244 Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK;
1245}
1246
Chris Lattner1f551822009-04-27 06:20:01 +00001247//===----------------------------------------------------------------------===//
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001248// C++ Expressions and Statements.
1249//===----------------------------------------------------------------------===//
1250
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001251void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001252 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001253 Record.AddSourceLocation(S->getCatchLoc());
1254 Record.AddDeclRef(S->getExceptionDecl());
1255 Record.AddStmt(S->getHandlerBlock());
Sebastian Redl539c5062010-08-18 23:57:32 +00001256 Code = serialization::STMT_CXX_CATCH;
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001257}
1258
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001259void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001260 VisitStmt(S);
1261 Record.push_back(S->getNumHandlers());
Richard Smith290d8012016-04-06 17:06:00 +00001262 Record.AddSourceLocation(S->getTryLoc());
1263 Record.AddStmt(S->getTryBlock());
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001264 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
Richard Smith290d8012016-04-06 17:06:00 +00001265 Record.AddStmt(S->getHandler(i));
Sebastian Redl539c5062010-08-18 23:57:32 +00001266 Code = serialization::STMT_CXX_TRY;
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001267}
1268
Richard Smith02e85f32011-04-14 22:09:26 +00001269void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1270 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001271 Record.AddSourceLocation(S->getForLoc());
1272 Record.AddSourceLocation(S->getCoawaitLoc());
1273 Record.AddSourceLocation(S->getColonLoc());
1274 Record.AddSourceLocation(S->getRParenLoc());
Richard Smith8baa5002018-09-28 18:44:09 +00001275 Record.AddStmt(S->getInit());
Richard Smith290d8012016-04-06 17:06:00 +00001276 Record.AddStmt(S->getRangeStmt());
1277 Record.AddStmt(S->getBeginStmt());
1278 Record.AddStmt(S->getEndStmt());
1279 Record.AddStmt(S->getCond());
1280 Record.AddStmt(S->getInc());
1281 Record.AddStmt(S->getLoopVarStmt());
1282 Record.AddStmt(S->getBody());
Richard Smith02e85f32011-04-14 22:09:26 +00001283 Code = serialization::STMT_CXX_FOR_RANGE;
1284}
1285
Douglas Gregordeb4a2be2011-10-25 01:33:02 +00001286void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1287 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001288 Record.AddSourceLocation(S->getKeywordLoc());
Douglas Gregordeb4a2be2011-10-25 01:33:02 +00001289 Record.push_back(S->isIfExists());
Richard Smith290d8012016-04-06 17:06:00 +00001290 Record.AddNestedNameSpecifierLoc(S->getQualifierLoc());
1291 Record.AddDeclarationNameInfo(S->getNameInfo());
1292 Record.AddStmt(S->getSubStmt());
Douglas Gregordeb4a2be2011-10-25 01:33:02 +00001293 Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1294}
1295
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001296void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001297 VisitCallExpr(E);
1298 Record.push_back(E->getOperator());
Richard Smith290d8012016-04-06 17:06:00 +00001299 Record.AddSourceRange(E->Range);
Adam Nemet484aa452017-03-27 19:17:25 +00001300 Record.push_back(E->getFPFeatures().getInt());
Sebastian Redl539c5062010-08-18 23:57:32 +00001301 Code = serialization::EXPR_CXX_OPERATOR_CALL;
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001302}
1303
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001304void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
Chris Lattnerb7e7f722010-05-09 05:36:05 +00001305 VisitCallExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001306 Code = serialization::EXPR_CXX_MEMBER_CALL;
Chris Lattnerb7e7f722010-05-09 05:36:05 +00001307}
1308
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001309void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
Douglas Gregor5d3507d2009-09-09 23:08:42 +00001310 VisitExpr(E);
Argyrios Kyrtzidis30d98f32010-06-24 08:57:09 +00001311 Record.push_back(E->getNumArgs());
1312 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001313 Record.AddStmt(E->getArg(I));
1314 Record.AddDeclRef(E->getConstructor());
1315 Record.AddSourceLocation(E->getLocation());
Douglas Gregor5d3507d2009-09-09 23:08:42 +00001316 Record.push_back(E->isElidable());
Abramo Bagnara635ed24e2011-10-05 07:56:41 +00001317 Record.push_back(E->hadMultipleCandidates());
Richard Smithd59b8322012-12-19 01:39:02 +00001318 Record.push_back(E->isListInitialization());
Richard Smithf8adcdc2014-07-17 05:12:35 +00001319 Record.push_back(E->isStdInitListInitialization());
Douglas Gregor4f4b1862009-12-16 18:50:27 +00001320 Record.push_back(E->requiresZeroInitialization());
Douglas Gregor222cf0e2010-05-15 00:13:29 +00001321 Record.push_back(E->getConstructionKind()); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +00001322 Record.AddSourceRange(E->getParenOrBraceRange());
Sebastian Redl539c5062010-08-18 23:57:32 +00001323 Code = serialization::EXPR_CXX_CONSTRUCT;
Douglas Gregor5d3507d2009-09-09 23:08:42 +00001324}
1325
Richard Smith5179eb72016-06-28 19:03:57 +00001326void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1327 VisitExpr(E);
1328 Record.AddDeclRef(E->getConstructor());
1329 Record.AddSourceLocation(E->getLocation());
1330 Record.push_back(E->constructsVBase());
1331 Record.push_back(E->inheritedFromVBase());
1332 Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT;
1333}
1334
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001335void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
Argyrios Kyrtzidisb8d77eb2010-07-10 11:46:15 +00001336 VisitCXXConstructExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001337 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
Sebastian Redl539c5062010-08-18 23:57:32 +00001338 Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
Argyrios Kyrtzidisb8d77eb2010-07-10 11:46:15 +00001339}
1340
Douglas Gregore31e6062012-02-07 10:09:13 +00001341void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1342 VisitExpr(E);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001343 Record.push_back(E->NumCaptures);
Richard Smith290d8012016-04-06 17:06:00 +00001344 Record.AddSourceRange(E->IntroducerRange);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001345 Record.push_back(E->CaptureDefault); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +00001346 Record.AddSourceLocation(E->CaptureDefaultLoc);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001347 Record.push_back(E->ExplicitParams);
1348 Record.push_back(E->ExplicitResultType);
Richard Smith290d8012016-04-06 17:06:00 +00001349 Record.AddSourceLocation(E->ClosingBrace);
Fangrui Song6907ce22018-07-30 19:24:48 +00001350
Douglas Gregor99ae8062012-02-14 17:54:36 +00001351 // Add capture initializers.
1352 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1353 CEnd = E->capture_init_end();
1354 C != CEnd; ++C) {
Richard Smith290d8012016-04-06 17:06:00 +00001355 Record.AddStmt(*C);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001356 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001357
Douglas Gregor99ae8062012-02-14 17:54:36 +00001358 Code = serialization::EXPR_LAMBDA;
Douglas Gregore31e6062012-02-07 10:09:13 +00001359}
1360
Richard Smithcc1b96d2013-06-12 22:31:48 +00001361void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1362 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001363 Record.AddStmt(E->getSubExpr());
Richard Smithcc1b96d2013-06-12 22:31:48 +00001364 Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST;
1365}
1366
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001367void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001368 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001369 Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1370 Record.AddSourceRange(E->getAngleBrackets());
Sam Weinigd01101e2010-01-16 21:21:01 +00001371}
1372
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001373void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001374 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001375 Code = serialization::EXPR_CXX_STATIC_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001376}
1377
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001378void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001379 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001380 Code = serialization::EXPR_CXX_DYNAMIC_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001381}
1382
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001383void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001384 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001385 Code = serialization::EXPR_CXX_REINTERPRET_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001386}
1387
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001388void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001389 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001390 Code = serialization::EXPR_CXX_CONST_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001391}
1392
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001393void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001394 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001395 Record.AddSourceLocation(E->getLParenLoc());
1396 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001397 Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001398}
1399
Richard Smithc67fdd42012-03-07 08:35:16 +00001400void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1401 VisitCallExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001402 Record.AddSourceLocation(E->UDSuffixLoc);
Richard Smithc67fdd42012-03-07 08:35:16 +00001403 Code = serialization::EXPR_USER_DEFINED_LITERAL;
1404}
1405
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001406void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
Sam Weinige83b3ac2010-02-07 06:32:43 +00001407 VisitExpr(E);
1408 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001409 Record.AddSourceLocation(E->getLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +00001410 Code = serialization::EXPR_CXX_BOOL_LITERAL;
Sam Weinige83b3ac2010-02-07 06:32:43 +00001411}
1412
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001413void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
Sam Weinige83b3ac2010-02-07 06:32:43 +00001414 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001415 Record.AddSourceLocation(E->getLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +00001416 Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
Sam Weinige83b3ac2010-02-07 06:32:43 +00001417}
1418
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001419void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001420 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001421 Record.AddSourceRange(E->getSourceRange());
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001422 if (E->isTypeOperand()) {
Richard Smith290d8012016-04-06 17:06:00 +00001423 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
Sebastian Redl539c5062010-08-18 23:57:32 +00001424 Code = serialization::EXPR_CXX_TYPEID_TYPE;
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001425 } else {
Richard Smith290d8012016-04-06 17:06:00 +00001426 Record.AddStmt(E->getExprOperand());
Sebastian Redl539c5062010-08-18 23:57:32 +00001427 Code = serialization::EXPR_CXX_TYPEID_EXPR;
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001428 }
1429}
1430
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001431void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
Chris Lattner98267332010-05-09 06:15:05 +00001432 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001433 Record.AddSourceLocation(E->getLocation());
Chris Lattner98267332010-05-09 06:15:05 +00001434 Record.push_back(E->isImplicit());
Sebastian Redl539c5062010-08-18 23:57:32 +00001435 Code = serialization::EXPR_CXX_THIS;
Chris Lattner98267332010-05-09 06:15:05 +00001436}
1437
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001438void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
Chris Lattnere2437f42010-05-09 06:40:08 +00001439 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001440 Record.AddSourceLocation(E->getThrowLoc());
1441 Record.AddStmt(E->getSubExpr());
Douglas Gregor53e191ed2011-07-06 22:04:06 +00001442 Record.push_back(E->isThrownVariableInScope());
Sebastian Redl539c5062010-08-18 23:57:32 +00001443 Code = serialization::EXPR_CXX_THROW;
Chris Lattner98267332010-05-09 06:15:05 +00001444}
1445
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001446void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
Chris Lattnere2437f42010-05-09 06:40:08 +00001447 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001448 Record.AddDeclRef(E->getParam());
1449 Record.AddSourceLocation(E->getUsedLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +00001450 Code = serialization::EXPR_CXX_DEFAULT_ARG;
Chris Lattnere2437f42010-05-09 06:40:08 +00001451}
1452
Richard Smith852c9db2013-04-20 22:23:05 +00001453void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1454 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001455 Record.AddDeclRef(E->getField());
1456 Record.AddSourceLocation(E->getExprLoc());
Richard Smith852c9db2013-04-20 22:23:05 +00001457 Code = serialization::EXPR_CXX_DEFAULT_INIT;
1458}
1459
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001460void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
Chris Lattnercba86142010-05-10 00:25:06 +00001461 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001462 Record.AddCXXTemporary(E->getTemporary());
1463 Record.AddStmt(E->getSubExpr());
Sebastian Redl539c5062010-08-18 23:57:32 +00001464 Code = serialization::EXPR_CXX_BIND_TEMPORARY;
Chris Lattnercba86142010-05-10 00:25:06 +00001465}
1466
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001467void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001468 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001469 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1470 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001471 Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001472}
1473
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001474void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001475 VisitExpr(E);
1476 Record.push_back(E->isGlobalNew());
Sebastian Redlc3a3c602012-02-16 11:35:52 +00001477 Record.push_back(E->isArray());
Richard Smithb2f0f052016-10-10 18:54:32 +00001478 Record.push_back(E->passAlignment());
Sebastian Redl6047f072012-02-16 12:22:20 +00001479 Record.push_back(E->doesUsualArrayDeleteWantSize());
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001480 Record.push_back(E->getNumPlacementArgs());
Sebastian Redl6047f072012-02-16 12:22:20 +00001481 Record.push_back(E->StoredInitializationStyle);
Richard Smith290d8012016-04-06 17:06:00 +00001482 Record.AddDeclRef(E->getOperatorNew());
1483 Record.AddDeclRef(E->getOperatorDelete());
1484 Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo());
1485 Record.AddSourceRange(E->getTypeIdParens());
1486 Record.AddSourceRange(E->getSourceRange());
1487 Record.AddSourceRange(E->getDirectInitRange());
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001488 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), e = E->raw_arg_end();
1489 I != e; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001490 Record.AddStmt(*I);
Sebastian Redl6047f072012-02-16 12:22:20 +00001491
Sebastian Redl539c5062010-08-18 23:57:32 +00001492 Code = serialization::EXPR_CXX_NEW;
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001493}
1494
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001495void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
Argyrios Kyrtzidis6e57c352010-06-22 17:07:59 +00001496 VisitExpr(E);
1497 Record.push_back(E->isGlobalDelete());
1498 Record.push_back(E->isArrayForm());
Argyrios Kyrtzidis14ec9f62010-09-13 20:15:54 +00001499 Record.push_back(E->isArrayFormAsWritten());
John McCall284c48f2011-01-27 09:37:56 +00001500 Record.push_back(E->doesUsualArrayDeleteWantSize());
Richard Smith290d8012016-04-06 17:06:00 +00001501 Record.AddDeclRef(E->getOperatorDelete());
1502 Record.AddStmt(E->getArgument());
1503 Record.AddSourceLocation(E->getSourceRange().getBegin());
Fangrui Song6907ce22018-07-30 19:24:48 +00001504
Sebastian Redl539c5062010-08-18 23:57:32 +00001505 Code = serialization::EXPR_CXX_DELETE;
Argyrios Kyrtzidis6e57c352010-06-22 17:07:59 +00001506}
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001507
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001508void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001509 VisitExpr(E);
1510
Richard Smith290d8012016-04-06 17:06:00 +00001511 Record.AddStmt(E->getBase());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001512 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +00001513 Record.AddSourceLocation(E->getOperatorLoc());
1514 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1515 Record.AddTypeSourceInfo(E->getScopeTypeInfo());
1516 Record.AddSourceLocation(E->getColonColonLoc());
1517 Record.AddSourceLocation(E->getTildeLoc());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001518
1519 // PseudoDestructorTypeStorage.
Richard Smith290d8012016-04-06 17:06:00 +00001520 Record.AddIdentifierRef(E->getDestroyedTypeIdentifier());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001521 if (E->getDestroyedTypeIdentifier())
Richard Smith290d8012016-04-06 17:06:00 +00001522 Record.AddSourceLocation(E->getDestroyedTypeLoc());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001523 else
Richard Smith290d8012016-04-06 17:06:00 +00001524 Record.AddTypeSourceInfo(E->getDestroyedTypeInfo());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001525
Sebastian Redl539c5062010-08-18 23:57:32 +00001526 Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001527}
1528
John McCall5d413782010-12-06 08:20:24 +00001529void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
Chris Lattnercba86142010-05-10 00:25:06 +00001530 VisitExpr(E);
John McCall28fc7092011-11-10 05:35:25 +00001531 Record.push_back(E->getNumObjects());
1532 for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i)
Richard Smith290d8012016-04-06 17:06:00 +00001533 Record.AddDeclRef(E->getObject(i));
Tim Shen4a05bb82016-06-21 20:29:17 +00001534
1535 Record.push_back(E->cleanupsHaveSideEffects());
Richard Smith290d8012016-04-06 17:06:00 +00001536 Record.AddStmt(E->getSubExpr());
John McCall5d413782010-12-06 08:20:24 +00001537 Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
Chris Lattnercba86142010-05-10 00:25:06 +00001538}
1539
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001540void
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001541ASTStmtWriter::VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E){
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001542 VisitExpr(E);
Abramo Bagnara7945c982012-01-27 09:46:47 +00001543
1544 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
Douglas Gregor87866ce2011-02-04 12:01:24 +00001545 // emitted first.
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001546
Abramo Bagnara7945c982012-01-27 09:46:47 +00001547 Record.push_back(E->HasTemplateKWAndArgsInfo);
1548 if (E->HasTemplateKWAndArgsInfo) {
James Y Knighte7d82282015-12-29 18:15:14 +00001549 const ASTTemplateKWAndArgsInfo &ArgInfo =
1550 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1551 Record.push_back(ArgInfo.NumTemplateArgs);
1552 AddTemplateKWAndArgsInfo(ArgInfo,
1553 E->getTrailingObjects<TemplateArgumentLoc>());
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001554 }
Abramo Bagnara7945c982012-01-27 09:46:47 +00001555
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001556 if (!E->isImplicitAccess())
Richard Smith290d8012016-04-06 17:06:00 +00001557 Record.AddStmt(E->getBase());
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001558 else
Richard Smith290d8012016-04-06 17:06:00 +00001559 Record.AddStmt(nullptr);
1560 Record.AddTypeRef(E->getBaseType());
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001561 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +00001562 Record.AddSourceLocation(E->getOperatorLoc());
1563 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1564 Record.AddDeclRef(E->getFirstQualifierFoundInScope());
1565 Record.AddDeclarationNameInfo(E->MemberNameInfo);
Sebastian Redl539c5062010-08-18 23:57:32 +00001566 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001567}
1568
1569void
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001570ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
Argyrios Kyrtzidiscd444d1a2010-06-28 09:31:56 +00001571 VisitExpr(E);
Abramo Bagnara7945c982012-01-27 09:46:47 +00001572
1573 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
Douglas Gregor87866ce2011-02-04 12:01:24 +00001574 // emitted first.
Abramo Bagnara7945c982012-01-27 09:46:47 +00001575
1576 Record.push_back(E->HasTemplateKWAndArgsInfo);
1577 if (E->HasTemplateKWAndArgsInfo) {
James Y Knighte7d82282015-12-29 18:15:14 +00001578 const ASTTemplateKWAndArgsInfo &ArgInfo =
1579 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1580 Record.push_back(ArgInfo.NumTemplateArgs);
1581 AddTemplateKWAndArgsInfo(ArgInfo,
1582 E->getTrailingObjects<TemplateArgumentLoc>());
Argyrios Kyrtzidiscd444d1a2010-06-28 09:31:56 +00001583 }
1584
Richard Smith290d8012016-04-06 17:06:00 +00001585 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1586 Record.AddDeclarationNameInfo(E->NameInfo);
Sebastian Redl539c5062010-08-18 23:57:32 +00001587 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
Argyrios Kyrtzidiscd444d1a2010-06-28 09:31:56 +00001588}
1589
1590void
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001591ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001592 VisitExpr(E);
1593 Record.push_back(E->arg_size());
1594 for (CXXUnresolvedConstructExpr::arg_iterator
1595 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
Richard Smith290d8012016-04-06 17:06:00 +00001596 Record.AddStmt(*ArgI);
1597 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1598 Record.AddSourceLocation(E->getLParenLoc());
1599 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001600 Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001601}
Chris Lattner98267332010-05-09 06:15:05 +00001602
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001603void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001604 VisitExpr(E);
Abramo Bagnara7945c982012-01-27 09:46:47 +00001605
1606 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1607 // emitted first.
1608
1609 Record.push_back(E->HasTemplateKWAndArgsInfo);
1610 if (E->HasTemplateKWAndArgsInfo) {
James Y Knighte7d82282015-12-29 18:15:14 +00001611 const ASTTemplateKWAndArgsInfo &ArgInfo =
1612 *E->getTrailingASTTemplateKWAndArgsInfo();
1613 Record.push_back(ArgInfo.NumTemplateArgs);
1614 AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001615 }
1616
1617 Record.push_back(E->getNumDecls());
1618 for (OverloadExpr::decls_iterator
1619 OvI = E->decls_begin(), OvE = E->decls_end(); OvI != OvE; ++OvI) {
Richard Smith290d8012016-04-06 17:06:00 +00001620 Record.AddDeclRef(OvI.getDecl());
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001621 Record.push_back(OvI.getAccess());
1622 }
1623
Richard Smith290d8012016-04-06 17:06:00 +00001624 Record.AddDeclarationNameInfo(E->NameInfo);
1625 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001626}
1627
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001628void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001629 VisitOverloadExpr(E);
1630 Record.push_back(E->isArrow());
1631 Record.push_back(E->hasUnresolvedUsing());
Richard Smith290d8012016-04-06 17:06:00 +00001632 Record.AddStmt(!E->isImplicitAccess() ? E->getBase() : nullptr);
1633 Record.AddTypeRef(E->getBaseType());
1634 Record.AddSourceLocation(E->getOperatorLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001635 Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001636}
1637
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001638void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
Argyrios Kyrtzidis58e01ad2010-06-25 09:03:34 +00001639 VisitOverloadExpr(E);
1640 Record.push_back(E->requiresADL());
1641 Record.push_back(E->isOverloaded());
Richard Smith290d8012016-04-06 17:06:00 +00001642 Record.AddDeclRef(E->getNamingClass());
Sebastian Redl539c5062010-08-18 23:57:32 +00001643 Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
Argyrios Kyrtzidis58e01ad2010-06-25 09:03:34 +00001644}
1645
Douglas Gregor29c42f22012-02-24 07:38:34 +00001646void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
1647 VisitExpr(E);
1648 Record.push_back(E->TypeTraitExprBits.NumArgs);
1649 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
1650 Record.push_back(E->TypeTraitExprBits.Value);
Richard Smith290d8012016-04-06 17:06:00 +00001651 Record.AddSourceRange(E->getSourceRange());
Douglas Gregor29c42f22012-02-24 07:38:34 +00001652 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001653 Record.AddTypeSourceInfo(E->getArg(I));
Douglas Gregor29c42f22012-02-24 07:38:34 +00001654 Code = serialization::EXPR_TYPE_TRAIT;
1655}
1656
John Wiegley6242b6a2011-04-28 00:16:57 +00001657void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
1658 VisitExpr(E);
1659 Record.push_back(E->getTrait());
1660 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001661 Record.AddSourceRange(E->getSourceRange());
1662 Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
Aleksei Sidorina693b372016-09-28 10:16:56 +00001663 Record.AddStmt(E->getDimensionExpression());
John Wiegley6242b6a2011-04-28 00:16:57 +00001664 Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
1665}
1666
John Wiegleyf9f65842011-04-25 06:54:41 +00001667void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
1668 VisitExpr(E);
1669 Record.push_back(E->getTrait());
1670 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001671 Record.AddSourceRange(E->getSourceRange());
1672 Record.AddStmt(E->getQueriedExpression());
John Wiegleyf9f65842011-04-25 06:54:41 +00001673 Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
1674}
1675
Sebastian Redl9ac55dd2010-09-10 20:55:54 +00001676void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
1677 VisitExpr(E);
1678 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001679 Record.AddSourceRange(E->getSourceRange());
1680 Record.AddStmt(E->getOperand());
Sebastian Redl9ac55dd2010-09-10 20:55:54 +00001681 Code = serialization::EXPR_CXX_NOEXCEPT;
1682}
1683
Douglas Gregore8e9dd62011-01-03 17:17:50 +00001684void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
1685 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001686 Record.AddSourceLocation(E->getEllipsisLoc());
Douglas Gregorb8840002011-01-14 21:20:45 +00001687 Record.push_back(E->NumExpansions);
Richard Smith290d8012016-04-06 17:06:00 +00001688 Record.AddStmt(E->getPattern());
Douglas Gregore8e9dd62011-01-03 17:17:50 +00001689 Code = serialization::EXPR_PACK_EXPANSION;
1690}
1691
Douglas Gregor820ba7b2011-01-04 17:33:58 +00001692void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
1693 VisitExpr(E);
Richard Smithd784e682015-09-23 21:41:42 +00001694 Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
1695 : 0);
Richard Smith290d8012016-04-06 17:06:00 +00001696 Record.AddSourceLocation(E->OperatorLoc);
1697 Record.AddSourceLocation(E->PackLoc);
1698 Record.AddSourceLocation(E->RParenLoc);
1699 Record.AddDeclRef(E->Pack);
Richard Smithd784e682015-09-23 21:41:42 +00001700 if (E->isPartiallySubstituted()) {
1701 for (const auto &TA : E->getPartialArguments())
Richard Smith290d8012016-04-06 17:06:00 +00001702 Record.AddTemplateArgument(TA);
Richard Smithd784e682015-09-23 21:41:42 +00001703 } else if (!E->isValueDependent()) {
1704 Record.push_back(E->getPackLength());
1705 }
Douglas Gregor820ba7b2011-01-04 17:33:58 +00001706 Code = serialization::EXPR_SIZEOF_PACK;
1707}
1708
John McCallfa194042011-07-15 07:00:14 +00001709void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
1710 SubstNonTypeTemplateParmExpr *E) {
1711 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001712 Record.AddDeclRef(E->getParameter());
1713 Record.AddSourceLocation(E->getNameLoc());
1714 Record.AddStmt(E->getReplacement());
John McCallfa194042011-07-15 07:00:14 +00001715 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
1716}
1717
Douglas Gregorcdbc5392011-01-15 01:15:58 +00001718void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
1719 SubstNonTypeTemplateParmPackExpr *E) {
1720 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001721 Record.AddDeclRef(E->getParameterPack());
1722 Record.AddTemplateArgument(E->getArgumentPack());
1723 Record.AddSourceLocation(E->getParameterPackLocation());
Douglas Gregorcdbc5392011-01-15 01:15:58 +00001724 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
1725}
1726
Richard Smithb15fe3a2012-09-12 00:56:43 +00001727void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
1728 VisitExpr(E);
1729 Record.push_back(E->getNumExpansions());
Richard Smith290d8012016-04-06 17:06:00 +00001730 Record.AddDeclRef(E->getParameterPack());
1731 Record.AddSourceLocation(E->getParameterPackLocation());
Richard Smithb15fe3a2012-09-12 00:56:43 +00001732 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
1733 I != End; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001734 Record.AddDeclRef(*I);
Richard Smithb15fe3a2012-09-12 00:56:43 +00001735 Code = serialization::EXPR_FUNCTION_PARM_PACK;
1736}
1737
Douglas Gregorfe314812011-06-21 17:03:29 +00001738void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
1739 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001740 Record.AddStmt(E->getTemporary());
1741 Record.AddDeclRef(E->getExtendingDecl());
David Majnemerdaff3702014-05-01 17:50:17 +00001742 Record.push_back(E->getManglingNumber());
Douglas Gregorfe314812011-06-21 17:03:29 +00001743 Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
1744}
1745
Richard Smith0f0af192014-11-08 05:07:16 +00001746void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
1747 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001748 Record.AddSourceLocation(E->LParenLoc);
1749 Record.AddSourceLocation(E->EllipsisLoc);
1750 Record.AddSourceLocation(E->RParenLoc);
1751 Record.AddStmt(E->SubExprs[0]);
1752 Record.AddStmt(E->SubExprs[1]);
Richard Smith0f0af192014-11-08 05:07:16 +00001753 Record.push_back(E->Opcode);
1754 Code = serialization::EXPR_CXX_FOLD;
1755}
1756
John McCall8d69a212010-11-15 23:31:06 +00001757void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
1758 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001759 Record.AddStmt(E->getSourceExpr());
1760 Record.AddSourceLocation(E->getLocation());
Akira Hatanaka797afe32018-03-20 01:47:58 +00001761 Record.push_back(E->isUnique());
John McCall8d69a212010-11-15 23:31:06 +00001762 Code = serialization::EXPR_OPAQUE_VALUE;
1763}
1764
Kaelyn Takatae1f49d52014-10-27 18:07:20 +00001765void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
1766 VisitExpr(E);
1767 // TODO: Figure out sane writer behavior for a TypoExpr, if necessary
Davide Italiano04839a52016-01-30 08:03:54 +00001768 llvm_unreachable("Cannot write TypoExpr nodes");
Kaelyn Takatae1f49d52014-10-27 18:07:20 +00001769}
1770
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001771//===----------------------------------------------------------------------===//
Peter Collingbourne41f85462011-02-09 21:07:24 +00001772// CUDA Expressions and Statements.
1773//===----------------------------------------------------------------------===//
1774
1775void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
1776 VisitCallExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001777 Record.AddStmt(E->getConfig());
Peter Collingbourne41f85462011-02-09 21:07:24 +00001778 Code = serialization::EXPR_CUDA_KERNEL_CALL;
1779}
1780
1781//===----------------------------------------------------------------------===//
Tanya Lattner55808c12011-06-04 00:47:47 +00001782// OpenCL Expressions and Statements.
1783//===----------------------------------------------------------------------===//
1784void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
1785 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001786 Record.AddSourceLocation(E->getBuiltinLoc());
1787 Record.AddSourceLocation(E->getRParenLoc());
1788 Record.AddStmt(E->getSrcExpr());
Tanya Lattner55808c12011-06-04 00:47:47 +00001789 Code = serialization::EXPR_ASTYPE;
1790}
1791
1792//===----------------------------------------------------------------------===//
John McCallfa194042011-07-15 07:00:14 +00001793// Microsoft Expressions and Statements.
1794//===----------------------------------------------------------------------===//
John McCall5e77d762013-04-16 07:28:30 +00001795void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
1796 VisitExpr(E);
1797 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +00001798 Record.AddStmt(E->getBaseExpr());
1799 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1800 Record.AddSourceLocation(E->getMemberLoc());
1801 Record.AddDeclRef(E->getPropertyDecl());
John McCall5e77d762013-04-16 07:28:30 +00001802 Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR;
1803}
1804
Alexey Bataevf7630272015-11-25 12:01:00 +00001805void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
1806 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001807 Record.AddStmt(E->getBase());
1808 Record.AddStmt(E->getIdx());
1809 Record.AddSourceLocation(E->getRBracketLoc());
Alexey Bataevf7630272015-11-25 12:01:00 +00001810 Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR;
1811}
1812
John McCallfa194042011-07-15 07:00:14 +00001813void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
1814 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001815 Record.AddSourceRange(E->getSourceRange());
1816 Record.AddString(E->getUuidStr());
John McCallfa194042011-07-15 07:00:14 +00001817 if (E->isTypeOperand()) {
Richard Smith290d8012016-04-06 17:06:00 +00001818 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
John McCallfa194042011-07-15 07:00:14 +00001819 Code = serialization::EXPR_CXX_UUIDOF_TYPE;
1820 } else {
Richard Smith290d8012016-04-06 17:06:00 +00001821 Record.AddStmt(E->getExprOperand());
John McCallfa194042011-07-15 07:00:14 +00001822 Code = serialization::EXPR_CXX_UUIDOF_EXPR;
1823 }
1824}
1825
1826void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
1827 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001828 Record.AddSourceLocation(S->getExceptLoc());
1829 Record.AddStmt(S->getFilterExpr());
1830 Record.AddStmt(S->getBlock());
John McCallfa194042011-07-15 07:00:14 +00001831 Code = serialization::STMT_SEH_EXCEPT;
1832}
1833
1834void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
1835 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001836 Record.AddSourceLocation(S->getFinallyLoc());
1837 Record.AddStmt(S->getBlock());
John McCallfa194042011-07-15 07:00:14 +00001838 Code = serialization::STMT_SEH_FINALLY;
1839}
1840
1841void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
1842 VisitStmt(S);
1843 Record.push_back(S->getIsCXXTry());
Richard Smith290d8012016-04-06 17:06:00 +00001844 Record.AddSourceLocation(S->getTryLoc());
1845 Record.AddStmt(S->getTryBlock());
1846 Record.AddStmt(S->getHandler());
John McCallfa194042011-07-15 07:00:14 +00001847 Code = serialization::STMT_SEH_TRY;
1848}
1849
Nico Weber9b982072014-07-07 00:12:30 +00001850void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
1851 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001852 Record.AddSourceLocation(S->getLeaveLoc());
Nico Weber9b982072014-07-07 00:12:30 +00001853 Code = serialization::STMT_SEH_LEAVE;
1854}
1855
John McCallfa194042011-07-15 07:00:14 +00001856//===----------------------------------------------------------------------===//
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001857// OpenMP Directives.
1858//===----------------------------------------------------------------------===//
1859void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
Stephen Kellyf2ceec42018-08-09 21:08:08 +00001860 Record.AddSourceLocation(E->getBeginLoc());
Stephen Kelly1c301dc2018-08-09 21:09:38 +00001861 Record.AddSourceLocation(E->getEndLoc());
Richard Smith290d8012016-04-06 17:06:00 +00001862 OMPClauseWriter ClauseWriter(Record);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001863 for (unsigned i = 0; i < E->getNumClauses(); ++i) {
1864 ClauseWriter.writeClause(E->getClause(i));
1865 }
Alexey Bataev68446b72014-07-18 07:47:19 +00001866 if (E->hasAssociatedStmt())
Richard Smith290d8012016-04-06 17:06:00 +00001867 Record.AddStmt(E->getAssociatedStmt());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001868}
1869
Alexander Musman3aaab662014-08-19 11:27:13 +00001870void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
1871 VisitStmt(D);
1872 Record.push_back(D->getNumClauses());
1873 Record.push_back(D->getCollapsedNumber());
1874 VisitOMPExecutableDirective(D);
Richard Smith290d8012016-04-06 17:06:00 +00001875 Record.AddStmt(D->getIterationVariable());
1876 Record.AddStmt(D->getLastIteration());
1877 Record.AddStmt(D->getCalcLastIteration());
1878 Record.AddStmt(D->getPreCond());
1879 Record.AddStmt(D->getCond());
1880 Record.AddStmt(D->getInit());
1881 Record.AddStmt(D->getInc());
1882 Record.AddStmt(D->getPreInits());
Alexey Bataev3392d762016-02-16 11:18:12 +00001883 if (isOpenMPWorksharingDirective(D->getDirectiveKind()) ||
Carlo Bertollifc35ad22016-03-07 16:04:49 +00001884 isOpenMPTaskLoopDirective(D->getDirectiveKind()) ||
1885 isOpenMPDistributeDirective(D->getDirectiveKind())) {
Richard Smith290d8012016-04-06 17:06:00 +00001886 Record.AddStmt(D->getIsLastIterVariable());
1887 Record.AddStmt(D->getLowerBoundVariable());
1888 Record.AddStmt(D->getUpperBoundVariable());
1889 Record.AddStmt(D->getStrideVariable());
1890 Record.AddStmt(D->getEnsureUpperBound());
1891 Record.AddStmt(D->getNextLowerBound());
1892 Record.AddStmt(D->getNextUpperBound());
Alexey Bataev8b427062016-05-25 12:36:08 +00001893 Record.AddStmt(D->getNumIterations());
Alexander Musmanc6388682014-12-15 07:07:06 +00001894 }
Carlo Bertolli9925f152016-06-27 14:55:37 +00001895 if (isOpenMPLoopBoundSharingDirective(D->getDirectiveKind())) {
1896 Record.AddStmt(D->getPrevLowerBoundVariable());
1897 Record.AddStmt(D->getPrevUpperBoundVariable());
Carlo Bertolli8429d812017-02-17 21:29:13 +00001898 Record.AddStmt(D->getDistInc());
1899 Record.AddStmt(D->getPrevEnsureUpperBound());
Carlo Bertolliffafe102017-04-20 00:39:39 +00001900 Record.AddStmt(D->getCombinedLowerBoundVariable());
1901 Record.AddStmt(D->getCombinedUpperBoundVariable());
1902 Record.AddStmt(D->getCombinedEnsureUpperBound());
1903 Record.AddStmt(D->getCombinedInit());
1904 Record.AddStmt(D->getCombinedCond());
1905 Record.AddStmt(D->getCombinedNextLowerBound());
1906 Record.AddStmt(D->getCombinedNextUpperBound());
Gheorghe-Teodor Berceae9256762018-10-29 15:45:47 +00001907 Record.AddStmt(D->getCombinedDistCond());
1908 Record.AddStmt(D->getCombinedParForInDistCond());
Carlo Bertolli9925f152016-06-27 14:55:37 +00001909 }
Alexander Musmana5f070a2014-10-01 06:03:56 +00001910 for (auto I : D->counters()) {
Richard Smith290d8012016-04-06 17:06:00 +00001911 Record.AddStmt(I);
Alexander Musmana5f070a2014-10-01 06:03:56 +00001912 }
Alexey Bataeva8899172015-08-06 12:30:57 +00001913 for (auto I : D->private_counters()) {
Richard Smith290d8012016-04-06 17:06:00 +00001914 Record.AddStmt(I);
Alexey Bataeva8899172015-08-06 12:30:57 +00001915 }
Alexey Bataevb08f89f2015-08-14 12:25:37 +00001916 for (auto I : D->inits()) {
Richard Smith290d8012016-04-06 17:06:00 +00001917 Record.AddStmt(I);
Alexey Bataevb08f89f2015-08-14 12:25:37 +00001918 }
Alexander Musmana5f070a2014-10-01 06:03:56 +00001919 for (auto I : D->updates()) {
Richard Smith290d8012016-04-06 17:06:00 +00001920 Record.AddStmt(I);
Alexander Musmana5f070a2014-10-01 06:03:56 +00001921 }
1922 for (auto I : D->finals()) {
Richard Smith290d8012016-04-06 17:06:00 +00001923 Record.AddStmt(I);
Alexander Musmana5f070a2014-10-01 06:03:56 +00001924 }
Alexander Musman3aaab662014-08-19 11:27:13 +00001925}
1926
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001927void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001928 VisitStmt(D);
1929 Record.push_back(D->getNumClauses());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001930 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001931 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001932 Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE;
1933}
1934
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001935void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
Alexander Musman3aaab662014-08-19 11:27:13 +00001936 VisitOMPLoopDirective(D);
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001937 Code = serialization::STMT_OMP_SIMD_DIRECTIVE;
1938}
1939
Alexey Bataevf29276e2014-06-18 04:14:57 +00001940void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
Alexander Musman3aaab662014-08-19 11:27:13 +00001941 VisitOMPLoopDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001942 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataevf29276e2014-06-18 04:14:57 +00001943 Code = serialization::STMT_OMP_FOR_DIRECTIVE;
1944}
1945
Alexander Musmanf82886e2014-09-18 05:12:34 +00001946void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
1947 VisitOMPLoopDirective(D);
1948 Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE;
1949}
1950
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001951void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
1952 VisitStmt(D);
1953 Record.push_back(D->getNumClauses());
1954 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001955 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001956 Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE;
1957}
1958
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001959void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
1960 VisitStmt(D);
1961 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001962 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001963 Code = serialization::STMT_OMP_SECTION_DIRECTIVE;
1964}
1965
Alexey Bataevd1e40fb2014-06-26 12:05:45 +00001966void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
1967 VisitStmt(D);
1968 Record.push_back(D->getNumClauses());
1969 VisitOMPExecutableDirective(D);
1970 Code = serialization::STMT_OMP_SINGLE_DIRECTIVE;
1971}
1972
Alexander Musman80c22892014-07-17 08:54:58 +00001973void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
1974 VisitStmt(D);
1975 VisitOMPExecutableDirective(D);
1976 Code = serialization::STMT_OMP_MASTER_DIRECTIVE;
1977}
1978
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001979void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
1980 VisitStmt(D);
Alexey Bataev28c75412015-12-15 08:19:24 +00001981 Record.push_back(D->getNumClauses());
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001982 VisitOMPExecutableDirective(D);
Richard Smith290d8012016-04-06 17:06:00 +00001983 Record.AddDeclarationNameInfo(D->getDirectiveName());
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001984 Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE;
1985}
1986
Alexey Bataev4acb8592014-07-07 13:01:15 +00001987void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
Alexander Musman3aaab662014-08-19 11:27:13 +00001988 VisitOMPLoopDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001989 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev4acb8592014-07-07 13:01:15 +00001990 Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE;
1991}
1992
Alexander Musmane4e893b2014-09-23 09:33:00 +00001993void ASTStmtWriter::VisitOMPParallelForSimdDirective(
1994 OMPParallelForSimdDirective *D) {
1995 VisitOMPLoopDirective(D);
1996 Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE;
1997}
1998
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00001999void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2000 OMPParallelSectionsDirective *D) {
2001 VisitStmt(D);
2002 Record.push_back(D->getNumClauses());
2003 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00002004 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00002005 Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE;
2006}
2007
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +00002008void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2009 VisitStmt(D);
2010 Record.push_back(D->getNumClauses());
2011 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00002012 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +00002013 Code = serialization::STMT_OMP_TASK_DIRECTIVE;
2014}
2015
Alexey Bataev0162e452014-07-22 10:10:35 +00002016void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2017 VisitStmt(D);
2018 Record.push_back(D->getNumClauses());
2019 VisitOMPExecutableDirective(D);
Richard Smith290d8012016-04-06 17:06:00 +00002020 Record.AddStmt(D->getX());
2021 Record.AddStmt(D->getV());
2022 Record.AddStmt(D->getExpr());
2023 Record.AddStmt(D->getUpdateExpr());
Alexey Bataevb4505a72015-03-30 05:20:59 +00002024 Record.push_back(D->isXLHSInRHSPart() ? 1 : 0);
Alexey Bataevb78ca832015-04-01 03:33:17 +00002025 Record.push_back(D->isPostfixUpdate() ? 1 : 0);
Alexey Bataev0162e452014-07-22 10:10:35 +00002026 Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE;
2027}
2028
Alexey Bataev0bd520b2014-09-19 08:19:49 +00002029void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2030 VisitStmt(D);
2031 Record.push_back(D->getNumClauses());
2032 VisitOMPExecutableDirective(D);
2033 Code = serialization::STMT_OMP_TARGET_DIRECTIVE;
2034}
2035
Michael Wong65f367f2015-07-21 13:44:28 +00002036void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2037 VisitStmt(D);
2038 Record.push_back(D->getNumClauses());
2039 VisitOMPExecutableDirective(D);
2040 Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE;
2041}
2042
Samuel Antaodf67fc42016-01-19 19:15:56 +00002043void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2044 OMPTargetEnterDataDirective *D) {
2045 VisitStmt(D);
2046 Record.push_back(D->getNumClauses());
2047 VisitOMPExecutableDirective(D);
2048 Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE;
2049}
2050
Samuel Antao72590762016-01-19 20:04:50 +00002051void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2052 OMPTargetExitDataDirective *D) {
2053 VisitStmt(D);
2054 Record.push_back(D->getNumClauses());
2055 VisitOMPExecutableDirective(D);
2056 Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE;
2057}
2058
Arpith Chacko Jacobe955b3d2016-01-26 18:48:41 +00002059void ASTStmtWriter::VisitOMPTargetParallelDirective(
2060 OMPTargetParallelDirective *D) {
2061 VisitStmt(D);
2062 Record.push_back(D->getNumClauses());
2063 VisitOMPExecutableDirective(D);
2064 Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE;
2065}
2066
Arpith Chacko Jacob05bebb52016-02-03 15:46:42 +00002067void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2068 OMPTargetParallelForDirective *D) {
2069 VisitOMPLoopDirective(D);
2070 Record.push_back(D->hasCancel() ? 1 : 0);
2071 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE;
2072}
2073
Alexey Bataev68446b72014-07-18 07:47:19 +00002074void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2075 VisitStmt(D);
2076 VisitOMPExecutableDirective(D);
2077 Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE;
2078}
2079
Alexey Bataev4d1dfea2014-07-18 09:11:51 +00002080void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2081 VisitStmt(D);
2082 VisitOMPExecutableDirective(D);
2083 Code = serialization::STMT_OMP_BARRIER_DIRECTIVE;
2084}
2085
Alexey Bataev2df347a2014-07-18 10:17:07 +00002086void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2087 VisitStmt(D);
2088 VisitOMPExecutableDirective(D);
2089 Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE;
2090}
2091
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00002092void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2093 VisitStmt(D);
Alexey Bataev169d96a2017-07-18 20:17:46 +00002094 Record.push_back(D->getNumClauses());
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00002095 VisitOMPExecutableDirective(D);
Alexey Bataev3b1b8952017-07-25 15:53:26 +00002096 Record.AddStmt(D->getReductionRef());
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00002097 Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE;
2098}
2099
Alexey Bataev6125da92014-07-21 11:26:11 +00002100void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2101 VisitStmt(D);
2102 Record.push_back(D->getNumClauses());
2103 VisitOMPExecutableDirective(D);
2104 Code = serialization::STMT_OMP_FLUSH_DIRECTIVE;
2105}
2106
Alexey Bataev9fb6e642014-07-22 06:45:04 +00002107void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2108 VisitStmt(D);
Alexey Bataev346265e2015-09-25 10:37:12 +00002109 Record.push_back(D->getNumClauses());
Alexey Bataev9fb6e642014-07-22 06:45:04 +00002110 VisitOMPExecutableDirective(D);
2111 Code = serialization::STMT_OMP_ORDERED_DIRECTIVE;
2112}
2113
Alexey Bataev13314bf2014-10-09 04:18:56 +00002114void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2115 VisitStmt(D);
2116 Record.push_back(D->getNumClauses());
2117 VisitOMPExecutableDirective(D);
2118 Code = serialization::STMT_OMP_TEAMS_DIRECTIVE;
2119}
2120
Alexey Bataev6d4ed052015-07-01 06:57:41 +00002121void ASTStmtWriter::VisitOMPCancellationPointDirective(
2122 OMPCancellationPointDirective *D) {
2123 VisitStmt(D);
2124 VisitOMPExecutableDirective(D);
2125 Record.push_back(D->getCancelRegion());
2126 Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE;
2127}
2128
Alexey Bataev80909872015-07-02 11:25:17 +00002129void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2130 VisitStmt(D);
Alexey Bataev87933c72015-09-18 08:07:34 +00002131 Record.push_back(D->getNumClauses());
Alexey Bataev80909872015-07-02 11:25:17 +00002132 VisitOMPExecutableDirective(D);
2133 Record.push_back(D->getCancelRegion());
2134 Code = serialization::STMT_OMP_CANCEL_DIRECTIVE;
2135}
2136
Alexey Bataev49f6e782015-12-01 04:18:41 +00002137void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2138 VisitOMPLoopDirective(D);
2139 Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE;
2140}
2141
Alexey Bataev0a6ed842015-12-03 09:40:15 +00002142void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2143 VisitOMPLoopDirective(D);
2144 Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE;
2145}
2146
Carlo Bertolli6200a3d2015-12-14 14:51:25 +00002147void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2148 VisitOMPLoopDirective(D);
2149 Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE;
2150}
2151
Samuel Antao686c70c2016-05-26 17:30:50 +00002152void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2153 VisitStmt(D);
2154 Record.push_back(D->getNumClauses());
2155 VisitOMPExecutableDirective(D);
2156 Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE;
2157}
2158
Carlo Bertolli9925f152016-06-27 14:55:37 +00002159void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2160 OMPDistributeParallelForDirective *D) {
2161 VisitOMPLoopDirective(D);
Alexey Bataevdcb4b8fb2017-11-22 20:19:50 +00002162 Record.push_back(D->hasCancel() ? 1 : 0);
Carlo Bertolli9925f152016-06-27 14:55:37 +00002163 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2164}
2165
Kelvin Li4a39add2016-07-05 05:00:15 +00002166void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2167 OMPDistributeParallelForSimdDirective *D) {
2168 VisitOMPLoopDirective(D);
2169 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2170}
2171
Kelvin Li787f3fc2016-07-06 04:45:38 +00002172void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2173 OMPDistributeSimdDirective *D) {
2174 VisitOMPLoopDirective(D);
2175 Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE;
2176}
2177
Kelvin Lia579b912016-07-14 02:54:56 +00002178void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2179 OMPTargetParallelForSimdDirective *D) {
2180 VisitOMPLoopDirective(D);
2181 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE;
2182}
2183
Kelvin Li986330c2016-07-20 22:57:10 +00002184void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2185 VisitOMPLoopDirective(D);
2186 Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE;
2187}
2188
Kelvin Li02532872016-08-05 14:37:37 +00002189void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2190 OMPTeamsDistributeDirective *D) {
2191 VisitOMPLoopDirective(D);
2192 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE;
2193}
2194
Kelvin Li4e325f72016-10-25 12:50:55 +00002195void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2196 OMPTeamsDistributeSimdDirective *D) {
2197 VisitOMPLoopDirective(D);
2198 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2199}
2200
Kelvin Li579e41c2016-11-30 23:51:03 +00002201void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2202 OMPTeamsDistributeParallelForSimdDirective *D) {
2203 VisitOMPLoopDirective(D);
2204 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2205}
2206
Kelvin Li7ade93f2016-12-09 03:24:30 +00002207void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2208 OMPTeamsDistributeParallelForDirective *D) {
2209 VisitOMPLoopDirective(D);
Alexey Bataevdcb4b8fb2017-11-22 20:19:50 +00002210 Record.push_back(D->hasCancel() ? 1 : 0);
Kelvin Li7ade93f2016-12-09 03:24:30 +00002211 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2212}
2213
Kelvin Libf594a52016-12-17 05:48:59 +00002214void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2215 VisitStmt(D);
2216 Record.push_back(D->getNumClauses());
2217 VisitOMPExecutableDirective(D);
2218 Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE;
2219}
2220
Kelvin Li83c451e2016-12-25 04:52:54 +00002221void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2222 OMPTargetTeamsDistributeDirective *D) {
2223 VisitOMPLoopDirective(D);
2224 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE;
2225}
2226
Kelvin Li80e8f562016-12-29 22:16:30 +00002227void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2228 OMPTargetTeamsDistributeParallelForDirective *D) {
2229 VisitOMPLoopDirective(D);
Alexey Bataev16e79882017-11-22 21:12:03 +00002230 Record.push_back(D->hasCancel() ? 1 : 0);
Kelvin Li80e8f562016-12-29 22:16:30 +00002231 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2232}
2233
Kelvin Li1851df52017-01-03 05:23:48 +00002234void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2235 OMPTargetTeamsDistributeParallelForSimdDirective *D) {
2236 VisitOMPLoopDirective(D);
2237 Code = serialization::
2238 STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2239}
2240
Kelvin Lida681182017-01-10 18:08:18 +00002241void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2242 OMPTargetTeamsDistributeSimdDirective *D) {
2243 VisitOMPLoopDirective(D);
2244 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2245}
2246
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002247//===----------------------------------------------------------------------===//
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002248// ASTWriter Implementation
Chris Lattner1f551822009-04-27 06:20:01 +00002249//===----------------------------------------------------------------------===//
2250
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002251unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
Mike Stump11289f42009-09-09 15:08:12 +00002252 assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() &&
Chris Lattner1f551822009-04-27 06:20:01 +00002253 "SwitchCase recorded twice");
2254 unsigned NextID = SwitchCaseIDs.size();
2255 SwitchCaseIDs[S] = NextID;
2256 return NextID;
2257}
2258
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002259unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
Mike Stump11289f42009-09-09 15:08:12 +00002260 assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() &&
Chris Lattner1f551822009-04-27 06:20:01 +00002261 "SwitchCase hasn't been seen yet");
2262 return SwitchCaseIDs[S];
2263}
2264
Argyrios Kyrtzidisd9f526f2010-10-28 09:29:32 +00002265void ASTWriter::ClearSwitchCaseIDs() {
2266 SwitchCaseIDs.clear();
2267}
2268
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002269/// Write the given substatement or subexpression to the
Chris Lattner1f551822009-04-27 06:20:01 +00002270/// bitstream.
Richard Smithf50422a2016-04-06 20:12:34 +00002271void ASTWriter::WriteSubStmt(Stmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +00002272 RecordData Record;
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00002273 ASTStmtWriter Writer(*this, Record);
Chris Lattner1f551822009-04-27 06:20:01 +00002274 ++NumStatements;
Fangrui Song6907ce22018-07-30 19:24:48 +00002275
Chris Lattner1f551822009-04-27 06:20:01 +00002276 if (!S) {
Sebastian Redl539c5062010-08-18 23:57:32 +00002277 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
Chris Lattner1f551822009-04-27 06:20:01 +00002278 return;
2279 }
Mike Stump11289f42009-09-09 15:08:12 +00002280
Argyrios Kyrtzidis6a598972011-10-21 23:02:28 +00002281 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2282 if (I != SubStmtEntries.end()) {
2283 Record.push_back(I->second);
2284 Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2285 return;
2286 }
2287
2288#ifndef NDEBUG
2289 assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2290
2291 struct ParentStmtInserterRAII {
2292 Stmt *S;
2293 llvm::DenseSet<Stmt *> &ParentStmts;
2294
2295 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2296 : S(S), ParentStmts(ParentStmts) {
2297 ParentStmts.insert(S);
2298 }
2299 ~ParentStmtInserterRAII() {
2300 ParentStmts.erase(S);
2301 }
2302 };
2303
2304 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2305#endif
2306
Chris Lattner1f551822009-04-27 06:20:01 +00002307 Writer.Visit(S);
Fangrui Song6907ce22018-07-30 19:24:48 +00002308
Richard Smithb41ddae2016-04-06 20:57:53 +00002309 uint64_t Offset = Writer.Emit();
2310 SubStmtEntries[S] = Offset;
Chris Lattner1f551822009-04-27 06:20:01 +00002311}
2312
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002313/// Flush all of the statements that have been added to the
Chris Lattner1f551822009-04-27 06:20:01 +00002314/// queue via AddStmt().
Richard Smith290d8012016-04-06 17:06:00 +00002315void ASTRecordWriter::FlushStmts() {
Daniel Dunbara5acaa32012-02-29 02:39:13 +00002316 // We expect to be the only consumer of the two temporary statement maps,
2317 // assert that they are empty.
Richard Smith290d8012016-04-06 17:06:00 +00002318 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2319 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
Argyrios Kyrtzidis6a598972011-10-21 23:02:28 +00002320
Chris Lattner1f551822009-04-27 06:20:01 +00002321 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
Richard Smithf50422a2016-04-06 20:12:34 +00002322 Writer->WriteSubStmt(StmtsToEmit[I]);
Fangrui Song6907ce22018-07-30 19:24:48 +00002323
Richard Smith290d8012016-04-06 17:06:00 +00002324 assert(N == StmtsToEmit.size() && "record modified while being written!");
Mike Stump11289f42009-09-09 15:08:12 +00002325
Chris Lattner1f551822009-04-27 06:20:01 +00002326 // Note that we are at the end of a full expression. Any
2327 // expression records that follow this one are part of a different
2328 // expression.
Richard Smith290d8012016-04-06 17:06:00 +00002329 Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
Argyrios Kyrtzidis6a598972011-10-21 23:02:28 +00002330
Richard Smith290d8012016-04-06 17:06:00 +00002331 Writer->SubStmtEntries.clear();
2332 Writer->ParentStmts.clear();
2333 }
2334
2335 StmtsToEmit.clear();
2336}
2337
2338void ASTRecordWriter::FlushSubStmts() {
2339 // For a nested statement, write out the substatements in reverse order (so
2340 // that a simple stack machine can be used when loading), and don't emit a
2341 // STMT_STOP after each one.
2342 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
Richard Smithf50422a2016-04-06 20:12:34 +00002343 Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
Richard Smith290d8012016-04-06 17:06:00 +00002344 assert(N == StmtsToEmit.size() && "record modified while being written!");
Chris Lattner1f551822009-04-27 06:20:01 +00002345 }
Mike Stump11289f42009-09-09 15:08:12 +00002346
Chris Lattner1f551822009-04-27 06:20:01 +00002347 StmtsToEmit.clear();
Chris Lattner1f551822009-04-27 06:20:01 +00002348}