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

[Ramkumar Ramachandra via llvm-commits]

artagnon wrote:

> > Just a thought, but can we do this in ConstraintElimination instead?
> 
> It seems that ConstraintElimination is weak at handling the non-equality relations, right?

I think so too, but am unsure if we want to make it stronger for handling non-equality relations. Otherwise, you can probably squash the regression by implementing @nikic's suggestion, and this patch should be good to go.

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