blob: e36b557533090de9e875dde39892360087834397 [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);
Bruno Riccib94ad1e2018-11-15 17:31:16 +0000521
522 // Store the various bits of data of StringLiteral.
Chris Lattner1f551822009-04-27 06:20:01 +0000523 Record.push_back(E->getNumConcatenated());
Bruno Riccib94ad1e2018-11-15 17:31:16 +0000524 Record.push_back(E->getLength());
525 Record.push_back(E->getCharByteWidth());
Douglas Gregorfb65e592011-07-27 05:40:30 +0000526 Record.push_back(E->getKind());
Anders Carlsson75245402011-04-14 00:40:03 +0000527 Record.push_back(E->isPascal());
Bruno Riccib94ad1e2018-11-15 17:31:16 +0000528
529 // Store the trailing array of SourceLocation.
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));
Bruno Riccib94ad1e2018-11-15 17:31:16 +0000532
533 // Store the trailing array of char holding the string data.
534 StringRef StrData = E->getBytes();
535 for (unsigned I = 0, N = E->getByteLength(); I != N; ++I)
536 Record.push_back(StrData[I]);
537
Sebastian Redl539c5062010-08-18 23:57:32 +0000538 Code = serialization::EXPR_STRING_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000539}
540
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000541void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000542 VisitExpr(E);
543 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +0000544 Record.AddSourceLocation(E->getLocation());
Douglas Gregorfb65e592011-07-27 05:40:30 +0000545 Record.push_back(E->getKind());
Douglas Gregor03412ba2011-06-03 02:27:19 +0000546
547 AbbrevToUse = Writer.getCharacterLiteralAbbrev();
548
Sebastian Redl539c5062010-08-18 23:57:32 +0000549 Code = serialization::EXPR_CHARACTER_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000550}
551
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000552void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000553 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000554 Record.AddSourceLocation(E->getLParen());
555 Record.AddSourceLocation(E->getRParen());
556 Record.AddStmt(E->getSubExpr());
Sebastian Redl539c5062010-08-18 23:57:32 +0000557 Code = serialization::EXPR_PAREN;
Chris Lattner1f551822009-04-27 06:20:01 +0000558}
559
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000560void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
Argyrios Kyrtzidisf9f47c82010-06-30 08:49:18 +0000561 VisitExpr(E);
Bruno Riccif49e1ca2018-11-20 16:20:40 +0000562 Record.push_back(E->getNumExprs());
563 for (auto *SubStmt : E->exprs())
564 Record.AddStmt(SubStmt);
565 Record.AddSourceLocation(E->getLParenLoc());
566 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000567 Code = serialization::EXPR_PAREN_LIST;
Argyrios Kyrtzidisf9f47c82010-06-30 08:49:18 +0000568}
569
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000570void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000571 VisitExpr(E);
Malcolm Parsonsfab36802018-04-16 08:31:08 +0000572 Record.AddStmt(E->getSubExpr());
573 Record.push_back(E->getOpcode()); // FIXME: stable encoding
574 Record.AddSourceLocation(E->getOperatorLoc());
575 Record.push_back(E->canOverflow());
576 Code = serialization::EXPR_UNARY_OPERATOR;
577}
578
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000579void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
Douglas Gregor882211c2010-04-28 22:16:22 +0000580 VisitExpr(E);
581 Record.push_back(E->getNumComponents());
582 Record.push_back(E->getNumExpressions());
Richard Smith290d8012016-04-06 17:06:00 +0000583 Record.AddSourceLocation(E->getOperatorLoc());
584 Record.AddSourceLocation(E->getRParenLoc());
585 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
Douglas Gregor882211c2010-04-28 22:16:22 +0000586 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
James Y Knight7281c352015-12-29 22:31:18 +0000587 const OffsetOfNode &ON = E->getComponent(I);
Douglas Gregor882211c2010-04-28 22:16:22 +0000588 Record.push_back(ON.getKind()); // FIXME: Stable encoding
Richard Smith290d8012016-04-06 17:06:00 +0000589 Record.AddSourceLocation(ON.getSourceRange().getBegin());
590 Record.AddSourceLocation(ON.getSourceRange().getEnd());
Douglas Gregor882211c2010-04-28 22:16:22 +0000591 switch (ON.getKind()) {
James Y Knight7281c352015-12-29 22:31:18 +0000592 case OffsetOfNode::Array:
Douglas Gregor882211c2010-04-28 22:16:22 +0000593 Record.push_back(ON.getArrayExprIndex());
594 break;
James Y Knight7281c352015-12-29 22:31:18 +0000595
596 case OffsetOfNode::Field:
Richard Smith290d8012016-04-06 17:06:00 +0000597 Record.AddDeclRef(ON.getField());
Douglas Gregor882211c2010-04-28 22:16:22 +0000598 break;
James Y Knight7281c352015-12-29 22:31:18 +0000599
600 case OffsetOfNode::Identifier:
Richard Smith290d8012016-04-06 17:06:00 +0000601 Record.AddIdentifierRef(ON.getFieldName());
Douglas Gregor882211c2010-04-28 22:16:22 +0000602 break;
James Y Knight7281c352015-12-29 22:31:18 +0000603
604 case OffsetOfNode::Base:
Richard Smith290d8012016-04-06 17:06:00 +0000605 Record.AddCXXBaseSpecifier(*ON.getBase());
Douglas Gregord1702062010-04-29 00:18:15 +0000606 break;
Douglas Gregor882211c2010-04-28 22:16:22 +0000607 }
608 }
609 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000610 Record.AddStmt(E->getIndexExpr(I));
Sebastian Redl539c5062010-08-18 23:57:32 +0000611 Code = serialization::EXPR_OFFSETOF;
Douglas Gregor882211c2010-04-28 22:16:22 +0000612}
613
Peter Collingbournee190dee2011-03-11 19:24:49 +0000614void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000615 VisitExpr(E);
Peter Collingbournee190dee2011-03-11 19:24:49 +0000616 Record.push_back(E->getKind());
Chris Lattner1f551822009-04-27 06:20:01 +0000617 if (E->isArgumentType())
Richard Smith290d8012016-04-06 17:06:00 +0000618 Record.AddTypeSourceInfo(E->getArgumentTypeInfo());
Chris Lattner1f551822009-04-27 06:20:01 +0000619 else {
620 Record.push_back(0);
Richard Smith290d8012016-04-06 17:06:00 +0000621 Record.AddStmt(E->getArgumentExpr());
Chris Lattner1f551822009-04-27 06:20:01 +0000622 }
Richard Smith290d8012016-04-06 17:06:00 +0000623 Record.AddSourceLocation(E->getOperatorLoc());
624 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000625 Code = serialization::EXPR_SIZEOF_ALIGN_OF;
Chris Lattner1f551822009-04-27 06:20:01 +0000626}
627
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000628void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000629 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000630 Record.AddStmt(E->getLHS());
631 Record.AddStmt(E->getRHS());
632 Record.AddSourceLocation(E->getRBracketLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000633 Code = serialization::EXPR_ARRAY_SUBSCRIPT;
Chris Lattner1f551822009-04-27 06:20:01 +0000634}
635
Alexey Bataev1a3320e2015-08-25 14:24:04 +0000636void ASTStmtWriter::VisitOMPArraySectionExpr(OMPArraySectionExpr *E) {
637 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000638 Record.AddStmt(E->getBase());
639 Record.AddStmt(E->getLowerBound());
640 Record.AddStmt(E->getLength());
641 Record.AddSourceLocation(E->getColonLoc());
642 Record.AddSourceLocation(E->getRBracketLoc());
Alexey Bataev1a3320e2015-08-25 14:24:04 +0000643 Code = serialization::EXPR_OMP_ARRAY_SECTION;
644}
645
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000646void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000647 VisitExpr(E);
648 Record.push_back(E->getNumArgs());
Richard Smith290d8012016-04-06 17:06:00 +0000649 Record.AddSourceLocation(E->getRParenLoc());
650 Record.AddStmt(E->getCallee());
Chris Lattner1f551822009-04-27 06:20:01 +0000651 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
652 Arg != ArgEnd; ++Arg)
Richard Smith290d8012016-04-06 17:06:00 +0000653 Record.AddStmt(*Arg);
Sebastian Redl539c5062010-08-18 23:57:32 +0000654 Code = serialization::EXPR_CALL;
Chris Lattner1f551822009-04-27 06:20:01 +0000655}
656
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000657void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000658 // Don't call VisitExpr, we'll write everything here.
659
660 Record.push_back(E->hasQualifier());
Douglas Gregorea972d32011-02-28 21:54:11 +0000661 if (E->hasQualifier())
Richard Smith290d8012016-04-06 17:06:00 +0000662 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000663
Bruno Ricci4c742532018-11-15 13:56:22 +0000664 Record.push_back(E->hasTemplateKWAndArgsInfo());
665 if (E->hasTemplateKWAndArgsInfo()) {
Richard Smith290d8012016-04-06 17:06:00 +0000666 Record.AddSourceLocation(E->getTemplateKeywordLoc());
Douglas Gregor87866ce2011-02-04 12:01:24 +0000667 unsigned NumTemplateArgs = E->getNumTemplateArgs();
668 Record.push_back(NumTemplateArgs);
Richard Smith290d8012016-04-06 17:06:00 +0000669 Record.AddSourceLocation(E->getLAngleLoc());
670 Record.AddSourceLocation(E->getRAngleLoc());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000671 for (unsigned i=0; i != NumTemplateArgs; ++i)
Richard Smith290d8012016-04-06 17:06:00 +0000672 Record.AddTemplateArgumentLoc(E->getTemplateArgs()[i]);
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000673 }
Abramo Bagnara635ed24e2011-10-05 07:56:41 +0000674
675 Record.push_back(E->hadMultipleCandidates());
676
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000677 DeclAccessPair FoundDecl = E->getFoundDecl();
Richard Smith290d8012016-04-06 17:06:00 +0000678 Record.AddDeclRef(FoundDecl.getDecl());
Argyrios Kyrtzidis1985bb32010-07-08 13:09:47 +0000679 Record.push_back(FoundDecl.getAccess());
680
Richard Smith290d8012016-04-06 17:06:00 +0000681 Record.AddTypeRef(E->getType());
John McCall7decc9e2010-11-18 06:31:45 +0000682 Record.push_back(E->getValueKind());
683 Record.push_back(E->getObjectKind());
Richard Smith290d8012016-04-06 17:06:00 +0000684 Record.AddStmt(E->getBase());
685 Record.AddDeclRef(E->getMemberDecl());
686 Record.AddSourceLocation(E->getMemberLoc());
Yunzhong Gaoeba323a2015-05-01 02:04:32 +0000687 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +0000688 Record.AddSourceLocation(E->getOperatorLoc());
689 Record.AddDeclarationNameLoc(E->MemberDNLoc,
690 E->getMemberDecl()->getDeclName());
Yunzhong Gaoeba323a2015-05-01 02:04:32 +0000691 Code = serialization::EXPR_MEMBER;
Chris Lattner1f551822009-04-27 06:20:01 +0000692}
693
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000694void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
Steve Naroffe87026a2009-07-24 17:54:45 +0000695 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000696 Record.AddStmt(E->getBase());
697 Record.AddSourceLocation(E->getIsaMemberLoc());
698 Record.AddSourceLocation(E->getOpLoc());
Steve Naroffe87026a2009-07-24 17:54:45 +0000699 Record.push_back(E->isArrow());
Sebastian Redl539c5062010-08-18 23:57:32 +0000700 Code = serialization::EXPR_OBJC_ISA;
Steve Naroffe87026a2009-07-24 17:54:45 +0000701}
702
John McCall31168b02011-06-15 23:02:42 +0000703void ASTStmtWriter::
704VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
705 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000706 Record.AddStmt(E->getSubExpr());
John McCall31168b02011-06-15 23:02:42 +0000707 Record.push_back(E->shouldCopy());
708 Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
709}
710
711void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
712 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000713 Record.AddSourceLocation(E->getLParenLoc());
714 Record.AddSourceLocation(E->getBridgeKeywordLoc());
John McCall31168b02011-06-15 23:02:42 +0000715 Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
716 Code = serialization::EXPR_OBJC_BRIDGED_CAST;
717}
718
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000719void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000720 VisitExpr(E);
John McCallcf142162010-08-07 06:22:56 +0000721 Record.push_back(E->path_size());
Richard Smith290d8012016-04-06 17:06:00 +0000722 Record.AddStmt(E->getSubExpr());
Anders Carlssona2615922009-07-31 00:48:10 +0000723 Record.push_back(E->getCastKind()); // FIXME: stable encoding
John McCallcf142162010-08-07 06:22:56 +0000724
725 for (CastExpr::path_iterator
726 PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
Richard Smith290d8012016-04-06 17:06:00 +0000727 Record.AddCXXBaseSpecifier(**PI);
Chris Lattner1f551822009-04-27 06:20:01 +0000728}
729
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000730void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000731 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000732 Record.AddStmt(E->getLHS());
733 Record.AddStmt(E->getRHS());
Chris Lattner1f551822009-04-27 06:20:01 +0000734 Record.push_back(E->getOpcode()); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +0000735 Record.AddSourceLocation(E->getOperatorLoc());
Adam Nemet484aa452017-03-27 19:17:25 +0000736 Record.push_back(E->getFPFeatures().getInt());
Sebastian Redl539c5062010-08-18 23:57:32 +0000737 Code = serialization::EXPR_BINARY_OPERATOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000738}
739
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000740void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000741 VisitBinaryOperator(E);
Richard Smith290d8012016-04-06 17:06:00 +0000742 Record.AddTypeRef(E->getComputationLHSType());
743 Record.AddTypeRef(E->getComputationResultType());
Sebastian Redl539c5062010-08-18 23:57:32 +0000744 Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000745}
746
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000747void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000748 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000749 Record.AddStmt(E->getCond());
750 Record.AddStmt(E->getLHS());
751 Record.AddStmt(E->getRHS());
752 Record.AddSourceLocation(E->getQuestionLoc());
753 Record.AddSourceLocation(E->getColonLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000754 Code = serialization::EXPR_CONDITIONAL_OPERATOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000755}
756
John McCallc07a0c72011-02-17 10:25:35 +0000757void
758ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
759 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000760 Record.AddStmt(E->getOpaqueValue());
761 Record.AddStmt(E->getCommon());
762 Record.AddStmt(E->getCond());
763 Record.AddStmt(E->getTrueExpr());
764 Record.AddStmt(E->getFalseExpr());
765 Record.AddSourceLocation(E->getQuestionLoc());
766 Record.AddSourceLocation(E->getColonLoc());
John McCallc07a0c72011-02-17 10:25:35 +0000767 Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
768}
769
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000770void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000771 VisitCastExpr(E);
Roman Lebedev12216f12018-07-27 07:27:14 +0000772 Record.push_back(E->isPartOfExplicitCast());
Richard Smitha27c26e2014-07-27 04:19:32 +0000773
774 if (E->path_size() == 0)
775 AbbrevToUse = Writer.getExprImplicitCastAbbrev();
776
Sebastian Redl539c5062010-08-18 23:57:32 +0000777 Code = serialization::EXPR_IMPLICIT_CAST;
Chris Lattner1f551822009-04-27 06:20:01 +0000778}
779
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000780void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000781 VisitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000782 Record.AddTypeSourceInfo(E->getTypeInfoAsWritten());
Chris Lattner1f551822009-04-27 06:20:01 +0000783}
784
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000785void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000786 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000787 Record.AddSourceLocation(E->getLParenLoc());
788 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000789 Code = serialization::EXPR_CSTYLE_CAST;
Chris Lattner1f551822009-04-27 06:20:01 +0000790}
791
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000792void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000793 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000794 Record.AddSourceLocation(E->getLParenLoc());
795 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
796 Record.AddStmt(E->getInitializer());
Chris Lattner1f551822009-04-27 06:20:01 +0000797 Record.push_back(E->isFileScope());
Sebastian Redl539c5062010-08-18 23:57:32 +0000798 Code = serialization::EXPR_COMPOUND_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +0000799}
800
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000801void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000802 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000803 Record.AddStmt(E->getBase());
804 Record.AddIdentifierRef(&E->getAccessor());
805 Record.AddSourceLocation(E->getAccessorLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000806 Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
Chris Lattner1f551822009-04-27 06:20:01 +0000807}
808
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000809void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000810 VisitExpr(E);
Abramo Bagnara8d16bd42012-11-08 18:41:43 +0000811 // NOTE: only add the (possibly null) syntactic form.
812 // No need to serialize the isSemanticForm flag and the semantic form.
Richard Smith290d8012016-04-06 17:06:00 +0000813 Record.AddStmt(E->getSyntacticForm());
814 Record.AddSourceLocation(E->getLBraceLoc());
815 Record.AddSourceLocation(E->getRBraceLoc());
Argyrios Kyrtzidisb2ed28e2011-04-21 00:27:41 +0000816 bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
817 Record.push_back(isArrayFiller);
818 if (isArrayFiller)
Richard Smith290d8012016-04-06 17:06:00 +0000819 Record.AddStmt(E->getArrayFiller());
Argyrios Kyrtzidisb2ed28e2011-04-21 00:27:41 +0000820 else
Richard Smith290d8012016-04-06 17:06:00 +0000821 Record.AddDeclRef(E->getInitializedFieldInUnion());
Chris Lattner1f551822009-04-27 06:20:01 +0000822 Record.push_back(E->hadArrayRangeDesignator());
Argyrios Kyrtzidisbbcefa72011-04-22 05:29:30 +0000823 Record.push_back(E->getNumInits());
824 if (isArrayFiller) {
825 // ArrayFiller may have filled "holes" due to designated initializer.
826 // Replace them by 0 to indicate that the filler goes in that place.
827 Expr *filler = E->getArrayFiller();
828 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000829 Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr);
Argyrios Kyrtzidisbbcefa72011-04-22 05:29:30 +0000830 } else {
831 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000832 Record.AddStmt(E->getInit(I));
Argyrios Kyrtzidisbbcefa72011-04-22 05:29:30 +0000833 }
Sebastian Redl539c5062010-08-18 23:57:32 +0000834 Code = serialization::EXPR_INIT_LIST;
Chris Lattner1f551822009-04-27 06:20:01 +0000835}
836
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000837void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000838 VisitExpr(E);
839 Record.push_back(E->getNumSubExprs());
840 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000841 Record.AddStmt(E->getSubExpr(I));
842 Record.AddSourceLocation(E->getEqualOrColonLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000843 Record.push_back(E->usesGNUSyntax());
David Majnemerf7e36092016-06-23 00:15:04 +0000844 for (const DesignatedInitExpr::Designator &D : E->designators()) {
845 if (D.isFieldDesignator()) {
846 if (FieldDecl *Field = D.getField()) {
Sebastian Redl539c5062010-08-18 23:57:32 +0000847 Record.push_back(serialization::DESIG_FIELD_DECL);
Richard Smith290d8012016-04-06 17:06:00 +0000848 Record.AddDeclRef(Field);
Chris Lattner1f551822009-04-27 06:20:01 +0000849 } else {
Sebastian Redl539c5062010-08-18 23:57:32 +0000850 Record.push_back(serialization::DESIG_FIELD_NAME);
David Majnemerf7e36092016-06-23 00:15:04 +0000851 Record.AddIdentifierRef(D.getFieldName());
Chris Lattner1f551822009-04-27 06:20:01 +0000852 }
David Majnemerf7e36092016-06-23 00:15:04 +0000853 Record.AddSourceLocation(D.getDotLoc());
854 Record.AddSourceLocation(D.getFieldLoc());
855 } else if (D.isArrayDesignator()) {
Sebastian Redl539c5062010-08-18 23:57:32 +0000856 Record.push_back(serialization::DESIG_ARRAY);
David Majnemerf7e36092016-06-23 00:15:04 +0000857 Record.push_back(D.getFirstExprIndex());
858 Record.AddSourceLocation(D.getLBracketLoc());
859 Record.AddSourceLocation(D.getRBracketLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000860 } else {
David Majnemerf7e36092016-06-23 00:15:04 +0000861 assert(D.isArrayRangeDesignator() && "Unknown designator");
Sebastian Redl539c5062010-08-18 23:57:32 +0000862 Record.push_back(serialization::DESIG_ARRAY_RANGE);
David Majnemerf7e36092016-06-23 00:15:04 +0000863 Record.push_back(D.getFirstExprIndex());
864 Record.AddSourceLocation(D.getLBracketLoc());
865 Record.AddSourceLocation(D.getEllipsisLoc());
866 Record.AddSourceLocation(D.getRBracketLoc());
Chris Lattner1f551822009-04-27 06:20:01 +0000867 }
868 }
Sebastian Redl539c5062010-08-18 23:57:32 +0000869 Code = serialization::EXPR_DESIGNATED_INIT;
Chris Lattner1f551822009-04-27 06:20:01 +0000870}
871
Yunzhong Gaocb779302015-06-10 00:27:52 +0000872void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
873 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000874 Record.AddStmt(E->getBase());
875 Record.AddStmt(E->getUpdater());
Yunzhong Gaocb779302015-06-10 00:27:52 +0000876 Code = serialization::EXPR_DESIGNATED_INIT_UPDATE;
877}
878
879void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
880 VisitExpr(E);
881 Code = serialization::EXPR_NO_INIT;
882}
883
Richard Smith410306b2016-12-12 02:53:20 +0000884void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
885 VisitExpr(E);
886 Record.AddStmt(E->SubExprs[0]);
887 Record.AddStmt(E->SubExprs[1]);
888 Code = serialization::EXPR_ARRAY_INIT_LOOP;
889}
890
891void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
892 VisitExpr(E);
893 Code = serialization::EXPR_ARRAY_INIT_INDEX;
894}
895
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000896void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000897 VisitExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +0000898 Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
Chris Lattner1f551822009-04-27 06:20:01 +0000899}
900
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000901void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000902 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000903 Record.AddStmt(E->getSubExpr());
904 Record.AddTypeSourceInfo(E->getWrittenTypeInfo());
905 Record.AddSourceLocation(E->getBuiltinLoc());
906 Record.AddSourceLocation(E->getRParenLoc());
Charles Davisc7d5c942015-09-17 20:55:33 +0000907 Record.push_back(E->isMicrosoftABI());
Sebastian Redl539c5062010-08-18 23:57:32 +0000908 Code = serialization::EXPR_VA_ARG;
Chris Lattner1f551822009-04-27 06:20:01 +0000909}
910
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000911void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000912 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000913 Record.AddSourceLocation(E->getAmpAmpLoc());
914 Record.AddSourceLocation(E->getLabelLoc());
915 Record.AddDeclRef(E->getLabel());
Sebastian Redl539c5062010-08-18 23:57:32 +0000916 Code = serialization::EXPR_ADDR_LABEL;
Chris Lattner1f551822009-04-27 06:20:01 +0000917}
918
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000919void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000920 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000921 Record.AddStmt(E->getSubStmt());
922 Record.AddSourceLocation(E->getLParenLoc());
923 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000924 Code = serialization::EXPR_STMT;
Chris Lattner1f551822009-04-27 06:20:01 +0000925}
926
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000927void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000928 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000929 Record.AddStmt(E->getCond());
930 Record.AddStmt(E->getLHS());
931 Record.AddStmt(E->getRHS());
932 Record.AddSourceLocation(E->getBuiltinLoc());
933 Record.AddSourceLocation(E->getRParenLoc());
Eli Friedman75807f22013-07-20 00:40:58 +0000934 Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue());
Sebastian Redl539c5062010-08-18 23:57:32 +0000935 Code = serialization::EXPR_CHOOSE;
Chris Lattner1f551822009-04-27 06:20:01 +0000936}
937
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000938void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000939 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000940 Record.AddSourceLocation(E->getTokenLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +0000941 Code = serialization::EXPR_GNU_NULL;
Chris Lattner1f551822009-04-27 06:20:01 +0000942}
943
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000944void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000945 VisitExpr(E);
946 Record.push_back(E->getNumSubExprs());
947 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +0000948 Record.AddStmt(E->getExpr(I));
949 Record.AddSourceLocation(E->getBuiltinLoc());
950 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +0000951 Code = serialization::EXPR_SHUFFLE_VECTOR;
Chris Lattner1f551822009-04-27 06:20:01 +0000952}
953
Hal Finkelc4d7c822013-09-18 03:29:45 +0000954void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
955 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000956 Record.AddSourceLocation(E->getBuiltinLoc());
957 Record.AddSourceLocation(E->getRParenLoc());
958 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
959 Record.AddStmt(E->getSrcExpr());
Hal Finkelc4d7c822013-09-18 03:29:45 +0000960 Code = serialization::EXPR_CONVERT_VECTOR;
961}
962
Sebastian Redl42a0f6a2010-08-18 23:56:27 +0000963void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +0000964 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +0000965 Record.AddDeclRef(E->getBlockDecl());
Sebastian Redl539c5062010-08-18 23:57:32 +0000966 Code = serialization::EXPR_BLOCK;
Chris Lattner1f551822009-04-27 06:20:01 +0000967}
968
Peter Collingbourne91147592011-04-15 00:35:48 +0000969void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
970 VisitExpr(E);
971 Record.push_back(E->getNumAssocs());
972
Richard Smith290d8012016-04-06 17:06:00 +0000973 Record.AddStmt(E->getControllingExpr());
Peter Collingbourne91147592011-04-15 00:35:48 +0000974 for (unsigned I = 0, N = E->getNumAssocs(); I != N; ++I) {
Richard Smith290d8012016-04-06 17:06:00 +0000975 Record.AddTypeSourceInfo(E->getAssocTypeSourceInfo(I));
976 Record.AddStmt(E->getAssocExpr(I));
Peter Collingbourne91147592011-04-15 00:35:48 +0000977 }
978 Record.push_back(E->isResultDependent() ? -1U : E->getResultIndex());
979
Richard Smith290d8012016-04-06 17:06:00 +0000980 Record.AddSourceLocation(E->getGenericLoc());
981 Record.AddSourceLocation(E->getDefaultLoc());
982 Record.AddSourceLocation(E->getRParenLoc());
Peter Collingbourne91147592011-04-15 00:35:48 +0000983 Code = serialization::EXPR_GENERIC_SELECTION;
984}
985
John McCallfe96e0b2011-11-06 09:01:30 +0000986void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
987 VisitExpr(E);
988 Record.push_back(E->getNumSemanticExprs());
989
990 // Push the result index. Currently, this needs to exactly match
991 // the encoding used internally for ResultIndex.
992 unsigned result = E->getResultExprIndex();
993 result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
994 Record.push_back(result);
995
Richard Smith290d8012016-04-06 17:06:00 +0000996 Record.AddStmt(E->getSyntacticForm());
John McCallfe96e0b2011-11-06 09:01:30 +0000997 for (PseudoObjectExpr::semantics_iterator
998 i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
Richard Smith290d8012016-04-06 17:06:00 +0000999 Record.AddStmt(*i);
John McCallfe96e0b2011-11-06 09:01:30 +00001000 }
Argyrios Kyrtzidis59386502011-11-15 06:20:27 +00001001 Code = serialization::EXPR_PSEUDO_OBJECT;
John McCallfe96e0b2011-11-06 09:01:30 +00001002}
1003
Eli Friedmandf14b3a2011-10-11 02:20:01 +00001004void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
1005 VisitExpr(E);
1006 Record.push_back(E->getOp());
Richard Smithaa22a8c2012-04-10 22:49:28 +00001007 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001008 Record.AddStmt(E->getSubExprs()[I]);
1009 Record.AddSourceLocation(E->getBuiltinLoc());
1010 Record.AddSourceLocation(E->getRParenLoc());
Argyrios Kyrtzidis59386502011-11-15 06:20:27 +00001011 Code = serialization::EXPR_ATOMIC;
Eli Friedmandf14b3a2011-10-11 02:20:01 +00001012}
1013
Chris Lattner1f551822009-04-27 06:20:01 +00001014//===----------------------------------------------------------------------===//
1015// Objective-C Expressions and Statements.
1016//===----------------------------------------------------------------------===//
1017
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001018void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001019 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001020 Record.AddStmt(E->getString());
1021 Record.AddSourceLocation(E->getAtLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001022 Code = serialization::EXPR_OBJC_STRING_LITERAL;
Chris Lattner1f551822009-04-27 06:20:01 +00001023}
1024
Patrick Beard0caa3942012-04-19 00:25:12 +00001025void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
Ted Kremeneke65b0862012-03-06 20:05:56 +00001026 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001027 Record.AddStmt(E->getSubExpr());
1028 Record.AddDeclRef(E->getBoxingMethod());
1029 Record.AddSourceRange(E->getSourceRange());
Patrick Beard0caa3942012-04-19 00:25:12 +00001030 Code = serialization::EXPR_OBJC_BOXED_EXPRESSION;
Ted Kremeneke65b0862012-03-06 20:05:56 +00001031}
1032
1033void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1034 VisitExpr(E);
1035 Record.push_back(E->getNumElements());
1036 for (unsigned i = 0; i < E->getNumElements(); i++)
Richard Smith290d8012016-04-06 17:06:00 +00001037 Record.AddStmt(E->getElement(i));
1038 Record.AddDeclRef(E->getArrayWithObjectsMethod());
1039 Record.AddSourceRange(E->getSourceRange());
Ted Kremeneke65b0862012-03-06 20:05:56 +00001040 Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
1041}
1042
1043void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1044 VisitExpr(E);
1045 Record.push_back(E->getNumElements());
1046 Record.push_back(E->HasPackExpansions);
1047 for (unsigned i = 0; i < E->getNumElements(); i++) {
1048 ObjCDictionaryElement Element = E->getKeyValueElement(i);
Richard Smith290d8012016-04-06 17:06:00 +00001049 Record.AddStmt(Element.Key);
1050 Record.AddStmt(Element.Value);
Ted Kremeneke65b0862012-03-06 20:05:56 +00001051 if (E->HasPackExpansions) {
Richard Smith290d8012016-04-06 17:06:00 +00001052 Record.AddSourceLocation(Element.EllipsisLoc);
Ted Kremeneke65b0862012-03-06 20:05:56 +00001053 unsigned NumExpansions = 0;
1054 if (Element.NumExpansions)
1055 NumExpansions = *Element.NumExpansions + 1;
1056 Record.push_back(NumExpansions);
1057 }
1058 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001059
Richard Smith290d8012016-04-06 17:06:00 +00001060 Record.AddDeclRef(E->getDictWithObjectsMethod());
1061 Record.AddSourceRange(E->getSourceRange());
Ted Kremeneke65b0862012-03-06 20:05:56 +00001062 Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
1063}
1064
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001065void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001066 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001067 Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo());
1068 Record.AddSourceLocation(E->getAtLoc());
1069 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001070 Code = serialization::EXPR_OBJC_ENCODE;
Chris Lattner1f551822009-04-27 06:20:01 +00001071}
1072
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001073void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001074 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001075 Record.AddSelectorRef(E->getSelector());
1076 Record.AddSourceLocation(E->getAtLoc());
1077 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001078 Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001079}
1080
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001081void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001082 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001083 Record.AddDeclRef(E->getProtocol());
1084 Record.AddSourceLocation(E->getAtLoc());
1085 Record.AddSourceLocation(E->ProtoLoc);
1086 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001087 Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001088}
1089
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001090void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001091 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001092 Record.AddDeclRef(E->getDecl());
1093 Record.AddSourceLocation(E->getLocation());
1094 Record.AddSourceLocation(E->getOpLoc());
1095 Record.AddStmt(E->getBase());
Chris Lattner1f551822009-04-27 06:20:01 +00001096 Record.push_back(E->isArrow());
1097 Record.push_back(E->isFreeIvar());
Sebastian Redl539c5062010-08-18 23:57:32 +00001098 Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001099}
1100
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001101void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001102 VisitExpr(E);
Argyrios Kyrtzidisab468b02012-03-30 00:19:18 +00001103 Record.push_back(E->SetterAndMethodRefFlags.getInt());
John McCallb7bd14f2010-12-02 01:19:52 +00001104 Record.push_back(E->isImplicitProperty());
1105 if (E->isImplicitProperty()) {
Richard Smith290d8012016-04-06 17:06:00 +00001106 Record.AddDeclRef(E->getImplicitPropertyGetter());
1107 Record.AddDeclRef(E->getImplicitPropertySetter());
John McCallb7bd14f2010-12-02 01:19:52 +00001108 } else {
Richard Smith290d8012016-04-06 17:06:00 +00001109 Record.AddDeclRef(E->getExplicitProperty());
John McCallb7bd14f2010-12-02 01:19:52 +00001110 }
Richard Smith290d8012016-04-06 17:06:00 +00001111 Record.AddSourceLocation(E->getLocation());
1112 Record.AddSourceLocation(E->getReceiverLocation());
John McCallb7bd14f2010-12-02 01:19:52 +00001113 if (E->isObjectReceiver()) {
1114 Record.push_back(0);
Richard Smith290d8012016-04-06 17:06:00 +00001115 Record.AddStmt(E->getBase());
John McCallb7bd14f2010-12-02 01:19:52 +00001116 } else if (E->isSuperReceiver()) {
1117 Record.push_back(1);
Richard Smith290d8012016-04-06 17:06:00 +00001118 Record.AddTypeRef(E->getSuperReceiverType());
John McCallb7bd14f2010-12-02 01:19:52 +00001119 } else {
1120 Record.push_back(2);
Richard Smith290d8012016-04-06 17:06:00 +00001121 Record.AddDeclRef(E->getClassReceiver());
John McCallb7bd14f2010-12-02 01:19:52 +00001122 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001123
Sebastian Redl539c5062010-08-18 23:57:32 +00001124 Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001125}
1126
Ted Kremeneke65b0862012-03-06 20:05:56 +00001127void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1128 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001129 Record.AddSourceLocation(E->getRBracket());
1130 Record.AddStmt(E->getBaseExpr());
1131 Record.AddStmt(E->getKeyExpr());
1132 Record.AddDeclRef(E->getAtIndexMethodDecl());
1133 Record.AddDeclRef(E->setAtIndexMethodDecl());
Fangrui Song6907ce22018-07-30 19:24:48 +00001134
Ted Kremeneke65b0862012-03-06 20:05:56 +00001135 Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
1136}
1137
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001138void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
Chris Lattner1f551822009-04-27 06:20:01 +00001139 VisitExpr(E);
1140 Record.push_back(E->getNumArgs());
Argyrios Kyrtzidisa6011e22011-10-03 06:36:51 +00001141 Record.push_back(E->getNumStoredSelLocs());
1142 Record.push_back(E->SelLocsKind);
John McCall31168b02011-06-15 23:02:42 +00001143 Record.push_back(E->isDelegateInitCall());
Argyrios Kyrtzidisa80f1bf2012-01-12 02:34:39 +00001144 Record.push_back(E->IsImplicit);
Douglas Gregor9a129192010-04-21 00:45:42 +00001145 Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
1146 switch (E->getReceiverKind()) {
1147 case ObjCMessageExpr::Instance:
Richard Smith290d8012016-04-06 17:06:00 +00001148 Record.AddStmt(E->getInstanceReceiver());
Douglas Gregor9a129192010-04-21 00:45:42 +00001149 break;
1150
1151 case ObjCMessageExpr::Class:
Richard Smith290d8012016-04-06 17:06:00 +00001152 Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo());
Douglas Gregor9a129192010-04-21 00:45:42 +00001153 break;
1154
1155 case ObjCMessageExpr::SuperClass:
1156 case ObjCMessageExpr::SuperInstance:
Richard Smith290d8012016-04-06 17:06:00 +00001157 Record.AddTypeRef(E->getSuperType());
1158 Record.AddSourceLocation(E->getSuperLoc());
Douglas Gregor9a129192010-04-21 00:45:42 +00001159 break;
1160 }
1161
1162 if (E->getMethodDecl()) {
1163 Record.push_back(1);
Richard Smith290d8012016-04-06 17:06:00 +00001164 Record.AddDeclRef(E->getMethodDecl());
Douglas Gregor9a129192010-04-21 00:45:42 +00001165 } else {
1166 Record.push_back(0);
Fangrui Song6907ce22018-07-30 19:24:48 +00001167 Record.AddSelectorRef(E->getSelector());
Douglas Gregor9a129192010-04-21 00:45:42 +00001168 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001169
Richard Smith290d8012016-04-06 17:06:00 +00001170 Record.AddSourceLocation(E->getLeftLoc());
1171 Record.AddSourceLocation(E->getRightLoc());
Chris Lattner1f551822009-04-27 06:20:01 +00001172
1173 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1174 Arg != ArgEnd; ++Arg)
Richard Smith290d8012016-04-06 17:06:00 +00001175 Record.AddStmt(*Arg);
Argyrios Kyrtzidisa6011e22011-10-03 06:36:51 +00001176
1177 SourceLocation *Locs = E->getStoredSelLocs();
1178 for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
Richard Smith290d8012016-04-06 17:06:00 +00001179 Record.AddSourceLocation(Locs[i]);
Argyrios Kyrtzidisa6011e22011-10-03 06:36:51 +00001180
Sebastian Redl539c5062010-08-18 23:57:32 +00001181 Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
Chris Lattner1f551822009-04-27 06:20:01 +00001182}
1183
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001184void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +00001185 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001186 Record.AddStmt(S->getElement());
1187 Record.AddStmt(S->getCollection());
1188 Record.AddStmt(S->getBody());
1189 Record.AddSourceLocation(S->getForLoc());
1190 Record.AddSourceLocation(S->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001191 Code = serialization::STMT_OBJC_FOR_COLLECTION;
Chris Lattner1f551822009-04-27 06:20:01 +00001192}
1193
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001194void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001195 Record.AddStmt(S->getCatchBody());
1196 Record.AddDeclRef(S->getCatchParamDecl());
1197 Record.AddSourceLocation(S->getAtCatchLoc());
1198 Record.AddSourceLocation(S->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001199 Code = serialization::STMT_OBJC_CATCH;
Chris Lattner1f551822009-04-27 06:20:01 +00001200}
1201
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001202void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001203 Record.AddStmt(S->getFinallyBody());
1204 Record.AddSourceLocation(S->getAtFinallyLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001205 Code = serialization::STMT_OBJC_FINALLY;
Chris Lattner1f551822009-04-27 06:20:01 +00001206}
1207
John McCall31168b02011-06-15 23:02:42 +00001208void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001209 Record.AddStmt(S->getSubStmt());
1210 Record.AddSourceLocation(S->getAtLoc());
John McCall31168b02011-06-15 23:02:42 +00001211 Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
1212}
1213
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001214void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
Douglas Gregor96c79492010-04-23 22:50:49 +00001215 Record.push_back(S->getNumCatchStmts());
Craig Toppera13603a2014-05-22 05:54:18 +00001216 Record.push_back(S->getFinallyStmt() != nullptr);
Richard Smith290d8012016-04-06 17:06:00 +00001217 Record.AddStmt(S->getTryBody());
Douglas Gregor96c79492010-04-23 22:50:49 +00001218 for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001219 Record.AddStmt(S->getCatchStmt(I));
Douglas Gregor96c79492010-04-23 22:50:49 +00001220 if (S->getFinallyStmt())
Richard Smith290d8012016-04-06 17:06:00 +00001221 Record.AddStmt(S->getFinallyStmt());
1222 Record.AddSourceLocation(S->getAtTryLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001223 Code = serialization::STMT_OBJC_AT_TRY;
Chris Lattner1f551822009-04-27 06:20:01 +00001224}
1225
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001226void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001227 Record.AddStmt(S->getSynchExpr());
1228 Record.AddStmt(S->getSynchBody());
1229 Record.AddSourceLocation(S->getAtSynchronizedLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001230 Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
Chris Lattner1f551822009-04-27 06:20:01 +00001231}
1232
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001233void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
Richard Smith290d8012016-04-06 17:06:00 +00001234 Record.AddStmt(S->getThrowExpr());
1235 Record.AddSourceLocation(S->getThrowLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001236 Code = serialization::STMT_OBJC_AT_THROW;
Chris Lattner1f551822009-04-27 06:20:01 +00001237}
1238
Ted Kremeneke65b0862012-03-06 20:05:56 +00001239void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1240 VisitExpr(E);
1241 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001242 Record.AddSourceLocation(E->getLocation());
Ted Kremeneke65b0862012-03-06 20:05:56 +00001243 Code = serialization::EXPR_OBJC_BOOL_LITERAL;
1244}
1245
Erik Pilkington29099de2016-07-16 00:35:23 +00001246void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1247 VisitExpr(E);
1248 Record.AddSourceRange(E->getSourceRange());
1249 Record.AddVersionTuple(E->getVersion());
1250 Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK;
1251}
1252
Chris Lattner1f551822009-04-27 06:20:01 +00001253//===----------------------------------------------------------------------===//
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001254// C++ Expressions and Statements.
1255//===----------------------------------------------------------------------===//
1256
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001257void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001258 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001259 Record.AddSourceLocation(S->getCatchLoc());
1260 Record.AddDeclRef(S->getExceptionDecl());
1261 Record.AddStmt(S->getHandlerBlock());
Sebastian Redl539c5062010-08-18 23:57:32 +00001262 Code = serialization::STMT_CXX_CATCH;
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001263}
1264
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001265void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001266 VisitStmt(S);
1267 Record.push_back(S->getNumHandlers());
Richard Smith290d8012016-04-06 17:06:00 +00001268 Record.AddSourceLocation(S->getTryLoc());
1269 Record.AddStmt(S->getTryBlock());
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001270 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
Richard Smith290d8012016-04-06 17:06:00 +00001271 Record.AddStmt(S->getHandler(i));
Sebastian Redl539c5062010-08-18 23:57:32 +00001272 Code = serialization::STMT_CXX_TRY;
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +00001273}
1274
Richard Smith02e85f32011-04-14 22:09:26 +00001275void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1276 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001277 Record.AddSourceLocation(S->getForLoc());
1278 Record.AddSourceLocation(S->getCoawaitLoc());
1279 Record.AddSourceLocation(S->getColonLoc());
1280 Record.AddSourceLocation(S->getRParenLoc());
Richard Smith8baa5002018-09-28 18:44:09 +00001281 Record.AddStmt(S->getInit());
Richard Smith290d8012016-04-06 17:06:00 +00001282 Record.AddStmt(S->getRangeStmt());
1283 Record.AddStmt(S->getBeginStmt());
1284 Record.AddStmt(S->getEndStmt());
1285 Record.AddStmt(S->getCond());
1286 Record.AddStmt(S->getInc());
1287 Record.AddStmt(S->getLoopVarStmt());
1288 Record.AddStmt(S->getBody());
Richard Smith02e85f32011-04-14 22:09:26 +00001289 Code = serialization::STMT_CXX_FOR_RANGE;
1290}
1291
Douglas Gregordeb4a2be2011-10-25 01:33:02 +00001292void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1293 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001294 Record.AddSourceLocation(S->getKeywordLoc());
Douglas Gregordeb4a2be2011-10-25 01:33:02 +00001295 Record.push_back(S->isIfExists());
Richard Smith290d8012016-04-06 17:06:00 +00001296 Record.AddNestedNameSpecifierLoc(S->getQualifierLoc());
1297 Record.AddDeclarationNameInfo(S->getNameInfo());
1298 Record.AddStmt(S->getSubStmt());
Douglas Gregordeb4a2be2011-10-25 01:33:02 +00001299 Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1300}
1301
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001302void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001303 VisitCallExpr(E);
1304 Record.push_back(E->getOperator());
Richard Smith290d8012016-04-06 17:06:00 +00001305 Record.AddSourceRange(E->Range);
Adam Nemet484aa452017-03-27 19:17:25 +00001306 Record.push_back(E->getFPFeatures().getInt());
Sebastian Redl539c5062010-08-18 23:57:32 +00001307 Code = serialization::EXPR_CXX_OPERATOR_CALL;
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001308}
1309
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001310void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
Chris Lattnerb7e7f722010-05-09 05:36:05 +00001311 VisitCallExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001312 Code = serialization::EXPR_CXX_MEMBER_CALL;
Chris Lattnerb7e7f722010-05-09 05:36:05 +00001313}
1314
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001315void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
Douglas Gregor5d3507d2009-09-09 23:08:42 +00001316 VisitExpr(E);
Argyrios Kyrtzidis30d98f32010-06-24 08:57:09 +00001317 Record.push_back(E->getNumArgs());
1318 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001319 Record.AddStmt(E->getArg(I));
1320 Record.AddDeclRef(E->getConstructor());
1321 Record.AddSourceLocation(E->getLocation());
Douglas Gregor5d3507d2009-09-09 23:08:42 +00001322 Record.push_back(E->isElidable());
Abramo Bagnara635ed24e2011-10-05 07:56:41 +00001323 Record.push_back(E->hadMultipleCandidates());
Richard Smithd59b8322012-12-19 01:39:02 +00001324 Record.push_back(E->isListInitialization());
Richard Smithf8adcdc2014-07-17 05:12:35 +00001325 Record.push_back(E->isStdInitListInitialization());
Douglas Gregor4f4b1862009-12-16 18:50:27 +00001326 Record.push_back(E->requiresZeroInitialization());
Douglas Gregor222cf0e2010-05-15 00:13:29 +00001327 Record.push_back(E->getConstructionKind()); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +00001328 Record.AddSourceRange(E->getParenOrBraceRange());
Sebastian Redl539c5062010-08-18 23:57:32 +00001329 Code = serialization::EXPR_CXX_CONSTRUCT;
Douglas Gregor5d3507d2009-09-09 23:08:42 +00001330}
1331
Richard Smith5179eb72016-06-28 19:03:57 +00001332void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1333 VisitExpr(E);
1334 Record.AddDeclRef(E->getConstructor());
1335 Record.AddSourceLocation(E->getLocation());
1336 Record.push_back(E->constructsVBase());
1337 Record.push_back(E->inheritedFromVBase());
1338 Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT;
1339}
1340
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001341void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
Argyrios Kyrtzidisb8d77eb2010-07-10 11:46:15 +00001342 VisitCXXConstructExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001343 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
Sebastian Redl539c5062010-08-18 23:57:32 +00001344 Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
Argyrios Kyrtzidisb8d77eb2010-07-10 11:46:15 +00001345}
1346
Douglas Gregore31e6062012-02-07 10:09:13 +00001347void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1348 VisitExpr(E);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001349 Record.push_back(E->NumCaptures);
Richard Smith290d8012016-04-06 17:06:00 +00001350 Record.AddSourceRange(E->IntroducerRange);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001351 Record.push_back(E->CaptureDefault); // FIXME: stable encoding
Richard Smith290d8012016-04-06 17:06:00 +00001352 Record.AddSourceLocation(E->CaptureDefaultLoc);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001353 Record.push_back(E->ExplicitParams);
1354 Record.push_back(E->ExplicitResultType);
Richard Smith290d8012016-04-06 17:06:00 +00001355 Record.AddSourceLocation(E->ClosingBrace);
Fangrui Song6907ce22018-07-30 19:24:48 +00001356
Douglas Gregor99ae8062012-02-14 17:54:36 +00001357 // Add capture initializers.
1358 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1359 CEnd = E->capture_init_end();
1360 C != CEnd; ++C) {
Richard Smith290d8012016-04-06 17:06:00 +00001361 Record.AddStmt(*C);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001362 }
Fangrui Song6907ce22018-07-30 19:24:48 +00001363
Douglas Gregor99ae8062012-02-14 17:54:36 +00001364 Code = serialization::EXPR_LAMBDA;
Douglas Gregore31e6062012-02-07 10:09:13 +00001365}
1366
Richard Smithcc1b96d2013-06-12 22:31:48 +00001367void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1368 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001369 Record.AddStmt(E->getSubExpr());
Richard Smithcc1b96d2013-06-12 22:31:48 +00001370 Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST;
1371}
1372
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001373void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001374 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001375 Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1376 Record.AddSourceRange(E->getAngleBrackets());
Sam Weinigd01101e2010-01-16 21:21:01 +00001377}
1378
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001379void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001380 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001381 Code = serialization::EXPR_CXX_STATIC_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001382}
1383
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001384void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001385 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001386 Code = serialization::EXPR_CXX_DYNAMIC_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001387}
1388
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001389void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001390 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001391 Code = serialization::EXPR_CXX_REINTERPRET_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001392}
1393
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001394void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001395 VisitCXXNamedCastExpr(E);
Sebastian Redl539c5062010-08-18 23:57:32 +00001396 Code = serialization::EXPR_CXX_CONST_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001397}
1398
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001399void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
Sam Weinigd01101e2010-01-16 21:21:01 +00001400 VisitExplicitCastExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001401 Record.AddSourceLocation(E->getLParenLoc());
1402 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001403 Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
Sam Weinigd01101e2010-01-16 21:21:01 +00001404}
1405
Richard Smithc67fdd42012-03-07 08:35:16 +00001406void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1407 VisitCallExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001408 Record.AddSourceLocation(E->UDSuffixLoc);
Richard Smithc67fdd42012-03-07 08:35:16 +00001409 Code = serialization::EXPR_USER_DEFINED_LITERAL;
1410}
1411
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001412void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
Sam Weinige83b3ac2010-02-07 06:32:43 +00001413 VisitExpr(E);
1414 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001415 Record.AddSourceLocation(E->getLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +00001416 Code = serialization::EXPR_CXX_BOOL_LITERAL;
Sam Weinige83b3ac2010-02-07 06:32:43 +00001417}
1418
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001419void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
Sam Weinige83b3ac2010-02-07 06:32:43 +00001420 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001421 Record.AddSourceLocation(E->getLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +00001422 Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
Sam Weinige83b3ac2010-02-07 06:32:43 +00001423}
1424
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001425void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001426 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001427 Record.AddSourceRange(E->getSourceRange());
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001428 if (E->isTypeOperand()) {
Richard Smith290d8012016-04-06 17:06:00 +00001429 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
Sebastian Redl539c5062010-08-18 23:57:32 +00001430 Code = serialization::EXPR_CXX_TYPEID_TYPE;
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001431 } else {
Richard Smith290d8012016-04-06 17:06:00 +00001432 Record.AddStmt(E->getExprOperand());
Sebastian Redl539c5062010-08-18 23:57:32 +00001433 Code = serialization::EXPR_CXX_TYPEID_EXPR;
Chris Lattner13a5ecc2010-05-09 06:03:39 +00001434 }
1435}
1436
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001437void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
Chris Lattner98267332010-05-09 06:15:05 +00001438 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001439 Record.AddSourceLocation(E->getLocation());
Chris Lattner98267332010-05-09 06:15:05 +00001440 Record.push_back(E->isImplicit());
Sebastian Redl539c5062010-08-18 23:57:32 +00001441 Code = serialization::EXPR_CXX_THIS;
Chris Lattner98267332010-05-09 06:15:05 +00001442}
1443
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001444void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
Chris Lattnere2437f42010-05-09 06:40:08 +00001445 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001446 Record.AddSourceLocation(E->getThrowLoc());
1447 Record.AddStmt(E->getSubExpr());
Douglas Gregor53e191ed2011-07-06 22:04:06 +00001448 Record.push_back(E->isThrownVariableInScope());
Sebastian Redl539c5062010-08-18 23:57:32 +00001449 Code = serialization::EXPR_CXX_THROW;
Chris Lattner98267332010-05-09 06:15:05 +00001450}
1451
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001452void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
Chris Lattnere2437f42010-05-09 06:40:08 +00001453 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001454 Record.AddDeclRef(E->getParam());
1455 Record.AddSourceLocation(E->getUsedLocation());
Sebastian Redl539c5062010-08-18 23:57:32 +00001456 Code = serialization::EXPR_CXX_DEFAULT_ARG;
Chris Lattnere2437f42010-05-09 06:40:08 +00001457}
1458
Richard Smith852c9db2013-04-20 22:23:05 +00001459void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1460 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001461 Record.AddDeclRef(E->getField());
1462 Record.AddSourceLocation(E->getExprLoc());
Richard Smith852c9db2013-04-20 22:23:05 +00001463 Code = serialization::EXPR_CXX_DEFAULT_INIT;
1464}
1465
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001466void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
Chris Lattnercba86142010-05-10 00:25:06 +00001467 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001468 Record.AddCXXTemporary(E->getTemporary());
1469 Record.AddStmt(E->getSubExpr());
Sebastian Redl539c5062010-08-18 23:57:32 +00001470 Code = serialization::EXPR_CXX_BIND_TEMPORARY;
Chris Lattnercba86142010-05-10 00:25:06 +00001471}
1472
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001473void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001474 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001475 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1476 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001477 Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001478}
1479
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001480void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001481 VisitExpr(E);
1482 Record.push_back(E->isGlobalNew());
Sebastian Redlc3a3c602012-02-16 11:35:52 +00001483 Record.push_back(E->isArray());
Richard Smithb2f0f052016-10-10 18:54:32 +00001484 Record.push_back(E->passAlignment());
Sebastian Redl6047f072012-02-16 12:22:20 +00001485 Record.push_back(E->doesUsualArrayDeleteWantSize());
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001486 Record.push_back(E->getNumPlacementArgs());
Sebastian Redl6047f072012-02-16 12:22:20 +00001487 Record.push_back(E->StoredInitializationStyle);
Richard Smith290d8012016-04-06 17:06:00 +00001488 Record.AddDeclRef(E->getOperatorNew());
1489 Record.AddDeclRef(E->getOperatorDelete());
1490 Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo());
1491 Record.AddSourceRange(E->getTypeIdParens());
1492 Record.AddSourceRange(E->getSourceRange());
1493 Record.AddSourceRange(E->getDirectInitRange());
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001494 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), e = E->raw_arg_end();
1495 I != e; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001496 Record.AddStmt(*I);
Sebastian Redl6047f072012-02-16 12:22:20 +00001497
Sebastian Redl539c5062010-08-18 23:57:32 +00001498 Code = serialization::EXPR_CXX_NEW;
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001499}
1500
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001501void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
Argyrios Kyrtzidis6e57c352010-06-22 17:07:59 +00001502 VisitExpr(E);
1503 Record.push_back(E->isGlobalDelete());
1504 Record.push_back(E->isArrayForm());
Argyrios Kyrtzidis14ec9f62010-09-13 20:15:54 +00001505 Record.push_back(E->isArrayFormAsWritten());
John McCall284c48f2011-01-27 09:37:56 +00001506 Record.push_back(E->doesUsualArrayDeleteWantSize());
Richard Smith290d8012016-04-06 17:06:00 +00001507 Record.AddDeclRef(E->getOperatorDelete());
1508 Record.AddStmt(E->getArgument());
1509 Record.AddSourceLocation(E->getSourceRange().getBegin());
Fangrui Song6907ce22018-07-30 19:24:48 +00001510
Sebastian Redl539c5062010-08-18 23:57:32 +00001511 Code = serialization::EXPR_CXX_DELETE;
Argyrios Kyrtzidis6e57c352010-06-22 17:07:59 +00001512}
Chris Lattnerabfb58d2010-05-10 01:22:27 +00001513
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001514void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001515 VisitExpr(E);
1516
Richard Smith290d8012016-04-06 17:06:00 +00001517 Record.AddStmt(E->getBase());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001518 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +00001519 Record.AddSourceLocation(E->getOperatorLoc());
1520 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1521 Record.AddTypeSourceInfo(E->getScopeTypeInfo());
1522 Record.AddSourceLocation(E->getColonColonLoc());
1523 Record.AddSourceLocation(E->getTildeLoc());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001524
1525 // PseudoDestructorTypeStorage.
Richard Smith290d8012016-04-06 17:06:00 +00001526 Record.AddIdentifierRef(E->getDestroyedTypeIdentifier());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001527 if (E->getDestroyedTypeIdentifier())
Richard Smith290d8012016-04-06 17:06:00 +00001528 Record.AddSourceLocation(E->getDestroyedTypeLoc());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001529 else
Richard Smith290d8012016-04-06 17:06:00 +00001530 Record.AddTypeSourceInfo(E->getDestroyedTypeInfo());
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001531
Sebastian Redl539c5062010-08-18 23:57:32 +00001532 Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
Argyrios Kyrtzidis99a226d2010-06-28 09:32:03 +00001533}
1534
John McCall5d413782010-12-06 08:20:24 +00001535void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
Chris Lattnercba86142010-05-10 00:25:06 +00001536 VisitExpr(E);
John McCall28fc7092011-11-10 05:35:25 +00001537 Record.push_back(E->getNumObjects());
1538 for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i)
Richard Smith290d8012016-04-06 17:06:00 +00001539 Record.AddDeclRef(E->getObject(i));
Tim Shen4a05bb82016-06-21 20:29:17 +00001540
1541 Record.push_back(E->cleanupsHaveSideEffects());
Richard Smith290d8012016-04-06 17:06:00 +00001542 Record.AddStmt(E->getSubExpr());
John McCall5d413782010-12-06 08:20:24 +00001543 Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
Chris Lattnercba86142010-05-10 00:25:06 +00001544}
1545
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001546void
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001547ASTStmtWriter::VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E){
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001548 VisitExpr(E);
Abramo Bagnara7945c982012-01-27 09:46:47 +00001549
1550 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
Douglas Gregor87866ce2011-02-04 12:01:24 +00001551 // emitted first.
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001552
Abramo Bagnara7945c982012-01-27 09:46:47 +00001553 Record.push_back(E->HasTemplateKWAndArgsInfo);
1554 if (E->HasTemplateKWAndArgsInfo) {
James Y Knighte7d82282015-12-29 18:15:14 +00001555 const ASTTemplateKWAndArgsInfo &ArgInfo =
1556 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1557 Record.push_back(ArgInfo.NumTemplateArgs);
1558 AddTemplateKWAndArgsInfo(ArgInfo,
1559 E->getTrailingObjects<TemplateArgumentLoc>());
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001560 }
Abramo Bagnara7945c982012-01-27 09:46:47 +00001561
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001562 if (!E->isImplicitAccess())
Richard Smith290d8012016-04-06 17:06:00 +00001563 Record.AddStmt(E->getBase());
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001564 else
Richard Smith290d8012016-04-06 17:06:00 +00001565 Record.AddStmt(nullptr);
1566 Record.AddTypeRef(E->getBaseType());
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001567 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +00001568 Record.AddSourceLocation(E->getOperatorLoc());
1569 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1570 Record.AddDeclRef(E->getFirstQualifierFoundInScope());
1571 Record.AddDeclarationNameInfo(E->MemberNameInfo);
Sebastian Redl539c5062010-08-18 23:57:32 +00001572 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001573}
1574
1575void
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001576ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
Argyrios Kyrtzidiscd444d1a2010-06-28 09:31:56 +00001577 VisitExpr(E);
Abramo Bagnara7945c982012-01-27 09:46:47 +00001578
1579 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
Douglas Gregor87866ce2011-02-04 12:01:24 +00001580 // emitted first.
Abramo Bagnara7945c982012-01-27 09:46:47 +00001581
1582 Record.push_back(E->HasTemplateKWAndArgsInfo);
1583 if (E->HasTemplateKWAndArgsInfo) {
James Y Knighte7d82282015-12-29 18:15:14 +00001584 const ASTTemplateKWAndArgsInfo &ArgInfo =
1585 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1586 Record.push_back(ArgInfo.NumTemplateArgs);
1587 AddTemplateKWAndArgsInfo(ArgInfo,
1588 E->getTrailingObjects<TemplateArgumentLoc>());
Argyrios Kyrtzidiscd444d1a2010-06-28 09:31:56 +00001589 }
1590
Richard Smith290d8012016-04-06 17:06:00 +00001591 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1592 Record.AddDeclarationNameInfo(E->NameInfo);
Sebastian Redl539c5062010-08-18 23:57:32 +00001593 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
Argyrios Kyrtzidiscd444d1a2010-06-28 09:31:56 +00001594}
1595
1596void
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001597ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001598 VisitExpr(E);
1599 Record.push_back(E->arg_size());
1600 for (CXXUnresolvedConstructExpr::arg_iterator
1601 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
Richard Smith290d8012016-04-06 17:06:00 +00001602 Record.AddStmt(*ArgI);
1603 Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1604 Record.AddSourceLocation(E->getLParenLoc());
1605 Record.AddSourceLocation(E->getRParenLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001606 Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +00001607}
Chris Lattner98267332010-05-09 06:15:05 +00001608
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001609void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001610 VisitExpr(E);
Abramo Bagnara7945c982012-01-27 09:46:47 +00001611
1612 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1613 // emitted first.
1614
1615 Record.push_back(E->HasTemplateKWAndArgsInfo);
1616 if (E->HasTemplateKWAndArgsInfo) {
James Y Knighte7d82282015-12-29 18:15:14 +00001617 const ASTTemplateKWAndArgsInfo &ArgInfo =
1618 *E->getTrailingASTTemplateKWAndArgsInfo();
1619 Record.push_back(ArgInfo.NumTemplateArgs);
1620 AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001621 }
1622
1623 Record.push_back(E->getNumDecls());
1624 for (OverloadExpr::decls_iterator
1625 OvI = E->decls_begin(), OvE = E->decls_end(); OvI != OvE; ++OvI) {
Richard Smith290d8012016-04-06 17:06:00 +00001626 Record.AddDeclRef(OvI.getDecl());
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001627 Record.push_back(OvI.getAccess());
1628 }
1629
Richard Smith290d8012016-04-06 17:06:00 +00001630 Record.AddDeclarationNameInfo(E->NameInfo);
1631 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001632}
1633
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001634void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001635 VisitOverloadExpr(E);
1636 Record.push_back(E->isArrow());
1637 Record.push_back(E->hasUnresolvedUsing());
Richard Smith290d8012016-04-06 17:06:00 +00001638 Record.AddStmt(!E->isImplicitAccess() ? E->getBase() : nullptr);
1639 Record.AddTypeRef(E->getBaseType());
1640 Record.AddSourceLocation(E->getOperatorLoc());
Sebastian Redl539c5062010-08-18 23:57:32 +00001641 Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
Argyrios Kyrtzidisb8d3c632010-06-25 09:03:26 +00001642}
1643
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00001644void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
Argyrios Kyrtzidis58e01ad2010-06-25 09:03:34 +00001645 VisitOverloadExpr(E);
1646 Record.push_back(E->requiresADL());
1647 Record.push_back(E->isOverloaded());
Richard Smith290d8012016-04-06 17:06:00 +00001648 Record.AddDeclRef(E->getNamingClass());
Sebastian Redl539c5062010-08-18 23:57:32 +00001649 Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
Argyrios Kyrtzidis58e01ad2010-06-25 09:03:34 +00001650}
1651
Douglas Gregor29c42f22012-02-24 07:38:34 +00001652void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
1653 VisitExpr(E);
1654 Record.push_back(E->TypeTraitExprBits.NumArgs);
1655 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
1656 Record.push_back(E->TypeTraitExprBits.Value);
Richard Smith290d8012016-04-06 17:06:00 +00001657 Record.AddSourceRange(E->getSourceRange());
Douglas Gregor29c42f22012-02-24 07:38:34 +00001658 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001659 Record.AddTypeSourceInfo(E->getArg(I));
Douglas Gregor29c42f22012-02-24 07:38:34 +00001660 Code = serialization::EXPR_TYPE_TRAIT;
1661}
1662
John Wiegley6242b6a2011-04-28 00:16:57 +00001663void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
1664 VisitExpr(E);
1665 Record.push_back(E->getTrait());
1666 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001667 Record.AddSourceRange(E->getSourceRange());
1668 Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
Aleksei Sidorina693b372016-09-28 10:16:56 +00001669 Record.AddStmt(E->getDimensionExpression());
John Wiegley6242b6a2011-04-28 00:16:57 +00001670 Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
1671}
1672
John Wiegleyf9f65842011-04-25 06:54:41 +00001673void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
1674 VisitExpr(E);
1675 Record.push_back(E->getTrait());
1676 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001677 Record.AddSourceRange(E->getSourceRange());
1678 Record.AddStmt(E->getQueriedExpression());
John Wiegleyf9f65842011-04-25 06:54:41 +00001679 Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
1680}
1681
Sebastian Redl9ac55dd2010-09-10 20:55:54 +00001682void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
1683 VisitExpr(E);
1684 Record.push_back(E->getValue());
Richard Smith290d8012016-04-06 17:06:00 +00001685 Record.AddSourceRange(E->getSourceRange());
1686 Record.AddStmt(E->getOperand());
Sebastian Redl9ac55dd2010-09-10 20:55:54 +00001687 Code = serialization::EXPR_CXX_NOEXCEPT;
1688}
1689
Douglas Gregore8e9dd62011-01-03 17:17:50 +00001690void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
1691 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001692 Record.AddSourceLocation(E->getEllipsisLoc());
Douglas Gregorb8840002011-01-14 21:20:45 +00001693 Record.push_back(E->NumExpansions);
Richard Smith290d8012016-04-06 17:06:00 +00001694 Record.AddStmt(E->getPattern());
Douglas Gregore8e9dd62011-01-03 17:17:50 +00001695 Code = serialization::EXPR_PACK_EXPANSION;
1696}
1697
Douglas Gregor820ba7b2011-01-04 17:33:58 +00001698void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
1699 VisitExpr(E);
Richard Smithd784e682015-09-23 21:41:42 +00001700 Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
1701 : 0);
Richard Smith290d8012016-04-06 17:06:00 +00001702 Record.AddSourceLocation(E->OperatorLoc);
1703 Record.AddSourceLocation(E->PackLoc);
1704 Record.AddSourceLocation(E->RParenLoc);
1705 Record.AddDeclRef(E->Pack);
Richard Smithd784e682015-09-23 21:41:42 +00001706 if (E->isPartiallySubstituted()) {
1707 for (const auto &TA : E->getPartialArguments())
Richard Smith290d8012016-04-06 17:06:00 +00001708 Record.AddTemplateArgument(TA);
Richard Smithd784e682015-09-23 21:41:42 +00001709 } else if (!E->isValueDependent()) {
1710 Record.push_back(E->getPackLength());
1711 }
Douglas Gregor820ba7b2011-01-04 17:33:58 +00001712 Code = serialization::EXPR_SIZEOF_PACK;
1713}
1714
John McCallfa194042011-07-15 07:00:14 +00001715void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
1716 SubstNonTypeTemplateParmExpr *E) {
1717 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001718 Record.AddDeclRef(E->getParameter());
1719 Record.AddSourceLocation(E->getNameLoc());
1720 Record.AddStmt(E->getReplacement());
John McCallfa194042011-07-15 07:00:14 +00001721 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
1722}
1723
Douglas Gregorcdbc5392011-01-15 01:15:58 +00001724void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
1725 SubstNonTypeTemplateParmPackExpr *E) {
1726 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001727 Record.AddDeclRef(E->getParameterPack());
1728 Record.AddTemplateArgument(E->getArgumentPack());
1729 Record.AddSourceLocation(E->getParameterPackLocation());
Douglas Gregorcdbc5392011-01-15 01:15:58 +00001730 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
1731}
1732
Richard Smithb15fe3a2012-09-12 00:56:43 +00001733void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
1734 VisitExpr(E);
1735 Record.push_back(E->getNumExpansions());
Richard Smith290d8012016-04-06 17:06:00 +00001736 Record.AddDeclRef(E->getParameterPack());
1737 Record.AddSourceLocation(E->getParameterPackLocation());
Richard Smithb15fe3a2012-09-12 00:56:43 +00001738 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
1739 I != End; ++I)
Richard Smith290d8012016-04-06 17:06:00 +00001740 Record.AddDeclRef(*I);
Richard Smithb15fe3a2012-09-12 00:56:43 +00001741 Code = serialization::EXPR_FUNCTION_PARM_PACK;
1742}
1743
Douglas Gregorfe314812011-06-21 17:03:29 +00001744void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
1745 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001746 Record.AddStmt(E->getTemporary());
1747 Record.AddDeclRef(E->getExtendingDecl());
David Majnemerdaff3702014-05-01 17:50:17 +00001748 Record.push_back(E->getManglingNumber());
Douglas Gregorfe314812011-06-21 17:03:29 +00001749 Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
1750}
1751
Richard Smith0f0af192014-11-08 05:07:16 +00001752void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
1753 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001754 Record.AddSourceLocation(E->LParenLoc);
1755 Record.AddSourceLocation(E->EllipsisLoc);
1756 Record.AddSourceLocation(E->RParenLoc);
1757 Record.AddStmt(E->SubExprs[0]);
1758 Record.AddStmt(E->SubExprs[1]);
Richard Smith0f0af192014-11-08 05:07:16 +00001759 Record.push_back(E->Opcode);
1760 Code = serialization::EXPR_CXX_FOLD;
1761}
1762
John McCall8d69a212010-11-15 23:31:06 +00001763void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
1764 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001765 Record.AddStmt(E->getSourceExpr());
1766 Record.AddSourceLocation(E->getLocation());
Akira Hatanaka797afe32018-03-20 01:47:58 +00001767 Record.push_back(E->isUnique());
John McCall8d69a212010-11-15 23:31:06 +00001768 Code = serialization::EXPR_OPAQUE_VALUE;
1769}
1770
Kaelyn Takatae1f49d52014-10-27 18:07:20 +00001771void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
1772 VisitExpr(E);
1773 // TODO: Figure out sane writer behavior for a TypoExpr, if necessary
Davide Italiano04839a52016-01-30 08:03:54 +00001774 llvm_unreachable("Cannot write TypoExpr nodes");
Kaelyn Takatae1f49d52014-10-27 18:07:20 +00001775}
1776
Argyrios Kyrtzidiseeaaead2009-07-14 03:19:21 +00001777//===----------------------------------------------------------------------===//
Peter Collingbourne41f85462011-02-09 21:07:24 +00001778// CUDA Expressions and Statements.
1779//===----------------------------------------------------------------------===//
1780
1781void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
1782 VisitCallExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001783 Record.AddStmt(E->getConfig());
Peter Collingbourne41f85462011-02-09 21:07:24 +00001784 Code = serialization::EXPR_CUDA_KERNEL_CALL;
1785}
1786
1787//===----------------------------------------------------------------------===//
Tanya Lattner55808c12011-06-04 00:47:47 +00001788// OpenCL Expressions and Statements.
1789//===----------------------------------------------------------------------===//
1790void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
1791 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001792 Record.AddSourceLocation(E->getBuiltinLoc());
1793 Record.AddSourceLocation(E->getRParenLoc());
1794 Record.AddStmt(E->getSrcExpr());
Tanya Lattner55808c12011-06-04 00:47:47 +00001795 Code = serialization::EXPR_ASTYPE;
1796}
1797
1798//===----------------------------------------------------------------------===//
John McCallfa194042011-07-15 07:00:14 +00001799// Microsoft Expressions and Statements.
1800//===----------------------------------------------------------------------===//
John McCall5e77d762013-04-16 07:28:30 +00001801void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
1802 VisitExpr(E);
1803 Record.push_back(E->isArrow());
Richard Smith290d8012016-04-06 17:06:00 +00001804 Record.AddStmt(E->getBaseExpr());
1805 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1806 Record.AddSourceLocation(E->getMemberLoc());
1807 Record.AddDeclRef(E->getPropertyDecl());
John McCall5e77d762013-04-16 07:28:30 +00001808 Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR;
1809}
1810
Alexey Bataevf7630272015-11-25 12:01:00 +00001811void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
1812 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001813 Record.AddStmt(E->getBase());
1814 Record.AddStmt(E->getIdx());
1815 Record.AddSourceLocation(E->getRBracketLoc());
Alexey Bataevf7630272015-11-25 12:01:00 +00001816 Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR;
1817}
1818
John McCallfa194042011-07-15 07:00:14 +00001819void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
1820 VisitExpr(E);
Richard Smith290d8012016-04-06 17:06:00 +00001821 Record.AddSourceRange(E->getSourceRange());
1822 Record.AddString(E->getUuidStr());
John McCallfa194042011-07-15 07:00:14 +00001823 if (E->isTypeOperand()) {
Richard Smith290d8012016-04-06 17:06:00 +00001824 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
John McCallfa194042011-07-15 07:00:14 +00001825 Code = serialization::EXPR_CXX_UUIDOF_TYPE;
1826 } else {
Richard Smith290d8012016-04-06 17:06:00 +00001827 Record.AddStmt(E->getExprOperand());
John McCallfa194042011-07-15 07:00:14 +00001828 Code = serialization::EXPR_CXX_UUIDOF_EXPR;
1829 }
1830}
1831
1832void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
1833 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001834 Record.AddSourceLocation(S->getExceptLoc());
1835 Record.AddStmt(S->getFilterExpr());
1836 Record.AddStmt(S->getBlock());
John McCallfa194042011-07-15 07:00:14 +00001837 Code = serialization::STMT_SEH_EXCEPT;
1838}
1839
1840void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
1841 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001842 Record.AddSourceLocation(S->getFinallyLoc());
1843 Record.AddStmt(S->getBlock());
John McCallfa194042011-07-15 07:00:14 +00001844 Code = serialization::STMT_SEH_FINALLY;
1845}
1846
1847void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
1848 VisitStmt(S);
1849 Record.push_back(S->getIsCXXTry());
Richard Smith290d8012016-04-06 17:06:00 +00001850 Record.AddSourceLocation(S->getTryLoc());
1851 Record.AddStmt(S->getTryBlock());
1852 Record.AddStmt(S->getHandler());
John McCallfa194042011-07-15 07:00:14 +00001853 Code = serialization::STMT_SEH_TRY;
1854}
1855
Nico Weber9b982072014-07-07 00:12:30 +00001856void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
1857 VisitStmt(S);
Richard Smith290d8012016-04-06 17:06:00 +00001858 Record.AddSourceLocation(S->getLeaveLoc());
Nico Weber9b982072014-07-07 00:12:30 +00001859 Code = serialization::STMT_SEH_LEAVE;
1860}
1861
John McCallfa194042011-07-15 07:00:14 +00001862//===----------------------------------------------------------------------===//
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001863// OpenMP Directives.
1864//===----------------------------------------------------------------------===//
1865void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
Stephen Kellyf2ceec42018-08-09 21:08:08 +00001866 Record.AddSourceLocation(E->getBeginLoc());
Stephen Kelly1c301dc2018-08-09 21:09:38 +00001867 Record.AddSourceLocation(E->getEndLoc());
Richard Smith290d8012016-04-06 17:06:00 +00001868 OMPClauseWriter ClauseWriter(Record);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001869 for (unsigned i = 0; i < E->getNumClauses(); ++i) {
1870 ClauseWriter.writeClause(E->getClause(i));
1871 }
Alexey Bataev68446b72014-07-18 07:47:19 +00001872 if (E->hasAssociatedStmt())
Richard Smith290d8012016-04-06 17:06:00 +00001873 Record.AddStmt(E->getAssociatedStmt());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001874}
1875
Alexander Musman3aaab662014-08-19 11:27:13 +00001876void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
1877 VisitStmt(D);
1878 Record.push_back(D->getNumClauses());
1879 Record.push_back(D->getCollapsedNumber());
1880 VisitOMPExecutableDirective(D);
Richard Smith290d8012016-04-06 17:06:00 +00001881 Record.AddStmt(D->getIterationVariable());
1882 Record.AddStmt(D->getLastIteration());
1883 Record.AddStmt(D->getCalcLastIteration());
1884 Record.AddStmt(D->getPreCond());
1885 Record.AddStmt(D->getCond());
1886 Record.AddStmt(D->getInit());
1887 Record.AddStmt(D->getInc());
1888 Record.AddStmt(D->getPreInits());
Alexey Bataev3392d762016-02-16 11:18:12 +00001889 if (isOpenMPWorksharingDirective(D->getDirectiveKind()) ||
Carlo Bertollifc35ad22016-03-07 16:04:49 +00001890 isOpenMPTaskLoopDirective(D->getDirectiveKind()) ||
1891 isOpenMPDistributeDirective(D->getDirectiveKind())) {
Richard Smith290d8012016-04-06 17:06:00 +00001892 Record.AddStmt(D->getIsLastIterVariable());
1893 Record.AddStmt(D->getLowerBoundVariable());
1894 Record.AddStmt(D->getUpperBoundVariable());
1895 Record.AddStmt(D->getStrideVariable());
1896 Record.AddStmt(D->getEnsureUpperBound());
1897 Record.AddStmt(D->getNextLowerBound());
1898 Record.AddStmt(D->getNextUpperBound());
Alexey Bataev8b427062016-05-25 12:36:08 +00001899 Record.AddStmt(D->getNumIterations());
Alexander Musmanc6388682014-12-15 07:07:06 +00001900 }
Carlo Bertolli9925f152016-06-27 14:55:37 +00001901 if (isOpenMPLoopBoundSharingDirective(D->getDirectiveKind())) {
1902 Record.AddStmt(D->getPrevLowerBoundVariable());
1903 Record.AddStmt(D->getPrevUpperBoundVariable());
Carlo Bertolli8429d812017-02-17 21:29:13 +00001904 Record.AddStmt(D->getDistInc());
1905 Record.AddStmt(D->getPrevEnsureUpperBound());
Carlo Bertolliffafe102017-04-20 00:39:39 +00001906 Record.AddStmt(D->getCombinedLowerBoundVariable());
1907 Record.AddStmt(D->getCombinedUpperBoundVariable());
1908 Record.AddStmt(D->getCombinedEnsureUpperBound());
1909 Record.AddStmt(D->getCombinedInit());
1910 Record.AddStmt(D->getCombinedCond());
1911 Record.AddStmt(D->getCombinedNextLowerBound());
1912 Record.AddStmt(D->getCombinedNextUpperBound());
Gheorghe-Teodor Berceae9256762018-10-29 15:45:47 +00001913 Record.AddStmt(D->getCombinedDistCond());
1914 Record.AddStmt(D->getCombinedParForInDistCond());
Carlo Bertolli9925f152016-06-27 14:55:37 +00001915 }
Alexander Musmana5f070a2014-10-01 06:03:56 +00001916 for (auto I : D->counters()) {
Richard Smith290d8012016-04-06 17:06:00 +00001917 Record.AddStmt(I);
Alexander Musmana5f070a2014-10-01 06:03:56 +00001918 }
Alexey Bataeva8899172015-08-06 12:30:57 +00001919 for (auto I : D->private_counters()) {
Richard Smith290d8012016-04-06 17:06:00 +00001920 Record.AddStmt(I);
Alexey Bataeva8899172015-08-06 12:30:57 +00001921 }
Alexey Bataevb08f89f2015-08-14 12:25:37 +00001922 for (auto I : D->inits()) {
Richard Smith290d8012016-04-06 17:06:00 +00001923 Record.AddStmt(I);
Alexey Bataevb08f89f2015-08-14 12:25:37 +00001924 }
Alexander Musmana5f070a2014-10-01 06:03:56 +00001925 for (auto I : D->updates()) {
Richard Smith290d8012016-04-06 17:06:00 +00001926 Record.AddStmt(I);
Alexander Musmana5f070a2014-10-01 06:03:56 +00001927 }
1928 for (auto I : D->finals()) {
Richard Smith290d8012016-04-06 17:06:00 +00001929 Record.AddStmt(I);
Alexander Musmana5f070a2014-10-01 06:03:56 +00001930 }
Alexander Musman3aaab662014-08-19 11:27:13 +00001931}
1932
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001933void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001934 VisitStmt(D);
1935 Record.push_back(D->getNumClauses());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001936 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001937 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001938 Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE;
1939}
1940
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001941void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
Alexander Musman3aaab662014-08-19 11:27:13 +00001942 VisitOMPLoopDirective(D);
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001943 Code = serialization::STMT_OMP_SIMD_DIRECTIVE;
1944}
1945
Alexey Bataevf29276e2014-06-18 04:14:57 +00001946void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
Alexander Musman3aaab662014-08-19 11:27:13 +00001947 VisitOMPLoopDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001948 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataevf29276e2014-06-18 04:14:57 +00001949 Code = serialization::STMT_OMP_FOR_DIRECTIVE;
1950}
1951
Alexander Musmanf82886e2014-09-18 05:12:34 +00001952void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
1953 VisitOMPLoopDirective(D);
1954 Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE;
1955}
1956
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001957void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
1958 VisitStmt(D);
1959 Record.push_back(D->getNumClauses());
1960 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001961 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001962 Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE;
1963}
1964
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001965void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
1966 VisitStmt(D);
1967 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001968 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001969 Code = serialization::STMT_OMP_SECTION_DIRECTIVE;
1970}
1971
Alexey Bataevd1e40fb2014-06-26 12:05:45 +00001972void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
1973 VisitStmt(D);
1974 Record.push_back(D->getNumClauses());
1975 VisitOMPExecutableDirective(D);
1976 Code = serialization::STMT_OMP_SINGLE_DIRECTIVE;
1977}
1978
Alexander Musman80c22892014-07-17 08:54:58 +00001979void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
1980 VisitStmt(D);
1981 VisitOMPExecutableDirective(D);
1982 Code = serialization::STMT_OMP_MASTER_DIRECTIVE;
1983}
1984
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001985void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
1986 VisitStmt(D);
Alexey Bataev28c75412015-12-15 08:19:24 +00001987 Record.push_back(D->getNumClauses());
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001988 VisitOMPExecutableDirective(D);
Richard Smith290d8012016-04-06 17:06:00 +00001989 Record.AddDeclarationNameInfo(D->getDirectiveName());
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001990 Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE;
1991}
1992
Alexey Bataev4acb8592014-07-07 13:01:15 +00001993void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
Alexander Musman3aaab662014-08-19 11:27:13 +00001994 VisitOMPLoopDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00001995 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev4acb8592014-07-07 13:01:15 +00001996 Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE;
1997}
1998
Alexander Musmane4e893b2014-09-23 09:33:00 +00001999void ASTStmtWriter::VisitOMPParallelForSimdDirective(
2000 OMPParallelForSimdDirective *D) {
2001 VisitOMPLoopDirective(D);
2002 Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE;
2003}
2004
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00002005void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2006 OMPParallelSectionsDirective *D) {
2007 VisitStmt(D);
2008 Record.push_back(D->getNumClauses());
2009 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00002010 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00002011 Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE;
2012}
2013
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +00002014void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2015 VisitStmt(D);
2016 Record.push_back(D->getNumClauses());
2017 VisitOMPExecutableDirective(D);
Alexey Bataev25e5b442015-09-15 12:52:43 +00002018 Record.push_back(D->hasCancel() ? 1 : 0);
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +00002019 Code = serialization::STMT_OMP_TASK_DIRECTIVE;
2020}
2021
Alexey Bataev0162e452014-07-22 10:10:35 +00002022void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2023 VisitStmt(D);
2024 Record.push_back(D->getNumClauses());
2025 VisitOMPExecutableDirective(D);
Richard Smith290d8012016-04-06 17:06:00 +00002026 Record.AddStmt(D->getX());
2027 Record.AddStmt(D->getV());
2028 Record.AddStmt(D->getExpr());
2029 Record.AddStmt(D->getUpdateExpr());
Alexey Bataevb4505a72015-03-30 05:20:59 +00002030 Record.push_back(D->isXLHSInRHSPart() ? 1 : 0);
Alexey Bataevb78ca832015-04-01 03:33:17 +00002031 Record.push_back(D->isPostfixUpdate() ? 1 : 0);
Alexey Bataev0162e452014-07-22 10:10:35 +00002032 Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE;
2033}
2034
Alexey Bataev0bd520b2014-09-19 08:19:49 +00002035void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2036 VisitStmt(D);
2037 Record.push_back(D->getNumClauses());
2038 VisitOMPExecutableDirective(D);
2039 Code = serialization::STMT_OMP_TARGET_DIRECTIVE;
2040}
2041
Michael Wong65f367f2015-07-21 13:44:28 +00002042void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2043 VisitStmt(D);
2044 Record.push_back(D->getNumClauses());
2045 VisitOMPExecutableDirective(D);
2046 Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE;
2047}
2048
Samuel Antaodf67fc42016-01-19 19:15:56 +00002049void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2050 OMPTargetEnterDataDirective *D) {
2051 VisitStmt(D);
2052 Record.push_back(D->getNumClauses());
2053 VisitOMPExecutableDirective(D);
2054 Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE;
2055}
2056
Samuel Antao72590762016-01-19 20:04:50 +00002057void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2058 OMPTargetExitDataDirective *D) {
2059 VisitStmt(D);
2060 Record.push_back(D->getNumClauses());
2061 VisitOMPExecutableDirective(D);
2062 Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE;
2063}
2064
Arpith Chacko Jacobe955b3d2016-01-26 18:48:41 +00002065void ASTStmtWriter::VisitOMPTargetParallelDirective(
2066 OMPTargetParallelDirective *D) {
2067 VisitStmt(D);
2068 Record.push_back(D->getNumClauses());
2069 VisitOMPExecutableDirective(D);
2070 Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE;
2071}
2072
Arpith Chacko Jacob05bebb52016-02-03 15:46:42 +00002073void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2074 OMPTargetParallelForDirective *D) {
2075 VisitOMPLoopDirective(D);
2076 Record.push_back(D->hasCancel() ? 1 : 0);
2077 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE;
2078}
2079
Alexey Bataev68446b72014-07-18 07:47:19 +00002080void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2081 VisitStmt(D);
2082 VisitOMPExecutableDirective(D);
2083 Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE;
2084}
2085
Alexey Bataev4d1dfea2014-07-18 09:11:51 +00002086void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2087 VisitStmt(D);
2088 VisitOMPExecutableDirective(D);
2089 Code = serialization::STMT_OMP_BARRIER_DIRECTIVE;
2090}
2091
Alexey Bataev2df347a2014-07-18 10:17:07 +00002092void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2093 VisitStmt(D);
2094 VisitOMPExecutableDirective(D);
2095 Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE;
2096}
2097
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00002098void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2099 VisitStmt(D);
Alexey Bataev169d96a2017-07-18 20:17:46 +00002100 Record.push_back(D->getNumClauses());
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00002101 VisitOMPExecutableDirective(D);
Alexey Bataev3b1b8952017-07-25 15:53:26 +00002102 Record.AddStmt(D->getReductionRef());
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00002103 Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE;
2104}
2105
Alexey Bataev6125da92014-07-21 11:26:11 +00002106void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2107 VisitStmt(D);
2108 Record.push_back(D->getNumClauses());
2109 VisitOMPExecutableDirective(D);
2110 Code = serialization::STMT_OMP_FLUSH_DIRECTIVE;
2111}
2112
Alexey Bataev9fb6e642014-07-22 06:45:04 +00002113void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2114 VisitStmt(D);
Alexey Bataev346265e2015-09-25 10:37:12 +00002115 Record.push_back(D->getNumClauses());
Alexey Bataev9fb6e642014-07-22 06:45:04 +00002116 VisitOMPExecutableDirective(D);
2117 Code = serialization::STMT_OMP_ORDERED_DIRECTIVE;
2118}
2119
Alexey Bataev13314bf2014-10-09 04:18:56 +00002120void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2121 VisitStmt(D);
2122 Record.push_back(D->getNumClauses());
2123 VisitOMPExecutableDirective(D);
2124 Code = serialization::STMT_OMP_TEAMS_DIRECTIVE;
2125}
2126
Alexey Bataev6d4ed052015-07-01 06:57:41 +00002127void ASTStmtWriter::VisitOMPCancellationPointDirective(
2128 OMPCancellationPointDirective *D) {
2129 VisitStmt(D);
2130 VisitOMPExecutableDirective(D);
2131 Record.push_back(D->getCancelRegion());
2132 Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE;
2133}
2134
Alexey Bataev80909872015-07-02 11:25:17 +00002135void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2136 VisitStmt(D);
Alexey Bataev87933c72015-09-18 08:07:34 +00002137 Record.push_back(D->getNumClauses());
Alexey Bataev80909872015-07-02 11:25:17 +00002138 VisitOMPExecutableDirective(D);
2139 Record.push_back(D->getCancelRegion());
2140 Code = serialization::STMT_OMP_CANCEL_DIRECTIVE;
2141}
2142
Alexey Bataev49f6e782015-12-01 04:18:41 +00002143void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2144 VisitOMPLoopDirective(D);
2145 Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE;
2146}
2147
Alexey Bataev0a6ed842015-12-03 09:40:15 +00002148void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2149 VisitOMPLoopDirective(D);
2150 Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE;
2151}
2152
Carlo Bertolli6200a3d2015-12-14 14:51:25 +00002153void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2154 VisitOMPLoopDirective(D);
2155 Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE;
2156}
2157
Samuel Antao686c70c2016-05-26 17:30:50 +00002158void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2159 VisitStmt(D);
2160 Record.push_back(D->getNumClauses());
2161 VisitOMPExecutableDirective(D);
2162 Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE;
2163}
2164
Carlo Bertolli9925f152016-06-27 14:55:37 +00002165void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2166 OMPDistributeParallelForDirective *D) {
2167 VisitOMPLoopDirective(D);
Alexey Bataevdcb4b8fb2017-11-22 20:19:50 +00002168 Record.push_back(D->hasCancel() ? 1 : 0);
Carlo Bertolli9925f152016-06-27 14:55:37 +00002169 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2170}
2171
Kelvin Li4a39add2016-07-05 05:00:15 +00002172void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2173 OMPDistributeParallelForSimdDirective *D) {
2174 VisitOMPLoopDirective(D);
2175 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2176}
2177
Kelvin Li787f3fc2016-07-06 04:45:38 +00002178void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2179 OMPDistributeSimdDirective *D) {
2180 VisitOMPLoopDirective(D);
2181 Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE;
2182}
2183
Kelvin Lia579b912016-07-14 02:54:56 +00002184void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2185 OMPTargetParallelForSimdDirective *D) {
2186 VisitOMPLoopDirective(D);
2187 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE;
2188}
2189
Kelvin Li986330c2016-07-20 22:57:10 +00002190void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2191 VisitOMPLoopDirective(D);
2192 Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE;
2193}
2194
Kelvin Li02532872016-08-05 14:37:37 +00002195void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2196 OMPTeamsDistributeDirective *D) {
2197 VisitOMPLoopDirective(D);
2198 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE;
2199}
2200
Kelvin Li4e325f72016-10-25 12:50:55 +00002201void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2202 OMPTeamsDistributeSimdDirective *D) {
2203 VisitOMPLoopDirective(D);
2204 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2205}
2206
Kelvin Li579e41c2016-11-30 23:51:03 +00002207void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2208 OMPTeamsDistributeParallelForSimdDirective *D) {
2209 VisitOMPLoopDirective(D);
2210 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2211}
2212
Kelvin Li7ade93f2016-12-09 03:24:30 +00002213void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2214 OMPTeamsDistributeParallelForDirective *D) {
2215 VisitOMPLoopDirective(D);
Alexey Bataevdcb4b8fb2017-11-22 20:19:50 +00002216 Record.push_back(D->hasCancel() ? 1 : 0);
Kelvin Li7ade93f2016-12-09 03:24:30 +00002217 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2218}
2219
Kelvin Libf594a52016-12-17 05:48:59 +00002220void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2221 VisitStmt(D);
2222 Record.push_back(D->getNumClauses());
2223 VisitOMPExecutableDirective(D);
2224 Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE;
2225}
2226
Kelvin Li83c451e2016-12-25 04:52:54 +00002227void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2228 OMPTargetTeamsDistributeDirective *D) {
2229 VisitOMPLoopDirective(D);
2230 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE;
2231}
2232
Kelvin Li80e8f562016-12-29 22:16:30 +00002233void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2234 OMPTargetTeamsDistributeParallelForDirective *D) {
2235 VisitOMPLoopDirective(D);
Alexey Bataev16e79882017-11-22 21:12:03 +00002236 Record.push_back(D->hasCancel() ? 1 : 0);
Kelvin Li80e8f562016-12-29 22:16:30 +00002237 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2238}
2239
Kelvin Li1851df52017-01-03 05:23:48 +00002240void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2241 OMPTargetTeamsDistributeParallelForSimdDirective *D) {
2242 VisitOMPLoopDirective(D);
2243 Code = serialization::
2244 STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2245}
2246
Kelvin Lida681182017-01-10 18:08:18 +00002247void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2248 OMPTargetTeamsDistributeSimdDirective *D) {
2249 VisitOMPLoopDirective(D);
2250 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2251}
2252
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002253//===----------------------------------------------------------------------===//
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002254// ASTWriter Implementation
Chris Lattner1f551822009-04-27 06:20:01 +00002255//===----------------------------------------------------------------------===//
2256
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002257unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
Mike Stump11289f42009-09-09 15:08:12 +00002258 assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() &&
Chris Lattner1f551822009-04-27 06:20:01 +00002259 "SwitchCase recorded twice");
2260 unsigned NextID = SwitchCaseIDs.size();
2261 SwitchCaseIDs[S] = NextID;
2262 return NextID;
2263}
2264
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002265unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
Mike Stump11289f42009-09-09 15:08:12 +00002266 assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() &&
Chris Lattner1f551822009-04-27 06:20:01 +00002267 "SwitchCase hasn't been seen yet");
2268 return SwitchCaseIDs[S];
2269}
2270
Argyrios Kyrtzidisd9f526f2010-10-28 09:29:32 +00002271void ASTWriter::ClearSwitchCaseIDs() {
2272 SwitchCaseIDs.clear();
2273}
2274
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002275/// Write the given substatement or subexpression to the
Chris Lattner1f551822009-04-27 06:20:01 +00002276/// bitstream.
Richard Smithf50422a2016-04-06 20:12:34 +00002277void ASTWriter::WriteSubStmt(Stmt *S) {
Chris Lattner1f551822009-04-27 06:20:01 +00002278 RecordData Record;
Sebastian Redl42a0f6a2010-08-18 23:56:27 +00002279 ASTStmtWriter Writer(*this, Record);
Chris Lattner1f551822009-04-27 06:20:01 +00002280 ++NumStatements;
Fangrui Song6907ce22018-07-30 19:24:48 +00002281
Chris Lattner1f551822009-04-27 06:20:01 +00002282 if (!S) {
Sebastian Redl539c5062010-08-18 23:57:32 +00002283 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
Chris Lattner1f551822009-04-27 06:20:01 +00002284 return;
2285 }
Mike Stump11289f42009-09-09 15:08:12 +00002286
Argyrios Kyrtzidis6a598972011-10-21 23:02:28 +00002287 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2288 if (I != SubStmtEntries.end()) {
2289 Record.push_back(I->second);
2290 Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2291 return;
2292 }
2293
2294#ifndef NDEBUG
2295 assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2296
2297 struct ParentStmtInserterRAII {
2298 Stmt *S;
2299 llvm::DenseSet<Stmt *> &ParentStmts;
2300
2301 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2302 : S(S), ParentStmts(ParentStmts) {
2303 ParentStmts.insert(S);
2304 }
2305 ~ParentStmtInserterRAII() {
2306 ParentStmts.erase(S);
2307 }
2308 };
2309
2310 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2311#endif
2312
Chris Lattner1f551822009-04-27 06:20:01 +00002313 Writer.Visit(S);
Fangrui Song6907ce22018-07-30 19:24:48 +00002314
Richard Smithb41ddae2016-04-06 20:57:53 +00002315 uint64_t Offset = Writer.Emit();
2316 SubStmtEntries[S] = Offset;
Chris Lattner1f551822009-04-27 06:20:01 +00002317}
2318
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002319/// Flush all of the statements that have been added to the
Chris Lattner1f551822009-04-27 06:20:01 +00002320/// queue via AddStmt().
Richard Smith290d8012016-04-06 17:06:00 +00002321void ASTRecordWriter::FlushStmts() {
Daniel Dunbara5acaa32012-02-29 02:39:13 +00002322 // We expect to be the only consumer of the two temporary statement maps,
2323 // assert that they are empty.
Richard Smith290d8012016-04-06 17:06:00 +00002324 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2325 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
Argyrios Kyrtzidis6a598972011-10-21 23:02:28 +00002326
Chris Lattner1f551822009-04-27 06:20:01 +00002327 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
Richard Smithf50422a2016-04-06 20:12:34 +00002328 Writer->WriteSubStmt(StmtsToEmit[I]);
Fangrui Song6907ce22018-07-30 19:24:48 +00002329
Richard Smith290d8012016-04-06 17:06:00 +00002330 assert(N == StmtsToEmit.size() && "record modified while being written!");
Mike Stump11289f42009-09-09 15:08:12 +00002331
Chris Lattner1f551822009-04-27 06:20:01 +00002332 // Note that we are at the end of a full expression. Any
2333 // expression records that follow this one are part of a different
2334 // expression.
Richard Smith290d8012016-04-06 17:06:00 +00002335 Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
Argyrios Kyrtzidis6a598972011-10-21 23:02:28 +00002336
Richard Smith290d8012016-04-06 17:06:00 +00002337 Writer->SubStmtEntries.clear();
2338 Writer->ParentStmts.clear();
2339 }
2340
2341 StmtsToEmit.clear();
2342}
2343
2344void ASTRecordWriter::FlushSubStmts() {
2345 // For a nested statement, write out the substatements in reverse order (so
2346 // that a simple stack machine can be used when loading), and don't emit a
2347 // STMT_STOP after each one.
2348 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
Richard Smithf50422a2016-04-06 20:12:34 +00002349 Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
Richard Smith290d8012016-04-06 17:06:00 +00002350 assert(N == StmtsToEmit.size() && "record modified while being written!");
Chris Lattner1f551822009-04-27 06:20:01 +00002351 }
Mike Stump11289f42009-09-09 15:08:12 +00002352
Chris Lattner1f551822009-04-27 06:20:01 +00002353 StmtsToEmit.clear();
Chris Lattner1f551822009-04-27 06:20:01 +00002354}