[llvm] [ValueTracking] Analyze `Select` in `isKnownNonEqual`. (PR #68427)

[Mikhail Gudim via llvm-commits]

================
@@ -3142,6 +3159,9 @@ static bool isKnownNonEqual(const Value *V1, const Value *V2, unsigned Depth,
     };
   }
 
+  if (isNonEqualSELECT(V1, V2, Depth, Q) || isNonEqualSELECT(V2, V1, Depth, Q))
----------------
mgudim wrote:

For this case, `isNonEqualSelect` will return true and second call won't happen at all. I checked this with print statements. I am compiling `opt` in`Debug` mode and this is still true.

Or did I misunderstand your statement?

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