[all-commits] [llvm/llvm-project] 9d6a6f: [MLIR][Presburger] remove redundant constraints in...

[Michel Weber via All-commits]

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

  Changed paths:
    M mlir/lib/Analysis/Presburger/PresburgerRelation.cpp

  Log Message:
  -----------
  [MLIR][Presburger] remove redundant constraints in coalesce

This patch improves the representation size of individual
`IntegerRelation`s by calling the function
`IntegerRelation::removeRedundantConstraints`. While this is only a
slight optimization in the current version, it will be necessary for
patches to come.

Reviewed By: arjunp

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