[llvm] [LAA] Be more careful when evaluating AddRecs at symbolic max BTC. (PR #128061)

[Ramkumar Ramachandra via llvm-commits]

artagnon wrote:

> It also currently always passes both BTC and SymbolicMaxBTC as there is one caller where PSE directly isn't available. This could probably also be improved once we agree on how to best prevent wrapping.

Not sure I understand the problem: the Loads caller has Predicates which we can pass, making it equivalent to a PSE call? 

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