[llvm] [InstCombine] Fold signed icmp X, (X | C) when C is negative (PR #217805)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

Do these patterns exist in real-world programs? `isTruePredicate` already handles several simple cases with non-negative C. I think it is enough.


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