[llvm] a115bbe - [Attributor] Remove notional overindexing check
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Wed Jan 19 02:30:13 PST 2022
Author: Nikita Popov
Date: 2022-01-19T11:30:04+01:00
New Revision: a115bbea9b0c4c27841b2f6fbb8f25c17b2647a9
URL: https://github.com/llvm/llvm-project/commit/a115bbea9b0c4c27841b2f6fbb8f25c17b2647a9
DIFF: https://github.com/llvm/llvm-project/commit/a115bbea9b0c4c27841b2f6fbb8f25c17b2647a9.diff
LOG: [Attributor] Remove notional overindexing check
AAPointerInfo currently bails on constant expression GEPs with
notional overindexing. I don't think this is necessary, as the
following code handling GEPOperator will deal with arbitrary
indices appropriately.
Differential Revision: https://reviews.llvm.org/D117203
Added:
Modified:
llvm/lib/Transforms/IPO/AttributorAttributes.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
index 0e56ccad65f02..1a7763cbf49c0 100644
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -1182,7 +1182,7 @@ struct AAPointerInfoFloating : public AAPointerInfoImpl {
return HandlePassthroughUser(Usr, OffsetInfoMap[CurPtr], Follow);
if (CE->isCompare())
return true;
- if (!CE->isGEPWithNoNotionalOverIndexing()) {
+ if (!isa<GEPOperator>(CE)) {
LLVM_DEBUG(dbgs() << "[AAPointerInfo] Unhandled constant user " << *CE
<< "\n");
return false;
More information about the llvm-commits
mailing list