[all-commits] [llvm/llvm-project] db22e7: [ConstraintSolver] Add isConditionImplied helper.

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: db22e70d010744573df19d69ed3de5b84ea60d1c
      https://github.com/llvm/llvm-project/commit/db22e70d010744573df19d69ed3de5b84ea60d1c
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-09-15 (Tue, 15 Sep 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/ConstraintSystem.h
    M llvm/lib/Analysis/ConstraintSystem.cpp
    M llvm/unittests/Analysis/ConstraintSystemTest.cpp

  Log Message:
  -----------
  [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