[llvm] [ValueTracking] Infer `X | Y != 0` from `X != Y` (PR #117443)

[Nikita Popov via llvm-commits]

https://github.com/nikic approved this pull request.

LGTM, but probably needs a rebase to account for Depth changes.

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