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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 10 01:12:04 PDT 2023


================
@@ -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))
----------------
nikic wrote:

What I meant here is that if isNonEqualSelect returns `false`, then the second isNonEqualSelect call with swapped operands is also going to return false. Not super important though.

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


More information about the llvm-commits mailing list