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

[Nikita Popov via llvm-commits]

nikic wrote:

Compile-time impact has increased with the SQ migration (presumably because DC is available more now): http://llvm-compile-time-tracker.com/compare.php?from=22417ec6cca0ed8ccecb0c2b77011e591378fd2a&to=8f3cf204bb91ce09fb3651b8a7e770de7e603b2f&stat=instructions%3Au But also more optimization impact now.

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