[llvm] [InstCombine] Fold comparisons of urem with dividend (PR #214933)

[Hadong Lee via llvm-commits]

ChrisLee02 wrote:

> the `Simplify (X - (X urem Y)) u>= 1 to X u>= Y` fold shall be a separat PR with its own proof

That makes more sense. I'll split it out into a separate PR with its own proof.

@dtcxzyw 
I’ll split the InstSimplify change into a separate PR as suggested above and ping you there. Thanks!

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