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

[via llvm-commits]

hiraditya wrote:

Thanks for putting this patch! You might want to use https://alive2.llvm.org/ce/ to verify transformations. It is quite useful in finding corner cases.

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