HomePhabricator

[ConstraintSolver] Add isConditionImplied helper.

Authored by fhahn on Sep 15 2020, 5:50 AM.

Description

[ConstraintSolver] Add isConditionImplied helper.

This patch adds a isConditionImplied function that
takes a constraint and returns true if the constraint
is implied by the current constraints in the system.

Reviewed By: spatel

Differential Revision: https://reviews.llvm.org/D84545