[llvm] [SCEV] Try to prove no-wrap for AddRecs via BTC. (PR #131538)

[Florian Hahn via llvm-commits]

fhahn wrote:

Repurposed the PR to use the same logic and apply it at the same place as `proveNoWrapViaConstantRanges`.

Compile-time impact looks to be in the noise: https://llvm-compile-time-tracker.com/compare.php?from=fa5025b76034bcdd65d3a96eb29ae1edc18b876e&to=33e2e7b0f1afd69c2b92f976fb23c1146ad0302a&stat=instructions:u

ping :) 

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