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

[Michel Weber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae3e3c636254302cbd740d73522a854cf4dfb893
      https://github.com/llvm/llvm-project/commit/ae3e3c636254302cbd740d73522a854cf4dfb893
  Author: Michel Weber <michel.weber at inf.ethz.ch>
  Date:   2022-03-18 (Fri, 18 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