llvm-project

b400fd11 - [LAA] Support assumptions with non-constant deref sizes. (#156758)

[LAA] Support assumptions with non-constant deref sizes. (#156758) Update evaluatePtrAddrecAtMaxBTCWillNotWrap to support non-constant sizes in dereferenceable assumptions. Apply loop-guards in a few places needed to reason about expressions involving trip counts of the from (BTC - 1). PR: https://github.com/llvm/llvm-project/pull/156758