// Can we infer anything when the two compares have matching operands?
bool AreSwappedOps;
- if (isMatchingOps(ALHS, ARHS, BLHS, BRHS, AreSwappedOps)) {
- if (Optional<bool> Implication = isImpliedCondMatchingOperands(
- APred, BPred, AreSwappedOps))
- return Implication;
- // No amount of additional analysis will infer the second condition, so
- // early exit.
- return None;
- }
+ if (isMatchingOps(ALHS, ARHS, BLHS, BRHS, AreSwappedOps))
+ return isImpliedCondMatchingOperands(APred, BPred, AreSwappedOps);
// Can we infer anything when the LHS operands match and the RHS operands are
// constants (not necessarily matching)?
if (APred == BPred)
return isImpliedCondOperands(APred, ALHS, ARHS, BLHS, BRHS, DL, Depth);
+
return None;
}