[llvm] 75728b4 - [Attributor][FIX] Reachability needs to process the entire worklist
Johannes Doerfert via llvm-commits
llvm-commits at lists.llvm.org
Mon Jan 23 20:35:32 PST 2023
Author: Johannes Doerfert
Date: 2023-01-23T20:32:06-08:00
New Revision: 75728b41f86928aadbf17df344d1730433266395
URL: https://github.com/llvm/llvm-project/commit/75728b41f86928aadbf17df344d1730433266395
DIFF: https://github.com/llvm/llvm-project/commit/75728b41f86928aadbf17df344d1730433266395.diff
LOG: [Attributor][FIX] Reachability needs to process the entire worklist
Added:
Modified:
llvm/lib/Transforms/IPO/Attributor.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Transforms/IPO/Attributor.cpp b/llvm/lib/Transforms/IPO/Attributor.cpp
index 08ded81eb77f..ee70a3980eba 100644
--- a/llvm/lib/Transforms/IPO/Attributor.cpp
+++ b/llvm/lib/Transforms/IPO/Attributor.cpp
@@ -665,7 +665,7 @@ isPotentiallyReachable(Attributor &A, const Instruction &FromI,
if (A.checkForAllInstructions(ReturnInstCB, FromFn, QueryingAA,
{Instruction::Ret}, UsedAssumedInformation)) {
LLVM_DEBUG(dbgs() << "[AA] No return is reachable, done\n");
- return false;
+ continue;
}
if (!GoBackwardsCB) {
More information about the llvm-commits
mailing list