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

[via llvm-commits]

annamthomas wrote:

The conflict is from 9693056. It uses `getStartAndEndForAccess` which also requires AC and DT, but is available at that level. I've resolved it locally for testing with early-exit vectorization.

However, with latest trunk and applying this change on top, we cannot vectorize an early-exit loop (with dereferenceable bundles with assumes) we previously could. The difference was in "old trunk", I did not have the change: https://github.com/llvm/llvm-project/pull/128061. 

It came down to the limitation mentioned here:
https://github.com/llvm/llvm-project/pull/128436#issuecomment-3068206953

Investigating what needs to be done. 

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