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

Mikhail Gudim via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 10 12:06:17 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))
----------------
mgudim wrote:

Oh, ok. I can do a separate PR later and refactor this and other similar calls like `if(isNonEqualMul(V1, V2, Depth, Q) || isNonEqualMul(V2, V1, Depth, Q))`.

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


More information about the llvm-commits mailing list