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

[via llvm-commits]

annamthomas 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. 

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