[llvm] [SCEV] Handle backedge-count logic for std::reverse like loops (PR #92560)

[Eli Friedman via llvm-commits]

efriedma-quic wrote:

There are probably some other cases we could handle... but just checking the RHS doesn't wrap seems fine for now.

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