[llvm] [ValueTracking] Recognize `X op (X != 0)` as non-zero (PR #88579)

[Nikita Popov via llvm-commits]

nikic wrote:

> The add case actually comes up in SPECInt, the rest are here mostly for completeness.

I don't think the completeness is valuable here.

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