[llvm] Simplify `(a % b) lt/ge (b-1)` into `(a % b) eq/ne (b-1)` (PR #72504)

[via llvm-commits]

elhewaty wrote:

what is the difference between `Constant`, `ConstantInt`, and `APInt`?
when to use them?
and what is the use of `m_OneUse`? why I need to check for OneUse?

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