1//===--- ASTWriterStmt.cpp - Statement and Expression Serialization -------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// Implements serialization for Statements and Expressions.
11///
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/ASTConcept.h"
15#include "clang/AST/ASTContext.h"
16#include "clang/AST/DeclCXX.h"
17#include "clang/AST/DeclObjC.h"
18#include "clang/AST/DeclTemplate.h"
19#include "clang/AST/ExprOpenMP.h"
20#include "clang/AST/StmtVisitor.h"
21#include "clang/Serialization/ASTReader.h"
22#include "clang/Serialization/ASTRecordWriter.h"
23#include "llvm/Bitstream/BitstreamWriter.h"
24using namespace clang;
25
26//===----------------------------------------------------------------------===//
27// Statement/expression serialization
28//===----------------------------------------------------------------------===//
29
30namespace clang {
31
32 class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> {
33 ASTWriter &Writer;
34 ASTRecordWriter Record;
35
36 serialization::StmtCode Code;
37 unsigned AbbrevToUse;
38
39 /// A helper that can help us to write a packed bit across function
40 /// calls. For example, we may write separate bits in separate functions:
41 ///
42 /// void VisitA(A* a) {
43 /// Record.push_back(a->isSomething());
44 /// }
45 ///
46 /// void Visitb(B *b) {
47 /// VisitA(b);
48 /// Record.push_back(b->isAnother());
49 /// }
50 ///
51 /// In such cases, it'll be better if we can pack these 2 bits. We achieve
52 /// this by writing a zero value in `VisitA` and recorded that first and add
53 /// the new bit to the recorded value.
54 class PakedBitsWriter {
55 public:
56 PakedBitsWriter(ASTRecordWriter &Record) : RecordRef(Record) {}
57 ~PakedBitsWriter() { assert(!CurrentIndex); }
58
59 void addBit(bool Value) {
60 assert(CurrentIndex && "Writing Bits without recording first!");
61 PackingBits.addBit(Value);
62 }
63 void addBits(uint32_t Value, uint32_t BitsWidth) {
64 assert(CurrentIndex && "Writing Bits without recording first!");
65 PackingBits.addBits(Value, BitsWidth);
66 }
67
68 void writeBits() {
69 if (!CurrentIndex)
70 return;
71
72 RecordRef[*CurrentIndex] = (uint32_t)PackingBits;
73 CurrentIndex = std::nullopt;
74 PackingBits.reset(Value: 0);
75 }
76
77 void updateBits() {
78 writeBits();
79
80 CurrentIndex = RecordRef.size();
81 RecordRef.push_back(N: 0);
82 }
83
84 private:
85 BitsPacker PackingBits;
86 ASTRecordWriter &RecordRef;
87 std::optional<unsigned> CurrentIndex;
88 };
89
90 PakedBitsWriter CurrentPackingBits;
91
92 public:
93 ASTStmtWriter(ASTContext &Context, ASTWriter &Writer,
94 ASTWriter::RecordData &Record)
95 : Writer(Writer), Record(Context, Writer, Record),
96 Code(serialization::STMT_NULL_PTR), AbbrevToUse(0),
97 CurrentPackingBits(this->Record) {}
98
99 ASTStmtWriter(const ASTStmtWriter&) = delete;
100 ASTStmtWriter &operator=(const ASTStmtWriter &) = delete;
101
102 uint64_t Emit() {
103 CurrentPackingBits.writeBits();
104 assert(Code != serialization::STMT_NULL_PTR &&
105 "unhandled sub-statement writing AST file");
106 return Record.EmitStmt(Code, Abbrev: AbbrevToUse);
107 }
108
109 void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &ArgInfo,
110 const TemplateArgumentLoc *Args);
111
112 void VisitStmt(Stmt *S);
113#define STMT(Type, Base) \
114 void Visit##Type(Type *);
115#include "clang/AST/StmtNodes.inc"
116 };
117}
118
119void ASTStmtWriter::AddTemplateKWAndArgsInfo(
120 const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args) {
121 Record.AddSourceLocation(Loc: ArgInfo.TemplateKWLoc);
122 Record.AddSourceLocation(Loc: ArgInfo.LAngleLoc);
123 Record.AddSourceLocation(Loc: ArgInfo.RAngleLoc);
124 for (unsigned i = 0; i != ArgInfo.NumTemplateArgs; ++i)
125 Record.AddTemplateArgumentLoc(Arg: Args[i]);
126}
127
128void ASTStmtWriter::VisitStmt(Stmt *S) {
129}
130
131void ASTStmtWriter::VisitNullStmt(NullStmt *S) {
132 VisitStmt(S);
133 Record.AddSourceLocation(Loc: S->getSemiLoc());
134 Record.push_back(N: S->NullStmtBits.HasLeadingEmptyMacro);
135 Code = serialization::STMT_NULL;
136}
137
138void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) {
139 VisitStmt(S);
140
141 Record.push_back(N: S->size());
142 Record.push_back(N: S->hasStoredFPFeatures());
143
144 for (auto *CS : S->body())
145 Record.AddStmt(S: CS);
146 if (S->hasStoredFPFeatures())
147 Record.push_back(N: S->getStoredFPFeatures().getAsOpaqueInt());
148 Record.AddSourceLocation(Loc: S->getLBracLoc());
149 Record.AddSourceLocation(Loc: S->getRBracLoc());
150
151 if (!S->hasStoredFPFeatures())
152 AbbrevToUse = Writer.getCompoundStmtAbbrev();
153
154 Code = serialization::STMT_COMPOUND;
155}
156
157void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) {
158 VisitStmt(S);
159 Record.push_back(N: Writer.getSwitchCaseID(S));
160 Record.AddSourceLocation(Loc: S->getKeywordLoc());
161 Record.AddSourceLocation(Loc: S->getColonLoc());
162}
163
164void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) {
165 VisitSwitchCase(S);
166 Record.push_back(N: S->caseStmtIsGNURange());
167 Record.AddStmt(S: S->getLHS());
168 Record.AddStmt(S: S->getSubStmt());
169 if (S->caseStmtIsGNURange()) {
170 Record.AddStmt(S: S->getRHS());
171 Record.AddSourceLocation(Loc: S->getEllipsisLoc());
172 }
173 Code = serialization::STMT_CASE;
174}
175
176void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) {
177 VisitSwitchCase(S);
178 Record.AddStmt(S: S->getSubStmt());
179 Code = serialization::STMT_DEFAULT;
180}
181
182void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) {
183 VisitStmt(S);
184 Record.push_back(N: S->isSideEntry());
185 Record.AddDeclRef(D: S->getDecl());
186 Record.AddStmt(S: S->getSubStmt());
187 Record.AddSourceLocation(Loc: S->getIdentLoc());
188 Code = serialization::STMT_LABEL;
189}
190
191void ASTStmtWriter::VisitAttributedStmt(AttributedStmt *S) {
192 VisitStmt(S);
193 Record.push_back(N: S->getAttrs().size());
194 Record.AddAttributes(Attrs: S->getAttrs());
195 Record.AddStmt(S: S->getSubStmt());
196 Record.AddSourceLocation(Loc: S->getAttrLoc());
197 Code = serialization::STMT_ATTRIBUTED;
198}
199
200void ASTStmtWriter::VisitIfStmt(IfStmt *S) {
201 VisitStmt(S);
202
203 bool HasElse = S->getElse() != nullptr;
204 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
205 bool HasInit = S->getInit() != nullptr;
206
207 CurrentPackingBits.updateBits();
208
209 CurrentPackingBits.addBit(Value: HasElse);
210 CurrentPackingBits.addBit(Value: HasVar);
211 CurrentPackingBits.addBit(Value: HasInit);
212 Record.push_back(N: static_cast<uint64_t>(S->getStatementKind()));
213 Record.AddStmt(S: S->getCond());
214 Record.AddStmt(S: S->getThen());
215 if (HasElse)
216 Record.AddStmt(S: S->getElse());
217 if (HasVar)
218 Record.AddStmt(S: S->getConditionVariableDeclStmt());
219 if (HasInit)
220 Record.AddStmt(S: S->getInit());
221
222 Record.AddSourceLocation(Loc: S->getIfLoc());
223 Record.AddSourceLocation(Loc: S->getLParenLoc());
224 Record.AddSourceLocation(Loc: S->getRParenLoc());
225 if (HasElse)
226 Record.AddSourceLocation(Loc: S->getElseLoc());
227
228 Code = serialization::STMT_IF;
229}
230
231void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) {
232 VisitStmt(S);
233
234 bool HasInit = S->getInit() != nullptr;
235 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
236 Record.push_back(N: HasInit);
237 Record.push_back(N: HasVar);
238 Record.push_back(N: S->isAllEnumCasesCovered());
239
240 Record.AddStmt(S: S->getCond());
241 Record.AddStmt(S: S->getBody());
242 if (HasInit)
243 Record.AddStmt(S: S->getInit());
244 if (HasVar)
245 Record.AddStmt(S: S->getConditionVariableDeclStmt());
246
247 Record.AddSourceLocation(Loc: S->getSwitchLoc());
248 Record.AddSourceLocation(Loc: S->getLParenLoc());
249 Record.AddSourceLocation(Loc: S->getRParenLoc());
250
251 for (SwitchCase *SC = S->getSwitchCaseList(); SC;
252 SC = SC->getNextSwitchCase())
253 Record.push_back(N: Writer.RecordSwitchCaseID(S: SC));
254 Code = serialization::STMT_SWITCH;
255}
256
257void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) {
258 VisitStmt(S);
259
260 bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
261 Record.push_back(N: HasVar);
262
263 Record.AddStmt(S: S->getCond());
264 Record.AddStmt(S: S->getBody());
265 if (HasVar)
266 Record.AddStmt(S: S->getConditionVariableDeclStmt());
267
268 Record.AddSourceLocation(Loc: S->getWhileLoc());
269 Record.AddSourceLocation(Loc: S->getLParenLoc());
270 Record.AddSourceLocation(Loc: S->getRParenLoc());
271 Code = serialization::STMT_WHILE;
272}
273
274void ASTStmtWriter::VisitDoStmt(DoStmt *S) {
275 VisitStmt(S);
276 Record.AddStmt(S: S->getCond());
277 Record.AddStmt(S: S->getBody());
278 Record.AddSourceLocation(Loc: S->getDoLoc());
279 Record.AddSourceLocation(Loc: S->getWhileLoc());
280 Record.AddSourceLocation(Loc: S->getRParenLoc());
281 Code = serialization::STMT_DO;
282}
283
284void ASTStmtWriter::VisitForStmt(ForStmt *S) {
285 VisitStmt(S);
286 Record.AddStmt(S: S->getInit());
287 Record.AddStmt(S: S->getCond());
288 Record.AddStmt(S: S->getConditionVariableDeclStmt());
289 Record.AddStmt(S: S->getInc());
290 Record.AddStmt(S: S->getBody());
291 Record.AddSourceLocation(Loc: S->getForLoc());
292 Record.AddSourceLocation(Loc: S->getLParenLoc());
293 Record.AddSourceLocation(Loc: S->getRParenLoc());
294 Code = serialization::STMT_FOR;
295}
296
297void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) {
298 VisitStmt(S);
299 Record.AddDeclRef(D: S->getLabel());
300 Record.AddSourceLocation(Loc: S->getGotoLoc());
301 Record.AddSourceLocation(Loc: S->getLabelLoc());
302 Code = serialization::STMT_GOTO;
303}
304
305void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
306 VisitStmt(S);
307 Record.AddSourceLocation(Loc: S->getGotoLoc());
308 Record.AddSourceLocation(Loc: S->getStarLoc());
309 Record.AddStmt(S: S->getTarget());
310 Code = serialization::STMT_INDIRECT_GOTO;
311}
312
313void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) {
314 VisitStmt(S);
315 Record.AddSourceLocation(Loc: S->getContinueLoc());
316 Code = serialization::STMT_CONTINUE;
317}
318
319void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) {
320 VisitStmt(S);
321 Record.AddSourceLocation(Loc: S->getBreakLoc());
322 Code = serialization::STMT_BREAK;
323}
324
325void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) {
326 VisitStmt(S);
327
328 bool HasNRVOCandidate = S->getNRVOCandidate() != nullptr;
329 Record.push_back(N: HasNRVOCandidate);
330
331 Record.AddStmt(S: S->getRetValue());
332 if (HasNRVOCandidate)
333 Record.AddDeclRef(D: S->getNRVOCandidate());
334
335 Record.AddSourceLocation(Loc: S->getReturnLoc());
336 Code = serialization::STMT_RETURN;
337}
338
339void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) {
340 VisitStmt(S);
341 Record.AddSourceLocation(Loc: S->getBeginLoc());
342 Record.AddSourceLocation(Loc: S->getEndLoc());
343 DeclGroupRef DG = S->getDeclGroup();
344 for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D)
345 Record.AddDeclRef(D: *D);
346 Code = serialization::STMT_DECL;
347}
348
349void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) {
350 VisitStmt(S);
351 Record.push_back(N: S->getNumOutputs());
352 Record.push_back(N: S->getNumInputs());
353 Record.push_back(N: S->getNumClobbers());
354 Record.AddSourceLocation(Loc: S->getAsmLoc());
355 Record.push_back(N: S->isVolatile());
356 Record.push_back(N: S->isSimple());
357}
358
359void ASTStmtWriter::VisitGCCAsmStmt(GCCAsmStmt *S) {
360 VisitAsmStmt(S);
361 Record.push_back(N: S->getNumLabels());
362 Record.AddSourceLocation(Loc: S->getRParenLoc());
363 Record.AddStmt(S: S->getAsmStringExpr());
364
365 // Outputs
366 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
367 Record.AddIdentifierRef(II: S->getOutputIdentifier(i: I));
368 Record.AddStmt(S: S->getOutputConstraintExpr(i: I));
369 Record.AddStmt(S: S->getOutputExpr(i: I));
370 }
371
372 // Inputs
373 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
374 Record.AddIdentifierRef(II: S->getInputIdentifier(i: I));
375 Record.AddStmt(S: S->getInputConstraintExpr(i: I));
376 Record.AddStmt(S: S->getInputExpr(i: I));
377 }
378
379 // Clobbers
380 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
381 Record.AddStmt(S: S->getClobberExpr(i: I));
382
383 // Labels
384 for (unsigned I = 0, N = S->getNumLabels(); I != N; ++I) {
385 Record.AddIdentifierRef(II: S->getLabelIdentifier(i: I));
386 Record.AddStmt(S: S->getLabelExpr(i: I));
387 }
388
389 Code = serialization::STMT_GCCASM;
390}
391
392void ASTStmtWriter::VisitMSAsmStmt(MSAsmStmt *S) {
393 VisitAsmStmt(S);
394 Record.AddSourceLocation(Loc: S->getLBraceLoc());
395 Record.AddSourceLocation(Loc: S->getEndLoc());
396 Record.push_back(N: S->getNumAsmToks());
397 Record.AddString(Str: S->getAsmString());
398
399 // Tokens
400 for (unsigned I = 0, N = S->getNumAsmToks(); I != N; ++I) {
401 // FIXME: Move this to ASTRecordWriter?
402 Writer.AddToken(Tok: S->getAsmToks()[I], Record&: Record.getRecordData());
403 }
404
405 // Clobbers
406 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) {
407 Record.AddString(Str: S->getClobber(i: I));
408 }
409
410 // Outputs
411 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
412 Record.AddStmt(S: S->getOutputExpr(i: I));
413 Record.AddString(Str: S->getOutputConstraint(i: I));
414 }
415
416 // Inputs
417 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
418 Record.AddStmt(S: S->getInputExpr(i: I));
419 Record.AddString(Str: S->getInputConstraint(i: I));
420 }
421
422 Code = serialization::STMT_MSASM;
423}
424
425void ASTStmtWriter::VisitCoroutineBodyStmt(CoroutineBodyStmt *CoroStmt) {
426 VisitStmt(S: CoroStmt);
427 Record.push_back(N: CoroStmt->getParamMoves().size());
428 for (Stmt *S : CoroStmt->children())
429 Record.AddStmt(S);
430 Code = serialization::STMT_COROUTINE_BODY;
431}
432
433void ASTStmtWriter::VisitCoreturnStmt(CoreturnStmt *S) {
434 VisitStmt(S);
435 Record.AddSourceLocation(Loc: S->getKeywordLoc());
436 Record.AddStmt(S: S->getOperand());
437 Record.AddStmt(S: S->getPromiseCall());
438 Record.push_back(N: S->isImplicit());
439 Code = serialization::STMT_CORETURN;
440}
441
442void ASTStmtWriter::VisitCoroutineSuspendExpr(CoroutineSuspendExpr *E) {
443 VisitExpr(E);
444 Record.AddSourceLocation(Loc: E->getKeywordLoc());
445 for (Stmt *S : E->children())
446 Record.AddStmt(S);
447 Record.AddStmt(S: E->getOpaqueValue());
448}
449
450void ASTStmtWriter::VisitCoawaitExpr(CoawaitExpr *E) {
451 VisitCoroutineSuspendExpr(E);
452 Record.push_back(N: E->isImplicit());
453 Code = serialization::EXPR_COAWAIT;
454}
455
456void ASTStmtWriter::VisitCoyieldExpr(CoyieldExpr *E) {
457 VisitCoroutineSuspendExpr(E);
458 Code = serialization::EXPR_COYIELD;
459}
460
461void ASTStmtWriter::VisitDependentCoawaitExpr(DependentCoawaitExpr *E) {
462 VisitExpr(E);
463 Record.AddSourceLocation(Loc: E->getKeywordLoc());
464 for (Stmt *S : E->children())
465 Record.AddStmt(S);
466 Code = serialization::EXPR_DEPENDENT_COAWAIT;
467}
468
469static void
470addConstraintSatisfaction(ASTRecordWriter &Record,
471 const ASTConstraintSatisfaction &Satisfaction) {
472 Record.push_back(N: Satisfaction.IsSatisfied);
473 Record.push_back(N: Satisfaction.ContainsErrors);
474 if (!Satisfaction.IsSatisfied) {
475 Record.push_back(N: Satisfaction.NumRecords);
476 for (const auto &DetailRecord : Satisfaction) {
477 auto *E = dyn_cast<Expr *>(Val: DetailRecord);
478 Record.push_back(/* IsDiagnostic */ N: E == nullptr);
479 if (E)
480 Record.AddStmt(S: E);
481 else {
482 auto *Diag = cast<std::pair<SourceLocation, StringRef> *>(Val: DetailRecord);
483 Record.AddSourceLocation(Loc: Diag->first);
484 Record.AddString(Str: Diag->second);
485 }
486 }
487 }
488}
489
490static void
491addSubstitutionDiagnostic(
492 ASTRecordWriter &Record,
493 const concepts::Requirement::SubstitutionDiagnostic *D) {
494 Record.AddString(Str: D->SubstitutedEntity);
495 Record.AddSourceLocation(Loc: D->DiagLoc);
496 Record.AddString(Str: D->DiagMessage);
497}
498
499void ASTStmtWriter::VisitConceptSpecializationExpr(
500 ConceptSpecializationExpr *E) {
501 VisitExpr(E);
502 Record.AddDeclRef(D: E->getSpecializationDecl());
503 const ConceptReference *CR = E->getConceptReference();
504 Record.push_back(N: CR != nullptr);
505 if (CR)
506 Record.AddConceptReference(CR);
507 if (!E->isValueDependent())
508 addConstraintSatisfaction(Record, Satisfaction: E->getSatisfaction());
509
510 Code = serialization::EXPR_CONCEPT_SPECIALIZATION;
511}
512
513void ASTStmtWriter::VisitRequiresExpr(RequiresExpr *E) {
514 VisitExpr(E);
515 Record.push_back(N: E->getLocalParameters().size());
516 Record.push_back(N: E->getRequirements().size());
517 Record.AddSourceLocation(Loc: E->RequiresExprBits.RequiresKWLoc);
518 Record.push_back(N: E->RequiresExprBits.IsSatisfied);
519 Record.AddDeclRef(D: E->getBody());
520 for (ParmVarDecl *P : E->getLocalParameters())
521 Record.AddDeclRef(D: P);
522 for (concepts::Requirement *R : E->getRequirements()) {
523 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Val: R)) {
524 Record.push_back(N: concepts::Requirement::RK_Type);
525 Record.push_back(N: TypeReq->Status);
526 if (TypeReq->Status == concepts::TypeRequirement::SS_SubstitutionFailure)
527 addSubstitutionDiagnostic(Record, D: TypeReq->getSubstitutionDiagnostic());
528 else
529 Record.AddTypeSourceInfo(TInfo: TypeReq->getType());
530 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Val: R)) {
531 Record.push_back(N: ExprReq->getKind());
532 Record.push_back(N: ExprReq->Status);
533 if (ExprReq->isExprSubstitutionFailure()) {
534 addSubstitutionDiagnostic(
535 Record, D: cast<concepts::Requirement::SubstitutionDiagnostic *>(
536 Val&: ExprReq->Value));
537 } else
538 Record.AddStmt(S: cast<Expr *>(Val&: ExprReq->Value));
539 if (ExprReq->getKind() == concepts::Requirement::RK_Compound) {
540 Record.AddSourceLocation(Loc: ExprReq->NoexceptLoc);
541 const auto &RetReq = ExprReq->getReturnTypeRequirement();
542 if (RetReq.isSubstitutionFailure()) {
543 Record.push_back(N: 2);
544 addSubstitutionDiagnostic(Record, D: RetReq.getSubstitutionDiagnostic());
545 } else if (RetReq.isTypeConstraint()) {
546 Record.push_back(N: 1);
547 Record.AddTemplateParameterList(
548 TemplateParams: RetReq.getTypeConstraintTemplateParameterList());
549 if (ExprReq->Status >=
550 concepts::ExprRequirement::SS_ConstraintsNotSatisfied)
551 Record.AddStmt(
552 S: ExprReq->getReturnTypeRequirementSubstitutedConstraintExpr());
553 } else {
554 assert(RetReq.isEmpty());
555 Record.push_back(N: 0);
556 }
557 }
558 } else {
559 auto *NestedReq = cast<concepts::NestedRequirement>(Val: R);
560 Record.push_back(N: concepts::Requirement::RK_Nested);
561 Record.push_back(N: NestedReq->hasInvalidConstraint());
562 if (NestedReq->hasInvalidConstraint()) {
563 Record.AddString(Str: NestedReq->getInvalidConstraintEntity());
564 addConstraintSatisfaction(Record, Satisfaction: *NestedReq->Satisfaction);
565 } else {
566 Record.AddStmt(S: NestedReq->getConstraintExpr());
567 if (!NestedReq->isDependent())
568 addConstraintSatisfaction(Record, Satisfaction: *NestedReq->Satisfaction);
569 }
570 }
571 }
572 Record.AddSourceLocation(Loc: E->getLParenLoc());
573 Record.AddSourceLocation(Loc: E->getRParenLoc());
574 Record.AddSourceLocation(Loc: E->getEndLoc());
575
576 Code = serialization::EXPR_REQUIRES;
577}
578
579
580void ASTStmtWriter::VisitCapturedStmt(CapturedStmt *S) {
581 VisitStmt(S);
582 // NumCaptures
583 Record.push_back(N: std::distance(first: S->capture_begin(), last: S->capture_end()));
584
585 // CapturedDecl and captured region kind
586 Record.AddDeclRef(D: S->getCapturedDecl());
587 Record.push_back(N: S->getCapturedRegionKind());
588
589 Record.AddDeclRef(D: S->getCapturedRecordDecl());
590
591 // Capture inits
592 for (auto *I : S->capture_inits())
593 Record.AddStmt(S: I);
594
595 // Body
596 Record.AddStmt(S: S->getCapturedStmt());
597
598 // Captures
599 for (const auto &I : S->captures()) {
600 if (I.capturesThis() || I.capturesVariableArrayType())
601 Record.AddDeclRef(D: nullptr);
602 else
603 Record.AddDeclRef(D: I.getCapturedVar());
604 Record.push_back(N: I.getCaptureKind());
605 Record.AddSourceLocation(Loc: I.getLocation());
606 }
607
608 Code = serialization::STMT_CAPTURED;
609}
610
611void ASTStmtWriter::VisitSYCLKernelCallStmt(SYCLKernelCallStmt *S) {
612 VisitStmt(S);
613 Record.AddStmt(S: S->getOriginalStmt());
614 Record.AddDeclRef(D: S->getOutlinedFunctionDecl());
615
616 Code = serialization::STMT_SYCLKERNELCALL;
617}
618
619void ASTStmtWriter::VisitExpr(Expr *E) {
620 VisitStmt(S: E);
621
622 CurrentPackingBits.updateBits();
623 CurrentPackingBits.addBits(Value: E->getDependence(), /*BitsWidth=*/5);
624 CurrentPackingBits.addBits(Value: E->getValueKind(), /*BitsWidth=*/2);
625 CurrentPackingBits.addBits(Value: E->getObjectKind(), /*BitsWidth=*/3);
626
627 Record.AddTypeRef(T: E->getType());
628}
629
630void ASTStmtWriter::VisitConstantExpr(ConstantExpr *E) {
631 VisitExpr(E);
632 Record.push_back(N: E->ConstantExprBits.ResultKind);
633
634 Record.push_back(N: E->ConstantExprBits.APValueKind);
635 Record.push_back(N: E->ConstantExprBits.IsUnsigned);
636 Record.push_back(N: E->ConstantExprBits.BitWidth);
637 // HasCleanup not serialized since we can just query the APValue.
638 Record.push_back(N: E->ConstantExprBits.IsImmediateInvocation);
639
640 switch (E->getResultStorageKind()) {
641 case ConstantResultStorageKind::None:
642 break;
643 case ConstantResultStorageKind::Int64:
644 Record.push_back(N: E->Int64Result());
645 break;
646 case ConstantResultStorageKind::APValue:
647 Record.AddAPValue(Value: E->APValueResult());
648 break;
649 }
650
651 Record.AddStmt(S: E->getSubExpr());
652 Code = serialization::EXPR_CONSTANT;
653}
654
655void ASTStmtWriter::VisitOpenACCAsteriskSizeExpr(OpenACCAsteriskSizeExpr *E) {
656 VisitExpr(E);
657 Record.AddSourceLocation(Loc: E->getLocation());
658 Code = serialization::EXPR_OPENACC_ASTERISK_SIZE;
659}
660
661void ASTStmtWriter::VisitSYCLUniqueStableNameExpr(SYCLUniqueStableNameExpr *E) {
662 VisitExpr(E);
663
664 Record.AddSourceLocation(Loc: E->getLocation());
665 Record.AddSourceLocation(Loc: E->getLParenLocation());
666 Record.AddSourceLocation(Loc: E->getRParenLocation());
667 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
668
669 Code = serialization::EXPR_SYCL_UNIQUE_STABLE_NAME;
670}
671
672void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) {
673 VisitExpr(E);
674
675 bool HasFunctionName = E->getFunctionName() != nullptr;
676 Record.push_back(N: HasFunctionName);
677 Record.push_back(
678 N: llvm::to_underlying(E: E->getIdentKind())); // FIXME: stable encoding
679 Record.push_back(N: E->isTransparent());
680 Record.AddSourceLocation(Loc: E->getLocation());
681 if (HasFunctionName)
682 Record.AddStmt(S: E->getFunctionName());
683 Code = serialization::EXPR_PREDEFINED;
684}
685
686void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) {
687 VisitExpr(E);
688
689 CurrentPackingBits.updateBits();
690
691 CurrentPackingBits.addBit(Value: E->hadMultipleCandidates());
692 CurrentPackingBits.addBit(Value: E->refersToEnclosingVariableOrCapture());
693 CurrentPackingBits.addBits(Value: E->isNonOdrUse(), /*Width=*/BitsWidth: 2);
694 CurrentPackingBits.addBit(Value: E->isImmediateEscalating());
695 CurrentPackingBits.addBit(Value: E->getDecl() != E->getFoundDecl());
696 CurrentPackingBits.addBit(Value: E->hasQualifier());
697 CurrentPackingBits.addBit(Value: E->hasTemplateKWAndArgsInfo());
698
699 if (E->hasTemplateKWAndArgsInfo()) {
700 unsigned NumTemplateArgs = E->getNumTemplateArgs();
701 Record.push_back(N: NumTemplateArgs);
702 }
703
704 DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind());
705
706 if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) &&
707 (E->getDecl() == E->getFoundDecl()) &&
708 nk == DeclarationName::Identifier && E->getObjectKind() == OK_Ordinary) {
709 AbbrevToUse = Writer.getDeclRefExprAbbrev();
710 }
711
712 if (E->hasQualifier())
713 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
714
715 if (E->getDecl() != E->getFoundDecl())
716 Record.AddDeclRef(D: E->getFoundDecl());
717
718 if (E->hasTemplateKWAndArgsInfo())
719 AddTemplateKWAndArgsInfo(ArgInfo: *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
720 Args: E->getTrailingObjects<TemplateArgumentLoc>());
721
722 Record.AddDeclRef(D: E->getDecl());
723 Record.AddSourceLocation(Loc: E->getLocation());
724 Record.AddDeclarationNameLoc(DNLoc: E->DNLoc, Name: E->getDecl()->getDeclName());
725 Code = serialization::EXPR_DECL_REF;
726}
727
728void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) {
729 VisitExpr(E);
730 Record.AddSourceLocation(Loc: E->getLocation());
731 Record.AddAPInt(Value: E->getValue());
732
733 if (E->getValue().getBitWidth() == 32) {
734 AbbrevToUse = Writer.getIntegerLiteralAbbrev();
735 }
736
737 Code = serialization::EXPR_INTEGER_LITERAL;
738}
739
740void ASTStmtWriter::VisitFixedPointLiteral(FixedPointLiteral *E) {
741 VisitExpr(E);
742 Record.AddSourceLocation(Loc: E->getLocation());
743 Record.push_back(N: E->getScale());
744 Record.AddAPInt(Value: E->getValue());
745 Code = serialization::EXPR_FIXEDPOINT_LITERAL;
746}
747
748void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) {
749 VisitExpr(E);
750 Record.push_back(N: E->getRawSemantics());
751 Record.push_back(N: E->isExact());
752 Record.AddAPFloat(Value: E->getValue());
753 Record.AddSourceLocation(Loc: E->getLocation());
754 Code = serialization::EXPR_FLOATING_LITERAL;
755}
756
757void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) {
758 VisitExpr(E);
759 Record.AddStmt(S: E->getSubExpr());
760 Code = serialization::EXPR_IMAGINARY_LITERAL;
761}
762
763void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) {
764 VisitExpr(E);
765
766 // Store the various bits of data of StringLiteral.
767 Record.push_back(N: E->getNumConcatenated());
768 Record.push_back(N: E->getLength());
769 Record.push_back(N: E->getCharByteWidth());
770 Record.push_back(N: llvm::to_underlying(E: E->getKind()));
771 Record.push_back(N: E->isPascal());
772
773 // Store the trailing array of SourceLocation.
774 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
775 Record.AddSourceLocation(Loc: E->getStrTokenLoc(TokNum: I));
776
777 // Store the trailing array of char holding the string data.
778 StringRef StrData = E->getBytes();
779 for (unsigned I = 0, N = E->getByteLength(); I != N; ++I)
780 Record.push_back(N: StrData[I]);
781
782 Code = serialization::EXPR_STRING_LITERAL;
783}
784
785void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
786 VisitExpr(E);
787 Record.push_back(N: E->getValue());
788 Record.AddSourceLocation(Loc: E->getLocation());
789 Record.push_back(N: llvm::to_underlying(E: E->getKind()));
790
791 AbbrevToUse = Writer.getCharacterLiteralAbbrev();
792
793 Code = serialization::EXPR_CHARACTER_LITERAL;
794}
795
796void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
797 VisitExpr(E);
798 Record.push_back(N: E->isProducedByFoldExpansion());
799 Record.AddSourceLocation(Loc: E->getLParen());
800 Record.AddSourceLocation(Loc: E->getRParen());
801 Record.AddStmt(S: E->getSubExpr());
802 Code = serialization::EXPR_PAREN;
803}
804
805void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
806 VisitExpr(E);
807 Record.push_back(N: E->getNumExprs());
808 for (auto *SubStmt : E->exprs())
809 Record.AddStmt(S: SubStmt);
810 Record.AddSourceLocation(Loc: E->getLParenLoc());
811 Record.AddSourceLocation(Loc: E->getRParenLoc());
812 Code = serialization::EXPR_PAREN_LIST;
813}
814
815void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
816 VisitExpr(E);
817 bool HasFPFeatures = E->hasStoredFPFeatures();
818 // Write this first for easy access when deserializing, as they affect the
819 // size of the UnaryOperator.
820 CurrentPackingBits.addBit(Value: HasFPFeatures);
821 Record.AddStmt(S: E->getSubExpr());
822 CurrentPackingBits.addBits(Value: E->getOpcode(),
823 /*Width=*/BitsWidth: 5); // FIXME: stable encoding
824 Record.AddSourceLocation(Loc: E->getOperatorLoc());
825 CurrentPackingBits.addBit(Value: E->canOverflow());
826
827 if (HasFPFeatures)
828 Record.push_back(N: E->getStoredFPFeatures().getAsOpaqueInt());
829 Code = serialization::EXPR_UNARY_OPERATOR;
830}
831
832void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
833 VisitExpr(E);
834 Record.push_back(N: E->getNumComponents());
835 Record.push_back(N: E->getNumExpressions());
836 Record.AddSourceLocation(Loc: E->getOperatorLoc());
837 Record.AddSourceLocation(Loc: E->getRParenLoc());
838 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
839 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
840 const OffsetOfNode &ON = E->getComponent(Idx: I);
841 Record.push_back(N: ON.getKind()); // FIXME: Stable encoding
842 Record.AddSourceLocation(Loc: ON.getSourceRange().getBegin());
843 Record.AddSourceLocation(Loc: ON.getSourceRange().getEnd());
844 switch (ON.getKind()) {
845 case OffsetOfNode::Array:
846 Record.push_back(N: ON.getArrayExprIndex());
847 break;
848
849 case OffsetOfNode::Field:
850 Record.AddDeclRef(D: ON.getField());
851 break;
852
853 case OffsetOfNode::Identifier:
854 Record.AddIdentifierRef(II: ON.getFieldName());
855 break;
856
857 case OffsetOfNode::Base:
858 Record.AddCXXBaseSpecifier(Base: *ON.getBase());
859 break;
860 }
861 }
862 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
863 Record.AddStmt(S: E->getIndexExpr(Idx: I));
864 Code = serialization::EXPR_OFFSETOF;
865}
866
867void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
868 VisitExpr(E);
869 Record.push_back(N: E->getKind());
870 if (E->isArgumentType())
871 Record.AddTypeSourceInfo(TInfo: E->getArgumentTypeInfo());
872 else {
873 Record.push_back(N: 0);
874 Record.AddStmt(S: E->getArgumentExpr());
875 }
876 Record.AddSourceLocation(Loc: E->getOperatorLoc());
877 Record.AddSourceLocation(Loc: E->getRParenLoc());
878 Code = serialization::EXPR_SIZEOF_ALIGN_OF;
879}
880
881void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
882 VisitExpr(E);
883 Record.AddStmt(S: E->getLHS());
884 Record.AddStmt(S: E->getRHS());
885 Record.AddSourceLocation(Loc: E->getRBracketLoc());
886 Code = serialization::EXPR_ARRAY_SUBSCRIPT;
887}
888
889void ASTStmtWriter::VisitMatrixSubscriptExpr(MatrixSubscriptExpr *E) {
890 VisitExpr(E);
891 Record.AddStmt(S: E->getBase());
892 Record.AddStmt(S: E->getRowIdx());
893 Record.AddStmt(S: E->getColumnIdx());
894 Record.AddSourceLocation(Loc: E->getRBracketLoc());
895 Code = serialization::EXPR_ARRAY_SUBSCRIPT;
896}
897
898void ASTStmtWriter::VisitArraySectionExpr(ArraySectionExpr *E) {
899 VisitExpr(E);
900 Record.writeEnum(value: E->ASType);
901 Record.AddStmt(S: E->getBase());
902 Record.AddStmt(S: E->getLowerBound());
903 Record.AddStmt(S: E->getLength());
904 if (E->isOMPArraySection())
905 Record.AddStmt(S: E->getStride());
906 Record.AddSourceLocation(Loc: E->getColonLocFirst());
907
908 if (E->isOMPArraySection())
909 Record.AddSourceLocation(Loc: E->getColonLocSecond());
910
911 Record.AddSourceLocation(Loc: E->getRBracketLoc());
912 Code = serialization::EXPR_ARRAY_SECTION;
913}
914
915void ASTStmtWriter::VisitOMPArrayShapingExpr(OMPArrayShapingExpr *E) {
916 VisitExpr(E);
917 Record.push_back(N: E->getDimensions().size());
918 Record.AddStmt(S: E->getBase());
919 for (Expr *Dim : E->getDimensions())
920 Record.AddStmt(S: Dim);
921 for (SourceRange SR : E->getBracketsRanges())
922 Record.AddSourceRange(Range: SR);
923 Record.AddSourceLocation(Loc: E->getLParenLoc());
924 Record.AddSourceLocation(Loc: E->getRParenLoc());
925 Code = serialization::EXPR_OMP_ARRAY_SHAPING;
926}
927
928void ASTStmtWriter::VisitOMPIteratorExpr(OMPIteratorExpr *E) {
929 VisitExpr(E);
930 Record.push_back(N: E->numOfIterators());
931 Record.AddSourceLocation(Loc: E->getIteratorKwLoc());
932 Record.AddSourceLocation(Loc: E->getLParenLoc());
933 Record.AddSourceLocation(Loc: E->getRParenLoc());
934 for (unsigned I = 0, End = E->numOfIterators(); I < End; ++I) {
935 Record.AddDeclRef(D: E->getIteratorDecl(I));
936 Record.AddSourceLocation(Loc: E->getAssignLoc(I));
937 OMPIteratorExpr::IteratorRange Range = E->getIteratorRange(I);
938 Record.AddStmt(S: Range.Begin);
939 Record.AddStmt(S: Range.End);
940 Record.AddStmt(S: Range.Step);
941 Record.AddSourceLocation(Loc: E->getColonLoc(I));
942 if (Range.Step)
943 Record.AddSourceLocation(Loc: E->getSecondColonLoc(I));
944 // Serialize helpers
945 OMPIteratorHelperData &HD = E->getHelper(I);
946 Record.AddDeclRef(D: HD.CounterVD);
947 Record.AddStmt(S: HD.Upper);
948 Record.AddStmt(S: HD.Update);
949 Record.AddStmt(S: HD.CounterUpdate);
950 }
951 Code = serialization::EXPR_OMP_ITERATOR;
952}
953
954void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
955 VisitExpr(E);
956
957 Record.push_back(N: E->getNumArgs());
958 CurrentPackingBits.updateBits();
959 CurrentPackingBits.addBit(Value: static_cast<bool>(E->getADLCallKind()));
960 CurrentPackingBits.addBit(Value: E->hasStoredFPFeatures());
961 CurrentPackingBits.addBit(Value: E->isCoroElideSafe());
962 CurrentPackingBits.addBit(Value: E->usesMemberSyntax());
963
964 Record.AddSourceLocation(Loc: E->getRParenLoc());
965 Record.AddStmt(S: E->getCallee());
966 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
967 Arg != ArgEnd; ++Arg)
968 Record.AddStmt(S: *Arg);
969
970 if (E->hasStoredFPFeatures())
971 Record.push_back(N: E->getFPFeatures().getAsOpaqueInt());
972
973 if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()) &&
974 !E->usesMemberSyntax() && E->getStmtClass() == Stmt::CallExprClass)
975 AbbrevToUse = Writer.getCallExprAbbrev();
976
977 Code = serialization::EXPR_CALL;
978}
979
980void ASTStmtWriter::VisitRecoveryExpr(RecoveryExpr *E) {
981 VisitExpr(E);
982 Record.push_back(N: std::distance(first: E->children().begin(), last: E->children().end()));
983 Record.AddSourceLocation(Loc: E->getBeginLoc());
984 Record.AddSourceLocation(Loc: E->getEndLoc());
985 for (Stmt *Child : E->children())
986 Record.AddStmt(S: Child);
987 Code = serialization::EXPR_RECOVERY;
988}
989
990void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
991 VisitExpr(E);
992
993 bool HasQualifier = E->hasQualifier();
994 bool HasFoundDecl = E->hasFoundDecl();
995 bool HasTemplateInfo = E->hasTemplateKWAndArgsInfo();
996 unsigned NumTemplateArgs = E->getNumTemplateArgs();
997
998 // Write these first for easy access when deserializing, as they affect the
999 // size of the MemberExpr.
1000 CurrentPackingBits.updateBits();
1001 CurrentPackingBits.addBit(Value: HasQualifier);
1002 CurrentPackingBits.addBit(Value: HasFoundDecl);
1003 CurrentPackingBits.addBit(Value: HasTemplateInfo);
1004 Record.push_back(N: NumTemplateArgs);
1005
1006 Record.AddStmt(S: E->getBase());
1007 Record.AddDeclRef(D: E->getMemberDecl());
1008 Record.AddDeclarationNameLoc(DNLoc: E->MemberDNLoc,
1009 Name: E->getMemberDecl()->getDeclName());
1010 Record.AddSourceLocation(Loc: E->getMemberLoc());
1011 CurrentPackingBits.addBit(Value: E->isArrow());
1012 CurrentPackingBits.addBit(Value: E->hadMultipleCandidates());
1013 CurrentPackingBits.addBits(Value: E->isNonOdrUse(), /*Width=*/BitsWidth: 2);
1014 Record.AddSourceLocation(Loc: E->getOperatorLoc());
1015
1016 if (HasQualifier)
1017 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
1018
1019 if (HasFoundDecl) {
1020 DeclAccessPair FoundDecl = E->getFoundDecl();
1021 Record.AddDeclRef(D: FoundDecl.getDecl());
1022 CurrentPackingBits.addBits(Value: FoundDecl.getAccess(), /*BitWidth=*/BitsWidth: 2);
1023 }
1024
1025 if (HasTemplateInfo)
1026 AddTemplateKWAndArgsInfo(ArgInfo: *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
1027 Args: E->getTrailingObjects<TemplateArgumentLoc>());
1028
1029 Code = serialization::EXPR_MEMBER;
1030}
1031
1032void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
1033 VisitExpr(E);
1034 Record.AddStmt(S: E->getBase());
1035 Record.AddSourceLocation(Loc: E->getIsaMemberLoc());
1036 Record.AddSourceLocation(Loc: E->getOpLoc());
1037 Record.push_back(N: E->isArrow());
1038 Code = serialization::EXPR_OBJC_ISA;
1039}
1040
1041void ASTStmtWriter::
1042VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
1043 VisitExpr(E);
1044 Record.AddStmt(S: E->getSubExpr());
1045 Record.push_back(N: E->shouldCopy());
1046 Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
1047}
1048
1049void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
1050 VisitExplicitCastExpr(E);
1051 Record.AddSourceLocation(Loc: E->getLParenLoc());
1052 Record.AddSourceLocation(Loc: E->getBridgeKeywordLoc());
1053 Record.push_back(N: E->getBridgeKind()); // FIXME: Stable encoding
1054 Code = serialization::EXPR_OBJC_BRIDGED_CAST;
1055}
1056
1057void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
1058 VisitExpr(E);
1059
1060 Record.push_back(N: E->path_size());
1061 CurrentPackingBits.updateBits();
1062 // 7 bits should be enough to store the casting kinds.
1063 CurrentPackingBits.addBits(Value: E->getCastKind(), /*Width=*/BitsWidth: 7);
1064 CurrentPackingBits.addBit(Value: E->hasStoredFPFeatures());
1065 Record.AddStmt(S: E->getSubExpr());
1066
1067 for (CastExpr::path_iterator
1068 PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
1069 Record.AddCXXBaseSpecifier(Base: **PI);
1070
1071 if (E->hasStoredFPFeatures())
1072 Record.push_back(N: E->getFPFeatures().getAsOpaqueInt());
1073}
1074
1075void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
1076 VisitExpr(E);
1077
1078 // Write this first for easy access when deserializing, as they affect the
1079 // size of the UnaryOperator.
1080 CurrentPackingBits.updateBits();
1081 CurrentPackingBits.addBits(Value: E->getOpcode(), /*Width=*/BitsWidth: 6);
1082 bool HasFPFeatures = E->hasStoredFPFeatures();
1083 CurrentPackingBits.addBit(Value: HasFPFeatures);
1084 CurrentPackingBits.addBit(Value: E->hasExcludedOverflowPattern());
1085 Record.AddStmt(S: E->getLHS());
1086 Record.AddStmt(S: E->getRHS());
1087 Record.AddSourceLocation(Loc: E->getOperatorLoc());
1088 if (HasFPFeatures)
1089 Record.push_back(N: E->getStoredFPFeatures().getAsOpaqueInt());
1090
1091 if (!HasFPFeatures && E->getValueKind() == VK_PRValue &&
1092 E->getObjectKind() == OK_Ordinary)
1093 AbbrevToUse = Writer.getBinaryOperatorAbbrev();
1094
1095 Code = serialization::EXPR_BINARY_OPERATOR;
1096}
1097
1098void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
1099 VisitBinaryOperator(E);
1100 Record.AddTypeRef(T: E->getComputationLHSType());
1101 Record.AddTypeRef(T: E->getComputationResultType());
1102
1103 if (!E->hasStoredFPFeatures() && E->getValueKind() == VK_PRValue &&
1104 E->getObjectKind() == OK_Ordinary)
1105 AbbrevToUse = Writer.getCompoundAssignOperatorAbbrev();
1106
1107 Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
1108}
1109
1110void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
1111 VisitExpr(E);
1112 Record.AddStmt(S: E->getCond());
1113 Record.AddStmt(S: E->getLHS());
1114 Record.AddStmt(S: E->getRHS());
1115 Record.AddSourceLocation(Loc: E->getQuestionLoc());
1116 Record.AddSourceLocation(Loc: E->getColonLoc());
1117 Code = serialization::EXPR_CONDITIONAL_OPERATOR;
1118}
1119
1120void
1121ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
1122 VisitExpr(E);
1123 Record.AddStmt(S: E->getOpaqueValue());
1124 Record.AddStmt(S: E->getCommon());
1125 Record.AddStmt(S: E->getCond());
1126 Record.AddStmt(S: E->getTrueExpr());
1127 Record.AddStmt(S: E->getFalseExpr());
1128 Record.AddSourceLocation(Loc: E->getQuestionLoc());
1129 Record.AddSourceLocation(Loc: E->getColonLoc());
1130 Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
1131}
1132
1133void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
1134 VisitCastExpr(E);
1135 CurrentPackingBits.addBit(Value: E->isPartOfExplicitCast());
1136
1137 if (E->path_size() == 0 && !E->hasStoredFPFeatures())
1138 AbbrevToUse = Writer.getExprImplicitCastAbbrev();
1139
1140 Code = serialization::EXPR_IMPLICIT_CAST;
1141}
1142
1143void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
1144 VisitCastExpr(E);
1145 Record.AddTypeSourceInfo(TInfo: E->getTypeInfoAsWritten());
1146}
1147
1148void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
1149 VisitExplicitCastExpr(E);
1150 Record.AddSourceLocation(Loc: E->getLParenLoc());
1151 Record.AddSourceLocation(Loc: E->getRParenLoc());
1152 Code = serialization::EXPR_CSTYLE_CAST;
1153}
1154
1155void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
1156 VisitExpr(E);
1157 Record.AddSourceLocation(Loc: E->getLParenLoc());
1158 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
1159 Record.AddStmt(S: E->getInitializer());
1160 Record.push_back(N: E->isFileScope());
1161 Code = serialization::EXPR_COMPOUND_LITERAL;
1162}
1163
1164void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
1165 VisitExpr(E);
1166 Record.AddStmt(S: E->getBase());
1167 Record.AddIdentifierRef(II: &E->getAccessor());
1168 Record.AddSourceLocation(Loc: E->getAccessorLoc());
1169 Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
1170}
1171
1172void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
1173 VisitExpr(E);
1174 // NOTE: only add the (possibly null) syntactic form.
1175 // No need to serialize the isSemanticForm flag and the semantic form.
1176 Record.AddStmt(S: E->getSyntacticForm());
1177 Record.AddSourceLocation(Loc: E->getLBraceLoc());
1178 Record.AddSourceLocation(Loc: E->getRBraceLoc());
1179 bool isArrayFiller = isa<Expr *>(Val: E->ArrayFillerOrUnionFieldInit);
1180 Record.push_back(N: isArrayFiller);
1181 if (isArrayFiller)
1182 Record.AddStmt(S: E->getArrayFiller());
1183 else
1184 Record.AddDeclRef(D: E->getInitializedFieldInUnion());
1185 Record.push_back(N: E->hadArrayRangeDesignator());
1186 Record.push_back(N: E->getNumInits());
1187 if (isArrayFiller) {
1188 // ArrayFiller may have filled "holes" due to designated initializer.
1189 // Replace them by 0 to indicate that the filler goes in that place.
1190 Expr *filler = E->getArrayFiller();
1191 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
1192 Record.AddStmt(S: E->getInit(Init: I) != filler ? E->getInit(Init: I) : nullptr);
1193 } else {
1194 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
1195 Record.AddStmt(S: E->getInit(Init: I));
1196 }
1197 Code = serialization::EXPR_INIT_LIST;
1198}
1199
1200void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
1201 VisitExpr(E);
1202 Record.push_back(N: E->getNumSubExprs());
1203 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1204 Record.AddStmt(S: E->getSubExpr(Idx: I));
1205 Record.AddSourceLocation(Loc: E->getEqualOrColonLoc());
1206 Record.push_back(N: E->usesGNUSyntax());
1207 for (const DesignatedInitExpr::Designator &D : E->designators()) {
1208 if (D.isFieldDesignator()) {
1209 if (FieldDecl *Field = D.getFieldDecl()) {
1210 Record.push_back(N: serialization::DESIG_FIELD_DECL);
1211 Record.AddDeclRef(D: Field);
1212 } else {
1213 Record.push_back(N: serialization::DESIG_FIELD_NAME);
1214 Record.AddIdentifierRef(II: D.getFieldName());
1215 }
1216 Record.AddSourceLocation(Loc: D.getDotLoc());
1217 Record.AddSourceLocation(Loc: D.getFieldLoc());
1218 } else if (D.isArrayDesignator()) {
1219 Record.push_back(N: serialization::DESIG_ARRAY);
1220 Record.push_back(N: D.getArrayIndex());
1221 Record.AddSourceLocation(Loc: D.getLBracketLoc());
1222 Record.AddSourceLocation(Loc: D.getRBracketLoc());
1223 } else {
1224 assert(D.isArrayRangeDesignator() && "Unknown designator");
1225 Record.push_back(N: serialization::DESIG_ARRAY_RANGE);
1226 Record.push_back(N: D.getArrayIndex());
1227 Record.AddSourceLocation(Loc: D.getLBracketLoc());
1228 Record.AddSourceLocation(Loc: D.getEllipsisLoc());
1229 Record.AddSourceLocation(Loc: D.getRBracketLoc());
1230 }
1231 }
1232 Code = serialization::EXPR_DESIGNATED_INIT;
1233}
1234
1235void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
1236 VisitExpr(E);
1237 Record.AddStmt(S: E->getBase());
1238 Record.AddStmt(S: E->getUpdater());
1239 Code = serialization::EXPR_DESIGNATED_INIT_UPDATE;
1240}
1241
1242void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
1243 VisitExpr(E);
1244 Code = serialization::EXPR_NO_INIT;
1245}
1246
1247void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
1248 VisitExpr(E);
1249 Record.AddStmt(S: E->SubExprs[0]);
1250 Record.AddStmt(S: E->SubExprs[1]);
1251 Code = serialization::EXPR_ARRAY_INIT_LOOP;
1252}
1253
1254void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
1255 VisitExpr(E);
1256 Code = serialization::EXPR_ARRAY_INIT_INDEX;
1257}
1258
1259void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
1260 VisitExpr(E);
1261 Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
1262}
1263
1264void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
1265 VisitExpr(E);
1266 Record.AddStmt(S: E->getSubExpr());
1267 Record.AddTypeSourceInfo(TInfo: E->getWrittenTypeInfo());
1268 Record.AddSourceLocation(Loc: E->getBuiltinLoc());
1269 Record.AddSourceLocation(Loc: E->getRParenLoc());
1270 Record.push_back(N: E->isMicrosoftABI());
1271 Code = serialization::EXPR_VA_ARG;
1272}
1273
1274void ASTStmtWriter::VisitSourceLocExpr(SourceLocExpr *E) {
1275 VisitExpr(E);
1276 Record.AddDeclRef(D: cast_or_null<Decl>(Val: E->getParentContext()));
1277 Record.AddSourceLocation(Loc: E->getBeginLoc());
1278 Record.AddSourceLocation(Loc: E->getEndLoc());
1279 Record.push_back(N: llvm::to_underlying(E: E->getIdentKind()));
1280 Code = serialization::EXPR_SOURCE_LOC;
1281}
1282
1283void ASTStmtWriter::VisitEmbedExpr(EmbedExpr *E) {
1284 VisitExpr(E);
1285 Record.AddSourceLocation(Loc: E->getBeginLoc());
1286 Record.AddSourceLocation(Loc: E->getEndLoc());
1287 Record.AddStmt(S: E->getDataStringLiteral());
1288 Record.writeUInt32(Value: E->getStartingElementPos());
1289 Record.writeUInt32(Value: E->getDataElementCount());
1290 Code = serialization::EXPR_BUILTIN_PP_EMBED;
1291}
1292
1293void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
1294 VisitExpr(E);
1295 Record.AddSourceLocation(Loc: E->getAmpAmpLoc());
1296 Record.AddSourceLocation(Loc: E->getLabelLoc());
1297 Record.AddDeclRef(D: E->getLabel());
1298 Code = serialization::EXPR_ADDR_LABEL;
1299}
1300
1301void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
1302 VisitExpr(E);
1303 Record.AddStmt(S: E->getSubStmt());
1304 Record.AddSourceLocation(Loc: E->getLParenLoc());
1305 Record.AddSourceLocation(Loc: E->getRParenLoc());
1306 Record.push_back(N: E->getTemplateDepth());
1307 Code = serialization::EXPR_STMT;
1308}
1309
1310void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
1311 VisitExpr(E);
1312 Record.AddStmt(S: E->getCond());
1313 Record.AddStmt(S: E->getLHS());
1314 Record.AddStmt(S: E->getRHS());
1315 Record.AddSourceLocation(Loc: E->getBuiltinLoc());
1316 Record.AddSourceLocation(Loc: E->getRParenLoc());
1317 Record.push_back(N: E->isConditionDependent() ? false : E->isConditionTrue());
1318 Code = serialization::EXPR_CHOOSE;
1319}
1320
1321void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
1322 VisitExpr(E);
1323 Record.AddSourceLocation(Loc: E->getTokenLocation());
1324 Code = serialization::EXPR_GNU_NULL;
1325}
1326
1327void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
1328 VisitExpr(E);
1329 Record.push_back(N: E->getNumSubExprs());
1330 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1331 Record.AddStmt(S: E->getExpr(Index: I));
1332 Record.AddSourceLocation(Loc: E->getBuiltinLoc());
1333 Record.AddSourceLocation(Loc: E->getRParenLoc());
1334 Code = serialization::EXPR_SHUFFLE_VECTOR;
1335}
1336
1337void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
1338 VisitExpr(E);
1339 bool HasFPFeatures = E->hasStoredFPFeatures();
1340 CurrentPackingBits.addBit(Value: HasFPFeatures);
1341 Record.AddSourceLocation(Loc: E->getBuiltinLoc());
1342 Record.AddSourceLocation(Loc: E->getRParenLoc());
1343 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
1344 Record.AddStmt(S: E->getSrcExpr());
1345 Code = serialization::EXPR_CONVERT_VECTOR;
1346 if (HasFPFeatures)
1347 Record.push_back(N: E->getStoredFPFeatures().getAsOpaqueInt());
1348}
1349
1350void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
1351 VisitExpr(E);
1352 Record.AddDeclRef(D: E->getBlockDecl());
1353 Code = serialization::EXPR_BLOCK;
1354}
1355
1356void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
1357 VisitExpr(E);
1358
1359 Record.push_back(N: E->getNumAssocs());
1360 Record.push_back(N: E->isExprPredicate());
1361 Record.push_back(N: E->ResultIndex);
1362 Record.AddSourceLocation(Loc: E->getGenericLoc());
1363 Record.AddSourceLocation(Loc: E->getDefaultLoc());
1364 Record.AddSourceLocation(Loc: E->getRParenLoc());
1365
1366 Stmt **Stmts = E->getTrailingObjects<Stmt *>();
1367 // Add 1 to account for the controlling expression which is the first
1368 // expression in the trailing array of Stmt *. This is not needed for
1369 // the trailing array of TypeSourceInfo *.
1370 for (unsigned I = 0, N = E->getNumAssocs() + 1; I < N; ++I)
1371 Record.AddStmt(S: Stmts[I]);
1372
1373 TypeSourceInfo **TSIs = E->getTrailingObjects<TypeSourceInfo *>();
1374 for (unsigned I = 0, N = E->getNumAssocs(); I < N; ++I)
1375 Record.AddTypeSourceInfo(TInfo: TSIs[I]);
1376
1377 Code = serialization::EXPR_GENERIC_SELECTION;
1378}
1379
1380void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
1381 VisitExpr(E);
1382 Record.push_back(N: E->getNumSemanticExprs());
1383
1384 // Push the result index. Currently, this needs to exactly match
1385 // the encoding used internally for ResultIndex.
1386 unsigned result = E->getResultExprIndex();
1387 result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
1388 Record.push_back(N: result);
1389
1390 Record.AddStmt(S: E->getSyntacticForm());
1391 for (PseudoObjectExpr::semantics_iterator
1392 i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
1393 Record.AddStmt(S: *i);
1394 }
1395 Code = serialization::EXPR_PSEUDO_OBJECT;
1396}
1397
1398void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
1399 VisitExpr(E);
1400 Record.push_back(N: E->getOp());
1401 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1402 Record.AddStmt(S: E->getSubExprs()[I]);
1403 Record.AddSourceLocation(Loc: E->getBuiltinLoc());
1404 Record.AddSourceLocation(Loc: E->getRParenLoc());
1405 Code = serialization::EXPR_ATOMIC;
1406}
1407
1408//===----------------------------------------------------------------------===//
1409// Objective-C Expressions and Statements.
1410//===----------------------------------------------------------------------===//
1411
1412void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
1413 VisitExpr(E);
1414 Record.AddStmt(S: E->getString());
1415 Record.AddSourceLocation(Loc: E->getAtLoc());
1416 Code = serialization::EXPR_OBJC_STRING_LITERAL;
1417}
1418
1419void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
1420 VisitExpr(E);
1421 Record.AddStmt(S: E->getSubExpr());
1422 Record.AddDeclRef(D: E->getBoxingMethod());
1423 Record.AddSourceRange(Range: E->getSourceRange());
1424 Code = serialization::EXPR_OBJC_BOXED_EXPRESSION;
1425}
1426
1427void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1428 VisitExpr(E);
1429 Record.push_back(N: E->getNumElements());
1430 for (unsigned i = 0; i < E->getNumElements(); i++)
1431 Record.AddStmt(S: E->getElement(Index: i));
1432 Record.AddDeclRef(D: E->getArrayWithObjectsMethod());
1433 Record.AddSourceRange(Range: E->getSourceRange());
1434 Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
1435}
1436
1437void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1438 VisitExpr(E);
1439 Record.push_back(N: E->getNumElements());
1440 Record.push_back(N: E->HasPackExpansions);
1441 for (unsigned i = 0; i < E->getNumElements(); i++) {
1442 ObjCDictionaryElement Element = E->getKeyValueElement(Index: i);
1443 Record.AddStmt(S: Element.Key);
1444 Record.AddStmt(S: Element.Value);
1445 if (E->HasPackExpansions) {
1446 Record.AddSourceLocation(Loc: Element.EllipsisLoc);
1447 unsigned NumExpansions = 0;
1448 if (Element.NumExpansions)
1449 NumExpansions = *Element.NumExpansions + 1;
1450 Record.push_back(N: NumExpansions);
1451 }
1452 }
1453
1454 Record.AddDeclRef(D: E->getDictWithObjectsMethod());
1455 Record.AddSourceRange(Range: E->getSourceRange());
1456 Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
1457}
1458
1459void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
1460 VisitExpr(E);
1461 Record.AddTypeSourceInfo(TInfo: E->getEncodedTypeSourceInfo());
1462 Record.AddSourceLocation(Loc: E->getAtLoc());
1463 Record.AddSourceLocation(Loc: E->getRParenLoc());
1464 Code = serialization::EXPR_OBJC_ENCODE;
1465}
1466
1467void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
1468 VisitExpr(E);
1469 Record.AddSelectorRef(S: E->getSelector());
1470 Record.AddSourceLocation(Loc: E->getAtLoc());
1471 Record.AddSourceLocation(Loc: E->getRParenLoc());
1472 Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
1473}
1474
1475void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
1476 VisitExpr(E);
1477 Record.AddDeclRef(D: E->getProtocol());
1478 Record.AddSourceLocation(Loc: E->getAtLoc());
1479 Record.AddSourceLocation(Loc: E->ProtoLoc);
1480 Record.AddSourceLocation(Loc: E->getRParenLoc());
1481 Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
1482}
1483
1484void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
1485 VisitExpr(E);
1486 Record.AddDeclRef(D: E->getDecl());
1487 Record.AddSourceLocation(Loc: E->getLocation());
1488 Record.AddSourceLocation(Loc: E->getOpLoc());
1489 Record.AddStmt(S: E->getBase());
1490 Record.push_back(N: E->isArrow());
1491 Record.push_back(N: E->isFreeIvar());
1492 Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
1493}
1494
1495void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
1496 VisitExpr(E);
1497 Record.push_back(N: E->SetterAndMethodRefFlags.getInt());
1498 Record.push_back(N: E->isImplicitProperty());
1499 if (E->isImplicitProperty()) {
1500 Record.AddDeclRef(D: E->getImplicitPropertyGetter());
1501 Record.AddDeclRef(D: E->getImplicitPropertySetter());
1502 } else {
1503 Record.AddDeclRef(D: E->getExplicitProperty());
1504 }
1505 Record.AddSourceLocation(Loc: E->getLocation());
1506 Record.AddSourceLocation(Loc: E->getReceiverLocation());
1507 if (E->isObjectReceiver()) {
1508 Record.push_back(N: 0);
1509 Record.AddStmt(S: E->getBase());
1510 } else if (E->isSuperReceiver()) {
1511 Record.push_back(N: 1);
1512 Record.AddTypeRef(T: E->getSuperReceiverType());
1513 } else {
1514 Record.push_back(N: 2);
1515 Record.AddDeclRef(D: E->getClassReceiver());
1516 }
1517
1518 Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
1519}
1520
1521void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1522 VisitExpr(E);
1523 Record.AddSourceLocation(Loc: E->getRBracket());
1524 Record.AddStmt(S: E->getBaseExpr());
1525 Record.AddStmt(S: E->getKeyExpr());
1526 Record.AddDeclRef(D: E->getAtIndexMethodDecl());
1527 Record.AddDeclRef(D: E->setAtIndexMethodDecl());
1528
1529 Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
1530}
1531
1532void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
1533 VisitExpr(E);
1534 Record.push_back(N: E->getNumArgs());
1535 Record.push_back(N: E->getNumStoredSelLocs());
1536 Record.push_back(N: E->SelLocsKind);
1537 Record.push_back(N: E->isDelegateInitCall());
1538 Record.push_back(N: E->IsImplicit);
1539 Record.push_back(N: (unsigned)E->getReceiverKind()); // FIXME: stable encoding
1540 switch (E->getReceiverKind()) {
1541 case ObjCMessageExpr::Instance:
1542 Record.AddStmt(S: E->getInstanceReceiver());
1543 break;
1544
1545 case ObjCMessageExpr::Class:
1546 Record.AddTypeSourceInfo(TInfo: E->getClassReceiverTypeInfo());
1547 break;
1548
1549 case ObjCMessageExpr::SuperClass:
1550 case ObjCMessageExpr::SuperInstance:
1551 Record.AddTypeRef(T: E->getSuperType());
1552 Record.AddSourceLocation(Loc: E->getSuperLoc());
1553 break;
1554 }
1555
1556 if (E->getMethodDecl()) {
1557 Record.push_back(N: 1);
1558 Record.AddDeclRef(D: E->getMethodDecl());
1559 } else {
1560 Record.push_back(N: 0);
1561 Record.AddSelectorRef(S: E->getSelector());
1562 }
1563
1564 Record.AddSourceLocation(Loc: E->getLeftLoc());
1565 Record.AddSourceLocation(Loc: E->getRightLoc());
1566
1567 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1568 Arg != ArgEnd; ++Arg)
1569 Record.AddStmt(S: *Arg);
1570
1571 SourceLocation *Locs = E->getStoredSelLocs();
1572 for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
1573 Record.AddSourceLocation(Loc: Locs[i]);
1574
1575 Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
1576}
1577
1578void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
1579 VisitStmt(S);
1580 Record.AddStmt(S: S->getElement());
1581 Record.AddStmt(S: S->getCollection());
1582 Record.AddStmt(S: S->getBody());
1583 Record.AddSourceLocation(Loc: S->getForLoc());
1584 Record.AddSourceLocation(Loc: S->getRParenLoc());
1585 Code = serialization::STMT_OBJC_FOR_COLLECTION;
1586}
1587
1588void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
1589 VisitStmt(S);
1590 Record.AddStmt(S: S->getCatchBody());
1591 Record.AddDeclRef(D: S->getCatchParamDecl());
1592 Record.AddSourceLocation(Loc: S->getAtCatchLoc());
1593 Record.AddSourceLocation(Loc: S->getRParenLoc());
1594 Code = serialization::STMT_OBJC_CATCH;
1595}
1596
1597void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
1598 VisitStmt(S);
1599 Record.AddStmt(S: S->getFinallyBody());
1600 Record.AddSourceLocation(Loc: S->getAtFinallyLoc());
1601 Code = serialization::STMT_OBJC_FINALLY;
1602}
1603
1604void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
1605 VisitStmt(S); // FIXME: no test coverage.
1606 Record.AddStmt(S: S->getSubStmt());
1607 Record.AddSourceLocation(Loc: S->getAtLoc());
1608 Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
1609}
1610
1611void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
1612 VisitStmt(S);
1613 Record.push_back(N: S->getNumCatchStmts());
1614 Record.push_back(N: S->getFinallyStmt() != nullptr);
1615 Record.AddStmt(S: S->getTryBody());
1616 for (ObjCAtCatchStmt *C : S->catch_stmts())
1617 Record.AddStmt(S: C);
1618 if (S->getFinallyStmt())
1619 Record.AddStmt(S: S->getFinallyStmt());
1620 Record.AddSourceLocation(Loc: S->getAtTryLoc());
1621 Code = serialization::STMT_OBJC_AT_TRY;
1622}
1623
1624void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
1625 VisitStmt(S); // FIXME: no test coverage.
1626 Record.AddStmt(S: S->getSynchExpr());
1627 Record.AddStmt(S: S->getSynchBody());
1628 Record.AddSourceLocation(Loc: S->getAtSynchronizedLoc());
1629 Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
1630}
1631
1632void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
1633 VisitStmt(S); // FIXME: no test coverage.
1634 Record.AddStmt(S: S->getThrowExpr());
1635 Record.AddSourceLocation(Loc: S->getThrowLoc());
1636 Code = serialization::STMT_OBJC_AT_THROW;
1637}
1638
1639void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1640 VisitExpr(E);
1641 Record.push_back(N: E->getValue());
1642 Record.AddSourceLocation(Loc: E->getLocation());
1643 Code = serialization::EXPR_OBJC_BOOL_LITERAL;
1644}
1645
1646void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1647 VisitExpr(E);
1648 Record.AddSourceRange(Range: E->getSourceRange());
1649 Record.AddVersionTuple(Version: E->getVersion());
1650 Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK;
1651}
1652
1653//===----------------------------------------------------------------------===//
1654// C++ Expressions and Statements.
1655//===----------------------------------------------------------------------===//
1656
1657void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
1658 VisitStmt(S);
1659 Record.AddSourceLocation(Loc: S->getCatchLoc());
1660 Record.AddDeclRef(D: S->getExceptionDecl());
1661 Record.AddStmt(S: S->getHandlerBlock());
1662 Code = serialization::STMT_CXX_CATCH;
1663}
1664
1665void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
1666 VisitStmt(S);
1667 Record.push_back(N: S->getNumHandlers());
1668 Record.AddSourceLocation(Loc: S->getTryLoc());
1669 Record.AddStmt(S: S->getTryBlock());
1670 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
1671 Record.AddStmt(S: S->getHandler(i));
1672 Code = serialization::STMT_CXX_TRY;
1673}
1674
1675void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1676 VisitStmt(S);
1677 Record.AddSourceLocation(Loc: S->getForLoc());
1678 Record.AddSourceLocation(Loc: S->getCoawaitLoc());
1679 Record.AddSourceLocation(Loc: S->getColonLoc());
1680 Record.AddSourceLocation(Loc: S->getRParenLoc());
1681 Record.AddStmt(S: S->getInit());
1682 Record.AddStmt(S: S->getRangeStmt());
1683 Record.AddStmt(S: S->getBeginStmt());
1684 Record.AddStmt(S: S->getEndStmt());
1685 Record.AddStmt(S: S->getCond());
1686 Record.AddStmt(S: S->getInc());
1687 Record.AddStmt(S: S->getLoopVarStmt());
1688 Record.AddStmt(S: S->getBody());
1689 Code = serialization::STMT_CXX_FOR_RANGE;
1690}
1691
1692void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1693 VisitStmt(S);
1694 Record.AddSourceLocation(Loc: S->getKeywordLoc());
1695 Record.push_back(N: S->isIfExists());
1696 Record.AddNestedNameSpecifierLoc(NNS: S->getQualifierLoc());
1697 Record.AddDeclarationNameInfo(NameInfo: S->getNameInfo());
1698 Record.AddStmt(S: S->getSubStmt());
1699 Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1700}
1701
1702void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
1703 VisitCallExpr(E);
1704 Record.push_back(N: E->getOperator());
1705 Record.AddSourceRange(Range: E->Range);
1706
1707 if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()))
1708 AbbrevToUse = Writer.getCXXOperatorCallExprAbbrev();
1709
1710 Code = serialization::EXPR_CXX_OPERATOR_CALL;
1711}
1712
1713void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
1714 VisitCallExpr(E);
1715
1716 if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()))
1717 AbbrevToUse = Writer.getCXXMemberCallExprAbbrev();
1718
1719 Code = serialization::EXPR_CXX_MEMBER_CALL;
1720}
1721
1722void ASTStmtWriter::VisitCXXRewrittenBinaryOperator(
1723 CXXRewrittenBinaryOperator *E) {
1724 VisitExpr(E);
1725 Record.push_back(N: E->isReversed());
1726 Record.AddStmt(S: E->getSemanticForm());
1727 Code = serialization::EXPR_CXX_REWRITTEN_BINARY_OPERATOR;
1728}
1729
1730void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
1731 VisitExpr(E);
1732
1733 Record.push_back(N: E->getNumArgs());
1734 Record.push_back(N: E->isElidable());
1735 Record.push_back(N: E->hadMultipleCandidates());
1736 Record.push_back(N: E->isListInitialization());
1737 Record.push_back(N: E->isStdInitListInitialization());
1738 Record.push_back(N: E->requiresZeroInitialization());
1739 Record.push_back(
1740 N: llvm::to_underlying(E: E->getConstructionKind())); // FIXME: stable encoding
1741 Record.push_back(N: E->isImmediateEscalating());
1742 Record.AddSourceLocation(Loc: E->getLocation());
1743 Record.AddDeclRef(D: E->getConstructor());
1744 Record.AddSourceRange(Range: E->getParenOrBraceRange());
1745
1746 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1747 Record.AddStmt(S: E->getArg(Arg: I));
1748
1749 Code = serialization::EXPR_CXX_CONSTRUCT;
1750}
1751
1752void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1753 VisitExpr(E);
1754 Record.AddDeclRef(D: E->getConstructor());
1755 Record.AddSourceLocation(Loc: E->getLocation());
1756 Record.push_back(N: E->constructsVBase());
1757 Record.push_back(N: E->inheritedFromVBase());
1758 Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT;
1759}
1760
1761void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
1762 VisitCXXConstructExpr(E);
1763 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
1764 Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
1765}
1766
1767void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1768 VisitExpr(E);
1769 Record.push_back(N: E->LambdaExprBits.NumCaptures);
1770 Record.AddSourceRange(Range: E->IntroducerRange);
1771 Record.push_back(N: E->LambdaExprBits.CaptureDefault); // FIXME: stable encoding
1772 Record.AddSourceLocation(Loc: E->CaptureDefaultLoc);
1773 Record.push_back(N: E->LambdaExprBits.ExplicitParams);
1774 Record.push_back(N: E->LambdaExprBits.ExplicitResultType);
1775 Record.AddSourceLocation(Loc: E->ClosingBrace);
1776
1777 // Add capture initializers.
1778 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1779 CEnd = E->capture_init_end();
1780 C != CEnd; ++C) {
1781 Record.AddStmt(S: *C);
1782 }
1783
1784 // Don't serialize the body. It belongs to the call operator declaration.
1785 // LambdaExpr only stores a copy of the Stmt *.
1786
1787 Code = serialization::EXPR_LAMBDA;
1788}
1789
1790void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1791 VisitExpr(E);
1792 Record.AddStmt(S: E->getSubExpr());
1793 Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST;
1794}
1795
1796void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
1797 VisitExplicitCastExpr(E);
1798 Record.AddSourceRange(Range: SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1799 CurrentPackingBits.addBit(Value: E->getAngleBrackets().isValid());
1800 if (E->getAngleBrackets().isValid())
1801 Record.AddSourceRange(Range: E->getAngleBrackets());
1802}
1803
1804void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
1805 VisitCXXNamedCastExpr(E);
1806 Code = serialization::EXPR_CXX_STATIC_CAST;
1807}
1808
1809void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
1810 VisitCXXNamedCastExpr(E);
1811 Code = serialization::EXPR_CXX_DYNAMIC_CAST;
1812}
1813
1814void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
1815 VisitCXXNamedCastExpr(E);
1816 Code = serialization::EXPR_CXX_REINTERPRET_CAST;
1817}
1818
1819void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
1820 VisitCXXNamedCastExpr(E);
1821 Code = serialization::EXPR_CXX_CONST_CAST;
1822}
1823
1824void ASTStmtWriter::VisitCXXAddrspaceCastExpr(CXXAddrspaceCastExpr *E) {
1825 VisitCXXNamedCastExpr(E);
1826 Code = serialization::EXPR_CXX_ADDRSPACE_CAST;
1827}
1828
1829void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
1830 VisitExplicitCastExpr(E);
1831 Record.AddSourceLocation(Loc: E->getLParenLoc());
1832 Record.AddSourceLocation(Loc: E->getRParenLoc());
1833 Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
1834}
1835
1836void ASTStmtWriter::VisitBuiltinBitCastExpr(BuiltinBitCastExpr *E) {
1837 VisitExplicitCastExpr(E);
1838 Record.AddSourceLocation(Loc: E->getBeginLoc());
1839 Record.AddSourceLocation(Loc: E->getEndLoc());
1840 Code = serialization::EXPR_BUILTIN_BIT_CAST;
1841}
1842
1843void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1844 VisitCallExpr(E);
1845 Record.AddSourceLocation(Loc: E->UDSuffixLoc);
1846 Code = serialization::EXPR_USER_DEFINED_LITERAL;
1847}
1848
1849void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
1850 VisitExpr(E);
1851 Record.push_back(N: E->getValue());
1852 Record.AddSourceLocation(Loc: E->getLocation());
1853 Code = serialization::EXPR_CXX_BOOL_LITERAL;
1854}
1855
1856void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
1857 VisitExpr(E);
1858 Record.AddSourceLocation(Loc: E->getLocation());
1859 Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
1860}
1861
1862void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
1863 VisitExpr(E);
1864 Record.AddSourceRange(Range: E->getSourceRange());
1865 if (E->isTypeOperand()) {
1866 Record.AddTypeSourceInfo(TInfo: E->getTypeOperandSourceInfo());
1867 Code = serialization::EXPR_CXX_TYPEID_TYPE;
1868 } else {
1869 Record.AddStmt(S: E->getExprOperand());
1870 Code = serialization::EXPR_CXX_TYPEID_EXPR;
1871 }
1872}
1873
1874void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
1875 VisitExpr(E);
1876 Record.AddSourceLocation(Loc: E->getLocation());
1877 Record.push_back(N: E->isImplicit());
1878 Record.push_back(N: E->isCapturedByCopyInLambdaWithExplicitObjectParameter());
1879
1880 Code = serialization::EXPR_CXX_THIS;
1881}
1882
1883void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
1884 VisitExpr(E);
1885 Record.AddSourceLocation(Loc: E->getThrowLoc());
1886 Record.AddStmt(S: E->getSubExpr());
1887 Record.push_back(N: E->isThrownVariableInScope());
1888 Code = serialization::EXPR_CXX_THROW;
1889}
1890
1891void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
1892 VisitExpr(E);
1893 Record.AddDeclRef(D: E->getParam());
1894 Record.AddDeclRef(D: cast_or_null<Decl>(Val: E->getUsedContext()));
1895 Record.AddSourceLocation(Loc: E->getUsedLocation());
1896 Record.push_back(N: E->hasRewrittenInit());
1897 if (E->hasRewrittenInit())
1898 Record.AddStmt(S: E->getRewrittenExpr());
1899 Code = serialization::EXPR_CXX_DEFAULT_ARG;
1900}
1901
1902void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1903 VisitExpr(E);
1904 Record.push_back(N: E->hasRewrittenInit());
1905 Record.AddDeclRef(D: E->getField());
1906 Record.AddDeclRef(D: cast_or_null<Decl>(Val: E->getUsedContext()));
1907 Record.AddSourceLocation(Loc: E->getExprLoc());
1908 if (E->hasRewrittenInit())
1909 Record.AddStmt(S: E->getRewrittenExpr());
1910 Code = serialization::EXPR_CXX_DEFAULT_INIT;
1911}
1912
1913void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
1914 VisitExpr(E);
1915 Record.AddCXXTemporary(Temp: E->getTemporary());
1916 Record.AddStmt(S: E->getSubExpr());
1917 Code = serialization::EXPR_CXX_BIND_TEMPORARY;
1918}
1919
1920void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
1921 VisitExpr(E);
1922 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
1923 Record.AddSourceLocation(Loc: E->getRParenLoc());
1924 Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
1925}
1926
1927void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
1928 VisitExpr(E);
1929
1930 Record.push_back(N: E->isArray());
1931 Record.push_back(N: E->hasInitializer());
1932 Record.push_back(N: E->getNumPlacementArgs());
1933 Record.push_back(N: E->isParenTypeId());
1934
1935 Record.push_back(N: E->isGlobalNew());
1936 ImplicitAllocationParameters IAP = E->implicitAllocationParameters();
1937 Record.push_back(N: isAlignedAllocation(Mode: IAP.PassAlignment));
1938 Record.push_back(N: isTypeAwareAllocation(Mode: IAP.PassTypeIdentity));
1939 Record.push_back(N: E->doesUsualArrayDeleteWantSize());
1940 Record.push_back(N: E->CXXNewExprBits.HasInitializer);
1941 Record.push_back(N: E->CXXNewExprBits.StoredInitializationStyle);
1942
1943 Record.AddDeclRef(D: E->getOperatorNew());
1944 Record.AddDeclRef(D: E->getOperatorDelete());
1945 Record.AddTypeSourceInfo(TInfo: E->getAllocatedTypeSourceInfo());
1946 if (E->isParenTypeId())
1947 Record.AddSourceRange(Range: E->getTypeIdParens());
1948 Record.AddSourceRange(Range: E->getSourceRange());
1949 Record.AddSourceRange(Range: E->getDirectInitRange());
1950
1951 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), N = E->raw_arg_end();
1952 I != N; ++I)
1953 Record.AddStmt(S: *I);
1954
1955 Code = serialization::EXPR_CXX_NEW;
1956}
1957
1958void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
1959 VisitExpr(E);
1960 Record.push_back(N: E->isGlobalDelete());
1961 Record.push_back(N: E->isArrayForm());
1962 Record.push_back(N: E->isArrayFormAsWritten());
1963 Record.push_back(N: E->doesUsualArrayDeleteWantSize());
1964 Record.AddDeclRef(D: E->getOperatorDelete());
1965 Record.AddStmt(S: E->getArgument());
1966 Record.AddSourceLocation(Loc: E->getBeginLoc());
1967
1968 Code = serialization::EXPR_CXX_DELETE;
1969}
1970
1971void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
1972 VisitExpr(E);
1973
1974 Record.AddStmt(S: E->getBase());
1975 Record.push_back(N: E->isArrow());
1976 Record.AddSourceLocation(Loc: E->getOperatorLoc());
1977 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
1978 Record.AddTypeSourceInfo(TInfo: E->getScopeTypeInfo());
1979 Record.AddSourceLocation(Loc: E->getColonColonLoc());
1980 Record.AddSourceLocation(Loc: E->getTildeLoc());
1981
1982 // PseudoDestructorTypeStorage.
1983 Record.AddIdentifierRef(II: E->getDestroyedTypeIdentifier());
1984 if (E->getDestroyedTypeIdentifier())
1985 Record.AddSourceLocation(Loc: E->getDestroyedTypeLoc());
1986 else
1987 Record.AddTypeSourceInfo(TInfo: E->getDestroyedTypeInfo());
1988
1989 Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
1990}
1991
1992void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
1993 VisitExpr(E);
1994 Record.push_back(N: E->getNumObjects());
1995 for (auto &Obj : E->getObjects()) {
1996 if (auto *BD = Obj.dyn_cast<BlockDecl *>()) {
1997 Record.push_back(N: serialization::COK_Block);
1998 Record.AddDeclRef(D: BD);
1999 } else if (auto *CLE = Obj.dyn_cast<CompoundLiteralExpr *>()) {
2000 Record.push_back(N: serialization::COK_CompoundLiteral);
2001 Record.AddStmt(S: CLE);
2002 }
2003 }
2004
2005 Record.push_back(N: E->cleanupsHaveSideEffects());
2006 Record.AddStmt(S: E->getSubExpr());
2007 Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
2008}
2009
2010void ASTStmtWriter::VisitCXXDependentScopeMemberExpr(
2011 CXXDependentScopeMemberExpr *E) {
2012 VisitExpr(E);
2013
2014 // Don't emit anything here (or if you do you will have to update
2015 // the corresponding deserialization function).
2016 Record.push_back(N: E->getNumTemplateArgs());
2017 CurrentPackingBits.updateBits();
2018 CurrentPackingBits.addBit(Value: E->hasTemplateKWAndArgsInfo());
2019 CurrentPackingBits.addBit(Value: E->hasFirstQualifierFoundInScope());
2020
2021 if (E->hasTemplateKWAndArgsInfo()) {
2022 const ASTTemplateKWAndArgsInfo &ArgInfo =
2023 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
2024 AddTemplateKWAndArgsInfo(ArgInfo,
2025 Args: E->getTrailingObjects<TemplateArgumentLoc>());
2026 }
2027
2028 CurrentPackingBits.addBit(Value: E->isArrow());
2029
2030 Record.AddTypeRef(T: E->getBaseType());
2031 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
2032 CurrentPackingBits.addBit(Value: !E->isImplicitAccess());
2033 if (!E->isImplicitAccess())
2034 Record.AddStmt(S: E->getBase());
2035
2036 Record.AddSourceLocation(Loc: E->getOperatorLoc());
2037
2038 if (E->hasFirstQualifierFoundInScope())
2039 Record.AddDeclRef(D: E->getFirstQualifierFoundInScope());
2040
2041 Record.AddDeclarationNameInfo(NameInfo: E->MemberNameInfo);
2042 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
2043}
2044
2045void
2046ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
2047 VisitExpr(E);
2048
2049 // Don't emit anything here, HasTemplateKWAndArgsInfo must be
2050 // emitted first.
2051 CurrentPackingBits.addBit(
2052 Value: E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo);
2053
2054 if (E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo) {
2055 const ASTTemplateKWAndArgsInfo &ArgInfo =
2056 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
2057 // 16 bits should be enought to store the number of args
2058 CurrentPackingBits.addBits(Value: ArgInfo.NumTemplateArgs, /*Width=*/BitsWidth: 16);
2059 AddTemplateKWAndArgsInfo(ArgInfo,
2060 Args: E->getTrailingObjects<TemplateArgumentLoc>());
2061 }
2062
2063 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
2064 Record.AddDeclarationNameInfo(NameInfo: E->NameInfo);
2065 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
2066}
2067
2068void
2069ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
2070 VisitExpr(E);
2071 Record.push_back(N: E->getNumArgs());
2072 for (CXXUnresolvedConstructExpr::arg_iterator
2073 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
2074 Record.AddStmt(S: *ArgI);
2075 Record.AddTypeSourceInfo(TInfo: E->getTypeSourceInfo());
2076 Record.AddSourceLocation(Loc: E->getLParenLoc());
2077 Record.AddSourceLocation(Loc: E->getRParenLoc());
2078 Record.push_back(N: E->isListInitialization());
2079 Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
2080}
2081
2082void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
2083 VisitExpr(E);
2084
2085 Record.push_back(N: E->getNumDecls());
2086
2087 CurrentPackingBits.updateBits();
2088 CurrentPackingBits.addBit(Value: E->hasTemplateKWAndArgsInfo());
2089 if (E->hasTemplateKWAndArgsInfo()) {
2090 const ASTTemplateKWAndArgsInfo &ArgInfo =
2091 *E->getTrailingASTTemplateKWAndArgsInfo();
2092 Record.push_back(N: ArgInfo.NumTemplateArgs);
2093 AddTemplateKWAndArgsInfo(ArgInfo, Args: E->getTrailingTemplateArgumentLoc());
2094 }
2095
2096 for (OverloadExpr::decls_iterator OvI = E->decls_begin(),
2097 OvE = E->decls_end();
2098 OvI != OvE; ++OvI) {
2099 Record.AddDeclRef(D: OvI.getDecl());
2100 Record.push_back(N: OvI.getAccess());
2101 }
2102
2103 Record.AddDeclarationNameInfo(NameInfo: E->getNameInfo());
2104 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
2105}
2106
2107void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
2108 VisitOverloadExpr(E);
2109 CurrentPackingBits.addBit(Value: E->isArrow());
2110 CurrentPackingBits.addBit(Value: E->hasUnresolvedUsing());
2111 CurrentPackingBits.addBit(Value: !E->isImplicitAccess());
2112 if (!E->isImplicitAccess())
2113 Record.AddStmt(S: E->getBase());
2114
2115 Record.AddSourceLocation(Loc: E->getOperatorLoc());
2116
2117 Record.AddTypeRef(T: E->getBaseType());
2118 Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
2119}
2120
2121void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
2122 VisitOverloadExpr(E);
2123 CurrentPackingBits.addBit(Value: E->requiresADL());
2124 Record.AddDeclRef(D: E->getNamingClass());
2125 Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
2126
2127 if (Writer.isWritingStdCXXNamedModules() && Writer.getChain()) {
2128 // Referencing all the possible declarations to make sure the change get
2129 // propagted.
2130 DeclarationName Name = E->getName();
2131 for (auto *Found :
2132 Record.getASTContext().getTranslationUnitDecl()->lookup(Name))
2133 if (Found->isFromASTFile())
2134 Writer.GetDeclRef(D: Found);
2135
2136 llvm::SmallVector<NamespaceDecl *> ExternalNSs;
2137 Writer.getChain()->ReadKnownNamespaces(Namespaces&: ExternalNSs);
2138 for (auto *NS : ExternalNSs)
2139 for (auto *Found : NS->lookup(Name))
2140 Writer.GetDeclRef(D: Found);
2141 }
2142}
2143
2144void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
2145 VisitExpr(E);
2146 Record.push_back(N: E->TypeTraitExprBits.IsBooleanTypeTrait);
2147 Record.push_back(N: E->TypeTraitExprBits.NumArgs);
2148 Record.push_back(N: E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
2149
2150 if (E->TypeTraitExprBits.IsBooleanTypeTrait)
2151 Record.push_back(N: E->TypeTraitExprBits.Value);
2152 else
2153 Record.AddAPValue(Value: E->getAPValue());
2154
2155 Record.AddSourceRange(Range: E->getSourceRange());
2156 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
2157 Record.AddTypeSourceInfo(TInfo: E->getArg(I));
2158 Code = serialization::EXPR_TYPE_TRAIT;
2159}
2160
2161void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
2162 VisitExpr(E);
2163 Record.push_back(N: E->getTrait());
2164 Record.push_back(N: E->getValue());
2165 Record.AddSourceRange(Range: E->getSourceRange());
2166 Record.AddTypeSourceInfo(TInfo: E->getQueriedTypeSourceInfo());
2167 Record.AddStmt(S: E->getDimensionExpression());
2168 Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
2169}
2170
2171void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
2172 VisitExpr(E);
2173 Record.push_back(N: E->getTrait());
2174 Record.push_back(N: E->getValue());
2175 Record.AddSourceRange(Range: E->getSourceRange());
2176 Record.AddStmt(S: E->getQueriedExpression());
2177 Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
2178}
2179
2180void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
2181 VisitExpr(E);
2182 Record.push_back(N: E->getValue());
2183 Record.AddSourceRange(Range: E->getSourceRange());
2184 Record.AddStmt(S: E->getOperand());
2185 Code = serialization::EXPR_CXX_NOEXCEPT;
2186}
2187
2188void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
2189 VisitExpr(E);
2190 Record.AddSourceLocation(Loc: E->getEllipsisLoc());
2191 Record.push_back(N: E->NumExpansions);
2192 Record.AddStmt(S: E->getPattern());
2193 Code = serialization::EXPR_PACK_EXPANSION;
2194}
2195
2196void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
2197 VisitExpr(E);
2198 Record.push_back(N: E->isPartiallySubstituted() ? E->getPartialArguments().size()
2199 : 0);
2200 Record.AddSourceLocation(Loc: E->OperatorLoc);
2201 Record.AddSourceLocation(Loc: E->PackLoc);
2202 Record.AddSourceLocation(Loc: E->RParenLoc);
2203 Record.AddDeclRef(D: E->Pack);
2204 if (E->isPartiallySubstituted()) {
2205 for (const auto &TA : E->getPartialArguments())
2206 Record.AddTemplateArgument(Arg: TA);
2207 } else if (!E->isValueDependent()) {
2208 Record.push_back(N: E->getPackLength());
2209 }
2210 Code = serialization::EXPR_SIZEOF_PACK;
2211}
2212
2213void ASTStmtWriter::VisitPackIndexingExpr(PackIndexingExpr *E) {
2214 VisitExpr(E);
2215 Record.push_back(N: E->PackIndexingExprBits.TransformedExpressions);
2216 Record.push_back(N: E->PackIndexingExprBits.FullySubstituted);
2217 Record.AddSourceLocation(Loc: E->getEllipsisLoc());
2218 Record.AddSourceLocation(Loc: E->getRSquareLoc());
2219 Record.AddStmt(S: E->getPackIdExpression());
2220 Record.AddStmt(S: E->getIndexExpr());
2221 for (Expr *Sub : E->getExpressions())
2222 Record.AddStmt(S: Sub);
2223 Code = serialization::EXPR_PACK_INDEXING;
2224}
2225
2226void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
2227 SubstNonTypeTemplateParmExpr *E) {
2228 VisitExpr(E);
2229 Record.AddDeclRef(D: E->getAssociatedDecl());
2230 CurrentPackingBits.addBit(Value: E->isReferenceParameter());
2231 CurrentPackingBits.addBits(Value: E->getIndex(), /*Width=*/BitsWidth: 12);
2232 Record.writeUnsignedOrNone(Value: E->getPackIndex());
2233 CurrentPackingBits.addBit(Value: E->getFinal());
2234
2235 Record.AddSourceLocation(Loc: E->getNameLoc());
2236 Record.AddStmt(S: E->getReplacement());
2237 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
2238}
2239
2240void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
2241 SubstNonTypeTemplateParmPackExpr *E) {
2242 VisitExpr(E);
2243 Record.AddDeclRef(D: E->getAssociatedDecl());
2244 CurrentPackingBits.addBit(Value: E->getFinal());
2245 Record.push_back(N: E->getIndex());
2246 Record.AddTemplateArgument(Arg: E->getArgumentPack());
2247 Record.AddSourceLocation(Loc: E->getParameterPackLocation());
2248 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
2249}
2250
2251void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
2252 VisitExpr(E);
2253 Record.push_back(N: E->getNumExpansions());
2254 Record.AddDeclRef(D: E->getParameterPack());
2255 Record.AddSourceLocation(Loc: E->getParameterPackLocation());
2256 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
2257 I != End; ++I)
2258 Record.AddDeclRef(D: *I);
2259 Code = serialization::EXPR_FUNCTION_PARM_PACK;
2260}
2261
2262void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
2263 VisitExpr(E);
2264 Record.push_back(N: static_cast<bool>(E->getLifetimeExtendedTemporaryDecl()));
2265 if (E->getLifetimeExtendedTemporaryDecl())
2266 Record.AddDeclRef(D: E->getLifetimeExtendedTemporaryDecl());
2267 else
2268 Record.AddStmt(S: E->getSubExpr());
2269 Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
2270}
2271
2272void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
2273 VisitExpr(E);
2274 Record.AddSourceLocation(Loc: E->LParenLoc);
2275 Record.AddSourceLocation(Loc: E->EllipsisLoc);
2276 Record.AddSourceLocation(Loc: E->RParenLoc);
2277 Record.push_back(N: E->NumExpansions.toInternalRepresentation());
2278 Record.AddStmt(S: E->SubExprs[0]);
2279 Record.AddStmt(S: E->SubExprs[1]);
2280 Record.AddStmt(S: E->SubExprs[2]);
2281 Record.push_back(N: E->CXXFoldExprBits.Opcode);
2282 Code = serialization::EXPR_CXX_FOLD;
2283}
2284
2285void ASTStmtWriter::VisitCXXParenListInitExpr(CXXParenListInitExpr *E) {
2286 VisitExpr(E);
2287 ArrayRef<Expr *> InitExprs = E->getInitExprs();
2288 Record.push_back(N: InitExprs.size());
2289 Record.push_back(N: E->getUserSpecifiedInitExprs().size());
2290 Record.AddSourceLocation(Loc: E->getInitLoc());
2291 Record.AddSourceLocation(Loc: E->getBeginLoc());
2292 Record.AddSourceLocation(Loc: E->getEndLoc());
2293 for (Expr *InitExpr : E->getInitExprs())
2294 Record.AddStmt(S: InitExpr);
2295 Expr *ArrayFiller = E->getArrayFiller();
2296 FieldDecl *UnionField = E->getInitializedFieldInUnion();
2297 bool HasArrayFillerOrUnionDecl = ArrayFiller || UnionField;
2298 Record.push_back(N: HasArrayFillerOrUnionDecl);
2299 if (HasArrayFillerOrUnionDecl) {
2300 Record.push_back(N: static_cast<bool>(ArrayFiller));
2301 if (ArrayFiller)
2302 Record.AddStmt(S: ArrayFiller);
2303 else
2304 Record.AddDeclRef(D: UnionField);
2305 }
2306 Code = serialization::EXPR_CXX_PAREN_LIST_INIT;
2307}
2308
2309void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
2310 VisitExpr(E);
2311 Record.AddStmt(S: E->getSourceExpr());
2312 Record.AddSourceLocation(Loc: E->getLocation());
2313 Record.push_back(N: E->isUnique());
2314 Code = serialization::EXPR_OPAQUE_VALUE;
2315}
2316
2317//===----------------------------------------------------------------------===//
2318// CUDA Expressions and Statements.
2319//===----------------------------------------------------------------------===//
2320
2321void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
2322 VisitCallExpr(E);
2323 Record.AddStmt(S: E->getConfig());
2324 Code = serialization::EXPR_CUDA_KERNEL_CALL;
2325}
2326
2327//===----------------------------------------------------------------------===//
2328// OpenCL Expressions and Statements.
2329//===----------------------------------------------------------------------===//
2330void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
2331 VisitExpr(E);
2332 Record.AddSourceLocation(Loc: E->getBuiltinLoc());
2333 Record.AddSourceLocation(Loc: E->getRParenLoc());
2334 Record.AddStmt(S: E->getSrcExpr());
2335 Code = serialization::EXPR_ASTYPE;
2336}
2337
2338//===----------------------------------------------------------------------===//
2339// Microsoft Expressions and Statements.
2340//===----------------------------------------------------------------------===//
2341void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
2342 VisitExpr(E);
2343 Record.push_back(N: E->isArrow());
2344 Record.AddStmt(S: E->getBaseExpr());
2345 Record.AddNestedNameSpecifierLoc(NNS: E->getQualifierLoc());
2346 Record.AddSourceLocation(Loc: E->getMemberLoc());
2347 Record.AddDeclRef(D: E->getPropertyDecl());
2348 Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR;
2349}
2350
2351void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
2352 VisitExpr(E);
2353 Record.AddStmt(S: E->getBase());
2354 Record.AddStmt(S: E->getIdx());
2355 Record.AddSourceLocation(Loc: E->getRBracketLoc());
2356 Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR;
2357}
2358
2359void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
2360 VisitExpr(E);
2361 Record.AddSourceRange(Range: E->getSourceRange());
2362 Record.AddDeclRef(D: E->getGuidDecl());
2363 if (E->isTypeOperand()) {
2364 Record.AddTypeSourceInfo(TInfo: E->getTypeOperandSourceInfo());
2365 Code = serialization::EXPR_CXX_UUIDOF_TYPE;
2366 } else {
2367 Record.AddStmt(S: E->getExprOperand());
2368 Code = serialization::EXPR_CXX_UUIDOF_EXPR;
2369 }
2370}
2371
2372void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
2373 VisitStmt(S);
2374 Record.AddSourceLocation(Loc: S->getExceptLoc());
2375 Record.AddStmt(S: S->getFilterExpr());
2376 Record.AddStmt(S: S->getBlock());
2377 Code = serialization::STMT_SEH_EXCEPT;
2378}
2379
2380void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
2381 VisitStmt(S);
2382 Record.AddSourceLocation(Loc: S->getFinallyLoc());
2383 Record.AddStmt(S: S->getBlock());
2384 Code = serialization::STMT_SEH_FINALLY;
2385}
2386
2387void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
2388 VisitStmt(S);
2389 Record.push_back(N: S->getIsCXXTry());
2390 Record.AddSourceLocation(Loc: S->getTryLoc());
2391 Record.AddStmt(S: S->getTryBlock());
2392 Record.AddStmt(S: S->getHandler());
2393 Code = serialization::STMT_SEH_TRY;
2394}
2395
2396void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
2397 VisitStmt(S);
2398 Record.AddSourceLocation(Loc: S->getLeaveLoc());
2399 Code = serialization::STMT_SEH_LEAVE;
2400}
2401
2402//===----------------------------------------------------------------------===//
2403// OpenMP Directives.
2404//===----------------------------------------------------------------------===//
2405
2406void ASTStmtWriter::VisitOMPCanonicalLoop(OMPCanonicalLoop *S) {
2407 VisitStmt(S);
2408 for (Stmt *SubStmt : S->SubStmts)
2409 Record.AddStmt(S: SubStmt);
2410 Code = serialization::STMT_OMP_CANONICAL_LOOP;
2411}
2412
2413void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
2414 Record.writeOMPChildren(Data: E->Data);
2415 Record.AddSourceLocation(Loc: E->getBeginLoc());
2416 Record.AddSourceLocation(Loc: E->getEndLoc());
2417}
2418
2419void ASTStmtWriter::VisitOMPLoopBasedDirective(OMPLoopBasedDirective *D) {
2420 VisitStmt(S: D);
2421 Record.writeUInt32(Value: D->getLoopsNumber());
2422 VisitOMPExecutableDirective(E: D);
2423}
2424
2425void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
2426 VisitOMPLoopBasedDirective(D);
2427}
2428
2429void ASTStmtWriter::VisitOMPMetaDirective(OMPMetaDirective *D) {
2430 VisitStmt(S: D);
2431 Record.push_back(N: D->getNumClauses());
2432 VisitOMPExecutableDirective(E: D);
2433 Code = serialization::STMT_OMP_META_DIRECTIVE;
2434}
2435
2436void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
2437 VisitStmt(S: D);
2438 VisitOMPExecutableDirective(E: D);
2439 Record.writeBool(Value: D->hasCancel());
2440 Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE;
2441}
2442
2443void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
2444 VisitOMPLoopDirective(D);
2445 Code = serialization::STMT_OMP_SIMD_DIRECTIVE;
2446}
2447
2448void ASTStmtWriter::VisitOMPLoopTransformationDirective(
2449 OMPLoopTransformationDirective *D) {
2450 VisitOMPLoopBasedDirective(D);
2451 Record.writeUInt32(Value: D->getNumGeneratedLoops());
2452}
2453
2454void ASTStmtWriter::VisitOMPTileDirective(OMPTileDirective *D) {
2455 VisitOMPLoopTransformationDirective(D);
2456 Code = serialization::STMT_OMP_TILE_DIRECTIVE;
2457}
2458
2459void ASTStmtWriter::VisitOMPStripeDirective(OMPStripeDirective *D) {
2460 VisitOMPLoopTransformationDirective(D);
2461 Code = serialization::STMP_OMP_STRIPE_DIRECTIVE;
2462}
2463
2464void ASTStmtWriter::VisitOMPUnrollDirective(OMPUnrollDirective *D) {
2465 VisitOMPLoopTransformationDirective(D);
2466 Code = serialization::STMT_OMP_UNROLL_DIRECTIVE;
2467}
2468
2469void ASTStmtWriter::VisitOMPReverseDirective(OMPReverseDirective *D) {
2470 VisitOMPLoopTransformationDirective(D);
2471 Code = serialization::STMT_OMP_REVERSE_DIRECTIVE;
2472}
2473
2474void ASTStmtWriter::VisitOMPInterchangeDirective(OMPInterchangeDirective *D) {
2475 VisitOMPLoopTransformationDirective(D);
2476 Code = serialization::STMT_OMP_INTERCHANGE_DIRECTIVE;
2477}
2478
2479void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
2480 VisitOMPLoopDirective(D);
2481 Record.writeBool(Value: D->hasCancel());
2482 Code = serialization::STMT_OMP_FOR_DIRECTIVE;
2483}
2484
2485void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
2486 VisitOMPLoopDirective(D);
2487 Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE;
2488}
2489
2490void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
2491 VisitStmt(S: D);
2492 VisitOMPExecutableDirective(E: D);
2493 Record.writeBool(Value: D->hasCancel());
2494 Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE;
2495}
2496
2497void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
2498 VisitStmt(S: D);
2499 VisitOMPExecutableDirective(E: D);
2500 Record.writeBool(Value: D->hasCancel());
2501 Code = serialization::STMT_OMP_SECTION_DIRECTIVE;
2502}
2503
2504void ASTStmtWriter::VisitOMPScopeDirective(OMPScopeDirective *D) {
2505 VisitStmt(S: D);
2506 VisitOMPExecutableDirective(E: D);
2507 Code = serialization::STMT_OMP_SCOPE_DIRECTIVE;
2508}
2509
2510void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
2511 VisitStmt(S: D);
2512 VisitOMPExecutableDirective(E: D);
2513 Code = serialization::STMT_OMP_SINGLE_DIRECTIVE;
2514}
2515
2516void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
2517 VisitStmt(S: D);
2518 VisitOMPExecutableDirective(E: D);
2519 Code = serialization::STMT_OMP_MASTER_DIRECTIVE;
2520}
2521
2522void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
2523 VisitStmt(S: D);
2524 VisitOMPExecutableDirective(E: D);
2525 Record.AddDeclarationNameInfo(NameInfo: D->getDirectiveName());
2526 Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE;
2527}
2528
2529void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
2530 VisitOMPLoopDirective(D);
2531 Record.writeBool(Value: D->hasCancel());
2532 Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE;
2533}
2534
2535void ASTStmtWriter::VisitOMPParallelForSimdDirective(
2536 OMPParallelForSimdDirective *D) {
2537 VisitOMPLoopDirective(D);
2538 Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE;
2539}
2540
2541void ASTStmtWriter::VisitOMPParallelMasterDirective(
2542 OMPParallelMasterDirective *D) {
2543 VisitStmt(S: D);
2544 VisitOMPExecutableDirective(E: D);
2545 Code = serialization::STMT_OMP_PARALLEL_MASTER_DIRECTIVE;
2546}
2547
2548void ASTStmtWriter::VisitOMPParallelMaskedDirective(
2549 OMPParallelMaskedDirective *D) {
2550 VisitStmt(S: D);
2551 VisitOMPExecutableDirective(E: D);
2552 Code = serialization::STMT_OMP_PARALLEL_MASKED_DIRECTIVE;
2553}
2554
2555void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2556 OMPParallelSectionsDirective *D) {
2557 VisitStmt(S: D);
2558 VisitOMPExecutableDirective(E: D);
2559 Record.writeBool(Value: D->hasCancel());
2560 Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE;
2561}
2562
2563void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2564 VisitStmt(S: D);
2565 VisitOMPExecutableDirective(E: D);
2566 Record.writeBool(Value: D->hasCancel());
2567 Code = serialization::STMT_OMP_TASK_DIRECTIVE;
2568}
2569
2570void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2571 VisitStmt(S: D);
2572 VisitOMPExecutableDirective(E: D);
2573 Record.writeBool(Value: D->isXLHSInRHSPart());
2574 Record.writeBool(Value: D->isPostfixUpdate());
2575 Record.writeBool(Value: D->isFailOnly());
2576 Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE;
2577}
2578
2579void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2580 VisitStmt(S: D);
2581 VisitOMPExecutableDirective(E: D);
2582 Code = serialization::STMT_OMP_TARGET_DIRECTIVE;
2583}
2584
2585void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2586 VisitStmt(S: D);
2587 VisitOMPExecutableDirective(E: D);
2588 Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE;
2589}
2590
2591void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2592 OMPTargetEnterDataDirective *D) {
2593 VisitStmt(S: D);
2594 VisitOMPExecutableDirective(E: D);
2595 Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE;
2596}
2597
2598void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2599 OMPTargetExitDataDirective *D) {
2600 VisitStmt(S: D);
2601 VisitOMPExecutableDirective(E: D);
2602 Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE;
2603}
2604
2605void ASTStmtWriter::VisitOMPTargetParallelDirective(
2606 OMPTargetParallelDirective *D) {
2607 VisitStmt(S: D);
2608 VisitOMPExecutableDirective(E: D);
2609 Record.writeBool(Value: D->hasCancel());
2610 Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE;
2611}
2612
2613void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2614 OMPTargetParallelForDirective *D) {
2615 VisitOMPLoopDirective(D);
2616 Record.writeBool(Value: D->hasCancel());
2617 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE;
2618}
2619
2620void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2621 VisitStmt(S: D);
2622 VisitOMPExecutableDirective(E: D);
2623 Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE;
2624}
2625
2626void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2627 VisitStmt(S: D);
2628 VisitOMPExecutableDirective(E: D);
2629 Code = serialization::STMT_OMP_BARRIER_DIRECTIVE;
2630}
2631
2632void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2633 VisitStmt(S: D);
2634 Record.push_back(N: D->getNumClauses());
2635 VisitOMPExecutableDirective(E: D);
2636 Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE;
2637}
2638
2639void ASTStmtWriter::VisitOMPAssumeDirective(OMPAssumeDirective *D) {
2640 VisitStmt(S: D);
2641 VisitOMPExecutableDirective(E: D);
2642 Code = serialization::STMT_OMP_ASSUME_DIRECTIVE;
2643}
2644
2645void ASTStmtWriter::VisitOMPErrorDirective(OMPErrorDirective *D) {
2646 VisitStmt(S: D);
2647 Record.push_back(N: D->getNumClauses());
2648 VisitOMPExecutableDirective(E: D);
2649 Code = serialization::STMT_OMP_ERROR_DIRECTIVE;
2650}
2651
2652void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2653 VisitStmt(S: D);
2654 VisitOMPExecutableDirective(E: D);
2655 Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE;
2656}
2657
2658void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2659 VisitStmt(S: D);
2660 VisitOMPExecutableDirective(E: D);
2661 Code = serialization::STMT_OMP_FLUSH_DIRECTIVE;
2662}
2663
2664void ASTStmtWriter::VisitOMPDepobjDirective(OMPDepobjDirective *D) {
2665 VisitStmt(S: D);
2666 VisitOMPExecutableDirective(E: D);
2667 Code = serialization::STMT_OMP_DEPOBJ_DIRECTIVE;
2668}
2669
2670void ASTStmtWriter::VisitOMPScanDirective(OMPScanDirective *D) {
2671 VisitStmt(S: D);
2672 VisitOMPExecutableDirective(E: D);
2673 Code = serialization::STMT_OMP_SCAN_DIRECTIVE;
2674}
2675
2676void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2677 VisitStmt(S: D);
2678 VisitOMPExecutableDirective(E: D);
2679 Code = serialization::STMT_OMP_ORDERED_DIRECTIVE;
2680}
2681
2682void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2683 VisitStmt(S: D);
2684 VisitOMPExecutableDirective(E: D);
2685 Code = serialization::STMT_OMP_TEAMS_DIRECTIVE;
2686}
2687
2688void ASTStmtWriter::VisitOMPCancellationPointDirective(
2689 OMPCancellationPointDirective *D) {
2690 VisitStmt(S: D);
2691 VisitOMPExecutableDirective(E: D);
2692 Record.writeEnum(value: D->getCancelRegion());
2693 Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE;
2694}
2695
2696void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2697 VisitStmt(S: D);
2698 VisitOMPExecutableDirective(E: D);
2699 Record.writeEnum(value: D->getCancelRegion());
2700 Code = serialization::STMT_OMP_CANCEL_DIRECTIVE;
2701}
2702
2703void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2704 VisitOMPLoopDirective(D);
2705 Record.writeBool(Value: D->hasCancel());
2706 Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE;
2707}
2708
2709void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2710 VisitOMPLoopDirective(D);
2711 Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE;
2712}
2713
2714void ASTStmtWriter::VisitOMPMasterTaskLoopDirective(
2715 OMPMasterTaskLoopDirective *D) {
2716 VisitOMPLoopDirective(D);
2717 Record.writeBool(Value: D->hasCancel());
2718 Code = serialization::STMT_OMP_MASTER_TASKLOOP_DIRECTIVE;
2719}
2720
2721void ASTStmtWriter::VisitOMPMaskedTaskLoopDirective(
2722 OMPMaskedTaskLoopDirective *D) {
2723 VisitOMPLoopDirective(D);
2724 Record.writeBool(Value: D->hasCancel());
2725 Code = serialization::STMT_OMP_MASKED_TASKLOOP_DIRECTIVE;
2726}
2727
2728void ASTStmtWriter::VisitOMPMasterTaskLoopSimdDirective(
2729 OMPMasterTaskLoopSimdDirective *D) {
2730 VisitOMPLoopDirective(D);
2731 Code = serialization::STMT_OMP_MASTER_TASKLOOP_SIMD_DIRECTIVE;
2732}
2733
2734void ASTStmtWriter::VisitOMPMaskedTaskLoopSimdDirective(
2735 OMPMaskedTaskLoopSimdDirective *D) {
2736 VisitOMPLoopDirective(D);
2737 Code = serialization::STMT_OMP_MASKED_TASKLOOP_SIMD_DIRECTIVE;
2738}
2739
2740void ASTStmtWriter::VisitOMPParallelMasterTaskLoopDirective(
2741 OMPParallelMasterTaskLoopDirective *D) {
2742 VisitOMPLoopDirective(D);
2743 Record.writeBool(Value: D->hasCancel());
2744 Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_DIRECTIVE;
2745}
2746
2747void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopDirective(
2748 OMPParallelMaskedTaskLoopDirective *D) {
2749 VisitOMPLoopDirective(D);
2750 Record.writeBool(Value: D->hasCancel());
2751 Code = serialization::STMT_OMP_PARALLEL_MASKED_TASKLOOP_DIRECTIVE;
2752}
2753
2754void ASTStmtWriter::VisitOMPParallelMasterTaskLoopSimdDirective(
2755 OMPParallelMasterTaskLoopSimdDirective *D) {
2756 VisitOMPLoopDirective(D);
2757 Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_SIMD_DIRECTIVE;
2758}
2759
2760void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopSimdDirective(
2761 OMPParallelMaskedTaskLoopSimdDirective *D) {
2762 VisitOMPLoopDirective(D);
2763 Code = serialization::STMT_OMP_PARALLEL_MASKED_TASKLOOP_SIMD_DIRECTIVE;
2764}
2765
2766void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2767 VisitOMPLoopDirective(D);
2768 Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE;
2769}
2770
2771void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2772 VisitStmt(S: D);
2773 VisitOMPExecutableDirective(E: D);
2774 Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE;
2775}
2776
2777void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2778 OMPDistributeParallelForDirective *D) {
2779 VisitOMPLoopDirective(D);
2780 Record.writeBool(Value: D->hasCancel());
2781 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2782}
2783
2784void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2785 OMPDistributeParallelForSimdDirective *D) {
2786 VisitOMPLoopDirective(D);
2787 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2788}
2789
2790void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2791 OMPDistributeSimdDirective *D) {
2792 VisitOMPLoopDirective(D);
2793 Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE;
2794}
2795
2796void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2797 OMPTargetParallelForSimdDirective *D) {
2798 VisitOMPLoopDirective(D);
2799 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE;
2800}
2801
2802void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2803 VisitOMPLoopDirective(D);
2804 Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE;
2805}
2806
2807void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2808 OMPTeamsDistributeDirective *D) {
2809 VisitOMPLoopDirective(D);
2810 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE;
2811}
2812
2813void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2814 OMPTeamsDistributeSimdDirective *D) {
2815 VisitOMPLoopDirective(D);
2816 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2817}
2818
2819void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2820 OMPTeamsDistributeParallelForSimdDirective *D) {
2821 VisitOMPLoopDirective(D);
2822 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2823}
2824
2825void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2826 OMPTeamsDistributeParallelForDirective *D) {
2827 VisitOMPLoopDirective(D);
2828 Record.writeBool(Value: D->hasCancel());
2829 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2830}
2831
2832void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2833 VisitStmt(S: D);
2834 VisitOMPExecutableDirective(E: D);
2835 Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE;
2836}
2837
2838void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2839 OMPTargetTeamsDistributeDirective *D) {
2840 VisitOMPLoopDirective(D);
2841 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE;
2842}
2843
2844void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2845 OMPTargetTeamsDistributeParallelForDirective *D) {
2846 VisitOMPLoopDirective(D);
2847 Record.writeBool(Value: D->hasCancel());
2848 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2849}
2850
2851void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2852 OMPTargetTeamsDistributeParallelForSimdDirective *D) {
2853 VisitOMPLoopDirective(D);
2854 Code = serialization::
2855 STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2856}
2857
2858void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2859 OMPTargetTeamsDistributeSimdDirective *D) {
2860 VisitOMPLoopDirective(D);
2861 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2862}
2863
2864void ASTStmtWriter::VisitOMPInteropDirective(OMPInteropDirective *D) {
2865 VisitStmt(S: D);
2866 VisitOMPExecutableDirective(E: D);
2867 Code = serialization::STMT_OMP_INTEROP_DIRECTIVE;
2868}
2869
2870void ASTStmtWriter::VisitOMPDispatchDirective(OMPDispatchDirective *D) {
2871 VisitStmt(S: D);
2872 VisitOMPExecutableDirective(E: D);
2873 Record.AddSourceLocation(Loc: D->getTargetCallLoc());
2874 Code = serialization::STMT_OMP_DISPATCH_DIRECTIVE;
2875}
2876
2877void ASTStmtWriter::VisitOMPMaskedDirective(OMPMaskedDirective *D) {
2878 VisitStmt(S: D);
2879 VisitOMPExecutableDirective(E: D);
2880 Code = serialization::STMT_OMP_MASKED_DIRECTIVE;
2881}
2882
2883void ASTStmtWriter::VisitOMPGenericLoopDirective(OMPGenericLoopDirective *D) {
2884 VisitOMPLoopDirective(D);
2885 Code = serialization::STMT_OMP_GENERIC_LOOP_DIRECTIVE;
2886}
2887
2888void ASTStmtWriter::VisitOMPTeamsGenericLoopDirective(
2889 OMPTeamsGenericLoopDirective *D) {
2890 VisitOMPLoopDirective(D);
2891 Code = serialization::STMT_OMP_TEAMS_GENERIC_LOOP_DIRECTIVE;
2892}
2893
2894void ASTStmtWriter::VisitOMPTargetTeamsGenericLoopDirective(
2895 OMPTargetTeamsGenericLoopDirective *D) {
2896 VisitOMPLoopDirective(D);
2897 Record.writeBool(Value: D->canBeParallelFor());
2898 Code = serialization::STMT_OMP_TARGET_TEAMS_GENERIC_LOOP_DIRECTIVE;
2899}
2900
2901void ASTStmtWriter::VisitOMPParallelGenericLoopDirective(
2902 OMPParallelGenericLoopDirective *D) {
2903 VisitOMPLoopDirective(D);
2904 Code = serialization::STMT_OMP_PARALLEL_GENERIC_LOOP_DIRECTIVE;
2905}
2906
2907void ASTStmtWriter::VisitOMPTargetParallelGenericLoopDirective(
2908 OMPTargetParallelGenericLoopDirective *D) {
2909 VisitOMPLoopDirective(D);
2910 Code = serialization::STMT_OMP_TARGET_PARALLEL_GENERIC_LOOP_DIRECTIVE;
2911}
2912
2913//===----------------------------------------------------------------------===//
2914// OpenACC Constructs/Directives.
2915//===----------------------------------------------------------------------===//
2916void ASTStmtWriter::VisitOpenACCConstructStmt(OpenACCConstructStmt *S) {
2917 Record.push_back(N: S->clauses().size());
2918 Record.writeEnum(value: S->Kind);
2919 Record.AddSourceRange(Range: S->Range);
2920 Record.AddSourceLocation(Loc: S->DirectiveLoc);
2921 Record.writeOpenACCClauseList(Clauses: S->clauses());
2922}
2923
2924void ASTStmtWriter::VisitOpenACCAssociatedStmtConstruct(
2925 OpenACCAssociatedStmtConstruct *S) {
2926 VisitOpenACCConstructStmt(S);
2927 Record.AddStmt(S: S->getAssociatedStmt());
2928}
2929
2930void ASTStmtWriter::VisitOpenACCComputeConstruct(OpenACCComputeConstruct *S) {
2931 VisitStmt(S);
2932 VisitOpenACCAssociatedStmtConstruct(S);
2933 Code = serialization::STMT_OPENACC_COMPUTE_CONSTRUCT;
2934}
2935
2936void ASTStmtWriter::VisitOpenACCLoopConstruct(OpenACCLoopConstruct *S) {
2937 VisitStmt(S);
2938 VisitOpenACCAssociatedStmtConstruct(S);
2939 Record.writeEnum(value: S->getParentComputeConstructKind());
2940 Code = serialization::STMT_OPENACC_LOOP_CONSTRUCT;
2941}
2942
2943void ASTStmtWriter::VisitOpenACCCombinedConstruct(OpenACCCombinedConstruct *S) {
2944 VisitStmt(S);
2945 VisitOpenACCAssociatedStmtConstruct(S);
2946 Code = serialization::STMT_OPENACC_COMBINED_CONSTRUCT;
2947}
2948
2949void ASTStmtWriter::VisitOpenACCDataConstruct(OpenACCDataConstruct *S) {
2950 VisitStmt(S);
2951 VisitOpenACCAssociatedStmtConstruct(S);
2952 Code = serialization::STMT_OPENACC_DATA_CONSTRUCT;
2953}
2954
2955void ASTStmtWriter::VisitOpenACCEnterDataConstruct(
2956 OpenACCEnterDataConstruct *S) {
2957 VisitStmt(S);
2958 VisitOpenACCConstructStmt(S);
2959 Code = serialization::STMT_OPENACC_ENTER_DATA_CONSTRUCT;
2960}
2961
2962void ASTStmtWriter::VisitOpenACCExitDataConstruct(OpenACCExitDataConstruct *S) {
2963 VisitStmt(S);
2964 VisitOpenACCConstructStmt(S);
2965 Code = serialization::STMT_OPENACC_EXIT_DATA_CONSTRUCT;
2966}
2967
2968void ASTStmtWriter::VisitOpenACCInitConstruct(OpenACCInitConstruct *S) {
2969 VisitStmt(S);
2970 VisitOpenACCConstructStmt(S);
2971 Code = serialization::STMT_OPENACC_INIT_CONSTRUCT;
2972}
2973
2974void ASTStmtWriter::VisitOpenACCShutdownConstruct(OpenACCShutdownConstruct *S) {
2975 VisitStmt(S);
2976 VisitOpenACCConstructStmt(S);
2977 Code = serialization::STMT_OPENACC_SHUTDOWN_CONSTRUCT;
2978}
2979
2980void ASTStmtWriter::VisitOpenACCSetConstruct(OpenACCSetConstruct *S) {
2981 VisitStmt(S);
2982 VisitOpenACCConstructStmt(S);
2983 Code = serialization::STMT_OPENACC_SET_CONSTRUCT;
2984}
2985
2986void ASTStmtWriter::VisitOpenACCUpdateConstruct(OpenACCUpdateConstruct *S) {
2987 VisitStmt(S);
2988 VisitOpenACCConstructStmt(S);
2989 Code = serialization::STMT_OPENACC_UPDATE_CONSTRUCT;
2990}
2991
2992void ASTStmtWriter::VisitOpenACCHostDataConstruct(OpenACCHostDataConstruct *S) {
2993 VisitStmt(S);
2994 VisitOpenACCAssociatedStmtConstruct(S);
2995 Code = serialization::STMT_OPENACC_HOST_DATA_CONSTRUCT;
2996}
2997
2998void ASTStmtWriter::VisitOpenACCWaitConstruct(OpenACCWaitConstruct *S) {
2999 VisitStmt(S);
3000 Record.push_back(N: S->getExprs().size());
3001 VisitOpenACCConstructStmt(S);
3002 Record.AddSourceLocation(Loc: S->LParenLoc);
3003 Record.AddSourceLocation(Loc: S->RParenLoc);
3004 Record.AddSourceLocation(Loc: S->QueuesLoc);
3005
3006 for(Expr *E : S->getExprs())
3007 Record.AddStmt(S: E);
3008
3009 Code = serialization::STMT_OPENACC_WAIT_CONSTRUCT;
3010}
3011
3012void ASTStmtWriter::VisitOpenACCAtomicConstruct(OpenACCAtomicConstruct *S) {
3013 VisitStmt(S);
3014 VisitOpenACCConstructStmt(S);
3015 Record.writeEnum(value: S->getAtomicKind());
3016 Record.AddStmt(S: S->getAssociatedStmt());
3017
3018 Code = serialization::STMT_OPENACC_ATOMIC_CONSTRUCT;
3019}
3020
3021void ASTStmtWriter::VisitOpenACCCacheConstruct(OpenACCCacheConstruct *S) {
3022 VisitStmt(S);
3023 Record.push_back(N: S->getVarList().size());
3024 VisitOpenACCConstructStmt(S);
3025 Record.AddSourceRange(Range: S->ParensLoc);
3026 Record.AddSourceLocation(Loc: S->ReadOnlyLoc);
3027
3028 for (Expr *E : S->getVarList())
3029 Record.AddStmt(S: E);
3030 Code = serialization::STMT_OPENACC_CACHE_CONSTRUCT;
3031}
3032
3033//===----------------------------------------------------------------------===//
3034// HLSL Constructs/Directives.
3035//===----------------------------------------------------------------------===//
3036
3037void ASTStmtWriter::VisitHLSLOutArgExpr(HLSLOutArgExpr *S) {
3038 VisitExpr(E: S);
3039 Record.AddStmt(S: S->getOpaqueArgLValue());
3040 Record.AddStmt(S: S->getCastedTemporary());
3041 Record.AddStmt(S: S->getWritebackCast());
3042 Record.writeBool(Value: S->isInOut());
3043 Code = serialization::EXPR_HLSL_OUT_ARG;
3044}
3045
3046//===----------------------------------------------------------------------===//
3047// ASTWriter Implementation
3048//===----------------------------------------------------------------------===//
3049
3050unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
3051 assert(!SwitchCaseIDs.contains(S) && "SwitchCase recorded twice");
3052 unsigned NextID = SwitchCaseIDs.size();
3053 SwitchCaseIDs[S] = NextID;
3054 return NextID;
3055}
3056
3057unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
3058 assert(SwitchCaseIDs.contains(S) && "SwitchCase hasn't been seen yet");
3059 return SwitchCaseIDs[S];
3060}
3061
3062void ASTWriter::ClearSwitchCaseIDs() {
3063 SwitchCaseIDs.clear();
3064}
3065
3066/// Write the given substatement or subexpression to the
3067/// bitstream.
3068void ASTWriter::WriteSubStmt(ASTContext &Context, Stmt *S) {
3069 RecordData Record;
3070 ASTStmtWriter Writer(Context, *this, Record);
3071 ++NumStatements;
3072
3073 if (!S) {
3074 Stream.EmitRecord(Code: serialization::STMT_NULL_PTR, Vals: Record);
3075 return;
3076 }
3077
3078 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(Val: S);
3079 if (I != SubStmtEntries.end()) {
3080 Record.push_back(Elt: I->second);
3081 Stream.EmitRecord(Code: serialization::STMT_REF_PTR, Vals: Record);
3082 return;
3083 }
3084
3085#ifndef NDEBUG
3086 assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
3087
3088 struct ParentStmtInserterRAII {
3089 Stmt *S;
3090 llvm::DenseSet<Stmt *> &ParentStmts;
3091
3092 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
3093 : S(S), ParentStmts(ParentStmts) {
3094 ParentStmts.insert(S);
3095 }
3096 ~ParentStmtInserterRAII() {
3097 ParentStmts.erase(S);
3098 }
3099 };
3100
3101 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
3102#endif
3103
3104 Writer.Visit(S);
3105
3106 uint64_t Offset = Writer.Emit();
3107 SubStmtEntries[S] = Offset;
3108}
3109
3110/// Flush all of the statements that have been added to the
3111/// queue via AddStmt().
3112void ASTRecordWriter::FlushStmts() {
3113 // We expect to be the only consumer of the two temporary statement maps,
3114 // assert that they are empty.
3115 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
3116 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
3117
3118 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
3119 Writer->WriteSubStmt(Context&: getASTContext(), S: StmtsToEmit[I]);
3120
3121 assert(N == StmtsToEmit.size() && "record modified while being written!");
3122
3123 // Note that we are at the end of a full expression. Any
3124 // expression records that follow this one are part of a different
3125 // expression.
3126 Writer->Stream.EmitRecord(Code: serialization::STMT_STOP, Vals: ArrayRef<uint32_t>());
3127
3128 Writer->SubStmtEntries.clear();
3129 Writer->ParentStmts.clear();
3130 }
3131
3132 StmtsToEmit.clear();
3133}
3134
3135void ASTRecordWriter::FlushSubStmts() {
3136 // For a nested statement, write out the substatements in reverse order (so
3137 // that a simple stack machine can be used when loading), and don't emit a
3138 // STMT_STOP after each one.
3139 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
3140 Writer->WriteSubStmt(Context&: getASTContext(), S: StmtsToEmit[N - I - 1]);
3141 assert(N == StmtsToEmit.size() && "record modified while being written!");
3142 }
3143
3144 StmtsToEmit.clear();
3145}
3146