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 bool ProfileLambdaExpr; 33 34 public: 35 StmtProfiler(llvm::FoldingSetNodeID &ID, bool Canonical, 36 bool ProfileLambdaExpr) 37 : ID(ID), Canonical(Canonical), ProfileLambdaExpr(ProfileLambdaExpr) {} 38 39 virtual ~StmtProfiler() {} 40 41 void VisitStmt(const Stmt *S); 42 43 void VisitStmtNoChildren(const Stmt *S) { 44 HandleStmtClass(S->getStmtClass()); 45 } 46 47 virtual void HandleStmtClass(Stmt::StmtClass SC) = 0; 48 49 #define STMT(Node, Base) void Visit##Node(const Node *S); 50 #include "clang/AST/StmtNodes.inc" 51 52 /// Visit a declaration that is referenced within an expression 53 /// or statement. 54 virtual void VisitDecl(const Decl *D) = 0; 55 56 /// Visit a type that is referenced within an expression or 57 /// statement. 58 virtual void VisitType(QualType T) = 0; 59 60 /// Visit a name that occurs within an expression or statement. 61 virtual void VisitName(DeclarationName Name, bool TreatAsDecl = false) = 0; 62 63 /// Visit identifiers that are not in Decl's or Type's. 64 virtual void VisitIdentifierInfo(const IdentifierInfo *II) = 0; 65 66 /// Visit a nested-name-specifier that occurs within an expression 67 /// or statement. 68 virtual void VisitNestedNameSpecifier(NestedNameSpecifier *NNS) = 0; 69 70 /// Visit a template name that occurs within an expression or 71 /// statement. 72 virtual void VisitTemplateName(TemplateName Name) = 0; 73 74 /// Visit template arguments that occur within an expression or 75 /// statement. 76 void VisitTemplateArguments(const TemplateArgumentLoc *Args, 77 unsigned NumArgs); 78 79 /// Visit a single template argument. 80 void VisitTemplateArgument(const TemplateArgument &Arg); 81 }; 82 83 class StmtProfilerWithPointers : public StmtProfiler { 84 const ASTContext &Context; 85 86 public: 87 StmtProfilerWithPointers(llvm::FoldingSetNodeID &ID, 88 const ASTContext &Context, bool Canonical, 89 bool ProfileLambdaExpr) 90 : StmtProfiler(ID, Canonical, ProfileLambdaExpr), Context(Context) {} 91 92 private: 93 void HandleStmtClass(Stmt::StmtClass SC) override { 94 ID.AddInteger(SC); 95 } 96 97 void VisitDecl(const Decl *D) override { 98 ID.AddInteger(D ? D->getKind() : 0); 99 100 if (Canonical && D) { 101 if (const NonTypeTemplateParmDecl *NTTP = 102 dyn_cast<NonTypeTemplateParmDecl>(D)) { 103 ID.AddInteger(NTTP->getDepth()); 104 ID.AddInteger(NTTP->getIndex()); 105 ID.AddBoolean(NTTP->isParameterPack()); 106 // C++20 [temp.over.link]p6: 107 // Two template-parameters are equivalent under the following 108 // conditions: [...] if they declare non-type template parameters, 109 // they have equivalent types ignoring the use of type-constraints 110 // for placeholder types 111 // 112 // TODO: Why do we need to include the type in the profile? It's not 113 // part of the mangling. 114 VisitType(Context.getUnconstrainedType(NTTP->getType())); 115 return; 116 } 117 118 if (const ParmVarDecl *Parm = dyn_cast<ParmVarDecl>(D)) { 119 // The Itanium C++ ABI uses the type, scope depth, and scope 120 // index of a parameter when mangling expressions that involve 121 // function parameters, so we will use the parameter's type for 122 // establishing function parameter identity. That way, our 123 // definition of "equivalent" (per C++ [temp.over.link]) is at 124 // least as strong as the definition of "equivalent" used for 125 // name mangling. 126 // 127 // TODO: The Itanium C++ ABI only uses the top-level cv-qualifiers, 128 // not the entirety of the type. 129 VisitType(Parm->getType()); 130 ID.AddInteger(Parm->getFunctionScopeDepth()); 131 ID.AddInteger(Parm->getFunctionScopeIndex()); 132 return; 133 } 134 135 if (const TemplateTypeParmDecl *TTP = 136 dyn_cast<TemplateTypeParmDecl>(D)) { 137 ID.AddInteger(TTP->getDepth()); 138 ID.AddInteger(TTP->getIndex()); 139 ID.AddBoolean(TTP->isParameterPack()); 140 return; 141 } 142 143 if (const TemplateTemplateParmDecl *TTP = 144 dyn_cast<TemplateTemplateParmDecl>(D)) { 145 ID.AddInteger(TTP->getDepth()); 146 ID.AddInteger(TTP->getIndex()); 147 ID.AddBoolean(TTP->isParameterPack()); 148 return; 149 } 150 } 151 152 ID.AddPointer(D ? D->getCanonicalDecl() : nullptr); 153 } 154 155 void VisitType(QualType T) override { 156 if (Canonical && !T.isNull()) 157 T = Context.getCanonicalType(T); 158 159 ID.AddPointer(T.getAsOpaquePtr()); 160 } 161 162 void VisitName(DeclarationName Name, bool /*TreatAsDecl*/) override { 163 ID.AddPointer(Name.getAsOpaquePtr()); 164 } 165 166 void VisitIdentifierInfo(const IdentifierInfo *II) override { 167 ID.AddPointer(II); 168 } 169 170 void VisitNestedNameSpecifier(NestedNameSpecifier *NNS) override { 171 if (Canonical) 172 NNS = Context.getCanonicalNestedNameSpecifier(NNS); 173 ID.AddPointer(NNS); 174 } 175 176 void VisitTemplateName(TemplateName Name) override { 177 if (Canonical) 178 Name = Context.getCanonicalTemplateName(Name); 179 180 Name.Profile(ID); 181 } 182 }; 183 184 class StmtProfilerWithoutPointers : public StmtProfiler { 185 ODRHash &Hash; 186 public: 187 StmtProfilerWithoutPointers(llvm::FoldingSetNodeID &ID, ODRHash &Hash) 188 : StmtProfiler(ID, /*Canonical=*/false, /*ProfileLambdaExpr=*/false), 189 Hash(Hash) {} 190 191 private: 192 void HandleStmtClass(Stmt::StmtClass SC) override { 193 if (SC == Stmt::UnresolvedLookupExprClass) { 194 // Pretend that the name looked up is a Decl due to how templates 195 // handle some Decl lookups. 196 ID.AddInteger(Stmt::DeclRefExprClass); 197 } else { 198 ID.AddInteger(SC); 199 } 200 } 201 202 void VisitType(QualType T) override { 203 Hash.AddQualType(T); 204 } 205 206 void VisitName(DeclarationName Name, bool TreatAsDecl) override { 207 if (TreatAsDecl) { 208 // A Decl can be null, so each Decl is preceded by a boolean to 209 // store its nullness. Add a boolean here to match. 210 ID.AddBoolean(true); 211 } 212 Hash.AddDeclarationName(Name, TreatAsDecl); 213 } 214 void VisitIdentifierInfo(const IdentifierInfo *II) override { 215 ID.AddBoolean(II); 216 if (II) { 217 Hash.AddIdentifierInfo(II); 218 } 219 } 220 void VisitDecl(const Decl *D) override { 221 ID.AddBoolean(D); 222 if (D) { 223 Hash.AddDecl(D); 224 } 225 } 226 void VisitTemplateName(TemplateName Name) override { 227 Hash.AddTemplateName(Name); 228 } 229 void VisitNestedNameSpecifier(NestedNameSpecifier *NNS) override { 230 ID.AddBoolean(NNS); 231 if (NNS) { 232 Hash.AddNestedNameSpecifier(NNS); 233 } 234 } 235 }; 236 } 237 238 void StmtProfiler::VisitStmt(const Stmt *S) { 239 assert(S && "Requires non-null Stmt pointer"); 240 241 VisitStmtNoChildren(S); 242 243 for (const Stmt *SubStmt : S->children()) { 244 if (SubStmt) 245 Visit(SubStmt); 246 else 247 ID.AddInteger(0); 248 } 249 } 250 251 void StmtProfiler::VisitDeclStmt(const DeclStmt *S) { 252 VisitStmt(S); 253 for (const auto *D : S->decls()) 254 VisitDecl(D); 255 } 256 257 void StmtProfiler::VisitNullStmt(const NullStmt *S) { 258 VisitStmt(S); 259 } 260 261 void StmtProfiler::VisitCompoundStmt(const CompoundStmt *S) { 262 VisitStmt(S); 263 } 264 265 void StmtProfiler::VisitCaseStmt(const CaseStmt *S) { 266 VisitStmt(S); 267 } 268 269 void StmtProfiler::VisitDefaultStmt(const DefaultStmt *S) { 270 VisitStmt(S); 271 } 272 273 void StmtProfiler::VisitLabelStmt(const LabelStmt *S) { 274 VisitStmt(S); 275 VisitDecl(S->getDecl()); 276 } 277 278 void StmtProfiler::VisitAttributedStmt(const AttributedStmt *S) { 279 VisitStmt(S); 280 // TODO: maybe visit attributes? 281 } 282 283 void StmtProfiler::VisitIfStmt(const IfStmt *S) { 284 VisitStmt(S); 285 VisitDecl(S->getConditionVariable()); 286 } 287 288 void StmtProfiler::VisitSwitchStmt(const SwitchStmt *S) { 289 VisitStmt(S); 290 VisitDecl(S->getConditionVariable()); 291 } 292 293 void StmtProfiler::VisitWhileStmt(const WhileStmt *S) { 294 VisitStmt(S); 295 VisitDecl(S->getConditionVariable()); 296 } 297 298 void StmtProfiler::VisitDoStmt(const DoStmt *S) { 299 VisitStmt(S); 300 } 301 302 void StmtProfiler::VisitForStmt(const ForStmt *S) { 303 VisitStmt(S); 304 } 305 306 void StmtProfiler::VisitGotoStmt(const GotoStmt *S) { 307 VisitStmt(S); 308 VisitDecl(S->getLabel()); 309 } 310 311 void StmtProfiler::VisitIndirectGotoStmt(const IndirectGotoStmt *S) { 312 VisitStmt(S); 313 } 314 315 void StmtProfiler::VisitContinueStmt(const ContinueStmt *S) { 316 VisitStmt(S); 317 } 318 319 void StmtProfiler::VisitBreakStmt(const BreakStmt *S) { 320 VisitStmt(S); 321 } 322 323 void StmtProfiler::VisitReturnStmt(const ReturnStmt *S) { 324 VisitStmt(S); 325 } 326 327 void StmtProfiler::VisitGCCAsmStmt(const GCCAsmStmt *S) { 328 VisitStmt(S); 329 ID.AddBoolean(S->isVolatile()); 330 ID.AddBoolean(S->isSimple()); 331 VisitStringLiteral(S->getAsmString()); 332 ID.AddInteger(S->getNumOutputs()); 333 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) { 334 ID.AddString(S->getOutputName(I)); 335 VisitStringLiteral(S->getOutputConstraintLiteral(I)); 336 } 337 ID.AddInteger(S->getNumInputs()); 338 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) { 339 ID.AddString(S->getInputName(I)); 340 VisitStringLiteral(S->getInputConstraintLiteral(I)); 341 } 342 ID.AddInteger(S->getNumClobbers()); 343 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) 344 VisitStringLiteral(S->getClobberStringLiteral(I)); 345 ID.AddInteger(S->getNumLabels()); 346 for (auto *L : S->labels()) 347 VisitDecl(L->getLabel()); 348 } 349 350 void StmtProfiler::VisitMSAsmStmt(const MSAsmStmt *S) { 351 // FIXME: Implement MS style inline asm statement profiler. 352 VisitStmt(S); 353 } 354 355 void StmtProfiler::VisitCXXCatchStmt(const CXXCatchStmt *S) { 356 VisitStmt(S); 357 VisitType(S->getCaughtType()); 358 } 359 360 void StmtProfiler::VisitCXXTryStmt(const CXXTryStmt *S) { 361 VisitStmt(S); 362 } 363 364 void StmtProfiler::VisitCXXForRangeStmt(const CXXForRangeStmt *S) { 365 VisitStmt(S); 366 } 367 368 void StmtProfiler::VisitMSDependentExistsStmt(const MSDependentExistsStmt *S) { 369 VisitStmt(S); 370 ID.AddBoolean(S->isIfExists()); 371 VisitNestedNameSpecifier(S->getQualifierLoc().getNestedNameSpecifier()); 372 VisitName(S->getNameInfo().getName()); 373 } 374 375 void StmtProfiler::VisitSEHTryStmt(const SEHTryStmt *S) { 376 VisitStmt(S); 377 } 378 379 void StmtProfiler::VisitSEHFinallyStmt(const SEHFinallyStmt *S) { 380 VisitStmt(S); 381 } 382 383 void StmtProfiler::VisitSEHExceptStmt(const SEHExceptStmt *S) { 384 VisitStmt(S); 385 } 386 387 void StmtProfiler::VisitSEHLeaveStmt(const SEHLeaveStmt *S) { 388 VisitStmt(S); 389 } 390 391 void StmtProfiler::VisitCapturedStmt(const CapturedStmt *S) { 392 VisitStmt(S); 393 } 394 395 void StmtProfiler::VisitSYCLKernelCallStmt(const SYCLKernelCallStmt *S) { 396 VisitStmt(S); 397 } 398 399 void StmtProfiler::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S) { 400 VisitStmt(S); 401 } 402 403 void StmtProfiler::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *S) { 404 VisitStmt(S); 405 ID.AddBoolean(S->hasEllipsis()); 406 if (S->getCatchParamDecl()) 407 VisitType(S->getCatchParamDecl()->getType()); 408 } 409 410 void StmtProfiler::VisitObjCAtFinallyStmt(const ObjCAtFinallyStmt *S) { 411 VisitStmt(S); 412 } 413 414 void StmtProfiler::VisitObjCAtTryStmt(const ObjCAtTryStmt *S) { 415 VisitStmt(S); 416 } 417 418 void 419 StmtProfiler::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S) { 420 VisitStmt(S); 421 } 422 423 void StmtProfiler::VisitObjCAtThrowStmt(const ObjCAtThrowStmt *S) { 424 VisitStmt(S); 425 } 426 427 void 428 StmtProfiler::VisitObjCAutoreleasePoolStmt(const ObjCAutoreleasePoolStmt *S) { 429 VisitStmt(S); 430 } 431 432 namespace { 433 class OMPClauseProfiler : public ConstOMPClauseVisitor<OMPClauseProfiler> { 434 StmtProfiler *Profiler; 435 /// Process clauses with list of variables. 436 template <typename T> 437 void VisitOMPClauseList(T *Node); 438 439 public: 440 OMPClauseProfiler(StmtProfiler *P) : Profiler(P) { } 441 #define GEN_CLANG_CLAUSE_CLASS 442 #define CLAUSE_CLASS(Enum, Str, Class) void Visit##Class(const Class *C); 443 #include "llvm/Frontend/OpenMP/OMP.inc" 444 void VistOMPClauseWithPreInit(const OMPClauseWithPreInit *C); 445 void VistOMPClauseWithPostUpdate(const OMPClauseWithPostUpdate *C); 446 }; 447 448 void OMPClauseProfiler::VistOMPClauseWithPreInit( 449 const OMPClauseWithPreInit *C) { 450 if (auto *S = C->getPreInitStmt()) 451 Profiler->VisitStmt(S); 452 } 453 454 void OMPClauseProfiler::VistOMPClauseWithPostUpdate( 455 const OMPClauseWithPostUpdate *C) { 456 VistOMPClauseWithPreInit(C); 457 if (auto *E = C->getPostUpdateExpr()) 458 Profiler->VisitStmt(E); 459 } 460 461 void OMPClauseProfiler::VisitOMPIfClause(const OMPIfClause *C) { 462 VistOMPClauseWithPreInit(C); 463 if (C->getCondition()) 464 Profiler->VisitStmt(C->getCondition()); 465 } 466 467 void OMPClauseProfiler::VisitOMPFinalClause(const OMPFinalClause *C) { 468 VistOMPClauseWithPreInit(C); 469 if (C->getCondition()) 470 Profiler->VisitStmt(C->getCondition()); 471 } 472 473 void OMPClauseProfiler::VisitOMPNumThreadsClause(const OMPNumThreadsClause *C) { 474 VistOMPClauseWithPreInit(C); 475 if (C->getNumThreads()) 476 Profiler->VisitStmt(C->getNumThreads()); 477 } 478 479 void OMPClauseProfiler::VisitOMPAlignClause(const OMPAlignClause *C) { 480 if (C->getAlignment()) 481 Profiler->VisitStmt(C->getAlignment()); 482 } 483 484 void OMPClauseProfiler::VisitOMPSafelenClause(const OMPSafelenClause *C) { 485 if (C->getSafelen()) 486 Profiler->VisitStmt(C->getSafelen()); 487 } 488 489 void OMPClauseProfiler::VisitOMPSimdlenClause(const OMPSimdlenClause *C) { 490 if (C->getSimdlen()) 491 Profiler->VisitStmt(C->getSimdlen()); 492 } 493 494 void OMPClauseProfiler::VisitOMPSizesClause(const OMPSizesClause *C) { 495 for (auto *E : C->getSizesRefs()) 496 if (E) 497 Profiler->VisitExpr(E); 498 } 499 500 void OMPClauseProfiler::VisitOMPPermutationClause( 501 const OMPPermutationClause *C) { 502 for (Expr *E : C->getArgsRefs()) 503 if (E) 504 Profiler->VisitExpr(E); 505 } 506 507 void OMPClauseProfiler::VisitOMPFullClause(const OMPFullClause *C) {} 508 509 void OMPClauseProfiler::VisitOMPPartialClause(const OMPPartialClause *C) { 510 if (const Expr *Factor = C->getFactor()) 511 Profiler->VisitExpr(Factor); 512 } 513 514 void OMPClauseProfiler::VisitOMPAllocatorClause(const OMPAllocatorClause *C) { 515 if (C->getAllocator()) 516 Profiler->VisitStmt(C->getAllocator()); 517 } 518 519 void OMPClauseProfiler::VisitOMPCollapseClause(const OMPCollapseClause *C) { 520 if (C->getNumForLoops()) 521 Profiler->VisitStmt(C->getNumForLoops()); 522 } 523 524 void OMPClauseProfiler::VisitOMPDetachClause(const OMPDetachClause *C) { 525 if (Expr *Evt = C->getEventHandler()) 526 Profiler->VisitStmt(Evt); 527 } 528 529 void OMPClauseProfiler::VisitOMPNovariantsClause(const OMPNovariantsClause *C) { 530 VistOMPClauseWithPreInit(C); 531 if (C->getCondition()) 532 Profiler->VisitStmt(C->getCondition()); 533 } 534 535 void OMPClauseProfiler::VisitOMPNocontextClause(const OMPNocontextClause *C) { 536 VistOMPClauseWithPreInit(C); 537 if (C->getCondition()) 538 Profiler->VisitStmt(C->getCondition()); 539 } 540 541 void OMPClauseProfiler::VisitOMPDefaultClause(const OMPDefaultClause *C) { } 542 543 void OMPClauseProfiler::VisitOMPProcBindClause(const OMPProcBindClause *C) { } 544 545 void OMPClauseProfiler::VisitOMPUnifiedAddressClause( 546 const OMPUnifiedAddressClause *C) {} 547 548 void OMPClauseProfiler::VisitOMPUnifiedSharedMemoryClause( 549 const OMPUnifiedSharedMemoryClause *C) {} 550 551 void OMPClauseProfiler::VisitOMPReverseOffloadClause( 552 const OMPReverseOffloadClause *C) {} 553 554 void OMPClauseProfiler::VisitOMPDynamicAllocatorsClause( 555 const OMPDynamicAllocatorsClause *C) {} 556 557 void OMPClauseProfiler::VisitOMPAtomicDefaultMemOrderClause( 558 const OMPAtomicDefaultMemOrderClause *C) {} 559 560 void OMPClauseProfiler::VisitOMPAtClause(const OMPAtClause *C) {} 561 562 void OMPClauseProfiler::VisitOMPSeverityClause(const OMPSeverityClause *C) {} 563 564 void OMPClauseProfiler::VisitOMPMessageClause(const OMPMessageClause *C) { 565 if (C->getMessageString()) 566 Profiler->VisitStmt(C->getMessageString()); 567 } 568 569 void OMPClauseProfiler::VisitOMPScheduleClause(const OMPScheduleClause *C) { 570 VistOMPClauseWithPreInit(C); 571 if (auto *S = C->getChunkSize()) 572 Profiler->VisitStmt(S); 573 } 574 575 void OMPClauseProfiler::VisitOMPOrderedClause(const OMPOrderedClause *C) { 576 if (auto *Num = C->getNumForLoops()) 577 Profiler->VisitStmt(Num); 578 } 579 580 void OMPClauseProfiler::VisitOMPNowaitClause(const OMPNowaitClause *) {} 581 582 void OMPClauseProfiler::VisitOMPUntiedClause(const OMPUntiedClause *) {} 583 584 void OMPClauseProfiler::VisitOMPMergeableClause(const OMPMergeableClause *) {} 585 586 void OMPClauseProfiler::VisitOMPReadClause(const OMPReadClause *) {} 587 588 void OMPClauseProfiler::VisitOMPWriteClause(const OMPWriteClause *) {} 589 590 void OMPClauseProfiler::VisitOMPUpdateClause(const OMPUpdateClause *) {} 591 592 void OMPClauseProfiler::VisitOMPCaptureClause(const OMPCaptureClause *) {} 593 594 void OMPClauseProfiler::VisitOMPCompareClause(const OMPCompareClause *) {} 595 596 void OMPClauseProfiler::VisitOMPFailClause(const OMPFailClause *) {} 597 598 void OMPClauseProfiler::VisitOMPAbsentClause(const OMPAbsentClause *) {} 599 600 void OMPClauseProfiler::VisitOMPHoldsClause(const OMPHoldsClause *) {} 601 602 void OMPClauseProfiler::VisitOMPContainsClause(const OMPContainsClause *) {} 603 604 void OMPClauseProfiler::VisitOMPNoOpenMPClause(const OMPNoOpenMPClause *) {} 605 606 void OMPClauseProfiler::VisitOMPNoOpenMPRoutinesClause( 607 const OMPNoOpenMPRoutinesClause *) {} 608 609 void OMPClauseProfiler::VisitOMPNoParallelismClause( 610 const OMPNoParallelismClause *) {} 611 612 void OMPClauseProfiler::VisitOMPSeqCstClause(const OMPSeqCstClause *) {} 613 614 void OMPClauseProfiler::VisitOMPAcqRelClause(const OMPAcqRelClause *) {} 615 616 void OMPClauseProfiler::VisitOMPAcquireClause(const OMPAcquireClause *) {} 617 618 void OMPClauseProfiler::VisitOMPReleaseClause(const OMPReleaseClause *) {} 619 620 void OMPClauseProfiler::VisitOMPRelaxedClause(const OMPRelaxedClause *) {} 621 622 void OMPClauseProfiler::VisitOMPWeakClause(const OMPWeakClause *) {} 623 624 void OMPClauseProfiler::VisitOMPThreadsClause(const OMPThreadsClause *) {} 625 626 void OMPClauseProfiler::VisitOMPSIMDClause(const OMPSIMDClause *) {} 627 628 void OMPClauseProfiler::VisitOMPNogroupClause(const OMPNogroupClause *) {} 629 630 void OMPClauseProfiler::VisitOMPInitClause(const OMPInitClause *C) { 631 VisitOMPClauseList(C); 632 } 633 634 void OMPClauseProfiler::VisitOMPUseClause(const OMPUseClause *C) { 635 if (C->getInteropVar()) 636 Profiler->VisitStmt(C->getInteropVar()); 637 } 638 639 void OMPClauseProfiler::VisitOMPDestroyClause(const OMPDestroyClause *C) { 640 if (C->getInteropVar()) 641 Profiler->VisitStmt(C->getInteropVar()); 642 } 643 644 void OMPClauseProfiler::VisitOMPFilterClause(const OMPFilterClause *C) { 645 VistOMPClauseWithPreInit(C); 646 if (C->getThreadID()) 647 Profiler->VisitStmt(C->getThreadID()); 648 } 649 650 template<typename T> 651 void OMPClauseProfiler::VisitOMPClauseList(T *Node) { 652 for (auto *E : Node->varlist()) { 653 if (E) 654 Profiler->VisitStmt(E); 655 } 656 } 657 658 void OMPClauseProfiler::VisitOMPPrivateClause(const OMPPrivateClause *C) { 659 VisitOMPClauseList(C); 660 for (auto *E : C->private_copies()) { 661 if (E) 662 Profiler->VisitStmt(E); 663 } 664 } 665 void 666 OMPClauseProfiler::VisitOMPFirstprivateClause(const OMPFirstprivateClause *C) { 667 VisitOMPClauseList(C); 668 VistOMPClauseWithPreInit(C); 669 for (auto *E : C->private_copies()) { 670 if (E) 671 Profiler->VisitStmt(E); 672 } 673 for (auto *E : C->inits()) { 674 if (E) 675 Profiler->VisitStmt(E); 676 } 677 } 678 void 679 OMPClauseProfiler::VisitOMPLastprivateClause(const OMPLastprivateClause *C) { 680 VisitOMPClauseList(C); 681 VistOMPClauseWithPostUpdate(C); 682 for (auto *E : C->source_exprs()) { 683 if (E) 684 Profiler->VisitStmt(E); 685 } 686 for (auto *E : C->destination_exprs()) { 687 if (E) 688 Profiler->VisitStmt(E); 689 } 690 for (auto *E : C->assignment_ops()) { 691 if (E) 692 Profiler->VisitStmt(E); 693 } 694 } 695 void OMPClauseProfiler::VisitOMPSharedClause(const OMPSharedClause *C) { 696 VisitOMPClauseList(C); 697 } 698 void OMPClauseProfiler::VisitOMPReductionClause( 699 const OMPReductionClause *C) { 700 Profiler->VisitNestedNameSpecifier( 701 C->getQualifierLoc().getNestedNameSpecifier()); 702 Profiler->VisitName(C->getNameInfo().getName()); 703 VisitOMPClauseList(C); 704 VistOMPClauseWithPostUpdate(C); 705 for (auto *E : C->privates()) { 706 if (E) 707 Profiler->VisitStmt(E); 708 } 709 for (auto *E : C->lhs_exprs()) { 710 if (E) 711 Profiler->VisitStmt(E); 712 } 713 for (auto *E : C->rhs_exprs()) { 714 if (E) 715 Profiler->VisitStmt(E); 716 } 717 for (auto *E : C->reduction_ops()) { 718 if (E) 719 Profiler->VisitStmt(E); 720 } 721 if (C->getModifier() == clang::OMPC_REDUCTION_inscan) { 722 for (auto *E : C->copy_ops()) { 723 if (E) 724 Profiler->VisitStmt(E); 725 } 726 for (auto *E : C->copy_array_temps()) { 727 if (E) 728 Profiler->VisitStmt(E); 729 } 730 for (auto *E : C->copy_array_elems()) { 731 if (E) 732 Profiler->VisitStmt(E); 733 } 734 } 735 } 736 void OMPClauseProfiler::VisitOMPTaskReductionClause( 737 const OMPTaskReductionClause *C) { 738 Profiler->VisitNestedNameSpecifier( 739 C->getQualifierLoc().getNestedNameSpecifier()); 740 Profiler->VisitName(C->getNameInfo().getName()); 741 VisitOMPClauseList(C); 742 VistOMPClauseWithPostUpdate(C); 743 for (auto *E : C->privates()) { 744 if (E) 745 Profiler->VisitStmt(E); 746 } 747 for (auto *E : C->lhs_exprs()) { 748 if (E) 749 Profiler->VisitStmt(E); 750 } 751 for (auto *E : C->rhs_exprs()) { 752 if (E) 753 Profiler->VisitStmt(E); 754 } 755 for (auto *E : C->reduction_ops()) { 756 if (E) 757 Profiler->VisitStmt(E); 758 } 759 } 760 void OMPClauseProfiler::VisitOMPInReductionClause( 761 const OMPInReductionClause *C) { 762 Profiler->VisitNestedNameSpecifier( 763 C->getQualifierLoc().getNestedNameSpecifier()); 764 Profiler->VisitName(C->getNameInfo().getName()); 765 VisitOMPClauseList(C); 766 VistOMPClauseWithPostUpdate(C); 767 for (auto *E : C->privates()) { 768 if (E) 769 Profiler->VisitStmt(E); 770 } 771 for (auto *E : C->lhs_exprs()) { 772 if (E) 773 Profiler->VisitStmt(E); 774 } 775 for (auto *E : C->rhs_exprs()) { 776 if (E) 777 Profiler->VisitStmt(E); 778 } 779 for (auto *E : C->reduction_ops()) { 780 if (E) 781 Profiler->VisitStmt(E); 782 } 783 for (auto *E : C->taskgroup_descriptors()) { 784 if (E) 785 Profiler->VisitStmt(E); 786 } 787 } 788 void OMPClauseProfiler::VisitOMPLinearClause(const OMPLinearClause *C) { 789 VisitOMPClauseList(C); 790 VistOMPClauseWithPostUpdate(C); 791 for (auto *E : C->privates()) { 792 if (E) 793 Profiler->VisitStmt(E); 794 } 795 for (auto *E : C->inits()) { 796 if (E) 797 Profiler->VisitStmt(E); 798 } 799 for (auto *E : C->updates()) { 800 if (E) 801 Profiler->VisitStmt(E); 802 } 803 for (auto *E : C->finals()) { 804 if (E) 805 Profiler->VisitStmt(E); 806 } 807 if (C->getStep()) 808 Profiler->VisitStmt(C->getStep()); 809 if (C->getCalcStep()) 810 Profiler->VisitStmt(C->getCalcStep()); 811 } 812 void OMPClauseProfiler::VisitOMPAlignedClause(const OMPAlignedClause *C) { 813 VisitOMPClauseList(C); 814 if (C->getAlignment()) 815 Profiler->VisitStmt(C->getAlignment()); 816 } 817 void OMPClauseProfiler::VisitOMPCopyinClause(const OMPCopyinClause *C) { 818 VisitOMPClauseList(C); 819 for (auto *E : C->source_exprs()) { 820 if (E) 821 Profiler->VisitStmt(E); 822 } 823 for (auto *E : C->destination_exprs()) { 824 if (E) 825 Profiler->VisitStmt(E); 826 } 827 for (auto *E : C->assignment_ops()) { 828 if (E) 829 Profiler->VisitStmt(E); 830 } 831 } 832 void 833 OMPClauseProfiler::VisitOMPCopyprivateClause(const OMPCopyprivateClause *C) { 834 VisitOMPClauseList(C); 835 for (auto *E : C->source_exprs()) { 836 if (E) 837 Profiler->VisitStmt(E); 838 } 839 for (auto *E : C->destination_exprs()) { 840 if (E) 841 Profiler->VisitStmt(E); 842 } 843 for (auto *E : C->assignment_ops()) { 844 if (E) 845 Profiler->VisitStmt(E); 846 } 847 } 848 void OMPClauseProfiler::VisitOMPFlushClause(const OMPFlushClause *C) { 849 VisitOMPClauseList(C); 850 } 851 void OMPClauseProfiler::VisitOMPDepobjClause(const OMPDepobjClause *C) { 852 if (const Expr *Depobj = C->getDepobj()) 853 Profiler->VisitStmt(Depobj); 854 } 855 void OMPClauseProfiler::VisitOMPDependClause(const OMPDependClause *C) { 856 VisitOMPClauseList(C); 857 } 858 void OMPClauseProfiler::VisitOMPDeviceClause(const OMPDeviceClause *C) { 859 if (C->getDevice()) 860 Profiler->VisitStmt(C->getDevice()); 861 } 862 void OMPClauseProfiler::VisitOMPMapClause(const OMPMapClause *C) { 863 VisitOMPClauseList(C); 864 } 865 void OMPClauseProfiler::VisitOMPAllocateClause(const OMPAllocateClause *C) { 866 if (Expr *Allocator = C->getAllocator()) 867 Profiler->VisitStmt(Allocator); 868 VisitOMPClauseList(C); 869 } 870 void OMPClauseProfiler::VisitOMPNumTeamsClause(const OMPNumTeamsClause *C) { 871 VisitOMPClauseList(C); 872 VistOMPClauseWithPreInit(C); 873 } 874 void OMPClauseProfiler::VisitOMPThreadLimitClause( 875 const OMPThreadLimitClause *C) { 876 VisitOMPClauseList(C); 877 VistOMPClauseWithPreInit(C); 878 } 879 void OMPClauseProfiler::VisitOMPPriorityClause(const OMPPriorityClause *C) { 880 VistOMPClauseWithPreInit(C); 881 if (C->getPriority()) 882 Profiler->VisitStmt(C->getPriority()); 883 } 884 void OMPClauseProfiler::VisitOMPGrainsizeClause(const OMPGrainsizeClause *C) { 885 VistOMPClauseWithPreInit(C); 886 if (C->getGrainsize()) 887 Profiler->VisitStmt(C->getGrainsize()); 888 } 889 void OMPClauseProfiler::VisitOMPNumTasksClause(const OMPNumTasksClause *C) { 890 VistOMPClauseWithPreInit(C); 891 if (C->getNumTasks()) 892 Profiler->VisitStmt(C->getNumTasks()); 893 } 894 void OMPClauseProfiler::VisitOMPHintClause(const OMPHintClause *C) { 895 if (C->getHint()) 896 Profiler->VisitStmt(C->getHint()); 897 } 898 void OMPClauseProfiler::VisitOMPToClause(const OMPToClause *C) { 899 VisitOMPClauseList(C); 900 } 901 void OMPClauseProfiler::VisitOMPFromClause(const OMPFromClause *C) { 902 VisitOMPClauseList(C); 903 } 904 void OMPClauseProfiler::VisitOMPUseDevicePtrClause( 905 const OMPUseDevicePtrClause *C) { 906 VisitOMPClauseList(C); 907 } 908 void OMPClauseProfiler::VisitOMPUseDeviceAddrClause( 909 const OMPUseDeviceAddrClause *C) { 910 VisitOMPClauseList(C); 911 } 912 void OMPClauseProfiler::VisitOMPIsDevicePtrClause( 913 const OMPIsDevicePtrClause *C) { 914 VisitOMPClauseList(C); 915 } 916 void OMPClauseProfiler::VisitOMPHasDeviceAddrClause( 917 const OMPHasDeviceAddrClause *C) { 918 VisitOMPClauseList(C); 919 } 920 void OMPClauseProfiler::VisitOMPNontemporalClause( 921 const OMPNontemporalClause *C) { 922 VisitOMPClauseList(C); 923 for (auto *E : C->private_refs()) 924 Profiler->VisitStmt(E); 925 } 926 void OMPClauseProfiler::VisitOMPInclusiveClause(const OMPInclusiveClause *C) { 927 VisitOMPClauseList(C); 928 } 929 void OMPClauseProfiler::VisitOMPExclusiveClause(const OMPExclusiveClause *C) { 930 VisitOMPClauseList(C); 931 } 932 void OMPClauseProfiler::VisitOMPUsesAllocatorsClause( 933 const OMPUsesAllocatorsClause *C) { 934 for (unsigned I = 0, E = C->getNumberOfAllocators(); I < E; ++I) { 935 OMPUsesAllocatorsClause::Data D = C->getAllocatorData(I); 936 Profiler->VisitStmt(D.Allocator); 937 if (D.AllocatorTraits) 938 Profiler->VisitStmt(D.AllocatorTraits); 939 } 940 } 941 void OMPClauseProfiler::VisitOMPAffinityClause(const OMPAffinityClause *C) { 942 if (const Expr *Modifier = C->getModifier()) 943 Profiler->VisitStmt(Modifier); 944 for (const Expr *E : C->varlist()) 945 Profiler->VisitStmt(E); 946 } 947 void OMPClauseProfiler::VisitOMPOrderClause(const OMPOrderClause *C) {} 948 void OMPClauseProfiler::VisitOMPBindClause(const OMPBindClause *C) {} 949 void OMPClauseProfiler::VisitOMPXDynCGroupMemClause( 950 const OMPXDynCGroupMemClause *C) { 951 VistOMPClauseWithPreInit(C); 952 if (Expr *Size = C->getSize()) 953 Profiler->VisitStmt(Size); 954 } 955 void OMPClauseProfiler::VisitOMPDoacrossClause(const OMPDoacrossClause *C) { 956 VisitOMPClauseList(C); 957 } 958 void OMPClauseProfiler::VisitOMPXAttributeClause(const OMPXAttributeClause *C) { 959 } 960 void OMPClauseProfiler::VisitOMPXBareClause(const OMPXBareClause *C) {} 961 } // namespace 962 963 void 964 StmtProfiler::VisitOMPExecutableDirective(const OMPExecutableDirective *S) { 965 VisitStmt(S); 966 OMPClauseProfiler P(this); 967 ArrayRef<OMPClause *> Clauses = S->clauses(); 968 for (ArrayRef<OMPClause *>::iterator I = Clauses.begin(), E = Clauses.end(); 969 I != E; ++I) 970 if (*I) 971 P.Visit(*I); 972 } 973 974 void StmtProfiler::VisitOMPCanonicalLoop(const OMPCanonicalLoop *L) { 975 VisitStmt(L); 976 } 977 978 void StmtProfiler::VisitOMPLoopBasedDirective(const OMPLoopBasedDirective *S) { 979 VisitOMPExecutableDirective(S); 980 } 981 982 void StmtProfiler::VisitOMPLoopDirective(const OMPLoopDirective *S) { 983 VisitOMPLoopBasedDirective(S); 984 } 985 986 void StmtProfiler::VisitOMPMetaDirective(const OMPMetaDirective *S) { 987 VisitOMPExecutableDirective(S); 988 } 989 990 void StmtProfiler::VisitOMPParallelDirective(const OMPParallelDirective *S) { 991 VisitOMPExecutableDirective(S); 992 } 993 994 void StmtProfiler::VisitOMPSimdDirective(const OMPSimdDirective *S) { 995 VisitOMPLoopDirective(S); 996 } 997 998 void StmtProfiler::VisitOMPLoopTransformationDirective( 999 const OMPLoopTransformationDirective *S) { 1000 VisitOMPLoopBasedDirective(S); 1001 } 1002 1003 void StmtProfiler::VisitOMPTileDirective(const OMPTileDirective *S) { 1004 VisitOMPLoopTransformationDirective(S); 1005 } 1006 1007 void StmtProfiler::VisitOMPUnrollDirective(const OMPUnrollDirective *S) { 1008 VisitOMPLoopTransformationDirective(S); 1009 } 1010 1011 void StmtProfiler::VisitOMPReverseDirective(const OMPReverseDirective *S) { 1012 VisitOMPLoopTransformationDirective(S); 1013 } 1014 1015 void StmtProfiler::VisitOMPInterchangeDirective( 1016 const OMPInterchangeDirective *S) { 1017 VisitOMPLoopTransformationDirective(S); 1018 } 1019 1020 void StmtProfiler::VisitOMPForDirective(const OMPForDirective *S) { 1021 VisitOMPLoopDirective(S); 1022 } 1023 1024 void StmtProfiler::VisitOMPForSimdDirective(const OMPForSimdDirective *S) { 1025 VisitOMPLoopDirective(S); 1026 } 1027 1028 void StmtProfiler::VisitOMPSectionsDirective(const OMPSectionsDirective *S) { 1029 VisitOMPExecutableDirective(S); 1030 } 1031 1032 void StmtProfiler::VisitOMPSectionDirective(const OMPSectionDirective *S) { 1033 VisitOMPExecutableDirective(S); 1034 } 1035 1036 void StmtProfiler::VisitOMPScopeDirective(const OMPScopeDirective *S) { 1037 VisitOMPExecutableDirective(S); 1038 } 1039 1040 void StmtProfiler::VisitOMPSingleDirective(const OMPSingleDirective *S) { 1041 VisitOMPExecutableDirective(S); 1042 } 1043 1044 void StmtProfiler::VisitOMPMasterDirective(const OMPMasterDirective *S) { 1045 VisitOMPExecutableDirective(S); 1046 } 1047 1048 void StmtProfiler::VisitOMPCriticalDirective(const OMPCriticalDirective *S) { 1049 VisitOMPExecutableDirective(S); 1050 VisitName(S->getDirectiveName().getName()); 1051 } 1052 1053 void 1054 StmtProfiler::VisitOMPParallelForDirective(const OMPParallelForDirective *S) { 1055 VisitOMPLoopDirective(S); 1056 } 1057 1058 void StmtProfiler::VisitOMPParallelForSimdDirective( 1059 const OMPParallelForSimdDirective *S) { 1060 VisitOMPLoopDirective(S); 1061 } 1062 1063 void StmtProfiler::VisitOMPParallelMasterDirective( 1064 const OMPParallelMasterDirective *S) { 1065 VisitOMPExecutableDirective(S); 1066 } 1067 1068 void StmtProfiler::VisitOMPParallelMaskedDirective( 1069 const OMPParallelMaskedDirective *S) { 1070 VisitOMPExecutableDirective(S); 1071 } 1072 1073 void StmtProfiler::VisitOMPParallelSectionsDirective( 1074 const OMPParallelSectionsDirective *S) { 1075 VisitOMPExecutableDirective(S); 1076 } 1077 1078 void StmtProfiler::VisitOMPTaskDirective(const OMPTaskDirective *S) { 1079 VisitOMPExecutableDirective(S); 1080 } 1081 1082 void StmtProfiler::VisitOMPTaskyieldDirective(const OMPTaskyieldDirective *S) { 1083 VisitOMPExecutableDirective(S); 1084 } 1085 1086 void StmtProfiler::VisitOMPBarrierDirective(const OMPBarrierDirective *S) { 1087 VisitOMPExecutableDirective(S); 1088 } 1089 1090 void StmtProfiler::VisitOMPTaskwaitDirective(const OMPTaskwaitDirective *S) { 1091 VisitOMPExecutableDirective(S); 1092 } 1093 1094 void StmtProfiler::VisitOMPAssumeDirective(const OMPAssumeDirective *S) { 1095 VisitOMPExecutableDirective(S); 1096 } 1097 1098 void StmtProfiler::VisitOMPErrorDirective(const OMPErrorDirective *S) { 1099 VisitOMPExecutableDirective(S); 1100 } 1101 void StmtProfiler::VisitOMPTaskgroupDirective(const OMPTaskgroupDirective *S) { 1102 VisitOMPExecutableDirective(S); 1103 if (const Expr *E = S->getReductionRef()) 1104 VisitStmt(E); 1105 } 1106 1107 void StmtProfiler::VisitOMPFlushDirective(const OMPFlushDirective *S) { 1108 VisitOMPExecutableDirective(S); 1109 } 1110 1111 void StmtProfiler::VisitOMPDepobjDirective(const OMPDepobjDirective *S) { 1112 VisitOMPExecutableDirective(S); 1113 } 1114 1115 void StmtProfiler::VisitOMPScanDirective(const OMPScanDirective *S) { 1116 VisitOMPExecutableDirective(S); 1117 } 1118 1119 void StmtProfiler::VisitOMPOrderedDirective(const OMPOrderedDirective *S) { 1120 VisitOMPExecutableDirective(S); 1121 } 1122 1123 void StmtProfiler::VisitOMPAtomicDirective(const OMPAtomicDirective *S) { 1124 VisitOMPExecutableDirective(S); 1125 } 1126 1127 void StmtProfiler::VisitOMPTargetDirective(const OMPTargetDirective *S) { 1128 VisitOMPExecutableDirective(S); 1129 } 1130 1131 void StmtProfiler::VisitOMPTargetDataDirective(const OMPTargetDataDirective *S) { 1132 VisitOMPExecutableDirective(S); 1133 } 1134 1135 void StmtProfiler::VisitOMPTargetEnterDataDirective( 1136 const OMPTargetEnterDataDirective *S) { 1137 VisitOMPExecutableDirective(S); 1138 } 1139 1140 void StmtProfiler::VisitOMPTargetExitDataDirective( 1141 const OMPTargetExitDataDirective *S) { 1142 VisitOMPExecutableDirective(S); 1143 } 1144 1145 void StmtProfiler::VisitOMPTargetParallelDirective( 1146 const OMPTargetParallelDirective *S) { 1147 VisitOMPExecutableDirective(S); 1148 } 1149 1150 void StmtProfiler::VisitOMPTargetParallelForDirective( 1151 const OMPTargetParallelForDirective *S) { 1152 VisitOMPExecutableDirective(S); 1153 } 1154 1155 void StmtProfiler::VisitOMPTeamsDirective(const OMPTeamsDirective *S) { 1156 VisitOMPExecutableDirective(S); 1157 } 1158 1159 void StmtProfiler::VisitOMPCancellationPointDirective( 1160 const OMPCancellationPointDirective *S) { 1161 VisitOMPExecutableDirective(S); 1162 } 1163 1164 void StmtProfiler::VisitOMPCancelDirective(const OMPCancelDirective *S) { 1165 VisitOMPExecutableDirective(S); 1166 } 1167 1168 void StmtProfiler::VisitOMPTaskLoopDirective(const OMPTaskLoopDirective *S) { 1169 VisitOMPLoopDirective(S); 1170 } 1171 1172 void StmtProfiler::VisitOMPTaskLoopSimdDirective( 1173 const OMPTaskLoopSimdDirective *S) { 1174 VisitOMPLoopDirective(S); 1175 } 1176 1177 void StmtProfiler::VisitOMPMasterTaskLoopDirective( 1178 const OMPMasterTaskLoopDirective *S) { 1179 VisitOMPLoopDirective(S); 1180 } 1181 1182 void StmtProfiler::VisitOMPMaskedTaskLoopDirective( 1183 const OMPMaskedTaskLoopDirective *S) { 1184 VisitOMPLoopDirective(S); 1185 } 1186 1187 void StmtProfiler::VisitOMPMasterTaskLoopSimdDirective( 1188 const OMPMasterTaskLoopSimdDirective *S) { 1189 VisitOMPLoopDirective(S); 1190 } 1191 1192 void StmtProfiler::VisitOMPMaskedTaskLoopSimdDirective( 1193 const OMPMaskedTaskLoopSimdDirective *S) { 1194 VisitOMPLoopDirective(S); 1195 } 1196 1197 void StmtProfiler::VisitOMPParallelMasterTaskLoopDirective( 1198 const OMPParallelMasterTaskLoopDirective *S) { 1199 VisitOMPLoopDirective(S); 1200 } 1201 1202 void StmtProfiler::VisitOMPParallelMaskedTaskLoopDirective( 1203 const OMPParallelMaskedTaskLoopDirective *S) { 1204 VisitOMPLoopDirective(S); 1205 } 1206 1207 void StmtProfiler::VisitOMPParallelMasterTaskLoopSimdDirective( 1208 const OMPParallelMasterTaskLoopSimdDirective *S) { 1209 VisitOMPLoopDirective(S); 1210 } 1211 1212 void StmtProfiler::VisitOMPParallelMaskedTaskLoopSimdDirective( 1213 const OMPParallelMaskedTaskLoopSimdDirective *S) { 1214 VisitOMPLoopDirective(S); 1215 } 1216 1217 void StmtProfiler::VisitOMPDistributeDirective( 1218 const OMPDistributeDirective *S) { 1219 VisitOMPLoopDirective(S); 1220 } 1221 1222 void OMPClauseProfiler::VisitOMPDistScheduleClause( 1223 const OMPDistScheduleClause *C) { 1224 VistOMPClauseWithPreInit(C); 1225 if (auto *S = C->getChunkSize()) 1226 Profiler->VisitStmt(S); 1227 } 1228 1229 void OMPClauseProfiler::VisitOMPDefaultmapClause(const OMPDefaultmapClause *) {} 1230 1231 void StmtProfiler::VisitOMPTargetUpdateDirective( 1232 const OMPTargetUpdateDirective *S) { 1233 VisitOMPExecutableDirective(S); 1234 } 1235 1236 void StmtProfiler::VisitOMPDistributeParallelForDirective( 1237 const OMPDistributeParallelForDirective *S) { 1238 VisitOMPLoopDirective(S); 1239 } 1240 1241 void StmtProfiler::VisitOMPDistributeParallelForSimdDirective( 1242 const OMPDistributeParallelForSimdDirective *S) { 1243 VisitOMPLoopDirective(S); 1244 } 1245 1246 void StmtProfiler::VisitOMPDistributeSimdDirective( 1247 const OMPDistributeSimdDirective *S) { 1248 VisitOMPLoopDirective(S); 1249 } 1250 1251 void StmtProfiler::VisitOMPTargetParallelForSimdDirective( 1252 const OMPTargetParallelForSimdDirective *S) { 1253 VisitOMPLoopDirective(S); 1254 } 1255 1256 void StmtProfiler::VisitOMPTargetSimdDirective( 1257 const OMPTargetSimdDirective *S) { 1258 VisitOMPLoopDirective(S); 1259 } 1260 1261 void StmtProfiler::VisitOMPTeamsDistributeDirective( 1262 const OMPTeamsDistributeDirective *S) { 1263 VisitOMPLoopDirective(S); 1264 } 1265 1266 void StmtProfiler::VisitOMPTeamsDistributeSimdDirective( 1267 const OMPTeamsDistributeSimdDirective *S) { 1268 VisitOMPLoopDirective(S); 1269 } 1270 1271 void StmtProfiler::VisitOMPTeamsDistributeParallelForSimdDirective( 1272 const OMPTeamsDistributeParallelForSimdDirective *S) { 1273 VisitOMPLoopDirective(S); 1274 } 1275 1276 void StmtProfiler::VisitOMPTeamsDistributeParallelForDirective( 1277 const OMPTeamsDistributeParallelForDirective *S) { 1278 VisitOMPLoopDirective(S); 1279 } 1280 1281 void StmtProfiler::VisitOMPTargetTeamsDirective( 1282 const OMPTargetTeamsDirective *S) { 1283 VisitOMPExecutableDirective(S); 1284 } 1285 1286 void StmtProfiler::VisitOMPTargetTeamsDistributeDirective( 1287 const OMPTargetTeamsDistributeDirective *S) { 1288 VisitOMPLoopDirective(S); 1289 } 1290 1291 void StmtProfiler::VisitOMPTargetTeamsDistributeParallelForDirective( 1292 const OMPTargetTeamsDistributeParallelForDirective *S) { 1293 VisitOMPLoopDirective(S); 1294 } 1295 1296 void StmtProfiler::VisitOMPTargetTeamsDistributeParallelForSimdDirective( 1297 const OMPTargetTeamsDistributeParallelForSimdDirective *S) { 1298 VisitOMPLoopDirective(S); 1299 } 1300 1301 void StmtProfiler::VisitOMPTargetTeamsDistributeSimdDirective( 1302 const OMPTargetTeamsDistributeSimdDirective *S) { 1303 VisitOMPLoopDirective(S); 1304 } 1305 1306 void StmtProfiler::VisitOMPInteropDirective(const OMPInteropDirective *S) { 1307 VisitOMPExecutableDirective(S); 1308 } 1309 1310 void StmtProfiler::VisitOMPDispatchDirective(const OMPDispatchDirective *S) { 1311 VisitOMPExecutableDirective(S); 1312 } 1313 1314 void StmtProfiler::VisitOMPMaskedDirective(const OMPMaskedDirective *S) { 1315 VisitOMPExecutableDirective(S); 1316 } 1317 1318 void StmtProfiler::VisitOMPGenericLoopDirective( 1319 const OMPGenericLoopDirective *S) { 1320 VisitOMPLoopDirective(S); 1321 } 1322 1323 void StmtProfiler::VisitOMPTeamsGenericLoopDirective( 1324 const OMPTeamsGenericLoopDirective *S) { 1325 VisitOMPLoopDirective(S); 1326 } 1327 1328 void StmtProfiler::VisitOMPTargetTeamsGenericLoopDirective( 1329 const OMPTargetTeamsGenericLoopDirective *S) { 1330 VisitOMPLoopDirective(S); 1331 } 1332 1333 void StmtProfiler::VisitOMPParallelGenericLoopDirective( 1334 const OMPParallelGenericLoopDirective *S) { 1335 VisitOMPLoopDirective(S); 1336 } 1337 1338 void StmtProfiler::VisitOMPTargetParallelGenericLoopDirective( 1339 const OMPTargetParallelGenericLoopDirective *S) { 1340 VisitOMPLoopDirective(S); 1341 } 1342 1343 void StmtProfiler::VisitExpr(const Expr *S) { 1344 VisitStmt(S); 1345 } 1346 1347 void StmtProfiler::VisitConstantExpr(const ConstantExpr *S) { 1348 VisitExpr(S); 1349 } 1350 1351 void StmtProfiler::VisitDeclRefExpr(const DeclRefExpr *S) { 1352 VisitExpr(S); 1353 if (!Canonical) 1354 VisitNestedNameSpecifier(S->getQualifier()); 1355 VisitDecl(S->getDecl()); 1356 if (!Canonical) { 1357 ID.AddBoolean(S->hasExplicitTemplateArgs()); 1358 if (S->hasExplicitTemplateArgs()) 1359 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs()); 1360 } 1361 } 1362 1363 void StmtProfiler::VisitSYCLUniqueStableNameExpr( 1364 const SYCLUniqueStableNameExpr *S) { 1365 VisitExpr(S); 1366 VisitType(S->getTypeSourceInfo()->getType()); 1367 } 1368 1369 void StmtProfiler::VisitPredefinedExpr(const PredefinedExpr *S) { 1370 VisitExpr(S); 1371 ID.AddInteger(llvm::to_underlying(S->getIdentKind())); 1372 } 1373 1374 void StmtProfiler::VisitOpenACCAsteriskSizeExpr( 1375 const OpenACCAsteriskSizeExpr *S) { 1376 VisitExpr(S); 1377 } 1378 1379 void StmtProfiler::VisitIntegerLiteral(const IntegerLiteral *S) { 1380 VisitExpr(S); 1381 S->getValue().Profile(ID); 1382 1383 QualType T = S->getType(); 1384 if (Canonical) 1385 T = T.getCanonicalType(); 1386 ID.AddInteger(T->getTypeClass()); 1387 if (auto BitIntT = T->getAs<BitIntType>()) 1388 BitIntT->Profile(ID); 1389 else 1390 ID.AddInteger(T->castAs<BuiltinType>()->getKind()); 1391 } 1392 1393 void StmtProfiler::VisitFixedPointLiteral(const FixedPointLiteral *S) { 1394 VisitExpr(S); 1395 S->getValue().Profile(ID); 1396 ID.AddInteger(S->getType()->castAs<BuiltinType>()->getKind()); 1397 } 1398 1399 void StmtProfiler::VisitCharacterLiteral(const CharacterLiteral *S) { 1400 VisitExpr(S); 1401 ID.AddInteger(llvm::to_underlying(S->getKind())); 1402 ID.AddInteger(S->getValue()); 1403 } 1404 1405 void StmtProfiler::VisitFloatingLiteral(const FloatingLiteral *S) { 1406 VisitExpr(S); 1407 S->getValue().Profile(ID); 1408 ID.AddBoolean(S->isExact()); 1409 ID.AddInteger(S->getType()->castAs<BuiltinType>()->getKind()); 1410 } 1411 1412 void StmtProfiler::VisitImaginaryLiteral(const ImaginaryLiteral *S) { 1413 VisitExpr(S); 1414 } 1415 1416 void StmtProfiler::VisitStringLiteral(const StringLiteral *S) { 1417 VisitExpr(S); 1418 ID.AddString(S->getBytes()); 1419 ID.AddInteger(llvm::to_underlying(S->getKind())); 1420 } 1421 1422 void StmtProfiler::VisitParenExpr(const ParenExpr *S) { 1423 VisitExpr(S); 1424 } 1425 1426 void StmtProfiler::VisitParenListExpr(const ParenListExpr *S) { 1427 VisitExpr(S); 1428 } 1429 1430 void StmtProfiler::VisitUnaryOperator(const UnaryOperator *S) { 1431 VisitExpr(S); 1432 ID.AddInteger(S->getOpcode()); 1433 } 1434 1435 void StmtProfiler::VisitOffsetOfExpr(const OffsetOfExpr *S) { 1436 VisitType(S->getTypeSourceInfo()->getType()); 1437 unsigned n = S->getNumComponents(); 1438 for (unsigned i = 0; i < n; ++i) { 1439 const OffsetOfNode &ON = S->getComponent(i); 1440 ID.AddInteger(ON.getKind()); 1441 switch (ON.getKind()) { 1442 case OffsetOfNode::Array: 1443 // Expressions handled below. 1444 break; 1445 1446 case OffsetOfNode::Field: 1447 VisitDecl(ON.getField()); 1448 break; 1449 1450 case OffsetOfNode::Identifier: 1451 VisitIdentifierInfo(ON.getFieldName()); 1452 break; 1453 1454 case OffsetOfNode::Base: 1455 // These nodes are implicit, and therefore don't need profiling. 1456 break; 1457 } 1458 } 1459 1460 VisitExpr(S); 1461 } 1462 1463 void 1464 StmtProfiler::VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *S) { 1465 VisitExpr(S); 1466 ID.AddInteger(S->getKind()); 1467 if (S->isArgumentType()) 1468 VisitType(S->getArgumentType()); 1469 } 1470 1471 void StmtProfiler::VisitArraySubscriptExpr(const ArraySubscriptExpr *S) { 1472 VisitExpr(S); 1473 } 1474 1475 void StmtProfiler::VisitMatrixSubscriptExpr(const MatrixSubscriptExpr *S) { 1476 VisitExpr(S); 1477 } 1478 1479 void StmtProfiler::VisitArraySectionExpr(const ArraySectionExpr *S) { 1480 VisitExpr(S); 1481 } 1482 1483 void StmtProfiler::VisitOMPArrayShapingExpr(const OMPArrayShapingExpr *S) { 1484 VisitExpr(S); 1485 } 1486 1487 void StmtProfiler::VisitOMPIteratorExpr(const OMPIteratorExpr *S) { 1488 VisitExpr(S); 1489 for (unsigned I = 0, E = S->numOfIterators(); I < E; ++I) 1490 VisitDecl(S->getIteratorDecl(I)); 1491 } 1492 1493 void StmtProfiler::VisitCallExpr(const CallExpr *S) { 1494 VisitExpr(S); 1495 } 1496 1497 void StmtProfiler::VisitMemberExpr(const MemberExpr *S) { 1498 VisitExpr(S); 1499 VisitDecl(S->getMemberDecl()); 1500 if (!Canonical) 1501 VisitNestedNameSpecifier(S->getQualifier()); 1502 ID.AddBoolean(S->isArrow()); 1503 } 1504 1505 void StmtProfiler::VisitCompoundLiteralExpr(const CompoundLiteralExpr *S) { 1506 VisitExpr(S); 1507 ID.AddBoolean(S->isFileScope()); 1508 } 1509 1510 void StmtProfiler::VisitCastExpr(const CastExpr *S) { 1511 VisitExpr(S); 1512 } 1513 1514 void StmtProfiler::VisitImplicitCastExpr(const ImplicitCastExpr *S) { 1515 VisitCastExpr(S); 1516 ID.AddInteger(S->getValueKind()); 1517 } 1518 1519 void StmtProfiler::VisitExplicitCastExpr(const ExplicitCastExpr *S) { 1520 VisitCastExpr(S); 1521 VisitType(S->getTypeAsWritten()); 1522 } 1523 1524 void StmtProfiler::VisitCStyleCastExpr(const CStyleCastExpr *S) { 1525 VisitExplicitCastExpr(S); 1526 } 1527 1528 void StmtProfiler::VisitBinaryOperator(const BinaryOperator *S) { 1529 VisitExpr(S); 1530 ID.AddInteger(S->getOpcode()); 1531 } 1532 1533 void 1534 StmtProfiler::VisitCompoundAssignOperator(const CompoundAssignOperator *S) { 1535 VisitBinaryOperator(S); 1536 } 1537 1538 void StmtProfiler::VisitConditionalOperator(const ConditionalOperator *S) { 1539 VisitExpr(S); 1540 } 1541 1542 void StmtProfiler::VisitBinaryConditionalOperator( 1543 const BinaryConditionalOperator *S) { 1544 VisitExpr(S); 1545 } 1546 1547 void StmtProfiler::VisitAddrLabelExpr(const AddrLabelExpr *S) { 1548 VisitExpr(S); 1549 VisitDecl(S->getLabel()); 1550 } 1551 1552 void StmtProfiler::VisitStmtExpr(const StmtExpr *S) { 1553 VisitExpr(S); 1554 } 1555 1556 void StmtProfiler::VisitShuffleVectorExpr(const ShuffleVectorExpr *S) { 1557 VisitExpr(S); 1558 } 1559 1560 void StmtProfiler::VisitConvertVectorExpr(const ConvertVectorExpr *S) { 1561 VisitExpr(S); 1562 } 1563 1564 void StmtProfiler::VisitChooseExpr(const ChooseExpr *S) { 1565 VisitExpr(S); 1566 } 1567 1568 void StmtProfiler::VisitGNUNullExpr(const GNUNullExpr *S) { 1569 VisitExpr(S); 1570 } 1571 1572 void StmtProfiler::VisitVAArgExpr(const VAArgExpr *S) { 1573 VisitExpr(S); 1574 } 1575 1576 void StmtProfiler::VisitInitListExpr(const InitListExpr *S) { 1577 if (S->getSyntacticForm()) { 1578 VisitInitListExpr(S->getSyntacticForm()); 1579 return; 1580 } 1581 1582 VisitExpr(S); 1583 } 1584 1585 void StmtProfiler::VisitDesignatedInitExpr(const DesignatedInitExpr *S) { 1586 VisitExpr(S); 1587 ID.AddBoolean(S->usesGNUSyntax()); 1588 for (const DesignatedInitExpr::Designator &D : S->designators()) { 1589 if (D.isFieldDesignator()) { 1590 ID.AddInteger(0); 1591 VisitName(D.getFieldName()); 1592 continue; 1593 } 1594 1595 if (D.isArrayDesignator()) { 1596 ID.AddInteger(1); 1597 } else { 1598 assert(D.isArrayRangeDesignator()); 1599 ID.AddInteger(2); 1600 } 1601 ID.AddInteger(D.getArrayIndex()); 1602 } 1603 } 1604 1605 // Seems that if VisitInitListExpr() only works on the syntactic form of an 1606 // InitListExpr, then a DesignatedInitUpdateExpr is not encountered. 1607 void StmtProfiler::VisitDesignatedInitUpdateExpr( 1608 const DesignatedInitUpdateExpr *S) { 1609 llvm_unreachable("Unexpected DesignatedInitUpdateExpr in syntactic form of " 1610 "initializer"); 1611 } 1612 1613 void StmtProfiler::VisitArrayInitLoopExpr(const ArrayInitLoopExpr *S) { 1614 VisitExpr(S); 1615 } 1616 1617 void StmtProfiler::VisitArrayInitIndexExpr(const ArrayInitIndexExpr *S) { 1618 VisitExpr(S); 1619 } 1620 1621 void StmtProfiler::VisitNoInitExpr(const NoInitExpr *S) { 1622 llvm_unreachable("Unexpected NoInitExpr in syntactic form of initializer"); 1623 } 1624 1625 void StmtProfiler::VisitImplicitValueInitExpr(const ImplicitValueInitExpr *S) { 1626 VisitExpr(S); 1627 } 1628 1629 void StmtProfiler::VisitExtVectorElementExpr(const ExtVectorElementExpr *S) { 1630 VisitExpr(S); 1631 VisitName(&S->getAccessor()); 1632 } 1633 1634 void StmtProfiler::VisitBlockExpr(const BlockExpr *S) { 1635 VisitExpr(S); 1636 VisitDecl(S->getBlockDecl()); 1637 } 1638 1639 void StmtProfiler::VisitGenericSelectionExpr(const GenericSelectionExpr *S) { 1640 VisitExpr(S); 1641 for (const GenericSelectionExpr::ConstAssociation Assoc : 1642 S->associations()) { 1643 QualType T = Assoc.getType(); 1644 if (T.isNull()) 1645 ID.AddPointer(nullptr); 1646 else 1647 VisitType(T); 1648 VisitExpr(Assoc.getAssociationExpr()); 1649 } 1650 } 1651 1652 void StmtProfiler::VisitPseudoObjectExpr(const PseudoObjectExpr *S) { 1653 VisitExpr(S); 1654 for (PseudoObjectExpr::const_semantics_iterator 1655 i = S->semantics_begin(), e = S->semantics_end(); i != e; ++i) 1656 // Normally, we would not profile the source expressions of OVEs. 1657 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(*i)) 1658 Visit(OVE->getSourceExpr()); 1659 } 1660 1661 void StmtProfiler::VisitAtomicExpr(const AtomicExpr *S) { 1662 VisitExpr(S); 1663 ID.AddInteger(S->getOp()); 1664 } 1665 1666 void StmtProfiler::VisitConceptSpecializationExpr( 1667 const ConceptSpecializationExpr *S) { 1668 VisitExpr(S); 1669 VisitDecl(S->getNamedConcept()); 1670 for (const TemplateArgument &Arg : S->getTemplateArguments()) 1671 VisitTemplateArgument(Arg); 1672 } 1673 1674 void StmtProfiler::VisitRequiresExpr(const RequiresExpr *S) { 1675 VisitExpr(S); 1676 ID.AddInteger(S->getLocalParameters().size()); 1677 for (ParmVarDecl *LocalParam : S->getLocalParameters()) 1678 VisitDecl(LocalParam); 1679 ID.AddInteger(S->getRequirements().size()); 1680 for (concepts::Requirement *Req : S->getRequirements()) { 1681 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { 1682 ID.AddInteger(concepts::Requirement::RK_Type); 1683 ID.AddBoolean(TypeReq->isSubstitutionFailure()); 1684 if (!TypeReq->isSubstitutionFailure()) 1685 VisitType(TypeReq->getType()->getType()); 1686 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { 1687 ID.AddInteger(concepts::Requirement::RK_Compound); 1688 ID.AddBoolean(ExprReq->isExprSubstitutionFailure()); 1689 if (!ExprReq->isExprSubstitutionFailure()) 1690 Visit(ExprReq->getExpr()); 1691 // C++2a [expr.prim.req.compound]p1 Example: 1692 // [...] The compound-requirement in C1 requires that x++ is a valid 1693 // expression. It is equivalent to the simple-requirement x++; [...] 1694 // We therefore do not profile isSimple() here. 1695 ID.AddBoolean(ExprReq->getNoexceptLoc().isValid()); 1696 const concepts::ExprRequirement::ReturnTypeRequirement &RetReq = 1697 ExprReq->getReturnTypeRequirement(); 1698 if (RetReq.isEmpty()) { 1699 ID.AddInteger(0); 1700 } else if (RetReq.isTypeConstraint()) { 1701 ID.AddInteger(1); 1702 Visit(RetReq.getTypeConstraint()->getImmediatelyDeclaredConstraint()); 1703 } else { 1704 assert(RetReq.isSubstitutionFailure()); 1705 ID.AddInteger(2); 1706 } 1707 } else { 1708 ID.AddInteger(concepts::Requirement::RK_Nested); 1709 auto *NestedReq = cast<concepts::NestedRequirement>(Req); 1710 ID.AddBoolean(NestedReq->hasInvalidConstraint()); 1711 if (!NestedReq->hasInvalidConstraint()) 1712 Visit(NestedReq->getConstraintExpr()); 1713 } 1714 } 1715 } 1716 1717 static Stmt::StmtClass DecodeOperatorCall(const CXXOperatorCallExpr *S, 1718 UnaryOperatorKind &UnaryOp, 1719 BinaryOperatorKind &BinaryOp, 1720 unsigned &NumArgs) { 1721 switch (S->getOperator()) { 1722 case OO_None: 1723 case OO_New: 1724 case OO_Delete: 1725 case OO_Array_New: 1726 case OO_Array_Delete: 1727 case OO_Arrow: 1728 case OO_Conditional: 1729 case NUM_OVERLOADED_OPERATORS: 1730 llvm_unreachable("Invalid operator call kind"); 1731 1732 case OO_Plus: 1733 if (NumArgs == 1) { 1734 UnaryOp = UO_Plus; 1735 return Stmt::UnaryOperatorClass; 1736 } 1737 1738 BinaryOp = BO_Add; 1739 return Stmt::BinaryOperatorClass; 1740 1741 case OO_Minus: 1742 if (NumArgs == 1) { 1743 UnaryOp = UO_Minus; 1744 return Stmt::UnaryOperatorClass; 1745 } 1746 1747 BinaryOp = BO_Sub; 1748 return Stmt::BinaryOperatorClass; 1749 1750 case OO_Star: 1751 if (NumArgs == 1) { 1752 UnaryOp = UO_Deref; 1753 return Stmt::UnaryOperatorClass; 1754 } 1755 1756 BinaryOp = BO_Mul; 1757 return Stmt::BinaryOperatorClass; 1758 1759 case OO_Slash: 1760 BinaryOp = BO_Div; 1761 return Stmt::BinaryOperatorClass; 1762 1763 case OO_Percent: 1764 BinaryOp = BO_Rem; 1765 return Stmt::BinaryOperatorClass; 1766 1767 case OO_Caret: 1768 BinaryOp = BO_Xor; 1769 return Stmt::BinaryOperatorClass; 1770 1771 case OO_Amp: 1772 if (NumArgs == 1) { 1773 UnaryOp = UO_AddrOf; 1774 return Stmt::UnaryOperatorClass; 1775 } 1776 1777 BinaryOp = BO_And; 1778 return Stmt::BinaryOperatorClass; 1779 1780 case OO_Pipe: 1781 BinaryOp = BO_Or; 1782 return Stmt::BinaryOperatorClass; 1783 1784 case OO_Tilde: 1785 UnaryOp = UO_Not; 1786 return Stmt::UnaryOperatorClass; 1787 1788 case OO_Exclaim: 1789 UnaryOp = UO_LNot; 1790 return Stmt::UnaryOperatorClass; 1791 1792 case OO_Equal: 1793 BinaryOp = BO_Assign; 1794 return Stmt::BinaryOperatorClass; 1795 1796 case OO_Less: 1797 BinaryOp = BO_LT; 1798 return Stmt::BinaryOperatorClass; 1799 1800 case OO_Greater: 1801 BinaryOp = BO_GT; 1802 return Stmt::BinaryOperatorClass; 1803 1804 case OO_PlusEqual: 1805 BinaryOp = BO_AddAssign; 1806 return Stmt::CompoundAssignOperatorClass; 1807 1808 case OO_MinusEqual: 1809 BinaryOp = BO_SubAssign; 1810 return Stmt::CompoundAssignOperatorClass; 1811 1812 case OO_StarEqual: 1813 BinaryOp = BO_MulAssign; 1814 return Stmt::CompoundAssignOperatorClass; 1815 1816 case OO_SlashEqual: 1817 BinaryOp = BO_DivAssign; 1818 return Stmt::CompoundAssignOperatorClass; 1819 1820 case OO_PercentEqual: 1821 BinaryOp = BO_RemAssign; 1822 return Stmt::CompoundAssignOperatorClass; 1823 1824 case OO_CaretEqual: 1825 BinaryOp = BO_XorAssign; 1826 return Stmt::CompoundAssignOperatorClass; 1827 1828 case OO_AmpEqual: 1829 BinaryOp = BO_AndAssign; 1830 return Stmt::CompoundAssignOperatorClass; 1831 1832 case OO_PipeEqual: 1833 BinaryOp = BO_OrAssign; 1834 return Stmt::CompoundAssignOperatorClass; 1835 1836 case OO_LessLess: 1837 BinaryOp = BO_Shl; 1838 return Stmt::BinaryOperatorClass; 1839 1840 case OO_GreaterGreater: 1841 BinaryOp = BO_Shr; 1842 return Stmt::BinaryOperatorClass; 1843 1844 case OO_LessLessEqual: 1845 BinaryOp = BO_ShlAssign; 1846 return Stmt::CompoundAssignOperatorClass; 1847 1848 case OO_GreaterGreaterEqual: 1849 BinaryOp = BO_ShrAssign; 1850 return Stmt::CompoundAssignOperatorClass; 1851 1852 case OO_EqualEqual: 1853 BinaryOp = BO_EQ; 1854 return Stmt::BinaryOperatorClass; 1855 1856 case OO_ExclaimEqual: 1857 BinaryOp = BO_NE; 1858 return Stmt::BinaryOperatorClass; 1859 1860 case OO_LessEqual: 1861 BinaryOp = BO_LE; 1862 return Stmt::BinaryOperatorClass; 1863 1864 case OO_GreaterEqual: 1865 BinaryOp = BO_GE; 1866 return Stmt::BinaryOperatorClass; 1867 1868 case OO_Spaceship: 1869 BinaryOp = BO_Cmp; 1870 return Stmt::BinaryOperatorClass; 1871 1872 case OO_AmpAmp: 1873 BinaryOp = BO_LAnd; 1874 return Stmt::BinaryOperatorClass; 1875 1876 case OO_PipePipe: 1877 BinaryOp = BO_LOr; 1878 return Stmt::BinaryOperatorClass; 1879 1880 case OO_PlusPlus: 1881 UnaryOp = NumArgs == 1 ? UO_PreInc : UO_PostInc; 1882 NumArgs = 1; 1883 return Stmt::UnaryOperatorClass; 1884 1885 case OO_MinusMinus: 1886 UnaryOp = NumArgs == 1 ? UO_PreDec : UO_PostDec; 1887 NumArgs = 1; 1888 return Stmt::UnaryOperatorClass; 1889 1890 case OO_Comma: 1891 BinaryOp = BO_Comma; 1892 return Stmt::BinaryOperatorClass; 1893 1894 case OO_ArrowStar: 1895 BinaryOp = BO_PtrMemI; 1896 return Stmt::BinaryOperatorClass; 1897 1898 case OO_Subscript: 1899 return Stmt::ArraySubscriptExprClass; 1900 1901 case OO_Call: 1902 return Stmt::CallExprClass; 1903 1904 case OO_Coawait: 1905 UnaryOp = UO_Coawait; 1906 return Stmt::UnaryOperatorClass; 1907 } 1908 1909 llvm_unreachable("Invalid overloaded operator expression"); 1910 } 1911 1912 #if defined(_MSC_VER) && !defined(__clang__) 1913 #if _MSC_VER == 1911 1914 // Work around https://developercommunity.visualstudio.com/content/problem/84002/clang-cl-when-built-with-vc-2017-crashes-cause-vc.html 1915 // MSVC 2017 update 3 miscompiles this function, and a clang built with it 1916 // will crash in stage 2 of a bootstrap build. 1917 #pragma optimize("", off) 1918 #endif 1919 #endif 1920 1921 void StmtProfiler::VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *S) { 1922 if (S->isTypeDependent()) { 1923 // Type-dependent operator calls are profiled like their underlying 1924 // syntactic operator. 1925 // 1926 // An operator call to operator-> is always implicit, so just skip it. The 1927 // enclosing MemberExpr will profile the actual member access. 1928 if (S->getOperator() == OO_Arrow) 1929 return Visit(S->getArg(0)); 1930 1931 UnaryOperatorKind UnaryOp = UO_Extension; 1932 BinaryOperatorKind BinaryOp = BO_Comma; 1933 unsigned NumArgs = S->getNumArgs(); 1934 Stmt::StmtClass SC = DecodeOperatorCall(S, UnaryOp, BinaryOp, NumArgs); 1935 1936 ID.AddInteger(SC); 1937 for (unsigned I = 0; I != NumArgs; ++I) 1938 Visit(S->getArg(I)); 1939 if (SC == Stmt::UnaryOperatorClass) 1940 ID.AddInteger(UnaryOp); 1941 else if (SC == Stmt::BinaryOperatorClass || 1942 SC == Stmt::CompoundAssignOperatorClass) 1943 ID.AddInteger(BinaryOp); 1944 else 1945 assert(SC == Stmt::ArraySubscriptExprClass || SC == Stmt::CallExprClass); 1946 1947 return; 1948 } 1949 1950 VisitCallExpr(S); 1951 ID.AddInteger(S->getOperator()); 1952 } 1953 1954 void StmtProfiler::VisitCXXRewrittenBinaryOperator( 1955 const CXXRewrittenBinaryOperator *S) { 1956 // If a rewritten operator were ever to be type-dependent, we should profile 1957 // it following its syntactic operator. 1958 assert(!S->isTypeDependent() && 1959 "resolved rewritten operator should never be type-dependent"); 1960 ID.AddBoolean(S->isReversed()); 1961 VisitExpr(S->getSemanticForm()); 1962 } 1963 1964 #if defined(_MSC_VER) && !defined(__clang__) 1965 #if _MSC_VER == 1911 1966 #pragma optimize("", on) 1967 #endif 1968 #endif 1969 1970 void StmtProfiler::VisitCXXMemberCallExpr(const CXXMemberCallExpr *S) { 1971 VisitCallExpr(S); 1972 } 1973 1974 void StmtProfiler::VisitCUDAKernelCallExpr(const CUDAKernelCallExpr *S) { 1975 VisitCallExpr(S); 1976 } 1977 1978 void StmtProfiler::VisitAsTypeExpr(const AsTypeExpr *S) { 1979 VisitExpr(S); 1980 } 1981 1982 void StmtProfiler::VisitCXXNamedCastExpr(const CXXNamedCastExpr *S) { 1983 VisitExplicitCastExpr(S); 1984 } 1985 1986 void StmtProfiler::VisitCXXStaticCastExpr(const CXXStaticCastExpr *S) { 1987 VisitCXXNamedCastExpr(S); 1988 } 1989 1990 void StmtProfiler::VisitCXXDynamicCastExpr(const CXXDynamicCastExpr *S) { 1991 VisitCXXNamedCastExpr(S); 1992 } 1993 1994 void 1995 StmtProfiler::VisitCXXReinterpretCastExpr(const CXXReinterpretCastExpr *S) { 1996 VisitCXXNamedCastExpr(S); 1997 } 1998 1999 void StmtProfiler::VisitCXXConstCastExpr(const CXXConstCastExpr *S) { 2000 VisitCXXNamedCastExpr(S); 2001 } 2002 2003 void StmtProfiler::VisitBuiltinBitCastExpr(const BuiltinBitCastExpr *S) { 2004 VisitExpr(S); 2005 VisitType(S->getTypeInfoAsWritten()->getType()); 2006 } 2007 2008 void StmtProfiler::VisitCXXAddrspaceCastExpr(const CXXAddrspaceCastExpr *S) { 2009 VisitCXXNamedCastExpr(S); 2010 } 2011 2012 void StmtProfiler::VisitUserDefinedLiteral(const UserDefinedLiteral *S) { 2013 VisitCallExpr(S); 2014 } 2015 2016 void StmtProfiler::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *S) { 2017 VisitExpr(S); 2018 ID.AddBoolean(S->getValue()); 2019 } 2020 2021 void StmtProfiler::VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *S) { 2022 VisitExpr(S); 2023 } 2024 2025 void StmtProfiler::VisitCXXStdInitializerListExpr( 2026 const CXXStdInitializerListExpr *S) { 2027 VisitExpr(S); 2028 } 2029 2030 void StmtProfiler::VisitCXXTypeidExpr(const CXXTypeidExpr *S) { 2031 VisitExpr(S); 2032 if (S->isTypeOperand()) 2033 VisitType(S->getTypeOperandSourceInfo()->getType()); 2034 } 2035 2036 void StmtProfiler::VisitCXXUuidofExpr(const CXXUuidofExpr *S) { 2037 VisitExpr(S); 2038 if (S->isTypeOperand()) 2039 VisitType(S->getTypeOperandSourceInfo()->getType()); 2040 } 2041 2042 void StmtProfiler::VisitMSPropertyRefExpr(const MSPropertyRefExpr *S) { 2043 VisitExpr(S); 2044 VisitDecl(S->getPropertyDecl()); 2045 } 2046 2047 void StmtProfiler::VisitMSPropertySubscriptExpr( 2048 const MSPropertySubscriptExpr *S) { 2049 VisitExpr(S); 2050 } 2051 2052 void StmtProfiler::VisitCXXThisExpr(const CXXThisExpr *S) { 2053 VisitExpr(S); 2054 ID.AddBoolean(S->isImplicit()); 2055 ID.AddBoolean(S->isCapturedByCopyInLambdaWithExplicitObjectParameter()); 2056 } 2057 2058 void StmtProfiler::VisitCXXThrowExpr(const CXXThrowExpr *S) { 2059 VisitExpr(S); 2060 } 2061 2062 void StmtProfiler::VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *S) { 2063 VisitExpr(S); 2064 VisitDecl(S->getParam()); 2065 } 2066 2067 void StmtProfiler::VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *S) { 2068 VisitExpr(S); 2069 VisitDecl(S->getField()); 2070 } 2071 2072 void StmtProfiler::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *S) { 2073 VisitExpr(S); 2074 VisitDecl( 2075 const_cast<CXXDestructorDecl *>(S->getTemporary()->getDestructor())); 2076 } 2077 2078 void StmtProfiler::VisitCXXConstructExpr(const CXXConstructExpr *S) { 2079 VisitExpr(S); 2080 VisitDecl(S->getConstructor()); 2081 ID.AddBoolean(S->isElidable()); 2082 } 2083 2084 void StmtProfiler::VisitCXXInheritedCtorInitExpr( 2085 const CXXInheritedCtorInitExpr *S) { 2086 VisitExpr(S); 2087 VisitDecl(S->getConstructor()); 2088 } 2089 2090 void StmtProfiler::VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *S) { 2091 VisitExplicitCastExpr(S); 2092 } 2093 2094 void 2095 StmtProfiler::VisitCXXTemporaryObjectExpr(const CXXTemporaryObjectExpr *S) { 2096 VisitCXXConstructExpr(S); 2097 } 2098 2099 void 2100 StmtProfiler::VisitLambdaExpr(const LambdaExpr *S) { 2101 if (!ProfileLambdaExpr) { 2102 // Do not recursively visit the children of this expression. Profiling the 2103 // body would result in unnecessary work, and is not safe to do during 2104 // deserialization. 2105 VisitStmtNoChildren(S); 2106 2107 // C++20 [temp.over.link]p5: 2108 // Two lambda-expressions are never considered equivalent. 2109 VisitDecl(S->getLambdaClass()); 2110 2111 return; 2112 } 2113 2114 CXXRecordDecl *Lambda = S->getLambdaClass(); 2115 for (const auto &Capture : Lambda->captures()) { 2116 ID.AddInteger(Capture.getCaptureKind()); 2117 if (Capture.capturesVariable()) 2118 VisitDecl(Capture.getCapturedVar()); 2119 } 2120 2121 // Profiling the body of the lambda may be dangerous during deserialization. 2122 // So we'd like only to profile the signature here. 2123 ODRHash Hasher; 2124 // FIXME: We can't get the operator call easily by 2125 // `CXXRecordDecl::getLambdaCallOperator()` if we're in deserialization. 2126 // So we have to do something raw here. 2127 for (auto *SubDecl : Lambda->decls()) { 2128 FunctionDecl *Call = nullptr; 2129 if (auto *FTD = dyn_cast<FunctionTemplateDecl>(SubDecl)) 2130 Call = FTD->getTemplatedDecl(); 2131 else if (auto *FD = dyn_cast<FunctionDecl>(SubDecl)) 2132 Call = FD; 2133 2134 if (!Call) 2135 continue; 2136 2137 Hasher.AddFunctionDecl(Call, /*SkipBody=*/true); 2138 } 2139 ID.AddInteger(Hasher.CalculateHash()); 2140 } 2141 2142 void 2143 StmtProfiler::VisitCXXScalarValueInitExpr(const CXXScalarValueInitExpr *S) { 2144 VisitExpr(S); 2145 } 2146 2147 void StmtProfiler::VisitCXXDeleteExpr(const CXXDeleteExpr *S) { 2148 VisitExpr(S); 2149 ID.AddBoolean(S->isGlobalDelete()); 2150 ID.AddBoolean(S->isArrayForm()); 2151 VisitDecl(S->getOperatorDelete()); 2152 } 2153 2154 void StmtProfiler::VisitCXXNewExpr(const CXXNewExpr *S) { 2155 VisitExpr(S); 2156 VisitType(S->getAllocatedType()); 2157 VisitDecl(S->getOperatorNew()); 2158 VisitDecl(S->getOperatorDelete()); 2159 ID.AddBoolean(S->isArray()); 2160 ID.AddInteger(S->getNumPlacementArgs()); 2161 ID.AddBoolean(S->isGlobalNew()); 2162 ID.AddBoolean(S->isParenTypeId()); 2163 ID.AddInteger(llvm::to_underlying(S->getInitializationStyle())); 2164 } 2165 2166 void 2167 StmtProfiler::VisitCXXPseudoDestructorExpr(const CXXPseudoDestructorExpr *S) { 2168 VisitExpr(S); 2169 ID.AddBoolean(S->isArrow()); 2170 VisitNestedNameSpecifier(S->getQualifier()); 2171 ID.AddBoolean(S->getScopeTypeInfo() != nullptr); 2172 if (S->getScopeTypeInfo()) 2173 VisitType(S->getScopeTypeInfo()->getType()); 2174 ID.AddBoolean(S->getDestroyedTypeInfo() != nullptr); 2175 if (S->getDestroyedTypeInfo()) 2176 VisitType(S->getDestroyedType()); 2177 else 2178 VisitIdentifierInfo(S->getDestroyedTypeIdentifier()); 2179 } 2180 2181 void StmtProfiler::VisitOverloadExpr(const OverloadExpr *S) { 2182 VisitExpr(S); 2183 VisitNestedNameSpecifier(S->getQualifier()); 2184 VisitName(S->getName(), /*TreatAsDecl*/ true); 2185 ID.AddBoolean(S->hasExplicitTemplateArgs()); 2186 if (S->hasExplicitTemplateArgs()) 2187 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs()); 2188 } 2189 2190 void 2191 StmtProfiler::VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *S) { 2192 VisitOverloadExpr(S); 2193 } 2194 2195 void StmtProfiler::VisitTypeTraitExpr(const TypeTraitExpr *S) { 2196 VisitExpr(S); 2197 ID.AddInteger(S->getTrait()); 2198 ID.AddInteger(S->getNumArgs()); 2199 for (unsigned I = 0, N = S->getNumArgs(); I != N; ++I) 2200 VisitType(S->getArg(I)->getType()); 2201 } 2202 2203 void StmtProfiler::VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *S) { 2204 VisitExpr(S); 2205 ID.AddInteger(S->getTrait()); 2206 VisitType(S->getQueriedType()); 2207 } 2208 2209 void StmtProfiler::VisitExpressionTraitExpr(const ExpressionTraitExpr *S) { 2210 VisitExpr(S); 2211 ID.AddInteger(S->getTrait()); 2212 VisitExpr(S->getQueriedExpression()); 2213 } 2214 2215 void StmtProfiler::VisitDependentScopeDeclRefExpr( 2216 const DependentScopeDeclRefExpr *S) { 2217 VisitExpr(S); 2218 VisitName(S->getDeclName()); 2219 VisitNestedNameSpecifier(S->getQualifier()); 2220 ID.AddBoolean(S->hasExplicitTemplateArgs()); 2221 if (S->hasExplicitTemplateArgs()) 2222 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs()); 2223 } 2224 2225 void StmtProfiler::VisitExprWithCleanups(const ExprWithCleanups *S) { 2226 VisitExpr(S); 2227 } 2228 2229 void StmtProfiler::VisitCXXUnresolvedConstructExpr( 2230 const CXXUnresolvedConstructExpr *S) { 2231 VisitExpr(S); 2232 VisitType(S->getTypeAsWritten()); 2233 ID.AddInteger(S->isListInitialization()); 2234 } 2235 2236 void StmtProfiler::VisitCXXDependentScopeMemberExpr( 2237 const CXXDependentScopeMemberExpr *S) { 2238 ID.AddBoolean(S->isImplicitAccess()); 2239 if (!S->isImplicitAccess()) { 2240 VisitExpr(S); 2241 ID.AddBoolean(S->isArrow()); 2242 } 2243 VisitNestedNameSpecifier(S->getQualifier()); 2244 VisitName(S->getMember()); 2245 ID.AddBoolean(S->hasExplicitTemplateArgs()); 2246 if (S->hasExplicitTemplateArgs()) 2247 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs()); 2248 } 2249 2250 void StmtProfiler::VisitUnresolvedMemberExpr(const UnresolvedMemberExpr *S) { 2251 ID.AddBoolean(S->isImplicitAccess()); 2252 if (!S->isImplicitAccess()) { 2253 VisitExpr(S); 2254 ID.AddBoolean(S->isArrow()); 2255 } 2256 VisitNestedNameSpecifier(S->getQualifier()); 2257 VisitName(S->getMemberName()); 2258 ID.AddBoolean(S->hasExplicitTemplateArgs()); 2259 if (S->hasExplicitTemplateArgs()) 2260 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs()); 2261 } 2262 2263 void StmtProfiler::VisitCXXNoexceptExpr(const CXXNoexceptExpr *S) { 2264 VisitExpr(S); 2265 } 2266 2267 void StmtProfiler::VisitPackExpansionExpr(const PackExpansionExpr *S) { 2268 VisitExpr(S); 2269 } 2270 2271 void StmtProfiler::VisitSizeOfPackExpr(const SizeOfPackExpr *S) { 2272 VisitExpr(S); 2273 if (S->isPartiallySubstituted()) { 2274 auto Args = S->getPartialArguments(); 2275 ID.AddInteger(Args.size()); 2276 for (const auto &TA : Args) 2277 VisitTemplateArgument(TA); 2278 } else { 2279 VisitDecl(S->getPack()); 2280 ID.AddInteger(0); 2281 } 2282 } 2283 void StmtProfiler::VisitResolvedUnexpandedPackExpr( 2284 const ResolvedUnexpandedPackExpr *S) { 2285 VisitExpr(S); 2286 } 2287 2288 void StmtProfiler::VisitPackIndexingExpr(const PackIndexingExpr *E) { 2289 VisitExpr(E); 2290 VisitExpr(E->getPackIdExpression()); 2291 VisitExpr(E->getIndexExpr()); 2292 } 2293 2294 void StmtProfiler::VisitSubstNonTypeTemplateParmPackExpr( 2295 const SubstNonTypeTemplateParmPackExpr *S) { 2296 VisitExpr(S); 2297 VisitDecl(S->getParameterPack()); 2298 VisitTemplateArgument(S->getArgumentPack()); 2299 } 2300 2301 void StmtProfiler::VisitSubstNonTypeTemplateParmExpr( 2302 const SubstNonTypeTemplateParmExpr *E) { 2303 // Profile exactly as the replacement expression. 2304 Visit(E->getReplacement()); 2305 } 2306 2307 void StmtProfiler::VisitFunctionParmPackExpr(const FunctionParmPackExpr *S) { 2308 VisitExpr(S); 2309 VisitDecl(S->getParameterPack()); 2310 ID.AddInteger(S->getNumExpansions()); 2311 for (FunctionParmPackExpr::iterator I = S->begin(), E = S->end(); I != E; ++I) 2312 VisitDecl(*I); 2313 } 2314 2315 void StmtProfiler::VisitMaterializeTemporaryExpr( 2316 const MaterializeTemporaryExpr *S) { 2317 VisitExpr(S); 2318 } 2319 2320 void StmtProfiler::VisitCXXFoldExpr(const CXXFoldExpr *S) { 2321 VisitExpr(S); 2322 ID.AddInteger(S->getOperator()); 2323 } 2324 2325 void StmtProfiler::VisitCXXParenListInitExpr(const CXXParenListInitExpr *S) { 2326 VisitExpr(S); 2327 } 2328 2329 void StmtProfiler::VisitCoroutineBodyStmt(const CoroutineBodyStmt *S) { 2330 VisitStmt(S); 2331 } 2332 2333 void StmtProfiler::VisitCoreturnStmt(const CoreturnStmt *S) { 2334 VisitStmt(S); 2335 } 2336 2337 void StmtProfiler::VisitCoawaitExpr(const CoawaitExpr *S) { 2338 VisitExpr(S); 2339 } 2340 2341 void StmtProfiler::VisitDependentCoawaitExpr(const DependentCoawaitExpr *S) { 2342 VisitExpr(S); 2343 } 2344 2345 void StmtProfiler::VisitCoyieldExpr(const CoyieldExpr *S) { 2346 VisitExpr(S); 2347 } 2348 2349 void StmtProfiler::VisitOpaqueValueExpr(const OpaqueValueExpr *E) { 2350 VisitExpr(E); 2351 } 2352 2353 void StmtProfiler::VisitTypoExpr(const TypoExpr *E) { 2354 VisitExpr(E); 2355 } 2356 2357 void StmtProfiler::VisitSourceLocExpr(const SourceLocExpr *E) { 2358 VisitExpr(E); 2359 } 2360 2361 void StmtProfiler::VisitEmbedExpr(const EmbedExpr *E) { VisitExpr(E); } 2362 2363 void StmtProfiler::VisitRecoveryExpr(const RecoveryExpr *E) { VisitExpr(E); } 2364 2365 void StmtProfiler::VisitObjCStringLiteral(const ObjCStringLiteral *S) { 2366 VisitExpr(S); 2367 } 2368 2369 void StmtProfiler::VisitObjCBoxedExpr(const ObjCBoxedExpr *E) { 2370 VisitExpr(E); 2371 } 2372 2373 void StmtProfiler::VisitObjCArrayLiteral(const ObjCArrayLiteral *E) { 2374 VisitExpr(E); 2375 } 2376 2377 void StmtProfiler::VisitObjCDictionaryLiteral(const ObjCDictionaryLiteral *E) { 2378 VisitExpr(E); 2379 } 2380 2381 void StmtProfiler::VisitObjCEncodeExpr(const ObjCEncodeExpr *S) { 2382 VisitExpr(S); 2383 VisitType(S->getEncodedType()); 2384 } 2385 2386 void StmtProfiler::VisitObjCSelectorExpr(const ObjCSelectorExpr *S) { 2387 VisitExpr(S); 2388 VisitName(S->getSelector()); 2389 } 2390 2391 void StmtProfiler::VisitObjCProtocolExpr(const ObjCProtocolExpr *S) { 2392 VisitExpr(S); 2393 VisitDecl(S->getProtocol()); 2394 } 2395 2396 void StmtProfiler::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *S) { 2397 VisitExpr(S); 2398 VisitDecl(S->getDecl()); 2399 ID.AddBoolean(S->isArrow()); 2400 ID.AddBoolean(S->isFreeIvar()); 2401 } 2402 2403 void StmtProfiler::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *S) { 2404 VisitExpr(S); 2405 if (S->isImplicitProperty()) { 2406 VisitDecl(S->getImplicitPropertyGetter()); 2407 VisitDecl(S->getImplicitPropertySetter()); 2408 } else { 2409 VisitDecl(S->getExplicitProperty()); 2410 } 2411 if (S->isSuperReceiver()) { 2412 ID.AddBoolean(S->isSuperReceiver()); 2413 VisitType(S->getSuperReceiverType()); 2414 } 2415 } 2416 2417 void StmtProfiler::VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *S) { 2418 VisitExpr(S); 2419 VisitDecl(S->getAtIndexMethodDecl()); 2420 VisitDecl(S->setAtIndexMethodDecl()); 2421 } 2422 2423 void StmtProfiler::VisitObjCMessageExpr(const ObjCMessageExpr *S) { 2424 VisitExpr(S); 2425 VisitName(S->getSelector()); 2426 VisitDecl(S->getMethodDecl()); 2427 } 2428 2429 void StmtProfiler::VisitObjCIsaExpr(const ObjCIsaExpr *S) { 2430 VisitExpr(S); 2431 ID.AddBoolean(S->isArrow()); 2432 } 2433 2434 void StmtProfiler::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *S) { 2435 VisitExpr(S); 2436 ID.AddBoolean(S->getValue()); 2437 } 2438 2439 void StmtProfiler::VisitObjCIndirectCopyRestoreExpr( 2440 const ObjCIndirectCopyRestoreExpr *S) { 2441 VisitExpr(S); 2442 ID.AddBoolean(S->shouldCopy()); 2443 } 2444 2445 void StmtProfiler::VisitObjCBridgedCastExpr(const ObjCBridgedCastExpr *S) { 2446 VisitExplicitCastExpr(S); 2447 ID.AddBoolean(S->getBridgeKind()); 2448 } 2449 2450 void StmtProfiler::VisitObjCAvailabilityCheckExpr( 2451 const ObjCAvailabilityCheckExpr *S) { 2452 VisitExpr(S); 2453 } 2454 2455 void StmtProfiler::VisitTemplateArguments(const TemplateArgumentLoc *Args, 2456 unsigned NumArgs) { 2457 ID.AddInteger(NumArgs); 2458 for (unsigned I = 0; I != NumArgs; ++I) 2459 VisitTemplateArgument(Args[I].getArgument()); 2460 } 2461 2462 void StmtProfiler::VisitTemplateArgument(const TemplateArgument &Arg) { 2463 // Mostly repetitive with TemplateArgument::Profile! 2464 ID.AddInteger(Arg.getKind()); 2465 switch (Arg.getKind()) { 2466 case TemplateArgument::Null: 2467 break; 2468 2469 case TemplateArgument::Type: 2470 VisitType(Arg.getAsType()); 2471 break; 2472 2473 case TemplateArgument::Template: 2474 case TemplateArgument::TemplateExpansion: 2475 VisitTemplateName(Arg.getAsTemplateOrTemplatePattern()); 2476 break; 2477 2478 case TemplateArgument::Declaration: 2479 VisitType(Arg.getParamTypeForDecl()); 2480 // FIXME: Do we need to recursively decompose template parameter objects? 2481 VisitDecl(Arg.getAsDecl()); 2482 break; 2483 2484 case TemplateArgument::NullPtr: 2485 VisitType(Arg.getNullPtrType()); 2486 break; 2487 2488 case TemplateArgument::Integral: 2489 VisitType(Arg.getIntegralType()); 2490 Arg.getAsIntegral().Profile(ID); 2491 break; 2492 2493 case TemplateArgument::StructuralValue: 2494 VisitType(Arg.getStructuralValueType()); 2495 // FIXME: Do we need to recursively decompose this ourselves? 2496 Arg.getAsStructuralValue().Profile(ID); 2497 break; 2498 2499 case TemplateArgument::Expression: 2500 Visit(Arg.getAsExpr()); 2501 break; 2502 2503 case TemplateArgument::Pack: 2504 for (const auto &P : Arg.pack_elements()) 2505 VisitTemplateArgument(P); 2506 break; 2507 } 2508 } 2509 2510 namespace { 2511 class OpenACCClauseProfiler 2512 : public OpenACCClauseVisitor<OpenACCClauseProfiler> { 2513 StmtProfiler &Profiler; 2514 2515 public: 2516 OpenACCClauseProfiler(StmtProfiler &P) : Profiler(P) {} 2517 2518 void VisitOpenACCClauseList(ArrayRef<const OpenACCClause *> Clauses) { 2519 for (const OpenACCClause *Clause : Clauses) { 2520 // TODO OpenACC: When we have clauses with expressions, we should 2521 // profile them too. 2522 Visit(Clause); 2523 } 2524 } 2525 2526 void VisitClauseWithVarList(const OpenACCClauseWithVarList &Clause) { 2527 for (auto *E : Clause.getVarList()) 2528 Profiler.VisitStmt(E); 2529 } 2530 2531 #define VISIT_CLAUSE(CLAUSE_NAME) \ 2532 void Visit##CLAUSE_NAME##Clause(const OpenACC##CLAUSE_NAME##Clause &Clause); 2533 2534 #include "clang/Basic/OpenACCClauses.def" 2535 }; 2536 2537 /// Nothing to do here, there are no sub-statements. 2538 void OpenACCClauseProfiler::VisitDefaultClause( 2539 const OpenACCDefaultClause &Clause) {} 2540 2541 void OpenACCClauseProfiler::VisitIfClause(const OpenACCIfClause &Clause) { 2542 assert(Clause.hasConditionExpr() && 2543 "if clause requires a valid condition expr"); 2544 Profiler.VisitStmt(Clause.getConditionExpr()); 2545 } 2546 2547 void OpenACCClauseProfiler::VisitCopyClause(const OpenACCCopyClause &Clause) { 2548 VisitClauseWithVarList(Clause); 2549 } 2550 void OpenACCClauseProfiler::VisitCopyInClause( 2551 const OpenACCCopyInClause &Clause) { 2552 VisitClauseWithVarList(Clause); 2553 } 2554 2555 void OpenACCClauseProfiler::VisitCopyOutClause( 2556 const OpenACCCopyOutClause &Clause) { 2557 VisitClauseWithVarList(Clause); 2558 } 2559 2560 void OpenACCClauseProfiler::VisitCreateClause( 2561 const OpenACCCreateClause &Clause) { 2562 VisitClauseWithVarList(Clause); 2563 } 2564 2565 void OpenACCClauseProfiler::VisitHostClause(const OpenACCHostClause &Clause) { 2566 VisitClauseWithVarList(Clause); 2567 } 2568 2569 void OpenACCClauseProfiler::VisitDeviceClause( 2570 const OpenACCDeviceClause &Clause) { 2571 VisitClauseWithVarList(Clause); 2572 } 2573 2574 void OpenACCClauseProfiler::VisitSelfClause(const OpenACCSelfClause &Clause) { 2575 if (Clause.isConditionExprClause()) { 2576 if (Clause.hasConditionExpr()) 2577 Profiler.VisitStmt(Clause.getConditionExpr()); 2578 } else { 2579 for (auto *E : Clause.getVarList()) 2580 Profiler.VisitStmt(E); 2581 } 2582 } 2583 2584 void OpenACCClauseProfiler::VisitFinalizeClause( 2585 const OpenACCFinalizeClause &Clause) {} 2586 2587 void OpenACCClauseProfiler::VisitIfPresentClause( 2588 const OpenACCIfPresentClause &Clause) {} 2589 2590 void OpenACCClauseProfiler::VisitNumGangsClause( 2591 const OpenACCNumGangsClause &Clause) { 2592 for (auto *E : Clause.getIntExprs()) 2593 Profiler.VisitStmt(E); 2594 } 2595 2596 void OpenACCClauseProfiler::VisitTileClause(const OpenACCTileClause &Clause) { 2597 for (auto *E : Clause.getSizeExprs()) 2598 Profiler.VisitStmt(E); 2599 } 2600 2601 void OpenACCClauseProfiler::VisitNumWorkersClause( 2602 const OpenACCNumWorkersClause &Clause) { 2603 assert(Clause.hasIntExpr() && "num_workers clause requires a valid int expr"); 2604 Profiler.VisitStmt(Clause.getIntExpr()); 2605 } 2606 2607 void OpenACCClauseProfiler::VisitCollapseClause( 2608 const OpenACCCollapseClause &Clause) { 2609 assert(Clause.getLoopCount() && "collapse clause requires a valid int expr"); 2610 Profiler.VisitStmt(Clause.getLoopCount()); 2611 } 2612 2613 void OpenACCClauseProfiler::VisitPrivateClause( 2614 const OpenACCPrivateClause &Clause) { 2615 VisitClauseWithVarList(Clause); 2616 } 2617 2618 void OpenACCClauseProfiler::VisitFirstPrivateClause( 2619 const OpenACCFirstPrivateClause &Clause) { 2620 VisitClauseWithVarList(Clause); 2621 } 2622 2623 void OpenACCClauseProfiler::VisitAttachClause( 2624 const OpenACCAttachClause &Clause) { 2625 VisitClauseWithVarList(Clause); 2626 } 2627 2628 void OpenACCClauseProfiler::VisitDetachClause( 2629 const OpenACCDetachClause &Clause) { 2630 VisitClauseWithVarList(Clause); 2631 } 2632 2633 void OpenACCClauseProfiler::VisitDeleteClause( 2634 const OpenACCDeleteClause &Clause) { 2635 VisitClauseWithVarList(Clause); 2636 } 2637 2638 void OpenACCClauseProfiler::VisitDevicePtrClause( 2639 const OpenACCDevicePtrClause &Clause) { 2640 VisitClauseWithVarList(Clause); 2641 } 2642 2643 void OpenACCClauseProfiler::VisitNoCreateClause( 2644 const OpenACCNoCreateClause &Clause) { 2645 VisitClauseWithVarList(Clause); 2646 } 2647 2648 void OpenACCClauseProfiler::VisitPresentClause( 2649 const OpenACCPresentClause &Clause) { 2650 VisitClauseWithVarList(Clause); 2651 } 2652 2653 void OpenACCClauseProfiler::VisitUseDeviceClause( 2654 const OpenACCUseDeviceClause &Clause) { 2655 VisitClauseWithVarList(Clause); 2656 } 2657 2658 void OpenACCClauseProfiler::VisitVectorLengthClause( 2659 const OpenACCVectorLengthClause &Clause) { 2660 assert(Clause.hasIntExpr() && 2661 "vector_length clause requires a valid int expr"); 2662 Profiler.VisitStmt(Clause.getIntExpr()); 2663 } 2664 2665 void OpenACCClauseProfiler::VisitAsyncClause(const OpenACCAsyncClause &Clause) { 2666 if (Clause.hasIntExpr()) 2667 Profiler.VisitStmt(Clause.getIntExpr()); 2668 } 2669 2670 void OpenACCClauseProfiler::VisitDeviceNumClause( 2671 const OpenACCDeviceNumClause &Clause) { 2672 Profiler.VisitStmt(Clause.getIntExpr()); 2673 } 2674 2675 void OpenACCClauseProfiler::VisitDefaultAsyncClause( 2676 const OpenACCDefaultAsyncClause &Clause) { 2677 Profiler.VisitStmt(Clause.getIntExpr()); 2678 } 2679 2680 void OpenACCClauseProfiler::VisitWorkerClause( 2681 const OpenACCWorkerClause &Clause) { 2682 if (Clause.hasIntExpr()) 2683 Profiler.VisitStmt(Clause.getIntExpr()); 2684 } 2685 2686 void OpenACCClauseProfiler::VisitVectorClause( 2687 const OpenACCVectorClause &Clause) { 2688 if (Clause.hasIntExpr()) 2689 Profiler.VisitStmt(Clause.getIntExpr()); 2690 } 2691 2692 void OpenACCClauseProfiler::VisitWaitClause(const OpenACCWaitClause &Clause) { 2693 if (Clause.hasDevNumExpr()) 2694 Profiler.VisitStmt(Clause.getDevNumExpr()); 2695 for (auto *E : Clause.getQueueIdExprs()) 2696 Profiler.VisitStmt(E); 2697 } 2698 /// Nothing to do here, there are no sub-statements. 2699 void OpenACCClauseProfiler::VisitDeviceTypeClause( 2700 const OpenACCDeviceTypeClause &Clause) {} 2701 2702 void OpenACCClauseProfiler::VisitAutoClause(const OpenACCAutoClause &Clause) {} 2703 2704 void OpenACCClauseProfiler::VisitIndependentClause( 2705 const OpenACCIndependentClause &Clause) {} 2706 2707 void OpenACCClauseProfiler::VisitSeqClause(const OpenACCSeqClause &Clause) {} 2708 2709 void OpenACCClauseProfiler::VisitGangClause(const OpenACCGangClause &Clause) { 2710 for (unsigned I = 0; I < Clause.getNumExprs(); ++I) { 2711 Profiler.VisitStmt(Clause.getExpr(I).second); 2712 } 2713 } 2714 2715 void OpenACCClauseProfiler::VisitReductionClause( 2716 const OpenACCReductionClause &Clause) { 2717 VisitClauseWithVarList(Clause); 2718 } 2719 } // namespace 2720 2721 void StmtProfiler::VisitOpenACCComputeConstruct( 2722 const OpenACCComputeConstruct *S) { 2723 // VisitStmt handles children, so the AssociatedStmt is handled. 2724 VisitStmt(S); 2725 2726 OpenACCClauseProfiler P{*this}; 2727 P.VisitOpenACCClauseList(S->clauses()); 2728 } 2729 2730 void StmtProfiler::VisitOpenACCLoopConstruct(const OpenACCLoopConstruct *S) { 2731 // VisitStmt handles children, so the Loop is handled. 2732 VisitStmt(S); 2733 2734 OpenACCClauseProfiler P{*this}; 2735 P.VisitOpenACCClauseList(S->clauses()); 2736 } 2737 2738 void StmtProfiler::VisitOpenACCCombinedConstruct( 2739 const OpenACCCombinedConstruct *S) { 2740 // VisitStmt handles children, so the Loop is handled. 2741 VisitStmt(S); 2742 2743 OpenACCClauseProfiler P{*this}; 2744 P.VisitOpenACCClauseList(S->clauses()); 2745 } 2746 2747 void StmtProfiler::VisitOpenACCDataConstruct(const OpenACCDataConstruct *S) { 2748 VisitStmt(S); 2749 2750 OpenACCClauseProfiler P{*this}; 2751 P.VisitOpenACCClauseList(S->clauses()); 2752 } 2753 2754 void StmtProfiler::VisitOpenACCEnterDataConstruct( 2755 const OpenACCEnterDataConstruct *S) { 2756 VisitStmt(S); 2757 2758 OpenACCClauseProfiler P{*this}; 2759 P.VisitOpenACCClauseList(S->clauses()); 2760 } 2761 2762 void StmtProfiler::VisitOpenACCExitDataConstruct( 2763 const OpenACCExitDataConstruct *S) { 2764 VisitStmt(S); 2765 2766 OpenACCClauseProfiler P{*this}; 2767 P.VisitOpenACCClauseList(S->clauses()); 2768 } 2769 2770 void StmtProfiler::VisitOpenACCHostDataConstruct( 2771 const OpenACCHostDataConstruct *S) { 2772 VisitStmt(S); 2773 2774 OpenACCClauseProfiler P{*this}; 2775 P.VisitOpenACCClauseList(S->clauses()); 2776 } 2777 2778 void StmtProfiler::VisitOpenACCWaitConstruct(const OpenACCWaitConstruct *S) { 2779 // VisitStmt covers 'children', so the exprs inside of it are covered. 2780 VisitStmt(S); 2781 2782 OpenACCClauseProfiler P{*this}; 2783 P.VisitOpenACCClauseList(S->clauses()); 2784 } 2785 2786 void StmtProfiler::VisitOpenACCInitConstruct(const OpenACCInitConstruct *S) { 2787 VisitStmt(S); 2788 OpenACCClauseProfiler P{*this}; 2789 P.VisitOpenACCClauseList(S->clauses()); 2790 } 2791 2792 void StmtProfiler::VisitOpenACCShutdownConstruct( 2793 const OpenACCShutdownConstruct *S) { 2794 VisitStmt(S); 2795 OpenACCClauseProfiler P{*this}; 2796 P.VisitOpenACCClauseList(S->clauses()); 2797 } 2798 2799 void StmtProfiler::VisitOpenACCSetConstruct(const OpenACCSetConstruct *S) { 2800 VisitStmt(S); 2801 OpenACCClauseProfiler P{*this}; 2802 P.VisitOpenACCClauseList(S->clauses()); 2803 } 2804 2805 void StmtProfiler::VisitOpenACCUpdateConstruct( 2806 const OpenACCUpdateConstruct *S) { 2807 VisitStmt(S); 2808 OpenACCClauseProfiler P{*this}; 2809 P.VisitOpenACCClauseList(S->clauses()); 2810 } 2811 2812 void StmtProfiler::VisitHLSLOutArgExpr(const HLSLOutArgExpr *S) { 2813 VisitStmt(S); 2814 } 2815 2816 void Stmt::Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context, 2817 bool Canonical, bool ProfileLambdaExpr) const { 2818 StmtProfilerWithPointers Profiler(ID, Context, Canonical, ProfileLambdaExpr); 2819 Profiler.Visit(this); 2820 } 2821 2822 void Stmt::ProcessODRHash(llvm::FoldingSetNodeID &ID, 2823 class ODRHash &Hash) const { 2824 StmtProfilerWithoutPointers Profiler(ID, Hash); 2825 Profiler.Visit(this); 2826 } 2827