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

[via llvm-commits]

goldsteinn wrote:

Since this was approved by @dtcxzyw im going to push this in coming week unless any objections

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