1 //===--- ASTWriterStmt.cpp - Statement and Expression Serialization -------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 ///
10 /// \file
11 /// Implements serialization for Statements and Expressions.
12 ///
13 //===----------------------------------------------------------------------===//
14 
15 #include "clang/Serialization/ASTWriter.h"
16 #include "clang/AST/ASTContext.h"
17 #include "clang/AST/DeclCXX.h"
18 #include "clang/AST/DeclObjC.h"
19 #include "clang/AST/DeclTemplate.h"
20 #include "clang/AST/StmtVisitor.h"
21 #include "clang/Lex/Token.h"
22 #include "llvm/Bitcode/BitstreamWriter.h"
23 using namespace clang;
24 
25 //===----------------------------------------------------------------------===//
26 // Statement/expression serialization
27 //===----------------------------------------------------------------------===//
28 
29 namespace clang {
30 
31   class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> {
32     ASTWriter &Writer;
33     ASTRecordWriter Record;
34 
35     serialization::StmtCode Code;
36     unsigned AbbrevToUse;
37 
38   public:
39     ASTStmtWriter(ASTWriter &Writer, ASTWriter::RecordData &Record)
40         : Writer(Writer), Record(Writer, Record),
41           Code(serialization::STMT_NULL_PTR), AbbrevToUse(0) {}
42 
43     ASTStmtWriter(const ASTStmtWriter&) = delete;
44 
45     uint64_t Emit() {
46       assert(Code != serialization::STMT_NULL_PTR &&
47              "unhandled sub-statement writing AST file");
48       return Record.EmitStmt(Code, AbbrevToUse);
49     }
50 
51     void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &ArgInfo,
52                                   const TemplateArgumentLoc *Args);
53 
54     void VisitStmt(Stmt *S);
55 #define STMT(Type, Base) \
56     void Visit##Type(Type *);
57 #include "clang/AST/StmtNodes.inc"
58   };
59 }
60 
61 void ASTStmtWriter::AddTemplateKWAndArgsInfo(
62     const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args) {
63   Record.AddSourceLocation(ArgInfo.TemplateKWLoc);
64   Record.AddSourceLocation(ArgInfo.LAngleLoc);
65   Record.AddSourceLocation(ArgInfo.RAngleLoc);
66   for (unsigned i = 0; i != ArgInfo.NumTemplateArgs; ++i)
67     Record.AddTemplateArgumentLoc(Args[i]);
68 }
69 
70 void ASTStmtWriter::VisitStmt(Stmt *S) {
71 }
72 
73 void ASTStmtWriter::VisitNullStmt(NullStmt *S) {
74   VisitStmt(S);
75   Record.AddSourceLocation(S->getSemiLoc());
76   Record.push_back(S->NullStmtBits.HasLeadingEmptyMacro);
77   Code = serialization::STMT_NULL;
78 }
79 
80 void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) {
81   VisitStmt(S);
82   Record.push_back(S->size());
83   for (auto *CS : S->body())
84     Record.AddStmt(CS);
85   Record.AddSourceLocation(S->getLBracLoc());
86   Record.AddSourceLocation(S->getRBracLoc());
87   Code = serialization::STMT_COMPOUND;
88 }
89 
90 void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) {
91   VisitStmt(S);
92   Record.push_back(Writer.getSwitchCaseID(S));
93   Record.AddSourceLocation(S->getKeywordLoc());
94   Record.AddSourceLocation(S->getColonLoc());
95 }
96 
97 void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) {
98   VisitSwitchCase(S);
99   Record.push_back(S->caseStmtIsGNURange());
100   Record.AddStmt(S->getLHS());
101   Record.AddStmt(S->getSubStmt());
102   if (S->caseStmtIsGNURange()) {
103     Record.AddStmt(S->getRHS());
104     Record.AddSourceLocation(S->getEllipsisLoc());
105   }
106   Code = serialization::STMT_CASE;
107 }
108 
109 void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) {
110   VisitSwitchCase(S);
111   Record.AddStmt(S->getSubStmt());
112   Code = serialization::STMT_DEFAULT;
113 }
114 
115 void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) {
116   VisitStmt(S);
117   Record.AddDeclRef(S->getDecl());
118   Record.AddStmt(S->getSubStmt());
119   Record.AddSourceLocation(S->getIdentLoc());
120   Code = serialization::STMT_LABEL;
121 }
122 
123 void ASTStmtWriter::VisitAttributedStmt(AttributedStmt *S) {
124   VisitStmt(S);
125   Record.push_back(S->getAttrs().size());
126   Record.AddAttributes(S->getAttrs());
127   Record.AddStmt(S->getSubStmt());
128   Record.AddSourceLocation(S->getAttrLoc());
129   Code = serialization::STMT_ATTRIBUTED;
130 }
131 
132 void ASTStmtWriter::VisitIfStmt(IfStmt *S) {
133   VisitStmt(S);
134 
135   bool HasElse = S->getElse() != nullptr;
136   bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
137   bool HasInit = S->getInit() != nullptr;
138 
139   Record.push_back(S->isConstexpr());
140   Record.push_back(HasElse);
141   Record.push_back(HasVar);
142   Record.push_back(HasInit);
143 
144   Record.AddStmt(S->getCond());
145   Record.AddStmt(S->getThen());
146   if (HasElse)
147     Record.AddStmt(S->getElse());
148   if (HasVar)
149     Record.AddDeclRef(S->getConditionVariable());
150   if (HasInit)
151     Record.AddStmt(S->getInit());
152 
153   Record.AddSourceLocation(S->getIfLoc());
154   if (HasElse)
155     Record.AddSourceLocation(S->getElseLoc());
156 
157   Code = serialization::STMT_IF;
158 }
159 
160 void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) {
161   VisitStmt(S);
162 
163   bool HasInit = S->getInit() != nullptr;
164   bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
165   Record.push_back(HasInit);
166   Record.push_back(HasVar);
167   Record.push_back(S->isAllEnumCasesCovered());
168 
169   Record.AddStmt(S->getCond());
170   Record.AddStmt(S->getBody());
171   if (HasInit)
172     Record.AddStmt(S->getInit());
173   if (HasVar)
174     Record.AddDeclRef(S->getConditionVariable());
175 
176   Record.AddSourceLocation(S->getSwitchLoc());
177 
178   for (SwitchCase *SC = S->getSwitchCaseList(); SC;
179        SC = SC->getNextSwitchCase())
180     Record.push_back(Writer.RecordSwitchCaseID(SC));
181   Code = serialization::STMT_SWITCH;
182 }
183 
184 void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) {
185   VisitStmt(S);
186 
187   bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
188   Record.push_back(HasVar);
189 
190   Record.AddStmt(S->getCond());
191   Record.AddStmt(S->getBody());
192   if (HasVar)
193     Record.AddDeclRef(S->getConditionVariable());
194 
195   Record.AddSourceLocation(S->getWhileLoc());
196   Code = serialization::STMT_WHILE;
197 }
198 
199 void ASTStmtWriter::VisitDoStmt(DoStmt *S) {
200   VisitStmt(S);
201   Record.AddStmt(S->getCond());
202   Record.AddStmt(S->getBody());
203   Record.AddSourceLocation(S->getDoLoc());
204   Record.AddSourceLocation(S->getWhileLoc());
205   Record.AddSourceLocation(S->getRParenLoc());
206   Code = serialization::STMT_DO;
207 }
208 
209 void ASTStmtWriter::VisitForStmt(ForStmt *S) {
210   VisitStmt(S);
211   Record.AddStmt(S->getInit());
212   Record.AddStmt(S->getCond());
213   Record.AddDeclRef(S->getConditionVariable());
214   Record.AddStmt(S->getInc());
215   Record.AddStmt(S->getBody());
216   Record.AddSourceLocation(S->getForLoc());
217   Record.AddSourceLocation(S->getLParenLoc());
218   Record.AddSourceLocation(S->getRParenLoc());
219   Code = serialization::STMT_FOR;
220 }
221 
222 void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) {
223   VisitStmt(S);
224   Record.AddDeclRef(S->getLabel());
225   Record.AddSourceLocation(S->getGotoLoc());
226   Record.AddSourceLocation(S->getLabelLoc());
227   Code = serialization::STMT_GOTO;
228 }
229 
230 void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
231   VisitStmt(S);
232   Record.AddSourceLocation(S->getGotoLoc());
233   Record.AddSourceLocation(S->getStarLoc());
234   Record.AddStmt(S->getTarget());
235   Code = serialization::STMT_INDIRECT_GOTO;
236 }
237 
238 void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) {
239   VisitStmt(S);
240   Record.AddSourceLocation(S->getContinueLoc());
241   Code = serialization::STMT_CONTINUE;
242 }
243 
244 void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) {
245   VisitStmt(S);
246   Record.AddSourceLocation(S->getBreakLoc());
247   Code = serialization::STMT_BREAK;
248 }
249 
250 void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) {
251   VisitStmt(S);
252 
253   bool HasNRVOCandidate = S->getNRVOCandidate() != nullptr;
254   Record.push_back(HasNRVOCandidate);
255 
256   Record.AddStmt(S->getRetValue());
257   if (HasNRVOCandidate)
258     Record.AddDeclRef(S->getNRVOCandidate());
259 
260   Record.AddSourceLocation(S->getReturnLoc());
261   Code = serialization::STMT_RETURN;
262 }
263 
264 void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) {
265   VisitStmt(S);
266   Record.AddSourceLocation(S->getBeginLoc());
267   Record.AddSourceLocation(S->getEndLoc());
268   DeclGroupRef DG = S->getDeclGroup();
269   for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D)
270     Record.AddDeclRef(*D);
271   Code = serialization::STMT_DECL;
272 }
273 
274 void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) {
275   VisitStmt(S);
276   Record.push_back(S->getNumOutputs());
277   Record.push_back(S->getNumInputs());
278   Record.push_back(S->getNumClobbers());
279   Record.AddSourceLocation(S->getAsmLoc());
280   Record.push_back(S->isVolatile());
281   Record.push_back(S->isSimple());
282 }
283 
284 void ASTStmtWriter::VisitGCCAsmStmt(GCCAsmStmt *S) {
285   VisitAsmStmt(S);
286   Record.AddSourceLocation(S->getRParenLoc());
287   Record.AddStmt(S->getAsmString());
288 
289   // Outputs
290   for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
291     Record.AddIdentifierRef(S->getOutputIdentifier(I));
292     Record.AddStmt(S->getOutputConstraintLiteral(I));
293     Record.AddStmt(S->getOutputExpr(I));
294   }
295 
296   // Inputs
297   for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
298     Record.AddIdentifierRef(S->getInputIdentifier(I));
299     Record.AddStmt(S->getInputConstraintLiteral(I));
300     Record.AddStmt(S->getInputExpr(I));
301   }
302 
303   // Clobbers
304   for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
305     Record.AddStmt(S->getClobberStringLiteral(I));
306 
307   Code = serialization::STMT_GCCASM;
308 }
309 
310 void ASTStmtWriter::VisitMSAsmStmt(MSAsmStmt *S) {
311   VisitAsmStmt(S);
312   Record.AddSourceLocation(S->getLBraceLoc());
313   Record.AddSourceLocation(S->getEndLoc());
314   Record.push_back(S->getNumAsmToks());
315   Record.AddString(S->getAsmString());
316 
317   // Tokens
318   for (unsigned I = 0, N = S->getNumAsmToks(); I != N; ++I) {
319     // FIXME: Move this to ASTRecordWriter?
320     Writer.AddToken(S->getAsmToks()[I], Record.getRecordData());
321   }
322 
323   // Clobbers
324   for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) {
325     Record.AddString(S->getClobber(I));
326   }
327 
328   // Outputs
329   for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
330     Record.AddStmt(S->getOutputExpr(I));
331     Record.AddString(S->getOutputConstraint(I));
332   }
333 
334   // Inputs
335   for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
336     Record.AddStmt(S->getInputExpr(I));
337     Record.AddString(S->getInputConstraint(I));
338   }
339 
340   Code = serialization::STMT_MSASM;
341 }
342 
343 void ASTStmtWriter::VisitCoroutineBodyStmt(CoroutineBodyStmt *CoroStmt) {
344   VisitStmt(CoroStmt);
345   Record.push_back(CoroStmt->getParamMoves().size());
346   for (Stmt *S : CoroStmt->children())
347     Record.AddStmt(S);
348   Code = serialization::STMT_COROUTINE_BODY;
349 }
350 
351 void ASTStmtWriter::VisitCoreturnStmt(CoreturnStmt *S) {
352   VisitStmt(S);
353   Record.AddSourceLocation(S->getKeywordLoc());
354   Record.AddStmt(S->getOperand());
355   Record.AddStmt(S->getPromiseCall());
356   Record.push_back(S->isImplicit());
357   Code = serialization::STMT_CORETURN;
358 }
359 
360 void ASTStmtWriter::VisitCoroutineSuspendExpr(CoroutineSuspendExpr *E) {
361   VisitExpr(E);
362   Record.AddSourceLocation(E->getKeywordLoc());
363   for (Stmt *S : E->children())
364     Record.AddStmt(S);
365   Record.AddStmt(E->getOpaqueValue());
366 }
367 
368 void ASTStmtWriter::VisitCoawaitExpr(CoawaitExpr *E) {
369   VisitCoroutineSuspendExpr(E);
370   Record.push_back(E->isImplicit());
371   Code = serialization::EXPR_COAWAIT;
372 }
373 
374 void ASTStmtWriter::VisitCoyieldExpr(CoyieldExpr *E) {
375   VisitCoroutineSuspendExpr(E);
376   Code = serialization::EXPR_COYIELD;
377 }
378 
379 void ASTStmtWriter::VisitDependentCoawaitExpr(DependentCoawaitExpr *E) {
380   VisitExpr(E);
381   Record.AddSourceLocation(E->getKeywordLoc());
382   for (Stmt *S : E->children())
383     Record.AddStmt(S);
384   Code = serialization::EXPR_DEPENDENT_COAWAIT;
385 }
386 
387 void ASTStmtWriter::VisitCapturedStmt(CapturedStmt *S) {
388   VisitStmt(S);
389   // NumCaptures
390   Record.push_back(std::distance(S->capture_begin(), S->capture_end()));
391 
392   // CapturedDecl and captured region kind
393   Record.AddDeclRef(S->getCapturedDecl());
394   Record.push_back(S->getCapturedRegionKind());
395 
396   Record.AddDeclRef(S->getCapturedRecordDecl());
397 
398   // Capture inits
399   for (auto *I : S->capture_inits())
400     Record.AddStmt(I);
401 
402   // Body
403   Record.AddStmt(S->getCapturedStmt());
404 
405   // Captures
406   for (const auto &I : S->captures()) {
407     if (I.capturesThis() || I.capturesVariableArrayType())
408       Record.AddDeclRef(nullptr);
409     else
410       Record.AddDeclRef(I.getCapturedVar());
411     Record.push_back(I.getCaptureKind());
412     Record.AddSourceLocation(I.getLocation());
413   }
414 
415   Code = serialization::STMT_CAPTURED;
416 }
417 
418 void ASTStmtWriter::VisitExpr(Expr *E) {
419   VisitStmt(E);
420   Record.AddTypeRef(E->getType());
421   Record.push_back(E->isTypeDependent());
422   Record.push_back(E->isValueDependent());
423   Record.push_back(E->isInstantiationDependent());
424   Record.push_back(E->containsUnexpandedParameterPack());
425   Record.push_back(E->getValueKind());
426   Record.push_back(E->getObjectKind());
427 }
428 
429 void ASTStmtWriter::VisitConstantExpr(ConstantExpr *E) {
430   VisitExpr(E);
431   Record.AddStmt(E->getSubExpr());
432   Code = serialization::EXPR_CONSTANT;
433 }
434 
435 void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) {
436   VisitExpr(E);
437 
438   bool HasFunctionName = E->getFunctionName() != nullptr;
439   Record.push_back(HasFunctionName);
440   Record.push_back(E->getIdentKind()); // FIXME: stable encoding
441   Record.AddSourceLocation(E->getLocation());
442   if (HasFunctionName)
443     Record.AddStmt(E->getFunctionName());
444   Code = serialization::EXPR_PREDEFINED;
445 }
446 
447 void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) {
448   VisitExpr(E);
449 
450   Record.push_back(E->hasQualifier());
451   Record.push_back(E->getDecl() != E->getFoundDecl());
452   Record.push_back(E->hasTemplateKWAndArgsInfo());
453   Record.push_back(E->hadMultipleCandidates());
454   Record.push_back(E->refersToEnclosingVariableOrCapture());
455 
456   if (E->hasTemplateKWAndArgsInfo()) {
457     unsigned NumTemplateArgs = E->getNumTemplateArgs();
458     Record.push_back(NumTemplateArgs);
459   }
460 
461   DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind());
462 
463   if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) &&
464       (E->getDecl() == E->getFoundDecl()) &&
465       nk == DeclarationName::Identifier) {
466     AbbrevToUse = Writer.getDeclRefExprAbbrev();
467   }
468 
469   if (E->hasQualifier())
470     Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
471 
472   if (E->getDecl() != E->getFoundDecl())
473     Record.AddDeclRef(E->getFoundDecl());
474 
475   if (E->hasTemplateKWAndArgsInfo())
476     AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
477                              E->getTrailingObjects<TemplateArgumentLoc>());
478 
479   Record.AddDeclRef(E->getDecl());
480   Record.AddSourceLocation(E->getLocation());
481   Record.AddDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName());
482   Code = serialization::EXPR_DECL_REF;
483 }
484 
485 void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) {
486   VisitExpr(E);
487   Record.AddSourceLocation(E->getLocation());
488   Record.AddAPInt(E->getValue());
489 
490   if (E->getValue().getBitWidth() == 32) {
491     AbbrevToUse = Writer.getIntegerLiteralAbbrev();
492   }
493 
494   Code = serialization::EXPR_INTEGER_LITERAL;
495 }
496 
497 void ASTStmtWriter::VisitFixedPointLiteral(FixedPointLiteral *E) {
498   VisitExpr(E);
499   Record.AddSourceLocation(E->getLocation());
500   Record.AddAPInt(E->getValue());
501   Code = serialization::EXPR_INTEGER_LITERAL;
502 }
503 
504 void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) {
505   VisitExpr(E);
506   Record.push_back(E->getRawSemantics());
507   Record.push_back(E->isExact());
508   Record.AddAPFloat(E->getValue());
509   Record.AddSourceLocation(E->getLocation());
510   Code = serialization::EXPR_FLOATING_LITERAL;
511 }
512 
513 void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) {
514   VisitExpr(E);
515   Record.AddStmt(E->getSubExpr());
516   Code = serialization::EXPR_IMAGINARY_LITERAL;
517 }
518 
519 void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) {
520   VisitExpr(E);
521 
522   // Store the various bits of data of StringLiteral.
523   Record.push_back(E->getNumConcatenated());
524   Record.push_back(E->getLength());
525   Record.push_back(E->getCharByteWidth());
526   Record.push_back(E->getKind());
527   Record.push_back(E->isPascal());
528 
529   // Store the trailing array of SourceLocation.
530   for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
531     Record.AddSourceLocation(E->getStrTokenLoc(I));
532 
533   // Store the trailing array of char holding the string data.
534   StringRef StrData = E->getBytes();
535   for (unsigned I = 0, N = E->getByteLength(); I != N; ++I)
536     Record.push_back(StrData[I]);
537 
538   Code = serialization::EXPR_STRING_LITERAL;
539 }
540 
541 void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
542   VisitExpr(E);
543   Record.push_back(E->getValue());
544   Record.AddSourceLocation(E->getLocation());
545   Record.push_back(E->getKind());
546 
547   AbbrevToUse = Writer.getCharacterLiteralAbbrev();
548 
549   Code = serialization::EXPR_CHARACTER_LITERAL;
550 }
551 
552 void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
553   VisitExpr(E);
554   Record.AddSourceLocation(E->getLParen());
555   Record.AddSourceLocation(E->getRParen());
556   Record.AddStmt(E->getSubExpr());
557   Code = serialization::EXPR_PAREN;
558 }
559 
560 void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
561   VisitExpr(E);
562   Record.push_back(E->getNumExprs());
563   for (auto *SubStmt : E->exprs())
564     Record.AddStmt(SubStmt);
565   Record.AddSourceLocation(E->getLParenLoc());
566   Record.AddSourceLocation(E->getRParenLoc());
567   Code = serialization::EXPR_PAREN_LIST;
568 }
569 
570 void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
571   VisitExpr(E);
572   Record.AddStmt(E->getSubExpr());
573   Record.push_back(E->getOpcode()); // FIXME: stable encoding
574   Record.AddSourceLocation(E->getOperatorLoc());
575   Record.push_back(E->canOverflow());
576   Code = serialization::EXPR_UNARY_OPERATOR;
577 }
578 
579 void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
580   VisitExpr(E);
581   Record.push_back(E->getNumComponents());
582   Record.push_back(E->getNumExpressions());
583   Record.AddSourceLocation(E->getOperatorLoc());
584   Record.AddSourceLocation(E->getRParenLoc());
585   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
586   for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
587     const OffsetOfNode &ON = E->getComponent(I);
588     Record.push_back(ON.getKind()); // FIXME: Stable encoding
589     Record.AddSourceLocation(ON.getSourceRange().getBegin());
590     Record.AddSourceLocation(ON.getSourceRange().getEnd());
591     switch (ON.getKind()) {
592     case OffsetOfNode::Array:
593       Record.push_back(ON.getArrayExprIndex());
594       break;
595 
596     case OffsetOfNode::Field:
597       Record.AddDeclRef(ON.getField());
598       break;
599 
600     case OffsetOfNode::Identifier:
601       Record.AddIdentifierRef(ON.getFieldName());
602       break;
603 
604     case OffsetOfNode::Base:
605       Record.AddCXXBaseSpecifier(*ON.getBase());
606       break;
607     }
608   }
609   for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
610     Record.AddStmt(E->getIndexExpr(I));
611   Code = serialization::EXPR_OFFSETOF;
612 }
613 
614 void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
615   VisitExpr(E);
616   Record.push_back(E->getKind());
617   if (E->isArgumentType())
618     Record.AddTypeSourceInfo(E->getArgumentTypeInfo());
619   else {
620     Record.push_back(0);
621     Record.AddStmt(E->getArgumentExpr());
622   }
623   Record.AddSourceLocation(E->getOperatorLoc());
624   Record.AddSourceLocation(E->getRParenLoc());
625   Code = serialization::EXPR_SIZEOF_ALIGN_OF;
626 }
627 
628 void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
629   VisitExpr(E);
630   Record.AddStmt(E->getLHS());
631   Record.AddStmt(E->getRHS());
632   Record.AddSourceLocation(E->getRBracketLoc());
633   Code = serialization::EXPR_ARRAY_SUBSCRIPT;
634 }
635 
636 void ASTStmtWriter::VisitOMPArraySectionExpr(OMPArraySectionExpr *E) {
637   VisitExpr(E);
638   Record.AddStmt(E->getBase());
639   Record.AddStmt(E->getLowerBound());
640   Record.AddStmt(E->getLength());
641   Record.AddSourceLocation(E->getColonLoc());
642   Record.AddSourceLocation(E->getRBracketLoc());
643   Code = serialization::EXPR_OMP_ARRAY_SECTION;
644 }
645 
646 void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
647   VisitExpr(E);
648   Record.push_back(E->getNumArgs());
649   Record.AddSourceLocation(E->getRParenLoc());
650   Record.AddStmt(E->getCallee());
651   for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
652        Arg != ArgEnd; ++Arg)
653     Record.AddStmt(*Arg);
654   Record.push_back(static_cast<unsigned>(E->getADLCallKind()));
655   Code = serialization::EXPR_CALL;
656 }
657 
658 void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
659   // Don't call VisitExpr, we'll write everything here.
660 
661   Record.push_back(E->hasQualifier());
662   if (E->hasQualifier())
663     Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
664 
665   Record.push_back(E->hasTemplateKWAndArgsInfo());
666   if (E->hasTemplateKWAndArgsInfo()) {
667     Record.AddSourceLocation(E->getTemplateKeywordLoc());
668     unsigned NumTemplateArgs = E->getNumTemplateArgs();
669     Record.push_back(NumTemplateArgs);
670     Record.AddSourceLocation(E->getLAngleLoc());
671     Record.AddSourceLocation(E->getRAngleLoc());
672     for (unsigned i=0; i != NumTemplateArgs; ++i)
673       Record.AddTemplateArgumentLoc(E->getTemplateArgs()[i]);
674   }
675 
676   Record.push_back(E->hadMultipleCandidates());
677 
678   DeclAccessPair FoundDecl = E->getFoundDecl();
679   Record.AddDeclRef(FoundDecl.getDecl());
680   Record.push_back(FoundDecl.getAccess());
681 
682   Record.AddTypeRef(E->getType());
683   Record.push_back(E->getValueKind());
684   Record.push_back(E->getObjectKind());
685   Record.AddStmt(E->getBase());
686   Record.AddDeclRef(E->getMemberDecl());
687   Record.AddSourceLocation(E->getMemberLoc());
688   Record.push_back(E->isArrow());
689   Record.AddSourceLocation(E->getOperatorLoc());
690   Record.AddDeclarationNameLoc(E->MemberDNLoc,
691                                E->getMemberDecl()->getDeclName());
692   Code = serialization::EXPR_MEMBER;
693 }
694 
695 void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
696   VisitExpr(E);
697   Record.AddStmt(E->getBase());
698   Record.AddSourceLocation(E->getIsaMemberLoc());
699   Record.AddSourceLocation(E->getOpLoc());
700   Record.push_back(E->isArrow());
701   Code = serialization::EXPR_OBJC_ISA;
702 }
703 
704 void ASTStmtWriter::
705 VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
706   VisitExpr(E);
707   Record.AddStmt(E->getSubExpr());
708   Record.push_back(E->shouldCopy());
709   Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
710 }
711 
712 void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
713   VisitExplicitCastExpr(E);
714   Record.AddSourceLocation(E->getLParenLoc());
715   Record.AddSourceLocation(E->getBridgeKeywordLoc());
716   Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
717   Code = serialization::EXPR_OBJC_BRIDGED_CAST;
718 }
719 
720 void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
721   VisitExpr(E);
722   Record.push_back(E->path_size());
723   Record.AddStmt(E->getSubExpr());
724   Record.push_back(E->getCastKind()); // FIXME: stable encoding
725 
726   for (CastExpr::path_iterator
727          PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
728     Record.AddCXXBaseSpecifier(**PI);
729 }
730 
731 void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
732   VisitExpr(E);
733   Record.AddStmt(E->getLHS());
734   Record.AddStmt(E->getRHS());
735   Record.push_back(E->getOpcode()); // FIXME: stable encoding
736   Record.AddSourceLocation(E->getOperatorLoc());
737   Record.push_back(E->getFPFeatures().getInt());
738   Code = serialization::EXPR_BINARY_OPERATOR;
739 }
740 
741 void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
742   VisitBinaryOperator(E);
743   Record.AddTypeRef(E->getComputationLHSType());
744   Record.AddTypeRef(E->getComputationResultType());
745   Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
746 }
747 
748 void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
749   VisitExpr(E);
750   Record.AddStmt(E->getCond());
751   Record.AddStmt(E->getLHS());
752   Record.AddStmt(E->getRHS());
753   Record.AddSourceLocation(E->getQuestionLoc());
754   Record.AddSourceLocation(E->getColonLoc());
755   Code = serialization::EXPR_CONDITIONAL_OPERATOR;
756 }
757 
758 void
759 ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
760   VisitExpr(E);
761   Record.AddStmt(E->getOpaqueValue());
762   Record.AddStmt(E->getCommon());
763   Record.AddStmt(E->getCond());
764   Record.AddStmt(E->getTrueExpr());
765   Record.AddStmt(E->getFalseExpr());
766   Record.AddSourceLocation(E->getQuestionLoc());
767   Record.AddSourceLocation(E->getColonLoc());
768   Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
769 }
770 
771 void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
772   VisitCastExpr(E);
773   Record.push_back(E->isPartOfExplicitCast());
774 
775   if (E->path_size() == 0)
776     AbbrevToUse = Writer.getExprImplicitCastAbbrev();
777 
778   Code = serialization::EXPR_IMPLICIT_CAST;
779 }
780 
781 void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
782   VisitCastExpr(E);
783   Record.AddTypeSourceInfo(E->getTypeInfoAsWritten());
784 }
785 
786 void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
787   VisitExplicitCastExpr(E);
788   Record.AddSourceLocation(E->getLParenLoc());
789   Record.AddSourceLocation(E->getRParenLoc());
790   Code = serialization::EXPR_CSTYLE_CAST;
791 }
792 
793 void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
794   VisitExpr(E);
795   Record.AddSourceLocation(E->getLParenLoc());
796   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
797   Record.AddStmt(E->getInitializer());
798   Record.push_back(E->isFileScope());
799   Code = serialization::EXPR_COMPOUND_LITERAL;
800 }
801 
802 void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
803   VisitExpr(E);
804   Record.AddStmt(E->getBase());
805   Record.AddIdentifierRef(&E->getAccessor());
806   Record.AddSourceLocation(E->getAccessorLoc());
807   Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
808 }
809 
810 void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
811   VisitExpr(E);
812   // NOTE: only add the (possibly null) syntactic form.
813   // No need to serialize the isSemanticForm flag and the semantic form.
814   Record.AddStmt(E->getSyntacticForm());
815   Record.AddSourceLocation(E->getLBraceLoc());
816   Record.AddSourceLocation(E->getRBraceLoc());
817   bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
818   Record.push_back(isArrayFiller);
819   if (isArrayFiller)
820     Record.AddStmt(E->getArrayFiller());
821   else
822     Record.AddDeclRef(E->getInitializedFieldInUnion());
823   Record.push_back(E->hadArrayRangeDesignator());
824   Record.push_back(E->getNumInits());
825   if (isArrayFiller) {
826     // ArrayFiller may have filled "holes" due to designated initializer.
827     // Replace them by 0 to indicate that the filler goes in that place.
828     Expr *filler = E->getArrayFiller();
829     for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
830       Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr);
831   } else {
832     for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
833       Record.AddStmt(E->getInit(I));
834   }
835   Code = serialization::EXPR_INIT_LIST;
836 }
837 
838 void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
839   VisitExpr(E);
840   Record.push_back(E->getNumSubExprs());
841   for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
842     Record.AddStmt(E->getSubExpr(I));
843   Record.AddSourceLocation(E->getEqualOrColonLoc());
844   Record.push_back(E->usesGNUSyntax());
845   for (const DesignatedInitExpr::Designator &D : E->designators()) {
846     if (D.isFieldDesignator()) {
847       if (FieldDecl *Field = D.getField()) {
848         Record.push_back(serialization::DESIG_FIELD_DECL);
849         Record.AddDeclRef(Field);
850       } else {
851         Record.push_back(serialization::DESIG_FIELD_NAME);
852         Record.AddIdentifierRef(D.getFieldName());
853       }
854       Record.AddSourceLocation(D.getDotLoc());
855       Record.AddSourceLocation(D.getFieldLoc());
856     } else if (D.isArrayDesignator()) {
857       Record.push_back(serialization::DESIG_ARRAY);
858       Record.push_back(D.getFirstExprIndex());
859       Record.AddSourceLocation(D.getLBracketLoc());
860       Record.AddSourceLocation(D.getRBracketLoc());
861     } else {
862       assert(D.isArrayRangeDesignator() && "Unknown designator");
863       Record.push_back(serialization::DESIG_ARRAY_RANGE);
864       Record.push_back(D.getFirstExprIndex());
865       Record.AddSourceLocation(D.getLBracketLoc());
866       Record.AddSourceLocation(D.getEllipsisLoc());
867       Record.AddSourceLocation(D.getRBracketLoc());
868     }
869   }
870   Code = serialization::EXPR_DESIGNATED_INIT;
871 }
872 
873 void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
874   VisitExpr(E);
875   Record.AddStmt(E->getBase());
876   Record.AddStmt(E->getUpdater());
877   Code = serialization::EXPR_DESIGNATED_INIT_UPDATE;
878 }
879 
880 void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
881   VisitExpr(E);
882   Code = serialization::EXPR_NO_INIT;
883 }
884 
885 void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
886   VisitExpr(E);
887   Record.AddStmt(E->SubExprs[0]);
888   Record.AddStmt(E->SubExprs[1]);
889   Code = serialization::EXPR_ARRAY_INIT_LOOP;
890 }
891 
892 void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
893   VisitExpr(E);
894   Code = serialization::EXPR_ARRAY_INIT_INDEX;
895 }
896 
897 void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
898   VisitExpr(E);
899   Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
900 }
901 
902 void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
903   VisitExpr(E);
904   Record.AddStmt(E->getSubExpr());
905   Record.AddTypeSourceInfo(E->getWrittenTypeInfo());
906   Record.AddSourceLocation(E->getBuiltinLoc());
907   Record.AddSourceLocation(E->getRParenLoc());
908   Record.push_back(E->isMicrosoftABI());
909   Code = serialization::EXPR_VA_ARG;
910 }
911 
912 void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
913   VisitExpr(E);
914   Record.AddSourceLocation(E->getAmpAmpLoc());
915   Record.AddSourceLocation(E->getLabelLoc());
916   Record.AddDeclRef(E->getLabel());
917   Code = serialization::EXPR_ADDR_LABEL;
918 }
919 
920 void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
921   VisitExpr(E);
922   Record.AddStmt(E->getSubStmt());
923   Record.AddSourceLocation(E->getLParenLoc());
924   Record.AddSourceLocation(E->getRParenLoc());
925   Code = serialization::EXPR_STMT;
926 }
927 
928 void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
929   VisitExpr(E);
930   Record.AddStmt(E->getCond());
931   Record.AddStmt(E->getLHS());
932   Record.AddStmt(E->getRHS());
933   Record.AddSourceLocation(E->getBuiltinLoc());
934   Record.AddSourceLocation(E->getRParenLoc());
935   Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue());
936   Code = serialization::EXPR_CHOOSE;
937 }
938 
939 void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
940   VisitExpr(E);
941   Record.AddSourceLocation(E->getTokenLocation());
942   Code = serialization::EXPR_GNU_NULL;
943 }
944 
945 void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
946   VisitExpr(E);
947   Record.push_back(E->getNumSubExprs());
948   for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
949     Record.AddStmt(E->getExpr(I));
950   Record.AddSourceLocation(E->getBuiltinLoc());
951   Record.AddSourceLocation(E->getRParenLoc());
952   Code = serialization::EXPR_SHUFFLE_VECTOR;
953 }
954 
955 void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
956   VisitExpr(E);
957   Record.AddSourceLocation(E->getBuiltinLoc());
958   Record.AddSourceLocation(E->getRParenLoc());
959   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
960   Record.AddStmt(E->getSrcExpr());
961   Code = serialization::EXPR_CONVERT_VECTOR;
962 }
963 
964 void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
965   VisitExpr(E);
966   Record.AddDeclRef(E->getBlockDecl());
967   Code = serialization::EXPR_BLOCK;
968 }
969 
970 void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
971   VisitExpr(E);
972   Record.push_back(E->getNumAssocs());
973 
974   Record.AddStmt(E->getControllingExpr());
975   for (unsigned I = 0, N = E->getNumAssocs(); I != N; ++I) {
976     Record.AddTypeSourceInfo(E->getAssocTypeSourceInfo(I));
977     Record.AddStmt(E->getAssocExpr(I));
978   }
979   Record.push_back(E->isResultDependent() ? -1U : E->getResultIndex());
980 
981   Record.AddSourceLocation(E->getGenericLoc());
982   Record.AddSourceLocation(E->getDefaultLoc());
983   Record.AddSourceLocation(E->getRParenLoc());
984   Code = serialization::EXPR_GENERIC_SELECTION;
985 }
986 
987 void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
988   VisitExpr(E);
989   Record.push_back(E->getNumSemanticExprs());
990 
991   // Push the result index.  Currently, this needs to exactly match
992   // the encoding used internally for ResultIndex.
993   unsigned result = E->getResultExprIndex();
994   result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
995   Record.push_back(result);
996 
997   Record.AddStmt(E->getSyntacticForm());
998   for (PseudoObjectExpr::semantics_iterator
999          i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
1000     Record.AddStmt(*i);
1001   }
1002   Code = serialization::EXPR_PSEUDO_OBJECT;
1003 }
1004 
1005 void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
1006   VisitExpr(E);
1007   Record.push_back(E->getOp());
1008   for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1009     Record.AddStmt(E->getSubExprs()[I]);
1010   Record.AddSourceLocation(E->getBuiltinLoc());
1011   Record.AddSourceLocation(E->getRParenLoc());
1012   Code = serialization::EXPR_ATOMIC;
1013 }
1014 
1015 //===----------------------------------------------------------------------===//
1016 // Objective-C Expressions and Statements.
1017 //===----------------------------------------------------------------------===//
1018 
1019 void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
1020   VisitExpr(E);
1021   Record.AddStmt(E->getString());
1022   Record.AddSourceLocation(E->getAtLoc());
1023   Code = serialization::EXPR_OBJC_STRING_LITERAL;
1024 }
1025 
1026 void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
1027   VisitExpr(E);
1028   Record.AddStmt(E->getSubExpr());
1029   Record.AddDeclRef(E->getBoxingMethod());
1030   Record.AddSourceRange(E->getSourceRange());
1031   Code = serialization::EXPR_OBJC_BOXED_EXPRESSION;
1032 }
1033 
1034 void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1035   VisitExpr(E);
1036   Record.push_back(E->getNumElements());
1037   for (unsigned i = 0; i < E->getNumElements(); i++)
1038     Record.AddStmt(E->getElement(i));
1039   Record.AddDeclRef(E->getArrayWithObjectsMethod());
1040   Record.AddSourceRange(E->getSourceRange());
1041   Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
1042 }
1043 
1044 void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1045   VisitExpr(E);
1046   Record.push_back(E->getNumElements());
1047   Record.push_back(E->HasPackExpansions);
1048   for (unsigned i = 0; i < E->getNumElements(); i++) {
1049     ObjCDictionaryElement Element = E->getKeyValueElement(i);
1050     Record.AddStmt(Element.Key);
1051     Record.AddStmt(Element.Value);
1052     if (E->HasPackExpansions) {
1053       Record.AddSourceLocation(Element.EllipsisLoc);
1054       unsigned NumExpansions = 0;
1055       if (Element.NumExpansions)
1056         NumExpansions = *Element.NumExpansions + 1;
1057       Record.push_back(NumExpansions);
1058     }
1059   }
1060 
1061   Record.AddDeclRef(E->getDictWithObjectsMethod());
1062   Record.AddSourceRange(E->getSourceRange());
1063   Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
1064 }
1065 
1066 void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
1067   VisitExpr(E);
1068   Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo());
1069   Record.AddSourceLocation(E->getAtLoc());
1070   Record.AddSourceLocation(E->getRParenLoc());
1071   Code = serialization::EXPR_OBJC_ENCODE;
1072 }
1073 
1074 void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
1075   VisitExpr(E);
1076   Record.AddSelectorRef(E->getSelector());
1077   Record.AddSourceLocation(E->getAtLoc());
1078   Record.AddSourceLocation(E->getRParenLoc());
1079   Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
1080 }
1081 
1082 void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
1083   VisitExpr(E);
1084   Record.AddDeclRef(E->getProtocol());
1085   Record.AddSourceLocation(E->getAtLoc());
1086   Record.AddSourceLocation(E->ProtoLoc);
1087   Record.AddSourceLocation(E->getRParenLoc());
1088   Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
1089 }
1090 
1091 void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
1092   VisitExpr(E);
1093   Record.AddDeclRef(E->getDecl());
1094   Record.AddSourceLocation(E->getLocation());
1095   Record.AddSourceLocation(E->getOpLoc());
1096   Record.AddStmt(E->getBase());
1097   Record.push_back(E->isArrow());
1098   Record.push_back(E->isFreeIvar());
1099   Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
1100 }
1101 
1102 void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
1103   VisitExpr(E);
1104   Record.push_back(E->SetterAndMethodRefFlags.getInt());
1105   Record.push_back(E->isImplicitProperty());
1106   if (E->isImplicitProperty()) {
1107     Record.AddDeclRef(E->getImplicitPropertyGetter());
1108     Record.AddDeclRef(E->getImplicitPropertySetter());
1109   } else {
1110     Record.AddDeclRef(E->getExplicitProperty());
1111   }
1112   Record.AddSourceLocation(E->getLocation());
1113   Record.AddSourceLocation(E->getReceiverLocation());
1114   if (E->isObjectReceiver()) {
1115     Record.push_back(0);
1116     Record.AddStmt(E->getBase());
1117   } else if (E->isSuperReceiver()) {
1118     Record.push_back(1);
1119     Record.AddTypeRef(E->getSuperReceiverType());
1120   } else {
1121     Record.push_back(2);
1122     Record.AddDeclRef(E->getClassReceiver());
1123   }
1124 
1125   Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
1126 }
1127 
1128 void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1129   VisitExpr(E);
1130   Record.AddSourceLocation(E->getRBracket());
1131   Record.AddStmt(E->getBaseExpr());
1132   Record.AddStmt(E->getKeyExpr());
1133   Record.AddDeclRef(E->getAtIndexMethodDecl());
1134   Record.AddDeclRef(E->setAtIndexMethodDecl());
1135 
1136   Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
1137 }
1138 
1139 void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
1140   VisitExpr(E);
1141   Record.push_back(E->getNumArgs());
1142   Record.push_back(E->getNumStoredSelLocs());
1143   Record.push_back(E->SelLocsKind);
1144   Record.push_back(E->isDelegateInitCall());
1145   Record.push_back(E->IsImplicit);
1146   Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
1147   switch (E->getReceiverKind()) {
1148   case ObjCMessageExpr::Instance:
1149     Record.AddStmt(E->getInstanceReceiver());
1150     break;
1151 
1152   case ObjCMessageExpr::Class:
1153     Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo());
1154     break;
1155 
1156   case ObjCMessageExpr::SuperClass:
1157   case ObjCMessageExpr::SuperInstance:
1158     Record.AddTypeRef(E->getSuperType());
1159     Record.AddSourceLocation(E->getSuperLoc());
1160     break;
1161   }
1162 
1163   if (E->getMethodDecl()) {
1164     Record.push_back(1);
1165     Record.AddDeclRef(E->getMethodDecl());
1166   } else {
1167     Record.push_back(0);
1168     Record.AddSelectorRef(E->getSelector());
1169   }
1170 
1171   Record.AddSourceLocation(E->getLeftLoc());
1172   Record.AddSourceLocation(E->getRightLoc());
1173 
1174   for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1175        Arg != ArgEnd; ++Arg)
1176     Record.AddStmt(*Arg);
1177 
1178   SourceLocation *Locs = E->getStoredSelLocs();
1179   for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
1180     Record.AddSourceLocation(Locs[i]);
1181 
1182   Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
1183 }
1184 
1185 void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
1186   VisitStmt(S);
1187   Record.AddStmt(S->getElement());
1188   Record.AddStmt(S->getCollection());
1189   Record.AddStmt(S->getBody());
1190   Record.AddSourceLocation(S->getForLoc());
1191   Record.AddSourceLocation(S->getRParenLoc());
1192   Code = serialization::STMT_OBJC_FOR_COLLECTION;
1193 }
1194 
1195 void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
1196   Record.AddStmt(S->getCatchBody());
1197   Record.AddDeclRef(S->getCatchParamDecl());
1198   Record.AddSourceLocation(S->getAtCatchLoc());
1199   Record.AddSourceLocation(S->getRParenLoc());
1200   Code = serialization::STMT_OBJC_CATCH;
1201 }
1202 
1203 void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
1204   Record.AddStmt(S->getFinallyBody());
1205   Record.AddSourceLocation(S->getAtFinallyLoc());
1206   Code = serialization::STMT_OBJC_FINALLY;
1207 }
1208 
1209 void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
1210   Record.AddStmt(S->getSubStmt());
1211   Record.AddSourceLocation(S->getAtLoc());
1212   Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
1213 }
1214 
1215 void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
1216   Record.push_back(S->getNumCatchStmts());
1217   Record.push_back(S->getFinallyStmt() != nullptr);
1218   Record.AddStmt(S->getTryBody());
1219   for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I)
1220     Record.AddStmt(S->getCatchStmt(I));
1221   if (S->getFinallyStmt())
1222     Record.AddStmt(S->getFinallyStmt());
1223   Record.AddSourceLocation(S->getAtTryLoc());
1224   Code = serialization::STMT_OBJC_AT_TRY;
1225 }
1226 
1227 void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
1228   Record.AddStmt(S->getSynchExpr());
1229   Record.AddStmt(S->getSynchBody());
1230   Record.AddSourceLocation(S->getAtSynchronizedLoc());
1231   Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
1232 }
1233 
1234 void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
1235   Record.AddStmt(S->getThrowExpr());
1236   Record.AddSourceLocation(S->getThrowLoc());
1237   Code = serialization::STMT_OBJC_AT_THROW;
1238 }
1239 
1240 void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1241   VisitExpr(E);
1242   Record.push_back(E->getValue());
1243   Record.AddSourceLocation(E->getLocation());
1244   Code = serialization::EXPR_OBJC_BOOL_LITERAL;
1245 }
1246 
1247 void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1248   VisitExpr(E);
1249   Record.AddSourceRange(E->getSourceRange());
1250   Record.AddVersionTuple(E->getVersion());
1251   Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK;
1252 }
1253 
1254 //===----------------------------------------------------------------------===//
1255 // C++ Expressions and Statements.
1256 //===----------------------------------------------------------------------===//
1257 
1258 void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
1259   VisitStmt(S);
1260   Record.AddSourceLocation(S->getCatchLoc());
1261   Record.AddDeclRef(S->getExceptionDecl());
1262   Record.AddStmt(S->getHandlerBlock());
1263   Code = serialization::STMT_CXX_CATCH;
1264 }
1265 
1266 void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
1267   VisitStmt(S);
1268   Record.push_back(S->getNumHandlers());
1269   Record.AddSourceLocation(S->getTryLoc());
1270   Record.AddStmt(S->getTryBlock());
1271   for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
1272     Record.AddStmt(S->getHandler(i));
1273   Code = serialization::STMT_CXX_TRY;
1274 }
1275 
1276 void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1277   VisitStmt(S);
1278   Record.AddSourceLocation(S->getForLoc());
1279   Record.AddSourceLocation(S->getCoawaitLoc());
1280   Record.AddSourceLocation(S->getColonLoc());
1281   Record.AddSourceLocation(S->getRParenLoc());
1282   Record.AddStmt(S->getInit());
1283   Record.AddStmt(S->getRangeStmt());
1284   Record.AddStmt(S->getBeginStmt());
1285   Record.AddStmt(S->getEndStmt());
1286   Record.AddStmt(S->getCond());
1287   Record.AddStmt(S->getInc());
1288   Record.AddStmt(S->getLoopVarStmt());
1289   Record.AddStmt(S->getBody());
1290   Code = serialization::STMT_CXX_FOR_RANGE;
1291 }
1292 
1293 void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1294   VisitStmt(S);
1295   Record.AddSourceLocation(S->getKeywordLoc());
1296   Record.push_back(S->isIfExists());
1297   Record.AddNestedNameSpecifierLoc(S->getQualifierLoc());
1298   Record.AddDeclarationNameInfo(S->getNameInfo());
1299   Record.AddStmt(S->getSubStmt());
1300   Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1301 }
1302 
1303 void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
1304   VisitCallExpr(E);
1305   Record.push_back(E->getOperator());
1306   Record.push_back(E->getFPFeatures().getInt());
1307   Record.AddSourceRange(E->Range);
1308   Code = serialization::EXPR_CXX_OPERATOR_CALL;
1309 }
1310 
1311 void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
1312   VisitCallExpr(E);
1313   Code = serialization::EXPR_CXX_MEMBER_CALL;
1314 }
1315 
1316 void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
1317   VisitExpr(E);
1318 
1319   Record.push_back(E->getNumArgs());
1320   Record.push_back(E->isElidable());
1321   Record.push_back(E->hadMultipleCandidates());
1322   Record.push_back(E->isListInitialization());
1323   Record.push_back(E->isStdInitListInitialization());
1324   Record.push_back(E->requiresZeroInitialization());
1325   Record.push_back(E->getConstructionKind()); // FIXME: stable encoding
1326   Record.AddSourceLocation(E->getLocation());
1327   Record.AddDeclRef(E->getConstructor());
1328   Record.AddSourceRange(E->getParenOrBraceRange());
1329 
1330   for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1331     Record.AddStmt(E->getArg(I));
1332 
1333   Code = serialization::EXPR_CXX_CONSTRUCT;
1334 }
1335 
1336 void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1337   VisitExpr(E);
1338   Record.AddDeclRef(E->getConstructor());
1339   Record.AddSourceLocation(E->getLocation());
1340   Record.push_back(E->constructsVBase());
1341   Record.push_back(E->inheritedFromVBase());
1342   Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT;
1343 }
1344 
1345 void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
1346   VisitCXXConstructExpr(E);
1347   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1348   Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
1349 }
1350 
1351 void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1352   VisitExpr(E);
1353   Record.push_back(E->NumCaptures);
1354   Record.AddSourceRange(E->IntroducerRange);
1355   Record.push_back(E->CaptureDefault); // FIXME: stable encoding
1356   Record.AddSourceLocation(E->CaptureDefaultLoc);
1357   Record.push_back(E->ExplicitParams);
1358   Record.push_back(E->ExplicitResultType);
1359   Record.AddSourceLocation(E->ClosingBrace);
1360 
1361   // Add capture initializers.
1362   for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1363                                       CEnd = E->capture_init_end();
1364        C != CEnd; ++C) {
1365     Record.AddStmt(*C);
1366   }
1367 
1368   Code = serialization::EXPR_LAMBDA;
1369 }
1370 
1371 void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1372   VisitExpr(E);
1373   Record.AddStmt(E->getSubExpr());
1374   Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST;
1375 }
1376 
1377 void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
1378   VisitExplicitCastExpr(E);
1379   Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1380   Record.AddSourceRange(E->getAngleBrackets());
1381 }
1382 
1383 void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
1384   VisitCXXNamedCastExpr(E);
1385   Code = serialization::EXPR_CXX_STATIC_CAST;
1386 }
1387 
1388 void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
1389   VisitCXXNamedCastExpr(E);
1390   Code = serialization::EXPR_CXX_DYNAMIC_CAST;
1391 }
1392 
1393 void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
1394   VisitCXXNamedCastExpr(E);
1395   Code = serialization::EXPR_CXX_REINTERPRET_CAST;
1396 }
1397 
1398 void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
1399   VisitCXXNamedCastExpr(E);
1400   Code = serialization::EXPR_CXX_CONST_CAST;
1401 }
1402 
1403 void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
1404   VisitExplicitCastExpr(E);
1405   Record.AddSourceLocation(E->getLParenLoc());
1406   Record.AddSourceLocation(E->getRParenLoc());
1407   Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
1408 }
1409 
1410 void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1411   VisitCallExpr(E);
1412   Record.AddSourceLocation(E->UDSuffixLoc);
1413   Code = serialization::EXPR_USER_DEFINED_LITERAL;
1414 }
1415 
1416 void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
1417   VisitExpr(E);
1418   Record.push_back(E->getValue());
1419   Record.AddSourceLocation(E->getLocation());
1420   Code = serialization::EXPR_CXX_BOOL_LITERAL;
1421 }
1422 
1423 void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
1424   VisitExpr(E);
1425   Record.AddSourceLocation(E->getLocation());
1426   Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
1427 }
1428 
1429 void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
1430   VisitExpr(E);
1431   Record.AddSourceRange(E->getSourceRange());
1432   if (E->isTypeOperand()) {
1433     Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
1434     Code = serialization::EXPR_CXX_TYPEID_TYPE;
1435   } else {
1436     Record.AddStmt(E->getExprOperand());
1437     Code = serialization::EXPR_CXX_TYPEID_EXPR;
1438   }
1439 }
1440 
1441 void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
1442   VisitExpr(E);
1443   Record.AddSourceLocation(E->getLocation());
1444   Record.push_back(E->isImplicit());
1445   Code = serialization::EXPR_CXX_THIS;
1446 }
1447 
1448 void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
1449   VisitExpr(E);
1450   Record.AddSourceLocation(E->getThrowLoc());
1451   Record.AddStmt(E->getSubExpr());
1452   Record.push_back(E->isThrownVariableInScope());
1453   Code = serialization::EXPR_CXX_THROW;
1454 }
1455 
1456 void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
1457   VisitExpr(E);
1458   Record.AddDeclRef(E->getParam());
1459   Record.AddSourceLocation(E->getUsedLocation());
1460   Code = serialization::EXPR_CXX_DEFAULT_ARG;
1461 }
1462 
1463 void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1464   VisitExpr(E);
1465   Record.AddDeclRef(E->getField());
1466   Record.AddSourceLocation(E->getExprLoc());
1467   Code = serialization::EXPR_CXX_DEFAULT_INIT;
1468 }
1469 
1470 void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
1471   VisitExpr(E);
1472   Record.AddCXXTemporary(E->getTemporary());
1473   Record.AddStmt(E->getSubExpr());
1474   Code = serialization::EXPR_CXX_BIND_TEMPORARY;
1475 }
1476 
1477 void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
1478   VisitExpr(E);
1479   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1480   Record.AddSourceLocation(E->getRParenLoc());
1481   Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
1482 }
1483 
1484 void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
1485   VisitExpr(E);
1486   Record.push_back(E->isGlobalNew());
1487   Record.push_back(E->isArray());
1488   Record.push_back(E->passAlignment());
1489   Record.push_back(E->doesUsualArrayDeleteWantSize());
1490   Record.push_back(E->getNumPlacementArgs());
1491   Record.push_back(E->StoredInitializationStyle);
1492   Record.AddDeclRef(E->getOperatorNew());
1493   Record.AddDeclRef(E->getOperatorDelete());
1494   Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo());
1495   Record.AddSourceRange(E->getTypeIdParens());
1496   Record.AddSourceRange(E->getSourceRange());
1497   Record.AddSourceRange(E->getDirectInitRange());
1498   for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), e = E->raw_arg_end();
1499        I != e; ++I)
1500     Record.AddStmt(*I);
1501 
1502   Code = serialization::EXPR_CXX_NEW;
1503 }
1504 
1505 void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
1506   VisitExpr(E);
1507   Record.push_back(E->isGlobalDelete());
1508   Record.push_back(E->isArrayForm());
1509   Record.push_back(E->isArrayFormAsWritten());
1510   Record.push_back(E->doesUsualArrayDeleteWantSize());
1511   Record.AddDeclRef(E->getOperatorDelete());
1512   Record.AddStmt(E->getArgument());
1513   Record.AddSourceLocation(E->getBeginLoc());
1514 
1515   Code = serialization::EXPR_CXX_DELETE;
1516 }
1517 
1518 void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
1519   VisitExpr(E);
1520 
1521   Record.AddStmt(E->getBase());
1522   Record.push_back(E->isArrow());
1523   Record.AddSourceLocation(E->getOperatorLoc());
1524   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1525   Record.AddTypeSourceInfo(E->getScopeTypeInfo());
1526   Record.AddSourceLocation(E->getColonColonLoc());
1527   Record.AddSourceLocation(E->getTildeLoc());
1528 
1529   // PseudoDestructorTypeStorage.
1530   Record.AddIdentifierRef(E->getDestroyedTypeIdentifier());
1531   if (E->getDestroyedTypeIdentifier())
1532     Record.AddSourceLocation(E->getDestroyedTypeLoc());
1533   else
1534     Record.AddTypeSourceInfo(E->getDestroyedTypeInfo());
1535 
1536   Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
1537 }
1538 
1539 void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
1540   VisitExpr(E);
1541   Record.push_back(E->getNumObjects());
1542   for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i)
1543     Record.AddDeclRef(E->getObject(i));
1544 
1545   Record.push_back(E->cleanupsHaveSideEffects());
1546   Record.AddStmt(E->getSubExpr());
1547   Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
1548 }
1549 
1550 void
1551 ASTStmtWriter::VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E){
1552   VisitExpr(E);
1553 
1554   // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1555   // emitted first.
1556 
1557   Record.push_back(E->HasTemplateKWAndArgsInfo);
1558   if (E->HasTemplateKWAndArgsInfo) {
1559     const ASTTemplateKWAndArgsInfo &ArgInfo =
1560         *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1561     Record.push_back(ArgInfo.NumTemplateArgs);
1562     AddTemplateKWAndArgsInfo(ArgInfo,
1563                              E->getTrailingObjects<TemplateArgumentLoc>());
1564   }
1565 
1566   if (!E->isImplicitAccess())
1567     Record.AddStmt(E->getBase());
1568   else
1569     Record.AddStmt(nullptr);
1570   Record.AddTypeRef(E->getBaseType());
1571   Record.push_back(E->isArrow());
1572   Record.AddSourceLocation(E->getOperatorLoc());
1573   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1574   Record.AddDeclRef(E->getFirstQualifierFoundInScope());
1575   Record.AddDeclarationNameInfo(E->MemberNameInfo);
1576   Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
1577 }
1578 
1579 void
1580 ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
1581   VisitExpr(E);
1582 
1583   // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1584   // emitted first.
1585 
1586   Record.push_back(E->HasTemplateKWAndArgsInfo);
1587   if (E->HasTemplateKWAndArgsInfo) {
1588     const ASTTemplateKWAndArgsInfo &ArgInfo =
1589         *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1590     Record.push_back(ArgInfo.NumTemplateArgs);
1591     AddTemplateKWAndArgsInfo(ArgInfo,
1592                              E->getTrailingObjects<TemplateArgumentLoc>());
1593   }
1594 
1595   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1596   Record.AddDeclarationNameInfo(E->NameInfo);
1597   Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
1598 }
1599 
1600 void
1601 ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
1602   VisitExpr(E);
1603   Record.push_back(E->arg_size());
1604   for (CXXUnresolvedConstructExpr::arg_iterator
1605          ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
1606     Record.AddStmt(*ArgI);
1607   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1608   Record.AddSourceLocation(E->getLParenLoc());
1609   Record.AddSourceLocation(E->getRParenLoc());
1610   Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
1611 }
1612 
1613 void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
1614   VisitExpr(E);
1615 
1616   // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1617   // emitted first.
1618 
1619   Record.push_back(E->HasTemplateKWAndArgsInfo);
1620   if (E->HasTemplateKWAndArgsInfo) {
1621     const ASTTemplateKWAndArgsInfo &ArgInfo =
1622         *E->getTrailingASTTemplateKWAndArgsInfo();
1623     Record.push_back(ArgInfo.NumTemplateArgs);
1624     AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
1625   }
1626 
1627   Record.push_back(E->getNumDecls());
1628   for (OverloadExpr::decls_iterator
1629          OvI = E->decls_begin(), OvE = E->decls_end(); OvI != OvE; ++OvI) {
1630     Record.AddDeclRef(OvI.getDecl());
1631     Record.push_back(OvI.getAccess());
1632   }
1633 
1634   Record.AddDeclarationNameInfo(E->NameInfo);
1635   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1636 }
1637 
1638 void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
1639   VisitOverloadExpr(E);
1640   Record.push_back(E->isArrow());
1641   Record.push_back(E->hasUnresolvedUsing());
1642   Record.AddStmt(!E->isImplicitAccess() ? E->getBase() : nullptr);
1643   Record.AddTypeRef(E->getBaseType());
1644   Record.AddSourceLocation(E->getOperatorLoc());
1645   Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
1646 }
1647 
1648 void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
1649   VisitOverloadExpr(E);
1650   Record.push_back(E->requiresADL());
1651   Record.push_back(E->isOverloaded());
1652   Record.AddDeclRef(E->getNamingClass());
1653   Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
1654 }
1655 
1656 void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
1657   VisitExpr(E);
1658   Record.push_back(E->TypeTraitExprBits.NumArgs);
1659   Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
1660   Record.push_back(E->TypeTraitExprBits.Value);
1661   Record.AddSourceRange(E->getSourceRange());
1662   for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1663     Record.AddTypeSourceInfo(E->getArg(I));
1664   Code = serialization::EXPR_TYPE_TRAIT;
1665 }
1666 
1667 void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
1668   VisitExpr(E);
1669   Record.push_back(E->getTrait());
1670   Record.push_back(E->getValue());
1671   Record.AddSourceRange(E->getSourceRange());
1672   Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
1673   Record.AddStmt(E->getDimensionExpression());
1674   Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
1675 }
1676 
1677 void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
1678   VisitExpr(E);
1679   Record.push_back(E->getTrait());
1680   Record.push_back(E->getValue());
1681   Record.AddSourceRange(E->getSourceRange());
1682   Record.AddStmt(E->getQueriedExpression());
1683   Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
1684 }
1685 
1686 void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
1687   VisitExpr(E);
1688   Record.push_back(E->getValue());
1689   Record.AddSourceRange(E->getSourceRange());
1690   Record.AddStmt(E->getOperand());
1691   Code = serialization::EXPR_CXX_NOEXCEPT;
1692 }
1693 
1694 void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
1695   VisitExpr(E);
1696   Record.AddSourceLocation(E->getEllipsisLoc());
1697   Record.push_back(E->NumExpansions);
1698   Record.AddStmt(E->getPattern());
1699   Code = serialization::EXPR_PACK_EXPANSION;
1700 }
1701 
1702 void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
1703   VisitExpr(E);
1704   Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
1705                                                : 0);
1706   Record.AddSourceLocation(E->OperatorLoc);
1707   Record.AddSourceLocation(E->PackLoc);
1708   Record.AddSourceLocation(E->RParenLoc);
1709   Record.AddDeclRef(E->Pack);
1710   if (E->isPartiallySubstituted()) {
1711     for (const auto &TA : E->getPartialArguments())
1712       Record.AddTemplateArgument(TA);
1713   } else if (!E->isValueDependent()) {
1714     Record.push_back(E->getPackLength());
1715   }
1716   Code = serialization::EXPR_SIZEOF_PACK;
1717 }
1718 
1719 void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
1720                                               SubstNonTypeTemplateParmExpr *E) {
1721   VisitExpr(E);
1722   Record.AddDeclRef(E->getParameter());
1723   Record.AddSourceLocation(E->getNameLoc());
1724   Record.AddStmt(E->getReplacement());
1725   Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
1726 }
1727 
1728 void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
1729                                           SubstNonTypeTemplateParmPackExpr *E) {
1730   VisitExpr(E);
1731   Record.AddDeclRef(E->getParameterPack());
1732   Record.AddTemplateArgument(E->getArgumentPack());
1733   Record.AddSourceLocation(E->getParameterPackLocation());
1734   Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
1735 }
1736 
1737 void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
1738   VisitExpr(E);
1739   Record.push_back(E->getNumExpansions());
1740   Record.AddDeclRef(E->getParameterPack());
1741   Record.AddSourceLocation(E->getParameterPackLocation());
1742   for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
1743        I != End; ++I)
1744     Record.AddDeclRef(*I);
1745   Code = serialization::EXPR_FUNCTION_PARM_PACK;
1746 }
1747 
1748 void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
1749   VisitExpr(E);
1750   Record.AddStmt(E->getTemporary());
1751   Record.AddDeclRef(E->getExtendingDecl());
1752   Record.push_back(E->getManglingNumber());
1753   Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
1754 }
1755 
1756 void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
1757   VisitExpr(E);
1758   Record.AddSourceLocation(E->LParenLoc);
1759   Record.AddSourceLocation(E->EllipsisLoc);
1760   Record.AddSourceLocation(E->RParenLoc);
1761   Record.AddStmt(E->SubExprs[0]);
1762   Record.AddStmt(E->SubExprs[1]);
1763   Record.push_back(E->Opcode);
1764   Code = serialization::EXPR_CXX_FOLD;
1765 }
1766 
1767 void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
1768   VisitExpr(E);
1769   Record.AddStmt(E->getSourceExpr());
1770   Record.AddSourceLocation(E->getLocation());
1771   Record.push_back(E->isUnique());
1772   Code = serialization::EXPR_OPAQUE_VALUE;
1773 }
1774 
1775 void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
1776   VisitExpr(E);
1777   // TODO: Figure out sane writer behavior for a TypoExpr, if necessary
1778   llvm_unreachable("Cannot write TypoExpr nodes");
1779 }
1780 
1781 //===----------------------------------------------------------------------===//
1782 // CUDA Expressions and Statements.
1783 //===----------------------------------------------------------------------===//
1784 
1785 void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
1786   VisitCallExpr(E);
1787   Record.AddStmt(E->getConfig());
1788   Code = serialization::EXPR_CUDA_KERNEL_CALL;
1789 }
1790 
1791 //===----------------------------------------------------------------------===//
1792 // OpenCL Expressions and Statements.
1793 //===----------------------------------------------------------------------===//
1794 void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
1795   VisitExpr(E);
1796   Record.AddSourceLocation(E->getBuiltinLoc());
1797   Record.AddSourceLocation(E->getRParenLoc());
1798   Record.AddStmt(E->getSrcExpr());
1799   Code = serialization::EXPR_ASTYPE;
1800 }
1801 
1802 //===----------------------------------------------------------------------===//
1803 // Microsoft Expressions and Statements.
1804 //===----------------------------------------------------------------------===//
1805 void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
1806   VisitExpr(E);
1807   Record.push_back(E->isArrow());
1808   Record.AddStmt(E->getBaseExpr());
1809   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1810   Record.AddSourceLocation(E->getMemberLoc());
1811   Record.AddDeclRef(E->getPropertyDecl());
1812   Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR;
1813 }
1814 
1815 void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
1816   VisitExpr(E);
1817   Record.AddStmt(E->getBase());
1818   Record.AddStmt(E->getIdx());
1819   Record.AddSourceLocation(E->getRBracketLoc());
1820   Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR;
1821 }
1822 
1823 void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
1824   VisitExpr(E);
1825   Record.AddSourceRange(E->getSourceRange());
1826   Record.AddString(E->getUuidStr());
1827   if (E->isTypeOperand()) {
1828     Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
1829     Code = serialization::EXPR_CXX_UUIDOF_TYPE;
1830   } else {
1831     Record.AddStmt(E->getExprOperand());
1832     Code = serialization::EXPR_CXX_UUIDOF_EXPR;
1833   }
1834 }
1835 
1836 void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
1837   VisitStmt(S);
1838   Record.AddSourceLocation(S->getExceptLoc());
1839   Record.AddStmt(S->getFilterExpr());
1840   Record.AddStmt(S->getBlock());
1841   Code = serialization::STMT_SEH_EXCEPT;
1842 }
1843 
1844 void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
1845   VisitStmt(S);
1846   Record.AddSourceLocation(S->getFinallyLoc());
1847   Record.AddStmt(S->getBlock());
1848   Code = serialization::STMT_SEH_FINALLY;
1849 }
1850 
1851 void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
1852   VisitStmt(S);
1853   Record.push_back(S->getIsCXXTry());
1854   Record.AddSourceLocation(S->getTryLoc());
1855   Record.AddStmt(S->getTryBlock());
1856   Record.AddStmt(S->getHandler());
1857   Code = serialization::STMT_SEH_TRY;
1858 }
1859 
1860 void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
1861   VisitStmt(S);
1862   Record.AddSourceLocation(S->getLeaveLoc());
1863   Code = serialization::STMT_SEH_LEAVE;
1864 }
1865 
1866 //===----------------------------------------------------------------------===//
1867 // OpenMP Directives.
1868 //===----------------------------------------------------------------------===//
1869 void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
1870   Record.AddSourceLocation(E->getBeginLoc());
1871   Record.AddSourceLocation(E->getEndLoc());
1872   OMPClauseWriter ClauseWriter(Record);
1873   for (unsigned i = 0; i < E->getNumClauses(); ++i) {
1874     ClauseWriter.writeClause(E->getClause(i));
1875   }
1876   if (E->hasAssociatedStmt())
1877     Record.AddStmt(E->getAssociatedStmt());
1878 }
1879 
1880 void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
1881   VisitStmt(D);
1882   Record.push_back(D->getNumClauses());
1883   Record.push_back(D->getCollapsedNumber());
1884   VisitOMPExecutableDirective(D);
1885   Record.AddStmt(D->getIterationVariable());
1886   Record.AddStmt(D->getLastIteration());
1887   Record.AddStmt(D->getCalcLastIteration());
1888   Record.AddStmt(D->getPreCond());
1889   Record.AddStmt(D->getCond());
1890   Record.AddStmt(D->getInit());
1891   Record.AddStmt(D->getInc());
1892   Record.AddStmt(D->getPreInits());
1893   if (isOpenMPWorksharingDirective(D->getDirectiveKind()) ||
1894       isOpenMPTaskLoopDirective(D->getDirectiveKind()) ||
1895       isOpenMPDistributeDirective(D->getDirectiveKind())) {
1896     Record.AddStmt(D->getIsLastIterVariable());
1897     Record.AddStmt(D->getLowerBoundVariable());
1898     Record.AddStmt(D->getUpperBoundVariable());
1899     Record.AddStmt(D->getStrideVariable());
1900     Record.AddStmt(D->getEnsureUpperBound());
1901     Record.AddStmt(D->getNextLowerBound());
1902     Record.AddStmt(D->getNextUpperBound());
1903     Record.AddStmt(D->getNumIterations());
1904   }
1905   if (isOpenMPLoopBoundSharingDirective(D->getDirectiveKind())) {
1906     Record.AddStmt(D->getPrevLowerBoundVariable());
1907     Record.AddStmt(D->getPrevUpperBoundVariable());
1908     Record.AddStmt(D->getDistInc());
1909     Record.AddStmt(D->getPrevEnsureUpperBound());
1910     Record.AddStmt(D->getCombinedLowerBoundVariable());
1911     Record.AddStmt(D->getCombinedUpperBoundVariable());
1912     Record.AddStmt(D->getCombinedEnsureUpperBound());
1913     Record.AddStmt(D->getCombinedInit());
1914     Record.AddStmt(D->getCombinedCond());
1915     Record.AddStmt(D->getCombinedNextLowerBound());
1916     Record.AddStmt(D->getCombinedNextUpperBound());
1917     Record.AddStmt(D->getCombinedDistCond());
1918     Record.AddStmt(D->getCombinedParForInDistCond());
1919   }
1920   for (auto I : D->counters()) {
1921     Record.AddStmt(I);
1922   }
1923   for (auto I : D->private_counters()) {
1924     Record.AddStmt(I);
1925   }
1926   for (auto I : D->inits()) {
1927     Record.AddStmt(I);
1928   }
1929   for (auto I : D->updates()) {
1930     Record.AddStmt(I);
1931   }
1932   for (auto I : D->finals()) {
1933     Record.AddStmt(I);
1934   }
1935 }
1936 
1937 void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
1938   VisitStmt(D);
1939   Record.push_back(D->getNumClauses());
1940   VisitOMPExecutableDirective(D);
1941   Record.push_back(D->hasCancel() ? 1 : 0);
1942   Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE;
1943 }
1944 
1945 void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
1946   VisitOMPLoopDirective(D);
1947   Code = serialization::STMT_OMP_SIMD_DIRECTIVE;
1948 }
1949 
1950 void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
1951   VisitOMPLoopDirective(D);
1952   Record.push_back(D->hasCancel() ? 1 : 0);
1953   Code = serialization::STMT_OMP_FOR_DIRECTIVE;
1954 }
1955 
1956 void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
1957   VisitOMPLoopDirective(D);
1958   Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE;
1959 }
1960 
1961 void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
1962   VisitStmt(D);
1963   Record.push_back(D->getNumClauses());
1964   VisitOMPExecutableDirective(D);
1965   Record.push_back(D->hasCancel() ? 1 : 0);
1966   Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE;
1967 }
1968 
1969 void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
1970   VisitStmt(D);
1971   VisitOMPExecutableDirective(D);
1972   Record.push_back(D->hasCancel() ? 1 : 0);
1973   Code = serialization::STMT_OMP_SECTION_DIRECTIVE;
1974 }
1975 
1976 void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
1977   VisitStmt(D);
1978   Record.push_back(D->getNumClauses());
1979   VisitOMPExecutableDirective(D);
1980   Code = serialization::STMT_OMP_SINGLE_DIRECTIVE;
1981 }
1982 
1983 void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
1984   VisitStmt(D);
1985   VisitOMPExecutableDirective(D);
1986   Code = serialization::STMT_OMP_MASTER_DIRECTIVE;
1987 }
1988 
1989 void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
1990   VisitStmt(D);
1991   Record.push_back(D->getNumClauses());
1992   VisitOMPExecutableDirective(D);
1993   Record.AddDeclarationNameInfo(D->getDirectiveName());
1994   Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE;
1995 }
1996 
1997 void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
1998   VisitOMPLoopDirective(D);
1999   Record.push_back(D->hasCancel() ? 1 : 0);
2000   Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE;
2001 }
2002 
2003 void ASTStmtWriter::VisitOMPParallelForSimdDirective(
2004     OMPParallelForSimdDirective *D) {
2005   VisitOMPLoopDirective(D);
2006   Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE;
2007 }
2008 
2009 void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2010     OMPParallelSectionsDirective *D) {
2011   VisitStmt(D);
2012   Record.push_back(D->getNumClauses());
2013   VisitOMPExecutableDirective(D);
2014   Record.push_back(D->hasCancel() ? 1 : 0);
2015   Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE;
2016 }
2017 
2018 void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2019   VisitStmt(D);
2020   Record.push_back(D->getNumClauses());
2021   VisitOMPExecutableDirective(D);
2022   Record.push_back(D->hasCancel() ? 1 : 0);
2023   Code = serialization::STMT_OMP_TASK_DIRECTIVE;
2024 }
2025 
2026 void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2027   VisitStmt(D);
2028   Record.push_back(D->getNumClauses());
2029   VisitOMPExecutableDirective(D);
2030   Record.AddStmt(D->getX());
2031   Record.AddStmt(D->getV());
2032   Record.AddStmt(D->getExpr());
2033   Record.AddStmt(D->getUpdateExpr());
2034   Record.push_back(D->isXLHSInRHSPart() ? 1 : 0);
2035   Record.push_back(D->isPostfixUpdate() ? 1 : 0);
2036   Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE;
2037 }
2038 
2039 void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2040   VisitStmt(D);
2041   Record.push_back(D->getNumClauses());
2042   VisitOMPExecutableDirective(D);
2043   Code = serialization::STMT_OMP_TARGET_DIRECTIVE;
2044 }
2045 
2046 void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2047   VisitStmt(D);
2048   Record.push_back(D->getNumClauses());
2049   VisitOMPExecutableDirective(D);
2050   Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE;
2051 }
2052 
2053 void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2054     OMPTargetEnterDataDirective *D) {
2055   VisitStmt(D);
2056   Record.push_back(D->getNumClauses());
2057   VisitOMPExecutableDirective(D);
2058   Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE;
2059 }
2060 
2061 void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2062     OMPTargetExitDataDirective *D) {
2063   VisitStmt(D);
2064   Record.push_back(D->getNumClauses());
2065   VisitOMPExecutableDirective(D);
2066   Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE;
2067 }
2068 
2069 void ASTStmtWriter::VisitOMPTargetParallelDirective(
2070     OMPTargetParallelDirective *D) {
2071   VisitStmt(D);
2072   Record.push_back(D->getNumClauses());
2073   VisitOMPExecutableDirective(D);
2074   Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE;
2075 }
2076 
2077 void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2078     OMPTargetParallelForDirective *D) {
2079   VisitOMPLoopDirective(D);
2080   Record.push_back(D->hasCancel() ? 1 : 0);
2081   Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE;
2082 }
2083 
2084 void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2085   VisitStmt(D);
2086   VisitOMPExecutableDirective(D);
2087   Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE;
2088 }
2089 
2090 void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2091   VisitStmt(D);
2092   VisitOMPExecutableDirective(D);
2093   Code = serialization::STMT_OMP_BARRIER_DIRECTIVE;
2094 }
2095 
2096 void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2097   VisitStmt(D);
2098   VisitOMPExecutableDirective(D);
2099   Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE;
2100 }
2101 
2102 void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2103   VisitStmt(D);
2104   Record.push_back(D->getNumClauses());
2105   VisitOMPExecutableDirective(D);
2106   Record.AddStmt(D->getReductionRef());
2107   Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE;
2108 }
2109 
2110 void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2111   VisitStmt(D);
2112   Record.push_back(D->getNumClauses());
2113   VisitOMPExecutableDirective(D);
2114   Code = serialization::STMT_OMP_FLUSH_DIRECTIVE;
2115 }
2116 
2117 void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2118   VisitStmt(D);
2119   Record.push_back(D->getNumClauses());
2120   VisitOMPExecutableDirective(D);
2121   Code = serialization::STMT_OMP_ORDERED_DIRECTIVE;
2122 }
2123 
2124 void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2125   VisitStmt(D);
2126   Record.push_back(D->getNumClauses());
2127   VisitOMPExecutableDirective(D);
2128   Code = serialization::STMT_OMP_TEAMS_DIRECTIVE;
2129 }
2130 
2131 void ASTStmtWriter::VisitOMPCancellationPointDirective(
2132     OMPCancellationPointDirective *D) {
2133   VisitStmt(D);
2134   VisitOMPExecutableDirective(D);
2135   Record.push_back(D->getCancelRegion());
2136   Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE;
2137 }
2138 
2139 void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2140   VisitStmt(D);
2141   Record.push_back(D->getNumClauses());
2142   VisitOMPExecutableDirective(D);
2143   Record.push_back(D->getCancelRegion());
2144   Code = serialization::STMT_OMP_CANCEL_DIRECTIVE;
2145 }
2146 
2147 void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2148   VisitOMPLoopDirective(D);
2149   Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE;
2150 }
2151 
2152 void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2153   VisitOMPLoopDirective(D);
2154   Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE;
2155 }
2156 
2157 void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2158   VisitOMPLoopDirective(D);
2159   Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE;
2160 }
2161 
2162 void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2163   VisitStmt(D);
2164   Record.push_back(D->getNumClauses());
2165   VisitOMPExecutableDirective(D);
2166   Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE;
2167 }
2168 
2169 void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2170     OMPDistributeParallelForDirective *D) {
2171   VisitOMPLoopDirective(D);
2172   Record.push_back(D->hasCancel() ? 1 : 0);
2173   Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2174 }
2175 
2176 void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2177     OMPDistributeParallelForSimdDirective *D) {
2178   VisitOMPLoopDirective(D);
2179   Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2180 }
2181 
2182 void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2183     OMPDistributeSimdDirective *D) {
2184   VisitOMPLoopDirective(D);
2185   Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE;
2186 }
2187 
2188 void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2189     OMPTargetParallelForSimdDirective *D) {
2190   VisitOMPLoopDirective(D);
2191   Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE;
2192 }
2193 
2194 void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2195   VisitOMPLoopDirective(D);
2196   Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE;
2197 }
2198 
2199 void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2200     OMPTeamsDistributeDirective *D) {
2201   VisitOMPLoopDirective(D);
2202   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE;
2203 }
2204 
2205 void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2206     OMPTeamsDistributeSimdDirective *D) {
2207   VisitOMPLoopDirective(D);
2208   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2209 }
2210 
2211 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2212     OMPTeamsDistributeParallelForSimdDirective *D) {
2213   VisitOMPLoopDirective(D);
2214   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2215 }
2216 
2217 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2218     OMPTeamsDistributeParallelForDirective *D) {
2219   VisitOMPLoopDirective(D);
2220   Record.push_back(D->hasCancel() ? 1 : 0);
2221   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2222 }
2223 
2224 void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2225   VisitStmt(D);
2226   Record.push_back(D->getNumClauses());
2227   VisitOMPExecutableDirective(D);
2228   Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE;
2229 }
2230 
2231 void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2232     OMPTargetTeamsDistributeDirective *D) {
2233   VisitOMPLoopDirective(D);
2234   Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE;
2235 }
2236 
2237 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2238     OMPTargetTeamsDistributeParallelForDirective *D) {
2239   VisitOMPLoopDirective(D);
2240   Record.push_back(D->hasCancel() ? 1 : 0);
2241   Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2242 }
2243 
2244 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2245     OMPTargetTeamsDistributeParallelForSimdDirective *D) {
2246   VisitOMPLoopDirective(D);
2247   Code = serialization::
2248       STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2249 }
2250 
2251 void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2252     OMPTargetTeamsDistributeSimdDirective *D) {
2253   VisitOMPLoopDirective(D);
2254   Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2255 }
2256 
2257 //===----------------------------------------------------------------------===//
2258 // ASTWriter Implementation
2259 //===----------------------------------------------------------------------===//
2260 
2261 unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
2262   assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() &&
2263          "SwitchCase recorded twice");
2264   unsigned NextID = SwitchCaseIDs.size();
2265   SwitchCaseIDs[S] = NextID;
2266   return NextID;
2267 }
2268 
2269 unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
2270   assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() &&
2271          "SwitchCase hasn't been seen yet");
2272   return SwitchCaseIDs[S];
2273 }
2274 
2275 void ASTWriter::ClearSwitchCaseIDs() {
2276   SwitchCaseIDs.clear();
2277 }
2278 
2279 /// Write the given substatement or subexpression to the
2280 /// bitstream.
2281 void ASTWriter::WriteSubStmt(Stmt *S) {
2282   RecordData Record;
2283   ASTStmtWriter Writer(*this, Record);
2284   ++NumStatements;
2285 
2286   if (!S) {
2287     Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
2288     return;
2289   }
2290 
2291   llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2292   if (I != SubStmtEntries.end()) {
2293     Record.push_back(I->second);
2294     Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2295     return;
2296   }
2297 
2298 #ifndef NDEBUG
2299   assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2300 
2301   struct ParentStmtInserterRAII {
2302     Stmt *S;
2303     llvm::DenseSet<Stmt *> &ParentStmts;
2304 
2305     ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2306       : S(S), ParentStmts(ParentStmts) {
2307       ParentStmts.insert(S);
2308     }
2309     ~ParentStmtInserterRAII() {
2310       ParentStmts.erase(S);
2311     }
2312   };
2313 
2314   ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2315 #endif
2316 
2317   Writer.Visit(S);
2318 
2319   uint64_t Offset = Writer.Emit();
2320   SubStmtEntries[S] = Offset;
2321 }
2322 
2323 /// Flush all of the statements that have been added to the
2324 /// queue via AddStmt().
2325 void ASTRecordWriter::FlushStmts() {
2326   // We expect to be the only consumer of the two temporary statement maps,
2327   // assert that they are empty.
2328   assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2329   assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
2330 
2331   for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2332     Writer->WriteSubStmt(StmtsToEmit[I]);
2333 
2334     assert(N == StmtsToEmit.size() && "record modified while being written!");
2335 
2336     // Note that we are at the end of a full expression. Any
2337     // expression records that follow this one are part of a different
2338     // expression.
2339     Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
2340 
2341     Writer->SubStmtEntries.clear();
2342     Writer->ParentStmts.clear();
2343   }
2344 
2345   StmtsToEmit.clear();
2346 }
2347 
2348 void ASTRecordWriter::FlushSubStmts() {
2349   // For a nested statement, write out the substatements in reverse order (so
2350   // that a simple stack machine can be used when loading), and don't emit a
2351   // STMT_STOP after each one.
2352   for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2353     Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
2354     assert(N == StmtsToEmit.size() && "record modified while being written!");
2355   }
2356 
2357   StmtsToEmit.clear();
2358 }
2359