[llvm] [InstCombine] Fold `(icmp pred (trunc nuw/nsw X), C)` -> `(icmp pred X, (zext/sext C))` (PR #87935)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Approach is basically 1. replace "trunc" with "trunc nuw" in existing tests, 2. check whether there are failures with alive2, 3. repeat with trunc nsw. Let me know if you would be interested in doing that...

IIRC @regehr is developing a fuzzer that mutates existing instcombine tests :)



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