[llvm] [LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap (PR #147047)

[Florian Hahn via llvm-commits]

fhahn wrote:

> > Investigating what needs to be done.
> 
> In my case, even with this patch, we bail out because AccessEnd is `inttoptr (i64 -1 to ptr addrspace(1))`. There are couple of improvements we'll need for the `evaluatePtrAddRecAtMaxBTCWillNotWrap` API.
> 
> However, it is orthogonal to this patch.

Sounds good, there are a couple of improvements I'ld look into, the question is if there's anything else left that should be pulled into this one vs follow-ups?

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