[all-commits] [llvm/llvm-project] d1a051: [MLIR][Presburger] support a heuristic for the "cu...

[Michel Weber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d1a051f926de6792d1694f2e432d4f7a123cbf87
      https://github.com/llvm/llvm-project/commit/d1a051f926de6792d1694f2e432d4f7a123cbf87
  Author: Michel Weber <michel.weber at inf.ethz.ch>
  Date:   2022-03-04 (Fri, 04 Mar 2022)

  Changed paths:
    M mlir/lib/Analysis/Presburger/PresburgerSet.cpp
    M mlir/unittests/Analysis/Presburger/PresburgerSetTest.cpp

  Log Message:
  -----------
  [MLIR][Presburger] support a heuristic for the "cut case" in coalesce

This patch introduces the cut case. If one polytope has only cutting and
redundant inequalities for the other and the facet of the cutting
inequalities are contained within the other polytope, then the polytopes are
be combined into a polytope consisting only of their respective
redundant constraints.

Reviewed By: arjunp

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