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

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

Rebased, the latest version also fixes incorrectly determining that accesses in loops are dereferenceable (see `dereferenceable-info-from-assumption-variable-size.ll`)

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