[llvm] [InstSimplify] Canonicalize predicates into strict versions in simplifyICmpInst (PR #196238)

[Iris Shi via llvm-commits]

el-ev wrote:

The regression in `compare.ll` is caused by https://github.com/llvm/llvm-project/blob/5274cc8b20dd1bcbc60a42e293b3687982cc62a2/llvm/lib/Analysis/InstructionSimplify.cpp#L3476-L3484 being unable to handle `LHS uge/ult (signMask + 1)` patterns. Should be an easy follow-up.

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