[llvm] feat: Scev predicated overflow btc and testing (PR #208581)

[Bavly Peter via llvm-commits]

bavly-bob wrote:

I updated the commit to apply `git clang-format` only to my patch, so the diff is now much easier to review. The only changes from the previous revision are formatting-related; the implementation itself is unchanged. The previous revision had already passed the functional tests, and this update only addresses the formatting issue.


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