[llvm] [ValueTracking] Infer NonEqual from dominating conditions/assumptions (PR #117442)

[Nikita Popov via llvm-commits]

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

LGTM

> Only thing I'd check is if not using isImpliedCondition would help mitigate the impact (and only handle the trivial icmp eq/ne with matching operands case).

I confirmed this makes no difference.

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