[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