[all-commits] [llvm/llvm-project] 9abf3d: [ValueTracking] Analyze `Select` in `isKnownNonEqu...

[Mikhail Gudim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9abf3df111793831dd2fb6dce4cf34c84a5277dc
      https://github.com/llvm/llvm-project/commit/9abf3df111793831dd2fb6dce4cf34c84a5277dc
  Author: Mikhail Gudim <mgudim at gmail.com>
  Date:   2023-10-25 (Wed, 25 Oct 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/test/Analysis/BasicAA/non-equal-select.ll

  Log Message:
  -----------
  [ValueTracking] Analyze `Select` in `isKnownNonEqual`. (#68427)

Basic way to recursively analyze `select` in `isKnownNonEqual`: `select
%c, %t, %f` is non-equal to `%x` if `%t` is non-equal to `%x` and `%f`
is non-equal to `%x`.