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

[via llvm-commits]

elhewaty wrote:

@nikic, we need to find a pattern to handle negative numbers first, right?

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