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   Record.push_back(E->getByteLength());
522   Record.push_back(E->getNumConcatenated());
523   Record.push_back(E->getKind());
524   Record.push_back(E->isPascal());
525   // FIXME: String data should be stored as a blob at the end of the
526   // StringLiteral. However, we can't do so now because we have no
527   // provision for coping with abbreviations when we're jumping around
528   // the AST file during deserialization.
529   Record.append(E->getBytes().begin(), E->getBytes().end());
530   for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
531     Record.AddSourceLocation(E->getStrTokenLoc(I));
532   Code = serialization::EXPR_STRING_LITERAL;
533 }
534 
535 void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
536   VisitExpr(E);
537   Record.push_back(E->getValue());
538   Record.AddSourceLocation(E->getLocation());
539   Record.push_back(E->getKind());
540 
541   AbbrevToUse = Writer.getCharacterLiteralAbbrev();
542 
543   Code = serialization::EXPR_CHARACTER_LITERAL;
544 }
545 
546 void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
547   VisitExpr(E);
548   Record.AddSourceLocation(E->getLParen());
549   Record.AddSourceLocation(E->getRParen());
550   Record.AddStmt(E->getSubExpr());
551   Code = serialization::EXPR_PAREN;
552 }
553 
554 void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
555   VisitExpr(E);
556   Record.push_back(E->NumExprs);
557   for (unsigned i=0; i != E->NumExprs; ++i)
558     Record.AddStmt(E->Exprs[i]);
559   Record.AddSourceLocation(E->LParenLoc);
560   Record.AddSourceLocation(E->RParenLoc);
561   Code = serialization::EXPR_PAREN_LIST;
562 }
563 
564 void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
565   VisitExpr(E);
566   Record.AddStmt(E->getSubExpr());
567   Record.push_back(E->getOpcode()); // FIXME: stable encoding
568   Record.AddSourceLocation(E->getOperatorLoc());
569   Record.push_back(E->canOverflow());
570   Code = serialization::EXPR_UNARY_OPERATOR;
571 }
572 
573 void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
574   VisitExpr(E);
575   Record.push_back(E->getNumComponents());
576   Record.push_back(E->getNumExpressions());
577   Record.AddSourceLocation(E->getOperatorLoc());
578   Record.AddSourceLocation(E->getRParenLoc());
579   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
580   for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
581     const OffsetOfNode &ON = E->getComponent(I);
582     Record.push_back(ON.getKind()); // FIXME: Stable encoding
583     Record.AddSourceLocation(ON.getSourceRange().getBegin());
584     Record.AddSourceLocation(ON.getSourceRange().getEnd());
585     switch (ON.getKind()) {
586     case OffsetOfNode::Array:
587       Record.push_back(ON.getArrayExprIndex());
588       break;
589 
590     case OffsetOfNode::Field:
591       Record.AddDeclRef(ON.getField());
592       break;
593 
594     case OffsetOfNode::Identifier:
595       Record.AddIdentifierRef(ON.getFieldName());
596       break;
597 
598     case OffsetOfNode::Base:
599       Record.AddCXXBaseSpecifier(*ON.getBase());
600       break;
601     }
602   }
603   for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
604     Record.AddStmt(E->getIndexExpr(I));
605   Code = serialization::EXPR_OFFSETOF;
606 }
607 
608 void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
609   VisitExpr(E);
610   Record.push_back(E->getKind());
611   if (E->isArgumentType())
612     Record.AddTypeSourceInfo(E->getArgumentTypeInfo());
613   else {
614     Record.push_back(0);
615     Record.AddStmt(E->getArgumentExpr());
616   }
617   Record.AddSourceLocation(E->getOperatorLoc());
618   Record.AddSourceLocation(E->getRParenLoc());
619   Code = serialization::EXPR_SIZEOF_ALIGN_OF;
620 }
621 
622 void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
623   VisitExpr(E);
624   Record.AddStmt(E->getLHS());
625   Record.AddStmt(E->getRHS());
626   Record.AddSourceLocation(E->getRBracketLoc());
627   Code = serialization::EXPR_ARRAY_SUBSCRIPT;
628 }
629 
630 void ASTStmtWriter::VisitOMPArraySectionExpr(OMPArraySectionExpr *E) {
631   VisitExpr(E);
632   Record.AddStmt(E->getBase());
633   Record.AddStmt(E->getLowerBound());
634   Record.AddStmt(E->getLength());
635   Record.AddSourceLocation(E->getColonLoc());
636   Record.AddSourceLocation(E->getRBracketLoc());
637   Code = serialization::EXPR_OMP_ARRAY_SECTION;
638 }
639 
640 void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
641   VisitExpr(E);
642   Record.push_back(E->getNumArgs());
643   Record.AddSourceLocation(E->getRParenLoc());
644   Record.AddStmt(E->getCallee());
645   for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
646        Arg != ArgEnd; ++Arg)
647     Record.AddStmt(*Arg);
648   Code = serialization::EXPR_CALL;
649 }
650 
651 void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
652   // Don't call VisitExpr, we'll write everything here.
653 
654   Record.push_back(E->hasQualifier());
655   if (E->hasQualifier())
656     Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
657 
658   Record.push_back(E->HasTemplateKWAndArgsInfo);
659   if (E->HasTemplateKWAndArgsInfo) {
660     Record.AddSourceLocation(E->getTemplateKeywordLoc());
661     unsigned NumTemplateArgs = E->getNumTemplateArgs();
662     Record.push_back(NumTemplateArgs);
663     Record.AddSourceLocation(E->getLAngleLoc());
664     Record.AddSourceLocation(E->getRAngleLoc());
665     for (unsigned i=0; i != NumTemplateArgs; ++i)
666       Record.AddTemplateArgumentLoc(E->getTemplateArgs()[i]);
667   }
668 
669   Record.push_back(E->hadMultipleCandidates());
670 
671   DeclAccessPair FoundDecl = E->getFoundDecl();
672   Record.AddDeclRef(FoundDecl.getDecl());
673   Record.push_back(FoundDecl.getAccess());
674 
675   Record.AddTypeRef(E->getType());
676   Record.push_back(E->getValueKind());
677   Record.push_back(E->getObjectKind());
678   Record.AddStmt(E->getBase());
679   Record.AddDeclRef(E->getMemberDecl());
680   Record.AddSourceLocation(E->getMemberLoc());
681   Record.push_back(E->isArrow());
682   Record.AddSourceLocation(E->getOperatorLoc());
683   Record.AddDeclarationNameLoc(E->MemberDNLoc,
684                                E->getMemberDecl()->getDeclName());
685   Code = serialization::EXPR_MEMBER;
686 }
687 
688 void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
689   VisitExpr(E);
690   Record.AddStmt(E->getBase());
691   Record.AddSourceLocation(E->getIsaMemberLoc());
692   Record.AddSourceLocation(E->getOpLoc());
693   Record.push_back(E->isArrow());
694   Code = serialization::EXPR_OBJC_ISA;
695 }
696 
697 void ASTStmtWriter::
698 VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
699   VisitExpr(E);
700   Record.AddStmt(E->getSubExpr());
701   Record.push_back(E->shouldCopy());
702   Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
703 }
704 
705 void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
706   VisitExplicitCastExpr(E);
707   Record.AddSourceLocation(E->getLParenLoc());
708   Record.AddSourceLocation(E->getBridgeKeywordLoc());
709   Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
710   Code = serialization::EXPR_OBJC_BRIDGED_CAST;
711 }
712 
713 void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
714   VisitExpr(E);
715   Record.push_back(E->path_size());
716   Record.AddStmt(E->getSubExpr());
717   Record.push_back(E->getCastKind()); // FIXME: stable encoding
718 
719   for (CastExpr::path_iterator
720          PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
721     Record.AddCXXBaseSpecifier(**PI);
722 }
723 
724 void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
725   VisitExpr(E);
726   Record.AddStmt(E->getLHS());
727   Record.AddStmt(E->getRHS());
728   Record.push_back(E->getOpcode()); // FIXME: stable encoding
729   Record.AddSourceLocation(E->getOperatorLoc());
730   Record.push_back(E->getFPFeatures().getInt());
731   Code = serialization::EXPR_BINARY_OPERATOR;
732 }
733 
734 void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
735   VisitBinaryOperator(E);
736   Record.AddTypeRef(E->getComputationLHSType());
737   Record.AddTypeRef(E->getComputationResultType());
738   Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
739 }
740 
741 void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
742   VisitExpr(E);
743   Record.AddStmt(E->getCond());
744   Record.AddStmt(E->getLHS());
745   Record.AddStmt(E->getRHS());
746   Record.AddSourceLocation(E->getQuestionLoc());
747   Record.AddSourceLocation(E->getColonLoc());
748   Code = serialization::EXPR_CONDITIONAL_OPERATOR;
749 }
750 
751 void
752 ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
753   VisitExpr(E);
754   Record.AddStmt(E->getOpaqueValue());
755   Record.AddStmt(E->getCommon());
756   Record.AddStmt(E->getCond());
757   Record.AddStmt(E->getTrueExpr());
758   Record.AddStmt(E->getFalseExpr());
759   Record.AddSourceLocation(E->getQuestionLoc());
760   Record.AddSourceLocation(E->getColonLoc());
761   Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
762 }
763 
764 void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
765   VisitCastExpr(E);
766   Record.push_back(E->isPartOfExplicitCast());
767 
768   if (E->path_size() == 0)
769     AbbrevToUse = Writer.getExprImplicitCastAbbrev();
770 
771   Code = serialization::EXPR_IMPLICIT_CAST;
772 }
773 
774 void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
775   VisitCastExpr(E);
776   Record.AddTypeSourceInfo(E->getTypeInfoAsWritten());
777 }
778 
779 void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
780   VisitExplicitCastExpr(E);
781   Record.AddSourceLocation(E->getLParenLoc());
782   Record.AddSourceLocation(E->getRParenLoc());
783   Code = serialization::EXPR_CSTYLE_CAST;
784 }
785 
786 void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
787   VisitExpr(E);
788   Record.AddSourceLocation(E->getLParenLoc());
789   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
790   Record.AddStmt(E->getInitializer());
791   Record.push_back(E->isFileScope());
792   Code = serialization::EXPR_COMPOUND_LITERAL;
793 }
794 
795 void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
796   VisitExpr(E);
797   Record.AddStmt(E->getBase());
798   Record.AddIdentifierRef(&E->getAccessor());
799   Record.AddSourceLocation(E->getAccessorLoc());
800   Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
801 }
802 
803 void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
804   VisitExpr(E);
805   // NOTE: only add the (possibly null) syntactic form.
806   // No need to serialize the isSemanticForm flag and the semantic form.
807   Record.AddStmt(E->getSyntacticForm());
808   Record.AddSourceLocation(E->getLBraceLoc());
809   Record.AddSourceLocation(E->getRBraceLoc());
810   bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
811   Record.push_back(isArrayFiller);
812   if (isArrayFiller)
813     Record.AddStmt(E->getArrayFiller());
814   else
815     Record.AddDeclRef(E->getInitializedFieldInUnion());
816   Record.push_back(E->hadArrayRangeDesignator());
817   Record.push_back(E->getNumInits());
818   if (isArrayFiller) {
819     // ArrayFiller may have filled "holes" due to designated initializer.
820     // Replace them by 0 to indicate that the filler goes in that place.
821     Expr *filler = E->getArrayFiller();
822     for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
823       Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr);
824   } else {
825     for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
826       Record.AddStmt(E->getInit(I));
827   }
828   Code = serialization::EXPR_INIT_LIST;
829 }
830 
831 void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
832   VisitExpr(E);
833   Record.push_back(E->getNumSubExprs());
834   for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
835     Record.AddStmt(E->getSubExpr(I));
836   Record.AddSourceLocation(E->getEqualOrColonLoc());
837   Record.push_back(E->usesGNUSyntax());
838   for (const DesignatedInitExpr::Designator &D : E->designators()) {
839     if (D.isFieldDesignator()) {
840       if (FieldDecl *Field = D.getField()) {
841         Record.push_back(serialization::DESIG_FIELD_DECL);
842         Record.AddDeclRef(Field);
843       } else {
844         Record.push_back(serialization::DESIG_FIELD_NAME);
845         Record.AddIdentifierRef(D.getFieldName());
846       }
847       Record.AddSourceLocation(D.getDotLoc());
848       Record.AddSourceLocation(D.getFieldLoc());
849     } else if (D.isArrayDesignator()) {
850       Record.push_back(serialization::DESIG_ARRAY);
851       Record.push_back(D.getFirstExprIndex());
852       Record.AddSourceLocation(D.getLBracketLoc());
853       Record.AddSourceLocation(D.getRBracketLoc());
854     } else {
855       assert(D.isArrayRangeDesignator() && "Unknown designator");
856       Record.push_back(serialization::DESIG_ARRAY_RANGE);
857       Record.push_back(D.getFirstExprIndex());
858       Record.AddSourceLocation(D.getLBracketLoc());
859       Record.AddSourceLocation(D.getEllipsisLoc());
860       Record.AddSourceLocation(D.getRBracketLoc());
861     }
862   }
863   Code = serialization::EXPR_DESIGNATED_INIT;
864 }
865 
866 void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
867   VisitExpr(E);
868   Record.AddStmt(E->getBase());
869   Record.AddStmt(E->getUpdater());
870   Code = serialization::EXPR_DESIGNATED_INIT_UPDATE;
871 }
872 
873 void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
874   VisitExpr(E);
875   Code = serialization::EXPR_NO_INIT;
876 }
877 
878 void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
879   VisitExpr(E);
880   Record.AddStmt(E->SubExprs[0]);
881   Record.AddStmt(E->SubExprs[1]);
882   Code = serialization::EXPR_ARRAY_INIT_LOOP;
883 }
884 
885 void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
886   VisitExpr(E);
887   Code = serialization::EXPR_ARRAY_INIT_INDEX;
888 }
889 
890 void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
891   VisitExpr(E);
892   Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
893 }
894 
895 void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
896   VisitExpr(E);
897   Record.AddStmt(E->getSubExpr());
898   Record.AddTypeSourceInfo(E->getWrittenTypeInfo());
899   Record.AddSourceLocation(E->getBuiltinLoc());
900   Record.AddSourceLocation(E->getRParenLoc());
901   Record.push_back(E->isMicrosoftABI());
902   Code = serialization::EXPR_VA_ARG;
903 }
904 
905 void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
906   VisitExpr(E);
907   Record.AddSourceLocation(E->getAmpAmpLoc());
908   Record.AddSourceLocation(E->getLabelLoc());
909   Record.AddDeclRef(E->getLabel());
910   Code = serialization::EXPR_ADDR_LABEL;
911 }
912 
913 void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
914   VisitExpr(E);
915   Record.AddStmt(E->getSubStmt());
916   Record.AddSourceLocation(E->getLParenLoc());
917   Record.AddSourceLocation(E->getRParenLoc());
918   Code = serialization::EXPR_STMT;
919 }
920 
921 void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
922   VisitExpr(E);
923   Record.AddStmt(E->getCond());
924   Record.AddStmt(E->getLHS());
925   Record.AddStmt(E->getRHS());
926   Record.AddSourceLocation(E->getBuiltinLoc());
927   Record.AddSourceLocation(E->getRParenLoc());
928   Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue());
929   Code = serialization::EXPR_CHOOSE;
930 }
931 
932 void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
933   VisitExpr(E);
934   Record.AddSourceLocation(E->getTokenLocation());
935   Code = serialization::EXPR_GNU_NULL;
936 }
937 
938 void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
939   VisitExpr(E);
940   Record.push_back(E->getNumSubExprs());
941   for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
942     Record.AddStmt(E->getExpr(I));
943   Record.AddSourceLocation(E->getBuiltinLoc());
944   Record.AddSourceLocation(E->getRParenLoc());
945   Code = serialization::EXPR_SHUFFLE_VECTOR;
946 }
947 
948 void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
949   VisitExpr(E);
950   Record.AddSourceLocation(E->getBuiltinLoc());
951   Record.AddSourceLocation(E->getRParenLoc());
952   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
953   Record.AddStmt(E->getSrcExpr());
954   Code = serialization::EXPR_CONVERT_VECTOR;
955 }
956 
957 void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
958   VisitExpr(E);
959   Record.AddDeclRef(E->getBlockDecl());
960   Code = serialization::EXPR_BLOCK;
961 }
962 
963 void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
964   VisitExpr(E);
965   Record.push_back(E->getNumAssocs());
966 
967   Record.AddStmt(E->getControllingExpr());
968   for (unsigned I = 0, N = E->getNumAssocs(); I != N; ++I) {
969     Record.AddTypeSourceInfo(E->getAssocTypeSourceInfo(I));
970     Record.AddStmt(E->getAssocExpr(I));
971   }
972   Record.push_back(E->isResultDependent() ? -1U : E->getResultIndex());
973 
974   Record.AddSourceLocation(E->getGenericLoc());
975   Record.AddSourceLocation(E->getDefaultLoc());
976   Record.AddSourceLocation(E->getRParenLoc());
977   Code = serialization::EXPR_GENERIC_SELECTION;
978 }
979 
980 void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
981   VisitExpr(E);
982   Record.push_back(E->getNumSemanticExprs());
983 
984   // Push the result index.  Currently, this needs to exactly match
985   // the encoding used internally for ResultIndex.
986   unsigned result = E->getResultExprIndex();
987   result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
988   Record.push_back(result);
989 
990   Record.AddStmt(E->getSyntacticForm());
991   for (PseudoObjectExpr::semantics_iterator
992          i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
993     Record.AddStmt(*i);
994   }
995   Code = serialization::EXPR_PSEUDO_OBJECT;
996 }
997 
998 void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
999   VisitExpr(E);
1000   Record.push_back(E->getOp());
1001   for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1002     Record.AddStmt(E->getSubExprs()[I]);
1003   Record.AddSourceLocation(E->getBuiltinLoc());
1004   Record.AddSourceLocation(E->getRParenLoc());
1005   Code = serialization::EXPR_ATOMIC;
1006 }
1007 
1008 //===----------------------------------------------------------------------===//
1009 // Objective-C Expressions and Statements.
1010 //===----------------------------------------------------------------------===//
1011 
1012 void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
1013   VisitExpr(E);
1014   Record.AddStmt(E->getString());
1015   Record.AddSourceLocation(E->getAtLoc());
1016   Code = serialization::EXPR_OBJC_STRING_LITERAL;
1017 }
1018 
1019 void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
1020   VisitExpr(E);
1021   Record.AddStmt(E->getSubExpr());
1022   Record.AddDeclRef(E->getBoxingMethod());
1023   Record.AddSourceRange(E->getSourceRange());
1024   Code = serialization::EXPR_OBJC_BOXED_EXPRESSION;
1025 }
1026 
1027 void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1028   VisitExpr(E);
1029   Record.push_back(E->getNumElements());
1030   for (unsigned i = 0; i < E->getNumElements(); i++)
1031     Record.AddStmt(E->getElement(i));
1032   Record.AddDeclRef(E->getArrayWithObjectsMethod());
1033   Record.AddSourceRange(E->getSourceRange());
1034   Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
1035 }
1036 
1037 void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1038   VisitExpr(E);
1039   Record.push_back(E->getNumElements());
1040   Record.push_back(E->HasPackExpansions);
1041   for (unsigned i = 0; i < E->getNumElements(); i++) {
1042     ObjCDictionaryElement Element = E->getKeyValueElement(i);
1043     Record.AddStmt(Element.Key);
1044     Record.AddStmt(Element.Value);
1045     if (E->HasPackExpansions) {
1046       Record.AddSourceLocation(Element.EllipsisLoc);
1047       unsigned NumExpansions = 0;
1048       if (Element.NumExpansions)
1049         NumExpansions = *Element.NumExpansions + 1;
1050       Record.push_back(NumExpansions);
1051     }
1052   }
1053 
1054   Record.AddDeclRef(E->getDictWithObjectsMethod());
1055   Record.AddSourceRange(E->getSourceRange());
1056   Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
1057 }
1058 
1059 void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
1060   VisitExpr(E);
1061   Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo());
1062   Record.AddSourceLocation(E->getAtLoc());
1063   Record.AddSourceLocation(E->getRParenLoc());
1064   Code = serialization::EXPR_OBJC_ENCODE;
1065 }
1066 
1067 void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
1068   VisitExpr(E);
1069   Record.AddSelectorRef(E->getSelector());
1070   Record.AddSourceLocation(E->getAtLoc());
1071   Record.AddSourceLocation(E->getRParenLoc());
1072   Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
1073 }
1074 
1075 void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
1076   VisitExpr(E);
1077   Record.AddDeclRef(E->getProtocol());
1078   Record.AddSourceLocation(E->getAtLoc());
1079   Record.AddSourceLocation(E->ProtoLoc);
1080   Record.AddSourceLocation(E->getRParenLoc());
1081   Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
1082 }
1083 
1084 void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
1085   VisitExpr(E);
1086   Record.AddDeclRef(E->getDecl());
1087   Record.AddSourceLocation(E->getLocation());
1088   Record.AddSourceLocation(E->getOpLoc());
1089   Record.AddStmt(E->getBase());
1090   Record.push_back(E->isArrow());
1091   Record.push_back(E->isFreeIvar());
1092   Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
1093 }
1094 
1095 void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
1096   VisitExpr(E);
1097   Record.push_back(E->SetterAndMethodRefFlags.getInt());
1098   Record.push_back(E->isImplicitProperty());
1099   if (E->isImplicitProperty()) {
1100     Record.AddDeclRef(E->getImplicitPropertyGetter());
1101     Record.AddDeclRef(E->getImplicitPropertySetter());
1102   } else {
1103     Record.AddDeclRef(E->getExplicitProperty());
1104   }
1105   Record.AddSourceLocation(E->getLocation());
1106   Record.AddSourceLocation(E->getReceiverLocation());
1107   if (E->isObjectReceiver()) {
1108     Record.push_back(0);
1109     Record.AddStmt(E->getBase());
1110   } else if (E->isSuperReceiver()) {
1111     Record.push_back(1);
1112     Record.AddTypeRef(E->getSuperReceiverType());
1113   } else {
1114     Record.push_back(2);
1115     Record.AddDeclRef(E->getClassReceiver());
1116   }
1117 
1118   Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
1119 }
1120 
1121 void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1122   VisitExpr(E);
1123   Record.AddSourceLocation(E->getRBracket());
1124   Record.AddStmt(E->getBaseExpr());
1125   Record.AddStmt(E->getKeyExpr());
1126   Record.AddDeclRef(E->getAtIndexMethodDecl());
1127   Record.AddDeclRef(E->setAtIndexMethodDecl());
1128 
1129   Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
1130 }
1131 
1132 void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
1133   VisitExpr(E);
1134   Record.push_back(E->getNumArgs());
1135   Record.push_back(E->getNumStoredSelLocs());
1136   Record.push_back(E->SelLocsKind);
1137   Record.push_back(E->isDelegateInitCall());
1138   Record.push_back(E->IsImplicit);
1139   Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
1140   switch (E->getReceiverKind()) {
1141   case ObjCMessageExpr::Instance:
1142     Record.AddStmt(E->getInstanceReceiver());
1143     break;
1144 
1145   case ObjCMessageExpr::Class:
1146     Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo());
1147     break;
1148 
1149   case ObjCMessageExpr::SuperClass:
1150   case ObjCMessageExpr::SuperInstance:
1151     Record.AddTypeRef(E->getSuperType());
1152     Record.AddSourceLocation(E->getSuperLoc());
1153     break;
1154   }
1155 
1156   if (E->getMethodDecl()) {
1157     Record.push_back(1);
1158     Record.AddDeclRef(E->getMethodDecl());
1159   } else {
1160     Record.push_back(0);
1161     Record.AddSelectorRef(E->getSelector());
1162   }
1163 
1164   Record.AddSourceLocation(E->getLeftLoc());
1165   Record.AddSourceLocation(E->getRightLoc());
1166 
1167   for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1168        Arg != ArgEnd; ++Arg)
1169     Record.AddStmt(*Arg);
1170 
1171   SourceLocation *Locs = E->getStoredSelLocs();
1172   for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
1173     Record.AddSourceLocation(Locs[i]);
1174 
1175   Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
1176 }
1177 
1178 void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
1179   VisitStmt(S);
1180   Record.AddStmt(S->getElement());
1181   Record.AddStmt(S->getCollection());
1182   Record.AddStmt(S->getBody());
1183   Record.AddSourceLocation(S->getForLoc());
1184   Record.AddSourceLocation(S->getRParenLoc());
1185   Code = serialization::STMT_OBJC_FOR_COLLECTION;
1186 }
1187 
1188 void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
1189   Record.AddStmt(S->getCatchBody());
1190   Record.AddDeclRef(S->getCatchParamDecl());
1191   Record.AddSourceLocation(S->getAtCatchLoc());
1192   Record.AddSourceLocation(S->getRParenLoc());
1193   Code = serialization::STMT_OBJC_CATCH;
1194 }
1195 
1196 void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
1197   Record.AddStmt(S->getFinallyBody());
1198   Record.AddSourceLocation(S->getAtFinallyLoc());
1199   Code = serialization::STMT_OBJC_FINALLY;
1200 }
1201 
1202 void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
1203   Record.AddStmt(S->getSubStmt());
1204   Record.AddSourceLocation(S->getAtLoc());
1205   Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
1206 }
1207 
1208 void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
1209   Record.push_back(S->getNumCatchStmts());
1210   Record.push_back(S->getFinallyStmt() != nullptr);
1211   Record.AddStmt(S->getTryBody());
1212   for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I)
1213     Record.AddStmt(S->getCatchStmt(I));
1214   if (S->getFinallyStmt())
1215     Record.AddStmt(S->getFinallyStmt());
1216   Record.AddSourceLocation(S->getAtTryLoc());
1217   Code = serialization::STMT_OBJC_AT_TRY;
1218 }
1219 
1220 void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
1221   Record.AddStmt(S->getSynchExpr());
1222   Record.AddStmt(S->getSynchBody());
1223   Record.AddSourceLocation(S->getAtSynchronizedLoc());
1224   Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
1225 }
1226 
1227 void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
1228   Record.AddStmt(S->getThrowExpr());
1229   Record.AddSourceLocation(S->getThrowLoc());
1230   Code = serialization::STMT_OBJC_AT_THROW;
1231 }
1232 
1233 void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1234   VisitExpr(E);
1235   Record.push_back(E->getValue());
1236   Record.AddSourceLocation(E->getLocation());
1237   Code = serialization::EXPR_OBJC_BOOL_LITERAL;
1238 }
1239 
1240 void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1241   VisitExpr(E);
1242   Record.AddSourceRange(E->getSourceRange());
1243   Record.AddVersionTuple(E->getVersion());
1244   Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK;
1245 }
1246 
1247 //===----------------------------------------------------------------------===//
1248 // C++ Expressions and Statements.
1249 //===----------------------------------------------------------------------===//
1250 
1251 void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
1252   VisitStmt(S);
1253   Record.AddSourceLocation(S->getCatchLoc());
1254   Record.AddDeclRef(S->getExceptionDecl());
1255   Record.AddStmt(S->getHandlerBlock());
1256   Code = serialization::STMT_CXX_CATCH;
1257 }
1258 
1259 void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
1260   VisitStmt(S);
1261   Record.push_back(S->getNumHandlers());
1262   Record.AddSourceLocation(S->getTryLoc());
1263   Record.AddStmt(S->getTryBlock());
1264   for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
1265     Record.AddStmt(S->getHandler(i));
1266   Code = serialization::STMT_CXX_TRY;
1267 }
1268 
1269 void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1270   VisitStmt(S);
1271   Record.AddSourceLocation(S->getForLoc());
1272   Record.AddSourceLocation(S->getCoawaitLoc());
1273   Record.AddSourceLocation(S->getColonLoc());
1274   Record.AddSourceLocation(S->getRParenLoc());
1275   Record.AddStmt(S->getInit());
1276   Record.AddStmt(S->getRangeStmt());
1277   Record.AddStmt(S->getBeginStmt());
1278   Record.AddStmt(S->getEndStmt());
1279   Record.AddStmt(S->getCond());
1280   Record.AddStmt(S->getInc());
1281   Record.AddStmt(S->getLoopVarStmt());
1282   Record.AddStmt(S->getBody());
1283   Code = serialization::STMT_CXX_FOR_RANGE;
1284 }
1285 
1286 void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1287   VisitStmt(S);
1288   Record.AddSourceLocation(S->getKeywordLoc());
1289   Record.push_back(S->isIfExists());
1290   Record.AddNestedNameSpecifierLoc(S->getQualifierLoc());
1291   Record.AddDeclarationNameInfo(S->getNameInfo());
1292   Record.AddStmt(S->getSubStmt());
1293   Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1294 }
1295 
1296 void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
1297   VisitCallExpr(E);
1298   Record.push_back(E->getOperator());
1299   Record.AddSourceRange(E->Range);
1300   Record.push_back(E->getFPFeatures().getInt());
1301   Code = serialization::EXPR_CXX_OPERATOR_CALL;
1302 }
1303 
1304 void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
1305   VisitCallExpr(E);
1306   Code = serialization::EXPR_CXX_MEMBER_CALL;
1307 }
1308 
1309 void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
1310   VisitExpr(E);
1311   Record.push_back(E->getNumArgs());
1312   for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1313     Record.AddStmt(E->getArg(I));
1314   Record.AddDeclRef(E->getConstructor());
1315   Record.AddSourceLocation(E->getLocation());
1316   Record.push_back(E->isElidable());
1317   Record.push_back(E->hadMultipleCandidates());
1318   Record.push_back(E->isListInitialization());
1319   Record.push_back(E->isStdInitListInitialization());
1320   Record.push_back(E->requiresZeroInitialization());
1321   Record.push_back(E->getConstructionKind()); // FIXME: stable encoding
1322   Record.AddSourceRange(E->getParenOrBraceRange());
1323   Code = serialization::EXPR_CXX_CONSTRUCT;
1324 }
1325 
1326 void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1327   VisitExpr(E);
1328   Record.AddDeclRef(E->getConstructor());
1329   Record.AddSourceLocation(E->getLocation());
1330   Record.push_back(E->constructsVBase());
1331   Record.push_back(E->inheritedFromVBase());
1332   Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT;
1333 }
1334 
1335 void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
1336   VisitCXXConstructExpr(E);
1337   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1338   Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
1339 }
1340 
1341 void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1342   VisitExpr(E);
1343   Record.push_back(E->NumCaptures);
1344   Record.AddSourceRange(E->IntroducerRange);
1345   Record.push_back(E->CaptureDefault); // FIXME: stable encoding
1346   Record.AddSourceLocation(E->CaptureDefaultLoc);
1347   Record.push_back(E->ExplicitParams);
1348   Record.push_back(E->ExplicitResultType);
1349   Record.AddSourceLocation(E->ClosingBrace);
1350 
1351   // Add capture initializers.
1352   for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1353                                       CEnd = E->capture_init_end();
1354        C != CEnd; ++C) {
1355     Record.AddStmt(*C);
1356   }
1357 
1358   Code = serialization::EXPR_LAMBDA;
1359 }
1360 
1361 void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1362   VisitExpr(E);
1363   Record.AddStmt(E->getSubExpr());
1364   Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST;
1365 }
1366 
1367 void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
1368   VisitExplicitCastExpr(E);
1369   Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1370   Record.AddSourceRange(E->getAngleBrackets());
1371 }
1372 
1373 void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
1374   VisitCXXNamedCastExpr(E);
1375   Code = serialization::EXPR_CXX_STATIC_CAST;
1376 }
1377 
1378 void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
1379   VisitCXXNamedCastExpr(E);
1380   Code = serialization::EXPR_CXX_DYNAMIC_CAST;
1381 }
1382 
1383 void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
1384   VisitCXXNamedCastExpr(E);
1385   Code = serialization::EXPR_CXX_REINTERPRET_CAST;
1386 }
1387 
1388 void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
1389   VisitCXXNamedCastExpr(E);
1390   Code = serialization::EXPR_CXX_CONST_CAST;
1391 }
1392 
1393 void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
1394   VisitExplicitCastExpr(E);
1395   Record.AddSourceLocation(E->getLParenLoc());
1396   Record.AddSourceLocation(E->getRParenLoc());
1397   Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
1398 }
1399 
1400 void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1401   VisitCallExpr(E);
1402   Record.AddSourceLocation(E->UDSuffixLoc);
1403   Code = serialization::EXPR_USER_DEFINED_LITERAL;
1404 }
1405 
1406 void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
1407   VisitExpr(E);
1408   Record.push_back(E->getValue());
1409   Record.AddSourceLocation(E->getLocation());
1410   Code = serialization::EXPR_CXX_BOOL_LITERAL;
1411 }
1412 
1413 void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
1414   VisitExpr(E);
1415   Record.AddSourceLocation(E->getLocation());
1416   Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
1417 }
1418 
1419 void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
1420   VisitExpr(E);
1421   Record.AddSourceRange(E->getSourceRange());
1422   if (E->isTypeOperand()) {
1423     Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
1424     Code = serialization::EXPR_CXX_TYPEID_TYPE;
1425   } else {
1426     Record.AddStmt(E->getExprOperand());
1427     Code = serialization::EXPR_CXX_TYPEID_EXPR;
1428   }
1429 }
1430 
1431 void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
1432   VisitExpr(E);
1433   Record.AddSourceLocation(E->getLocation());
1434   Record.push_back(E->isImplicit());
1435   Code = serialization::EXPR_CXX_THIS;
1436 }
1437 
1438 void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
1439   VisitExpr(E);
1440   Record.AddSourceLocation(E->getThrowLoc());
1441   Record.AddStmt(E->getSubExpr());
1442   Record.push_back(E->isThrownVariableInScope());
1443   Code = serialization::EXPR_CXX_THROW;
1444 }
1445 
1446 void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
1447   VisitExpr(E);
1448   Record.AddDeclRef(E->getParam());
1449   Record.AddSourceLocation(E->getUsedLocation());
1450   Code = serialization::EXPR_CXX_DEFAULT_ARG;
1451 }
1452 
1453 void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1454   VisitExpr(E);
1455   Record.AddDeclRef(E->getField());
1456   Record.AddSourceLocation(E->getExprLoc());
1457   Code = serialization::EXPR_CXX_DEFAULT_INIT;
1458 }
1459 
1460 void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
1461   VisitExpr(E);
1462   Record.AddCXXTemporary(E->getTemporary());
1463   Record.AddStmt(E->getSubExpr());
1464   Code = serialization::EXPR_CXX_BIND_TEMPORARY;
1465 }
1466 
1467 void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
1468   VisitExpr(E);
1469   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1470   Record.AddSourceLocation(E->getRParenLoc());
1471   Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
1472 }
1473 
1474 void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
1475   VisitExpr(E);
1476   Record.push_back(E->isGlobalNew());
1477   Record.push_back(E->isArray());
1478   Record.push_back(E->passAlignment());
1479   Record.push_back(E->doesUsualArrayDeleteWantSize());
1480   Record.push_back(E->getNumPlacementArgs());
1481   Record.push_back(E->StoredInitializationStyle);
1482   Record.AddDeclRef(E->getOperatorNew());
1483   Record.AddDeclRef(E->getOperatorDelete());
1484   Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo());
1485   Record.AddSourceRange(E->getTypeIdParens());
1486   Record.AddSourceRange(E->getSourceRange());
1487   Record.AddSourceRange(E->getDirectInitRange());
1488   for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), e = E->raw_arg_end();
1489        I != e; ++I)
1490     Record.AddStmt(*I);
1491 
1492   Code = serialization::EXPR_CXX_NEW;
1493 }
1494 
1495 void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
1496   VisitExpr(E);
1497   Record.push_back(E->isGlobalDelete());
1498   Record.push_back(E->isArrayForm());
1499   Record.push_back(E->isArrayFormAsWritten());
1500   Record.push_back(E->doesUsualArrayDeleteWantSize());
1501   Record.AddDeclRef(E->getOperatorDelete());
1502   Record.AddStmt(E->getArgument());
1503   Record.AddSourceLocation(E->getSourceRange().getBegin());
1504 
1505   Code = serialization::EXPR_CXX_DELETE;
1506 }
1507 
1508 void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
1509   VisitExpr(E);
1510 
1511   Record.AddStmt(E->getBase());
1512   Record.push_back(E->isArrow());
1513   Record.AddSourceLocation(E->getOperatorLoc());
1514   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1515   Record.AddTypeSourceInfo(E->getScopeTypeInfo());
1516   Record.AddSourceLocation(E->getColonColonLoc());
1517   Record.AddSourceLocation(E->getTildeLoc());
1518 
1519   // PseudoDestructorTypeStorage.
1520   Record.AddIdentifierRef(E->getDestroyedTypeIdentifier());
1521   if (E->getDestroyedTypeIdentifier())
1522     Record.AddSourceLocation(E->getDestroyedTypeLoc());
1523   else
1524     Record.AddTypeSourceInfo(E->getDestroyedTypeInfo());
1525 
1526   Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
1527 }
1528 
1529 void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
1530   VisitExpr(E);
1531   Record.push_back(E->getNumObjects());
1532   for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i)
1533     Record.AddDeclRef(E->getObject(i));
1534 
1535   Record.push_back(E->cleanupsHaveSideEffects());
1536   Record.AddStmt(E->getSubExpr());
1537   Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
1538 }
1539 
1540 void
1541 ASTStmtWriter::VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E){
1542   VisitExpr(E);
1543 
1544   // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1545   // emitted first.
1546 
1547   Record.push_back(E->HasTemplateKWAndArgsInfo);
1548   if (E->HasTemplateKWAndArgsInfo) {
1549     const ASTTemplateKWAndArgsInfo &ArgInfo =
1550         *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1551     Record.push_back(ArgInfo.NumTemplateArgs);
1552     AddTemplateKWAndArgsInfo(ArgInfo,
1553                              E->getTrailingObjects<TemplateArgumentLoc>());
1554   }
1555 
1556   if (!E->isImplicitAccess())
1557     Record.AddStmt(E->getBase());
1558   else
1559     Record.AddStmt(nullptr);
1560   Record.AddTypeRef(E->getBaseType());
1561   Record.push_back(E->isArrow());
1562   Record.AddSourceLocation(E->getOperatorLoc());
1563   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1564   Record.AddDeclRef(E->getFirstQualifierFoundInScope());
1565   Record.AddDeclarationNameInfo(E->MemberNameInfo);
1566   Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
1567 }
1568 
1569 void
1570 ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
1571   VisitExpr(E);
1572 
1573   // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1574   // emitted first.
1575 
1576   Record.push_back(E->HasTemplateKWAndArgsInfo);
1577   if (E->HasTemplateKWAndArgsInfo) {
1578     const ASTTemplateKWAndArgsInfo &ArgInfo =
1579         *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1580     Record.push_back(ArgInfo.NumTemplateArgs);
1581     AddTemplateKWAndArgsInfo(ArgInfo,
1582                              E->getTrailingObjects<TemplateArgumentLoc>());
1583   }
1584 
1585   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1586   Record.AddDeclarationNameInfo(E->NameInfo);
1587   Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
1588 }
1589 
1590 void
1591 ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
1592   VisitExpr(E);
1593   Record.push_back(E->arg_size());
1594   for (CXXUnresolvedConstructExpr::arg_iterator
1595          ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
1596     Record.AddStmt(*ArgI);
1597   Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1598   Record.AddSourceLocation(E->getLParenLoc());
1599   Record.AddSourceLocation(E->getRParenLoc());
1600   Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
1601 }
1602 
1603 void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
1604   VisitExpr(E);
1605 
1606   // Don't emit anything here, HasTemplateKWAndArgsInfo must be
1607   // emitted first.
1608 
1609   Record.push_back(E->HasTemplateKWAndArgsInfo);
1610   if (E->HasTemplateKWAndArgsInfo) {
1611     const ASTTemplateKWAndArgsInfo &ArgInfo =
1612         *E->getTrailingASTTemplateKWAndArgsInfo();
1613     Record.push_back(ArgInfo.NumTemplateArgs);
1614     AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
1615   }
1616 
1617   Record.push_back(E->getNumDecls());
1618   for (OverloadExpr::decls_iterator
1619          OvI = E->decls_begin(), OvE = E->decls_end(); OvI != OvE; ++OvI) {
1620     Record.AddDeclRef(OvI.getDecl());
1621     Record.push_back(OvI.getAccess());
1622   }
1623 
1624   Record.AddDeclarationNameInfo(E->NameInfo);
1625   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1626 }
1627 
1628 void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
1629   VisitOverloadExpr(E);
1630   Record.push_back(E->isArrow());
1631   Record.push_back(E->hasUnresolvedUsing());
1632   Record.AddStmt(!E->isImplicitAccess() ? E->getBase() : nullptr);
1633   Record.AddTypeRef(E->getBaseType());
1634   Record.AddSourceLocation(E->getOperatorLoc());
1635   Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
1636 }
1637 
1638 void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
1639   VisitOverloadExpr(E);
1640   Record.push_back(E->requiresADL());
1641   Record.push_back(E->isOverloaded());
1642   Record.AddDeclRef(E->getNamingClass());
1643   Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
1644 }
1645 
1646 void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
1647   VisitExpr(E);
1648   Record.push_back(E->TypeTraitExprBits.NumArgs);
1649   Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
1650   Record.push_back(E->TypeTraitExprBits.Value);
1651   Record.AddSourceRange(E->getSourceRange());
1652   for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1653     Record.AddTypeSourceInfo(E->getArg(I));
1654   Code = serialization::EXPR_TYPE_TRAIT;
1655 }
1656 
1657 void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
1658   VisitExpr(E);
1659   Record.push_back(E->getTrait());
1660   Record.push_back(E->getValue());
1661   Record.AddSourceRange(E->getSourceRange());
1662   Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
1663   Record.AddStmt(E->getDimensionExpression());
1664   Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
1665 }
1666 
1667 void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
1668   VisitExpr(E);
1669   Record.push_back(E->getTrait());
1670   Record.push_back(E->getValue());
1671   Record.AddSourceRange(E->getSourceRange());
1672   Record.AddStmt(E->getQueriedExpression());
1673   Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
1674 }
1675 
1676 void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
1677   VisitExpr(E);
1678   Record.push_back(E->getValue());
1679   Record.AddSourceRange(E->getSourceRange());
1680   Record.AddStmt(E->getOperand());
1681   Code = serialization::EXPR_CXX_NOEXCEPT;
1682 }
1683 
1684 void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
1685   VisitExpr(E);
1686   Record.AddSourceLocation(E->getEllipsisLoc());
1687   Record.push_back(E->NumExpansions);
1688   Record.AddStmt(E->getPattern());
1689   Code = serialization::EXPR_PACK_EXPANSION;
1690 }
1691 
1692 void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
1693   VisitExpr(E);
1694   Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
1695                                                : 0);
1696   Record.AddSourceLocation(E->OperatorLoc);
1697   Record.AddSourceLocation(E->PackLoc);
1698   Record.AddSourceLocation(E->RParenLoc);
1699   Record.AddDeclRef(E->Pack);
1700   if (E->isPartiallySubstituted()) {
1701     for (const auto &TA : E->getPartialArguments())
1702       Record.AddTemplateArgument(TA);
1703   } else if (!E->isValueDependent()) {
1704     Record.push_back(E->getPackLength());
1705   }
1706   Code = serialization::EXPR_SIZEOF_PACK;
1707 }
1708 
1709 void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
1710                                               SubstNonTypeTemplateParmExpr *E) {
1711   VisitExpr(E);
1712   Record.AddDeclRef(E->getParameter());
1713   Record.AddSourceLocation(E->getNameLoc());
1714   Record.AddStmt(E->getReplacement());
1715   Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
1716 }
1717 
1718 void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
1719                                           SubstNonTypeTemplateParmPackExpr *E) {
1720   VisitExpr(E);
1721   Record.AddDeclRef(E->getParameterPack());
1722   Record.AddTemplateArgument(E->getArgumentPack());
1723   Record.AddSourceLocation(E->getParameterPackLocation());
1724   Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
1725 }
1726 
1727 void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
1728   VisitExpr(E);
1729   Record.push_back(E->getNumExpansions());
1730   Record.AddDeclRef(E->getParameterPack());
1731   Record.AddSourceLocation(E->getParameterPackLocation());
1732   for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
1733        I != End; ++I)
1734     Record.AddDeclRef(*I);
1735   Code = serialization::EXPR_FUNCTION_PARM_PACK;
1736 }
1737 
1738 void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
1739   VisitExpr(E);
1740   Record.AddStmt(E->getTemporary());
1741   Record.AddDeclRef(E->getExtendingDecl());
1742   Record.push_back(E->getManglingNumber());
1743   Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
1744 }
1745 
1746 void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
1747   VisitExpr(E);
1748   Record.AddSourceLocation(E->LParenLoc);
1749   Record.AddSourceLocation(E->EllipsisLoc);
1750   Record.AddSourceLocation(E->RParenLoc);
1751   Record.AddStmt(E->SubExprs[0]);
1752   Record.AddStmt(E->SubExprs[1]);
1753   Record.push_back(E->Opcode);
1754   Code = serialization::EXPR_CXX_FOLD;
1755 }
1756 
1757 void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
1758   VisitExpr(E);
1759   Record.AddStmt(E->getSourceExpr());
1760   Record.AddSourceLocation(E->getLocation());
1761   Record.push_back(E->isUnique());
1762   Code = serialization::EXPR_OPAQUE_VALUE;
1763 }
1764 
1765 void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
1766   VisitExpr(E);
1767   // TODO: Figure out sane writer behavior for a TypoExpr, if necessary
1768   llvm_unreachable("Cannot write TypoExpr nodes");
1769 }
1770 
1771 //===----------------------------------------------------------------------===//
1772 // CUDA Expressions and Statements.
1773 //===----------------------------------------------------------------------===//
1774 
1775 void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
1776   VisitCallExpr(E);
1777   Record.AddStmt(E->getConfig());
1778   Code = serialization::EXPR_CUDA_KERNEL_CALL;
1779 }
1780 
1781 //===----------------------------------------------------------------------===//
1782 // OpenCL Expressions and Statements.
1783 //===----------------------------------------------------------------------===//
1784 void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
1785   VisitExpr(E);
1786   Record.AddSourceLocation(E->getBuiltinLoc());
1787   Record.AddSourceLocation(E->getRParenLoc());
1788   Record.AddStmt(E->getSrcExpr());
1789   Code = serialization::EXPR_ASTYPE;
1790 }
1791 
1792 //===----------------------------------------------------------------------===//
1793 // Microsoft Expressions and Statements.
1794 //===----------------------------------------------------------------------===//
1795 void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
1796   VisitExpr(E);
1797   Record.push_back(E->isArrow());
1798   Record.AddStmt(E->getBaseExpr());
1799   Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1800   Record.AddSourceLocation(E->getMemberLoc());
1801   Record.AddDeclRef(E->getPropertyDecl());
1802   Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR;
1803 }
1804 
1805 void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
1806   VisitExpr(E);
1807   Record.AddStmt(E->getBase());
1808   Record.AddStmt(E->getIdx());
1809   Record.AddSourceLocation(E->getRBracketLoc());
1810   Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR;
1811 }
1812 
1813 void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
1814   VisitExpr(E);
1815   Record.AddSourceRange(E->getSourceRange());
1816   Record.AddString(E->getUuidStr());
1817   if (E->isTypeOperand()) {
1818     Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
1819     Code = serialization::EXPR_CXX_UUIDOF_TYPE;
1820   } else {
1821     Record.AddStmt(E->getExprOperand());
1822     Code = serialization::EXPR_CXX_UUIDOF_EXPR;
1823   }
1824 }
1825 
1826 void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
1827   VisitStmt(S);
1828   Record.AddSourceLocation(S->getExceptLoc());
1829   Record.AddStmt(S->getFilterExpr());
1830   Record.AddStmt(S->getBlock());
1831   Code = serialization::STMT_SEH_EXCEPT;
1832 }
1833 
1834 void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
1835   VisitStmt(S);
1836   Record.AddSourceLocation(S->getFinallyLoc());
1837   Record.AddStmt(S->getBlock());
1838   Code = serialization::STMT_SEH_FINALLY;
1839 }
1840 
1841 void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
1842   VisitStmt(S);
1843   Record.push_back(S->getIsCXXTry());
1844   Record.AddSourceLocation(S->getTryLoc());
1845   Record.AddStmt(S->getTryBlock());
1846   Record.AddStmt(S->getHandler());
1847   Code = serialization::STMT_SEH_TRY;
1848 }
1849 
1850 void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
1851   VisitStmt(S);
1852   Record.AddSourceLocation(S->getLeaveLoc());
1853   Code = serialization::STMT_SEH_LEAVE;
1854 }
1855 
1856 //===----------------------------------------------------------------------===//
1857 // OpenMP Directives.
1858 //===----------------------------------------------------------------------===//
1859 void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
1860   Record.AddSourceLocation(E->getBeginLoc());
1861   Record.AddSourceLocation(E->getEndLoc());
1862   OMPClauseWriter ClauseWriter(Record);
1863   for (unsigned i = 0; i < E->getNumClauses(); ++i) {
1864     ClauseWriter.writeClause(E->getClause(i));
1865   }
1866   if (E->hasAssociatedStmt())
1867     Record.AddStmt(E->getAssociatedStmt());
1868 }
1869 
1870 void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
1871   VisitStmt(D);
1872   Record.push_back(D->getNumClauses());
1873   Record.push_back(D->getCollapsedNumber());
1874   VisitOMPExecutableDirective(D);
1875   Record.AddStmt(D->getIterationVariable());
1876   Record.AddStmt(D->getLastIteration());
1877   Record.AddStmt(D->getCalcLastIteration());
1878   Record.AddStmt(D->getPreCond());
1879   Record.AddStmt(D->getCond());
1880   Record.AddStmt(D->getInit());
1881   Record.AddStmt(D->getInc());
1882   Record.AddStmt(D->getPreInits());
1883   if (isOpenMPWorksharingDirective(D->getDirectiveKind()) ||
1884       isOpenMPTaskLoopDirective(D->getDirectiveKind()) ||
1885       isOpenMPDistributeDirective(D->getDirectiveKind())) {
1886     Record.AddStmt(D->getIsLastIterVariable());
1887     Record.AddStmt(D->getLowerBoundVariable());
1888     Record.AddStmt(D->getUpperBoundVariable());
1889     Record.AddStmt(D->getStrideVariable());
1890     Record.AddStmt(D->getEnsureUpperBound());
1891     Record.AddStmt(D->getNextLowerBound());
1892     Record.AddStmt(D->getNextUpperBound());
1893     Record.AddStmt(D->getNumIterations());
1894   }
1895   if (isOpenMPLoopBoundSharingDirective(D->getDirectiveKind())) {
1896     Record.AddStmt(D->getPrevLowerBoundVariable());
1897     Record.AddStmt(D->getPrevUpperBoundVariable());
1898     Record.AddStmt(D->getDistInc());
1899     Record.AddStmt(D->getPrevEnsureUpperBound());
1900     Record.AddStmt(D->getCombinedLowerBoundVariable());
1901     Record.AddStmt(D->getCombinedUpperBoundVariable());
1902     Record.AddStmt(D->getCombinedEnsureUpperBound());
1903     Record.AddStmt(D->getCombinedInit());
1904     Record.AddStmt(D->getCombinedCond());
1905     Record.AddStmt(D->getCombinedNextLowerBound());
1906     Record.AddStmt(D->getCombinedNextUpperBound());
1907     Record.AddStmt(D->getCombinedDistCond());
1908     Record.AddStmt(D->getCombinedParForInDistCond());
1909   }
1910   for (auto I : D->counters()) {
1911     Record.AddStmt(I);
1912   }
1913   for (auto I : D->private_counters()) {
1914     Record.AddStmt(I);
1915   }
1916   for (auto I : D->inits()) {
1917     Record.AddStmt(I);
1918   }
1919   for (auto I : D->updates()) {
1920     Record.AddStmt(I);
1921   }
1922   for (auto I : D->finals()) {
1923     Record.AddStmt(I);
1924   }
1925 }
1926 
1927 void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
1928   VisitStmt(D);
1929   Record.push_back(D->getNumClauses());
1930   VisitOMPExecutableDirective(D);
1931   Record.push_back(D->hasCancel() ? 1 : 0);
1932   Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE;
1933 }
1934 
1935 void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
1936   VisitOMPLoopDirective(D);
1937   Code = serialization::STMT_OMP_SIMD_DIRECTIVE;
1938 }
1939 
1940 void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
1941   VisitOMPLoopDirective(D);
1942   Record.push_back(D->hasCancel() ? 1 : 0);
1943   Code = serialization::STMT_OMP_FOR_DIRECTIVE;
1944 }
1945 
1946 void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
1947   VisitOMPLoopDirective(D);
1948   Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE;
1949 }
1950 
1951 void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
1952   VisitStmt(D);
1953   Record.push_back(D->getNumClauses());
1954   VisitOMPExecutableDirective(D);
1955   Record.push_back(D->hasCancel() ? 1 : 0);
1956   Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE;
1957 }
1958 
1959 void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
1960   VisitStmt(D);
1961   VisitOMPExecutableDirective(D);
1962   Record.push_back(D->hasCancel() ? 1 : 0);
1963   Code = serialization::STMT_OMP_SECTION_DIRECTIVE;
1964 }
1965 
1966 void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
1967   VisitStmt(D);
1968   Record.push_back(D->getNumClauses());
1969   VisitOMPExecutableDirective(D);
1970   Code = serialization::STMT_OMP_SINGLE_DIRECTIVE;
1971 }
1972 
1973 void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
1974   VisitStmt(D);
1975   VisitOMPExecutableDirective(D);
1976   Code = serialization::STMT_OMP_MASTER_DIRECTIVE;
1977 }
1978 
1979 void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
1980   VisitStmt(D);
1981   Record.push_back(D->getNumClauses());
1982   VisitOMPExecutableDirective(D);
1983   Record.AddDeclarationNameInfo(D->getDirectiveName());
1984   Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE;
1985 }
1986 
1987 void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
1988   VisitOMPLoopDirective(D);
1989   Record.push_back(D->hasCancel() ? 1 : 0);
1990   Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE;
1991 }
1992 
1993 void ASTStmtWriter::VisitOMPParallelForSimdDirective(
1994     OMPParallelForSimdDirective *D) {
1995   VisitOMPLoopDirective(D);
1996   Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE;
1997 }
1998 
1999 void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2000     OMPParallelSectionsDirective *D) {
2001   VisitStmt(D);
2002   Record.push_back(D->getNumClauses());
2003   VisitOMPExecutableDirective(D);
2004   Record.push_back(D->hasCancel() ? 1 : 0);
2005   Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE;
2006 }
2007 
2008 void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2009   VisitStmt(D);
2010   Record.push_back(D->getNumClauses());
2011   VisitOMPExecutableDirective(D);
2012   Record.push_back(D->hasCancel() ? 1 : 0);
2013   Code = serialization::STMT_OMP_TASK_DIRECTIVE;
2014 }
2015 
2016 void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2017   VisitStmt(D);
2018   Record.push_back(D->getNumClauses());
2019   VisitOMPExecutableDirective(D);
2020   Record.AddStmt(D->getX());
2021   Record.AddStmt(D->getV());
2022   Record.AddStmt(D->getExpr());
2023   Record.AddStmt(D->getUpdateExpr());
2024   Record.push_back(D->isXLHSInRHSPart() ? 1 : 0);
2025   Record.push_back(D->isPostfixUpdate() ? 1 : 0);
2026   Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE;
2027 }
2028 
2029 void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2030   VisitStmt(D);
2031   Record.push_back(D->getNumClauses());
2032   VisitOMPExecutableDirective(D);
2033   Code = serialization::STMT_OMP_TARGET_DIRECTIVE;
2034 }
2035 
2036 void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2037   VisitStmt(D);
2038   Record.push_back(D->getNumClauses());
2039   VisitOMPExecutableDirective(D);
2040   Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE;
2041 }
2042 
2043 void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2044     OMPTargetEnterDataDirective *D) {
2045   VisitStmt(D);
2046   Record.push_back(D->getNumClauses());
2047   VisitOMPExecutableDirective(D);
2048   Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE;
2049 }
2050 
2051 void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2052     OMPTargetExitDataDirective *D) {
2053   VisitStmt(D);
2054   Record.push_back(D->getNumClauses());
2055   VisitOMPExecutableDirective(D);
2056   Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE;
2057 }
2058 
2059 void ASTStmtWriter::VisitOMPTargetParallelDirective(
2060     OMPTargetParallelDirective *D) {
2061   VisitStmt(D);
2062   Record.push_back(D->getNumClauses());
2063   VisitOMPExecutableDirective(D);
2064   Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE;
2065 }
2066 
2067 void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2068     OMPTargetParallelForDirective *D) {
2069   VisitOMPLoopDirective(D);
2070   Record.push_back(D->hasCancel() ? 1 : 0);
2071   Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE;
2072 }
2073 
2074 void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2075   VisitStmt(D);
2076   VisitOMPExecutableDirective(D);
2077   Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE;
2078 }
2079 
2080 void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2081   VisitStmt(D);
2082   VisitOMPExecutableDirective(D);
2083   Code = serialization::STMT_OMP_BARRIER_DIRECTIVE;
2084 }
2085 
2086 void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2087   VisitStmt(D);
2088   VisitOMPExecutableDirective(D);
2089   Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE;
2090 }
2091 
2092 void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2093   VisitStmt(D);
2094   Record.push_back(D->getNumClauses());
2095   VisitOMPExecutableDirective(D);
2096   Record.AddStmt(D->getReductionRef());
2097   Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE;
2098 }
2099 
2100 void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2101   VisitStmt(D);
2102   Record.push_back(D->getNumClauses());
2103   VisitOMPExecutableDirective(D);
2104   Code = serialization::STMT_OMP_FLUSH_DIRECTIVE;
2105 }
2106 
2107 void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2108   VisitStmt(D);
2109   Record.push_back(D->getNumClauses());
2110   VisitOMPExecutableDirective(D);
2111   Code = serialization::STMT_OMP_ORDERED_DIRECTIVE;
2112 }
2113 
2114 void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2115   VisitStmt(D);
2116   Record.push_back(D->getNumClauses());
2117   VisitOMPExecutableDirective(D);
2118   Code = serialization::STMT_OMP_TEAMS_DIRECTIVE;
2119 }
2120 
2121 void ASTStmtWriter::VisitOMPCancellationPointDirective(
2122     OMPCancellationPointDirective *D) {
2123   VisitStmt(D);
2124   VisitOMPExecutableDirective(D);
2125   Record.push_back(D->getCancelRegion());
2126   Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE;
2127 }
2128 
2129 void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2130   VisitStmt(D);
2131   Record.push_back(D->getNumClauses());
2132   VisitOMPExecutableDirective(D);
2133   Record.push_back(D->getCancelRegion());
2134   Code = serialization::STMT_OMP_CANCEL_DIRECTIVE;
2135 }
2136 
2137 void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2138   VisitOMPLoopDirective(D);
2139   Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE;
2140 }
2141 
2142 void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2143   VisitOMPLoopDirective(D);
2144   Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE;
2145 }
2146 
2147 void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2148   VisitOMPLoopDirective(D);
2149   Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE;
2150 }
2151 
2152 void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2153   VisitStmt(D);
2154   Record.push_back(D->getNumClauses());
2155   VisitOMPExecutableDirective(D);
2156   Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE;
2157 }
2158 
2159 void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2160     OMPDistributeParallelForDirective *D) {
2161   VisitOMPLoopDirective(D);
2162   Record.push_back(D->hasCancel() ? 1 : 0);
2163   Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2164 }
2165 
2166 void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2167     OMPDistributeParallelForSimdDirective *D) {
2168   VisitOMPLoopDirective(D);
2169   Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2170 }
2171 
2172 void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2173     OMPDistributeSimdDirective *D) {
2174   VisitOMPLoopDirective(D);
2175   Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE;
2176 }
2177 
2178 void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2179     OMPTargetParallelForSimdDirective *D) {
2180   VisitOMPLoopDirective(D);
2181   Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE;
2182 }
2183 
2184 void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2185   VisitOMPLoopDirective(D);
2186   Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE;
2187 }
2188 
2189 void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2190     OMPTeamsDistributeDirective *D) {
2191   VisitOMPLoopDirective(D);
2192   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE;
2193 }
2194 
2195 void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2196     OMPTeamsDistributeSimdDirective *D) {
2197   VisitOMPLoopDirective(D);
2198   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2199 }
2200 
2201 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2202     OMPTeamsDistributeParallelForSimdDirective *D) {
2203   VisitOMPLoopDirective(D);
2204   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2205 }
2206 
2207 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2208     OMPTeamsDistributeParallelForDirective *D) {
2209   VisitOMPLoopDirective(D);
2210   Record.push_back(D->hasCancel() ? 1 : 0);
2211   Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2212 }
2213 
2214 void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2215   VisitStmt(D);
2216   Record.push_back(D->getNumClauses());
2217   VisitOMPExecutableDirective(D);
2218   Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE;
2219 }
2220 
2221 void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2222     OMPTargetTeamsDistributeDirective *D) {
2223   VisitOMPLoopDirective(D);
2224   Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE;
2225 }
2226 
2227 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2228     OMPTargetTeamsDistributeParallelForDirective *D) {
2229   VisitOMPLoopDirective(D);
2230   Record.push_back(D->hasCancel() ? 1 : 0);
2231   Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2232 }
2233 
2234 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2235     OMPTargetTeamsDistributeParallelForSimdDirective *D) {
2236   VisitOMPLoopDirective(D);
2237   Code = serialization::
2238       STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2239 }
2240 
2241 void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2242     OMPTargetTeamsDistributeSimdDirective *D) {
2243   VisitOMPLoopDirective(D);
2244   Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2245 }
2246 
2247 //===----------------------------------------------------------------------===//
2248 // ASTWriter Implementation
2249 //===----------------------------------------------------------------------===//
2250 
2251 unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
2252   assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() &&
2253          "SwitchCase recorded twice");
2254   unsigned NextID = SwitchCaseIDs.size();
2255   SwitchCaseIDs[S] = NextID;
2256   return NextID;
2257 }
2258 
2259 unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
2260   assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() &&
2261          "SwitchCase hasn't been seen yet");
2262   return SwitchCaseIDs[S];
2263 }
2264 
2265 void ASTWriter::ClearSwitchCaseIDs() {
2266   SwitchCaseIDs.clear();
2267 }
2268 
2269 /// Write the given substatement or subexpression to the
2270 /// bitstream.
2271 void ASTWriter::WriteSubStmt(Stmt *S) {
2272   RecordData Record;
2273   ASTStmtWriter Writer(*this, Record);
2274   ++NumStatements;
2275 
2276   if (!S) {
2277     Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
2278     return;
2279   }
2280 
2281   llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2282   if (I != SubStmtEntries.end()) {
2283     Record.push_back(I->second);
2284     Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2285     return;
2286   }
2287 
2288 #ifndef NDEBUG
2289   assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2290 
2291   struct ParentStmtInserterRAII {
2292     Stmt *S;
2293     llvm::DenseSet<Stmt *> &ParentStmts;
2294 
2295     ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2296       : S(S), ParentStmts(ParentStmts) {
2297       ParentStmts.insert(S);
2298     }
2299     ~ParentStmtInserterRAII() {
2300       ParentStmts.erase(S);
2301     }
2302   };
2303 
2304   ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2305 #endif
2306 
2307   Writer.Visit(S);
2308 
2309   uint64_t Offset = Writer.Emit();
2310   SubStmtEntries[S] = Offset;
2311 }
2312 
2313 /// Flush all of the statements that have been added to the
2314 /// queue via AddStmt().
2315 void ASTRecordWriter::FlushStmts() {
2316   // We expect to be the only consumer of the two temporary statement maps,
2317   // assert that they are empty.
2318   assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2319   assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
2320 
2321   for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2322     Writer->WriteSubStmt(StmtsToEmit[I]);
2323 
2324     assert(N == StmtsToEmit.size() && "record modified while being written!");
2325 
2326     // Note that we are at the end of a full expression. Any
2327     // expression records that follow this one are part of a different
2328     // expression.
2329     Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
2330 
2331     Writer->SubStmtEntries.clear();
2332     Writer->ParentStmts.clear();
2333   }
2334 
2335   StmtsToEmit.clear();
2336 }
2337 
2338 void ASTRecordWriter::FlushSubStmts() {
2339   // For a nested statement, write out the substatements in reverse order (so
2340   // that a simple stack machine can be used when loading), and don't emit a
2341   // STMT_STOP after each one.
2342   for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2343     Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
2344     assert(N == StmtsToEmit.size() && "record modified while being written!");
2345   }
2346 
2347   StmtsToEmit.clear();
2348 }
2349