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

[David Sherwood via llvm-commits]

https://github.com/david-arm commented:

Hi @fhahn, thanks for this patch! I've left some comments so far - I just have to finish reviewing `evaluateAddRecAtMaxBTCWillNotWrap`.

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