[llvm] a115bbe - [Attributor] Remove notional overindexing check

[Nikita Popov via llvm-commits]

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;