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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 6 09:59:34 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:

This is going to do duplicate work for the two selects + same condition case.

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


More information about the llvm-commits mailing list