[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