We can prove the scenario:
FoundLHS > FoundRHS => LHS = (FoundLHS + Offset) > RHS = (FoundRHS + Offset)
Or
FoundLHS < FoundRHS => LHS = (FoundLHS + Offset) < RHS = (FoundRHS + Offset)
This patch enhance isImpliedCondBalancedTypes with the formula.
Differential D144718
[ScalarEvolution] Enhance Predicate implication from condition TiehuZhang on Feb 24 2023, 3:53 AM. Authored by
Details
We can prove the scenario: FoundLHS > FoundRHS => LHS = (FoundLHS + Offset) > RHS = (FoundRHS + Offset) Or FoundLHS < FoundRHS => LHS = (FoundLHS + Offset) < RHS = (FoundRHS + Offset) This patch enhance isImpliedCondBalancedTypes with the formula.
Diff Detail
Event Timeline
|