[llvm] [ValueTracking] Handle `not` in `isImpliedCondition` (PR #85397)

[Yingwei Zheng via llvm-commits]

================
@@ -8663,21 +8678,21 @@ std::optional<bool> llvm::isImpliedCondition(const Value *LHS, const Value *RHS,
     if (std::optional<bool> Imp =
             isImpliedCondition(LHS, RHS1, DL, LHSIsTrue, Depth + 1))
       if (*Imp == true)
-        return true;
+        return !InvertRHS;
----------------
dtcxzyw wrote:

Oh, it looks incorrect :(


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