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

[via llvm-commits]

goldsteinn 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.

NB: Seen `or` and `xor` building LLVM.

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