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

[via llvm-commits]

annamthomas wrote:

@fhahn, I was wondering if there are any follow-ups you've planned or you know of that anyone is working on (this will avoid duplicating work). 
Specifically, supporting symbolic `DerefRK` (just like we do in `isDereferenceableAndAlignedInLoop`). 

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