[llvm] d09c592 - [BasicAA] Fix caching in the presence of phi cycles
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Sat Oct 24 01:10:46 PDT 2020
Author: Nikita Popov
Date: 2020-10-24T09:58:02+02:00
New Revision: d09c5921421c362ecc24c9a804e87c2bc1d48997
URL: https://github.com/llvm/llvm-project/commit/d09c5921421c362ecc24c9a804e87c2bc1d48997
DIFF: https://github.com/llvm/llvm-project/commit/d09c5921421c362ecc24c9a804e87c2bc1d48997.diff
LOG: [BasicAA] Fix caching in the presence of phi cycles
Any time we insert a block into VisitedPhiBBs, previously cached
values may no longer be valid for the recursive alias queries. As
such, perform them using an empty AAQueryInfo.
Note that if we recurse to the same phi, the block will already
be inserted, so we reuse the old AAQueryInfo, and thus still
protect against infinite recursion.
This problem can appear with with an without BatchAA, but is more
likely to occur with BatchAA, as more values are cached.
Differential Revision: https://reviews.llvm.org/D90066
Added:
Modified:
llvm/lib/Analysis/BasicAliasAnalysis.cpp
llvm/unittests/Analysis/AliasAnalysisTest.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index 30de50dc3c88..49695bfca38c 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -1655,14 +1655,20 @@ AliasResult BasicAAResult::aliasPHI(const PHINode *PN, LocationSize PNSize,
// In the recursive alias queries below, we may compare values from two
//
diff erent loop iterations. Keep track of visited phi blocks, which will
// be used when determining value equivalence.
- auto Pair = VisitedPhiBBs.insert(PN->getParent());
+ bool BlockInserted = VisitedPhiBBs.insert(PN->getParent()).second;
auto _ = make_scope_exit([&]() {
- if (Pair.second)
+ if (BlockInserted)
VisitedPhiBBs.erase(PN->getParent());
});
+ // If we inserted a block into VisitedPhiBBs, alias analysis results that
+ // have been cached earlier may no longer be valid. Perform recursive queries
+ // with a new AAQueryInfo.
+ AAQueryInfo NewAAQI;
+ AAQueryInfo *UseAAQI = BlockInserted ? &NewAAQI : &AAQI;
+
AliasResult Alias = aliasCheck(V2, V2Size, V2AAInfo, V1Srcs[0], PNSize,
- PNAAInfo, AAQI, UnderV2);
+ PNAAInfo, *UseAAQI, UnderV2);
// Early exit if the check of the first PHI source against V2 is MayAlias.
// Other results are not possible.
@@ -1678,8 +1684,8 @@ AliasResult BasicAAResult::aliasPHI(const PHINode *PN, LocationSize PNSize,
for (unsigned i = 1, e = V1Srcs.size(); i != e; ++i) {
Value *V = V1Srcs[i];
- AliasResult ThisAlias =
- aliasCheck(V2, V2Size, V2AAInfo, V, PNSize, PNAAInfo, AAQI, UnderV2);
+ AliasResult ThisAlias = aliasCheck(V2, V2Size, V2AAInfo, V, PNSize,
+ PNAAInfo, *UseAAQI, UnderV2);
Alias = MergeAliasResults(ThisAlias, Alias);
if (Alias == MayAlias)
break;
diff --git a/llvm/unittests/Analysis/AliasAnalysisTest.cpp b/llvm/unittests/Analysis/AliasAnalysisTest.cpp
index 3fa2648f1c82..805ce1c0e0d5 100644
--- a/llvm/unittests/Analysis/AliasAnalysisTest.cpp
+++ b/llvm/unittests/Analysis/AliasAnalysisTest.cpp
@@ -249,12 +249,17 @@ TEST_F(AliasAnalysisTest, BatchAAPhiCycles) {
auto &AA = getAAResults(*F);
EXPECT_EQ(NoAlias, AA.alias(A1Loc, A2Loc));
EXPECT_EQ(MayAlias, AA.alias(PhiLoc, A1Loc));
- EXPECT_EQ(NoAlias, AA.alias(S1Loc, S2Loc)); // TODO: This is wrong
+ EXPECT_EQ(MayAlias, AA.alias(S1Loc, S2Loc));
BatchAAResults BatchAA(AA);
EXPECT_EQ(NoAlias, BatchAA.alias(A1Loc, A2Loc));
- EXPECT_EQ(NoAlias, BatchAA.alias(PhiLoc, A1Loc)); // TODO: This is wrong.
- EXPECT_EQ(NoAlias, BatchAA.alias(S1Loc, S2Loc)); // TODO: This is wrong
+ EXPECT_EQ(MayAlias, BatchAA.alias(PhiLoc, A1Loc));
+ EXPECT_EQ(MayAlias, BatchAA.alias(S1Loc, S2Loc));
+
+ BatchAAResults BatchAA2(AA);
+ EXPECT_EQ(NoAlias, BatchAA2.alias(A1Loc, A2Loc));
+ EXPECT_EQ(MayAlias, BatchAA2.alias(S1Loc, S2Loc));
+ EXPECT_EQ(MayAlias, BatchAA2.alias(PhiLoc, A1Loc));
}
class AAPassInfraTest : public testing::Test {
More information about the llvm-commits
mailing list