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

[via llvm-commits]

dyung wrote:

@elhewaty your change seems to be causing some test failures, can you take a look?

https://lab.llvm.org/buildbot/#/builders/139/builds/57175

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