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

[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;
----------------
goldsteinn wrote:

Just a heads up, im working on a follow up patch to this to handle more of the `and/or` cases + more relationships in general (LMK if you are so we can avoid duplicating work).

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