[llvm] Fix exact backedge count algorithm in Scalar-Evolution (PR #92560)

[via llvm-commits]

mrdaybird wrote:

@efriedma-quic I have modified the code, maybe you can have a look at it?
If everything's alright, then I will go ahead and add some tests.

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