================
@@ -1079,6 +1081,8 @@ bool
SeparateConstOffsetFromGEP::splitGEP(GetElementPtrInst *GEP) {
// and the old index if they are not used.
RecursivelyDeleteTriviallyDeadInstructions(UserChainTail);
RecursivelyDeleteTriviallyDeadInstructions(OldIdx);
+ MayRecoverInbounds =
+ MayRecoverInbounds && computeKnownBits(NewIdx,
*DL).isNonNegative();
----------------
ritter-x2a wrote:
I added some more tests, could you please check if they cover what you meant
here?
I have checked the tests with alive2 (but two of the multi-level tests timed
out).
https://github.com/llvm/llvm-project/pull/130617
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
