[llvm] [InstSimplify] Simplify nonzero comparisons involving X urem Y via X u>= Y (PR #216072)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> isImpliedByDomCondition() is kind of fake support, because it only supports the immediately dominating condition from the predecessor.

It is used to avoid regression caused by the fold in https://github.com/llvm/llvm-project/pull/214933. See also https://github.com/dtcxzyw/llvm-opt-benchmark-nightly/pull/872/files#diff-a680f5d5fb51b361197a638c7cd14df761a1e7964b2f909e244903b2847b8ae7


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