[CSI] Ignore unreachable basic blocks for instrumentation. Remove deb…

…ug statement to fix issue #129.
OpenCilk · Aug 26, 2022 · 602a75a · 602a75a
1 parent 7c77aeb
commit 602a75a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/llvm/lib/Transforms/Instrumentation/ComprehensiveStaticInstrumentation.cpp b/llvm/lib/Transforms/Instrumentation/ComprehensiveStaticInstrumentation.cpp
@@ -2462,6 +2462,8 @@ void CSIImpl::instrumentFunction(Function &F) {
     // Ignore Tapir placeholder basic blocks
     if (&F.getEntryBlock() != &BB && isTapirPlaceholderSuccessor(&BB))
       continue;
+    if (!DT->isReachableFromEntry(&BB))
+      continue;
     SmallVector<Instruction *, 8> BBLoadsAndStores;
     for (Instruction &I : BB) {
       if (isAtomic(&I))
@@ -2475,7 +2477,6 @@ void CSIImpl::instrumentFunction(Function &F) {
         Syncs.push_back(SI);
         if (isSyncUnwind(SI->getSuccessor(0)->getFirstNonPHIOrDbgOrLifetime(),
                          /*SyncRegion=*/nullptr, /*CheckForInvoke=*/true)) {
-          dbgs() << "Sync " << *SI << "has unwind\n" << F;
           SyncsWithUnwinds.insert(SI);
           BBsToIgnore.insert(SI->getSuccessor(0));
         }