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

[Nikita Popov via llvm-commits]

nikic wrote:

> There are some regressions. But I don't think we should block this patch.

What would likely avoid regressions would be to limit this to one-use truncs. I assume that the main problem is that it's hard to infer facts about the truncated value after conditions have been changed to use the non-truncated value.

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