[llvm] [Loads] Check if Ptr can be freed between Assume and CtxI. (PR #161255)

[Florian Hahn via llvm-commits]

fhahn wrote:

> I was going to ask : Can't the same logic be used in `evaluatePtrAddRecAtMaxBTCWillNotWrap`? Looks like you have the MR for it. will review it :)

Yep, we need it in both for early-exit loops, but they can be testet separately. Might be better to first check https://github.com/llvm/llvm-project/pull/161725, as it adds the logic in a generic place (but perhaps there's a better place for the helper?)


https://github.com/llvm/llvm-project/pull/161255