Skip to content

Commit a115bbe

Browse files
committed
[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
1 parent ed21c92 commit a115bbe

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

llvm/lib/Transforms/IPO/AttributorAttributes.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1182,7 +1182,7 @@ struct AAPointerInfoFloating : public AAPointerInfoImpl {
11821182
return HandlePassthroughUser(Usr, OffsetInfoMap[CurPtr], Follow);
11831183
if (CE->isCompare())
11841184
return true;
1185-
if (!CE->isGEPWithNoNotionalOverIndexing()) {
1185+
if (!isa<GEPOperator>(CE)) {
11861186
LLVM_DEBUG(dbgs() << "[AAPointerInfo] Unhandled constant user " << *CE
11871187
<< "\n");
11881188
return false;

0 commit comments

Comments
 (0)