1 //===---- StmtProfile.cpp - Profile implementation for Stmt ASTs ----------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file implements the Stmt::Profile method, which builds a unique bit
10 // representation that identifies a statement/expression.
11 //
12 //===----------------------------------------------------------------------===//
13 #include "clang/AST/ASTContext.h"
14 #include "clang/AST/DeclCXX.h"
15 #include "clang/AST/DeclObjC.h"
16 #include "clang/AST/DeclTemplate.h"
17 #include "clang/AST/Expr.h"
18 #include "clang/AST/ExprCXX.h"
19 #include "clang/AST/ExprObjC.h"
20 #include "clang/AST/ExprOpenMP.h"
21 #include "clang/AST/ODRHash.h"
22 #include "clang/AST/OpenMPClause.h"
23 #include "clang/AST/StmtVisitor.h"
24 #include "llvm/ADT/FoldingSet.h"
25 using namespace clang;
26 
27 namespace {
28   class StmtProfiler : public ConstStmtVisitor<StmtProfiler> {
29   protected:
30     llvm::FoldingSetNodeID &ID;
31     bool Canonical;
32 
33   public:
34     StmtProfiler(llvm::FoldingSetNodeID &ID, bool Canonical)
35         : ID(ID), Canonical(Canonical) {}
36 
37     virtual ~StmtProfiler() {}
38 
39     void VisitStmt(const Stmt *S);
40 
41     virtual void HandleStmtClass(Stmt::StmtClass SC) = 0;
42 
43 #define STMT(Node, Base) void Visit##Node(const Node *S);
44 #include "clang/AST/StmtNodes.inc"
45 
46     /// Visit a declaration that is referenced within an expression
47     /// or statement.
48     virtual void VisitDecl(const Decl *D) = 0;
49 
50     /// Visit a type that is referenced within an expression or
51     /// statement.
52     virtual void VisitType(QualType T) = 0;
53 
54     /// Visit a name that occurs within an expression or statement.
55     virtual void VisitName(DeclarationName Name, bool TreatAsDecl = false) = 0;
56 
57     /// Visit identifiers that are not in Decl's or Type's.
58     virtual void VisitIdentifierInfo(IdentifierInfo *II) = 0;
59 
60     /// Visit a nested-name-specifier that occurs within an expression
61     /// or statement.
62     virtual void VisitNestedNameSpecifier(NestedNameSpecifier *NNS) = 0;
63 
64     /// Visit a template name that occurs within an expression or
65     /// statement.
66     virtual void VisitTemplateName(TemplateName Name) = 0;
67 
68     /// Visit template arguments that occur within an expression or
69     /// statement.
70     void VisitTemplateArguments(const TemplateArgumentLoc *Args,
71                                 unsigned NumArgs);
72 
73     /// Visit a single template argument.
74     void VisitTemplateArgument(const TemplateArgument &Arg);
75   };
76 
77   class StmtProfilerWithPointers : public StmtProfiler {
78     const ASTContext &Context;
79 
80   public:
81     StmtProfilerWithPointers(llvm::FoldingSetNodeID &ID,
82                              const ASTContext &Context, bool Canonical)
83         : StmtProfiler(ID, Canonical), Context(Context) {}
84   private:
85     void HandleStmtClass(Stmt::StmtClass SC) override {
86       ID.AddInteger(SC);
87     }
88 
89     void VisitDecl(const Decl *D) override {
90       ID.AddInteger(D ? D->getKind() : 0);
91 
92       if (Canonical && D) {
93         if (const NonTypeTemplateParmDecl *NTTP =
94                 dyn_cast<NonTypeTemplateParmDecl>(D)) {
95           ID.AddInteger(NTTP->getDepth());
96           ID.AddInteger(NTTP->getIndex());
97           ID.AddBoolean(NTTP->isParameterPack());
98           VisitType(NTTP->getType());
99           return;
100         }
101 
102         if (const ParmVarDecl *Parm = dyn_cast<ParmVarDecl>(D)) {
103           // The Itanium C++ ABI uses the type, scope depth, and scope
104           // index of a parameter when mangling expressions that involve
105           // function parameters, so we will use the parameter's type for
106           // establishing function parameter identity. That way, our
107           // definition of "equivalent" (per C++ [temp.over.link]) is at
108           // least as strong as the definition of "equivalent" used for
109           // name mangling.
110           VisitType(Parm->getType());
111           ID.AddInteger(Parm->getFunctionScopeDepth());
112           ID.AddInteger(Parm->getFunctionScopeIndex());
113           return;
114         }
115 
116         if (const TemplateTypeParmDecl *TTP =
117                 dyn_cast<TemplateTypeParmDecl>(D)) {
118           ID.AddInteger(TTP->getDepth());
119           ID.AddInteger(TTP->getIndex());
120           ID.AddBoolean(TTP->isParameterPack());
121           return;
122         }
123 
124         if (const TemplateTemplateParmDecl *TTP =
125                 dyn_cast<TemplateTemplateParmDecl>(D)) {
126           ID.AddInteger(TTP->getDepth());
127           ID.AddInteger(TTP->getIndex());
128           ID.AddBoolean(TTP->isParameterPack());
129           return;
130         }
131       }
132 
133       ID.AddPointer(D ? D->getCanonicalDecl() : nullptr);
134     }
135 
136     void VisitType(QualType T) override {
137       if (Canonical && !T.isNull())
138         T = Context.getCanonicalType(T);
139 
140       ID.AddPointer(T.getAsOpaquePtr());
141     }
142 
143     void VisitName(DeclarationName Name, bool /*TreatAsDecl*/) override {
144       ID.AddPointer(Name.getAsOpaquePtr());
145     }
146 
147     void VisitIdentifierInfo(IdentifierInfo *II) override {
148       ID.AddPointer(II);
149     }
150 
151     void VisitNestedNameSpecifier(NestedNameSpecifier *NNS) override {
152       if (Canonical)
153         NNS = Context.getCanonicalNestedNameSpecifier(NNS);
154       ID.AddPointer(NNS);
155     }
156 
157     void VisitTemplateName(TemplateName Name) override {
158       if (Canonical)
159         Name = Context.getCanonicalTemplateName(Name);
160 
161       Name.Profile(ID);
162     }
163   };
164 
165   class StmtProfilerWithoutPointers : public StmtProfiler {
166     ODRHash &Hash;
167   public:
168     StmtProfilerWithoutPointers(llvm::FoldingSetNodeID &ID, ODRHash &Hash)
169         : StmtProfiler(ID, false), Hash(Hash) {}
170 
171   private:
172     void HandleStmtClass(Stmt::StmtClass SC) override {
173       if (SC == Stmt::UnresolvedLookupExprClass) {
174         // Pretend that the name looked up is a Decl due to how templates
175         // handle some Decl lookups.
176         ID.AddInteger(Stmt::DeclRefExprClass);
177       } else {
178         ID.AddInteger(SC);
179       }
180     }
181 
182     void VisitType(QualType T) override {
183       Hash.AddQualType(T);
184     }
185 
186     void VisitName(DeclarationName Name, bool TreatAsDecl) override {
187       if (TreatAsDecl) {
188         // A Decl can be null, so each Decl is preceded by a boolean to
189         // store its nullness.  Add a boolean here to match.
190         ID.AddBoolean(true);
191       }
192       Hash.AddDeclarationName(Name, TreatAsDecl);
193     }
194     void VisitIdentifierInfo(IdentifierInfo *II) override {
195       ID.AddBoolean(II);
196       if (II) {
197         Hash.AddIdentifierInfo(II);
198       }
199     }
200     void VisitDecl(const Decl *D) override {
201       ID.AddBoolean(D);
202       if (D) {
203         Hash.AddDecl(D);
204       }
205     }
206     void VisitTemplateName(TemplateName Name) override {
207       Hash.AddTemplateName(Name);
208     }
209     void VisitNestedNameSpecifier(NestedNameSpecifier *NNS) override {
210       ID.AddBoolean(NNS);
211       if (NNS) {
212         Hash.AddNestedNameSpecifier(NNS);
213       }
214     }
215   };
216 }
217 
218 void StmtProfiler::VisitStmt(const Stmt *S) {
219   assert(S && "Requires non-null Stmt pointer");
220 
221   HandleStmtClass(S->getStmtClass());
222 
223   for (const Stmt *SubStmt : S->children()) {
224     if (SubStmt)
225       Visit(SubStmt);
226     else
227       ID.AddInteger(0);
228   }
229 }
230 
231 void StmtProfiler::VisitDeclStmt(const DeclStmt *S) {
232   VisitStmt(S);
233   for (const auto *D : S->decls())
234     VisitDecl(D);
235 }
236 
237 void StmtProfiler::VisitNullStmt(const NullStmt *S) {
238   VisitStmt(S);
239 }
240 
241 void StmtProfiler::VisitCompoundStmt(const CompoundStmt *S) {
242   VisitStmt(S);
243 }
244 
245 void StmtProfiler::VisitCaseStmt(const CaseStmt *S) {
246   VisitStmt(S);
247 }
248 
249 void StmtProfiler::VisitDefaultStmt(const DefaultStmt *S) {
250   VisitStmt(S);
251 }
252 
253 void StmtProfiler::VisitLabelStmt(const LabelStmt *S) {
254   VisitStmt(S);
255   VisitDecl(S->getDecl());
256 }
257 
258 void StmtProfiler::VisitAttributedStmt(const AttributedStmt *S) {
259   VisitStmt(S);
260   // TODO: maybe visit attributes?
261 }
262 
263 void StmtProfiler::VisitIfStmt(const IfStmt *S) {
264   VisitStmt(S);
265   VisitDecl(S->getConditionVariable());
266 }
267 
268 void StmtProfiler::VisitSwitchStmt(const SwitchStmt *S) {
269   VisitStmt(S);
270   VisitDecl(S->getConditionVariable());
271 }
272 
273 void StmtProfiler::VisitWhileStmt(const WhileStmt *S) {
274   VisitStmt(S);
275   VisitDecl(S->getConditionVariable());
276 }
277 
278 void StmtProfiler::VisitDoStmt(const DoStmt *S) {
279   VisitStmt(S);
280 }
281 
282 void StmtProfiler::VisitForStmt(const ForStmt *S) {
283   VisitStmt(S);
284 }
285 
286 void StmtProfiler::VisitGotoStmt(const GotoStmt *S) {
287   VisitStmt(S);
288   VisitDecl(S->getLabel());
289 }
290 
291 void StmtProfiler::VisitIndirectGotoStmt(const IndirectGotoStmt *S) {
292   VisitStmt(S);
293 }
294 
295 void StmtProfiler::VisitContinueStmt(const ContinueStmt *S) {
296   VisitStmt(S);
297 }
298 
299 void StmtProfiler::VisitBreakStmt(const BreakStmt *S) {
300   VisitStmt(S);
301 }
302 
303 void StmtProfiler::VisitReturnStmt(const ReturnStmt *S) {
304   VisitStmt(S);
305 }
306 
307 void StmtProfiler::VisitGCCAsmStmt(const GCCAsmStmt *S) {
308   VisitStmt(S);
309   ID.AddBoolean(S->isVolatile());
310   ID.AddBoolean(S->isSimple());
311   VisitStringLiteral(S->getAsmString());
312   ID.AddInteger(S->getNumOutputs());
313   for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
314     ID.AddString(S->getOutputName(I));
315     VisitStringLiteral(S->getOutputConstraintLiteral(I));
316   }
317   ID.AddInteger(S->getNumInputs());
318   for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
319     ID.AddString(S->getInputName(I));
320     VisitStringLiteral(S->getInputConstraintLiteral(I));
321   }
322   ID.AddInteger(S->getNumClobbers());
323   for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
324     VisitStringLiteral(S->getClobberStringLiteral(I));
325   ID.AddInteger(S->getNumLabels());
326   for (auto *L : S->labels())
327     VisitDecl(L->getLabel());
328 }
329 
330 void StmtProfiler::VisitMSAsmStmt(const MSAsmStmt *S) {
331   // FIXME: Implement MS style inline asm statement profiler.
332   VisitStmt(S);
333 }
334 
335 void StmtProfiler::VisitCXXCatchStmt(const CXXCatchStmt *S) {
336   VisitStmt(S);
337   VisitType(S->getCaughtType());
338 }
339 
340 void StmtProfiler::VisitCXXTryStmt(const CXXTryStmt *S) {
341   VisitStmt(S);
342 }
343 
344 void StmtProfiler::VisitCXXForRangeStmt(const CXXForRangeStmt *S) {
345   VisitStmt(S);
346 }
347 
348 void StmtProfiler::VisitMSDependentExistsStmt(const MSDependentExistsStmt *S) {
349   VisitStmt(S);
350   ID.AddBoolean(S->isIfExists());
351   VisitNestedNameSpecifier(S->getQualifierLoc().getNestedNameSpecifier());
352   VisitName(S->getNameInfo().getName());
353 }
354 
355 void StmtProfiler::VisitSEHTryStmt(const SEHTryStmt *S) {
356   VisitStmt(S);
357 }
358 
359 void StmtProfiler::VisitSEHFinallyStmt(const SEHFinallyStmt *S) {
360   VisitStmt(S);
361 }
362 
363 void StmtProfiler::VisitSEHExceptStmt(const SEHExceptStmt *S) {
364   VisitStmt(S);
365 }
366 
367 void StmtProfiler::VisitSEHLeaveStmt(const SEHLeaveStmt *S) {
368   VisitStmt(S);
369 }
370 
371 void StmtProfiler::VisitCapturedStmt(const CapturedStmt *S) {
372   VisitStmt(S);
373 }
374 
375 void StmtProfiler::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S) {
376   VisitStmt(S);
377 }
378 
379 void StmtProfiler::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *S) {
380   VisitStmt(S);
381   ID.AddBoolean(S->hasEllipsis());
382   if (S->getCatchParamDecl())
383     VisitType(S->getCatchParamDecl()->getType());
384 }
385 
386 void StmtProfiler::VisitObjCAtFinallyStmt(const ObjCAtFinallyStmt *S) {
387   VisitStmt(S);
388 }
389 
390 void StmtProfiler::VisitObjCAtTryStmt(const ObjCAtTryStmt *S) {
391   VisitStmt(S);
392 }
393 
394 void
395 StmtProfiler::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S) {
396   VisitStmt(S);
397 }
398 
399 void StmtProfiler::VisitObjCAtThrowStmt(const ObjCAtThrowStmt *S) {
400   VisitStmt(S);
401 }
402 
403 void
404 StmtProfiler::VisitObjCAutoreleasePoolStmt(const ObjCAutoreleasePoolStmt *S) {
405   VisitStmt(S);
406 }
407 
408 namespace {
409 class OMPClauseProfiler : public ConstOMPClauseVisitor<OMPClauseProfiler> {
410   StmtProfiler *Profiler;
411   /// Process clauses with list of variables.
412   template <typename T>
413   void VisitOMPClauseList(T *Node);
414 
415 public:
416   OMPClauseProfiler(StmtProfiler *P) : Profiler(P) { }
417 #define GEN_CLANG_CLAUSE_CLASS
418 #define CLAUSE_CLASS(Enum, Str, Class) void Visit##Class(const Class *C);
419 #include "llvm/Frontend/OpenMP/OMP.inc"
420   void VistOMPClauseWithPreInit(const OMPClauseWithPreInit *C);
421   void VistOMPClauseWithPostUpdate(const OMPClauseWithPostUpdate *C);
422 };
423 
424 void OMPClauseProfiler::VistOMPClauseWithPreInit(
425     const OMPClauseWithPreInit *C) {
426   if (auto *S = C->getPreInitStmt())
427     Profiler->VisitStmt(S);
428 }
429 
430 void OMPClauseProfiler::VistOMPClauseWithPostUpdate(
431     const OMPClauseWithPostUpdate *C) {
432   VistOMPClauseWithPreInit(C);
433   if (auto *E = C->getPostUpdateExpr())
434     Profiler->VisitStmt(E);
435 }
436 
437 void OMPClauseProfiler::VisitOMPIfClause(const OMPIfClause *C) {
438   VistOMPClauseWithPreInit(C);
439   if (C->getCondition())
440     Profiler->VisitStmt(C->getCondition());
441 }
442 
443 void OMPClauseProfiler::VisitOMPFinalClause(const OMPFinalClause *C) {
444   VistOMPClauseWithPreInit(C);
445   if (C->getCondition())
446     Profiler->VisitStmt(C->getCondition());
447 }
448 
449 void OMPClauseProfiler::VisitOMPNumThreadsClause(const OMPNumThreadsClause *C) {
450   VistOMPClauseWithPreInit(C);
451   if (C->getNumThreads())
452     Profiler->VisitStmt(C->getNumThreads());
453 }
454 
455 void OMPClauseProfiler::VisitOMPSafelenClause(const OMPSafelenClause *C) {
456   if (C->getSafelen())
457     Profiler->VisitStmt(C->getSafelen());
458 }
459 
460 void OMPClauseProfiler::VisitOMPSimdlenClause(const OMPSimdlenClause *C) {
461   if (C->getSimdlen())
462     Profiler->VisitStmt(C->getSimdlen());
463 }
464 
465 void OMPClauseProfiler::VisitOMPSizesClause(const OMPSizesClause *C) {
466   for (auto E : C->getSizesRefs())
467     if (E)
468       Profiler->VisitExpr(E);
469 }
470 
471 void OMPClauseProfiler::VisitOMPAllocatorClause(const OMPAllocatorClause *C) {
472   if (C->getAllocator())
473     Profiler->VisitStmt(C->getAllocator());
474 }
475 
476 void OMPClauseProfiler::VisitOMPCollapseClause(const OMPCollapseClause *C) {
477   if (C->getNumForLoops())
478     Profiler->VisitStmt(C->getNumForLoops());
479 }
480 
481 void OMPClauseProfiler::VisitOMPDetachClause(const OMPDetachClause *C) {
482   if (Expr *Evt = C->getEventHandler())
483     Profiler->VisitStmt(Evt);
484 }
485 
486 void OMPClauseProfiler::VisitOMPNovariantsClause(const OMPNovariantsClause *C) {
487   VistOMPClauseWithPreInit(C);
488   if (C->getCondition())
489     Profiler->VisitStmt(C->getCondition());
490 }
491 
492 void OMPClauseProfiler::VisitOMPNocontextClause(const OMPNocontextClause *C) {
493   VistOMPClauseWithPreInit(C);
494   if (C->getCondition())
495     Profiler->VisitStmt(C->getCondition());
496 }
497 
498 void OMPClauseProfiler::VisitOMPDefaultClause(const OMPDefaultClause *C) { }
499 
500 void OMPClauseProfiler::VisitOMPProcBindClause(const OMPProcBindClause *C) { }
501 
502 void OMPClauseProfiler::VisitOMPUnifiedAddressClause(
503     const OMPUnifiedAddressClause *C) {}
504 
505 void OMPClauseProfiler::VisitOMPUnifiedSharedMemoryClause(
506     const OMPUnifiedSharedMemoryClause *C) {}
507 
508 void OMPClauseProfiler::VisitOMPReverseOffloadClause(
509     const OMPReverseOffloadClause *C) {}
510 
511 void OMPClauseProfiler::VisitOMPDynamicAllocatorsClause(
512     const OMPDynamicAllocatorsClause *C) {}
513 
514 void OMPClauseProfiler::VisitOMPAtomicDefaultMemOrderClause(
515     const OMPAtomicDefaultMemOrderClause *C) {}
516 
517 void OMPClauseProfiler::VisitOMPScheduleClause(const OMPScheduleClause *C) {
518   VistOMPClauseWithPreInit(C);
519   if (auto *S = C->getChunkSize())
520     Profiler->VisitStmt(S);
521 }
522 
523 void OMPClauseProfiler::VisitOMPOrderedClause(const OMPOrderedClause *C) {
524   if (auto *Num = C->getNumForLoops())
525     Profiler->VisitStmt(Num);
526 }
527 
528 void OMPClauseProfiler::VisitOMPNowaitClause(const OMPNowaitClause *) {}
529 
530 void OMPClauseProfiler::VisitOMPUntiedClause(const OMPUntiedClause *) {}
531 
532 void OMPClauseProfiler::VisitOMPMergeableClause(const OMPMergeableClause *) {}
533 
534 void OMPClauseProfiler::VisitOMPReadClause(const OMPReadClause *) {}
535 
536 void OMPClauseProfiler::VisitOMPWriteClause(const OMPWriteClause *) {}
537 
538 void OMPClauseProfiler::VisitOMPUpdateClause(const OMPUpdateClause *) {}
539 
540 void OMPClauseProfiler::VisitOMPCaptureClause(const OMPCaptureClause *) {}
541 
542 void OMPClauseProfiler::VisitOMPSeqCstClause(const OMPSeqCstClause *) {}
543 
544 void OMPClauseProfiler::VisitOMPAcqRelClause(const OMPAcqRelClause *) {}
545 
546 void OMPClauseProfiler::VisitOMPAcquireClause(const OMPAcquireClause *) {}
547 
548 void OMPClauseProfiler::VisitOMPReleaseClause(const OMPReleaseClause *) {}
549 
550 void OMPClauseProfiler::VisitOMPRelaxedClause(const OMPRelaxedClause *) {}
551 
552 void OMPClauseProfiler::VisitOMPThreadsClause(const OMPThreadsClause *) {}
553 
554 void OMPClauseProfiler::VisitOMPSIMDClause(const OMPSIMDClause *) {}
555 
556 void OMPClauseProfiler::VisitOMPNogroupClause(const OMPNogroupClause *) {}
557 
558 void OMPClauseProfiler::VisitOMPInitClause(const OMPInitClause *C) {
559   VisitOMPClauseList(C);
560 }
561 
562 void OMPClauseProfiler::VisitOMPUseClause(const OMPUseClause *C) {
563   if (C->getInteropVar())
564     Profiler->VisitStmt(C->getInteropVar());
565 }
566 
567 void OMPClauseProfiler::VisitOMPDestroyClause(const OMPDestroyClause *C) {
568   if (C->getInteropVar())
569     Profiler->VisitStmt(C->getInteropVar());
570 }
571 
572 template<typename T>
573 void OMPClauseProfiler::VisitOMPClauseList(T *Node) {
574   for (auto *E : Node->varlists()) {
575     if (E)
576       Profiler->VisitStmt(E);
577   }
578 }
579 
580 void OMPClauseProfiler::VisitOMPPrivateClause(const OMPPrivateClause *C) {
581   VisitOMPClauseList(C);
582   for (auto *E : C->private_copies()) {
583     if (E)
584       Profiler->VisitStmt(E);
585   }
586 }
587 void
588 OMPClauseProfiler::VisitOMPFirstprivateClause(const OMPFirstprivateClause *C) {
589   VisitOMPClauseList(C);
590   VistOMPClauseWithPreInit(C);
591   for (auto *E : C->private_copies()) {
592     if (E)
593       Profiler->VisitStmt(E);
594   }
595   for (auto *E : C->inits()) {
596     if (E)
597       Profiler->VisitStmt(E);
598   }
599 }
600 void
601 OMPClauseProfiler::VisitOMPLastprivateClause(const OMPLastprivateClause *C) {
602   VisitOMPClauseList(C);
603   VistOMPClauseWithPostUpdate(C);
604   for (auto *E : C->source_exprs()) {
605     if (E)
606       Profiler->VisitStmt(E);
607   }
608   for (auto *E : C->destination_exprs()) {
609     if (E)
610       Profiler->VisitStmt(E);
611   }
612   for (auto *E : C->assignment_ops()) {
613     if (E)
614       Profiler->VisitStmt(E);
615   }
616 }
617 void OMPClauseProfiler::VisitOMPSharedClause(const OMPSharedClause *C) {
618   VisitOMPClauseList(C);
619 }
620 void OMPClauseProfiler::VisitOMPReductionClause(
621                                          const OMPReductionClause *C) {
622   Profiler->VisitNestedNameSpecifier(
623       C->getQualifierLoc().getNestedNameSpecifier());
624   Profiler->VisitName(C->getNameInfo().getName());
625   VisitOMPClauseList(C);
626   VistOMPClauseWithPostUpdate(C);
627   for (auto *E : C->privates()) {
628     if (E)
629       Profiler->VisitStmt(E);
630   }
631   for (auto *E : C->lhs_exprs()) {
632     if (E)
633       Profiler->VisitStmt(E);
634   }
635   for (auto *E : C->rhs_exprs()) {
636     if (E)
637       Profiler->VisitStmt(E);
638   }
639   for (auto *E : C->reduction_ops()) {
640     if (E)
641       Profiler->VisitStmt(E);
642   }
643   if (C->getModifier() == clang::OMPC_REDUCTION_inscan) {
644     for (auto *E : C->copy_ops()) {
645       if (E)
646         Profiler->VisitStmt(E);
647     }
648     for (auto *E : C->copy_array_temps()) {
649       if (E)
650         Profiler->VisitStmt(E);
651     }
652     for (auto *E : C->copy_array_elems()) {
653       if (E)
654         Profiler->VisitStmt(E);
655     }
656   }
657 }
658 void OMPClauseProfiler::VisitOMPTaskReductionClause(
659     const OMPTaskReductionClause *C) {
660   Profiler->VisitNestedNameSpecifier(
661       C->getQualifierLoc().getNestedNameSpecifier());
662   Profiler->VisitName(C->getNameInfo().getName());
663   VisitOMPClauseList(C);
664   VistOMPClauseWithPostUpdate(C);
665   for (auto *E : C->privates()) {
666     if (E)
667       Profiler->VisitStmt(E);
668   }
669   for (auto *E : C->lhs_exprs()) {
670     if (E)
671       Profiler->VisitStmt(E);
672   }
673   for (auto *E : C->rhs_exprs()) {
674     if (E)
675       Profiler->VisitStmt(E);
676   }
677   for (auto *E : C->reduction_ops()) {
678     if (E)
679       Profiler->VisitStmt(E);
680   }
681 }
682 void OMPClauseProfiler::VisitOMPInReductionClause(
683     const OMPInReductionClause *C) {
684   Profiler->VisitNestedNameSpecifier(
685       C->getQualifierLoc().getNestedNameSpecifier());
686   Profiler->VisitName(C->getNameInfo().getName());
687   VisitOMPClauseList(C);
688   VistOMPClauseWithPostUpdate(C);
689   for (auto *E : C->privates()) {
690     if (E)
691       Profiler->VisitStmt(E);
692   }
693   for (auto *E : C->lhs_exprs()) {
694     if (E)
695       Profiler->VisitStmt(E);
696   }
697   for (auto *E : C->rhs_exprs()) {
698     if (E)
699       Profiler->VisitStmt(E);
700   }
701   for (auto *E : C->reduction_ops()) {
702     if (E)
703       Profiler->VisitStmt(E);
704   }
705   for (auto *E : C->taskgroup_descriptors()) {
706     if (E)
707       Profiler->VisitStmt(E);
708   }
709 }
710 void OMPClauseProfiler::VisitOMPLinearClause(const OMPLinearClause *C) {
711   VisitOMPClauseList(C);
712   VistOMPClauseWithPostUpdate(C);
713   for (auto *E : C->privates()) {
714     if (E)
715       Profiler->VisitStmt(E);
716   }
717   for (auto *E : C->inits()) {
718     if (E)
719       Profiler->VisitStmt(E);
720   }
721   for (auto *E : C->updates()) {
722     if (E)
723       Profiler->VisitStmt(E);
724   }
725   for (auto *E : C->finals()) {
726     if (E)
727       Profiler->VisitStmt(E);
728   }
729   if (C->getStep())
730     Profiler->VisitStmt(C->getStep());
731   if (C->getCalcStep())
732     Profiler->VisitStmt(C->getCalcStep());
733 }
734 void OMPClauseProfiler::VisitOMPAlignedClause(const OMPAlignedClause *C) {
735   VisitOMPClauseList(C);
736   if (C->getAlignment())
737     Profiler->VisitStmt(C->getAlignment());
738 }
739 void OMPClauseProfiler::VisitOMPCopyinClause(const OMPCopyinClause *C) {
740   VisitOMPClauseList(C);
741   for (auto *E : C->source_exprs()) {
742     if (E)
743       Profiler->VisitStmt(E);
744   }
745   for (auto *E : C->destination_exprs()) {
746     if (E)
747       Profiler->VisitStmt(E);
748   }
749   for (auto *E : C->assignment_ops()) {
750     if (E)
751       Profiler->VisitStmt(E);
752   }
753 }
754 void
755 OMPClauseProfiler::VisitOMPCopyprivateClause(const OMPCopyprivateClause *C) {
756   VisitOMPClauseList(C);
757   for (auto *E : C->source_exprs()) {
758     if (E)
759       Profiler->VisitStmt(E);
760   }
761   for (auto *E : C->destination_exprs()) {
762     if (E)
763       Profiler->VisitStmt(E);
764   }
765   for (auto *E : C->assignment_ops()) {
766     if (E)
767       Profiler->VisitStmt(E);
768   }
769 }
770 void OMPClauseProfiler::VisitOMPFlushClause(const OMPFlushClause *C) {
771   VisitOMPClauseList(C);
772 }
773 void OMPClauseProfiler::VisitOMPDepobjClause(const OMPDepobjClause *C) {
774   if (const Expr *Depobj = C->getDepobj())
775     Profiler->VisitStmt(Depobj);
776 }
777 void OMPClauseProfiler::VisitOMPDependClause(const OMPDependClause *C) {
778   VisitOMPClauseList(C);
779 }
780 void OMPClauseProfiler::VisitOMPDeviceClause(const OMPDeviceClause *C) {
781   if (C->getDevice())
782     Profiler->VisitStmt(C->getDevice());
783 }
784 void OMPClauseProfiler::VisitOMPMapClause(const OMPMapClause *C) {
785   VisitOMPClauseList(C);
786 }
787 void OMPClauseProfiler::VisitOMPAllocateClause(const OMPAllocateClause *C) {
788   if (Expr *Allocator = C->getAllocator())
789     Profiler->VisitStmt(Allocator);
790   VisitOMPClauseList(C);
791 }
792 void OMPClauseProfiler::VisitOMPNumTeamsClause(const OMPNumTeamsClause *C) {
793   VistOMPClauseWithPreInit(C);
794   if (C->getNumTeams())
795     Profiler->VisitStmt(C->getNumTeams());
796 }
797 void OMPClauseProfiler::VisitOMPThreadLimitClause(
798     const OMPThreadLimitClause *C) {
799   VistOMPClauseWithPreInit(C);
800   if (C->getThreadLimit())
801     Profiler->VisitStmt(C->getThreadLimit());
802 }
803 void OMPClauseProfiler::VisitOMPPriorityClause(const OMPPriorityClause *C) {
804   VistOMPClauseWithPreInit(C);
805   if (C->getPriority())
806     Profiler->VisitStmt(C->getPriority());
807 }
808 void OMPClauseProfiler::VisitOMPGrainsizeClause(const OMPGrainsizeClause *C) {
809   VistOMPClauseWithPreInit(C);
810   if (C->getGrainsize())
811     Profiler->VisitStmt(C->getGrainsize());
812 }
813 void OMPClauseProfiler::VisitOMPNumTasksClause(const OMPNumTasksClause *C) {
814   VistOMPClauseWithPreInit(C);
815   if (C->getNumTasks())
816     Profiler->VisitStmt(C->getNumTasks());
817 }
818 void OMPClauseProfiler::VisitOMPHintClause(const OMPHintClause *C) {
819   if (C->getHint())
820     Profiler->VisitStmt(C->getHint());
821 }
822 void OMPClauseProfiler::VisitOMPToClause(const OMPToClause *C) {
823   VisitOMPClauseList(C);
824 }
825 void OMPClauseProfiler::VisitOMPFromClause(const OMPFromClause *C) {
826   VisitOMPClauseList(C);
827 }
828 void OMPClauseProfiler::VisitOMPUseDevicePtrClause(
829     const OMPUseDevicePtrClause *C) {
830   VisitOMPClauseList(C);
831 }
832 void OMPClauseProfiler::VisitOMPUseDeviceAddrClause(
833     const OMPUseDeviceAddrClause *C) {
834   VisitOMPClauseList(C);
835 }
836 void OMPClauseProfiler::VisitOMPIsDevicePtrClause(
837     const OMPIsDevicePtrClause *C) {
838   VisitOMPClauseList(C);
839 }
840 void OMPClauseProfiler::VisitOMPNontemporalClause(
841     const OMPNontemporalClause *C) {
842   VisitOMPClauseList(C);
843   for (auto *E : C->private_refs())
844     Profiler->VisitStmt(E);
845 }
846 void OMPClauseProfiler::VisitOMPInclusiveClause(const OMPInclusiveClause *C) {
847   VisitOMPClauseList(C);
848 }
849 void OMPClauseProfiler::VisitOMPExclusiveClause(const OMPExclusiveClause *C) {
850   VisitOMPClauseList(C);
851 }
852 void OMPClauseProfiler::VisitOMPUsesAllocatorsClause(
853     const OMPUsesAllocatorsClause *C) {
854   for (unsigned I = 0, E = C->getNumberOfAllocators(); I < E; ++I) {
855     OMPUsesAllocatorsClause::Data D = C->getAllocatorData(I);
856     Profiler->VisitStmt(D.Allocator);
857     if (D.AllocatorTraits)
858       Profiler->VisitStmt(D.AllocatorTraits);
859   }
860 }
861 void OMPClauseProfiler::VisitOMPAffinityClause(const OMPAffinityClause *C) {
862   if (const Expr *Modifier = C->getModifier())
863     Profiler->VisitStmt(Modifier);
864   for (const Expr *E : C->varlists())
865     Profiler->VisitStmt(E);
866 }
867 void OMPClauseProfiler::VisitOMPOrderClause(const OMPOrderClause *C) {}
868 } // namespace
869 
870 void
871 StmtProfiler::VisitOMPExecutableDirective(const OMPExecutableDirective *S) {
872   VisitStmt(S);
873   OMPClauseProfiler P(this);
874   ArrayRef<OMPClause *> Clauses = S->clauses();
875   for (ArrayRef<OMPClause *>::iterator I = Clauses.begin(), E = Clauses.end();
876        I != E; ++I)
877     if (*I)
878       P.Visit(*I);
879 }
880 
881 void StmtProfiler::VisitOMPCanonicalLoop(const OMPCanonicalLoop *L) {
882   VisitStmt(L);
883 }
884 
885 void StmtProfiler::VisitOMPLoopBasedDirective(const OMPLoopBasedDirective *S) {
886   VisitOMPExecutableDirective(S);
887 }
888 
889 void StmtProfiler::VisitOMPLoopDirective(const OMPLoopDirective *S) {
890   VisitOMPLoopBasedDirective(S);
891 }
892 
893 void StmtProfiler::VisitOMPParallelDirective(const OMPParallelDirective *S) {
894   VisitOMPExecutableDirective(S);
895 }
896 
897 void StmtProfiler::VisitOMPSimdDirective(const OMPSimdDirective *S) {
898   VisitOMPLoopDirective(S);
899 }
900 
901 void StmtProfiler::VisitOMPTileDirective(const OMPTileDirective *S) {
902   VisitOMPLoopBasedDirective(S);
903 }
904 
905 void StmtProfiler::VisitOMPForDirective(const OMPForDirective *S) {
906   VisitOMPLoopDirective(S);
907 }
908 
909 void StmtProfiler::VisitOMPForSimdDirective(const OMPForSimdDirective *S) {
910   VisitOMPLoopDirective(S);
911 }
912 
913 void StmtProfiler::VisitOMPSectionsDirective(const OMPSectionsDirective *S) {
914   VisitOMPExecutableDirective(S);
915 }
916 
917 void StmtProfiler::VisitOMPSectionDirective(const OMPSectionDirective *S) {
918   VisitOMPExecutableDirective(S);
919 }
920 
921 void StmtProfiler::VisitOMPSingleDirective(const OMPSingleDirective *S) {
922   VisitOMPExecutableDirective(S);
923 }
924 
925 void StmtProfiler::VisitOMPMasterDirective(const OMPMasterDirective *S) {
926   VisitOMPExecutableDirective(S);
927 }
928 
929 void StmtProfiler::VisitOMPCriticalDirective(const OMPCriticalDirective *S) {
930   VisitOMPExecutableDirective(S);
931   VisitName(S->getDirectiveName().getName());
932 }
933 
934 void
935 StmtProfiler::VisitOMPParallelForDirective(const OMPParallelForDirective *S) {
936   VisitOMPLoopDirective(S);
937 }
938 
939 void StmtProfiler::VisitOMPParallelForSimdDirective(
940     const OMPParallelForSimdDirective *S) {
941   VisitOMPLoopDirective(S);
942 }
943 
944 void StmtProfiler::VisitOMPParallelMasterDirective(
945     const OMPParallelMasterDirective *S) {
946   VisitOMPExecutableDirective(S);
947 }
948 
949 void StmtProfiler::VisitOMPParallelSectionsDirective(
950     const OMPParallelSectionsDirective *S) {
951   VisitOMPExecutableDirective(S);
952 }
953 
954 void StmtProfiler::VisitOMPTaskDirective(const OMPTaskDirective *S) {
955   VisitOMPExecutableDirective(S);
956 }
957 
958 void StmtProfiler::VisitOMPTaskyieldDirective(const OMPTaskyieldDirective *S) {
959   VisitOMPExecutableDirective(S);
960 }
961 
962 void StmtProfiler::VisitOMPBarrierDirective(const OMPBarrierDirective *S) {
963   VisitOMPExecutableDirective(S);
964 }
965 
966 void StmtProfiler::VisitOMPTaskwaitDirective(const OMPTaskwaitDirective *S) {
967   VisitOMPExecutableDirective(S);
968 }
969 
970 void StmtProfiler::VisitOMPTaskgroupDirective(const OMPTaskgroupDirective *S) {
971   VisitOMPExecutableDirective(S);
972   if (const Expr *E = S->getReductionRef())
973     VisitStmt(E);
974 }
975 
976 void StmtProfiler::VisitOMPFlushDirective(const OMPFlushDirective *S) {
977   VisitOMPExecutableDirective(S);
978 }
979 
980 void StmtProfiler::VisitOMPDepobjDirective(const OMPDepobjDirective *S) {
981   VisitOMPExecutableDirective(S);
982 }
983 
984 void StmtProfiler::VisitOMPScanDirective(const OMPScanDirective *S) {
985   VisitOMPExecutableDirective(S);
986 }
987 
988 void StmtProfiler::VisitOMPOrderedDirective(const OMPOrderedDirective *S) {
989   VisitOMPExecutableDirective(S);
990 }
991 
992 void StmtProfiler::VisitOMPAtomicDirective(const OMPAtomicDirective *S) {
993   VisitOMPExecutableDirective(S);
994 }
995 
996 void StmtProfiler::VisitOMPTargetDirective(const OMPTargetDirective *S) {
997   VisitOMPExecutableDirective(S);
998 }
999 
1000 void StmtProfiler::VisitOMPTargetDataDirective(const OMPTargetDataDirective *S) {
1001   VisitOMPExecutableDirective(S);
1002 }
1003 
1004 void StmtProfiler::VisitOMPTargetEnterDataDirective(
1005     const OMPTargetEnterDataDirective *S) {
1006   VisitOMPExecutableDirective(S);
1007 }
1008 
1009 void StmtProfiler::VisitOMPTargetExitDataDirective(
1010     const OMPTargetExitDataDirective *S) {
1011   VisitOMPExecutableDirective(S);
1012 }
1013 
1014 void StmtProfiler::VisitOMPTargetParallelDirective(
1015     const OMPTargetParallelDirective *S) {
1016   VisitOMPExecutableDirective(S);
1017 }
1018 
1019 void StmtProfiler::VisitOMPTargetParallelForDirective(
1020     const OMPTargetParallelForDirective *S) {
1021   VisitOMPExecutableDirective(S);
1022 }
1023 
1024 void StmtProfiler::VisitOMPTeamsDirective(const OMPTeamsDirective *S) {
1025   VisitOMPExecutableDirective(S);
1026 }
1027 
1028 void StmtProfiler::VisitOMPCancellationPointDirective(
1029     const OMPCancellationPointDirective *S) {
1030   VisitOMPExecutableDirective(S);
1031 }
1032 
1033 void StmtProfiler::VisitOMPCancelDirective(const OMPCancelDirective *S) {
1034   VisitOMPExecutableDirective(S);
1035 }
1036 
1037 void StmtProfiler::VisitOMPTaskLoopDirective(const OMPTaskLoopDirective *S) {
1038   VisitOMPLoopDirective(S);
1039 }
1040 
1041 void StmtProfiler::VisitOMPTaskLoopSimdDirective(
1042     const OMPTaskLoopSimdDirective *S) {
1043   VisitOMPLoopDirective(S);
1044 }
1045 
1046 void StmtProfiler::VisitOMPMasterTaskLoopDirective(
1047     const OMPMasterTaskLoopDirective *S) {
1048   VisitOMPLoopDirective(S);
1049 }
1050 
1051 void StmtProfiler::VisitOMPMasterTaskLoopSimdDirective(
1052     const OMPMasterTaskLoopSimdDirective *S) {
1053   VisitOMPLoopDirective(S);
1054 }
1055 
1056 void StmtProfiler::VisitOMPParallelMasterTaskLoopDirective(
1057     const OMPParallelMasterTaskLoopDirective *S) {
1058   VisitOMPLoopDirective(S);
1059 }
1060 
1061 void StmtProfiler::VisitOMPParallelMasterTaskLoopSimdDirective(
1062     const OMPParallelMasterTaskLoopSimdDirective *S) {
1063   VisitOMPLoopDirective(S);
1064 }
1065 
1066 void StmtProfiler::VisitOMPDistributeDirective(
1067     const OMPDistributeDirective *S) {
1068   VisitOMPLoopDirective(S);
1069 }
1070 
1071 void OMPClauseProfiler::VisitOMPDistScheduleClause(
1072     const OMPDistScheduleClause *C) {
1073   VistOMPClauseWithPreInit(C);
1074   if (auto *S = C->getChunkSize())
1075     Profiler->VisitStmt(S);
1076 }
1077 
1078 void OMPClauseProfiler::VisitOMPDefaultmapClause(const OMPDefaultmapClause *) {}
1079 
1080 void StmtProfiler::VisitOMPTargetUpdateDirective(
1081     const OMPTargetUpdateDirective *S) {
1082   VisitOMPExecutableDirective(S);
1083 }
1084 
1085 void StmtProfiler::VisitOMPDistributeParallelForDirective(
1086     const OMPDistributeParallelForDirective *S) {
1087   VisitOMPLoopDirective(S);
1088 }
1089 
1090 void StmtProfiler::VisitOMPDistributeParallelForSimdDirective(
1091     const OMPDistributeParallelForSimdDirective *S) {
1092   VisitOMPLoopDirective(S);
1093 }
1094 
1095 void StmtProfiler::VisitOMPDistributeSimdDirective(
1096     const OMPDistributeSimdDirective *S) {
1097   VisitOMPLoopDirective(S);
1098 }
1099 
1100 void StmtProfiler::VisitOMPTargetParallelForSimdDirective(
1101     const OMPTargetParallelForSimdDirective *S) {
1102   VisitOMPLoopDirective(S);
1103 }
1104 
1105 void StmtProfiler::VisitOMPTargetSimdDirective(
1106     const OMPTargetSimdDirective *S) {
1107   VisitOMPLoopDirective(S);
1108 }
1109 
1110 void StmtProfiler::VisitOMPTeamsDistributeDirective(
1111     const OMPTeamsDistributeDirective *S) {
1112   VisitOMPLoopDirective(S);
1113 }
1114 
1115 void StmtProfiler::VisitOMPTeamsDistributeSimdDirective(
1116     const OMPTeamsDistributeSimdDirective *S) {
1117   VisitOMPLoopDirective(S);
1118 }
1119 
1120 void StmtProfiler::VisitOMPTeamsDistributeParallelForSimdDirective(
1121     const OMPTeamsDistributeParallelForSimdDirective *S) {
1122   VisitOMPLoopDirective(S);
1123 }
1124 
1125 void StmtProfiler::VisitOMPTeamsDistributeParallelForDirective(
1126     const OMPTeamsDistributeParallelForDirective *S) {
1127   VisitOMPLoopDirective(S);
1128 }
1129 
1130 void StmtProfiler::VisitOMPTargetTeamsDirective(
1131     const OMPTargetTeamsDirective *S) {
1132   VisitOMPExecutableDirective(S);
1133 }
1134 
1135 void StmtProfiler::VisitOMPTargetTeamsDistributeDirective(
1136     const OMPTargetTeamsDistributeDirective *S) {
1137   VisitOMPLoopDirective(S);
1138 }
1139 
1140 void StmtProfiler::VisitOMPTargetTeamsDistributeParallelForDirective(
1141     const OMPTargetTeamsDistributeParallelForDirective *S) {
1142   VisitOMPLoopDirective(S);
1143 }
1144 
1145 void StmtProfiler::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
1146     const OMPTargetTeamsDistributeParallelForSimdDirective *S) {
1147   VisitOMPLoopDirective(S);
1148 }
1149 
1150 void StmtProfiler::VisitOMPTargetTeamsDistributeSimdDirective(
1151     const OMPTargetTeamsDistributeSimdDirective *S) {
1152   VisitOMPLoopDirective(S);
1153 }
1154 
1155 void StmtProfiler::VisitOMPInteropDirective(const OMPInteropDirective *S) {
1156   VisitOMPExecutableDirective(S);
1157 }
1158 
1159 void StmtProfiler::VisitOMPDispatchDirective(const OMPDispatchDirective *S) {
1160   VisitOMPExecutableDirective(S);
1161 }
1162 
1163 void StmtProfiler::VisitExpr(const Expr *S) {
1164   VisitStmt(S);
1165 }
1166 
1167 void StmtProfiler::VisitConstantExpr(const ConstantExpr *S) {
1168   VisitExpr(S);
1169 }
1170 
1171 void StmtProfiler::VisitDeclRefExpr(const DeclRefExpr *S) {
1172   VisitExpr(S);
1173   if (!Canonical)
1174     VisitNestedNameSpecifier(S->getQualifier());
1175   VisitDecl(S->getDecl());
1176   if (!Canonical) {
1177     ID.AddBoolean(S->hasExplicitTemplateArgs());
1178     if (S->hasExplicitTemplateArgs())
1179       VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
1180   }
1181 }
1182 
1183 void StmtProfiler::VisitPredefinedExpr(const PredefinedExpr *S) {
1184   VisitExpr(S);
1185   ID.AddInteger(S->getIdentKind());
1186 }
1187 
1188 void StmtProfiler::VisitIntegerLiteral(const IntegerLiteral *S) {
1189   VisitExpr(S);
1190   S->getValue().Profile(ID);
1191   ID.AddInteger(S->getType()->castAs<BuiltinType>()->getKind());
1192 }
1193 
1194 void StmtProfiler::VisitFixedPointLiteral(const FixedPointLiteral *S) {
1195   VisitExpr(S);
1196   S->getValue().Profile(ID);
1197   ID.AddInteger(S->getType()->castAs<BuiltinType>()->getKind());
1198 }
1199 
1200 void StmtProfiler::VisitCharacterLiteral(const CharacterLiteral *S) {
1201   VisitExpr(S);
1202   ID.AddInteger(S->getKind());
1203   ID.AddInteger(S->getValue());
1204 }
1205 
1206 void StmtProfiler::VisitFloatingLiteral(const FloatingLiteral *S) {
1207   VisitExpr(S);
1208   S->getValue().Profile(ID);
1209   ID.AddBoolean(S->isExact());
1210   ID.AddInteger(S->getType()->castAs<BuiltinType>()->getKind());
1211 }
1212 
1213 void StmtProfiler::VisitImaginaryLiteral(const ImaginaryLiteral *S) {
1214   VisitExpr(S);
1215 }
1216 
1217 void StmtProfiler::VisitStringLiteral(const StringLiteral *S) {
1218   VisitExpr(S);
1219   ID.AddString(S->getBytes());
1220   ID.AddInteger(S->getKind());
1221 }
1222 
1223 void StmtProfiler::VisitParenExpr(const ParenExpr *S) {
1224   VisitExpr(S);
1225 }
1226 
1227 void StmtProfiler::VisitParenListExpr(const ParenListExpr *S) {
1228   VisitExpr(S);
1229 }
1230 
1231 void StmtProfiler::VisitUnaryOperator(const UnaryOperator *S) {
1232   VisitExpr(S);
1233   ID.AddInteger(S->getOpcode());
1234 }
1235 
1236 void StmtProfiler::VisitOffsetOfExpr(const OffsetOfExpr *S) {
1237   VisitType(S->getTypeSourceInfo()->getType());
1238   unsigned n = S->getNumComponents();
1239   for (unsigned i = 0; i < n; ++i) {
1240     const OffsetOfNode &ON = S->getComponent(i);
1241     ID.AddInteger(ON.getKind());
1242     switch (ON.getKind()) {
1243     case OffsetOfNode::Array:
1244       // Expressions handled below.
1245       break;
1246 
1247     case OffsetOfNode::Field:
1248       VisitDecl(ON.getField());
1249       break;
1250 
1251     case OffsetOfNode::Identifier:
1252       VisitIdentifierInfo(ON.getFieldName());
1253       break;
1254 
1255     case OffsetOfNode::Base:
1256       // These nodes are implicit, and therefore don't need profiling.
1257       break;
1258     }
1259   }
1260 
1261   VisitExpr(S);
1262 }
1263 
1264 void
1265 StmtProfiler::VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *S) {
1266   VisitExpr(S);
1267   ID.AddInteger(S->getKind());
1268   if (S->isArgumentType())
1269     VisitType(S->getArgumentType());
1270 }
1271 
1272 void StmtProfiler::VisitArraySubscriptExpr(const ArraySubscriptExpr *S) {
1273   VisitExpr(S);
1274 }
1275 
1276 void StmtProfiler::VisitMatrixSubscriptExpr(const MatrixSubscriptExpr *S) {
1277   VisitExpr(S);
1278 }
1279 
1280 void StmtProfiler::VisitOMPArraySectionExpr(const OMPArraySectionExpr *S) {
1281   VisitExpr(S);
1282 }
1283 
1284 void StmtProfiler::VisitOMPArrayShapingExpr(const OMPArrayShapingExpr *S) {
1285   VisitExpr(S);
1286 }
1287 
1288 void StmtProfiler::VisitOMPIteratorExpr(const OMPIteratorExpr *S) {
1289   VisitExpr(S);
1290   for (unsigned I = 0, E = S->numOfIterators(); I < E; ++I)
1291     VisitDecl(S->getIteratorDecl(I));
1292 }
1293 
1294 void StmtProfiler::VisitCallExpr(const CallExpr *S) {
1295   VisitExpr(S);
1296 }
1297 
1298 void StmtProfiler::VisitMemberExpr(const MemberExpr *S) {
1299   VisitExpr(S);
1300   VisitDecl(S->getMemberDecl());
1301   if (!Canonical)
1302     VisitNestedNameSpecifier(S->getQualifier());
1303   ID.AddBoolean(S->isArrow());
1304 }
1305 
1306 void StmtProfiler::VisitCompoundLiteralExpr(const CompoundLiteralExpr *S) {
1307   VisitExpr(S);
1308   ID.AddBoolean(S->isFileScope());
1309 }
1310 
1311 void StmtProfiler::VisitCastExpr(const CastExpr *S) {
1312   VisitExpr(S);
1313 }
1314 
1315 void StmtProfiler::VisitImplicitCastExpr(const ImplicitCastExpr *S) {
1316   VisitCastExpr(S);
1317   ID.AddInteger(S->getValueKind());
1318 }
1319 
1320 void StmtProfiler::VisitExplicitCastExpr(const ExplicitCastExpr *S) {
1321   VisitCastExpr(S);
1322   VisitType(S->getTypeAsWritten());
1323 }
1324 
1325 void StmtProfiler::VisitCStyleCastExpr(const CStyleCastExpr *S) {
1326   VisitExplicitCastExpr(S);
1327 }
1328 
1329 void StmtProfiler::VisitBinaryOperator(const BinaryOperator *S) {
1330   VisitExpr(S);
1331   ID.AddInteger(S->getOpcode());
1332 }
1333 
1334 void
1335 StmtProfiler::VisitCompoundAssignOperator(const CompoundAssignOperator *S) {
1336   VisitBinaryOperator(S);
1337 }
1338 
1339 void StmtProfiler::VisitConditionalOperator(const ConditionalOperator *S) {
1340   VisitExpr(S);
1341 }
1342 
1343 void StmtProfiler::VisitBinaryConditionalOperator(
1344     const BinaryConditionalOperator *S) {
1345   VisitExpr(S);
1346 }
1347 
1348 void StmtProfiler::VisitAddrLabelExpr(const AddrLabelExpr *S) {
1349   VisitExpr(S);
1350   VisitDecl(S->getLabel());
1351 }
1352 
1353 void StmtProfiler::VisitStmtExpr(const StmtExpr *S) {
1354   VisitExpr(S);
1355 }
1356 
1357 void StmtProfiler::VisitShuffleVectorExpr(const ShuffleVectorExpr *S) {
1358   VisitExpr(S);
1359 }
1360 
1361 void StmtProfiler::VisitConvertVectorExpr(const ConvertVectorExpr *S) {
1362   VisitExpr(S);
1363 }
1364 
1365 void StmtProfiler::VisitChooseExpr(const ChooseExpr *S) {
1366   VisitExpr(S);
1367 }
1368 
1369 void StmtProfiler::VisitGNUNullExpr(const GNUNullExpr *S) {
1370   VisitExpr(S);
1371 }
1372 
1373 void StmtProfiler::VisitVAArgExpr(const VAArgExpr *S) {
1374   VisitExpr(S);
1375 }
1376 
1377 void StmtProfiler::VisitInitListExpr(const InitListExpr *S) {
1378   if (S->getSyntacticForm()) {
1379     VisitInitListExpr(S->getSyntacticForm());
1380     return;
1381   }
1382 
1383   VisitExpr(S);
1384 }
1385 
1386 void StmtProfiler::VisitDesignatedInitExpr(const DesignatedInitExpr *S) {
1387   VisitExpr(S);
1388   ID.AddBoolean(S->usesGNUSyntax());
1389   for (const DesignatedInitExpr::Designator &D : S->designators()) {
1390     if (D.isFieldDesignator()) {
1391       ID.AddInteger(0);
1392       VisitName(D.getFieldName());
1393       continue;
1394     }
1395 
1396     if (D.isArrayDesignator()) {
1397       ID.AddInteger(1);
1398     } else {
1399       assert(D.isArrayRangeDesignator());
1400       ID.AddInteger(2);
1401     }
1402     ID.AddInteger(D.getFirstExprIndex());
1403   }
1404 }
1405 
1406 // Seems that if VisitInitListExpr() only works on the syntactic form of an
1407 // InitListExpr, then a DesignatedInitUpdateExpr is not encountered.
1408 void StmtProfiler::VisitDesignatedInitUpdateExpr(
1409     const DesignatedInitUpdateExpr *S) {
1410   llvm_unreachable("Unexpected DesignatedInitUpdateExpr in syntactic form of "
1411                    "initializer");
1412 }
1413 
1414 void StmtProfiler::VisitArrayInitLoopExpr(const ArrayInitLoopExpr *S) {
1415   VisitExpr(S);
1416 }
1417 
1418 void StmtProfiler::VisitArrayInitIndexExpr(const ArrayInitIndexExpr *S) {
1419   VisitExpr(S);
1420 }
1421 
1422 void StmtProfiler::VisitNoInitExpr(const NoInitExpr *S) {
1423   llvm_unreachable("Unexpected NoInitExpr in syntactic form of initializer");
1424 }
1425 
1426 void StmtProfiler::VisitImplicitValueInitExpr(const ImplicitValueInitExpr *S) {
1427   VisitExpr(S);
1428 }
1429 
1430 void StmtProfiler::VisitExtVectorElementExpr(const ExtVectorElementExpr *S) {
1431   VisitExpr(S);
1432   VisitName(&S->getAccessor());
1433 }
1434 
1435 void StmtProfiler::VisitBlockExpr(const BlockExpr *S) {
1436   VisitExpr(S);
1437   VisitDecl(S->getBlockDecl());
1438 }
1439 
1440 void StmtProfiler::VisitGenericSelectionExpr(const GenericSelectionExpr *S) {
1441   VisitExpr(S);
1442   for (const GenericSelectionExpr::ConstAssociation Assoc :
1443        S->associations()) {
1444     QualType T = Assoc.getType();
1445     if (T.isNull())
1446       ID.AddPointer(nullptr);
1447     else
1448       VisitType(T);
1449     VisitExpr(Assoc.getAssociationExpr());
1450   }
1451 }
1452 
1453 void StmtProfiler::VisitPseudoObjectExpr(const PseudoObjectExpr *S) {
1454   VisitExpr(S);
1455   for (PseudoObjectExpr::const_semantics_iterator
1456          i = S->semantics_begin(), e = S->semantics_end(); i != e; ++i)
1457     // Normally, we would not profile the source expressions of OVEs.
1458     if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(*i))
1459       Visit(OVE->getSourceExpr());
1460 }
1461 
1462 void StmtProfiler::VisitAtomicExpr(const AtomicExpr *S) {
1463   VisitExpr(S);
1464   ID.AddInteger(S->getOp());
1465 }
1466 
1467 void StmtProfiler::VisitConceptSpecializationExpr(
1468                                            const ConceptSpecializationExpr *S) {
1469   VisitExpr(S);
1470   VisitDecl(S->getNamedConcept());
1471   for (const TemplateArgument &Arg : S->getTemplateArguments())
1472     VisitTemplateArgument(Arg);
1473 }
1474 
1475 void StmtProfiler::VisitRequiresExpr(const RequiresExpr *S) {
1476   VisitExpr(S);
1477   ID.AddInteger(S->getLocalParameters().size());
1478   for (ParmVarDecl *LocalParam : S->getLocalParameters())
1479     VisitDecl(LocalParam);
1480   ID.AddInteger(S->getRequirements().size());
1481   for (concepts::Requirement *Req : S->getRequirements()) {
1482     if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) {
1483       ID.AddInteger(concepts::Requirement::RK_Type);
1484       ID.AddBoolean(TypeReq->isSubstitutionFailure());
1485       if (!TypeReq->isSubstitutionFailure())
1486         VisitType(TypeReq->getType()->getType());
1487     } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) {
1488       ID.AddInteger(concepts::Requirement::RK_Compound);
1489       ID.AddBoolean(ExprReq->isExprSubstitutionFailure());
1490       if (!ExprReq->isExprSubstitutionFailure())
1491         Visit(ExprReq->getExpr());
1492       // C++2a [expr.prim.req.compound]p1 Example:
1493       //    [...] The compound-requirement in C1 requires that x++ is a valid
1494       //    expression. It is equivalent to the simple-requirement x++; [...]
1495       // We therefore do not profile isSimple() here.
1496       ID.AddBoolean(ExprReq->getNoexceptLoc().isValid());
1497       const concepts::ExprRequirement::ReturnTypeRequirement &RetReq =
1498           ExprReq->getReturnTypeRequirement();
1499       if (RetReq.isEmpty()) {
1500         ID.AddInteger(0);
1501       } else if (RetReq.isTypeConstraint()) {
1502         ID.AddInteger(1);
1503         Visit(RetReq.getTypeConstraint()->getImmediatelyDeclaredConstraint());
1504       } else {
1505         assert(RetReq.isSubstitutionFailure());
1506         ID.AddInteger(2);
1507       }
1508     } else {
1509       ID.AddInteger(concepts::Requirement::RK_Nested);
1510       auto *NestedReq = cast<concepts::NestedRequirement>(Req);
1511       ID.AddBoolean(NestedReq->isSubstitutionFailure());
1512       if (!NestedReq->isSubstitutionFailure())
1513         Visit(NestedReq->getConstraintExpr());
1514     }
1515   }
1516 }
1517 
1518 static Stmt::StmtClass DecodeOperatorCall(const CXXOperatorCallExpr *S,
1519                                           UnaryOperatorKind &UnaryOp,
1520                                           BinaryOperatorKind &BinaryOp) {
1521   switch (S->getOperator()) {
1522   case OO_None:
1523   case OO_New:
1524   case OO_Delete:
1525   case OO_Array_New:
1526   case OO_Array_Delete:
1527   case OO_Arrow:
1528   case OO_Conditional:
1529   case NUM_OVERLOADED_OPERATORS:
1530     llvm_unreachable("Invalid operator call kind");
1531 
1532   case OO_Plus:
1533     if (S->getNumArgs() == 1) {
1534       UnaryOp = UO_Plus;
1535       return Stmt::UnaryOperatorClass;
1536     }
1537 
1538     BinaryOp = BO_Add;
1539     return Stmt::BinaryOperatorClass;
1540 
1541   case OO_Minus:
1542     if (S->getNumArgs() == 1) {
1543       UnaryOp = UO_Minus;
1544       return Stmt::UnaryOperatorClass;
1545     }
1546 
1547     BinaryOp = BO_Sub;
1548     return Stmt::BinaryOperatorClass;
1549 
1550   case OO_Star:
1551     if (S->getNumArgs() == 1) {
1552       UnaryOp = UO_Deref;
1553       return Stmt::UnaryOperatorClass;
1554     }
1555 
1556     BinaryOp = BO_Mul;
1557     return Stmt::BinaryOperatorClass;
1558 
1559   case OO_Slash:
1560     BinaryOp = BO_Div;
1561     return Stmt::BinaryOperatorClass;
1562 
1563   case OO_Percent:
1564     BinaryOp = BO_Rem;
1565     return Stmt::BinaryOperatorClass;
1566 
1567   case OO_Caret:
1568     BinaryOp = BO_Xor;
1569     return Stmt::BinaryOperatorClass;
1570 
1571   case OO_Amp:
1572     if (S->getNumArgs() == 1) {
1573       UnaryOp = UO_AddrOf;
1574       return Stmt::UnaryOperatorClass;
1575     }
1576 
1577     BinaryOp = BO_And;
1578     return Stmt::BinaryOperatorClass;
1579 
1580   case OO_Pipe:
1581     BinaryOp = BO_Or;
1582     return Stmt::BinaryOperatorClass;
1583 
1584   case OO_Tilde:
1585     UnaryOp = UO_Not;
1586     return Stmt::UnaryOperatorClass;
1587 
1588   case OO_Exclaim:
1589     UnaryOp = UO_LNot;
1590     return Stmt::UnaryOperatorClass;
1591 
1592   case OO_Equal:
1593     BinaryOp = BO_Assign;
1594     return Stmt::BinaryOperatorClass;
1595 
1596   case OO_Less:
1597     BinaryOp = BO_LT;
1598     return Stmt::BinaryOperatorClass;
1599 
1600   case OO_Greater:
1601     BinaryOp = BO_GT;
1602     return Stmt::BinaryOperatorClass;
1603 
1604   case OO_PlusEqual:
1605     BinaryOp = BO_AddAssign;
1606     return Stmt::CompoundAssignOperatorClass;
1607 
1608   case OO_MinusEqual:
1609     BinaryOp = BO_SubAssign;
1610     return Stmt::CompoundAssignOperatorClass;
1611 
1612   case OO_StarEqual:
1613     BinaryOp = BO_MulAssign;
1614     return Stmt::CompoundAssignOperatorClass;
1615 
1616   case OO_SlashEqual:
1617     BinaryOp = BO_DivAssign;
1618     return Stmt::CompoundAssignOperatorClass;
1619 
1620   case OO_PercentEqual:
1621     BinaryOp = BO_RemAssign;
1622     return Stmt::CompoundAssignOperatorClass;
1623 
1624   case OO_CaretEqual:
1625     BinaryOp = BO_XorAssign;
1626     return Stmt::CompoundAssignOperatorClass;
1627 
1628   case OO_AmpEqual:
1629     BinaryOp = BO_AndAssign;
1630     return Stmt::CompoundAssignOperatorClass;
1631 
1632   case OO_PipeEqual:
1633     BinaryOp = BO_OrAssign;
1634     return Stmt::CompoundAssignOperatorClass;
1635 
1636   case OO_LessLess:
1637     BinaryOp = BO_Shl;
1638     return Stmt::BinaryOperatorClass;
1639 
1640   case OO_GreaterGreater:
1641     BinaryOp = BO_Shr;
1642     return Stmt::BinaryOperatorClass;
1643 
1644   case OO_LessLessEqual:
1645     BinaryOp = BO_ShlAssign;
1646     return Stmt::CompoundAssignOperatorClass;
1647 
1648   case OO_GreaterGreaterEqual:
1649     BinaryOp = BO_ShrAssign;
1650     return Stmt::CompoundAssignOperatorClass;
1651 
1652   case OO_EqualEqual:
1653     BinaryOp = BO_EQ;
1654     return Stmt::BinaryOperatorClass;
1655 
1656   case OO_ExclaimEqual:
1657     BinaryOp = BO_NE;
1658     return Stmt::BinaryOperatorClass;
1659 
1660   case OO_LessEqual:
1661     BinaryOp = BO_LE;
1662     return Stmt::BinaryOperatorClass;
1663 
1664   case OO_GreaterEqual:
1665     BinaryOp = BO_GE;
1666     return Stmt::BinaryOperatorClass;
1667 
1668   case OO_Spaceship:
1669     BinaryOp = BO_Cmp;
1670     return Stmt::BinaryOperatorClass;
1671 
1672   case OO_AmpAmp:
1673     BinaryOp = BO_LAnd;
1674     return Stmt::BinaryOperatorClass;
1675 
1676   case OO_PipePipe:
1677     BinaryOp = BO_LOr;
1678     return Stmt::BinaryOperatorClass;
1679 
1680   case OO_PlusPlus:
1681     UnaryOp = S->getNumArgs() == 1? UO_PreInc
1682                                   : UO_PostInc;
1683     return Stmt::UnaryOperatorClass;
1684 
1685   case OO_MinusMinus:
1686     UnaryOp = S->getNumArgs() == 1? UO_PreDec
1687                                   : UO_PostDec;
1688     return Stmt::UnaryOperatorClass;
1689 
1690   case OO_Comma:
1691     BinaryOp = BO_Comma;
1692     return Stmt::BinaryOperatorClass;
1693 
1694   case OO_ArrowStar:
1695     BinaryOp = BO_PtrMemI;
1696     return Stmt::BinaryOperatorClass;
1697 
1698   case OO_Subscript:
1699     return Stmt::ArraySubscriptExprClass;
1700 
1701   case OO_Call:
1702     return Stmt::CallExprClass;
1703 
1704   case OO_Coawait:
1705     UnaryOp = UO_Coawait;
1706     return Stmt::UnaryOperatorClass;
1707   }
1708 
1709   llvm_unreachable("Invalid overloaded operator expression");
1710 }
1711 
1712 #if defined(_MSC_VER) && !defined(__clang__)
1713 #if _MSC_VER == 1911
1714 // Work around https://developercommunity.visualstudio.com/content/problem/84002/clang-cl-when-built-with-vc-2017-crashes-cause-vc.html
1715 // MSVC 2017 update 3 miscompiles this function, and a clang built with it
1716 // will crash in stage 2 of a bootstrap build.
1717 #pragma optimize("", off)
1718 #endif
1719 #endif
1720 
1721 void StmtProfiler::VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *S) {
1722   if (S->isTypeDependent()) {
1723     // Type-dependent operator calls are profiled like their underlying
1724     // syntactic operator.
1725     //
1726     // An operator call to operator-> is always implicit, so just skip it. The
1727     // enclosing MemberExpr will profile the actual member access.
1728     if (S->getOperator() == OO_Arrow)
1729       return Visit(S->getArg(0));
1730 
1731     UnaryOperatorKind UnaryOp = UO_Extension;
1732     BinaryOperatorKind BinaryOp = BO_Comma;
1733     Stmt::StmtClass SC = DecodeOperatorCall(S, UnaryOp, BinaryOp);
1734 
1735     ID.AddInteger(SC);
1736     for (unsigned I = 0, N = S->getNumArgs(); I != N; ++I)
1737       Visit(S->getArg(I));
1738     if (SC == Stmt::UnaryOperatorClass)
1739       ID.AddInteger(UnaryOp);
1740     else if (SC == Stmt::BinaryOperatorClass ||
1741              SC == Stmt::CompoundAssignOperatorClass)
1742       ID.AddInteger(BinaryOp);
1743     else
1744       assert(SC == Stmt::ArraySubscriptExprClass || SC == Stmt::CallExprClass);
1745 
1746     return;
1747   }
1748 
1749   VisitCallExpr(S);
1750   ID.AddInteger(S->getOperator());
1751 }
1752 
1753 void StmtProfiler::VisitCXXRewrittenBinaryOperator(
1754     const CXXRewrittenBinaryOperator *S) {
1755   // If a rewritten operator were ever to be type-dependent, we should profile
1756   // it following its syntactic operator.
1757   assert(!S->isTypeDependent() &&
1758          "resolved rewritten operator should never be type-dependent");
1759   ID.AddBoolean(S->isReversed());
1760   VisitExpr(S->getSemanticForm());
1761 }
1762 
1763 #if defined(_MSC_VER) && !defined(__clang__)
1764 #if _MSC_VER == 1911
1765 #pragma optimize("", on)
1766 #endif
1767 #endif
1768 
1769 void StmtProfiler::VisitCXXMemberCallExpr(const CXXMemberCallExpr *S) {
1770   VisitCallExpr(S);
1771 }
1772 
1773 void StmtProfiler::VisitCUDAKernelCallExpr(const CUDAKernelCallExpr *S) {
1774   VisitCallExpr(S);
1775 }
1776 
1777 void StmtProfiler::VisitAsTypeExpr(const AsTypeExpr *S) {
1778   VisitExpr(S);
1779 }
1780 
1781 void StmtProfiler::VisitCXXNamedCastExpr(const CXXNamedCastExpr *S) {
1782   VisitExplicitCastExpr(S);
1783 }
1784 
1785 void StmtProfiler::VisitCXXStaticCastExpr(const CXXStaticCastExpr *S) {
1786   VisitCXXNamedCastExpr(S);
1787 }
1788 
1789 void StmtProfiler::VisitCXXDynamicCastExpr(const CXXDynamicCastExpr *S) {
1790   VisitCXXNamedCastExpr(S);
1791 }
1792 
1793 void
1794 StmtProfiler::VisitCXXReinterpretCastExpr(const CXXReinterpretCastExpr *S) {
1795   VisitCXXNamedCastExpr(S);
1796 }
1797 
1798 void StmtProfiler::VisitCXXConstCastExpr(const CXXConstCastExpr *S) {
1799   VisitCXXNamedCastExpr(S);
1800 }
1801 
1802 void StmtProfiler::VisitBuiltinBitCastExpr(const BuiltinBitCastExpr *S) {
1803   VisitExpr(S);
1804   VisitType(S->getTypeInfoAsWritten()->getType());
1805 }
1806 
1807 void StmtProfiler::VisitCXXAddrspaceCastExpr(const CXXAddrspaceCastExpr *S) {
1808   VisitCXXNamedCastExpr(S);
1809 }
1810 
1811 void StmtProfiler::VisitUserDefinedLiteral(const UserDefinedLiteral *S) {
1812   VisitCallExpr(S);
1813 }
1814 
1815 void StmtProfiler::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *S) {
1816   VisitExpr(S);
1817   ID.AddBoolean(S->getValue());
1818 }
1819 
1820 void StmtProfiler::VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *S) {
1821   VisitExpr(S);
1822 }
1823 
1824 void StmtProfiler::VisitCXXStdInitializerListExpr(
1825     const CXXStdInitializerListExpr *S) {
1826   VisitExpr(S);
1827 }
1828 
1829 void StmtProfiler::VisitCXXTypeidExpr(const CXXTypeidExpr *S) {
1830   VisitExpr(S);
1831   if (S->isTypeOperand())
1832     VisitType(S->getTypeOperandSourceInfo()->getType());
1833 }
1834 
1835 void StmtProfiler::VisitCXXUuidofExpr(const CXXUuidofExpr *S) {
1836   VisitExpr(S);
1837   if (S->isTypeOperand())
1838     VisitType(S->getTypeOperandSourceInfo()->getType());
1839 }
1840 
1841 void StmtProfiler::VisitMSPropertyRefExpr(const MSPropertyRefExpr *S) {
1842   VisitExpr(S);
1843   VisitDecl(S->getPropertyDecl());
1844 }
1845 
1846 void StmtProfiler::VisitMSPropertySubscriptExpr(
1847     const MSPropertySubscriptExpr *S) {
1848   VisitExpr(S);
1849 }
1850 
1851 void StmtProfiler::VisitCXXThisExpr(const CXXThisExpr *S) {
1852   VisitExpr(S);
1853   ID.AddBoolean(S->isImplicit());
1854 }
1855 
1856 void StmtProfiler::VisitCXXThrowExpr(const CXXThrowExpr *S) {
1857   VisitExpr(S);
1858 }
1859 
1860 void StmtProfiler::VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *S) {
1861   VisitExpr(S);
1862   VisitDecl(S->getParam());
1863 }
1864 
1865 void StmtProfiler::VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *S) {
1866   VisitExpr(S);
1867   VisitDecl(S->getField());
1868 }
1869 
1870 void StmtProfiler::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *S) {
1871   VisitExpr(S);
1872   VisitDecl(
1873          const_cast<CXXDestructorDecl *>(S->getTemporary()->getDestructor()));
1874 }
1875 
1876 void StmtProfiler::VisitCXXConstructExpr(const CXXConstructExpr *S) {
1877   VisitExpr(S);
1878   VisitDecl(S->getConstructor());
1879   ID.AddBoolean(S->isElidable());
1880 }
1881 
1882 void StmtProfiler::VisitCXXInheritedCtorInitExpr(
1883     const CXXInheritedCtorInitExpr *S) {
1884   VisitExpr(S);
1885   VisitDecl(S->getConstructor());
1886 }
1887 
1888 void StmtProfiler::VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *S) {
1889   VisitExplicitCastExpr(S);
1890 }
1891 
1892 void
1893 StmtProfiler::VisitCXXTemporaryObjectExpr(const CXXTemporaryObjectExpr *S) {
1894   VisitCXXConstructExpr(S);
1895 }
1896 
1897 void
1898 StmtProfiler::VisitLambdaExpr(const LambdaExpr *S) {
1899   VisitExpr(S);
1900   for (LambdaExpr::capture_iterator C = S->explicit_capture_begin(),
1901                                  CEnd = S->explicit_capture_end();
1902        C != CEnd; ++C) {
1903     if (C->capturesVLAType())
1904       continue;
1905 
1906     ID.AddInteger(C->getCaptureKind());
1907     switch (C->getCaptureKind()) {
1908     case LCK_StarThis:
1909     case LCK_This:
1910       break;
1911     case LCK_ByRef:
1912     case LCK_ByCopy:
1913       VisitDecl(C->getCapturedVar());
1914       ID.AddBoolean(C->isPackExpansion());
1915       break;
1916     case LCK_VLAType:
1917       llvm_unreachable("VLA type in explicit captures.");
1918     }
1919   }
1920   // Note: If we actually needed to be able to match lambda
1921   // expressions, we would have to consider parameters and return type
1922   // here, among other things.
1923   VisitStmt(S->getBody());
1924 }
1925 
1926 void
1927 StmtProfiler::VisitCXXScalarValueInitExpr(const CXXScalarValueInitExpr *S) {
1928   VisitExpr(S);
1929 }
1930 
1931 void StmtProfiler::VisitCXXDeleteExpr(const CXXDeleteExpr *S) {
1932   VisitExpr(S);
1933   ID.AddBoolean(S->isGlobalDelete());
1934   ID.AddBoolean(S->isArrayForm());
1935   VisitDecl(S->getOperatorDelete());
1936 }
1937 
1938 void StmtProfiler::VisitCXXNewExpr(const CXXNewExpr *S) {
1939   VisitExpr(S);
1940   VisitType(S->getAllocatedType());
1941   VisitDecl(S->getOperatorNew());
1942   VisitDecl(S->getOperatorDelete());
1943   ID.AddBoolean(S->isArray());
1944   ID.AddInteger(S->getNumPlacementArgs());
1945   ID.AddBoolean(S->isGlobalNew());
1946   ID.AddBoolean(S->isParenTypeId());
1947   ID.AddInteger(S->getInitializationStyle());
1948 }
1949 
1950 void
1951 StmtProfiler::VisitCXXPseudoDestructorExpr(const CXXPseudoDestructorExpr *S) {
1952   VisitExpr(S);
1953   ID.AddBoolean(S->isArrow());
1954   VisitNestedNameSpecifier(S->getQualifier());
1955   ID.AddBoolean(S->getScopeTypeInfo() != nullptr);
1956   if (S->getScopeTypeInfo())
1957     VisitType(S->getScopeTypeInfo()->getType());
1958   ID.AddBoolean(S->getDestroyedTypeInfo() != nullptr);
1959   if (S->getDestroyedTypeInfo())
1960     VisitType(S->getDestroyedType());
1961   else
1962     VisitIdentifierInfo(S->getDestroyedTypeIdentifier());
1963 }
1964 
1965 void StmtProfiler::VisitOverloadExpr(const OverloadExpr *S) {
1966   VisitExpr(S);
1967   VisitNestedNameSpecifier(S->getQualifier());
1968   VisitName(S->getName(), /*TreatAsDecl*/ true);
1969   ID.AddBoolean(S->hasExplicitTemplateArgs());
1970   if (S->hasExplicitTemplateArgs())
1971     VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
1972 }
1973 
1974 void
1975 StmtProfiler::VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *S) {
1976   VisitOverloadExpr(S);
1977 }
1978 
1979 void StmtProfiler::VisitTypeTraitExpr(const TypeTraitExpr *S) {
1980   VisitExpr(S);
1981   ID.AddInteger(S->getTrait());
1982   ID.AddInteger(S->getNumArgs());
1983   for (unsigned I = 0, N = S->getNumArgs(); I != N; ++I)
1984     VisitType(S->getArg(I)->getType());
1985 }
1986 
1987 void StmtProfiler::VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *S) {
1988   VisitExpr(S);
1989   ID.AddInteger(S->getTrait());
1990   VisitType(S->getQueriedType());
1991 }
1992 
1993 void StmtProfiler::VisitExpressionTraitExpr(const ExpressionTraitExpr *S) {
1994   VisitExpr(S);
1995   ID.AddInteger(S->getTrait());
1996   VisitExpr(S->getQueriedExpression());
1997 }
1998 
1999 void StmtProfiler::VisitDependentScopeDeclRefExpr(
2000     const DependentScopeDeclRefExpr *S) {
2001   VisitExpr(S);
2002   VisitName(S->getDeclName());
2003   VisitNestedNameSpecifier(S->getQualifier());
2004   ID.AddBoolean(S->hasExplicitTemplateArgs());
2005   if (S->hasExplicitTemplateArgs())
2006     VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
2007 }
2008 
2009 void StmtProfiler::VisitExprWithCleanups(const ExprWithCleanups *S) {
2010   VisitExpr(S);
2011 }
2012 
2013 void StmtProfiler::VisitCXXUnresolvedConstructExpr(
2014     const CXXUnresolvedConstructExpr *S) {
2015   VisitExpr(S);
2016   VisitType(S->getTypeAsWritten());
2017   ID.AddInteger(S->isListInitialization());
2018 }
2019 
2020 void StmtProfiler::VisitCXXDependentScopeMemberExpr(
2021     const CXXDependentScopeMemberExpr *S) {
2022   ID.AddBoolean(S->isImplicitAccess());
2023   if (!S->isImplicitAccess()) {
2024     VisitExpr(S);
2025     ID.AddBoolean(S->isArrow());
2026   }
2027   VisitNestedNameSpecifier(S->getQualifier());
2028   VisitName(S->getMember());
2029   ID.AddBoolean(S->hasExplicitTemplateArgs());
2030   if (S->hasExplicitTemplateArgs())
2031     VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
2032 }
2033 
2034 void StmtProfiler::VisitUnresolvedMemberExpr(const UnresolvedMemberExpr *S) {
2035   ID.AddBoolean(S->isImplicitAccess());
2036   if (!S->isImplicitAccess()) {
2037     VisitExpr(S);
2038     ID.AddBoolean(S->isArrow());
2039   }
2040   VisitNestedNameSpecifier(S->getQualifier());
2041   VisitName(S->getMemberName());
2042   ID.AddBoolean(S->hasExplicitTemplateArgs());
2043   if (S->hasExplicitTemplateArgs())
2044     VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
2045 }
2046 
2047 void StmtProfiler::VisitCXXNoexceptExpr(const CXXNoexceptExpr *S) {
2048   VisitExpr(S);
2049 }
2050 
2051 void StmtProfiler::VisitPackExpansionExpr(const PackExpansionExpr *S) {
2052   VisitExpr(S);
2053 }
2054 
2055 void StmtProfiler::VisitSizeOfPackExpr(const SizeOfPackExpr *S) {
2056   VisitExpr(S);
2057   VisitDecl(S->getPack());
2058   if (S->isPartiallySubstituted()) {
2059     auto Args = S->getPartialArguments();
2060     ID.AddInteger(Args.size());
2061     for (const auto &TA : Args)
2062       VisitTemplateArgument(TA);
2063   } else {
2064     ID.AddInteger(0);
2065   }
2066 }
2067 
2068 void StmtProfiler::VisitSubstNonTypeTemplateParmPackExpr(
2069     const SubstNonTypeTemplateParmPackExpr *S) {
2070   VisitExpr(S);
2071   VisitDecl(S->getParameterPack());
2072   VisitTemplateArgument(S->getArgumentPack());
2073 }
2074 
2075 void StmtProfiler::VisitSubstNonTypeTemplateParmExpr(
2076     const SubstNonTypeTemplateParmExpr *E) {
2077   // Profile exactly as the replacement expression.
2078   Visit(E->getReplacement());
2079 }
2080 
2081 void StmtProfiler::VisitFunctionParmPackExpr(const FunctionParmPackExpr *S) {
2082   VisitExpr(S);
2083   VisitDecl(S->getParameterPack());
2084   ID.AddInteger(S->getNumExpansions());
2085   for (FunctionParmPackExpr::iterator I = S->begin(), E = S->end(); I != E; ++I)
2086     VisitDecl(*I);
2087 }
2088 
2089 void StmtProfiler::VisitMaterializeTemporaryExpr(
2090                                            const MaterializeTemporaryExpr *S) {
2091   VisitExpr(S);
2092 }
2093 
2094 void StmtProfiler::VisitCXXFoldExpr(const CXXFoldExpr *S) {
2095   VisitExpr(S);
2096   ID.AddInteger(S->getOperator());
2097 }
2098 
2099 void StmtProfiler::VisitCoroutineBodyStmt(const CoroutineBodyStmt *S) {
2100   VisitStmt(S);
2101 }
2102 
2103 void StmtProfiler::VisitCoreturnStmt(const CoreturnStmt *S) {
2104   VisitStmt(S);
2105 }
2106 
2107 void StmtProfiler::VisitCoawaitExpr(const CoawaitExpr *S) {
2108   VisitExpr(S);
2109 }
2110 
2111 void StmtProfiler::VisitDependentCoawaitExpr(const DependentCoawaitExpr *S) {
2112   VisitExpr(S);
2113 }
2114 
2115 void StmtProfiler::VisitCoyieldExpr(const CoyieldExpr *S) {
2116   VisitExpr(S);
2117 }
2118 
2119 void StmtProfiler::VisitOpaqueValueExpr(const OpaqueValueExpr *E) {
2120   VisitExpr(E);
2121 }
2122 
2123 void StmtProfiler::VisitTypoExpr(const TypoExpr *E) {
2124   VisitExpr(E);
2125 }
2126 
2127 void StmtProfiler::VisitSourceLocExpr(const SourceLocExpr *E) {
2128   VisitExpr(E);
2129 }
2130 
2131 void StmtProfiler::VisitRecoveryExpr(const RecoveryExpr *E) { VisitExpr(E); }
2132 
2133 void StmtProfiler::VisitObjCStringLiteral(const ObjCStringLiteral *S) {
2134   VisitExpr(S);
2135 }
2136 
2137 void StmtProfiler::VisitObjCBoxedExpr(const ObjCBoxedExpr *E) {
2138   VisitExpr(E);
2139 }
2140 
2141 void StmtProfiler::VisitObjCArrayLiteral(const ObjCArrayLiteral *E) {
2142   VisitExpr(E);
2143 }
2144 
2145 void StmtProfiler::VisitObjCDictionaryLiteral(const ObjCDictionaryLiteral *E) {
2146   VisitExpr(E);
2147 }
2148 
2149 void StmtProfiler::VisitObjCEncodeExpr(const ObjCEncodeExpr *S) {
2150   VisitExpr(S);
2151   VisitType(S->getEncodedType());
2152 }
2153 
2154 void StmtProfiler::VisitObjCSelectorExpr(const ObjCSelectorExpr *S) {
2155   VisitExpr(S);
2156   VisitName(S->getSelector());
2157 }
2158 
2159 void StmtProfiler::VisitObjCProtocolExpr(const ObjCProtocolExpr *S) {
2160   VisitExpr(S);
2161   VisitDecl(S->getProtocol());
2162 }
2163 
2164 void StmtProfiler::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *S) {
2165   VisitExpr(S);
2166   VisitDecl(S->getDecl());
2167   ID.AddBoolean(S->isArrow());
2168   ID.AddBoolean(S->isFreeIvar());
2169 }
2170 
2171 void StmtProfiler::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *S) {
2172   VisitExpr(S);
2173   if (S->isImplicitProperty()) {
2174     VisitDecl(S->getImplicitPropertyGetter());
2175     VisitDecl(S->getImplicitPropertySetter());
2176   } else {
2177     VisitDecl(S->getExplicitProperty());
2178   }
2179   if (S->isSuperReceiver()) {
2180     ID.AddBoolean(S->isSuperReceiver());
2181     VisitType(S->getSuperReceiverType());
2182   }
2183 }
2184 
2185 void StmtProfiler::VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *S) {
2186   VisitExpr(S);
2187   VisitDecl(S->getAtIndexMethodDecl());
2188   VisitDecl(S->setAtIndexMethodDecl());
2189 }
2190 
2191 void StmtProfiler::VisitObjCMessageExpr(const ObjCMessageExpr *S) {
2192   VisitExpr(S);
2193   VisitName(S->getSelector());
2194   VisitDecl(S->getMethodDecl());
2195 }
2196 
2197 void StmtProfiler::VisitObjCIsaExpr(const ObjCIsaExpr *S) {
2198   VisitExpr(S);
2199   ID.AddBoolean(S->isArrow());
2200 }
2201 
2202 void StmtProfiler::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *S) {
2203   VisitExpr(S);
2204   ID.AddBoolean(S->getValue());
2205 }
2206 
2207 void StmtProfiler::VisitObjCIndirectCopyRestoreExpr(
2208     const ObjCIndirectCopyRestoreExpr *S) {
2209   VisitExpr(S);
2210   ID.AddBoolean(S->shouldCopy());
2211 }
2212 
2213 void StmtProfiler::VisitObjCBridgedCastExpr(const ObjCBridgedCastExpr *S) {
2214   VisitExplicitCastExpr(S);
2215   ID.AddBoolean(S->getBridgeKind());
2216 }
2217 
2218 void StmtProfiler::VisitObjCAvailabilityCheckExpr(
2219     const ObjCAvailabilityCheckExpr *S) {
2220   VisitExpr(S);
2221 }
2222 
2223 void StmtProfiler::VisitTemplateArguments(const TemplateArgumentLoc *Args,
2224                                           unsigned NumArgs) {
2225   ID.AddInteger(NumArgs);
2226   for (unsigned I = 0; I != NumArgs; ++I)
2227     VisitTemplateArgument(Args[I].getArgument());
2228 }
2229 
2230 void StmtProfiler::VisitTemplateArgument(const TemplateArgument &Arg) {
2231   // Mostly repetitive with TemplateArgument::Profile!
2232   ID.AddInteger(Arg.getKind());
2233   switch (Arg.getKind()) {
2234   case TemplateArgument::Null:
2235     break;
2236 
2237   case TemplateArgument::Type:
2238     VisitType(Arg.getAsType());
2239     break;
2240 
2241   case TemplateArgument::Template:
2242   case TemplateArgument::TemplateExpansion:
2243     VisitTemplateName(Arg.getAsTemplateOrTemplatePattern());
2244     break;
2245 
2246   case TemplateArgument::Declaration:
2247     VisitType(Arg.getParamTypeForDecl());
2248     // FIXME: Do we need to recursively decompose template parameter objects?
2249     VisitDecl(Arg.getAsDecl());
2250     break;
2251 
2252   case TemplateArgument::NullPtr:
2253     VisitType(Arg.getNullPtrType());
2254     break;
2255 
2256   case TemplateArgument::Integral:
2257     VisitType(Arg.getIntegralType());
2258     Arg.getAsIntegral().Profile(ID);
2259     break;
2260 
2261   case TemplateArgument::Expression:
2262     Visit(Arg.getAsExpr());
2263     break;
2264 
2265   case TemplateArgument::Pack:
2266     for (const auto &P : Arg.pack_elements())
2267       VisitTemplateArgument(P);
2268     break;
2269   }
2270 }
2271 
2272 void Stmt::Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context,
2273                    bool Canonical) const {
2274   StmtProfilerWithPointers Profiler(ID, Context, Canonical);
2275   Profiler.Visit(this);
2276 }
2277 
2278 void Stmt::ProcessODRHash(llvm::FoldingSetNodeID &ID,
2279                           class ODRHash &Hash) const {
2280   StmtProfilerWithoutPointers Profiler(ID, Hash);
2281   Profiler.Visit(this);
2282 }
2283