[all-commits] [llvm/llvm-project] dad80e: [MLIR][Presburger] introduce SetCoalescer

[Michel Weber via All-commits]

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

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

  Log Message:
  -----------
  [MLIR][Presburger] introduce SetCoalescer

This patch refactors the current coalesce implementation. It introduces
the `SetCoalescer`, a class in which all coalescing functionality lives.
The main advantage over the old design is the fact that the vectors of
constraints do not have to be passed around, but are implemented as
private fields of the SetCoalescer. This will become especially
important once more inequality types are introduced.

Reviewed By: arjunp

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