[llvm] [ValueTracking] Refactor `isKnownNonEqualFromContext` (PR #127388)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Okay, so the differences here are because isImpliedCondition can also use things other than equality conditions, and we may pick up different "unrelated" conditions depending on how we query things.

I don't really have a strong opinion on how this query is done, so this approach is fine by me.



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